Source author record

Michał Horodecki

Michał Horodecki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

38works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

38 published item(s)

preprint2022arXiv

Fluctuation-dissipation relations for thermodynamic distillation processes

The fluctuation-dissipation theorem is a fundamental result in statistical physics that establishes a connection between the response of a system subject to a perturbation and the fluctuations associated with observables in equilibrium. Here we derive its version within a resource-theoretic framework, where one investigates optimal quantum state transitions under thermodynamic constraints. More precisely, we first characterise optimal thermodynamic distillation processes, and then prove a relation between the amount of free energy dissipated in such processes and the free energy fluctuations of the initial state of the system. Our results apply to initial states given by either asymptotically many identical pure systems or arbitrary number of independent energy-incoherent systems, and allow not only for a state transformation, but also for the change of Hamiltonian. The fluctuation-dissipation relations we derive enable us to find the optimal performance of thermodynamic protocols such as work extraction, information erasure and thermodynamically-free communication, up to second-order asymptotics in the number $N$ of processed systems. We thus provide a first rigorous analysis of these thermodynamic protocols for quantum states with coherence between different energy eigenstates in the intermediate regime of large but finite $N$.

preprint2022arXiv

The asymptotic emergence of the Second Law for a repeated charging process

In one of its versions, the Second Law states: "It is impossible to construct an engine which will work in a complete cycle, and produces no effect except the raising of a weight and cooling of a heat reservoir." While the Second Law is considered as one of the most robust laws of Nature, it is still challenging how to interpret it in a fully quantum domain. Here we unpack the true meaning of the "cyclicity" and formulate the Second Law for a generic quantum battery via its asymptotic properties of a charging process rather than in terms of a single cycle. As a paradigm, we propose a machine consisting of a battery that repeatedly interacts with identically prepared systems. We then propose the Second Law in the form: The ergotropy of the battery may increase indefinitely if and only if systems are in a non-passive state. One of the most interesting features of this new formulation is the appearance of the passive states that naturally generalize the notion of the heat bath. In this paper, we provide a handful of results that supports this formulation for diagonal systems. Interestingly, our methodology meets a well-known theory of Markov chains, according to which we classify the general charging processes based on the passivity/non-passivity of charging systems. In particular, the adopted mathematics allows us to distinguish a subtle asymptotic difference between the indefinite increase of the battery's energy (induced by the maximally mixed states) and of ergotropy (induced by the non-passive states) in terms of the so-called null-recurrent versus transient Markov chains.

preprint2021arXiv

Second law of thermodynamics for batteries with vacuum state

In stochastic thermodynamics work is a random variable whose average is bounded by the change in the free energy of the system. In most treatments, however, the work reservoir that absorbs this change is either tacitly assumed or modelled using unphysical systems with unbounded Hamiltonians (i.e. the ideal weight). In this work we describe the consequences of introducing the ground state of the battery and hence -- of breaking its translational symmetry. The most striking consequence of this shift is the fact that the Jarzynski identity is replaced by a family of inequalities. Using these inequalities we obtain corrections to the second law of thermodynamics which vanish exponentially with the distance of the initial state of the battery to the bottom of its spectrum. Finally, we study an exemplary thermal operation which realizes the approximate Landauer erasure and demonstrate the consequences which arise when the ground state of the battery is explicitly introduced. In particular, we show that occupation of the vacuum state of any physical battery sets a lower bound on fluctuations of work, while batteries without vacuum state allow for fluctuation-free erasure.

preprint2020arXiv

Gadget structures in proofs of the Kochen-Specker theorem

The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets, that capture the essential contradiction necessary to prove the Kochen-Specker theorem, i.e,. every Kochen-Specker graph contains a $01$-gadget and from every $01$-gadget one can construct a proof of the Kochen-Specker theorem. Moreover, we show that the $01$-gadgets form a fundamental primitive that can be used to formulate state-independent and state-dependent statistical Kochen-Specker arguments as well as to give simple constructive proofs of an "extended" Kochen-Specker theorem first considered by Pitowsky.

preprint2020arXiv

Thermal Operations in general are not memoryless

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.

preprint2020arXiv

Thermodynamics of Minimal Coupling Quantum Heat Engines

The minimal-coupling quantum heat engine is a thermal machine consisting of an explicit energy storage system, heat baths, and a working body, which alternatively couples to subsystems through discrete strokes -- energy-conserving two-body quantum operations. Within this paradigm, we present a general framework of quantum thermodynamics, where a work extraction process is fundamentally limited by a flow of non-passive energy (ergotropy), while energy dissipation is expressed through a flow of passive energy. It turns out that small dimensionality of the working body and a restriction only to two-body operations make the engine fundamentally irreversible. Our main result is finding the optimal efficiency and work production per cycle within the whole class of irreversible minimal-coupling engines composed of three strokes and with the two-level working body, where we take into account all possible quantum correlations between the working body and the battery. One of the key new tools is the introduced "control-marginal state" -- one which acts only on a working body Hilbert space, but encapsulates all features regarding work extraction of the total working body-battery system. In addition, we propose a generalization of the many-stroke engine, and we analyze efficiency vs extracted work trade-offs, as well as work fluctuations after many cycles of the running of the engine.

preprint2019arXiv

Generalized XOR non-locality games with graph description on a square lattice

We propose a family of non-locality unique games for 2 parties based on a square lattice on an arbitrary surface. We show that, due to structural similarities with error correction codes of Kitaev for fault tolerant quantum computation, the games have classical values computable in polynomial time for $d=2$ measurement outcomes. By representing games in their graph form, for arbitrary $d$ and underlying surface we provide their classification into equivalence classes with respect to relabeling of measurement outcomes, for a selected set of permutations which define the winning conditions. A case study of games with periodic boundary conditions is presented in order to verify their impact on classical and quantum values of the family of games. It suggests that quantum values suffer independently from presence of different winning conditions that can be imposed due to periodicity, as long as no local restrictions are in place.

preprint2019arXiv

Operational foundations of complementarity and uncertainty relations

The so-called preparation uncertainty can be understood in purely operational terms. Namely, it occurs when for some pair of observables, there is no preparation, for which they both exhibit deterministic statistics. However, the right-hand side of uncertainty relation is generally not operational as it depends on the quantum formalism. Also, while joint non-measurability of observables is an operational notion, the complementarity in Bohr sense (i.e. excess of information needed to describe the system) has not yet been expressed in purely operational terms. In this paper we propose a solution to these problems, by introducing an operational definition for complementarity, and further postulating uncertainty as a necessary price for complementarity in physical theories. In other words, we propose to put the (operational) complementarity as the right-hand side of uncertainty relation. Concretely, we first identify two different notions of uncertainty and complementarity for which the above principle holds in quantum mechanics. We also introduce postulates for the general measures of uncertainty and complementarity. In order to define quantifiers of complementarity we first turn to the simpler notion of independence that is defined solely in terms of statistics two observables. We also use our framework to define new complementarity indicators based on (i) performance of random access codes, (ii) geometrical properties of the body of observed statistics, and (iii) variation of information. We then show that they can be used to state uncertainty relations. Moreover, we show that non-signaling and uncertainty relation expressed by complementarity of type (ii) leads to the Tsirelson bound for CHSH inequality. Lastly, we show that a variant of Information Causality called Information Content Principle, can be interpreted as uncertainty relation in the above sense.

preprint2019arXiv

Quantum error correction codes and absolutely maximally entangled states

For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such quantum codes and link this procedure to entanglement swapping. Using our techniques, we investigate the spread of quantum information on a tensor network code formerly used as a toy model for the AdS/CFT correspondence. In this network, we show how corrections arise to the Ryu-Takayanagi formula in the case of entangled input state, and that the bound on the entanglement entropy of the boundary state is saturated for absolutely maximally entangled input states.

preprint2016arXiv

Creation of superposition of unknown quantum states

The superposition principle is one of the landmarks of quantum mechanics. The importance of quantum superpositions provokes questions about the limitations that quantum mechanics itself imposes on the possibility of their generation. In this work we systematically study the problem of creation of superpositions of unknown quantum states. First, we prove a no-go theorem that forbids the existence of a universal probabilistic quantum protocol producing a superposition of two unknown quantum states. Secondly, we provide an explicit probabilistic protocol generating a superposition of two unknown states, each having a fixed overlap with the known referential pure state. The protocol is proven to be unique and optimal. Moreover, it can be implemented on arbitrary Hilbert spaces. In the context of quantum optics it can be used to efficiently generate highly nonclassical or nongaussian states.

preprint2016arXiv

No quantum realization of extremal no-signaling boxes

Pure states are very important in any theory since they represent states of maximal information about the system within the theory. Here, we show that no non-trivial (not local realistic) extremal states (boxes) of general no-signaling theories can be realized within quantum theory. We then explore three interesting consequences of this fact. Firstly, since the pure states are uncorrelated from the environment, the statement forms a no-go result against the most straightforward device-independent protocol for randomness or secure key generation against general no-signaling adversaries. It also leads to the interesting question whether all non-extremal boxes allow for non-local correlations with the adversary. Secondly, in addition to the fact that new information-theoretic principles (designed to pick out the set of quantum correlations from among all non signaling ones) can in consequence be tested on arbitrary non-local vertices to check their validity, it also allows the possibility of excluding from the quantum set any box of no-signaling correlations that can be distilled to a non-local vertex. Finally, it also forms a sufficient condition to identify non-local games with no quantum winning strategy, when one can show that the game has a single unique non-signaling winning strategy. We illustrate each of these consequences with the example of generalized Popescu-Rohrlich boxes.

preprint2016arXiv

Randomness amplification against no-signaling adversaries using two devices

Recently, a physically realistic protocol amplifying the randomness of Santha-Vazirani sources producing cryptographically secure random bits was proposed; however for reasons of practical relevance, the crucial question remained open whether this can be accomplished under the minimal conditions necessary for the task. Namely, is it possible to achieve randomness amplification using only two no-signaling components and in a situation where the violation of a Bell inequality only guarantees that some outcomes of the device for specific inputs exhibit randomness? Here, we solve this question and present a device-independent protocol for randomness amplification of Santha-Vazirani sources using a device consisting of two non-signaling components. We show that the protocol can amplify any such source that is not fully deterministic into a fully random source while tolerating a constant noise rate and prove the composable security of the protocol against general no-signaling adversaries. Our main innovation is the proof that even the partial randomness certified by the two-party Bell test (a single input-output pair ($\textbf{u}^*, \textbf{x}^*$) for which the conditional probability $P(\textbf{x}^* | \textbf{u}^*)$ is bounded away from $1$ for all no-signaling strategies that optimally violate the Bell inequality) can be used for amplification. We introduce the methodology of a partial tomographic procedure on the empirical statistics obtained in the Bell test that ensures that the outputs constitute a linear min-entropy source of randomness. As a technical novelty that may be of independent interest, we prove that the Santha-Vazirani source satisfies an exponential concentration property given by a recently discovered generalized Chernoff bound.

preprint2016arXiv

Sharp transitions in low-number quantum dots Bayesian magnetometry

We consider Bayesian estimate of static magnetic field, characterized by a prior Gaussian probability distribution, in systems of a few electron quantum dot spins interacting with infinite temperature spin environment via hyperfine interaction. Sudden transitions among optimal states and measurements are observed. Usefulness of measuring occupation levels is shown for all times of the evolution, together with the role of entanglement in the optimal scenario. For low values of magnetic field, memory effects stemming from the interaction with environment provide limited metrological advantage.

preprint2015arXiv

Construction and properties of a class of private states in arbitrary dimensions

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.

preprint2015arXiv

Linear game non-contextuality and Bell inequalities - a graph-theoretic approach

We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate the task of finding equivalent games to the notion of signed graphs and switching equivalence from graph theory. We relate the problem of computing the classical value of single-party anti-correlation XOR games to finding the edge bipartization number of a graph, which is known to be MaxSNP hard, and connect the computation of the classical value of more general XOR-d games to the identification of specific cycles in the graph. We construct an orthogonality graph of the game from the constraint graph and study its Lovász theta number as a general upper bound on the quantum value even in the case of single-party contextual XOR-d games. Linear games possess appealing properties for use in device-independent applications such as randomness of the local correlated outcomes in the optimal quantum strategy. We study the possibility of obtaining quantum algebraic violation of these games, and show that no finite linear game possesses the property of pseudo-telepathy leaving the frequently used chained Bell inequalities as the natural candidates for such applications. We also show this lack of pseudo-telepathy for multi-party XOR-type inequalities involving two-body correlation functions.

preprint2015arXiv

Long-distance quantum communication over noisy networks without long-time quantum memory

The problem of sharing entanglement over large distances is crucial for implementations of quantum cryptography. A possible scheme for long-distance entanglement sharing and quantum communication exploits networks whose nodes share Einstein-Podolsky-Rosen (EPR) pairs. In Perseguers et al. [Phys. Rev. A 78, 062324 (2008)] the authors put forward an important isomorphism between storing quantum information in a dimension $D$ and transmission of quantum information in a $D+1$-dimensional network. We show that it is possible to obtain long-distance entanglement in a noisy two-dimensional (2D) network, even when taking into account that encoding and decoding of a state is exposed to an error. For 3D networks we propose a simple encoding and decoding scheme based solely on syndrome measurements on 2D Kitaev topological quantum memory. Our procedure constitutes an alternative scheme of state injection that can be used for universal quantum computation on 2D Kitaev code. It is shown that the encoding scheme is equivalent to teleporting the state, from a specific node into a whole two-dimensional network, through some virtual EPR pair existing within the rest of network qubits. We present an analytic lower bound on fidelity of the encoding and decoding procedure, using as our main tool a modified metric on space-time lattice, deviating from a taxicab metric at the first and the last time slices.

preprint2015arXiv

Nonsignaling quantum random access code boxes

A well known cryptographic primitive is so called random access code. Namely, Alice is to send to Bob one of two bits, so that Bob has the choice which bit he wants to learn about. However at any time Alice should not learn Bob's choice, and Bob should learn only the bit of his choice. The task is impossible to accomplish by means of either classical or quantum communication. On the other hand, a concept of correlations stronger than quantum ones, exhibited by so called Popescu- Rohrlich box, was introduced and widely studied. In particular, it is known that Popescu-Rohrlich box enables simulation of the random access code with the support of one bit of communication. Here, we propose a quantum analogue of this phenomenon. Namely, we define an analogue of a random access code, where instead of classical bits, one encodes qubits. We provide a quantum non-signaling box that if supported with two classical bits, allows to simulate a quantum version of random access code. We point out that two bits are necessary. We also show that a quantum random access code cannot be fully quantum: when Bob inputs superposition of two choices, the output will be in a mixed state rather than in a superposition of required states.

preprint2015arXiv

Towards fully quantum second laws of thermodynamics: limitations on the evolution of quantum coherences

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.

preprint2014arXiv

Explicit constructions of unitary transformations between equivalent irreducible representations

Irreducible representations (irreps) of a finite group $G$ are equivalent if there exists a similarity transformation between them. In this paper, we describe an explicit algorithm for constructing this transformation between a pair of equivalent irreps, assuming we are given an algorithm to compute the matrix elements of these irreps. Along the way, we derive a generalization of the classical orthogonality relations for matrix elements of irreps of finite groups. We give an explicit form of such unitary matrices for the important case of conjugated Young-Yamanouchi representations, when our group $G$ is symmetric group $S(N)$.

preprint2014arXiv

Fundamental limitations for quantum and nano thermodynamics

The relationship between thermodynamics and statistical physics is valid in the thermodynamic limit - when the number of particles becomes very large. Here, we study thermodynamics in the opposite regime - at both the nano scale, and when quantum effects become important. Applying results from quantum information theory we construct a theory of thermodynamics in these limits. We derive general criteria for thermodynamical state transformations, and as special cases, find two free energies: one that quantifies the deterministically extractable work from a small system in contact with a heat bath, and the other that quantifies the reverse process. We find that there are fundamental limitations on work extraction from nonequilibrium states, owing to finite size effects and quantum coherences. This implies that thermodynamical transitions are generically irreversible at this scale. As one application of these methods, we analyse the efficiency of small heat engines and find that they are irreversible during the adiabatic stages of the cycle.

preprint2014arXiv

Group representation approach to 1 - N universal quantum cloning machines

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.

preprint2014arXiv

Simple scheme for encoding and decoding a qubit in unknown state for various topological codes

We present a scheme for encoding and decoding an unknown state for CSS codes, based on syndrome measurements. We illustrate our method by means of Kitaev toric code, defected-lattice code, topological subsystem code and Haah 3D code. The protocol is local whenever in a given code the crossings between the logical operators consist of next neighbour pairs, which holds for the above codes. For subsystem code we also present scheme in a noisy case, where we allow for bit and phase-flip errors on qubits as well as state preparation and syndrome measurement errors. Similar scheme can be built for two other codes. We show that the fidelity of the protected qubit in the noisy scenario in a large code size limit is of $1-\mathcal{O}(p)$, where $p$ is a probability of error on a single qubit. Regarding Haah code we provide noiseless scheme, leaving the noisy case as an open problem.

preprint2014arXiv

Structure and properties of the algebra of partially transposed permutation operators

We consider the structure of algebra of operators, acting in $n-$fold tensor product space, which are partially transposed on the last term. Using purely algebraical methods we show that this algebra is semi-simple and then, considering its regular representation, we derive basic properties of the algebra. In particular, we describe all irreducible representations of the algebra of partially transposed operators and derive expressions for matrix elements of the representations. It appears that there are two types of irreducible representations of the algebra. The first one is strictly connected with the representations of the group $S(n-1)$ induced by irreducible representations of the group $S(n-2)$. The second type is structurally connected with irreducible representations of the group $S(n-1)$.

preprint2014arXiv

The second laws of quantum thermodynamics

The second law of thermodynamics tells us which state transformations are so statistically unlikely that they are effectively forbidden. Its original formulation, due to Clausius, states that "Heat can never pass from a colder to a warmer body without some other change, connected therewith, occurring at the same time". The second law applies to systems composed of many particles interacting; however, we are seeing that one can make sense of thermodynamics in the regime where we only have a small number of particles interacting with a heat bath. Is there a second law of thermodynamics in this regime? Here, we find that for processes which are cyclic or very close to cyclic, the second law for microscopic systems takes on a very different form than it does at the macroscopic scale, imposing not just one constraint on what state transformations are possible, but an entire family of constraints. In particular, we find a family of free energies which generalise the traditional one, and show that they can never increase. We further find that there are three regimes which determine which family of second laws govern state transitions, depending on how cyclic the process is. In one regime one can cause an apparent violation of the usual second law, through a process of embezzling work from a large system which remains arbitrarily close to its original state. These second laws are not only relevant for small systems, but also apply to individual macroscopic systems interacting via long-range interactions, which only satisfy the ordinary second law on average. By making precise the definition of thermal operations, the laws of thermodynamics take on a simple form with the first law defining the class of thermal operations, the zeroeth law emerging as a unique condition ensuring the theory is nontrivial, and the remaining laws being a monotonicity property of our generalised free energies.

preprint2014arXiv

When Are Popescu-Rohrlich Boxes and Random Access Codes Equivalent?

We study a problem of interconvertibility of two supra-quantum resources: one is so called PR-box, which violates CHSH inequality up to maximal algebraic bound, and second is so called random access code (RAC). The latter is a functionality that enables Bob (receiver) to choose one of two bits of Alice. It has been known, that PR-box supplemented with one bit of communication can be used to simulate RAC. We ask the converse question: to what extent RAC can simulate PR-box? To this end we introduce racbox: a box such that supplemented with one bit of communication offers RAC. As said, PR-box can simulate racbox. The question we raise, is whether any racbox can simulate PR-box. We show that a non-signaling racbox indeed can simulate PR-box, hence those two resources are equivalent. We also provide an example of signalling racbox which cannot simulate PR-box. We give a resource inequality between racbox es and PR-boxes, and show that it is saturated.

preprint2013arXiv

Conjectured strong complementary-correlations tradeoff

We conjecture new uncertainty relations which restrict correlations between results of measurements performed by two separated parties on a shared quantum state. The first uncertainty relation bounds the sum of two mutual informations when one party measures a single observable and the other party measures one of two observables. The uncertainty relation does not follow from Maassen-Uffink uncertainty relation and is much stronger than Hall uncertainty relation derived from the latter. The second uncertainty relation bounds the sum of two mutual informations when each party measures one of two observables. We provide numerical evidence for validity of conjectured uncertainty relations and prove them for large classes of states and observables.

preprint2013arXiv

Free randomness amplification using bipartite chain correlations

A direct analysis of the protocol of randomness amplification using Bell inequality violation is performed in terms of the convex combination of no-signaling boxes required to simulate quantum violation of the inequality. The probability distributions of bits generated by a Santha-Vazirani source are shown to be mixtures of permutations of Bernoulli distributions with parameter defined by the source. An intuitive proof is provided for the range of partial randomness from which perfect randomness can be extracted using quantum correlations violating the chain inequalities. Exact values are derived in the asymptotic limit of a large number of measurement settings.

preprint2013arXiv

Local random quantum circuits are approximate polynomial-designs - numerical results

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.

preprint2013arXiv

The Resource Theory of Quantum States Out of Thermal Equilibrium

The ideas of thermodynamics have proved fruitful in the setting of quantum information theory, in particular the notion that when the allowed transformations of a system are restricted, certain states of the system become useful resources with which one can prepare previously inaccessible states. The theory of entanglement is perhaps the best-known and most well-understood resource theory in this sense. Here we return to the basic questions of thermodynamics using the formalism of resource theories developed in quantum information theory and show that the free energy of thermodynamics emerges naturally from the resource theory of energy-preserving transformations. Specifically, the free energy quantifies the amount of useful work which can be extracted from asymptotically-many copies of a quantum system when using only reversible energy-preserving transformations and a thermal bath at fixed temperature. The free energy also quantifies the rate at which resource states can be reversibly interconverted asymptotically, provided that a sublinear amount of coherent superposition over energy levels is available, a situation analogous to the sublinear amount of classical communication required for entanglement dilution.

preprint2012arXiv

(Quantumness in the context of) Resource Theories

We review the basic idea behind resource theories, where we quantify quantum resources by specifying a restricted class of operations. This divides the state space into various sets, including states which are free (because they can be created under the class of operations), and those which are a resource (because they cannot be). One can quantify the worth of the resource by the relative entropy distance to the set of free states, and under certain conditions, this is a unique measure which quantifies the rate of state to state transitions. The framework includes entanglement, asymmetry and purity theory. It also includes thermodynamics, which is a hybrid resource theory combining purity theory and asymmetry. Another hybrid resource theory which merges purity theory and entanglement can be used to study quantumness of correlations and discord, and we present quantumness in this more general framework of resource theories.

preprint2012arXiv

Convergence to equilibrium under a random Hamiltonian

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.

preprint2012arXiv

Generalized teleportation and entanglement recycling

We introduce new teleportation protocols which are generalizations of the original teleportation protocols that use the Pauli group [Bennett, et al. Physical Review Letters, 70(13) 1895-1899] and the port-based teleportation protocols, introduced by Hiroshima and Ishizaka [Physical Review Letters, 101(24) 240501], that use the symmetric permutation group. We derive sufficient condition for a set of operations, which in general need not form a group, to give rise to a teleportation protocol and provide examples of such schemes. This generalization leads to protocols with novel properties and is needed to push forward new schemes of computation based on them. Port-based teleportation protocols and our generalizations use a large resource state consisting of N singlets to teleport only a single qubit state reliably. We provide two distinct protocols which recycle the resource state to teleport multiple states with error linearly increasing with their number. The first protocol consists of sequentially teleporting qubit states, and the second teleports them in a bulk.

preprint2012arXiv

Region of fidelities for a 1 -> N universal qubit quantum cloner

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.

preprint2011arXiv

Distillation of entanglement by projection on permutationally invariant subspaces

We consider distillation of entanglement from two qubit states which are mixtures of three mutually orthogonal states: two pure entangled states and one pure product state. We distill entanglement from such states by projecting n copies of the state on permutationally invariant subspace and then applying one-way hashing protocol. We find analytical expressions for the rate of the protocol. We also generalize this method to higher dimensional systems. To get analytical expression for two qubit case, we faced a mathematical problem of diagonalizing a family of matrices enjoying some symmetries w.r.t. to symmetric group. We have solved this problem in two ways: (i) directly, by use of Schur-Weyl decomposition and Young symmetrizers (ii) showing that the problem is equivalent to a problem of diagonalizing adjacency matrices in a particular instance of a so called algebraic association scheme.

preprint2010arXiv

A few steps more towards NPT bound entanglement

We consider the problem of existence of bound entangled states with non-positive partial transpose (NPT). As one knows, existence of such states would in particular imply nonadditivity of distillable entanglement. Moreover it would rule out a simple mathematical description of the set of distillable states. Distillability is equivalent to so called n-copy distillability for some n. We consider a particular state, known to be 1-copy nondistillable, which is supposed to be bound entangled. We study the problem of its two-copy distillability, which boils down to show that maximal overlap of some projector Q with Schmidt rank two states does not exceed 1/2. Such property we call the the half-property. We first show that the maximum overlap can be attained on vectors that are not of the simple product form with respect to cut between two copies. We then attack the problem in twofold way: a) prove the half-property for some classes of Schmidt rank two states b) bound the required overlap from above for all Schmidt rank two states. We have succeeded to prove the half-property for wide classes of states, and to bound the overlap from above by c<3/4. Moreover, we translate the problem into the following matrix analysis problem: bound the sum of the squares of the two largest singular values of matrix A \otimes I + I \otimes B with A,B traceless 4x4 matrices, and Tr A^\dagger A + Tr B^\dagger B = 1/4.

preprint2010arXiv

Low-dimensional quite noisy bound entanglement with cryptographic key

We provide a class of bound entangled states that have positive distillable secure key rate. The smallest state of this kind is 4 \bigotimes 4. Our class is a generalization of the class presented in [1] (IEEE Trans. Inf. Theory 54, 2621 (2008); arXiv:quant-ph/0506203). It is much wider, containing, in particular, states from the boundary of PPT entangled states (all of the states in the class in [1] were of this kind) but also states inside the set of PPT entangled states, even, approaching the separable states. This generalization comes with a price: for the wider class a positive key rate requires, in general, apart from the one-way Devetak-Winter protocol (used in [1]) also the recurrence preprocessing and thus effectively is a two-way protocol. We also analyze the amount of noise that can be admixtured to the states of our class without losing key distillability property which may be crucial for experimental realization. The wider class contains key-distillable states with higher entropy (up to 3.524, as opposed to 2.564 for the class in [1]).