arXiv subjects

Henrik Wilming

Publications and source records attributed to Henrik Wilming.

At least 19 recordsLinked to original sources

arXiv2026

A nonabelian anyon violates Haag duality

We show that a superselction sector describing a single nonabelian anyon violates Haag duality, which is equivalent to the fundamental quantum-information theoretic principle of uniqueness of purifications. We provide a simple physics argument as well as a rigorous proof using sector theory, and instantiate our result concretely in Levin-Wen models. We also show that the associated ground state does not allow for quantum steering despite being a pure state. Finally, we show that this ground state violates approximate Haag duality, disproving the conjecture that all gapped ground states satisfy this condition. Our result implies that there are gapped phases of matter where Haag duality fails at every point in the phase.

quant-ph↗

arXiv2026

Quantum steering is equivalent to state-preserving conditional expectations

In systems with infinitely many degrees of freedom, fundamental results from quantum information theory can fail. An important example is the uniqueness of purifications: Even when two subsystems, described by commuting von Neumann algebras $A$ and $B$, are tomographically complete, purifications of a state on $A$ need not be related by unitaries in $B$. It was recently shown that this occurs precisely when Haag duality fails, i.e., when the commutant $B'$ is strictly larger than $A$. This raises the question of which fundamental entanglement properties survive in such a setting. We show that, for a pure global state, the ability to steer any ensemble decomposition of the marginal state on $A$ by measurements on $B$ is equivalent to the existence of a state-preserving conditional expectation from $B'$ onto $A$. This establishes a direct connection between quantum steering and subfactor theory. The key observation is that steering is equivalent to the existence of extensions of ensemble decompositions from $A$ to $B'$. Working with general Jordan algebras, we prove that unital positive maps have state-preserving left inverses if and only if ensemble decompositions can be lifted. For the inclusion $A\hookrightarrow B'$, a left inverse is precisely a conditional expectation, yielding the characterization above.

quant-ph↗

arXiv2026

Sufficiency and Petz recovery for positive maps

We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving (PTP) maps and clarify its mathematical structure in terms of minimal sufficient Jordan algebras, which can be seen to generalize the Koashi-Imoto decomposition to the PTP setting. In particular, we show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra, and hence also the minimal sufficient *-algebra corresponding to the Koashi-Imoto decomposition. As applications, we show that a) equality in the data-processing inequality for the relative entropy or the $α$-$z$ quantum Rényi divergence implies the existence of a recovery map also in the PTP case and b) that two dichotomies can be interconverted by PTP maps if and only if they can be interconverted by decomposable, trace-preserving maps. We thoroughly review the necessary mathematical background on Jordan algebras. As a step beyond the finite-dimensional case, we prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.

quant-ph↗

arXiv2026

Gaussian fermionic embezzlement of entanglement

Embezzlement of entanglement allows to extract arbitrary entangled states from a suitable embezzling state using only local operations while perturbing the resource state arbitrarily little. A natural family of embezzling states is given by ground states of non-interacting, critical fermions in one spatial dimension. This raises the question of whether the embezzlement operations can be restricted to Gaussian operations whenever one only wishes to extract Gaussian entangled states. We show that this is indeed the case and prove that the embezzling property is in fact a generic property of fermionic Gaussian states. Our results provide a fine-grained understanding of embezzlement of entanglement for fermionic Gaussian states in the finite-size regime and thereby bridge finite-size systems to abstract characterizations based on the classification of von Neumann algebras. To prove our results, we establish novel bounds relating the distance of covariances to the trace-distance of Gaussian states, which may be of independent interest.

quant-ph↗

arXiv2025

Uniqueness of purifications is equivalent to Haag duality

The uniqueness of purifications of quantum states on a system $A$ up to local unitary transformations on a purifying system $B$ is central to quantum information theory. We show that, if the two systems are modelled by commuting von Neumann algebras $M_A$ and $M_B$ on a Hilbert space $\mathcal H$, then uniqueness of purifications is equivalent to Haag duality $M_A = M_B'$. In particular, the uniqueness of purifications can fail in systems with infinitely many degrees of freedom -- even when $M_A$ and $M_B$ are commuting factors that jointly generate $B(\mathcal H)$ and hence allow for local tomography of all density matrices on $\mathcal H$.

quant-ph↗

arXiv2025

Revisiting the operator extension of strong subadditivity

We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $ρ_{AB} \otimes σ_{C}^{-1} \leq ρ_{A} \otimes σ_{BC}^{-1}$ by identifying the mathematical structure behind it as Connes' theory of spatial derivatives. This immediately generalizes the inequality to arbitrary inclusions of von Neumann algebras. In the case of standard representations, it reduces to the monotonicity of the relative modular operator.

math.OA↗

arXiv2025

Multipartite Embezzlement of Entanglement

Embezzlement of entanglement refers to the task of extracting entanglement from an entanglement resource via local operations and without communication while perturbing the resource arbitrarily little. Recently, the existence of embezzling states of bipartite systems of type III von Neumann algebras was shown. However, both the multipartite case and the precise relation between embezzling states and the notion of embezzling families, as originally defined by van Dam and Hayden, was left open. Here, we show that finite-dimensional approximations of multipartite embezzling states form multipartite embezzling families. In contrast, not every embezzling family converges to an embezzling state. We identify an additional consistency condition that ensures that an embezzling family converges to an embezzling state. This criterion distinguishes the embezzling family of van Dam and Hayden from the one by Leung, Toner, and Watrous. The latter generalizes to the multipartite setting. By taking a limit, we obtain a multipartite system of commuting type III$_1$ factors on which every state is an embezzling state. We discuss our results in the context of quantum field theory and quantum many-body physics. As open problems, we ask whether vacua of relativistic quantum fields in more than two spacetime dimensions are multipartite embezzling states and whether multipartite embezzlement allows for an operator-algebraic characterization.

quant-ph↗

arXiv2025

Thermal operations from informational equilibrium

Thermal operations are quantum channels that have taken a prominent role in deriving fundamental thermodynamic limitations in quantum systems. We show that these channels are uniquely characterized by a purely quantum information theoretic property: They admit a dilation into a unitary process that leaves the environment invariant when applied to the equilibrium state. In other words, they are the only channels that preserve equilibrium between system and environment. Extending this perspective, we explore an information theoretic idealization of heat bath behavior, by considering channels where the environment remains locally invariant for every initial state of the system. These are known as catalytic channels. We show that catalytic channels provide a refined hierarchy of Gibbs-preserving maps for fully-degenerate Hamiltonians, and are closely related to dual unitary quantum circuits.

quant-ph↗

arXiv2025

Relativistic Quantum Fields Are Universal Entanglement Embezzlers

Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system (the "embezzler") via local quantum operations while hardly perturbing the latter. We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras. Our result implies that relativistic quantum fields are universal embezzlers: Any entangled state of any dimension can be embezzled from them with arbitrary precision. This provides an operational characterization of the infinite amount of entanglement present in the vacuum state of relativistic quantum field theories.

quant-ph↗

arXiv2025

Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras

We study the quantum information theoretic task of embezzlement of entanglement in the setting of von Neumann algebras. Given a shared entangled resource state, this task asks to produce arbitrary entangled states using local operations without communication while perturbing the resource arbitrarily little. We quantify the performance of a given resource state by the worst-case error. States for which the latter vanishes are 'embezzling states' as they allow to embezzle arbitrary entangled states with arbitrarily small error. The best and worst performance among all states defines two algebraic invariants for von Neumann algebras. The first invariant takes only two values. Either it vanishes and embezzling states exist, which can only happen in type III, or no state allows for nontrivial embezzlement. In the case of factors not of finite type I, the second invariant equals the diameter of the state space. This provides a quantitative operational interpretation of Connes' classification of type III factors within quantum information theory. Type III$_1$ factors are 'universal embezzlers' where every state is embezzling. Our findings have implications for relativistic quantum field theory, where type III algebras naturally appear. For instance, they explain the maximal violation of Bell inequalities in the vacuum. Our results follow from a one-to-one correspondence between embezzling states and invariant probability measures on the flow of weights. We also establish that universally embezzling ITPFI factors are of type III$_1$ by elementary arguments.

math-ph↗

arXiv2025

The Large-Scale Structure of Entanglement in Quantum Many-body Systems

We show that the thermodynamic limit of a many-body system can reveal entanglement properties that are hard to detect in finite-size systems -- similar to how phase transitions only sharply emerge in the thermodynamic limit. The resulting operational entanglement properties are in one-to-one correspondence with abstract properties of the local observable algebras that emerge in the thermodynamic limit. These properties are insensitive to finite perturbations and hence describe the $\textit{large-scale structure of entanglement}$ of many-body systems. We formulate and discuss the emerging structures and open questions, both for gapped and gapless many-body systems. In particular, we show that every gapped phase of matter, even the trivial one, in $D\geq 2$ dimensions contains models with the strongest possible bipartite large-scale entanglement. Conversely, we conjecture the existence of topological phases of matter, where all representatives have the strongest form of entanglement.

quant-ph↗

arXiv2024

Pure state entanglement and von Neumann algebras

We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our central result is the extension of Nielsen's Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions, to arbitrary factors. As a consequence, we find that in bipartite system modeled by commuting factors in Haag duality, a) all states have infinite single-shot entanglement if and only if the local factors are not of type I, b) type III factors are characterized by LOCC transitions of arbitrary precision between any two pure states, and c) the latter holds even without classical communication for type III$_{1}$ factors. In the case of semifinite factors, the usual construction of pure state entanglement monotones carries over. Together with recent work on embezzlement of entanglement, this gives a one-to-one correspondence between the classification of factors into types and subtypes and operational entanglement properties. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $σ$-finite measure spaces.

quant-ph↗

arXiv2024

Catalysis in Quantum Information Theory

Catalysts open up new reaction pathways that can speed up chemical reactions while not consuming the catalyst. A similar phenomenon has been discovered in quantum information science, where physical transformations become possible by utilizing a quantum degree of freedom that returns to its initial state at the end of the process. In this review, a comprehensive overview of the concept of catalysis in quantum information science is presented and its applications in various physical contexts are discussed.

quant-ph↗

arXiv2024

Critical Fermions are Universal Embezzlers

Universal embezzlers are bipartite quantum systems from which any entangled state may be extracted to arbitrary precision using local operations while perturbing the state of the system arbitrarily little. Here, we show that universal embezzlers are ubiquitous in many-body physics: The ground state sector of every local, translation-invariant, and critical free-fermionic many-body system on a one-dimensional lattice is a universal embezzler if bi-partitioned into two half-chains. The same property holds in locally-interacting, dual spin chains via the Jordan-Wigner transformation. Universal embezzlement manifests already for finite system sizes, not only in the thermodynamic limit: For any finite error and any targeted entangled state, a finite length of the chain is sufficient to embezzle said state within the given error. On a technical level, our main result establishes that the half-chain observable algebras associated with ground state sectors of the given models are type III$_1$ factors.

quant-ph↗

arXiv2023

Sufficiency of Rényi divergences

A set of classical or quantum states is equivalent to another one if there exists a pair of classical or quantum channels mapping either set to the other one. For dichotomies (pairs of states), this is closely connected to (classical or quantum) Rényi divergences (RD) and the data-processing inequality: If a RD remains unchanged when a channel is applied to the dichotomy, then there is a recovery channel mapping the image back to the initial dichotomy. Here, we prove for classical dichotomies that equality of the RDs alone is already sufficient for the existence of a channel in any of the two directions and discuss some applications. In the quantum case, all families of quantum RDs are seen to be insufficient because they cannot detect anti-unitary transformations. Thus, including anti-unitaries, we pose the problem of finding a sufficient family. It is shown that the Petz and maximal quantum RD are still insufficient in this more general sense and we provide evidence for sufficiency of the minimal quantum RD. As a side result of our techniques, we obtain an infinite list of inequalities fulfilled by the classical, the Petz quantum, and the maximal quantum RDs. These inequalities are not true for the minimal quantum RDs. Our results further imply that any sufficient set of conditions for state transitions in the resource theory of athermality must be able to detect time-reversal.

quant-ph↗

arXiv2023

Reviving product states in the disordered Heisenberg chain

When a generic quantum system is prepared in a simple initial condition, it typically equilibrates toward a state that can be described by a thermal ensemble. A known exception are localized systems which are non-ergodic and do not thermalize, however local observables are still believed to become stationary. Here we demonstrate that this general picture is incomplete by constructing product states which feature periodic high-fidelity revivals of the full wavefunction and local observables that oscillate indefinitely. The system neither equilibrates nor thermalizes. This is analogous to the phenomenon of weak ergodicity breaking due to many-body scars and challenges aspects of the current MBL phenomenology, such as the logarithmic growth of the entanglement entropy. To support our claim, we combine analytic arguments with large-scale tensor network numerics for the disordered Heisenberg chain. Our results hold for arbitrarily long times in chains of 160 sites up to machine precision.

quant-ph↗

arXiv2023

Covariant catalysis requires correlations and good quantum reference frames degrade little

Catalysts are quantum systems that open up dynamical pathways between quantum states which are otherwise inaccessible under a given set of operational restrictions while, at the same time, they do not change their quantum state. We here consider the restrictions imposed by symmetries and conservation laws, where any quantum channel has to be covariant with respect to the unitary representation of a symmetry group, and present two results. First, for an exact catalyst to be useful, it has to build up correlations to either the system of interest or the degrees of freedom dilating the given process to covariant unitary dynamics. This explains why catalysts in pure states are useless. Second, if a quantum system ("reference frame") is used to simulate to high precision unitary dynamics (which possibly violates the conservation law) on another system via a global, covariant quantum channel, then this channel can be chosen so that the reference frame is approximately catalytic. In other words, a reference frame that simulates unitary dynamics to high precision degrades only very little.

quant-ph↗

arXiv2023

Ticking clocks in quantum theory

We present a derivation of the structure and dynamics of a ticking clock by showing that for finite systems a single natural principle serves to distinguish what we understand as ticking clocks from time-keeping systems in general. As a result we recover the bipartite structure of such a clock: that the information about ticks is a classical degree of freedom. We describe the most general form of the dynamics of such a clock, and discuss the additional simplifications to go from a general ticking clock to models encountered in literature. The resultant framework encompasses various recent research results despite their apparent differences. Finally, we introduce the information theory of ticking clocks, distinguishing their abstract information content and the actually accessible information.

quant-ph↗