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 concretely construct an extension of the controlled-U gate in qudit from some elementary gates. We also construct unitary transformation in two-qudit by means of the extended controlled-U gate and show the universality of it.
We show that all pure entangled states of two $d$-dimensional quantum systems (i.e., two qudits) can be generated from an initial separable state via a universal Yang--Baxter matrix if one is assisted by local unitary transformations.
Within the general context of the architecture in quantum computer design, this paper aims is to provide a general strategy to obtain a block-matrix representation of quantum gates applied to qubits placed in arbitrary positions over an arbitrary dimensional input state. The model is also extended to the framework of quantum computation with qudits. An application in the context of the quantum computational logic is provided.
When can a quantum system of finite dimension be used to simulate another quantum system of finite dimension? What restricts the capacity of one system to simulate another? In this paper we complete the program of studying what simulations can be done with entangling many-qudit Hamiltonians and local unitary control. By entangling we mean that every qudit is coupled to every other qudit, at least indirectly. We demonstrate that the only class of finite-dimensional entangling Hamiltonians that aren't universal for simulation is the class of entangling Hamiltonians on qubits whose Pauli operator…
Recently, the problem of discriminating multipartite unitary operations by local operations and classical communication (LOCC) has attracted significant attention. The latest work in the literature on this problem showed that two multipartite unitary operations can always be perfectly distinguished by LOCC when a finite number of runs are allowable. However, in these schemes, local entanglement (an entangled state holden by one party) was required, which seems to imply that local entanglement is necessary for perfect discrimination between unitary operations by LOCC. In this article, we show t…
We show that entangling capacities based on the Jamiolkowski isomorphism may be used to place lower bounds on the communication capacities of arbitrary bipartite unitaries. Therefore, for these definitions, the relations which have been previously shown for two-qubit unitaries also hold for arbitrary dimensions. These results are closely related to the theory of the entanglement-assisted capacity of channels. We also present more general methods for producing ensembles for communication from initial states for entanglement creation.
Recent research in generalizing quantum computation from 2-valued qudits to d-valued qudits has shown practical advantages for scaling up a quantum computer. A further generalization leads to quantum computing with hybrid qudits where two or more qudits have different finite dimensions. Advantages of hybrid and d-valued gates (circuits) and their physical realizations have been studied in detail by Muthukrishnan and Stroud (Physical Review A, 052309, 2000), Daboul et al. (J. Phys. A: Math. Gen. 36 2525-2536, 2003), and Bartlett et al (Physical Review A, Vol.65, 052316, 2002). In both cases, a …
The evolution of an open system is usually associated with the interaction of the system with an environment. A new method to study the open-type system evolution of a qubit (two-level atom) state is established. This evolution is determined by a unitary transformation applied to the qutrit (three-level atom) state, which defines the qubit subsystems. This procedure can be used to obtain different qubit quantum channels employing unitary transformations into the qutrit system. In particular, we study the phase damping and spontaneous-emission quantum channels. In addition, we mention a proposa…
The unitary $ \mathrm{U}(d)$-equivalence relation between elements of the space $\mathfrak{P}_+\,$ of mixed states of $d$-dimensional quantum system defines the orbit space $ \mathfrak{P}_+/ \mathrm{U}(d)\,$ and provides its description in terms the ring $\mathbb{R}[\mathfrak{P}_+]^{\mathrm{U}(d)}\,$ of $\mathrm{U}(d)$-invariant polynomials. We prove that the semi-algebraic structure of $ \mathfrak{P}_+/ \mathrm{U}(d)\, $ is determined completely by two basic properties of density matrices, their semi-positivity and Hermicity. Particularly, it is shown that the Processi-Schwarz inequalities in…
We analyze the dynamics of a system qudit of dimension mu sequentially interacting with the nu-dimensional qudits of a chain playing the ore of an environment. Each pairwise collision has been modeled as a random unitary transformation. The relaxation to equilibrium of the purity of the system qudit, averaged over random collisions, is analytically computed by means of a Markov chain approach. In particular, we show that the steady state is the one corresponding to the steady state for random collisions with a single environment qudit of effective dimension nu_e=nu*mu. Finally, we numerically …
This paper concerns the efficient implementation of quantum circuits for qudits. We show that controlled two-qudit gates can be implemented without ancillas and prove that the gate library containing arbitrary local unitaries and one two-qudit gate, CINC, is exact-universal. A recent paper (PRL 94 230502) describes quantum circuits for qudits which require O(d^n) two-qudit gates for state synthesis and O(d^{2n}) two-qudit gates for unitary synthesis, matching the respective lower bound complexities. In this work, we present the state synthesis circuit in much greater detail and prove that it i…
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…
Fast and Smooth Quantum Unitary Control of High-Dimensional Spin-Qudits via a Shooting Technique
Université de Strasbourg（斯特拉斯堡大学）；CNRS, Institut de Physique et Chimie des Matériaux de Strasbourg, UMR 7504（法国国家科学研究中心，斯特拉斯堡材料物理与化学研究所，UMR 7504）；Center for Quantum Nanoscience, Institute for Basic Science（基础科学研究院，量子纳米科学中心）；Ewha Womans University（梨花女子大学）；CNRS, INRIA, Institut de Recherche Mathématique Avancée, UMR 7501（法国国家科学研究中心，INRIA，高等数学研究所，UMR 7501）；CNRS, Institut de Chimie, UMR 7177（法国国家科学研究中心，化学研究所，UMR 7177）
We establish the entangling power of a unitary operator on a general finite-dimensional bipartite quantum system with and without ancillas, and give relations between the entangling power based on the von Neumann entropy and the entangling power based on the linear entropy. Significantly, we demonstrate that the entangling power of a general controlled unitary operator acting on two equal-dimensional qudits is proportional to the corresponding operator entanglement if linear entropy is adopted as the quantity representing the degree of entanglement. We discuss the entangling power and operator…
We present an efficient algorithm for twirling a multi-qudit quantum state. The algorithm can be used for approximating the twirling operation in an ensemble of physical systems in which the systems cannot be individually accessed. It can also be used for computing the twirled density matrix on a classical computer. The method is based on a simple non-unitary operation involving a random unitary. When applying this basic building block iteratively, the mean squared error of the approximation decays exponentially. In contrast, when averaging over random unitary matrices the error decreases only…
Werner states are defined as bipartite qudit states that remain unchanged under application of arbitrary unitary operators acting on both subsystems simultaneously. Their preparation is a crucial ingredient in entanglement distillation protocols. This thesis deals with an iterative approach to prepare Werner states asymptotically, using random unitary operations. The asymptotic dynamics of random unitary operations are linked to algebraic properties of the involved unitary operators applying results about general quantum operations. Then a family of random unitary operations is constructed, wh…
We give explicit index-free formulae for all the degree six (and also degree four and two) algebraically independent local unitary invariant polynomials for finite dimensional k-partite pure and mixed quantum states. We carry out this by the use of graph-technical methods, which provides illustrations for this abstract topic.
The separability from spectrum problem asks for a characterization of the eigenvalues of the bipartite mixed states ρ with the property that U^*ρU is separable for all unitary matrices U. This problem has been solved when the local dimensions m and n satisfy m = 2 and n <= 3. We solve all remaining qubit-qudit cases (i.e., when m = 2 and n >= 4 is arbitrary). In all of these cases we show that a state is separable from spectrum if and only if U^*ρU has positive partial transpose for all unitary matrices U. This equivalence is in stark contrast with the usual separability problem, where a state…
We investigate how originally localized two pieces of quantum information represented by a tensor product of two unknown qudit states are delocalized by performing two-qudit global unitary operations. To characterize the delocalization power of global unitary operations on quantum information, we analyze the necessary and sufficient condition to deterministically relocalize one of the two pieces of quantum information to its original Hilbert space by using only LOCC. We prove that this LOCC one-piece relocalization is possible if and only if the global unitary operation is local unitary equiva…
We study the phase-covariant quantum cloning machine for qudits, i.e. the input states in d-level quantum system have complex coefficients with arbitrary phase but constant module. A cloning unitary transformation is proposed. After optimizing the fidelity between input state and single qudit reduced density opertor of output state, we obtain the optimal fidelity for 1 to 2 phase-covariant quantum cloning of qudits and the corresponding cloning transformation.
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…
Theoretical Quantum Information Processing (QIP) has matured from the use of qubits to the use of qudits (systems having states> 2). Where as most of the experimental implementations have been performed using qubits, little experimental work has been carried out using qudits as yet. In this paper we demonstrate experimental realization of a qutrit system by nuclear magnetic resonance (NMR), utilizing deuterium (spin-1) nuclei partially oriented in liquid crystalline phase. Preparation of pseudopure states and implementation of unitary operations are demonstrated in this single-qutrit system, u…
Optimal realizations of quantum technology tasks lead to the necessity of a detailed analytical study of the behavior of a $d$-level quantum system (qudit) under a time-dependent Hamiltonian. In the present article, we introduce a new general formalism describing the unitary evolution of a qudit $(d\geq2)$ in terms of the Bloch-like vector space and specify how in a general case this formalism is related to finding time-dependent parameters in the exponential representation of the evolution operator under an arbitrary time-dependent Hamiltonian. Applying this new general formalism to a qubit c…
We propose a quantum algorithm for the purification of a generic mixed state $ρ$ of a $n$-qudit system by using an ancillary $n$-qudit system. The algorithm is optimal in that (i) the number of ancillary qudits cannot be reduced, (ii) the number of parameters which determine the purification state $|Ψ>$ exactly equals the number of degrees of freedom of $ρ$, and (iii) $|Ψ>$ is easily determined from the density matrix $ρ$. Moreover, we introduce a quantum circuit in which the quantum gates are unitary transformations acting on a $2n$-qudit system. These transformations are determined by parame…
We study measurements of the unitary generalization of Pauli operators. First, an analytical (constructive) solution to the eigenproblem of these operators is presented. Next, in the case of two subsystems, the Schmidt form of the eigenvectors is derived to identify measurements which are easy to implement. These results are utilized to show that quantum cryptography with two bases, when operating on a two-component qudit, can be realized with measurements on individual subsystems, assisted with classical communication. We also discuss feasible devices which perform tomography of polarisation-…
Using a braid group representation based on the Temperley-Lieb algebra, we construct braid quantum gates that could generate entangled $n$-partite $D$-level qudit states. $D$ different sets of $D^n\times D^n$ unitary representation of the braid group generators are presented. With these generators the desired braid quantum gates are obtained. We show that the generalized GHZ states, which are maximally entangled states, can be obtained directly from these braid quantum gates without resorting to further local unitary transformations. We also point out an interesting observation, namely for a g…
This paper presents a highly efficient decomposition scheme and its associated Mathematica notebook for the analysis of complicated quantum circuits comprised of single/multiple qubit and qudit quantum gates. In particular, this scheme reduces the evaluation of multiple unitary gate operations with many conditionals to just two matrix additions, regardless of the number of conditionals or gate dimensions. This improves significantly the capability of a quantum circuit analyser implemented in a classical computer. This is also the first efficient quantum circuit analyser to include qudit quantu…
As a qubit is a two-level quantum system whose state space is spanned by |0>, |1>, so a qudit is a d-level quantum system whose state space is spanned by |0>,...,|d-1>. Quantum computation has stimulated much recent interest in algorithms factoring unitary evolutions of an n-qubit state space into component two-particle unitary evolutions. In the absence of symmetry, Shende, Markov and Bullock use Sard's theorem to prove that at least C 4^n two-qubit unitary evolutions are required, while Vartiainen, Moettoenen, and Salomaa (VMS) use the QR matrix factorization and Gray codes in an optimal ord…
We introduce a dichromatic calculus (RG) for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus. As an application of the dichromatic calculus, we depict a quantum algorithm with a single qutrit. Since it is not easy to decompose an arbitrary d by d unitary matrix into Z and X phase gates when d > 2, the proof of the universality of qudit ZX calculus for quantum mechanics is far from trivial. We construct a counterexample to Ranchin's universality proof, and give another proof by Lie theory that the qudit ZX …
Neutral atom systems are an appealing platform for the development and testing of quantum control and measurement techniques. This dissertation presents experimental investigations of control and measurement tools using as a testbed the 16-dimensional hyperfine manifold associated with the electronic ground state of $^{133}$Cs atoms. On the control side, we present an experimental realization of a protocol to implement robust unitary transformations in the presence of static and dynamic perturbations. We also present an experimental realization of inhomogeneous quantum control. Specifically, w…
We consider generalizations of depolarizing channels to maps in which the identity channel is replaced by a convex combinations of unitary conjugations. We show that one can construct unital channels of this type for which the input which achieves maximal output purity is unique. We give conditions under which multiplicativity of the maximal p-norm and additivity of the minimal output entropy. We also show that the Holevo capacity need not equal log d - the minimal entropy as one might expect for a convex combination of unitary conjugations. Conversely, we give examples for which this conditio…
In the paper (math-ph/0504049) Jarlskog gave an interesting simple parametrization to unitary matrices, which was essentially the canonical coordinate of the second kind in the Lie group theory (math-ph/0505047). In this paper we apply the method to a quantum computation based on multi-level system (qudit theory). Namely, by considering that the parametrization gives a complete set of modules in qudit theory, we construct the generalized Pauli matrices which play a central role in the theory and also make a comment on the exchange gate of two-qudit systems. Moreover we give an explicit constru…
Resource states that contain nontrivial symmetry-protected topological order are identified for universal single-qudit measurement-based quantum computation. Our resource states fall into two classes: one as the qudit generalizations of the 1D qubit cluster state, and the other as the higher-symmetry generalizations of the spin-1 Affleck-Kennedy-Lieb-Tasaki (AKLT) state, namely, with unitary, orthogonal, or symplectic symmetry. The symmetry in cluster states protects information propagation (identity gate), while the higher symmetry in AKLT-type states enables nontrivial gate computation. This…
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…
We have developed methods for performing qudit quantum computation in the Jaynes-Cummings model with the qudits residing in a finite subspace of individual harmonic oscillator modes, resonantly coupled to a spin-1/2 system. The first method determines analytical control sequences for the one- and two-qudit gates necessary for universal quantum computation by breaking down the desired unitary transformations into a series of state preparations implemented with the Law-Eberly scheme. The second method replaces some of the analytical pulse sequences with more rapid numerically optimized sequences…
Geometrical and topological phases play a fundamental role in quantum theory. Geometric phases have been proposed as a tool for implementing unitary gates for quantum computation. A fractional topological phase has been recently discovered for bipartite systems. The dimension of the Hilbert space determines the topological phase of entangled qudits under local unitary operations. Here we investigate fractional topological phases acquired by photonic entangled qudits. Photon pairs prepared as spatial qudits are operated inside a Sagnac interferometer and the two-photon interference pattern reve…
Under two-party deterministic dense-coding, Alice communicates (perfectly distinguishable) messages to Bob via a qudit from a pair of entangled qudits in pure state |Psi>. If |Psi> represents a maximally entangled state (i.e., each of its Schmidt coefficients is sqrt(1/d)), then Alice can convey to Bob one of d^2 distinct messages. If |Psi> is not maximally entangled, then Ji et al. [Phys. Rev. A 73, 034307 (2006)] have shown that under the original deterministic dense-coding protocol, in which messages are encoded by unitary operations performed on Alice's qudit, it is impossible to encode d^…
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…
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 use of d-state systems, or qudits, in quantum information processing is discussed. Three-state and higher dimensional quantum systems are known to have very different properties from two-state systems, i.e., qubits. In particular there exist qudit states which are not equivalent under local unitary transformations unless a selection rule is violated. This observation is shown to be an important factor in the theory of decoherence-free, or noiseless, subsystems. Experimentally observable consequences and methods for distinguishing these states are also provided, including the explicit const…
Unitary control of qudits can improve the collective spin squeezing of an atomic ensemble. Preparing the atoms in a state with large quantum fluctuations in magnetization strengthens the entangling Faraday interaction. The resulting increase in interatomic entanglement can be converted into metrologically useful spin squeezing. Further control can squeeze the internal atomic spin without compromising entanglement, providing an overall multiplicative factor in the collective squeezing. We model the effects of optical pumping and study the tradeoffs between enhanced entanglement and decoherence.…
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…
Quantum computation strongly relies on the realisation, manipulation and control of qubits. A central method for realizing qubits is by creating a double-well potential system with a significant gap between the first two eigenvalues and the rest. In this work we first revisit the theoretical grounds underlying the double-well qubit dynamics, then proceed to suggest novel extensions of these principles to a triple-well qutrit with periodic boundary conditions, followed by a general d-well analysis of qudits. These analyses are based on representations of the special unitary groups SU(d) which e…
We present a probabilistic quantum processor for qudits. The processor itself is represented by a fixed array of gates. The input of the processor consists of two registers. In the program register the set of instructions (program) is encoded. This program is applied to the data register. The processor can perform any operation on a single qudit of the dimension N with a certain probability. If the operation is unitary, the probability is in general 1/N^2, but for more restricted sets of operators the probability can be higher. In fact, this probability can be independent of the dimension of t…
