Log24

(Continued)

A post of July 7, Haiku for DeLillo, had a link to posts tagged "Holy Field GF(3)."

As the smallest Galois field based on an odd prime, this structure 
clearly is of fundamental importance.  

It is, however, perhaps too  small  to be visually impressive.

A larger, closely related, field, GF(9), may be pictured as a 3×3 array…

… hence as the traditional Chinese  Holy Field.

Marketing the Holy Field

The above illustration of China's  Holy Field occurred in the context of
Log24 posts on Child Buyers.   For more on child buyers, see an excellent
condemnation today by Diane Ravitch of the U. S. Secretary of Education.

Holy Saturday is, according to tradition, the day of 
the harrowing of Hell.

Notes:

The above passage on "Die Figuren der vier Modi
im Magischen Quadrat " should be read in the context of
a Log24 post from last year's Devil's Night (the night of
October 30-31).  The post, "Structure," indicates that, using
the transformations of the diamond theorem, the notorious
"magic" square of Albrecht Dürer may be transformed
into normal reading order.  That order is only one of
322,560 natural reading orders for any 4×4 array of
symbols. The above four "modi" describe another.

The following figure, intended to display as
a black diamond, was produced with
HTML and Unicode characters. Depending
on the technology used to view it, the figure
may contain gaps or overlaps.

Some variations:

Such combined Unicode characters —

◢  black lower right triangle,
◣  black lower left triangle,
᭘  black upper left triangle,
᭙  black upper right triangle 

— might be used for a text-only version of the Diamond 16 Puzzle
that is more easily programmed than the current version.

The tricky part would be coding the letter-spacing and
line-height to avoid gaps or overlaps within the figures in
a variety of browsers. The w3.org visual formatting model
may or may not be helpful here.

Update of 11:20 PM ET March 15, 2015 — 
Seekers of simplicity should note that there is
a simple program in the Processing.js  language, not  using
such Unicode characters, that shows many random affine
permutations of a 4×4 diamond-theorem array when the
display window is clicked.

An image that led off the year-end review yesterday in
the weblog of British combinatorialist Peter J. Cameron:

See also this  weblog's post final post of 2014,
with a rectangular array illustrating the six faces
of a die, and Cameron's reference yesterday to
a die-related post…

"The things on my blog that seem to be
of continuing value are the expository
series like the one on the symmetric group
(the third post in this series was reblogged
by Gil Kalai last month, which gave it a new
lease of life)…."

A tale from an author of Prague:

See also a passage quoted in this  weblog on the original
date of Cameron's Prague image, July 26, 2014 —

"The philosopher Graham Harman is invested in
re-thinking the autonomy of objects and is part 
of a movement called Object-Oriented-Philosophy
(OOP)." — From “The Action of Things,” a 2011
M.A. thesis at the Center for Curatorial Studies,
Bard College, by Manuela Moscoso 

— in the context of a search here for the phrase
     "structure of the object." An image from that search:

For readers of The Daily Princetonian :

(From a site advertised in the
Princetonian  on March 11, 2013)

For readers of The Harvard Crimson :

For some background, see Crimson Easter Egg and the Diamond 16 Puzzle.

For some (very loosely) related narrative, see Crosswicks in this journal
and the Crosswicks Curse  in a new novel by Joyce Carol Oates.

"There is  such a thing as a tesseract."
— Crosswicks author Madeleine L'Engle

(Continued from previous TARDIS posts)

Summary: A review of some  posts from last August is suggested by the death,
reportedly during the dark hours early on October 30, of artist Lebbeus Woods.

An (initially unauthorized) appearance of his work in the 1995 film
Twelve Monkeys …

 … suggests a review of three posts from last August.

"It was a dark and stormy night."— A Wrinkle in Time

On Robert A. Heinlein's novel Glory Road—

"Glory Road  (1963) included the foldbox , a hyperdimensional packing case that was bigger inside than outside. It is unclear if Glory Road  was influenced by the debut of the science fiction television series Doctor Who  on the BBC that same year. In Doctor Who , the main character pilots a time machine called a TARDIS, which is built with technology which makes it 'dimensionally transcendental,' that is, bigger inside than out."

— Todd, Tesseract article at exampleproblems.com

From the same exampleproblems.com article—

"The connection pattern of the tesseract's vertices is the same as that of a 4×4 square array drawn on a torus; each cell (representing a vertex of the tesseract) is adjacent to exactly four other cells. See geometry of the 4×4 square."

For further details, see today's new page on vertex adjacency at finitegeometry.org.

(Continued from Part I and Part II.)

The paper excerpted below supplies some badly needed technical
background for the Wikipedia article on functional decomposition.

The preprint above gives the precise definitions and technical references
that are completely absent from Wikipedia's Functional decomposition.

For some related material on 4×4 arrays like those in the above figure
see Decomposition Part I and Geometry of the 4×4 Square.

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—

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?]

"In any geometry satisfying Pappus's Theorem,
the four pairs of opposite points of 8₃
are joined by four concurrent lines."
— H. S. M. Coxeter (see below)

Continued from Tuesday, Sept. 6—

A search for some background on Gian-Carlo Rota's remarks
in Indiscrete Thoughts * on a geometric configuration
leads to the following passages in Hilbert and Cohn-Vossen's
classic Geometry and the Imagination—

These authors describe the Brianchon-Pascal configuration
of 9 points and 9 lines, with 3 points on each line
and 3 lines through each point, as being
"the most important configuration of all geometry."

Thus it seems worthwhile to relate it to the web page
on square configurations referenced here Tuesday.

The Encyclopaedia of Mathematics , ed. by Michiel Hazewinkel,
supplies a summary of the configuration apparently
derived from Hilbert and Cohn-Vossen—

My own annotation at right above shows one way to picture the
Brianchon-Pascal points and lines— regarded as those of a finite,
purely combinatorial , configuration— as subsets of the nine-point
square array discussed in Configurations and Squares. The
rearrangement of points in the square yields lines that are in
accord with those in the usual square picture of the 9-point
affine plane.

A more explicit picture—

The Brianchon-Pascal configuration is better known as Pappus's  configuration,
and a search under that name will give an idea of its importance in geometry.

* Birkhäuser Boston, 1998 2nd printing, p. 145

A Quilt Version—

A Mathematical Version—

Related remarks —

• Sunday's Log24 post Cuatro Vientos  on Jack Kerouac
• The phrase dies natalis  in Log24
• Another weblog in 2004 on the dies natalis  of Jack Kerouac.
  That weblog gives the dies  as Oct. 20, but other sources
   say  Kerouac died at 5:15 AM on Oct. 21.
• A Log24 post on Oct. 20 last year related to the Oct. 21 date.

For the eight-limbed star at the top of the quaternion array above,
see "Damnation Morning" in this journal—

She drew from her handbag a pale grey gleaming implement
that looked by quick turns to me like a knife, a gun, a slim
sceptre, and a delicate branding iron—especially when its
tip sprouted an eight-limbed star of silver wire.

“The test?” I faltered, staring at the thing.

“Yes, to determine whether you can live in the fourth
dimension or only die in it.”

— Fritz Leiber, short story, 1959

See also Feb. 19, 2011.

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:

 Some related literary remarks—

Proginoskes and Latin Squares.

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

Apollo's 13: A Group Theory Narrative —

I. At Wikipedia —

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–

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

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—

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

Weyl on what he calls the relativity problem—

"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, 1949, "Relativity Theory as a Stimulus in Mathematical Research"

"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, 1946, The Classical Groups, Princeton University Press, p. 16

Twenty-four years ago a note of Feb. 20, 1986, supplied an example of such coordinatizations in finite geometry. In that note, the group of mediating transformations acted directly on coordinates within a 4×4 array. When the 4×4 array is embedded in a 4×6 array, a larger and more interesting group, M₂₄ (containing the original group), acts on the larger array.  There is no obvious solution to Weyl's relativity problem for M₂₄.  That is, there is no obvious way to apply exactly 24 distinct transformable coordinates (or symbol-strings) to the 24 array elements in such a way that the natural group of mediating transformations of the 24 symbol-strings is M₂₄.

There is, however, an assignment of symbol-strings that yields a family of sets with automorphism group M₂₄.

R.D. Carmichael in 1931 on his construction of the Steiner system S(5,8,24)–

"The linear fractional group modulo 23 of order 24•23•11 is often represented as a doubly transitive group of degree 24 on the symbols ∞, 0, 1, 2,…, 22. This transitive group contains a subgroup of order 8 each element of which transforms into itself the set ∞, 0, 1, 3, 12, 15, 21, 22 of eight elements, while the whole group transforms this set into 3•23•11 sets of eight each. This configuration of octuples has the remarkable property that any given set of five of the 24 symbols occurs in one and just one of these octuples. The largest permutation group Γ on the 24 symbols, each element of which leaves this configuration invariant, is a five-fold transitive group of degree 24 and order 24•23•22•21•20•48. This is the Mathieu group of degree 24."

— R. D. Carmichael, 1931, "Tactical Configurations of Rank Two," in American Journal of Mathematics, Vol. 53, No. 1 (Jan., 1931), pp. 217-240

Page 67 —

“… Bill and Violet were married. The wedding was held in the Bowery loft on June 16th, the same day Joyce’s Jewish Ulysses had wandered around Dublin. A few minutes before the exchange of vows, I noted that Violet’s last name, Blom, was only an o away from Bloom, and that meaningless link led me to reflect on Bill’s name, Wechsler, which carries the German root for change, changing, and making change. Blooming and changing, I thought.”

For Hustvedt’s discussion of Wechsler’s art– sculptured cubes, which she calls “tightly orchestrated semantic bombs” (p. 169)– see Log24, May 25, 2008.

Related 3×3 patterns appear
in “nine-patch” quilt blocks
and in the following–

Jared Tarbell at levitated.net, May 15, 2002: “The nine block is a common design pattern among quilters. Its construction methods and primitive building shapes are simple, yet produce millions of interesting variations. Figure A. Four 9 block patterns, arbitrarily assembled, show the grid composition of the block. Each block is composed of 9 squares, arranged in a 3 x 3 grid. Each square is composed of one of 16 primitive shapes. Shapes are arranged such that the block is radially symmetric. Color is modified and assigned arbitrarily to each new block. The basic building blocks of the nine block are limited to 16 unique geometric shapes. Each shape is allowed to rotate in 90 degree increments. Only 4 shapes are allowed in the center position to maintain radial symmetry. Figure B. The 16 possible shapes allowed for each grid space. The 4 shapes allowed in the center have bold numbers.”

   
Such designs become of mathematical interest when their size is increased slightly, from square arrays of nine blocks to square arrays of sixteen.  See Block Designs in Art and Mathematics.

(This entry was suggested by examples of 4×4 Identicons in use at Secret Blogging Seminar.)

“Something beautiful fills the mind yet invites the search for something beyond itself, something larger or something of the same scale with which it needs to be brought into relation. Beauty, according to its critics, causes us to gape and suspend all thought. This complaint is manifestly true: Odysseus does stand marveling before the palm; Odysseus is similarly incapacitated in front of Nausicaa; and Odysseus will soon, in Book 7, stand ‘gazing,’ in much the same way, at the season-immune orchards of King Alcinous, the pears, apples, and figs that bud on one branch while ripening on another, so that never during the cycling year do they cease to be in flower and in fruit. But simultaneously what is beautiful prompts the mind to move chronologically back in the search for precedents and parallels, to move forward into new acts of creation, to move conceptually over, to bring things into relation, and does all this with a kind of urgency as though one’s life depended on it.”

The above symbol of Apollo suggests, in accordance with Scarry’s remarks, larger structures.   Two obvious structures are the affine 4-space over GF(3), with 81 points, and the affine plane over GF(3²), also with 81 points.  Less obvious are some related projective structures.  Joseph Malkevitch has discussed the standard method of constructing GF(3²) and the affine plane over that field, with 81 points, then constructing the related Desarguesian projective plane of order 9, with 9² + 9 + 1 = 91 points and 91 lines.  There are other, non-Desarguesian, projective planes of order 9.  See Visualizing GL(2,p), which discusses a spreadset construction of the non-Desarguesian translation plane of order 9.  This plane may be viewed as illustrating deeper properties of the 3×3 array shown above. To view the plane in a wider context, see The Non-Desarguesian Translation Plane of Order 9 and a paper on Affine and Projective Planes (pdf). (Click to enlarge the excerpt beow).

See also Miniquaternion Geometry: The Four Projective Planes of Order 9 (pdf), by Katie Gorder (Dec. 5, 2003), and a book she cites:

Miniquaternion geometry: An introduction to the study of projective planes, by T. G. Room and P. B. Kirkpatrick. Cambridge Tracts in Mathematics and Mathematical Physics, No. 60. Cambridge University Press, London, 1971. viii+176 pp.

For “miniquaternions” of a different sort, see my entry on Visible Mathematics for Hamilton’s birthday last year: