Related papers: Topos Analogues of the KMS State
The non-classical features of quantum mechanics are reproduced using models constructed with a classical theory - general relativity. The inability to define complete initial data consistently and independently of future measurements,…
This paper starts by describing the dynamics of the electron-monopole system at both classical and quantum level by a suitable reduction procedure. This suggests, in order to realise the space of states for quantum systems which are…
Entanglement is a special feature of the quantum world that reflects the existence of subtle, often non-local, correlations between local degrees of freedom. In topological theories such non-local correlations can be given a very intuitive…
The shape space of k labelled points on a plane can be identified with the space of pure quantum states of dimension k-2. Hence, the machinery of quantum mechanics can be applied to the statistical analysis of planar configurations of…
We completely classify the KMS states for the gauge action on a $C^*$-algebra associated with a rational function $R$ introduced in our previous work. The gauge action has a phase transition at $\beta = \log \deg R$. We can recover the…
Given a zero-one matrix A we consider certain one-parameter groups of automorphisms of the Cuntz-Krieger algebra O_A, generalizing the usual gauge group, and depending on a positive continuous function H defined on the Markov space…
For Fermi systems interacting with a Galilei invariant pair potential with a cut-off for particles with highly different velocities the time evolution corresponds to an automorphism. We prove that all states satisfying the KMS-condition are…
Standard quantum theory represents a composite system at a given time by a joint state, but it does not prescribe a joint state for a composite of systems at different times. If a more even-handed treatment of space and time is possible,…
We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic…
Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form…
Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the…
Calculation of topological order parameters, such as the topological entropy and topological mutual information, are used to determine whether states possess topological order. Their calculation is expected to give reliable results when the…
We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore…
The theory of quantum mechanics is examined using non-standard real numbers, called quantum real numbers (qr-numbers), that are constructed from standard Hilbert space entities. Our goal is to resolve some of the paradoxical features of the…
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
On the example of a free massless and conformally coupled scalar field, it is argued that in quantum field theory in curved spacetimes with time-like Killing field, the corresponding KMS states (generalized Gibbs ensembles) at parameter…
We consider a family of $*$-commuting local homeomorphisms on a compact space, and build a compactly aligned product system of Hilbert bimodules (in the sense of Fowler). This product system has a Nica-Toeplitz algebra and a Cuntz-Pimsner…
The relative graph $C^*$-algebras introduced by Muhly and Tomforde are generalizations of both graph algebras and their Toeplitz extensions. For an arbitrary graph $E$ and a subset $R$ of the set of regular vertices of $E$ we show that the…
We construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…