arXiv subjects
Publications and source records attributed to Mladen Pavicic.
The original versions (1 and 2) of this paper paper contain a fatal error. All my attempts to patch the error have failed. As a service to the community I explain the error in some detail.
We discuss a scheme for a full superdense coding of entangled photon states employing only linear-optics elements. By using the mixed basis consisting of four states that are unambiguously distinguishable by a standard and polarizing beam splitters we can deterministically transfer four messages by manipulating just one of the two entangled photons. The sender achieves the determinism of the transfer either by giving up the control over 50% of sent messages (although known to her) or by discarding 33% of incoming photons.
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.
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.
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.
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.
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.
We propose a new experiment employing two independent sources of spin correlated photon pairs. Two photons from different unpolarized sources each pass through a polarizer to a detector. Although their trajectories never mix or cross they exhibit 4th-order-interference-like correlations when the other two photons interfere on a beam splitter even when the latter two do not pass any polarizers at all. A wave packet calculation shows that the experiment permits a very discriminatory test of hidden variable theories.
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.
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.
We propose a kind of reverse Kochen-Specker theorem that amounts to generating orthomodular lattices (OMLs) with exactly one state that do not admit properties of the Hilbert space. We apply MMP algorithms to obtain smallest OMLs with 35 atoms and 35 blocks (35-35) and all other ones up to 38-38. We find out that all but one of them admit exactly one state and discover several other properties of theirs. Previously known such OMLs have 44 atoms and 44 blocks or more. We present some of them in our notation.
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.
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.
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.
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.
We present a probabilistic (ideally 50%) nondestructive interaction-free atom-photon controlled-NOT gate, where nondestructive means that all four outgoing target photon modes of the gate are available and feed-forwardable. Individual atoms are controlled by a stimulated Raman adiabatic passage transition and photons by a ring resonator with two outgoing ports. Realistic estimates we obtain for ions confined in a Paul trap around which the resonator is mounted show that a strong atom-photon coupling can be achieved. It is also shown how the resonator can be used for controlling superposition of atom states.
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.
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.