This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these template messages)
|
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.
This quantum mechanics-related article is a stub. You can help Wikipedia by expanding it. |
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.
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:
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.
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.
A pentagram is the shape of a five-pointed star.
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.
In geometry, a heptagon is a seven-sided polygon or 7-gon.
In geometry, a dodecagon or 12-gon is any twelve-sided polygon.
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.
Exact algebraic expressions for trigonometric values are sometimes useful, mainly for simplifying solutions into radical forms which allow further simplification.
In geometry, a pentadecagon or pentakaidecagon or 15-gon is a fifteen-sided polygon.
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.
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.
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.