Or… "Mathematics for Language Animals: A Unifying Framework"
Friday, October 3, 2025
Thursday, November 21, 2024
Six-Set Geometry and Witt Designs
From other posts tagged Six-Set —
The six-set also underlies the 21-point projective plane PG(2,4) —
PG(2,4) may be used to construct S(5,8,24), also known as
the large Witt design. Some related research . . .
On four codes with automorphism group PΣL(3,4)
and pseudo-embeddings of the large Witt designs,
by Bart De Bruyn (UGent) and Mou Gao (UGent),
(2020) DESIGNS CODES AND CRYPTOGRAPHY. 88(2), pp. 429-452.
Some background reading —
Comments Off on Six-Set Geometry and Witt Designs
Saturday, March 26, 2022
Box Geometry: Space, Group, Art (Work in Progress)
| Name Tag | .Space | .Group | .Art |
|---|---|---|---|
| Box4 |
2×2 square representing the four-point finite affine geometry AG(2,2). (Box4.space) |
S4 = AGL(2,2) (Box4.group) |
(Box4.art) |
| Box6 |
3×2 (3-row, 2-column) rectangular array representing the elements of an arbitrary 6-set. |
S6 | |
| Box8 | 2x2x2 cube or 4×2 (4-row, 2-column) array. | S8 or A8 or AGL(3,2) of order 1344, or GL(3,2) of order 168 | |
| Box9 | The 3×3 square. | AGL(2,3) or GL(2,3) | |
| Box12 | The 12 edges of a cube, or a 4×3 array for picturing the actions of the Mathieu group M12. | Symmetries of the cube or elements of the group M12 | |
| Box13 | The 13 symmetry axes of the cube. | Symmetries of the cube. | |
| Box15 |
The 15 points of PG(3,2), the projective geometry of 3 dimensions over the 2-element Galois field. |
Collineations of PG(3,2) | |
| Box16 |
The 16 points of AG(4,2), the affine geometry of 4 dimensions over the 2-element Galois field. |
AGL(4,2), the affine group of |
|
| Box20 | The configuration representing Desargues's theorem. | ||
| Box21 | The 21 points and 21 lines of PG(2,4). | ||
| Box24 | The 24 points of the Steiner system S(5, 8, 24). | ||
| Box25 | A 5×5 array representing PG(2,5). | ||
| Box27 |
The 3-dimensional Galois affine space over the 3-element Galois field GF(3). |
||
| Box28 | The 28 bitangents of a plane quartic curve. | ||
| Box32 |
Pair of 4×4 arrays representing orthogonal Latin squares. |
Used to represent elements of AGL(4,2) |
|
| Box35 |
A 5-row-by-7-column array representing the 35 lines in the finite projective space PG(3,2) |
PGL(3,2), order 20,160 | |
| Box36 | Eurler's 36-officer problem. | ||
| Box45 | The 45 Pascal points of the Pascal configuration. | ||
| Box48 | The 48 elements of the group AGL(2,3). | AGL(2,3). | |
| Box56 |
The 56 three-sets within an 8-set or |
||
| Box60 | The Klein configuration. | ||
| Box64 | Solomon's cube. |
— Steven H. Cullinane, March 26-27, 2022
Comments Off on Box Geometry: Space, Group, Art (Work in Progress)
Thursday, April 30, 2020
Walpurgisnacht Geometry
A version more explicitly connected to finite geometry —
For the six synthematic totals , see The Joy of Six.
Comments Off on Walpurgisnacht Geometry
Friday, February 7, 2020
Correspondences
The 15 2-subsets of a 6-set correspond to the 15 points of PG(3,2).
(Cullinane, 1986*)
The 35 3-subsets of a 7-set correspond to the 35 lines of PG(3,2).
(Conwell, 1910)
The 56 3-subsets of an 8-set correspond to the 56 spreads of PG(3,2).
(Seidel, 1970)
Each correspondence above may have been investigated earlier than
indicated by the above dates , which are the earliest I know of.
See also Correspondences in this journal.
* The above 1986 construction of PG(3,2) from a 6-set also appeared
in the work of other authors in 1994 and 2002 . . .
-
Gonzalez-Dorrego, Maria R. (Maria del Rosario),
(16,6) Configurations and Geometry of Kummer Surfaces in P3.
American Mathematical Society, Providence, RI, 1994. -
Dolgachev, Igor, and Keum, JongHae,
"Birational Automorphisms of Quartic Hessian Surfaces."
Trans. Amer. Math. Soc. 354 (2002), 3031-3057.
Addendum at 5:09 PM suggested by an obituary today for Stephen Joyce:
See as well the word correspondences in
"James Joyce and the Hermetic Tradition," by William York Tindall
(Journal of the History of Ideas , Jan. 1954).
Comments Off on Correspondences
Sunday, December 8, 2019
Geometry of 6 and 8
Just as
the finite space PG(3,2) is
the geometry of the 6-set, so is
the finite space PG(5,2)
the geometry of the 8-set.*
Selah.
* Consider, for the 6-set, the 32
(16, modulo complementation)
0-, 2-, 4-, and 6-subsets,
and, for the 8-set, the 128
(64, modulo complementation)
0-, 2-, 4-, 6-, and 8-subsets.
Update of 11:02 AM ET the same day:
See also Eightfold Geometry, a note from 2010.
Comments Off on Geometry of 6 and 8
Wednesday, October 9, 2019
The Joy of Six
Note that in the pictures below of the 15 two-subsets of a six-set,
the symbols 1 through 6 in Hudson's square array of 1905 occupy the
same positions as the anticommuting Dirac matrices in Arfken's 1985
square array. Similarly occupying these positions are the skew lines
within a generalized quadrangle (a line complex) inside PG(3,2).
Related narrative — The "Quantum Tesseract Theorem."
Comments Off on The Joy of Six
Friday, August 16, 2019
Nocciolo
A revision of the above diagram showing
the Galois-addition-table structure —
Related tables from August 10 —
See "Schoolgirl Space Revisited."
Comments Off on Nocciolo
Wednesday, February 27, 2019
Construction of PG(3,2) from K6
From this journal on April 23, 2013 —
From this journal in 2003 —
From Wikipedia on Groundhog Day, 2019 —
Comments Off on Construction of PG(3,2) from K6
Tuesday, February 26, 2019
Citation
Some related material in this journal — See a search for k6.gif.
Some related material from Harvard —
Elkies's "15 simple transpositions" clearly correspond to the 15 edges of
the complete graph K6 and to the 15 2-subsets of a 6-set.
For the connection to PG(3,2), see Finite Geometry of the Square and Cube.
The following "manifestation" of the 2-subsets of a 6-set might serve as
the desired Wikipedia citation —
See also the above 1986 construction of PG(3,2) from a 6-set
in the work of other authors in 1994 and 2002 . . .
-
Gonzalez-Dorrego, Maria R. (Maria del Rosario),
(16,6) Configurations and Geometry of Kummer Surfaces in P3.
American Mathematical Society, Providence, RI, 1994. -
Dolgachev, Igor, and Keum, JongHae,
"Birational Automorphisms of Quartic Hessian Surfaces."
Trans. Amer. Math. Soc. 354 (2002), 3031-3057.
Comments Off on Citation
Monday, February 25, 2019
Monday, February 18, 2019
The Joy of Six
__________________________________________________________________________
See also the previous post.
I prefer the work of Josefine Lyche on the smallest perfect number/universe.
Context —
Lyche's Lynx760 installations and Vigeland's nearby Norwegian clusterfuck.
Comments Off on The Joy of Six
Sacerdotal K6, Continued
Comments Off on Sacerdotal K6, Continued
Wednesday, February 13, 2019
April 18, 2003 (Good Friday), Continued
"The purpose of mathematics cannot be derived from an activity
inferior to it but from a higher sphere of human activity, namely,
religion."
— Igor Shafarevitch, 1973 remark published as above in 1982.
"Perhaps."
— Steven H. Cullinane, February 13, 2019
|
From Log24 on Good Friday, April 18, 2003 — . . . What, indeed, is truth? I doubt that the best answer can be learned from either the Communist sympathizers of MIT or the “Red Mass” leftists of Georgetown. For a better starting point than either of these institutions, see my note of April 6, 2001, Wag the Dogma. See, too, In Principio Erat Verbum , which notes that “numbers go to heaven who know no more of God on earth than, as it were, of sun in forest gloom.” Since today is the anniversary of the death of MIT mathematics professor Gian-Carlo Rota, an example of “sun in forest gloom” seems the best answer to Pilate’s question on this holy day. See
“Examples are the stained glass windows Motto of Plato’s Academy † The Exorcist, 1973 |
Detail from an image linked to in the above footnote —
"And the darkness comprehended it not."
Id est :
A Good Friday, 2003, article by
a student of Shafarevitch —
"… there are 25 planes in W . . . . Of course,
replacing {a,b,c} by the complementary set
does not change the plane. . . ."
Of course.
See. however, Six-Set Geometry in this journal.
Comments Off on April 18, 2003 (Good Friday), Continued
Monday, August 27, 2018
Children of the Six Sides
From the former date above —
|
Saturday, September 17, 2016 |
-embedding-in-PG(3,2)-Planat-Saniga-1000w.jpg){kind=link}
From the latter date above —
|
Tuesday, October 18, 2016
Parametrization
|
From March 2018 —
Comments Off on Children of the Six Sides
Monday, June 25, 2018
The Gateway Device
|
<title data-rh="true">Frank Heart, Who Linked Computers Before the Internet, Dies at 89 – The New York Times</title> |
See also yesterday's "For 6/24" and …
Comments Off on The Gateway Device
Saturday, June 23, 2018
Plan 9 from Inner Space
From Nanavira Thera, "Early Letters," in Seeking the Path —
"nine possibilities arising quite naturally" —
Compare and contrast with Hudson's parametrization of the
4×4 square by means of 0 and the 15 2-subsets of a 6-set —
Comments Off on Plan 9 from Inner Space
Thursday, March 29, 2018
“Before Creation Itself . . .”
From the Diamond Theorem Facebook page —
A question three hours ago at that page —
"Is this Time Cube?"
Notes toward an answer —
And from Six-Set Geometry in this journal . . .
Comments Off on “Before Creation Itself . . .”
Friday, February 16, 2018
Two Kinds of Symmetry
The Institute for Advanced Study (IAS) at Princeton in its Fall 2015 Letter
revived "Beautiful Mathematics" as a title:
This ugly phrase was earlier used by Truman State University
professor Martin Erickson as a book title. See below.
In the same IAS Fall 2015 Letter appear the following remarks
by Freeman Dyson —
". . . a special case of a much deeper connection that Ian Macdonald
discovered between two kinds of symmetry which we call modular and affine.
The two kinds of symmetry were originally found in separate parts of science,
modular in pure mathematics and affine in physics. Modular symmetry is
displayed for everyone to see in the drawings of flying angels and devils
by the artist Maurits Escher. Escher understood the mathematics and got the
details right. Affine symmetry is displayed in the peculiar groupings of particles
created by physicists with high-energy accelerators. The mathematician
Robert Langlands was the first to conjecture a connection between these and
other kinds of symmetry. . . ." (Wikipedia link added.)
The adjective "modular" might aptly be applied to . . .
The adjective "affine" might aptly be applied to . . .
The geometry of the 4×4 square combines modular symmetry
(i.e., related to theta functions) with the affine symmetry above.
Hudson's 1905 discussion of modular symmetry (that of Rosenhain
tetrads and Göpel tetrads) in the 4×4 square used a parametrization
of that square by the digit 0 and the fifteen 2-subsets of a 6-set, but
did not discuss the 4×4 square as an affine space.
For the connection of the 15 Kummer modular 2-subsets with the 16-
element affine space over the two-element Galois field GF(2), see my note
of May 26, 1986, "The 2-subsets of a 6-set are the points of a PG(3,2)" —
— and the affine structure in the 1979 AMS abstract
"Symmetry invariance in a diamond ring" —
For some historical background on the symmetry investigations by
Dyson and Macdonald, see Dyson's 1972 article "MIssed Opportunities."
For Macdonald's own use of the words "modular" and "affine," see
Macdonald, I. G., "Affine Lie algebras and modular forms,"
Séminaire N. Bourbaki , Vol. 23 (1980-1981), Talk no. 577, pp. 258-276.
Comments Off on Two Kinds of Symmetry
Friday, February 2, 2018
For Plato’s Cave
"Plato's allegory of the cave describes prisoners,
inhabiting the cave since childhood, immobile,
facing an interior wall. A large fire burns behind
the prisoners, and as people pass this fire their
shadows are cast upon the cave's wall, and
these shadows of the activity being played out
behind the prisoner become the only version of
reality that the prisoner knows."
— From the Occupy Space gallery in Ireland
Comments Off on For Plato’s Cave
Thursday, May 25, 2017
The Story of Six Continues
A post of March 22, 2017, was titled "The Story of Six."
Related material from that date —
"I meant… a larger map." — Number Six in "The Prisoner"
Comments Off on The Story of Six Continues
Wednesday, April 26, 2017
A Tale Unfolded
A sketch, adapted tonight from Girl Scouts of Palo Alto —
From the April 14 noon post High Concept —
From the April 14 3 AM post Hudson and Finite Geometry —
From the April 24 evening post The Trials of Device —
Note that Hudson’s 1905 “unfolding” of even and odd puts even on top of
the square array, but my own 2013 unfolding above puts even at its left.
Comments Off on A Tale Unfolded
Friday, April 14, 2017
Hudson and Finite Geometry
The above four-element sets of black subsquares of a 4×4 square array
are 15 of the 60 Göpel tetrads , and 20 of the 80 Rosenhain tetrads , defined
by R. W. H. T. Hudson in his 1905 classic Kummer's Quartic Surface .
Hudson did not view these 35 tetrads as planes through the origin in a finite
affine 4-space (or, equivalently, as lines in the corresponding finite projective
3-space).
In order to view them in this way, one can view the tetrads as derived,
via the 15 two-element subsets of a six-element set, from the 16 elements
of the binary Galois affine space pictured above at top left.
This space is formed by taking symmetric-difference (Galois binary)
sums of the 15 two-element subsets, and identifying any resulting four-
element (or, summing three disjoint two-element subsets, six-element)
subsets with their complements. This process was described in my note
"The 2-subsets of a 6-set are the points of a PG(3,2)" of May 26, 1986.
The space was later described in the following —
Comments Off on Hudson and Finite Geometry
Wednesday, March 22, 2017
The Story of Six
On a psychotherapist who died at 86 on Monday —
"He studied mathematics and statistics at the Courant Institute,
a part of New York University — he would later write … a
mathematical fable, Numberland (1987)."
— The New York Times online this evening
From Publishers Weekly
|
See also The Prisoner in this journal.
Comments Off on The Story of Six
Wednesday, December 7, 2016
Spreads and Conwell’s Heptads
For a concise historical summary of the interplay between
the geometry of an 8-set and that of a 16-set that is
involved in the the Miracle Octad Generator approach
to the large Mathieu group M24, see Section 2 of …
Alan R. Prince
A near projective plane of order 6 (pp. 97-105)
Innovations in Incidence Geometry
Volume 13 (Spring/Fall 2013).
This interplay, notably discussed by Conwell and
by Edge, involves spreads and Conwell’s heptads .
Update, morning of the following day (7:07 ET) — related material:
See also “56 spreads” in this journal.
Comments Off on Spreads and Conwell’s Heptads
Tuesday, October 18, 2016
Parametrization
The term "parametrization," as discussed in Wikipedia,
seems useful for describing labelings that are not, at least
at first glance, of a vector-space nature.
Examples: The labelings of a 4×4 array by a blank space
plus the 15 two-subsets of a six-set (Hudson, 1905) or by a
blank plus the 5 elements and the 10 two-subsets of a five-set
(derived in 2014 from a 1906 page by Whitehead), or by
a blank plus the 15 line diagrams of the diamond theorem.
Thus "parametrization" is apparently more general than
the word "coodinatization" used by Hermann Weyl —
“This is the relativity problem: to fix objectively
a class of equivalent coordinatizations and to
ascertain the group of transformations S
mediating between them.”
— Hermann Weyl, The Classical Groups ,
Princeton University Press, 1946, p. 16
Note, however, that Weyl's definition of "coordinatization"
is not limited to vector-space coordinates. He describes it
as simply a mapping to a set of reproducible symbols .
(But Weyl does imply that these symbols should, like vector-space
coordinates, admit a group of transformations among themselves
that can be used to describe transformations of the point-space
being coordinatized.)
Comments Off on Parametrization
Monday, September 19, 2016
Squaring the Pentagon
The "points" and "lines" of finite geometry are abstract
entities satisfying only whatever incidence requirements
yield non-contradictory and interesting results. In finite
geometry, neither the points nor the lines are required to
lie within any Euclidean (or, for that matter, non-Euclidean)
space.
Models of finite geometries may, however, embed the
points and lines within non -finite geometries in order
to aid visualization.
For instance, the 15 points and 35 lines of PG(3,2) may
be represented by subsets of a 4×4 array of dots, or squares,
located in the Euclidean plane. These "lines" are usually finite
subsets of dots or squares and not* lines of the Euclidean plane.
Example — See "4×4" in this journal.
Some impose on configurations from finite geometry
the rather artificial requirement that both points and lines
must be representable as those of a Euclidean plane.
Example: A Cremona-Richmond pentagon —
A square version of these 15 "points" —
A 1905 square version of these 15 "points"
with digits instead of letters —
See Parametrizing the 4×4 Array
(Log24 post of Sept. 13, 2016).
Update of 8 AM ET Sunday, Sept. 25, 2016 —
For more illustrations, do a Google image search
on "the 2-subsets of a 6-set." (See one such search.)
* But in some models are subsets of the grid lines
that separate squares within an array.
Comments Off on Squaring the Pentagon
Thursday, September 15, 2016
The Smallest Perfect Number/Universe
The smallest perfect number,* six, meets
"the smallest perfect universe,"** PG(3,2).
* For the definition of "perfect number," see any introductory
number-theory text that deals with the history of the subject.
** The phrase "smallest perfect universe" as a name for PG(3,2),
the projective 3-space over the 2-element Galois field GF(2),
was coined by math writer Burkard Polster. Cullinane's square
model of PG(3,2) differs from the earlier tetrahedral model
discussed by Polster.
Comments Off on The Smallest Perfect Number/Universe
Tuesday, September 13, 2016
Parametrizing the 4×4 Array
The previous post discussed the parametrization of
the 4×4 array as a vector 4-space over the 2-element
Galois field GF(2).
The 4×4 array may also be parametrized by the symbol
0 along with the fifteen 2-subsets of a 6-set, as in Hudson's
1905 classic Kummer's Quartic Surface —
Hudson in 1905:
These two ways of parametrizing the 4×4 array — as a finite space
and as an array of 2-element sets — were related to one another
by Cullinane in 1986 in describing, in connection with the Curtis
"Miracle Octad Generator," what turned out to be 15 of Hudson's
1905 "Göpel tetrads":
A recap by Cullinane in 2013:
Click images for further details.
Comments Off on Parametrizing the 4×4 Array