KCBS pentagram

Last updated

In quantum foundations, the KCBS pentagram was discovered by Alexander Klyachko, M. Ali Can, Sinem Binicioglu, and Alexander Shumovsky as an example disproving noncontextual hidden variable models.

Quantum foundations is the study of foundational questions related to quantum mechanics and quantum information theory. Some problems studied by researchers of quantum foundations are, for instance, the issue of the correct interpretation of quantum mechanics, the EPR paradox and the related area of quantum nonlocality and contextuality. A seminal result in quantum foundations is the existence of Bell inequalities, and later also the Kochen–Specker theorem that establish a no-go theorem for certain hidden-variable interpretations of quantum theory.

Quantum contextuality is a foundational concept in quantum mechanics stating that the outcome one observes in a measurement is dependent upon what other measurements one is trying to make. More formally, the measurement result of a quantum observable is dependent upon which other commuting observables are within the same measurement set.

Let's say we have a pentagram, which is a graph with 5 vertices and 5 edges. Each vertex can be colored either red or blue. An edge is said to match if both of its vertices have the same color. Otherwise, it's a mismatch. In a hidden variable model, the total number of mismatches over all of the edges has to be an even number due to cyclicity, i.e. 0, 2 or 4. So, with a probability mixture over hidden variable assignments, the expectation value of the sum of mismatches over all of the 5 edges has to lie between 0 and 4.

Then, someone hands you a huge number of KCBS pentagrams, but at first, all of the colorings are hidden. You're told you can only uncover 2 vertices at most, and only if they share a common edge. So, for each pentagram, you randomly pick an edge and uncover the colors on its vertices. This random choice is necessary because if the pentagram producers had been able to guess your choice for each pentagram in advance, he could have "conspired" to fool you. You find no matter which edge you choose, you find blue-blue with a probability of , red-blue with , and blue-red with . So, the expectation value of the sum of mismatches is .

How was it done? Each pentagram is a 3D quantum system with an orthonormal basis . Each pentagram is initialized to . Each vertex is assigned a 1D projector projecting to , n=0,..,4 . Adjacent projectors commute. If we project, color the vertex red. Otherwise, color it blue.

See also


Related Research Articles

Antiprism polyhedron with two parallel copies of a polygon, connected by an alternating band of triangles

In geometry, an n-sided antiprism is a polyhedron composed of two parallel copies of some particular n-sided polygon, connected by an alternating band of triangles. Antiprisms are a subclass of the prismatoids and are a (degenerate) type of snub polyhedra.

Regular icosahedron Platonic solid

In geometry, a regular icosahedron is a convex polyhedron with 20 faces, 30 edges and 12 vertices. It is one of the five Platonic solids, and the one with the most sides.

In three-dimensional space, a Platonic solid is a regular, convex polyhedron. It is constructed by congruent regular polygonal faces with the same number of faces meeting at each vertex. Five solids meet these criteria:

Tetrahedron Polyhedron with 4 faces

In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra and the only one that has fewer than 5 faces.

Grover's algorithm is a quantum algorithm that finds with high probability the unique input to a black box function that produces a particular output value, using just evaluations of the function, where is the size of the function's domain. It was devised by Lov Grover in 1996.

Incircle and excircles of a triangle the largest circle contained in the triangle; it touches (is tangent to) the three sides

In geometry, the incircle or inscribed circle of a triangle is the largest circle contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

Pentagram star polygon

A pentagram is the shape of a five-pointed star.

Decagon shape with ten sides

In geometry, a decagon is a ten-sided polygon or 10-gon.

In Euclidean geometry, a regular polygon is a polygon that is equiangular and equilateral. Regular polygons may be either convex or star. In the limit, a sequence of regular polygons with an increasing number of sides approximates a circle, if the perimeter or area is fixed, or a regular apeirogon, if the edge length is fixed.

Heptagon shape with seven sides

In geometry, a heptagon is a seven-sided polygon or 7-gon.

Dodecagon shape with twelve sides

In geometry, a dodecagon or 12-gon is any twelve-sided polygon.

5-cell four-dimensional analogue of the tetrahedron

In geometry, the 5-cell is a four-dimensional object bounded by 5 tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid, or tetrahedral pyramid. It is the 4-simplex (Coxeter's polytope), the simplest possible convex regular 4-polytope (four-dimensional analogue of a Platonic solid), and is analogous to the tetrahedron in three dimensions and the triangle in two dimensions. The pentachoron is a four dimensional pyramid with a tetrahedral base.

Trigonometric constants expressed in real radicals

Exact algebraic expressions for trigonometric values are sometimes useful, mainly for simplifying solutions into radical forms which allow further simplification.

Pentadecagon polygon with 15 sides

In geometry, a pentadecagon or pentakaidecagon or 15-gon is a fifteen-sided polygon.

Reuleaux tetrahedron

The Reuleaux tetrahedron is the intersection of four balls of radius s centered at the vertices of a regular tetrahedron with side length s. The spherical surface of the ball centered on each vertex passes through the other three vertices, which also form vertices of the Reuleaux tetrahedron. Thus the center of each ball is on the surfaces of the other three balls. The Reuleaux tetrahedron has the same face structure as a regular tetrahedron, but with curved faces: four vertices, and four curved faces, connected by six circular-arc edges.

Tetracontagon polygon with 40 sides

In geometry, a tetracontagon or tessaracontagon is a forty-sided polygon or 40-gon. The sum of any tetracontagon's interior angles is 6840 degrees.

In polynomial interpolation of two variables, the Padua points are the first known example of a unisolvent point set with minimal growth of their Lebesgue constant, proven to be O(log2 n) . Their name is due to the University of Padua, where they were originally discovered.

Pentagon shape with five sides

In geometry, a pentagon is any five-sided polygon or 5-gon. The sum of the internal angles in a simple pentagon is 540°.

In probability theory and directional statistics, a wrapped Lévy distribution is a wrapped probability distribution that results from the "wrapping" of the Lévy distribution around the unit circle.

Quantum counting algorithm is a quantum algorithm for efficiently counting the number of solutions for a given search problem. The algorithm is based on the quantum phase estimation algorithm and on Grover's search algorithm.