Log24

Monday, July 3, 2023

Latin Squares

Filed under: General — m759 @ 6:42 pm

This is the first colored  version of
the Diamond Theory cover
that I have done since 1976.

Friday, February 16, 2024

The Sixteen

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

Gemini Sonnet, Feb. 15, 2024

Prompt:

Write a poem, in strict sonnet form, about the Cullinane diamond theorem.

Response (slightly tweaked for grammar):

Within a grid of sixteen squares reside
A diamond's gleams where symmetries do guide.
Though tiles may shift, a pattern shall remain,
By unseen lines of ordered form sustained.
Rows mix and columns twist in playful dance,
Quadrants align with geometric chance.
No matter how the elements may turn,
A hidden balance always will return.

Where Latin squares in secret do align,
And finite fields their subtle powers combine,
An ideal forms, with brilliance all its own,
A ring of light where hidden truths are shown.
Though chaos swirls, an order does descend,
The Cullinane's bright theorem will transcend.

________________________________________________________________

As for "a hidden balance" See Oct. 10, 2022.

Tuesday, January 30, 2024

Cullinane Diamond Theorem:
The Latest Google Bard Version

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

Prompt:

What is the Cullinane diamond theorem?

Google Bard Response:

The Cullinane diamond theorem is a fascinating result in the realm of finite projective geometry and symmetry. It focuses on a specific pattern – the four-diamond figure – and reveals a surprising property about its transformations.

The Four-Diamond Figure:

Imagine a 4×4 grid filled with 16 small squares, half colored black and half white. Now, divide these squares diagonally into quarters, creating four diamonds with alternating black and white shades. This arrangement is the four-diamond figure.

_________________


[Clearly erroneous illustration with link to amazon.com
is omitted.]

_____________________

The Theorem:

The Cullinane diamond theorem states that no matter how you scramble this four-diamond figure by randomly shuffling rows, columns, and the four 2×2 quadrants, the resulting pattern will always exhibit some form of symmetry. This symmetry can come in two forms:

Ordinary symmetry: This is the familiar reflectional symmetry where a vertical or horizontal axis divides the pattern into mirrored halves.

Color-interchange symmetry: Here, the pattern has a diagonal axis where swapping the black and white colors results in the same image.

Intriguing Implications:

This statement might seem intuitive at first. After all, even with scrambling, some semblance of order should remain. However, the beauty of the Cullinane diamond theorem lies in its generality and the precise mathematical framework it provides for understanding these symmetries.

The theorem sheds light on the underlying structure of graphic patterns and connects them to concepts from finite projective geometry. This connection allows us to analyze and classify these patterns in a systematic way, revealing hidden connections and surprising symmetries.

Applications and Beyond:

The Cullinane diamond theorem has found applications in various areas, including:

Sporadic simple groups: The Miracle Octad Generator, used to study these rare and exceptional groups, relies on the symmetry properties outlined in the theorem.

Orthogonal Latin squares: The connection between orthogonal Latin squares and projective spreads can be understood through the lens of the Cullinane diamond theorem.

Walsh functions: The symmetry properties of Walsh functions, used in signal processing and coding theory, can be linked to the diamond patterns.

Understanding the Cullinane diamond theorem offers a deeper appreciation for the interplay between symmetry, geometry, and seemingly random patterns. It serves as a testament to the beauty and hidden order within the realm of mathematics.

Bard may display inaccurate info, including . . . .

[Exercise … Find any inaccurate information
in the Bard response above.]

Thursday, December 28, 2023

Basque Country Art Book

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

Book description at Amazon.com, translated by Google —

Las matemáticas como herramienta
de creación artística

Mathematics as a tool
for artistic creation

by Raúl Ibáñez Torres

Kindle edition in Spanish, 2023

Although the relationship between mathematics and art can be traced back to ancient times, mainly in geometric and technical aspects, it is with the arrival of the avant-garde and abstract art at the beginning of the 20th century that mathematics takes on greater and different relevance: as a source of inspiration and as a tool for artistic creation. Let us think, for example, of the importance of the fourth dimension for avant-garde movements or, starting with Kandisnky and later Max Bill and concrete art, the vindication of mathematical thinking in artistic creation. An idea that would have a fundamental influence on currents such as constructivism, minimalism, the fluxus movement, conceptual art, systematic art or optical art, among others. Following this approach, this book analyzes, through a variety of examples and activities, how mathematics is present in contemporary art as a creative tool. And it does so through five branches and the study of some of its mathematical topics: geometry (the Pythagorean theorem), topology (the Moebius strip), algebra (algebraic groups and matrices), combinatorics (permutations and combinations) and recreational mathematics (magic and Latin squares).

From the book ("Cullinane Diamond Theorem" heading and picture of
book's cover added) —

Publisher:Los Libros de La Catarata  (October 24, 2023)

Author: Raúl Ibáñez Torres, customarily known as Raúl Ibáñez

(Ibáñez does not mention Cullinane as the author of the above theorem
in his book (except indirectly, quoting Josefine Lyche), but he did credit
him fully in an earlier article, "The Truchet Tiles and the Diamond Puzzle"
(translation by Google).)

About Ibáñez (translated from Amazon.com by Google):

Mathematician, professor of Geometry at the University of the Basque Country
and scientific disseminator. He is part of the Chair of Scientific Culture of the
UPV/EHU and its blog Cuaderno de Cultura Cientifica. He has been a scriptwriter
and presenter of the program “Una de Mates” on the television program Órbita Laika.
He has collaborated since 2005 on the programs Graffiti and La mechanica del caracol
on Radio Euskadi. He has also been a collaborator and co-writer of the documentary
Hilos de tiempo (2020) about the artist Esther Ferrer. For 20 years he directed the
DivulgaMAT portal, Virtual Center for the Dissemination of Mathematics, and was a
member of the dissemination commission of the Royal Spanish Mathematical Society.
Author of several books, including The Secrets of Multiplication (2019) and
The Great Family of Numbers (2021), in the collection Miradas Matemáticas (Catarata).
He has received the V José María Savirón Prize for Scientific Dissemination
(national modality, 2010) and the COSCE Prize for the Dissemination of Science (2011).

Saturday, December 9, 2023

How Many  Magic Beans, Jack?

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

Two notes from this journal on December 2, 2023 —

A flashback for The November Man

As for " my own 'diamond theorem' " —

Question — "What is mathematician Steven H. Cullinane known for?"

From the Copilot response (shorn of footnotes) —

"Steven H. Cullinane is known for his work in finite geometry, particularly his Diamond Theorem. This theorem explains the surprising symmetry properties of some simple graphic designs, such as those found in quilts. It also provides a model for the 15 points, 35 lines, and 15 hyperplanes of the finite projective space PG (3,2).

Cullinane’s work underlies the structure of the 35 square patterns in R. T. Curtis’s Miracle Octad Generator. His theorem has applications to sporadic simple groups, the connection between orthogonal Latin squares and projective spreads, and the symmetry of Walsh functions."

Wednesday, December 6, 2023

“This, This!” *

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

Monday, July 3, 2023

Latin Squares

Filed under: General — m759 @ 6:42 pm

This is the first colored  version of
the Diamond Theory cover
that I have done since 1976.

 

 

Also on July 3, 2023 —

* See Parul Sehgal, "What We Learn from the Lives of Critics."

Saturday, December 2, 2023

My Work According to Copilot

Filed under: General — Tags: , , — m759 @ 7:05 am

Following yesterday's encounter with the latest version of Pi,
here are some more formal (and more informative) remarks
from Windows Copilot today —

Question — "What is mathematician Steven H. Cullinane known for?"

From the Copilot response (shorn of footnotes) —

"Steven H. Cullinane is known for his work in finite geometry, particularly his Diamond Theorem. This theorem explains the surprising symmetry properties of some simple graphic designs, such as those found in quilts. It also provides a model for the 15 points, 35 lines, and 15 hyperplanes of the finite projective space PG (3,2).

Cullinane’s work underlies the structure of the 35 square patterns in R. T. Curtis’s Miracle Octad Generator. His theorem has applications to sporadic simple groups, the connection between orthogonal Latin squares and projective spreads, and the symmetry of Walsh functions."

Saturday, March 26, 2022

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

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

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

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

Finite Geometry Notes — Summary Chart
 

Name Tag .Space .Group .Art
Box4

2×2 square representing the four-point finite affine geometry AG(2,2).

(Box4.space)

S4 = AGL(2,2)

(Box4.group)

 

(Box4.art)

Box6 3×2 (3-row, 2-column) rectangular array
representing the elements of an arbitrary 6-set.
S6  
Box8 2x2x2 cube or  4×2 (4-row, 2-column) array. S8 or Aor  AGL(3,2) of order 1344, or  GL(3,2) of order 168  
Box9 The 3×3 square. AGL(2,3) or  GL(2,3)  
Box12 The 12 edges of a cube, or  a 4×3  array for picturing the actions of the Mathieu group M12. Symmetries of the cube or  elements of the group M12  
Box13 The 13 symmetry axes of the cube. Symmetries of the cube.  
Box15 The 15 points of PG(3,2), the projective geometry
of 3 dimensions over the 2-element Galois field.
Collineations of PG(3,2)  
Box16 The 16 points of AG(4,2), the affine geometry
of 4 dimensions over the 2-element Galois field.

AGL(4,2), the affine group of 
322,560 permutations of the parts
of a 4×4 array (a Galois tesseract)

 
Box20 The configuration representing Desargues's theorem.    
Box21 The 21 points and 21 lines of PG(2,4).    
Box24 The 24 points of the Steiner system S(5, 8, 24).    
Box25 A 5×5 array representing PG(2,5).    
Box27 The 3-dimensional Galois affine space over the
3-element Galois field GF(3).
   
Box28 The 28 bitangents of a plane quartic curve.    
Box32 Pair of 4×4 arrays representing orthogonal 
Latin squares.
Used to represent
elements of AGL(4,2)
 
Box35 A 5-row-by-7-column array representing the 35
lines in the finite projective space PG(3,2)
PGL(3,2), order 20,160  
Box36 Eurler's 36-officer problem.    
Box45 The 45 Pascal points of the Pascal configuration.    
Box48 The 48 elements of the group  AGL(2,3). AGL(2,3).  
Box56

The 56 three-sets within an 8-set or
56 triangles in a model of Klein's quartic surface or
the 56 spreads in PG(3,2).

   
Box60 The Klein configuration.    
Box64 Solomon's cube.    

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

Monday, April 29, 2019

The Hustvedt Array

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

For Harlan Kane

"This time-defying preservation of selves,
this dream of plenitude without loss,
is like a snow globe from heaven,
a vision of Eden before the expulsion."

— Judith Shulevitz on Siri Hustvedt in
The New York Times  Sunday Book Review
of March 31, 2019, under the headline
"The Time of Her Life."

Edenic-plenitude-related material —

"Self-Blazon… of Edenic Plenitude"

(The Issuu text is taken from Speaking about Godard , by Kaja Silverman
and Harun Farocki, New York University Press, 1998, page 34.)

Preservation-of-selves-related material —

Other Latin squares (from October 2018) —

Friday, November 30, 2018

Latin-Square Structure

Filed under: G-Notes,General,Geometry — m759 @ 2:56 am

Continued from March 13, 2011

"…as we saw, there are two different Latin squares of order 4…."
— Peter J. Cameron, "The Shrikhande Graph," August 26, 2010

Cameron counts Latin squares as the same if they are isotopic .
Some further context for Cameron's remark—

A new website illustrates a different approach to Latin squares of order 4 —

https://shc7596.wixsite.com/website .

Thursday, October 19, 2017

Design Grammar***

Filed under: G-Notes,General,Geometry — Tags: — m759 @ 10:22 pm

The elementary shapes at the top of the figure below mirror
the looking-glass property  of the classical Lo Shu square.

The nine shapes at top left* and their looking-glass reflection
illustrate the looking-glass reflection relating two orthogonal
Latin squares over the three digits of modulo-three arithmetic.

Combining these two orthogonal Latin squares,** we have a
representation in base three of the numbers from 0 to 8.

Adding 1 to each of these numbers yields the Lo Shu square.

Mirror symmetry of the ninefold Lo Shu magic square

* The array at top left is from the cover of
Wonder Years:
Werkplaats Typografie 1998-2008
.

** A well-known construction.

*** For other instances of what might be
called "design grammar" in combinatorics,
see a slide presentation by Robin Wilson.
No reference to the work of Chomsky is
intended.

Tuesday, October 17, 2017

Plan 9 Continues

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

See also Holy Field in this journal.

Some related mathematics —

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

Analysis of the Lo Shu structure —

Structure of the 3×3 magic square:

4  9  2
3  5  7    decreased by 1 is
8  1  6

3  8  1
2  4  6
7  0  5

In base 3 —

10  22  01
02  11  20
21  00  12

As orthogonal Latin squares
(a well-known construction) —

1  2  0     0  2  1
0  1  2     2  1  0
2  0  1     1  0  2 .

— Steven H. Cullinane,
October 17, 2017

Monday, October 16, 2017

Highway 61 Revisited

Filed under: G-Notes,General,Geometry — Tags: , , , — m759 @ 10:13 am

"God said to Abraham …." — Bob Dylan, "Highway 61 Revisited"

Related material — 

See as well Charles Small, Harvard '64, 
"Magic Squares over Fields" —

— and Conway-Norton-Ryba in this  journal.

Some remarks on an order-five  magic square over GF(52):

"Ultra Super Magic Square"

on the numbers 0 to 24:

22   5   18   1  14
  3  11  24   7  15
  9  17   0  13  21
10  23   6  19   2
16   4  12  20   8

Base-5:

42  10  33  01  24 
03  21  44  12  30 
14  32  00  23  41
20  43  11  34  02
31  04  22  40  13 

Regarding the above digits as representing
elements of the vector 2-space over GF(5)
(or the vector 1-space over GF(52)) 

All vector row sums = (0, 0)  (or 0, over GF(52)).
All vector column sums = same.

Above array as two
orthogonal Latin squares:
   
4 1 3 0 2     2 0 3 1 4
0 2 4 1 3     3 1 4 2 0 
1 3 0 2 4     4 2 0 3 1         
2 4 1 3 0     0 3 1 4 2
3 0 2 4 1     1 4 2 0 3

— Steven H. Cullinane,
      October 16, 2017

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

Saturday, February 1, 2014

The Delft Version

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

My webpage "The Order-4 Latin Squares" has a rival—

"Latin squares of order 4: Enumeration of the
 24 different 4×4 Latin squares. Symmetry and
 other features."

The author — Yp de Haan, a professor emeritus of
materials science at Delft University of Technology —

The main difference between de Haan's approach and my own
is my use of the four-color decomposition theorem, a result that
I discovered in 1976.  This would, had de Haan known it, have
added depth to his "symmetry and other features" remarks.

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 .

Thursday, August 2, 2012

Logos

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

(Continued from December 26th, 2011)

IMAGE- Current math.stackexchange.com logo and a 1984 figure from 'Notes on Groups and Geometry, 1978-1986'

Some material at math.stackexchange.com related to
yesterday evening's post on Elementary Finite Geometry

Questions on this topic have recently been
discussed at Affine plane of order 4? and at
Turning affine planes into projective planes.

(For a better discussion of the affine plane of order 4,
see Affine Planes and Mutually Orthogonal Latin Squares
at the website of William Cherowitzo, professor at UC Denver.)

Friday, August 19, 2011

Geezer Puzzle

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

An RSS item today—

Peter Cameron Diamond squares Fri Aug 19, 2011 05:36 [EDT] from Peter Cameron by Peter Cameron

If you like Latin squares and such things, take a look at Diamond Geezer’s post for today: a pair of orthogonal Latin squares with two disjoint common transversals, and some entries given (if you do the harder puzzle).

 

The post referred to—

http://www.log24.com/log/pix11B/110819-DiamondGeezerPuzzle.jpg

"This Jack, joke, poor potsherd, ' patch, matchwood, immortal diamond,
                Is immortal diamond." —Gerard Manley Hopkins, Society of Jesus

Those now celebrating the Catholic Church's "World Youth" week in Madrid
may prefer a related puzzle for younger and nimbler minds:

The Diamond 16 Puzzle.

Sunday, March 13, 2011

The Counter

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

"…as we saw, there are two different Latin squares of order 4…."
— Peter J. Cameron, "The Shrikhande Graph," August 26, 2010

Cameron counts Latin squares as the same if they are isotopic .
Some further context for Cameron's remark—

Cover Illustration Number 1 (1976):

http://www.log24.com/log/pix11/110122-DiamondTheoryCover.jpg

Cover Illustration Number 2 (1991):

http://www.log24.com/log/pix11/110313-CombinatorialMatrixTheorySm.jpg

   The Shrikhande Graph

http://www.log24.com/log/pix11/110313-BrualdiRyser153.jpg

______________________________________________________________________________

This post was prompted by two remarks…

1.  In a different weblog, also on August 26, 2010—

    The Accidental Mathematician— "The Girl Who Played with Fermat's Theorem."

"The worst thing about the series is the mathematical interludes in The Girl Who Played With Fire….

Salander is fascinated by a theorem on perfect numbers—
one can verify it for as many numbers as one wishes, and it never fails!—
and then advances through 'Archimedes, Newton, Martin Gardner,*
and a dozen other classical mathematicians,' all the way to Fermat’s last theorem."

2.  "The fact that the pattern retains its symmetry when you permute the rows and columns
     is very well known to combinatorial theorists who work with matrices."
     [My italics; note resemblance to the Brualdi-Ryser title above.]

     –Martin Gardner in 1976 on the diamond theorem

* Compare Eric Temple Bell (as quoted at the MacTutor history of mathematics site)—

    "Archimedes, Newton, and Gauss, these three, are in a class by themselves
     among the great mathematicians, and it is not for ordinary mortals
     to attempt to range them in order of merit."

     This is from the chapter on Gauss in Men of Mathematics .

Friday, March 11, 2011

Table Talk

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

The following was suggested by a link within this evening's earlier Kane site link.

Peter J. Cameron's weblog on August 26, 2010

A Latin square  of order n  is a n × n  array with entries from the symbol set {1, 2, …, n }, such that each symbol occurs once in each row and once in each column. Now it is not hard to show that, up to permutations of the rows, columns and symbols, there are only two Latin squares of order 4:

1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3

 Some related literary remarks—

Proginoskes and Latin Squares.

See also "It was a perfectly ordinary night at Christ's high table…."

Saturday, February 5, 2011

Cover Art

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

Click to enlarge

http://www.log24.com/log/pix11/110205-LatinSquaresOfTrianglesSm.jpg

This updates a webpage on the 4×4 Latin squares.

Saturday, January 22, 2011

High School Squares*

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

The following is from the weblog of a high school mathematics teacher—

http://www.log24.com/log/pix11/110121-LatinSquares4x4.jpg

This is related to the structure of the figure on the cover of the 1976 monograph Diamond Theory

http://www.log24.com/log/pix11/110122-DiamondTheoryCover.jpg

Each small square pattern on the cover is a Latin square,
with elements that are geometric figures rather than letters or numerals.
All order-four Latin squares are represented.

For a deeper look at the structure of such squares, let the high-school
chart above be labeled with the letters A through X, and apply the
four-color decomposition theorem.  The result is 24 structural diagrams—

    Click to enlarge

IMAGE- The Order-4 (4x4) Latin Squares

Some of the squares are structurally congruent under the group of 8 symmetries of the square.

This can be seen in the following regrouping—

   Click to enlarge

IMAGE- The Order-4 (4x4) Latin Squares, with Congruent Squares Adjacent

      (Image corrected on Jan. 25, 2011– "seven" replaced "eight.")

* Retitled "The Order-4 (i.e., 4×4) Latin Squares" in the copy at finitegeometry.org/sc.

Thursday, August 26, 2010

Home from Home continued

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

Or— Childhood's Rear End

This post was suggested by…

  1. Today's New York Times
    "For many artists Electric Lady has become a home away from home…. For Jimmy Page the personal imprimaturs of Hendrix and Mr. Kramer made all the difference when Led Zeppelin mixed parts of 'Houses of the Holy' there in 1972."
  2. The album cover pictures for "Houses of the Holy"
  3. Boleskine House, home to Aleister Crowley and (occasionally) to Jimmy Page.

Related material:

The Zeppelin album cover, featuring rear views of nude children, was shot at the Giant's Causeway.

From a page at led-zeppelin.org—

http://www.log24.com/log/pix10B/100826-Causeway.jpg

See also Richard Rorty on Heidegger

Safranski, the author of ''Schopenhauer and the Wild Years of Philosophy,'' never steps back and pronounces judgment on Heidegger, but something can be inferred from the German title of his book: ''Ein Meister aus Deutschland'' (''A Master From Germany''). Heidegger was, undeniably, a master, and was very German indeed. But Safranski's spine-chilling allusion is to Paul Celan's best-known poem, ''Death Fugue.'' In Michael Hamburger's translation, its last lines are:

death is a master from Germany his eyes are blue
he strikes you with leaden bullets his aim is true
a man lives in the house your golden hair Margarete
he sets his pack on us he grants us a grave in the air
he plays with the serpents and daydreams death is a master from Germany

your golden hair Margarete
your ashen hair Shulamith.

No one familiar with Heidegger's work can read Celan's poem without recalling Heidegger's famous dictum: ''Language is the house of Being. In its home man dwells.'' Nobody who makes this association can reread the poem without having the images of Hitler and Heidegger — two men who played with serpents and daydreamed — blend into each other. Heidegger's books will be read for centuries to come, but the smell of smoke from the crematories — the ''grave in the air'' — will linger on their pages.

Heidegger is the antithesis of the sort of philosopher (John Stuart Mill, William James, Isaiah Berlin) who assumes that nothing ultimately matters except human happiness. For him, human suffering is irrelevant: philosophy is far above such banalities. He saw the history of the West not in terms of increasing freedom or of decreasing misery, but as a poem. ''Being's poem,'' he once wrote, ''just begun, is man.''

For Heidegger, history is a sequence of ''words of Being'' — the words of the great philosophers who gave successive historical epochs their self-image, and thereby built successive ''houses of Being.'' The history of the West, which Heidegger also called the history of Being, is a narrative of the changes in human beings' image of themselves, their sense of what ultimately matters. The philosopher's task, he said, is to ''preserve the force of the most elementary words'' — to prevent the words of the great, houses-of-Being-building thinkers of the past from being banalized.

Related musical meditations—

Shine On (Saturday, April 21, 2007), Shine On, Part II, and Built (Sunday, April 22, 2007).

Related pictorial meditations—

http://www.log24.com/log/pix10B/100826-CameronBlog.jpg

The Giant's Causeway at Peter J. Cameron's weblog

and the cover illustration for Diamond Theory (1976)—

http://www.log24.com/log/pix10B/100826-CoverArt.jpg

The connection between these two images is the following from Cameron's weblog today

… as we saw, there are two different Latin squares of order 4;
one, but not the other, can be extended to a complete set
of 3 MOLS [mutually orthogonal Latin squares].

The underlying structures of the square pictures in the Diamond Theory cover are those of the two different Latin squares of order 4 mentioned by Cameron.

Connection with childhood—

The children's book A Wind in the Door, by Madeleine L'Engle. See math16.com. L'Engle's fantasies about children differ from those of Arthur C. Clarke and Led Zeppelin.

Tuesday, October 3, 2006

Tuesday October 3, 2006

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

Serious

"I don't think the 'diamond theorem' is anything serious, so I started with blitzing that."

Charles Matthews at Wikipedia, Oct. 2, 2006

"The 'seriousness' of a mathematical theorem lies, not in its practical consequences, which are usually negligible, but in the significance of the mathematical ideas which it connects. We may say, roughly, that a mathematical idea is 'significant' if it can be connected, in a natural and illuminating way, with a large complex of other mathematical ideas."

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

Matthews yesterday deleted references to the diamond theorem and related material in the following Wikipedia articles:

Affine group‎
Reflection group‎
Symmetry in mathematics‎
Incidence structure‎
Invariant (mathematics)‎
Symmetry‎
Finite geometry‎
Group action‎
History of geometry‎

This would appear to be a fairly large complex of mathematical ideas.

See also the following "large complex" cited, following the above words of Hardy, in Diamond Theory:

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, design theory, duads, duality, error correcting codes, exceptional groups, 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 schoolgirl problem, Latin squares, Leech lattice, linear groups, linear spaces, linear transformations, Mathieu groups, matrix theory, Meno, Miracle Octad Generator, MOG, multiply transitive groups, octads, the octahedral group, orthogonal arrays, outer automorphisms, parallelisms, partial geometries, permutation groups, PG(3,2), polarities, Polya-Burnside theorem, projective geometry, projective planes, projective spaces, projectivities, Reed-Muller codes, the relativity problem, Singer cycle, skew lines,  sporadic simple groups, Steiner systems, symmetric, symmetry, symplectic, synthemes, synthematic, tesseract, transvections, Walsh functions, Witt designs.

Monday, January 9, 2006

Monday January 9, 2006

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

“In 1782, the Swiss mathematician Leonhard Euler posed a problem whose mathematical content at the time seemed about as much as that of a parlor puzzle. 178 years passed before a complete solution was found; not only did it inspire a wealth of mathematics, it is now a cornerstone of modern design theory.”

— Dean G. Hoffman, Auburn U.,
    July 2001 Rutgers talk

Diagrams from Dieter Betten’s 1983 proof
of the nonexistence of two orthogonal
6×6 Latin squares (i.e., a proof
of Tarry’s 1900 theorem solving
Euler’s 1782 problem of the 36 officers):

The image “http://www.log24.com/log/pix06/060109-TarryProof.gif” cannot be displayed, because it contains errors.

Compare with the partitions into
two 8-sets of the 4×4 Latin squares
discussed in my 1978 note (pdf).

Tuesday, August 16, 2005

Tuesday August 16, 2005

Filed under: General — m759 @ 12:07 pm

Narrative and Latin Squares

From The Independent, 15 August 2005:

“Millions of people now enjoy Sudoku puzzles. Forget the pseudo-Japanese baloney: sudoku grids are a version of the Latin Square created by the great Swiss mathematician Leonhard Euler in the late 18th century.”

The Independent
was discussing the conference on “Mathematics and Narrative” at Mykonos in July.

From the Wikipedia article on Latin squares:

“The popular Sudoku puzzles are a special case of Latin squares; any solution to a Sudoku puzzle is a Latin square. Sudoku imposes the additional restriction that 3×3 subgroups must also contain the digits 1–9 (in the standard version).

The Diamond 16 Puzzle illustrates a generalized concept of Latin-square orthogonality: that of “orthogonal squares” (Diamond Theory, 1976) or “orthogonal matrices”– orthogonal, that is, in a combinatorial, not a linear-algebra sense (A. E. Brouwer, 1991).”

This last paragraph, added to Wikipedia on Aug. 14,  may or may not survive the critics there.

Wednesday, May 4, 2005

Wednesday May 4, 2005

Filed under: General,Geometry — Tags: , , — m759 @ 1:00 pm
The Fano Plane
Revisualized:

 

 The Eightfold Cube

or, The Eightfold Cube

Here is the usual model of the seven points and seven lines (including the circle) of the smallest finite projective plane (the Fano plane):
 
The image “http://www.log24.com/theory/images/Fano.gif” cannot be displayed, because it contains errors.
 

Every permutation of the plane's points that preserves collinearity is a symmetry of the  plane.  The group of symmetries of the Fano plane is of order 168 and is isomorphic to the group  PSL(2,7) = PSL(3,2) = GL(3,2). (See Cameron on linear groups (pdf).)

The above model indicates with great clarity six symmetries of the plane– those it shares with the equilateral triangle.  It does not, however, indicate where the other 162 symmetries come from.  

Shown below is a new model of this same projective plane, using partitions of cubes to represent points:

 

Fano plane with cubes as points
 
The cubes' partitioning planes are added in binary (1+1=0) fashion.  Three partitioned cubes are collinear if and only if their partitioning planes' binary sum equals zero.

 

The second model is useful because it lets us generate naturally all 168 symmetries of the Fano plane by splitting a cube into a set of four parallel 1x1x2 slices in the three ways possible, then arbitrarily permuting the slices in each of the three sets of four. See examples below.

 

Fano plane group - generating permutations

For a proof that such permutations generate the 168 symmetries, see Binary Coordinate Systems.

 

(Note that this procedure, if regarded as acting on the set of eight individual subcubes of each cube in the diagram, actually generates a group of 168*8 = 1,344 permutations.  But the group's action on the diagram's seven partitions of the subcubes yields only 168 distinct results.  This illustrates the difference between affine and projective spaces over the binary field GF(2).  In a related 2x2x2 cubic model of the affine 3-space over GF(2) whose "points" are individual subcubes, the group of eight translations is generated by interchanges of parallel 2x2x1 cube-slices.  This is clearly a subgroup of the group generated by permuting 1x1x2 cube-slices.  Such translations in the affine 3-space have no effect on the projective plane, since they leave each of the plane model's seven partitions– the "points" of the plane– invariant.)

To view the cubes model in a wider context, see Galois Geometry, Block Designs, and Finite-Geometry Models.

 

For another application of the points-as-partitions technique, see Latin-Square Geometry: Orthogonal Latin Squares as Skew Lines.

For more on the plane's symmetry group in another guise, see John Baez on Klein's Quartic Curve and the online book The Eightfold Way.  For more on the mathematics of cubic models, see Solomon's Cube.

 

For a large downloadable folder with many other related web pages, see Notes on Finite Geometry.

Saturday, August 28, 2004

Saturday August 28, 2004

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

History of Mathematics

“… mathematicians often treat history with contempt (unsullied by any practice or even knowledge of it, of course).”

The Rainbow of Mathematics

On the history of the relationship between orthogonality (in the Latin-square sense) and skewness (in the projective-space sense)–

See the newly updated

Orthogonal Latin Squares as Skew Lines.

Tuesday, January 20, 2004

Tuesday January 20, 2004

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

Screenshot

A search on “vult decipi” at about
3:40 AM today yielded the following, from
 http://www.sacklunch.net/Latin/P/
populusvultdecipidecipiatur.html

The ad for “Geometry of Latin Squares,”
my own. is in direct competition with
Jesus Loves You.”
Good luck, Latin squares.

Friday, March 21, 2003

Friday March 21, 2003

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

ART WARS:

Readings for Bach's Birthday

Larry J. Solomon:

Symmetry as a Compositional Determinant,
Chapter VIII: New Transformations

In Solomon's work, a sequence of notes is represented as a set of positions within a Latin square:

Transformations of the Latin square correspond to transformations of the musical notes.  For related material, see The Glass Bead Game, by Hermann Hesse, and Charles Cameron's sites on the Game.

Steven H. Cullinane:

Orthogonal Latin Squares as Skew Lines, and

Map Systems

Dorothy Sayers:

"The function of imaginative speech is not to prove, but to create–to discover new similarities, and to arrange them to form new entities, to build new self-consistent worlds out of the universe of undifferentiated mind-stuff." (Christian Letters to a Post-Christian World, Grand Rapids: Eerdmans, 1969, p. xiii)

— Quoted by Timothy A. Smith, "Intentionality and Meaningfulness in Bach's Cyclical Works"

Edward Sapir:

"…linguistics has also that profoundly serene and satisfying quality which inheres in mathematics and in music and which may be described as the creation out of simple elements of a self-contained universe of forms.  Linguistics has neither the sweep nor the instrumental power of mathematics, nor has it the universal aesthetic appeal of music.  But under its crabbed, technical, appearance there lies hidden the same classical spirit, the same freedom in restraint, which animates mathematics and music at their purest."

 "The Grammarian and his Language,"
American Mercury 1:149-155, 1924

Saturday, July 20, 2002

Saturday July 20, 2002

 

ABSTRACT: Finite projective geometry explains the surprising symmetry properties of some simple graphic designs– found, for instance, in quilts. Links are provided for applications to sporadic simple groups (via the "Miracle Octad Generator" of R. T. Curtis), to the connection between orthogonal Latin squares and projective spreads, and to symmetry of Walsh functions.

We regard the four-diamond figure D above as a 4×4 array of two-color diagonally-divided square tiles.

Let G be the group of 322,560 permutations of these 16 tiles generated by arbitrarily mixing random permutations of rows and of columns with random permutations of the four 2×2 quadrants.

THEOREM: Every G-image of D (as at right, below) has some ordinary or color-interchange symmetry.

Example:


For an animated version, click here.

Remarks:

Some of the patterns resulting from the action of G on D have been known for thousands of years. (See Jablan, Symmetry and Ornament, Ch. 2.6.) It is perhaps surprising that the patterns' interrelationships and symmetries can be explained fully only by using mathematics discovered just recently (relative to the patterns' age)– in particular, the theory of automorphism groups of finite geometries.

Using this theory, we can summarize the patterns' properties by saying that G is isomorphic to the affine group A on the linear 4-space over GF(2) and that the 35 structures of the 840 = 35 x 24 G-images of D are isomorphic to the 35 lines in the 3-dimensional projective space over GF(2).

This can be seen by viewing the 35 structures as three-sets of line diagrams, based on the three partitions of the four-set of square two-color tiles into two two-sets, and indicating the locations of these two-sets of tiles within the 4×4 patterns. The lines of the line diagrams may be added in a binary fashion (i.e., 1+1=0). Each three-set of line diagrams sums to zero– i.e., each diagram in a three-set is the binary sum of the other two diagrams in the set. Thus, the 35 three-sets of line diagrams correspond to the 35 three-point lines of the finite projective 3-space PG(3,2).

For example, here are the line diagrams for the figures above:

 
Shown below are the 15 possible line diagrams resulting from row/column/quadrant permutations. These 15 diagrams may, as noted above, be regarded as the 15 points of the projective 3-space PG(3,2).


The symmetry of the line diagrams accounts for the symmetry of the two-color patterns. (A proof shows that a 2nx2n two-color triangular half-squares pattern with such line diagrams must have a 2×2 center with a symmetry, and that this symmetry must be shared by the entire pattern.)

Among the 35 structures of the 840 4×4 arrays of tiles, orthogonality (in the sense of Latin-square orthogonality) corresponds to skewness of lines in the finite projective space PG(3,2). This was stated by the author in a 1978 note. (The note apparently had little effect. A quarter-century later, P. Govaerts, D. Jungnickel, L. Storme, and J. A. Thas wrote that skew (i.e., nonintersecting) lines in a projective space seem "at first sight not at all related" to orthogonal Latin squares.)

We can define sums and products so that the G-images of D generate an ideal (1024 patterns characterized by all horizontal or vertical "cuts" being uninterrupted) of a ring of 4096 symmetric patterns. There is an infinite family of such "diamond" rings, isomorphic to rings of matrices over GF(4).

The proof uses a decomposition technique for functions into a finite field that might be of more general use.

The underlying geometry of the 4×4 patterns is closely related to the Miracle Octad Generator of R. T. Curtis– used in the construction of the Steiner system S(5,8,24)– and hence is also related to the Leech lattice, which, as Walter Feit has remarked, "is a blown up version of S(5,8,24)."

For a movable JavaScript version of these 4×4 patterns, see The Diamond 16 Puzzle.

The above is an expanded version of Abstract 79T-A37, "Symmetry invariance in a diamond ring," by Steven H. Cullinane, Notices of the American Mathematical Society, February 1979, pages A-193, 194.

For a discussion of other cases of the theorem, click here.

Related pages:

The Diamond 16 Puzzle

Diamond Theory in 1937:
A Brief Historical Note

Notes on Finite Geometry

Geometry of the 4×4 Square

Binary Coordinate Systems

The 35 Lines of PG(3,2)

Map Systems:
Function Decomposition over a Finite Field

The Diamond Theorem–
The 2×2, the 2x2x2, the 4×4, and the 4x4x4 Cases

Diamond Theory

Latin-Square Geometry

Walsh Functions

Inscapes

The Diamond Theory of Truth

Geometry of the I Ching

Solomon's Cube and The Eightfold Way

Crystal and Dragon in Diamond Theory

The Form, the Pattern

The Grid of Time

Block Designs

Finite Relativity

Theme and Variations

Models of Finite Geometries

Quilt Geometry

Pattern Groups

The Fano Plane Revisualized,
or the Eightfold Cube

The Miracle Octad Generator

Kaleidoscope

Visualizing GL(2,p)

Jung's Imago

Author's home page

AMS Mathematics Subject Classification:

20B25 (Group theory and generalizations :: Permutation groups :: Finite automorphism groups of algebraic, geometric, or combinatorial structures)

05B25 (Combinatorics :: Designs and configurations :: Finite geometries)

51E20 (Geometry :: Finite geometry and special incidence structures :: Combinatorial structures in finite projective spaces)



Creative Commons License
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License
.

Page created Jan. 6, 2006, by Steven H. Cullinane      diamondtheorem.com

 

Initial Xanga entry.  Updated Nov. 18, 2006.

Powered by WordPress