Related papers: Topos Analogues of the KMS State
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual…
For every Hilbert bimodule over a C*-algebra, there are natural gauge actions of the circle on the associated Toeplitz algebra and Cuntz-Pimsner algebra, and hence natural dynamics obtained by lifting these gauge actions to actions of the…
With any state of a multipartite quantum system its separability polytope is associated. This is an algebro-topological object (non-trivial only for mixed states) which captures the localisation of entanglement of the state. Particular…
Index maps taking values in the $K$-theory of a mapping cone are defined and discussed. The resulting index theorem can be viewed in analogy with the Freed-Melrose index theorem. The framework of geometric $K$-homology is used in a…
A preliminary investigation is made of possible applications in quantum theory of the topos formed by the collection of all $M$-sets, where $M$ is a monoid. Earlier results on topos aspects of quantum theory can be rederived in this way.…
We use the topological quantum field theory description of states in Chern-Simons theory to discuss the relation between spacetime connectivity and entanglement, exploring the paradigm entanglement=topology. We define a special class of…
One of the most fundamental facts in topos theory is the internal parameterization of subtoposes: the bijective correspondence between subtoposes and Lawvere-Tierney topologies. In this paper, we introduce a new but elementary concept, "a…
Let $A$ be a unital C$^*$-algebra and let $\sigma$ be a one-parameter automorphism group of $A$. We consider $\operatorname{QSS}_\sigma(A)$, the set of all quantum symmetric states on $*_1^\infty A$ that are also KMS states (for a fixed…
Topological order has become a new paradigm to distinguish ground states of interacting many-body systems without conventional long-range order. Here we discuss possible extensions of this concept to density matrices describing statistical…
We extend the theory of perturbations of KMS states to some class of unbounded perturbations using noncommutative Lp-spaces. We also prove certain stability of the domain of the Modular Operator associated to a ||.||p-continuous state. This…
The definition of 'classical state', and how it was used in earlier work to prove a decomposition theorem internally in the language of State Property Systems, presupposes as an additional datum an orthocomplementation on the property…
It is well-known that thermal equilibrium states in quantum statistical mechanics and quantum field theory can be described in a mathematically rigorous manner by means of the so-called Kubo-Martin-Schwinger (KMS) condition, which is based…
The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum…
We present a scheme to explicitly construct and classify general topological states jointly protected by an onsite symmetry group and a spatial symmetry group. We show that all these symmetry protected topological states can be…
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.
Projected entangled pair states (PEPS) provide a natural ansatz for the ground states of gapped, local Hamiltonians in which global characteristics of a quantum state are encoded in properties of local tensors. We develop a framework to…
A systematic review of the various topologies that can be defined on the projective Hilbert space P(H), i.e., on the set of the pure quantum states, is presented. It is shown that P(H) carries a natural topology as well as a natural…
We apply methods from algebraic geometry to study uniform matrix product states. Our main results concern the topology of the locus of tensors expressed as uMPS, their defining equations and identifiability. By an interplay of theorems from…
According to D\"oring and Isham the spectral topos corresponds to any quantum system. The description of a system in the topos becomes similar to this given by classical theory, up to multiplication of observables. Logic of the emergent…