skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Finite Orthoalgebras without Two-valued Probability Measures

Abstract

The Kochen-Specker theorem in quantum mechanics motivates the following combinatorial problem: how to construct a finite orthoalgebra which does not admit a two-valued probability measure? For example, the so-called '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 N-dimensional vector space over F2; (2) the description of the orthogonality relation involves a pair of Z/2Z-valued 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:
 [1]
  1. Faculteit Ingenieurswetenschappen, Vrije Universiteit Brussel, Pleinlaan 2, B-1050 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), 4-9 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 Two-valued Probability Measures. United States: N. p., 2007. Web. doi:10.1063/1.2713487.
Ruuge, Artur E. Finite Orthoalgebras without Two-valued Probability Measures. United States. doi:10.1063/1.2713487.
Ruuge, Artur E. Wed . "Finite Orthoalgebras without Two-valued Probability Measures". United States. doi:10.1063/1.2713487.
@article{osti_21054918,
title = {Finite Orthoalgebras without Two-valued Probability Measures},
author = {Ruuge, Artur E.},
abstractNote = {The Kochen-Specker theorem in quantum mechanics motivates the following combinatorial problem: how to construct a finite orthoalgebra which does not admit a two-valued probability measure? For example, the so-called '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 N-dimensional vector space over F2; (2) the description of the orthogonality relation involves a pair of Z/2Z-valued 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 four-dimensional Hilbert space, there exist 16 Heisenberg-Weyl (HW) covariant symmetric informationally complete positive-operator-valued 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 » the four-dimensional Hilbert space is taken as the tensor product of two-qubit Hilbert spaces. In particular, when either the standard product basis or the Bell basis are chosen as the defining basis of the HW group, in eight of the 16 HW covariant SIC POVMs, all fiducial states have the same concurrence of {radical}(2/5). These SIC POVMs are particularly appealing for an experimental implementation, since all fiducial states can be connected to each other with just local unitary transformations. In addition, we introduce a concise representation of the fiducial states with the aid of a suitable tabular arrangement of their parameters.« less
  • We study the local implementation of positive-operator-valued 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 » local operations and classical communication (LOCC). We also calculate the extrema of these classes of measurement under the groups that we consider, and give explicit LOCC protocols for attaining them. These protocols are hence optimal methods for locally discriminating between states of these symmetries. One of many interesting consequences is that the best way to locally discriminate Bell-diagonal mixed states is to perform a two-outcome POVM using local von Neumann projections. This is true regardless of the cost function, the number of states being discriminated, or the prior probabilities. Our results give the first cases of local mixed-state discrimination that can be analyzed quantitatively in full, and may have application to other problems such as demonstrations of nonlocality, experimental entanglement witnesses, and perhaps even entanglement distillation.« less
  • 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 Weyl-Heisenberg 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 complete-positive operator valued measures (or SIC-POVMs) covariant relative to the action of the generalized Pauli group. We show that each ofmore » the fiducial vectors which has been constructed so far (including all the vectors constructed numerically by Renes et al.) is an eigenvector of one of a special class of order 3 Clifford unitaries. This suggests a strengthening of a conjecture of Zauner's. We give a complete characterization of the orbits and stability groups in dimensions 2-7. Finally, we show that the problem of constructing fiducial vectors may be expected to simplify in the infinite sequence of dimensions 7,13,19,21,31,... . We illustrate this point by constructing exact expressions for fiducial vectors in dimensions 7 and 19.« less
  • We address the problem of constructing positive operator-valued 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 (SIC-POVMs) for which the inner products are perfectly uniform. However, SIC-POVMs 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 SIC-POVMs, where a small deviation from uniformity of the inner products is allowed. The first construction is based onmore » selecting vectors from a maximal collection of mutually unbiased bases and works whenever the dimension of the system is a prime power. The second construction is based on perturbing the matrix elements of a subset of mutually unbiased bases. Moreover, we construct vector systems in C{sup n} which are almost orthogonal and which might turn out to be useful for quantum computation. Our constructions are based on results of analytic number theory.« less
  • We study possible realizations of generalized quantum measurements on measurement-assisted programmable quantum processors. We focus our attention on the realization of von Neumann measurements and informationally complete positive-operator-valued 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 » the so-called quantum-information distributor.« less