Related papers: Intuitionistic quantum logic of an n-level system
This chapter is offered as a contribution to the logic of down below. We attempt to demonstrate that the nature of human agency necessitates that there actually be such a logic. The ensuing sections develop the suggestion that cognition…
We propose a type-theoretic framework for describing and proving properties of quantum computations, in particular those presented as quantum circuits. Our proposal is based on an observation that, in the polymorphic type system of Coq,…
An approach to quantum gravity and cosmology is proposed based on a synthesis of four elements: 1) the Bekenstein bound and the related holographic hypothesis of 't Hooft and Susskind, 2) topological quantum field theory, 3) a new approach…
This paper is the first in a series whose goal is to develop 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 theories of…
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…
The quantum measurement problem is often presented as a conflict between unitary evolution and non-unitary collapse. Drawing on Wittgenstein's later philosophy of language and Bohr's principle of complementarity, we argue that this conflict…
We present the first examples of topological phases of matter with uniform power for measurement-based quantum computation. This is possible thanks to a new framework for analyzing the computational properties of phases of matter that is…
Encoding and manipulation of quantum information by means of topological degrees of freedom provides a promising way to achieve natural fault-tolerance that is built-in at the physical level. We show that this topological approach to…
Topology forms a cornerstone in modern condensed matter and statistical physics, offering a new framework to classify the phases and phase transitions beyond the traditional Landau paradigm. However, it is widely believed that topological…
We propose a new quantum approach for describing a system of $n$ interacting particles with variable mass connected by an unknown field with variable form ($n$-VMVF systems). Instead of assuming any particular nature for variation of the…
It is customary to conceive the interactions of all the constituents of a molecular system, i.e. electrons and nuclei, as Coulombic. However, in a more detailed analysis one may always find small but non-negligible non-Coulombic…
Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about…
In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of…
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann…
A gapped many-body system is described by path integral on a space-time lattice $C^{d+1}$, which gives rise to a partition function $Z(C^{d+1})$ if $\partial C^{d+1} =\emptyset$, and gives rise to a vector $|\Psi\rangle$ on the boundary of…
Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$.…
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework…
It is now well established that quantum tomography provides an alternative picture of quantum mechanics. It is common to introduce tomographic concepts starting with the Schrodinger-Dirac picture of quantum mechanics on Hilbert spaces. In…
The main purpose of this paper is to present a new approach to logic or what we will call superlogic. This approach constitutes a new way of looking at the connection between quantum mechanics and logic. It is a {\it geometrisation} of the…
We propose a system of information-theoretic axioms from which we derive the formalism of quantum theory. Part I is devoted to the conceptual foundations of the information-theoretic approach. We argue that this approach belongs to the…