Ancilla Logical-AND Circuits for Reduced Quantum T Gate Count

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Current quantum circuit technologies require a high number of T gates, which are costly and inefficient, particularly in the surface code architecture, due to the lack of a cheap mechanism for applying non-Clifford operations like T gates that perform 45-degree rotations around the Z axis.

Innovation Solution

The method involves performing temporary Toffoli quantum logic gates indirectly using an ancilla qubit, reducing the T-count by reusing the ancilla qubit for additional operations and employing a measure-and-correct process to uncompute the logical-AND of the control qubits without consuming T gates, thereby optimizing the T-count for quantum circuits.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Productivity

If standard quantum circuit methods are used to perform Toffoli gates, then the computation can be completed, but the T gate count becomes excessively high (8n+O(1)), making the computation costly and inefficient

Engineering Contradiction:
Improvecomputation efficiencyVSAvoidT gate count
Core Design Contradiction:
ProductivityVSQuantity of substance

Solution Approach 1:

The patent introduces an ancilla qubit as an intermediary to perform the Toffoli gate operation indirectly. Instead of applying T gates directly to control qubits, the ancilla qubit is prepared in state |A⟩, has the logical-AND of control qubits computed into it, and then used to control the target qubit. This intermediary approach reduces the T gate count from 8n+O(1) to 4n+O(1) by avoiding redundant T gate applications on control qubits.

Inventive Principle:
Principle #24Intermediary (Mediator)

Solution Approach 2:

The patent employs a measure-and-correct process where the ancilla qubit is measured in the computational basis after performing its function. The measurement collapses the ancilla state, and any phase errors introduced during the computation are corrected classically based on the measurement outcome. This allows the system to discard the quantum state of the ancilla after use while recovering computational correctness, effectively reducing the need for expensive quantum operations to maintain ancilla coherence.

Inventive Principle:
Principle #34Discarding and recovering

2Adaptability or versatility

If T gates are applied frequently to perform non-Clifford operations, then the desired quantum transformations can be achieved, but the cost and complexity of the quantum circuit increases significantly

Engineering Contradiction:
Improvecapability to perform non-Clifford operationsVSAvoidcircuit complexity
Core Design Contradiction:
Adaptability or versatilityVSDevice complexity

Solution Approach 1:

The ancilla qubit serves as a mediator that enables non-Clifford operations without requiring frequent T gate applications throughout the circuit. By concentrating the non-Clifford operation into the preparation and manipulation of the ancilla qubit in state |A⟩, the patent achieves the necessary adaptability for non-Clifford transformations while minimizing the overall circuit complexity and T gate count.

Inventive Principle:
Principle #24Intermediary (Mediator)

Solution Approach 2:

The patent treats the ancilla qubit as a disposable resource that is prepared in a specific state |A⟩, used for a single computational purpose, and then measured and discarded. This approach is more efficient than maintaining and repeatedly using expensive T gates for non-Clifford operations, as the ancilla preparation and measurement process is less costly than multiple T gate applications.

Inventive Principle:
Principle #27Cheap short-living objects (Disposable)

3Stability of the object's composition

If the ancilla qubit is uncomputed by reversing the logical-AND computation, then the ancilla is restored to state |A⟩, but this requires additional T gates that offset the initial savings

Engineering Contradiction:
Improveancilla qubit state recoveryVSAvoidtotal T gate count
Core Design Contradiction:
Stability of the object's compositionVSQuantity of substance

Solution Approach 1:

Instead of uncomputing the ancilla qubit by reversing the logical-AND computation (which would require additional T gates), the patent measures the ancilla qubit in the computational basis to collapse its state. The measurement outcome is used for classical correction of any phase errors, and the ancilla is then discarded. This approach recovers computational correctness without requiring the expensive reversal operations, maintaining the T gate savings from the indirect Toffoli implementation.

Inventive Principle:
Principle #34Discarding and recovering

Solution Approach 2:

The patent replaces the quantum mechanical reversal operation (uncomputation requiring T gates) with a classical measurement and correction process. By measuring the ancilla qubit and using the measurement outcome to guide classical corrections, the system substitutes expensive quantum operations with cheaper classical processing, thereby reducing the total T gate count while maintaining computational accuracy.

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

Data Source

PatentUS11544616B2Quantum circuits with reduced T gate count
Publication Date: 2023.01.03 GOOGLE LLC
  • US11544616B2 patent drawing
  • US11544616B2 patent drawing
  • US11544616B2 patent drawing

AI summary

Methods, systems and apparatus for producing quantum circuits with low T gate counts. In one aspect, a method for performing a temporary logical AND operation on two control qubits includes the actions of obtaining an ancilla qubit in an A-state; computing a logical-AND of the two control qubits and storing the computed logical-AND in the state of the ancilla qubit, comprising replacing the A-state of the ancilla qubit with the logical-AND of the two control qubits; maintaining the ancilla qubit storing the logical-AND of the two controls until a first condition is satisfied; and erasing the ancilla qubit when the first condition is satisfied.