The Orthomodular Poset of Projections of A Symmetric Lattices

In a Hilbert space, there exists a natural correspondence between continuous projections and particular pairs of closed subspaces. In this paper, we generalize this situation and associate to a symmetric lattice L a subset P(L) of L× L, called its projection poset. If L is the lattice of closed subspaces of a topological vector space then elements of P(L) correspond to continuous projections and we prove that automorphisms of P(L) are determined by automorphisms of the lattice L when this lattice satisfies some basic properties of lattices of closed subspaces. Primary: 06C15, Secondary: 03G12 81P10.     

Entropy of Quantum Dynamical Systems and Sufficient Families in Orthomodular Lattices with Bayessian State

The purpose of the present paper is to study the entropy hs（Ф） of a quantum dynamical systems Ф = （ L, s, Ф）, where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy hs（ Ф, A） of partition A of a Boolean algebra B with respect to a state s and a state preserving homomorphism Ф, we prove a few results on that, define the entropy of a dynamical system hs（Ф）, and show its invariance. The concept of sufficient families is also given and we establish that hs （Ф） comes out to be equal to the supremum of hs （Ф,A）, where A varies over any sufficient family. The present theory has then been extended to the quantum dynamical system （ L, s, Ф）, which as an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system （B, s0, Ф）, where B is a Boolean algebra and so is a state on B.     

Entropy of Quantum Dynamical Systems and Sufficient Families in Orthomodular Lattices with Bayessian State

The purpose of the present paper is to study the entropy h_s(Φ) of a quantum dynamical systems Φ=(L,s,φ), where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy h_s(φ,A) of partition A of a Boolean algebra B with respect to a state s and a state preserving homomorphism φ, we prove a few results on that, define the entropy of a dynamical system h_s(Φ), and show its invariance. The concept of sufficient families is also given and we establish that h_s(Φ) comes out to be equal to the supremum of h_s(φ,A), where A varies over any sufficient family. The present theory has then been extended to the quantum dynamical system (L,s,φ), which as an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system (B, s₀,φ), where B is a Boolean algebra and s₀ is a state on B.     

Automorphism Groups of Orthomodular Lattices Obtained from Quadratic Spaces

We study the automorphism group of some orthomodular lattices, obtained from a quadratic space over a field K. We show how this group is linked to the semi-orthogonal group and with the group of all similarity transformations of the quadratic space. When the field K is finite, the cardinality of the automorphism group is given. AMS subject classification (1991): 06C15, 15A63, 20D45.     

Orthomodular Lattices and Quantales

Let L be a complete orthomodular lattice. There is a one to one correspondence between complete Boolean subalgebras of L contained in the center of L and endomorphisms j of L satisfying the Borceux–van den Bossche conditions. This article is dedicated to Raquel Hernández. SUBJCLASS: 0210.Ab, 0210.De, 03.65.-ca     

Equivalencies, Identities, Symmetric Differences, and Congruencies in Orthomodular Lattices

It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity of equivalence terms and several other 3-variable expressions involving equivalence terms have been proved to hold in any orthomodular lattice. Symmetric differences have been shown to reduce to complements of equivalence terms. Some congruence relations related to equivalence operations and symmetric differences have been considered.     

Tensor Products of Quantum Structures and Their Applications in Quantum Measurements

Tensor products of quantum logics and effect algebras with some known problems are reviewed. It is noticed that although tensor products of effect algebras having at least one state exist, in the category of complex Hilbert space effect algebras similar problems as with tensor products of projection lattices occur. Nevertheless, if one of the two coupled physical systems is classical, tensor product exists and can be considered as a Boolean power. Some applications of tensor products (in the form of Boolean powers) to quantum measurements are reviewed.     

Quantum Algorithms in Hilbert Database

A fast quantum algorithm for a search and pattern recognition in a Hilbert space memory structure is proposed. All the memory information is mapped onto a unitary operator acting upon a quantum state which represents a piece of information to be retrieved. As a result of only one quantum measurement, the address of the required information encoded in a number of the corresponding row of the unitary matrix is determined. By combining direct and dot products, the dimensionality of the memory space can be made exponentially large, using only linear resources. However, since the preprocessing, i.e., mapping the memory information into a Hilbert space can appear to be exponentially expensive, the proposed algorithm will be effective for NASA applications when the preprocessing is implemented on the ground, while the memory search is performed on remote objects.     

Some Special Solutions of Three Nonlinear Lattices

Some soliton solutions and periodic solutions of hybrid lattice, discretized mKdV lattice, and modified Volterra lattice have been obtained by introducing a new method. This approach allows us to directly construct some explicit exact solutions for polynomial nonlinear differential-difference equations.     

Some Special Solutions of Three Nonlinear Lattices

Some soliton solutions and periodic solutions of hybrid lattice, discretized mKdV lattice, and modified Volterra lattice have been obtained by introducing a new method. This approach allows us to directly construct some explicit exact solutions for polynomial nonlinear differential-difference equations.     

Quantum Implication Algebras

Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and quasi-implication algebras are analyzed and put in perspective to each other and our results.     

高维辅助的普适量子线路优化

受到Lanyon等(Lanyon B P et al 2008 Nature Physics. 5 134)利用高维Hilbert空间成功简化Toffoli门的启发, 本文将辅助维度应用到普适量子线路中, 结合Cosine-Sine Decomposition(CSD), Quantum Shannon Decomposition(QSD)等矩阵分解方法, 优化了两比特和三比特普适幺正量子线路, 给出了计算n比特普适量子线路复杂度的公式, 并利用线性光学和腔QED系统设计了实验方案. 结果表明, 两比特和三比特量子线路的复杂度已分别接近和优于目前最优结果, 且随着比特数的增加, 本方案的优势愈加明显.     

Qubit Semantics and Quantum Trees

In the qubit semantics the meaning of any sentence α is represented by a quregister: a unit vector of the n–fold tensor product ⊗ⁿ ℂ², where n depends on the number of occurrences of atomic sentences in α (see Cattaneo et al.). The logic characterized by this semantics, called quantum computational logic (QCL), is unsharp, because the noncontradiction principle is violated. We show that QCL does not admit any logical truth. In this framework, any sentence α gives rise to a quantum tree, consisting of a sequence of unitary operators. The quantum tree of α can be regarded as a quantum circuit that transforms the quregister associated to the occurrences of atomic subformulas of α into the quregister associated to α.     

Quantic Superpositions and the Geometry of Complex Hilbert Spaces

The concept of a superposition is a revolutionary novelty introduced by Quantum Mechanics. If a system may be in any one of two pure states x and y, we must consider that it may also be in any one of many superpositions of x and y. An in-depth analysis of superpositions is proposed, in which states are represented by one-dimensional subspaces, not by unit vectors as in Dirac’s notation. Superpositions must be considered when one cannot distinguish between possible paths, i.e., histories, leading to the current state of the system. In such a case the resulting state is some compound of the states that result from each of the possible paths. States can be compounded, i.e., superposed in such a way only if they are not orthogonal. Since different classical states are orthogonal, the claim implies no non-trivial superpositions can be observed in classical systems. The parameter that defines such compounds is a proportion defining the mix of the different states entering the compound. Two quantities, p and θ, both geometrical in nature, relate one-dimensional subspaces in complex Hilbert spaces: the first one is a measure of proximity relating two rays, the second one is an angle relating three rays. The properties of superpositions with respect to those two quantities are studied. The algebraic properties of the operation of superposition are very different from those that govern linear combination of vectors. This work was partially supported by the Jean and Helene Alfassa fund for research in Artificial Intelligence, by the Israel Science Foundation grant 183/03 on “Quantum and other cumulative logics” and by EPSRC Visiting Fellowship GR/T 24562 on “Quantum Logic”.     

Equations, State, and Lattices of Infinite-Dimensional Hilbert Spaces

We provide several new result on quantum state space, on the lattice of subspacesof an infinite-dimensional Hilbert space, and on infinite-dimensional Hilbert spaceequations as well as on connections between them. In particular, we obtainan n-variable generalized orthoarguesian equation which holds in anyinfinite-dimensional Hilbert space. Then we strengthen Godowski's equationsas well ass the orthomodularity hold. We also prove that all six- and four-variableorthoarguesian equation presented in the literature can be reduced to newfour- and three-variable ones, respectively, and that Mayet's examples follow fromGodowski's equations. To make a breakthrough in testing these massive equations,we designed several novel algorithms for generating Greechie diagrams with anarbitrary number of blocks and atoms (currently testing with up to 50) and forautomated checking of equations on them. A way of obtaining complexinfinite-dimensional Hilbert space from the Hilbert lattice equipped with several additionalconditions and without invoking the notion of state is presented. Possiblerepercussions of the results on quantum computing problems are discussed.     

Noncommutative Symmetric Differences in Orthomodular Lattices

We deal with the following question: What is the proper way to introduce symmetric difference in orthomodular lattices? Imposing two natural conditions on this operation, six possibilities remain: the two (commutative) normal forms of the symmetric difference in Boolean algebras and four noncommutative terms. It turns out that in many respects the noncommutative forms, though more complex with respect to the lattice operations, in their properties are much nearer to the symmetric difference in Boolean algebras than the commutative terms. As application we demonstrate the usefulness of noncommutative symmetric differences in the context of congruence relations.     

Fock Theories and Quantum Logics

The notion of Fock theory is introduced in the framework of quantum logics, which are here orthomodular atomic lattices satisfying the covering property. It is shown that there are some fundamental facts concerning particles, which may be successfully discussed in this general context. One of these facts is to establish the theoretical conditions for considering particles as sharply defined entities. The other refers to the theoretical circumstances, which almost impose to consider that some particles have a structure, meaning they are composed from other particles. This last problem is strongly related with the conservative time evolutions.     

Representation Theorem of Observables on a Quantum System

An orthomodular lattice (OML) with a conditional state can be used as a model for noncompatible events (a quantum system). In this paper we will study some properties of a conditional state and an s-map which are defined on an OML. We show conditions when a quantum system has the same properties as the classical probability space.     

Decidability in Orthomodular Lattices

We discuss the possibility of automatic simplification of formulas in orthomodular lattices. We describe the principles of a program which decides the validity of equalities and inequalities, as well as implications between them and other important relations significant in quantum mechanics. PACS: 02.10.-v, 02.10.Ab, 02.10.De, 03.65.Fd. AMS Subject classification: 06C15, 03G12, 06B10, 06B25, 81P10.