Abstract:We propose a linear-size synthesis of the multi-controlled Toffoli gate on qudits with at most one borrowed ancilla. This one ancilla can even be saved when the qudit dimension is odd. Our synthesis leads to improvements in various quantum algorithms implemented on qudits. In particular, we obtain (i) a linear-size and one-clean-ancilla synthesis of multi-controlled qudit gates; (ii) an optimal-size and one-clean-ancilla synthesis of unitaries on qudits; (iii) a near-optimal-size and ancilla-free/one-borrowed-ancilla implementation of classical reversible functions as qudit gates.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to optimize the synthesis of multi - controlled qudit gates in order to reduce the resources required in quantum circuits. Specifically, the paper proposes a method for linearly - sized synthesis of multi - controlled Toffoli gates using at most one ancilla, and when the qudit dimension is odd, no ancilla is required. These improvements are of great significance for various qudit - based quantum algorithms, including but not limited to:
1. **Linear - sized synthesis of multi - controlled qudit gates**: Achieves linear - sized synthesis of multi - controlled qudit gates, requiring only one clean ancilla.
2. **Optimal - sized synthesis of unitary**: Achieves optimal - sized synthesis of unitary operations on qudit, also requiring only one clean ancilla.
3. **Implementation of classical reversible functions**: Provides methods for implementing classical reversible functions without ancilla or with only one borrowed ancilla, especially in ternary systems, and this method is fault - tolerant.
### Specific problem description
Currently, quantum computing has entered the NISQ (Noisy Intermediate - Scale Quantum) era, and physical experimental hardware has inherent limitations on the size, depth, and number of qubits in quantum circuits. Therefore, the degree of optimization of quantum circuits directly affects the application range of quantum computers. Designing quantum circuits for various computational problems that are as small, shallow, and use the fewest qubits as possible is one of the most important research directions in the field of quantum computing.
Although typical quantum circuits are represented by qubits (two - level quantum systems), many underlying physical systems (such as quantum processors based on photon systems, ion traps, and superconducting devices) have higher natural dimensions. Utilizing these additional dimensions can significantly reduce the resource requirements of quantum circuits, even exponentially. In order to expand the computing power of quantum computers, especially for those underlying physical systems (such as those based on ion traps) with poor scalability, using higher dimensions and implementing quantum circuits with qudit instead of qubit is a promising method.
However, compared with qubit circuits, there are fewer optimization studies on qudit circuits, and the qudit synthesis of many basic primitives still needs to be optimized. Multi - controlled qudit gates are an important class of primitives, widely used in various quantum algorithms, such as unitary synthesis, Grover search algorithm, arithmetic operator synthesis, and implementation of classical reversible functions.
### Main contributions of the paper
The paper proposes a synthesis method for k - controlled qudit gates using only O(k) two - qudit gates and one clean ancilla, achieving optimality in size and the number of ancilla. The core is an O(k) - sized synthesis of a special k - controlled qudit gate (i.e., k - controlled Toffoli gate), without using ancilla when the dimension d is odd, and only requiring one borrowed ancilla when d is even.
In addition, the paper also shows how to apply these improvements to various quantum algorithms, such as the synthesis of arithmetic operators and the d - ary Grover algorithm. In particular, it is significant in the following aspects:
- **Unitary synthesis**: By replacing the improved multi - controlled qudit gate synthesis method, the number of required clean ancilla can be reduced from ⌈(n−2)/(d−2)⌉ to only 1, while keeping the number of two - qudit gates still optimal.
- **Implementation of classical reversible functions**: For any n - variable d - ary classical reversible function, an O(dnn) - sized implementation method is provided. When d is odd, no ancilla is used, and when d is even, only one borrowed ancilla is required. Especially when d = 3, this implementation method is still fault - tolerant.
In summary, this paper significantly reduces the resources required by quantum circuits by optimizing the synthesis of multi - controlled qudit gates, thereby improving the efficiency and practicality of various quantum algorithms.