Gate-based universal quantum computation is formulated in terms of two types of operations: local single-qubit gates, which are typically easily implementable, and two-qubit entangling gates, whose faithful implementation remains one of the major experimental challenges since it requires controlled interactions between individual systems. To make the most of quantum hardware it is crucial to process information in the most efficient way. One promising avenue is to use higher-dimensional systems, qudits, as the fundamental units of quantum information, in order to replace a fraction of the qubit-entangling gates with qudit-local gates. Here, we show how the complexity of multi-qubit circuits can be lowered significantly by employing qudit encodings, which we quantify by considering exemplary circuits with exactly known (multi-qubit) gate complexity. We discuss general principles for circuit compression, derive upper and lower bounds on the achievable advantage, and highlight the key role played by entanglement and the available gate set. Explicit experimental schemes for photonic as well as for trapped-ion implementations are provided and demonstrate a significant expected gain in circuit performance for both platforms.
Gate-based universal quantum computation is formulated in terms of two types of operations: local single-qubit gates, which are typically easily implementable, and two-qubit entangling gates, whose faithful implementation remains one of the major experimental challenges since it requires controlled interactions between individual systems. To make the most of quantum hardware it is crucial to process information in the most efficient way. One promising avenue is to use higher-dimensional systems, qudits, as the fundamental units of quantum information, in order to replace a fraction of the qubit-entangling gates with qudit-local gates. Here, we show how the complexity of multi-qubit circuits can be lowered significantly by employing qudit encodings, which we quantify by considering exemplary circuits with exactly known (multi-qubit) gate complexity. We discuss general principles for circuit compression, derive upper and lower bounds on the achievable advantage, and highlight the key role played by entanglement and the available gate set. Explicit experimental schemes for photonic as well as for trapped-ion implementations are provided and demonstrate a significant expected gain in circuit performance for both platforms.
Linear optical quantum computation (LOQC) offers a promising platform for scalable quantum information processing, but its scalability is fundamentally constrained by the probabilistic nature of non-local entangling gates. Qudit circuit compression schemes mitigate this issue by encoding multiple qubits onto qudits. However, these schemes become inefficient when only a subset of the encoded qubits is required to participate in the non-local entangling gate, leading to an exponential increase in the number of non-local gates. In this Letter, we address this bottleneck by demonstrating the existence of multi-level control-Z (CZ) gates for qudits encoded in multiple spatial modes in LOQC. Unlike conventional two-level CZ gates, which act only on a single pair of modes, multi-level CZ gates impart a conditional phase shift for an arbitrarily chosen subset of the spatial modes. We present two explicit linear optical schemes that realize such operations, illustrating a fundamental trade-off between prior information about the input quantum state and the physical resources required. The first scheme is realized with a constant success probability of 1/8 independent of the qudit dimension using a single non-local entangling gate, at the cost of state dependence, which is significantly better than the current success probability of 1/9. Our second scheme provides a fully state independent realization reducing the number of non-local gates to O(2r1+2r2) as compared to the existing bound of O(2r1+r2) where r1 and r2 are the number of qubits to be removed as control in the qudits. The success probability of the realization is 21(81)2r1+2r2. When combined with qudit circuit compression schemes, our results improve upon a key scalability limitation and significantly improve the efficiency of LOQC architectures.
Quantum computers are becoming a reality thanks to the accomplishments made in recent years. The quantum computers available today offer hundreds of qubits but are still limited in the number of operations they can perform before errors accumulate and the quantum state decays. In regard to the error accumulation, non-local operations such as CX or CZ are main contributors. One promising solution to reduce the number of required non-local operations is to make a more efficient use of the quantum hardware by exploiting the inherent high-dimensional capabilities of quantum systems. In a process called circuit compression, non-local operations between qubits are mapped to local operations in qudits, i.e., higher-dimensional systems. In this work, we present a strategy for enabling quantum circuit compression with the aim of mapping clusters of qubits in a given circuit to the mixed-dimensional qudits of the target hardware. Further, we discuss the principles of circuit compression as well as the physical structure of qubits and qudits, before introducing a new representation that captures the essence of quantum operations, affecting the different logical levels in the quantum states in nodes and edges of a graph. Based on this, we propose an automated approach for mapping qubit circuits of arbitrary gate sets to mixed-dimensional quantum systems, lowering the number of non-local operations. Empirical evaluations confirm the effectiveness of the proposed approach reducing the number of non-local operations by up to 50% for almost half of the cases. Finally, the corresponding source code is available freely at github.com/cda-tdum/qudit-compression.
The paradigm behind digital quantum computing inherits the idea of using binary information processing. Nature in fact gives much more rich structures of physical objects that can be used for encoding information, which is especially interesting in the quantum-mechanical domain. In this Colloquium several ideas are reviewed that indicate how multilevel quantum systems, also known as qudits, can be used for efficient realization of quantum algorithms, which are represented via standard qubit circuits. The focus in the Colloquium is on techniques for leveraging qudits for simplifying decomposition of multiqubit gates and for compressing quantum information by encoding multiple qubits in a single qudit. As discussed in the Colloquium, these approaches can be efficiently combined. This allows a reduction in the number of entangling (two-body) operations and the number of quantum information carriers used compared to straightforward qubit realizations. These theoretical schemes can be implemented with quantum computing platforms of various natures, such as trapped ions, neutral atoms, superconducting junctions, quantum light, spin systems, and molecules. The Colloquium concludes by summarizing a set of open problems whose resolution will be an important further step toward employing universal qudit-based processors for running qubit algorithms.
Much recent work on distributed quantum computing have focused on the use of entangled pairs and distributed two qubit gates. But there has also been work on efficient schemes for achieving multipartite entanglement between nodes in a single shot, removing the need to generate multipartite entangled states using many entangled pairs. This paper looks at how multipartite entanglement resources (e.g., GHZ states) can be useful for distributed fan-out operations; we also consider the use of qudits of dimension four for distributed quantum circuit compression. In particular, we consider how such fan-out operations and qudits can be used to implement circuits which are challenging for distributed quantum computation, involving pairwise qubit interactions, i.e., what has been called global gates (a.k.a. global Mølmer-Sørensen gates). Such gates have been explored to possibly yield more efficient computations via reduced circuit depth, and can be carried out efficiently in some types of quantum hardware (e.g., trapped-ion quantum computers); we consider this as an exploration of an ``extreme'' case for distribution given the global qubit-qubit interactions. We also conclude with some implications for future work on quantum circuit compilation and quantum data centre design.
We present qubit logic on qudits (QLOQ), a compression scheme in which the qubits from a hardware agnostic circuit are divided into groups of various sizes, and each group is mapped to a physical qudit for computation. QLOQ circuits have qubit-logic inputs, outputs, and gates, making them compatible with existing qubit-based algorithms and Hamiltonians. We show that arbitrary qubit-logic unitaries can in principle be implemented with significantly fewer two-level (qubit) physical entangling gates in QLOQ than in qubit encoding. We achieve this advantage in practice for two applications: variational quantum algorithms, and unitary decomposition. The variational quantum eigensolver (VQE) for LiH took 5 hours using QLOQ on one of Quandela's cloud-accessible photonic quantum computers, whereas it would have taken 4.39 years in qubit encoding. We also provide a QLOQ version of the Quantum Shannon Decomposition, which not only outperforms previous qudit-based proposals, but also beats the theoretical lower bound on the CNOT cost of unitary decomposition in qubit encoding.
Qudits, or multi-level quantum information carriers, present a promising path for scaling quantum computers. However, their use introduces increased complexity in quantum logic, necessitating careful control of relative phases between different qudit levels. In trapped-ion systems, entangling operations accumulate phases on specific levels that are no longer global, unlike in qubit architectures. Furthermore, the structure of multi-level gates becomes increasingly intricate with higher-dimensional Hilbert spaces. This work explores the theory of these additional local and nonlocal phases, accumulated in Mølmer--Sørensen and Light-shift gates. We propose methods to actively compensate for these phases, enhance gate robustness against parameter fluctuations, and simplify native gates for more efficient circuit decomposition. Our results pave the way toward the practical and scalable implementation of qudit-based quantum processors.