Quantum logic for genuine quantum simulators

Mladen Pavicic

doi:10.1117/12.391957

13 July 2000 Quantum logic for genuine quantum simulators

Mladen Pavicic

Proceedings Volume 4047, Quantum Computing; (2000) https://doi.org/10.1117/12.391957
Event: AeroSense 2000, 2000, Orlando, FL, United States

Abstract

Recently we proved that there are two non-isomorphic models of the calculus of quantum logic corresponding to an infinite-dimensional Hilbert space representation: an orthomodular lattice and a weakly orthomodular lattice. We also discovered that there are two non-isomorphic models of the calculus of classical logic: a distributive lattice (Boolean algebra) and a weakly distributive lattice. In this work we consider implications of these results to a quantum simulator which should mimic quantum systems by giving precise instructions on how to produce input state, how to evolve them, and how to read off the final states. We analyze which conditions quantum states of a quantum computer currently obey and which they should obey in order to enable full quantum computing, i.e., proper quantum mathematics. In particular we find several new conditions which lattices of Hilbert space subspaces must satisfy.

Citation Download Citation

Mladen Pavicic "Quantum logic for genuine quantum simulators", Proc. SPIE 4047, Quantum Computing, (13 July 2000); https://doi.org/10.1117/12.391957

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available