A random unitary channel is one that is given by a convex combination of unitary channels. It is shown that the conjectures on the additivity of the minimum output entropy and the multiplicativity of the maximum output $p$-norm can be equivalently restated in terms of random unitary channels. This is done by constructing a random unitary approximation to a general quantum channel. This approximation can be constructed efficiently, and so it is also applied to the computational problem of distinguishing quantum circuits. It is shown that the problem of distinguishing random unitary circuits is as hard as the problem of distinguishing general mixed state circuits, which is complete for the class of problems that have quantum interactive proof systems.
The problem of distinguishing two unitary transformations, or quantum gates, is analyzed and a function reflecting their statistical distinguishability is found. Given two unitary operations, $U_1$ and $U_2$, it is proved that there always exists a finite number $N$ such that $U_1^{\otimes N}$ and $U_2^{\otimes N}$ are perfectly distinguishable, although they were not in the single-copy case. This result can be extended to any finite set of unitary transformations. Finally, a fidelity for one-qubit gates, which satisfies many useful properties from the point of view of quantum information theo…
We show that any two different unitary operations acting on an arbitrary multipartite quantum system can be perfectly distinguishable by local operations and classical communication when a finite number of runs is allowed. We then directly extend this result into the case when the number of unitary operations to be discriminated is more than two. Intuitively, our result means that the lost identity of a nonlocal (entangled) unitary operation can be recovered locally, without any use of entanglement or joint quantum operations.
We prove that the entangling capacity of a two-qubit unitary operator without local ancillas, both with and without the restriction to initial product states, as quantified by the maximum attainable concurrence, is directly related to the distinguishability of a closely related pair of two-qubit unitary operators. These operators are the original operator transformed into its canonical form and the adjoint of this canonical form. The distinguishability of these operators is quantified by the minimum overlap of the output states over all possible input probe states. The entangling capacity of t…
The study of quantum systems evolving from initial states to distinguishable, orthogonal final states is important for information processing applications such as quantum computing and quantum metrology. However, for most unitary evolutions and initial states the system does not evolve to an orthogonal quantum state. Here, we ask what proportion of quantum states evolves to nearly orthogonal systems as a function of the dimensionality of the Hilbert space of the system, and numerically study the evolution of quantum states in low-dimensional Hilbert spaces. We find that, as well as the speed o…
We consider bistochastic quantum channels generated by unitary representations of the discret group. The proof of the additivity conjecture for the quantum depolarizing channel $Φ$ based on the decreasing property of the relative entropy is given. We show that the additivity conjecture is true for the channel $Ξ=Ψ\circ Φ$, where $Ψ$ is the phase damping.
We study optimal perfect distinguishability between a unitary and a general quantum operation. In 2-dimensional case we provide a simple sufficient and necessary condition for sequential perfect distinguishability and an analytical formula of optimal query time. We extend the sequential condition to general d-dimensional case. Meanwhile, we provide an upper bound and a lower bound for optimal sequential query time. In the process a new iterative method is given, the most notable innovation of which is its independence to auxiliary systems or entanglement. Following the idea, we further obtain …
We analyze quantum states formed as superpositions of an initial pure product state and its image under local unitary evolution, using two measurement-based measures of superposition size: one based on the optimal quantum binary distinguishability of the branches of the superposition and another based on the ratio of the maximal quantum Fisher information of the superposition to that of its branches, i.e., the relative metrological usefulness of the superposition. A general formula for the effective sizes of these states according to the branch distinguishability measure is obtained and applie…
Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output $p-$Rényi entropy is non-additive for $p\in(0,p_0)\cup(1-p_0,1)$ where $p_0\approx 0.2855$.
We consider the question of perfect local distinguishability of mutually orthogonal bipartite quantum states, with the property that every state can be specified by a unitary operator acting on the local Hilbert space of Bob. We show that if the states can be exactly discriminated by one-way LOCC where Alice goes first, then the unitary operators can also be perfectly distinguished by an orthogonal measurement on Bob's Hilbert space. We give examples of sets of N<=d maximally entangled states in $d \otimes d $ for d=4,5,6 that are not perfectly distinguishable by one-way LOCC. Interestingly fo…
For both unitary and open qubit dynamics, we compare asymmetry monotone-based bounds on the minimal time required for an initial qubit state to evolve to a final qubit state from which it is probabilistically distinguishable with fixed minimal error probability (i.e., the minimal error distinguishability time). For the case of unitary dynamics generated by a time-independent Hamiltonian, we derive a necessary and sufficient condition on two asymmetry monotones that guarantees that an arbitrary state of a two-level quantum system or a separable state of $N$ two-level quantum systems will unitar…
The computational problem of distinguishing two quantum channels is central to quantum computing. It is a generalization of the well-known satisfiability problem from classical to quantum computation. This problem is shown to be surprisingly hard: it is complete for the class QIP of problems that have quantum interactive proof systems, which implies that it is hard for the class PSPACE of problems solvable by a classical computation in polynomial space. Several restrictions of distinguishability are also shown to be hard. It is no easier when restricted to quantum computations of logarithmic d…
Quantum channels can be described via a unitary coupling of system and environment, followed by a trace over the environment state space. Taking the trace instead over the system state space produces a different mapping which we call the conjugate channel. We explore the properties of conjugate channels and describe several different methods of construction. In general, conjugate channels map M_d to M_d' with d < d', and different constructions may differ by conjugation with a partial isometry. We show that a channel and its conjugate have the same minimal output entropy and maximal output p-n…
We prove that, when two local quantum channels are used paralleled, the quantum-correlating power (QCP) of the composed channel is no less than the sum of QCP of the two channels. For local channels with zero QCP, the super-activation of QCP is a fairly common effect, and proved to exist except for the trivial case where both of the channels are completely decohering channels or unitary operators. For general quantum channels, we show that the (not-so-common) additivity of QCP can be observed for the situation where a measuring-and-preparing channel is used together with a completely decoherin…
A conjecture -- \emph{the modified super-additivity inequality} of relative entropy -- was proposed in \cite{Zhang2012}: There exist three unitary operators $U_A\in \unitary{\cH_A},U_B\in \unitary{\cH_B}$, and $U_{AB}\in \unitary{\cH_A\ot \cH_B}$ such that $$ \rS(U_{AB}ρ_{AB}U^\dagger_{AB}||σ_{AB}) \geqslant \rS(U_Aρ_AU^\dagger_A||σ_A) + \rS(U_Bρ_BU^\dagger_B||σ_B), $$ where the reference state $σ$ is required to be full-ranked. A numerical study on the conjectured inequality is conducted in this note. The results obtained indicate that the modified super-additivity inequality of relative entr…
An important problem in quantum information is to construct multiqubit unextendible product bases (UPBs). By using the unextendible orthogonal matrices, we construct a 7-qubit UPB of size 11. It solves an open problem in [Quantum Information Processing 19:185 (2020)]. Next, we graph-theoretically show that the UPB is locally indistinguishable in the bipartite systems of two qubits and five qubits, respectively. It turns out that the UPB corresponds to a complete graph with 11 vertices constructed by three sorts of nonisomorphic graphs. Taking the graphs as product vectors, we show that they ar…
Recently Hastings proved the existence of random unitary channels which violate the additivity conjecture. In this paper we use Hastings' method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of non-unital channels which violate additivity of minimal output entropy.
Additivity violation of minimum output entropy, which shows non-classical properties in quantum communication, had been proved in most cases for random quantum channels defined by Haar-distributed unitary matrices. In this paper, we investigate random completely positive maps made of Gaussian Unitary Ensembles and Ginibre Ensembles regarding this matter. Using semi-circular systems and circular systems of free probability, we not only show the multiplicativity violation of maximum output norms in the asymptotic regimes but also prove the additivity violation via Haagerup inequality for a new c…
We analyze random unitary evolution of the qubit within memory kernel approach. We provide sufficient conditions which guarantee that the corresponding memory kernel generates physically legitimate quantum evolution. Interestingly, we are able to recover several well known examples and generate new classes of nontrivial qubit evolution. Surprisingly, it turns out that quantum evolution with memory kernel generated by our approach gives rise to vanishing non-Markovianity measure based on the distinguishability of quantum states.
P-divisibility conditions on subsystems in quantum dynamics
TCG Centres for Research and Education in Science and Technology (TCG CREST)（科学技术研究与教育中心）；Academy of Scientific and Innovative Research (AcSIR)（科学与创新研究学院）；Ramakrishna Mission Vivekananda Educational and Research Institute（罗摩克里希那使命维韦卡南达教育与研究所）
We compare two approaches to non-Markovian quantum evolution: one based on the concept of divisible maps and the other one based on distinguishability of quantum states. The former concept is fully characterized in terms of local generator whereas it is in general not true for the latter one. A simple example of random unitary dynamics of a qubit shows the intricate difference between those approaches. Moreover, in this case both approaches are fully characterized in terms of local decoherence rates. As a byproduct it is shown that entropy might monotonically increase even for non-Markovian qu…
The problem behind this paper is, if the number of queries to unitary operations is fixed, say $k$, then when do local operations and classical communication (LOCC) suffice for optimally distinguishing bipartite unitary operations? We consider the above problem for two-qubit unitary operations in the case of $k=1$, showing that for two two-qubit entangling unitary operations without local parties, LOCC achieves the same distinguishability as the global operations. Specifically, we obtain: (i) if such two unitary operations are perfectly distinguishable by global operations, then they are perfe…
Quantum Wasserstein distance between unitary operations
Beihang University（北京航空航天大学）；LMIB(Beihang University), Ministry of education（教育部数学基础与计算科学重点实验室（北京航空航天大学））；School of Mathematical Sciences, Beihang University（北京航空航天大学数学科学学院）；International Research Institute for Multidisciplinary Science, Beihang University（北京航空航天大学多学科交叉研究院）
Within the unified framework of exploiting the relative entropy as a distance measure of quantum correlations, we make explicit the hierarchical structure of quantum coherence, quantum discord and quantum entanglement in multipartite systems. On this basis, we introduce a new measure of quantum coherence, the basis-free quantum coherence and prove that this quantity is exactly equivalent to quantum discord. Furthermore, since the original relative entropy of coherence is a basis-dependent quantity, we investigate the local and nonlocal unitary creation of quantum coherence, focusing on the two…
A constructive violation of additivity of minimum output von Neumann entropy
Joint Quantum Institute, Department of Physics, NIST/University of Maryland（量子联合研究所，物理系，美国国家标准与技术研究院/马里兰大学）；Joint Center for Quantum Information and Computer Science, NIST/University of Maryland（量子信息与计算科学联合中心，美国国家标准与技术研究院/马里兰大学）
Asymptotic distinguishability of Haar-averaged measurement models
Institute of Theoretical and Applied Informatics, Polish Academy of Sciences（波兰科学院理论与应用物理研究所）；International Centre for Theory of Quantum Technologies, University of Gdansk（格但斯克大学量子技术理论国际中心）
Entanglement is sometimes helpful in distinguishing between quantum operations, as differences between quantum operations can become magnified when their inputs are entangled with auxiliary systems. Bounds on the dimension of the auxiliary system needed to optimally distinguish quantum operations are known in several situations. For instance, the dimension of the auxiliary space never needs to exceed the dimension of the input space of the operations for optimal distinguishability, while no auxiliary system whatsoever is needed to optimally distinguish unitary operations. Another bound, which …
In this work we investigate the equilibration dynamics after a sudden Hamiltonian quench of a quantum spin system initially prepared in a thermal state. To characterize the equilibration we evaluate the Loschmidt echo, a global measure for the degree of distinguishability between the initial and time-evolved quenched states. We present general results valid for small quenches and detailed analysis of the quantum XY chain. The result is that quantum criticality manifests, even at small but finite temperatures, in a universal double-peaked form of the echo statistics and poor equilibration for s…
We investigate decoherence induced by a quantum channel in terms of minimal output entropy and of map entropy. The latter is the von Neumann entropy of the Jamiolkowski state of the channel. Both quantities admit q-Renyi versions. We prove additivity of the map entropy for all q. For the case q = 2, we show that the depolarizing channel has the smallest map entropy among all channels with a given minimal output Renyi entropy of order two. This allows us to characterize pairs of channels such that the output entropy of their tensor product acting on a maximally entangled input state is larger t…
Distinguishability theory is developed for quantum interference of the squeezed vacuum states on unitary linear interferometers. It is found that the entanglement of photon pairs over the Schmidt modes is one of the sources of distinguishability. The distinguishability is quantified by the symmetric part of the internal state of $n$ pairs of photons, whose normalization $q_{2n}$ is the probability that $2n$ photons interfere as indistinguishable. For two pairs of photons $q_{4}=(1+ 2\mathbb{P} )/3$, where $\mathbb{P} $ is the purity of the squeezed states ($K=1/\mathbb{P} $ is the Schmidt numb…
We experimentally simulate non-unitary quantum dynamics using a single-photon interferometric network and study the information flow between a parity-time (PT)-symmetric non-Hermitian system and its environment. We observe oscillations of quantum-state distinguishability and complete information retrieval in the PT-symmetry-unbroken regime. We then characterize in detail critical phenomena of the information flow near the exceptional point separating the PT-unbroken and -broken regimes, and demonstrate power-law behavior in key quantities such as the distinguishability and the recurrence time.…
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups. We investigate structural properties of these operators, arguing that the diagonal symmetry makes them suitable for analytical study. As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions, which are important toy models for entanglement spreading in quantum circuits. We then analyze the non-local nature of these invariant operators, both in discrete (operator Schmidt rank) and continuous (entangling power) settings. …
We consider generalizations of depolarizing channels to maps in which the identity channel is replaced by a convex combinations of unitary conjugations. We show that one can construct unital channels of this type for which the input which achieves maximal output purity is unique. We give conditions under which multiplicativity of the maximal p-norm and additivity of the minimal output entropy. We also show that the Holevo capacity need not equal log d - the minimal entropy as one might expect for a convex combination of unitary conjugations. Conversely, we give examples for which this conditio…
A microscopic definition of the thermodynamic entropy in an isolated quantum system must satisfy (i) additivity, (ii) extensivity and (iii) the second law of thermodynamics. We show that the diagonal entropy, which is the Shannon entropy in the energy eigenbasis at each instant of time, meets the first two requirements and that the third requirement is satisfied if an arbitrary external operation is performed at typical times. In terms of the diagonal entropy, thermodynamic irreversibility follows from the facts that the Hamiltonian dynamics restricts quantum trajectories under unitary evoluti…
We investigate the Weyl channels being covariant with respect to the maximum commutative group of unitary operators. This class includes the quantum depolarizing channel and the "two-Pauli" channel as well. Then, we show that our estimation of the output entropy for a tensor product of the phase damping channel and the identity channel based upon the decreasing property of the relative entropy allows to prove the additivity conjecture for the minimal output entropy for the quantum depolarizing channel in any prime dimesnsion and for the "two Pauli" channel in the qubit case.
In this paper, we study the behaviour of the output of pure entangled states after being transformed by a product of conjugate random unitary channels. This study is motivated by the counterexamples by Hastings and Hayden-Winter to the additivity problems. In particular, we study in depth the difference of behaviour between random unitary channels and generic random channels. In the case where the number of unitary operators is fixed, we compute the limiting eigenvalues of the output states. In the case where the number of unitary operators grows linearly with the dimension of the input space,…
The notion of weak-degradability of quantum channels is introduced by generalizing the degradability definition given by Devetak and Shor. Exploiting the unitary equivalence with beam-splitter/amplifier channels we then prove that a large class of one-mode Bosonic Gaussian channels are either weakly degradable or anti-degradable. In the latter case this implies that their quantum capacity Q is null. In the former case instead, this allows us to establish the additivity of the coherent information for those maps which admit unitary representation with single-mode pure environment.
We prove the equivalence of an arbitrary single-mode Gaussian quantum channel and a newly defined fiducial channel preceded by a phase shift and followed by a Gaussian unitary operation. This equivalence implies that the energy-constrained classical capacity of any single-mode Gaussian channel can be calculated based on this fiducial channel, which is furthermore simply realizable with a beam splitter, two identical single-mode squeezers, and a two-mode squeezer. In a large domain of parameters, we also provide an analytical expression for the Gaussian classical capacity, exploiting its additi…
Gibbs paradox in the context of statistical mechanics addresses the issue of additivity of entropy of mixing gases. The usual discussion attributes the paradoxical situation to classical distinguishability of identical particles and credits quantum theory for enabling indistinguishability of identical particles to solve the problem. We argue that indistinguishability of identical particles is already a feature in classical mechanics and this is clearly brought out when the problem is treated in the language of information and associated entropy. We pinpoint the physical criteria for indistingu…
Equilibration and the eigenstate thermalization hypothesis as limits to observing macroscopic quantum superpositions
Escola Politécnica de Pernambuco, Universidade de Pernambuco（伯南布哥联邦大学应用理工学院）；Universidade Estadual de Santa Cruz（圣克鲁斯州立大学）；Instituto de Física, Universidade Federal Fluminense（弗鲁米嫩塞联邦大学物理研究所）
We introduce magic measures to quantify the nonstabilizerness of multiqubit quantum gates and establish lower bounds on the $T$ count for fault-tolerant quantum computation. First, we introduce the stabilizer nullity of multi-qubit unitary, which is based on the subgroup of the quotient Pauli group associated with the unitary. This unitary stabilizer nullity extends the state-stabilizer nullity by Beverland et al. to a dynamic version. In particular, we show this nonstabilizerness measure has desirable properties such as subadditivity under composition and additivity under tensor product. Seco…
