Hybrid Quantum-Classical Function Inversion via Ising Hamiltonians

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Current quantum computers are inefficient for solving function inversion problems, particularly in cryptography and integer factorization, due to the need for deep circuits and large numbers of qubits, which are not feasible with near-term technology.

Innovation Solution

A hybrid quantum-classical computing system translates Boolean function constraints into Ising Hamiltonians, using quantum optimization algorithms to find input bits that satisfy given conditions, allowing for efficient computation with low-depth noisy quantum circuits and fewer qubits than traditional methods.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Measurement precision

If traditional quantum computing methods are used for function inversion, then computational accuracy can be maintained, but the circuit depth and number of qubits required become prohibitively large

Engineering Contradiction:
Improvecomputational accuracyVSAvoidcircuit depth and qubit count
Core Design Contradiction:
Measurement precisionVSDevice complexity

Solution Approach 1:

The patent segments the function inversion problem into constraint satisfaction components that can be mapped to an Ising Hamiltonian. By dividing the problem into manageable constraint equations and mapping them to quantum spin interactions, the approach reduces the overall circuit depth and qubit requirements while maintaining computational accuracy.

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The patent introduces an Ising Hamiltonian as an intermediary representation between the Boolean function constraints and the quantum circuit implementation. This intermediary formulation allows the problem to be solved using quantum optimization algorithms with reduced resource requirements compared to direct quantum circuit approaches.

Inventive Principle:
Principle #24Intermediary (Mediator)

2Measurement precision

If deep quantum circuits are used to solve function inversion problems, then solution accuracy is improved, but the feasibility with near-term quantum technology deteriorates

Engineering Contradiction:
Improvesolution accuracyVSAvoidfeasibility with near-term technology
Core Design Contradiction:
Measurement precisionVSReliability

Solution Approach 1:

The patent changes the parameter representation by mapping Boolean variables to Ising spin variables and transforming the problem into finding the ground state of an Ising Hamiltonian. This parameter transformation enables the use of quantum optimization algorithms that are more suitable for near-term quantum devices with limited circuit depth.

Inventive Principle:
Principle #35Parameter changes

Solution Approach 2:

The patent substitutes the traditional quantum circuit mechanical system with a quantum optimization algorithm that operates on an Ising Hamiltonian. This substitution replaces deep circuit sequences with a formulation that can be efficiently handled by quantum annealing or variational quantum eigensolver approaches, improving feasibility on near-term hardware.

Inventive Principle:
Principle #28Mechanics substitution (Replace mechanical system)

3Reliability

If conventional quantum approaches are applied to integer factorization, then mathematical rigor is maintained, but resource requirements become impractical

Engineering Contradiction:
Improvemathematical rigorVSAvoidquantum resources
Core Design Contradiction:
ReliabilityVSQuantity of substance

Solution Approach 1:

The patent applies function inversion techniques to the integer factorization problem by formulating factorization as a constraint satisfaction problem. Instead of using traditional quantum factoring algorithms, the approach inverts the problem structure to find factors through constraint solving, reducing the quantum resources required while maintaining mathematical rigor.

Inventive Principle:
Principle #13The other way round (Inversion)

Solution Approach 2:

The patent creates a universal framework that can handle both function inversion and integer factorization using the same Ising Hamiltonian mapping approach. This multi-functional methodology allows the quantum system to solve different types of computational problems with consistent resource requirements, making the approach more practical.

Inventive Principle:
Principle #6Universality (Multi-functionality)

Applied Scientific Principles

This section explains which scientific principles are used to turn an abstract innovation direction into a practical engineering solution.

Function Achieved in This Case

This approach enables efficient computation of function inverses and integer factorization using existing low-depth noisy quantum circuits, reducing resource requirements and overcoming limitations of current quantum computers.

Implementation Method 1

leveraging uniquely quantum mechanical phenomena, such as superposition and entanglement

Methodology Applied
Scientific EffectSuperposition:

Implementation Method 2

leveraging uniquely quantum mechanical phenomena, such as superposition and entanglement

Methodology Applied
Scientific EffectEntanglement:

Implementation Method 3

performs, on the quantum computing component, a quantum optimization algorithm to generate an approximation to the ground state of the Ising Hamiltonian

Methodology Applied
Scientific EffectQuantum optimization:

Data Source

PatentUS11507872B2Hybrid quantum-classical computer system and method for performing function inversion
Publication Date: 2022.11.22 ZAPATA COMPUTING INC
  • US11507872B2 patent drawing
  • US11507872B2 patent drawing
  • US11507872B2 patent drawing

AI summary

A hybrid quantum-classical (HQC) computing system, including a quantum computing component and a classical computing component, computes the inverse of a Boolean function for a given output. The HQC computing system translates a set of constraints into interactions between quantum spins; forms, from the interactions, an Ising Hamiltonian whose ground state encodes a set of states of a specific input value that are consistent with the set of constraints; performs, on the quantum computing component, a quantum optimization algorithm to generate an approximation to the ground state of the Ising Hamiltonian; and measures the approximation to the ground state of the Ising Hamiltonian, on the quantum computing component, to obtain a plurality of input bits which are a satisfying assignment of the set of constraints.