BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

P. K. Aravind

P. K. Aravind appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phcond-mat.mes-hall

Catalog footprint

What is connected

17works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2020arXiv

MUBs and SIC-POVMs of a spin-1 system from the Majorana approach

In the Majorana or stellar representation of quantum states, an arbitrary (pure) state of a spin-1 system is represented by a pair of points on the unit sphere or, equivalently, by a pair of unit vectors. This paper presents an expression for the squared modulus of the inner product of two spin-1 states in terms of their Majorana vectors and uses it to give a geometrical construction of the MUBs and SIC-POVMs of a spin-1 system. The results are not new and duplicate those obtained earlier by other methods, but the Majorana approach nevertheless illuminates them from an unusual point of view. In particular, it reveals the MUBs and SICs as symmetrical collections of vectors in ordinary three-dimensional space, rather than as rays in a projective Hilbert space. While it does not appear feasible to extend this treatment to higher spin systems, the spin-1 case exhibits sufficient subtlety and complexity to be worth spelling out for its pedagogical and historical interest.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

The Penrose dodecahedron and the Witting polytope are identical in CP(3)

It is demonstrated that the set of 40 states of a spin-3/2 particle used by Zimba and Penrose to give proofs of the Kochen-Specker and Bell theorems is identical (i.e., unitarily equivalent) in CP(3) to the set of 40 rays derived from the vertices of the Witting polytope, which is a regular complex polytope in C(4). The Witting polytope actually has two different apparitions in projective spaces of different dimensions: it appears in CP(3) as the Penrose dodecahedron and in RP(7) (after an initial inflation into R(8)) as a set of rays associated with the root vectors of the Lie algebra E8. The interest of these apparitions is that they provide proofs of the Kochen-Specker theorem, but of very different types: while the proofs provided by the Penrose dodecahedron are complex (in both senses of the word), those provided by the E8 system are real and easy to grasp (being parity proofs that take no more than simple counting to verify). The different proofs it provides in different settings would seem to justify calling the Witting polytope a "quantum chameleon", and we raise (but leave unanswered) the question of whether it is the only object of this type.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Parity proofs of the Kochen-Specker theorem based on the 120-cell

It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous "parity proofs" of the Kochen-Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen-Specker diagram, which is exhibited in the form of a "basis table" showing all the orthogonalities between its rays. The basis table consists of 675 bases (a basis being a set of four mutually orthogonal rays), but all the bases can be written down from the few listed in this paper using some simple rules. The basis table is shown to contain a wide variety of parity proofs, ranging from 19 bases (or contexts) at the low end to 41 bases at the high end. Some explicit examples of these proofs are given, and their implications are discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Isomorphism between the Peres and Penrose proofs of the BKS theorem in three dimensions

It is shown that the 33 complex rays in three dimensions used by Penrose to prove the Bell-Kochen-Specker theorem have the same orthogonality relations as the 33 real rays of Peres, and therefore provide an isomorphic proof of the theorem. It is further shown that the Peres and Penrose rays are just two members of a continuous three-parameter family of unitarily inequivalent rays that prove the theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Decoherence of a Measure of Entanglement

We demonstrate by an explicit model calculation that the decay of entanglement of two two-state systems (two qubits) is governed by the product of the factors that measure the degree of decoherence of each of the qubits, subject to independent sources of quantum noise. This demonstrates an important physical property that separated open quantum systems can evolve quantum mechanically on time scales larger than the times for which they remain entangled.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Best conventional solutions to the King's Problem

In the King's Problem, a physicist is asked to prepare a d-state quantum system in any state of her choosing and give it to a king who measures one of (d+1) sets of mutually unbiased observables on it. The physicist is then allowed to make a control measurement on the system, following which the king reveals which set of observables he measured and challenges the physicist to predict correctly all the eigenvalues he found. This paper obtains an upper bound on the physicist's probability of success at this task if she is allowed to make measurements only on the system itself (the "conventional" solution) and not on the system as well as any ancillary systems it may have been coupled to in the preparation phase, as in the perfect solutions proposed recently. An optimal conventional solution, with a success probability of 0.7, is constructed in d = 4; this is to be contrasted with the success probability of 0.902 for the optimal conventional solution in d = 2. The gap between the best conventional solution and the perfect solution grows quite rapidly with increasing d.

0 citations0 reviewsNo code linkedOpen access