1
|
Abstract
Max Born’s statistical interpretation made probabilities play a major role in quantum theory. Here we show that these quantum probabilities and the classical probabilities have very different origins. Although the latter always result from an assumed probability measure, the first include transition probabilities with a purely algebraic origin. Moreover, the general definition of transition probability introduced here comprises not only the well-known quantum mechanical transition probabilities between pure states or wave functions, but further physically meaningful and experimentally verifiable novel cases. A transition probability that differs from 0 and 1 manifests the typical quantum indeterminacy in a similar way as Heisenberg’s and others’ uncertainty relations and, furthermore, rules out deterministic states in the same way as the Bell-Kochen-Specker theorem. However, the transition probability defined here achieves a lot more beyond that: it demonstrates that the algebraic structure of the Hilbert space quantum logic dictates the precise values of certain probabilities and it provides an unexpected access to these quantum probabilities that does not rely on states or wave functions.
Collapse
|
2
|
Sun X, He F. A First Step to the Categorical Logic of Quantum Programs. Entropy (Basel) 2020; 22:E144. [PMID: 33285919 DOI: 10.3390/e22020144] [Citation(s) in RCA: 4] [Impact Index Per Article: 1.0] [Reference Citation Analysis] [What about the content of this article? (0)] [Abstract] [Key Words] [Track Full Text] [Download PDF] [Figures] [Subscribe] [Scholar Register] [Received: 12/02/2019] [Revised: 01/01/2020] [Accepted: 01/07/2020] [Indexed: 12/03/2022]
Abstract
The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) and categorical quantum mechanics (CQM) such that the advantages of both LQP and CQM are preserved while their disadvantages are overcome. We present the syntax, semantics and proof system of CLQP. As a proof-of-concept, we apply CLQP to verify the correctness of Deutsch’s algorithm and the concealing property of quantum bit commitment.
Collapse
|
3
|
Sutherland RT, Srinivas R, Burd SC, Leibfried D, Wilson AC, Wineland DJ, Allcock DTC, Slichter DH, Libby SB. Versatile laser-free trapped-ion entangling gates. New J Phys 2019; 21:10.1088/1367-2630/ab0be5. [PMID: 31555055 PMCID: PMC6759860 DOI: 10.1088/1367-2630/ab0be5] [Citation(s) in RCA: 7] [Impact Index Per Article: 1.4] [Reference Citation Analysis] [What about the content of this article? (0)] [Affiliation(s)] [Abstract] [Key Words] [Grants] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 06/09/2023]
Abstract
We present a general theory for laser-free entangling gates with trapped-ion hyperfine qubits, using either static or oscillating magnetic-field gradients combined with a pair of uniform microwave fields symmetrically detuned about the qubit frequency. By transforming into a 'bichromatic' interaction picture, we show that eitherσ ^ ϕ ⊗ σ ^ ϕ orσ ^ z ⊗ σ ^ z geometric phase gates can be performed. The gate basis is determined by selecting the microwave detuning. The driving parameters can be tuned to provide intrinsic dynamical decoupling from qubit frequency fluctuations. Theσ ^ z ⊗ σ ^ z gates can be implemented in a novel manner which eases experimental constraints. We present numerical simulations of gate fidelities assuming realistic parameters.
Collapse
Affiliation(s)
- R T Sutherland
- Physics Division, Physical and Life Sciences, Lawrence Livermore National Laboratory, Livermore, CA 94550, United States of America
| | - R Srinivas
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
- Department of Physics, University of Colorado, Boulder, CO 80309, United States of America
| | - S C Burd
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
- Department of Physics, University of Colorado, Boulder, CO 80309, United States of America
| | - D Leibfried
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
| | - A C Wilson
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
| | - D J Wineland
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
- Department of Physics, University of Colorado, Boulder, CO 80309, United States of America
- Department of Physics, University of Oregon, Eugene, OR 97403, United States of America
| | - D T C Allcock
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
- Department of Physics, University of Colorado, Boulder, CO 80309, United States of America
- Department of Physics, University of Oregon, Eugene, OR 97403, United States of America
| | - D H Slichter
- Time and Frequency Division, National Institute of Standards and Technology, Boulder, CO 80305, United States of America
| | - S B Libby
- Physics Division, Physical and Life Sciences, Lawrence Livermore National Laboratory, Livermore, CA 94550, United States of America
| |
Collapse
|
4
|
Abstract
A theory of cultural structures predicts the objects observed by anthropologists. We here define those which use kinship relationships to define systems. A finite structure we call a partially defined quasigroup (or pdq, as stated by Definition 1 below) on a dictionary (called a natural language) allows prediction of certain anthropological descriptions, using homomorphisms of pdqs onto finite groups. A viable history (defined using pdqs) states how an individual in a population following such history may perform culturally allowed associations, which allows a viable history to continue to survive. The vector states on sets of viable histories identify demographic observables on descent sequences. Paths of vector states on sets of viable histories may determine which histories can exist empirically.
Collapse
Affiliation(s)
- Paul Ballonoff
- Owner and Operator, Ballonoff Consulting, 9307 Kings Charter Drive, Richmond, VA 23116, USA
| |
Collapse
|
5
|
Narens L. Probabilistic frames for non-Boolean phenomena. Philos Trans A Math Phys Eng Sci 2016; 374:rsta.2015.0102. [PMID: 26621992 DOI: 10.1098/rsta.2015.0102] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [What about the content of this article? (0)] [Affiliation(s)] [Abstract] [Key Words] [Track Full Text] [Subscribe] [Scholar Register] [Accepted: 08/14/2015] [Indexed: 06/05/2023]
Abstract
Classical probability theory, as axiomatized in 1933 by Andrey Kolmogorov, has provided a useful and almost universally accepted theory for describing and quantifying uncertainty in scientific applications outside quantum mechanics. Recently, cognitive psychologists and mathematical economists have provided examples where classical probability theory appears inadequate but the probability theory underlying quantum mechanics appears effective. Formally, quantum probability theory is a generalization of classical probability. This article explores relationships between generalized probability theories, in particular quantum-like probability theories and those that do not have full complementation operators (e.g. event spaces based on intuitionistic logic), and discusses how these generalizations bear on important issues in the foundations of probability and the development of non-classical probability theories for the behavioural sciences.
Collapse
Affiliation(s)
- Louis Narens
- Department of Cognitive Sciences, University of California, CA 92697, USA
| |
Collapse
|