We investigate the error tolerance of quantum cryptographic protocols using $d$-level systems. In particular, we focus on prepare-and-measure schemes that use two mutually unbiased bases and a key-distillation procedure with two-way classical communication. For arbitrary quantum channels, we obtain a sufficient condition for secret-key distillation which, in the case of isotropic quantum channels, yields an analytic expression for the maximally tolerable error rate of the cryptographic protocols under consideration. The difference between the tolerable error rate and its theoretical upper bound tends slowly to zero for sufficiently large dimensions of the information carriers.
The efficient decomposition of multi-controlled gates is a significant factor in quantum compiling, both in circuit depth and T-gate count. Recent work has demonstrated that qudits have the potential to reduce resource requirements from linear to logarithmic depth and to avoid fractional phase rotations. Here we argue, based on the scaling of decoherence in high-index states, that circuit depth is not the primary factor, and that both the choice of entangling gate and interaction network topology act together to determine the spread of errors and ultimate failure rate in a circuit. We further …
We present a general approach for quantifying tolerance of a nonlocal N-partite state to any local noise under different classes of quantum correlation scenarios with arbitrary numbers of settings and outcomes at each site. This allows us to derive new precise bounds in d and N on noise tolerances for: (i) an arbitrary nonlocal N-qudit state; (ii) the N-qudit Greenberger-Horne-Zeilinger (GHZ) state; (iii) the N-qubit W state and the N-qubit Dicke states, and to analyse asymptotics of these precise bounds for large N and d.
We construct a classical algorithm that designs quantum circuits for algorithmic quantum simulation of arbitrary qudit channels on fault-tolerant quantum computers within a pre-specified error tolerance with respect to diamond-norm distance. The classical algorithm is constructed by decomposing a quantum channel into a convex combination of generalized extreme channels by optimization of a set of nonlinear coupled algebraic equations. The resultant circuit is a randomly chosen generalized extreme channel circuit whose run-time is logarithmic with respect to the error tolerance and quadratic wi…
The Ekert quantum key distribution protocol uses pairs of entangled qubits and performs checks based on a Bell inequality to detect eavesdropping. The N-DEB protocol uses instead pairs of entangled qudits to achieve better noise resistance than the Ekert protocol. It performs checks based on the Bell CGLMP inequality for qudits. In this paper, we present the generalization for qudits of our protocol h3DEB (for qutrits). This protocol also uses pairs of entangled qudits, but achieves even better noise resistance than N-DEB and is showed to be secure against the same family of cloning attacks th…
Quantum tomography is an important tool for obtaining information about the quantum state from experimental data. In this study, we conduct a comparative analysis of various quantum tomography protocols, including protocols based on highly symmetric sets of state vectors, on mutually unbiased bases (MUB), and two-level transformations. Using the universal distribution for the fidelity of quantum state tomography, we estimate the fidelity and efficiency of quantum measurements for qudits of various dimensions as applied to a set of random states uniformly distributed over the Haar measure.
In comparison to qubit-based protocols, qudit-based quantum key distribution (QKD) ones gen- erally allow two cooperative parties to share unconditionally secure keys under a higher channel noise. However, it is very hard to prepare and measure the required quantum states in qudit-based protocols in general. One exception is the recently proposed highly error tolerant qudit-based proto- col known as the Chau15 [1]. Remarkably, the state preparation and measurement in this protocol can be done relatively easily since the required states are phase encoded almost like the diagonal basis states of…
We propose a protocol ${\cal D}_n$ for faithfully teleporting an arbitrary $n$-qudit state with the tensor product state (TPS) of $n$ generalized Bell states (GBSs) as the quantum channel. We also put forward explicit protocol ${\cal D}'_n$ and ${\cal D}''_n$ for faithfully teleporting an arbitrary $n$-qudit state with two classes of $2n$-qudit GESs as the quantum channel, where the GESs are a kind of genuine entangled states we construct and can not be reducible to the TPS of $n$ GBSs.
Non-adiabatic holonomic quantum computation is a method used to implement high-speed quantum gates with non-Abelian geometric phases associated with paths in state space. Due to their noise tolerance, these phases can be used to construct error resilient quantum gates. We extend the holonomic dark path qubit scheme in [M.-Z. Ai {\t et al.}, Fundam. Res. {\bf 2}, 661 (2022)] to qudits. Specifically, we demonstrate one- and two-qudit universality by using the dark path technique. Explicit qutrit ($d=3$) gates are demonstrated and the scaling of the number of loops with the dimension $d$ is addre…
Stimulated Raman adiabatic passage (STIRAP) is a widely used protocol to realize high-fidelity and robust quantum control in various quantum systems. However, further application of this protocol in superconducting qubits is limited by population leakage caused by the only weak anharmonicity. Here we introduce an optimally controlled shortcut-to-adiabatic (STA) technique to speed up the STIRAP protocol in a superconducting qudit. By modifying the shapes of the STIRAP pulses, we experimentally realize a fast (32 ns) and high-fidelity quantum state transfer. In addition, we demonstrate that our …
We investigate the security bounds of quantum cryptographic protocols using $d$-level systems. In particular, we focus on schemes that use two mutually unbiased bases, thus extending the BB84 quantum key distribution scheme to higher dimensions. Under the assumption of general coherent attacks, we derive an analytic expression for the ultimate upper security bound of such quantum cryptography schemes. This bound is well below the predictions of optimal cloning machines. The possibility of extraction of a secret key beyond entanglement distillation is discussed. In the case of qutrits we argue …
The Gottesman-Kitaev-Preskill (GKP) code offers the possibility to encode higher-dimensional qudits into individual bosonic modes with, for instance, photonic excitations. Since photons enable the reliable transmission of quantum information over long distances and since GKP states subject to photon loss can be recovered to some extent, the GKP code has found recent applications in theoretical investigations of quantum communication protocols. While previous studies have primarily focused on GKP qubits, the possible practical benefits of higher-dimensional GKP qudits are hitherto widely unexpl…
The application of high-dimensional quantum systems (qudits) in quantum computing and communications seems to be a promising avenue due to the possibility of increasing the amount of information encoded in one physical carrier. In this work, we propose a method for implementing single-qudit gates for qudits based on light modes with orbital angular momentum. Method for logical qudits encoding, which ensures the quasi-cyclicity of operations, is introduced. Based on the protocol for converting the orbital angular momentum of light in the Raman quantum memory scheme [Vashukevich E.A. et. al. PRA…
The notion of universal quantum computation can be generalized to multi-level qudits, which offer advantages in resource usage and algorithmic efficiencies. Trapped ions, which are pristine and well-controlled quantum systems, offer an ideal platform to develop qudit-based quantum information processing. Previous work has not fully explored the practicality of implementing trapped-ion qudits accounting for known experimental error sources. Here, we describe a universal set of protocols for state preparation, single-qudit gates, a new generalization of the Mølmer-Sørensen gate for two-qudit gat…
A long-standing open problem in fault-tolerant quantum computation has been to find a universal set of transversal gates. As three of us proved in arXiv: 0706.1382, such a set does not exist for binary stabilizer codes. Here we generalize our work to show that for subsystem stabilizer codes in $d$ dimensional Hilbert space, such a universal set of transversal gates cannot exist for even one encoded qudit, for any dimension $d$, prime or nonprime. This result strongly supports the idea that other primitives, such as quantum teleportation, are necessary for universal fault-tolerant quantum compu…
In this chapter a quantum communication protocol with use of repeaters is presented. The protocol is constructed for qudits i.e. the generalized quantum information units. One-dit teleportation is based on the generalized Pauli-Z (phase-flip) gate's correction. This approach avoids using Pauli-X and Hadamard gates unlike in other known protocols based on quantum repeaters which were constructed for qubits and qudits. It is also important to mention that the repeaters based on teleportation protocol, described in this chapter, allow a measurement in the standard base (what simplifies the measur…
Symmetric extendibility of quantum states has recently drawn attention in the context of quantum cryptography to judge whether quantum states shared between two distant parties can be purified by means of one-way error correction protocols. In this letter we study the symmetric extendibility in a specific class of two-qudit states, i. e. states composed of two d-level systems, in order to find upper bounds on tolerable error rates for a wide class of qudit-based quantum cryptographic protocols using two-way error correction. In important cases these bounds coincide with previously known lower …
Recently, Chau introduced an experimentally feasible qudit-based quantum-key-distribution (QKD) scheme. In that scheme, one bit of information is phase encoded in the prepared state in a $2^n$-dimensional Hilbert space in the form $(|i\rangle\pm|j\rangle)/\sqrt{2}$ with $n\ge 2$. For each qudit prepared and measured in the same two-dimensional Hilbert subspace, one bit of raw secret key is obtained in the absence of transmission error. Here we show that by modifying the basis announcement procedure, the same experimental setup can generate $n$ bits of raw key for each qudit prepared and measur…
We introduce entanglement purification protocols for d-level systems (qudits) with improved efficiency as compared to previous protocols. While we focus on protocols for bipartite systems, we also propose generalizations to multi-partite qudit systems. The schemes we introduce include recurrence protocols that operate on two copies, as well as hashing protocols that operate on large ensembles. We analyze properties of the protocols with respect to minimal required fidelity and yield, and study their performance in the presence of noise and imperfections. We determine error thresholds and study…
The concept of asymptotic correctability of Bell-diagonal quantum states is generalised to elementary quantum systems of higher dimensions. Based on these results basic properties of quantum state purification protocols are investigated which are capable of purifying tensor products of Bell-diagonal states and which are based on $B$-steps of the Gottesman-Lo-type with the subsequent application of a Calderbank-Shor-Steane quantum code. Consequences for maximum tolerable error rates of quantum cryptographic protocols are discussed.
Quantum tomography makes it possible to obtain comprehensive information about certain logical elements of a quantum computer. In this regard, it is a promising tool for debugging quantum computers. The practical application of tomography, however, is still limited by systematic measurement errors. Their main source are errors in the quantum state preparation and measurement procedures. In this work, we investigate the possibility of suppressing these errors in the case of ion-based qudits. First, we will show that one can construct a quantum measurement protocol that contains no more than a s…
Information is encoded in a qubit in the form of its Bloch vector. In this paper, we propose protocols for remote transfers of information in a known and an unknown qubit to qudits using $SU(2)$- invariant $\frac{1}{2}\otimes S$ discordant states as a channel. These states have been identified as separable equivalents of the two-qubit entangled Werner states in [Bharath & Ravishankar, Phys. Rev. A 89, 062110]. Due to $SU(2) \times SU(2)$ invariance of these states, the remote qudit can be changed by performing appropriate measurements on the qubit. We also propose a protocol for transferring i…
The achievement of quantum supremacy boosted the need for a robust medium of quantum information. In this task, higher-dimensional qudits show remarkable noise tolerance and enhanced security for quantum key distribution applications. However, to exploit the advantages of such states, we need a thorough characterisation of their entanglement. Here, we propose a measure of entanglement which can be computed either for pure and mixed states of a $M$-qudit hybrid system. The entanglement measure is based on a distance deriving from an adapted application of the Fubini-Study metric. This measure i…
A protocol for teleporting two qudits simultaneously in opposite directions using a single pair of maximally entangled qudits is presented. This procedure works provided that the product of dimensions of the two qudits to be teleported does not exceed the dimension of the individual qudits in the maximally entangled pair.
To maximize average information gain for a classical measurement, all outcomes of an observation must be equally likely. The condition of equally likely outcomes may be enforced in quantum theory by ensuring that one's state $ρ$ is maximally different, or complementary, to the measured observable. This requires the ability to perform unitary operations on the state, conditioned on the results of prior measurements. We consider the case of measurement of a component of angular momentum for a qudit (a $D$-dimensional system, with $D=2J+1$). For weak or continuous-in-time (i.e. repeated weak) mea…
We present a protocol to simulate the quantum correlations of an arbitrary bipartite state, when the parties perform a measurement according to two traceless binary observables. We show that $\log(d)$ bits of classical communication is enough on average, where $d$ is the dimension of both systems. To obtain this result, we use the sampling approach for simulating the quantum correlations. We discuss how to use this method in the case of qudits.
We discuss properties of probabilistic coding of two qubits to one qutrit and generalize the scheme to higher dimensions. We show that the protocol preservers entanglement between qubits to be encoded and environment and can be also applied to mixed states. We present the protocol which enables encoding of n qudits to one qudit of dimension smaller than the Hilbert space of the original system and then probabilistically but error-free decode any subset of k qudits. We give a formula for the probability of successful decoding.
The novel experimental realization of four-level optical quantum systems (ququarts) is presented. We exploit the polarization properties of frequency non-degenerate biphoton field to obtain such systems. A simple method that does not rely on interferometer is used to generate and measure the sequence of states that can be used in quantum key distribution (QKD) protocol.
Entanglement represents an important resource for quantum information processing, but its generation itself requires physical resources that are limited. We propose a scheme for generating a wide class of entangled qudit-type states of optical field modes at sites separated by noisy medium when only weak optical nonlinearities are available at both sites. The protocol is also based on exploiting a weak probe field, transmitted between the sites and used for generation of quantum correlations between two spatially separated field modes. The idea of probabilistic entanglement enhancement by meas…
We generalize the ZX calculus to quantum systems of dimension higher than two. The resulting calculus is sound and universal for quantum mechanics. We define the notion of a mutually unbiased qudit theory and study two particular instances of these theories in detail: qudit stabilizer quantum mechanics and Spekkens-Schreiber toy theory for dits. The calculus allows us to analyze the structure of qudit stabilizer quantum mechanics and provides a geometrical picture of qudit stabilizer theory using D-toruses, which generalizes the Bloch sphere picture for qubit stabilizer quantum mechanics. We a…
Prevailing proposals for the first generation of quantum computers make use of 2-level systems, or qubits, as the fundamental unit of quantum information. However, recent innovations in quantum error correction and magic state distillation protocols demonstrate that there are advantages of using d-level quantum systems, known as \emph{qudits}, over the qubit analogues. When designing a quantum architecture, it is crucial to consider protocols for compilation, the optimal conversion of high-level instructions used by programmers into low-level instructions interpreted by the machine. In this wo…
Generating multiple entangled qubit pairs between distributed nodes is a prerequisite for a future quantum internet. To achieve a practicable generation rate, standard protocols based on photonic qubits require multiple long-term quantum memories, which remains a significant experimental challenge. In this paper, we propose a novel protocol based on $2^m$-dimensional time-bin photonic qudits that allow for the simultaneous generation of multiple ($m$) entangled pairs between two distributed qubit registers and outline a specific implementation of the protocol based on cavity-mediated spin-phot…
Measurement-device-independent (MDI) method is a way to solve all detector side-channel attacks in quantum key distribution (QKD). However, very little work has been done on experimentally feasible qudit-based MDI-QKD scheme although the famous (qudit-based) round-robin differential-phase-shift (RRDPS) scheme is vulnerable to attacks on uncharacterized detectors. Here we report a mother-of-all QKD protocol on which all provably secure qubit-based QKD schemes known to date including the RRDPS and the so-called Chau15 schemes are based. We also report an experimentally feasible MDI system via op…
Robust quantum computation with d-level quantum systems (qudits) poses two requirements: fast, parallel quantum gates and high fidelity two-qudit gates. We first describe how to implement parallel single qudit operations. It is by now well known that any single-qudit unitary can be decomposed into a sequence of Givens rotations on two-dimensional subspaces of the qudit state space. Using a coupling graph to represent physically allowed couplings between pairs of qudit states, we then show that the logical depth of the parallel gate sequence is equal to the height of an associated tree. The imp…
We present a unified formalism for threshold quantum secret sharing using graph states of systems with prime dimension. We construct protocols for three varieties of secret sharing: with classical and quantum secrets shared between parties over both classical and quantum channels.
University of the Basque Country UPV/EHU（巴斯克大学）；IKERBASQUE, Basque Foundation for Science（伊克尔巴斯基奎巴斯克科学基金会）；Basque Center for Applied Mathematics (BCAM)（巴斯克应用数学中心）
Semi-quantum key distribution protocols are designed to allow two parties to establish a shared secret key, secure against an all-powerful adversary, even when one of the users is restricted to measuring and preparing quantum states in one single basis. While interesting from a theoretical standpoint, these protocols have the disadvantage that a two-way quantum communication channel is necessary which generally limits their theoretical efficiency and noise tolerance. In this paper, we construct a new semi-quantum key distribution (SQKD) protocol which actually takes advantage of this necessary…
Quantum superpositions of coherent states are produced both in microwave and optical domains, and are considered realizations of the famous "Schrödinger cat" state. The recent progress shows an increase in the number of components and the number of modes involved. Our work creates a theoretical framework for treatment of multicomponent two-mode Schrödinger cat states. We consider a class of single-mode states, which are superpositions of $N$ coherent states lying on a circle in the phase space. In this class we consider an orthonormal basis created by rotationally-invariant circular states (RI…
The paper presents general protocols for quantum teleportation between multiparties. It is shown how N parties can teleport N unknown quantum states to M other parties with the use of N+M qudits in the maximally entangled state. It is also shown that a single pair of qudits in the maximally entangled state can be used to teleport two qudits in opposite directions simultaneously.
We provide security bounds against coherent attacks for two families of quantum key distribution protocols that use $d$-dimensional quantum systems. In the asymptotic regime, both the secret key rate for fixed noise and the robustness to noise increase with $d$. The finite-key corrections are found to be almost insensitive to $d\lesssim 20$.
Twists are defects in the lattice which can be utilized to perform computations on encoded data. Twists have been studied in various classes of topological codes like qubit and qudit surface codes, qubit color codes and qubit subsystem color codes. They are known to exhibit projective non-Abelian statistics which is exploited to perform encoded gates. In this paper, we initiate the study of twists in qudit color codes over odd prime alphabet. To the best of our knowledge, this is the first study of twists in qudit color codes. Specifically, we present a systematic construction of twists in qud…
