Log24

Wednesday, September 18, 2019

Battle Song

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

Catch 22 song: 'Straighten Up and Fly Right'

Friday, August 16, 2019

Nocciolo

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

(Continued)

IMAGE- 'Nocciolo': A 'kernel' for Pascal's Hexagrammum Mysticum: The 15 2-subsets of a 6-set as points in a Galois geometry.

A revision of the above diagram showing
the Galois-addition-table structure —

Related tables from August 10

See "Schoolgirl Space Revisited."

Thursday, March 21, 2019

Geometry of Interstices

Filed under: General — Tags: , , , — m759 @ 10:18 pm

Finite Galois geometry with the underlying field the simplest one possible —
namely, the two-element field GF(2) — is a geometry of  interstices :

For some less precise remarks, see the tags Interstice and Interality.

The rationalist motto "sincerity, order, logic and clarity" was quoted
by Charles Jencks in the previous post.

This  post was suggested by some remarks from Queensland that
seem to exemplify these qualities —

Monday, March 11, 2019

Ant-Man Meets Doctor Strange

Filed under: General — m759 @ 1:22 pm

IMAGE- Concepts of Space

The 4×4 square may also be called the Galois Tesseract .
By analogy, the 4x4x4 cube may be called the Galois Hexeract .

"Think outside the tesseract.

Thursday, February 28, 2019

Fooling

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

Galois (i.e., finite) fields described as 'deep modern algebra'

IMAGE- History of Mathematics in a Nutshell

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

Note: There is no Galois (i.e., finite) field with six elements, but
the theory  of finite fields underlies applications of six-set geometry.

Sunday, February 10, 2019

Cold Open

Filed under: General — m759 @ 12:25 pm

The previous post, on the Bauhaus 100th anniversary, suggests a review . . .

"Congratulations to the leaders of both parties:
The past 20 years you’ve taken us far.
We’re entering Weimar, baby."

Peggy Noonan in The Wall Street Journal
 
   on August 13, 2015
 

Image from yesterday's Log24 search Bauhaus Space.

Thursday, January 10, 2019

Toy Story Continues.

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

Takeuchi, Miami 2018- Spekkens's Toy Model and Vector Spaces over Galois Fields

See also Spekkens in this  journal.

Sunday, December 2, 2018

Symmetry at Hiroshima

Filed under: G-Notes,General,Geometry — Tags: , , , , — m759 @ 6:43 am

A search this morning for articles mentioning the Miracle Octad Generator
of R. T. Curtis within the last year yielded an abstract for two talks given
at Hiroshima on March 8 and 9, 2018

http://www.math.sci.hiroshima-u.ac.jp/
branched/files/2018/abstract/Aitchison.txt

 

Iain AITCHISON

Title:

Construction of highly symmetric Riemann surfaces, related manifolds, and some exceptional objects, I, II

Abstract:

Since antiquity, some mathematical objects have played a special role, underpinning new mathematics as understanding deepened. Perhaps archetypal are the Platonic polyhedra, subsequently related to Platonic idealism, and the contentious notion of existence of mathematical reality independent of human consciousness.

Exceptional or unique objects are often associated with symmetry – manifest or hidden. In topology and geometry, we have natural base points for the moduli spaces of closed genus 2 and 3 surfaces (arising from the 2-fold branched cover of the sphere over the 6 vertices of the octahedron, and Klein's quartic curve, respectively), and Bring's genus 4 curve arises in Klein's description of the solution of polynomial equations of degree greater than 4, as well as in the construction of the Horrocks-Mumford bundle. Poincare's homology 3-sphere, and Kummer's surface in real dimension 4 also play special roles.

In other areas: we have the exceptional Lie algebras such as E8; the sporadic finite simple groups; the division algebras: Golay's binary and ternary codes; the Steiner triple systems S(5,6,12) and S(5,8,24); the Leech lattice; the outer automorphisms of the symmetric group S6; the triality map in dimension 8; and so on. We also note such as: the 27 lines on a cubic, the 28 bitangents of a quartic curve, the 120 tritangents of a sextic curve, and so on, related to Galois' exceptional finite groups PSL2(p) (for p= 5,7,11), and various other so-called `Arnol'd Trinities'.

Motivated originally by the `Eightfold Way' sculpture at MSRI in Berkeley, we discuss inter-relationships between a selection of these objects, illustrating connections arising via highly symmetric Riemann surface patterns. These are constructed starting with a labeled polygon and an involution on its label set.

Necessarily, in two lectures, we will neither delve deeply into, nor describe in full, contexts within which exceptional objects arise. We will, however, give sufficient definition and detail to illustrate essential inter-connectedness of those exceptional objects considered.

Our starting point will be simplistic, arising from ancient Greek ideas underlying atomism, and Plato's concepts of space. There will be some overlap with a previous talk on this material, but we will illustrate with some different examples, and from a different philosophical perspective.

Some new results arising from this work will also be given, such as an alternative graphic-illustrated MOG (Miracle Octad Generator) for the Steiner system S(5,8,24), and an alternative to Singerman – Jones' genus 70 Riemann surface previously proposed as a completion of an Arnol'd Trinity. Our alternative candidate also completes a Trinity whose two other elements are Thurston's highly symmetric 6- and 8-component links, the latter related by Thurston to Klein's quartic curve.

See also yesterday morning's post, "Character."

Update: For a followup, see the next  Log24 post.

Tuesday, November 20, 2018

Logos

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

(Continued)

Musical accompaniment from Sunday morning

'The Eddington Song'

Update of Nov. 21 —

The reader may contrast the above Squarespace.com logo
(a rather serpentine version of the acronym SS) with a simpler logo
for a square space (the Galois window ):

Friday, September 14, 2018

Denkraum

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

http://www.log24.com/log/pix18/180914-Warburg_Denkraum-Google-result.jpg

I Ching Geometry search result

Underlying the I Ching  structure  is the finite affine space
of six dimensions over the Galois field with two elements.

In this field,  "1 + 1 = 0,"  as noted here Wednesday.

See also other posts now tagged  Interstice.

http://www.log24.com/log/pix18/180914-Warburg-Wikipedia.jpg

Wednesday, June 27, 2018

Taken In

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

A passage that may or may not have influenced Madeleine L'Engle's
writings about the tesseract :

From Mere Christianity , by C. S. Lewis (1952) —

"Book IV – Beyond Personality:
or First Steps in the Doctrine of the Trinity"
. . . .

I warned you that Theology is practical. The whole purpose for which we exist is to be thus taken into the life of God. Wrong ideas about what that life is, will make it harder. And now, for a few minutes, I must ask you to follow rather carefully.

You know that in space you can move in three ways—to left or right, backwards or forwards, up or down. Every direction is either one of these three or a compromise between them. They are called the three Dimensions. Now notice this. If you are using only one dimension, you could draw only a straight line. If you are using two, you could draw a figure: say, a square. And a square is made up of four straight lines. Now a step further. If you have three dimensions, you can then build what we call a solid body, say, a cube—a thing like a dice or a lump of sugar. And a cube is made up of six squares.

Do you see the point? A world of one dimension would be a straight line. In a two-dimensional world, you still get straight lines, but many lines make one figure. In a three-dimensional world, you still get figures but many figures make one solid body. In other words, as you advance to more real and more complicated levels, you do not leave behind you the things you found on the simpler levels: you still have them, but combined in new ways—in ways you could not imagine if you knew only the simpler levels.

Now the Christian account of God involves just the same principle. The human level is a simple and rather empty level. On the human level one person is one being, and any two persons are two separate beings—just as, in two dimensions (say on a flat sheet of paper) one square is one figure, and any two squares are two separate figures. On the Divine level you still find personalities; but up there you find them combined in new ways which we, who do not live on that level, cannot imagine.

In God's dimension, so to speak, you find a being who is three Persons while remaining one Being, just as a cube is six squares while remaining one cube. Of course we cannot fully conceive a Being like that: just as, if we were so made that we perceived only two dimensions in space we could never properly imagine a cube. But we can get a sort of faint notion of it. And when we do, we are then, for the first time in our lives, getting some positive idea, however faint, of something super-personal—something more than a person. It is something we could never have guessed, and yet, once we have been told, one almost feels one ought to have been able to guess it because it fits in so well with all the things we know already.

You may ask, "If we cannot imagine a three-personal Being, what is the good of talking about Him?" Well, there isn't any good talking about Him. The thing that matters is being actually drawn into that three-personal life, and that may begin any time —tonight, if you like.

. . . .

But beware of being drawn into the personal life of the Happy Family .

https://www.jstor.org/stable/24966339

"The colorful story of this undertaking begins with a bang."

And ends with

Martin Gardner on Galois

"Galois was a thoroughly obnoxious nerd,
suffering from what today would be called
a 'personality disorder.'  His anger was
paranoid and unremitting."

Friday, May 4, 2018

The Tuchman Radical*

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

Two excerpts from today's Art & Design section of
The New York Times  —

For the deplorables of France —

For further remarks on l'ordre , see
other posts tagged Galois's Space
( tag=galoiss-space).

* The radical of the title is Évariste Galois (1811-1832).

Sunday, April 29, 2018

Amusement

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

From the online New York Times  this afternoon:

Disney now holds nine of the top 10
domestic openings of all time —
six of which are part of the Marvel
Cinematic Universe. “The result is
a reflection of 10 years of work:
of developing this universe, creating
stakes as big as they were, characters
that matter and stories and worlds that
people have come to love,” Dave Hollis,
Disney’s president of distribution, said
in a phone interview.

From this  journal this morning:

"But she felt there must be more to this
than just the sensation of folding space
over on itself. Surely the Centaurs hadn't
spent ten years telling humanity how to 
make a fancy amusement-park ride
.
There had to be more—"

Factoring Humanity , by Robert J. Sawyer,
Tom Doherty Associates, 2004 Orb edition,
page 168

"The sensation of folding space . . . ."

Or unfolding:

Click the above unfolded space for some background.

Friday, February 16, 2018

Two Kinds of Symmetry

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

The Institute for Advanced Study (IAS) at Princeton in its Fall 2015 Letter 
revived "Beautiful Mathematics" as a title:

This ugly phrase was earlier used by Truman State University
professor Martin Erickson as a book title. See below. 

In the same IAS Fall 2015 Letter appear the following remarks
by Freeman Dyson —

". . . a special case of a much deeper connection that Ian Macdonald 
discovered between two kinds of symmetry which we call modular and affine.
The two kinds of symmetry were originally found in separate parts of science,
modular in pure mathematics and affine in physics. Modular symmetry is
displayed for everyone to see in the drawings of flying angels and devils
by the artist Maurits Escher. Escher understood the mathematics and got the
details right. Affine symmetry is displayed in the peculiar groupings of particles
created by physicists with high-energy accelerators. The mathematician
Robert Langlands was the first to conjecture a connection between these and
other kinds of symmetry. . . ." (Wikipedia link added.)

The adjective "modular"  might aptly be applied to . . .

The adjective "affine"  might aptly be applied to . . .

From 'Beautiful Mathematics,' by Martin Erickson, an excerpt on the Cullinane diamond theorem (with source not mentioned)

The geometry of the 4×4 square combines modular symmetry
(i.e., related to theta functions) with the affine symmetry above.

Hudson's 1905 discussion of modular symmetry (that of Rosenhain
tetrads and Göpel tetrads) in the 4×4 square used a parametrization
of that square by the digit 0 and the fifteen 2-subsets of a 6-set, but 
did not discuss the 4×4 square as an affine space.

For the connection of the 15 Kummer modular 2-subsets with the 16-
element affine space over the two-element Galois field GF(2), see my note
of May 26, 1986, "The 2-subsets of a 6-set are the points of a PG(3,2)" —

— and the affine structure in the 1979 AMS abstract
"Symmetry invariance in a diamond ring" —

For some historical background on the symmetry investigations by
Dyson and Macdonald, see Dyson's 1972 article "MIssed Opportunities."

For Macdonald's own  use of the words "modular" and "affine," see
Macdonald, I. G., "Affine Lie algebras and modular forms," 
Séminaire N. Bourbaki , Vol. 23 (1980-1981), Talk no. 577, pp. 258-276.

Tuesday, September 5, 2017

Annals of Critical Epistemology

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

"But unlike many who left the Communist Party, I turned left
rather than right, and returned—or rather turned for the first time—
to a critical examination of Marx's work. I found—and still find—
that his analysis of capitalism, which for me is the heart of his work,
provides the best starting point, the best critical tools, with which—
suitably developed—to understand contemporary capitalism.
I remind you that this year is also the sesquicentennial of the
Communist Manifesto , a document that still haunts the capitalist world."

— From "Autobiographical Reflections," a talk given on June 5, 1998, by
John Stachel at the Max Planck Institute for the History of Science in Berlin
on the occasion of a workshop honoring his 70th birthday, 
"Space-Time, Quantum Entanglement and Critical Epistemology."

From a passage by Stachel quoted in the previous post

From the source for Stachel's remarks on Weyl and coordinatization —

Note that Stachel distorted Weyl's text by replacing Weyl's word 
"symbols" with the word "quantities." —

This replacement makes no sense if the coordinates in question
are drawn from a Galois field — a field not of quantities , but rather
of algebraic symbols .

"You've got to pick up every stitch… Must be the season of the witch."
— Donovan song at the end of Nicole Kidman's "To Die For"

Florence 2001

Filed under: General,Geometry — Tags: — m759 @ 4:44 am

Or:  Coordinatization for Physicists

This post was suggested by the link on the word "coordinatized"
in the previous post.

I regret that Weyl's term "coordinatization" perhaps has
too many syllables for the readers of recreational mathematics —
for example, of an article on 4×4 magic squares by Conway, Norton,
and Ryba to be published today by Princeton University Press.

Insight into the deeper properties of such squares unfortunately
requires both the ability to learn what a "Galois field" is and the
ability to comprehend seven-syllable words.

Sunday, August 27, 2017

Black Well

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

The “Black” of the title refers to the previous post.
For the “Well,” see Hexagram 48.

Related material —

The Galois Tesseract and, more generally, Binary Coordinate Systems.

Friday, August 11, 2017

Symmetry’s Lifeboat

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

A post suggested by the word tzimtzum  (see Wednesday)
or tsimtsum  (see this morning) —

Lifeboat from the Tsimtsum  in Life of Pi  —

Another sort of tsimtsum, contracting infinite space to a finite space —

IMAGE- Desargues's theorem in light of Galois geometry

Tuesday, July 11, 2017

A Date at the Death Cafe

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

The New York TImes  reports this evening that
"Jon Underwood, Founder of Death Cafe Movement,"
died suddenly at 44 on June 27. 

This  journal on that date linked to a post titled "The Mystic Hexastigm."

A related remark on the complete 6-point   from Sunday, April 28, 2013

(See, in Veblen and Young's 1910 Vol. I, exercise 11,
page 53: "A plane section of a 6-point in space can  
be considered as 3 triangles perspective in pairs
from 3 collinear points with corresponding sides
meeting in 3 collinear points." This is the large  
Desargues configuration. See Classical Geometry
in Light of Galois Geometry
.)

This  post was suggested, in part, by the philosophical ruminations
of Rosalind Krauss in her 2011 book Under Blue Cup . See 
Sunday's post  Perspective and Its Transections . (Any resemblance
to Freud's title Civilization and Its Discontents  is purely coincidental.)

Sunday, July 9, 2017

Perspective and Its Transections

Filed under: General,Geometry — m759 @ 5:27 pm

The title phrase is from Rosalind Krauss (Under Blue Cup , 2011) —

Another way of looking at the title phrase —

"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) 

For some context, see Desargues + Galois in this journal.

Wednesday, July 5, 2017

Imaginarium of a Different Kind

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

The title refers to that of the previous post, "The Imaginarium."

In memory of a translator who reportedly died on May  22, 2017,
a passage quoted here on that date —

Related material — A paragraph added on March 15, 2017,
to the Wikipedia article on Galois geometry

George Conwell gave an early demonstration of Galois geometry in 1910 when he characterized a solution of Kirkman's schoolgirl problem as a partition of sets of skew lines in PG(3,2), the three-dimensional projective geometry over the Galois field GF(2).[3] Similar to methods of line geometry in space over a field of characteristic 0, Conwell used Plücker coordinates in PG(5,2) and identified the points representing lines in PG(3,2) as those on the Klein quadric.

— User Rgdboer

Monday, May 29, 2017

The American Sublime

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

Line from "Vide," a post of June 8, 2014 —

Vide  Classical Geometry in Light of Galois Geometry.

Recall that vide  means different things in Latin and in French.

See also Stevens + "Vacant Space" in this journal.

Friday, April 14, 2017

Hudson and Finite Geometry

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

IMAGE- Geometry of the Six-Set, Steven H. Cullinane, April 23, 2013

The above four-element sets of black subsquares of a 4×4 square array 
are 15 of the 60 Göpel tetrads , and 20 of the 80 Rosenhain tetrads , defined
by R. W. H. T. Hudson in his 1905 classic Kummer's Quartic Surface .

Hudson did not  view these 35 tetrads as planes through the origin in a finite
affine 4-space (or, equivalently, as lines in the corresponding finite projective
3-space).

In order to view them in this way, one can view the tetrads as derived,
via the 15 two-element subsets of a six-element set, from the 16 elements
of the binary Galois affine space pictured above at top left.

This space is formed by taking symmetric-difference (Galois binary)
sums of the 15 two-element subsets, and identifying any resulting four-
element (or, summing three disjoint two-element subsets, six-element)
subsets with their complements.  This process was described in my note
"The 2-subsets of a 6-set are the points of a PG(3,2)" of May 26, 1986.

The space was later described in the following —

IMAGE- Dolgachev and Keum, coordinatization of the 4x4 array in 'Birational Automorphisms of Quartic Hessian Surfaces,' AMS Transactions, 2002

Sunday, January 29, 2017

Lottery Hermeneutics

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

For some backstory, see Lottery in this journal,
esp. a post of June 28, 2007:

Real Numbers: An Object Lesson.

One such number, 8775, is suggested by 
a Heinlein short story in a Jan. 25 post.

A search today for that number —

That Jan. 25 post, "For Your Consideration," also mentions logic.

Logic appears as well within a post from the above "8775" date,
August 16, 2016 —

Update of 10 am on August 16, 2016 —

See also Atiyah on the theology of 
(Boolean) algebra vs. (Galois) geometry:

Related:  Remarks by Charles Altieri on Wittgenstein in
today's previous post.

For remarks by  Wittgenstein related to geometry and logic, see 
(for instance) "Logical space" in "A Wittgenstein Dictionary," by
Hans-Johann Glock (Wiley-Blackwell, 1996).

Saturday, December 31, 2016

Habeas

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

Approaches to geometry: axioms vs. constructions

Breach's 1981 approach is not axiomatic,
but instead graphic. Another such approach —

Thursday, September 15, 2016

The Smallest Perfect Number/Universe

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

The smallest perfect number,* six, meets
"the smallest perfect universe,"** PG(3,2).

IMAGE- Geometry of the Six-Set, Steven H. Cullinane, April 23, 2013

  * For the definition of "perfect number," see any introductory
    number-theory text that deals with the history of the subject.
** The phrase "smallest perfect universe" as a name for PG(3,2),
     the projective 3-space over the 2-element Galois field GF(2),
     was coined by math writer Burkard Polster. Cullinane's square
     model of PG(3,2) differs from the earlier tetrahedral model
     discussed by Polster.

Tuesday, September 13, 2016

Parametrizing the 4×4 Array

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

The previous post discussed the parametrization of 
the 4×4 array as a vector 4-space over the 2-element 
Galois field GF(2).

The 4×4 array may also be parametrized by the symbol
0  along with the fifteen 2-subsets of a 6-set, as in Hudson's
1905 classic Kummer's Quartic Surface

Hudson in 1905:

These two ways of parametrizing the 4×4 array — as a finite space
and as an array of 2-element sets —  were related to one another
by Cullinane in 1986 in describing, in connection with the Curtis
"Miracle Octad Generator,"  what turned out to be 15 of Hudson's
1905 "Göpel tetrads":

A recap by Cullinane in 2013:

IMAGE- Geometry of the Six-Set, Steven H. Cullinane, April 23, 2013

Click images for further details.

Wednesday, August 24, 2016

Core Statements

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

"That in which space itself is contained" — Wallace Stevens

An image by Steven H. Cullinane from April 1, 2013:

The large Desargues configuration of Euclidean 3-space can be 
mapped canonically to the 4×4 square of Galois geometry —

'Desargues via Rosenhain'- April 1, 2013- The large Desargues configuration mapped canonically to the 4x4 square

On an Auckland University of Technology thesis by Kate Cullinane —
On Kate Cullinane's book 'Sample Copy' - 'The core statement of this work...'
The thesis reportedly won an Art Directors Club award on April 5, 2013.

Monday, August 1, 2016

Cube

Filed under: General,Geometry — m759 @ 10:28 pm

From this journal —

See (for instance) Sacred Order, July 18, 2006 —

The finite Galois affine space with 64 points

From a novel published July 26, 2016, and reviewed
in yesterday's (print) New York Times Book Review —

The doors open slowly. I step into a hangar. From the rafters high above, lights blaze down, illuminating a twelve-foot cube the color of gunmetal. My pulse rate kicks up. I can’t believe what I’m looking at. Leighton must sense my awe, because he says, “Beautiful, isn’t it?” It is exquisitely beautiful. At first, I think the hum inside the hangar is coming from the lights, but it can’t be. It’s so deep I can feel it at the base of my spine, like the ultralow-frequency vibration of a massive engine. I drift toward the box, mesmerized.

— Crouch, Blake. Dark Matter: A Novel
(Kindle Locations 2004-2010).
Crown/Archetype. Kindle Edition. 

See also Log24 on the publication date of Dark Matter .

Thursday, July 28, 2016

The Giglmayr Foldings

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

Giglmayr's transformations (a), (c), and (e) convert
his starting pattern

  1    2   5   6
  3    4   7   8
  9  10 13 14
11  12 15 16

to three length-16 sequences. Putting these resulting
sequences back into the 4×4 array in normal reading
order, we have

  1    2    3    4        1   2   4   3          1    4   2   3
  5    6    7    8        5   6   8   7          7    6   8   5 
  9  10  11  12      13 14 16 15       15 14 16 13
13  14  15  16       9  10 12 11        9  12 10 11

         (a)                         (c)                      (e)

Four length-16 basis vectors for a Galois 4-space consisting
of the origin and 15 weight-8 vectors over GF(2):

0 0 0 0       0 0 0 0       0 0 1 1       0 1 0 1
0 0 0 0       1 1 1 1       0 0 1 1       0 1 0 1 
1 1 1 1       0 0 0 0       0 0 1 1       0 1 0 1
1 1 1 1       1 1 1 1       0 0 1 1       0 1 0 1 .

(See "Finite Relativity" at finitegeometry.org/sc.)

The actions of Giglmayr's transformations on the above
four basis vectors indicate the transformations are part of
the affine group (of order 322,560) on the affine space
corresponding to the above vector space.

For a description of such transformations as "foldings,"
see a search for Zarin + Folded in this journal.

Monday, May 30, 2016

Perfect Universe

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

(A sequel to the previous post, Perfect Number)

Since antiquity,  six has been known as
"the smallest perfect number." The word "perfect"
here means that a number is the sum of its 
proper divisors — in the case of six: 1, 2, and 3.

The properties of a six-element set (a "6-set") 
divided into three 2-sets and divided into two 3-sets
are those of what Burkard Polster, using the same 
adjective in a different sense, has called 
"the smallest perfect universe" — PG(3,2), the projective
3-dimensional space over the 2-element Galois field.

A Google search for the phrase "smallest perfect universe"
suggests a turnaround in meaning , if not in finance, 
that might please Yahoo CEO Marissa Mayer on her birthday —

The semantic  turnaround here in the meaning  of "perfect"
is accompanied by a model  turnaround in the picture  of PG(3,2) as
Polster's tetrahedral  model is replaced by Cullinane's square  model.

Further background from the previous post —

See also Kirkman's Schoolgirl Problem.

Tuesday, May 24, 2016

Rosenhain and Göpel Revisited

The authors Taormina and Wendland in the previous post
discussed some mathematics they apparently did not know was
related to a classic 1905 book by R. W. H. T. Hudson, Kummer's
Quartic Surface
.

"This famous book is a prototype for the possibility
of explaining and exploring a many-faceted topic of
research, without focussing on general definitions,
formal techniques, or even fancy machinery. In this
regard, the book still stands as a highly recommendable,
unparalleled introduction to Kummer surfaces, as a
permanent source of inspiration and, last but not least, 
as an everlasting symbol of mathematical culture."

— Werner Kleinert, Mathematical Reviews ,
     as quoted at Amazon.com

Some 4×4 diagrams from that book are highly relevant to the
discussion by Taormina and Wendland of the 4×4 squares within
the 1974 Miracle Octad Generator of R. T. Curtis that were later,
in 1987, described by Curtis as pictures of the vector 4-space over
the two-element Galois field GF(2).

Hudson did not think of his 4×4 diagrams as illustrating a vector space,
but he did use them to picture certain subsets of the 16 cells in each
diagram that he called Rosenhain and Göpel tetrads .

Some related work of my own (click images for related posts)—

Rosenhain tetrads as 20 of the 35 projective lines in PG(3,2)

IMAGE- Desargues's theorem in light of Galois geometry

Göpel tetrads as 15 of the 35 projective lines in PG(3,2)

Anticommuting Dirac matrices as spreads of projective lines

Related terminology describing the Göpel tetrads above

Ron Shaw on symplectic geometry and a linear complex in PG(3,2)

Monday, April 25, 2016

Seven Seals

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

 An old version of the Wikipedia article "Group theory"
(pictured in the previous post) —

"More poetically "

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."

The seven seals from the previous post, with some context —

These models of projective points are drawn from the underlying
structure described (in the 4×4 case) as part of the proof of the
Cullinane diamond theorem .

Thursday, January 21, 2016

Dividing the Indivisible

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

My statement yesterday morning that the 15 points
of the finite projective space PG(3,2) are indivisible 
was wrong.  I was misled by quoting the powerful
rhetoric of Lincoln Barnett (LIFE magazine, 1949).

Points of Euclidean  space are of course indivisible
"A point is that which has no parts" (in some translations).

And the 15 points of PG(3,2) may be pictured as 15
Euclidean  points in a square array (with one point removed)
or tetrahedral array (with 11 points added).

The geometry of  PG(3,2) becomes more interesting,
however, when the 15 points are each divided  into
several parts. For one approach to such a division,
see Mere Geometry. For another approach, click on the
image below.

IMAGE- 'Nocciolo': A 'kernel' for Pascal's Hexagrammum Mysticum: The 15 2-subsets of a 6-set as points in a Galois geometry.

Wednesday, January 13, 2016

Geometry for Jews

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

(Continued from previous episodes)

'Games Played by Boole and Galois'

Boole and Galois also figure in the mathematics of space
i.e. , geometry.  See Boole + Galois in this journal.

Related material, according to Jung’s notion of synchronicity —

Monday, December 28, 2015

ART WARS Continues

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

Combining two headlines from this morning’s
New York Times  and Washington Post , we have

Deceptively Simple Geometries
on a Bold Scale

     Voilà —

Click image for details.

More generally, see
Boole vs. Galois.

Tuesday, December 1, 2015

Pascal’s Finite Geometry

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

See a search for "large Desargues configuration" in this journal.

The 6 Jan. 2015 preprint "Danzer's Configuration Revisited," 
by Boben, Gévay, and Pisanski, places this configuration,
which they call the Cayley-Salmon configuration , in the 
interesting context of Pascal's Hexagrammum Mysticum .

They show how the Cayley-Salmon configuration is, in a sense,
dual to something they call the Steiner-Plücker configuration .

This duality appears implicitly in my note of April 26, 1986,
"Picturing the smallest projective 3-space." The six-sets at
the bottom of that note, together with Figures 3 and 4
of Boben et. al. , indicate how this works.

The duality was, as they note, previously described in 1898.

Related material on six-set geometry from the classical literature—

Baker, H. F., "Note II: On the Hexagrammum Mysticum  of Pascal,"
in Principles of Geometry , Vol. II, Camb. U. Press, 1930, pp. 219-236  

Richmond, H. W., "The Figure Formed from Six Points in Space of Four Dimensions,"
Mathematische Annalen  (1900), Volume 53, Issue 1-2, pp 161-176

Richmond, H. W., "On the Figure of Six Points in Space of Four Dimensions," 
Quarterly Journal of Pure and Applied Mathematics , Vol. 31 (1900), pp. 125-160

Related material on six-set geometry from a more recent source —

Cullinane, Steven H., "Classical Geometry in Light of Galois Geometry," webpage

Friday, November 20, 2015

Anticommuting Dirac Matrices as Skew Lines

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

(Continued from November 13)

The work of Ron Shaw in this area, ca. 1994-1995, does not
display explicitly the correspondence between anticommutativity
in the set of Dirac matrices and skewness in a line complex of
PG(3,2), the projective 3-space over the 2-element Galois field.

Here is an explicit picture —

Anticommuting Dirac matrices as spreads of projective lines

References:  

Arfken, George B., Mathematical Methods for Physicists , Third Edition,
Academic Press, 1985, pages 213-214

Cullinane, Steven H., Notes on Groups and Geometry, 1978-1986

Shaw, Ron, "Finite Geometry, Dirac Groups, and the Table of
Real Clifford Algebras," undated article at ResearchGate.net

Update of November 23:

See my post of Nov. 23 on publications by E. M. Bruins
in 1949 and 1959 on Dirac matrices and line geometry,
and on another author who gives some historical background
going back to Eddington.

Some more-recent related material from the Slovak school of
finite geometry and quantum theory —

Saniga, 'Finite Projective Spaces, Geometric Spreads of Lines and Multi-Qubits,' excerpt

The matrices underlying the Saniga paper are those of Pauli, not
those of Dirac, but these two sorts of matrices are closely related.

Monday, November 2, 2015

The Devil’s Offer

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

This is a sequel to the previous post and to the Oct. 24 post
Two Views of Finite Space.  From the latter —

” ‘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!) “

George Boole in image posted on All Souls' Day 2015

Saturday, October 31, 2015

Raiders of the Lost Crucible

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

Stanford Encyclopedia of Philosophy
on the date Friday, April 5, 2013 —

Paraconsistent Logic

“First published Tue Sep 24, 1996;
substantive revision Fri Apr 5, 2013”

This  journal on the date Friday, April 5, 2013 —

The object most closely resembling a “philosophers’ stone”
that I know of is the eightfold cube .

For some related philosophical remarks that may appeal
to a general Internet audience, see (for instance) a website
by I Ching  enthusiast Andreas Schöter that displays a labeled
eightfold cube in the form of a lattice diagram —

Related material by Schöter —

A 20-page PDF, “Boolean Algebra and the Yi Jing.”
(First published in The Oracle: The Journal of Yijing Studies ,
Vol 2, No 7, Summer 1998, pp. 19–34.)

I differ with Schöter’s emphasis on Boolean algebra.
The appropriate mathematics for I Ching  studies is,
I maintain, not Boolean algebra  but rather Galois geometry.

See last Saturday’s post Two Views of Finite Space.
Unfortunately, that post is, unlike Schöter’s work, not
suitable for a general Internet audience.

Sunday, September 6, 2015

Elementally, My Dear Watson

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

Sarah Larson in the online New Yorker  on Sept. 3, 2015,
discussed Google’s new parent company, “Alphabet”—

“… Alphabet takes our most elementally wonderful
general-use word—the name of the components of
language itself*—and reassigns it, like the words
tweet, twitter, vine, facebook, friend, and so on,
into a branded realm.”

Emma Watson in “The Bling Ring”

This journal, also on September 3 —

Thursday, September 3, 2015

Rings of August

Filed under: Uncategorized — m759 @ 7:20 AM

For the title, see posts from August 2007
tagged Gyges.

Related theological remarks:

Boolean  spaces (old)  vs. Galois  spaces (new)  in 
The Quality Without a Name. . . .

* Actually, Sarah, that would be “phonemes.”

Thursday, September 3, 2015

Rings of August

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

For the title, see posts from August 2007 tagged Gyges.

Related theological remarks:

Boolean  spaces (old) vs. Galois  spaces  (new) in
The Quality Without a Name
(a post from August 26, 2015) and the

Related literature:  A search for Borogoves in this journal will yield
remarks on the 1943 tale underlying the above film.

Wednesday, August 26, 2015

“The Quality Without a Name”

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

The title phrase, paraphrased without quotes in
the previous post, is from Christopher Alexander's book
The Timeless Way of Building  (Oxford University Press, 1979).

A quote from the publisher:

"Now, at last, there is a coherent theory
which describes in modern terms
an architecture as ancient as
human society itself."

Three paragraphs from the book (pp. xiii-xiv):

19. Within this process, every individual act
of building is a process in which space gets
differentiated. It is not a process of addition,
in which preformed parts are combined to
create a whole, but a process of unfolding,
like the evolution of an embryo, in which
the whole precedes the parts, and actualy
gives birth to then, by splitting.

20. The process of unfolding goes step by step,
one pattern at a time. Each step brings just one
pattern to life; and the intensity of the result
depends on the intensity of each one of these
individual steps.

21. From a sequence of these individual patterns,
whole buildings with the character of nature
will form themselves within your thoughts,
as easily as sentences.

Compare to, and contrast with, these illustrations of "Boolean space":

(See also similar illustrations from Berkeley and Purdue.)

Detail of the above image —

Note the "unfolding," as Christopher Alexander would have it.

These "Boolean" spaces of 1, 2, 4, 8, and 16 points
are also Galois  spaces.  See the diamond theorem —

Sunday, July 19, 2015

Lying Rhyme

Filed under: General,Geometry — m759 @ 6:45 pm
 

Tom Stoppard, Jumpers —

“Heaven, how can I believe in Heaven?” 
she sings at the finale.
“Just a lying rhyme for seven!”

“To begin at the beginning: Is God?…”
[very long pause]

Leave a space.”

See as well a search for "Heaven.gif" in this journal.

For the more literate among us —

     … and the modulation from algebra to space.

Wednesday, June 17, 2015

Slow Art, Continued

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

The title of the previous post, "Slow Art," is a phrase
of the late art critic Robert Hughes.

Example from mathematics:

  • Göpel tetrads as subsets of a 4×4 square in the classic
    1905 book Kummer's Quartic Surface  by R. W. H. T. Hudson.
    These subsets were constructed as helpful schematic diagrams,
    without any reference to the concept of finite  geometry they
    were later to embody.
     
  • Göpel tetrads (not named as such), again as subsets of
    a 4×4 square, that form the 15 isotropic projective lines of the
    finite projective 3-space PG(3,2) in a note on finite geometry
    from 1986 —

    Göpel tetrads in an inscape, April 1986

  • Göpel tetrads as these figures of finite  geometry in a 1990
    foreword to the reissued 1905 book of Hudson:

IMAGE- Galois geometry in Wolf Barth's 1990 foreword to Hudson's 1905 'Kummer's Quartic Surface'

Click the Barth passage to see it with its surrounding text.

Related material:

Monday, June 15, 2015

Omega Matrix

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

See that phrase in this journal.

See also last night's post.

The Greek letter Ω 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.

Thursday, June 11, 2015

Omega

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

Omega is a Greek letter, Ω , used in mathematics to denote
a set on which a group acts. 

For instance, the affine group AGL(3,2) is a group of 1,344
actions on the eight elements of the vector 3-space over the
two-element Galois field GF(2), or, if you prefer, on the Galois
field  Ω = GF(8).

Related fiction:  The Eight , by Katherine Neville.

Related non-fiction:  A remark by Werner Heisenberg
in this journal on Saturday, June 6, 2015, the eightfold cube ,
and the illustrations below —

Mathematics

http://www.log24.com/log/pix11A/110505-WikipediaFanoPlane.jpg

The Fano plane block design

Magic

http://www.log24.com/log/pix11A/110505-DeathlyHallows.jpg

The Deathly Hallows symbol—
Two blocks short of  a design.

Tuesday, March 24, 2015

Hirzebruch

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

(Continued from July 16, 2014.)

Some background from Wikipedia:

"Friedrich Ernst Peter Hirzebruch  ForMemRS[2] 
(17 October 1927 – 27 May 2012)
was a 
German mathematician, working in the fields of topology
complex manifolds and algebraic geometry, and a leading figure
in his generation. He has been described as 'the most important
mathematician in Germany of the postwar period.'

[3][4][5][6][7][8][9][10][11]"

A search for citations of the A. E. Brouwer paper in
the previous post yields a quotation from the preface
to the third ("2013") edition of Wolfgang Ebeling's
Lattices and Codes: A Course Partially Based
on Lectures by Friedrich Hirzebruch
, a book
reportedly published on September 19, 2012 —

"Sadly, on May 27 this year, Friedrich Hirzebruch,
on whose lectures this book is partially based,
passed away. I would like to express my gratitude
and my admiration by dedicating this book
to his memory.

Hannover, July 2012               Wolfgang Ebeling "

(Prof. Dr. Wolfgang Ebeling, Institute of Algebraic Geometry,
Leibniz Universität Hannover, Germany)

Also sadly

Friday, November 14, 2014

Another Opening, Another Show

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

“What happens when you mix the brilliant wit of Noel Coward
with the intricate plotting of Agatha Christie? Set during a
weekend in an English country manor in 1932, Death by Design
is a delightful and mysterious ‘mash-up’ of two of the greatest
English writers of all time. Edward Bennett, a playwright, and
his wife Sorel Bennett, an actress, flee London and head to
Cookham after a disastrous opening night. But various guests
arrive unexpectedly….”

Samuel French (theatrical publisher) on a play that
opened in Houston on September 9, 2011.

Related material:

Friday, October 31, 2014

Structure

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

On Devil’s Night

Introducing a group of 322,560 affine transformations of Dürer’s ‘Magic’ Square

IMAGE- Introduction to 322,560 Affine Transformations of Dürer's 'Magic' Square

The four vector-space substructures of digits in 1st, 2nd, 3rd, 4th place,
together with the diamond theorem, indicate that Dürer’s square “minus one”
can be transformed by permutations of rows, columns, and quadrants to a
square with (decimal) digits in the usual numerical order, increasing from
top left to bottom right. Such permutations form a group of order 322,560.

(Continued from Vector Addition in a Finite Field, Twelfth Night, 2013.)

Saturday, October 25, 2014

Foundation Square

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

In the above illustration of the 3-4-5 Pythagorean triangle,
the grids on each side may be regarded as figures of
Euclidean  geometry or of Galois  geometry.

In Euclidean geometry, these grids illustrate a property of
the inner triangle.

In elementary Galois geometry, ignoring the connection with
the inner triangle, the grids may be regarded instead as
illustrating vector spaces over finite (i.e., Galois) fields.
Previous posts in this journal have dealt with properties of
the 3×3 and 4×4 grids.  This suggests a look at properties of
the next larger grid, the 5×5 array, viewed as a picture of the
two-dimensional vector space (or affine plane) over the finite
Galois field GF(5) (also known as ℤ5).

The 5×5 array may be coordinatized in a natural way, as illustrated
in (for instance) Matters Mathematical , by I.N. Herstein and
Irving Kaplansky, 2nd ed., Chelsea Publishing, 1978, p. 171:

See Herstein and Kaplansky for the elementary Galois geometry of
the 5×5 array.

For 5×5 geometry that is not so elementary, see…

Hafner's abstract:

We describe the Hoffman-Singleton graph geometrically, showing that
it is closely related to the incidence graph of the affine plane over ℤ5.
This allows us to construct all automorphisms of the graph.

The remarks of Brouwer on graphs connect the 5×5-related geometry discussed
by Hafner with the 4×4 geometry related to the Steiner system S(5,8,24).
(See the Miracle Octad Generator of R. T. Curtis and the related coordinatization
by Cullinane of the 4×4 array as a four-dimensional vector space over GF(2).)

Sunday, September 21, 2014

Uncommon Noncore

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

This post was suggested by Greg Gutfeld’s Sept. 4 remarks on Common Core math.

Problem: What is 9 + 6 ?

Here are two approaches suggested by illustrations of Desargues’s theorem.

Solution 1:

9 + 6 = 10 + 5,
as in Common Core (or, more simply, as in common sense), and
10 + 5 = 5 + 10 = 15 as in Veblen and Young:

Solution 2:

In the figure below,
9 + 6 = no. of  V’s + no. of  A’s + no. of C’s =
no. of nonempty squares = 16 – 1 = 15.
(Illustration from Feb. 10, 2014.)

The silly educationists’ “partner, anchor, decompose” jargon
discussed by Gutfeld was their attempt to explain “9 + 6 = 10 + 5.”

As he said of the jargon, “That’s not math, that’s the plot from ‘Silence of the Lambs.'”

Or from Richard, Frank, and Marcus in last night’s “Intruders”
(BBC America, 10 PM).

Saturday, August 30, 2014

Physics and Theology

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

The titles of the previous three posts refer to
Hermann Weyl’s 1918 book Raum, Zeit, Materie
(Space, Time, Matter).

This suggests a look at a poetically parallel 1950 title —
The Lion, the Witch and the Wardrobe —
and at its underlying philosophy:

I am among “those who do not know that this great myth became Fact.”
I do, however, note that some other odd things have become fact.
Those who wish more on this topic may consult:

Thursday, July 31, 2014

Zero System

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

The title phrase (not to be confused with the film 'The Zero Theorem')
means, according to the Encyclopedia of Mathematics,
a null system , and

"A null system is also called null polarity,
a symplectic polarity or a symplectic correlation….
it is a polarity such that every point lies in its own
polar hyperplane."

See Reinhold Baer, "Null Systems in Projective Space,"
Bulletin of the American Mathematical Society, Vol. 51
(1945), pp. 903-906.

An example in PG(3,2), the projective 3-space over the
two-element Galois field GF(2):

IMAGE- The natural symplectic polarity in PG(3,2), illustrating a symplectic structure

See also the 10 AM ET post of Sunday, June 8, 2014, on this topic.

Sunday, July 20, 2014

Sunday School

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

Paradigms of Geometry:
Continuous and Discrete

The discovery of the incommensurability of a square’s
side with its diagonal contrasted a well-known discrete 
length (the side) with a new continuous  length (the diagonal).
The figures below illustrate a shift in the other direction.
The essential structure of the continuous  configuration at
left is embodied in the discrete  unit cells of the square at right.

IMAGE- Concepts of Space: The Large Desargues Configuration, the Related 4x4 Square, and the 4x4x4 Cube

See Desargues via Galois (August 6, 2013).

Sunday, July 6, 2014

Sticks and Stones

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

The title is from this morning's previous post.

From a theater review in that post—

… "all flying edges and angles, a perpetually moving and hungry soul"

… "a formidably centered presence, the still counterpoint"

A more abstract perspective:

IMAGE- Concepts of Space

See also Desargues via Galois (August 6, 2013).

Sunday, June 8, 2014

Vide

Some background on the large Desargues configuration

"The relevance of a geometric theorem is determined by what the theorem
tells us about space, and not by the eventual difficulty of the proof."

— Gian-Carlo Rota discussing the theorem of Desargues

What space  tells us about the theorem :  

In the simplest case of a projective space  (as opposed to a plane ),
there are 15 points and 35 lines: 15 Göpel  lines and 20 Rosenhain  lines.*
The theorem of Desargues in this simplest case is essentially a symmetry
within the set of 20 Rosenhain lines. The symmetry, a reflection
about the main diagonal in the square model of this space, interchanges
10 horizontally oriented (row-based) lines with 10 corresponding
vertically oriented (column-based) lines.

Vide  Classical Geometry in Light of Galois Geometry.

* Update of June 9: For a more traditional nomenclature, see (for instance)
R. Shaw, 1995.  The "simplest case" link above was added to point out that
the two types of lines named are derived from a natural symplectic polarity 
in the space. The square model of the space, apparently first described in
notes written in October and December, 1978, makes this polarity clearly visible:

A coordinate-free approach to symplectic structure

Tuesday, June 3, 2014

Robert Steinberg, 1922-2014

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

Galois matrices, the subject of the previous post,
are of course not new. See, for instance, Steinberg in 1951:

IMAGE- Robert Steinberg, introduction to 'A Geometric Approach to the Representations of the Full Linear Group over a Galois Field'

The American Mathematical Society reports that Steinberg died
on May 25, 2014.

As the above 1951 paper indicates, Steinberg was well acquainted with
what Weyl called "the devil of abstract algebra." In this  journal, however,
Steinberg himself appears rather as an angel of geometry.

Wednesday, May 21, 2014

The Tetrahedral Model of PG(3,2)

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

The page of Whitehead linked to this morning
suggests a review of Polster's tetrahedral model
of the finite projective 3-space PG(3,2) over the
two-element Galois field GF(2).

The above passage from Whitehead's 1906 book suggests
that the tetrahedral model may be older than Polster thinks.

Shown at right below is a correspondence between Whitehead's
version of the tetrahedral model and my own square  model,
based on the 4×4 array I call the Galois tesseract  (at left below).

(Click to enlarge.)

Tuesday, May 20, 2014

Play

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

From a recreational-mathematics weblog yesterday:

"This appears to be the arts section of the post,
so I’ll leave Martin Probert’s page on
The Survival, Origin and Mathematics of String Figures
here. I’ll be back to pick it up at the end. Maybe it’d like
to play with Steven H. Cullinane’s pages on the
Finite Geometry of the Square and Cube."

I doubt they would play well together.

Perhaps the offensive linking of  the purely recreational topic
of string figures to my own work was suggested by the
string figures' resemblance to figures of projective geometry.

A pairing I prefer:  Desargues and Galois —

IMAGE- Concepts of Space: The large Desargues configuration and two figures illustrating Cullinane models of Galois geometry

For further details, see posts on Desargues and Galois.

Sunday, April 27, 2014

Sunday School

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

Galois and Abel vs. Rubik

(Continued)

“Abel was done to death by poverty, Galois by stupidity.
In all the history of science there is no completer example
of the triumph of crass stupidity….”

— Eric Temple Bell,  Men of Mathematics

Gray Space  (Continued)

… For The Church of Plan 9.

Tuesday, March 11, 2014

Depth

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

"… this notion of ‘depth’ is an elusive one
even for a mathematician who can recognize it…."

— G. H. Hardy,  A Mathematician's Apology

Part I:  An Inch Deep

IMAGE- Catch-phrase 'a mile wide and an inch deep' in mathematics education

Part II:  An Inch Wide

See a search for "square inch space" in this journal.

Diamond Theory version of 'The Square Inch Space' with yin-yang symbol for comparison

 

See also recent posts with the tag depth.

Sunday, March 2, 2014

Sermon

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

Raiders of the Lost  (Continued)

"Socrates: They say that the soul of man is immortal…."

From August 16, 2012

In the geometry of Plato illustrated below,
"the figure of eight [square] feet" is not ,  at this point
in the dialogue, the diamond in Jowett's picture.

An 1892 figure by Jowett illustrating Plato's Meno

A more correct version, from hermes-press.com —

Socrates: He only guesses that because the square is double, the line is double.Meno: True.

 

Socrates: Observe him while he recalls the steps in regular order. (To the Boy.) Tell me, boy, do you assert that a double space comes from a double line? Remember that I am not speaking of an oblong, but of a figure equal every way, and twice the size of this-that is to say of eight feet; and I want to know whether you still say that a double square comes from double line?

[Boy] Yes.

Socrates: But does not this line (AB) become doubled if we add another such line here (BJ is added)?

[Boy] Certainly.

Socrates: And four such lines [AJ, JK, KL, LA] will make a space containing eight feet?

[Boy] Yes.

Socrates: Let us draw such a figure: (adding DL, LK, and JK). Would you not say that this is the figure of eight feet?

[Boy] Yes.

Socrates: And are there not these four squares in the figure, each of which is equal to the figure of four feet? (Socrates draws in CM and CN)

[Boy] True.

Socrates: And is not that four times four?

[Boy] Certainly.

Socrates: And four times is not double?

[Boy] No, indeed.

Socrates: But how much?

[Boy] Four times as much.

Socrates: Therefore the double line, boy, has given a space, not twice, but four times as much.

[Boy] True.

Socrates: Four times four are sixteen— are they not?

[Boy] Yes.

As noted in the 2012 post, the diagram of greater interest is
Jowett's incorrect  version rather than the more correct version
shown above. This is because the 1892 version inadvertently
illustrates a tesseract:

A 4×4 square version, by Coxeter in 1950, of  a tesseract

This square version we may call the Galois  tesseract.

Saturday, February 15, 2014

Rosenhain and Göpel

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

(Continued)

See The Oslo Version in this journal and the New Year’s Day 2014 post.
The pictures of the 56 spreads in that post (shown below) are based on
the 20 Rosenhain and 15 Göpel tetrads that make up the 35 lines of
PG(3,2), the finite projective 3-space over the 2-element Galois field.

IMAGE- The 56 spreads in PG(3,2)

Click for a larger image.

Friday, January 17, 2014

The 4×4 Relativity Problem

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

The sixteen-dot square array in yesterday’s noon post suggests
the following remarks.

“This is the relativity problem:  to fix objectively a class of
equivalent coordinatizations and to ascertain the group of
transformations S mediating between them.”

— Hermann Weyl, The Classical Groups ,
Princeton University Press, 1946, p. 16

The Galois tesseract  appeared in an early form in the journal
Computer Graphics and Art , Vol. 2, No. 1, February 1977—

IMAGE- Hypercube and 4x4 matrix from the 1976 'Diamond Theory' preprint, as excerpted in 'Computer Graphics and Art'

The 1977 matrix Q is echoed in the following from 2002—

IMAGE- Dolgachev and Keum, coordinatization of the 4x4 array in 'Birational Automorphisms of Quartic Hessian Surfaces,' AMS Transactions, 2002

A different representation of Cullinane’s 1977 square model of the
16-point affine geometry over the two-element Galois field GF(2)
is supplied by Conway and Sloane in Sphere Packings, Lattices and Groups   
(first published in 1988) :

IMAGE- The Galois tesseract as a four-dimensional vector space, from a diagram by Conway and Sloane in 'Sphere Packings, Lattices, and Groups'

Here a, b, c, d   are basis vectors in the vector 4-space over GF(2).
(For a 1979 version of this vector space, see AMS Abstract 79T-A37.)

See also a 2011 publication of the Mathematical Association of America —

From 'Beautiful Mathematics,' by Martin Erickson, an excerpt on the Cullinane diamond theorem (with source not mentioned)

Sunday, December 15, 2013

Sermon

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

Odin's Jewel

Jim Holt, the author of remarks in yesterday's
Saturday evening post

"It turns out that the Kyoto school of Buddhism
makes Heidegger seem like Rush Limbaugh—
it’s so rarified, I’ve never been able to
understand it at all. I’ve been knocking my head
against it for years."

Vanity Fair Daily , July 16, 2012

Backstory Odin + Jewel in this journal.

See also Odin on the Kyoto school —

For another version of Odin's jewel, see Log24
on the date— July 16, 2012— that Holt's Vanity Fair
remarks were published. Scroll to the bottom of the
"Mapping Problem continued" post for an instance of
the Galois tesseract —

IMAGE- The Galois tesseract as a four-dimensional vector space, from a diagram by Conway and Sloane in 'Sphere Packings, Lattices, and Groups'

Thursday, December 12, 2013

Outsider Art

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

"… Galois was a mathematical outsider…."

— Tony Mann, "head of the department of mathematical sciences,
University of Greenwich, and president, British Society for the
History of Mathematics," in a May 6, 2010, review of Duel at Dawn
in Times Higher Education.

Related art: 

(Click for a larger image.)

IMAGE- Google search for 'Diamond Space' + Galois

For a less outside  version of the central image
above, see Kunstkritikk  on Oct. 15, 2013.

Thursday, December 5, 2013

Fields

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

Edward Frenkel recently claimed for Robert Langlands
the discovery of a link between two "totally different"
fields of mathematics— number theory and harmonic analysis.
He implied that before Langlands, no relationship between
these fields was known.

See his recent book, and his lecture at the Fields Institute
in Toronto on October 24, 2013.

Meanwhile, in this journal on that date, two math-related
quotations for Stephen King, author of Doctor Sleep

"Danvers is a town in Essex County, Massachusetts, 
United States, located on the Danvers River near the
northeastern coast of Massachusetts. Originally known
as Salem Village, the town is most widely known for its
association with the 1692 Salem witch trials. It is also
known for the Danvers State Hospital, one of the state's
19th-century psychiatric hospitals, which was located here." 

"The summer's gone and all the roses fallin' "

For those who prefer their mathematics presented as fact, not fiction—

(Click for a larger image.)

The arrows in the figure at the right are an attempt to say visually that 
the diamond theorem is related to various fields of mathematics.
There is no claim that prior to the theorem, these fields were not  related.

See also Scott Carnahan on arrow diagrams, and Mathematical Imagery.

Saturday, September 21, 2013

Mathematics and Narrative (continued)

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

Mathematics:

A review of posts from earlier this month —

Wednesday, September 4, 2013

Moonshine

Filed under: Uncategorized — m759 @ 4:00 PM

Unexpected connections between areas of mathematics
previously thought to be unrelated are sometimes referred
to as "moonshine."  An example—  the apparent connections
between parts of complex analysis and groups related to the
large Mathieu group M24. Some recent work on such apparent
connections, by Anne Taormina and Katrin Wendland, among
others (for instance, Miranda C.N. Cheng and John F.R. Duncan),
involves structures related to Kummer surfaces .
In a classic book, Kummer's Quartic Surface  (1905),
R.W.H.T. Hudson pictured a set of 140 structures, the 80
Rosenhain tetrads and the 60 Göpel tetrads, as 4-element
subsets of a 16-element 4×4 array.  It turns out that these
140 structures are the planes of the finite affine geometry
AG(4,2) of four dimensions over the two-element Galois field.
(See Diamond Theory in 1937.)

Thursday, September 5, 2013

Moonshine II

Filed under: Uncategorized — Tags:  — m759 @ 10:31 AM

(Continued from yesterday)

The foreword by Wolf Barth in the 1990 Cambridge U. Press
reissue of Hudson's 1905 classic Kummer's Quartic Surface
covers some of the material in yesterday's post Moonshine.

The distinction that Barth described in 1990 was also described, and illustrated,
in my 1986 note "Picturing the smallest projective 3-space."  The affine 4-space
over the the finite Galois field GF(2) that Barth describes was earlier described—
within a 4×4 array like that pictured by Hudson in 1905— in a 1979 American
Mathematical Society abstract, "Symmetry invariance in a diamond ring."

"The distinction between Rosenhain and Goepel tetrads
is nothing but the distinction between isotropic and
non-isotropic planes in this affine space over the finite field."

The 1990 paragraph of Barth quoted above may be viewed as a summary
of these facts, and also of my March 17, 2013, note "Rosenhain and Göpel
Tetrads in PG(3,2)
."

Narrative:

Aooo.

Happy birthday to Stephen King.

Thursday, September 5, 2013

Moonshine II

(Continued from yesterday)

The foreword by Wolf Barth in the 1990 Cambridge U. Press
reissue of Hudson's 1905 classic Kummer's Quartic Surface
covers some of the material in yesterday's post Moonshine.

The distinction that Barth described in 1990 was also described, and illustrated,
in my 1986 note "Picturing the smallest projective 3-space."  The affine 4-space
over the the finite Galois field GF(2) that Barth describes was earlier described—
within a 4×4 array like that pictured by Hudson in 1905— in a 1979 American
Mathematical Society abstract, "Symmetry invariance in a diamond ring."

"The distinction between Rosenhain and Goepel tetrads
is nothing but the distinction between isotropic and
non-isotropic planes in this affine space over the finite field."

The 1990 paragraph of Barth quoted above may be viewed as a summary
of these facts, and also of my March 17, 2013, note "Rosenhain and Göpel
Tetrads in PG(3,2)
."

Wednesday, September 4, 2013

Moonshine

Unexpected connections between areas of mathematics
previously thought to be unrelated are sometimes referred
to as "moonshine."  An example—  the apparent connections
between parts of complex analysis and groups related to the 
large Mathieu group M24. Some recent work on such apparent
connections, by Anne Taormina and Katrin Wendland, among
others (for instance, Miranda C.N. Cheng and John F.R. Duncan),
involves structures related to Kummer surfaces .
In a classic book, Kummer's Quartic Surface  (1905),
R.W.H.T. Hudson pictured a set of 140 structures, the 80
Rosenhain tetrads and the 60 Göpel tetrads, as 4-element
subsets of a 16-element 4×4 array.  It turns out that these
140 structures are the planes of the finite affine geometry
AG(4,2) of four dimensions over the two-element Galois field.
(See Diamond Theory in 1937.) 

A Google search documents the moonshine
relating Rosenhain's and Göpel's 19th-century work
in complex analysis to M24  via the book of Hudson and
the geometry of the 4×4 square.

Friday, August 16, 2013

Six-Set Geometry

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

From April 23, 2013, in
​"Classical Geometry in Light of Galois Geometry"—

Click above image for some background from 1986.

Related material on six-set geometry from the classical literature—

Baker, H. F., "Note II: On the Hexagrammum Mysticum  of Pascal,"
in Principles of Geometry , Vol. II, Camb. U. Press, 1930, pp. 219-236  

Richmond, H. W., "The Figure Formed from Six Points in Space of Four Dimensions,"
Mathematische Annalen  (1900), Volume 53, Issue 1-2, pp 161-176

Richmond, H. W., "On the Figure of Six Points in Space of Four Dimensions," 
Quarterly Journal of Pure and Applied Mathematics , Vol. 31 (1900), pp. 125-160

Monday, August 12, 2013

Form

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

The Galois tesseract  appeared in an early form in the journal
Computer Graphics and Art , Vol. 2, No. 1, February 1977—

IMAGE- Hypercube and 4x4 matrix from the 1976 'Diamond Theory' preprint, as excerpted in 'Computer Graphics and Art'

The Galois tesseract is the basis for a representation of the smallest
projective 3-space, PG(3,2), that differs from the representation at
Wolfram Demonstrations Project. For the latter, see yesterday’s post.

The tesseract representation underlies the diamond theorem, illustrated
below in its earliest form, also from the above February 1977 article—

IMAGE- Steven H. Cullinane, diamond theorem, from 'Diamond Theory,' Computer Graphics and Art, Vol. 2 No. 1, Feb. 1977, pp. 5-7

As noted in a more recent version, the group described by
the diamond theorem is also the group of the 35 square
patterns within the 1976 Miracle Octad Generator  (MOG) of
R. T. Curtis.

Tuesday, July 9, 2013

Vril Chick

Filed under: General,Geometry — Tags: , , — m759 @ 4:30 am

Profile picture of "Jo Lyxe" (Josefine Lyche) at Vimeo

Profile picture for "Jo Lyxe" (Josefine Lyche) at Vimeo

Compare to an image of Vril muse Maria Orsitsch.

From the catalog of a current art exhibition
(25 May – 31 August, 2013) in Norway,
I DE LANGE NÆTTER —

Josefine Lyche
Born in 1973 in Bergen, Norway.
Lives and works in Oslo and Berlin.

Keywords (to help place my artwork in the
proper context): Aliens, affine geometry, affine
planes, affine spaces, automorphisms, binary
codes, block designs, classical groups, codes,
coding theory, collineations, combinatorial,
combinatorics, conjugacy classes, the Conwell
correspondence, correlations, Cullinane,
R. T. Curtis, design theory, the diamond theorem,
diamond theory, duads, duality, error correcting
codes, esoteric, exceptional groups,
extraterrestrials, finite fields, finite geometry, finite
groups, finite rings, Galois fields, generalized
quadrangles, generators, geometry, GF(2),
GF(4), the (24,12) Golay code, group actions,
group theory, Hadamard matrices, hypercube,
hyperplanes, hyperspace, incidence structures,
invariance, Karnaugh maps, Kirkman’s schoolgirls
problem, Latin squares, Leech lattice, linear
groups, linear spaces, linear transformations,
Magick, Mathieu groups, matrix theory, Meno,
Miracle Octad Generator, MOG, multiply transitive
groups, occultism, octahedron, the octahedral
group, Orsic, orthogonal arrays, outer automorphisms,
parallelisms, partial geometries,
permutation groups, PG(3,2), Plato, Platonic
solids, polarities, Polya-Burnside theorem, projective
geometry, projective planes, projective
spaces, projectivities, Pythagoras, reincarnation,
Reed-Muller codes, the relativity problem,
reverse engineering, sacred geometry, Singer
cycle, skew lines, Socrates, sporadic simple
groups, Steiner systems, Sylvester, symmetric,
symmetry, symplectic, synthemes, synthematic,
Theosophical Society tesseract, Tessla, transvections,
Venn diagrams, Vril society, Walsh
functions, Witt designs.

(See also the original catalog page.)

Clearly most of this (the non-highlighted parts) was taken
from my webpage Diamond Theory. I suppose I should be
flattered, but I am not thrilled to be associated with the
(apparently fictional) Vril Society.

For some background, see (for instance) 
Conspiracy Theories and Secret Societies for Dummies .

Tuesday, May 28, 2013

Codes

The hypercube  model of the 4-space over the 2-element Galois field GF(2):

IMAGE- A hyperspace model of the 4D vector space over GF(2)

The phrase Galois tesseract  may be used to denote a different model
of the above 4-space: the 4×4 square.

MacWilliams and Sloane discussed the Miracle Octad Generator
(MOG) of R. T. Curtis further on in their book (see below), but did not
seem to realize in 1977 that the 4×4 structures within the MOG are
based on the Galois-tesseract model of the 4-space over GF(2).

IMAGE- Octads within the Curtis MOG, which uses a 4x4-array model of the 4D vector space over GF(2)

The thirty-five 4×4 structures within the MOG:

IMAGE- The 35 square patterns within the Curtis MOG

Curtis himself first described these 35 square MOG patterns
combinatorially, (as his title indicated) rather than
algebraically or geometrically:

IMAGE- R. T. Curtis's combinatorial construction of 4x4 patterns within the Miracle Octad Generator

A later book co-authored by Sloane, first published in 1988,
did  recognize the 4×4 MOG patterns as based on the 4×4
Galois-tesseract model.

Between the 1977 and 1988 Sloane books came the diamond theorem.

Update of May 29, 2013:

The Galois tesseract appeared in an early form in the journal
Computer Graphics and Art , Vol. 2, No. 1, February 1977
(the year the above MacWilliams-Sloane book was first published):

IMAGE- Hypercube and 4x4 matrix from the 1976 'Diamond Theory' preprint, as excerpted in 'Computer Graphics and Art'

Sunday, May 19, 2013

Priority Claim

From an arXiv preprint submitted July 18, 2011,
and last revised on March 11, 2013 (version 4):

"By our construction, this vector space is the dual
of our hypercube F24 built on I \ O9. The vector space
structure of the latter, to our knowledge, is first
mentioned by Curtis
in [Cur89]. Hence altogether
our proposition 2.3.4 gives a novel geometric
meaning in terms of Kummer geometry to the known
vector space structure on I \ O9."

[Cur89] reference:
 R. T. Curtis, "Further elementary techniques using
the miracle octad generator," Proc. Edinburgh
Math. Soc. 
32 (1989), 345-353 (received on
July 20, 1987).

— Anne Taormina and Katrin Wendland,
    "The overarching finite symmetry group of Kummer
      surfaces in the Mathieu group 24 ,"
     arXiv.org > hep-th > arXiv:1107.3834

"First mentioned by Curtis…."

No. I claim that to the best of my knowledge, the 
vector space structure was first mentioned by me,
Steven H. Cullinane, in an AMS abstract submitted
in October 1978, some nine years before the
Curtis article.

Update of the above paragraph on July 6, 2013—

No. The vector space structure was described by
(for instance) Peter J. Cameron in a 1976
Cambridge University Press book —
Parallelisms of Complete Designs .
See the proof of Theorem 3A.13 on pages 59 and 60.

The vector space structure as it occurs in a 4×4 array
of the sort that appears in the Curtis Miracle Octad
Generator may first have been pointed out by me,
Steven H. Cullinane,
 in an AMS abstract submitted in
October 1978, some nine years before the Curtis article.

See Notes on Finite Geometry for some background.

See in particular The Galois Tesseract.

For the relationship of the 1978 abstract to Kummer
geometry, see Rosenhain and Göpel Tetrads in PG(3,2).

Sunday, April 28, 2013

The Octad Generator

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

… And the history of geometry  
Desargues, Pascal, Brianchon and Galois
in the light of complete n-points in space.

(Rewritten for clarity at about 10 AM ET April 29, with quote from Dowling added.
Updated with a reference to a Veblen and Young exercise (on p. 53) on April 30.)

Veblen and Young, Projective Geometry, Vol. I ,
Ginn and Company, 1910, page 39:

"The Desargues configuration. A very important configuration
is obtained by taking the plane section of a complete space five-point."

Each of figures 14 and 15 above has 15 points and 20 lines.
The Desargues configuration within each figure is denoted by
10 white points and 10 solid lines, with 3 points on each line and
3 lines on each point. Black  points and dashed  lines indicate the
complete space five-point and lines connecting it to the plane section
containing the Desargues configuration.

In a 1915 University of Chicago doctoral thesis, Archibald Henderson
used a complete space six -point to construct a configuration of
15 points and 20 lines in the context not of Desargues '  theorem, but
rather of Brianchon 's theorem and of the Pascal  hexagram.
Henderson's 1915 configuration is, it turns out, isomorphic to that of
the 15 points and 20 lines in the configuration constructed via a
complete space five -point five years earlier by Veblen and Young.
(See, in Veblen and Young's 1910 Vol. I, exercise 11, page 53:
"A plane section of a 6-point in space can  be considered as
3 triangles perspective in pairs from 3 collinear points with
corresponding sides meeting in 3 collinear points." This is the
large  Desargues configuration. See Classical Geometry in Light of 
Galois Geometry
.)

For this large  Desargues configuration see April 19.
For Henderson's complete six –point, see The Six-Set (April 23).
That post ends with figures relating the large  Desargues configuration
to the Galois  geometry PG(3,2) that underlies the Curtis
Miracle Octad Generator  and the large Mathieu group M24 —

IMAGE- Geometry of the Six-Set, Steven H. Cullinane, April 23, 2013

See also Note on the MOG Correspondence from April 25, 2013.

That correspondence was also discussed in a note 28 years ago, on this date in 1985.

Tuesday, April 9, 2013

Four Quartets

Filed under: General,Geometry — m759 @ 5:10 pm

For the cruelest month

Click for a much larger version of the photo below.

These four Kountry Korn  quartets are from the Fox Valleyaires
Men's Barbershop Chorus of Appleton, Wisconsin.

See also the fine arts here  on Saturday, April 6, 2013

The New York Times Magazine  cover story
a decade ago, on Sunday, April 6, 2003:

"The artists demanded space
in tune with their aesthetic."

— "The Dia Generation,"
by Michael Kimmelman

Related material:

IMAGE- Clifford A. Pickover on symmetries in the Dürer 4x4 magic square, with a critique

See Wikipedia for the difference between binary numbers
and binary coordinates  from the finite Galois field GF(2).

For some background, see the relativity problem.

See also the chapter on vector spaces in Korn & Korn
(originally published by McGraw-Hill)—

.

Monday, April 1, 2013

Desargues via Rosenhain

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

Background: Rosenhain and Göpel Tetrads in PG(3,2)

Introduction:

The Large Desargues Configuration

Added by Steven H. Cullinane on Friday, April 19, 2013

Desargues' theorem according to a standard textbook:

"If two triangles are perspective from a point
they are perspective from a line."

The converse, from the same book:

"If two triangles are perspective from a line
they are perspective from a point."

Desargues' theorem according to Wikipedia 
combines the above statements:

"Two triangles are in perspective axially  [i.e., from a line]
if and only if they are in perspective centrally  [i.e., from a point]."

A figure often used to illustrate the theorem, 
the Desargues configuration , has 10 points and 10 lines,
with 3 points on each line and 3 lines on each point.

A discussion of the "if and only if" version of the theorem
in light of Galois geometry requires a larger configuration—
15 points and 20 lines, with 3 points on each line 
and 4 lines on each point.

This large  Desargues configuration involves a third triangle,
needed for the proof   (though not the statement ) of the 
"if and only if" version of the theorem. Labeled simply
"Desargues' Theorem," the large  configuration is the
frontispiece to Volume I (Foundations)  of Baker's 6-volume
Principles of Geometry .

Point-line incidence in this larger configuration is,
as noted in the post of April 1 that follows
this introduction, described concisely 
by 20 Rosenhain tetrads  (defined in 1905 by
R. W. H. T. Hudson in Kummer's Quartic Surface ).

The third triangle, within the larger configuration,
is pictured below.

IMAGE- The proof of the converse of Desargues' theorem involves a third triangle.

 

 

 

A connection discovered today (April 1, 2013)—

(Click to enlarge the image below.)

Update of April 18, 2013

Note that  Baker's Desargues-theorem figure has three triangles,
ABC, A'B'C', A"B"C", instead of the two triangles that occur in
the statement of the theorem. The third triangle appears in the
course of proving, not just stating, the theorem (or, more precisely,
its converse). See, for instance, a note on a standard textbook for 
further details.

(End of April 18, 2013 update.)

Update of April 14, 2013

See Baker's Proof (Edited for the Web) for a detailed explanation 
of the above picture of Baker's Desargues-theorem frontispiece.

(End of April 14, 2013 update.)

Update of April 12, 2013

A different figure, from a site at National Tsing Hua University,
shows the three triangles of Baker's figure more clearly:

IMAGE- Desargues' theorem with three triangles, and Galois-geometry version

(End of update of April 12, 2013)

Update of April 13, 2013

Another in a series of figures illustrating
Desargues's theorem in light of Galois geometry:
IMAGE- Veblen and Young 1910 Desargues illustration, with 2013 Galois-geometry version

See also the original Veblen-Young figure in context.

(End of update of April 13, 2013)

Rota's remarks, while perhaps not completely accurate, provide some context
for the above Desargues-Rosenhain connection.  For some other context,
see the interplay in this journal between classical and finite geometry, i.e.
between Euclid and Galois.

For the recent  context of the above finite-geometry version of Baker's Vol. I
frontispiece, see Sunday evening's finite-geometry version of Baker's Vol. IV
frontispiece, featuring the Göpel, rather than the Rosenhain, tetrads.

For a 1986 illustration of Göpel and Rosenhain tetrads (though not under
those names), see Picturing the Smallest Projective 3-Space.

In summary… the following classical-geometry figures
are closely related to the Galois geometry PG(3,2):

Volume I of Baker's Principles  
has a cover closely related to 
the Rosenhain tetrads in PG(3,2)
Volume IV of Baker's Principles 
has a cover closely related to
the Göpel tetrads in PG(3,2) 
Foundations
(click to enlarge)

 

 

 

 

Higher Geometry
(click to enlarge)

 

 

 

 

 

Sunday, March 31, 2013

For Baker

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

Baker, Principles of Geometry, Vol. IV  (1925), Title:

Baker, Principles of Geometry, Vol. IV  (1925), Frontispiece:

Baker's Vol. IV frontispiece shows "The Figure of fifteen lines 
and fifteen points, in space of four dimensions."

Another such figure in a vector space of four dimensions
over the two-element Galois field  GF(2):

(Some background grid parts were blanked by an image resizing process.)

Here the "lines" are actually planes  in the vector 4-space over GF(2),
but as planes through the origin  in that space, they are projective  lines .

For some background, see today's previous post and Inscapes.

Update of 9:15 PM March 31—

The following figure relates the above finite-geometry
inscape  incidences to those in Baker's frontispiece. Both the inscape
version and that of Baker depict a Cremona-Richmond configuration.

Tuesday, March 12, 2013

Smoke and Mirrors

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

Sistine Chapel Smoke

Tromso Kunsthall Mirrors

Background for the smoke  image:
A remark by Michelangelo in a 2007 post,  High Concept.

Background for the mirrors  image:
Note the publication date— Mar. 10, 2013.

See that date in this journal and related material.

Monday, February 18, 2013

Permanence

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

Inscribed hexagon (1984)

The well-known fact that a regular hexagon
may be inscribed in a cube was the basis
in 1984 for two ways of coloring the faces
of a cube that serve to illustrate some graphic
aspects of embodied Galois geometry

Inscribed hexagon (2013)

A redefinition of the term "symmetry plane"
also uses the well-known inscription
of a regular hexagon in the cube—

IMAGE- Redefining the cube's symmetry planes: 13 planes, not 9.

Related material

"Here is another way to present the deep question 1984  raises…."

— "The Quest for Permanent Novelty," by Michael W. Clune,
     The Chronicle of Higher Education , Feb. 11, 2013

“What we do may be small, but it has a certain character of permanence.”

— G. H. Hardy, A Mathematician’s Apology

Wednesday, February 13, 2013

Form:

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

Story, Structure, and the Galois Tesseract

Recent Log24 posts have referred to the 
"Penrose diamond" and Minkowski space.

The Penrose diamond has nothing whatever
to do with my 1976 monograph "Diamond Theory,"
except for the diamond shape and the connection
of the Penrose diamond to the Klein quadric—

IMAGE- The Penrose diamond and the Klein quadric

The Klein quadric occurs in the five-dimensional projective space
over a field. If the field is the two-element Galois field GF(2), the
quadric helps explain certain remarkable symmetry properties 
of the R. T. Curtis Miracle Octad Generator  (MOG), hence of
the large Mathieu group M24. These properties are also 
relevant to the 1976 "Diamond Theory" monograph.

For some background on the quadric, see (for instance)

IMAGE- Stroppel on the Klein quadric, 2008

See also The Klein Correspondence,
Penrose Space-Time, and a Finite Model
.

Related material:

"… one might crudely distinguish between philosophical
and mathematical motivation. In the first case one tries
to convince with a telling conceptual story; in the second
one relies more on the elegance of some emergent
mathematical structure. If there is a tradition in logic
it favours the former, but I have a sneaking affection for
the latter. Of course the distinction is not so clear cut.
Elegant mathematics will of itself tell a tale, and one with
the merit of simplicity. This may carry philosophical
weight. But that cannot be guaranteed: in the end one
cannot escape the need to form a judgement of significance."

– J. M. E. Hyland. "Proof Theory in the Abstract." (pdf)
Annals of Pure and Applied Logic 114, 2002, 43-78.

Those who prefer story to structure may consult 

  1. today's previous post on the Penrose diamond
  2. the remarks of Scott Aaronson on August 17, 2012
  3. the remarks in this journal on that same date
  4. the geometry of the 4×4 array in the context of M24.

Midnight in the Garden

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

(Continued, to mark Tuesday's birthdays of Lincoln and Darwin.)

A British reporter who died at 97 on Tuesday is said to have
"covered the space race in its entirety." In his honor, here
in review are posts containing the phrase Space Race
and, more generally, the two words Galois + Space.

Thursday, November 22, 2012

Finite Relativity

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

(Continued from 1986)

S. H. Cullinane
The relativity problem in finite geometry.
Feb. 20, 1986.

This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them.

— H. Weyl, The Classical Groups ,
Princeton Univ. Pr., 1946, p. 16

In finite geometry "points" are often defined as ordered n-tuples of a finite (i.e., Galois) field GF(q). What geometric structures ("frames of reference," in Weyl's terms) are coordinatized by such n-tuples? Weyl's use of "objectively" seems to mean that such structures should have certain objective— i.e., purely geometric— properties invariant under each S.

This note suggests such a frame of reference for the affine 4-space over GF(2), and a class of 322,560 equivalent coordinatizations of the frame.

The frame: A 4×4 array.

The invariant structure:

The following set of 15 partitions of the frame into two 8-sets.

Fifteen partitions of a 4x4 array into two 8-sets
 

A representative coordinatization:

 

0000  0001  0010  0011
0100  0101  0110  0111
1000  1001  1010  1011
1100  1101  1110  1111

 

The group: The group AGL(4,2) of 322,560 regular affine transformations of the ordered 4-tuples over GF(2).

S. H. Cullinane
The relativity problem in finite geometry.
Nov. 22, 2012.

This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them.

— H. Weyl, The Classical Groups ,
Princeton Univ. Pr., 1946, p. 16

In finite geometry "points" are often defined as ordered n-tuples of a finite (i.e., Galois) field GF(q). What geometric structures ("frames of reference," in Weyl's terms) are coordinatized by such n-tuples? Weyl's use of "objectively" seems to mean that such structures should have certain objective— i.e., purely geometric— properties invariant under each S.

This note suggests such a frame of reference for the affine 4-space over GF(2), and a class of 322,560 equivalent coordinatizations of the frame.

The frame: An array of 16 congruent equilateral subtriangles that make up a larger equilateral triangle.

The invariant structure:

The following set of 15 partitions of the frame into two 8-sets.


Fifteen partitions of an array of 16 triangles into two 8-sets


A representative coordinatization:

 

Coordinates for a triangular finite geometry

The group: The group AGL(4,2) of 322,560 regular affine transformations of the ordered 4-tuples over GF(2).

For some background on the triangular version,
see the Square-Triangle Theorem,
noting particularly the linked-to coordinatization picture.

Tuesday, October 16, 2012

Cube Review

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

Last Wednesday's 11 PM post mentioned the
adjacency-isomorphism relating the 4-dimensional 
hypercube over the 2-element Galois field GF(2) to
the 4×4 array made up of 16 square cells, with
opposite edges of the 4×4 array identified.

A web page illustrates this property with diagrams that
enjoy the Karnaugh property— adjacent vertices, or cells,
differ in exactly one coordinate. A brief paper by two German
authors relates the Karnaugh property to the construction
of a magic square like that of Dürer (see last Wednesday).

In a similar way (search the Web for Karnaugh + cube ),
vertex adjacency in the 6-dimensional hypercube over GF(2) 
is isomorphic to cell adjacency in the 4x4x4 cube, with
opposite faces of the 4x4x4 cube identified.

The above cube may be used to illustrate some properties
of the 64-point Galois 6-space that are more advanced
than those studied by enthusiasts of "magic" squares
and cubes.

See

Those who prefer narrative to mathematics may
consult posts in this journal containing the word "Cuber."

Wednesday, August 1, 2012

Elementary Finite Geometry

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

I. General finite geometry (without coordinates):

A finite affine plane of order has n^2 points.

A finite projective plane of order n  has n^2 + n + 1 

points because it is formed from an order-n finite affine 

plane by adding a line at infinity  that contains n + 1 points.

Examples—

Affine plane of order 3

Projective plane of order 3

II. Galois finite geometry (with coordinates over a Galois field):

A finite projective Galois plane of order n has n^2 + n + 1

points because it is formed from a finite affine Galois 3-space

of order n with n^3 points by discarding the point (0,0,0) and 

identifying the points whose coordinates are multiples of the

(n-1) nonzero scalars.

Note: The resulting Galois plane of order n has 

(n^3-1)/(n-1)= (n^2 + n + 1) points because 

(n^2 + n + 1)(n – 1) =

(n^3 + n^2 + n – n^2 – n – 1) = (n^3 – 1) .
 

III. Related art:

Another version of a 1994 picture that accompanied a New Yorker
article, "Atheists with Attitude," in the issue dated May 21, 2007:

IMAGE- 'Four Gods,' by Jonathan Borofsky

The Four Gods  of Borofsky correspond to the four axes of 
symmetry
  of a square and to the four points on a line at infinity 
in an order-3 projective plane as described in Part I above.

Those who prefer literature to mathematics may, if they like,
view the Borofsky work as depicting

"Blake's Four Zoas, which represent four aspects
of the Almighty God" —Wikipedia

Wednesday, July 11, 2012

Cuber

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

(Continued)

For Pete Rustan, space recon expert, who died on June 28—

(Click to enlarge.)

See also Galois vs. Rubik and Group Theory Template.

Thursday, May 3, 2012

Everybody Comes to Rick’s

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

(Continued)

Bogart and Lorre in 'Casablanca' with chessboard and cocktail

The key is the cocktail that begins the proceedings.”

– Brian Harley, Mate in Two Moves

See also yesterday's Endgame , as well as Play and Interplay
from April 28…  and, as a key, the following passage from
an earlier April 28 post

Euclidean geometry has long been applied
to physics; Galois geometry has not.
The cited webpage describes the interplay
of both  sorts of geometry— Euclidean
and Galois, continuous and discrete—
within physical space— if not within
the space of physics .

Saturday, April 28, 2012

Sprechen Sie Deutsch?

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

A Log24 post, "Bridal Birthday," one year ago today linked to
"The Discrete and the Continuous," a brief essay by David Deutsch.

From that essay—

"The idea of quantization—
the discreteness of physical quantities
turned out to be immensely fruitful."

Deutsch's "idea of quantization" also appears in
the April 12 Log24 post Mythopoetic

"Is Space Digital?" 

— Cover storyScientific American 
     magazine, February 2012

"The idea that space may be digital
  is a fringe idea of a fringe idea
  of a speculative subfield of a subfield."

— Physicist Sabine Hossenfelder 
     at her weblog on Feb. 5, 2012

"A quantization of space/time
 is a holy grail for many theorists…."

— Peter Woit in a comment 
      at his weblog on April 12, 2012

It seems some clarification is in order.

Hossenfelder's "The idea that space may be digital"
and Woit's "a quantization of space/time" may not
refer to the same thing.

Scientific American  on the concept of digital space—

"Space may not be smooth and continuous.
Instead it may be digital, composed of tiny bits."

Wikipedia on the concept of quantization—

Causal setsloop quantum gravitystring theory,
and 
black hole thermodynamics all predict
quantized spacetime….

For a purely mathematical  approach to the
continuous-vs.-discrete issue, see
Finite Geometry and Physical Space.

The physics there is somewhat tongue-in-cheek,
but the geometry is serious.The issue there is not
continuous-vs.-discrete physics , but rather
Euclidean-vs.-Galois geometry .

Both sorts of geometry are of course valid.
Euclidean geometry has long been applied to 
physics; Galois geometry has not. The cited
webpage describes the interplay of both  sorts
of geometry— Euclidean and Galois, continuous
and discrete— within physical space— if not
within the space of physics.

Thursday, April 12, 2012

Mythopoetic*

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

"Is Space Digital?" 

Cover storyScientific American  magazine, February 2012

"The idea that space may be digital
  is a fringe idea of a fringe idea
  of a speculative subfield of a subfield."

— Physicist Sabine Hossenfelder
     at her weblog on Feb. 5, 2012

"A quantization of space/time
 is a holy grail for many theorists…."

— Peter Woit in a comment at his physics weblog today

See also 

* See yesterday's Steiner's Systems.

Monday, February 20, 2012

Coxeter and the Relativity Problem

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

In the Beginning…

"As is well known, the Aleph is the first letter of the Hebrew alphabet."
– Borges, "The Aleph" (1945)

From some 1949 remarks of Weyl—

"The relativity problem is one of central significance throughout geometry and algebra and has been recognized as such by the mathematicians at an early time."

Hermann Weyl, "Relativity Theory as a Stimulus in Mathematical Research," Proceedings of the American Philosophical Society , Vol. 93, No. 7, Theory of Relativity in Contemporary Science: Papers Read at the Celebration of the Seventieth Birthday of Professor Albert Einstein in Princeton, March 19, 1949  (Dec. 30, 1949), pp. 535-541

Weyl in 1946—:

"This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them."

— Hermann Weyl, The Classical Groups , Princeton University Press, 1946, p. 16

Coxeter in 1950 described the elements of the Galois field GF(9) as powers of a primitive root and as ordered pairs of the field of residue-classes modulo 3—

"… the successive powers of  the primitive root λ or 10 are

λ = 10,  λ2 = 21,  λ3 = 22,  λ4 = 02,
λ5 = 20,  λ6 = 12,  λ7 = 11,  λ8 = 01.

These are the proper coordinate symbols….

(See Fig. 10, where the points are represented in the Euclidean plane as if the coordinate residue 2 were the ordinary number -1. This representation naturally obscures the collinearity of such points as λ4, λ5, λ7.)"

http://www.log24.com/log/pix12/120220-CoxeterFig10.jpg

Coxeter's Figure 10 yields...

http://www.log24.com/log/pix11/110107-The1950Aleph-Sm.jpg

The Aleph

The details:

(Click to enlarge)

http://www.log24.com/log/pix11/110107-Aleph-Sm.jpg

Coxeter's phrase "in the Euclidean plane" obscures the noncontinuous nature of the transformations that are automorphisms of the above linear 2-space over GF(3).

Saturday, February 18, 2012

Symmetry

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

From the current Wikipedia article "Symmetry (physics)"—

"In physics, symmetry includes all features of a physical system that exhibit the property of symmetry—that is, under certain transformations, aspects of these systems are 'unchanged', according to a particular observation. A symmetry of a physical system is a physical or mathematical feature of the system (observed or intrinsic) that is 'preserved' under some change.

A family of particular transformations may be continuous  (such as rotation of a circle) or discrete  (e.g., reflection of a bilaterally symmetric figure, or rotation of a regular polygon). Continuous and discrete transformations give rise to corresponding types of symmetries. Continuous symmetries can be described by Lie groups while discrete symmetries are described by finite groups (see Symmetry group)."….

"A discrete symmetry is a symmetry that describes non-continuous changes in a system. For example, a square possesses discrete rotational symmetry, as only rotations by multiples of right angles will preserve the square's original appearance."

Note the confusion here between continuous (or discontinuous) transformations  and "continuous" (or "discontinuous," i.e. "discrete") groups .

This confusion may impede efforts to think clearly about some pure mathematics related to current physics— in particular, about the geometry of spaces made up of individual units ("points") that are not joined together in a continuous manifold.

For an attempt to forestall such confusion, see Noncontinuous Groups.

For related material, see Erlanger and Galois as well as the opening paragraphs of Diamond Theory

Symmetry is often described as invariance under a group of transformations. An unspoken assumption about symmetry in Euclidean 3-space is that the transformations involved are continuous.

Diamond theory rejects this assumption, and in so doing reveals that Euclidean symmetry may itself  be invariant under rather interesting groups of non-continuous (and a-symmetric) transformations. (These might be called noncontinuous  groups, as opposed to so-called discontinuous  (or discrete ) symmetry groups. See Weyl's Symmetry .)

For example, the affine group A on the 4-space over the 2-element field has a natural noncontinuous and asymmetric but symmetry-preserving action on the elements of a 4×4 array. (Details)

(Version first archived on March 27, 2002)

Update of Sunday, February 19, 2012—

The abuse of language by the anonymous authors
of the above Wikipedia article occurs also in more
reputable sources. For instance—

IMAGE- Brading and Castellani, 'Symmetries in Physics'- Four main sections include 'Continuous Symmetries' and 'Discrete Symmetries.'

Some transformations referred to by Brading and Castellani
and their editees as "discrete symmetries" are, in fact, as
linear transformations of continuous spaces, themselves
continuous  transformations.

This unfortunate abuse of language is at least made explicit
in a 2003 text, Mathematical Perspectives on Theoretical
Physics 
(Nirmala Prakash, Imperial College Press)—

"… associated[*] with any given symmetry there always exists
a continuous or a discrete group of transformations….
A symmetry whose associated group is continuous (discrete)
is called a continuous  (discrete ) symmetry ." — Pp. 235, 236

[* Associated how?]

Logo

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

Pentagram design agency on the new Windows 8 logo

"… the logo re-imagines the familiar four-color symbol
as a modern geometric shape"—

http://www.log24.com/log/pix12/120218-Windows8Logo.jpg

Sam Moreau, Principal Director of User Experience for Windows,
yesterday—

On Redesigning the Windows Logo

"To see what is in front of one's nose
needs a constant struggle."
George Orwell

That is the feeling we had when Paula Scher
(from the renowned Pentagram design agency)
showed us her sketches for the new Windows logo.

Related material:

http://www.log24.com/log/pix12/120218-SmallSpaces-256w.gif

Monday, January 23, 2012

How It Works

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

(Continued)

J. H. Conway in 1971 discussed the role of an elementary abelian group
of order 16 in the Mathieu group M24. His approach at that time was
purely algebraic, not geometric—

IMAGE- J. H. Conway in 1971 discussed the role of the elementary abelian group of order 16 in the Mathieu group M24. His approach then was purely algebraic, not geometric.

For earlier (and later) discussions of the geometry  (not the algebra )
of that order-16 group (i.e., the group of translations of the affine space
of 4 dimensions over the 2-element field), see The Galois Tesseract.

Sunday, August 28, 2011

The Cosmic Part

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

Yesterday’s midday post, borrowing a phrase from the theology of Marvel Comics,
offered Rubik’s mechanical contrivance as a rather absurd “Cosmic Cube.”

A simpler candidate for the “Cube” part of that phrase:

http://www.log24.com/log/pix10/100214-Cube2x2x2.gif

The Eightfold Cube

As noted elsewhere, a simple reflection group* of order 168 acts naturally on this structure.

“Because of their truly fundamental role in mathematics,
even the simplest diagrams concerning finite reflection groups
(or finite mirror systems, or root systems—
the languages are equivalent) have interpretations
of cosmological proportions.”

Alexandre V. Borovik in “Coxeter Theory: The Cognitive Aspects

Borovik has a such a diagram—

http://www.log24.com/log/pix11B/110828-BorovikM.jpg

The planes in Borovik’s figure are those separating the parts of the eightfold cube above.

In Coxeter theory, these are Euclidean hyperplanes. In the eightfold cube, they represent three of seven projective points that are permuted by the above group of order 168.

In light of Borovik’s remarks, the eightfold cube might serve to illustrate the “Cosmic” part of the Marvel Comics phrase.

For some related theological remarks, see Cube Trinity in this journal.

Happy St. Augustine’s Day.

* I.e., one generated by reflections : group actions that fix a hyperplane pointwise. In the eightfold cube, viewed as a vector space of 3 dimensions over the 2-element Galois field, these hyperplanes are certain sets of four subcubes.

Wednesday, April 27, 2011

Block That Metaphor–

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

A Note on Galois Geometry

 Simple groups as the
"building blocks of group theory"

(Click image to enlarge.)

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

 Points,  lines,  etc., as the
"building blocks of geometry"

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

Related material —

(Click images for some background.)

Building blocks and
a simple group—

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

 

Building blocks and
geometry—

http://www.log24.com/log/pix11A/110427-CubesPlane1.gif

Tuesday, April 19, 2011

Romancing the Omega

Filed under: General,Geometry — m759 @ 12:25 pm

Today's news from Oslo suggests a review—

Image- Josefine Lyche work (with 1986 figures by Cullinane) in a 2009 exhibition in Oslo

Click for further details.

The circular sculpture in the foreground
is called by the artist "The Omega Point."
This has been described as
"a portal that leads in or out of time and space."

Some related philosophical remarks—

Oslo Connection and some notes on Galois connections.

Sunday, April 17, 2011

Annals of Search

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

The following has rather mysteriously appeared in a search at Google Scholar for "Steven H. Cullinane."

[HTML] Romancing the Non-Euclidean Hyperspace
AB Story – Annals of Pure and Applied Logic, 2002 – m759.net

This turns out to be a link to a search within this weblog. I do not know why Google Scholar attributes the resulting web page to a journal article by "AB Story" or why it drew the title from a post within the search and applied it to the entire list of posts found. I am, however, happy with the result— a Palm Sunday surprise with an eclectic mixture of styles that might please the late Robert de Marrais.

I hope the late George Temple would also be pleased. He appears in "Romancing" as a resident of Quarr Abbey, a Benedictine monastery.

The remarks by Martin Hyland quoted in connection with Temple's work are of particular interest in light of the Pope's Christmas remark on mathematics quoted here yesterday.

Thursday, March 10, 2011

Paradigms Lost

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

(Continued from February 19)

The cover of the April 1, 1970 second edition of The Structure of Scientific Revolutions , by Thomas S. Kuhn—

http://www.log24.com/log/pix11/110310-KuhnCover.jpg

This journal on January 19, 2011

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

If Galois geometry is thought of as a paradigm shift from Euclidean geometry,
both images above— the Kuhn cover and the nine-point affine plane—
may be viewed, taken together, as illustrating the shift. The nine subcubes
of the Euclidean  3x3x3 cube on the Kuhn cover do not  form an affine plane
in the coordinate system of the Galois  cube in the second image, but they
at least suggest  such a plane. Similarly, transformations of a
non-mathematical object, the 1974 Rubik  cube, are not Galois  transformations,
but they at least suggest  such transformations.

See also today's online Harvard Crimson  illustration of problems of translation
not unrelated to the problems of commensurability  discussed by Kuhn.

http://www.log24.com/log/pix11/110310-CrimsonSm.jpg

Sunday, February 20, 2011

Sermon

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

From Galleri MGM in Oslo —

IMAGE- 'PRESS RELEASE' headline

Josefine Lyche
Theme and Variations
26. February – 28. March 2009
Opening reception 26. February 19.00 – 21.00

"Why do we remember the past, but not the future?"
Stephen Hawking, A Brief History of Time, Ch. 9, "The Arrow of Time"

"If you want a vision of the future, imagine a boot stamping on a human face – forever."
George Orwell

Galleri MGM is pleased to present the second solo exhibition by Josefine Lyche (b.1973).

Lyche presents a body of work consisting of sculptures and a wall painting, as well as a series of new paperwork, all using geometrical abstractions and light as a medium. Her work dissolves boundaries between fiction and documentation, depicting how fantasies and dreams collide with and yet help determine the shape of reality.

Theme and variations is a term most commonly used in the music genre as a musical form in which the fundamental musical idea, or theme, is repeated in altered form or accompanied in a different manner.

The exhibition explores geometric shapes and solids and revisits work of artists like Robert Morris and Ellsworth Kelly, giving it a disco treatment of glitter, neon and gloss. The mathematical, science-fiction and new age references incorporated in the works comments on the ambivalent foretelling of utopian hope and dystopian vision of a near, yet unknown future.

The transmission between past and future is shown in the sculpture "The Omega Point" a portal that leads in or out of time and space. …

A connection to today's earlier post, Sunday SchoolThe Oslo Version, from Friday, May 21, 2010.

Lyche's "Omega Point" portal, together with her last name, suggested three posts from the following Saturday morning— which later proved to be the date of Martin Gardner's death—

Art Space, Through the Lyche Gate and The Lyche Gate Asterisk.

For some further religious remarks, see November 9th, 2010— A Theory of Pure Design.

Wednesday, January 19, 2011

Intermediate Cubism

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

The following is a new illustration for Cubist Geometries

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

(For elementary cubism, see Pilate Goes to Kindergarten and The Eightfold Cube.
 For advanced, see Solomon's Cube and Geometry of the I Ching .)

Cézanne's Greetings.

Thursday, January 6, 2011

Epiphany Riddle

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

"Spaces and geometries, those which we perceive,
which we can’t perceive, or which only some of us perceive,
are a recurring theme in Against  the Day ."

Michael White

"大哉大哉  宇宙之谜
 美哉美哉  真理之源"

"Great indeed is the riddle of the universe.
 Beautiful indeed is the source of truth."

— Shing-Tung Yau, Chairman,
Department of Mathematics, Harvard University

"Always keep a diamond in your mind."

King Solomon at the Paradiso

IMAGE-- Imaginary movie poster- 'The Galois Connection'- from stoneship.org

Image from stoneship.org

Monday, December 13, 2010

Mathematics and Narrative continued…

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

Apollo's 13: A Group Theory Narrative —

I. At Wikipedia —

http://www.log24.com/log/pix10B/101213-GroupTheory.jpg

II. Here —

See Cube Spaces and Cubist Geometries.

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

The 13 symmetry axes of the 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<br />
note by Cullinane

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

Friday, October 22, 2010

Moreover

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

Google News this afternoon—

http://www.log24.com/log/pix10B/101022-AstronautFoursquare.jpg

Related material:

  1. Celebration of Mind (Oct. 20)
  2. Problem Picture (Oct. 21)
  3. Hereafter (Oct. 22)
  4. The Gypsy in The French Mathematician

http://www.log24.com/log/pix10B/101022-GaloisSpace.gif

Thursday, July 22, 2010

Pilate Goes to Kindergarten, continued

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

Barnes & Noble has an informative new review today of the recent Galois book Duel at Dawn.

It begins…

"In 1820, the Hungarian noble Farkas Bolyai wrote an impassioned cautionary letter to his son Janos:

'I know this way to the very end. I have traversed this bottomless night, which extinguished all light and joy in my life… It can deprive you of your leisure, your health, your peace of mind, and your entire happiness… I turned back when I saw that no man can reach the bottom of this night. I turned back unconsoled, pitying myself and all mankind. Learn from my example…'

Bolyai wasn't warning his son off gambling, or poetry, or a poorly chosen love affair. He was trying to keep him away from non-Euclidean geometry."

For a less dark view (obtained by simply redefining "non-Euclidean" in a more logical way*) see Non-Euclidean Blocks and Finite Geometry and Physical Space.

* Finite  geometry is not  Euclidean geometry— and is, therefore, non-Euclidean
  in the strictest sense (though not according to popular usage), simply because
  Euclidean  geometry has infinitely many points, and a finite  geometry does not.
  (This more logical definition of "non-Euclidean" seems to be shared by
  at least one other person.)

  And some  finite geometries are non-Euclidean in the popular-usage sense,
  related to Euclid's parallel postulate.

  The seven-point Fano plane has, for instance, been called
  "a non-Euclidean geometry" not because it is finite
  (though that reason would suffice), but because it has no parallel lines.

  (See the finite geometry page at the Centre for the Mathematics
   of Symmetry and Computation at the University of Western Australia.)

Thursday, June 24, 2010

Midsummer Noon

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

Geometry Simplified

Image-- The Three-Point Line: A Finite Projective Space
(a projective space)

The above finite projective space
is the simplest nontrivial example
of a Galois geometry (i.e., a finite
geometry with coordinates in a
finite (that is, Galois) field.)

The vertical (Euclidean) line represents a
(Galois) point, as does the horizontal line
and also the vertical-and-horizontal
cross that represents the first two points'
binary sum (i.e., symmetric difference,
if the lines are regarded as sets).

Homogeneous coordinates for the
points of this line —

(1,0), (0,1), (1,1).

Here 0 and 1 stand for the elements
of the two-element Galois field GF(2).

The 3-point line is the projective space
corresponding to the affine space
(a plane, not a line) with four points —

http://www.log24.com/log/pix10A/100624-The4PointPlane.bmp
(an affine space)

The (Galois) points of this affine plane are
not the single and combined (Euclidean)
line segments that play the role of
points in the 3-point projective line,
but rather the four subsquares
that the line segments separate.

For further details, see Galois Geometry.

There are, of course, also the trivial
two-point affine space and the corresponding
trivial one-point projective space —

http://www.log24.com/log/pix10A/100624-TrivialSpaces.bmp

Here again, the points of the affine space are
represented by squares, and the point of the
projective space is represented by a line segment
separating the affine-space squares.

Wednesday, June 16, 2010

Geometry of Language

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

(Continued from April 23, 2009, and February 13, 2010.)

Paul Valéry as quoted in yesterday’s post:

“The S[elf] is invariant, origin, locus or field, it’s a functional property of consciousness” (Cahiers, 15:170 [2: 315])

The geometric example discussed here yesterday as a Self symbol may seem too small to be really impressive. Here is a larger example from the Chinese, rather than European, tradition. It may be regarded as a way of representing the Galois field GF(64). (“Field” is a rather ambiguous term; here it does not, of course, mean what it did in the Valéry quotation.)

From Geometry of the I Ching

Image-- The 64 hexagrams of the I Ching

The above 64 hexagrams may also be regarded as
the finite affine space AG(6,2)— a larger version
of the finite affine space AG(4,2) in yesterday’s post.
That smaller space has a group of 322,560 symmetries.
The larger hexagram  space has a group of
1,290,157,424,640 affine symmetries.

From a paper on GL(6,2), the symmetry group
of the corresponding projective  space PG(5,2),*
which has 1/64 as many symmetries—

(Click to enlarge.)

Image-- Classes of the Group GL(6,)

For some narrative in the European  tradition
related to this geometry, see Solomon’s Cube.

* Update of July 29, 2011: The “PG(5,2)” above is a correction from an earlier error.

Monday, May 10, 2010

Requiem for Georgia Brown

Filed under: General — m759 @ 2:45 am

Image-- Lena Horne in 'Cabin in the Sky'

Paul Robeson in
"King Solomon's Mines," 1937—

Image -- The cast of 1937's 'King Solomon's Mines' goes back to the future

The image above is an illustration from
  "Romancing the Hyperspace," May 4, 2010.

This illustration, along with Georgia Brown's
song from "Cabin in the Sky"—
"There's honey in the honeycomb"—
suggests the following picture.

Image-- Galois Tesseract and Hyperspace (the 4-space over GF(2)). Source: Coxeter's 'Twisted Honeycombs'

"What might have been and what has been
   Point to one end, which is always present."
Four Quartets

Tuesday, May 4, 2010

Mathematics and Narrative, continued

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

Romancing the
Non-Euclidean Hyperspace

Backstory
Mere Geometry, Types of Ambiguity,
Dream Time, and Diamond Theory, 1937

The cast of 1937's 'King Solomon's Mines' goes back to the future

For the 1937 grid, see Diamond Theory, 1937.

The grid is, as Mere Geometry points out, a non-Euclidean hyperspace.

For the diamonds of 2010, see Galois Geometry and Solomon’s Cube.

Monday, April 26, 2010

Types of Ambiguity

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

From Ursula K. Le Guin’s novel
The Dispossessed: An Ambiguous Utopia
(1974)—

Chapter One

“There was a wall. It did not look important. It was built of uncut rocks roughly mortared. An adult could look right over it, and even a child could climb it. Where it crossed the roadway, instead of having a gate it degenerated into mere geometry, a line, an idea of boundary. But the idea was real. It was important. For seven generations there had been nothing in the world more important than that wall.

Like all walls it was ambiguous, two-faced. What was inside it and what was outside it depended upon which side of it you were on.”

Note—

“We note that the phrase ‘instead of having a gate it degenerated into mere geometry’ is mere fatuousness. If there is an idea here, degenerate, mere, and geometry  in concert do not fix it. They bat at it like a kitten at a piece of loose thread.”

— Samuel R. Delany, The Jewel-Hinged Jaw: Notes on the Language of Science Fiction  (Dragon Press, 1977), page 110 of revised edition, Wesleyan University Press, 2009

(For the phrase mere geometry  elsewhere, see a note of April 22. The apparently flat figures in that note’s illustration “Galois Affine Geometry” may be regarded as degenerate  views of cubes.)

Later in the Le Guin novel—

“… The Terrans had been intellectual imperialists, jealous wall builders. Even Ainsetain, the originator of the theory, had felt compelled to give warning that his physics embraced no mode but the physical and should not be taken as implying the metaphysical, the philosophical, or the ethical. Which, of course, was superficially true; and yet he had used number, the bridge between the rational and the perceived, between psyche and matter, ‘Number the Indisputable,’ as the ancient founders of the Noble Science had called it. To employ mathematics in this sense was to employ the mode that preceded and led to all other modes. Ainsetain had known that; with endearing caution he had admitted that he believed his physics did, indeed, describe reality.

Strangeness and familiarity: in every movement of the Terran’s thought Shevek caught this combination, was constantly intrigued. And sympathetic: for Ainsetain, too, had been after a unifying field theory. Having explained the force of gravity as a function of the geometry of spacetime, he had sought to extend the synthesis to include electromagnetic forces. He had not succeeded. Even during his lifetime, and for many decades after his death, the physicists of his own world had turned away from his effort and its failure, pursuing the magnificent incoherences of quantum theory with its high technological yields, at last concentrating on the technological mode so exclusively as to arrive at a dead end, a catastrophic failure of imagination. Yet their original intuition had been sound: at the point where they had been, progress had lain in the indeterminacy which old Ainsetain had refused to accept. And his refusal had been equally correct– in the long run. Only he had lacked the tools to prove it– the Saeba variables and the theories of infinite velocity and complex cause. His unified field existed, in Cetian physics, but it existed on terms which he might not have been willing to accept; for the velocity of light as a limiting factor had been essential to his great theories. Both his Theories of Relativity were as beautiful, as valid, and as useful as ever after these centuries, and yet both depended upon a hypothesis that could not be proved true and that could be and had been proved, in certain circumstances, false.

But was not a theory of which all the elements were provably true a simple tautology? In the region of the unprovable, or even the disprovable, lay the only chance for breaking out of the circle and going ahead.

In which case, did the unprovability of the hypothesis of real coexistence– the problem which Shevek had been pounding his head against desperately for these last three days. and indeed these last ten years– really matter?

He had been groping and grabbing after certainty, as if it were something he could possess. He had been demanding a security, a guarantee, which is not granted, and which, if granted, would become a prison. By simply assuming the validity of real coexistence he was left free to use the lovely geometries of relativity; and then it would be possible to go ahead. The next step was perfectly clear. The coexistence of succession could be handled by a Saeban transformation series; thus approached, successivity and presence offered no antithesis at all. The fundamental unity of the Sequency and Simultaneity points of view became plain; the concept of interval served to connect the static and the dynamic aspect of the universe. How could he have stared at reality for ten years and not seen it? There would be no trouble at all in going on. Indeed he had already gone on. He was there. He saw all that was to come in this first, seemingly casual glimpse of the method, given him by his understanding of a failure in the distant past. The wall was down. The vision was both clear and whole. What he saw was simple, simpler than anything else. It was simplicity: and contained in it all complexity, all promise. It was revelation. It was the way clear, the way home, the light.”

Related material—

Time Fold, Halloween 2005, and May and Zan.

See also The Devil and Wallace Stevens

“In a letter to Harriet Monroe, written December 23, 1926, Stevens refers to the Sapphic fragment that invokes the genius of evening: ‘Evening star that bringest back all that lightsome Dawn hath scattered afar, thou bringest the sheep, thou bringest the goat, thou bringest the child home to the mother.’ Christmas, writes Stevens, ‘is like Sappho’s evening: it brings us all home to the fold’ (Letters of Wallace Stevens, 248).”

— “The Archangel of Evening,” Chapter 5 of Wallace Stevens: The Intensest Rendezvous, by Barbara M. Fisher, The University Press of Virginia, 1990

Thursday, April 22, 2010

Mere Geometry

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

Image-- semeion estin ou meros outhen

Image-- Euclid's definition of 'point'

Stanford Encyclopedia of Philosophy

Mereology (from the Greek μερος, ‘part’) is the theory of parthood relations: of the relations of part to whole and the relations of part to part within a whole. Its roots can be traced back to the early days of philosophy, beginning with the Presocratics….”

A non-Euclidean* approach to parts–

Image-- examples from Galois affine geometry

Corresponding non-Euclidean*
projective points —

Image-- The smallest Galois geometries

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.

Saturday, February 27, 2010

Cubist Geometries

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

"The cube has…13 axes of symmetry:
  6 C2 (axes joining midpoints of opposite edges),
4 C3 (space diagonals), and
3C4 (axes joining opposite face centroids)."
–Wolfram MathWorld article on the cube

These 13 symmetry axes can be used to illustrate the interplay between Euclidean and Galois geometry in a cubic model of the 13-point Galois plane.

The geometer's 3×3×3 cube–
27 separate subcubes unconnected
by any Rubik-like mechanism–

The 3x3x3 geometer's cube, with coordinates

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

A closely related structure–
the finite projective plane
with 13 points and 13 lines–

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

A later version of the 13-point plane
by Ed Pegg Jr.–

Ed Pegg Jr.'s 2007 drawing of the 13-point projective plane

A group action on the 3×3×3 cube
as illustrated by a Wolfram program
by Ed Pegg Jr. (undated, but closely
related to a March 26, 1985 note
by Steven H. Cullinane)–

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

The above images tell a story of sorts.
The moral of the story–

Galois projective geometries can be viewed
in the context of the larger affine geometries
from which they are derived.

The standard definition of points in a Galois projective plane is that they are lines through the (arbitrarily chosen) origin in a corresponding affine 3-space converted to a vector 3-space.

If we choose the origin as the center cube in coordinatizing the 3×3×3 cube (See Weyl's relativity problem ), then the cube's 13 axes of symmetry can, if the other 26 cubes have properly (Weyl's "objectively") chosen coordinates, illustrate nicely the 13 projective points derived from the 27 affine points in the cube model.

The 13 lines of the resulting Galois projective plane may be derived from Euclidean planes  through the cube's center point that are perpendicular to the cube's 13 Euclidean symmetry axes.

The above standard definition of points in a Galois projective plane may of course also be used in a simpler structure– the eightfold cube.

(The eightfold cube also allows a less standard way to picture projective points that is related to the symmetries of "diamond" patterns formed by group actions on graphic designs.)

See also Ed Pegg Jr. on finite geometry on May 30, 2006
at the Mathematical Association of America.

Wednesday, January 6, 2010

Brightness at Noon, continued

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

The Galois Quaternion

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.

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 i?
Beneath every word, behind each letter,
on the side of a period that will never see the light.

 

Related material:
The Galois Quaternion

The Galois Quaternion

Click for context.
(See also Nativity and the end
of this morning's post.)

Tuesday, September 8, 2009

Tuesday September 8, 2009

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

Froebel's   
Magic Box  
 

Box containing Froebel's Third Gift-- The Eightfold Cube
 
 Continued from Dec. 7, 2008,
and from yesterday.

 

Non-Euclidean
Blocks

 

Passages from a classic story:

… he took from his pocket a gadget he had found in the box, and began to unfold it. The result resembled a tesseract, strung with beads….

Tesseract
 Tesseract

 

"Your mind has been conditioned to Euclid," Holloway said. "So this– thing– bores us, and seems pointless. But a child knows nothing of Euclid. A different sort of geometry from ours wouldn't impress him as being illogical. He believes what he sees."

"Are you trying to tell me that this gadget's got a fourth dimensional extension?" Paradine demanded.
 
"Not visually, anyway," Holloway denied. "All I say is that our minds, conditioned to Euclid, can see nothing in this but an illogical tangle of wires. But a child– especially a baby– might see more. Not at first. It'd be a puzzle, of course. Only a child wouldn't be handicapped by too many preconceived ideas."

"Hardening of the thought-arteries," Jane interjected.

Paradine was not convinced. "Then a baby could work calculus better than Einstein? No, I don't mean that. I can see your point, more or less clearly. Only–"

"Well, look. Let's suppose there are two kinds of geometry– we'll limit it, for the sake of the example. Our kind, Euclidean, and another, which we'll call x. X hasn't much relationship to Euclid. It's based on different theorems. Two and two needn't equal four in it; they could equal y, or they might not even equal. A baby's mind is not yet conditioned, except by certain questionable factors of heredity and environment. Start the infant on Euclid–"

"Poor kid," Jane said.

Holloway shot her a quick glance. "The basis of Euclid. Alphabet blocks. Math, geometry, algebra– they come much later. We're familiar with that development. On the other hand, start the baby with the basic principles of our x logic–"

"Blocks? What kind?"

Holloway looked at the abacus. "It wouldn't make much sense to us. But we've been conditioned to Euclid."

— "Mimsy Were the Borogoves," Lewis Padgett, 1943


Padgett (pseudonym of a husband-and-wife writing team) says that alphabet blocks are the intuitive "basis of Euclid." Au contraire; they are the basis of Gutenberg.

For the intuitive basis of one type of non-Euclidean* geometry– finite geometry over the two-element Galois field– see the work of…


Friedrich Froebel
 (1782-1852), who
 invented kindergarten.

His "third gift" —

Froebel's Third Gift-- The Eightfold Cube
© 2005 The Institute for Figuring
 
Photo by Norman Brosterman
fom the Inventing Kindergarten
exhibit at The Institute for Figuring

Go figure.

* i.e., other than Euclidean

Tuesday, August 18, 2009

Tuesday August 18, 2009

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

Prima Materia

(Background: Art Humor: Sein Feld (March 11, 2009) and Ides of March Sermon, 2009)

From Cardinal Manning's review of Kirkman's Philosophy Without Assumptions

"And here I must confess… that between something and nothing I can find no intermediate except potentia, which does not mean force but possibility."

— Contemporary Review, Vol. 28 (June-November, 1876), page 1017

Furthermore….

Cardinal Manning, Contemporary Review, Vol. 28, pages 1026-1027:

The following will be, I believe, a correct statement of the Scholastic teaching:–

1. By strict process of reason we demonstrate a First Existence, a First Cause, a First Mover; and that this Existence, Cause, and Mover is Intelligence and Power.

2. This Power is eternal, and from all eternity has been in its fullest amplitude; nothing in it is latent, dormant, or in germ: but its whole existence is in actu, that is, in actual perfection, and in complete expansion or actuality. In other words God is Actus Purus, in whose being nothing is potential, in potentia, but in Him all things potentially exist.

3. In the power of God, therefore, exists the original matter (prima materia) of all things; but that prima materia is pura potentia, a nihilo distincta, a mere potentiality or possibility; nevertheless, it is not a nothing, but a possible existence. When it is said that the prima materia of all things exists in the power of God, it does not mean that it is of the existence of God, which would involve Pantheism, but that its actual existence is possible.

4. Of things possible by the power of God, some come into actual existence, and their existence is determined by the impression of a form upon this materia prima. The form is the first act which determines the existence and the species of each, and this act is wrought by the will and power of God. By this union of form with the materia prima, the materia secunda or the materia signata is constituted.

5. This form is called forma substantialis because it determines the being of each existence, and is the root of all its properties and the cause of all its operations.

6. And yet the materia prima has no actual existence before the form is impressed. They come into existence simultaneously;

[p. 1027 begins]

as the voice and articulation, to use St. Augustine's illustration, are simultaneous in speech.

7. In all existing things there are, therefore, two principles; the one active, which is the form– the other passive, which is the matter; but when united, they have a unity which determines the existence of the species. The form is that by which each is what it is.

8. It is the form that gives to each its unity of cohesion, its law, and its specific nature.*

When, therefore, we are asked whether matter exists or no, we answer, It is as certain that matter exists as that form exists; but all the phenomena which fall under sense prove the existence of the unity, cohesion, species, that is, of the form of each, and this is a proof that what was once in mere possibility is now in actual existence. It is, and that is both form and matter.

When we are further asked what is matter, we answer readily, It is not God, nor the substance of God; nor the presence of God arrayed in phenomena; nor the uncreated will of God veiled in a world of illusions, deluding us with shadows into the belief of substance: much less is it catter [pejorative term in the book under review], and still less is it nothing. It is a reality, the physical kind or nature of which is as unknown in its quiddity or quality as its existence is certainly known to the reason of man.

* "… its specific nature"
        (Click to enlarge) —

Footnote by Cardinal Manning on Aquinas
The Catholic physics expounded by Cardinal Manning above is the physics of Aristotle.

 

For a more modern treatment of these topics, see Werner Heisenberg's Physics and Philosophy. For instance:

"The probability wave of Bohr, Kramers, Slater, however, meant… a tendency for something. It was a quantitative version of the old concept of 'potentia' in Aristotelian philosophy. It introduced something standing in the middle between the idea of an event and the actual event, a strange kind of physical reality just in the middle between possibility and reality."

Compare to Cardinal Manning's statement above:

"… between something and nothing I can find no intermediate except potentia…"

To the mathematician, the cardinal's statement suggests the set of real numbers between 1 and 0, inclusive, by which probabilities are measured. Mappings of purely physical events to this set of numbers are perhaps better described by applied mathematicians and physicists than by philosophers, theologians, or storytellers. (Cf. Voltaire's mockery of possible-worlds philosophy and, more recently, The Onion's mockery of the fictional storyteller Fournier's quantum flux. See also Mathematics and Narrative.)

Regarding events that are not purely physical– those that have meaning for mankind, and perhaps for God– events affecting conception, birth, life, and death– the remarks of applied mathematicians and physicists are often ignorant and obnoxious, and very often do more harm than good. For such meaningful events, the philosophers, theologians, and storytellers are better guides. See, for instance, the works of Jung and those of his school. Meaningful events sometimes (perhaps, to God, always) exhibit striking correspondences. For the study of such correspondences, the compact topological space [0, 1] discussed above is perhaps less helpful than the finite Galois field GF(64)– in its guise as the I Ching. Those who insist on dragging God into the picture may consult St. Augustine's Day, 2006, and Hitler's Still Point.

Monday, July 27, 2009

Monday July 27, 2009

Filed under: General,Geometry — Tags: , — m759 @ 2:29 pm
Field Dance

The New York Times
on June 17, 2007:

 Design Meets Dance,
and Rules Are Broken

Yesterday's evening entry was
on the fictional sins of a fictional
mathematician and also (via a link
to St. Augustine's Day, 2006), on
the geometry of the I Ching* —

The eternal
combined with
the temporal:

Circular arrangement of I Ching hexagrams based on Singer 63-cycle in the Galois field GF(64)

The fictional mathematician's
name, noted here (with the Augustine-
I Ching link as a gloss) in yesterday's
evening entry, was Summerfield.

From the above Times article–
"Summerspace," a work by
 choreographer Merce Cunningham
and artist Robert Rauschenberg
that offers a competing
 vision of summer:

Summerspace — Set by Rauschenberg, choreography by Cunningham

Cunningham died last night.

John Cage, Merce Cunningham, Robert Rauschenberg in the 1960's

From left, composer John Cage,
choreographer Merce Cunningham,
and artist Robert Rauschenberg
in the 1960's

"When shall we three meet again?"

* Update of ca. 5:30 PM 7/27– today's online New York Times (with added links)– "The I Ching is the 'Book of Changes,' and Mr. Cunningham's choreography became an expression of the nature of change itself. He presented successive images without narrative sequence or psychological causation, and the audience was allowed to watch dance as one might watch successive events in a landscape or on a street corner."

Saturday, April 25, 2009

Saturday April 25, 2009

Filed under: General,Geometry — Tags: — m759 @ 9:22 pm
State of Play

Russell Crowe in 'State of Play'

The Russell Crowe
Hotel Puzzle

by John Tierney

"Russell Crowe arrives at the Hotel Infinity looking tired and ornery. He demands a room. The clerk informs him that there are no vacancies…."

Footprints from California today
(all by a person or persons using Firefox browsers):

7:10 AM
http://m759.xanga.com/679142359/concepts-of-space/?
Concepts of Space: Euclid vs. Galois

8:51 AM
http://m759.xanga.com/689601851/art-wars-continued/?
Art Wars continued: Behind the Picture

1:33 PM
http://m759.xanga.com/678995132/a-riff-for-dave/?
A Riff for Dave: Me and My Shadow

2:11 PM
http://m759.xanga.com/638308002/a-death-of-kings/?
A Death of Kings: In Memory of Bobby Fischer

2:48 PM
http://m759.xanga.com/691644175/art-wars-in-review–/?
Art Wars in review– Through the Looking Glass: A Sort of Eternity

3:28 PM and
http://m759.xanga.com/684680406/annals-of-philosophy/?
Annals of Philosophy: The Dormouse of Perception

4:28 PM
http://m759.xanga.com/641536988/epiphany-for-roy-part-i/?
Epiphany for Roy, Part I

6:03 PM
http://m759.xanga.com/641949564/art-wars-continued/?
At the Still Point: All That Jazz

6:22 PM
http://m759.xanga.com/644330798/where-entertainment-is-not-god/?
Where Entertainment is Not God: The Just Word

7:14 PM
http://m759.xanga.com/643490468/happy-new-yorker-day/?
Happy New Yorker Day– Class Galore

7:16 PM
http://m759.xanga.com/643812753/the-politics-of-change/?
The Politics of Change: Jumpers
 

"Relax," said the night man.
"We are programmed to receive."
— Hotel California
 

Tuesday, February 24, 2009

Tuesday February 24, 2009

Filed under: General,Geometry — Tags: , , , , , — m759 @ 1:00 pm
 
Hollywood Nihilism
Meets
Pantheistic Solipsism

Tina Fey to Steve Martin
at the Oscars:
"Oh, Steve, no one wants
 to hear about our religion
… that we made up."

Tina Fey and Steve Martin at the 2009 Oscars

From Wallace Stevens: A World of Transforming Shapes, by Alan D. Perlis, Bucknell University Press, 1976, p. 117:

… in 'The Pediment of Appearance,' a slight narrative poem in Transport to Summer

 A group of young men enter some woods 'Hunting for the great ornament, The pediment of appearance.' Though moving through the natural world, the young men seek the artificial, or pure form, believing that in discovering this pediment, this distillation of the real, they will also discover the 'savage transparence,' the rude source of human life. In Stevens's world, such a search is futile, since it is only through observing nature that one reaches beyond it to pure form. As if to demonstrate the degree to which the young men's search is misaligned, Stevens says of them that 'they go crying/The world is myself, life is myself,' believing that what surrounds them is immaterial. Such a proclamation is a cardinal violation of Stevens's principles of the imagination.


Superficially the young men's philosophy seems to resemble what Wikipedia calls "pantheistic solipsism"– noting, however, that "This article has multiple issues."

As, indeed, does pantheistic solipsism– a philosophy (properly called "eschatological pantheistic multiple-ego solipsism") devised, with tongue in cheek, by science-fiction writer Robert A. Heinlein.

Despite their preoccupation with solipsism, Heinlein and Stevens point, each in his own poetic way, to a highly non-solipsistic topic from pure mathematics that is, unlike the religion of Martin and Fey, not made up– namely, the properties of space.

Heinlein:

"Sharpie, we have condensed six dimensions into four, then we either work by analogy into six, or we have to use math that apparently nobody but Jake and my cousin Ed understands. Unless you can think of some way to project six dimensions into three– you seem to be smart at such projections."
    I closed my eyes and thought hard. "Zebbie, I don't think it can be done. Maybe Escher could have done it."

Stevens:

A discussion of Stevens's late poem "The Rock" (1954) in Wallace Stevens: A World of Transforming Shapes, by Alan D. Perlis, Bucknell University Press, 1976, p. 120:

For Stevens, the poem "makes meanings of the rock." In the mind, "its barrenness becomes a thousand things/And so exists no more." In fact, in a peculiar irony that only a poet with Stevens's particular notion of the imagination's function could develop, the rock becomes the mind itself, shattered into such diamond-faceted brilliance that it encompasses all possibilities for human thought:

The rock is the gray particular of man's life,
The stone from which he rises, up—and—ho,
The step to the bleaker depths of his descents ...

The rock is the stern particular of the air,
The mirror of the planets, one by one,
But through man's eye, their silent rhapsodist,

Turquoise the rock, at odious evening bright
With redness that sticks fast to evil dreams;
The difficult rightness of half-risen day.

The rock is the habitation of the whole,
Its strength and measure, that which is near,
     point A
In a perspective that begins again

At B: the origin of the mango's rind.

                    (Collected Poems, 528)

Stevens's rock is associated with empty space, a concept that suggests "nothingness" to one literary critic:

B. J. Leggett, "Stevens's Late Poetry" in The Cambridge Companion to Wallace Stevens— On the poem "The Rock":

"… the barren rock of the title is Stevens's symbol for the nothingness that underlies all existence, 'That in which space itself is contained'….  Its subject is its speaker's sense of nothingness and his need to be cured of it."

This interpretation might appeal to Joan Didion, who, as author of the classic novel Play It As It Lays, is perhaps the world's leading expert on Hollywood nihilism.

More positively…

Space is, of course, also a topic
in pure mathematics…
For instance, the 6-dimensional
affine space
(or the corresponding
5-dimensional projective space)

The 4x4x4 cube

over the two-element Galois field
can be viewed as an illustration of
Stevens's metaphor in "The Rock."

Heinlein should perhaps have had in mind the Klein correspondence when he discussed "some way to project six dimensions into three." While such a projection is of course trivial for anyone who has taken an undergraduate course in linear algebra, the following remarks by Philippe Cara present a much more meaningful mapping, using the Klein correspondence, of structures in six (affine) dimensions to structures in three.

Cara:

Philippe Cara on the Klein correspondence
Here the 6-dimensional affine
space contains the 63 points
of PG(5, 2), plus the origin, and
the 3-dimensional affine
space contains as its 8 points
Conwell's eight "heptads," as in
Generating the Octad Generator.

Thursday, February 5, 2009

Thursday February 5, 2009

Through the
Looking Glass:

A Sort of Eternity

From the new president’s inaugural address:

“… in the words of Scripture, the time has come to set aside childish things.”

The words of Scripture:

9 For we know in part, and we prophesy in part.
10 But when that which is perfect is come, then that which is in part shall be done away.
11 When I was a child, I spake as a child, I understood as a child, I thought as a child: but when I became a man, I put away childish things.
12 For now we see through a glass, darkly, but then face to face: now I know in part; but then shall I know even as also I am known. 

First Corinthians 13

“through a glass”

[di’ esoptrou].
By means of
a mirror [esoptron]
.

Childish things:

Froebel's third gift, the eightfold cube
© 2005 The Institute for Figuring
Photo by Norman Brosterman
fom the Inventing Kindergarten
exhibit at The Institute for Figuring
(co-founded by Margaret Wertheim)
 

Not-so-childish:

Three planes through
the center of a cube
that split it into
eight subcubes:
Cube subdivided into 8 subcubes by planes through the center
Through a glass, darkly:

A group of 8 transformations is
generated by affine reflections
in the above three planes.
Shown below is a pattern on
the faces of the 2x2x2 cube
that is symmetric under one of
these 8 transformations–
a 180-degree rotation:

Design Cube 2x2x2 for demonstrating Galois geometry

(Click on image
for further details.)

But then face to face:

A larger group of 1344,
rather than 8, transformations
of the 2x2x2 cube
is generated by a different
sort of affine reflections– not
in the infinite Euclidean 3-space
over the field of real numbers,
but rather in the finite Galois
3-space over the 2-element field.

Galois age fifteen, drawn by a classmate.

Galois age fifteen,
drawn by a classmate.

These transformations
in the Galois space with
finitely many points
produce a set of 168 patterns
like the one above.
For each such pattern,
at least one nontrivial
transformation in the group of 8
described above is a symmetry
in the Euclidean space with
infinitely many points.

For some generalizations,
see Galois Geometry.

Related material:

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)

“In the garden of Adding
live Even and Odd…
And the song of love’s recision
is the music of the spheres.”

— The Midrash Jazz Quartet in City of God, by E. L. Doctorow (2000)

A quotation today at art critic Carol Kino’s website, slightly expanded:

“Art inherited from the old religion
the power of consecrating things
and endowing them with
a sort of eternity;
museums are our temples,
and the objects displayed in them
are beyond history.”

— Octavio Paz,”Seeing and Using: Art and Craftsmanship,” in Convergences: Essays on Art and Literature (New York: Harcourt Brace Jovanovich 1987), 52

From Brian O’Doherty’s 1976 Artforum essays– not on museums, but rather on gallery space:

Inside the White Cube

“We have now reached
a point where we see
not the art but the space first….
An image comes to mind
of a white, ideal space
that, more than any single picture,
may be the archetypal image
of 20th-century art.”

http://www.log24.com/log/pix09/090205-cube2x2x2.gif

“Space: what you
damn well have to see.”

— James Joyce, Ulysses  

« Newer PostsOlder Posts »

Powered by WordPress