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


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2007-05

AUTHORS

M. Saniga, M. Planat, M. Minarovjech

ABSTRACT

In 1993, Mermin gave surprisingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight respectively using what has since been called the Mermin-Peres “magic” square and the Mermin pentagram. The former is a 3×3 array of nine observables commuting pairwise in each row and column and arranged such 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 a similar contradiction. We establish a 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). Under this map, the concept mutually commuting transforms 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 either both zero divisors or both units. The ten operators of the Mermin pentagram correspond to a specific subset of points of the line over GF(2)[x]/〈x3 ™ x〉. But the situation in this case is more intricate because there are two different configurations that seem to serve our purpose equally well. 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 con.guration features the neighborhood of the point (1, 0) (or, equivalently, that of (0, 1)). We also mention some other ring lines that might be relevant to BKS proofs in higher dimensions. More... »

PAGES

625-631

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s11232-007-0049-5

DOI

http://dx.doi.org/10.1007/s11232-007-0049-5

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1028110868


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/02", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Physical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Astronomical Institute, Slovak Academy of Sciences, Tatransk\u00e1 Lomnica, Slovak Republic", 
          "id": "http://www.grid.ac/institutes/grid.493212.f", 
          "name": [
            "Astronomical Institute, Slovak Academy of Sciences, Tatransk\u00e1 Lomnica, Slovak Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Saniga", 
        "givenName": "M.", 
        "id": "sg:person.015610617470.96", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015610617470.96"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "D\u00e9partement LPMO, Institut FEMTO-ST, CNRS, Besan\u00e7on, France", 
          "id": "http://www.grid.ac/institutes/grid.462068.e", 
          "name": [
            "D\u00e9partement LPMO, Institut FEMTO-ST, CNRS, Besan\u00e7on, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Planat", 
        "givenName": "M.", 
        "id": "sg:person.016076407625.27", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016076407625.27"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Astronomical Institute, Slovak Academy of Sciences, Tatransk\u00e1 Lomnica, Slovak Republic", 
          "id": "http://www.grid.ac/institutes/grid.493212.f", 
          "name": [
            "Astronomical Institute, Slovak Academy of Sciences, Tatransk\u00e1 Lomnica, Slovak Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Minarovjech", 
        "givenName": "M.", 
        "id": "sg:person.010346430401.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010346430401.17"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1023/a:1007863413622", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025782171", 
          "https://doi.org/10.1023/a:1007863413622"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s11232-007-0035-y", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015916706", 
          "https://doi.org/10.1007/s11232-007-0035-y"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2007-05", 
    "datePublishedReg": "2007-05-01", 
    "description": "In 1993, Mermin gave surprisingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight respectively using what has since been called the Mermin-Peres \u201cmagic\u201d square and the Mermin pentagram. The former is a 3\u00d73 array of nine observables commuting pairwise in each row and column and arranged such 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 a similar contradiction. We establish a 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) \u2297 GF(2). Under this map, the concept mutually commuting transforms into mutually distant, and the distinguishing character of the third column\u2019s observables has its counterpart in the distinguished properties of the coordinates of the corresponding points, whose entries are either both zero divisors or both units. The ten operators of the Mermin pentagram correspond to a specific subset of points of the line over GF(2)[x]/\u3008x3 \u2122 x\u3009. But the situation in this case is more intricate because there are two different configurations that seem to serve our purpose equally well. The first one comprises the three distinguished points of the (sub)line over GF(2), their three \u201cJacobson\u201d counterparts, and the four points whose both coordinates are zero divisors. The other con.guration features the neighborhood of the point (1, 0) (or, equivalently, that of (0, 1)). We also mention some other ring lines that might be relevant to BKS proofs in higher dimensions.", 
    "genre": "article", 
    "id": "sg:pub.10.1007/s11232-007-0049-5", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1327888", 
        "issn": [
          "0040-5779", 
          "2305-3135"
        ], 
        "name": "Theoretical and Mathematical Physics", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "151"
      }
    ], 
    "keywords": [
      "simple proof", 
      "Bell-Kochen", 
      "Hilbert space", 
      "dimension four", 
      "Mermin pentagrams", 
      "Mermin-Peres square", 
      "projective line", 
      "higher dimensions", 
      "Mermin", 
      "proof", 
      "Specker theorem", 
      "theorem", 
      "space", 
      "four", 
      "squares", 
      "pentagram", 
      "array", 
      "observables", 
      "pairwise", 
      "rows", 
      "product properties", 
      "properties", 
      "eigenvalues", 
      "latter", 
      "set", 
      "edge", 
      "similar contradictions", 
      "contradiction", 
      "correspondence", 
      "operators", 
      "point", 
      "lines", 
      "product ring", 
      "ring", 
      "maps", 
      "concept", 
      "transform", 
      "character", 
      "counterparts", 
      "distinguished properties", 
      "coordinates", 
      "corresponding points", 
      "entry", 
      "divisors", 
      "units", 
      "specific subset", 
      "subset", 
      "situation", 
      "cases", 
      "different configurations", 
      "configuration", 
      "purpose", 
      "first one", 
      "one", 
      "distinguished points", 
      "Jacobson", 
      "cons", 
      "guration", 
      "neighborhood", 
      "ring line", 
      "dimensions", 
      "quotient ring", 
      "quantum entanglement", 
      "entanglement", 
      "magic", 
      "Mermin-Peres", 
      "column", 
      "group", 
      "third column\u2019s observables", 
      "column\u2019s observables", 
      "BKS proofs", 
      "finite quotient ring", 
      "square/pentagram"
    ], 
    "name": "Projective line over the finite quotient ring GF(2)[x]/\u3008x3 \u2122 x\u3009 and quantum entanglement: The Mermin \u201cmagic\u201d square/pentagram", 
    "pagination": "625-631", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1028110868"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s11232-007-0049-5"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s11232-007-0049-5", 
      "https://app.dimensions.ai/details/publication/pub.1028110868"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2021-12-01T19:19", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/article/article_440.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/s11232-007-0049-5"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s11232-007-0049-5'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s11232-007-0049-5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11232-007-0049-5'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11232-007-0049-5'


 

This table displays all metadata directly associated to this object as RDF triples.

156 TRIPLES      22 PREDICATES      101 URIs      91 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s11232-007-0049-5 schema:about anzsrc-for:01
2 anzsrc-for:02
3 schema:author Nab4666f396304ad981ffa3632d0e9b23
4 schema:citation sg:pub.10.1007/s11232-007-0035-y
5 sg:pub.10.1023/a:1007863413622
6 schema:datePublished 2007-05
7 schema:datePublishedReg 2007-05-01
8 schema:description In 1993, Mermin gave surprisingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight respectively using what has since been called the Mermin-Peres “magic” square and the Mermin pentagram. The former is a 3×3 array of nine observables commuting pairwise in each row and column and arranged such 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 a similar contradiction. We establish a 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). Under this map, the concept mutually commuting transforms 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 either both zero divisors or both units. The ten operators of the Mermin pentagram correspond to a specific subset of points of the line over GF(2)[x]/〈x3 ™ x〉. But the situation in this case is more intricate because there are two different configurations that seem to serve our purpose equally well. 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 con.guration features the neighborhood of the point (1, 0) (or, equivalently, that of (0, 1)). We also mention some other ring lines that might be relevant to BKS proofs in higher dimensions.
9 schema:genre article
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N8f4c6d7735a14fba81a4e14136f8b602
13 Nf0d0e9e93b264503a3362a994fdce187
14 sg:journal.1327888
15 schema:keywords BKS proofs
16 Bell-Kochen
17 Hilbert space
18 Jacobson
19 Mermin
20 Mermin pentagrams
21 Mermin-Peres
22 Mermin-Peres square
23 Specker theorem
24 array
25 cases
26 character
27 column
28 column’s observables
29 concept
30 configuration
31 cons
32 contradiction
33 coordinates
34 correspondence
35 corresponding points
36 counterparts
37 different configurations
38 dimension four
39 dimensions
40 distinguished points
41 distinguished properties
42 divisors
43 edge
44 eigenvalues
45 entanglement
46 entry
47 finite quotient ring
48 first one
49 four
50 group
51 guration
52 higher dimensions
53 latter
54 lines
55 magic
56 maps
57 neighborhood
58 observables
59 one
60 operators
61 pairwise
62 pentagram
63 point
64 product properties
65 product ring
66 projective line
67 proof
68 properties
69 purpose
70 quantum entanglement
71 quotient ring
72 ring
73 ring line
74 rows
75 set
76 similar contradictions
77 simple proof
78 situation
79 space
80 specific subset
81 square/pentagram
82 squares
83 subset
84 theorem
85 third column’s observables
86 transform
87 units
88 schema:name Projective line over the finite quotient ring GF(2)[x]/〈x3 ™ x〉 and quantum entanglement: The Mermin “magic” square/pentagram
89 schema:pagination 625-631
90 schema:productId N4e8cf95e34694ddf9feaf994db03256f
91 N93f079508229458f81fbc4a48b259d04
92 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028110868
93 https://doi.org/10.1007/s11232-007-0049-5
94 schema:sdDatePublished 2021-12-01T19:19
95 schema:sdLicense https://scigraph.springernature.com/explorer/license/
96 schema:sdPublisher N1256bae03cf542caa1c9843e147f3a19
97 schema:url https://doi.org/10.1007/s11232-007-0049-5
98 sgo:license sg:explorer/license/
99 sgo:sdDataset articles
100 rdf:type schema:ScholarlyArticle
101 N1256bae03cf542caa1c9843e147f3a19 schema:name Springer Nature - SN SciGraph project
102 rdf:type schema:Organization
103 N4878345c32584fcf839f766b620b872e rdf:first sg:person.016076407625.27
104 rdf:rest Nbf4be4a4d6014d3bb19eb7205b7e4872
105 N4e8cf95e34694ddf9feaf994db03256f schema:name dimensions_id
106 schema:value pub.1028110868
107 rdf:type schema:PropertyValue
108 N8f4c6d7735a14fba81a4e14136f8b602 schema:volumeNumber 151
109 rdf:type schema:PublicationVolume
110 N93f079508229458f81fbc4a48b259d04 schema:name doi
111 schema:value 10.1007/s11232-007-0049-5
112 rdf:type schema:PropertyValue
113 Nab4666f396304ad981ffa3632d0e9b23 rdf:first sg:person.015610617470.96
114 rdf:rest N4878345c32584fcf839f766b620b872e
115 Nbf4be4a4d6014d3bb19eb7205b7e4872 rdf:first sg:person.010346430401.17
116 rdf:rest rdf:nil
117 Nf0d0e9e93b264503a3362a994fdce187 schema:issueNumber 2
118 rdf:type schema:PublicationIssue
119 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
120 schema:name Mathematical Sciences
121 rdf:type schema:DefinedTerm
122 anzsrc-for:02 schema:inDefinedTermSet anzsrc-for:
123 schema:name Physical Sciences
124 rdf:type schema:DefinedTerm
125 sg:journal.1327888 schema:issn 0040-5779
126 2305-3135
127 schema:name Theoretical and Mathematical Physics
128 schema:publisher Springer Nature
129 rdf:type schema:Periodical
130 sg:person.010346430401.17 schema:affiliation grid-institutes:grid.493212.f
131 schema:familyName Minarovjech
132 schema:givenName M.
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010346430401.17
134 rdf:type schema:Person
135 sg:person.015610617470.96 schema:affiliation grid-institutes:grid.493212.f
136 schema:familyName Saniga
137 schema:givenName M.
138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015610617470.96
139 rdf:type schema:Person
140 sg:person.016076407625.27 schema:affiliation grid-institutes:grid.462068.e
141 schema:familyName Planat
142 schema:givenName M.
143 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016076407625.27
144 rdf:type schema:Person
145 sg:pub.10.1007/s11232-007-0035-y schema:sameAs https://app.dimensions.ai/details/publication/pub.1015916706
146 https://doi.org/10.1007/s11232-007-0035-y
147 rdf:type schema:CreativeWork
148 sg:pub.10.1023/a:1007863413622 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025782171
149 https://doi.org/10.1023/a:1007863413622
150 rdf:type schema:CreativeWork
151 grid-institutes:grid.462068.e schema:alternateName Département LPMO, Institut FEMTO-ST, CNRS, Besançon, France
152 schema:name Département LPMO, Institut FEMTO-ST, CNRS, Besançon, France
153 rdf:type schema:Organization
154 grid-institutes:grid.493212.f schema:alternateName Astronomical Institute, Slovak Academy of Sciences, Tatranská Lomnica, Slovak Republic
155 schema:name Astronomical Institute, Slovak Academy of Sciences, Tatranská Lomnica, Slovak Republic
156 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...