Showing papers in "arXiv: Quantum Physics in 2008"

Entanglement detection

Abstract: How can one prove that a given state is entangled? In this paper we review different methods that have been proposed for entanglement detection. We first explain the basic elements of entanglement theory for two or more particles and then entanglement verification procedures such as Bell inequalities, entanglement witnesses, the determination of nonlinear properties of a quantum state via measurements on several copies, and spin squeezing inequalities. An emphasis is given on the theory and application of entanglement witnesses. We also discuss several experiments, where some of the presented methods have been implemented.

Quantum computing with trapped ions

Abstract: Quantum computers hold the promise to solve certain computational task much more efficiently than classical computers. We review the recent experimental advancements towards a quantum computer with trapped ions. In particular, various implementations of qubits, quantum gates and some key experiments are discussed. Furthermore, we review some implementations of quantum algorithms such as a deterministic teleportation of quantum information and an error correction scheme.

Microscopic atom optics: from wires to an atom chip

Abstract: We give a comprehensive overview of the development of micro traps, from the first experiments on guiding atoms using current carrying wires in the early 1990's to the creation of a BEC on an atom chip.

Pseudo-Hermitian Representation of Quantum Mechanics

Abstract: A diagonalizable non-Hermitian Hamiltonian having a real spectrum may be used to define a unitary quantum system, if one modifies the inner product of the Hilbert space properly. We give a comprehensive and essentially self-contained review of the basic ideas and techniques responsible for the recent developments in this subject. We provide a critical assessment of the role of the geometry of the Hilbert space in conventional quantum mechanics to reveal the basic physical principle motivating our study. We then offer a survey of the necessary mathematical tools and elaborate on a number of relevant issues of fundamental importance. In particular, we discuss the role of the antilinear symmetries such as PT, the true meaning and significance of the charge operators C and the CPT-inner products, the nature of the physical observables, the equivalent description of such models using ordinary Hermitian quantum mechanics, the pertaining duality between local-non-Hermitian versus nonlocal-Hermitian descriptions of their dynamics, the corresponding classical systems, the pseudo-Hermitian canonical quantization scheme, various methods of calculating the (pseudo-) metric operators, subtleties of dealing with time-dependent quasi-Hermitian Hamiltonians and the path-integral formulation of the theory, and the structure of the state space and its ramifications for the quantum Brachistochrone problem. We also explore some concrete physical applications of the abstract concepts and tools that have been developed in the course of this investigation. These include applications in nuclear physics, condensed matter physics, relativistic quantum mechanics and quantum field theory, quantum cosmology, electromagnetic wave propagation, open quantum systems, magnetohydrodynamics, quantum chaos, and biophysics.

A Counterexample to Additivity of Minimum Output Entropy

Abstract: We present a random construction of a pair of channels which gives, with non-zero probability for sufficiently large dimensions, a counterexample to the minimum output entropy conjecture. As shown by Shor, this implies a violation of the additivity conjecture for the classical capacity of quantum channels. The violation of the minimum output entropy conjecture is relatively small.

The operational meaning of min- and max-entropy

Abstract: We show that the conditional min-entropy Hmin(A|B) of a bipartite state rho_AB is directly related to the maximum achievable overlap with a maximally entangled state if only local actions on the B-part of rho_AB are allowed. In the special case where A is classical, this overlap corresponds to the probability of guessing A given B. In a similar vein, we connect the conditional max-entropy Hmax(A|B) to the maximum fidelity of rho_AB with a product state that is completely mixed on A. In the case where A is classical, this corresponds to the security of A when used as a secret key in the presence of an adversary holding B. Because min- and max-entropies are known to characterize information-processing tasks such as randomness extraction and state merging, our results establish a direct connection between these tasks and basic operational problems. For example, they imply that the (logarithm of the) probability of guessing A given B is a lower bound on the number of uniform secret bits that can be extracted from A relative to an adversary holding B.

Fidelity approach to quantum phase transitions

Abstract: We review briefly the quantum fidelity approach to quantum phase transitions in a pedagogical manner. We try to relate all established but scattered results on the leading term of the fidelity into a systematic theoretical framework, which might provide an alternative paradigm for understanding quantum critical phenomena. The definition of the fidelity and the scaling behavior of its leading term, as well as their explicit applications to the one-dimensional transverse-field Ising model and the Lipkin-Meshkov-Glick model, are introduced at the graduate-student level. In addition, we survey also other types of fidelity approach, such as the fidelity per site, reduced fidelity, thermal-state fidelity, operator fidelity, etc; as well as relevant works on the fidelity approach to quantum phase transitions occurring in various many-body systems.

Third quantization: a general method to solve master equations for quadratic open Fermi systems

Abstract: The Lindblad master equation for an arbitrary quadratic system of n fermions is solved explicitly in terms of diagonalization of a 4n x 4n matrix, provided that all Lindblad bath operators are linear in the fermionic variables. The method is applied to the explicit construction of non-equilibrium steady states and the calculation of asymptotic relaxation rates in the far from equilibrium problem of heat and spin transport in a nearest neighbor Heisenberg XY spin 1/2 chain in a transverse magnetic field.

Role of quantum coherence in chromophoric energy transport

Abstract: The role of quantum coherence and the environment in the dynamics of excitation energy transfer is not fully understood. In this work, we introduce the concept of dynamical contributions of various physical processes to the energy transfer efficiency. We develop two complementary approaches, based on a Green's function method and energy transfer susceptibilities, and quantify the importance of the Hamiltonian evolution, phonon-induced decoherence, and spatial relaxation pathways. We investigate the Fenna-Matthews-Olson protein complex, where we find a contribution of coherent dynamics of about 10% and of relaxation of 80%.

Minor-Embedding in Adiabatic Quantum Computation: I. The Parameter Setting Problem

Abstract: We show that the NP-hard quadratic unconstrained binary optimization (QUBO) problem on a graph $G$ can be solved using an adiabatic quantum computer that implements an Ising spin-1/2 Hamiltonian, by reduction through minor-embedding of $G$ in the quantum hardware graph $U$. There are two components to this reduction: embedding and parameter setting. The embedding problem is to find a minor-embedding $G^{emb}$ of a graph $G$ in $U$, which is a subgraph of $U$ such that $G$ can be obtained from $G^{emb}$ by contracting edges. The parameter setting problem is to determine the corresponding parameters, qubit biases and coupler strengths, of the embedded Ising Hamiltonian. In this paper, we focus on the parameter setting problem. As an example, we demonstrate the embedded Ising Hamiltonian for solving the maximum independent set (MIS) problem via adiabatic quantum computation (AQC) using an Ising spin-1/2 system. We close by discussing several related algorithmic problems that need to be investigated in order to facilitate the design of adiabatic algorithms and AQC architectures.

Categorical quantum mechanics

Abstract: This invited chapter in the Handbook of Quantum Logic and Quantum Structures consists of two parts: 1. A substantially updated version of quant-ph/0402130 by the same authors, which initiated the area of categorical quantum mechanics, but had not yet been published in full length; 2. An overview of the progress which has been made since then in this area.

Exceptional orthogonal polynomials, exactly solvable potentials and supersymmetry

Abstract: We construct two new exactly solvable potentials giving rise to bound-state solutions to the Schr\"odinger equation, which can be written in terms of the recently introduced Laguerre- or Jacobi-type $X_1$ exceptional orthogonal polynomials. These potentials, extending either the radial oscillator or the Scarf I potential by the addition of some rational terms, turn out to be translationally shape invariant as their standard counterparts and isospectral to them.

The Strong Free Will Theorem

Abstract: We strengthen "The Free Will Theorem" [1] in several ways, by replacing the axiom FIN by a weaker axiom MIN, and also by allowing the particles' responses to depend on past half-spaces rather than on on past light cones. This change allows us to directly apply our theorem to relativistic theories of the GRW type.

Matrix product simulations of non-equilibrium steady states of quantum spin chains

Abstract: Time-dependent density matrix renormalization group method with a matrix product ansatz is employed for explicit computation of non-equilibrium steady state density operators of several integrable and non-integrable quantum spin chains, which are driven far from equilibrium by means of Markovian couplings to external baths at the two ends. It is argued that even though the time-evolution can not be simulated efficiently due to fast entanglement growth, the steady states in and out of equilibrium can be typically accurately approximated, so that chains of length of the order n ~ 100 are accessible. Our results are demonstrated by performing explicit simulations of steady states and calculations of energy/spin densities/currents in several problems of heat and spin transport in quantum spin chains. Previously conjectured relation between quantum chaos and normal transport is re-confirmed with high acurracy on much larger systems.

Matrix product operator representations

Abstract: We show how to construct relevant families of matrix product operators in one and higher dimensions. Those form the building blocks for the numerical simulation methods based on matrix product states and projected entangled pair states. In particular, we construct translational invariant matrix product operators suitable for time evolution, and show how such descriptions are possible for Hamiltonians with long-range interactions. We illustrate how those tools can be exploited for constructing new algorithms for simulating quantum spin systems.

A High Speed, Post-Processing Free, Quantum Random Number Generator

Abstract: A quantum random number generator (QRNG) based on gated single photon detection of an InGaAs photodiode at GHz frequency is demonstrated. Owing to the extremely long coherence time of each photon, each photons' wavefuntion extends over many gating cycles of the photodiode. The collapse of the photon wavefunction on random gating cycles as well as photon random arrival time detection events are used to generate sequences of random bits at a rate of 4.01 megabits/s. Importantly, the random outputs are intrinsically bias-free and require no post-processing procedure to pass random number statistical tests, making this QRNG an extremely simple device.

Direct observation of Hardy's paradox by joint weak measurement with an entangled photon pair

Abstract: We implemented a joint weak measurement of the trajectories of two photons in a photonic version of Hardy's experiment. The joint weak measurement has been performed via an entangled meter state in polarization degrees of freedom of the two photons. Unlike Hardy's original argument in which the contradiction is inferred by retrodiction, our experiment reveals its paradoxical nature as preposterous values actually read out from the meter. Such a direct observation of a paradox will give us a new insight into the spooky action of quantum mechanics.

A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes

Abstract: We study properties of stabilizer codes that permit a local description on a regular D-dimensional lattice. Specifically, we assume that the stabilizer group of a code (the gauge group for subsystem codes) can be generated by local Pauli operators such that the support of any generator is bounded by a hypercube of constant size. Our first result concerns the optimal scaling of the distance $d$ with the linear size of the lattice $L$. We prove an upper bound $d=O(L^{D-1})$ which is tight for D=1,2. This bound applies to both subspace and subsystem stabilizer codes. Secondly, we analyze the suitability of stabilizer codes for building a self-correcting quantum memory. Any stabilizer code with geometrically local generators can be naturally transformed to a local Hamiltonian penalizing states that violate the stabilizer condition. A degenerate ground-state of this Hamiltonian corresponds to the logical subspace of the code. We prove that for D=1,2 the height of the energy barrier separating different logical states is upper bounded by a constant independent of the lattice size L. The same result holds if there are unused logical qubits that are treated as "gauge qubits". It demonstrates that a self-correcting quantum memory cannot be built using stabilizer codes in dimensions D=1,2. This result is in sharp contrast with the existence of a classical self-correcting memory in the form of a two-dimensional ferromagnet. Our results leave open the possibility for a self-correcting quantum memory based on 2D subsystem codes or on 3D subspace or subsystem codes.

`What is a Thing?': Topos Theory in the Foundations of Physics

Abstract: The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. In doing so we provide a new answer to Heidegger's timeless question ``What is a thing?''. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics uses the topos of sets. Other theories involve a different topos. For the types of theory discussed in this paper, a key goal is to represent any physical quantity $A$ with an arrow $\breve{A}_\phi:\Si_\phi\map\R_\phi$ where $\Si_\phi$ and $\R_\phi$ are two special objects (the `state-object' and `quantity-value object') in the appropriate topos, $\tau_\phi$. We discuss two different types of language that can be attached to a system, $S$. The first, $\PL{S}$, is a propositional language; the second, $Ł{S}$, is a higher-order, typed language. Both languages provide deductive systems with an intuitionistic logic. With the aid of $\PL{S}$ we expand and develop some of the earlier work (By CJI and collaborators.) on topos theory and quantum physics. A key step is a process we term `daseinisation' by which a projection operator is mapped to a sub-object of the spectral presheaf $\Sig$--the topos quantum analogue of a classical state space. The topos concerned is $\SetH{}$: the category of contravariant set-valued functors on the category (partially ordered set) $\V{}$ of commutative sub-algebras of the algebra of bounded operators on the quantum Hilbert space $\Hi$.

A Sharp Fannes-type Inequality for the von Neumann Entropy

Abstract: Institute for Mathematical Sciences, Imperial College London, 53 Princes Gate, London SW7 2PG, UK(Dated: February 1, 2008)We derive an inequality relating the entropy difference between two quantum states to their trace norm dis-tance, sharpening a well-known inequality due to M. Fannes. In our inequality, equality can be attained forevery prescribed value of the trace norm distance.

Revisiting the security of quantum dialogue and bidirectional quantum secure direct communication

Abstract: From the perspective of information theory and cryptography, we analyze the security of two quantum dialogue protocols and a bidirectional quantum secure direct communication (QSDC) protocol, and point out that the transmitted information would be partly leaked out in them. That is, any eavesdropper can elicit some information about the secrets from the public annunciations of the legal users. This phenomenon should have been strictly forbidden in a quantum secure communication. In fact, this problem exists in quite a few recent proposals and, therefore, it deserves more research attention in the following related study.

Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1

Abstract: For all p > 1, we demonstrate the existence of quantum channels with non-multiplicative maximal output p-norms. Equivalently, for all p >1, the minimum output Renyi entropy of order p of a quantum channel is not additive. The violations found are large; in all cases, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot be proved as a consequence of any channel-independent guarantee of maximal p-norm multiplicativity. We also show that a class of channels previously studied in the context of approximate encryption lead to counterexamples for all p > 2.

Coherent interference effects in a nano-assembled optical cavity-QED system

Abstract: Diamond nanocrystals containing NV color centers are positioned with 100-nanometer-scale accuracy in the near-field of a high-Q SiO2 microdisk cavity using a fiber taper. The cavity modified nanocrystal photoluminescence is studied, with Fano-like quantum interference features observed in the far-field emission spectrum. A quantum optical model of the system is proposed, from which the NV- zero phonon line coherent coupling rate to the microdisk is estimated to be 28 MHz for a nearly optimally placed nanocrystal.

Network Synthesis of Linear Dynamical Quantum Stochastic Systems

Abstract: The purpose of this paper is to develop a synthesis theory for linear dynamical quantum stochastic systems that are encountered in linear quantum optics and in phenomenological models of linear quantum circuits. In particular, such a theory will enable the systematic realization of coherent/fully quantum linear stochastic controllers for quantum control, amongst other potential applications. We show how general linear dynamical quantum stochastic systems can be constructed by assembling an appropriate interconnection of one degree of freedom open quantum harmonic oscillators and, in the quantum optics setting, discuss how such a network of oscillators can be approximately synthesized or implemented in a systematic way from some linear and non-linear quantum optical elements. An example is also provided to illustrate the theory.

Multi-Qubit Systems: Highly Entangled States and Entanglement Distribution

Abstract: A comparison is made of various searching procedures, based upon different entanglement measures or entanglement indicators, for highly entangled multi-qubits states. In particular, our present results are compared with those recently reported by Brown et al. [J. Phys. A: Math. Gen. 38 (2005) 1119]. The statistical distribution of entanglement values for the aforementioned multi-qubit systems is also explored.

Isospectrality of conventional and new extended potentials, second-order supersymmetry and role of PT symmetry

Abstract: We develop a systematic approach to construct novel completely solvable rational potentials. Second-order supersymmetric quantum mechanics dictates the latter to be isospectral to some well-studied quantum systems. $\cal PT$ symmetry may facilitate reconciling our approach to the requirement that the rationally-extended potentials be singularity free. Some examples are shown.

Unital Quantum Channels - Convex Structure and Revivals of Birkhoff's Theorem

Abstract: The set of doubly-stochastic quantum channels and its subset of mixtures of unitaries are investigated. We provide a detailed analysis of their structure together with computable criteria for the separation of the two sets. When applied to O(d)-covariant channels this leads to a complete characterization and reveals a remarkable feature: instances of channels which are not in the convex hull of unitaries can return to it when either taking finitely many copies of them or supplementing with a completely depolarizing channel. In these scenarios this implies that a channel whose noise initially resists any environment-assisted attempt of correction can become perfectly correctable.

Perfect excitation of a matter qubit by a single photon in free space

Abstract: We propose a scheme for perfect excitation of a single two-level atom by a single photon in free space. The photon state has to match the time reversed photon state originating from spontaneous decay of a two-level system. We discuss its experimental preparation. The state is characterized by a particular asymmetric exponentially-shaped temporal profile. Any deviations from this ideal state limit the maximum absorption. Although perfect excitation requires an infinite amount of time we demonstrate that there is a class of initial one-photon quantum states which can achieve almost perfect absorption even for a finite interaction time. Our results pave the way for realizing perfect coupling between flying and stationary qubits in free space thus opening a possibility for building scalable quantum networks.

Strong NP-Hardness of the Quantum Separability Problem

Abstract: Given the density matrix rho of a bipartite quantum state, the quantum separability problem asks whether rho is entangled or separable. In 2003, Gurvits showed that this problem is NP-hard if rho is located within an inverse exponential (with respect to dimension) distance from the border of the set of separable quantum states. In this paper, we extend this NP-hardness to an inverse polynomial distance from the separable set. The result follows from a simple combination of works by Gurvits, Ioannou, and Liu. We apply our result to show (1) an immediate lower bound on the maximum distance between a bound entangled state and the separable set (assuming P != NP), and (2) NP-hardness for the problem of determining whether a completely positive trace-preserving linear map is entanglement-breaking.

Self-organization of a Bose-Einstein condensate in an optical cavity

Abstract: The spatial self-organization of a Bose-Einstein condensate (BEC) in a high-finesse linear optical cavity is discussed. The condensate atoms are laser-driven from the side and scatter photons into the cavity. Above a critical pump intensity the homogeneous condensate evolves into a stable pattern bound by the cavity field. The transition point is determined analytically from a mean-field theory. We calculate the lowest lying Bogoliubov excitations of the coupled BEC-cavity system and the quantum depletion due to the atom-field coupling.