-
Information revival without backflow: non-causal explanations of non-Markovianity
Authors:
Francesco Buscemi,
Rajeev Gangwar,
Kaumudibikash Goswami,
Himanshu Badhani,
Tanmoy Pandit,
Brij Mohan,
Siddhartha Das,
Manabendra Nath Bera
Abstract:
The study of information revivals, witnessing the violation of certain data-processing inequalities, has provided an important paradigm in the study of non-Markovian processes. Although often used interchangeably, we argue here that the notions of ``revivals'' and ``backflows'', i.e., flows of information from the environment back into the system, are distinct: an information revival can occur wit…
▽ More
The study of information revivals, witnessing the violation of certain data-processing inequalities, has provided an important paradigm in the study of non-Markovian processes. Although often used interchangeably, we argue here that the notions of ``revivals'' and ``backflows'', i.e., flows of information from the environment back into the system, are distinct: an information revival can occur without any backflow ever taking place. In this paper, we examine in detail the phenomenon of non-causal revivals and relate them to the theory of short Markov chains and squashed non-Markovianity. As a byproduct, we demonstrate that focusing on processes with actual backflows, while excluding those with only non-causal revivals, resolves the issue of non-convexity of Markovianity, thus enabling the construction of a convex resource theory of genuine non-Markovianity.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
On the generic increase of observational entropy in isolated systems
Authors:
Teruaki Nagasawa,
Kohtaro Kato,
Eyuri Wakakuwa,
Francesco Buscemi
Abstract:
Observational entropy - a quantity that unifies Boltzmann's entropy, Gibbs' entropy, von Neumann's macroscopic entropy, and the diagonal entropy - has recently been argued to play a key role in a modern formulation of statistical mechanics. Here, relying on algebraic techniques taken from Petz's theory of statistical sufficiency and on a Levy-type concentration bound, we prove rigorous theorems sh…
▽ More
Observational entropy - a quantity that unifies Boltzmann's entropy, Gibbs' entropy, von Neumann's macroscopic entropy, and the diagonal entropy - has recently been argued to play a key role in a modern formulation of statistical mechanics. Here, relying on algebraic techniques taken from Petz's theory of statistical sufficiency and on a Levy-type concentration bound, we prove rigorous theorems showing how the observational entropy of a system undergoing a unitary evolution chosen at random tends to increase with overwhelming probability and to reach its maximum very quickly. More precisely, we show that for any observation that is sufficiently coarse with respect to the size of the system, regardless of the initial state of the system (be it pure or mixed), random evolution renders its state practically indistinguishable from the microcanonical distribution with a probability approaching one as the size of the system grows. The same conclusion holds not only for random evolutions sampled according to the unitarily invariant Haar distribution, but also for approximate 2-designs, which are thought to provide a more physically reasonable way to model random evolutions.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
The signaling dimension in generalized probabilistic theories
Authors:
Michele Dall'Arno,
Alessandro Tosini,
Francesco Buscemi
Abstract:
The signaling dimension of a given physical system quantifies the minimum dimension of a classical system required to reproduce all input/output correlations of the given system. Thus, unlike other dimension measures - such as the dimension of the linear space or the maximum number of (jointly or pairwise) perfectly discriminable states - which examine the correlation space only along a single dir…
▽ More
The signaling dimension of a given physical system quantifies the minimum dimension of a classical system required to reproduce all input/output correlations of the given system. Thus, unlike other dimension measures - such as the dimension of the linear space or the maximum number of (jointly or pairwise) perfectly discriminable states - which examine the correlation space only along a single direction, the signaling dimension does not depend on the arbitrary choice of a specific operational task. In this sense, the signaling dimension summarizes the structure of the entire set of input/output correlations consistent with a given system in a single scalar quantity. For quantum theory, it was recently proved by Frenkel and Weiner in a seminal result that the signaling dimension coincides with the Hilbert space dimension. Here, we derive analytical and algorithmic techniques to compute the signaling dimension for any given system of any given generalized probabilistic theory. We prove that it suffices to consider extremal measurements with ray-extremal effects, and we bound the number of elements of any such measurement in terms of the linear dimension. For systems with a finite number of extremal effects, we recast the problem of characterizing the extremal measurements with ray-extremal effects as the problem of deriving the vertex description of a polytope given its face description, which can be conveniently solved by standard techniques. For each such measurement, we recast the computation of the signaling dimension as a linear program, and we propose a combinatorial branch and bound algorithm to reduce its size. We apply our results to derive the extremal measurements with ray-extremal effects of a composition of two square bits (or squits) and prove that their signaling dimension is five, even though each squit has a signaling dimension equal to two.
△ Less
Submitted 1 July, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Virtual quantum broadcasting
Authors:
Arthur J. Parzygnat,
James Fullwood,
Francesco Buscemi,
Giulio Chiribella
Abstract:
The quantum no-broadcasting theorem states that it is impossible to produce perfect copies of an arbitrary quantum state, even if the copies are allowed to be correlated. Here we show that, although quantum broadcasting cannot be achieved by any physical process, it can be achieved by a virtual process, described by a Hermitian-preserving trace-preserving map. This virtual process is canonical: it…
▽ More
The quantum no-broadcasting theorem states that it is impossible to produce perfect copies of an arbitrary quantum state, even if the copies are allowed to be correlated. Here we show that, although quantum broadcasting cannot be achieved by any physical process, it can be achieved by a virtual process, described by a Hermitian-preserving trace-preserving map. This virtual process is canonical: it is the only map that broadcasts all quantum states, is covariant under unitary evolution, is invariant under permutations of the copies, and reduces to the classical broadcasting map when subjected to decoherence. We show that the optimal physical approximation to the canonical broadcasting map is the optimal universal quantum cloning, and we also show that virtual broadcasting can be achieved by a virtual measure-and-prepare protocol, where a virtual measurement is performed, and, depending on the outcomes, two copies of a virtual quantum state are generated. Finally, we use canonical virtual broadcasting to prove a uniqueness result for quantum states over time.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Tight conic approximation of testing regions for quantum statistical models and measurements
Authors:
Michele Dall'Arno,
Francesco Buscemi
Abstract:
Quantum statistical models (i.e., families of normalized density matrices) and quantum measurements (i.e., positive operator-valued measures) can be regarded as linear maps: the former, map** the space of effects to the space of probability distributions; the latter, map** the space of states to the space of probability distributions. The images of such linear maps are called the testing regio…
▽ More
Quantum statistical models (i.e., families of normalized density matrices) and quantum measurements (i.e., positive operator-valued measures) can be regarded as linear maps: the former, map** the space of effects to the space of probability distributions; the latter, map** the space of states to the space of probability distributions. The images of such linear maps are called the testing regions of the corresponding model or measurement. Testing regions are notoriously impractical to treat analytically in the quantum case. Our first result is to provide an implicit outer approximation of the testing region of any given quantum statistical model or measurement in any finite dimension: namely, a region in probability space that contains the desired image, but is defined implicitly, using a formula that depends only on the given model or measurement. The outer approximation that we construct is minimal among all such outer approximations, and close, in the sense that it becomes the maximal inner approximation up to a constant scaling factor. Finally, we apply our approximation formulas to characterize, in a semi-device independent way, the ability to transform one quantum statistical model or measurement into another.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Universal validity of the second law of information thermodynamics
Authors:
Shintaro Minagawa,
M. Hamed Mohammady,
Kenta Sakai,
Kohtaro Kato,
Francesco Buscemi
Abstract:
Feedback control and erasure protocols have often been considered as a model to embody Maxwell's Demon paradox and to study the interplay between thermodynamics and information processing. Such studies have led to the conclusion, now widely accepted in the community, that Maxwell's Demon and the second law of thermodynamics can peacefully coexist because any gain provided by the demon must be offs…
▽ More
Feedback control and erasure protocols have often been considered as a model to embody Maxwell's Demon paradox and to study the interplay between thermodynamics and information processing. Such studies have led to the conclusion, now widely accepted in the community, that Maxwell's Demon and the second law of thermodynamics can peacefully coexist because any gain provided by the demon must be offset by the cost of performing measurement and resetting the demon's memory to its initial state. Statements of this kind are collectively referred to as second laws of information thermodynamics and have recently been extended to include quantum theoretical scenarios. However, previous studies in this direction have made several assumptions, in particular about the feedback process and the measurement performed on the demon's memory, and thus arrived at statements that are not universally applicable and whose range of validity is not clear. In this work, we fill this gap by precisely characterizing the full range of quantum feedback control and erasure protocols that are overall consistent with the second law of thermodynamics. This leads us to conclude that the second law of information thermodynamics is indeed universal: it must hold for any quantum feedback control and erasure protocol, regardless of the measurement process involved, as long as the protocol is overall compatible with thermodynamics. Our comprehensive analysis not only encompasses new scenarios but also retrieves previous ones, doing so with fewer assumptions. This simplification contributes to a clearer understanding of the theory. Additionally, our work identifies the Groenewold--Ozawa information gain as the correct information measure characterizing the work extractable by feedback control.
△ Less
Submitted 18 November, 2023; v1 submitted 29 August, 2023;
originally announced August 2023.
-
Observational entropy with general quantum priors
Authors:
Ge Bai,
Dominik Šafránek,
Joseph Schindler,
Francesco Buscemi,
Valerio Scarani
Abstract:
Observational entropy captures both the intrinsic uncertainty of a thermodynamic state and the lack of knowledge due to coarse-graining. We demonstrate two interpretations of observational entropy, one as the statistical deficiency resulting from a measurement, the other as the difficulty of inferring the input state from the measurement statistics by quantum Bayesian retrodiction. These interpret…
▽ More
Observational entropy captures both the intrinsic uncertainty of a thermodynamic state and the lack of knowledge due to coarse-graining. We demonstrate two interpretations of observational entropy, one as the statistical deficiency resulting from a measurement, the other as the difficulty of inferring the input state from the measurement statistics by quantum Bayesian retrodiction. These interpretations show that the observational entropy implicitly includes a uniform reference prior. Since the uniform prior cannot be used when the system is infinite-dimensional or otherwise energy-constrained, we propose generalizations by replacing the uniform prior with arbitrary quantum states that may not even commute with the state of the system. We propose three candidates for this generalization, discuss their properties, and show that one of them gives a unified expression that relates both interpretations.
△ Less
Submitted 15 March, 2024; v1 submitted 16 August, 2023;
originally announced August 2023.
-
Maxwell's Demon walks into Wall Street: Stochastic Thermodynamics meets Expected Utility Theory
Authors:
Andres F. Ducuara,
Paul Skrzypczyk,
Francesco Buscemi,
Peter Sidajaya,
Valerio Scarani
Abstract:
The interplay between thermodynamics and information theory has a long history, but its quantitative manifestations are still being explored. We import tools from expected utility theory from economics into stochastic thermodynamics. We prove that, in a process obeying Crooks' fluctuation relations, every $α$ Rényi divergence between the forward process and its reverse has the operational meaning…
▽ More
The interplay between thermodynamics and information theory has a long history, but its quantitative manifestations are still being explored. We import tools from expected utility theory from economics into stochastic thermodynamics. We prove that, in a process obeying Crooks' fluctuation relations, every $α$ Rényi divergence between the forward process and its reverse has the operational meaning of the ``certainty equivalent'' of dissipated work (or, more generally, of entropy production) for a player with risk aversion $r=α-1$. The two known cases $α=1$ and $α=\infty$ are recovered and receive the new interpretation of being associated to a risk-neutral and an extreme risk-averse player respectively. Among the new results, the condition for $α=0$ describes the behavior of a risk-seeking player willing to bet on the transient violations of the second law. Our approach further leads to a generalized Jarzynski equality, and generalizes to a broader class of statistical divergences.
△ Less
Submitted 12 December, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
A complete and operational resource theory of measurement sharpness
Authors:
Francesco Buscemi,
Kodai Kobayashi,
Shintaro Minagawa
Abstract:
We construct a resource theory of sharpness for finite-dimensional positive operator-valued measures (POVMs), where the sharpness-non-increasing operations are given by quantum preprocessing channels and convex mixtures with POVMs whose elements are all proportional to the identity operator. As required for a sound resource theory of sharpness, we show that our theory has maximal (i.e., sharp) ele…
▽ More
We construct a resource theory of sharpness for finite-dimensional positive operator-valued measures (POVMs), where the sharpness-non-increasing operations are given by quantum preprocessing channels and convex mixtures with POVMs whose elements are all proportional to the identity operator. As required for a sound resource theory of sharpness, we show that our theory has maximal (i.e., sharp) elements, which are all equivalent, and coincide with the set of POVMs that admit a repeatable measurement. Among the maximal elements, conventional non-degenerate observables are characterized as the canonical ones. More generally, we quantify sharpness in terms of a class of monotones, expressed as the EPR--Ozawa correlations between the given POVM and an arbitrary reference POVM. We show that one POVM can be transformed into another by means of a sharpness-non-increasing operation if and only if the former is sharper than the latter with respect to all monotones. Thus, our resource theory of sharpness is complete, in the sense that the comparison of all monotones provides a necessary and sufficient condition for the existence of a sharpness-non-increasing operation between two POVMs, and operational, in the sense that all monotones are in principle experimentally accessible.
△ Less
Submitted 17 January, 2024; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication
Authors:
Francesco Buscemi,
Kodai Kobayashi,
Shintaro Minagawa,
Paolo Perinotti,
Alessandro Tosini
Abstract:
While there is general consensus on the definition of incompatible POVMs, moving up to the level of instruments one finds a much less clear situation, with mathematically different and logically independent definitions of incompatibility. Here we close this gap by introducing the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility into one…
▽ More
While there is general consensus on the definition of incompatible POVMs, moving up to the level of instruments one finds a much less clear situation, with mathematically different and logically independent definitions of incompatibility. Here we close this gap by introducing the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility into one hierarchy of resource theories of communication between separated parties. The resource theories that we obtain are complete, in the sense that they contain complete families of free operations and monotones providing necessary and sufficient conditions for the existence of a transformation. Furthermore, our framework is fully operational, in the sense that free transformations are characterized explicitly, in terms of local operations aided by causally-constrained directed classical communication, and all monotones possess a game-theoretic interpretation making them experimentally measurable in principle. We are thus able to pinpoint exactly what each notion of incompatibility consists of, in terms of information-theoretic resources.
△ Less
Submitted 5 June, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Axioms for retrodiction: achieving time-reversal symmetry with a prior
Authors:
Arthur J. Parzygnat,
Francesco Buscemi
Abstract:
We propose a category-theoretic definition of retrodiction and use it to exhibit a time-reversal symmetry for all quantum channels. We do this by introducing retrodiction families and functors, which capture many intuitive properties that retrodiction should satisfy and are general enough to encompass both classical and quantum theories alike. Classical Bayesian inversion and all rotated and avera…
▽ More
We propose a category-theoretic definition of retrodiction and use it to exhibit a time-reversal symmetry for all quantum channels. We do this by introducing retrodiction families and functors, which capture many intuitive properties that retrodiction should satisfy and are general enough to encompass both classical and quantum theories alike. Classical Bayesian inversion and all rotated and averaged Petz recovery maps define retrodiction families in our sense. However, averaged rotated Petz recovery maps, including the universal recovery map of Junge-Renner-Sutter-Wilde-Winter, do not define retrodiction functors, since they fail to satisfy some compositionality properties. Among all the examples we found of retrodiction families, the original Petz recovery map is the only one that defines a retrodiction functor. In addition, retrodiction functors exhibit an inferential time-reversal symmetry consistent with the standard formulation of quantum theory. The existence of such a retrodiction functor seems to be in stark contrast to the many no-go results on time-reversal symmetry for quantum channels. One of the main reasons is because such works defined time-reversal symmetry on the category of quantum channels alone, whereas we define it on the category of quantum channels and quantum states. This fact further illustrates the importance of a prior in time-reversal symmetry.
△ Less
Submitted 12 May, 2023; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Observational entropy, coarse quantum states, and Petz recovery: information-theoretic properties and bounds
Authors:
Francesco Buscemi,
Joseph Schindler,
Dominik Šafránek
Abstract:
Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann's and Gibbs' entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the…
▽ More
Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann's and Gibbs' entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the monotonicity property of quantum relative entropy. We present new bounds on observational entropy applying in general, as well as bounds and identities related to sequential and post-processed measurements. A central role in this work is played by what we call the ``coarse-grained'' state, which emerges from the measurement's statistics by Bayesian retrodiction, without presuming any knowledge about the ``true'' underlying state being measured. The degree of distinguishability between such a coarse-grained state and the true (but generally unobservable) one is shown to provide upper and lower bounds on the difference between observational and von Neumann entropies.
△ Less
Submitted 5 April, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
One-shot purity distillation with local noisy operations and one-way classical communication
Authors:
Sayantan Chakraborty,
Aditya Nema,
Francesco Buscemi
Abstract:
Local pure states represent a fundamental resource in quantum information theory. In this work we obtain one-shot achievable bounds on the rates for local purity distillation, in the single-party and in the two-party cases. In both situations, local noisy operations are freely available, while in the two-party case also one-way classical communication can be used. In addition, in both situations l…
▽ More
Local pure states represent a fundamental resource in quantum information theory. In this work we obtain one-shot achievable bounds on the rates for local purity distillation, in the single-party and in the two-party cases. In both situations, local noisy operations are freely available, while in the two-party case also one-way classical communication can be used. In addition, in both situations local pure ancillas can be borrowed, as long as they are discounted from the final net rate of distillation. The one-shot rates that we obtain, written in terms of mutual information-like quantities, are shown to recover in the limit the asymptotic i.i.d. rates of Devetak [PRA, 2005], up to first order analysis.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
Von Neumann's information engine without the spectral theorem
Authors:
Shintaro Minagawa,
Hayato Arai,
Francesco Buscemi
Abstract:
Von Neumann obtained the formula for the entropy of a quantum state by assuming the validity of the second law of thermodynamics in a thought experiment involving semipermeable membranes and an ideal gas of quantum-labeled particles. Despite being operational in the most part, von Neumann's argument crucially departs from an operational narrative in its use of the spectral theorem. In this work we…
▽ More
Von Neumann obtained the formula for the entropy of a quantum state by assuming the validity of the second law of thermodynamics in a thought experiment involving semipermeable membranes and an ideal gas of quantum-labeled particles. Despite being operational in the most part, von Neumann's argument crucially departs from an operational narrative in its use of the spectral theorem. In this work we show that the role of the spectral theorem in von Neumann's argument can be taken over by the operational assumptions of repeatability and reversibility, and using these we are able to explore the consequences of the second law also in theories that do not possess a unique spectral decomposition. As a byproduct, we obtain the Groenewold--Ozawa information gain as a natural monotone for a suitable ordering of instruments, providing it with an operational interpretation valid in quantum theory and beyond.
△ Less
Submitted 2 August, 2022; v1 submitted 10 March, 2022;
originally announced March 2022.
-
Thermodynamic Constraints on Quantum Information Gain and Error Correction: A Triple Trade-Off
Authors:
Arshag Danageozian,
Mark M. Wilde,
Francesco Buscemi
Abstract:
Quantum error correction (QEC) is a procedure by which the quantum state of a system is protected against a known type of noise, by preemptively adding redundancy to that state. Such a procedure is commonly used in quantum computing when thermal noise is present. Interestingly, thermal noise has also been known to play a central role in quantum thermodynamics (QTD). This fact hints at the applicab…
▽ More
Quantum error correction (QEC) is a procedure by which the quantum state of a system is protected against a known type of noise, by preemptively adding redundancy to that state. Such a procedure is commonly used in quantum computing when thermal noise is present. Interestingly, thermal noise has also been known to play a central role in quantum thermodynamics (QTD). This fact hints at the applicability of certain QTD statements in the QEC of thermal noise, which has been discussed previously in the context of Maxwell's demon. In this article, we view QEC as a quantum heat engine with a feedback controller (i.e., a demon). We derive an upper bound on the measurement heat dissipated during the error-identification stage in terms of the Groenewold information gain, thereby providing the latter with a physical meaning also when it is negative. Further, we derive the second law of thermodynamics in the context of this QEC engine, operating with general quantum measurements. Finally, we show that, under a set of physically motivated assumptions, this leads to a fundamental triple trade-off relation, which implies a trade-off between the maximum achievable fidelity of QEC and the super-Carnot efficiency that heat engines with feedback controllers have been known to possess. A similar trade-off relation occurs for the thermodynamic efficiency of the QEC engine and the efficacy of the quantum measurement used for error identification.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Computing the quantum guesswork: a quadratic assignment problem
Authors:
Michele Dall'Arno,
Francesco Buscemi,
Takeshi Koshiba
Abstract:
The quantum guesswork quantifies the minimum number of queries needed to guess the state of a quantum ensemble if one is allowed to query only one state at a time. Previous approaches to the computation of the guesswork were based on standard semi-definite programming techniques and therefore lead to approximated results. In contrast, we show that computing the quantum guesswork of qubit ensembles…
▽ More
The quantum guesswork quantifies the minimum number of queries needed to guess the state of a quantum ensemble if one is allowed to query only one state at a time. Previous approaches to the computation of the guesswork were based on standard semi-definite programming techniques and therefore lead to approximated results. In contrast, we show that computing the quantum guesswork of qubit ensembles with uniform probability distribution corresponds to solving a quadratic assignment problem and we provide an algorithm that, upon the input of any qubit ensemble over a discrete ring, after finitely many steps outputs the exact closed-form expression of its guesswork. While in general the complexity of our guesswork-computing algorithm is factorial in the number of states, our main result consists of showing a more-than-quadratic speedup for symmetric ensembles, a scenario corresponding to the three-dimensional analog of the maximization version of the turbine-balancing problem. To find such symmetries, we provide an algorithm that, upon the input of any point set over a discrete ring, after finitely many steps outputs its exact symmetries. The complexity of our symmetries-finding algorithm is polynomial in the number of points. As examples, we compute the guesswork of regular and quasi-regular sets of qubit states.
△ Less
Submitted 25 August, 2023; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Fluctuation Theorems with Retrodiction rather than Reverse Processes
Authors:
Clive Cenxin Aw,
Francesco Buscemi,
Valerio Scarani
Abstract:
Irreversibility is usually captured by a comparison between the process that happens and a corresponding "reverse process". In the last decades, this comparison has been extensively studied through fluctuation relations. Here we revisit fluctuation relations from the standpoint, suggested decades ago by Watanabe, that the comparison should involve the prediction and the retrodiction on the unique…
▽ More
Irreversibility is usually captured by a comparison between the process that happens and a corresponding "reverse process". In the last decades, this comparison has been extensively studied through fluctuation relations. Here we revisit fluctuation relations from the standpoint, suggested decades ago by Watanabe, that the comparison should involve the prediction and the retrodiction on the unique process, rather than two processes. We identify a necessary and sufficient condition for a retrodictive reading of a fluctuation relation. The retrodictive narrative also brings to the fore the possibility of deriving fluctuation relations based on various statistical divergences, and clarifies some of the traditional assumptions as arising from the choice of a reference prior.
△ Less
Submitted 6 September, 2021; v1 submitted 16 June, 2021;
originally announced June 2021.
-
Guesswork of a quantum ensemble
Authors:
Michele Dall'Arno,
Francesco Buscemi,
Takeshi Koshiba
Abstract:
The guesswork of a quantum ensemble quantifies the minimum number of guesses needed in average to correctly guess the state of the ensemble, when only one state can be queried at a time. Here, we derive analytical solutions of the guesswork problem subject to a finite set of conditions, including the analytical solution for any qubit ensemble with uniform probability distribution. As explicit exam…
▽ More
The guesswork of a quantum ensemble quantifies the minimum number of guesses needed in average to correctly guess the state of the ensemble, when only one state can be queried at a time. Here, we derive analytical solutions of the guesswork problem subject to a finite set of conditions, including the analytical solution for any qubit ensemble with uniform probability distribution. As explicit examples, we compute the guesswork for any qubit regular polygonal and polyhedral ensemble.
△ Less
Submitted 28 January, 2022; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Fluctuation theorems from Bayesian retrodiction
Authors:
Francesco Buscemi,
Valerio Scarani
Abstract:
Quantitative studies of irreversibility in statistical mechanics often involve the consideration of a reverse process, whose definition has been the object of many discussions, in particular for quantum mechanical systems. Here we show that the reverse channel very naturally arises from Bayesian retrodiction, both in classical and quantum theories. Previous paradigmatic results, such as Jarzynski'…
▽ More
Quantitative studies of irreversibility in statistical mechanics often involve the consideration of a reverse process, whose definition has been the object of many discussions, in particular for quantum mechanical systems. Here we show that the reverse channel very naturally arises from Bayesian retrodiction, both in classical and quantum theories. Previous paradigmatic results, such as Jarzynski's equality, Crooks' fluctuation theorem, and Tasaki's two-measurement fluctuation theorem for closed driven quantum systems, are all shown to be consistent with retrodictive arguments. Also, various corrections that were introduced to deal with nonequilibrium steady states or open quantum systems are justified on general grounds as remnants of Bayesian retrodiction. More generally, with the reverse process constructed on consistent logical inference, fluctuation relations acquire a much broader form and scope.
△ Less
Submitted 7 April, 2021; v1 submitted 6 September, 2020;
originally announced September 2020.
-
Explicit construction of optimal witnesses for input-output correlations attainable by quantum channels
Authors:
Michele Dall'Arno,
Sarah Brandsen,
Francesco Buscemi
Abstract:
Given a quantum channel -- that is, a completely positive trace-preserving linear map -- as the only communication resource available between two parties, we consider the problem of characterizing the set of classical noisy channels that can be obtained from it by means of suitable classical-quantum encodings and quantum-classical decodings, respectively, on the sender's and the receiver's side. W…
▽ More
Given a quantum channel -- that is, a completely positive trace-preserving linear map -- as the only communication resource available between two parties, we consider the problem of characterizing the set of classical noisy channels that can be obtained from it by means of suitable classical-quantum encodings and quantum-classical decodings, respectively, on the sender's and the receiver's side. We consider various classes of linear witnesses and compute their optimum values in closed form for several classes of quantum channels. The witnesses that we consider here are formulated as communication games, in which Alice's aim is to exploit a single use of a given quantum channel to help Bob guess some information she has received from an external referee.
△ Less
Submitted 1 May, 2021; v1 submitted 2 September, 2020;
originally announced September 2020.
-
General state transitions with exact resource morphisms: a unified resource-theoretic approach
Authors:
Wenbin Zhou,
Francesco Buscemi
Abstract:
Given a non-empty closed convex subset $\mathsf{F}$ of density matrices, we formulate conditions that guarantee the existence of an $\mathsf{F}$-morphism (namely, a completely positive trace-preserving linear map that maps $\mathsf{F}$ into itself) between two arbitrarily chosen density matrices. While we allow errors in the transition, the corresponding map is required to be an exact…
▽ More
Given a non-empty closed convex subset $\mathsf{F}$ of density matrices, we formulate conditions that guarantee the existence of an $\mathsf{F}$-morphism (namely, a completely positive trace-preserving linear map that maps $\mathsf{F}$ into itself) between two arbitrarily chosen density matrices. While we allow errors in the transition, the corresponding map is required to be an exact $\mathsf{F}$-morphism. Our findings, though purely geometrical, are formulated in a resource-theoretic language and provide a common framework that comprises various resource theories, including the resource theories of bipartite and multipartite entanglement, coherence, athermality, and asymmetric distinguishability. We show how, when specialized to some situations of physical interest, our general results are able to unify and extend previous analyses. We also study conditions for the existence of maximally resourceful states, defined here as density matrices from which any other one can be obtained by means of a suitable $\mathsf{F}$-morphism. Moreover, we quantitatively characterize the paradigmatic tasks of optimal resource dilution and distillation, as special transitions in which one of the two endpoints is maximally resourceful.
△ Less
Submitted 20 August, 2020; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Thermodynamic Reverse Bounds for General Open Quantum Processes
Authors:
Francesco Buscemi,
Daichi Fujiwara,
Naoki Mitsui,
Marcello Rotondo
Abstract:
Various quantum thermodynamic bounds are shown to stem from a single tighter and more general inequality, consequence of the operator concavity of the logarithmic function. Such an inequality, which we call the "thermodynamic reverse bound", is compactly expressed as a quantum relative entropy, from which it inherits mathematical properties and meaning. As concrete examples, we apply our bound to…
▽ More
Various quantum thermodynamic bounds are shown to stem from a single tighter and more general inequality, consequence of the operator concavity of the logarithmic function. Such an inequality, which we call the "thermodynamic reverse bound", is compactly expressed as a quantum relative entropy, from which it inherits mathematical properties and meaning. As concrete examples, we apply our bound to evaluate the thermodynamic length for open processes, the heat exchange in erasure processes, and the maximal energy outflow in general quantum evolutions.
△ Less
Submitted 20 August, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Unified Approach to Witness Nonentanglement-Breaking Quantum Channels
Authors:
Yi-Zheng Zhen,
Yingqiu Mao,
Kai Chen,
Francesco Buscemi,
Oscar Dahlsten
Abstract:
The ability of quantum devices to preserve or distribute entanglement is essential in employing quantum technologies. Such ability is described and guaranteed by the nonentanglement-breaking (nonEB) feature of participating quantum channels. For quantum information applications relying on entanglement, the certification of the nonEB feature is thus indispensable in designing, testing, and benchmar…
▽ More
The ability of quantum devices to preserve or distribute entanglement is essential in employing quantum technologies. Such ability is described and guaranteed by the nonentanglement-breaking (nonEB) feature of participating quantum channels. For quantum information applications relying on entanglement, the certification of the nonEB feature is thus indispensable in designing, testing, and benchmarking quantum devices. Here, we develop a direct and operational approach for the certification of nonEB quantum channels. By utilizing the prepare-and-measure test, we derive a necessary and sufficient condition for witnessing nonEB channels, which is applicable in almost all experimental scenarios. The approach not only unifies and simplifies existing methods in the standard scenario and the measurement-device-independent scenario, but also goes further allowing for certifying the nonEB feature in the semi-device-independent scenario.
△ Less
Submitted 9 June, 2020; v1 submitted 22 December, 2019;
originally announced December 2019.
-
Type-independent Characterization of Spacelike Separated Resources
Authors:
Denis Rosset,
David Schmid,
Francesco Buscemi
Abstract:
Quantum theory describes multipartite objects of various types: quantum states, nonlocal boxes, steering assemblages, teleportages, distributed measurements, channels, and so on. Such objects describe, for example, the resources shared in quantum networks. Not all such objects are useful, however. In the context of space-like separated parties, devices which can be simulated using local operations…
▽ More
Quantum theory describes multipartite objects of various types: quantum states, nonlocal boxes, steering assemblages, teleportages, distributed measurements, channels, and so on. Such objects describe, for example, the resources shared in quantum networks. Not all such objects are useful, however. In the context of space-like separated parties, devices which can be simulated using local operations and shared randomness are useless, and it is of paramount importance to be able to practically distinguish useful from useless quantum resources. Accordingly, a body of literature has arisen to provide tools for witnessing and quantifying the nonclassicality of objects of each specific type. In the present work, we provide a framework which subsumes and generalizes all of these resources, as well as the tools for witnessing and quantifying their nonclassicality.
△ Less
Submitted 4 June, 2021; v1 submitted 27 November, 2019;
originally announced November 2019.
-
Extension of the Alberti-Ulhmann criterion beyond qubit dichotomies
Authors:
Michele Dall'Arno,
Francesco Buscemi,
Valerio Scarani
Abstract:
The Alberti-Ulhmann criterion states that any given qubit dichotomy can be transformed into any other given qubit dichotomy by a quantum channel if and only if the testing region of the former dichotomy includes the testing region of the latter dichotomy. Here, we generalize the Alberti-Ulhmann criterion to the case of arbitrary number of qubit or qutrit states. We also derive an analogous result…
▽ More
The Alberti-Ulhmann criterion states that any given qubit dichotomy can be transformed into any other given qubit dichotomy by a quantum channel if and only if the testing region of the former dichotomy includes the testing region of the latter dichotomy. Here, we generalize the Alberti-Ulhmann criterion to the case of arbitrary number of qubit or qutrit states. We also derive an analogous result for the case of qubit or qutrit measurements with arbitrary number of elements. We demonstrate the possibility of applying our criterion in a semi-device independent way.
△ Less
Submitted 17 February, 2020; v1 submitted 9 October, 2019;
originally announced October 2019.
-
The type-independent resource theory of local operations and shared randomness
Authors:
David Schmid,
Denis Rosset,
Francesco Buscemi
Abstract:
In space-like separated experiments and other scenarios where multiple parties share a classical common cause but no cause-effect relations, quantum theory allows a variety of nonsignaling resources which are useful for distributed quantum information processing. These include quantum states, nonlocal boxes, steering assemblages, teleportages, channel steering assemblages, and so on. Such resource…
▽ More
In space-like separated experiments and other scenarios where multiple parties share a classical common cause but no cause-effect relations, quantum theory allows a variety of nonsignaling resources which are useful for distributed quantum information processing. These include quantum states, nonlocal boxes, steering assemblages, teleportages, channel steering assemblages, and so on. Such resources are often studied using nonlocal games, semiquantum games, entanglement-witnesses, teleportation experiments, and similar tasks. We introduce a unifying framework which subsumes the full range of nonsignaling resources, as well as the games and experiments which probe them, into a common resource theory: that of local operations and shared randomness (LOSR). Crucially, we allow these LOSR operations to locally change the type of a resource, so that players can convert resources of any type into resources of any other type, and in particular into strategies for the specific type of game they are playing. We then prove several theorems relating resources and games of different types. These theorems generalize a number of seminal results from the literature, and can be applied to lessen the assumptions needed to characterize the nonclassicality of resources. As just one example, we prove that semiquantum games are able to perfectly characterize the LOSR nonclassicality of every resource of any type (not just quantum states, as was previously shown). As a consequence, we show that any resource can be characterized in a measurement-device-independent manner.
△ Less
Submitted 26 April, 2020; v1 submitted 9 September, 2019;
originally announced September 2019.
-
A Complete Resource Theory of Quantum Incompatibility as Quantum Programmability
Authors:
Francesco Buscemi,
Eric Chitambar,
Wenbin Zhou
Abstract:
Measurement incompatibility describes two or more quantum measurements whose expected joint outcome on a given system cannot be defined. This purely non-classical phenomenon provides a necessary ingredient in many quantum information tasks such violating a Bell Inequality or nonlocally steering part of an entangled state. In this paper, we characterize incompatibility in terms of programmable meas…
▽ More
Measurement incompatibility describes two or more quantum measurements whose expected joint outcome on a given system cannot be defined. This purely non-classical phenomenon provides a necessary ingredient in many quantum information tasks such violating a Bell Inequality or nonlocally steering part of an entangled state. In this paper, we characterize incompatibility in terms of programmable measurement devices and the general notion of quantum programmability. This refers to the temporal freedom a user has in issuing programs to a quantum device. For devices with a classical control and classical output, measurement incompatibility emerges as the essential quantum resource embodied in their functioning. Based on the processing of programmable measurement devices, we construct a quantum resource theory of incompatibility. A complete set of convertibility conditions for programmable devices is derived based on quantum state discrimination with post-measurement information.
△ Less
Submitted 24 March, 2020; v1 submitted 29 August, 2019;
originally announced August 2019.
-
Coherence manipulation with dephasing-covariant operations
Authors:
Bartosz Regula,
Varun Narasimhachar,
Francesco Buscemi,
Mile Gu
Abstract:
We characterize the operational capabilities of quantum channels which can neither create nor detect quantum coherence vis-à-vis efficiently manipulating coherence as a resource. We study the class of dephasing-covariant operations (DIO), unable to detect the coherence of any input state, as well as introduce an operationally-motivated class of channels $ρ$-DIO which is tailored to a specific inpu…
▽ More
We characterize the operational capabilities of quantum channels which can neither create nor detect quantum coherence vis-à-vis efficiently manipulating coherence as a resource. We study the class of dephasing-covariant operations (DIO), unable to detect the coherence of any input state, as well as introduce an operationally-motivated class of channels $ρ$-DIO which is tailored to a specific input state. We first show that pure-state transformations under DIO are completely governed by majorization, establishing necessary and sufficient conditions for such transformations and adding to the list of operational paradigms where majorization plays a central role. We then show that $ρ$-DIO are strictly more powerful: although they cannot detect the coherence of the input state $ρ$, the operations $ρ$-DIO can distill more coherence than DIO. However, the advantage disappears in the task of coherence dilution as well as generally in the asymptotic limit, where both sets of operations achieve the same rates in all transformations.
△ Less
Submitted 19 November, 2019; v1 submitted 19 July, 2019;
originally announced July 2019.
-
An information-theoretic treatment of quantum dichotomies
Authors:
Francesco Buscemi,
David Sutter,
Marco Tomamichel
Abstract:
Given two pairs of quantum states, we want to decide if there exists a quantum channel that transforms one pair into the other. The theory of quantum statistical comparison and quantum relative majorization provides necessary and sufficient conditions for such a transformation to exist, but such conditions are typically difficult to check in practice. Here, by building upon work by Matsumoto, we r…
▽ More
Given two pairs of quantum states, we want to decide if there exists a quantum channel that transforms one pair into the other. The theory of quantum statistical comparison and quantum relative majorization provides necessary and sufficient conditions for such a transformation to exist, but such conditions are typically difficult to check in practice. Here, by building upon work by Matsumoto, we relax the problem by allowing for small errors in one of the transformations. In this way, a simple sufficient condition can be formulated in terms of one-shot relative entropies of the two pairs. In the asymptotic setting where we consider sequences of state pairs, under some mild convergence conditions, this implies that the quantum relative entropy is the only relevant quantity deciding when a pairwise state transformation is possible. More precisely, if the relative entropy of the initial state pair is strictly larger compared to the relative entropy of the target state pair, then a transformation with exponentially vanishing error is possible. On the other hand, if the relative entropy of the target state is strictly larger, then any such transformation will have an error converging exponentially to one. As an immediate consequence, we show that the rate at which pairs of states can be transformed into each other is given by the ratio of their relative entropies. We discuss applications to the resource theories of athermality and coherence.
△ Less
Submitted 27 October, 2020; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Data-driven inference and observational completeness of quantum devices
Authors:
Michele Dall'Arno,
Asaph Ho,
Francesco Buscemi,
Valerio Scarani
Abstract:
Data-driven inference was recently introduced as a protocol that, upon the input of a set of data, outputs a mathematical description for a physical device able to explain the data. The device so inferred is automatically self-consistent, that is, capable of generating all given data, and least committal, that is, consistent with a minimal superset of the given dataset. When applied to the inferen…
▽ More
Data-driven inference was recently introduced as a protocol that, upon the input of a set of data, outputs a mathematical description for a physical device able to explain the data. The device so inferred is automatically self-consistent, that is, capable of generating all given data, and least committal, that is, consistent with a minimal superset of the given dataset. When applied to the inference of an unknown device, data-driven inference has been shown to output always the "true" device whenever the dataset has been produced by means of an observationally complete setup, which plays here the same role played by informationally complete setups in conventional quantum tomography.
In this paper we develop a unified formalism for the data-driven inference of states and measurements. In the case of qubits, in particular, we provide an explicit implementation of the inference protocol as a convex programming algorithm for the machine learning of states and measurements. We also derive a complete characterization of observational completeness for general systems, from which it follows that only spherical 2-designs achieve observational completeness for qubit systems. This result provides symmetric informationally complete sets and mutually unbiased bases with a new theoretical and operational justification.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Data-Driven Inference, Reconstruction, and Observational Completeness of Quantum Devices
Authors:
Michele Dall'Arno,
Francesco Buscemi,
Alessandro Bisio,
Alessandro Tosini
Abstract:
The range of a quantum measurement is the set of outcome probability distributions that can be produced by varying the input state. We introduce data-driven inference as a protocol that, given a set of experimental data as a collection of outcome distributions, infers the quantum measurement which is, i) consistent with the data, in the sense that its range contains all the distributions observed,…
▽ More
The range of a quantum measurement is the set of outcome probability distributions that can be produced by varying the input state. We introduce data-driven inference as a protocol that, given a set of experimental data as a collection of outcome distributions, infers the quantum measurement which is, i) consistent with the data, in the sense that its range contains all the distributions observed, and, ii) maximally noncommittal, in the sense that its range is of minimum volume in the space of outcome distributions. We show that data-driven inference is able to return a unique measurement for any data set if and only if the inference adopts a (hyper)-spherical state space (for example, the classical or the quantum bit).
In analogy to informational completeness for quantum tomography, we define observational completeness as the property of any set of states that, when fed into any given measurement, produces a set of outcome distributions allowing for the correct reconstruction of the measurement via data-driven inference. We show that observational completeness is strictly stronger than informational completeness, in the sense that not all informationally complete sets are also observationally complete. Moreover, we show that for systems with a (hyper)-spherical state space, the only observationally complete simplex is the regular one, namely, the symmetric informationally complete set.
△ Less
Submitted 11 December, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Experimental device-independent tests of quantum channels
Authors:
Iris Agresti,
Davide Poderini,
Gonzalo Carvacho,
Leopoldo Sarra,
Rafael Chaves,
Francesco Buscemi,
Michele Dall'Arno,
Fabio Sciarrino
Abstract:
Quantum tomography is currently the mainly employed method to assess the information of a system and therefore plays a fundamental role when trying to characterize the action of a particular channel. Nonetheless, quantum tomography requires the trust that the devices used in the laboratory perform state generation and measurements correctly. This work is based on the theoretical framework for the…
▽ More
Quantum tomography is currently the mainly employed method to assess the information of a system and therefore plays a fundamental role when trying to characterize the action of a particular channel. Nonetheless, quantum tomography requires the trust that the devices used in the laboratory perform state generation and measurements correctly. This work is based on the theoretical framework for the device-independent inference of quantum channels that was recently developed and experimentally implemented with superconducting qubits in [Dall'Arno, Buscemi, Vedral, arXiv:1805.01159] and [Dall'Arno, Brandsen, Buscemi, PRSA 473, 20160721 (2017)]. Here, we present a complete experimental test on a photonic setup of two device-independent quantum channels falsification and characterization protocols to analyze, validate, and enhance the results obtained by conventional quantum process tomography. This framework has fundamental implications in quantum information processing and may also lead to the development of new methods removing the assumptions typically taken for granted in all the previous protocols.
△ Less
Submitted 1 June, 2018;
originally announced June 2018.
-
Data-Driven Inference of Physical Devices: Theory and Implementation
Authors:
Francesco Buscemi,
Michele Dall'Arno
Abstract:
Given a physical device as a black box, one can in principle fully reconstruct its input-output transfer function by repeatedly feeding different input probes through the device and performing different measurements on the corresponding outputs. However, for such a complete tomographic reconstruction to work, full knowledge of both input probes and output measurements is required. Such an assumpti…
▽ More
Given a physical device as a black box, one can in principle fully reconstruct its input-output transfer function by repeatedly feeding different input probes through the device and performing different measurements on the corresponding outputs. However, for such a complete tomographic reconstruction to work, full knowledge of both input probes and output measurements is required. Such an assumption is not only experimentally demanding, but also logically questionable, as it produces a circular argument in which the characterization of unknown devices appears to require other devices to have been already characterized beforehand.
Here, we introduce a method to overcome such limitations present in usual tomographic techniques. We show that, even without any knowledge about the tomographic apparatus, it is still possible to infer the unknown device to a high degree of precision, solely relying on the observed data. This is achieved by employing a criterion that singles out the minimal explanation compatible with the observed data. Our method, that can be seen as a data-driven analogue of tomography, is solved analytically and implemented as an algorithm for the learning of qubit channels.
△ Less
Submitted 18 November, 2019; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Comparison of Noisy Channels and Reverse Data-Processing Theorems
Authors:
Francesco Buscemi
Abstract:
This paper considers the comparison of noisy channels from the viewpoint of statistical decision theory. Various orderings are discussed, all formalizing the idea that one channel is "better" than another for information transmission. The main result is an equivalence relation that is proved for classical channels, quantum channels with classical encoding, and quantum channels with quantum encodin…
▽ More
This paper considers the comparison of noisy channels from the viewpoint of statistical decision theory. Various orderings are discussed, all formalizing the idea that one channel is "better" than another for information transmission. The main result is an equivalence relation that is proved for classical channels, quantum channels with classical encoding, and quantum channels with quantum encoding.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Tradeoff relations between accessible information, informational power, and purity
Authors:
Michele Dall'Arno,
Francesco Buscemi
Abstract:
The accessible information and the informational power quantify the maximum amount of information that can be extracted from a quantum ensemble and by a quantum measurement, respectively. Here, we investigate the tradeoff between the accessible information (informational power, respectively) and the purity of the states of the ensemble (the elements of the measurement, respectively). Under any giv…
▽ More
The accessible information and the informational power quantify the maximum amount of information that can be extracted from a quantum ensemble and by a quantum measurement, respectively. Here, we investigate the tradeoff between the accessible information (informational power, respectively) and the purity of the states of the ensemble (the elements of the measurement, respectively). Under any given lower bound on the purity, i) we compute the minimum informational power and show that it is attained by the depolarized uniformly-distributed measurement; ii) we give a lower bound on the accessible information. Under any given upper bound on the purity, i) we compute the maximum accessible information and show that it is attained by an ensemble of pairwise commuting states with at most two distinct non-null eigenvalues; ii) we give a lower bound on the maximum informational power. The present results provide, as a corollary, novel sufficient conditions for the tightness of the Jozsa-Robb-Wootters lower bound to the accessible information.
△ Less
Submitted 10 October, 2018; v1 submitted 16 January, 2018;
originally announced January 2018.
-
A resource theory of quantum memories and their faithful verification with minimal assumptions
Authors:
Denis Rosset,
Francesco Buscemi,
Yeong-Cherng Liang
Abstract:
We provide a complete set of game-theoretic conditions equivalent to the existence of a transformation from one quantum channel into another one, by means of classically correlated pre/post processing maps only. Such conditions naturally induce tests to certify that a quantum memory is capable of storing quantum information, as opposed to memories that can be simulated by measurement and state pre…
▽ More
We provide a complete set of game-theoretic conditions equivalent to the existence of a transformation from one quantum channel into another one, by means of classically correlated pre/post processing maps only. Such conditions naturally induce tests to certify that a quantum memory is capable of storing quantum information, as opposed to memories that can be simulated by measurement and state preparation (corresponding to entanglement-breaking channels). These results are formulated as a resource theory of genuine quantum memories (correlated in time), mirroring the resource theory of entanglement in quantum states (correlated spatially). As the set of conditions is complete, the corresponding tests are faithful, in the sense that any non entanglement-breaking channel can be certified. Moreover, they only require the assumption of trusted inputs, known to be unavoidable for quantum channel verification. As such, the tests we propose are intrinsically different from the usual process tomography, for which the probes of both the input and the output of the channel must be trusted. An explicit construction is provided and shown to be experimentally realizable, even in the presence of arbitrarily strong losses in the memory or detectors.
△ Less
Submitted 28 February, 2018; v1 submitted 12 October, 2017;
originally announced October 2017.
-
Quantum majorization and a complete set of entropic conditions for quantum thermodynamics
Authors:
Gilad Gour,
David Jennings,
Francesco Buscemi,
Runyao Duan,
Iman Marvian
Abstract:
What does it mean for one quantum process to be more disordered than another? Here we provide a precise answer to this question in terms of a quantum-mechanical generalization of majorization. The framework admits a complete description in terms of single-shot entropies, and provides a range of significant applications. These include applications to the comparison of quantum statistical models and…
▽ More
What does it mean for one quantum process to be more disordered than another? Here we provide a precise answer to this question in terms of a quantum-mechanical generalization of majorization. The framework admits a complete description in terms of single-shot entropies, and provides a range of significant applications. These include applications to the comparison of quantum statistical models and quantum channels, to the resource theory of asymmetry, and to quantum thermodynamics. In particular, within quantum thermodynamics, we apply our results to provide the first complete set of of necessary and sufficient conditions for arbitrary quantum state transformation under thermodynamic processes, and which rigorously accounts for quantum-mechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically. In the zero coherence case we recover thermo-majorization while in the asymptotic coherence regime we obtain a constraint that takes the form of a Page-Wootters clock condition.
△ Less
Submitted 7 December, 2017; v1 submitted 14 August, 2017;
originally announced August 2017.
-
No-hypersignaling principle
Authors:
Michele Dall'Arno,
Sarah Brandsen,
Alessandro Tosini,
Francesco Buscemi,
Vlatko Vedral
Abstract:
A paramount topic in quantum foundations, rooted in the study of the EPR paradox and Bell inequalities, is that of characterizing quantum theory in terms of the space-like correlations it allows. Here we show that to focus only on space-like correlations is not enough: we explicitly construct a toy model theory that, while not contradicting classical and quantum theories at the level of space-like…
▽ More
A paramount topic in quantum foundations, rooted in the study of the EPR paradox and Bell inequalities, is that of characterizing quantum theory in terms of the space-like correlations it allows. Here we show that to focus only on space-like correlations is not enough: we explicitly construct a toy model theory that, while not contradicting classical and quantum theories at the level of space-like correlations, still displays an anomalous behavior in its time-like correlations. We call this anomaly, quantified in terms of a specific communication game, the "hypersignaling" phenomena. We hence conclude that the "principle of quantumness," if it exists, cannot be found in space-like correlations alone: nontrivial constraints need to be imposed also on time-like correlations, in order to exclude hypersignaling theories.
△ Less
Submitted 12 June, 2018; v1 submitted 29 September, 2016;
originally announced September 2016.
-
Device-independent tests of quantum measurements
Authors:
Michele Dall'Arno,
Sarah Brandsen,
Francesco Buscemi,
Vlatko Vedral
Abstract:
We consider the problem of characterizing the set of input-output correlations that can be generated by an arbitrarily given quantum measurement. Our main result is to provide a closed-form, full characterization of such a set for any qubit measurement, and to discuss its geometrical interpretation. As applications, we further specify our results to the cases of real and complex symmetric, informa…
▽ More
We consider the problem of characterizing the set of input-output correlations that can be generated by an arbitrarily given quantum measurement. Our main result is to provide a closed-form, full characterization of such a set for any qubit measurement, and to discuss its geometrical interpretation. As applications, we further specify our results to the cases of real and complex symmetric, informationally complete measurements and mutually unbiased bases of a qubit, in the presence of isotropic noise. Our results provide the optimal device-independent tests of quantum measurements.
△ Less
Submitted 23 June, 2017; v1 submitted 26 September, 2016;
originally announced September 2016.
-
Reverse Data-Processing Theorems and Computational Second Laws
Authors:
Francesco Buscemi
Abstract:
Drawing on an analogy with the second law of thermodynamics for adiabatically isolated systems, Cover argued that data-processing inequalities may be seen as second laws for "computationally isolated systems," namely, systems evolving without an external memory. Here we develop Cover's idea in two ways: on the one hand, we clarify its meaning and formulate it in a general framework able to describ…
▽ More
Drawing on an analogy with the second law of thermodynamics for adiabatically isolated systems, Cover argued that data-processing inequalities may be seen as second laws for "computationally isolated systems," namely, systems evolving without an external memory. Here we develop Cover's idea in two ways: on the one hand, we clarify its meaning and formulate it in a general framework able to describe both classical and quantum systems. On the other hand, we prove that also the reverse holds: the validity of data-processing inequalities is not only necessary, but also sufficient to conclude that a system is computationally isolated. This constitutes an information-theoretic analogue of Lieb's and Yngvason's entropy principle. We finally speculate about the possibility of employing Maxwell's demon to show that adiabaticity and memorylessness are in fact connected in a deeper way than what the formal analogy proposed here prima facie seems to suggest.
△ Less
Submitted 2 February, 2017; v1 submitted 28 July, 2016;
originally announced July 2016.
-
Quantum Relative Lorenz Curves
Authors:
Francesco Buscemi,
Gilad Gour
Abstract:
The theory of majorization and its variants, including thermomajorization, have been found to play a central role in the formulation of many physical resource theories, ranging from entanglement theory to quantum thermodynamics. Here we formulate the framework of quantum relative Lorenz curves, and show how it is able to unify majorization, thermomajorization, and their noncommutative analogues. I…
▽ More
The theory of majorization and its variants, including thermomajorization, have been found to play a central role in the formulation of many physical resource theories, ranging from entanglement theory to quantum thermodynamics. Here we formulate the framework of quantum relative Lorenz curves, and show how it is able to unify majorization, thermomajorization, and their noncommutative analogues. In doing so, we define the family of Hilbert $α$-divergences and show how it relates with other divergences used in quantum information theory. We then apply these tools to the problem of deciding the existence of a suitable transformation from an initial pair of quantum states to a final one, focusing in particular on applications to the resource theory of athermality, a precursor of quantum thermodynamics.
△ Less
Submitted 9 January, 2017; v1 submitted 19 July, 2016;
originally announced July 2016.
-
Device-independent tests of quantum channels
Authors:
Michele Dall'Arno,
Sarah Brandsen,
Francesco Buscemi
Abstract:
We develop a device-independent framework for testing quantum channels. That is, we falsify a hypothesis about a quantum channel based only on an observed set of input-output correlations. Formally, the problem consists of characterizing the set of input-output correlations compatible with any arbitrary given quantum channel. For binary (i.e., two input symbols, two output symbols) correlations, w…
▽ More
We develop a device-independent framework for testing quantum channels. That is, we falsify a hypothesis about a quantum channel based only on an observed set of input-output correlations. Formally, the problem consists of characterizing the set of input-output correlations compatible with any arbitrary given quantum channel. For binary (i.e., two input symbols, two output symbols) correlations, we show that extremal correlations are always achieved by orthogonal encodings and measurements, irrespective of whether or not the channel preserves commutativity. We further provide a full, closed-form characterization of the sets of binary correlations in the case of: i) any dihedrally-covariant qubit channel (such as any Pauli and amplitude-dam** channels), and ii) any universally-covariant commutativity-preserving channel in an arbitrary dimension (such as any erasure, depolarizing, universal cloning, and universal transposition channels).
△ Less
Submitted 15 March, 2017; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Tailoring the core electron density in modulation-doped Core-Multi-Shell nanowires
Authors:
Fabrizio Buscemi,
Miquel Royo,
Guido Goldoni,
Andrea Bertoni
Abstract:
We show how a proper radial modulation of the composition of core-multi-shell nanowires critically enhances the control of the free-carrier density in the high-mobility core with respect to core-single-shell structures, thus overcoming the technological difficulty of fine tuning the remote do** density. We calculate the electron population of the different nanowire layers as a function of the do…
▽ More
We show how a proper radial modulation of the composition of core-multi-shell nanowires critically enhances the control of the free-carrier density in the high-mobility core with respect to core-single-shell structures, thus overcoming the technological difficulty of fine tuning the remote do** density. We calculate the electron population of the different nanowire layers as a function of the do** density and of several geometrical parameters by means of a self-consistent Schrödinger-Poisson approach: Free carriers tend to localize in the outer shell and screen the core from the electric field of the dopants.
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
Approximate reversibility in the context of entropy gain, information gain, and complete positivity
Authors:
Francesco Buscemi,
Siddhartha Das,
Mark M. Wilde
Abstract:
There are several inequalities in physics which limit how well we can process physical systems to achieve some intended goal, including the second law of thermodynamics, entropy bounds in quantum information theory, and the uncertainty principle of quantum mechanics. Recent results provide physically meaningful enhancements of these limiting statements, determining how well one can attempt to reve…
▽ More
There are several inequalities in physics which limit how well we can process physical systems to achieve some intended goal, including the second law of thermodynamics, entropy bounds in quantum information theory, and the uncertainty principle of quantum mechanics. Recent results provide physically meaningful enhancements of these limiting statements, determining how well one can attempt to reverse an irreversible process. In this paper, we apply and extend these results to give strong enhancements to several entropy inequalities, having to do with entropy gain, information gain, entropic disturbance, and complete positivity of open quantum systems dynamics. Our first result is a remainder term for the entropy gain of a quantum channel. This result implies that a small increase in entropy under the action of a subunital channel is a witness to the fact that the channel's adjoint can be used as a recovery map to undo the action of the original channel. Our second result regards the information gain of a quantum measurement, both without and with quantum side information. We find here that a small information gain implies that it is possible to undo the action of the original measurement if it is efficient. The result also has operational ramifications for the information-theoretic tasks known as measurement compression without and with quantum side information. Our third result shows that the loss of Holevo information caused by the action of a noisy channel on an input ensemble of quantum states is small if and only if the noise can be approximately corrected on average. We finally establish that the reduced dynamics of a system-environment interaction are approximately completely positive and trace-preserving if and only if the data processing inequality holds approximately.
△ Less
Submitted 23 May, 2016; v1 submitted 6 January, 2016;
originally announced January 2016.
-
Quantum correlations of identical particles subject to classical environmental noise
Authors:
Andrea Beggi,
Fabrizio Buscemi,
Paolo Bordone
Abstract:
In this work we propose a measure for the quantum discord of indistinguishable particles, based on the definition of entanglement of particles given in [H. M. Wiseman et al., Phis. Rev. Lett 91, 097902 (2003)]. This discord of particles is then used to evaluate the quantum correlations in a system of two identical bosons (fermions), where the particles perform a quantum random walk described by th…
▽ More
In this work we propose a measure for the quantum discord of indistinguishable particles, based on the definition of entanglement of particles given in [H. M. Wiseman et al., Phis. Rev. Lett 91, 097902 (2003)]. This discord of particles is then used to evaluate the quantum correlations in a system of two identical bosons (fermions), where the particles perform a quantum random walk described by the Hubbard hamiltonian in a 1D lattice. The dynamics of the particles is either unperturbed or subject to a classical environmental noise - such as random telegraph, pink or brown noise. The observed results are consistent with those for the entanglement of particles, and we observe that on-site interaction between particles have an important protective effect on correlations against the decoherence of the system.
△ Less
Submitted 27 April, 2016; v1 submitted 7 December, 2015;
originally announced December 2015.
-
Degradable channels, less noisy channels, and quantum statistical morphisms: an equivalence relation
Authors:
Francesco Buscemi
Abstract:
Two partial orderings among communication channels, namely, `being degradable into' and `being less noisy than,' are reconsidered in the light of recent results about statistical comparisons of quantum channels. Though our analysis covers at once both classical and quantum channels, we also provide a separate treatment of classical noisy channels, and show how, in this case, an alternative self-co…
▽ More
Two partial orderings among communication channels, namely, `being degradable into' and `being less noisy than,' are reconsidered in the light of recent results about statistical comparisons of quantum channels. Though our analysis covers at once both classical and quantum channels, we also provide a separate treatment of classical noisy channels, and show how, in this case, an alternative self-contained proof can be constructed, with its own particular merits with respect to the general result.
△ Less
Submitted 29 November, 2016; v1 submitted 28 November, 2015;
originally announced November 2015.
-
Device independent witnessing of unknown quantum channels
Authors:
Michele Dall'Arno,
Sarah Brandsen,
Francesco Buscemi
Abstract:
Quantum process tomography, the standard procedure to characterize any quantum channel in nature, is affected by a circular argument: in order to characterize the channel, the tomographic preparation and measurement need in turn to be already characterized. We break this loop by designing an operational framework able to optimally characterize any given unknown quantum channel in a device-independ…
▽ More
Quantum process tomography, the standard procedure to characterize any quantum channel in nature, is affected by a circular argument: in order to characterize the channel, the tomographic preparation and measurement need in turn to be already characterized. We break this loop by designing an operational framework able to optimally characterize any given unknown quantum channel in a device-independent fashion, namely, by only looking at its input-output statistics, under the sole assumption that quantum theory is valid. We provide explicit solutions, in closed form, for practically relevant cases such as the erasure, depolarizing, and amplitude-dam** channels.
△ Less
Submitted 10 June, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Non-Markovian continuous-time quantum walks on lattices with dynamical noise
Authors:
Claudia Benedetti,
Fabrizio Buscemi,
Paolo Bordone,
Matteo G. A. Paris
Abstract:
We address the dynamics of continuous-time quantum walks on one-dimensional disordered lattices inducing dynamical noise in the system. Noise is described as time-dependent fluctuations of the tunneling amplitudes between adjacent sites, and attention is focused on non-Gaussian telegraph noise, going beyond the usual assumption of fast Gaussian noise. We observe the emergence of two different dyna…
▽ More
We address the dynamics of continuous-time quantum walks on one-dimensional disordered lattices inducing dynamical noise in the system. Noise is described as time-dependent fluctuations of the tunneling amplitudes between adjacent sites, and attention is focused on non-Gaussian telegraph noise, going beyond the usual assumption of fast Gaussian noise. We observe the emergence of two different dynamical behaviors for the walker, corresponding to two opposite noise regimes: slow noise (i.e. strong coupling with the environment) confines the walker into few lattice nodes, while fast noise (weak coupling) induces a transition between quantum and classical diffusion over the lattice. A phase transition between the two dynamical regimes may be observed by tuning the ratio between the autocorrelation time of the noise and the coupling between the walker and the external environment generating the noise. We also address the non-Markovianity of the quantum map by assessing its memory effects, as well as evaluating the information backflow to the system. Our results suggest that the non-Markovian character of the evolution is linked to the dynamical behavior in the slow noise regime, and that fast noise induces a Markovian dynamics for the walker.
△ Less
Submitted 20 July, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Magneto-photoluminescence in GaAs/AlAs core-multishell nanowires: a theoretical investigation
Authors:
Fabrizio Buscemi,
Miquel Royo,
Andrea Bertoni,
Guido Goldoni
Abstract:
The magneto-photoluminescence in modulation doped core-multishell nanowires is predicted as a function of photo-excitation intensity in non-perturbative transverse magnetic fields. We use a self-consistent field approach within the effective mass approximation to determine the photoexcited electron and hole populations, including the complex composition and anisotropic geometry of the nano-materia…
▽ More
The magneto-photoluminescence in modulation doped core-multishell nanowires is predicted as a function of photo-excitation intensity in non-perturbative transverse magnetic fields. We use a self-consistent field approach within the effective mass approximation to determine the photoexcited electron and hole populations, including the complex composition and anisotropic geometry of the nano-material. The evolution of the photoluminescence is analyzed as a function of i) photo-excitation power, ii) magnetic field intensity, iii) type of do**, and iv) anisotropy with respect to field orientation.
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
Fully quantum second-law--like statements from the theory of statistical comparisons
Authors:
Francesco Buscemi
Abstract:
In generalized resource theories, one aims to reformulate the problem of deciding whether a suitable transition (typically a transition that preserves the Gibbs state of the theory) between two given states $ρ$ and $σ$ exists or not, into the problem of checking whether a set of second-law--like inequalities hold or not. The aim of these preliminary notes is to show how the theory of statistical c…
▽ More
In generalized resource theories, one aims to reformulate the problem of deciding whether a suitable transition (typically a transition that preserves the Gibbs state of the theory) between two given states $ρ$ and $σ$ exists or not, into the problem of checking whether a set of second-law--like inequalities hold or not. The aim of these preliminary notes is to show how the theory of statistical comparisons (in the sense of Blackwell, LeCam, and Torgersen) can be useful in such scenarios. In particular, we propose one construction, in which the second laws are formulated in terms of a suitable conditional min-entropy. Though a general, fully quantum result is also presented, stronger results are obtained for the case of qubits, and the case of $σ$ commuting with the Gibbs state.
△ Less
Submitted 4 May, 2015;
originally announced May 2015.