Related papers: Orthocomplementation and compound systems
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general…
It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we…
Decompositions of the world into systems have typically been regarded as arbitrary extra-theoretical assumptions in discussions of quantum measurement. One can instead regard decompositions as part of the theory, and ask what conditions…
An obstacle to realize supersymmetry on a lattice is the breakdown of Leibniz rule. We give a proof of a no-go theorem that it is impossible to construct a lattice field theory in an infinite lattice volume with any nontrivial field…
A formulation of quantum mechanics based on an operational definition of state is presented. This formulation, which includes explicitly the macroscopic systems, assumes the probabilistic interpretation and is nevertheless objective. The…
The concept of a covering system was first introduced by Erd\H{o}s in 1950. Since their introduction, a lot of the research regarding covering systems has focused on the existence of covering systems with certain restrictions on the moduli.…
The quantum state is a mathematical object used to determine the outcome probabilities of measurements on physical systems. Its fundamental nature has been the subject of discussions since the origin of the theory: is it ontic, that is,…
A multi-component electron model on a lattice is constructed whose ground state exhibits a spontaneous ordering which follows the rule of map-coloring used in the solution of the four color problem. The number of components is determined by…
Representation theory is shown to be incomplete in terms of enumerating all integrable limits of quantum systems. As a consequence, one can find exactly solvable Hamiltonians which have apparently strongly broken symmetry. The number of…
A formalism of lattice supersymmetry based on a lattice-deformed superalgebra which was originally introduced in the link approach formulation is presented. We propose that the superalgebra can in fact be identified as a Hopf algebra,…
Quantum ergordic theorem for a large class of quantum systems was proved by von Neumann [Z. Phys. {\bf 57}, 30 (1929)] and again by Reimann [Phys. Rev. Lett. {\bf 101}, 190403 (2008)] in a more practical and well-defined form. However, it…
This paper first gives a necessary and sufficient condition that a lattice $L$ can be represented as the collection of all up-sets of a poset. Applying the condition, it obtains a necessary and sufficient condition that a lattice can be…
A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of…
Since Renes et al. [J. Math. Phys. 45, 2171 (2004)], there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite…
There are four reasons why our present knowledge and understanding of quantum mechanics could be regarded as incomplete. Firstly, the principle of linear superposition has not been experimentally tested for position eigenstates of objects…
We show that all finite lattices, including non-distributive lattices, arise as stable matching lattices when all agents have path-independent choice functions. This result answers an open question of Blair~\cite{blair1988lattice}. In the…
We construct an oracle relative to which $\mathrm{P} = \mathrm{NP} \cap \mathrm{coNP}$, but there are no many-one complete sets in $\mathrm{UP}$, no many-one complete disjoint $\mathrm{NP}$-pairs, and no many-one complete disjoint…
Thomason \cite{Thomason74} showed that a certain modal logic $\mathbf{L}\subset \mathbf{S4}$ is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed that $\mathbf{L}$ is also incomplete with respect to…
Einstein's article on the EPR paradox is the most cited of his works, but not many know that it was not fully representative of the way he thought about the incompleteness of the quantum formalism. Indeed, his main worry was not…
It is known that if the underlying iterated function system satisfies the open set condition, then the upper box dimension of an inhomogeneous self-similar set is the maximum of the upper box dimensions of the homogeneous counterpart and…