Patents by Inventor William Macready
William Macready has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 9875215Abstract: Systems and methods formulate problems for solving by a quantum processor using hardware graph decomposition. A decomposition of a primal graph may be built in a first stage based on a hardware specific graph, and refined in a second stage by, for example, removing vertices from the decomposition. The hardware specific graph may be a graph that is specific to a piece of hardware, for instance a quantum processor comprising a plurality of qubits and couplers operable to communicatively couple pairs of qubits.Type: GrantFiled: December 17, 2013Date of Patent: January 23, 2018Assignee: D-Wave Systems Inc.Inventors: William Macready, Aidan Patrick Roy
-
Patent number: 9405876Abstract: Solving computational problems may include generating a logic circuit representation of the computational problem, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s). The representation may be of a Boolean logic circuit. The discrete optimization problem may be composed of a set of miniature optimization problems, where each miniature optimization problem encodes a respective logic gate from the logic circuit representation. A quantum processor may include multiple sets of qubits, each set coupled to respective annealing signal lines such that dynamic evolution of each set of qubits is controlled independently from the dynamic evolutions of the other sets of qubits.Type: GrantFiled: February 21, 2014Date of Patent: August 2, 2016Assignee: D-WAVE SYSTEMS INC.Inventors: William Macready, Geordie Rose, Thomas Mahon, Peter Love, Marshall Drew-Brook
-
Patent number: 9026574Abstract: Solving computational problems may include generating a logic circuit representation of the computational problem, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s). The representation may be of a multiplication circuit. The discrete optimization problem may be composed of a set of miniature optimization problems, where each miniature optimization problem encodes a respective logic gate from the logic circuit representation. A multiplication circuit may employ binary representations of factors, and these binary representations may be decomposed to reduce the total number of variables required to represent the multiplication circuit.Type: GrantFiled: November 15, 2012Date of Patent: May 5, 2015Assignee: D-Wave Systems Inc.Inventors: William Macready, Geordie Rose, Thomas Mahon, Peter Love, Marshall Drew-Brook
-
Publication number: 20140324933Abstract: Systems and methods formulate problems for solving by a quantum processor using hardware graph decomposition. A decomposition of a primal graph may be built in a first stage based on a hardware specific graph, and refined in a second stage by, for example, removing vertices from the decomposition. The hardware specific graph may be a graph that is specific to a piece of hardware, for instance a quantum processor comprising a plurality of qubits and couplers operable to communicatively couple pairs of qubits.Type: ApplicationFiled: December 17, 2013Publication date: October 30, 2014Applicant: D-Wave Systems Inc.Inventors: William Macready, Aidan Patrick Roy
-
Patent number: 8874629Abstract: Systems, devices, and methods for using an analog processor to solve computational problems. A digital processor is configured to track computational problem processing requests received from a plurality of different users, and to track at least one of a status and a processing cost for each of the computational problem processing requests. An analog processor, for example a quantum processor, is operable to assist in producing one or more solutions to computational problems identified by the computational problem processing requests via a physical evolution.Type: GrantFiled: May 2, 2012Date of Patent: October 28, 2014Assignee: D-Wave Systems Inc.Inventors: William Macready, Geordie Rose, Herbert J. Martin
-
Publication number: 20140245249Abstract: Solving computational problems may include generating a logic circuit representation of the computational problem, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s). The representation may be of a Boolean logic circuit. The discrete optimization problem may be composed of a set of miniature optimization problems, where each miniature optimization problem encodes a respective logic gate from the logic circuit representation. A quantum processor may include multiple sets of qubits, each set coupled to respective annealing signal lines such that dynamic evolution of each set of qubits is controlled independently from the dynamic evolutions of the other sets of qubits.Type: ApplicationFiled: February 21, 2014Publication date: August 28, 2014Applicant: D-Wave Systems Inc.Inventors: William Macready, Geordie Rose, Thomas Mahon, Peter Love, Marshall Drew-Brook
-
Patent number: 8700689Abstract: Solving computational problems may include generating a logic circuit representation of the computational problem, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s). The representation may be of a Boolean logic circuit. The discrete optimization problem may be composed of a set of miniature optimization problems, where each miniature optimization problem encodes a respective logic gate from the logic circuit representation. A quantum processor may include multiple sets of qubits, each set coupled to respective annealing signal lines such that dynamic evolution of each set of qubits is controlled independently from the dynamic evolutions of the other sets of qubits.Type: GrantFiled: June 16, 2010Date of Patent: April 15, 2014Assignee: D-Wave Systems Inc.Inventors: William Macready, Geordie Rose, Thomas Mahon, Peter Love, Marshall Drew-Brook
-
Publication number: 20120215821Abstract: Systems, devices, and methods for using an analog processor to solve computational problems. A digital processor is configured to track computational problem processing requests received from a plurality of different users, and to track at least one of a status and a processing cost for each of the computational problem processing requests. An analog processor, for example a quantum processor, is operable to assist in producing one or more solutions to computational problems identified by the computational problem processing requests via a physical evolution.Type: ApplicationFiled: May 2, 2012Publication date: August 23, 2012Applicant: D-WAVE SYSTEMS INC.Inventors: William Macready, Geordie Rose, Herbert J. Martin
-
Patent number: 8195596Abstract: An analog processor, for example a quantum processor may include a plurality of elongated qubits that are disposed with respect to one another such that each qubit may selectively be directly coupled to each of the other qubits via a single coupling device. Such may provide a fully interconnected topology.Type: GrantFiled: January 11, 2008Date of Patent: June 5, 2012Assignee: D-Wave Systems Inc.Inventors: Geordie Rose, Paul Bunyk, Michael D. Coury, William Macready, Vicky Choi
-
Patent number: 8195726Abstract: Systems, devices, and methods for using an analog processor to solve computational problems. A digital processor is configured to track computational problem processing requests received from a plurality of different users, and to track at least one of a status and a processing cost for each of the computational problem processing requests. An analog processor, for example a quantum processor, is operable to assist in producing one or more solutions to computational problems identified by the computational problem processing requests via a physical evolution.Type: GrantFiled: June 19, 2007Date of Patent: June 5, 2012Assignee: D-Wave Systems Inc.Inventors: William Macready, Geordie Rose, Herbert J. Martin
-
Publication number: 20110231462Abstract: Solving computational problems may include generating a logic circuit representation of the computational problem, encoding the logic circuit representation as a discrete optimization problem, and solving the discrete optimization problem using a quantum processor. Output(s) of the logic circuit representation may be clamped such that the solving involves effectively executing the logic circuit representation in reverse to determine input(s) that corresponds to the clamped output(s). The representation may be of a Boolean logic circuit. The discrete optimization problem may be composed of a set of miniature optimization problems, where each miniature optimization problem encodes a respective logic gate from the logic circuit representation. A quantum processor may include multiple sets of qubits, each set coupled to respective annealing signal lines such that dynamic evolution of each set of qubits is controlled independently from the dynamic evolutions of the other sets of qubits.Type: ApplicationFiled: June 16, 2010Publication date: September 22, 2011Applicant: D-WAVE SYSTEMS INC.Inventors: William Macready, Geordie Rose, Thomas Mahon, Peter Love, Marshall Drew-Brook
-
Patent number: 7877333Abstract: Discrete optimization problem are solved using an analog optimization device such as a quantum processor. Problems are solved using an objective function and at least one constraint corresponding to the discrete optimization problems. The objective function is converted into a first set of inputs and the at least one constraint is converted into a second set of inputs for the analog optimization device. A third set of inputs is generated which are indicative of at least one penalty coefficient. A final state of the analog optimization device corresponds to at least a portion of the solution to the discrete optimization problem.Type: GrantFiled: September 5, 2007Date of Patent: January 25, 2011Assignee: D-Wave Systems Inc.Inventor: William Macready
-
Publication number: 20090077001Abstract: Systems, methods and articles solve computationally complex problems. Example embodiments provide data query language features that may be used to express optimization problems. An expression of an optimization problem in the provided data query language may be transformed into a primitive problem that is equivalent to the optimization problem. An optimization solver may be invoked to provide a solution to the primitive problem. Analog processors such as quantum processors as well as digital processors may be used to solve the primitive problem. This abstract is provided to comply with rules requiring an abstract, and is submitted with the intention that it will not be used to interpret or limit the scope or meaning of the claims.Type: ApplicationFiled: May 14, 2008Publication date: March 19, 2009Inventors: William Macready, Kai Fan Tang, Michael David Coury, Ivan King Yu Sham
-
Publication number: 20080319964Abstract: Systems, methods and articles for performing preference filtering on a database query. Example embodiments provide a new algorithm, called BNL#, that operates with a worst-case running time of O(ntce+ne+np) where {ne, np}<<nt?O(ntce). This represents an improvement over existing algorithms that are known in the art, such as the BNL algorithm which operates with a worst-case running time of O(nt2) and the BNL++ algorithm which operates with a worst-case running time of O(ntceneme), with ne<<nt. This abstract is provided to comply with rules requiring an abstract, and is submitted with the intention that it will not be used to interpret or limit the scope or meaning of the claims.Type: ApplicationFiled: June 20, 2008Publication date: December 25, 2008Inventors: Michael Coury, William Macready, Kai Fan Tang
-
Publication number: 20080176750Abstract: An analog processor, for example a quantum processor may include a plurality of elongated qubits that are disposed with respect to one another such that each qubit may selectively be directly coupled to each of the other qubits via a single coupling device. Such may provide a fully interconnected topology.Type: ApplicationFiled: January 11, 2008Publication date: July 24, 2008Inventors: Geordie Rose, Paul Bunyk, Michael D. Coury, William Macready, Vicky Choi
-
Publication number: 20080109500Abstract: Systems, devices, and methods for using an analog processor to solve computational problems. A digital processor is configured to track computational problem processing requests received from a plurality of different users, and to track at least one of a status and a processing cost for each of the computational problem processing requests. An analog processor, for example a quantum processor, is operable to assist in producing one or more solutions to computational problems identified by the computational problem processing requests via a physical evolution.Type: ApplicationFiled: June 19, 2007Publication date: May 8, 2008Inventors: William Macready, Geordie Rose, Herbert J. Martin
-
Publication number: 20080065573Abstract: Discrete optimization problem are solved using an analog optimization device such as a quantum processor. Problems are solved using an objective function and at least one constraint corresponding to the discrete optimization problems. The objective function is converted into a first set of inputs and the at least one constraint is converted into a second set of inputs for the analog optimization device. A third set of inputs is generated which are indicative of at least one penalty coefficient. A final state of the analog optimization device corresponds to at least a portion of the solution to the discrete optimization problem.Type: ApplicationFiled: September 5, 2007Publication date: March 13, 2008Inventor: William Macready
-
Publication number: 20080052055Abstract: Analog processors such as quantum processors are employed to predict the native structures of proteins based on a primary structure of a protein. A target graph may be created of sufficient size to permit embedding of all possible native multi-dimensional topologies of the protein. At least one location in a target graph may be assigned to represent a respective amino acid forming the protein. An energy function is generated based assigned locations in the target graph. The energy function is mapped onto an analog processor, which is evolved from an initial state to a final state, the final state predicting a native structure of the protein.Type: ApplicationFiled: July 27, 2007Publication date: February 28, 2008Inventors: Geordie Rose, William Macready, Paul Bloudoff
-
Publication number: 20070080341Abstract: Systems, methods and apparatus for factoring numbers are provided. The factoring may be accomplished by creating a factor graph, mapping the factor graph onto an analog processor, initializing the analog processor to an initial state, evolving the analog processor to a final state, and receiving an output from the analog processor, the output comprising a set of factors of the number.Type: ApplicationFiled: July 10, 2006Publication date: April 12, 2007Inventors: William Macready, Johnny Jone Kuan
-
Publication number: 20030014379Abstract: The present invention presents a comprehensive system and method for operations management which has the reliability and adaptability to handle failures and changes respectively within the economic environment. The present invention presents a framework of features which include technology graphs, landscape representations and automated markets to achieve the requisite reliability and adaptability.Type: ApplicationFiled: July 1, 1999Publication date: January 16, 2003Inventors: ISAAC SAIAS, VINCE DARLEY, STUART A. KAUFFMAN, FRED FEDERSPIEL, JUDITH COHN, BENNETT LEVITAN, ROBERT MACDONALD, WILLIAM MACREADY, CARL TOLLANDER