-
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals
Authors:
Axel Muller,
Metod Saniga,
Alain Giorgetti,
Frédéric Holweck,
Colm Kelleher
Abstract:
We introduce and describe a new heuristic method for finding an upper bound on the degree of contextuality and the corresponding unsatisfied part of a quantum contextual configuration with three-element contexts (i.e., lines) located in a multi-qubit symplectic polar space of order two. While the previously used method based on a SAT solver was limited to three qubits, this new method is much fast…
▽ More
We introduce and describe a new heuristic method for finding an upper bound on the degree of contextuality and the corresponding unsatisfied part of a quantum contextual configuration with three-element contexts (i.e., lines) located in a multi-qubit symplectic polar space of order two. While the previously used method based on a SAT solver was limited to three qubits, this new method is much faster and more versatile, enabling us to also handle four- to six-qubit cases. The four-qubit unsatisfied configurations we found are quite remarkable. That of an elliptic quadric features 315 lines and has in its core three copies of the split Cayley hexagon of order two having a Heawood-graph-underpinned geometry in common. That of a hyperbolic quadric also has 315 lines but, as a point-line incidence structure, is isomorphic to the dual $\mathcal{DW}(5,2)$ of $\mathcal{W}(5,2)$. Finally, an unsatisfied configuration with 1575 lines associated with all the lines/contexts of the four-qubit space contains a distinguished $\mathcal{DW}(5,2)$ centered on a point-plane incidence graph of PG$(3,2)$. The corresponding configurations found in the five-qubit space exhibit a considerably higher degree of complexity, except for a hyperbolic quadric, whose 6975 unsatisfied contexts are compactified around the point-hyperplane incidence graph of PG$(4,2)$. The most remarkable unsatisfied patterns discovered in the six-qubit space are a couple of disjoint split Cayley hexagons (for the full space) and a subgeometry underpinned by the complete bipartite graph $K_{7,7}$ (for a hyperbolic quadric).
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Exploiting Finite Geometries for Better Quantum Advantages in Mermin-Like Games
Authors:
Colm Kelleher,
Frédéric Holweck,
Péter Lévay
Abstract:
Quantum games embody non-intuitive consequences of quantum phenomena, such as entanglement and contextuality. The Mermin-Peres game is a simple example, demonstrating how two players can utilise shared quantum information to win a no - communication game with certainty, where classical players cannot. In this paper we look at the geometric structure behind such classical strategies, and borrow ide…
▽ More
Quantum games embody non-intuitive consequences of quantum phenomena, such as entanglement and contextuality. The Mermin-Peres game is a simple example, demonstrating how two players can utilise shared quantum information to win a no - communication game with certainty, where classical players cannot. In this paper we look at the geometric structure behind such classical strategies, and borrow ideas from the geometry of symplectic polar spaces to maximise this quantum advantage. We introduce a new game called the Eloily game with a quantum-classical success gap of $0.2\overline{6}$, larger than that of the Mermin-Peres and doily games. We simulate this game in the IBM Quantum Experience and obtain a success rate of $1$, beating the classical bound of $0.7\overline{3}$ demonstrating the efficiency of the quantum strategy.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Classically-embedded split Cayley hexagons rule three-qubit contextuality with three-element contexts
Authors:
Metod Saniga,
Frédéric Holweck,
Colm Kelleher,
Axel Muller,
Alain Giorgetti,
Henri de Boutray
Abstract:
As it is well known, split Cayley hexagons of order two live in the three-qubit symplectic polar space in two non-isomorphic embeddings, called classical and skew. Although neither of the two embeddings yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully rule contextuality properties of the most prominent three-qubit contextual confi…
▽ More
As it is well known, split Cayley hexagons of order two live in the three-qubit symplectic polar space in two non-isomorphic embeddings, called classical and skew. Although neither of the two embeddings yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully rule contextuality properties of the most prominent three-qubit contextual configurations in the following sense: each set of unsatisfiable contexts of such a contextual configuration is isomorphic to the set of lines that certain classically-embedded hexagon shares with this particular configuration. In particular, for a doily this shared set comprises three pairwise disjoint lines belonging to a grid of the doily, for an elliptic quadric the corresponding set features nine mutually disjoint lines forming a (Desarguesian) spread on the quadric, for a hyperbolic quadric the set entails 21 lines that are in bijection with the edges of the Heawood graph and, finally, for the configuration that consists of all the 315 contexts of the space its 63 unsatisfiable ones cover an entire hexagon. A particular illustration of this encoding is provided by the {\it line-complement} of a skew-embedded hexagon; its 24 unsatisfiable contexts correspond exactly to those 24 lines in which a particular classical copy of the hexagon differs from the considered skew-embedded one. In connection with the last-mentioned case we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to validate our theoretical findings.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Two new non-equivalent three-qubit CHSH games
Authors:
Hamza Jaffali,
Frédéric Holweck
Abstract:
In this paper, we generalize to three players the well-known CHSH quantum game. To do so, we consider all possible 3 variables Boolean functions and search among them which ones correspond to a game scenario with a quantum advantage (for a given entangled state). In particular we provide two new three players quantum games where, in one case, the best quantum strategy is obtained when the players…
▽ More
In this paper, we generalize to three players the well-known CHSH quantum game. To do so, we consider all possible 3 variables Boolean functions and search among them which ones correspond to a game scenario with a quantum advantage (for a given entangled state). In particular we provide two new three players quantum games where, in one case, the best quantum strategy is obtained when the players share a $GHZ$ state, while in the other one the players have a better advantage when they use a $W$ state as their quantum resource. To illustrate our findings we implement our game scenarios on an online quantum computer and prove experimentally the advantage of the corresponding quantum resource for each game.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Implementing 2-qubit pseudo-telepathy games on noisy intermediate scale quantum computers
Authors:
Colm Kelleher,
Mohammad Roomy,
Frédéric Holweck
Abstract:
It is known that Mermin-Peres like proofs of quantum contextuality can furnish non-local games with a guaranteed quantum strategy, when classically no such guarantee can exist. This phenomenon, also called quantum pseudo-telepathy, has been studied in the case of the so-called Mermin Magic square game. In this paper we review in detail two different ways of implementing on a quantum computer such…
▽ More
It is known that Mermin-Peres like proofs of quantum contextuality can furnish non-local games with a guaranteed quantum strategy, when classically no such guarantee can exist. This phenomenon, also called quantum pseudo-telepathy, has been studied in the case of the so-called Mermin Magic square game. In this paper we review in detail two different ways of implementing on a quantum computer such a game and propose a new Doily game based on the geometry of 2-qubit Pauli group. We show that the quantumness of these games are almost revealed when we play them on the IBM Quantum Experience, however the inherent noise in the available quantum machines prevents a full demonstration of the non-classical aspects.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Maximally entangled real states and SLOCC invariants: the 3-qutrit case
Authors:
Hamza Jaffali,
Frédéric Holweck,
Luke Oeding
Abstract:
The absolute values of polynomial SLOCC invariants (which always vanish on separable states) can be seen as measures of entanglement. We study the case of real 3-qutrit systems and discover a new set of maximally entangled states (from the point of view of maximizing the hyperdeterminant). We also study the basic fundamental invariants and find real 3-qutrit states that maximize their absolute val…
▽ More
The absolute values of polynomial SLOCC invariants (which always vanish on separable states) can be seen as measures of entanglement. We study the case of real 3-qutrit systems and discover a new set of maximally entangled states (from the point of view of maximizing the hyperdeterminant). We also study the basic fundamental invariants and find real 3-qutrit states that maximize their absolute values. It is notable that the Aharonov state is a simultaneous maximizer for all 3 fundamental invariants. We also study the evaluation of these invariants on random real 3-qutrit systems and analyze their behavior using histograms and level-set plots. Finally, we show how to evaluate these invariants on any 3-qutrit state using basic matrix operations.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
New and improved bounds on the contextuality degree of multi-qubit configurations
Authors:
Axel Muller,
Metod Saniga,
Alain Giorgetti,
Henri de Boutray,
Frédéric Holweck
Abstract:
We present algorithms and a C code to reveal quantum contextuality and evaluate the contextuality degree (a way to quantify contextuality) for a variety of point-line geometries located in binary symplectic polar spaces of small rank. With this code we were not only able to recover, in a more efficient way, all the results of a recent paper by de Boutray et al [(2022). Journal of Physics A: Mathem…
▽ More
We present algorithms and a C code to reveal quantum contextuality and evaluate the contextuality degree (a way to quantify contextuality) for a variety of point-line geometries located in binary symplectic polar spaces of small rank. With this code we were not only able to recover, in a more efficient way, all the results of a recent paper by de Boutray et al [(2022). Journal of Physics A: Mathematical and Theoretical 55 475301], but also arrived at a bunch of new noteworthy results. The paper first describes the algorithms and the C code. Then it illustrates its power on a number of subspaces of symplectic polar spaces whose rank ranges from 2 to 7. The most interesting new results include: (i) non-contextuality of configurations whose contexts are subspaces of dimension 2 and higher, (ii) non-existence of negative subspaces of dimension 3 and higher, (iii) considerably improved bounds for the contextuality degree of both elliptic and hyperbolic quadrics for rank 4, as well as for a particular subgeometry of the three-qubit space whose contexts are the lines of this space, (iv) proof for the non-contextuality of perpsets and, last but not least, (v) contextual nature of a distinguished subgeometry of a multi-qubit doily, called a two-spread, and computation of its contextuality degree. Finally, in the three-qubit polar space we correct and improve the contextuality degree of the full configuration and also describe finite geometric configurations formed by unsatisfiable/invalid constraints for both types of quadrics as well as for the geometry whose contexts are all 315 lines of the space.
△ Less
Submitted 31 May, 2024; v1 submitted 17 May, 2023;
originally announced May 2023.
-
A hyperdeterminant on Fermionic Fock Space
Authors:
Frédéric Holweck,
Luke Oeding
Abstract:
Twenty years ago Cayley's hyperdeterminant, the degree four invariant of the polynomial ring $\mathbb{C}[\mathbb{C}^2\otimes\mathbb{C}^2\otimes \mathbb{C}^2]^{{\text{SL}_2(\mathbb{C})}^{\times 3}}$, was popularized in modern physics as separates genuine entanglement classes in the three qubit Hilbert space and is connected to entropy formulas for special solutions of black holes. In this note we c…
▽ More
Twenty years ago Cayley's hyperdeterminant, the degree four invariant of the polynomial ring $\mathbb{C}[\mathbb{C}^2\otimes\mathbb{C}^2\otimes \mathbb{C}^2]^{{\text{SL}_2(\mathbb{C})}^{\times 3}}$, was popularized in modern physics as separates genuine entanglement classes in the three qubit Hilbert space and is connected to entropy formulas for special solutions of black holes. In this note we compute the analogous invariant on the fermionic Fock space for $N=8$, i.e. spin particles with four different locations, and show how this invariant projects to other well-known invariants in quantum information. We also give combinatorial interpretations of these formulas.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Robust digital optimal control on IBM quantum computers
Authors:
Meri Harutyunyan,
Frederic Holweck,
Dominique Sugny,
Stephane Guerin
Abstract:
The ability of pulse-shaping devices to generate accurately quantum optimal control is a strong limitation to the development of quantum technologies. We propose and demonstrate a systematic procedure to design robust digital control processes adapted to such experimental constraints. We show to what extent this digital pulse can be obtained from its continuous-time counterpart. A remarkable effic…
▽ More
The ability of pulse-shaping devices to generate accurately quantum optimal control is a strong limitation to the development of quantum technologies. We propose and demonstrate a systematic procedure to design robust digital control processes adapted to such experimental constraints. We show to what extent this digital pulse can be obtained from its continuous-time counterpart. A remarkable efficiency can be achieved even for a limited number of pulse parameters. We experimentally implement the protocols on IBM quantum computers for a single qubit, obtaining an optimal robust transfer in a time T = 382 ns.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five
Authors:
Axel Muller,
Metod Saniga,
Alain Giorgetti,
Henri De Boutray,
Frédéric Holweck
Abstract:
For $N \geq 2$, an $N$-qubit doily is a doily living in the $N$-qubit symplectic polar space. These doilies are related to operator-based proofs of quantum contextuality. Following and extending the strategy of Saniga et al. (Mathematics 9 (2021) 2272) that focused exclusively on three-qubit doilies, we first bring forth several formulas giving the number of both linear and quadratic doilies for a…
▽ More
For $N \geq 2$, an $N$-qubit doily is a doily living in the $N$-qubit symplectic polar space. These doilies are related to operator-based proofs of quantum contextuality. Following and extending the strategy of Saniga et al. (Mathematics 9 (2021) 2272) that focused exclusively on three-qubit doilies, we first bring forth several formulas giving the number of both linear and quadratic doilies for any $N > 2$. Then we present an effective algorithm for the generation of all $N$-qubit doilies. Using this algorithm for $N=4$ and $N=5$, we provide a classification of $N$-qubit doilies in terms of types of observables they feature and number of negative lines they are endowed with. We also list several distinguished findings about $N$-qubit doilies that are absent in the three-qubit case, point out a couple of specific features exhibited by linear doilies and outline some prospective extensions of our approach.
△ Less
Submitted 25 November, 2022; v1 submitted 7 June, 2022;
originally announced June 2022.
-
Three-Qubit-Embedded Split Cayley Hexagon is Contextuality Sensitive
Authors:
Frédéric Holweck,
Henri de Boutray,
Metod Saniga
Abstract:
It is known that there are two non-equivalent embeddings of the split Cayley hexagon of order two into $\mathcal{W}(5,2)$, the binary symplectic polar space of rank three, called classical and skew. Labelling the 63 points of $\mathcal{W}(5,2)$ by the 63 canonical observables of the three-qubit Pauli group subject to the symplectic polarity induced by the (commutation relations between the element…
▽ More
It is known that there are two non-equivalent embeddings of the split Cayley hexagon of order two into $\mathcal{W}(5,2)$, the binary symplectic polar space of rank three, called classical and skew. Labelling the 63 points of $\mathcal{W}(5,2)$ by the 63 canonical observables of the three-qubit Pauli group subject to the symplectic polarity induced by the (commutation relations between the elements of the) group, the two types of embedding are found to be quantum contextuality sensitive. In particular, we show that the complement of a classically-embedded hexagon is not contextual, whereas that of a skewly-embedded one is.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Graph States and the Variety of Principal Minors
Authors:
Vincenzo Galgano,
Frédéric Holweck
Abstract:
In Quantum Information theory, graph states are quantum states defined by graphs. In this work we exhibit a correspondence between graph states and the variety of binary symmetric principal minors, in particular their corresponding orbits under the action of $SL(2,\mathbb F_2)^{\times n}\rtimes \mathfrak S_n$. We start by approaching the topic more widely, that is by studying the orbits of maximal…
▽ More
In Quantum Information theory, graph states are quantum states defined by graphs. In this work we exhibit a correspondence between graph states and the variety of binary symmetric principal minors, in particular their corresponding orbits under the action of $SL(2,\mathbb F_2)^{\times n}\rtimes \mathfrak S_n$. We start by approaching the topic more widely, that is by studying the orbits of maximal abelian subgroups of the $n$-fold Pauli group under the action of $\mathcal C_n^{\text{loc}}\rtimes \mathfrak S_n$, where $\mathcal C_n^{\text{loc}}$ is the $n$-fold local Clifford group: we show that this action corresponds to the natural action of $SL(2,\mathbb F_2)^{\times n}\rtimes \mathfrak S_n$ on the variety $\mathcal Z_n\subset \mathbb P(\mathbb F_2^{2^n})$ of principal minors of binary symmetric $n\times n$ matrices. The crucial step in this correspondence is in translating the action of $SL(2,\mathbb F_2)^{\times n}$ into an action of the local symplectic group $Sp_{2n}^{\text{loc}}(\mathbb F_2)$ on the Lagrangian Grassmannian $LG_{\mathbb F_2}(n,2n)$. We conclude by studying how the former action restricts onto stabilizer groups and stabilizer states, and finally what happens in the case of graph states.
△ Less
Submitted 8 September, 2022; v1 submitted 6 July, 2021;
originally announced July 2021.
-
Contextuality degree of quadrics in multi-qubit symplectic polar spaces
Authors:
Henri de Boutray,
Frédéric Holweck,
Alain Giorgetti,
Pierre-Alain Masson,
Metod Saniga
Abstract:
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we formulate the contextuality property as the absence of solutions to a linear system and define for a contextual configuration its degree of contextua…
▽ More
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we formulate the contextuality property as the absence of solutions to a linear system and define for a contextual configuration its degree of contextuality. Then we explain why subgeometries of binary symplectic polar spaces are candidates for contextuality proofs. We report the results of a software that generates these subgeometries, decides their contextuality and computes their contextuality degree for some small symplectic polar spaces. We show that quadrics in the symplectic polar space $W_n$ are contextual for $n=3,4,5$. The proofs we consider involve more contexts and observables than the smallest known proofs. This intermediate size property of those proofs is interesting for experimental tests, but could also be interesting in quantum game theory.
△ Less
Submitted 20 March, 2023; v1 submitted 28 May, 2021;
originally announced May 2021.
-
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
Authors:
Metod Saniga,
Henri de Boutray,
Frederic Holweck,
Alain Giorgetti
Abstract:
We study certain physically-relevant subgeometries of binary symplectic polar spaces $W(2N-1,2)$ of small rank $N$, when the points of these spaces canonically encode $N$-qubit observables. Key characteristics of a subspace of such a space $W(2N-1,2)$ are: the number of its negative lines, the distribution of types of observables, the character of the geometric hyperplane the subspace shares with…
▽ More
We study certain physically-relevant subgeometries of binary symplectic polar spaces $W(2N-1,2)$ of small rank $N$, when the points of these spaces canonically encode $N$-qubit observables. Key characteristics of a subspace of such a space $W(2N-1,2)$ are: the number of its negative lines, the distribution of types of observables, the character of the geometric hyperplane the subspace shares with the distinguished (non-singular) quadric of $W(2N-1,2)$ and the structure of its Veldkamp space. In particular, we classify and count polar subspaces of $W(2N-1,2)$ whose rank is $N-1$. $W(3,2)$ features three negative lines of the same type and its $W(1,2)$'s are of five different types. $W(5,2)$ is endowed with 90 negative lines of two types and its $W(3,2)$'s split into 13 types. 279 out of 480 $W(3,2)$'s with three negative lines are composite, i.\,e. they all originate from the two-qubit $W(3,2)$. Given a three-qubit $W(3,2)$ and any of its geometric hyperplanes, there are three other $W(3,2)$'s possessing the same hyperplane. The same holds if a geometric hyperplane is replaced by a `planar' tricentric triad. A hyperbolic quadric of $W(5,2)$ is found to host particular sets of seven $W(3,2)$'s, each of them being uniquely tied to a Conwell heptad with respect to the quadric. There is also a particular type of $W(3,2)$'s, a representative of which features a point each line through which is negative. Finally, $W(7,2)$ is found to possess 1908 negative lines of five types and its $W(5,2)$'s fall into as many as 29 types. 1524 out of 1560 $W(5,2)$'s with 90 negative lines originate from the three-qubit $W(5,2)$. Remarkably, the difference in the number of negative lines for any two distinct types of four-qubit $W(5,2)$'s is a multiple of four.
△ Less
Submitted 25 July, 2021; v1 submitted 8 May, 2021;
originally announced May 2021.
-
Testing Quantum Contextuality of Binary Symplectic Polar Spaces on a Noisy Intermediate Scale Quantum Computer
Authors:
Frédéric Holweck
Abstract:
The development of Noisy Intermediate Scale Quantum Computers (NISQC) provides for the Quantum Information community new tools to perform quantum experiences from an individual laptop. It facilitates interdisciplinary research in the sense that theoretical descriptions of properties of quantum physics can be translated to experiments easily implementable on a NISCQ. In this note I test large state…
▽ More
The development of Noisy Intermediate Scale Quantum Computers (NISQC) provides for the Quantum Information community new tools to perform quantum experiences from an individual laptop. It facilitates interdisciplinary research in the sense that theoretical descriptions of properties of quantum physics can be translated to experiments easily implementable on a NISCQ. In this note I test large state-independent inequalities for quantum contextuality on finite geometric structures encoding the commutation relations of the generalized N-qubit Pauli group. The bounds predicted by Non-Contextual Hidden Variables theories are strongly violated in all conducted experiences.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Entanglement and non-locality of four-qubit connected hypergraph states
Authors:
Grâce Amouzou,
Jeoffrey Boffelli,
Hamza Jaffali,
Kossi Atchonouglo,
Frédéric Holweck
Abstract:
We study entanglement and non-locality of connected four-qubit hypergraph states. One obtains the SLOCC classification from the known LU-orbits. We then consider Mermin's polynomials and show that all four-qubit hypergraph states exhibit non-local behavior. Finally, we implement some of the corresponding inequalities on the IBM Quantum Experience.
We study entanglement and non-locality of connected four-qubit hypergraph states. One obtains the SLOCC classification from the known LU-orbits. We then consider Mermin's polynomials and show that all four-qubit hypergraph states exhibit non-local behavior. Finally, we implement some of the corresponding inequalities on the IBM Quantum Experience.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Mermin Polynomials for Entanglement Evaluation in Grover's algorithm and Quantum Fourier Transform
Authors:
Henri de Boutray,
Hamza Jaffali,
Frédéric Holweck,
Alain Giorgetti,
Pierre-Alain Masson
Abstract:
The entanglement of a quantum system can be valuated using Mermin polynomials. This gives us a means to study entanglement evolution during the execution of quantum algorithms. We first consider Grover's quantum search algorithm, noticing that states during the algorithm are maximally entangled in the direction of a single constant state, which allows us to search for a single optimal Mermin opera…
▽ More
The entanglement of a quantum system can be valuated using Mermin polynomials. This gives us a means to study entanglement evolution during the execution of quantum algorithms. We first consider Grover's quantum search algorithm, noticing that states during the algorithm are maximally entangled in the direction of a single constant state, which allows us to search for a single optimal Mermin operator and use it to evaluate entanglement through the whole execution of Grover's algorithm. Then the Quantum Fourier Transform is also studied with Mermin polynomials. A different optimal Mermin operator is searched at each execution step, since in this case there is no single direction of evolution. The results for the Quantum Fourier Transform are compared to results from a previous study of entanglement with Cayley hyperdeterminant. All our computations can be replayed thanks to a structured and documented open-source code that we provide.
△ Less
Submitted 15 January, 2020;
originally announced January 2020.
-
A Finite-Geometric Classification of Three-Qubit Mermin Pentagrams
Authors:
Metod Saniga,
Frederic Holweck,
Hamza Jaffali
Abstract:
Given the facts that the three-qubit symplectic polar space features three different kinds of observables and each of its labeled Fano planes acquires a definite sign, we found that there are 45 distinct types of Mermin pentagrams in this space. A key element of our classification is the fact that any context of such pentagram is associated with a unique (positive or negative) Fano plane. Several…
▽ More
Given the facts that the three-qubit symplectic polar space features three different kinds of observables and each of its labeled Fano planes acquires a definite sign, we found that there are 45 distinct types of Mermin pentagrams in this space. A key element of our classification is the fact that any context of such pentagram is associated with a unique (positive or negative) Fano plane. Several intriguing relations between the character of pentagrams' three-qubit observables and `valuedness' of associated Fano planes are pointed out. In particular, we find two distinct kinds of negative contexts and as many as four positive ones.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
A finite geometric toy model of space-time as an error correcting code
Authors:
Péter Lévay,
Frédéric Holweck
Abstract:
A finite geometric model of space-time (which we call the bulk) is shown to emerge as a set of error correcting codes. The bulk is encoding a set of messages located in a blow up of the Gibbons-Hoffman-Wootters (GHW) discrete phase space for $n$-qubits (which we call the boundary). Our error correcting code is a geometric subspace code known from network coding, and the correspondence map is the f…
▽ More
A finite geometric model of space-time (which we call the bulk) is shown to emerge as a set of error correcting codes. The bulk is encoding a set of messages located in a blow up of the Gibbons-Hoffman-Wootters (GHW) discrete phase space for $n$-qubits (which we call the boundary). Our error correcting code is a geometric subspace code known from network coding, and the correspondence map is the finite geometric analogue of the Plücker map well-known form twistor theory. The $n=2$ case of the bulk-boundary correspondence is precisely the twistor correspondence where the boundary is playing the role of the twistor space and the bulk is a finite geometric version of compactified Minkowski space-time. For $n\geq 3$ the bulk is identified with the finite geometric version of the Brody-Hughston quantum space-time. For special regions on both sides of the correspondence we associate certain collections of qubit observables. On the boundary side this association gives rise to the well-known GHW quantum net structure. In this picture the messages are complete sets of commuting observables associated to Lagrangian subspaces giving a partition of the boundary. Incomplete subsets of observables corresponding to subspaces of the Lagrangian ones are regarded as corrupted messages. Such a partition of the boundary is represented on the bulk side as a special collection of space-time points. For a particular message residing in the boundary, the set of possible errors is described by the fine details of the light-cone structure of its representative space-time point in the bulk. The geometric arrangement of representative space-time points, playing the role of the variety of codewords, encapsulates an algebraic algorithm for recovery from errors on the boundary side.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Quantum Entanglement involved in Grover's and Shor's algorithms: the four-qubit case
Authors:
Hamza Jaffali,
Frédéric Holweck
Abstract:
In this paper, we study the nature of entanglement in quantum Grover's and Shor's algorithms. So far, the authors who have been interested in this problem have approached the question quantitatively by introducing entanglement measures (numerical ones most of the time). One can ask a different question: what about a qualitative measure of entanglement ? In other words, we try to find what are the…
▽ More
In this paper, we study the nature of entanglement in quantum Grover's and Shor's algorithms. So far, the authors who have been interested in this problem have approached the question quantitatively by introducing entanglement measures (numerical ones most of the time). One can ask a different question: what about a qualitative measure of entanglement ? In other words, we try to find what are the different entanglement SLOCC classes that can be generated by these two algorithms. We treat in this article the case of pure four-qubit systems.
△ Less
Submitted 4 December, 2018; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Geometric constructions over $\mathbb{C}$ and $\mathbb{F}_2$ for Quantum Information
Authors:
Frédéric Holweck
Abstract:
In this review paper I present two geometric constructions of distinguished nature, one is over the field of complex numbers $\mathbb{C}$ and the other one is over the two elements field $\mathbb{F}_2$. Both constructions have been employed in the past fifteen years to describe two quantum paradoxes or two resources of quantum information: entanglement of pure multipartite systems on one side and…
▽ More
In this review paper I present two geometric constructions of distinguished nature, one is over the field of complex numbers $\mathbb{C}$ and the other one is over the two elements field $\mathbb{F}_2$. Both constructions have been employed in the past fifteen years to describe two quantum paradoxes or two resources of quantum information: entanglement of pure multipartite systems on one side and contextuality on the other. Both geometric constructions are linked to representation of semi-simple Lie groups/algebras. To emphasize this aspect one explains on one hand how well-known results in representation theory allows one to see all the classification of entanglement classes of various tripartite quantum systems ($3$ qubits, $3$ fermions, $3$ bosonic qubits...) in a unified picture. On the other hand, one also shows how some weight diagrams of simple Lie groups are encapsulated in the geometry which deals with the commutation relations of the generalized $N$-Pauli group.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
A fermionic code related to the exceptional group $E_8$
Authors:
Péter Lévay,
Frédéric Holweck
Abstract:
In this paper we study the Hamming-like fermionic code encoding three-qubits into sixteen Majorana modes recently introduced by Hastings. We show that although this fermionic code cannot be obtained from a single qubit stabilizer code via the usual procedure however, it can be obtained from two, qubit stabilizer ones via a glueing procedure combining both single and double occupancy embeddings of…
▽ More
In this paper we study the Hamming-like fermionic code encoding three-qubits into sixteen Majorana modes recently introduced by Hastings. We show that although this fermionic code cannot be obtained from a single qubit stabilizer code via the usual procedure however, it can be obtained from two, qubit stabilizer ones via a glueing procedure combining both single and double occupancy embeddings of qubits into fermionic Fock space. This technique identifies the code subspace as a Cartan subspace of the largest exceptional group $E_8$. In arriving at these results we develop a general formalism for implementing this glueing procedure via the use of intertwiners between different subsectors of the Fock space realizing embedded qubits.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
The magic three-qubit Veldkamp line: A finite geometric underpinning for form theories of gravity and black hole entropy
Authors:
Péter Lévay,
Frédéric Holweck,
Metod Saniga
Abstract:
We investigate the structure of the three-qubit magic Veldkamp line (MVL). This mathematical notion has recently shown up as a tool for understanding the structures of the set of Mermin pentagrams, objects that are used to rule out certain classes of hidden variable theories. Here we show that this object also provides a unifying finite geometric underpinning for understanding the structure of fun…
▽ More
We investigate the structure of the three-qubit magic Veldkamp line (MVL). This mathematical notion has recently shown up as a tool for understanding the structures of the set of Mermin pentagrams, objects that are used to rule out certain classes of hidden variable theories. Here we show that this object also provides a unifying finite geometric underpinning for understanding the structure of functionals used in form theories of gravity and black hole entropy. We clarify the representation theoretic, finite geometric and physical meaning of the different parts of our MVL. The upshot of our considerations is that the basic finite geometric objects enabling such a diversity of physical applications of the MVL are the unique generalized quadrangles with lines of size three, their one point extensions as well as their other extensions isomorphic to affine polar spaces of rank three and order two. In a previous work we have already connected generalized quadrangles to the structure of cubic Jordan algebras related to entropy fomulas of black holes and strings in five dimensions. In some respect the present paper can be regarded as a generalization of that analysis for also providing a finite geometric understanding of four-dimensional black hole entropy formulas. However, we find many more structures whose physical meaning is yet to be explored. As a familiar special case our work provides a finite geometric representation of the algebraic extension from cubic Jordan algebras to Freudenthal systems based on such algebras.
△ Less
Submitted 5 April, 2017;
originally announced April 2017.
-
Contextuality with a Small Number of Observables
Authors:
Frédéric Holweck,
Metod Saniga
Abstract:
We investigate small geometric configurations that furnish observable-based proofs of the Kochen-Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin-Peres square and the Mermin pentagram featuring, respectively, $9$ and $10$ observables, there being n…
▽ More
We investigate small geometric configurations that furnish observable-based proofs of the Kochen-Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin-Peres square and the Mermin pentagram featuring, respectively, $9$ and $10$ observables, there being no proofs using less than $9$ observables. We also propose a new proof with $14$ observables forming a `magic' heptagram. On the other hand, some other prominent small-size finite geometries, like the Pasch configuration and the prism, are shown not to be contextual.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Grover's Algorithm and the Secant Varieties
Authors:
Frédéric Holweck,
Hamza Jaffali,
Ismaël Nounouh
Abstract:
In this paper we investigate the entanglement nature of quantum states generated by Grover's search algorithm by means of algebraic geometry. More precisely we establish a link between entanglement of states generated by the algorithm and auxiliary algebraic varieties built from the set of separable states. This new perspective enables us to propose qualitative interpretations of earlier numerical…
▽ More
In this paper we investigate the entanglement nature of quantum states generated by Grover's search algorithm by means of algebraic geometry. More precisely we establish a link between entanglement of states generated by the algorithm and auxiliary algebraic varieties built from the set of separable states. This new perspective enables us to propose qualitative interpretations of earlier numerical results obtained by M. Rossi et al. We also illustrate our purpose with a couple of examples investigated in details.
△ Less
Submitted 20 July, 2016;
originally announced July 2016.
-
Entanglement of four-qubit systems: a geometric atlas with polynomial compass II (the tame world)
Authors:
Frédéric Holweck,
Jean-Garbriel Luque,
Jean-Yves Thibon
Abstract:
We propose a new approach to the geometry of the four-qubit entanglement classes depending on parameters. More precisely, we use invariant theory and algebraic geometry to describe various stratifications of the Hilbert space by SLOCC invariant algebraic varieties. The normal forms of the four-qubit classification of Verstraete {\em et al.} are interpreted as dense subsets of components of the dua…
▽ More
We propose a new approach to the geometry of the four-qubit entanglement classes depending on parameters. More precisely, we use invariant theory and algebraic geometry to describe various stratifications of the Hilbert space by SLOCC invariant algebraic varieties. The normal forms of the four-qubit classification of Verstraete {\em et al.} are interpreted as dense subsets of components of the dual variety of the set of separable states and an algorithm based on the invariants/covariants of the four-qubit quantum states is proposed to identify a state with a SLOCC equivalent normal form (up to qubits permutation).
△ Less
Submitted 17 June, 2016;
originally announced June 2016.
-
Three-qutrit entanglement and simple singularities
Authors:
Frédéric Holweck,
Hamza Jaffali
Abstract:
In this paper, we use singularity theory to study the entanglement nature of pure three-qutrit systems. We first consider the algebraic variety $X$ of separable three-qutrit states within the projective Hilbert space $\mathbb{P}(\mathcal{H}) = \mathbb{P}^{26}$. Given a quantum pure state $|\varphi\rangle\in \mathbb{P}(\mathcal{H})$ we define the $X_\varphi$-hypersuface by cutting $X$ with a hyperp…
▽ More
In this paper, we use singularity theory to study the entanglement nature of pure three-qutrit systems. We first consider the algebraic variety $X$ of separable three-qutrit states within the projective Hilbert space $\mathbb{P}(\mathcal{H}) = \mathbb{P}^{26}$. Given a quantum pure state $|\varphi\rangle\in \mathbb{P}(\mathcal{H})$ we define the $X_\varphi$-hypersuface by cutting $X$ with a hyperplane $H_\varphi$ defined by the linear form $\langle\varphi|$ (the $X_\varphi$-hypersurface of $X$ is $X\cap H_\varphi \subset X$).
We prove that when $|\varphi\rangle$ ranges over the SLOCC entanglement classes, the "worst" possible singular $X_\varphi$-hypersuface with isolated singularities, has a unique singular point of type $D_4$.
△ Less
Submitted 17 June, 2016;
originally announced June 2016.
-
Veldkamp Spaces: From (Dynkin) Diagrams to (Pauli) Groups
Authors:
Metod Saniga,
Frederic Holweck,
Petr Pracna
Abstract:
Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the…
▽ More
Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the diagram (for $4 \leq n \leq 7$) by particular elements of the two-qubit Pauli group establishes a bijection between the 15 elements of the group and the 15 points of the PG$(3,2)$. The bijection is such that the product of three elements lying on the same line is the identity and one also readily singles out that particular copy of the symplectic polar space $W(3,2)$ of the PG$(3,2)$ whose lines correspond to triples of mutually commuting elements of the group; in the latter case, in addition, we arrive at a unique copy of the Mermin-Peres magic square. In the case of $n=8$, a more natural labeling is that in terms of elements of the three-qubit Pauli group, furnishing a bijection between the 63 elements of the group and the 63 points of PG$(5,2)$, the latter being the maximum projective subspace of the corresponding Veldkamp space; here, the points of the distinguished PG$(3,2)$ are in a bijection with the elements of a two-qubit subgroup of the three-qubit Pauli group, yielding a three-qubit version of the Mermin-Peres square. Moreover, save for $n=4$, each Veldkamp space is also endowed with some `exceptional' point(s). Interestingly, two such points in the $n=8$ case define a unique Fano plane whose inherited three-qubit labels feature solely the Pauli matrix $Y$.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Embedding qubits into fermionic Fock space, peculiarities of the four-qubit case
Authors:
Péter Lévay,
Fréderic Holweck
Abstract:
We give a fermionic Fock space description of embedded entangled qubits. Within this framework the problem of classification of pure state entanglement boils down to the problem of classifying spinors. The usual notion of separable states turns out to be just a special case of the one of pure spinors. By using the notion of single, double and mixed occupancy representation with intertwiners relati…
▽ More
We give a fermionic Fock space description of embedded entangled qubits. Within this framework the problem of classification of pure state entanglement boils down to the problem of classifying spinors. The usual notion of separable states turns out to be just a special case of the one of pure spinors. By using the notion of single, double and mixed occupancy representation with intertwiners relating them a natural physical interpretation of embedded qubits is found. As an application of these ideas one can make a physically sound meaning of some of the direct sum structures showing up in the context of the so-called Black-Hole/Qubit Correspondence. We discuss how the usual invariants for qubits serving as measures of entanglement can be obtained from invariants for spinors in an elegant manner. In particular a detailed case study for recovering the invariants for four-qubits within a spinorial framework is presented. We also observe that reality conditions on complex spinors defining Majorana spinors for embedded qubits boil down to self conjugate states under the Wootters spin flip operation. Finally we conduct a study on the explicit structure of $Spin(16,\mathbb{C})$ invariant polynomials related to the structure of possible measures of entanglement for fermionic systems with 8 modes. Here we find an algebraically independent generating set of the generalized SLOCC invariants and calculate their restriction to the dense orbit. We point out the special role the largest exceptional group $E_8$ is playing in these considerations.
△ Less
Submitted 16 February, 2015;
originally announced February 2015.
-
Classification of multipartite systems featuring only $|W\rangle$ and $|GHZ\rangle$ genuine entangled states
Authors:
Frédéric Holweck,
Péter Lévay
Abstract:
In this paper we present several multipartite quantum systems featuring the same type of genuine (tripartite) entanglement. Based on a geometric interpretation of the so-called $|W\rangle$ and $|GHZ\rangle$ states we show that the classification of all multipartite systems featuring those and only those two classes of genuine entanglement can be deduced from earlier work of algebraic geometers. Th…
▽ More
In this paper we present several multipartite quantum systems featuring the same type of genuine (tripartite) entanglement. Based on a geometric interpretation of the so-called $|W\rangle$ and $|GHZ\rangle$ states we show that the classification of all multipartite systems featuring those and only those two classes of genuine entanglement can be deduced from earlier work of algebraic geometers. This classification corresponds in fact to classification of fundamental subadjoint varieties and establish a connection between those systems, well known in Quantum Information Theory and fundamental simple Lie algebras.
△ Less
Submitted 15 January, 2015;
originally announced January 2015.
-
Veldkamp-Space Aspects of a Sequence of Nested Binary Segre Varieties
Authors:
Metod Saniga,
Hans Havlicek,
Frederic Holweck,
Michel Planat,
Petr Pracna
Abstract:
Let $S_{(N)} \equiv PG(1,\,2) \times PG(1,\,2) \times \cdots \times PG(1,\,2)$ be a Segre variety that is $N$-fold direct product of projective lines of size three. Given two geometric hyperplanes $H'$ and $H''$ of $S_{(N)}$, let us call the triple $\{H', H'', \overline{H' ΔH''}\}$ the Veldkamp line of $S_{(N)}$. We shall demonstrate, for the sequence $2 \leq N \leq 4$, that the properties of geom…
▽ More
Let $S_{(N)} \equiv PG(1,\,2) \times PG(1,\,2) \times \cdots \times PG(1,\,2)$ be a Segre variety that is $N$-fold direct product of projective lines of size three. Given two geometric hyperplanes $H'$ and $H''$ of $S_{(N)}$, let us call the triple $\{H', H'', \overline{H' ΔH''}\}$ the Veldkamp line of $S_{(N)}$. We shall demonstrate, for the sequence $2 \leq N \leq 4$, that the properties of geometric hyperplanes of $S_{(N)}$ are fully encoded in the properties of Veldkamp {\it lines} of $S_{(N-1)}$. Using this property, a complete classification of all types of geometric hyperplanes of $S_{(4)}$ is provided. Employing the fact that, for $2 \leq N \leq 4$, the (ordinary part of) Veldkamp space of $S_{(N)}$ is $PG(2^N-1,2)$, we shall further describe which types of geometric hyperplanes of $S_{(N)}$ lie on a certain hyperbolic quadric $\mathcal{Q}_0^+(2^N-1,2) \subset PG(2^N-1,2)$ that contains the $S_{(N)}$ and is invariant under its stabilizer group; in the $N=4$ case we shall also single out those of them that correspond, via the Lagrangian Grassmannian of type $LG(4,8)$, to the set of 2295 maximal subspaces of the symplectic polar space $\mathcal{W}(7,2)$.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
Singularity of type $D_4$ arising from four qubit systems
Authors:
Frédéric Holweck,
Jean-Gabriel Luque,
Michel Planat
Abstract:
An intriguing correspondence between four-qubit systems and simple singularity of type $D_4$ is established. We first consider an algebraic variety $X$ of separable states within the projective Hilbert space $\mathbb{P}(\mathcal{H})=\mathbb{P}^{15}$. Then, cutting $X$ with a specific hyperplane $H$, we prove that the $X$-hypersurface, defined from the section $X\cap H\subset X$, has an isolated si…
▽ More
An intriguing correspondence between four-qubit systems and simple singularity of type $D_4$ is established. We first consider an algebraic variety $X$ of separable states within the projective Hilbert space $\mathbb{P}(\mathcal{H})=\mathbb{P}^{15}$. Then, cutting $X$ with a specific hyperplane $H$, we prove that the $X$-hypersurface, defined from the section $X\cap H\subset X$, has an isolated singularity of type $D_4$; it is also shown that this is the "worst-possible" isolated singularity one can obtain by this construction. Moreover, it is demonstrated that this correspondence admits a dual version by proving that the equation of the dual variety of $X$, which is nothing but the Cayley hyperdeterminant of type $2\times 2\times 2\times 2$, can be expressed in terms of the SLOCC invariant polynomials as the discriminant of the miniversal deformation of the $D_4$-singularity.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
A Notable Relation between $N$-Qubit and $2^{N-1}$-Qubit Pauli Groups via Binary ${\rm LGr}(N,2N)$
Authors:
Frédéric Holweck,
Metod Saniga,
Péter Lévay
Abstract:
Employing the fact that the geometry of the $N$-qubit ($N \geq 2$) Pauli group is embodied in the structure of the symplectic polar space $\mathcal{W}(2N-1,2)$ and using properties of the Lagrangian Grassmannian ${\rm LGr}(N,2N)$ defined over the smallest Galois field, it is demonstrated that there exists a bijection between the set of maximum sets of mutually commuting elements of the $N$-qubit P…
▽ More
Employing the fact that the geometry of the $N$-qubit ($N \geq 2$) Pauli group is embodied in the structure of the symplectic polar space $\mathcal{W}(2N-1,2)$ and using properties of the Lagrangian Grassmannian ${\rm LGr}(N,2N)$ defined over the smallest Galois field, it is demonstrated that there exists a bijection between the set of maximum sets of mutually commuting elements of the $N$-qubit Pauli group and a certain subset of elements of the $2^{N-1}$-qubit Pauli group. In order to reveal finer traits of this correspondence, the cases $N=3$ (also addressed recently by Lévay, Planat and Saniga [J. High Energy Phys. 2013 (2013), no. 9, 037, 35 pages, arXiv:1305.5689]) and $N=4$ are discussed in detail. As an apt application of our findings, we use the stratification of the ambient projective space ${\rm PG}(2^N-1,2)$ of the $2^{N-1}$-qubit Pauli group in terms of $G$-orbits, where $G \equiv {\rm SL}(2,2)\times {\rm SL}(2,2)\times\cdots\times {\rm SL}(2,2)\rtimes S_N$, to decompose $\underlineπ({\rm LGr}(N,2N))$ into non-equivalent orbits. This leads to a partition of ${\rm LGr}(N,2N)$ into distinguished classes that can be labeled by elements of the above-mentioned Pauli groups.
△ Less
Submitted 8 April, 2014; v1 submitted 11 November, 2013;
originally announced November 2013.
-
Quantum contextual finite geometries from dessins d'enfants
Authors:
Michel Planat,
Alain Giorgetti,
Frédéric Holweck,
Metod Saniga
Abstract:
We point out an explicit connection between graphs drawn on compact Riemann surfaces defined over the field $\bar{\mathbb{Q}}$ of algebraic numbers --- so-called Grothendieck's {\it dessins d'enfants} --- and a wealth of distinguished point-line configurations. These include simplices, cross-polytopes, several notable projective configurations, a number of multipartite graphs and some 'exotic' geo…
▽ More
We point out an explicit connection between graphs drawn on compact Riemann surfaces defined over the field $\bar{\mathbb{Q}}$ of algebraic numbers --- so-called Grothendieck's {\it dessins d'enfants} --- and a wealth of distinguished point-line configurations. These include simplices, cross-polytopes, several notable projective configurations, a number of multipartite graphs and some 'exotic' geometries. Among them, remarkably, we find not only those underlying Mermin's magic square and magic pentagram, but also those related to the geometry of two- and three-qubit Pauli groups. Of particular interest is the occurrence of all the three types of slim generalized quadrangles, namely GQ(2,1), GQ(2,2) and GQ(2,4), and a couple of closely related graphs, namely the Schläfli and Clebsch ones. These findings seem to indicate that {\it dessins d'enfants} may provide us with a new powerful tool for gaining deeper insight into the nature of finite-dimensional Hilbert spaces and their associated groups, with a special emphasis on contextuality.
△ Less
Submitted 4 September, 2015; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Entanglement of four qubit systems: a geometric atlas with polynomial compass I (the finite world)
Authors:
Frédéric Holweck,
Jean-Gabriel Luque,
Jean-Yves Thibon
Abstract:
We investigate the geometry of the four qubit systems by means of algebraic geometry and invariant theory, which allows us to interpret certain entangled states as algebraic varieties. More precisely we describe the nullcone, i.e., the set of states annihilated by all invariant polynomials, and also the so called third secant variety, which can be interpreted as the generalization of GHZ-states fo…
▽ More
We investigate the geometry of the four qubit systems by means of algebraic geometry and invariant theory, which allows us to interpret certain entangled states as algebraic varieties. More precisely we describe the nullcone, i.e., the set of states annihilated by all invariant polynomials, and also the so called third secant variety, which can be interpreted as the generalization of GHZ-states for more than three qubits. All our geometric descriptions go along with algorithms which allow us to identify any given state in the nullcone or in the third secant variety as a point of one of the 47 varieties described in the paper. These 47 varieties correspond to 47 non-equivalent entanglement patterns, which reduce to 15 different classes if we allow permutations of the qubits.
△ Less
Submitted 8 July, 2013; v1 submitted 28 June, 2013;
originally announced June 2013.
-
Distinguished three-qubit 'magicity' via automorphisms of the split Cayley hexagon
Authors:
Michel Planat,
Metod Saniga,
Frederic Holweck
Abstract:
Disregarding the identity, the remaining 63 elements of the generalized three-qubit Pauli group are found to contain 12096 distinct copies of Mermin's magic pentagram. Remarkably, 12096 is also the number of automorphisms of the smallest split Cayley hexagon. We give a few solid arguments showing that this may not be a mere coincidence. These arguments are mainly tied to the structure of certain t…
▽ More
Disregarding the identity, the remaining 63 elements of the generalized three-qubit Pauli group are found to contain 12096 distinct copies of Mermin's magic pentagram. Remarkably, 12096 is also the number of automorphisms of the smallest split Cayley hexagon. We give a few solid arguments showing that this may not be a mere coincidence. These arguments are mainly tied to the structure of certain types of geometric hyperplanes of the hexagon. It is further demonstrated that also an (18_{2}, 12_{3})-type of magic configurations, recently proposed by Waegell and Aravind (J. Phys. A: Math. Theor. 45 (2012) 405301), seems to be intricately linked with automorphisms of the hexagon. Finally, the entanglement properties exhibited by edges of both pentagrams and these particular Waegell-Aravind configurations are addressed.
△ Less
Submitted 12 December, 2012;
originally announced December 2012.
-
Geometric descriptions of entangled states by auxiliaries varieties
Authors:
Frédéric Holweck,
Jean-Gabriel Luque,
Jean-Yves Thibon
Abstract:
The aim of the paper is to propose geometric descriptions of multipartite entangled states using algebraic geometry. In the context of this paper, geometric means each stratum of the Hilbert space, corresponding to an entangled state, is an open subset of an algebraic variety built by classical geometric constructions (tangent lines, secant lines) from the set of separable states. In this setting…
▽ More
The aim of the paper is to propose geometric descriptions of multipartite entangled states using algebraic geometry. In the context of this paper, geometric means each stratum of the Hilbert space, corresponding to an entangled state, is an open subset of an algebraic variety built by classical geometric constructions (tangent lines, secant lines) from the set of separable states. In this setting we describe well-known classifications of multipartite entanglement such as $2\times 2\times(n+1)$, for $n\geq 1$, quantum systems and a new example with the $2\times 3\times 3$ quantum system.
Our description completes the approach of Miyake and makes stronger connections with recent work of algebraic geometers. Moreover for the quantum systems detailed in this paper we propose an algorithm, based on the classical theory of invariants, to decide to which subvariety of the Hilbert space a given state belongs.
△ Less
Submitted 8 May, 2012; v1 submitted 28 April, 2012;
originally announced April 2012.