Log24

Friday, April 3, 2020

Galois Space

Filed under: General — Tags: — m759 @ 7:58 pm

"Galois space" is now a domain name:  galois.space.

Sunday, November 19, 2017

Galois Space

Filed under: General,Geometry — Tags: — m759 @ 8:00 pm

This is a sequel to yesterday's post Cube Space Continued.

Tuesday, May 31, 2016

Galois Space —

Filed under: General,Geometry — Tags: — m759 @ 7:00 pm

A very brief introduction:

Seven is Heaven...

Tuesday, January 12, 2016

Harmonic Analysis and Galois Spaces

Filed under: General,Geometry — Tags: — m759 @ 7:59 am

The above sketch indicates, in a vague, hand-waving, fashion,
a connection between Galois spaces and harmonic analysis.

For more details of the connection, see (for instance) yesterday
afternoon's post Space Oddity.

Sunday, March 10, 2013

Galois Space

Filed under: General,Geometry — Tags: — m759 @ 5:30 pm

(Continued)

The 16-point affine Galois space:

Further properties of this space:

In Configurations and Squares, see the
discusssion of the Kummer 166 configuration.

Some closely related material:

  • Wolfgang Kühnel,
    "Minimal Triangulations of Kummer Varieties,"
    Abh. Math. Sem. Univ. Hamburg 57, 7-20 (1986).

    For the first two pages, click here.

  • Jonathan Spreer and Wolfgang Kühnel,
    "Combinatorial Properties of the 3 Surface:
    Simplicial Blowups and Slicings,"
    preprint, 26 pages. (2009/10) (pdf).
    (Published in Experimental Math. 20,
    issue 2, 201–216 (2011).)

Monday, March 4, 2013

Occupy Galois Space

Filed under: General,Geometry — Tags: — m759 @ 3:00 am

Continued from February 27, the day Joseph Frank died

"Throughout the 1940s, he published essays
and criticism in literary journals, and one,
'Spatial Form in Modern Literature'—
a discussion of experimental treatments
of space and time by Eliot, Joyce, Proust,
Pound and others— published in
The Sewanee Review  in 1945, propelled him
to prominence as a theoretician."

— Bruce Weber in this morning's print copy
of The New York Times  (p. A15, NY edition)

That essay is reprinted in a 1991 collection
of Frank's work from Rutgers University Press:

See also Galois Space and Occupy Space in this journal.

Frank was best known as a biographer of Dostoevsky.
A very loosely related reference… in a recent Log24 post,
Freeman Dyson's praise of a book on the history of
mathematics and religion in Russia:

"The intellectual drama will attract readers
who are interested in mystical religion
and the foundations of mathematics.
The personal drama will attract readers
who are interested in a human tragedy
with characters who met their fates with
exceptional courage."

Frank is survived by, among others, his wife, a mathematician.

Thursday, February 21, 2013

Galois Space

Filed under: General,Geometry — Tags: — m759 @ 6:00 pm

(Continued)

The previous post suggests two sayings:

"There is  such a thing as a Galois space."

— Adapted from Madeleine L'Engle

"For every kind of vampire, there is a kind of cross."

Thomas Pynchon

Illustrations—

(Click to enlarge.)

Thursday, July 12, 2012

Galois Space

Filed under: General,Geometry — Tags: , — m759 @ 6:01 pm

An example of lines in a Galois space * —

The 35 lines in the 3-dimensional Galois projective space PG(3,2)—

(Click to enlarge.)

There are 15 different individual linear diagrams in the figure above.
These are the points of the Galois space PG(3,2).  Each 3-set of linear diagrams
represents the structure of one of the 35  4×4 arrays and also represents a line
of the projective space.

The symmetry of the linear diagrams accounts for the symmetry of the
840 possible images in the kaleidoscope puzzle.

* For further details on the phrase "Galois space," see
Beniamino Segre's "On Galois Geometries," Proceedings of the
International Congress of Mathematicians, 1958  
[Edinburgh].
(Cambridge U. Press, 1960, 488-499.)

(Update of Jan. 5, 2013— This post has been added to finitegeometry.org.)

Wednesday, May 2, 2018

Galois’s Space

Filed under: General,Geometry — Tags: , , — m759 @ 2:20 pm

(A sequel to Foster's Space and Sawyer's Space)

See posts now tagged Galois's Space.

Thursday, April 25, 2024

Space Trace

Filed under: General — Tags: — m759 @ 3:08 pm

The title "Space Trace" was suggested yesterday by Claude.ai.

How classical space leaves a Galois trace:

IMAGE- The large Desargues configuration and Desargues's theorem in light of Galois geometry

 

Sunday, June 4, 2023

The Galois Core

Filed under: General — Tags: , — m759 @ 9:24 pm
 

  Rubik core:

 

Swarthmore Cube Project, 2008


Non- Rubik core:

Illustration for weblog post 'The Galois Core'

Central structure from a Galois plane

    (See image below.)

Some small Galois spaces (the Cullinane models)

Friday, April 28, 2023

The Small Space Model

Filed under: General — Tags: , , , — m759 @ 6:28 pm

From the previous post, "The Large Language Model,"
a passage from Wikipedia —

"… sometimes large models undergo a 'discontinuous phase shift' 
where the model suddenly acquires substantial abilities not seen
in smaller models. These are known as 'emergent abilities,' and
have been the subject of substantial study." — Wikipedia

Compare and contrast 
this with the change undergone by a "small space model,"
that of the finite affine 4-space A  with 16 points (a Galois tesseract ), 
when it is augmented by an eight-point "octad." The 30 eight-point
hyperplanes of A  then have a natural extension within the new
24-point set to 759 eight-point octads, and the 322,560 affine
automorphisms of the space expand to the 244,823,040 Mathieu
automorphisms of the 759-octad set — a (5, 8, 24) Steiner system.

For a visual analogue of the enlarged 24-point space and some remarks
on analogy by Simone Weil's brother, a mathematician, see this journal
on September 8 and 9, 2022.

Monday, April 10, 2023

Space

Filed under: General — Tags: , , — m759 @ 3:09 am

(Perspective Not  as Symbolic Form)

From a post of June 8, 2014

Some background on the large Desargues configuration

See August 6, 2013 — Desargues via Galois.

Saturday, January 14, 2023

Châtelet on Weil — A “Space of Gestures”

Filed under: General — Tags: , , , — m759 @ 2:21 pm
 

From Gilles Châtelet, Introduction to Figuring Space
(Springer, 1999) —

Metaphysics does have a catalytic effect, which has been described in a very beautiful text by the mathematician André Weil:

Nothing is more fertile, all mathematicians know, than these obscure analogies, these murky reflections of one theory in another, these furtive caresses, these inexplicable tiffs; also nothing gives as much pleasure to the researcher. A day comes when the illusion vanishes: presentiment turns into certainty … Luckily for researchers, as the fogs clear at one point, they form again at another.4

André Weil cuts to the quick here: he conjures these 'murky reflections', these 'furtive caresses', the 'theory of Galois that Lagrange touches … with his finger through a screen that he does not manage to pierce.' He is a connoisseur of these metaphysical 'fogs' whose dissipation at one point heralds their reforming at another. It would be better to talk here of a horizon that tilts thereby revealing a new space of gestures which has not as yet been elucidated and cut out as structure.

4 A. Weil, 'De la métaphysique aux mathématiques', (Oeuvres, vol. II, p. 408.)

For gestures as fogs, see the oeuvre of  Guerino Mazzola.

For some clearer remarks, see . . .


Illustrations of object and gestures
from finitegeometry.org/sc/ —

 

Object

 

Gestures

An earlier presentation
of the above seven partitions
of the eightfold cube:

Seven partitions of the 2x2x2 cube in a book from 1906

Related material: Galois.space .

Saturday, March 26, 2022

Box Geometry: Space, Group, Art  (Work in Progress)

Filed under: General — Tags: — m759 @ 2:06 am

Many structures of finite geometry can be modeled by
rectangular or cubical arrays ("boxes") —
of subsquares or subcubes (also "boxes").

Here is a draft for a table of related material, arranged
as internet URL labels.

Finite Geometry Notes — Summary Chart
 

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 Aor  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 
322,560 permutations of the parts
of a 4×4 array (a Galois tesseract)

 
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
56 triangles in a model of Klein's quartic surface or
the 56 spreads in PG(3,2).

   
Box60 The Klein configuration.    
Box64 Solomon's cube.    

— Steven H. Cullinane, March 26-27, 2022

Thursday, February 17, 2022

Space Memorial

Filed under: General — m759 @ 1:27 pm

"FILE – Retired Sandinista Gen. Hugo Torres poses for portrait
at his home, in Managua, Nicaragua, May 2, 2018."

— Photo caption from a Feb. 12 Washington Post  obituary 

Also on May 2, 2018 —

Related theology —

Tuesday, February 23, 2016

Revolutionary

Filed under: General — m759 @ 7:14 PM 

From New York Times  obituary today —

"The Rev. Fernando Cardenal, a son of privilege
who embraced Latin America’s poor as a revolutionary
priest and brazenly defied Pope John Paul II’s order to
quit Nicaragua’s leftist cabinet in the 1980s, died on
Saturday in Managua. He was 82."

Photo caption from the same obituary —

"Fernando Cardenal in 1990. As education minister of
Nicaragua under the Sandinistas in the 1980s, he
oversaw a sweeping campaign credited with reducing
illiteracy to 13 percent from 51 percent."

This alleged literacy improvement makes him sound like
Protestant  revolutionary.

For a Catholic  view of literacy, see The Gutenberg Galaxy .

See also the post Being Interpreted (Aug. 14, 2015) — 

Saturday, October 24, 2020

The Galois Tesseract

Filed under: General — Tags: — m759 @ 9:32 am

Stanley E. Payne and J. A. Thas in 1983* (previous post) —

“… a 4×4 grid together with
the affine lines on it is AG(2,4).”

Payne and Thas of course use their own definition
of affine lines on a grid.

Actually, a 4×4 grid together with the affine lines on it
is, viewed in a different way, not AG(2,4) but rather AG(4,2).

For AG(4,2) in the proper context, see
Affine Groups on Small Binary Spaces and
The Galois Tesseract.

* And 26 years later,  in 2009.

Tuesday, May 26, 2020

Introduction to Cyberspace

Filed under: General — Tags: — m759 @ 1:38 pm

Or approaching.

On the Threshold:

Click the search result above for the July 1982 Omni 
story that introduced into fiction the term "cyberspace."

Part of a page from the original Omni  version  —

For some other  kinds of space, see my  notes from the 1980's.

Some related remarks on space (and illustrated clams) —

— George Steiner, "A Death of Kings," The New Yorker ,
September 7, 1968, pp. 130 ff. The above is from p. 133.

See also Steiner on space, algebra, and Galois.

Sunday, June 16, 2019

Master Plan from Outer Space

Filed under: General — Tags: , — m759 @ 12:00 pm

IMAGE- The large Desargues configuration and Desargues's theorem in light of Galois geometry

Sunday, December 9, 2018

Quaternions in a Small Space

Filed under: G-Notes,General,Geometry — Tags: , , — m759 @ 2:00 pm

The previous post, on the 3×3 square in ancient China,
suggests a review of group actions on that square
that include the quaternion group.

Click to enlarge

Three links from the above finitegeometry.org webpage on the
quaternion group —

Related material —

Iain Aitchison on the 'symmetric generation' of R. T. Curtis

See as well the two Log24 posts of December 1st, 2018 —

Character and In Memoriam.

Tuesday, October 23, 2018

Plan 9 from Inner Space

Filed under: G-Notes,General,Geometry — m759 @ 9:57 am

Click the image for some context.

Saturday, May 5, 2018

Galois Imaginary

Filed under: General,Geometry — m759 @ 9:00 pm

" Lying at the axis of everything, zero is both real and imaginary. Lovelace was fascinated by zero; as was Gottfried Leibniz, for whom, like mathematics itself, it had a spiritual dimension. It was this that let him to imagine the binary numbers that now lie at the heart of computers: 'the creation of all things out of nothing through God's omnipotence, it might be said that nothing is a better analogy to, or even demonstration of such creation than the origin of numbers as here represented, using only unity and zero or nothing.' He also wrote, 'The imaginary number is a fine and wonderful recourse of the divine spirit, almost an amphibian between being and nonbeing.' "

— A footnote from page 229 of Sydney Padua's
    April 21, 2015, book on Lovelace and Babbage

A related passage —

From The French Mathematician
by Tom Petsinis (Nov. 30, 1998) —

0

I had foreseen it all in precise detail.
One step led inevitably to the next,
like the proof of a shining theorem,
down to the conclusive shot that still echoes
through time and space. 
Facedown in the damp pine needles,
I embraced that fatal sphere
with my whole body. Dreams, memories,
even the mathematics I had cherished
and set down in my last will and testament–
all receded. I am reduced to
a singular point; in an instant
I am transformed to .

i = an imaginary being

Here, on this complex space,
i  am no longer the impetuous youth
who wanted to change the world
first with a formula and then with a flame.
Having learned the meaning of infinite patience,
i  now rise to the text whenever anyone reads 
about Evariste Galois, preferring to remain 
just below the surface, 
like a goldfish nibbling the fringe of a floating leaf.
Ink is more mythical than blood
(unless some ancient poet slit his 
vein and wrote an epic in red):
The text is a two-way mirror 
that allows me to look into
the life and times of the reader. 
Who knows, someday i  may rise
to a text that will compel me 
to push through to the other side.
Do you want proof that i  exist? Where am ?
Beneath every word, behind each letter, 
on the side of a period that will never see the light.

Sunday, March 4, 2018

The Square Inch Space: A Brief History

Filed under: General,Geometry — Tags: , — m759 @ 11:21 am

1955  ("Blackboard Jungle") —

1976 —

2009 —

2016 —

 Some small Galois spaces (the Cullinane models)

Friday, September 15, 2017

Space Art

Filed under: General,Geometry — Tags: , — m759 @ 2:05 pm

Silas in "Equals" (2015) —

Ever since we were kids it's been drilled into us that 
Our purpose is to explore the universe, you know.
Outer space is where we'll find 
…  the answers to why we're here and 
…  and where we come from.

Related material — 

'The Art of Space Art' in The Paris Review, Sept. 14, 2017

See also Galois Space  in this  journal.

Saturday, July 8, 2017

Desargues and Galois in Japan

Filed under: General,Geometry — m759 @ 1:00 am

Related material now available online —

A less business-oriented sort of virtual reality —

Link to 'Desargues via Galois' in Japan

For example, "A very important configuration is obtained by
taking the plane section of a complete space five-point." 
(Veblen and Young, 1910, p. 39)—

'Desargues via Galois' in Japan (via Pinterest)

Friday, April 28, 2017

A Generation Lost in Space

Filed under: General,Geometry — m759 @ 2:00 pm

The title is from Don McLean's classic "American Pie."

A Finite Projective Space —

A Non-Finite Projective Space —

Sunday, April 16, 2017

Art Space Paradigm Shift

Filed under: General,Geometry — Tags: , , — m759 @ 1:00 am

This post’s title is from the tags of the previous post

 

The title’s “shift” is in the combined concepts of

Space and Number

From Finite Jest (May 27, 2012):

IMAGE- History of Mathematics in a Nutshell

The books pictured above are From Discrete to Continuous ,
by Katherine Neal, and Geometrical Landscapes , by Amir Alexander.

For some details of the shift, see a Log24 search for Boole vs. Galois.
From a post found in that search —

Benedict Cumberbatch Says
a Journey From Fact to Faith
Is at the Heart of Doctor Strange

io9 , July 29, 2016

” ‘This man comes from a binary universe
where it’s all about logic,’ the actor told us
at San Diego Comic-Con . . . .

‘And there’s a lot of humor in the collision
between Easter [ sic ] mysticism and
Western scientific, sort of logical binary.’ “

[Typo now corrected, except in a comment.]

Tuesday, January 3, 2017

Cultist Space

Filed under: General,Geometry — Tags: , , — m759 @ 6:29 pm

The image of art historian Rosalind Krauss in the previous post
suggests a review of a page from her 1979 essay "Grids" —

The previous post illustrated a 3×3 grid. That  cultist space does
provide a place for a few "vestiges of the nineteenth century" —
namely, the elements of the Galois field GF(9) — to hide.
See Coxeter's Aleph in this journal.

Thursday, June 30, 2016

Rubik vs. Galois: Preconception vs. Pre-conception

Filed under: General,Geometry — Tags: , — m759 @ 1:20 pm

From Psychoanalytic Aesthetics: The British School ,
by Nicola Glover, Chapter 4  —

In his last theoretical book, Attention and Interpretation  (1970), Bion has clearly cast off the mathematical and scientific scaffolding of his earlier writings and moved into the aesthetic and mystical domain. He builds upon the central role of aesthetic intuition and the Keats's notion of the 'Language of Achievement', which

… includes language that is both
a prelude to action and itself a kind of action;
the meeting of psycho-analyst and analysand
is itself an example of this language.29.

Bion distinguishes it from the kind of language which is a substitute  for thought and action, a blocking of achievement which is lies [sic ] in the realm of 'preconception' – mindlessness as opposed to mindfulness. The articulation of this language is possible only through love and gratitude; the forces of envy and greed are inimical to it..

This language is expressed only by one who has cast off the 'bondage of memory and desire'. He advised analysts (and this has caused a certain amount of controversy) to free themselves from the tyranny of the past and the future; for Bion believed that in order to make deep contact with the patient's unconscious the analyst must rid himself of all preconceptions about his patient – this superhuman task means abandoning even the desire to cure . The analyst should suspend memories of past experiences with his patient which could act as restricting the evolution of truth. The task of the analyst is to patiently 'wait for a pattern to emerge'. For as T.S. Eliot recognised in Four Quartets , 'only by the form, the pattern / Can words or music reach/ The stillness'.30. The poet also understood that 'knowledge' (in Bion's sense of it designating a 'preconception' which blocks  thought, as opposed to his designation of a 'pre -conception' which awaits  its sensory realisation), 'imposes a pattern and falsifies'

For the pattern is new in every moment
And every moment is a new and shocking
Valuation of all we have ever been.31.

The analyst, by freeing himself from the 'enchainment to past and future', casts off the arbitrary pattern and waits for new aesthetic form to emerge, which will (it is hoped) transform the content of the analytic encounter.

29. Attention and Interpretation  (Tavistock, 1970), p. 125

30. Collected Poems  (Faber, 1985), p. 194.

31. Ibid., p. 199.

See also the previous posts now tagged Bion.

Preconception  as mindlessness is illustrated by Rubik's cube, and
"pre -conception" as mindfulness is illustrated by n×n×n Froebel  cubes
for n= 1, 2, 3, 4. 

Suitably coordinatized, the Froebel  cubes become Galois  cubes,
and illustrate a new approach to the mathematics of space .

Wednesday, June 29, 2016

Space Jews

Filed under: General,Geometry — Tags: — m759 @ 9:00 pm

For the Feast of SS. Peter and Paul

In memory of Alvin Toffler and Simon Ramo,
a review of figures from the midnight that began
the date of their deaths, June 27, 2016 —

http://www.log24.com/log/pix11A/110427-Cube27.jpg

   The 3×3×3 Galois Cube

See also Rubik in this journal.

Friday, April 8, 2016

Space Cross

Filed under: General,Geometry — Tags: — m759 @ 11:00 pm

For George Orwell

Illustration from a book on mathematics —

This illustrates the Galois space  AG(4,2).

For some related spaces, see a note from 1984.

"There is  such a thing as a space cross."
— Saying adapted from a young-adult novel

Wednesday, February 17, 2016

“Blank Space” Accolades

Filed under: General,Geometry — m759 @ 9:00 pm

A post in memory of British theatre director Peter Wood,
who reportedly died on February 11, 2016.

The Album of the Year Grammy:

From the date of the director's death —

"Leave a space." — Tom Stoppard

Monday, January 11, 2016

Space Oddity

Filed under: General,Geometry — Tags: , , — m759 @ 3:15 pm

It is an odd fact that the close relationship between some
small Galois spaces and small Boolean spaces has gone
unremarked by mathematicians.

A Google search today for “Galois spaces” + “Boolean spaces”
yielded, apart from merely terminological sources, only some
introductory material I have put on the Web myself.

Some more sophisticated searches, however led to a few
documents from the years 1971 – 1981 …

Harmonic Analysis of Switching Functions” ,
by Robert J. Lechner, Ch. 5 in A. Mukhopadhyay, editor,
Recent Developments in Switching Theory , Academic Press, 1971.

“Galois Switching Functions and Their Applications,”
by B. Benjauthrit and I. S. Reed,
JPL Deep Space Network Progress Report 42-27 , 1975

D.K. Pradhan, “A Theory of Galois Switching Functions,”
IEEE Trans. Computers , vol. 27, no. 3, pp. 239-249, Mar. 1978

Switching functions constructed by Galois extension fields,”
by Iwaro Takahashi, Information and Control ,
Volume 48, Issue 2, pp. 95–108, February 1981

An illustration from the Lechner paper above —

“There is  such a thing as harmonic analysis of switching functions.”

— Saying adapted from a young-adult novel

Saturday, October 24, 2015

Two Views of Finite Space

Filed under: General,Geometry — Tags: , , — m759 @ 10:00 am

The following slides are from lectures on “Advanced Boolean Algebra” —

The small Boolean  spaces above correspond exactly to some small
Galois  spaces. These two names indicate approaches to the spaces
via Boolean algebra  and via Galois geometry .

A reading from Atiyah that seems relevant to this sort of algebra
and this sort of geometry —

” ‘All you need to do is give me your soul:  give up geometry
and you will have this marvellous machine.’ (Nowadays you
can think of it as a computer!) “

Related material — The article “Diamond Theory” in the journal
Computer Graphics and Art , Vol. 2 No. 1, February 1977.  That
article, despite the word “computer” in the journal’s title, was
much less about Boolean algebra  than about Galois geometry .

For later remarks on diamond theory, see finitegeometry.org/sc.

Wednesday, October 21, 2015

Algebra and Space

Filed under: General,Geometry — Tags: , — m759 @ 7:59 am

"Perhaps an insane conceit …."    Perhaps.

Related remarks on algebra and space —

"The Quality Without a Name" (Log24, August 26, 2015).

Friday, September 4, 2015

Space Program

Filed under: General,Geometry — Tags: , — m759 @ 12:00 pm

Galois via Boole

(Courtesy of Intel)

Friday, August 14, 2015

Discrete Space

Filed under: General,Geometry — Tags: , — m759 @ 7:24 am

(A review)

Galois space:

Image-- examples from Galois affine geometry

Counting symmetries of  Galois space:
IMAGE - The Diamond Theorem

The reason for these graphic symmetries in affine Galois space —

symmetries of the underlying projective Galois space:

Wednesday, May 13, 2015

Space

Filed under: General,Geometry — Tags: , — m759 @ 2:00 pm

Notes on space for day 13 of May, 2015 —

The 13 symmetry axes of the cube may be viewed as
the 13 points of the Galois projective space PG(2,3).
This space (a plane) may also be viewed as the nine points
of the Galois affine space AG(2,3) plus the four points on
an added "line at infinity."

Related poetic material:

The ninefold square and Apollo, as well as 

http://www.log24.com/log/pix11A/110426-ApolloAndDionysus.jpg

Tuesday, March 24, 2015

Brouwer on the Galois Tesseract

Filed under: General,Geometry — Tags: , , — m759 @ 12:00 pm

Yesterday's post suggests a review of the following —

Andries Brouwer, preprint, 1982:

"The Witt designs, Golay codes and Mathieu groups"
(unpublished as of 2013)

Pages 8-9:

Substructures of S(5, 8, 24)

An octad is a block of S(5, 8, 24).

Theorem 5.1

Let B0 be a fixed octad. The 30 octads disjoint from B0
form a self-complementary 3-(16,8,3) design, namely 

the design of the points and affine hyperplanes in AG(4, 2),
the 4-dimensional affine space over F2.

Proof….

… (iv) We have AG(4, 2).

(Proof: invoke your favorite characterization of AG(4, 2) 
or PG(3, 2), say 
Dembowski-Wagner or Veblen & Young. 

An explicit construction of the vector space is also easy….)

Related material:  Posts tagged Priority.

Tuesday, November 25, 2014

Euclidean-Galois Interplay

Filed under: General,Geometry — Tags: , , — m759 @ 11:00 am

For previous remarks on this topic, as it relates to
symmetry axes of the cube, see previous posts tagged Interplay.

The above posts discuss, among other things, the Galois
projective plane of order 3, with 13 points and 13 lines.

Oxley's 2004 drawing of the 13-point projective plane

These Galois points and lines may be modeled in Euclidean geometry
by the 13 symmetry axes and the 13 rotation planes
of the Euclidean cube. They may also be modeled in Galois geometry
by subsets of the 3x3x3 Galois cube (vector 3-space over GF(3)).

http://www.log24.com/log/pix11A/110427-Cube27.jpg

   The 3×3×3 Galois Cube 

Exercise: Is there any such analogy between the 31 points of the
order-5 Galois projective plane and the 31 symmetry axes of the
Euclidean dodecahedron and icosahedron? Also, how may the
31 projective points  be naturally pictured as lines  within the 
5x5x5 Galois cube (vector 3-space over GF(5))?

Update of Nov. 30, 2014 —

For background to the above exercise, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998), esp.
the citation to a 1983 article by Lemay.

Monday, September 22, 2014

Space

Filed under: General,Geometry — Tags: — m759 @ 11:17 am

Review of an image from a post of May 6, 2009:

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

Thursday, March 27, 2014

Diamond Space

Filed under: General,Geometry — Tags: , , , — m759 @ 2:28 pm

(Continued)

Definition:  A diamond space  — informal phrase denoting
a subspace of AG(6, 2), the six-dimensional affine space
over the two-element Galois field.

The reason for the name:

IMAGE - The Diamond Theorem, including the 4x4x4 'Solomon's Cube' case

Click to enlarge.

Tuesday, December 3, 2013

Diamond Space

Filed under: General,Geometry — Tags: — m759 @ 1:06 pm

A new website illustrates its URL.
See DiamondSpace.net.

IMAGE- Site with keywords 'Galois space, Galois geometry, finite geometry' at DiamondSpace.net

Monday, June 10, 2013

Galois Coordinates

Filed under: General,Geometry — Tags: , , — m759 @ 10:30 pm

Today's previous post on coordinate systems
suggests a look at the phrase "Galois coordinates."

A search shows that the phrase, though natural,
has apparently not been used before 2011* for solutions
to what Hermann Weyl called "the relativity problem."

A thorough historical essay on Galois coordinatization
in this sense would require more academic resources
than I have available. It would likely describe a number
of applications of Galois-field coordinates to square
(and perhaps to cubical) arrays that were studied before
1976, the date of my Diamond Theory  monograph.

But such a survey might not  find any such pre-1976
coordinatization of a 4×4 array  by the 16 elements
of the vector 4-space  over the Galois field with two
elements, GF(2).

Such coordinatizations are important because of their
close relationship to the Mathieu group 24 .

See a preprint by Anne Taormina and Katrin Wendland,
"The overarching finite symmetry group of Kummer
surfaces in the Mathieu group 24 ," with its remark
denying knowledge of any such coordinatization
prior to a 1989 paper by R. T. Curtis.

Related material: 

Some images related to Galois coordinates, excerpted
from a Google search today (click to enlarge)—

*  A rather abstract  2011 paper that uses the phrase
   "Galois coordinates" may have some implications 
   for the naive form of the relativity problem
   related to square and cubical arrays.

Wednesday, January 16, 2013

Space Race

Filed under: General,Geometry — m759 @ 3:33 am


 Japanese character
 for "field"

This morning's leading
New York Times  obituaries—

For other remarks on space, see
Galois + Space in this  journal.

Sunday, July 29, 2012

The Galois Tesseract

Filed under: General,Geometry — Tags: , , — m759 @ 11:00 pm

(Continued)

The three parts of the figure in today's earlier post "Defining Form"—

IMAGE- Hyperplanes (square and triangular) in PG(3,2), and coordinates for AG(4,2)

— share the same vector-space structure:

   0     c     d   c + d
   a   a + c   a + d a + c + d
   b   b + c   b + d b + c + d
a + b a + b + c a + b + d   a + b + 
  c + d

   (This vector-space a b c d  diagram is from  Chapter 11 of 
    Sphere Packings, Lattices and Groups , by John Horton
    Conway and N. J. A. Sloane, first published by Springer
    in 1988.)

The fact that any  4×4 array embodies such a structure was implicit in
the diamond theorem (February 1979). Any 4×4 array, regarded as
a model of the finite geometry AG(4, 2), may be called a Galois tesseract.
(So called because of the Galois geometry involved, and because the
16 cells of a 4×4 array with opposite edges identified have the same
adjacency pattern as the 16 vertices of a tesseract (see, for instance,
Coxeter's 1950 "Self-Dual Configurations and Regular Graphs," figures
5 and 6).)

A 1982 discussion of a more abstract form of AG(4, 2):

Source:

The above 1982 remarks by Brouwer may or may not have influenced
the drawing of the above 1988 Conway-Sloane diagram.

Wednesday, October 26, 2011

Erlanger and Galois

Filed under: General,Geometry — Tags: , , , — m759 @ 8:00 pm

Peter J. Cameron yesterday on Galois—

"He was killed in a duel at the age of 20…. His work languished for another 14 years until Liouville published it in his Journal; soon it was recognised as the foundation stone of modern algebra, a position it has never lost."

Here Cameron is discussing Galois theory, a part of algebra. Galois is known also as the founder* of group theory, a more general subject.

Group theory is an essential part of modern geometry as well as of modern algebra—

"In der Galois'schen Theorie, wie hier, concentrirt sich das Interesse auf Gruppen von Änderungen. Die Objecte, auf welche sich die Änderungen beziehen, sind allerdings verschieden; man hat es dort mit einer endlichen Zahl discreter Elemente, hier mit der unendlichen Zahl von Elementen einer stetigen Mannigfaltigkeit zu thun."

— Felix Christian Klein, Erlanger Programm , 1872

("In the Galois theory, as in ours, the interest centres on groups of transformations. The objects to which the transformations are applied are indeed different; there we have to do with a finite number of discrete elements, here with the infinite number of elements in a continuous manifoldness." (Translated by M.W. Haskell, published in Bull. New York Math. Soc. 2, (1892-1893), 215-249))

Related material from Hermann Weyl, Symmetry , Princeton University Press, 1952 (paperback reprint of 1982, pp. 143-144)—

"A field is perhaps the simplest algebraic structure we can invent. Its elements are numbers…. Space is another example of an entity endowed with a structure. Here the elements are points…. What we learn from our whole discussion and what has indeed become a guiding principle in modern mathematics is this lesson: Whenever you have to do with a structure-endowed entity  Σ try to determine is group of automorphisms , the group of those element-wise transformations which leave all structural relations undisturbed. You can expect to gain a deep insight into the constitution of Σ in this way."

For a simple example of a group acting on a field (of 8 elements) that is also a space (of 8 points), see Generating the Octad Generator and Knight Moves.

* Joseph J. Rotman, An Introduction to the Theory of Groups , 4th ed., Springer, 1994, page 2

Saturday, September 3, 2011

The Galois Tesseract (continued)

A post of September 1, The Galois Tesseract, noted that the interplay
of algebraic and geometric properties within the 4×4 array that forms
two-thirds of the Curtis Miracle Octad Generator (MOG) may first have
been described by Cullinane (AMS abstract 79T-A37, Notices , Feb. 1979).

Here is some supporting material—

http://www.log24.com/log/pix11B/110903-Carmichael-Conway-Curtis.jpg

The passage from Carmichael above emphasizes the importance of
the 4×4 square within the MOG.

The passage from Conway and Sloane, in a book whose first edition
was published in 1988, makes explicit the structure of the MOG's
4×4 square as the affine 4-space over the 2-element Galois field.

The passage from Curtis (1974, published in 1976) describes 35 sets
of four "special tetrads" within the 4×4 square of the MOG. These
correspond to the 35 sets of four parallel 4-point affine planes within
the square. Curtis, however, in 1976 makes no mention of the affine
structure, characterizing his 140 "special tetrads" rather by the parity
of their intersections with the square's rows and columns.

The affine structure appears in the 1979 abstract mentioned above—

IMAGE- An AMS abstract from 1979 showing how the affine group AGL(4,2) of 322,560 transformations acts on a 4x4 square

The "35 structures" of the abstract were listed, with an application to
Latin-square orthogonality, in a note from December 1978

IMAGE- Projective-space structure and Latin-square orthogonality in a set of 35 square arrays

See also a 1987 article by R. T. Curtis—

Further elementary techniques using the miracle octad generator, by R. T. Curtis. Abstract:

“In this paper we describe various techniques, some of which are already used by devotees of the art, which relate certain maximal subgroups of the Mathieu group M24, as seen in the MOG, to matrix groups over finite fields. We hope to bring out the wealth of algebraic structure* underlying the device and to enable the reader to move freely between these matrices and permutations. Perhaps the MOG was mis-named as simply an ‘octad generator’; in this paper we intend to show that it is in reality a natural diagram of the binary Golay code.”

(Received July 20 1987)

Proceedings of the Edinburgh Mathematical Society (Series 2) (1989), 32: 345-353

* For instance:

Algebraic structure in the 4x4 square, by Cullinane (1985) and Curtis (1987)

Update of Sept. 4— This post is now a page at finitegeometry.org.

Friday, April 22, 2011

Romancing the Hyperspace

Filed under: General,Geometry — m759 @ 7:59 pm

For the title, see Palm Sunday.

"There is a pleasantly discursive treatment of
Pontius Pilate's unanswered question 'What is truth?'" — H. S. M. Coxeter, 1987

From this date (April 22) last year—

Image-- examples from Galois affine geometry

Richard J. Trudeau in The Non-Euclidean Revolution , chapter on "Geometry and the Diamond Theory of Truth"–

"… Plato and Kant, and most of the philosophers and scientists in the 2200-year interval between them, did share the following general presumptions:

(1) Diamonds– informative, certain truths about the world– exist.
(2) The theorems of Euclidean geometry are diamonds.

Presumption (1) is what I referred to earlier as the 'Diamond Theory' of truth. It is far, far older than deductive geometry."

Trudeau's book was published in 1987. The non-Euclidean* figures above illustrate concepts from a 1976 monograph, also called "Diamond Theory."

Although non-Euclidean,* the theorems of the 1976 "Diamond Theory" are also, in Trudeau's terminology, diamonds.

* "Non-Euclidean" here means merely "other than  Euclidean." No violation of Euclid's parallel postulate is implied.

Trudeau comes to reject what he calls the "Diamond Theory" of truth. The trouble with his argument is the phrase "about the world."

Geometry, a part of pure mathematics, is not  about the world. See G. H. Hardy, A Mathematician's Apology .

Friday, September 17, 2010

The Galois Window

Filed under: General,Geometry — Tags: , , , — m759 @ 5:01 am

Yesterday's excerpt from von Balthasar supplies some Catholic aesthetic background for Galois geometry.

That approach will appeal to few mathematicians, so here is another.

Euclid's Window: The Story of Geometry from Parallel Lines to Hyperspace  is a book by Leonard Mlodinow published in 2002.

More recently, Mlodinow is the co-author, with Stephen Hawking, of The Grand Design  (published on September 7, 2010).

A review of Mlodinow's book on geometry—

"This is a shallow book on deep matters, about which the author knows next to nothing."
— Robert P. Langlands, Notices of the American Mathematical Society,  May 2002

The Langlands remark is an apt introduction to Mlodinow's more recent work.

It also applies to Martin Gardner's comments on Galois in 2007 and, posthumously, in 2010.

For the latter, see a Google search done this morning—

http://www.log24.com/log/pix10B/100917-GardnerGalois.jpg

Here, for future reference, is a copy of the current Google cache of this journal's "paged=4" page.

Note the link at the bottom of the page in the May 5, 2010, post to Peter J. Cameron's web journal. Following the link, we find…

For n=4, there is only one factorisation, which we can write concisely as 12|34, 13|24, 14|23. Its automorphism group is the symmetric group S4, and acts as S3 on the set of three partitions, as we saw last time; the group of strong automorphisms is the Klein group.

This example generalises, by taking the factorisation to consist of the parallel classes of lines in an affine space over GF(2). The automorphism group is the affine group, and the group of strong automorphisms is its translation subgroup.

See also, in this  journal, Window and Window, continued (July 5 and 6, 2010).

Gardner scoffs at the importance of Galois's last letter —

"Galois had written several articles on group theory, and was
merely annotating and correcting those earlier published papers."
Last Recreations, page 156

For refutations, see the Bulletin of the American Mathematical Society  in March 1899 and February 1909.

Monday, June 21, 2010

Cube Spaces

Cubic models of finite geometries
display an interplay between
Euclidean and Galois geometry.

 

Example 1— The 2×2×2 Cube—

also known as the eightfold  cube

2x2x2 cube

Group actions on the eightfold cube, 1984—

http://www.log24.com/log/pix10A/100621-diandwh-detail.GIF

Version by Laszlo Lovasz et al., 2003—

http://www.log24.com/log/pix10A/100621-LovaszCubeSpace.gif

Lovasz et al. go on to describe the same group actions
as in the 1984 note, without attribution.

Example 2— The 3×3×3 Cube

A note from 1985 describing group actions on a 3×3 plane array—

http://www.log24.com/log/pix10A/100621-VisualizingDetail.gif

Undated software by Ed Pegg Jr. displays
group actions on a 3×3×3 cube that extend the
3×3 group actions from 1985 described above—

Ed Pegg Jr.'s program at Wolfram demonstrating concepts of a 1985 note by Cullinane

Pegg gives no reference to the 1985 work on group actions.

Example 3— The 4×4×4 Cube

A note from 27 years ago today—

http://www.log24.com/log/pix10A/100621-Cube830621.gif

As far as I know, this version of the
group-actions theorem has not yet been ripped off.

Sunday, March 21, 2010

Galois Field of Dreams

Filed under: General,Geometry — Tags: , — m759 @ 10:01 am

It is well known that the seven (22 + 2 +1) points of the projective plane of order 2 correspond to 2-point subspaces (lines) of the linear 3-space over the two-element field Galois field GF(2), and may be therefore be visualized as 2-cube subsets of the 2×2×2 cube.

Similarly, recent posts* have noted that the thirteen (32 + 3 + 1) points of the projective plane of order 3 may be seen as 3-cube subsets in the 3×3×3 cube.

The twenty-one (42 + 4 +1) points of the (unique) projective plane of order 4 may also be visualized as subsets of a cube– in this case, the 4×4×4 cube. This visualization is somewhat more complicated than the 3×3×3 case, since the 4×4×4 cube has no central subcube, and each projective-plane point corresponds to four, not three, subcubes.

These three cubes, with 8, 27, and 64 subcubes, thus serve as geometric models in a straightforward way– first as models of finite linear spaces, hence as models for small Galois geometries derived from the linear spaces. (The cubes with 8 and 64 subcubes also serve in a less straightforward, and new, way as finite-geometry models– see The Eightfold Cube, Block Designs, and Solomon's Cube.)

A group of collineations** of the 21-point plane is one of two nonisomorphic simple groups of order 20,160. The other is the linear group acting on the linear 4-space over the two-element Galois field  GF(2). The 1899 paper establishing the nonisomorphism notes that "the expression Galois Field is perhaps not yet in general use."

Coordinates of the 4×4×4 cube's subcubes can, of course, be regarded as elements of the Galois field GF(64).

The preceding remarks were purely mathematical. The "dreams" of this post's title are not. See…

Number and Time, by Marie-Louise von Franz

See also Geometry of the I Ching and a search in this journal for "Galois + Ching."

* February 27 and March 13

** G20160 in Mitchell 1910,  LF(3,22) in Edge 1965

— Mitchell, Ulysses Grant, "Geometry and Collineation Groups
   of the Finite Projective Plane PG(2,22),"
   Princeton Ph.D. dissertation (1910)

— Edge, W. L., "Some Implications of the Geometry of
   the 21-Point Plane," Math. Zeitschr. 87, 348-362 (1965)

Saturday, March 13, 2010

Space Cowboy

Filed under: General,Geometry — m759 @ 9:00 am

From yesterday's Seattle Times

According to police, employees of a Second Avenue mission said the suspect, clad in black and covered in duct tape, had come into the mission "and threatened to blow the place up." He then told staffers "that he was a vampire and wanted to eat people."

The man… also called himself "a space cowboy"….

This suggests two film titles…

Plan 9 from Outer Space

Rebecca Goldstein and a Cullinane quaternion

and Apollo's 13

The 13 symmetry axes of the (Euclidean) cube–
exactly one axis for each pair of opposite
  subcubes in the (Galois) 3×3×3 cube–

The 13 symmetry axes of the cube

Friday, November 10, 2023

Logos

Filed under: General — Tags: , , , — m759 @ 12:08 pm

Related art —

(For some backstory, see Geometry of the I Ching
and the history of Chinese philosophy.)

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

Sunday, August 6, 2023

Contra Gombrich

Filed under: General — Tags: — m759 @ 10:42 am

A search in this journal for Cornell + Warburg suggests
a review of the concept "iconology of the interval " . . .
Ikonologie des Zwischenraums —

Some small Galois spaces (the Cullinane models)

"Yet if this Denkraum ,  this 'twilight region,'  is where the artist and
emblem-maker invent, then, as Gombrich well knew, Warburg also
constantly regrets the 'loss' of this 'thought-space,' which he also
dubs the Zwischenraum  and Wunschraum ."

— Memory, Metaphor, and Aby Warburg's Atlas of Images ,
     Christopher D. Johnson, Cornell University Press, 2012, p. 56

Monday, February 27, 2023

For Gen Z: The Mark of Zorro

Filed under: General — m759 @ 12:50 pm

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

Friday, December 30, 2022

Bullshit Studies: The View from East Lansing

Filed under: General — Tags: — m759 @ 1:40 pm

Detail of the above screen (click to enlarge) —

See also this  journal on the above date  — June 10, 2021.

From this journal on May 6, 2009

A related picture of images that "reappear metamorphosed
in the coordinate system of the high region" —

(For the backstory, see Geometry of the I Ching
and the history of Chinese philosophy.)

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

Friday, May 27, 2022

Great Escapes

Filed under: General — Tags: — m759 @ 2:12 pm

The above scene from "Hanna" comes from a webpage
dated August 29, 2011. See also

this journal on that date  —

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

and today's previous "Escape" post.

Tuesday, October 20, 2020

The Leibniz Methods

Filed under: General — m759 @ 7:20 pm

IMAGE- The Leibniz medal

Click medal for some background. The medal may be regarded
as illustrating the 16-point Galois space.

Thursday, March 5, 2020

“Generated by Reflections”

Filed under: General — Tags: — m759 @ 8:42 pm

See the title in this journal.

Such generation occurs both in Euclidean space 

Order-8 group generated by reflections in midplanes of cube parallel to faces

… and in some Galois spaces —

Generating permutations for the Klein simple group of order 168 acting on the eightfold cube .

In Galois spaces, some care must be taken in defining "reflection."

Monday, December 2, 2019

Aesthetics at Harvard

Filed under: General — Tags: , , , , — m759 @ 4:05 pm

"What the piece of art is about is the gray space in the middle."

— David Bowie, as quoted in the above Crimson  piece.

Bowie's "gray space" is the space between the art and the beholder.

I prefer the gray space in the following figure —

Some small Galois spaces (the Cullinane models)

Context:  The Trinity Stone  (Log24, June 4, 2018).

Monday, October 15, 2018

For Zingari Shoolerim*

Filed under: General,Geometry — Tags: , — m759 @ 12:19 pm

IMAGE- Site with keywords 'Galois space, Galois geometry, finite geometry' at DiamondSpace.net

The structure at top right is that of the
ROMA-ORAM-MARO-AMOR square
in the previous post.

* "Zingari shoolerim" is from
    Finnegans Wake .

Saturday, September 29, 2018

“Ikonologie des Zwischenraums”

Filed under: G-Notes,General,Geometry — Tags: , , — m759 @ 9:29 am

The title is from Warburg. The Zwischenraum  lines and shaded "cuts"
below are to be added together in characteristic two, i.e., via the
set-theoretic symmetric difference  operator.

Some small Galois spaces (the Cullinane models)

Monday, August 27, 2018

Geometry and Simplicity

Filed under: General,Geometry — Tags: , — m759 @ 9:27 pm

From

Thinking in Four Dimensions
By Dusa McDuff

"I’ve got the rather foolhardy idea of trying to explain
to you the kind of mathematics I do, and the kind of
ideas that seem simple to me. For me, the search
for simplicity is almost synonymous with the search
for structure.

I’m a geometer and topologist, which means that
I study the structure of space
. . . .

In each dimension there is a simplest space
called Euclidean space … "

— In Roman Kossak, ed.,
Simplicity:  Ideals of Practice in Mathematics and the Arts
(Kindle Locations 705-710, 735). Kindle Edition.

For some much simpler spaces of various
dimensions, see Galois Space in this journal.

Some small Galois spaces (the Cullinane models)

http://www.log24.com/log/pix18/180827-Simplicity-Springer-April_2013_conference.jpg

Monday, June 4, 2018

The Trinity Stone Defined

Filed under: General,Geometry — Tags: , , — m759 @ 8:56 pm

“Unsheathe your dagger definitions.” — James Joyce, Ulysses

The “triple cross” link in the previous post referenced the eightfold cube
as a structure that might be called the trinity stone .

An Approach to Symmetric Generation of the Simple Group of Order 168

Some small Galois spaces (the Cullinane models)

Tuesday, May 2, 2017

Image Albums

Filed under: General,Geometry — Tags: , , , , , — m759 @ 1:05 pm

Pinterest boards uploaded to the new m759.net/piwigo

Diamond Theorem 

Diamond Theorem Correlation

Miracle Octad Generator

The Eightfold Cube

Six-Set Geometry

Diamond Theory Cover

Update of May 2 —

Four-Color Decomposition

Binary Galois Spaces

The Galois Tesseract

Update of May 3 —

Desargues via Galois

The Tetrahedral Model

Solomon's Cube

Update of May 8 —

Art Space board created at Pinterest

Saturday, June 18, 2016

Midnight in Herald Square

Filed under: General,Geometry — Tags: , , — m759 @ 12:00 am

In memory of New Yorker  artist Anatol Kovarsky,
who reportedly died at 97 on June 1.

Note the Santa, a figure associated with Macy's at Herald Square.

See also posts tagged Herald Square, as well as the following
figure from this journal on the day preceding Kovarsky's death.

A note related both to Galois space and to
the "Herald Square"-tagged posts —

"There is  such a thing as a length-16 sequence."
— Saying adapted from a young-adult novel.

Sunday, May 8, 2016

The Three Solomons

Earlier posts have dealt with Solomon Marcus and Solomon Golomb,
both of whom died this year — Marcus on Saint Patrick's Day, and
Golomb on Orthodox Easter Sunday. This suggests a review of
Solomon LeWitt, who died on Catholic Easter Sunday, 2007.

A quote from LeWitt indicates the depth of the word "conceptual"
in his approach to "conceptual art."

From Sol LeWitt: A Retrospective , edited by Gary Garrels, Yale University Press, 2000, p. 376:

 

THE SQUARE AND THE CUBE
by Sol LeWitt

"The best that can be said for either the square or the cube is that they are relatively uninteresting in themselves. Being basic representations of two- and three-dimensional form, they lack the expressive force of other more interesting forms and shapes. They are standard and universally recognized, no initiation being required of the viewer; it is immediately evident that a square is a square and a cube a cube. Released from the necessity of being significant in themselves, they can be better used as grammatical devices from which the work may proceed."

"Reprinted from Lucy R. Lippard et al ., “Homage to the Square,” Art in America  55, No. 4 (July-August 1967): 54. (LeWitt’s contribution was originally untitled.)"

See also the Cullinane models of some small Galois spaces

Some small Galois spaces (the Cullinane models)

Friday, May 6, 2016

Review

Filed under: General,Geometry — Tags: — m759 @ 9:48 pm

 Some small Galois spaces (the Cullinane models)

Monday, January 5, 2015

Gitterkrieg*

Filed under: General,Geometry — Tags: , — m759 @ 2:00 pm
 

Wednesday, March 13, 2013

Blackboard Jungle

Filed under: Uncategorized — m759 @ 8:00 AM 

From a review in the April 2013 issue of
Notices of the American Mathematical Society

"The author clearly is passionate about mathematics
as an art, as a creative process. In reading this book,
one can easily get the impression that mathematics
instruction should be more like an unfettered journey
into a jungle where an individual can make his or her
own way through that terrain."

From the book under review—

"Every morning you take your machete into the jungle
and explore and make observations, and every day
you fall more in love with the richness and splendor 
of the place."

— Lockhart, Paul (2009-04-01). 
A Mathematician's Lament:
How School Cheats Us Out of Our Most Fascinating
and Imaginative Art Form 
 (p. 92).
Bellevue Literary Press. Kindle Edition. 

Related material: Blackboard Jungle in this journal.

See also Galois Space and Solomon's Mines.

"I pondered deeply, then, over the
adventures of the jungle. And after
some work with a colored pencil
I succeeded in making my first drawing.
My Drawing Number One.
It looked something like this:

I showed my masterpiece to the
grown-ups, and asked them whether
the drawing frightened them.

But they answered: 'Why should
anyone be frightened by a hat?'"

The Little Prince

* For the title, see Plato Thanks the Academy (Jan. 3).

Sunday, September 14, 2014

Sensibility

Filed under: General,Geometry — Tags: , , — m759 @ 9:26 am

Structured gray matter:

Graphic symmetries of Galois space:
IMAGE - The Diamond Theorem

The reason for these graphic symmetries in affine  Galois space —

symmetries of the underlying projective  Galois space:

Sunday, August 31, 2014

Sunday School

Filed under: General,Geometry — Tags: , , , — m759 @ 9:00 am

The Folding

Cynthia Zarin in The New Yorker , issue dated April 12, 2004—

“Time, for L’Engle, is accordion-pleated. She elaborated,
‘When you bring a sheet off the line, you can’t handle it
until it’s folded, and in a sense, I think, the universe can’t
exist until it’s folded — or it’s a story without a book.’”

The geometry of the 4×4 square array is that of the
3-dimensional projective Galois space PG(3,2).

This space occurs, notably, in the Miracle Octad Generator (MOG)
of R. T. Curtis (submitted to Math. Proc. Camb. Phil. Soc.  on
15 June 1974).  Curtis did not, however, describe its geometric
properties. For these, see the Cullinane diamond theorem.

Some history: 

Curtis seems to have obtained the 4×4 space by permuting,
then “folding” 1×8 binary sequences into 4×2 binary arrays.
The original 1×8 sequences came from the method of Turyn
(1967) described by van Lint in his book Coding Theory
(Springer Lecture Notes in Mathematics, No. 201 , first edition
published in 1971). Two 4×2 arrays form each 4×4 square array
within the MOG. This construction did not suggest any discussion
of the geometric properties of the square arrays.

[Rewritten for clarity on Sept. 3, 2014.]

Thursday, July 17, 2014

Paradigm Shift:

Filed under: General,Geometry — Tags: , — m759 @ 11:01 am
 

Continuous Euclidean space to discrete Galois space*

Euclidean space:

Point, line, square, cube, tesseract

From a page by Bryan Clair

Counting symmetries in Euclidean space:

Galois space:

Image-- examples from Galois affine geometry

Counting symmetries of  Galois space:
IMAGE - The Diamond Theorem

The reason for these graphic symmetries in affine Galois space —

symmetries of the underlying projective Galois space:

* For related remarks, see posts of May 26-28, 2012.

Wednesday, July 16, 2014

Finite Jest

Filed under: General,Geometry — m759 @ 2:01 pm

(Continued from a private post of May 27, 2012)

Wednesday, May 21, 2014

Through the Vanishing Point*

Filed under: General,Geometry — Tags: , , — m759 @ 9:48 am

Marshall McLuhan in "Annie Hall" —

"You know nothing of my work."

Related material — 

"I need a photo opportunity
I want a shot at redemption
Don't want to end up a cartoon
In a cartoon graveyard"

— Paul Simon

It was a dark and stormy night…

http://www.log24.com/log/pix11/110420-DarkAndStormy-Logicomix.jpg

— Page 180, Logicomix

A photo opportunity for Whitehead
(from Romancing the Cube, April 20, 2011)—

IMAGE- Whitehead on Fano's construction of the 15-point projective Galois space over GF(2)

See also Absolute Ambition (Nov. 19, 2010).

* For the title, see Vanishing Point in this journal.

Friday, March 21, 2014

Three Constructions of the Miracle Octad Generator

Filed under: General,Geometry — Tags: , , , , — m759 @ 12:24 pm

IMAGE- Two constructions, by Turyn/Curtis, and by Conway, of the Miracle Octad Generator

See also a Log24 post on this subject from Dec. 14, 2013,
especially (scroll down) the update of March 9, 2014.

Related material on the Turyn-Curtis construction
from the University of Cambridge —

— Slide by "Dr. Parker" — Apparently Richard A. Parker —
Lecture 4, "Discovering M24," in slides for lectures 1-8 from lectures
at Cambridge in 2010-2011 on "Sporadic and Related Groups."
See also the Parker lectures of 2012-2013 on the same topic.

A third construction of Curtis's 35  4×6  1976 MOG arrays would use
Cullinane's analysis of the 4×4 subarrays' affine and projective structure,
and point out the fact that Conwell's 1910 correspondence of the 35
4+4-partitions of an 8-set with the 35 lines of the projective 3-space
over the 2-element field, PG(3, 2), is essentially the same correspondence
as that constituting Curtis's 1976 MOG.

See The Diamond Theorem,  Finite RelativityGalois Space,
Generating the Octad Generator, and The Klein Correspondence.

Update of March 22-March 23 —

Adding together as (0,1)-matrices over GF(2) the black parts (black
squares as 1's, all other squares as 0's) of the 35  4×6 arrays of the 1976
Curtis MOG would then reveal*  the symmetric role played in octads
by what Curtis called the heavy brick , and so reveal also the action of
S3 on the three Curtis bricks that leaves invariant the set of all 759
octads of the S(5, 8, 24) constructed from the 35  MOG arrays.  For more
details of this "by-hand" construction, see Geometry of the 4×4 Square.
For the mathematical properties of the S(5, 8, 24), it is convenient to
have a separate construction (such as Turyn's), not  by hand, of the
extended binary Golay code. See the Brouwer preprint quoted above.

* "Then a miracle occurs," as in the classic 1977 Sidney Harris cartoon.

Illustration of array addition from March 23 —

IMAGE- Discovery of the S_3 action on bricks in the Conwell-Cullinane 'by-hand' approach to octad-building

Friday, March 7, 2014

Kummer Varieties

Filed under: General,Geometry — Tags: , , — m759 @ 11:20 am

The Dream of the Expanded Field continues

Image-- The Dream of the Expanded Field

From Klein's 1893 Lectures on Mathematics —

"The varieties introduced by Wirtinger may be called Kummer varieties…."
E. Spanier, 1956

From this journal on March 10, 2013 —

From a recent paper on Kummer varieties,
arXiv:1208.1229v3 [math.AG] 12 Jun 2013,
"The Universal Kummer Threefold," by
Qingchun Ren, Steven V Sam, Gus Schrader, and Bernd Sturmfels —

IMAGE- 'Consider the 6-dimensional vector space over the 2-element field,' from 'The Universal Kummer Threefold'

Two such considerations —

IMAGE- 'American Hustle' and Art Cube

IMAGE- Cube for study of I Ching group actions, with Jackie Chan and Nicole Kidman 

Update of 10 PM ET March 7, 2014 —

The following slides by one of the "Kummer Threefold" authors give
some background related to the above 64-point vector space and
to the Weyl group of type E7(E7):

The Cayley reference is to "Algorithm for the characteristics of the
triple ϑ-functions," Journal für die Reine und Angewandte
Mathematik  87 (1879): 165-169. <http://eudml.org/doc/148412>.
To read this in the context of Cayley's other work, see pp. 441-445
of Volume 10 of his Collected Mathematical Papers .

Wednesday, February 5, 2014

Mystery Box II

Filed under: General,Geometry — Tags: , — m759 @ 4:07 pm

Continued from previous post and from Sept. 8, 2009.

Box containing Froebel's Third Gift-- The Eightfold Cube

Examination of the box's contents does not solve
the contents' real mystery. That requires knowledge
of the non-Euclidean geometry of Galois space.

In this case, without that knowledge, prattle (as in
today's online New York Times ) about creativity and
"thinking outside the box" is pointless.

Thursday, November 7, 2013

Pattern Grammar

Filed under: General,Geometry — Tags: , — m759 @ 10:31 am

Yesterday afternoon's post linked to efforts by
the late Robert de Marrais to defend a mathematical  
approach to structuralism and kaleidoscopic patterns. 

Two examples of non-mathematical discourse on
such patterns:

1.  A Royal Society paper from 2012—

Click the above image for related material in this journal.

2.  A book by Junichi Toyota from 2009—

Kaleidoscopic Grammar: Investigation into the Nature of Binarism

I find such non-mathematical approaches much less interesting
than those based on the mathematics of reflection groups . 

De Marrais described the approaches of Vladimir Arnold and,
earlier, of H. S. M. Coxeter, to such groups. These approaches
dealt only with groups of reflections in Euclidean  spaces.
My own interest is in groups of reflections in Galois  spaces.
See, for instance, A Simple Reflection Group of Order 168

Galois spaces over fields of characteristic 2  are particularly
relevant to what Toyota calls binarism .

Thursday, July 4, 2013

Declaration of Independent

Filed under: General,Geometry — Tags: — m759 @ 2:21 pm

"Classical Geometry in Light of Galois Geometry"
is now available at independent.academia.edu.

Related commentary Yesterday's post Vision 
and a post of February 21, 2013:  Galois Space.

Saturday, March 16, 2013

The Crosswicks Curse

Filed under: General,Geometry — Tags: , — m759 @ 4:00 pm

Continues.

From the prologue to the new Joyce Carol Oates
novel Accursed

"This journey I undertake with such anticipation
is not one of geographical space but one of Time—
for it is the year 1905 that is my destination.

1905!—the very year of the Curse."

Today's previous post supplied a fanciful link
between the Crosswicks Curse of Oates and
the Crosswicks tesseract  of Madeleine L'Engle.

The Crosswicks Curse according to L'Engle
in her classic 1962 novel A Wrinkle in Time —

"There is  such a thing as a tesseract."

A tesseract is a 4-dimensional hypercube that
(as pointed out by Coxeter in 1950) may also 
be viewed as a 4×4 array (with opposite edges
identified).

Meanwhile, back in 1905

For more details, see how the Rosenhain and Göpel tetrads occur naturally
in the diamond theorem model of the 35 lines of the 15-point projective
Galois space PG(3,2).

See also Conwell in this journal and George Macfeely Conwell in the
honors list of the Princeton Class of 1905.

Wednesday, March 13, 2013

Blackboard Jungle

Filed under: General,Geometry — m759 @ 8:00 am

From a review in the April 2013 issue of
Notices of the American Mathematical Society

"The author clearly is passionate about mathematics
as an art, as a creative process. In reading this book,
one can easily get the impression that mathematics
instruction should be more like an unfettered journey
into a jungle where an individual can make his or her
own way through that terrain."

From the book under review—

"Every morning you take your machete into the jungle
and explore and make observations, and every day
you fall more in love with the richness and splendor
of the place."

— Lockhart, Paul (2009-04-01). A Mathematician's Lament:
How School Cheats Us Out of Our Most Fascinating and
Imaginative Art Form 
(p. 92). Bellevue Literary Press.
Kindle Edition. 

Related material: Blackboard Jungle in this journal.

See also Galois Space and Solomon's Mines.

Wednesday, March 6, 2013

Midnight in Pynchon*

Filed under: General,Geometry — m759 @ 12:00 am

"It is almost as though Pynchon wishes to
repeat the grand gesture of Joyce’s Ulysses…."

Vladimir Tasic on Pynchon's Against the Day

Related material:

Tasic's Mathematics and the Roots of Postmodern Thought  
and Michael Harris's "'Why Mathematics?' You Might Ask"

*See also Occupy Galois Space and Midnight in Dostoevsky.

Tuesday, February 19, 2013

Configurations

Filed under: General,Geometry — Tags: , , — m759 @ 12:24 pm

Yesterday's post Permanence dealt with the cube
as a symmetric model of the finite projective plane
PG(2,3), which has 13 points and 13 lines. The points
and lines of the finite geometry occur in the cube as
the 13 axes of symmetry and the 13 planes through
the center perpendicular to those axes. If the three
axes lying in  a plane that cuts the cube in a hexagon
are supplemented by the axis perpendicular  to that
plane, each plane is associated with four axes and,
dually, each axis is associated with four planes.

My web page on this topic, Cubist Geometries, was
written on February 27, 2010, and first saved to the
Internet Archive on Oct. 4, 2010

For a more recent treatment of this topic that makes
exactly the same points as the 2010 page, see p. 218
of Configurations from a Graphical Viewpoint , by
Tomaž Pisanski and Brigitte Servatius, published by
Springer on Sept. 23, 2012 (date from both Google
Books
and Amazon.com):

For a similar 1998 treatment of the topic, see Burkard Polster's 
A Geometrical Picture Book  (Springer, 1998), pp. 103-104.

The Pisanski-Servatius book reinforces my argument of Jan. 13, 2013,
that the 13 planes through the cube's center that are perpendicular
to the 13 axes of symmetry of the cube should be called the cube's 
symmetry planes , contradicting the usual use of of that term.

That argument concerns the interplay  between Euclidean and
Galois geometry. Pisanski and Servatius (and, in 1998, Polster)
emphasize the Euclidean square and cube as guides* to
describing the structure of a Galois space. My Jan. 13 argument
uses Galois  structures as a guide to re-describing those of Euclid .
(For a similar strategy at a much more sophisticated level,
see a recent Harvard Math Table.)

Related material:  Remarks on configurations in this journal
during the month that saw publication of the Pisanski-Servatius book.

* Earlier guides: the diamond theorem (1978), similar theorems for
  2x2x2 (1984) and 4x4x4 cubes (1983), and Visualizing GL(2,p)
  (1985). See also Spaces as Hypercubes (2012).

Wednesday, January 16, 2013

Medals

Filed under: General,Geometry — m759 @ 11:00 am

National

IMAGE- Golomb and Mazur awarded National Medals of Science

International

IMAGE- The Leibniz medal

Click medal for some background. The medal may be regarded
as illustrating the 16-point Galois space. (See previous post.)

Related material: Jews in Hyperspace.

Saturday, January 5, 2013

Vector Addition in a Finite Field

Filed under: General,Geometry — Tags: , — m759 @ 10:18 am

The finite (i.e., Galois) field GF(16),
according to J. J. Seidel in 1974—

The same field according to Steven H. Cullinane in 1986,
in its guise as the affine 4-space over GF(2)—


The same field, again disguised as an affine 4-space,
according to John H. Conway and N.J.A. Sloane in
Sphere Packings, Lattices, and Groups , first published in 1988—

The above figure by Conway and Sloane summarizes, using
a 4×4 array, the additive vector-space structure of the finite
field GF(16).

This structure embodies what in Euclidean space is called
the parallelogram rule for vector addition—

(Thanks to June Lester for the 3D (uvw) part of the above figure.)

For the transition from this colored Euclidean hypercube
(used above to illustrate the parallelogram rule) to the
4×4 Galois space (illustrated by Cullinane in 1979 and
Conway and Sloane in 1988— or later… I do not have
their book’s first edition), see Diamond Theory in 1937,
Vertex Adjacency in a Tesseract and in a 4×4 Array,
Spaces as Hypercubes, and The Galois Tesseract.

For some related narrative, see tesseract  in this journal.

(This post has been added to finitegeometry.org.)

Update of August 9, 2013—

Coordinates for hypercube vertices derived from the
parallelogram rule in four dimensions were better
illustrated by Jürgen Köller in a web page archived in 2002.

Update of August 13, 2013—

The four basis vectors in the 2002 Köller hypercube figure
are also visible at the bottom of the hypercube figure on
page 7 of “Diamond Theory,” excerpts from a 1976 preprint
in Computer Graphics and Art , Vol. 2, No. 1, February 1977.
A predecessor:  Coxeter’s 1950 hypercube figure from
Self-Dual Configurations and Regular Graphs.”

Monday, August 29, 2011

Many = Six.

Filed under: General,Geometry — m759 @ 7:20 pm

A comment today on yesterday's New York Times  philosophy column "The Stone"
notes that "Augustine… incorporated Greek ideas of perfection into Christianity."

Yesterday's post here  for the Feast of St. Augustine discussed the 2×2×2 cube.

Today's Augustine comment in the Times  reflects (through a glass darkly)
a Log24 post  from Augustine's Day, 2006, that discusses the larger 4×4×4 cube.

For related material, those who prefer narrative to philosophy may consult
Charles Williams's 1931 novel Many Dimensions . Those who prefer mathematics
to either may consult an interpretation in which Many = Six.

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

Click image for some background.

Tuesday, May 10, 2011

Groups Acting

Filed under: General,Geometry — Tags: , , — m759 @ 10:10 am

The LA Times  on last weekend's film "Thor"—

"… the film… attempts to bridge director Kenneth Branagh's high-minded Shakespearean intentions with Marvel Entertainment's bottom-line-oriented need to crank out entertainment product."

Those averse to Nordic religion may contemplate a different approach to entertainment (such as Taymor's recent approach to Spider-Man).

A high-minded— if not Shakespearean— non-Nordic approach to groups acting—

"What was wrong? I had taken almost four semesters of algebra in college. I had read every page of Herstein, tried every exercise. Somehow, a message had been lost on me. Groups act . The elements of a group do not have to just sit there, abstract and implacable; they can do  things, they can 'produce changes.' In particular, groups arise naturally as the symmetries of a set with structure. And if a group is given abstractly, such as the fundamental group of a simplical complex or a presentation in terms of generators and relators, then it might be a good idea to find something for the group to act on, such as the universal covering space or a graph."

— Thomas W. Tucker, review of Lyndon's Groups and Geometry  in The American Mathematical Monthly , Vol. 94, No. 4 (April 1987), pp. 392-394

"Groups act "… For some examples, see

Related entertainment—

High-minded— Many Dimensions

Not so high-minded— The Cosmic Cube

http://www.log24.com/log/pix11A/110509-SpideySuperStories39Sm.jpg

One way of blending high and low—

The high-minded Charles Williams tells a story
in his novel Many Dimensions about a cosmically
significant cube inscribed with the Tetragrammaton—
the name, in Hebrew, of God.

The following figure can be interpreted as
the Hebrew letter Aleph inscribed in a 3×3 square—

http://www.log24.com/log/pix11A/110510-GaloisAleph.GIF

The above illustration is from undated software by Ed Pegg Jr.

For mathematical background, see a 1985 note, "Visualizing GL(2,p)."

For entertainment purposes, that note can be generalized from square to cube
(as Pegg does with his "GL(3,3)" software button).

For the Nordic-averse, some background on the Hebrew connection—

Saturday, August 7, 2010

The Matrix Reloaded

Filed under: General,Geometry — m759 @ 12:00 am

   For aficionados of mathematics and narrative

Illustration from
"The Galois Quaternion— A Story"

The Galois Quaternion

This resembles an attempt by Coxeter in 1950 to represent
a Galois geometry in the Euclidean plane—
Coxeter's 1950 representation in the Euclidean plane of the 9-point affine plane over GF(3)

The quaternion illustration above shows a more natural way to picture this geometry—
not with dots representing points in the Euclidean  plane, but rather with unit squares
representing points in a finite Galois  affine plane. The use of unit squares to
represent points in Galois space allows, in at least some cases, the actions
of finite groups to be represented more naturally than in Euclidean space.

See Galois Geometry, Geometry Simplified, and
Finite Geometry of the Square and Cube.

Saturday, June 19, 2010

Imago Creationis

Filed under: General,Geometry — Tags: , , , , — m759 @ 6:00 pm

Image-- The Four-Diamond Tesseract

In the above view, four of the tesseract's 16
vertices are overlaid by other vertices.
For views that are more complete and
moveable, see Smith's tesseract page.

Four-Part Tesseract Divisions

http://www.log24.com/log/pix10A/100619-TesseractAnd4x4.gif

The above figure shows how four-part partitions
of the 16 vertices  of a tesseract in an infinite
Euclidean  space are related to four-part partitions
of the 16 points  in a finite Galois  space

Euclidean spaces versus Galois spaces
in a larger context—

 

 


Infinite versus Finite

The central aim of Western religion —

"Each of us has something to offer the Creator...
the bridging of
                 masculine and feminine,
                      life and death.
It's redemption.... nothing else matters."
-- Martha Cooley in The Archivist  (1998)

The central aim of Western philosophy —

              Dualities of Pythagoras
              as reconstructed by Aristotle:
                 Limited     Unlimited
                     Odd     Even
                    Male     Female
                   Light      Dark
                Straight    Curved
                  ... and so on ....

"Of these dualities, the first is the most important; all the others may be seen as different aspects of this fundamental dichotomy. To establish a rational and consistent relationship between the limited [man, etc.] and the unlimited [the cosmos, etc.] is… the central aim of all Western philosophy."
— Jamie James in The Music of the Spheres  (1993)

Another picture related to philosophy and religion—

Jung's Four-Diamond Figure from Aion

http://www.log24.com/log/pix10A/100615-JungImago.gif

This figure was devised by Jung
to represent the Self. Compare the
remarks of Paul Valéry on the Self—

Flight from Eden: The Origins of Modern Literary Criticism and Theory, by Steven Cassedy, U. of California Press, 1990, pages 156-157—

 

 

Valéry saw the mind as essentially a relational system whose operation he attempted to describe in the language of group mathematics. "Every act of understanding is based on a group," he says (C, 1:331). "My specialty— reducing everything to the study of a system closed on itself and finite" (C, 19: 645). The transformation model came into play, too. At each moment of mental life the mind is like a group, or relational system, but since mental life is continuous over time, one "group" undergoes a "transformation" and becomes a different group in the next moment. If the mind is constantly being transformed, how do we account for the continuity of the self? Simple; by invoking the notion of the invariant. And so we find passages like this one: "The S[elf] is invariant, origin, locus or field, it's a functional property of consciousness" (C, 15:170 [2:315]). Just as in transformational geometry, something remains fixed in all the projective transformations of the mind's momentary systems, and that something is the Self (le Moi, or just M, as Valéry notates it so that it will look like an algebraic variable). Transformation theory is all over the place. "Mathematical science…  reduced to algebra, that is, to the analysis of the transformations of a purely differential being made up of homogeneous elements, is the most faithful document of the properties of grouping, disjunction, and variation in the mind" (O, 1:36). "Psychology is a theory of transformations, we just need to isolate the invariants and the groups" (C, 1:915). "Man is a system that transforms itself" (C, 2:896).

Notes:

  Paul Valéry, Oeuvres  (Paris: Pléiade, 1957-60)

C   Valéry, Cahiers, 29 vols. (Paris: Centre National de le Recherche Scientifique, 1957-61)

Note also the remarks of George David Birkhoff at Rice University
in 1940 (pdf) on Galois's theory of groups and the related
"theory of ambiguity" in Galois's testamentary letter—

… metaphysical reasoning always relies on the Principle of Sufficient Reason, and… the true meaning of this Principle is to be found in the “Theory of Ambiguity” and in the associated mathematical “Theory of Groups.”

If I were a Leibnizian mystic, believing in his “preestablished harmony,” and the “best possible world” so satirized by Voltaire in “Candide,” I would say that the metaphysical importance of the Principle of Sufficient Reason and the cognate Theory of Groups arises from the fact that God thinks multi-dimensionally* whereas men can only think in linear syllogistic series, and the Theory of Groups is the appropriate instrument of thought to remedy our deficiency in this respect.

* That is, uses multi-dimensional symbols beyond our grasp.

Related material:

Imago Creationis

A medal designed by Leibniz to show how
binary arithmetic mirrors the creation by God
of something (1) from nothing (0).

http://www.log24.com/log/pix10A/100618-LeibnizMedaille.jpg

Another array of 16 strings of 0's and 1's, this time
regarded as coordinates rather than binary numbers—

Frame of Reference

http://www.log24.com/log/pix10A/100619-ReferenceFrame.gif

The Diamond Theorem

http://www.log24.com/log/pix10A/100619-Dtheorem.gif

Some context by a British mathematician —

http://www.log24.com/log/pix10A/100619-Cameron.gif

Imago

by Wallace Stevens

Who can pick up the weight of Britain, 
Who can move the German load 
Or say to the French here is France again? 
Imago. Imago. Imago. 

It is nothing, no great thing, nor man 
Of ten brilliancies of battered gold 
And fortunate stone. It moves its parade 
Of motions in the mind and heart, 

A gorgeous fortitude. Medium man 
In February hears the imagination's hymns 
And sees its images, its motions 
And multitudes of motions 

And feels the imagination's mercies, 
In a season more than sun and south wind, 
Something returning from a deeper quarter, 
A glacier running through delirium, 

Making this heavy rock a place, 
Which is not of our lives composed . . . 
Lightly and lightly, O my land, 
Move lightly through the air again.

Wednesday, May 6, 2009

Wednesday May 6, 2009

Filed under: General,Geometry — Tags: , — m759 @ 11:07 am
Joke

“My pursuits are a joke
in that the universe is a joke.
One has to reflect
the universe faithfully.”

John Frederick Michell
Feb. 9, 1933 –
April 24, 2009 

“I laugh because I dare not cry.
This is a crazy world and
the only way to enjoy it
is to treat it as a joke.”

— Robert A. Heinlein,
The Number of the Beast

For Marisa Tomei
  (born Dec. 4, 1964) —
on the day that
   Bob Seger turns 64 —

A Joke:
Points All Her Own

Points All Her Own,
Part I:

(For the backstory, see
the Log24 entries and links
on Marisa Tomei’s birthday
last year.)

Ad for a movie of the book 'Flatland'


Points All Her Own,

Part II:

(For the backstory, see
Galois Geometry:
The Simplest Examples
.)

Galois geometry: the simplest examples

Points All Her Own,

Part III:

(For the backstory, see
Geometry of the I Ching
and the history of
Chinese philosophy.)

Galois space of six dimensions represented in Euclidean spaces of three and of two dimensions

In simpler terms:

Smackdown!

Garfield on May 6, 2009: Smackdown!

Tuesday, December 19, 2023

Copilot Report

Filed under: General — Tags: , , — m759 @ 12:16 am
 
From Microsoft Copilot (with "Precise" setting)
on Dec. 18, 2023 —
 
How is the 1910 work of G. M. Conwell on PG(3,2) related to the Miracle Octad Generator of R. T. Curtis?

Searching for: Relation between G. M. Conwell work on PG(3,2) and Miracle Octad Generator of R. T. Curtis

Searching for: Relation between G. M. Conwell work on PG(3,2) and Miracle Octad Generator of R. T. Curtis explained

Generating answers for you…

The work of George M. Conwell on the finite projective 3-space PG(3,2) and the Miracle Octad Generator (MOG) of R. T. Curtis are both significant contributions to the field of combinatorial mathematics12.

Conwell’s work on PG(3,2) provided a detailed study of the structure of this finite projective space1On the other hand, the MOG is a tool for exploring the binary Golay code and its automorphism group M242.

The connection between these two works lies in the underlying combinatorial structures they explore. The Rosenhain and Göpel tetrads, which are key structures in the finite geometry PG(3,2), play a significant role in the Curtis Miracle Octad Generator3These structures provide a link between the finite geometric structures studied by Conwell and the combinatorial structures generated by the MOG3.

For a more detailed understanding of this connection, I recommend checking out the resources mentioned in the references123. If you have any specific questions about the concepts in these works, feel free to ask! I’ll do my best to help.

Learn more

5 archive.org
_________________________________________________________

__________________________________________________________


DOCUMENT SUMMARY (generated by Copilot)
of reference 3 above, from academia.edu —
"Rosenhain and Göpel Tetrads in PG(3,2),"
by Steven H. Cullinane on March 17, 2013

Here is a summary of the document:

Reference:
 
Copilot suggestions following document summary —
 



Correction:

"Subsets of four points in a projective 3-space" above is a Copilot error, and not
from the document being summarized. It should be "subsets of four points in an
affine 4-space."

Tuesday, October 24, 2023

A Bond with Reality:  The Geometry of Cuts

Filed under: General — Tags: , , — m759 @ 12:12 pm


Illustrations of object and gestures
from finitegeometry.org/sc/ —

Object

Gestures

An earlier presentation of the above
seven partitions of the eightfold cube:

Seven partitions of the 2x2x2 cube in a book from 1906

Related mathematics:

The use  of binary coordinate systems
as a conceptual tool

Natural physical  transformations of square or cubical arrays
of actual physical cubes (i.e., building blocks) correspond to
natural algebraic  transformations of vector spaces over GF(2).
This was apparently not previously known.

See "The Thing and I."

and . . .

Galois.space .

 

Related entertainment:

Or Matt Helm by way of a Jedi cube.

Thursday, October 19, 2023

Math for Barbie

Filed under: General — Tags: , — m759 @ 2:56 am

Continued from "Barbie at the Space Barn," Oct. 17.

"Open the Space Barn doors, Barbie." —

For those who prefer the Hollywood  part of  L.A.,
there is Barbierella

Monday, June 26, 2023

The Boole Tool  and The XOR Schism

Filed under: General — m759 @ 12:32 pm

'Galois Additions of Space Partitions'

Saturday, May 13, 2023

The Identity of an Entity

Filed under: General — Tags: — m759 @ 4:46 pm

From posts of Walpurgisnacht 2023

Sunday, April 30, 2023

For Harlan Kane: The Walpurgisnacht Hallucination

Note that if the "compact Riemann surface" is a torus formed by
joining opposite edges of a 4×4 square array, and the phrase
"vector bundle" is replaced by "projective line," and so forth,
the above ChatGPT hallucination is not completely unrelated to
the following illustration from the webpage "galois.space" —

See as well the Cullinane  diamond theorem.

Wednesday, April 19, 2023

New Types of Combinatorial Structure

Filed under: General — Tags: , — m759 @ 11:18 am

(For the above title, see the previous post.)

For instance:  "Zero Sum," April 6, 2023 —

'Galois Additions of Space Partitions'

 

Thursday, April 6, 2023

Zero Sum

Filed under: General — Tags: — m759 @ 12:11 pm

'Galois Additions of Space Partitions'

Related elementary mathematics from Google image searches —

Despite the extremely  elementary nature of the above tables,
the difference between the binary addition of Boole and that
of Galois seems not to be widely known.

See "The Hunt for Galois October" and "In Memory of a Mississippi Coach."

Friday, February 3, 2023

Rhyme Time

Filed under: General — Tags: , — m759 @ 2:16 pm

From Wednesday, St. Bridget's Day, 2023

Galois Additions of Space Partitions

Poetic meditation from The New Yorker  today

"If the tendency of rhyme, like that of desire,
is to pull distant things together
and force their boundaries to blur,
then the countervailing force in this book,
the one that makes it go, is the impulse
toward narrative, toward making sense of
the passage of time."

Thursday, February 2, 2023

“Here I Come Again”

Filed under: General — Tags: — m759 @ 1:09 am

From tonight's previous post

"here I come again . . . the square root of minus one,
having terminated my humanities" — 

Samuel Beckett, Stories and Texts for Nothing
(New York: Grove, 1967), 128.

From The French Mathematician
by Tom Petsinis (Nov. 30, 1998) —

0

I had foreseen it all in precise detail.
One step led inevitably to the next,
like the proof of a shining theorem,
down to the conclusive shot that still echoes
through time and space. 
Facedown in the damp pine needles,
I embraced that fatal sphere
with my whole body. Dreams, memories,
even the mathematics I had cherished
and set down in my last will and testament–
all receded. I am reduced to
a singular point; in an instant
I am transformed to .

i = an imaginary being

Here, on this complex space,
i  am no longer the impetuous youth
who wanted to change the world
first with a formula and then with a flame.
Having learned the meaning of infinite patience,
i  now rise to the text whenever anyone reads 
about Evariste Galois, preferring to remain 
just below the surface, 
like a goldfish nibbling the fringe of a floating leaf.
Ink is more mythical than blood
(unless some ancient poet slit his 
vein and wrote an epic in red):
The text is a two-way mirror 
that allows me to look into
the life and times of the reader. 
Who knows, someday i  may rise
to a text that will compel me 
to push through to the other side.
Do you want proof that i  exist? Where am ?
Beneath every word, behind each letter, 
on the side of a period that will never see the light.

Related reading . . .

See also "William Lawvere, Category Theory, Hegel, Mao, and Code."

( https://www.reddit.com/r/socialistprogrammers/comments/m1oe88/
william_lawvere_category_theory_hegel_mao_and_code/ )

Also relating category theory and computation —
the interests of Lawvere and those of Davis — is
an article at something called The Topos Institute (topos.site) —

"Computation and Category Theory," by Joshua Meyers,
Wednesday, 10 Aug., 2022.

Meyers on Davis —

Wednesday, February 1, 2023

Variations in Memory of a Designer

Last updated at 22:46 PM ET on 1 February 2023.

Galois Additions of Space Partitions

Click for a designer's obituary.

Paraphrase for a road-sign collector:

See as well Today's New York Times  obituary
of the Harvard Business School Publishing 
Director of Intellectual Property.

Sunday, January 22, 2023

The Stillwell Dichotomies

Filed under: General — Tags: , , , — m759 @ 1:18 am

Number Space
Arithmetic  Geometry
Discrete  Continuous

Related literature —

IMAGE- History of Mathematics in a Nutshell

Bourbaki on arithmetic and geometry

From a "Finite Fields in 1956" post —

The Nutshell:

    Related Narrative:

Tuesday, July 5, 2022

For Ron Howard, Tom Hanks, and Dan Brown — Symbology!

Filed under: General — m759 @ 1:22 am

Thursday, June 23, 2022

The Nutshell Suite

Filed under: General — Tags: , , , — m759 @ 10:35 am

The above is a summary of 
Pythagorean philosophy 
reposted here on . . .

September 10, 2019.
 

Battle of the Nutshells:

IMAGE- History of Mathematics in a Nutshell

From a much larger nutshell
on the above Pythagorean date—

Now let's dig a bit deeper into history . . .

Bourbaki on arithmetic and geometry

Wednesday, June 22, 2022

Code Wars: “Use the Source, Luke.”

Filed under: General — Tags: , , , , — m759 @ 7:13 pm

Click the above galaxy for a larger image.


"O God, I could be bounded in a nutshell
and count myself a king of infinite space,
were it not that I have bad dreams." — Hamlet

Battle of the Nutshells —

IMAGE- History of Mathematics in a Nutshell

From a much larger nutshell
on the above code date—

Saturday, May 28, 2022

Grothendieck at Chapman …

Filed under: General — m759 @ 1:41 pm

Last two days of the conference, May 27 and 28, 2022 —

27th Friday

9:00 – 10:00 Andrés Villaveces (Univ. Nacional de Colombia):
Galoisian model theory:
the role(s) of Grothendieck (à son insu! )

10:00 – 11:00 Olivia Caramello (Univ. of Insubria; by Zoom):
The “unifying notion” of topos 1

1:00 – 11:15 Coffee Break

1:15 – 12:15 Mike Shulman (Univ. of San Diego):
Lifting Grothendieck universes to Grothendieck toposes 

12:15 – 1:15 José Gil-Ferez (Chapman Univ.)
The Isomorphism Theorem of Algebraic Logic:
a Categorical  Perspective

1:15 – 2:30 Lunch

2:30 – 3:30 Oumar Wone (Chapman) :
Vector bundles on Riemann surfaces according to
Grothendieck and his followers

3:30 – 4:30 Claudio Bartocci (Univ. of Genova):
The inception of the theory of moduli spaces:
Grothendieck's Quot scheme

4:30 – 5:30 Christian Houzel (IUFM de Paris):
Riemann surfaces after Grothendieck
[presented by J.J. Szczeciniarz]

28th Saturday

9:00 – 10:00 Silvio Ghilardi (Univ. degli Studi, Milano):
Investigating definability in propositional logic
via Grothendieck topologies and sheaves

10:00 – 11:00 Matteo Viale (Univ. of Turin; by zoom):
The duality between Boolean valuated models and 
topological presheaves

11:00 – 11:15 Coffee Break

11:15 – 12:15 Benjamin Collas (RIMS, Kyoto Univ.):
Galois-Teichmüller: arithmetic geometric principles

12:15 – 1:15 Closing: general discussion
animated by Alex Kurz (Chapman)

Tuesday, May 24, 2022

Playing the Palace

Filed under: General — m759 @ 9:54 am

From a Jamestown (NY) Post-Journal  article yesterday on
"the sold-out 10,000 Maniacs 40th anniversary concert at
The Reg Lenna Center Saturday" —

" 'The theater has a special place in our hearts. It’s played
a big part in my life,' Gustafson said.

Before being known as The Reg Lenna Center for The Arts,
it was formerly known as The Palace Theater. He recalled
watching movies there as a child…."

This, and the band's name, suggest some memories perhaps
better suited to the cinematic philosophy behind "Plan 9 from
Outer Space."

IMAGE- The Tablet of Ahkmenrah, from 'Night at the Museum'

 "With the Tablet of Ahkmenrah and the Cube of Rubik,
my power will know no bounds!"
— Kahmunrah in a novelization of Night at the Museum:
Battle of the Smithsonian , Barron's Educational Series

The above 3×3 Tablet of Ahkmenrah  image comes from
a Log24 search for the finite (i.e., Galois) field GF(3) that 
was, in turn, suggested by last night's post "Making Space."

See as well a mysterious document from a website in Slovenia
that mentions a 3×3 array "relating to nine halls of a mythical
palace where rites were performed in the 1st century AD" —

Saturday, May 7, 2022

Interality Meets the Seven Seals

Filed under: General — Tags: , , , — m759 @ 8:41 pm

Related material — Posts tagged Interality and Seven Seals.

From Hermann Weyl's 1952 classic Symmetry —

"Galois' ideas, which for several decades remained
a book with seven seals  but later exerted a more
and more profound influence upon the whole
development of mathematics, are contained in
a farewell letter written to a friend on the eve of
his death, which he met in a silly duel at the age of
twenty-one. This letter, if judged by the novelty and
profundity of ideas it contains, is perhaps the most
substantial piece of writing in the whole literature
of mankind."

Monday, April 25, 2022

Annals of Mathematical History

Filed under: General — Tags: , — m759 @ 11:42 pm

Bourbaki on arithmetic and geometry

Some related remarks —

IMAGE- History of Mathematics in a Nutshell

Tuesday, March 15, 2022

The Rosenhain Symmetry

Filed under: General — Tags: , — m759 @ 12:26 pm

See other posts now so tagged.

Hudson's  Rosenhain tetrads,  as 20 of the 35 projective lines in PG(3,2),
illustrate Desargues's theorem as a symmetry within 10 pairs of squares 
under rotation about their main diagonals:

IMAGE- Desargues's theorem in light of Galois geometry

See also "The Square Model of Fano's 1892 Finite 3-Space."

The remaining 15 lines of PG(3,2), Hudson's Göpel tetrads, have their
own symmetries . . . as the Cremona-Richmond configuration.

Friday, December 31, 2021

Aesthetics in Academia

Filed under: General — Tags: — m759 @ 9:33 am

Related art — The non-Rubik 3x3x3 cube —

The above structure illustrates the affine space of three dimensions
over the three-element finite (i.e., Galois) field, GF(3). Enthusiasts
of Judith Brown's nihilistic philosophy may note the "radiance" of the
13 axes of symmetry within the "central, structuring" subcube.

I prefer the radiance  (in the sense of Aquinas) of the central, structuring 
eightfold cube at the center of the affine space of six dimensions over
the two-element field GF(2).

Tuesday, December 7, 2021

Tortoise Variations

Filed under: General — Tags: , — m759 @ 2:42 am

IMAGE- Herbert John Ryser, 'Combinatorial Mathematics' (1963), page 1

Fanciful version —

Less fanciful versions . . . 

Unmagic Squares

Consecutive positive integers:

1   2   3
4   5   6
7   8   9

Consecutive nonnegative integers:

0   1   2
3   4   5
6   7   8

Consecutive nonnegative integers
written in base 3:

00  01  02
10  11  12
20  21  22

This last square may be viewed as
coordinates, in the 3-element Galois
field GF(3), of the ninefold square.

Note that the ninefold square so viewed
embodies the 12 lines of the two-dimensional
affine space over GF(3)

As does, similarly, the ancient Chinese
"magic" square known as the "Lo Shu."

These squares are therefore equivalent under
affine transformations.

This method generalizes.

— Steven H. Cullinane, Nov. 20, 2021

 

The Lo Shu as a Finite Space

Saturday, November 20, 2021

The Unmagicking

Filed under: General — Tags: — m759 @ 11:51 am
 

Unmagic Squares

Consecutive positive integers:

1   2   3
4   5   6
7   8   9

Consecutive nonnegative integers:

0   1   2
3   4   5
6   7   8

Consecutive nonnegative integers
written in base 3:

00  01  02
10  11  12
20  21  22

This last square may be viewed as
coordinates, in the 3-element Galois
field GF(3), of the ninefold square.

Note that the ninefold square so viewed
embodies the 12 lines of the two-dimensional
affine space over GF(3)

As does, similarly, the ancient Chinese
"magic" square known as the "Lo Shu."

These squares are therefore equivalent under
affine transformations.

This method generalizes.

— Steven H. Cullinane, Nov. 20, 2021

Monday, July 12, 2021

Educational Series

Filed under: General — Tags: , — m759 @ 11:06 am

(Continued from St. Luke's Day, 2014)


 

Tablet:

 

The Lo Shu as a Finite Space
 

Cube:

 

IMAGE- A Galois cube: model of the 27-point affine 3-space

Saturday, May 8, 2021

A Tale of Two Omegas

Filed under: General — Tags: , — m759 @ 5:00 am

The Greek capital letter Omega, Ω, is customarily
used to denote a set that is acted upon by a group.
If the group is the affine group of 322,560
transformations of the four-dimensional
affine space over the two-element Galois field,
the appropriate Ω is the 4×4 grid above.

See the Cullinane diamond theorem .

If the group is the large Mathieu group  of
244,823,040 permutations of 24 things,
the appropriate Ω  is the 4×6 grid below.

See the Miracle Octad Generator  of R. T. Curtis.

Wednesday, November 11, 2020

Qube

Filed under: General — Tags: , — m759 @ 8:30 pm

The new domain qube.link  forwards to . . .
http://finitegeometry.org/sc/64/solcube.html .

More generally, qubes.link  forwards to this post,
which defines qubes .

Definition: A qube  is a positive integer that is
a prime-power cube , i.e. a cube that is the order
of a Galois field. (Galois-field orders in general are
customarily denoted by the letter q .)

Examples:  8, 27, 64.  See qubes.site.

Update on Nov. 18, 2020, at about 9:40 PM ET —

Problem:

For which qubes, visualized as n×n×n arrays,
is it it true that the actions of the two-dimensional
galois-geometry affine group on each n×n face, extended
throughout the whole array, generate the affine group
on the whole array? (For the cases 8 and 64, see Binary
Coordinate Systems and  Affine Groups on Small
Binary Spaces.)

Monday, November 2, 2020

Q Bits

Filed under: General — Tags: — m759 @ 6:34 pm

The new domain name  q-bits.space  does not refer to
the q in “quantum ,” but rather to the q that symbolizes
the order of a Galois field .

See the Wikipedia article “Finite field.”

The “space” suffix refers to a web page on geometry.

Wednesday, April 15, 2020

Death Warmed Over

Filed under: General — Tags: , — m759 @ 4:01 pm

In memory of the author of  My Time in Space * —

Tim Robinson, who reportedly died on April 3 —

 See also an image from a Log24 post, Gray Space

Related material from Robinson’s reported date of death —

* First edition, hardcover, Lilliput Press, Ireland, April 1, 2001.

Saturday, March 7, 2020

The “Octad Group” as Symmetries of the 4×4 Square

From "Mathieu Moonshine and Symmetry Surfing" —

(Submitted on 29 Sep 2016, last revised 22 Jan 2018)
by Matthias R. Gaberdiel (1), Christoph A. Keller (2),
and Hynek Paul (1)

(1)  Institute for Theoretical Physics, ETH Zurich
(2)  Department of Mathematics, ETH Zurich

https://arxiv.org/abs/1609.09302v2 —

"This presentation of the symmetry groups Gi  is
particularly well-adapted for the symmetry surfing
philosophy. In particular it is straightforward to
combine them into an overarching symmetry group G
by combining all the generators. The resulting group is
the so-called octad group

G = (Z2)4  A8 .

It can be described as a maximal subgroup of M24
obtained by the setwise stabilizer of a particular
'reference octad' in the Golay code, which we take
to be O= {3,5,6,9,15,19,23,24} ∈ 𝒢24. The octad
subgroup is of order 322560, and its index in M24
is 759, which is precisely the number of
different reference octads one can choose."

This "octad group" is in fact the symmetry group of the affine 4-space over GF(2),
so described in 1979 in connection not with the Golay code but with the geometry
of the 4×4 square.* Its nature as an affine group acting on the Golay code was
known long before 1979, but its description as an affine group acting on
the 4×4 square may first have been published in connection with the
Cullinane diamond theorem and Abstract 79T-A37, "Symmetry invariance in a
diamond ring
," by Steven H. Cullinane in Notices of the American Mathematical
Society
, February 1979, pages A-193, 194.

* The Galois tesseract .

Update of March 15, 2020 —

Conway and Sloane on the "octad group" in 1993 —

Older Posts »

Powered by WordPress