Exact Qudit Circuit Synthesis for Low-Cost Unitary Decomposition

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Current methods for implementing quantum gates in quantum computing systems, especially for qutrits and qudits, are expensive and lack efficient methods for selecting quantum gates to represent arbitrary operators, limiting the effectiveness of quantum computing operations.

Innovation Solution

The development of methods to decompose a unitary into a quantum circuit by gradually decreasing the complexity of the unitary or quantum state using the structure of torsion-free modules, represented by integer vectors of p-adic valuations, allowing for exact synthesis of quantum circuits for qudit and multiple qubit systems.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Productivity

If conventional methods are used to implement quantum gates for qutrits and qudits, then quantum computing operations can be performed, but the cost is expensive and efficiency is limited

Engineering Contradiction:
Improvequantum computing efficiencyVSAvoidquantum gate implementation cost
Core Design Contradiction:
ProductivityVSDevice complexity

Solution Approach 1:

The patent changes the parameter representation from conventional binary qubits to qudits with higher dimensions (d≥2), enabling more efficient gate decomposition. By representing quantum states as vectors of length d and using p-adic valuations of elementary divisors, the system optimizes the selection of basis gates to minimize circuit depth and gate count, directly improving productivity while managing complexity through mathematical structure.

Inventive Principle:
Principle #35Parameter changes

Solution Approach 2:

The patent replaces conventional heuristic and approximate synthesis methods with an exact mathematical framework based on torsion-free modules and p-adic valuations. This substitution of the synthesis mechanism enables precise optimization of quantum circuits, finding exact decompositions into basis gates rather than relying on approximate or heuristic approaches, thereby improving efficiency without excessive complexity.

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

2Reliability

If exact synthesis methods are used to optimize quantum gate selection, then quantum computing capabilities are enhanced, but the mathematical complexity of the synthesis process increases

Engineering Contradiction:
Improvequantum circuit accuracyVSAvoidsynthesis method complexity
Core Design Contradiction:
ReliabilityVSDevice complexity

Solution Approach 1:

The patent extracts the essential mathematical structure by focusing on the torsion-free module L of rank d and the p-adic valuations of elementary divisors of the quotient. By isolating and utilizing only the critical mathematical invariants needed for exact synthesis, the method achieves reliable exact decomposition while managing complexity through selective extraction of necessary mathematical structures rather than handling the full complexity of general quantum synthesis.

Inventive Principle:
Principle #2Taking out (Extraction)

Solution Approach 2:

The patent transforms the synthesis problem by changing parameters from conventional gate selection to optimization based on p-adic valuations and integer vectors representing the module structure. This parameter transformation enables exact synthesis with improved reliability while the mathematical structure provides a systematic framework that manages the inherent complexity through algebraic properties.

Inventive Principle:
Principle #35Parameter changes

Data Source

PatentEP3507747B1Exact quantum circuits and circuit syntheses for qudit and multiple qubit circuits
Publication Date: 2023.07.19 MICROSOFT TECHNOLOGY LICENSING LLC
  • EP3507747B1 patent drawingFigure 1
  • EP3507747B1 patent drawingFigure 2
  • EP3507747B1 patent drawingFigure 3

AI summary

Methods are provided for exact synthesis of unitaries for qudit and multi-qubit systems. In addition, state preparation methods are provided. The syntheses produce circuits that have lowest cost for a given cost funtion.