Related papers: A Formalization of the Generalized Quantum Stein's…
A unified framework for different formulations of quantum theoery is introduced specifying what is meant by a quantum mechanical theory in general.
We consider a general resource theory that allows the use of free resource as a catalyst. We show that the amount of `resource' contained in a given state, in the asymptotic scenario, is equal to the regularized relative entropy of resource…
The framework of generalized probabilistic theories is a powerful tool for studying the foundations of quantum physics. It provides the basis for a variety of recent findings that significantly improve our understanding of the rich physical…
The hypothesis testing problem of two quantum states is treated. We show a new inequality between the error of the first kind and the second kind, which complements the result of Hiai and Petz to establish the quantum version of Stein's…
The quantum relative entropy is a fundamental quantity in quantum information science, characterizing the distinguishability between two quantum states. However, this quantity is not additive in general for correlated quantum states,…
LLM-generated explanations can make technical content more accessible, but there is a ceiling on what they can support interactively. Because LLM outputs are static text, they cannot be executed or stepped through. We argue that grounding…
Quantum resource theory is perhaps the most revolutionary framework that quantum physics has ever experienced. It plays vigorous roles in unifying the quantification methods of a requisite quantum effect as wells as in identifying protocols…
Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorption, making each scientific premise clear and every step of…
Given two families of quantum states $A$ and $B$, called the null and the alternative hypotheses, quantum hypothesis testing is the task of determining whether an unknown quantum state belongs to $A$ or $B$. Mistaking $A$ for $B$ is a type…
A quantum state can be understood in a loose sense as a map that assigns a value to every observable. Formalizing this characterization of states in terms of generalized probability distributions on the set of effects, we obtain a simple…
In non-relativistic as well as in special relativistic quantum theory, {\em mass} and {\em charge} are {\em pure numbers} appearing in various (quantum) operators and admit {\em any values}, {\it ie}, values for these quantities are to be…
Quantum mechanics, information theory, and relativity theory are the basic foundations of theoretical physics. The acquisition of information from a quantum system is the interface of classical and quantum physics. Essential tools for its…
Based on a clear ontology of material individuals, we analyze in detail the factual semantics of quantum theory, and argue that the basic mathematical formalism of quantum theory is just okay with (a certain form of ) realism and that it is…
The main formal structures of Generalized Quantum Theory are summarized. Recent progress has sharpened some of the concepts, in particular the notion of an observable, the action of an observable on states (putting more emphasis on the role…
A consistent theory of quantum gravity will require a fully quantum formulation of the classical equivalence principle. Such a formulation has been recently proposed in terms of the equality of the rest, inertial and gravitational mass…
We investigate fundamental connections between thermodynamics and quantum information theory. First, we show that the operational framework of thermal operations is nonequivalent to the framework of Gibbs-preserving maps, and we comment on…
We study an entropy measure for quantum systems that generalizes the von Neumann entropy as well as its classical counterpart, the Gibbs or Shannon entropy. The entropy measure is based on hypothesis testing and has an elegant formulation…
The idea of quantum relativity as a generalized, or rather deformed, version of Einstein (special) relativity has been taking shape in recent years. Following the perspective of deformations, while staying within the framework of Lie…
A foundational result in constructive quantum field theory is the construction of the free bosonic quantum field theory in four-dimensional Euclidean spacetime and the proof that it satisfies the Glimm-Jaffe axioms, a variant of the…
We review the basic idea behind resource theories, where we quantify quantum resources by specifying a restricted class of operations. This divides the state space into various sets, including states which are free (because they can be…