Showing papers in "arXiv: Quantum Physics in 2005"

An introduction to entanglement measures

Abstract: We review the theory of entanglement measures, concentrating mostly on the finite dimensional two-party case. Topics covered include: single-copy and asymptotic entanglement manipulation; the entanglement of formation; the entanglement cost; the distillable entanglement; the relative entropic measures; the squashed entanglement; log-negativity; the robustness monotones; the greatest cross-norm; uniqueness and extremality theorems. Infinite dimensional systems and multi-party settings will be discussed briefly.

Nonbinary stabilizer codes over finite fields

Abstract: One formidable difficulty in quantum communication and computation is to protect information-carrying quantum states against undesired interactions with the environment. In past years, many good quantum error-correcting codes had been derived as binary stabilizer codes. Fault-tolerant quantum computation prompted the study of nonbinary quantum codes, but the theory of such codes is not as advanced as that of binary quantum codes. This paper describes the basic theory of stabilizer codes over finite fields. The relation between stabilizer codes and general quantum codes is clarified by introducing a Galois theory for these objects. A characterization of nonbinary stabilizer codes over GF(q) in terms of classical codes over GF(q^2) is provided that generalizes the well-known notion of additive codes over GF(4) of the binary case. This paper derives lower and upper bounds on the minimum distance of stabilizer codes, gives several code constructions, and derives numerous families of stabilizer codes, including quantum Hamming codes, quadratic residue codes, quantum Melas codes, quantum BCH codes, and quantum character codes. The puncturing theory by Rains is generalized to additive codes that are not necessarily pure. Bounds on the maximal length of maximum distance separable stabilizer codes are given. A discussion of open problems concludes this paper.

The Solovay-Kitaev algorithm

Abstract: This pedagogical review presents the proof of the Solovay-Kitaev theorem in the form of an efficient classical algorithm for compiling an arbitrary single-qubit gate into a sequence of gates from a fixed and finite set. The algorithm can be used, for example, to compile Shor's algorithm, which uses rotations of $\pi / 2^k$, into an efficient fault-tolerant form using only Hadamard, controlled-{\sc not}, and $\pi / 8$ gates. The algorithm runs in $O(\log^{2.71}(1/\epsilon))$ time, and produces as output a sequence of $O(\log^{3.97}(1/\epsilon))$ quantum gates which is guaranteed to approximate the desired quantum gate to an accuracy within $\epsilon > 0$. We also explain how the algorithm can be generalized to apply to multi-qubit gates and to gates from $SU(d)$.

Quantum accuracy threshold for concatenated distance-3 codes

Abstract: We prove a new version of the quantum threshold theorem that applies to concatenation of a quantum code that corrects only one error, and we use this theorem to derive a rigorous lower bound on the quantum accuracy threshold epsilon_0. Our proof also applies to concatenation of higher-distance codes, and to noise models that allow faults to be correlated in space and in time. The proof uses new criteria for assessing the accuracy of fault-tolerant circuits, which are particularly conducive to the inductive analysis of recursive simulations. Our lower bound on the threshold, epsilon_0 > 2.73 \times 10^{-5} for an adversarial independent stochastic noise model, is derived from a computer-assisted combinatorial analysis; it is the best lower bound that has been rigorously proven so far.

Measures and dynamics of entangled states

Abstract: We develop an original approach for the quantitative characterisation of the entanglement properties of, possibly mixed, bi- and multipartite quantum states of arbitrary finite dimension. Particular emphasis is given to the derivation of reliable estimates which allow for an efficient evaluation of a specific entanglement measure, concurrence, for further implementation in the monitoring of the time evolution of multipartite entanglement under incoherent environment coupling. The flexibility of the technical machinery established here is illustrated by its implementation for different, realistic experimental scenarios.

Weak nonlinearities: A new route to optical quantum computation

Abstract: Quantum information processing (QIP) offers the promise of being able to do things that we cannot do with conventional technology. Here we present a new route for distributed optical QIP, based on generalized quantum non-demolition measurements, providing a unified approach for quantum communication and computing. Interactions between photons are generated using weak non-linearities and intense laser fields--the use of such fields provides for robust distribution of quantum information. Our approach requires only a practical set of resources, and it uses these very efficiently. Thus it promises to be extremely useful for the first quantum technologies, based on scarce resources. Furthermore, in the longer term this approach provides both options and scalability for efficient many-qubit QIP.

Experimental Quantum Cryptography with Qutrits

Abstract: We produce two identical keys using, for the first time, entangled trinary quantum systems (qutrits) for quantum key distribution. The advantage of qutrits over the normally used binary quantum systems is an increased coding density and a higher security margin. The qutrits are encoded into the orbital angular momentum of photons, namely Laguerre-Gaussian modes with azimuthal index l +1, 0 and -1, respectively. The orbital angular momentum is controlled with phase holograms. In an Ekert-type protocol the violation of a three-dimensional Bell inequality verifies the security of the generated keys. A key is obtained with a qutrit error rate of approximately 10 %.

Measurements continuous in time and a posteriori states in quantum

Abstract: Measurements continuous in time were consistently introduced in quantum mechanics and applications worked out, mainly in quantum optics. In this context a quantum filtering theory has been developed giving the reduced state after the measurement when a certain trajectory of the measured observables is registered (the a posteriori states). In this paper a new derivation of filtering equations is presented, in the cases of counting processes and of measurement processes of diffusive type. It is also shown that the equation for the a posteriori dynamics in the diffusive case can be obtained, by a suitable limit, from that one in the counting case. Moreover, the paper is intended to clarify the meaning of the various concepts involved and to discuss the connections among them. As an illustration of the theory, simple models are worked out.

Image compression and entanglement

Abstract: The pixel values of an image can be casted into a real ket of a Hilbert space using an appropriate block structured addressing. The resulting state can then be rewritten in terms of its matrix product state representation in such a way that quantum entanglement corresponds to classical correlations between different coarse-grained textures. A truncation of the MPS representation is tantamount to a compression of the original image. The resulting algorithm can be improved adding a discrete Fourier transform preprocessing and a further entropic lossless compression.

Calculation of accurate permanent dipole moments of the lowest $^{1,3} \Sigma^+$ states of heteronuclear alkali dimers using extended basis sets

Abstract: The obtention of ultracold samples of dipolar molecules is a current challenge which requires an accurate knowledge of their electronic properties to guide the ongoing experiments. In this paper, we systematically investigate the ground state and the lowest triplet state of mixed alkali dimers (involving Li, Na, K, Rb, Cs) using a standard quantum chemistry approach based on pseudopotentials for atomic core representation, gaussian basis sets, and effective terms for core polarization effects. We emphasize on the convergence of the results for permanent dipole moments regarding the size of the gaussian basis set, and we discuss their predicted accuracy by comparing to other theoretical calculations or available experimental values. We also revisit the difficulty to compare computed potential curves among published papers, due to the differences in the modelization of core-core interaction.

Scalable Noise Estimation with Random Unitary Operators

Abstract: We describe a scalable stochastic method for the experimental measurement of generalized fidelities characterizing the accuracy of the implementation of a coherent quantum transformation. The method is based on the motion reversal of random unitary operators. In the simplest case our method enables direct estimation of the average gate fidelity. The more general fidelities are characterized by a universal exponential rate of fidelity loss. In all cases the measurable fidelity decrease is directly related to the strength of the noise affecting the implementation -- quantified by the trace of the superoperator describing the non--unitary dynamics. While the scalability of our stochastic protocol makes it most relevant in large Hilbert spaces (when quantum process tomography is infeasible), our method should be immediately useful for evaluating the degree of control that is achievable in any prototype quantum processing device. By varying over different experimental arrangements and error-correction strategies additional information about the noise can be determined.

Correlated two-photon imaging with true thermal light

Abstract: We report the first experimental demonstration of two-photon correlated imaging with true thermal light from a hollow cathode lamp. The coherence time of the source is much shorter than that of previous experiments using random scattered light from a laser. A two-pinhole mask was used as object, and the corresponding thin lens equation was well satisfied. Since thermal light sources are easier to obtain and measure than entangled light it is conceivable that they may be used in special imaging applications.

A geometric approach to quantum circuit lower bounds

Abstract: What is the minimal size quantum circuit required to exactly implement a specified n-qubit unitary operation, U, without the use of ancilla qubits? We show that a lower bound on the minimal size is provided by the length of the minimal geodesic between U and the identity, I, where length is defined by a suitable Finsler metric on SU(2^n). The geodesic curves of such a metric have the striking property that once an initial position and velocity are set, the remainder of the geodesic is completely determined by a second order differential equation known as the geodesic equation. This is in contrast with the usual case in circuit design, either classical or quantum, where being given part of an optimal circuit does not obviously assist in the design of the rest of the circuit. Geodesic analysis thus offers a potentially powerful approach to the problem of proving quantum circuit lower bounds. In this paper we construct several Finsler metrics whose minimal length geodesics provide lower bounds on quantum circuit size, and give a procedure to compute the corresponding geodesic equation. We also construct a large class of solutions to the geodesic equation, which we call Pauli geodesics, since they arise from isometries generated by the Pauli group. For any unitary U diagonal in the computational basis, we show that: (a) provided the minimal length geodesic is unique, it must be a Pauli geodesic; (b) finding the length of the minimal Pauli geodesic passing from I to U is equivalent to solving an exponential size instance of the closest vector in a lattice problem (CVP); and (c) all but a doubly exponentially small fraction of such unitaries have minimal Pauli geodesics of exponential length.

How to model quantum plasmas

Abstract: Traditional plasma physics has mainly focused on regimes characterized by high temperatures and low densities, for which quantum-mechanical effects have virtually no impact. However, recent technological advances (particularly on miniaturized semiconductor devices and nanoscale objects) have made it possible to envisage practical applications of plasma physics where the quantum nature of the particles plays a crucial role. Here, I shall review different approaches to the modeling of quantum effects in electrostatic collisionless plasmas. The full kinetic model is provided by the Wigner equation, which is the quantum analog of the Vlasov equation. The Wigner formalism is particularly attractive, as it recasts quantum mechanics in the familiar classical phase space, although this comes at the cost of dealing with negative distribution functions. Equivalently, the Wigner model can be expressed in terms of $N$ one-particle Schr{o}dinger equations, coupled by Poisson's equation: this is the Hartree formalism, which is related to the `multi-stream' approach of classical plasma physics. In order to reduce the complexity of the above approaches, it is possible to develop a quantum fluid model by taking velocity-space moments of the Wigner equation. Finally, certain regimes at large excitation energies can be described by semiclassical kinetic models (Vlasov-Poisson), provided that the initial ground-state equilibrium is treated quantum-mechanically. The above models are validated and compared both in the linear and nonlinear regimes.

Time-shift attack in practical quantum cryptosystems

Abstract: Recently, a new type of attack, which exploits the efficiency mismatch of two single photon detectors (SPD) in a quantum key distribution (QKD) system, has been proposed. In this paper, we propose another "time-shift" attack that exploits the same imperfection. In our attack, Eve shifts the arrival time of either the signal pulse or the synchronization pulse or both between Alice and Bob. In particular, in a QKD system where Bob employs time-multiplexing technique to detect both bit "0" and bit "1" with the same SPD, Eve, in principle, could acquire full information on the final key without introducing any error. Finally, we discuss some counter measures against our and earlier attacks.

Surface-Electrode Architecture for Ion-Trap Quantum Information Processing

Abstract: We investigate a surface-mounted electrode geometry for miniature linear radio frequency Paul ion traps. The electrodes reside in a single plane on a substrate, and the pseudopotential minimum of the trap is located above the substrate at a distance on order of the electrodes' lateral extent or separation. This architecture provides the possibility to apply standard microfabrication principles to the construction of multiplexed ion traps, which may be of particular importance in light of recent proposals for large-scale quantum computation based on individual trapped ions.

Entanglement entropy and quantum field theory: a non-technical introduction

Abstract: In these proceedings we give a pedagogical and non-technical introduction to the Quantum Field Theory approach to entanglement entropy. Particular attention is devoted to the one space dimensional case, with a linear dispersion relation, that, at a quantum critical point, can be effectively described by a two-dimensional Conformal Field Theory.

The General Quantum Interference Principle and the Duality Computer

Abstract: In this article, we propose a general principle of quantum interference for quantum system, and based on this we propose a new type of computing machine, the duality computer, that may outperform in principle both classical computer and the quantum computer. According to the general principle of quantum interference, the very essence of quantum interference is the interference of the sub-waves of the quantum system itself. A quantum system considered here can be any quantum system: a single microscopic particle, a composite quantum system such as an atom or a molecule, or a loose collection of a few quantum objects such as two independent photons. In the duality computer, the wave of the duality computer is split into several sub-waves and they pass through different routes, where different computing gate operations are performed. These sub-waves are then re-combined to interfere to give the computational results. The quantum computer, however, has only used the particle nature of quantum object. In a duality computer, it may be possible to find a marked item from an unsorted database using only a single query, and all NP-complete problems may have polynomial algorithms. Two proof-of-the-principle designs of the duality computer are presented: the giant molecule scheme and the nonlinear quantum optics scheme. We also proposed thought experiment to check the related fundamental issues, the measurement efficiency of a partial wave function

Implausible Consequences of Superstrong Nonlocality

Abstract: This Letter looks at the consequences of so-called 'superstrong nonlocal correlations', which are hypothetical violations of Bell/CHSH inequalities that are stronger than quantum mechanics allows, yet weak enough to prohibit faster-than-light communication. It is shown that the existence of maximally superstrong correlated bits implies that all distributed computations can be performed with a trivial amount of communication, i.e. with one bit. If one believes that Nature does not allow such a computational 'free lunch', then the result in the Letter gives a reason why superstrong correlation are indeed not possible.

Addendum to "Quantum secret sharing between multiparty and multiparty without entanglement"

Abstract: Recently, Yan and Gao proposed a quantum secret sharing protocol between multiparty ($m$ members in group 1) and multiparty ($n$ members in group 2) using a sequence of single photons (Phys. Rev. A \textbf{72}, 012304 (2005)). We find that it is secure if the quantum signal transmitted is only a single photon but insecure with a multi-photon signal as some agents can get the information about the others' message if they attack the communication with a Trojan horse. However, security against this attack can be attained with a simple modification.

Gaussian states in continuous variable quantum information

Abstract: These notes originated out of a set of lectures in Quantum Optics and Quantum Information given by one of us (MGAP) at the University of Napoli and the University of Milano. A quite broad set of issues are covered, ranging from elementary concepts to current research topics, and from fundamental concepts to applications. A special emphasis has been given to the phase space analysis of quantum dynamics and to the role of Gaussian states in continuous variable quantum information.

Photon wave function

Abstract: Photon wave function is a controversial concept. Controversies stem from the fact that photon wave functions can not have all the properties of the Schroedinger wave functions of nonrelativistic wave mechanics. Insistence on those properties that, owing to peculiarities of photon dynamics, cannot be rendered, led some physicists to the extreme opinion that the photon wave function does not exist. I reject such a fundamentalist point of view in favor of a more pragmatic approach. In my view, the photon wave function exists as long as it can be precisely defined and made useful.

An introduction to measurement based quantum computation

Abstract: In the formalism of measurement based quantum computation we start with a given fixed entangled state of many qubits and perform computation by applying a sequence of measurements to designated qubits in designated bases. The choice of basis for later measurements may depend on earlier measurement outcomes and the final result of the computation is determined from the classical data of all the measurement outcomes. This is in contrast to the more familiar gate array model in which computational steps are unitary operations, developing a large entangled state prior to some final measurements for the output. Two principal schemes of measurement based computation are teleportation quantum computation (TQC) and the so-called cluster model or one-way quantum computer (1WQC). We will describe these schemes and show how they are able to perform universal quantum computation. We will outline various possible relationships between the models which serve to clarify their workings. We will also discuss possible novel computational benefits of the measurement based models compared to the gate array model, especially issues of parallelisability of algorithms.

T-junction ion trap array for two-dimensional ion shuttling, storage and manipulation

Abstract: We demonstrate a two-dimensional 11-zone ion trap array, where individual laser-cooled atomic ions are stored, separated, shuttled, and swapped. The trap geometry consists of two linear rf ion trap sections that are joined at a 90 degree angle to form a T-shaped structure. We shuttle a single ion around the corners of the T-junction and swap the positions of two crystallized ions using voltage sequences designed to accommodate the nontrivial electrical potential near the junction. Full two-dimensional control of multiple ions demonstrated in this system may be crucial for the realization of scalable ion trap quantum computation and the implementation of quantum networks.

A New Wave Equation For a Continuous Nondemolition Measurement

Abstract: A stochastic model for nondemolition continuous measurement in a quantum system is given. It is shown that the posterior dynamics, including a continuous collapse of the wave function, is described by a nonlinear stochastic wave equation. For a particle in an electromagnetic field it reduces the Schroedinger equation with extra imaginary stochastic potentials.

The role of the rigged Hilbert space in Quantum Mechanics

Abstract: There is compelling evidence that, when continuous spectrum is present, the natural mathematical setting for Quantum Mechanics is the rigged Hilbert space rather than just the Hilbert space. In particular, Dirac's bra-ket formalism is fully implemented by the rigged Hilbert space rather than just by the Hilbert space. In this paper, we provide a pedestrian introduction to the role the rigged Hilbert space plays in Quantum Mechanics, by way of a simple, exactly solvable example. The procedure will be constructive and based on a recent publication. We also provide a thorough discussion on the physical significance of the rigged Hilbert space.

Magnetic Susceptibility as a Macrosopic Entaglement Witness

Abstract: We show that magnetic susceptibility can reveal spin entanglement between individual constituents of a solid, while magnetisation describes their local properties. We then show that these two thermodynamical quantities satisfy complementary relation in the quantum-mechanical sense. It describes sharing of (quantum) information in the solid between spin entanglement and local properties of its individual constituents. Magnetic susceptibility is shown to be a macroscopic spin entanglement witness that can be applied without complete knowledge of the specific model (Hamiltonian) of the solid.

Quantum search algorithms

Abstract: We review some of quantum algorithms for search problems: Grover's search algorithm, its generalization to amplitude amplification, the applications of amplitude amplification to various problems and the recent quantum algorithms based on quantum walks.

Multipartite entanglement in spin chains

Abstract: We investigate the presence of multipartite entanglement in macroscopic spin chains. We discuss the Heisenberg and the XY model and derive bounds on the internal energy for systems without multipartite entanglement. Based on this we show that in thermal equilibrium the above mentioned spin systems contain genuine multipartite entanglement, even at finite modest temperatures.

Higher-order supersymmetric quantum mechanics

Abstract: We review the higher-order supersymmetric quantum mechanics (H-SUSY QM), which involves differential intertwining operators of order greater than one. The iterations of first-order SUSY transformations are used to derive in a simple way the higher-order case. The second order technique is addressed directly, and through this approach unexpected possibilities for designing spectra are uncovered. The formalism is applied to the harmonic oscillator: the corresponding H-SUSY partner Hamiltonians are ruled by polynomial Heisenberg algebras which allow a straight construction of the coherent states.