"I've never quite seen anyone come right out
and admit that triality arises from the
permutations of the unit vectors i, j, and k
in 3d Euclidean space."
See also the Log24 post of Jan. 4 on quaternions,
and the following figures. The actions on cubes
in the lower figure may be viewed as illustrating
(rather indirectly) the relationship of the quaternion
group's 24 automorphisms to the 24 rotational
symmetries of the cube.
The eightfoldcube model of the Fano plane may or may not have influenced a new paper (with the date Feb. 10, 2011, in its URL) on an attempted consistency proof of Peano arithmetic—
The Consistency of Arithmetic, by Storrs McCall
"Is Peano arithmetic (PA) consistent? This paper contains a proof that it is. …
Axiomatic proofs we may categorize as 'syntactic', meaning that they concern only symbols and the derivation of one string of symbols from another, according to set rules. 'Semantic' proofs, on the other hand, differ from syntactic proofs in being based not only on symbols but on a non-symbolic, non-linguistic component, a domain of objects. If the sole paradigm of 'proof ' in mathematics is 'axiomatic proof ', in which to prove a formula means to deduce it from axioms using specified rules of inference, then Gödel indeed appears to have had the last word on the question of PA-consistency. But in addition to axiomatic proofs there is another kind of proof. In this paper I give a proof of PA's consistency based on a formal semantics for PA. To my knowledge, no semantic consistency proof of Peano arithmetic has yet been constructed.
The difference between 'semantic' and 'syntactic' theories is described by van Fraassen in his book The Scientific Image :
"The syntactic picture of a theory identifies it with a body of theorems, stated in one particular language chosen for the expression of that theory. This should be contrasted with the alternative of presenting a theory in the first instance by identifying a class of structures as its models. In this second, semantic, approach the language used to express the theory is neither basic nor unique; the same class of structures could well be described in radically different ways, each with its own limitations. The models occupy centre stage." (1980, p. 44)
Van Fraassen gives the example on p. 42 of a consistency proof in formal geometry that is based on a non-linguistic model. Suppose we wish to prove the consistency of the following geometric axioms:
A1. For any two lines, there is at most one point that lies on both.
A2. For any two points, there is exactly one line that lies on both.
A3. On every line there lie at least two points.
The following diagram shows the axioms to be consistent:
Figure 1
The consistency proof is not a 'syntactic' one, in which the consistency of A1-A3 is derived as a theorem of a deductive system, but is based on a non-linguistic structure. It is a semantic as opposed to a syntactic proof. The proof constructed in this paper, like van Fraassen's, is based on a non-linguistic component, not a diagram in this case but a physical domain of three-dimensional cube-shaped blocks. ….
… The semantics presented in this paper I call 'block semantics', for reasons that will become clear…. Block semantics is based on domains consisting of cube-shaped objects of the same size, e.g. children's wooden building blocks. These can be arranged either in a linear array or in a rectangular array, i.e. either in a row with no space between the blocks, or in a rectangle composed of rows and columns. A linear array can consist of a single block, and the order of individual blocks in a linear or rectangular array is irrelevant. Given three blocks A, B and C, the linear arrays ABC and BCA are indistinguishable. Two linear arrays can be joined together or concatenated into a single linear array, and a rectangle can be re-arranged or transformed into a linear array by successive concatenation of its rows. The result is called the 'linear transformation' of the rectangle. An essential characteristic of block semantics is that every domain of every block model is finite. In this respect it differs from Tarski’s semantics for first-order logic, which permits infinite domains. But although every block model is finite, there is no upper limit to the number of such models, nor to the size of their domains.
It should be emphasized that block models are physical models, the elements of which can be physically manipulated. Their manipulation differs in obvious and fundamental ways from the manipulation of symbols in formal axiomatic systems and in mathematics. For example the transformations described above, in which two linear arrays are joined together to form one array, or a rectangle of blocks is re-assembled into a linear array, are physical transformations not symbolic transformations. …"
Theorum (rhymes with decorum, apparently) is a neologism proposed by Richard Dawkins in The Greatest Show on Earth to distinguish the scientific meaning of theory from the colloquial meaning. In most of the opening introduction to the show, he substitutes "theorum" for "theory" when referring to the major scientific theories such as evolution.
Problems with "theory"
Dawkins notes two general meanings for theory; the scientific one and the general sense that means a wild conjecture made up by someone as an explanation. The point of Dawkins inventing a new word is to get around the fact that the lay audience may not thoroughly understand what scientists mean when they say "theory of evolution". As many people see the phrase "I have a theory" as practically synonymous with "I have a wild guess I pulled out of my backside", there is often confusion about how thoroughly understood certain scientific ideas are. Hence the well known creationist argument that evolution is "just a theory" – and the often cited response of "but gravity is also just a theory".
To convey the special sense of thoroughness implied by the word theory in science, Dawkins borrowed the mathematical word "theorem". This is used to describe a well understood mathematical concept, for instance Pythagoras' Theorem regarding right angled triangles. However, Dawkins also wanted to avoid the absolute meaning of proof associated with that word, as used and understood by mathematicians. So he came up with something that looks like a spelling error. This would remove any person's emotional attachment or preconceptions of what the word "theory" means if it cropped up in the text of The Greatest Show on Earth , and so people would (in "theory ") have no other choice but to associate it with only the definition Dawkins gives.
This phrase has completely failed to catch on, that is, if Dawkins intended it to catch on rather than just be a device for use in The Greatest Show on Earth . When googled, Google will automatically correct the spelling to theorem instead, depriving this very page its rightful spot at the top of the results.
"… we are saying much more than that G ≅ M 24 is generated by
some set of seven involutions, which would be a very weak
requirement. We are asserting that M 24 is generated by a set
of seven involutions which possesses all the symmetries of L3(2)
acting on the points of the 7-point projective plane…."
— Symmetric Generation , p. 41
"It turns out that this approach is particularly revealing and that
many simple groups, both sporadic and classical, have surprisingly
simple definitions of this type."
— Symmetric Generation , p. 42
See also (click to enlarge)—
Cassirer's remarks connect the concept of objectivity with that of object .
The above quotations perhaps indicate how the Mathieu group M 24 may be viewed as an object.
"This is the moment which I call epiphany. First we recognise that the object is one integral thing, then we recognise that it is an organised composite structure, a thing in fact: finally, when the relation of the parts is exquisite, when the parts are adjusted to the special point, we recognise that it is that thing which it is. Its soul, its whatness, leaps to us from the vestment of its appearance. The soul of the commonest object, the structure of which is so adjusted, seems to us radiant. The object achieves its epiphany."
— James Joyce, Stephen Hero
For a simpler object "which possesses all the symmetries of L3(2) acting on the points of the 7-point projective plane…." see The EightfoldCube.
A simpler candidate for the "Cube" part of that phrase:
The EightfoldCube
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."
The planes in Borovik's figure are those separating the parts of the eightfoldcube above.
In Coxeter theory, these are Euclidean hyperplanes. In the eightfoldcube, they represent three of seven projective points that are permuted by the above group of order 168.
In light of Borovik's remarks, the eightfoldcube 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 eightfoldcube, viewed as a vector space of 3 dimensions over the 2-element Galois field, these hyperplanes are certain sets of four subcubes.
"E la prova di questo si ha precisamente nel fatto che si è potuto costruire (o, dirò meglio immaginare) un ente per cui sono verificati tutti i postulati precedenti…."
"The proof of this is precisely the fact that you could build (or, to say it better, imagine) an entity by which are verified all previous assumptions…."
"… like working on a cathedral. We laid our bricks and knew that others might later replace them with better bricks. We believed in the cause even if we didn’t completely understand the implications.”
— Tom Van Vleck
Some art that is related, if only by a shared metaphor, to Van Vleck's cathedral—
The art is also related to the mathematics of Gino Fano.
"The man who lives in contact with what he believes to be a living Church is a man always expecting to meet Plato and Shakespeare to-morrow at breakfast."
That search was suggested by the title of today's New York Times op-ed essay "Found in Translation" and an occurrence of that phrase in this journal on January 5, 2007.
Further information on one of the images above—
A search in this journal on the publication date of Giaquinto's Visual Thinking in Mathematics yields the following—
In that context, the Klein four-group often cited by art theorist Rosalind Krauss appears as a group of translations in the mathematical sense. (See Kernel of Eternity and Sacerdotal Jargon at Harvard.)
The Times op-ed essay today notes that linguistic translation "… is not merely a job assigned to a translator expert in a foreign language, but a long, complex and even profound series of transformations that involve the writer and reader as well."
The list of four-group transformations in the mathematical sense is neither long nor complex, but is apparently profound enough to enjoy the close attention of thinkers like Krauss.
It is well known that the seven (22 + 2 +1) points of the projective plane of order 2 correspond to 2-point subspaces (lines) of the linear 3-space over the two-element field Galois field GF(2), and may be therefore be visualized as 2-cube subsets of the 2×2×2 cube.
Similarly, recent posts* have noted that the thirteen (32 + 3 + 1) points of the projective plane of order 3 may be seen as 3-cube subsets in the 3×3×3 cube.
The twenty-one (42 + 4 +1) points of the (unique) projective plane of order 4 may also be visualized as subsets of a cube– in this case, the 4×4×4 cube. This visualization is somewhat more complicated than the 3×3×3 case, since the 4×4×4 cube has no central subcube, and each projective-plane point corresponds to four, not three, subcubes.
These three cubes, with 8, 27, and 64 subcubes, thus serve as geometric models in a straightforward way– first as models of finite linear spaces, hence as models for small Galois geometries derived from the linear spaces. (The cubes with 8 and 64 subcubes also serve in a less straightforward, and new, way as finite-geometry models– see The EightfoldCube, Block Designs, and Solomon's Cube.)
"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 13 symmetry axes of the (Euclidean) cube–
exactly one axis for each pair of opposite subcubes in the (Galois) 3×3×3 cube–
A closely related structure–
the finite projective plane
with 13 points and 13 lines–
A later version of the 13-point plane
by Ed Pegg Jr.–
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)–
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'srelativity 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 eightfoldcube.
(The eightfoldcube 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.
Historically, (Coxeter 1934) proved that every reflection group [Euclidean, by the current Wikipedia definition] is a Coxeter group (i.e., has a presentation where all relations are of the form ri2 or (rirj)k), and indeed this paper introduced the notion of a Coxeter group, while (Coxeter 1935) proved that every finite Coxeter group had a representation as a reflection group [again, Euclidean], and classified finite Coxeter groups.
When working over finite fields, one defines a "reflection" as a map that fixes a hyperplane (otherwise for example there would be no reflections in characteristic 2, as −1=1 so reflections are the identity). Geometrically, this amounts to including shears in a hyperplane. Reflection groups over finite fields of characteristic not 2 were classified in (Zalesskiĭ & Serežkin 1981).
Diamond theory and Coxeter theory are to some extent analogous– both deal with reflection groups and both have a visual (i.e., geometric) side and a verbal (i.e., algebraic) side. Coxeter theory is of course highly developed on both sides. Diamond theory is, on the geometric side, currently restricted to examples in at most three Euclidean (and six binary) dimensions. On the algebraic side, it is woefully underdeveloped. For material related to the algebraic side, search the Web for generators+relations+”characteristic two” (or “2“) and for generators+relations+”GF(2)”. (This last search is the source of the Grams reference in 2.2.2 above.)
The "something missing" in the above figure is an eighth cube, hidden behind the others pictured.
This eighth cube is not, as Johnson would have it, a void and "vanishing point," but is instead the "still point" of T.S. Eliot. (See the epigraph to the chapter on automorphism groups in Parallelisms of Complete Designs, by Peter J. Cameron. See also related material in this journal.) The automorphism group here is of course the order-168 simple group of Felix Christian Klein.
For a connection to horses, see a March 31, 2004, post
commemorating the birth of Descartes
and the death of Coxeter–
* i.e., other than Euclidean. The phrase “non-Euclidean” is usually applied to only some of the geometries that are not Euclidean. The geometry illustrated by the blocks in question is not Euclidean, but is also, in the jargon used by most mathematicians, not “non-Euclidean.”
… 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
"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."
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…
“There is a pleasantly discursive treatment of Pontius Pilate’s unanswered question ‘What is truth?’.”
— H. S. M. Coxeter, 1987, introduction to Trudeau’s remarks on the “Story Theory“ of truth as opposed to the “Diamond Theory” of truth in The Non-Euclidean Revolution
E. G. Beltrametti, “Can a finite geometry describe physical space-time?” Universita degli studi di Perugia, Atti del convegno di geometria combinatoria e sue applicazioni, Perugia 1971, 57–62.
Three planes through
the center of a cube
that split it into
eight subcubes: 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:
(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.
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.
"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:
"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."
The current (Feb. 2009) Notices of the American Mathematical Society has a written version of Freeman Dyson’s 2008 Einstein Lecture, which was to have been given in October but had to be canceled. Dyson paraphrases a mathematician on Carl Jung’s theory of archetypes:
“… we do not need to accept Jung’s theory as true in order to find it illuminating.”
The same is true of Jung’s remarks on synchronicity.
This question is deceptive in its simplicity. A frame is, of course, 'a basic skeletal structure designed to give shape or support' (American Heritage Dictionary)…. when the frame is in question, it is difficult to determine what is inside and what is outside. Rather than being on one side or the other, the frame is neither inside nor outside. Where, then, Derrida queries, 'does the frame take place….'"
* P. 61:
"… the frame forms the suture of structure. A suture is 'a seamless [sic**] joint or line of articulation,' which, while joining two surfaces, leaves the trace of their separation."
** A dictionary says "a seamlike joint or line of articulation," with no mention of "trace," a term from Derrida's jargon.
“She traces the history of space beginning with the cosmology of Dante. Her journey continues through the historical foundations of celestial space, relativistic space, hyperspace, and, finally, cyberspace.” –Joe J. Accardi, Northeastern Illinois Univ. Lib., Chicago, in Library Journal, 1999 (quoted at Amazon.com)
“Trickster,” says Hyde, “feels no anxiety when he deceives…. He… can tell his lies with creative abandon, charm, playfulness, and by that affirm the pleasures of fabulation.” (71) As Hyde says, “… almost everything that can be said about psychopaths can also be said about tricksters,” (158), although the reverse is not the case. “Trickster is among other things the gatekeeper who opens the door into the next world; those who mistake him for a psychopath never even know such a door exists.” (159)
What is “the next world”? It might be the Underworld….
The pleasures of fabulation, the charming and playful lie– this line of thought leads Hyde to the last link in his subtitle, the connection of the trickster to art. Hyde reminds us that the wall between the artist and that American favourite son, the con-artist, can be a thin one indeed; that craft and crafty rub shoulders; and that the words artifice, artifact, articulation and art all come from the same ancient root, a word meaning to join, to fit, and to make. (254) If it’s a seamless whole you want, pray to Apollo, who sets the limits within which such a work can exist. Tricksters, however, stand where the door swings open on its hinges and the horizon expands: they operate where things are joined together, and thus can also come apart.
Apollinax laughed until his eyes teared. “I’ll give you a hint, my dear. Perhaps it slid off into a higher dimension.”
“Are you pulling my leg?”
“I wish I were,” he sighed. “The fourth dimension, as you know, is an extension along a fourth coordinate perpendicular to the three coordinates of three-dimensional space. Now consider a cube. It has four main diagonals, each running from one corner through the cube’s center to the opposite corner. Because of the cube’s symmetry, each diagonal is clearly at right angles to the other three. So why shouldn’t a cube, if it feels like it, slide along a fourth coordinate?”
— “Mr. Apollinax Visits New York,” by Martin Gardner, Scientific American, May 1961, reprinted in The Night is Large
“The Cube Space” is a name given to the eightfoldcube in a vulgarized mathematics text, Discrete Mathematics: Elementary and Beyond, by Laszlo Lovaszet al., published by Springer in 2003. The identification in a natural way of the eight points of the linear 3-space over the 2-element field GF(2) with the eight vertices of a cube is an elementary and rather obvious construction, doubtless found in a number of discussions of discrete mathematics. But the less-obvious generation of the affine group AGL(3,2) of order 1344 by permutations of parallel edges in such a cube may (or may not) have originated with me. For descriptions of this process I wrote in 1984, see Diamonds and Whirls and Binary Coordinate Systems. For a vulgarized description of this process by Lovasz, without any acknowledgement of his sources, see an excerpt from his book.
On May 4, 2005, I wrote a note about how to visualize the 7-point Fano plane within a cube. Last month, John Baez showed slides that touched on the same topic. This note is to clear up possible confusion between our two approaches.
Note that Baez’s statement (pdf) “Lines in the Fano plane correspond to planes through the origin [the vertex labeled ‘1’] in this cube” is, if taken (wrongly) as a statement about a cube in Euclidean 3-space, false.
The statement is, however, true of the eightfoldcube, whose eight subcubes correspond to points of the linear 3-space over the two-element field, if “planes through the origin” is interpreted as planes within that linear 3-space, as in Galois geometry, rather than within the Euclidean cube that Baez’s slides seem to picture.
This Galois-geometry interpretation is, as an article of his from 2001 shows, actually what Baez was driving at. His remarks, however, both in 2001 and 2008, on the plane-cube relationship are both somewhat trivial– since “planes through the origin” is a standard definition of lines in projective geometry– and also unrelated– apart from the possibility of confusion– to my own efforts in this area. For further details, see The EightfoldCube.
“It is to be emphasized that the 15 operators… are underlaid by the geometry of the generalized quadrangle of order 2…. In this geometry, the five sets… correspond to a spread of this quadrangle, i.e., to a set of 5 pairwise skew lines….”
by Wallace Stevens, from Transport to Summer (1947)
"Three times the concentred
self takes hold, three times
The thrice concentred self,
having possessed
The object, grips it
in savage scrutiny,
Once to make captive,
once to subjugate
Or yield to subjugation,
once to proclaim
The meaning of the capture,
this hard prize,
Fully made, fully apparent,
fully found."
Stevens does not say what object he is discussing.
"A word about E(8). In my opinion, and shared by others, E(8) is the most magnificent 'object' in all of mathematics. It is like a diamond with thousands of facets. Each facet offering a different view of its unbelievable intricate internal structure."
Another possibility —
A more modest object —
the 4×4 square.
Update of Aug. 20-21 —
Symmetries and Facets
Kostant's poetic comparison might be applied also to this object.
The natural rearrangements (symmetries) of the 4×4 array might also be described poetically as "thousands of facets, each facet offering a different view of… internal structure."
More precisely, there are 322,560 natural rearrangements– which a poet might call facets*— of the array, each offering a different view of the array's internal structure– encoded as a unique ordered pair of symmetric graphic designs. The symmetry of the array's internal structure is reflected in the symmetry of the graphic designs. For examples, see the Diamond 16 Puzzle.
For an instance of Stevens's "three times" process, see the three parts of the 2004 web page Ideas and Art.
* For the metaphor of rearrangements as facets, note that each symmetry (rearrangement) of a Platonic solid corresponds to a rotated facet: the number of symmetries equals the number of facets times the number of rotations (edges) of each facet–
The metaphor of rearrangements as facets breaks down, however, when we try to use it to compute, as above with the Platonic solids, the number of natural rearrangements, or symmetries, of the 4×4 array. Actually, the true analogy is between the 16 unit squares of the 4×4 array, regarded as the 16 points of a finite 4-space (which has finitely many symmetries), and the infinitely many points of Euclidean 4-space (which has infinitely many symmetries).
If Greek geometers had started with a finite space (as in The EightfoldCube), the history of mathematics might have dramatically illustrated Halmos's saying (Aug. 16) that
"The problem is– the genius is– given an infinite question, to think of the right finite question to ask. Once you thought of the finite answer, then you would know the right answer to the infinite question."
The Greeks, of course, answered the infinite questions first– at least for Euclidean space. Halmos was concerned with more general modern infinite spaces (such as Hilbert space) where the intuition to be gained from finite questions is still of value.
"This wonderful picture was drawn by Greg Egan with the help of ideas from Mike Stay and Gerard Westendorp. It's probably the best way for a nonmathematician to appreciate the symmetry of Klein's quartic. It's a 3-holed torus, but drawn in a way that emphasizes the tetrahedral symmetry lurking in this surface! You can see there are 56 triangles: 2 for each of the tetrahedron's 4 corners, and 8 for each of its 6 edges."
Exercise:
Click on image for further details.
Note that if eight points are arranged
in a cube (like the centers of the
eight subcubes in the figure above),
there are 56 triangles formed by
the 8 points taken 3 at a time.
Baez's discussion says that the Klein quartic's 56 triangles can be partitioned into 7 eight-triangle Egan "cubes" that correspond to the 7 points of the Fano plane in such a way that automorphisms of the Klein quartic correspond to automorphisms of the Fano plane. Show that the 56 triangles within the eightfoldcube can also be partitioned into 7 eight-triangle sets that correspond to the 7 points of the Fano plane in such a way that (affine) transformations of the eightfoldcube induce (projective) automorphisms of the Fano plane.
“An essay from the ’70s by Mr. O’Doherty, ‘Inside the White Cube,’ became famous in art circles for describing how modern art interacted with the gallery spaces in which it was shown.”
Brian O’Doherty, “Inside the White Cube,” 1976 Artforum essays on the gallery space and 20th-century art:
“The history of modernism is intimately framed by that space. Or rather the history of modern art can be correlated with changes in that space and in the way we see it. 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.”
…. Now thou art an 0 without a figure. I am better than thou art, now. I am a fool; thou art nothing….
“…. in the last mystery of all the single figure of what is called the World goes joyously dancing in a state beyond moon and sun, and the number of the Trumps is done. Save only for that which has no number and is called the Fool, because mankind finds it folly till it is known. It is sovereign or it is nothing, and if it is nothing then man was born dead.”
"… the startling thesis of Mr. Brosterman's new book, 'Inventing Kindergarten' (Harry N. Abrams, $39.95): that everything the giants of modern art and architecture knew about abstraction they learned in kindergarten, thanks to building blocks and other educational toys designed by Friedrich Froebel, a German educator, who coined the term 'kindergarten' in the 1830's."
“The capacity of music to operate simultaneously along horizontal and vertical axes, to proceed simultaneously in opposite directions (as in inverse canons), may well constitute the nearest that men and women can come to absolute freedom. Music does ‘keep time’ for itself and for us.”
Plato cited geometry,
notably in the Meno,
in defense of his realism.
Consideration of the Meno’s diamond figure
leads to the following:
Click on image for details.
As noted in an entry, Plato, Pegasus, and the Evening Star,
linked to
at the end of today’s
previous entry,
the “universals”
of Platonic realism
are exemplified by
the hexagrams of
the I Ching,
which in turn are
based on the seven
trigrams above and
on the eighth trigram,
of all yin lines,
not shown above:
“… the best definition I have for Satan is that it is a real spirit of unreality.”
M. Scott Peck, People of the Lie
“Far in the woods they sang their unreal songs, Secure. It was difficult to sing in face Of the object. The singers had to avert themselves Or else avert the object.”
Quine died on Christmas Day, 2000. Today, Quine’s birthday, is, as has been noted by Quine’s son, the point of the calendar opposite Christmas– i.e., “Anti-Christmas.” If the Anti-Christ is, as M. Scott Peck claims, a spirit of unreality, it seems fitting today to invoke Quine, a student of reality, and to borrow the title of Quine’s Word and Object…
Word:
An excerpt from “Credences of Summer” by Wallace Stevens:
“Three times the concentred self takes hold, three times The thrice concentred self, having possessed
The object, grips it in savage scrutiny, Once to make captive, once to subjugate Or yield to subjugation, once to proclaim The meaning of the capture, this hard prize, Fully made, fully apparent, fully found.”
— “Credences of Summer,” VII, by Wallace Stevens, from Transport to Summer (1947)
“A set having three members is a single thing wholly constituted by its members but distinct from them. After this, the theological doctrine of the Trinity as ‘three in one’ should be child’s play.”
Euclid is “the most famous geometer ever known and for good reason: for millennia it has been his window that people first look through when they view geometry.”
“…the source of all great mathematics is the special case, the concrete example. It is frequent in mathematics that every instance of a concept of seemingly great generality is in essence the same as a small and concrete special case.”
— Paul Halmos in I Want To Be a Mathematician
Euclid’s geometry deals with affine spaces of 1, 2, and 3 dimensions definable over the field of real numbers.
Each of these spaces has infinitely many points.
Some simpler spaces are those defined over a finite field– i.e., a “Galois” field– for instance, the field which has only two elements, 0 and 1, with addition and multiplication as follows:
+
0
1
0
0
1
1
1
0
*
0
1
0
0
0
1
0
1
We may picture the smallest affine spaces over this simplest field by using square or cubic cells as “points”:
From these five finite spaces, we may, in accordance with Halmos’s advice, select as “a small and concrete special case” the 4-point affine plane, which we may call
Galois’s Window.
The interior lines of the picture are by no means irrelevant to the space’s structure, as may be seen by examining the cases of the above Galois affine 3-space and Galois affine hyperplane in greater detail.
(These documents assume that the reader is familar with the distinction between affine and projective geometry.)
These 8- and 16-point spaces may be used to illustrate the action of Klein’s simple group of order 168 and the action of a subgroup of 322,560 elements within the large Mathieu group.
The view from Galois’s window also includes aspects of quantum information theory. For links to some papers in this area, see Elements of Finite Geometry.
“The man who lives in contact with what he believes to be a living Church is a man always expecting to meet Plato and Shakespeare to-morrow at breakfast.”
The Ringling Bros. Barnum & Bailey Circus has come to town, and yesterday the animals were disembarked near MIT and paraded to their temporary home at the Banknorth Garden.
OPINION
At Last, a Guiding Philosophy The General Education report is a strong cornerstone, though further scrutiny is required.
By THE CRIMSON STAFF After four long years, the Curricular Review has finally found its heart.
By SAHIL K. MAHTANI Harvard College– in the best formulation I’ve heard– promulgates a Japanese-style education, where the professoriate pretend to teach, the students pretend to learn, and everyone is happy.
"The man who lives in contact with what he believes to be a living Church is a man always expecting to meet Plato and Shakespeare to-morrow at breakfast."
"… die Schönheit… [ist] die
richtige Übereinstimmung
der Teile miteinander
und mit dem Ganzen."
"Beauty is the proper conformity
of the parts to one another
and to the whole."
— Werner Heisenberg,
"Die Bedeutung des Schönen in der exakten Naturwissenschaft,"
address delivered to the
Bavarian Academy of Fine Arts,
Munich, 9 Oct. 1970, reprinted in
Heisenberg's Across the Frontiers,
translated by Peter Heath,
Harper & Row, 1974
"Beauty is the proper conformity
of the parts to one another
and to the whole."
— Werner Heisenberg,
"Die Bedeutung des Schönen in der exakten Naturwissenschaft,"
address delivered to the
Bavarian Academy of Fine Arts,
Munich, 9 Oct. 1970, reprinted in
Heisenberg's Across the Frontiers,
translated by Peter Heath,
Harper & Row, 1974
“A SINGLE VERSE by Rimbaud,” writes Dominique de Villepin, the new French Prime Minister, “shines like a powder trail on a day’s horizon. It sets it ablaze all at once, explodes all limits, draws the eyes to other heavens.”
“Beauty is the proper conformity of the parts to one another and to the whole.”
— Werner Heisenberg, “Die Bedeutung des Schönen in der exakten Naturwissenschaft,” address delivered to the Bavarian Academy of Fine Arts, Munich, 9 Oct. 1970, reprinted in Heisenberg’s Across the Frontiers, translated by Peter Heath, Harper & Row, 1974
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:
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.
(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.)
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.
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)."
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.
"Parricide is nothing that the philosopher need fear . . . .
What sustains can be no threat. Perhaps what the
unique genesis of this extraordinary work suggests is that
the true threat to philosophy is infanticide."
This remark suggests revisiting a post from Monday —
Filed under: General — Tags: Cuber — m759 @ 11:29 AM
The previous post dealt with "magic" cubes, so called because of the
analogous "magic" squares. Douglas Hofstadter has written about a
different, physical , object, promoted as "the Magic Cube," that Hofstadter
felt embodied "a deep invariant":
"This poem contrasts the prosaic and sensual world of the here and now
with the transcendent and timeless world of beauty in art, and the first line,
'That is no country for old men,' refers to an artless world of impermanence
and sensual pleasure."
— "Yeats' 'Sailing to Byzantium' and McCarthy's No Country for Old Men:
Art and Artifice in the New Novel," Steven Frye in The Cormac McCarthy Journal ,
Vol. 5, No. 1 (Spring 2005), pp. 14-20.
"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."
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.
" 'My public image is unshakably that of
America’s wholesome virgin, the girl next door,
carefree and brimming with happiness,'
she said in Doris Day: Her Own Story ,
a 1976 book . . . ."
This post was suggested by the phrase "Froebel Decade" from
the search results below.
This journal a decade ago had a post on the late Donald Westlake,
an author who reportedly died of a heart attack in Mexico on Dec. 31,
2008, while on his way to a New Year's Eve dinner.
"The whole meaning of the word is
looking into something with clarity and precision,
seeing each component as distinct,
and piercing all the way through
so as to perceive the most fundamental reality
of that thing."
For the word itself, try a Web search on
noteworthy phrases above.
From a review of the recent film "Justice League" —
"Now all they need is to resurrect Superman (Henry Cavill),
stop Steppenwolf from reuniting his three Mother Cubes
(sure, whatever) and wrap things up in under two cinematic
hours (God bless)."
For other cubic adventures, see yesterday's post on A Piece of Justice
and the block patterns in posts tagged Design Cube.
"Copy editing (also copy-editing or copyediting, sometimes abbreviated ce)
is the process of reviewing and correcting written material to improve accuracy,
readability, and fitness for its purpose, and to ensure that it is free of error,
omission, inconsistency, and repetition. . . ."
"Josefine has taken me through beautiful stories,
ranging from the personal to the platonic
explaining the extensive use of geometry in her art.
I now know that she bursts into laughter when reading
Dostoyevsky, and that she has a weird connection
with a retired mathematician."
"Mr. Jobs, who died in 2011, loomed over Tuesday’s
nostalgic presentation. The Apple C.E.O., Tim Cook,
paid tribute, his voice cracking with emotion, Mr. Jobs’s
steeple-fingered image looming as big onstage as
Big Brother’s face in the classic Macintosh '1984' commercial."
The author of the review in the previous post, Dara Horn, supplies
below a midrash on "desmic," a term derived from the Greek desme
( δεσμή , bundle, sheaf, or, in the mathematical sense, pencil —
French faisceau ), which is apparently related to the term desmos , bond …
(The term "desmic," as noted earlier, is relevant to the structure of
Heidegger's Sternwürfel .)
The Horn midrash —
(The "medieval philosopher" here is not the remembered pre-Christian Ben Sirah (Ecclesiasticus ) but the philosopher being read — Maimonides: Guide for the Perplexed, 3:51.)
Here of course "that bond" may be interpreted as corresponding to the
Greek desmos above, thus also to the desmic structure of the stellated octahedron, a sort of three-dimensional Star of David.
"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."
"On the most recent visit, Arthur had given him
a brightly colored cube, with sides you could twist
in all directions, a new toy that had just come onto
the market."
— Daniel Kehlmann, F: A Novel (2014),
translated from the German by
Carol Brown Janeway
FRANKFURT — "Johanna Quandt, the matriarch of the family
that controls the automaker BMW and one of the wealthiest
people in Germany, died on Monday in Bad Homburg, Germany.
She was 89."
MANHATTAN — "Carol Brown Janeway, a Scottish-born
publishing executive, editor and award-winning translator who
introduced American readers to dozens of international authors,
died on Monday in Manhattan. She was 71."
"Architectural historian Alan Hess, who has written several books on
Mid-Century Modern design, said Meyer didn't have a signature style,
'which is one reason he is not as well-known as some other architects
of the period. But whatever style he was working in, he brought a real
sense of quality to his buildings.'
A notable example is another bank building, at South Beverly Drive
and Pico Boulevard, with massive concrete columns, a hallmark of
the New Brutalism style. 'This is a really good example of it,' Hess said."
"To every man upon this earth,
Death cometh soon or late.
And how can man die better
Than facing fearful odds,
For the ashes of his fathers,
and the temples of his gods…?"
— Macaulay, quoted in the April 2013 film "Oblivion"
"Christian contemplation is the opposite
of distanced consideration of an image:
as Paul says, it is the metamorphosis of
the beholder into the image he beholds
(2 Cor 3.18), the 'realisation' of what the
image expresses (Newman). This is
possible only by giving up one's own
standards and being assimilated to the
dimensions of the image."
"Dr. Lightfoot writes mainly on syntactic theory,
language acquisition and historical change, which
he views as intimately related. He argues that
internal language change is contingent and fluky,
takes place in a sequence of bursts, and is best
viewed as the cumulative effect of changes in
individual grammars, where a grammar is a
'language organ' represented in a person's
mind/brain and embodying his/her language
faculty."
Some syntactic work by another contingent and fluky author
is related to the visual patterns illustrated above.
Unlike linear perspective, axonometry has no vanishing point,
and hence it does not assume a fixed position by the viewer.
This makes axonometry 'scrollable'. Art historians often speak of
the 'moving' or 'shifting' perspective in Chinese paintings.
Axonometry was introduced to Europe in the 17th century by
Jesuits returning from China.
Compare the fictional Leonardo Crystal to Hudson's
nonfictional desmic systemof tetrahedra (above), and
see, in Rosenhain and Göpel Tetrads in PG(3,2), how
the diamond theorem is related to Hudson's work.
For the tetrads ' relationship to tetrahedra , see Hudson's own book.
"Giving himself a head rub, Hawk bears down on
the three oddly malleable objects. He TANGLES
and BENDS and with a loud SNAP, puts them together,
forming the Crystal from the opening scene."
Yesterday's post on the current Museum of Modern Art exhibition
"Inventing Abstraction: 1910-1925" suggests a renewed look at
abstraction and a fundamental building block: the cube.
From a recent Harvard University Press philosophical treatise on symmetry—
The treatise corrects Nozick's error of not crediting Weyl's 1952 remarks
on objectivity and symmetry, but repeats Weyl's error of not crediting
Cassirer's extensive 1910 (and later) remarks on this subject.
Recorded and edited By Aniela Jaffé, translated from the German
by Richard and Clara Winston, Vintage Books edition of April 1989
From pages 195-196:
"Only gradually did I discover what the mandala really is:
'Formation, Transformation, Eternal Mind's eternal recreation.'*
And that is the self, the wholeness of the personality, which if all
goes well is harmonious, but which cannot tolerate self-deceptions."
* Faust , Part Two, trans. by Philip Wayne (Harmondsworth,
England, Penguin Books Ltd., 1959), p. 79. The original:
… Gestaltung, Umgestaltung, Des ewigen Sinnes ewige Unterhaltung….
Jung's "Formation, Transformation" quote is from the realm of
the Mothers (Faust , Part Two, Act 1, Scene 5: A Dark Gallery).
The speaker is Mephistopheles.
"In alchemical terms, F is descending into the dark, formless
primary matter from which all things are born. Psychologically
he is descending into the deepest regions of the
collective unconscious, to the source of life and all creation.
Mater (mother), matrix (womb, generative substance), and matter
all come from the same root. This is Faust's next encounter with
the feminine, but it's obviously of a very different kind than his
relationship with Gretchen."
The phrase "Gestaltung, Umgestaltung " suggests a more mathematical
approach to the Unterhaltung . Hence…
Part I: Mothers
"The ultimate, deep symbol of motherhood raised to
the universal and the cosmic, of the birth, sending forth,
death, and return of all things in an eternal cycle,
is expressed in the Mothers, the matrices of all forms,
at the timeless, placeless originating womb or hearth
where chaos is transmuted into cosmos and whence
the forms of creation issue forth into the world of
place and time."
— Harold Stein Jantz, The Mothers in Faust:
The Myth of Time and Creativity ,
Johns Hopkins Press, 1969, page 37