Quantum and Reality

• URL: http://arxiv.org/abs/2311.11035v1
• Date: Sat, 18 Nov 2023 11:00:12 GMT
• Title: Quantum and Reality
• Authors: Hisham Sati and Urs Schreiber
• Abstract summary: We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory. This construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We show how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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. The first is naturally addressed by dependent-linearly typed languages such as Proto-Quipper or, following our recent observations: Linear Homotopy Type Theory (LHoTT). The second point has received much attention (only) in the form of semantics in "dagger-categories", where operator adjoints are axiomatized but their specification to Hermitian adjoints still needs to be imposed by hand. We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory, lends itself to homotopically-typed languages and naturally connects to topological quantum states classified by twisted equivariant KR-theory. Namely, we observe that when the complex numbers are considered as a monoid internal to Z/2-equivariant real linear types, via complex conjugation, then (finite-dimensional) Hilbert spaces do become self-dual objects among internally-complex Real modules. The point is that this construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We observe that just such a term is constructible in LHoTT, where it interprets as an element of the infinity-group of units of the sphere spectrum, tying the foundations of quantum theory to homotopy theory. We close by indicating how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT.

Related papers

• Strict area law entanglement versus chirality [15.809015657546915]
  Chirality is a gapped phase of matter in two spatial dimensions that can be manifested through non-zero thermal or electrical Hall conductance. We prove two no-go theorems that forbid such chirality for a quantum state in a finite dimensional local Hilbert space with strict area law entanglement entropies.
  arXiv  Detail & Related papers  (2024-08-19T18:00:01Z)
• Entanglement of Sections: The pushout of entangled and parameterized quantum information [0.0]
  Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/-structure. We make precise a form of the relevant pushout diagram in monoidal category theory. We show how this model category serves as categorical semantics for the linear-multiplicative fragment of Linear Homotopy Type Theory.
  arXiv  Detail & Related papers  (2023-09-13T18:28:43Z)
• Matter relative to quantum hypersurfaces [44.99833362998488]
  We extend the Page-Wootters formalism to quantum field theory. By treating hypersurfaces as quantum reference frames, we extend quantum frame transformations to changes between classical and nonclassical hypersurfaces.
  arXiv  Detail & Related papers  (2023-08-24T16:39:00Z)
• An alternative foundation of quantum theory [0.0]
  A new approach to quantum theory is proposed in this paper. The accessible variables are just ideal observations connected to an observer or to some communicating observers. It is shown here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional.
  arXiv  Detail & Related papers  (2023-05-11T11:12:00Z)
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory [44.99833362998488]
  We introduce quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple quantum numbers. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories.
  arXiv  Detail & Related papers  (2022-12-28T18:56:25Z)
• Circuit Complexity in Topological Quantum Field Theory [0.0]
  Quantum circuit complexity has played a central role in advances in holography and many-body physics. In a departure from standard treatments, we aim to quantify the complexity of the Euclidean path integral. We argue that the pants decomposition provides a natural notion of circuit complexity within the category of 2-dimensional bordisms. We use it to formulate the circuit complexity of states and operators in 2-dimensional topological quantum field theory.
  arXiv  Detail & Related papers  (2021-08-30T18:00:00Z)
• The Ultraviolet Structure of Quantum Field Theories. Part 1: Quantum Mechanics [0.0]
  This paper fires the opening salvo in the systematic construction of the lattice-continuum correspondence. The focus will be on quantum field theory in (0+1)D, i.e. quantum mechanics.
  arXiv  Detail & Related papers  (2021-05-24T18:00:06Z)
• Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
  We present a family of topological quantum gravity theories associated with the geometric theory of the Ricci flow. First, we use BRST quantization to construct a "primitive" topological Lifshitz-type theory for only the spatial metric. We extend the primitive theory by gauging foliation-preserving spacetime symmetries.
  arXiv  Detail & Related papers  (2020-10-29T06:15:30Z)
• Poincar\'{e} crystal on the one-dimensional lattice [8.25487382053784]
  We develop the quantum theory of particles with discrete Poincar'e symmetry on the one-dimensional Bravais lattice. We find the conditions for the existence of representation, which are expressed as the congruence relation between quasi-momentum and quasi-energy. During the propagation, the particles stay localized on a single or a few sites to preserve the Lorentz symmetry.
  arXiv  Detail & Related papers  (2020-09-20T14:44:42Z)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)
• Symmetries in Foundation of Quantum Theory and Mathematics [0.0]
  We consider finite quantum theory (FQT) where states are elements of a space over a finite ring or field with characteristic $p$ and operators of physical quantities act in this space. We prove that, with the same approach to symmetry, FQT and finite mathematics are more general than standard quantum theory and classical mathematics.
  arXiv  Detail & Related papers  (2020-03-05T04:46:04Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.