Transcendental properties of entropy-constrained sets

Abstract

For information-theoretic quantities with an asymptotic operational characterization, the question arises whether an alternative single-shot characterization exists, possibly including an optimization over an ancilla system. If the expressions are algebraic and the ancilla is finite, this leads to semialgebraic level sets. In this work, we provide a criterion for disproving that a set is semialgebraic based on an analytic continuation of the Gauss map. Applied to the von Neumann entropy, this shows that its level sets are nowhere semialgebraic in dimension d>2, ruling out algebraic single-shot characterizations with finite ancilla (e.g., via catalytic transformations). We show similar results for related quantities, including the relative entropy, and discuss under which conditions entropy values are transcendental, algebraic, or rational.

arXiv comment13 pages, 1 figure

References in corpus (7)

• Von Neumann entropy from unitarity
• Catalytic quantum teleportation and beyond
• Catalytic Transformations of Pure Entangled States
• Entropy and reversible catalysis
• Fundamental Limits on Correlated Catalytic State Transformations
• Relative Entropy and Catalytic Relative Majorization
• Maximum and minimum entropy states yielding local continuity bounds

Cited by in corpus (4)

• Correlations in typicality and an affirmative solution to the exact catalytic entropy conjecture
• Magic squares: Latin, Semiclassical and Quantum
• Transcendental properties of entropy-constrained sets: Part II
• On the set of reduced states of translation invariant, infinite quantum systems