Finite Orthoalgebras without Twovalued Probability Measures
Abstract
The KochenSpecker theorem in quantum mechanics motivates the following combinatorial problem: how to construct a finite orthoalgebra which does not admit a twovalued probability measure? For example, the socalled 'Penrose's dodecahedron' (a projective configuration in C4) generates such an orthoalgebra. In this report one describes a new infinite family of examples of atomic coherent orthoalgebras with the mentioned properties which is intimately related to the geometry of the group's E8. The important features of the construction are the following: (1) the atomic elements are naturally indexed by the elements of a disjoint union of linear manifolds of codimension 1 of an Ndimensional vector space over F2; (2) the description of the orthogonality relation involves a pair of Z/2Zvalued functions on Z/4Z; (3) the symmetry of the construction is described in terms of an extension of GL(N, F2); (4) the whole construction works only if N is divisible by 4 (a phenomenon of periodicity)
 Authors:
 Faculteit Ingenieurswetenschappen, Vrije Universiteit Brussel, Pleinlaan 2, B1050 Brussel (Belgium)
 Publication Date:
 OSTI Identifier:
 21054918
 Resource Type:
 Journal Article
 Resource Relation:
 Journal Name: AIP Conference Proceedings; Journal Volume: 889; Journal Issue: 1; Conference: 4. international conference on foundations of probability and physics, Vaexjoe (Sweden), 49 Jun 2006; Other Information: DOI: 10.1063/1.2713487; (c) 2007 American Institute of Physics; Country of input: International Atomic Energy Agency (IAEA)
 Country of Publication:
 United States
 Language:
 English
 Subject:
 71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; ALGEBRA; GEOMETRY; PERIODICITY; PROBABILITY; QUANTUM MECHANICS; SPACE; SYMMETRY; VECTORS
Citation Formats
Ruuge, Artur E. Finite Orthoalgebras without Twovalued Probability Measures. United States: N. p., 2007.
Web. doi:10.1063/1.2713487.
Ruuge, Artur E. Finite Orthoalgebras without Twovalued Probability Measures. United States. doi:10.1063/1.2713487.
Ruuge, Artur E. Wed .
"Finite Orthoalgebras without Twovalued Probability Measures". United States.
doi:10.1063/1.2713487.
@article{osti_21054918,
title = {Finite Orthoalgebras without Twovalued Probability Measures},
author = {Ruuge, Artur E.},
abstractNote = {The KochenSpecker theorem in quantum mechanics motivates the following combinatorial problem: how to construct a finite orthoalgebra which does not admit a twovalued probability measure? For example, the socalled 'Penrose's dodecahedron' (a projective configuration in C4) generates such an orthoalgebra. In this report one describes a new infinite family of examples of atomic coherent orthoalgebras with the mentioned properties which is intimately related to the geometry of the group's E8. The important features of the construction are the following: (1) the atomic elements are naturally indexed by the elements of a disjoint union of linear manifolds of codimension 1 of an Ndimensional vector space over F2; (2) the description of the orthogonality relation involves a pair of Z/2Zvalued functions on Z/4Z; (3) the symmetry of the construction is described in terms of an extension of GL(N, F2); (4) the whole construction works only if N is divisible by 4 (a phenomenon of periodicity)},
doi = {10.1063/1.2713487},
journal = {AIP Conference Proceedings},
number = 1,
volume = 889,
place = {United States},
year = {Wed Feb 21 00:00:00 EST 2007},
month = {Wed Feb 21 00:00:00 EST 2007}
}

In the fourdimensional Hilbert space, there exist 16 HeisenbergWeyl (HW) covariant symmetric informationally complete positiveoperatorvalued measures (SIC POVMs) consisting of 256 fiducial states on a single orbit of the Clifford group. We explore the structure of these SIC POVMs by studying the symmetry transformations within a given SIC POVM and among different SIC POVMs. Furthermore, we find 16 additional SIC POVMs by a suitable regrouping of the 256 fiducial states, and show that they are unitarily equivalent to the original 16 SIC POVMs by establishing an explicit unitary transformation. We then reveal the additional structure of these SIC POVMs whenmore »

Construction of extremal local positiveoperatorvalued measures under symmetry
We study the local implementation of positiveoperatorvalued measures (POVMs) when we require only the faithful reproduction of the statistics of the measurement outcomes for all initial states. We first demonstrate that any POVM with separable elements can be implemented by a separable superoperator, and develop techniques for calculating the extreme points of POVMs under a certain class of constraint that includes separability and positive partial transposition. As examples we consider measurements that are invariant under various symmetry groups (Werner, isotropic, Bell diagonal, local orthogonal), and demonstrate that in these cases separability of the POVM elements is equivalent to implementability viamore » 
Symmetric informationally completepositive operator valued measures and the extended Clifford group
We describe the structure of the extended Clifford group [defined to be the group consisting of all operators, unitary and antiunitary, which normalize the generalized Pauli group (or WeylHeisenberg group as it is often called)]. We also obtain a number of results concerning the structure of the Clifford group proper (i.e., the group consisting just of the unitary operators which normalize the generalized Pauli group). We then investigate the action of the extended Clifford group operators on symmetric informationally completepositive operator valued measures (or SICPOVMs) covariant relative to the action of the generalized Pauli group. We show that each ofmore » 
On approximately symmetric informationally complete positive operatorvalued measures and related systems of quantum states
We address the problem of constructing positive operatorvalued measures (POVMs) in finite dimension n consisting of n{sup 2} operators of rank one which have an inner product close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SICPOVMs) for which the inner products are perfectly uniform. However, SICPOVMs are notoriously hard to construct and, despite some success of constructing them numerically, there is no analytic construction known. We present two constructions of approximate versions of SICPOVMs, where a small deviation from uniformity of the inner products is allowed. The first construction is based onmore » 
Realization of positiveoperatorvalued measures using measurementassisted programmable quantum processors
We study possible realizations of generalized quantum measurements on measurementassisted programmable quantum processors. We focus our attention on the realization of von Neumann measurements and informationally complete positiveoperatorvalued measures. Nielsen and Chuang [Phys. Rev. Lett. 79, 321 (1997)] have shown that two unitary transformations implementable by the same programmable processor require mutually orthogonal states. We show that two different von Neumann measurements can be encoded into nonorthogonal program states. Nevertheless, given the dimension of a Hilbert space of the program register the number of implementable von Neumann measurements is still limited. As an example of a programmable processor we usemore »