相关论文: Orthocomplementation and compound systems
The Lieb-Schultz-Mattis theorem dictates that a trivial symmetric insulator in lattice models is prohibited if lattice translation symmetry and $U(1)$ charge conservation are both preserved. In this paper, we generalize the…
Given two complete atomistic lattices L_1 and L_2, we define a set S(L_1,L_2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal…
In the first section of the present work, we introduce the concept of pseudocomplementation for semirings and show semiring version of some known results in lattice theory. We also introduce semirings with pc-functions and prove some…
We study quantum hypothesis testing between orthogonal states under restricted local measurements in the many-copy scenario. For testing arbitrary multipartite entangled pure state against its orthogonal complement state via the local…
We apply to locally finite partially ordered sets a construction which associates a complete lattice to a given poset; the elements of the lattice are the closed subsets of a closure operator, defined starting from the concurrency relation.…
It is known that the global state of a composite quantum system can be completely determined by specifying correlations between measurements performed on subsystems only. Despite the fact that the quantum correlations thus suffice to…
Let $\lambda$ and $\kappa$ be cardinal numbers such that $\kappa$ is infinite and either $2\leq \lambda\leq \kappa$, or $\lambda=2^\kappa$. We prove that there exists a lattice $L$ with exactly $\lambda$ many congruences, $2^\kappa$ many…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
The physics of strongly correlated quantum particles within a flat band was originally explored as a route to itinerant ferromagnetism and, indeed, a celebrated theorem by Lieb rigorously establishes that the ground state of the repulsive…
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical…
We study the extent to which \psi-epistemic models for quantum measurement statistics---models where the quantum state does not have a real, ontic status---can explain the indistinguishability of nonorthogonal quantum states. This is done…
We put forward a new take on the logic of quantum mechanics, following Schroedinger's point of view that it is composition which makes quantum theory what it is, rather than its particular propositional structure due to the existence of…
Earlier an arbitrary poset $P$ was proved to be isomorphic to the collection of subsets of a space $M$ with two closures which are closed in the first closure and open in the other. As a space $M$ for this representation an algebraic dual…
Birkhoff's 1937 dual representation of finite distributive lattices via finite posets was in 1970 extended to a dual representation of arbitrary distributive lattices via compact totally order-disconnected topological spaces by Priestley.…
Wheeler's delayed choice experiment, a well known manifestation of the complementarity principle, has proved somewhat difficult to physically interpret. We show that, restated in quantum field theoretic language, the experiment submits to a…
As one of the most intriguing intrinsic properties of quantum world, quantum superposition provokes great interests in its own generation. Oszmaniec [Phys. Rev. Lett. 116, 110403 (2016)] have proven that though a universal quantum machine…
In this work we study the convex set of quantum states from a quantum logical point of view. We consider an algebraic structure based on the convex subsets of this set. The relationship of this algebraic structure with the lattice of…
Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice.…
The notion of "closed systems" in Quantum Mechanics is discussed. For this purpose, we study two models of a quantum-mechanical system $P$ spatially far separated from the "rest of the universe" $Q$. Under reasonable assumptions on the…
The Lieb-Schultz-Mattis (LSM) theorem and its generalizations forbids the existence of a unique gapped ground state in the presence of certain lattice and internal symmetries and thus imposes powerful constraints on the low energy…