NDLI: An Extension of Gleason's Theorem for Quantum Computation

Content Provider	Springer Nature Link
Author	Edalat, Abbas
Copyright Year	2004
Abstract	We develop a synthesis of Turing's paradigm of computation and von Neumann's quantum logic to serve as a model for quantum computation with recursion, such that potentially non-terminating computation can take place, as in a quantum Turing machine. This model is based on the extension of von Neumann's quantum logic to partial states, defined here as sub-probability measures on the Hilbert space, equipped with the natural point-wise partial ordering. The sub-probability measures allow a certain probability for the non-termination of the computation. We then derive an extension of Gleason's theorem and show that, for Hilbert spaces of dimension greater than two, the partial order of sub-probability measures is order isomorphic with the collection of partial density operators, i.e. trace class positive operators with trace between zero and one, equipped with the usual partial ordering induced from positive operators. We show that the expected value of a bounded observable with respect to a partial state can be defined as a closed bounded interval, which extends the classical definition of expected value.
Starting Page	1827
Ending Page	1840
Page Count	14
File Format	PDF
ISSN	00207748
Journal	International Journal of Theoretical Physics
Volume Number	43
Issue Number	7-8
e-ISSN	15729575
Language	English
Publisher	Kluwer Academic Publishers-Plenum Publishers
Publisher Date	2004-01-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Physics Quantum Physics Mathematical and Computational Physics Elementary Particles, Quantum Field Theory
Content Type	Text
Resource Type	Article
Subject	Physics and Astronomy Mathematics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Gleason's Theorem in W*J-Algebras in Spaces with Indefinite Metric

An Unsharp Logic from Quantum Computation

Quantum Nondeterministic Computation

Quantum Interference Computation

Equivalence Theorem for Higher Order Equations

Numerical Computation of Quantum Capacity

Quantum Computation of Fuzzy Numbers

Radix-R > 2 Quantum Computation

Moment Problem and Spectral Theorem

An Extension of Gleason's Theorem for Quantum Computation

Similar Documents

Gleason's Theorem in W*J-Algebras in Spaces with Indefinite Metric

An Unsharp Logic from Quantum Computation

Quantum Nondeterministic Computation

Quantum Interference Computation

Equivalence Theorem for Higher Order Equations

Numerical Computation of Quantum Capacity

Quantum Computation of Fuzzy Numbers

Radix-R > 2 Quantum Computation

Moment Problem and Spectral Theorem

An Extension of Gleason's Theorem for Quantum Computation