© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2112.03887 · Quantum

Platonic Bell inequalities for all dimensions

Károly F. Pál, Tamás Vértesi

Published Jul 7, 2022• 7 citations

Abstract

In this paper we study the Platonic Bell inequalities for all possible dimensions. There are five Platonic solids in three dimensions, but there are also solids with Platonic properties (also known as regular polyhedra) in four and higher dimensions. The concept of Platonic Bell inequalities in the three-dimensional Euclidean space was introduced by Tavakoli and Gisin [Quantum 4, 293 (2020)]. For any three-dimensional Platonic solid, an arrangement of projective measurements is associated where the measurement directions point toward the vertices of the solids. For the higher dimensional regular polyhedra, we use the correspondence of the vertices to the measurements in the abstract Tsirelson space. We give a remarkably simple formula for the quantum violation of all the Platonic Bell inequalities, which we prove to attain the maximum possible quantum violation of the Bell inequalities, i.e. the Tsirelson bound. To construct Bell inequalities with a large number of settings, it is crucial to compute the local bound efficiently. In general, the computation time required to compute the local bound grows exponentially with the number of measurement settings. We find a method to compute the local bound exactly for any bipartite two-outcome Bell inequality, where the dependence becomes polynomial whose degree is the rank of the Bell matrix. To show that this algorithm can be used in practice, we compute the local bound of a 300-setting Platonic Bell inequality based on the halved dodecaplex. In addition, we use a diagonal modification of the original Platonic Bell matrix to increase the ratio of quantum to local bound. In this way, we obtain a four-dimensional 60-setting Platonic Bell inequality based on the halved tetraplex for which the quantum violation exceeds the 2 ratio.

DOI: 10.22331/q-2022-07-07-756

Related papers

The Platonic solids and fundamental tests of quantum mechanics

Armin Tavakoli, Nicolas Gisin

The Platonic solids is the name traditionally given to the five regular convex polyhedra, namely the tetrahedron, the octahedron, the cube, the icosahedron and the dodecahedron. Perhaps strongly boosted by the towering historical influence of their namesake, these beautiful solids have, in well over two millennia, transcended traditional boundaries and entered the stage in a range of disciplines. Examples include natural philosophy and mathematics from classical antiquity, scientific modeling during the days of the European scientific revolution and visual arts ranging from the renaissance to modernity. Motivated by mathematical beauty and a rich history, we consider the Platonic solids in the context of modern quantum mechanics. Specifically, we construct Bell inequalities whose maximal violations are achieved with measurements pointing to the vertices of the Platonic solids. These Platonic Bell inequalities are constructed only by inspecting the visible symmetries of the Platonic solids. We also construct Bell inequalities for more general polyhedra and find a Bell inequality that is more robust to noise than the celebrated Clauser-Horne-Shimony-Holt Bell inequality. Finally, we elaborate on the tension between mathematical beauty, which was our initial motivation, and experimental friendliness, which is necessary in all empirical sciences.

arXiv:2001.00188•Quantum•Jul 9, 2020•19 citations

Quantum bounds on Bell inequalities

Károly F. Pál, Tamás Vértesi

We have determined the maximum quantum violation of 241 tight bipartite Bell inequalities with up to five two-outcome measurement settings per party by constructing the appropriate measurement operators in up to six-dimensional complex and eight-dimensional real-component Hilbert spaces using numerical optimization. Out of these inequalities 129 have been introduced here. In 43 cases higher-dimensional component spaces gave larger violation than qubits, and in three occasions the maximum was achieved with six-dimensional spaces. We have also calculated upper bounds on these Bell inequalities using a method proposed recently. For all but 20 inequalities the best solution found matched the upper bound. Surprisingly, the simplest inequality of the set examined, with only three measurement settings per party, was not among them, despite the high dimensionality of the Hilbert space considered. We also computed detection threshold efficiencies for the maximally entangled qubit pair. These could be lowered in several instances if degenerate measurements were also allowed.

arXiv:0810.1615•Physical Review A•Feb 26, 2009•85 citations

Designing generalized elegant Bell inequalities in higher dimensions from a Tsirelson bound

Kwangil Bae, Junghee Ryu, IlKwon Sohn +1 more

Elegant Bell inequality is well known for its distinctive property, being maximally violated by maximal entanglement, mutually unbiased bases, and symmetric informationally complete positive operator-valued measure elements. Despite its significance in quantum information theory demonstrated based on its unique violation feature, it remains the only known one with the characteristic. We present a method to construct Bell inequalities with violation feature analogous to elegant Bell inequality in higher local dimensions from a simple, analytic quantum bound. A Bell inequality with the generalized violation feature is derived in three dimension for the first time. It exhibits larger violation than existing Bell inequalities of similar classes, including the original elegant Bell inequality, while requiring arguably small number of measurements.

arXiv:2408.11391•Physical Review A•Jul 6, 2026•0 citations

Efficiency of higher-dimensional Hilbert spaces for the violation of Bell inequalities

Károly F. Pál, Tamás Vértesi

We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four-dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two-dimensional systems, i.e., qubits, are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate ``measurements'' in order to achieve maximum violation. The quantum state corresponding to the maximum violation in most cases is not the maximally entangled one. We also obtain the result that bipartite quantum correlations can always be reproduced by measurements and states which require only real numbers if there is no restriction on the size of the local Hilbert spaces. Therefore in order to achieve maximum quantum violation on any bipartite Bell inequality (with any number of settings and outcomes), there is no need to consider complex Hilbert spaces.

arXiv:0712.4320•Physical Review A•Apr 9, 2008•55 citations

Classifying the simplest Bell inequalities beyond qubits and their applications towards self-testing

Palash Pandya, Shubhayan Sarkar, Remigiusz Augusiak

Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest $(2,2,2)$ scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the $(2,2,3)$ scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.

quant-pharXiv:2602.08469•Feb 10, 2026•0 citations

Groups, Platonic solids and Bell inequalities

Katarzyna Bolonek-Lasoń, Piotr Kosiński

The construction of Bell inequalities based on Platonic and Archimedean solids (Quantum 4 (2020), 293) is generalized to the case of orbits generated by the action of some finite groups. A number of examples with considerable violation of Bell inequalities is presented.

arXiv:2009.04347•Quantum•Nov 29, 2021•3 citations

In this paper we study the Platonic Bell inequalities for all possible dimensions. There are five Platonic solids in three dimensions, but there are also solids with Platonic properties (also known as regular polyhedra) in four and higher dimensions. The concept of Platonic Bell inequalities in the three-dimensional Euclidean space was introduced by Tavakoli and Gisin [Quantum 4, 293 (2020)]. For any three-dimensional Platonic solid, an arrangement of projective measurements is associated where the measurement directions point toward the vertices of the solids. For the higher dimensional regular polyhedra, we use the correspondence of the vertices to the measurements in the abstract Tsirelson space. We give a remarkably simple formula for the quantum violation of all the Platonic Bell inequalities, which we prove to attain the maximum possible quantum violation of the Bell inequalities, i.e. the Tsirelson bound. To construct Bell inequalities with a large number of settings, it is crucial to compute the local bound efficiently. In general, the computation time required to compute the local bound grows exponentially with the number of measurement settings. We find a method to compute the local bound exactly for any bipartite two-outcome Bell inequality, where the dependence becomes polynomial whose degree is the rank of the Bell matrix. To show that this algorithm can be used in practice, we compute the local bound of a 300-setting Platonic Bell inequality based on the halved dodecaplex. In addition, we use a diagonal modification of the original Platonic Bell matrix to increase the ratio of quantum to local bound. In this way, we obtain a four-dimensional 60-setting Platonic Bell inequality based on the halved tetraplex for which the quantum violation exceeds the 2 ratio.

The Platonic solids is the name traditionally given to the five regular convex polyhedra, namely the tetrahedron, the octahedron, the cube, the icosahedron and the dodecahedron. Perhaps strongly boosted by the towering historical influence of their namesake, these beautiful solids have, in well over two millennia, transcended traditional boundaries and entered the stage in a range of disciplines. Examples include natural philosophy and mathematics from classical antiquity, scientific modeling during the days of the European scientific revolution and visual arts ranging from the renaissance to modernity. Motivated by mathematical beauty and a rich history, we consider the Platonic solids in the context of modern quantum mechanics. Specifically, we construct Bell inequalities whose maximal violations are achieved with measurements pointing to the vertices of the Platonic solids. These Platonic Bell inequalities are constructed only by inspecting the visible symmetries of the Platonic solids. We also construct Bell inequalities for more general polyhedra and find a Bell inequality that is more robust to noise than the celebrated Clauser-Horne-Shimony-Holt Bell inequality. Finally, we elaborate on the tension between mathematical beauty, which was our initial motivation, and experimental friendliness, which is necessary in all empirical sciences.

We have determined the maximum quantum violation of 241 tight bipartite Bell inequalities with up to five two-outcome measurement settings per party by constructing the appropriate measurement operators in up to six-dimensional complex and eight-dimensional real-component Hilbert spaces using numerical optimization. Out of these inequalities 129 have been introduced here. In 43 cases higher-dimensional component spaces gave larger violation than qubits, and in three occasions the maximum was achieved with six-dimensional spaces. We have also calculated upper bounds on these Bell inequalities using a method proposed recently. For all but 20 inequalities the best solution found matched the upper bound. Surprisingly, the simplest inequality of the set examined, with only three measurement settings per party, was not among them, despite the high dimensionality of the Hilbert space considered. We also computed detection threshold efficiencies for the maximally entangled qubit pair. These could be lowered in several instances if degenerate measurements were also allowed.

Elegant Bell inequality is well known for its distinctive property, being maximally violated by maximal entanglement, mutually unbiased bases, and symmetric informationally complete positive operator-valued measure elements. Despite its significance in quantum information theory demonstrated based on its unique violation feature, it remains the only known one with the characteristic. We present a method to construct Bell inequalities with violation feature analogous to elegant Bell inequality in higher local dimensions from a simple, analytic quantum bound. A Bell inequality with the generalized violation feature is derived in three dimension for the first time. It exhibits larger violation than existing Bell inequalities of similar classes, including the original elegant Bell inequality, while requiring arguably small number of measurements.

We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four-dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two-dimensional systems, i.e., qubits, are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate ``measurements'' in order to achieve maximum violation. The quantum state corresponding to the maximum violation in most cases is not the maximally entangled one. We also obtain the result that bipartite quantum correlations can always be reproduced by measurements and states which require only real numbers if there is no restriction on the size of the local Hilbert spaces. Therefore in order to achieve maximum quantum violation on any bipartite Bell inequality (with any number of settings and outcomes), there is no need to consider complex Hilbert spaces.

Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest

(2,2,2)

scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the

(2,2,3)

scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.