Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Projective Line Over the Finite Quotient Ring GF(2)[$x$]/$\langle x^{3} - x \rangle$ and Quantum Entanglement I. Theoretical Background

Метод Санига, Michel R. P. Planat

Published Jan 1, 2007• 0 citations
OpenAlex

Abstract

The paper deals with the projective line over the finite factor ring $R_{\clubsuit} \equiv$ GF(2)[$x$]/$\langle x^{3} - x \rangle$. The line is endowed with 18 points, spanning the neighbourhoods of three pairwise distant points. As $R_{\clubsuit}$ is not a local ring, the neighbour (or parallel) relation is not an equivalence relation so that the sets of neighbour points to two distant points overlap. There are nine neighbour points to any point of the line, forming three disjoint families under the reduction modulo either of two maximal ideals of the ring. Two of the families contain four points each and they swap their roles when switching from one ideal to the other; the points of the one family merge with (the image of) the point in question, while the points of the other family go in pairs into the remaining two points of the associated ordinary projective line of order two. The single point of the remaining family is sent to the reference point under both the mappings and its existence stems from a non-trivial character of the Jacobson radical, ${\cal J}_{\clubsuit}$, of the ring. The factor ring $\widetilde{R}_{\clubsuit} \equiv R_{\clubsuit}/ {\cal J}_{\clubsuit}$ is isomorphic to GF(2) $\otimes$ GF(2). The projective line over $\widetilde{R}_{\clubsuit}$ features nine points, each of them being surrounded by four neighbour and the same number of distant points, and any two distant points share two neighbours. These remarkable ring geometries are surmised to be of relevance for modelling entangled qubit states, to be discussed in detail in Part II of the paper.

Related papers

The Projective Line Over the Finite Quotient Ring GF(2)[$x$]/$\langle x^{3} - x \rangle$ and Quantum Entanglement\\ II. The Mermin ``Magic" Square/Pentagram

Метод Санига, Michel R. P. Planat, Milan Minarovjech

In 1993, Mermin (Rev. Mod. Phys. 65, 803--815) gave lucid and strikingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight by making use of what has since been referred to as the Mermin(-Peres) ``magic square" and the Mermin pentagram, respectively. The former is a $3 \times 3$ array of nine observables commuting pairwise in each row and column and arranged so that their product properties contradict those of the assigned eigenvalues. The latter is a set of ten observables arranged in five groups of four lying along five edges of the pentagram and characterized by similar contradiction. An interesting one-to-one correspondence between the operators of the Mermin-Peres square and the points of the projective line over the product ring ${\rm GF}(2) \otimes \rm{GF}(2)$ is established. Under this mapping, the concept ``mutually commuting" translates into ``mutually distant" and the distinguishing character of the third column's observables has its counterpart in the distinguished properties of the coordinates of the corresponding points, whose entries are both either zero-divisors, or units. The ten operators of the Mermin pentagram answer to a specific subset of points of the line over GF(2)[$x$]/$\langle x^{3} - x \rangle$. The situation here is, however, more intricate as there are two different configurations that seem to serve equally well our purpose. The first one comprises the three distinguished points of the (sub)line over GF(2), their three ``Jacobson" counterparts and the four points whose both coordinates are zero-divisors; the other features the neighbourhood of the point ($1, 0$) (or, equivalently, that of ($0, 1$)). Some other ring lines that might be relevant for BKS proofs in higher dimensions are also mentioned.

•Jan 1, 2007•0 citations

Projective line over the finite quotient ring GF(2)[x]/〈x 3 − x〉 and quantum entanglement: Theoretical background

Метод Санига, Michel R. P. Planat

arXiv:quant-ph/0603051•Theoretical and Mathematical Physics•Apr 1, 2007•9 citations

Quantum Entanglement and Projective Ring Geometry

Michel R. P. Planat

The paper explores the basic geometrical properties of the observables characterizing two-qubit systems by employing a novel projective ring geometric approach.After introducing the basic facts about quantum complementarity and maximal quantum entanglement in such systems, we demonstrate that the 15 × 15 multiplication table of the associated four-dimensional matrices exhibits a so-far-unnoticed geometrical structure that can be regarded as three pencils of lines in the projective plane of order two.In one of the pencils, which we call the kernel, the observables on two lines share a base of Bell states.In the complement of the kernel, the eight vertices/observables are joined by twelve lines which form the edges of a cube.A substantial part of the paper is devoted to showing that the nature of this geometry has much to do with the structure of the projective lines defined over the rings that are the direct product of n copies of the Galois field GF (2), with n = 2, 3 and 4.

arXiv:quant-ph/0605239•Symmetry Integrability and Geometry Methods and Applications•Aug 17, 2006•25 citations

Quantum Entanglement Geometry on Severi-Brauer Schemes: Subsystem Reductions of Azumaya Algebras

Kazuki Ikeda

Quantum entanglement is a basic resource of quantum theory, but its usual definition assumes a fixed decomposition into subsystems. We develop an algebro--geometric framework to address quantum entanglement. For the Severi--Brauer scheme $SB(\mathcal{A})\to X$ of an Azumaya algebra and a factorization type $\mathbf{d}$, we prove that a global locus of product states exists exactly when the associated torsor under $\mathrm{PGL}_n$ reduces to the stabilizer $G_{\mathbf d}$ of the Segre variety. Thus entanglement in families is measured by a geometric obstruction to global subsystem structure. Beyond this reduction criterion, we identify the cohomology that carries computable entangling obstructions. After determinant and incidence data $L\subset R\subset K$ are chosen, the relevant classes lie in the mapping cone relative cohomology $E^\bullet(BL\to BR)$. Their absolute images on $X$, modulo classes induced from $BK$, give determinant entangling obstructions beyond the Brauer class. We construct the moduli of subsystem structures as the quotient $P/G_{\mathbf d}$ and realize it as a locally closed locus in the relative Hilbert scheme, with a compactification by degenerations of product state loci. In the bipartite case, a chosen subsystem structure globalizes the Schmidt rank stratification to a flat filtration with base change compatible resolutions and fiberwise constant numerical invariants. Examples show that reducibility can depend on the underlying torsor, not only on the Brauer class, with an interpretation by entangling monodromy.

math.AGCross-listedarXiv:2601.13764•Jan 21, 2026•0 citations

Projective line over the finite quotient ring GF(2)[x]/〈x 3 ™ x〉 and quantum entanglement: The Mermin “magic” square/pentagram

Метод Санига, Michel R. P. Planat, Milan Minarovjech

arXiv:quant-ph/0603206•Theoretical and Mathematical Physics•May 1, 2007•11 citations

Pauli graph and finite projective lines/geometries

Michel R. P. Planat, Метод Санига

The commutation relations between the generalized Pauli operators of N-qudits (i. e., N p-level quantum systems), and the structure of their maximal sets of commuting bases, follow a nice graph theoretical/geometrical pattern. One may identify vertices/points with the operators so that edges/lines join commuting pairs of them to form the so-called Pauli graph PpN . As per two-qubits (p = 2, N = 2) all basic properties and partitionings of this graph are embodied in the geometry of the symplectic generalized quadrangle of order two, W(2). The structure of the two-qutrit (p = 3, N = 2) graph is more involved; here it turns out more convenient to deal with its dual in order to see all the parallels with the two-qubit case and its surmised relation with the geometry of generalized quadrangle Q(4, 3), the dual of W(3). Finally, the generalized adjacency graph for multiple (N > 3) qubits/qutrits is shown to follow from symplectic polar spaces of order two/three. The relevance of these mathematical concepts to mutually unbiased bases and to quantum entanglement is also highlighted in some detail.

arXiv:quant-ph/0703154•Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•May 4, 2007•6 citations
The Projective Line Over the Finite Quotient Ring GF(2)[xxx]/⟨x3−x⟩\langle x^{3} - x \rangle⟨x3−x⟩ and Quantum Entanglement I. Theoretical Background
The paper deals with the projective line over the finite factor ring R♣≡R_{\clubsuit} \equivR♣​≡ GF(2)[xxx]/⟨x3−x⟩\langle x^{3} - x \rangle⟨x3−x⟩. The line is endowed with 18 points, spanning the neighbourhoods of three pairwise distant points. As R♣R_{\clubsuit}R♣​ is not a local ring, the neighbour (or parallel) relation is not an equivalence relation so that the sets of neighbour points to two distant points overlap. There are nine neighbour points to any point of the line, forming three disjoint families under the reduction modulo either of two maximal ideals of the ring. Two of the families contain four points each and they swap their roles when switching from one ideal to the other; the points of the one family merge with (the image of) the point in question, while the points of the other family go in pairs into the remaining two points of the associated ordinary projective line of order two. The single point of the remaining family is sent to the reference point under both the mappings and its existence stems from a non-trivial character of the Jacobson radical, J♣{\cal J}_{\clubsuit}J♣​, of the ring. The factor ring R~♣≡R♣/J♣\widetilde{R}_{\clubsuit} \equiv R_{\clubsuit}/ {\cal J}_{\clubsuit}R♣​≡R♣​/J♣​ is isomorphic to GF(2) ⊗\otimes⊗ GF(2). The projective line over R~♣\widetilde{R}_{\clubsuit}R♣​ features nine points, each of them being surrounded by four neighbour and the same number of distant points, and any two distant points share two neighbours. These remarkable ring geometries are surmised to be of relevance for modelling entangled qubit states, to be discussed in detail in Part II of the paper.
The Projective Line Over the Finite Quotient Ring GF(2)[xxx]/⟨x3−x⟩\langle x^{3} - x \rangle⟨x3−x⟩ and Quantum Entanglement\\ II. The Mermin ``Magic" Square/Pentagram
In 1993, Mermin (Rev. Mod. Phys. 65, 803--815) gave lucid and strikingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight by making use of what has since been referred to as the Mermin(-Peres) ``magic square" and the Mermin pentagram, respectively. The former is a 3×33 \times 33×3 array of nine observables commuting pairwise in each row and column and arranged so that their product properties contradict those of the assigned eigenvalues. The latter is a set of ten observables arranged in five groups of four lying along five edges of the pentagram and characterized by similar contradiction. An interesting one-to-one correspondence between the operators of the Mermin-Peres square and the points of the projective line over the product ring GF(2)⊗GF(2){\rm GF}(2) \otimes \rm{GF}(2)GF(2)⊗GF(2) is established. Under this mapping, the concept ``mutually commuting" translates into ``mutually distant" and the distinguishing character of the third column's observables has its counterpart in the distinguished properties of the coordinates of the corresponding points, whose entries are both either zero-divisors, or units. The ten operators of the Mermin pentagram answer to a specific subset of points of the line over GF(2)[xxx]/⟨x3−x⟩\langle x^{3} - x \rangle⟨x3−x⟩. The situation here is, however, more intricate as there are two different configurations that seem to serve equally well our purpose. The first one comprises the three distinguished points of the (sub)line over GF(2), their three ``Jacobson" counterparts and the four points whose both coordinates are zero-divisors; the other features the neighbourhood of the point (1,01, 01,0) (or, equivalently, that of (0,10, 10,1)). Some other ring lines that might be relevant for BKS proofs in higher dimensions are also mentioned.
The paper explores the basic geometrical properties of the observables characterizing two-qubit systems by employing a novel projective ring geometric approach.After introducing the basic facts about quantum complementarity and maximal quantum entanglement in such systems, we demonstrate that the 15 × 15 multiplication table of the associated four-dimensional matrices exhibits a so-far-unnoticed geometrical structure that can be regarded as three pencils of lines in the projective plane of order two.In one of the pencils, which we call the kernel, the observables on two lines share a base of Bell states.In the complement of the kernel, the eight vertices/observables are joined by twelve lines which form the edges of a cube.A substantial part of the paper is devoted to showing that the nature of this geometry has much to do with the structure of the projective lines defined over the rings that are the direct product of n copies of the Galois field GF (2), with n = 2, 3 and 4.
Quantum entanglement is a basic resource of quantum theory, but its usual definition assumes a fixed decomposition into subsystems. We develop an algebro--geometric framework to address quantum entanglement. For the Severi--Brauer scheme SB(A)→XSB(\mathcal{A})\to XSB(A)→X of an Azumaya algebra and a factorization type d\mathbf{d}d, we prove that a global locus of product states exists exactly when the associated torsor under PGLn\mathrm{PGL}_nPGLn​ reduces to the stabilizer GdG_{\mathbf d}Gd​ of the Segre variety. Thus entanglement in families is measured by a geometric obstruction to global subsystem structure. Beyond this reduction criterion, we identify the cohomology that carries computable entangling obstructions. After determinant and incidence data L⊂R⊂KL\subset R\subset KL⊂R⊂K are chosen, the relevant classes lie in the mapping cone relative cohomology E∙(BL→BR)E^\bullet(BL\to BR)E∙(BL→BR). Their absolute images on XXX, modulo classes induced from BKBKBK, give determinant entangling obstructions beyond the Brauer class. We construct the moduli of subsystem structures as the quotient P/GdP/G_{\mathbf d}P/Gd​ and realize it as a locally closed locus in the relative Hilbert scheme, with a compactification by degenerations of product state loci. In the bipartite case, a chosen subsystem structure globalizes the Schmidt rank stratification to a flat filtration with base change compatible resolutions and fiberwise constant numerical invariants. Examples show that reducibility can depend on the underlying torsor, not only on the Brauer class, with an interpretation by entangling monodromy.
The commutation relations between the generalized Pauli operators of N-qudits (i. e., N p-level quantum systems), and the structure of their maximal sets of commuting bases, follow a nice graph theoretical/geometrical pattern. One may identify vertices/points with the operators so that edges/lines join commuting pairs of them to form the so-called Pauli graph PpN . As per two-qubits (p = 2, N = 2) all basic properties and partitionings of this graph are embodied in the geometry of the symplectic generalized quadrangle of order two, W(2). The structure of the two-qutrit (p = 3, N = 2) graph is more involved; here it turns out more convenient to deal with its dual in order to see all the parallels with the two-qubit case and its surmised relation with the geometry of generalized quadrangle Q(4, 3), the dual of W(3). Finally, the generalized adjacency graph for multiple (N > 3) qubits/qutrits is shown to follow from symplectic polar spaces of order two/three. The relevance of these mathematical concepts to mutually unbiased bases and to quantum entanglement is also highlighted in some detail.