arXiv subjects

Norman D. Megill

Publications and source records attributed to Norman D. Megill.

At least 19 recordsLinked to original sources

arXiv2019

Vector Generation of Contextual Sets

As quantum contextuality proves to be a necessary resource for universal quantum computation, we present a general method for vector generation of Kochen-Specker (KS) contextual sets in the form of hypergraphs. The method supersedes all three previous methods: (i) fortuitous discoveries of smallest KS sets, (ii) exhaustive upward hypergraph-generation of sets, and (iii) random downward generation of sets from fortuitously obtained big master sets. In contrast to previous works, we can generate master sets which contain all possible KS sets starting with nothing but a few simple vector components. From them we can readily generate all KS sets obtained in the last half a century and any specified new KS sets. Herewith we can generate sufficiently large sets as well as sets with definite required features and structures to enable varieties of different implementations in quantum computation and communication.

quant-ph↗

arXiv2019

Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces

Recently, quantum contextuality has been proved to be the source of quantum computation's power. That, together with multiple recent contextual experiments, prompts improving the methods of generation of contextual sets and finding their features. The most elaborated contextual sets, which offer blueprints for contextual experiments and computational gates, are the Kochen--Specker (KS) sets. In this paper, we show a method of vector generation that supersedes previous methods. It is implemented by means of algorithms and programs that generate hypergraphs embodying the Kochen-Specker property and that are designed to be carried out on supercomputers. We show that vector component generation of KS hypergraphs exhausts all possible vectors that can be constructed from chosen vector components, in contrast to previous studies that used incomplete lists of vectors and therefore missed a majority of hypergraphs. Consequently, this unified method is far more efficient for generations of KS sets and their implementation in quantum computation and quantum communication. Several new KS classes and their features have been found and are elaborated on in the paper. Greechie diagrams are discussed. A detailed and complete blueprint of a particular 21-11 KS set with a complex coordinatization is presented in Appendix A, in contrast to the one from the published version of this paper where only a few of its states were given.

quant-ph↗

arXiv2019

Automated generation of Kochen-Specker sets

Quantum contextuality turns out to be a necessary resource for universal quantum computation and also has applications in quantum communication. Thus it becomes important to generate contextual sets of arbitrary structure and complexity to enable a variety of implementations. In recent years, such generation has been done for contextual sets known as Kochen-Specker sets. Up to now, two approaches have been used for massive generation of non-isomorphic Kochen-Specker sets: exhaustive generation up to a given size and downward generation from master sets and their associated coordinatizations. Master sets were obtained earlier from serendipitous or intuitive connections with polytopes or Pauli operators, and more recently from arbitrary vector components using an algorithm that generates orthogonal vector groupings from them. However, both upward and downward generation face an inherent exponential complexity barrier. In contrast, in this paper we present methods and algorithms that we apply to downward generation that can overcome the exponential barrier in many cases of interest. These involve tailoring and manipulating Kochen-Specker master sets obtained from a small number of simple vector components, filtered by the features of the sets we aim to obtain. Some of the classes of Kochen-Specker sets we generate contain all previously known ones, and others are completely novel. We provide examples of both kinds in 4- and 6-dim Hilbert spaces. We also give a brief introduction for a wider audience and a novice reader.

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

Estimating Bernoulli trial probability from a small sample

The standard textbook method for estimating the probability of a biased coin from finite tosses implicitly assumes the sample sizes are large and gives incorrect results for small samples. We describe the exact solution, which is correct for any sample size.

cs.DC↗

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

Graph Approach to Quantum Systems

Using a graph approach to quantum systems, we prove that descriptions of 3-dim Kochen-Specker (KS) setups as well as descriptions of 3-dim spin systems by means of Greechie lattices that we find in the literature are wrong. Correct lattices generated by McKay-Megill-Pavicic (MMP) hypergraphs and Hilbert subspace equations are given. To enable exhaustive generations of 3-dim KS setups by means of recently found "stripping technique," bipartite graph generation is used to provide us with lattices with equal numbers of elements and blocks (orthogonal triples of elements) - up to 41 of them. We obtain several new results on such lattices and hypergraphs, in particular on properties such as superposition and orthoraguesian equations. Since a bipartite graph approach has recently been applied to CSS (Calderbank-Shor-Steane) and graph states on the one hand, and span programs, quantum walks, and quantum search on the other, our results also enable the study of these quantum information fields by means of hypergraphs and lattices.

quant-ph↗

arXiv2010

Kochen-Specker Sets and Generalized Orthoarguesian Equations

Every set (finite or infinite) of quantum vectors (states) satisfies generalized orthoarguesian equations ($n$OA). We consider two 3-dim Kochen-Specker (KS) sets of vectors and show how each of them should be represented by means of a Hasse diagram---a lattice, an algebra of subspaces of a Hilbert space--that contains rays and planes determined by the vectors so as to satisfy $n$OA. That also shows why they cannot be represented by a special kind of Hasse diagram called a Greechie diagram, as has been erroneously done in the literature. One of the KS sets (Peres') is an example of a lattice in which 6OA pass and 7OA fails, and that closes an open question of whether the 7oa class of lattices properly contains the 6oa class. This result is important because it provides additional evidence that our previously given proof of noa =< (n+1)oa can be extended to proper inclusion noa < (n+1)oa and that nOA form an infinite sequence of successively stronger equations.

quant-ph↗

arXiv2010

New Kochen-Specker Sets in Four Dimensions

We show that all possible 388 4-dim Kochen-Specker (KS) (vector) sets (of yes-no questions) with 18 through 23 vectors and 844 sets with 24 vectors all with component values from \{-1,0,1\} can be obtained by stripping vectors off a single system provided by Peres 20 years ago. In addition to them, we have found a number of other KS sets with 22 through 24 vectors. We present the algorithms we used and features we found, such as, for instance, that Peres' 24-24 KS set has altogether six critical KS subsets.

quant-ph↗

arXiv2010

Hilbert Lattice Equations

There are five known classes of lattice equations that hold in every infinite dimensional Hilbert space underlying quantum systems: generalised orthoarguesian, Mayet's E_A, Godowski, Mayet-Godowski, and Mayet's E equations. We obtain a result which opens a possibility that the first two classes coincide. We devise new algorithms to generate Mayet-Godowski equations that allow us to prove that the fourth class properly includes the third. An open problem related to the last class is answered. Finally, we show some new results on the Godowski lattices characterising the third class of equations.

math-ph↗

arXiv2008

Quantum Logic and Quantum Computation

We use classes of Hilbert lattice equations for an alternative representation of Hilbert lattices and Hilbert spaces of arbitrary quantum systems that might enable a direct introduction of the states of the systems into quantum computers. More specifically, we look for a way to feed a quantum computer with algebraic equations of n-th order underlying an infinite dimensional Hilbert space description of quantum systems. A number of new results on states defined on Hilbert lattices are presented and discussed and a number of recently obtained results in the field of Hilbert space equations are reviewed.

quant-ph↗

arXiv2008

Is Quantum Logic a Logic?

It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either - as opposed to the standard lattice models that are orthomodular and distributive for the respective logics. Hence, we cannot attribute the orthomodularity to quantum logic itself, and we cannot attribute the distributivity to classical logic itself. The valuations of logics with respect of novel models turn out to be non-numerical, and therefore truth values and truth tables cannot in general be ascribed to the propositions of logics themselves but only to the variables of some of their models -for example, the two-valued Boolean algebra. Logics are, first of all, axiomatic deductive systems, and if we stop short of considering their semantics (models, valuations, etc.), then both quantum and classical logics will have a completely equal footing in the sense of being two deductive systems that differ from each other in a few axioms and nothing else. There is no ground for considering either of the two logics more "proper" than the other. Semantics of these logics belong to their models, and we show that there are bigger differences between the two aforementioned classical models than between two corresponding quantum and classical models.

quant-ph↗

arXiv2008

Standard Logics Are Valuation-Nonmonotonic

It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of non-orthomodular and thus non-distributive lattices that properly contain standard orthomodular and Boolean classes, respectively. In this paper we prove that these logics are complete even for those classes of the former lattices from which the standard orthomodular lattices and Boolean algebras are excluded. We also show that neither quantum nor classical computers can be founded on the latter models. It follows that logics are "valuation-nonmonotonic" in the sense that their possible models (corresponding to their possible hardware implementations) and the valuations for them drastically change when we add new conditions to their defining conditions. These valuations can even be completely separated by putting them into disjoint lattice classes by a technique presented in the paper.

cs.LO↗

arXiv2006

Mayet-Godowski Hilbert Lattice Equations

Several new results in the field of Hilbert lattice equations based on states defined on the lattice as well as novel techniques used to arrive at these results are presented. An open problem of Mayet concerning Hilbert lattice equations based on Hilbert-space-valued states is answered.

quant-ph↗

arXiv2004

Kochen-Specker Vectors

We give a constructive and exhaustive definition of Kochen-Specker (KS) vectors in a Hilbert space of any dimension as well as of all the remaining vectors of the space. KS vectors are elements of any set of orthonormal states, i.e., vectors in n-dim Hilbert space, H^n, n>3 to which it is impossible to assign 1s and 0s in such a way that no two mutually orthogonal vectors from the set are both assigned 1 and that not all mutually orthogonal vectors are assigned 0. Our constructive definition of such KS vectors is based on algorithms that generate MMP diagrams corresponding to blocks of orthogonal vectors in R^n, on algorithms that single out those diagrams on which algebraic 0-1 states cannot be defined, and on algorithms that solve nonlinear equations describing the orthogonalities of the vectors by means of statistically polynomially complex interval analysis and self-teaching programs. The algorithms are limited neither by the number of dimensions nor by the number of vectors. To demonstrate the power of the algorithms, all 4-dim KS vector systems containing up to 24 vectors were generated and described, all 3-dim vector systems containing up to 30 vectors were scanned, and several general properties of KS vectors were found.

quant-ph↗

arXiv2003

Equivalences, Identities, Symmetric Differences, and Congruences in Orthomodular Lattices

It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity of equivalence terms and several other 3 variable expressions involving equivalence terms have been proved to hold in any orthomodular lattice. Symmetric differences have been shown to reduce to complements of equivalence terms. Some congruence relations related to equivalence operations and symmetric differences have been considered.

quant-ph↗

arXiv2003

Quantum Implication Algebras

Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and quasi-implication algebras are analysed and put in perspective to each other and our results.

quant-ph↗