Searcharxiv⌕ Search

arXiv subjects

Mordecai Waegell

Publications and source records attributed to Mordecai Waegell.

48 records · Page 3Linked to original sources
arXiv2013

Primitive Nonclassical Structures of the $N$-qubit Pauli Group

Several types of nonclassical structures within the $N$-qubit Pauli group that can be seen as fundamental resources for quantum information processing are presented and discussed. Identity Products (IDs), structures fundamentally related to entanglement, are defined and explored. The Kochen-Specker theorem is proved by particular sets of IDs that we call KS sets. We also present a new theorem that we call the $N$-qubit Kochen-Specker theorem, which is proved by particular sets of IDs that we call NKS sets, and whose utility is that it leads to efficient constructions for KS sets. We define the criticality, or irreducibility, of these structures, and its connection to entanglement. All representative critical IDs for up to $N=4$ qubits are presented, and numerous families of critical IDs for arbitrarily large values of $N$ are discussed. The critical IDs for a given $N$ are a finite set of geometric objects that appear to fully characterize the nonclassicality of the $N$-qubit Pauli group. Methods for constructing critical KS sets and NKS sets from IDs are given, and experimental tests of entanglement, contextuality, and nonlocality are discussed. Possible applications and connections to other work are also discussed

quant-ph↗
arXiv2013

Nonclassical Structures within the N-qubit Pauli Group

Structures that demonstrate nonclassicality are of foundational interest in quantum mechanics, and can also be seen as resources for numerous applications in quantum information processing - particularly in the Hilbert space of $N$ qubits. The theory of entanglement, quantum contextuality, and quantum nonlocality within the $N$-qubit Pauli group is further developed in this thesis. The Strong Kochen-Specker theorem and the structures that prove it are introduced and explored in detail. The pattern of connections between structures that show entanglement, contextuality, and nonlocality is explained. Computational search algorithms and related tools were developed and used to perform complete searches for minimal nonclassical structures within the $N$-qubit Pauli group up to values of $N$ limited by our computational resources. Our results are surveyed and prescriptions are given for using the elementary nonclassical structures we have found to construct more complex types of such structures. Families of nonclassical structures are presented for all values of $N$, including the most compact family of projector-based parity proofs of the Kochen-Specker theorem yet discovered in all dimensions of the form $2^N$, where $N\geq2$. The applications of our results and their connection with other work is also discussed.

quant-ph↗
arXiv2013

Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group

We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense that they cannot be reduced to smaller proofs by ignoring some subset of qubits and/or observables in them. A simple algorithm is given for transforming any observables-based KS proof into a large number of projectors-based KS proofs; if the observables-based proof has O observables, with each observable occurring in exactly two commuting sets and any two commuting sets having at most one observable in common, the number of associated projectors-based parity proofs is 2^O. We introduce symbols for the observables- and projectors-based KS proofs that capture their important features and also convey a feeling for the enormous variety of both these types of proofs within the N-qubit Pauli group. We discuss an infinite family of observables-based proofs, whose members apply to all numbers of qubits from two up, and show how it can be used to generate projectors-based KS proofs involving only nine bases (or experimental contexts) in any dimension of the form 2^N for N >= 2. Some implications of our results are discussed.

quant-ph↗
arXiv2012

GHZ paradoxes based on an even number of qubits

GHZ paradoxes are presented for all even numbers of qubits from four up. They are obtained from proofs of the Kochen-Specker (KS) theorem by showing how the assumption of noncontextuality can be justified on the basis of locality. The nature of the entangled states involved in our paradoxes is discussed. Some multiqubit proofs of the KS theorem are also presented in the form of diagrams from which they are visually obvious. The implications of our results are discussed.

quant-ph↗
arXiv2012

Proofs of the Kochen-Specker theorem based on a system of three qubits

A number of new proofs of the Kochen-Specker theorem are given based on the observables of the three-qubit Pauli group. Each proof is presented in the form of a diagram from which it is obvious by inspection. Each of our observable-based proofs leads to a system of projectors and bases that generally yields a large number of "parity proofs" of the Kochen-Specker theorem. Some examples of such proofs are given and some of their applications are discussed.

quant-ph↗
arXiv2011

Universal violation of pentagon inequalities in four-state systems

The 60 real vectors derived from the vertices of a 600-cell are shown to yield a number of pentagon inequalities that are satisfied by realistic noncontextual theories but violated by quantum mechanics. The replicas of these inequalities cover Hilbert space so densely that every real four-dimensional vector violates at least one of them. It is pointed out that this set of 60 vectors contains numerous "N-gons" (generalizations of pentagons) that may be of interest in connection with demonstrations of contextuality.

quant-ph↗
arXiv2011

Probabilistic Generation of Quantum Contextual Sets

We give a method for exhaustive generation of a huge number of Kochen-Specker contextual sets, based on the 600-cell, for possible experiments and quantum gates. The method is complementary to our previous parity proof generation of these sets, and it gives all sets while the parity proof method gives only sets with an odd number of edges in their hypergraph representation. Thus we obtain 35 new kinds of critical KS sets with an even number of edges. Using a random sample of the sets generated with our method, we give a statistical estimate of the number of sets that might be obtained in an eventual exhaustive enumeration.

quant-ph↗
arXiv2011

Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell

The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the largest 60 rays and 41 bases. There are at least 90 basic types of proofs, with each coming in a number of geometrically distinct varieties. The replicas of all the proofs under the symmetries of the 600-cell yield a total of almost a hundred million parity proofs of the BKS theorem. The proofs are all very transparent and take no more than simple counting to verify. A few of the proofs are exhibited, both in tabular form as well as in the form of MMP hypergraphs that assist in their visualization. A survey of the proofs is given, simple procedures for generating some of them are described and their applications are discussed. It is shown that all four-dimensional parity proofs of the BKS theorem can be turned into experimental disproofs of noncontextuality.

quant-ph↗
arXiv2011

New Class of 4-Dim Kochen-Specker Sets

We find a new highly symmetrical and very numerous class (millions of non-isomorphic sets) of 4-dim Kochen-Specker (KS) vector sets. Due to the nature of their geometrical symmetries, they cannot be obtained from previously known ones. We generate the sets from a single set of 60 orthogonal spin vectors and 75 of their tetrads (which we obtained from the 600-cell) by means of our newly developed "stripping technique." We also consider "critical KS subsets" and analyze their geometry. The algorithms and programs for the generation of our KS sets are presented.

quant-ph↗
arXiv2010

Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem

Aravind and Lee-Elkin (1997) gave a proof of the Bell-Kochen-Specker theorem by showing that it is impossible to color the 60 directions from the center of a 600-cell to its vertices in a certain way. This paper refines that result by showing that the 60 directions contain many subsets of 36 and 30 directions that cannot be similarly colored, and so provide more economical demonstrations of the theorem. Further, these subsets are shown to be critical in the sense that deleting even a single direction from any of them causes the proof to fail. The critical sets of size 36 and 30 are shown to belong to orbits of 200 and 240 members, respectively, under the symmetries of the polytope. A comparison is made between these critical sets and other such sets in four dimensions, and the significance of these results is discussed.

quant-ph↗