-
Thermal Operations in general are not memoryless
Authors:
Edgar A. Aguilar,
Hanna Wojewódka-Ściążko,
Maciej Stankiewicz,
Christopher Perry,
Piotr Ćwikliński,
Andrzej Grudka,
Karol Horodecki,
Michał Horodecki
Abstract:
So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $β$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimental…
▽ More
So-called Thermal Operations seem to describe the most fundamental, and reasonable, set of operations allowable for state transformations at an ambient inverse temperature $β$. However, a priori, they require experimentalists to manipulate very complex environments and have control over their internal degrees of freedom. For this reason, the community has been working on creating more experimentally-friendly operations. In [Perry et al., Phys. Rev. X 8, 041049] it was shown that for states diagonal in the energy basis, that Thermal Operations can be performed by so-called Coarse Operations, which need just one auxiliary qubit, but are otherwise Markovian and classical in spirit. In this work, by providing an explicit counterexample, we show that this one qubit of memory is necessary. We also fully characterize the possible transitions that do not require memory for the system being a qubit. We do this by analyzing arbitrary control sequences comprising level energy changes and partial thermalizations in each step.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
On distilling secure key from reducible private states and (non)existence of entangled key-undistillable states
Authors:
K. Horodecki,
P. Ćwikliński,
A. Rutkowski,
M. Studziński
Abstract:
Hereunder, we study the class of irreducible private states that are private states from which all the secret content is accessible via measuring their key part. We provide the first protocol which distills key not only from the key part, but also from the shield if only the state is reducible. We prove also a tighter upper bound on the performance of that protocol, given in terms of regularized r…
▽ More
Hereunder, we study the class of irreducible private states that are private states from which all the secret content is accessible via measuring their key part. We provide the first protocol which distills key not only from the key part, but also from the shield if only the state is reducible. We prove also a tighter upper bound on the performance of that protocol, given in terms of regularized relative entropy of entanglement instead of relative entropy of entanglement previously known. This implies in particular that the irreducible private states are all strictly irreducible if and only if the entangled but key-undistillable states ("entangled key-undistilable states") exist. In turn, all the irreducible private states of the dimension $4\otimes 4$ are strictly irreducible, that is, after an attack on the key part they become separable. Provided the bound key states exist, we consider different subclasses of the irreducible private states and their properties. Finally we provide a lower bound on the trace norm distance between key-undistillable states and private states, in sufficiently high dimensions.
△ Less
Submitted 20 August, 2018; v1 submitted 28 December, 2016;
originally announced December 2016.
-
Generic appearance of objective results in quantum measurements
Authors:
J. K. Korbicz,
E. A. Aguilar,
P. Ćwikliński,
P. Horodecki
Abstract:
Measurement is of central interest in quantum mechanics as it provides the link between the quantum world and the world of everyday experience. One of the features of the latter is its robust, objective character, contrasting the delicate nature of quantum systems. Here we analyze in a completely model-independent way the celebrated von Neumann measurement process, using recent techniques of infor…
▽ More
Measurement is of central interest in quantum mechanics as it provides the link between the quantum world and the world of everyday experience. One of the features of the latter is its robust, objective character, contrasting the delicate nature of quantum systems. Here we analyze in a completely model-independent way the celebrated von Neumann measurement process, using recent techniques of information flow, studied in open quantum systems. We show the generic appearance of objective results in quantum measurements, provided we macroscopically coarse-grain the measuring apparatus and wait long enough. To study genericity, we employ the widely-used Gaussian Unitary Ensemble of random matrices and the Hoeffding inequality. We derive generic objectivization timescales, given solely by the interaction strength and the systems' dimensions. Our results are manifestly universal and are a generic property of von Neumann measurements.
△ Less
Submitted 18 December, 2017; v1 submitted 7 April, 2016;
originally announced April 2016.
-
A sufficient set of experimentally implementable thermal operations
Authors:
Chris Perry,
Piotr Ćwikliński,
Janet Anders,
Michał Horodecki,
Jonathan Oppenheim
Abstract:
Recent work using tools from quantum information theory has shown that at the nanoscale where quantum effects become prevalent, there is not one thermodynamical second law but many. Derivations of these laws assume that an experimenter has very precise control of the system and heat bath. Here we show that these multitude of laws can be saturated using two very simple operations: changing the ener…
▽ More
Recent work using tools from quantum information theory has shown that at the nanoscale where quantum effects become prevalent, there is not one thermodynamical second law but many. Derivations of these laws assume that an experimenter has very precise control of the system and heat bath. Here we show that these multitude of laws can be saturated using two very simple operations: changing the energy levels of the system and thermalizing over any two system energy levels. Using these two operations, one can distill the optimal amount of work from a system, as well as perform the reverse formation process. Even more surprisingly, using only these two operations and one ancilla qubit in a thermal state, one can transform any state into any other state allowable by the second laws. We thus have the remarkable result that the second laws hold for fine-grained manipulation of system and bath, but can be achieved using very coarse control. This brings the full array of thermal operations into a regime accessible by experiment, and establishes the physical relevance of these second laws.
△ Less
Submitted 10 October, 2016; v1 submitted 20 November, 2015;
originally announced November 2015.
-
Construction and properties of a class of private states in arbitrary dimensions
Authors:
Adam Rutkowski,
Michał Studziński,
Piotr Ćwikliński,
Michał Horodecki
Abstract:
We present a construction of quantum states in dimension $d$ that has at least 1 dit of ideal key, called private dits (pdits), which covers most of the known examples of private bits (pbits) $d=2$. We examine properties of this class of states, focusing mostly on its distance to the set of separable states $\mathcal{SEP}$, showing that for a fixed dimension of key part $d_k$ the distance increase…
▽ More
We present a construction of quantum states in dimension $d$ that has at least 1 dit of ideal key, called private dits (pdits), which covers most of the known examples of private bits (pbits) $d=2$. We examine properties of this class of states, focusing mostly on its distance to the set of separable states $\mathcal{SEP}$, showing that for a fixed dimension of key part $d_k$ the distance increases with $d_s$. We provide explicit examples of PPT states (in $d$ dimensions) which are nearly as far from separable ones as possible. Precisely, the distance from the set of $\mathcal{SEP}$ is $2 - ε$, where $d$ scales with $ε$ as $d \propto 1/ε^3$, as opposed to $d \propto 2^{(log(4/ε))^2}$ obtained in [Badzicag et al., Phys. Rev. A 90, 012301 (2014)]. We do not use boosting (taking many copies of pdits to boost the distance) as in Badzicag et al. paper.
△ Less
Submitted 27 January, 2015; v1 submitted 1 October, 2014;
originally announced October 2014.
-
Towards fully quantum second laws of thermodynamics: limitations on the evolution of quantum coherences
Authors:
Piotr Ćwikliński,
Michał Studziński,
Michał Horodecki,
Jonathan Oppenheim
Abstract:
The second law of thermodynamics places a limitation into which states a system can evolve into. For systems in contact with a heat bath, it can be combined with the law of energy conservation, and it says that a system can only evolve into another if the free energy goes down. Recently, it's been shown that there are actually many second laws, and that it is only for large macroscopic systems tha…
▽ More
The second law of thermodynamics places a limitation into which states a system can evolve into. For systems in contact with a heat bath, it can be combined with the law of energy conservation, and it says that a system can only evolve into another if the free energy goes down. Recently, it's been shown that there are actually many second laws, and that it is only for large macroscopic systems that they all become equivalent to the ordinary one. These additional second laws also hold for quantum systems, and are, in fact, often more relevant in this regime. They place a restriction on how the probabilities of energy levels can evolve. Here, we consider additional restrictions on how the coherences between energy levels can evolve. Coherences can only go down, and we provide a set of restrictions which limit the extent to which they can be maintained. We find that coherences over energy levels must decay at rates that are suitably adapted to the transition rates between energy levels. We show that the limitations are matched in the case of a single qubit, in which case we obtain the full characterization of state-to-state transformations. For higher dimensions, we conjecture that more severe constraints exist. We also introduce a new class of thermodynamical operations which allow for greater manipulation of coherences and study its power with respect to a class of operations known as thermal operations.
△ Less
Submitted 19 November, 2015; v1 submitted 20 May, 2014;
originally announced May 2014.
-
Group representation approach to 1 - N universal quantum cloning machines
Authors:
Michał Studziński,
Piotr Ćwikliński,
Michał Horodecki,
Marek Mozrzymas
Abstract:
In this work, we revisit the problem of finding an admissible region of fidelities obtained after an application of an arbitrary $1 \rightarrow N$ universal quantum cloner which has been recently solved in [A. Kay et al., Quant. Inf. Comput 13, 880 (2013)] from the side of cloning machines. Using group-theory formalism, we show that the allowed region for fidelities can be alternatively expressed…
▽ More
In this work, we revisit the problem of finding an admissible region of fidelities obtained after an application of an arbitrary $1 \rightarrow N$ universal quantum cloner which has been recently solved in [A. Kay et al., Quant. Inf. Comput 13, 880 (2013)] from the side of cloning machines. Using group-theory formalism, we show that the allowed region for fidelities can be alternatively expressed in terms of overlaps of pure states with recently found irreducible representations of the commutant $U \otimes U \otimes \ldots \otimes U \otimes U^*$, which gives the characterization of the allowed region where states being cloned are figure of merit. Additionally, it is sufficient to take pure states with real coefficients only, which makes calculations simpler. To obtain the allowed region, we make a convex hull of possible ranges of fidelities related to a given irrep. Subsequently, two cases: $1 \rightarrow 2$ and $1 \rightarrow 3$ cloners, are studied for different dimensions of states as illustrative examples.
△ Less
Submitted 5 May, 2014; v1 submitted 12 November, 2013;
originally announced November 2013.
-
Local random quantum circuits are approximate polynomial-designs - numerical results
Authors:
Piotr Ćwikliński,
Michał Horodecki,
Marek Mozrzymas,
Łukasz Pankowski,
Michał Studziński
Abstract:
We numerically investigate the statement that local random quantum circuits acting on n qubits composed of polynomially many nearest neighbour two-qubit gates form an approximate unitary poly(n)-design [F.G.S.L. Brandao et al., arXiv:1208.0692]. Using a group theory formalism, spectral gaps that give a ratio of convergence to a given t-design are evaluated for a different number of qubits n (up to…
▽ More
We numerically investigate the statement that local random quantum circuits acting on n qubits composed of polynomially many nearest neighbour two-qubit gates form an approximate unitary poly(n)-design [F.G.S.L. Brandao et al., arXiv:1208.0692]. Using a group theory formalism, spectral gaps that give a ratio of convergence to a given t-design are evaluated for a different number of qubits n (up to 20) and degrees t (t=2,3,4 and 5), improving previously known results for n=2 in the case of t=2 and 3. Their values lead to a conclusion that the previously used lower bound that bounds spectral gaps values may give very little information about the real situation and in most cases, only tells that a gap is closed. We compare our results to the another lower bounding technique, again showing that its results may not be tight.
△ Less
Submitted 10 June, 2013; v1 submitted 11 December, 2012;
originally announced December 2012.
-
The Power of Noisy Fermionic Quantum Computation
Authors:
Fernando de Melo,
Piotr Ćwikliński,
Barbara M. Terhal
Abstract:
We consider the realization of universal quantum computation through braiding of Majorana fermions supplemented by unprotected preparation of noisy ancillae. It has been shown by Bravyi [Phys. Rev. A 73, 042313 (2006)] that under the assumption of perfect braiding operations, universal quantum computation is possible if the noise rate on a particular 4-fermion ancilla is below 40%. We show that be…
▽ More
We consider the realization of universal quantum computation through braiding of Majorana fermions supplemented by unprotected preparation of noisy ancillae. It has been shown by Bravyi [Phys. Rev. A 73, 042313 (2006)] that under the assumption of perfect braiding operations, universal quantum computation is possible if the noise rate on a particular 4-fermion ancilla is below 40%. We show that beyond a noise rate of 89% on this ancilla the quantum computation can be efficiently simulated classically: we explicitly show that the noisy ancilla is a convex mixture of Gaussian fermionic states in this region, while for noise rates below 53% we prove that the state is not a mixture of Gaussian states. These results were obtained by generalizing concepts in entanglement theory to the setting of Gaussian states and their convex mixtures. In particular we develop a complete set of criteria, namely the existence of a Gaussian-symmetric extension, which determine whether a state is a convex mixture of Gaussian states.
△ Less
Submitted 15 April, 2013; v1 submitted 27 August, 2012;
originally announced August 2012.
-
Region of fidelities for a 1 -> N universal qubit quantum cloner
Authors:
Piotr Ćwikliński,
Michał Horodecki,
Michał Studziński
Abstract:
We analyze a region of fidelities for qubit which is obtained after an application of a 1 -> N universal quantum cloner. We express the allowed region for fidelities in terms of overlaps of pure states with irreps of S(n) (n = N+1) showing that the pure states can be taken with real coefficients only. Subsequently, the case n = 4, corresponding to a 1 -> 3 cloner is studied in more detail as an il…
▽ More
We analyze a region of fidelities for qubit which is obtained after an application of a 1 -> N universal quantum cloner. We express the allowed region for fidelities in terms of overlaps of pure states with irreps of S(n) (n = N+1) showing that the pure states can be taken with real coefficients only. Subsequently, the case n = 4, corresponding to a 1 -> 3 cloner is studied in more detail as an illustrative example. To obtain the main result, we make a convex hull of possible ranges of fidelities related to a given irrep. The formalism allows to construct the state giving rise to a given N-tuple of fidelities.
△ Less
Submitted 25 May, 2012; v1 submitted 29 January, 2012;
originally announced January 2012.
-
Convergence to equilibrium under a random Hamiltonian
Authors:
Fernando G. S. L. Brandão,
Piotr Ćwikliński,
Michał Horodecki,
Paweł Horodecki,
Jarosław Korbicz,
Marek Mozrzymas
Abstract:
We analyze equilibration times of subsystems of a larger system under a random total Hamiltonian, in which the basis of the Hamiltonian is drawn from the Haar measure. We obtain that the time of equilibration is of the order of the inverse of the arithmetic average of the Bohr frequencies. To compute the average over a random basis, we compute the inverse of a matrix of overlaps of operators which…
▽ More
We analyze equilibration times of subsystems of a larger system under a random total Hamiltonian, in which the basis of the Hamiltonian is drawn from the Haar measure. We obtain that the time of equilibration is of the order of the inverse of the arithmetic average of the Bohr frequencies. To compute the average over a random basis, we compute the inverse of a matrix of overlaps of operators which permute four systems. We first obtain results on such a matrix for a representation of an arbitrary finite group and then apply it to the particular representation of the permutation group under consideration.
△ Less
Submitted 30 August, 2012; v1 submitted 15 August, 2011;
originally announced August 2011.