-
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.
-
Exact Exponent for Atypicality of Random Quantum States
Authors:
Eyuri Wakakuwa
Abstract:
We study the properties of the random quantum states induced from the uniformly random pure states on a bipartite quantum system by taking the partial trace over the larger subsystem. Most of the previous studies have adopted a viewpoint of "concentration of measure" and have focused on the behavior of the states close to the average. In contrast, we investigate the large deviation regime, where t…
▽ More
We study the properties of the random quantum states induced from the uniformly random pure states on a bipartite quantum system by taking the partial trace over the larger subsystem. Most of the previous studies have adopted a viewpoint of "concentration of measure" and have focused on the behavior of the states close to the average. In contrast, we investigate the large deviation regime, where the states may be far from the average. We prove the following results: First, the probability that the induced random state is within a given set decreases no slower or faster than exponential in the dimension of the subsystem traced out. Second, the exponent is equal to the quantum relative entropy of the maximally mixed state and the given set, multiplied by the dimension of the remaining subsystem. Third, the total probability of a given set strongly concentrates around the element closest to the maximally mixed state, a property that we call conditional concentration. Along the same line, we also investigate an asymptotic behavior of coherence of random pure states in a single system with large dimensions.
△ Less
Submitted 28 November, 2023; v1 submitted 4 November, 2023;
originally announced November 2023.
-
Quantum-Relaxation Based Optimization Algorithms: Theoretical Extensions
Authors:
Kosei Teramoto,
Rudy Raymond,
Eyuri Wakakuwa,
Hiroshi Imai
Abstract:
Quantum Random Access Optimizer (QRAO) is a quantum-relaxation based optimization algorithm proposed by Fuller et al. that utilizes Quantum Random Access Code (QRAC) to encode multiple variables of binary optimization in a single qubit. The approximation ratio bound of QRAO for the maximum cut problem is $0.555$ if the bit-to-qubit compression ratio is $3$x, while it is $0.625$ if the compression…
▽ More
Quantum Random Access Optimizer (QRAO) is a quantum-relaxation based optimization algorithm proposed by Fuller et al. that utilizes Quantum Random Access Code (QRAC) to encode multiple variables of binary optimization in a single qubit. The approximation ratio bound of QRAO for the maximum cut problem is $0.555$ if the bit-to-qubit compression ratio is $3$x, while it is $0.625$ if the compression ratio is $2$x, thus demonstrating a trade-off between space efficiency and approximability. In this research, we extend the quantum-relaxation by using another QRAC which encodes three classical bits into two qubits (the bit-to-qubit compression ratio is $1.5$x) and obtain its approximation ratio for the maximum cut problem as $0.722$. Also, we design a novel quantum relaxation that always guarantees a $2$x bit-to-qubit compression ratio which is unlike the original quantum relaxation of Fuller~et~al. We analyze the condition when it has a non-trivial approximation ratio bound $\left(>\frac{1}{2}\right)$. We hope that our results lead to the analysis of the quantum approximability and practical efficiency of the quantum-relaxation based approaches.
△ Less
Submitted 2 April, 2023; v1 submitted 19 February, 2023;
originally announced February 2023.
-
Quantum Multiple-Access One-Time Pad
Authors:
Eyuri Wakakuwa
Abstract:
We introduce and analyze an information theoretical task that we call the quantum multiple-access one-time pad. Here, a number of senders initially share a correlated quantum state with a receiver and an eavesdropper. Each sender performs a local operation to encode a classical message and sends their system to the receiver, who subsequently performs a measurement to decode the messages. The recei…
▽ More
We introduce and analyze an information theoretical task that we call the quantum multiple-access one-time pad. Here, a number of senders initially share a correlated quantum state with a receiver and an eavesdropper. Each sender performs a local operation to encode a classical message and sends their system to the receiver, who subsequently performs a measurement to decode the messages. The receiver will be able to decode the messages almost perfectly, while the eavesdropper must not be able to extract information about the messages even if they have access to the quantum systems transmitted. We consider a ''conditional'' scenario in which a portion of the receiver's side information is also accessible to the eavesdropper. We investigate the maximum amount of classical information that can be encoded by each of the senders. We derive a single-letter characterization for the achievable rate region in an asymptotic limit of infinitely many copies and vanishingly small error.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
Gentle Measurement as a Principle of Quantum Theory
Authors:
Eyuri Wakakuwa
Abstract:
We propose the gentle measurement principle (GMP) as one of the principles at the foundation of quantum mechanics. It asserts that if a set of states can be distinguished with high probability, they can be distinguished by a measurement that leaves the states almost invariant, including correlation with a reference system. While GMP is satisfied in both classical and quantum theories, we show, wit…
▽ More
We propose the gentle measurement principle (GMP) as one of the principles at the foundation of quantum mechanics. It asserts that if a set of states can be distinguished with high probability, they can be distinguished by a measurement that leaves the states almost invariant, including correlation with a reference system. While GMP is satisfied in both classical and quantum theories, we show, within the framework of general probabilistic theories, that it imposes strong restrictions on the law of physics. First, the measurement uncertainty of a pair of observables cannot be significantly larger than the preparation uncertainty. Consequently, the strength of the CHSH nonlocality cannot be maximal. The parameter in the stretched quantum theory, a family of general probabilistic theories that includes the quantum theory, is also limited. Second, the conditional entropy defined in terms of a data compression theorem satisfies the chain inequality. Not only does it imply information causality and Tsirelson's bound, but it singles out the quantum theory from the stretched one. All these results show that GMP would be one of the principles at the heart of quantum mechanics.
△ Less
Submitted 2 August, 2021; v1 submitted 28 March, 2021;
originally announced March 2021.
-
One-shot quantum error correction of classical and quantum information
Authors:
Yoshifumi Nakata,
Eyuri Wakakuwa,
Hayata Yamasaki
Abstract:
Quantum error correction (QEC) is one of the central concepts in quantum information science and also has wide applications in fundamental physics. The capacity theorems provide solid foundations of QEC. We here provide a general and highly applicable form of capacity theorem for both classical and quantum information, i.e., hybrid information, with assistance of a limited resource of entanglement…
▽ More
Quantum error correction (QEC) is one of the central concepts in quantum information science and also has wide applications in fundamental physics. The capacity theorems provide solid foundations of QEC. We here provide a general and highly applicable form of capacity theorem for both classical and quantum information, i.e., hybrid information, with assistance of a limited resource of entanglement in one-shot scenario, which covers broader situations than the existing ones. Harnessing the wide applicability of the theorem, we show that a demonstration of QEC by short random quantum circuits is feasible and that QEC is intrinsic in quantum chaotic systems. Our results bridge the progress in quantum information theory, near-future quantum technology, and fundamental physics.
△ Less
Submitted 21 June, 2021; v1 submitted 1 November, 2020;
originally announced November 2020.
-
Black holes as clouded mirrors: the Hayden-Preskill protocol with symmetry
Authors:
Yoshifumi Nakata,
Eyuri Wakakuwa,
Masato Koashi
Abstract:
The Hayden-Preskill protocol is a qubit-toy model of the black hole information paradox. Based on the assumption of scrambling, it was revealed that quantum information is instantly leaked out from the quantum many-body system that models a black hole. In this paper, we extend the protocol to the case where the system has symmetry and investigate how the symmetry affects the leakage of information…
▽ More
The Hayden-Preskill protocol is a qubit-toy model of the black hole information paradox. Based on the assumption of scrambling, it was revealed that quantum information is instantly leaked out from the quantum many-body system that models a black hole. In this paper, we extend the protocol to the case where the system has symmetry and investigate how the symmetry affects the leakage of information. We especially focus on the conservation of the number of up-spins. Develo** a partial decoupling approach, we first show that the symmetry induces a delay of leakage and an information remnant. We then clarify the physics behind them: the delay is characterized by thermodynamic properties of the system associated with the symmetry, and the information remnant is closely related to the symmetry-breaking of the initial state. These relations bridge the information leakage problem to macroscopic physics of quantum many-body systems and allow us to investigate the information leakage only in terms of physical properties of the system.
△ Less
Submitted 20 February, 2023; v1 submitted 2 July, 2020;
originally announced July 2020.
-
One-Shot Hybrid State Redistribution
Authors:
Eyuri Wakakuwa,
Yoshifumi Nakata,
Min-Hsiu Hsieh
Abstract:
We consider state redistribution of a "hybrid" information source that has both classical and quantum components. The sender transmits classical and quantum information at the same time to the receiver, in the presence of classical and quantum side information both at the sender and at the decoder. The available resources are shared entanglement, and noiseless classical and quantum communication c…
▽ More
We consider state redistribution of a "hybrid" information source that has both classical and quantum components. The sender transmits classical and quantum information at the same time to the receiver, in the presence of classical and quantum side information both at the sender and at the decoder. The available resources are shared entanglement, and noiseless classical and quantum communication channels. We derive one-shot direct and converse bounds for these three resources, represented in terms of the smooth conditional entropies of the source state. Various coding theorems for two-party source coding problems are systematically obtained by reduction from our results, including the ones that have not been addressed in previous literature.
△ Less
Submitted 24 May, 2022; v1 submitted 22 June, 2020;
originally announced June 2020.
-
One-Shot Triple-Resource Trade-Off in Quantum Channel Coding
Authors:
Eyuri Wakakuwa,
Yoshifumi Nakata
Abstract:
We analyze a task in which classical and quantum messages are simultaneously communicated via a noisy quantum channel, assisted with a limited amount of shared entanglement. We derive direct and converse bounds for the one-shot capacity region, represented by the smooth conditional entropies and the error tolerance. The proof is based on the randomized partial decoupling theorem, which is a genera…
▽ More
We analyze a task in which classical and quantum messages are simultaneously communicated via a noisy quantum channel, assisted with a limited amount of shared entanglement. We derive direct and converse bounds for the one-shot capacity region, represented by the smooth conditional entropies and the error tolerance. The proof is based on the randomized partial decoupling theorem, which is a generalization of the decoupling theorem. The two bounds match in the asymptotic limit of infinitely many uses of a memoryless channel and coincide with the previous result obtained by Hsieh and Wilde. Direct and converse bounds for various communication tasks are obtained as corollaries, both for the one-shot and asymptotic scenarios.
△ Less
Submitted 11 February, 2023; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Superdense Coding in Resource Theory of Asymmetry
Authors:
Eyuri Wakakuwa
Abstract:
We consider a task in which classical information is encoded into a quantum system by an operation restricted by symmetry. The maximum amount of classical information that can be encoded under this restriction, namely the symmetry-restricted classical information capacity, depends on the initial state of the system. Our focus is on whether the capacity of an asymmetric state can be strictly larger…
▽ More
We consider a task in which classical information is encoded into a quantum system by an operation restricted by symmetry. The maximum amount of classical information that can be encoded under this restriction, namely the symmetry-restricted classical information capacity, depends on the initial state of the system. Our focus is on whether the capacity of an asymmetric state can be strictly larger than that of any symmetric states, whereas the latter is a strictly positive constant. That is, we ask whether an analog of superdense coding is implementable in the resource theory of asymmetry. We prove that superdense coding is implementable if and only if the unitary representation of the symmetry is non-Abelian and reducible. Thereby we provide an information theoretical classification of symmetries of quantum systems.
△ Less
Submitted 14 October, 2021; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Communication Cost for Non-Markovianity of Tripartite Quantum States: A Resource Theoretic Approach
Authors:
Eyuri Wakakuwa
Abstract:
To quantify non-Markovianity of tripartite quantum states from an operational viewpoint, we introduce a class $Ω^*$ of operations performed by three distant parties. A tripartite quantum state is a free state under $Ω^*$ if and only if it is a quantum Markov chain. We introduce a function of tripartite quantum states that we call the non-Markovianity of formation, and prove that it is a faithful m…
▽ More
To quantify non-Markovianity of tripartite quantum states from an operational viewpoint, we introduce a class $Ω^*$ of operations performed by three distant parties. A tripartite quantum state is a free state under $Ω^*$ if and only if it is a quantum Markov chain. We introduce a function of tripartite quantum states that we call the non-Markovianity of formation, and prove that it is a faithful measure of non-Markovianity, which is continuous and monotonically nonincreasing under a subclass $Ω$ of $Ω^*$. We consider a task in which the three parties generate a non-Markov state from scratch by operations in $Ω$, assisted with quantum communication from the third party to the others, which does not belong to $Ω$. We prove that the minimum cost of quantum communication required therein is asymptotically equal to the regularized non-Markovianity of formation. Based on this result, we provide a direct operational meaning to a measure of bipartite entanglement called the c-squashed entanglement.
△ Less
Submitted 18 January, 2021; v1 submitted 18 April, 2019;
originally announced April 2019.
-
One-Shot Randomized and Nonrandomized Partial Decoupling
Authors:
Eyuri Wakakuwa,
Yoshifumi Nakata
Abstract:
We introduce a task that we call partial decoupling, in which a bipartite quantum state is transformed by a unitary operation on one of the two subsystems and then is subject to the action of a quantum channel. We assume that the subsystem is decomposed into a direct-sum-product form, which often appears in the context of quantum information theory. The unitary is chosen at random from the set of…
▽ More
We introduce a task that we call partial decoupling, in which a bipartite quantum state is transformed by a unitary operation on one of the two subsystems and then is subject to the action of a quantum channel. We assume that the subsystem is decomposed into a direct-sum-product form, which often appears in the context of quantum information theory. The unitary is chosen at random from the set of unitaries having a simple form under the decomposition. The goal of the task is to make the final state, for typical choices of the unitary, close to the averaged final state over the unitaries. We consider a one-shot scenario, and derive upper and lower bounds on the average distance between the two states. The bounds are represented simply in terms of smooth conditional entropies of quantum states involving the initial state, the channel and the decomposition. Thereby we provide generalizations of the one-shot decoupling theorem. The obtained result would lead to further development of the decoupling approaches in quantum information theory and fundamental physics.
△ Less
Submitted 18 October, 2021; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Complexity of causal order structure in distributed quantum information processing and its trade-off with entanglement
Authors:
Eyuri Wakakuwa,
Akihito Soeda,
Mio Murao
Abstract:
We prove a trade-off relation between the entanglement cost and classical communication complexity of causal order structure of a protocol in distributed quantum information processing. We consider an implementation of a class of two-qubit unitary gates by local operations and classical communication (LOCC) assisted with shared entanglement, in an information theoretical scenario of asymptotically…
▽ More
We prove a trade-off relation between the entanglement cost and classical communication complexity of causal order structure of a protocol in distributed quantum information processing. We consider an implementation of a class of two-qubit unitary gates by local operations and classical communication (LOCC) assisted with shared entanglement, in an information theoretical scenario of asymptotically many input pairs and vanishingly small error. We prove the trade-off relation by showing that (i) one ebit of entanglement per pair is necessary for implementing the unitary by any two-round protocol, and that (ii) the entanglement cost by a three-round protocol is strictly smaller than one ebit per pair. We also provide an example of bipartite unitary gates for which there is no such trade-off.
△ Less
Submitted 22 October, 2018; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Operational Resource Theory of Non-Markovianity
Authors:
Eyuri Wakakuwa
Abstract:
In order to analyze non-Markovianity of tripartite quantum states from a resource theoretical viewpoint, we introduce a class of quantum operations performed by three distant parties, and investigate an operational resource theory (ORT) induced it. A tripartite state is a free state if and only if it is a quantum Markov chain. We prove monotonicity of functions such as the conditional quantum mutu…
▽ More
In order to analyze non-Markovianity of tripartite quantum states from a resource theoretical viewpoint, we introduce a class of quantum operations performed by three distant parties, and investigate an operational resource theory (ORT) induced it. A tripartite state is a free state if and only if it is a quantum Markov chain. We prove monotonicity of functions such as the conditional quantum mutual information, intrinsic information, squashed entanglement, a generalization of entanglement of purification, and the relative entropy of recovery. The ORT has five bound sets, each of which corresponds to one of the monotone functions. We introduce a task of "non-Markovianity dilution", and prove that the optimal rate for the task, namely the "non-Markovianity cost", is bounded from above by entanglement of purification in the case of pure states. We also propose a classical resource theory of non-Markovianity.
△ Less
Submitted 3 October, 2017; v1 submitted 21 September, 2017;
originally announced September 2017.
-
Conditional quantum one-time pad
Authors:
Kunal Sharma,
Eyuri Wakakuwa,
Mark M. Wilde
Abstract:
Suppose that Alice and Bob are located in distant laboratories, which are connected by an ideal quantum channel. Suppose further that they share many copies of a quantum state $ρ_{ABE}$, such that Alice possesses the $A$ systems and Bob the $BE$ systems. In our model, there is an identifiable part of Bob's laboratory that is insecure: a third party named Eve has infiltrated Bob's laboratory and ga…
▽ More
Suppose that Alice and Bob are located in distant laboratories, which are connected by an ideal quantum channel. Suppose further that they share many copies of a quantum state $ρ_{ABE}$, such that Alice possesses the $A$ systems and Bob the $BE$ systems. In our model, there is an identifiable part of Bob's laboratory that is insecure: a third party named Eve has infiltrated Bob's laboratory and gained control of the $E$ systems. Alice, knowing this, would like use their shared state and the ideal quantum channel to communicate a message in such a way that Bob, who has access to the whole of his laboratory ($BE$ systems), can decode it, while Eve, who has access only to a sector of Bob's laboratory ($E$ systems) and the ideal quantum channel connecting Alice to Bob, cannot learn anything about Alice's transmitted message. We call this task the conditional one-time pad, and in this paper, we prove that the optimal rate of secret communication for this task is equal to the conditional quantum mutual information $I(A;B|E)$ of their shared state. We thus give the conditional quantum mutual information an operational meaning that is different from those given in prior works, via state redistribution, conditional erasure, or state deconstruction. We also generalize the model and method in several ways, one of which demonstrates that the negative tripartite interaction information $-I_{3}(A;B;E) = I(A;BE)-I(A;B)-I(A;E)$ of a tripartite state $ρ_{ABE}$ is an achievable rate for a secret-sharing task, i.e., the case in which Alice's message should be secure from someone possessing only the $AB$ or $AE$ systems but should be decodable by someone possessing all systems $A$, $B$, and $E$.
△ Less
Submitted 7 February, 2020; v1 submitted 8 March, 2017;
originally announced March 2017.
-
Asymptotic Convertibility of Entanglement: A General Approach to Entanglement Concentration and Dilution
Authors:
Yong Jiao,
Eyuri Wakakuwa,
Tomohiro Ogawa
Abstract:
We consider asymptotic convertibility of an arbitrary sequence of bipartite pure states into another by local operations and classical communication (LOCC). We adopt an information-spectrum approach to address cases where each element of the sequences is not necessarily in tensor power of a bipartite pure state. We derive necessary and sufficient conditions for the LOCC convertibility of one seque…
▽ More
We consider asymptotic convertibility of an arbitrary sequence of bipartite pure states into another by local operations and classical communication (LOCC). We adopt an information-spectrum approach to address cases where each element of the sequences is not necessarily in tensor power of a bipartite pure state. We derive necessary and sufficient conditions for the LOCC convertibility of one sequence to another in terms of spectral entropy rates of entanglement of the sequences. Based on these results, we also provide simple proofs for previously known results on the optimal rates of entanglement concentration and dilution of general sequences of pure states.
△ Less
Submitted 31 January, 2017;
originally announced January 2017.
-
Large Deviation implies First and Second Laws of Thermodynamics
Authors:
Hiroyasu Tajima,
Eyuri Wakakuwa,
Tomohiro Ogawa
Abstract:
To reconstruct thermodynamics based on the microscopic laws is one of the most important unfulfilled goals of statistical physics. Here, we show that the first law and the second law for adiabatic processes are derived from an assumption that "probability distributions of energy in Gibbs states satisfy large deviation", which is widely accepted as a property of thermodynamic equilibrium states. We…
▽ More
To reconstruct thermodynamics based on the microscopic laws is one of the most important unfulfilled goals of statistical physics. Here, we show that the first law and the second law for adiabatic processes are derived from an assumption that "probability distributions of energy in Gibbs states satisfy large deviation", which is widely accepted as a property of thermodynamic equilibrium states. We define an adiabatic transformation as a randomized energy-preserving unitary transformations on the many-body systems and the work storage. As the second law, we show that an adiabatic transformation from a set of Gibbs states to another set of Gibbs states is possible if and only if the regularized von Neumann entropy becomes large. As the first law, we show that the energy loss of the thermodynamic systems during the adiabatic transformation is stored in the work storage as "work," in the following meaning; (i) the energy of the work storage takes certain values macroscopically, in the initial state and the final state. (ii) the entropy of the work storage in the final state is macroscopically equal to the entropy of the initial state. As corollaries, our results give the principle of maximam work and the first law for the isothermal processes.
△ Less
Submitted 28 March, 2017; v1 submitted 20 November, 2016;
originally announced November 2016.
-
Symmetrizing Cost of Quantum States
Authors:
Eyuri Wakakuwa
Abstract:
We introduce and analyze a task that we call symmetrization, in which a state of a quantum system, associated with a symmetry group, is transformed by a random unitary operation to a symmetric state. Each element of the unitary ensemble is required to be symmetry preserving, in the sense that it keeps the set of symmetric states invariant. We consider an asymptotic limit of infinitely many copies…
▽ More
We introduce and analyze a task that we call symmetrization, in which a state of a quantum system, associated with a symmetry group, is transformed by a random unitary operation to a symmetric state. Each element of the unitary ensemble is required to be symmetry preserving, in the sense that it keeps the set of symmetric states invariant. We consider an asymptotic limit of infinitely many copies and vanishingly small error, and analyze the symmetrizing cost, that is, the minimum cost of randomness per copy required for symmetrization. We prove that the symmetrizing cost of an arbitrary quantum state is equal to the relative entropy of frameness, thereby providing it with a direct operational meaning.
△ Less
Submitted 21 February, 2017; v1 submitted 17 October, 2016;
originally announced October 2016.
-
A Four-Round LOCC Protocol Outperforms All Two-Round Protocols in Reducing the Entanglement Cost for A Distributed Quantum Information Processing
Authors:
Eyuri Wakakuwa,
Akihito Soeda,
Mio Murao
Abstract:
We prove that there is a trade-off relation between the entanglement cost and the number of rounds of communication, for two distant parties to accomplish a bidirectional quantum information task by local operations and classical communication (LOCC). We consider an implementation of a class of two-qubit controlled-unitary gate by LOCC assisted by shared entanglement, in an information theoretical…
▽ More
We prove that there is a trade-off relation between the entanglement cost and the number of rounds of communication, for two distant parties to accomplish a bidirectional quantum information task by local operations and classical communication (LOCC). We consider an implementation of a class of two-qubit controlled-unitary gate by LOCC assisted by shared entanglement, in an information theoretical scenario of asymptotically many input pairs and vanishingly small error. We prove the trade-off relation by showing that one ebit of entanglement per pair is necessary to be consumed for implementing the unitary by any two-round protocol, whereas the entanglement cost by a four-round protocol is strictly smaller than one ebit per pair.
△ Less
Submitted 29 October, 2018; v1 submitted 26 August, 2016;
originally announced August 2016.
-
Regularized Boltzmann entropy determines macroscopic adiabatic accessibility
Authors:
Hiroyasu Tajima,
Eyuri Wakakuwa
Abstract:
How the thermodynamic entropy $S_{TD}$ is related to the Boltzmann entropy $S_{B}$ has been one of the central issues since the beginning of statistical mechanics. Today, it is believed that the thermodynamic entropy $S_{TD}$ is equal to a function $\tilde{S}_{B}$ that is defined by regularizing the Boltzman entropy in order to ensure extensivity. However, it is not known whether $\tilde{S}_{B}$ c…
▽ More
How the thermodynamic entropy $S_{TD}$ is related to the Boltzmann entropy $S_{B}$ has been one of the central issues since the beginning of statistical mechanics. Today, it is believed that the thermodynamic entropy $S_{TD}$ is equal to a function $\tilde{S}_{B}$ that is defined by regularizing the Boltzman entropy in order to ensure extensivity. However, it is not known whether $\tilde{S}_{B}$ completely determines the possibility of a macroscopic adiabatic transformation in the same way as $S_{TD}$ does. In this paper, by formulating the possibility of a macroscopic adiabatic transformations in terms of "coarse-graining" of quantum operations, we prove that $\tilde{S}_{B}$ provides a necessary and sufficient condition for the possibility of a macroscopic adiabatic transformation.
△ Less
Submitted 1 October, 2016; v1 submitted 4 January, 2016;
originally announced January 2016.
-
The Cost of Randomness for Converting a Tripartite Quantum State to be Approximately Recoverable
Authors:
Eyuri Wakakuwa,
Akihito Soeda,
Mio Murao
Abstract:
We introduce and analyze a task in which a tripartite quantum state is transformed to an approximately recoverable state by a randomizing operation on one of the three subsystems. We consider cases where the initial state is a tensor product of $n$ copies of a tripartite state $ρ^{ABC}$, and is transformed by a random unitary operation on $A^n$ to another state which is approximately recoverable f…
▽ More
We introduce and analyze a task in which a tripartite quantum state is transformed to an approximately recoverable state by a randomizing operation on one of the three subsystems. We consider cases where the initial state is a tensor product of $n$ copies of a tripartite state $ρ^{ABC}$, and is transformed by a random unitary operation on $A^n$ to another state which is approximately recoverable from its reduced state on $A^nB^n$ (Case 1) or $B^nC^n$ (Case 2). We analyze the minimum cost of randomness per copy required for the task in an asymptotic limit of infinite copies and vanishingly small error of recovery, mainly focusing on the case of pure states. We prove that the minimum cost in Case 1 is equal to the Markovianizing cost of the state, for which a single-letter formula is known. With an additional requirement on the convergence speed of the recovery error, we prove that the minimum cost in Case 2 is also equal to the Markovianizing cost. Our results have an application for distributed quantum computation.
△ Less
Submitted 23 March, 2018; v1 submitted 21 December, 2015;
originally announced December 2015.
-
A Coding Theorem for Bipartite Unitaries in Distributed Quantum Computation
Authors:
Eyuri Wakakuwa,
Akihito Soeda,
Mio Murao
Abstract:
We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classi…
▽ More
We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classical communication per copy. For two-round LOCC protocols, we derive a single-letter formula for the minimum cost of entanglement and classical communication, under an additional requirement that the error converges to zero faster than $1/n^4$, where $n$ is the number of input pairs. The formula is given by the "Markovianizing cost" of a tripartite state associated with the unitary, which can be computed by a finite-step algorithm. We also derive a lower bound on the minimum cost of resources, which applies for protocols with arbitrary number of rounds.
△ Less
Submitted 23 March, 2018; v1 submitted 17 May, 2015;
originally announced May 2015.
-
Markovianizing Cost of Tripartite Quantum States
Authors:
Eyuri Wakakuwa,
Akihito Soeda,
Mio Murao
Abstract:
We introduce and analyze a task that we call Markovianization, in which a tripartite quantum state is transformed to a quantum Markov chain by a randomizing operation on one of the three subsystems. We consider cases where the initial state is the tensor product of $n$ copies of a tripartite state $ρ^{ABC}$, and is transformed to a quantum Markov chain conditioned by $B^n$ with a small error, usin…
▽ More
We introduce and analyze a task that we call Markovianization, in which a tripartite quantum state is transformed to a quantum Markov chain by a randomizing operation on one of the three subsystems. We consider cases where the initial state is the tensor product of $n$ copies of a tripartite state $ρ^{ABC}$, and is transformed to a quantum Markov chain conditioned by $B^n$ with a small error, using a random unitary operation on $A^n$. In an asymptotic limit of infinite copies and vanishingly small error, we analyze the Markovianizing cost, that is, the minimum cost of randomness per copy required for Markovianization. For tripartite pure states, we derive a single-letter formula for the Markovianizing costs. Counterintuitively, the Markovianizing cost is not a continuous function of states, and can be arbitrarily large even if the state is close to a quantum Markov chain. Our results have an application in analyzing the cost of resources for simulating a bipartite unitary gate by local operations and classical communication.
△ Less
Submitted 7 December, 2016; v1 submitted 22 April, 2015;
originally announced April 2015.
-
Asymptotic Compressibility of Entanglement and Classical Communication in Distributed Quantum Computation
Authors:
Eyuri Wakakuwa,
Mio Murao
Abstract:
We consider implementations of a bipartite unitary on many pairs of unknown input states by local operation and classical communication assisted by shared entanglement. We investigate to what extent the entanglement cost and the classical communication cost can be compressed by allowing nonzero but vanishing error in the asymptotic limit of infinite pairs. We show that a lower bound on the minimal…
▽ More
We consider implementations of a bipartite unitary on many pairs of unknown input states by local operation and classical communication assisted by shared entanglement. We investigate to what extent the entanglement cost and the classical communication cost can be compressed by allowing nonzero but vanishing error in the asymptotic limit of infinite pairs. We show that a lower bound on the minimal entanglement cost, the forward classical communication cost, and the backward classical communication cost per pair is given by the Schmidt strength of the unitary. We also prove that an upper bound on these three kinds of the cost is given by the amount of randomness that is required to partially decouple a tripartite quantum state associated with the unitary. In the proof, we construct a protocol in which quantum state merging is used. For generalized Clifford operators, we show that the lower bound and the upper bound coincide. We then apply our result to the problem of distributed compression of tripartite quantum states, and derive a lower and an upper bound on the optimal quantum communication rate required therein.
△ Less
Submitted 18 July, 2014; v1 submitted 15 October, 2013;
originally announced October 2013.
-
The chain rule implies Tsirelson's bound: an approach from generalized mutual information
Authors:
Eyuri Wakakuwa,
Mio Murao
Abstract:
In order to analyze an information theoretical derivation of Tsirelson's bound based on information causality, we introduce a generalized mutual information (GMI), defined as the optimal coding rate of a channel with classical inputs and general probabilistic outputs. In the case where the outputs are quantum, the GMI coincides with the quantum mutual information. In general, the GMI does not nece…
▽ More
In order to analyze an information theoretical derivation of Tsirelson's bound based on information causality, we introduce a generalized mutual information (GMI), defined as the optimal coding rate of a channel with classical inputs and general probabilistic outputs. In the case where the outputs are quantum, the GMI coincides with the quantum mutual information. In general, the GMI does not necessarily satisfy the chain rule. We prove that Tsirelson's bound can be derived by imposing the chain rule on the GMI. We formulate a principle, which we call the no-supersignalling condition, which states that the assistance of nonlocal correlations does not increase the capability of classical communication. We prove that this condition is equivalent to the no-signalling condition. As a result, we show that Tsirelson's bound is implied by the nonpositivity of the quantitative difference between information causality and no-supersignalling.
△ Less
Submitted 17 October, 2012; v1 submitted 10 July, 2012;
originally announced July 2012.