-
Experimental demonstration of quantum digital signatures using phase-encoded coherent states of light
Authors:
Patrick J. Clarke,
Robert J. Collins,
Vedran Dunjko,
Erika Andersson,
John Jeffers,
Gerald S. Buller
Abstract:
Digital signatures are frequently used in data transfer to prevent impersonation, repudiation and message tampering. Currently used classical digital signature schemes rely on public key encryption techniques, where the complexity of so-called "one-way" mathematical functions is used to provide security over sufficiently long timescales. No mathematical proofs are known for the long-term security…
▽ More
Digital signatures are frequently used in data transfer to prevent impersonation, repudiation and message tampering. Currently used classical digital signature schemes rely on public key encryption techniques, where the complexity of so-called "one-way" mathematical functions is used to provide security over sufficiently long timescales. No mathematical proofs are known for the long-term security of such techniques. Quantum digital signatures offer a means of sending a message which cannot be forged or repudiated, with security verified by information-theoretical limits and quantum mechanics. Here we demonstrate an experimental system which distributes quantum signatures from one sender to two receivers and enables message sending ensured against forging and repudiation. Additionally, we analyse the security of the system in some typical scenarios. The system is based on the interference of phase encoded coherent states of light and our implementation utilises polarisation maintaining optical fibre and photons with a wavelength of 850 nm.
△ Less
Submitted 4 June, 2013;
originally announced June 2013.
-
Composable security of delegated quantum computation
Authors:
Vedran Dunjko,
Joseph F. Fitzsimons,
Christopher Portmann,
Renato Renner
Abstract:
Delegating difficult computations to remote large computation facilities, with appropriate security guarantees, is a possible solution for the ever-growing needs of personal computing power. For delegated computation protocols to be usable in a larger context---or simply to securely run two protocols in parallel---the security definitions need to be composable. Here, we define composable security…
▽ More
Delegating difficult computations to remote large computation facilities, with appropriate security guarantees, is a possible solution for the ever-growing needs of personal computing power. For delegated computation protocols to be usable in a larger context---or simply to securely run two protocols in parallel---the security definitions need to be composable. Here, we define composable security for delegated quantum computation. We distinguish between protocols which provide only blindness---the computation is hidden from the server---and those that are also verifiable---the client can check that it has received the correct result. We show that the composable security definition capturing both these notions can be reduced to a combination of several distinct "trace-distance-type" criteria---which are, individually, non-composable security definitions.
Additionally, we study the security of some known delegated quantum computation protocols, including Broadbent, Fitzsimons and Kashefi's Universal Blind Quantum Computation protocol. Even though these protocols were originally proposed with insufficient security criteria, they turn out to still be secure given the stronger composable definitions.
△ Less
Submitted 13 September, 2014; v1 submitted 16 January, 2013;
originally announced January 2013.
-
Transformations between symmetric sets of quantum states
Authors:
Vedran Dunjko,
Erika Andersson
Abstract:
We investigate probabilistic transformations of quantum states from a `source' set to a `target' set of states. Such transforms have many applications. They can be used for tasks which include state-dependent cloning or quantum state discrimination, and as interfaces between systems whose information encodings are not related by a unitary transform, such as continuous-variable systems and finite-d…
▽ More
We investigate probabilistic transformations of quantum states from a `source' set to a `target' set of states. Such transforms have many applications. They can be used for tasks which include state-dependent cloning or quantum state discrimination, and as interfaces between systems whose information encodings are not related by a unitary transform, such as continuous-variable systems and finite-dimensional systems. In a probabilistic transform, information may be lost or leaked, and we explain the concepts of leak and redundancy. Following this, we show how the analysis of probabilistic transforms significantly simplifies for symmetric source and target sets of states. In particular, we give a simple linear program which solves the task of finding optimal transforms, and a method of characterizing the introduced leak and redundancy in information-theoretic terms. Using the developed techniques, we analyse a class of transforms which convert coherent states with information encoded in their relative phase to symmetric qubit states. Each of these sets of states on their own appears in many well studied quantum information protocols. Finally, we suggest an asymptotic realization based on quantum scissors.
△ Less
Submitted 22 June, 2012;
originally announced June 2012.
-
An Exactly Solvable Model for the Integrability-Chaos Transition in Rough Quantum Billiards
Authors:
Maxim Olshanii,
Kurt Jacobs,
Marcos Rigol,
Vanja Dunjko,
Harry Kennard,
Vladimir A. Yurovsky
Abstract:
A central question of dynamics, largely open in the quantum case, is to what extent it erases a system's memory of its initial properties. Here we present a simple statistically solvable quantum model describing this memory loss across an integrability-chaos transition under a perturbation obeying no selection rules. From the perspective of quantum localization-delocalization on the lattice of qua…
▽ More
A central question of dynamics, largely open in the quantum case, is to what extent it erases a system's memory of its initial properties. Here we present a simple statistically solvable quantum model describing this memory loss across an integrability-chaos transition under a perturbation obeying no selection rules. From the perspective of quantum localization-delocalization on the lattice of quantum numbers, we are dealing with a situation where every lattice site is coupled to every other site with the same strength, on average. The model also rigorously justifies a similar set of relationships recently proposed in the context of two short-range-interacting ultracold atoms in a harmonic waveguide. Application of our model to an ensemble of uncorrelated impurities on a rectangular lattice gives good agreement with ab initio numerics.
△ Less
Submitted 8 March, 2012;
originally announced March 2012.
-
Universal Blind Quantum Computing with Weak Coherent Pulses
Authors:
Vedran Dunjko,
Elham Kashefi,
Anthony Leverrier
Abstract:
The recently proposed Universal Blind Quantum Computation (UBQC) protocol allows a client to perform an arbitrary quantum computation on a remote server such that perfect privacy is guaranteed if the client is capable of producing random separable single qubit states. While from a theoretical point of view, this arguably constitutes the lowest possible quantum requirement, from a pragmatic point o…
▽ More
The recently proposed Universal Blind Quantum Computation (UBQC) protocol allows a client to perform an arbitrary quantum computation on a remote server such that perfect privacy is guaranteed if the client is capable of producing random separable single qubit states. While from a theoretical point of view, this arguably constitutes the lowest possible quantum requirement, from a pragmatic point of view, generation of random single qubits which can be sent along long distances without loss is quite challenging and can never be achieved perfectly.
In analogy to the concept of approximate security developed for other cryptographic protocols, we introduce here the concept of approximate blindness for UBQC, allowing us to characterize the robustness of the protocol to possible imperfections.
Following this, we present a remote blind single qubit preparation protocol, by which a client with access to realistic quantum devices (such as coherent laser light) can in a delegated fashion prepare quantum states arbitrarily close to perfect random single qubit states. We finally prove that access to coherent states is sufficient to efficiently achieve approximate blindness with arbitrary small security parameter.
△ Less
Submitted 16 May, 2012; v1 submitted 29 August, 2011;
originally announced August 2011.
-
Ground state blind quantum computation on AKLT state
Authors:
Tomoyuki Morimae,
Vedran Dunjko,
Elham Kashefi
Abstract:
The blind quantum computing protocols (BQC) enable a classical client with limited quantum technology to delegate a computation to the quantum server(s) in such a way that the privacy of the computation is preserved. Here we present a new scheme for BQC that uses the concept of the measurement based quantum computing with the novel resource state of Affleck-Kennedy-Lieb-Tasaki (AKLT) chains leadin…
▽ More
The blind quantum computing protocols (BQC) enable a classical client with limited quantum technology to delegate a computation to the quantum server(s) in such a way that the privacy of the computation is preserved. Here we present a new scheme for BQC that uses the concept of the measurement based quantum computing with the novel resource state of Affleck-Kennedy-Lieb-Tasaki (AKLT) chains leading to more robust computation. AKLT states are physically motivated resource as they are gapped ground states of a physically natural Hamiltonian in condensed matter physics. Our BQC protocol can enjoy the advantages of AKLT resource states, such as the cooling preparation of the resource state, the energy-gap protection of the quantum computation, and the simple and efficient preparation of the resource state in linear optics with biphotons.
△ Less
Submitted 17 June, 2011; v1 submitted 17 September, 2010;
originally announced September 2010.
-
Novel Modifications of Parallel Jacobi Algorithms
Authors:
Sanja Singer,
Sasa Singer,
Vedran Novakovic,
Aleksandar Uscumlic,
Vedran Dunjko
Abstract:
We describe two main classes of one-sided trigonometric and hyperbolic Jacobi-type algorithms for computing eigenvalues and eigenvectors of Hermitian matrices. These types of algorithms exhibit significant advantages over many other eigenvalue algorithms. If the matrices permit, both types of algorithms compute the eigenvalues and eigenvectors with high relative accuracy.
We present novel parall…
▽ More
We describe two main classes of one-sided trigonometric and hyperbolic Jacobi-type algorithms for computing eigenvalues and eigenvectors of Hermitian matrices. These types of algorithms exhibit significant advantages over many other eigenvalue algorithms. If the matrices permit, both types of algorithms compute the eigenvalues and eigenvectors with high relative accuracy.
We present novel parallelization techniques for both trigonometric and hyperbolic classes of algorithms, as well as some new ideas on how pivoting in each cycle of the algorithm can improve the speed of the parallel one-sided algorithms. These parallelization approaches are applicable to both distributed-memory and shared-memory machines.
The numerical testing performed indicates that the hyperbolic algorithms may be superior to the trigonometric ones, although, in theory, the latter seem more natural.
△ Less
Submitted 17 May, 2011; v1 submitted 1 August, 2010;
originally announced August 2010.
-
Algebraic characterisation of one-way patterns
Authors:
Vedran Dunjko,
Elham Kashefi
Abstract:
We give a complete structural characterisation of the map the positive branch of a one-way pattern implements. We start with the representation of the positive branch in terms of the phase map decomposition, which is then further analysed to obtain the primary structure of the matrix M, representing the phase map decomposition in the computational basis. Using this approach we obtain some prelimin…
▽ More
We give a complete structural characterisation of the map the positive branch of a one-way pattern implements. We start with the representation of the positive branch in terms of the phase map decomposition, which is then further analysed to obtain the primary structure of the matrix M, representing the phase map decomposition in the computational basis. Using this approach we obtain some preliminary results on the connection between the columns structure of a given unitary and the angles of measurements in a pattern that implements it. We believe this work is a step forward towards a full characterisation of those unitaries with an efficient one-way model implementation.
△ Less
Submitted 7 June, 2010;
originally announced June 2010.
-
Typical, finite baths as a means of exact simulation of open quantum systems
Authors:
Luciano Silvestri,
Kurt Jacobs,
Vanja Dunjko,
Maxim Olshanii
Abstract:
There is presently considerable interest in accurately simulating the evolution of open systems for which Markovian master equations fail. Examples are systems that are time-dependent and/or strongly damped. A number of elegant methods have now been devised to do this, but all use a bath consisting of a continuum of harmonic oscillators. While this bath is clearly appropriate for, e.g., systems co…
▽ More
There is presently considerable interest in accurately simulating the evolution of open systems for which Markovian master equations fail. Examples are systems that are time-dependent and/or strongly damped. A number of elegant methods have now been devised to do this, but all use a bath consisting of a continuum of harmonic oscillators. While this bath is clearly appropriate for, e.g., systems coupled to the EM field, it is not so clear that it is a good model for generic many-body systems. Here we explore a different approach to exactly simulating open-systems: using a finite bath chosen to have certain key properties of thermalizing many-body systems. To explore the numerical resources required by this method to approximate an open system coupled to an infinite bath, we simulate a weakly damped system and compare to the evolution given by the relevant Markovian master equation. We obtain the Markovian evolution with reasonable accuracy by using an additional averaging procedure, and elucidate how the typicality of the bath generates the correct thermal steady-state via the process of "eigenstate thermalization".
△ Less
Submitted 9 April, 2014; v1 submitted 20 December, 2009;
originally announced December 2009.
-
A Hermite-Padé perspective on Gell-Mann--Low renormalization group: an application to the correlation function of Lieb-Liniger gas
Authors:
Vanja Dunjko,
Maxim Olshanii
Abstract:
While Padé approximation is a general method for improving convergence of series expansions, Gell-Mann--Low renormalization group normally relies on the presence of special symmetries. We show that in the single-variable case, the latter becomes an integral Hermite-Padé approximation, needing no special symmetries. It is especially useful for interpolating between expansions for small values of…
▽ More
While Padé approximation is a general method for improving convergence of series expansions, Gell-Mann--Low renormalization group normally relies on the presence of special symmetries. We show that in the single-variable case, the latter becomes an integral Hermite-Padé approximation, needing no special symmetries. It is especially useful for interpolating between expansions for small values of a variable and a scaling law of known exponent for large values. As an example, we extract the scaling-law prefactor for the one-body density matrix of the Lieb-Liniger gas. Using a new result for the 4th-order term in the short-distance expansion, we find a remarkable agreement with known ab initio numerical results.
△ Less
Submitted 3 October, 2009;
originally announced October 2009.
-
Threshold for Chaos and Thermalization in One-Dimensional Mean-Field Bose-Hubbard Model
Authors:
Amy C. Cassidy,
Douglas Mason,
Vanja Dunjko,
Maxim Olshanii
Abstract:
We study the threshold for chaos and its relation to thermalization in the 1D mean-field Bose-Hubbard model, which in particular describes atoms in optical lattices. We identify the threshold for chaos, which is finite in the thermodynamic limit, and show that it is indeed a precursor of thermalization. Far above the threshold, the state of the system after relaxation is governed by the usual la…
▽ More
We study the threshold for chaos and its relation to thermalization in the 1D mean-field Bose-Hubbard model, which in particular describes atoms in optical lattices. We identify the threshold for chaos, which is finite in the thermodynamic limit, and show that it is indeed a precursor of thermalization. Far above the threshold, the state of the system after relaxation is governed by the usual laws of statistical mechanics.
△ Less
Submitted 23 January, 2009; v1 submitted 22 May, 2008;
originally announced May 2008.
-
Thermalization and its mechanism for generic isolated quantum systems
Authors:
Marcos Rigol,
Vanja Dunjko,
Maxim Olshanii
Abstract:
Time dynamics of isolated many-body quantum systems has long been an elusive subject. Very recently, however, meaningful experimental studies of the problem have finally become possible, stimulating theoretical interest as well. Progress in this field is perhaps most urgently needed in the foundations of quantum statistical mechanics. This is so because in generic isolated systems, one expects n…
▽ More
Time dynamics of isolated many-body quantum systems has long been an elusive subject. Very recently, however, meaningful experimental studies of the problem have finally become possible, stimulating theoretical interest as well. Progress in this field is perhaps most urgently needed in the foundations of quantum statistical mechanics. This is so because in generic isolated systems, one expects nonequilibrium dynamics on its own to result in thermalization: a relaxation to states where the values of macroscopic quantities are stationary, universal with respect to widely differing initial conditions, and predictable through the time-tested recipe of statistical mechanics. However, it is not obvious what feature of many-body quantum mechanics makes quantum thermalization possible, in a sense analogous to that in which dynamical chaos makes classical thermalization possible. For example, dynamical chaos itself cannot occur in an isolated quantum system, where time evolution is linear and the spectrum is discrete. Underscoring that new rules could apply in this case, some recent studies even suggested that statistical mechanics may give wrong predictions for the outcomes of relaxation in such systems. Here we demonstrate that an isolated generic quantum many-body system does in fact relax to a state well-described by the standard statistical mechanical prescription. Moreover, we show that time evolution itself plays a merely auxiliary role in relaxation and that thermalization happens instead at the level of individual eigenstates, as first proposed by J.M. Deutsch and M. Srednicki. A striking consequence of this eigenstate thermalization scenario is that the knowledge of a single many-body eigenstate suffices to compute thermal averages-any eigenstate in the microcanonical energy window will do, as they all give the same result.
△ Less
Submitted 10 June, 2009; v1 submitted 9 August, 2007;
originally announced August 2007.
-
Relaxation in a Completely Integrable Many-Body Quantum System: An Ab Initio Study of the Dynamics of the Highly Excited States of Lattice Hard-Core Bosons
Authors:
Marcos Rigol,
Vanja Dunjko,
Vladimir Yurovsky,
Maxim Olshanii
Abstract:
In this Letter we pose the question of whether a many-body quantum system with a full set of conserved quantities can relax to an equilibrium state, and, if it can, what the properties of such state are. We confirm the relaxation hypothesis through a thorough ab initio numerical investigation of the dynamics of hard-core bosons on a one-dimensional lattice. Further, a natural extension of the Gi…
▽ More
In this Letter we pose the question of whether a many-body quantum system with a full set of conserved quantities can relax to an equilibrium state, and, if it can, what the properties of such state are. We confirm the relaxation hypothesis through a thorough ab initio numerical investigation of the dynamics of hard-core bosons on a one-dimensional lattice. Further, a natural extension of the Gibbs ensemble to integrable systems results in a theory that is able to predict the mean values of physical observables after relaxation. Finally, we show that our generalized equilibrium carries more memory of the initial conditions than the usual thermodynamic one. This effect may have many experimental consequences, some of which having already been observed in the recent experiment on the non-equilibrium dynamics of one-dimensional hard-core bosons in a harmonic potential [T. Kinoshita, T. Wenger, D. S. Weiss, Nature (London) 440, 900 (2006)].
△ Less
Submitted 2 February, 2007; v1 submitted 20 April, 2006;
originally announced April 2006.
-
Interferometry in dense nonlinear media and interaction-induced loss of contrast in microfabricated atom interferometers
Authors:
Maxim Olshanii,
Vanja Dunjko
Abstract:
In this paper we update the existing schemes for computation of atom-interferometric signal in single-atom interferometers to interferometry with dense Bose-condensed atomic samples. Using the theory developed we explain the fringe contrast degradation observed, for longer duration of interferometric cycle, in the Michelson interferometer on a chip recently realized at JILA (Ying-Ju Wang, Dana Z…
▽ More
In this paper we update the existing schemes for computation of atom-interferometric signal in single-atom interferometers to interferometry with dense Bose-condensed atomic samples. Using the theory developed we explain the fringe contrast degradation observed, for longer duration of interferometric cycle, in the Michelson interferometer on a chip recently realized at JILA (Ying-Ju Wang, Dana Z. Anderson, Victor M. Bright, Eric A. Cornell, Quentin Diot, Tetsuo Kishimoto, Mara Prentiss, R. A. Saravanan, Stephen R. Segal, Saijun Wu, Phys. Rev. Lett. 94, 090405 (2005)). We further suggest several recipes for suppression of the interaction-related contrast degradation.
△ Less
Submitted 6 June, 2005; v1 submitted 13 May, 2005;
originally announced May 2005.
-
No-soliton--soliton phase transition in a trapped one-dimensional Bose gas
Authors:
Vanja Dunjko,
Christopher P. Herzog,
Yvan Castin,
Maxim Olshanii
Abstract:
Following the experimental observation of bright matter-wave solitons [L. Khaykovich et al., Science v. 296, 1290 (2002); K. E. Strecker et al., Nature (London) v. 417, 150 (2002)], we develop a semi-phenomenological theory for soliton thermodynamics and find the condensation temperature. Under a modified thermodynamic limit, the condensate occupation at the critical temperature undergoes a sudd…
▽ More
Following the experimental observation of bright matter-wave solitons [L. Khaykovich et al., Science v. 296, 1290 (2002); K. E. Strecker et al., Nature (London) v. 417, 150 (2002)], we develop a semi-phenomenological theory for soliton thermodynamics and find the condensation temperature. Under a modified thermodynamic limit, the condensate occupation at the critical temperature undergoes a sudden jump to a nonzero value, indicating a discontinuous phase transition. Treating the condensation as a diffusion over a barrier shows that the condensation time is exponentially long as one approaches the thermodynamic limit, and the longest near the critical temperature.
△ Less
Submitted 26 February, 2004; v1 submitted 19 June, 2003;
originally announced June 2003.
-
Short-Distance Correlation Properties of the Lieb-Liniger System and Momentum Distributions of Trapped One-Dimensional Atomic Gases
Authors:
Maxim Olshanii,
Vanja Dunjko
Abstract:
We derive exact closed form expressions for the first few terms of the short-distance Taylor expansion of the one-body correlation function of the Lieb-Liniger gas. As an intermediate result we obtain the high-p asymptotics of the momentum distribution of both free and harmonically trapped atoms and show that it obeys a universal 1/p^4 law for_all_ values of the interaction strength. We discuss…
▽ More
We derive exact closed form expressions for the first few terms of the short-distance Taylor expansion of the one-body correlation function of the Lieb-Liniger gas. As an intermediate result we obtain the high-p asymptotics of the momentum distribution of both free and harmonically trapped atoms and show that it obeys a universal 1/p^4 law for_all_ values of the interaction strength. We discuss the ways to observe the predicted momentum distributions experimentally, regarding them as a sensitive identifier for the Tonks-Girardeau regime of strong correlations.
△ Less
Submitted 27 June, 2003; v1 submitted 29 October, 2002;
originally announced October 2002.
-
Bosons in cigar-shape traps: Thomas-Fermi regime, Tonks-Girardeau regime, and between
Authors:
Vanja Dunjko,
Vincent Lorent,
Maxim Olshanii
Abstract:
We present a quantitative analysis of the experimental accessibility of the Tonks-Girardeau gas in the current day experiments with cigar-trapped alkalis. For this purpose we derive, using a Bethe anzats generated local equation of state, a set of hydrostatic equations describing one-dimensional delta-interacting Bose gases trapped in a harmonic potential. The resulting solutions cover the_entir…
▽ More
We present a quantitative analysis of the experimental accessibility of the Tonks-Girardeau gas in the current day experiments with cigar-trapped alkalis. For this purpose we derive, using a Bethe anzats generated local equation of state, a set of hydrostatic equations describing one-dimensional delta-interacting Bose gases trapped in a harmonic potential. The resulting solutions cover the_entire range_ of atomic densities.
△ Less
Submitted 4 March, 2001;
originally announced March 2001.