Quantum Computational Semantics on Fock Space

Chiara, M.; Giuntini, R.; Gudder, S.; Leporini, R.
December 2005
International Journal of Theoretical Physics;Dec2005, Vol. 44 Issue 12, p2219
Academic Journal
In the Fock space semantics, meanings of sentences are identified with density operators of the (unsymmetrized) Fock space $${\cal F}$$ based on the Hilbert space ℂ2. Generally, the meaning of a sentence is smeared over different sectors of $${\cal F}$$ . The standard quantum computational semantics is a limit case of the Fock space semantics, where the meaning of any sentence α only “lives” in one sector of $${\cal F}$$ , which is determined by the logical complexity of α. We prove that the global Fock space semantics and the standard quantum computational semantics characterize the same logic.


Related Articles

  • QUANTUM VS. CLASSICAL LOGIC: THE REVISIONIST APPROACH. TÂRZIU, Gabriel // Logos & Episteme;2012, Vol. 3 Issue 4, p579 

    Quantum logic can be understood in two ways: as a study of the algebraic structures that appear in the context of the Hilbert space formalism of quantum mechanics; or as representing a non-classical logic in conflict with classical logic. My aim in this paper is to analyze the possibility to...

  • Distributivity breaking and macroscopic quantum games. Grib, A. A.; Khrennikov, A. Yu.; Parfionov, G. N.; Starkov, K. A. // AIP Conference Proceedings;2005, Vol. 750 Issue 1, p108 

    Examples of games between two partners with mixed strategies, calculated by the use of the probability amplitude as some vector in Hilbert space are given. The games are macroscopic, no microscopic quantum agent is supposed. The reason for the use of the quantum formalism is in breaking of the...

  • A global ab initio potential energy surface for the X 2A′ ground state of the Si + OH → SiO + H reaction. Dayou, Fabrice; Duflot, Denis; Rivero-Santamaría, Alejandro; Monnerville, Maurice // Journal of Chemical Physics;Nov2013, Vol. 139 Issue 20, p204305 

    We report the first global potential energy surface (PES) for the X 2A′ ground electronic state of the Si(3P) + OH(X2Π) → SiO(X1Σg+) + H(2S) reaction. The PES is based on a large number of ab initio energies obtained from multireference configuration interaction calculations...

  • Auxiliary-field quantum Monte Carlo calculations of molecular systems with a Gaussian basis. Al-Saidi, W. A.; Shiwei Zhang; Krakauer, Henry // Journal of Chemical Physics;6/14/2006, Vol. 124 Issue 22, p224101 

    We extend the recently introduced phaseless auxiliary-field quantum Monte Carlo (QMC) approach to any single-particle basis and apply it to molecular systems with Gaussian basis sets. QMC methods in general scale favorably with the system size as a low power. A QMC approach with auxiliary...

  • Symmetry and Topology in Quantum Logic. Wilce, Alexander // International Journal of Theoretical Physics;Dec2005, Vol. 44 Issue 12, p2303 

    A test space is a collection of non-empty sets, usually construed as the catalogue of (discrete) outcome sets associated with a family of experiments. Subject to a simple combinatorial condition called algebraicity, a test space gives rise to a “quantum logic”—that is, an...

  • Classical Quantum Mechanics. Mills, Randell L. // Physics Essays;Dec2003, Vol. 16 Issue 4, p433 

    Despite its successes, quantum mechanics (QM) has remained mysterious to all who have encountered it. Starting with Bohr and progressing into the present, the departure from intuitive, physical reality has widened. The connection between QM and reality is more than just a "philosophical" issue....

  • Basis set approach to the quantum dissipative dynamics: Application of the multiconfiguration time-dependent Hartree method to the spin-boson problem. Wang, Haobin; Haobin Wang // Journal of Chemical Physics;12/8/2000, Vol. 113 Issue 22 

    The feasibility of using a basis set approach to the study of quantum dissipative dynamics is investigated for the spin-boson model, a system of two discrete states linearly coupled to a harmonic bath. The infinite Hamiltonian is discretized to a finite number of degrees of freedom. Traditional...

  • Unitary quantum time evolution by iterative Lanczos reduction. Park, Tae Jun; Light, J. C. // Journal of Chemical Physics;11/15/1986, Vol. 85 Issue 10, p5870 

    A general unitary time evolution method for wave packets defined on a fixed L2 basis is developed. It is based on the Lanczos reduction of the full N×N Hamiltonian to a p-dimensional subspace defined by the application of H p-1 times to the initial vector. Unitary time evolution in the...

  • Basis set methods for describing the quantum mechanics of a ‘‘system’’ interacting with a harmonic bath. Makri, Nancy; Miller, William H. // Journal of Chemical Physics;2/1/1987, Vol. 86 Issue 3, p1451 

    The case of a system (e.g., a one-dimensional reaction coordinate) coupled to a ‘‘bath’’ of many harmonic oscillators is treated by quantum mechanical basis set methods. By choosing the basis set for the bath to incorporate the coupling explicitly, it is shown how the...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics