arXiv subjects

Andreas Winter

Publications and source records attributed to Andreas Winter.

At least 55 records · Page 3Linked to original sources

arXiv2024

Usefulness of adaptive strategies in asymptotic quantum channel discrimination

Adaptiveness is a key principle in information processing including statistics and machine learning. We investigate the usefulness of adaptive methods in the framework of asymptotic binary hypothesis testing, when each hypothesis represents asymptotically many independent instances of a quantum channel, and the tests are based on using the unknown channel and observing outputs. Unlike the familiar setting of quantum states as hypotheses, there is a fundamental distinction between adaptive and non-adaptive strategies with respect to the channel uses, and we introduce a number of further variants of the discrimination tasks by imposing different restrictions on the test strategies. The following results are obtained: (1) We prove that for classical-quantum channels, adaptive and non-adaptive strategies lead to the same error exponents both in the symmetric (Chernoff) and asymmetric (Hoeffding, Stein) settings. (2) The first separation between adaptive and non-adaptive symmetric hypothesis testing exponents for quantum channels, which we derive from a general lower bound on the error probability for non-adaptive strategies; the concrete example we analyze is a pair of entanglement-breaking channels. (3)We prove, in some sense generalizing the previous statement, that for general channels adaptive strategies restricted to classical feed-forward and product state channel inputs are not superior in the asymptotic limit to non-adaptive product state strategies. (4) As an application of our findings, we address the discrimination power of an arbitrary quantum channel and show that adaptive strategies with classical feedback and no quantum memory at the input do not increase the discrimination power of the channel beyond non-adaptive tensor product input strategies.

quant-ph↗

arXiv2024

Identification Via Quantum Channels

We review the development of the quantum version of Ahlswede and Dueck's theory of identification via channels. As is often the case in quantum probability, there is not just one but several quantizations: we know at least two different concepts of identification of classical information via quantum channels, and three different identification capacities for quantum information. In the present summary overview we concentrate on conceptual points and open problems, referring the reader to the small set of original articles for details.

quant-ph↗

arXiv2024

Robust generation of $N$-partite $N$-level singlet states by identical particle interferometry

We propose an interferometric scheme for generating the totally antisymmetric state of $N$ identical bosons with $N$ internal levels (generalized singlet). This state is a resource for various problems with dramatic quantum advantage. The procedure uses a sequence of Fourier multi-ports, combined with coincidence measurements filtering the results. Successful preparation of the generalized singlet is confirmed when the $N$ particles of the input state stay separate (anti-bunch) on each multiport. The scheme is robust to local lossless noise and works even with a totally mixed input state.

quant-ph↗

arXiv2023

Continuity bounds on observational entropy and measured relative entropies

We derive a measurement-independent asymptotic continuity bound on the observational entropy for general POVM measurements, making essential use of its property of bounded concavity. The same insight is used to obtain continuity bounds for other entropic quantities, including the measured relative entropy distance to a convex a set of states under a general set of measurements. As a special case, we define and study conditional observational entropy, which is an observational entropy in one (measured) subsystem conditioned on the quantum state in another (unmeasured) subsystem. We also study continuity of relative entropy with respect to a jointly applied channel, finding that observational entropy is uniformly continuous as a function of the measurement. But we show by means of an example that this continuity under measurements cannot have the form of a concrete asymptotic bound.

quant-ph↗

arXiv2023

Discrimination of quantum states under locality constraints in the many-copy setting

We study quantum hypothesis testing between orthogonal states under restricted local measurements in the many-copy scenario. For testing arbitrary multipartite entangled pure state against its orthogonal complement state via the local operation and classical communication (LOCC) operation, we prove that the optimal average error probability always decays exponentially in the number of copies. Second, we provide a sufficient condition for the LOCC operations to achieve the same performance as the positive-partial-transpose (PPT) operations. We further show that testing a maximally entangled state against its orthogonal complement and testing extremal Werner states both fulfill the above-mentioned condition. Hence, we determine the explicit expressions for the optimal average error probability, the optimal trade-off between the type-I and type-II errors, and the associated Chernoff, Stein, Hoeffding, and strong converse exponents. Then, we show an infinite asymptotic separation between the separable (SEP) and PPT operations by providing a pair of states constructed from an unextendible product basis (UPB). The quantum states can be distinguished perfectly by PPT operations, while the optimal error probability, with SEP operations, admits an exponential lower bound. On the technical side, we prove this result by providing a quantitative version of the well-known statement that the tensor product of UPBs is a UPB.

quant-ph↗

arXiv2023

Classicality, Markovianity and local detailed balance from pure state dynamics

When describing the effective dynamics of an observable in a many-body system, the repeated randomness assumption, which states that the system returns in a short time to a maximum entropy state, is a crucial hypothesis to guarantee that the effective dynamics is classical, Markovian and obeys local detailed balance. While the latter behaviour is frequently observed in naturally occurring processes, the repeated randomness assumption is in blatant contradiction to the microscopic reversibility of the system. Here, we show that the use of the repeated randomness assumption can be justified in the description of the effective dynamics of an observable that is both slow and coarse, two properties we will define rigorously. Then, our derivation will invoke essentially only the eigenstate thermalization hypothesis and typicality arguments. While the assumption of a slow observable is subtle, as it provides only a necessary but not sufficient condition, it also offers a unifying perspective applicable to, e.g., open systems as well as collective observables of many-body systems. All our ideas are numerically verified by studying density waves in spin chains.

quant-ph↗

arXiv2023

Quantum theory in finite dimension cannot explain every general process with finite memory

Arguably, the largest class of stochastic processes generated by means of a finite memory consists of those that are sequences of observations produced by sequential measurements in a suitable generalized probabilistic theory (GPT). These are constructed from a finite-dimensional memory evolving under a set of possible linear maps, and with probabilities of outcomes determined by linear functions of the memory state. Examples of such models are given by classical hidden Markov processes, where the memory state is a probability distribution, and at each step it evolves according to a non-negative matrix, and hidden quantum Markov processes, where the memory state is a finite dimensional quantum state, and at each step it evolves according to a completely positive map. Here we show that the set of processes admitting a finite-dimensional explanation do not need to be explainable in terms of either classical probability or quantum mechanics. To wit, we exhibit families of processes that have a finite-dimensional explanation, defined manifestly by the dynamics of explicitly given GPT, but that do not admit a quantum, and therefore not even classical, explanation in finite dimension. Furthermore, we present a family of quantum processes on qubits and qutrits that do not admit a classical finite-dimensional realization, which includes examples introduced earlier by Fox, Rubin, Dharmadikari and Nadkarni as functions of infinite dimensional Markov chains, and lower bound the size of the memory of a classical model realizing a noisy version of the qubit processes.

quant-ph↗

arXiv2023

Singleton Bounds for Entanglement-Assisted Classical and Quantum Error Correcting Codes

We show that entirely quantum Shannon theoretic methods, based on von Neumann entropies and their properties, can be used to derive Singleton bounds on the performance of entanglement-assisted hybrid classical-quantum (EACQ) error correcting codes. Concretely, we show that the triple-rate region of qubits, cbits and ebits of possible EACQ codes over arbitrary alphabet sizes is contained in the quantum Shannon theoretic rate region of an associated memoryless erasure channel, which turns out to be a polytope. We show that a large part of this region is attainable by certain EACQ codes, whenever the local alphabet size (i.e. Hilbert space dimension) is large enough, in keeping with known facts about classical and quantum minimum distance separable (MDS) codes: in particular, all of its extreme points and all but one of its extremal lines. The attainability of the remaining one extremal line segment is left as an open question.

quant-ph↗

arXiv2023

Information Carried by a Single Particle in Quantum Multiple-Access Channels

Non-classical features of quantum systems have the potential to strengthen the way we currently exchange information. In this paper, we explore this enhancement on the most basic level of single particles. To be more precise, we compare how well multi-party information can be transmitted to a single receiver using just one classical or quantum particle. Our approach is based on a multiple-access communication model in which messages can be encoded into a single particle that is coherently distributed across multiple spatial modes. Theoretically, we derive lower bounds on the accessible information in the quantum setting that strictly separate it from the classical scenario. This separation is found whenever there is more than one sender, and also when there is just a single sender who has a shared phase reference with the receiver. Experimentally, we demonstrate such quantum advantage in single-particle communication by implementing a multi-port interferometer with messages being encoded along the different trajectories. Specifically, we consider a two-sender communication protocol built by a three-port optical interferometer. In this scenario, the rate sum achievable with a classical particle is upper bounded by one bit, while we experimentally observe a rate sum of $1.0152\pm0.0034$ bits in the quantum setup.

quant-ph↗

arXiv2023

Geometry of the $p$-adic special orthogonal group $SO(3)_p$

We derive explicitly the structural properties of the $p$-adic special orthogonal groups in dimension three, for all primes $p$, and, along the way, the two-dimensional case. In particular, starting from the unique definite quadratic form in three dimensions (up to linear equivalence and rescaling), we show that every element of $SO(3)_p$ is a rotation around an axis. An important part of the analyis is the classification of all definite forms in two dimensions, yielding a description of the rotation subgroups around any fixed axis, which all turn out to be abelian and parametrised naturally by the projective line. Furthermore, we find that for odd primes $p$, the entire group $SO(3)_p$ admits a representation in terms of Cardano angles of rotations around the reference axes, in close analogy to the real orthogonal case. However, this works only for certain orderings of the product of rotations around the coordinate axes, depending on the prime; furthermore, there is no general Euler angle decomposition. For $p=2$, no Euler or Cardano decomposition exists.

math.NT↗

arXiv2022

Resource theory of heat and work with non-commuting charges

We consider a theory of quantum thermodynamics with multiple conserved quantities (or charges). To this end, we generalize the seminal results of Sparaciari et al. [PRA 96:052112, 2017] to the case of multiple, in general non-commuting charges, for which we formulate a resource theory of thermodynamics of asymptotically many non-interacting systems. To every state we associate the vector of its expected charge values and its entropy, forming the phase diagram of the system. Our fundamental result is the Asymptotic Equivalence Theorem (AET), which allows us to identify the equivalence classes of states under asymptotic approximately charge-conserving unitaries with the points of the phase diagram. Using the phase diagram of a system and its bath, we analyze the first and the second laws of thermodynamics. In particular, we show that to attain the second law, an asymptotically large bath is necessary. In the case that the bath is composed of several identical copies of the same elementary bath, we quantify exactly how large the bath has to be to permit a specified work transformation of a given system, in terms of the number of copies of the elementary bath systems per work system (bath rate). If the bath is relatively small, we show that the analysis requires an extended phase diagram exhibiting negative entropies. This corresponds to the purely quantum effect that at the end of the process, system and bath are entangled, thus permitting classically impossible transformations. For a large bath, system and bath may be left uncorrelated and we show that the optimal bath rate, as a function of how tightly the second law is attained, can be expressed in terms of the heat capacity of the bath. Our approach solves a problem from earlier investigations about how to store the different charges under optimal work extraction protocols in physically separate batteries.

quant-ph↗

arXiv2022

An approach to $p$-adic qubits from irreducible representations of $SO(3)_p$

We introduce the notion of $p$-adic quantum bit ($p$-qubit) in the context of the $p$-adic quantum mechanics initiated and developed by Volovich and his followers. In this approach, physics takes place in three-dimensional $p$-adic space rather than Euclidean space. Based on our prior work describing the $p$-adic special orthogonal group, we outline a programme to classify its continuous unitary projective representations, which can be interpreted as a theory of $p$-adic angular momentum. The $p$-adic quantum bit arises from the irreducible representations of minimal nontrivial dimension two, of which we construct examples for all primes $p$.

math-ph↗

arXiv2022

Entropic proofs of Singleton bounds for quantum error-correcting codes

We show that a relatively simple reasoning using von Neumann entropy inequalities yields a robust proof of the quantum Singleton bound for quantum error-correcting codes (QECC). For entanglement-assisted quantum error-correcting codes (EAQECC) and catalytic codes (CQECC), a type of generalized quantum Singleton bound [Brun et al., IEEE Trans. Inf. Theory 60(6):3073--3089 (2014)] was believed to hold for many years until recently one of us found a counterexample [MG, Phys. Rev. A 103, 020601 (2021)]. Here, we rectify this state of affairs by proving the correct generalized quantum Singleton bound, extending the above-mentioned proof method for QECC; we also prove information-theoretically tight bounds on the entanglement-communication tradeoff for EAQECC. All of the bounds relate block length $n$ and code length $k$ for given minimum distance $d$ and we show that they are robust, in the sense that they hold with small perturbations for codes which only correct most of the erasure errors of less than $d$ letters. In contrast to the classical case, the bounds take on qualitatively different forms depending on whether the minimum distance is smaller or larger than half the block length. We also provide a propagation rule: any pure QECC yields an EAQECC with the same distance and dimension, but of shorter block length.

quant-ph↗

arXiv2022

Many-body quantum magic

Magic (non-stabilizerness) is a necessary but "expensive" kind of "fuel" to drive universal fault-tolerant quantum computation. To properly study and characterize the origin of quantum "complexity" in computation as well as physics, it is crucial to develop a rigorous understanding of the quantification of magic. Previous studies of magic mostly focused on small systems and largely relied on the discrete Wigner formalism (which is only well behaved in odd prime power dimensions). Here we present an initiatory study of the magic of genuinely many-body quantum states that may be strongly entangled, with focus on the important case of many qubits, at a quantitative level. We first address the basic question of how "magical" a many-body state can be, and show that the maximum magic of an $n$-qubit state is essentially $n$, simultaneously for a range of "good" magic measures. We then show that, in fact, almost all $n$-qubit pure states have magic of nearly $n$. In the quest for explicit, scalable cases of highly entangled states whose magic can be understood, we connect the magic of hypergraph states with the second-order nonlinearity of their underlying Boolean functions. Next, we go on and investigate many-body magic in practical and physical contexts. We first consider a variant of MBQC where the client is restricted to Pauli measurements, in which magic is a necessary feature of the initial "resource" state. We show that $n$-qubit states with nearly $n$ magic, or indeed almost all states, cannot supply nontrivial speedups over classical computers. We then present an example of analyzing the magic of "natural" condensed matter systems of physical interest. We apply the Boolean function techniques to derive explicit bounds on the magic of certain representative 2D SPT states, and comment on possible further connections between magic and the quantum complexity of phases of matter.

quant-ph↗

arXiv2021

Thermality versus objectivity: can they peacefully coexist?

Under the influence of external environments, quantum systems can undergo various different processes, including decoherence and equilibration. We observe that macroscopic objects are both objective and thermal, thus leading to the expectation that both objectivity and thermalisation can peacefully coexist on the quantum regime too. Crucially, however, objectivity relies on distributed classical information that could conflict with thermalisation. Here, we examine the overlap between thermal and objective states. We find that in general, one cannot exist when the other is present. However, there are certain regimes where thermality and objectivity are more likely to coexist: in the high temperature limit, at the non-degenerate low temperature limit, and when the environment is large. This is consistent with our experiences that everyday-sized objects can be both thermal and objective.

quant-ph↗

arXiv2021

Products of synchronous games

We show that the *-algebra of the product of two synchronous games is the tensor product of the corresponding *-algebras. We prove that the product game has a perfect C*-strategy if and only if each of the individual games does, and that in this case the C*-algebra of the product game is *-isomorphic to the maximal C*-tensor product of the individual C*-algebras. We provide examples of synchronous games whose synchronous values are strictly supermultiplicative.

math.OA↗

arXiv2021

First and Second Law of Quantum Thermodynamics: A Consistent Derivation Based on a Microscopic Definition of Entropy

Deriving the laws of thermodynamics from a microscopic picture is a central quest of statistical mechanics. This tutorial focuses on the derivation of the first and second law for closed and open quantum systems far from equilibrium, where such foundational questions also become practically relevant for emergent nanotechnologies. The derivation is based on a microscopic definition of five essential quantities: internal energy, thermodynamic entropy, work, heat and temperature. These definitions are shown to satisfy the phenomenological laws of nonequilibrium thermodynamics for a large class of states and processes. The consistency with previous results is demonstrated. The framework applies to multiple baths including particle transport and accounts for processes with, e.g., a changing temperature of the bath, which is determined microscopically. An integral fluctuation theorem for entropy production is satisfied. In summary, this tutorial introduces a consistent and versatile framework to understand and apply the laws of thermodynamics in the quantum regime and beyond.

quant-ph↗

arXiv2021

Resource theory of unextendibility and non-asymptotic quantum capacity

In this paper, we introduce the resource theory of unextendibility as a relaxation of the resource theory of entanglement. The free states in this resource theory are the k-extendible states, associated with the inability to extend quantum entanglement in a given quantum state to multiple parties. The free channels are k-extendible channels, which preserve the class of k-extendible states. We define several quantifiers of unextendibility by means of generalized divergences and establish their properties. By utilizing this resource theory, we obtain non-asymptotic upper bounds on the rate at which quantum communication or entanglement preservation is possible over a finite number of uses of an arbitrary quantum channel assisted by k-extendible channels at no cost. These bounds are significantly tighter than previously known bounds for both the depolarizing and erasure channels. Finally, we revisit the pretty strong converse for the quantum capacity of antidegradable channels and establish an upper bound on the non-asymptotic quantum capacity of these channels.

quant-ph↗