IP Library Granted Patent US 7,376,547
Granted Patent B2
US 7,376,547 · App. 10/903,205 · Granted May 20, 2008

Systems and methods that facilitate quantum computer simulation

Assignee: Microsoft Corporation
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 7,376,547
App. No.
10/903,205
Granted
May 20, 2008
Kind
B2
Abstract

The present invention provides systems and methods that facilitate simulating quantum computing and/or provide a language to program a quantum computer. The systems and methods translate received computer instructions (e.g., quantum computer based instructions) to a process algebra (e.g., rho and pi calculus) representation that can be executed by a classical computer to produce a result indicative of a quantum computer. Such mapping can include transformations between vectors, scalars, dual vector and operators in Hilbert space to processes, named processes (quoted names) and quote maps in rho calculus space. Thus, the systems and methods of the present invention can transform a classical computer into a quantum computer simulator. In addition, this process algebra representation can be executed on a quantum computer; thus, the representation can additionally be utilized as a computer language to program a quantum computer.

Claims (30)

1. A system that facilitates simulation of a quantum computer within a classical-physics based computer comprising following components stored within memory of a classical computer:

a first component that receives an instruction set that includes at least one quantum mechanics based instruction; and

a second component that translates the quantum mechanics based instruction set to a computer readable representation based on rho (ρ) calculus that is executed by a classical physics based computer to produce a result indicative of a quantum computer by providing a relationship between vectors, scalars, duals and operators in Hilbert space and processes, quoted names and quote maps respectively in rho calculus space.

2. The system of claim 1 , wherein the relationship is a transformation between Hilbert space and rho calculus space.

3. The system of claim 1 , wherein the relationship is provided as a look up table.

4. The system of claim 1 , wherein the representation is utilized to program a quantum computer.

5. The system of claim 1 , further comprising an Application Program Interface (API) that enables a user to create or edit the instruction set and representation.

6. The system of claim 1 is implemented within the classical physics based computer.

7. The system of claim 1 is employed to facilitate quantum computer simulation across a plurality of distributed classical computers.

8. The system of claim 1 , further comprising a debugging component that scrutinizes the rho calculus based representation and resolves any discrepancies.

9. A method that facilitates quantum computer simulation, comprising:

obtaining one or more quantum mechanics based computer readable instructions; and

utilizing the received instructions to generate a set of instructions based on rho calculus the rho calculus based instructions transform a classical physics based computer into a quantum computer simulator that produces at least a result indicative of a quantum computer by translating vectors, scalars, duals and operators in Hilbert space associated with the received instruction set to processes, quoted names and quote maps respectively in rho calculus space.

10. The method of claim 9 , further comprising executing the the rho calculus based set of instructions on the classical physics based computer to produce a simulated quantum computer result.

11. The method of claim 9 , further comprising employing a mapping between Hilbert space and process algebra space to generate the set of instructions from the received instructions.

12. A method for programming a quantum computer, comprising:

generating rho calculus computer readable instructions;

converting the rho calculus computer readable instructions to quantum mechanics based instructions;

converting processes, named processes and quote maps of process algebra to vectors, scalars, duals and operators respectively in quantum mechanics space; and

employing the quantum mechanics based instructions to program a quantum computer.

13. The method of claim 12 , further comprising utilizing the process algebra based instructions to program the quantum computer.

14. The method of claim 12 , further comprising debugging the quantum computer by employing a debugging component that resolves discrepancies in the rho calculus computer readable instructions.

15. A computer readable medium storing computer executable components that facilitate simulation of a quantum computer, comprising:

a component that receives quantum mechanics based instructions; and

a component that transforms the received instructions to computer readable rho calculus instructions by translating vectors, scalars, duals and operators in Hilbert space associated with the received instruction set to processes, quoted names and quote maps in rho calculus space, wherein the computer readable rho calculus instructions are processed by a classical computer to simulate a quantum computer.

16. A system that facilitates managing processing resources, comprising:

means for receiving quantum physics based computer instructions stored in a classical computer memory;

means for transforming the quantum mechanics based computer instructions to a rho calculus representation by translating vectors, scalars, duals and operators in Hilbert space associated with the received instruction set to processes, quoted names and quote maps in rho calculus space; and

means for simulating a quantum computer on a classical computer by executing the rho calculus representation to produce a quantum computer simulated result.

17. The system of claim 16 , further comprising means for employing the rho calculus representation to program a quantum computer.

Assignments (2)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Dec 9, 2014
From: MICROSOFT CORPORATION
To: MICROSOFT TECHNOLOGY LICENSING, LLC
Reel/Frame 034541/0477 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jul 30, 2004
From: MEREDITH, LUCIUS G.
To: MICROSOFT CORPORATION
Reel/Frame 015644/0582 →
Continuity (2)
Provisional Application 6054411400 · Feb 12, 2004
Related Publication 20050182614A1 · Aug 18, 2005