Algebras of Measurements: The Logical Structure of Quantum Mechanics

In quantum physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties of such operators are justified on epistemological grounds. Commutation of measurements is a central topic of interest. Classical logical systems may be viewed as measurement algebras in which all measurements commute. PACS: 02.10.-V.     

Quantum Computational Logic

A quantum computational logic is constructed by employing density operators on spaces of qubits and quantum gates represented by unitary operators. It is shown that this quantum computational logic is isomorphic to the basic sequential effect algebra [0, 1].     

Quantum Logic Network for Probabilistic Cloning Quantum States

We construct efficient quantum logic network for probabilistic cloning the quantum states used in implemented tasks for which cloning provides some enhancement in performance.     

Quantum Fourier Transform-Based Arithmetic Logic Unit on a Quantum Processor

This study proposes and construct a primitive quantum arithmetic logic unit (qALU) based on the quantum Fourier transform (QFT). The qALU is capable of performing arithmetic ADD (addition) and logic NAND gate operations. It designs a scalable quantum circuit and presents the circuits for driving ADD and NAND operations on two-input and four-input quantum channels, respectively. By comparing the required number of quantum gates for serial and parallel architectures in executing arithmetic addition, it evaluates the performance. It also execute the proposed quantum Fourier transform-based qALU design on real quantum processor hardware provided by IBM. The results demonstrate that the proposed circuit can perform arithmetic and logic operations with a high success rate. Furthermore, it discusses in detail the potential implementations of the qALU circuit in the field of computer science, highlighting the possibility of constructing a soft-core processor on a quantum processing unit.     

Typed Quantum Logic

The aim of this paper was to lift traditional quantum logic to its higher order version with the help of a type-theoretic method. A higher order axiomatic system is defined explicitly and then a sound and complete class of models is given. This is an attempt to provide a quantum counterpart of classical set theory or intuitionistic topos.     

Grammar Theory Based on Quantum Logic

Motivated by Ying' work on automata theory based on quantum logic (Ying, M. S. (2000). International Journal of Therotical Physics, 39(4): 985–996; 39(11): 2545–2557) and inspired by the close relationship between the automata theory and the theory of formal grammars, we have established a basic framework of grammar theory on quantum logic and shown that the set of l-valued quantum regular languages generated by l-valued quantum regular grammars coincides with the set of l-valued quantum languages recognized by l-valued quantum automata.     

Classical Versus Quantum Probability in Sequential Measurements

We demonstrate in this paper that the probabilities for sequential measurements have features very different from those of single-time measurements. First, they cannot be modelled by a classical stochastic process. Second, they are contextual, namely they depend strongly on the specific measurement scheme through which they are determined. We construct Positive-Operator-Valued measures (POVM) that provide such probabilities. For observables with continuous spectrum, the constructed POVMs depend strongly on the resolution of the measurement device, a conclusion that persists even if we consider a quantum mechanical measurement device or the presence of an environment. We then examine the same issues in alternative interpretations of quantum theory. We first show that multi-time probabilities cannot be naturally defined in terms of a frequency operator. We next prove that local hidden variable theories cannot reproduce the predictions of quantum theory for sequential measurements, even when the degrees of freedom of the measuring apparatus are taken into account. Bohmian mechanics, however, does not fall in this category. We finally examine an alternative proposal that sequential measurements can be modeled by a process that does not satisfy the Kolmogorov axioms of probability. This removes contextuality without introducing non-locality, but implies that the empirical probabilities cannot be always defined (the event frequencies do not converge). We argue that the predictions of this hypothesis are not ruled out by existing experimental results (examining in particular the “which way” experiments); they are, however, distinguishable in principle.     

Quantum Euler Relation for Local Measurements

In classical thermodynamics the Euler relation is an expression for the internal energy as a sum of the products of canonical pairs of extensive and intensive variables. For quantum systems the situation is more intricate, since one has to account for the effects of the measurement back action. To this end, we derive a quantum analog of the Euler relation, which is governed by the information retrieved by local quantum measurements. The validity of the relation is demonstrated for the collective dissipation model, where we find that thermodynamic behavior is exhibited in the weak-coupling regime.     

Quantum Logic Networks for Probabilistic and Controlled Teleportation of Unknown Quantum States

We present simplification schemes for probabilistic and controlled teleportation of the unknown quantum states of both one particle and two particles and construct efficient quantum logic networks for implementing the new schemes by means of the primitive operations consisting of single-qubit gates, two-qubit controlled-not gates, Von Neumann measurement, and classically controlled operations. In these schemes the teleportation are not always successful but with certain probability.     

An Holistic Extension for Classical Logic via Quantum Fredkin Gate

An holistic extension for classical propositional logic is introduced in the framework of quantum computation with mixed states. The mentioned extension is obtained by applying the quantum Fredkin gate to non-factorizable bipartite states. In particular, an extended notion of classical contradiction is studied in this holistic framework.     

Quantum Logic Networks for Probabilistic and Controlled Teleportation of Unknown Quantum States

We present simplification schemes for probabilistic and controlled teleportation of the unknown quantum states of both one particle and two particles and construct efficient quantum logic networks for implementing the new schemes by means of the primitive operations consisting of single-qubit gates, two-qubit controlled-not gates, Von Neumann measurement, and classically controlled operations. In these schemes the teleportation are not always successful but with certain probability.     

Second Quantization Representation of Quantum Logic Gate Transformations

By using the theory of multimode linear transformation in Fock space, we offer an effective method to study the quantum logic gates based on fermion states. The forms of some basic quantum logic operations are also obtained.     

Continuous Quantum Nondemolition Measurements of a Particle in Electromagnetic and Gravitational Fields

The detection of a particle in electromagnetic plus gravitational fields is investigated. We obtain a set of quantum nondemolition variables. The continuous measurements of these nondemolition parameters are analyzed in the framework of restricted path integral formalism. We manipulate the corresponding propagators, and deduce the probabilities associated with the possible measurement outputs.     

Second Quantization Representation of Quantum Logic Gate Transformations

By using the theory of multimode linear transformation in Fock space, we offer an effective method to study the quantum logic gates based on fermion states. The forms of some basic quantum logic operations are also obtained.     

Continuous Quantum Nondemolition Measurements of a Particle in Electromagnetic and Gravitational Fields

The detection of a particle in electromagnetic plus gravitational fields is investigated. We obtain a set of quantum nondemolition variables. The continuous measurements of these nondemolition parameters are analyzed in the framework of restricted path integral formalism. We manipulate the corresponding propagators, and deduce the probabilities associated with the possible measurement outputs.     

Entropy of Partitions on Quantum Logic

Partition and entropy of partitions in quantum logic are introduced and their properties are investigated. The results are generalized to the general case of T-norm and T-conorm.