Related papers: Sheaves in Quantum Topos Induced by Quantization

The paper consists of two parts. In the first part Schroedinger's equation for a charged quantum particle in a Galilei-Newton curved space-time is derived in a fully geometrical way. Gravitational and electromagnetic fields are coded into…

We pursue the view that quantum theory may be an emergent structure related to large space-time scales. In particular, we consider classical Hamiltonian systems in which the intrinsic proper time evolution parameter is related through a…

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this…

We prove the existence of topological rings in (0,2) theories containing non-anomalous left-moving U(1) currents by which they may be twisted. While the twisted models are not topological, their ground operators form a ring under…

In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand…

Using von Neumann algebras, we extend the theory of quantum computation on a graph to a theory of computation on an arbitrary topological space.

We propose a theory for coupling matter fields with discrete geometry on higher-order networks, i.e. cell complexes. The key idea of the approach is to associate to a higher-order network the quantum entropy of its metric. Specifically we…

In this article we study persistence features of topological entropy and periodic orbit growth of Hamiltonian diffeomorphisms on surfaces with respect to Hofer's metric. We exhibit stability of these dynamical quantities in a rather strong…

We show that the Feynman path integral together with the Schr\"odinger representation gives rise to a rigorous and functorial quantization scheme for linear and affine field theories. Since our target framework is the general boundary…

We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…

In quantum computing, the computation is achieved by linear operators in or between Hilbert spaces. In this work, we explore a new computation scheme, in which the linear operators in quantum computing are replaced by (higher) functors…

We already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the…

We construct toral Chern-Simons theory with gauge group $\mathbb T=\mathfrak t/\Lambda\cong U(1)^n$ from an even, integral, nondegenerate symmetric bilinear form $K:\Lambda\times\Lambda\to\mathbb Z$ by geometric quantization via real…

Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity.…

We study families of algebraic varieties parametrized by topological spaces and generalize some classical results such as Hilbert Nullstellensatz and primary decomposition of commutative rings. We show that there is an equivalence between…

For a Dirac theory of quantum gravity obtained from the refined algebraic quantization procedure, we propose a quantum notion of Cauchy surfaces. In such a theory, there is a kernel projector for the quantized scalar and momentum…

The geometrical description of a Hilbert space asociated with a quantum system considers a Hermitian tensor to describe the scalar inner product of vectors which are now described by vector fields. The real part of this tensor represents a…

We consider the method of topological quantization for conservative systems with a finite number of degrees of freedom. Maupertuis' formalism for classical mechanics provides an appropriate scenario which permit us to adapt the method of…

On the basis of the principle that topological quantum phases arise from the scattering around space-time defects in higher dimensional unification, a geometric model is presented that associates with each quantum phase an element of a…

The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There is a state object, analogous to the state space of a…