Log24

Wednesday, March 6, 2019

The Relativity Problem and Burkard Polster

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

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

For some context, see Relativity Problem  in this journal.

In the case of PG(3,2), there is a choice of geometric models 
to be coordinatized: two such models are the traditional
tetrahedral model long promoted by Burkard Polster, and
the square model of Steven H. Cullinane.

The above Wikipedia section tacitly (and unfairly) assumes that
the model being coordinatized is the tetrahedral model. For
coordinatization of the square model, see (for instance) the webpage
Finite Relativity.

For comparison of the two models, see a figure posted here on
May 21, 2014 —

Labeling the Tetrahedral Model  (Click to enlarge) —

"Citation needed" —

The anonymous characters who often update the PG(3,2) Wikipedia article
probably would not consider my post of 2014, titled "The Tetrahedral
Model of PG(3,2)
," a "reliable source."

Monday, December 19, 2016

Tetrahedral Cayley-Salmon Model

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

The figure below is one approach to the exercise
posted here on December 10, 2016.

Tetrahedral model (minus six lines) of the large Desargues configuration

Some background from earlier posts —


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

Click the image below to enlarge it.

Polster's tetrahedral model of the small Desargues configuration

Wednesday, November 26, 2014

A Tetrahedral Fano-Plane Model

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

Update of Nov. 30, 2014 —

It turns out that the following construction appears on
pages 16-17 of A Geometrical Picture Book , by 
Burkard Polster (Springer, 1998).

"Experienced mathematicians know that often the hardest
part of researching a problem is understanding precisely
what that problem says. They often follow Polya's wise
advice: 'If you can't solve a problem, then there is an
easier problem you can't solve: find it.'"

—John H. Conway, foreword to the 2004 Princeton
Science Library edition of How to Solve It , by G. Polya

For a similar but more difficult problem involving the
31-point projective plane, see yesterday's post
"Euclidean-Galois Interplay."

The above new [see update above] Fano-plane model was
suggested by some 1998 remarks of the late Stephen Eberhart.
See this morning's followup to "Euclidean-Galois Interplay" 
quoting Eberhart on the topic of how some of the smallest finite
projective planes relate to the symmetries of the five Platonic solids.

Update of Nov. 27, 2014: The seventh "line" of the tetrahedral
Fano model was redefined for greater symmetry.

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, October 14, 2014

The Judas Seat

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

My own contribution to an event of the Mathematical Association of America:

Rick’s Tricky Six  and  The Judas Seat.

The Polster tetrahedral model of a finite geometry appears, notably,
in a Mathematics Magazine  article from April 2009—

IMAGE- Figure from article by Alex Fink and Richard Guy on how the symmetric group of degree 5 'sits specially' in the symmetric group of degree 6

Wednesday, April 14, 2021

Raiders of the Lost Coordinates . . .

Filed under: General — m759 @ 3:10 pm

Continues.

A pyramid scheme in memory of the late Bernie Madoff —

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

This is shown by . . .

See also “Profzi Scheme.”

* For some related work of the above “D. Mesner,” see
Mesner, D. (1967). “Sets of Disjoint Lines in PG(3, q),”
Canadian Journal of Mathematics, 19, 273-280.

Wednesday, February 26, 2020

“Perfect”

Filed under: General — Tags: — m759 @ 9:59 pm

Usage example —

(Click to enlarge.)

See also the previous post as well as PG(3,2),
Schoolgirl Space, and Tetrahedron vs. Square.

Sunday, July 7, 2019

Schoolgirl Problem

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

Anonymous remarks on the schoolgirl problem at Wikipedia —

"This solution has a geometric interpretation in connection with 
Galois geometry and PG(3,2). Take a tetrahedron and label its
vertices as 0001, 0010, 0100 and 1000. Label its six edge centers
as the XOR of the vertices of that edge. Label the four face centers
as the XOR of the three vertices of that face, and the body center
gets the label 1111. Then the 35 triads of the XOR solution correspond
exactly to the 35 lines of PG(3,2). Each day corresponds to a spread
and each week to a packing
."

See also Polster + Tetrahedron in this  journal.

There is a different "geometric interpretation in connection with
Galois geometry and PG(3,2)" that uses a square  model rather
than a tetrahedral  model. The square  model of PG(3,2) last
appeared in the schoolgirl-problem article on Feb. 11, 2017, just
before a revision that removed it.

Sunday, December 18, 2016

Two Models of the Small Desargues Configuration

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

Click image to enlarge.

Polster's tetrahedral model of the small Desargues configuration

See also the large  Desargues configuration in this journal.

Saturday, December 10, 2016

Folk Etymology

Images from Burkard Polster's Geometrical Picture Book

See as well in this journal the large  Desargues configuration, with
15 points and 20 lines instead of 10 points and 10 lines as above.

Exercise:  Can the large Desargues configuration be formed
by adding 5 points and 10 lines to the above Polster model
of the small configuration in such a way as to preserve
the small-configuration model's striking symmetry?  
(Note: The related figure below from May 21, 2014, is not
necessarily very helpful. Try the Wolfram Demonstrations
model
, which requires a free player download.)

Labeling the Tetrahedral Model (Click to enlarge) —

Related folk etymology (see point a  above) —

Related literature —

The concept  of "fire in the center" at The New Yorker , 
issue dated December 12, 2016, on pages 38-39 in the
poem by Marsha de la O titled "A Natural History of Light."

Cézanne's Greetings.

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.

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.

Wednesday, December 3, 2014

Pyramid Dance

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

Oslo artist Josefine Lyche has a new Instagram post,
this time on pyramids (the monumental kind).

My response —

Wikipedia's definition of a tetrahedron as a
"triangle-based pyramid"

and remarks from a Log24 post of August 14, 2013 :

Norway dance (as interpreted by an American)

IMAGE- 'The geometry of the dance' is that of a tetrahedron, according to Peter Pesic

I prefer a different, Norwegian, interpretation of "the dance of four."

Related material:
The clash between square and tetrahedral versions of PG(3,2).

See also some of Burkard Polster's triangle-based pyramids
and a 1983 triangle-based pyramid in a paper that Polster cites —

(Click image below to enlarge.)

Some other illustrations that are particularly relevant
for Lyche, an enthusiast of magic :

From On Art and Magic (May 5, 2011) —

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

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

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.

 

(Updated at about 7 PM ET on Dec. 3.)

Sunday, November 30, 2014

Two Physical Models of the Fano Plane

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

The Regular Tetrahedron

The seven symmetry axes of the regular tetrahedron
are of two types: vertex-to-face and edge-to-edge.
Take these axes as the "points" of a Fano plane.
Each of the tetrahedron's six reflection planes contains 
two vertex-to-face axes and one edge-to-edge axis.
Take these six planes as six of the "lines" of a Fano
plane. Then the seventh line is the set of three 
edge-to-edge axes.

(The Fano tetrahedron is not original with me.
See Polster's 1998 A Geometrical Picture Book pp. 16-17.)

The Cube

There are three reflection planes parallel to faces
of the cube. Take the seven nonempty subsets of
the set of these three planes as the "points" of a
Fano plane. Define the Fano "lines" as those triples
of these seven subsets in which each member of
the triple is the symmetric-difference sum of the 
other two members.

(This is the eightfold cube  discussed at finitegeometry.org.)

Wednesday, November 26, 2014

Class Act

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

Update of Nov. 30, 2014 —

For further information on the geometry in
the remarks by Eberhart below, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998). Polster
cites a different article by Lemay.

A search for background to the exercise in the previous post
yields a passage from the late Stephen Eberhart:

The first three primes p = 2, 3, and 5 therefore yield finite projective planes with 7, 13, and 31 points and lines, respectively. But these are just the numbers of symmetry axes of the five regular solids, as described in Plato's Timaeus : The tetrahedron has 4 pairs of face planes and corner points + 3 pairs of opposite edges, totalling 7 axes; the cube has 3 pairs of faces + 6 pairs of edges + 4 pairs of corners, totalling 13 axes (the octahedron simply interchanges the roles of faces and corners); and the pentagon dodecahedron has 6 pairs of faces + 15 pairs of edges + 10 pairs of corners, totalling 31 axes (the icosahedron again interchanging roles of faces and corners). This is such a suggestive result, one would expect to find it dealt with in most texts on related subjects; instead, while "well known to those who well know such things" (as Richard Guy likes to quip), it is scarcely to be found in the formal literature [9]. The reason for the common numbers, it turns out, is that the groups of symmetry motions of the regular solids are subgroups of the groups of collineations of the respective finite planes, a face axis being different from an edge axis of a regular solid but all points of a projective plane being alike, so the latter has more symmetries than the former.

[9] I am aware only of a series of in-house publications by Fernand Lemay of the Laboratoire de Didactique, Faculté des Sciences de I 'Éducation, Univ. Laval, Québec, in particular those collectively titled Genèse de la géométrie  I-X.

— Stephen Eberhart, Dept. of Mathematics,
California State University, Northridge, 
"Pythagorean and Platonic Bridges between
Geometry and Algebra," in BRIDGES: Mathematical
Connections in Art, Music, and Science 
, 1998,
archive.bridgesmathart.org/1998/bridges1998-121.pdf

Eberhart died of bone cancer in 2003. A memorial by his
high school class includes an Aug. 7, 2003, transcribed
letter from Eberhart to a classmate that ends…


… I earned MA’s in math (UW, Seattle) and history (UM, Missoula) where a math/history PhD program had been announced but canceled.  So 1984 to 2002 I taught math (esp. non-Euclidean geometry) at C.S.U. Northridge.  It’s been a rich life.  I’m grateful. 
 
Steve
 

See also another informative BRIDGES paper by Eberhart
on mathematics and the seven traditional liberal arts.

Tuesday, November 25, 2014

Euclidean-Galois Interplay

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

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

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

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

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

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

   The 3×3×3 Galois Cube 

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

Update of Nov. 30, 2014 —

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

Monday, November 5, 2012

Sitting Specially

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

Some webpages at finitegeometry.org discuss
group actions on Sylvester’s duads and synthemes.

Those pages are based on the square model of
PG(3,2) described in the 1980’s by Steven H. Cullinane.

A rival tetrahedral model of PG(3,2) was described
in the 1990’s by Burkard Polster.

Polster’s tetrahedral model appears, notably, in
a Mathematics Magazine  article from April 2009—

IMAGE- Figure from article by Alex Fink and Richard Guy on how the symmetric group of degree 5 'sits specially' in the symmetric group of degree 6

Click for a pdf of the article.

Related material:

The Religion of Cubism” (May 9, 2003) and “Art and Lies
(Nov. 16, 2008).

This  post was suggested by following the link in yesterday’s
Sunday School post  to High White Noon, and the link from
there to A Study in Art Education, which mentions the date of
Rudolf Arnheim‘s death, June 9, 2007. This journal
on that date

Cryptology

IMAGE- The ninefold square

— The Delphic Corporation

The Fink-Guy article was announced in a Mathematical
Association of America newsletter dated April 15, 2009.

Those who prefer narrative to mathematics may consult
a Log24 post from a few days earlier, “Where Entertainment is God”
(April 12, 2009), and, for some backstory, The Judas Seat
(February 16, 2007).

Friday, May 21, 2010

The Oslo Version

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

From an art exhibition in Oslo last year–

Image-- Josefine Lyche's combination of Polster's phrase with Cullinane's images in her gallery show, Oslo, 2009-- 'The Smallest Perfect Universe -- Points and Hyperplanes'

The artist's description above is not in correct left-to-right order.
Actually the hyperplanes above are at left, the points at right.

Compare to "Picturing the Smallest Projective 3-Space,"
a note of mine from April 26, 1986—

Image-- Points and hyperplanes in the finite 3-space PG(3,2), April 1986, by Cullinane

Click for the original full version.

Compare also to Burkard Polster's original use of
the phrase "the smallest perfect universe."

Polster's tetrahedral model of points and hyperplanes
is quite different from my own square version above.

See also Cullinane on Polster.

Here are links to the gallery press release
and the artist's own photos.

Sunday, April 25, 2004

Sunday April 25, 2004

Filed under: General,Geometry — m759 @ 3:31 pm

Small World

Added a note to 4×4 Geometry:

The 4×4 square model  lets us visualize the projective space PG(3,2) as well as the affine space AG(4,2).  For tetrahedral and circular models of PG(3,2), see the work of Burkard Polster.  The following is from an advertisement of a talk by Polster on PG(3,2).

The Smallest Perfect Universe

“After a short introduction to finite geometries, I’ll take you on a… guided tour of the smallest perfect universe — a complex universe of breathtaking abstract beauty, consisting of only 15 points, 35 lines and 15 planes — a space whose overall design incorporates and improves many of the standard features of the three-dimensional Euclidean space we live in….

Among mathematicians our perfect universe is known as PG(3,2) — the smallest three-dimensional projective space. It plays an important role in many core mathematical disciplines such as combinatorics, group theory, and geometry.”

— Burkard Polster, May 2001

Powered by WordPress