Log24

A post in honor of Évariste Galois (25 October 1811 – 31 May 1832)

From a book by Richard J. Trudeau titled The Non-Euclidean Revolution —

See also “non-Euclidean” in this journal.

One might argue that Galois geometry, a field ignored by Trudeau,
is also “non-Euclidean,” and  (for those who like rhetoric) revolutionary.

A web search for the author Cameron McEwen  mentioned
in today's noon post was unsuccessful, but it did yield an
essay, quite possibly by a different  Cameron McEwen, on

The Digital Wittgenstein:

"The fundamental difference between analog
and digital systems may be understood as
underlying philosophical discourse since the Greeks."

The University of Bergen identifies the Wittgenstein 
McEwen as associated with InteLex  of Charlottesville.

The title of this post may serve to point out an analogy*
between the InteLex McEwen's analog-digital contrast
and the Euclidean-Galois contrast discussed previously
in this journal.

The latter contrast is exemplified in Pilate Goes to Kindergarten.

* An analogy, as it were, between  analogies.

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

From that essay—

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

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

It seems some clarification is in order.

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

Scientific American  on the concept of digital space—

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

Wikipedia on the concept of quantization—

Causal sets, loop quantum gravity, string theory,
and black hole thermodynamics all predict
a quantized spacetime….

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

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

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

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

A comment today on yesterday's New York Times  philosophy column "The Stone"
notes that "Augustine… incorporated Greek ideas of perfection into Christianity."

Yesterday's post here  for the Feast of St. Augustine discussed the 2×2×2 cube.

Today's Augustine comment in the Times  reflects (through a glass darkly)
a Log24 post  from Augustine's Day, 2006, that discusses the larger 4×4×4 cube.

For related material, those who prefer narrative to philosophy may consult
Charles Williams's 1931 novel Many Dimensions . Those who prefer mathematics
to either may consult an interpretation in which Many = Six.

Click image for some background.

Continued from March 10, 2011 — A post that says

"If Galois geometry is thought of as a paradigm shift
from Euclidean geometry, both… the Kuhn cover
and the nine-point affine plane may be viewed…
as illustrating the shift."

Yesterday's posts The Fano Entity and Theology for Antichristmas,
together with this morning's New York Times  obituaries (below)—

—suggest a Sunday School review from last year's
    Devil's Night (October 30-31, 2010)—

See also Ash Wednesday Surprise and Geometry for Jews.

For the title, see Palm Sunday.

"There is a pleasantly discursive treatment of
Pontius Pilate's unanswered question 'What is truth?'" — H. S. M. Coxeter, 1987

From this date (April 22) last year—

Richard J. Trudeau in The Non-Euclidean Revolution , chapter on "Geometry and the Diamond Theory of Truth"– "… Plato and Kant, and most of the philosophers and scientists in the 2200-year interval between them, did share the following general presumptions: (1) Diamonds– informative, certain truths about the world– exist. (2) The theorems of Euclidean geometry are diamonds. Presumption (1) is what I referred to earlier as the 'Diamond Theory' of truth. It is far, far older than deductive geometry." Trudeau's book was published in 1987. The non-Euclidean* figures above illustrate concepts from a 1976 monograph, also called "Diamond Theory." Although non-Euclidean,* the theorems of the 1976 "Diamond Theory" are also, in Trudeau's terminology, diamonds. * "Non-Euclidean" here means merely "other than  Euclidean." No violation of Euclid's parallel postulate is implied.

Trudeau comes to reject what he calls the "Diamond Theory" of truth. The trouble with his argument is the phrase "about the world."

Geometry, a part of pure mathematics, is not  about the world. See G. H. Hardy, A Mathematician's Apology .

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

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

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

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

Julie Taymor in an interview published Dec. 12 —

“I’ve got two Broadway shows, a feature film, and Mozart,’’ she said. “It’s a very interesting place to be and to be able to move back and forth, but at a certain point you have to be able to step outside and see,’’ and here she dropped her voice to a tranquil whisper, “it’s just theater. It’s all theater. It’s all theater. The whole thing is theater.’’

Non-theater —

"The interplay between Euclidean and Galois  geometry" and
related remarks on interplay — Keats's Laws of Aesthetics.

Part theater, part non-theater —

Cubist crucifixion.

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.

   For aficionados of mathematics and narrative —

Illustration from
"The Galois Quaternion— A Story"

This resembles an attempt by Coxeter in 1950 to represent
a Galois geometry in the Euclidean plane—

The quaternion illustration above shows a more natural way to picture this geometry—
not with dots representing points in the Euclidean  plane, but rather with unit squares
representing points in a finite Galois  affine plane. The use of unit squares to
represent points in Galois space allows, in at least some cases, the actions
of finite groups to be represented more naturally than in Euclidean space.

See Galois Geometry, Geometry Simplified, and
Finite Geometry of the Square and Cube.

27

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–

From yesterday's Seattle Times—

According to police, employees of a Second Avenue mission said the suspect, clad in black and covered in duct tape, had come into the mission "and threatened to blow the place up." He then told staffers "that he was a vampire and wanted to eat people."

The man… also called himself "a space cowboy"….

This suggests two film titles…

Plan 9 from Outer Space—

and Apollo's 13—

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

"But wait, there's more!"
– Stanley Fish, NY Times Jan. 28

From the editors at The New York Times who, left to their own devices, would produce yet another generation of leftist morons who don't know the difference between education and entertainment–

A new Times column starts today–

The quality of the column's logo speaks for itself. It pictures a cone with dashed lines indicating height and base radius, but unlabeled except for a large italic x to the right of the cone. This enigmatic variable may indicate the cone's height or slant height– or, possibly, its surface area or volume.

Instead of the column's opening load of crap about numbers and Sesame Street, a discussion of its logo might be helpful.

The cone plays a major role in the historical development of mathematics.

Some background from an online edition of Euclid—

"Euclid proved in proposition XII.10 that the cone with the same base and height as a cylinder was one third of the cylinder, but he could not find the ratio of a sphere to the circumscribed cylinder. In the century after Euclid, Archimedes solved this problem as well as the much more difficult problem of the surface area of a sphere."

For Archimedes and the surface area of a sphere, see (for instance) a discussion by Kevin Brown. For more material on Archimedes, see "Archimedes: Volume of a Sphere," by Doug Faires (2001)– Archimedes' heuristic argument from mechanics that involves the volume of a cone– and Archimedes' more rigorous approach in The Works of Archimedes, edited by T. L. Heath (1897).

The work of Euclid and Archimedes on volumes was, of course, long before the discovery of calculus.  For a helpful discussion of cone volumes involving high-school-level calculus, see, for instance,  the following–

The Times editors apparently feel that
few of their readers are capable of
such high-school-level sophistication.

For some other geometric illustrations
perhaps more appealing than the Times's

dunce cap, see the symbol of
  today's saint– a Bridget Cross—
and a web page on
visualized quaternions.

“Perhaps every science must
start with metaphor
and end with algebra;
and perhaps without metaphor
there would never have been
any algebra.” 

For metaphor and
algebra combined, see  

“When approaching unfamiliar territory, we often, as observed earlier, try to describe or frame the novel situation using metaphors based on relations perceived in a familiar domain, and by using our powers of association, and our ability to exploit the structural similarity, we go on to conjecture new features for consideration, often not noticed at the outset. The metaphor works, according to Max Black, by transferring the associated ideas and implications of the secondary to the primary system, and by selecting, emphasising and suppressing features of the primary in such a way that new slants on it are illuminated.”

— Paul Thompson, University College, Oxford,
    The Nature and Role of Intuition
     in Mathematical Epistemology

That intuition, metaphor (i.e., analogy), and association may lead us astray is well known.  The examples of French perspective above show what might happen if someone ignorant of finite geometry were to associate the phrase “4×4 square” with the phrase “projective geometry.”  The results are ridiculously inappropriate, but at least the second example does, literally, illuminate “new slants”– i.e., diagonals– within the perspective drawing of the 4×4 square.

Similarly, analogy led the ancient Greeks to believe that the diagonal of a square is commensurate with the side… until someone gave them a new slant on the subject.