We present a comprehensive framework for quantum state tomography (QST) of time-bin qudits sent through a fiber. Starting from basic assumptions, we define a positive-operator valued measure (POVM) which is then applied to the quantum state reconstruction problem. A realistic scenario is considered where the time uncertainty of the detector is treated as a source of experimental noise. The performance of the quantum tomography framework is examined through a series of numerical simulations conducted for different parameters describing the apparatus. The quality of state recovery, quantified by the notion of minimum fidelity, is depicted on graphs for a range of fiber lengths. Special attention is paid to relative phase reconstruction for qubits and qutrits. The results present relevant interdependence between the fiber length and the detector jitter.
Quantum scissors device of Pegg et al. (1998 Phys. Rev. Lett. 81, 1604) enables truncation of the Fock-state expansion of an input optical field to qubit and qutrit (three-dimensional) states only. Here, a generalized scissors device is proposed using an eight-port optical interferometer. Upon post-selection based on photon counting results, the interferometer implements generation and teleportation of qudit (d-dimensional) states by truncation of an input field at the (d-1)th term of its Fock-state expansion up to d=6. Examples of selective truncations, which can be interpreted as a Fock-stat…
We generalize the binary quantum counting algorithm of Lesovik, Suslov, and Blatter [Phys. Rev. A 82, 012316 (2010)] to higher counting bases. The algorithm makes use of qubits, qutrits, and qudits to count numbers in a base 2, base 3, or base d representation. In operating the algorithm, the number n < N = d^K is read into a K-qudit register through its interaction with a stream of n particles passing in a nearby wire; this step corresponds to a quantum Fourier transformation from the Hilbert space of particles to the Hilbert space of qudit states. An inverse quantum Fourier transformation pr…
Quantum state tomography (QST) is an essential tool for characterizing an unknown quantum state. Recently, QST has been performed for entangled qudits based on orbital angular momentum, time-energy uncertainty, and frequency bins. Here, we propose a QST for time-bin qudits, with which the number of measurement settings scales linearly with dimension $d$. Using the proposed scheme, we performed QST for a four-dimensional time-bin maximally entangled state with 16 measurement settings. We successfully reconstructed the density matrix of the entangled qudits, with which the average fidelity of th…
We show for the first time how deterministic unitary operations on time-bin qubits encoded in single photon pulses can be realized using fiber optics components that are available with current technology. We also generalize this result to operations on time-bin qudits, i.e. $d$-level systems, and show that this can be done efficiently using 2$\times$2 beamsplitters and phase modulators. Important benefits for experimental quantum communication are highlighted. This work shows how to bridge the gap between current proof-of-principle demonstrations and complete, deterministic experiments.
We propose a new method for implementing mutually unbiased generation and measurement of time-bin qudits using a cascade of electro-optic phase modulator -- coded fiber Bragg grating pairs. Our approach requires only a single spatial mode and can switch rapidly between basis choices. We obtain explicit solutions for dimensions $d=2,3,4$ that realize all $d+1$ possible mutually unbiased bases and analyze the performance of our approach in quantum key distribution. Given its practicality and compatibility with current technology, our approach provides a promising springboard for scalable process…
Quantum optical microcombs in integrated ring resonators generate entangled photon pairs over many spectral modes, and allow the preparation of high dimensional qudit states. Ideally, those sources should be programmable and have a high generation rate, with comb lines tightly spaced for the implementation of efficient qudit gates based on electro-optic frequency mixing. While these requirements cannot all be satisfied by a single resonator device, for which there is a trade-off between high generation rate and tight bin spacing, a promising strategy is the use of multiple resonators, each gen…
Time-bin qudits have emerged as a promising encoding platform in many quantum photonic applications. However, the requirement for efficient single-shot measurement of time-bin qudits instead of reconstructive detection has restricted their widespread use in experiments. Here, we propose an efficient method to measure arbitrary superposition states of time-bin qudits and confirm it up to dimension 4. This method is based on encoding time bins at the picosecond time scale, also known as ultrafast time bins. By doing so, we enable the use of robust and phase-stable single spatial mode temporal in…
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.
ZW-calculus is a useful graphical language for pure qubit quantum computing. It is via the translation of the completeness of ZW-calculus that the first proof of completeness of ZX-calculus was obtained. A d-level generalisation of qubit ZW-calculus (anyonic qudit ZW-calculus) has been given in [Hadzihasanovic 2017] which is universal for pure qudit quantum computing. However, the interpretation of the W spider in this type of ZW-calculus has so-called q-binomial coefficients involved, thus makes computation quite complicated. In this paper, we give a new type of qudit ZW-calculus which has ge…
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…
The security of conventional cryptography systems is threatened in the forthcoming era of quantum computers. Quantum key distribution (QKD) features fundamentally proven security and offers a promising option for quantum-proof cryptography solution. Although prototype QKD systems over optical fiber have been demonstrated over the years, the key generation rates remain several orders-of-magnitude lower than current classical communication systems. In an effort towards a commercially viable QKD system with improved key generation rates, we developed a discrete-variable QKD system based on time-b…
Low depth measurement-based quantum computation with qudits ($d$-level systems) is investigated and a precise relationship between this powerful model and qudit quantum circuits is derived in terms of computational depth and size complexity. To facilitate this investigation a qudit `unbounded fan-out' circuit model, in which a qudit may be quantum-copied into an arbitrary number of ancillas in a single time-step, is introduced and shown to be capable of implementing interesting $n$-qudit unitaries in constant depth. A procedure for reducing the quantum computational depth in the measurement-ba…
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…
Entanglement is an important phenomenon that enables quantum information processing algorithms and quantum communications protocols. Although entangled quantum states are often described in radix-2, higher-radix qudits can become entangled as well. In this work, we both introduce partial entanglement, a concept that does not exist for radix-2 quantum systems, and differentiate between partial and maximal entanglement within non-binary quantum information processing systems. We also develop and present higher-radix maximal entanglement generator circuits that are analogous to the well-known Bel…
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…
We demonstrate the capability to discretize the frequency spectrum of broadband energy-time entangled photons by means of a spatial light modulator to encode qudits in various bases. Exemplarily, we implement three different discretization schemes, namely frequency bins, time bins and Schmidt modes. Entangled qudits up to dimension $d=4$ are then revealed by two-photon interference experiments with visibilities violating a $d$-dimensional Bell inequality.
The progress in building quantum computers to execute quantum algorithms has recently been remarkable. Grover's search algorithm in a binary quantum system provides considerable speed-up over classical paradigm. Further, Grover's algorithm can be extended to a $d$-ary (qudit) quantum system for utilizing the advantage of larger state space, which helps to reduce the run-time of the algorithm as compared to the traditional binary quantum systems. In a qudit quantum system, an $n$-qudit Toffoli gate plays a significant role in the accurate implementation of Grover's algorithm. In this article, a…
Qudit extension of parameterized IQP circuits: A generative quantum machine learning approach to integer data
Parity Quantum Computing Germany GmbH（Parity量子计算德国有限公司）；Parity Quantum Computing GmbH（Parity量子计算有限公司）；Institute for Theoretical Physics, University of Innsbruck（因斯布鲁克大学理论物理研究所）
Higher-order nonclassical properties of r photon added and t photon subtracted qudit states (referred to as rPAQS and tPSQS, respectively) are investigated here to answer: How addition and subtraction of photon can be used engineer higher-order nonclassical properties of qudit states? To obtain the answer higher-order moment of relevant bosonic field operators are first obtained for rPAQS and tPSQS, and subsequently the same is used to study the higher-order nonclassical properties of the corresponding states. A few witnesses of higher-order nonclassicality (e.g. Higher-Order Antibunching, Hig…
Although many of works have been done in multivalued quantum logic synthesis, the question whether multivalued quantum circuits are more efficient than the conventional binary quantum circuits is still open. In this article we devote to the optimization of generic multivalued quantum circuits. The multivalued quantum Shannon decompositions (QSD) are improved so that the circuits obtained are asymptotically optimal for all dimensionality d. The syntheses of uniformly multifold controlled $R_y$ rotations are also optimized to make the circuits further simplified. Moreover, the theoretical lower …
Autonomous quantum error correction utilizes the engineered coupling of a quantum system to a dissipative ancilla to protect quantum logical states from decoherence. We show that the Knill-Laflamme condition, stating that the environmental error operators should act trivially on a subspace, which then becomes the code subspace, is sufficient for logical qudits to be protected against Markovian noise. It is proven that the error caused by the total Lindbladian evolution in the code subspace can be suppressed up to very long times in the limit of large engineered dissipation, by explicitly deriv…
Most quantum computing architectures to date natively support multi-valued logic, albeit being typically operated in a binary fashion. Multi-valued, or qudit, quantum processors have access to much richer forms of quantum entanglement, which promise to significantly boost the performance and usefulness of quantum devices. However, much of the theory as well as corresponding design methods required for exploiting such hardware remain insufficient and generalizations from qubits are not straightforward. A particular challenge is the compilation of quantum circuits into sets of native qudit gates…
The probabilistic nature of single-photon sources and photon-photon interactions encourages encoding as much quantum information as possible in every photon for the purpose of photonic quantum information processing. Here, by encoding high-dimensional units of information (qudits) in time and frequency degrees of freedom using on-chip sources, we report deterministic two-qudit gates in a single photon with fidelities exceeding 0.90 in the computational basis. Constructing a two-qudit modulo SUM gate, we generate and measure a single-photon state with non-separability between time and frequency…
High-dimensional quantum entanglement is drawing attention because it enables us to perform quantum information tasks that are robust against noises. To test the nonlocality of entangled qudits, the Collins-Gisin-Linden-Massar-Popescu (CGLMP) inequality has been proposed and demonstrated using qudits based on orbital angular momentum, time-energy uncertainty, and frequency bins. Here, we report the generation and observation of time-bin entangled ququarts. We implemented a measurement for the CGLMP inequality test using cascaded delay Mach-Zehnder interferometers fabricated by using planar lig…
We investigate the implementation of binary projective measurements with linear optics. This problem can be viewed as a single-shot discrimination of two orthogonal pure quantum states. We show that any two orthogonal states can be perfectly discriminated using only linear optics, photon counting, coherent ancillary states, and feedforward. The statement holds in the asymptotic limit of large number of these physical resources.
Polarized light microscopy using path-entangled $N$-photon states (i.e., the N00N states) has been demonstrated to surpass the shot-noise limit at very low light illumination. However, the microscopy images suffer from divergence of phase sensitivity, which inevitably reduces the image quality. Here, we show that due to experimental imperfections, such a singularity also takes place in the microscopy that uses twin-Fock states of light for illumination. We propose two schemes to completely eliminate this singularity: (i) locking the phase shift sensed by the beams at the optimal working point,…
Quantum discord quantifies quantum correlations beyond entanglement and assumes nonzero values, which are notoriously hard to compute, for almost all quantum states. Here we provide computable tight bounds for the quantum discord for qubit-qudit states. In the case of two qubits our lower and upper bounds coincide for a 7-parameter family of filtered $X$-states, whose quantum discords can therefore be evaluated analytically. An application to the accessible information of the binary qubit channel is also presented. For the qubit-qudit state output by the circuit of deterministic computation wi…
Photonic quantum information with time-bins: Principles and applications
University of Calgary（卡尔加里大学）；California Institute of Technology（加州理工学院）；John A. Paulson School of Engineering and Applied Sciences, Harvard University（哈佛大学约翰·A·保尔森工程与应用科学学院）
We address photon-number-assisted, polarization- based, binary communication systems equipped with photon counting receivers. In these channels information is encoded in the value of polarization phase-shift but the carrier has and additional degree of freedom, i.e. its photon distribution, which may be exploited to implement binary input-multiple output (BIMO) channels also in the presence of a phase-diffusion noise affecting the polarization. Here we analyze the performances of these channels, which approach capacity by means of iteratively decoded error correcting codes. In this paper we us…
We study the correlation clustering problem using the quantum approximate optimization algorithm (QAOA) and qudits, which constitute a natural platform for such non-binary problems. Specifically, we consider a neutral atom quantum computer and propose a full stack approach for correlation clustering, including Hamiltonian formulation of the algorithm, analysis of its performance, identification of a suitable level structure for ${}^{87}{\rm Sr}$ and specific gate design. We show the qudit implementation is superior to the qubit encoding as quantified by the gate count. For single layer QAOA, w…
Google recently announced that they had achieved quantum supremacy with 53 qubits (base-2 binaries or radix-2), corresponding to a computational state-space of dimension 253 (about 1016). Google claimed to perform computations that took 200 seconds on their quantum processor that would have taken 10,000 years to accomplish on a classical supercomputer [1]. However, achieving superposition and entanglement of 53 qubits is not an easy task given the environmental noise that decoheres the qubits. In this paper, we claim that one can potentially achieve a similar computational dimension with fewer…
Quantum state discrimination is a central problem in quantum measurement theory, with applications spanning from quantum communication to computation. Typical measurement paradigms for state discrimination involve a minimum probability of error or unambiguous discrimination with a minimum probability of inconclusive results. Alternatively, an optimal inconclusive measurement, a non-projective measurement, achieves minimal error for a given inconclusive probability. This more general measurement encompasses the standard measurement paradigms for state discrimination and provides a much more pow…
We experimentally study the violation of the CGLMP inequality for entangled 2-qubit and 2-qutrit states with different degrees of entanglement using numerically optimized measurement settings. The qudits are encoded and manipulated in the frequency spectrum of broadband energy-time entangled photons by taking into account a spatial light modulator. The latter allows to discretize the spectrum into bins. By controlling each frequency bin individually, the generation of maximally and non-maximally entangled qutrits is verified through quantum state tomography.
The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gaine…
Optimal measurement scheme with an efficient data processing is important in quantum-enhanced interferometry. Here we prove that for a general binary outcome measurement, the simplest data processing based on inverting the average signal can saturate the Cramér-Rao bound. This idea is illustrated by binary outcome homodyne detection, even-odd photon counting (i.e., parity detection), and zero-nonzero photon counting that have achieved super-resolved interferometric fringe and shot-noise limited sensitivity in coherent-light Mach-Zehnder interferometer. The roles of phase diffusion are investig…
It was recently shown that a generalization of quantum Turing machines (QTMs), in which potentials are associated with elementary steps or transitions of the computation, generates potential distributions along computation paths of states in some basis B. The distributions are computable and are thus periodic or have deterministic disorder. These generalized machines (GQTMs) can be used to investigate the effect of potentials in causing reflections and reducing the completion probability of computations. This work is extended here by determination of the spectral and transmission properties of…
