Log24

Tuesday, July 9, 2024

Towards a Square Model of M24

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

Sunday, October 8, 2023

Annals of Figurate Space . . .
World Space Week:  A Golem for Bloom

Filed under: General — Tags: — m759 @ 12:00 am

From Friday's "Introduction to Multispeech" —

"Students of Multispeech must become familiar with the
Entendre  family — Single, Double, Triple, and so forth."

From Finnegans Wake

Friday, September 22, 2023

Figurate Space

Filed under: General — Tags: , , — m759 @ 11:01 am

For the purpose of defining figurate geometry , a figurate space  might be
loosely described as any space consisting of finitely many congruent figures  —
subsets of Euclidean space such as points, line segments, squares, 
triangles, hexagons, cubes, etc., — that are permuted by some finite group
acting upon them. 

Thus each of the five Platonic solids constructed at the end of Euclid's Elements
is itself a figurate  space, considered as a collection of figures —  vertices, edges,
faces —
seen in the nineteenth century as acted upon by a group  of symmetries .

More recently, the 4×6 array of points (or, equivalently, square cells) in the Miracle
Octad Generator 
of R. T. Curtis is also a figurate space . The relevant group of
symmetries is the large Mathieu group M24 . That group may be viewed as acting
on various subsets of a 24-set for instance, the 759 octads  that are analogous
to the faces  of a Platonic solid. The geometry of the 4×6 array was shown by
Curtis to be very helpful in describing these 759 octads.

Counting symmetries with the orbit-stabilizer theorem

Wednesday, September 20, 2023

Temple Talk

Conwell versus Conwell.

Update of 8:16 AM ET —

"And it came to pass . . ."

Tuesday, September 19, 2023

Figurate Geometry

Filed under: General — Tags: — m759 @ 9:18 am

The above title for a new approach to finite geometry
was suggested by the old phrase "figurate numbers."

See other posts in this journal now tagged Figurate Geometry.

Update of 10 AM ET on Sept. 19, 2023 —

Related material from social media:

Update of 10:30 AM ET Sept. 19 —

A related topic from figurate geometry:

The square-to-triangle mapping problem.

Monday, September 18, 2023

The Passage of Time

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

The figure above summarizes a new way of looking at 
so-called "figurate numbers." The old  way goes back
at least to the time of Pythagoras.

A more explicit presentation —

Sunday, January 22, 2023

The Stillwell Dichotomies

Number Space
Arithmetic  Geometry
Discrete  Continuous

Related literature —

IMAGE- History of Mathematics in a Nutshell

Bourbaki on arithmetic and geometry

From a "Finite Fields in 1956" post —

The Nutshell:

    Related Narrative:

Thursday, January 5, 2023

Logic and Geometry at Harvard

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

'If Triangles Are Square' book


See also "Triangles Are Square" in 1984 —

Harvard  Square:

Harvard Square, 1964

Monday, October 17, 2022

From the November 2022 Notices of the A.M.S.

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

"Geometric Group Theory" by Matt Clay, U. of Arkansas

"This article is intended to give an idea about how
the topology and geometry of a space influences
the algebraic structure of groups that act on it and
how this can be used to investigate groups."

Notices  homepage summary

A more precise description of the subject . . .

"The key idea in geometric group theory is to study
infinite groups by endowing them with a metric and
treating them as geometric spaces."

— AMS description of the 2018  treatise
Geometric Group Theory , by Drutu and Kapovich

See also "Geometric Group Theory" in this  journal.

The sort of thing that most interests me, finite  groups
acting on finite  structures, is not included in the above
description of Clay's article. That description only
applies to topological  spaces.  Topology is of little use
for finite  structures unless they are embedded* in 
larger spaces that are continuous, not discrete.

* As, for instance, the fifty-six 3-subsets of an 8-set are
embedded in the continuous space of The Eightfold Way .

Sunday, June 26, 2022

Mockery Day

Filed under: General — Tags: — m759 @ 1:25 pm

For Monty Python —

"Glastonbury has been described as having a New Age community[6] 
and possibly being where New Age beliefs originated at the turn of
the twentieth century.[7] It is notable for myths and legends often
related to Glastonbury Tor, concerning Joseph of Arimathea, the 
Holy Grail and King Arthur." — Wikipedia
 

For American Democracy —

Related mockery from 2012

'If Triangles Are Square' book


See also "Triangles Are Square" in 1984

Thursday, June 23, 2022

The Nutshell Suite

Filed under: General — Tags: , , , — m759 @ 10:35 am

The above is a summary of 
Pythagorean philosophy 
reposted here on . . .

September 10, 2019.
 

Battle of the Nutshells:

IMAGE- History of Mathematics in a Nutshell

From a much larger nutshell
on the above Pythagorean date—

Now let's dig a bit deeper into history . . .

Bourbaki on arithmetic and geometry

Wednesday, June 22, 2022

Code Wars: “Use the Source, Luke.”

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

Click the above galaxy for a larger image.


"O God, I could be bounded in a nutshell
and count myself a king of infinite space,
were it not that I have bad dreams." — Hamlet

Battle of the Nutshells —

IMAGE- History of Mathematics in a Nutshell

From a much larger nutshell
on the above code date—

Sunday, June 12, 2022

Vocabulary: Trisquare Theorem

Filed under: General — Tags: , , — m759 @ 12:45 pm

See also trisquare.space.

Triangle.graphics, 2012-2022

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

Affine transformation of 'magic' squares and triangles: the triangle Lo Shu

Friday, May 20, 2022

Squares to Triangles

Filed under: General — Tags: , , , , — m759 @ 11:24 am

(Continued)

Related concepts: Steiner system, Affine transformation, Square triangle.

Monday, April 25, 2022

Annals of Mathematical History

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

Bourbaki on arithmetic and geometry

Some related remarks —

IMAGE- History of Mathematics in a Nutshell

Sunday, August 15, 2021

Simple Similarity

Filed under: General — Tags: , , , — m759 @ 1:05 pm

The following image (click to enlarge) is now the target of
a link on the phrase "similarly divided" in Friday's post
"The Divided Square."

Related material —

A version of the above Schroeder pages, dumbed down for
readers of The New Yorker

Note  that the proof under discussion has nothing to do with 
the New Yorker 's rubric "Annals of Technology."

Note also the statement by Strogatz that 

"Einstein’s proof reveals why the Pythagorean theorem
applies only to right triangles: they’re the only kind
made up of smaller copies of themselves." 

Exercise:  Discuss the truth or falsity of the Strogatz statement
after reviewing the webpage Triangles Are Square.

For approaches to geometry that are more advanced, see
this  journal on the above New Yorker  date — Nov. 19, 2015 —

Highlights of the Dirac-Mathieu Connection.

 
 

Friday, May 15, 2020

Review

Filed under: General — Tags: , , , — m759 @ 5:24 pm

Charles Taylor,
“Epiphanies of Modernism,”
Chapter 24 of Sources of the Self
(Cambridge U. Press, 1989, p. 477) —

“… the object sets up
a kind of frame or space or field
within which there can be epiphany.”

See also Talking of Michelangelo.

Related material for comedians —

BOX: Binary Object Extension

Literature ad absurdum

Thursday, February 13, 2020

Square-Triangle Mappings: The Continuous Case

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

On Feb. 11, Christian Lawson-Perfect posed an interesting question
about mappings between square and triangular grids:

For the same question posed about non -continuous bijections,
see "Triangles are Square."

I posed the related non– continuous question in correspondence in
the 1980's, and later online in 2012. Naturally, I wondered in the
1980's about the continuous  question and conformal  mappings, 
but didn't follow up that line of thought.

Perfect last appeared in this journal on May 20, 2014,
in the HTML title line for the link "offensive."

Wednesday, November 27, 2019

A Companion-Piece for the Circular Rectangle:

For the circular rectangle, see today's earlier post "Enter Jonathan Miller…."

The Square Triangle

Triangles are Square

A recent view of the above address —

Saturday, June 29, 2019

That’s “Merry” … And Quite Contrary

Filed under: General — Tags: , — m759 @ 10:59 pm

"John Horton Conway is a cross between
Archimedes, Mick Jagger and Salvador Dalí." 

The Guardian  paraphrasing Siobhan Roberts, 
                    

John Horton Conway and his Leech lattice doodle
in The Guardian . Photo: Hollandse Hoogte/Eyevine.

. . . .

"In junior school, one of Conway’s teachers had nicknamed him 'Mary'.
He was a delicate, effeminate creature. Being Mary made his life
absolute hell until he moved on to secondary school, at Liverpool’s
Holt High School for Boys. Soon after term began, the headmaster
called each boy into his office and asked what he planned to do with
his life. John said he wanted to read mathematics at Cambridge.
Instead of 'Mary' he became known as 'The Prof'. These nicknames
confirmed Conway as a terribly introverted adolescent, painfully aware
of his own suffering."  — Siobhan Roberts, loc. cit.

From the previous post

See as well this  journal on the above Guardian  date —

 

Thursday, May 2, 2019

Squaring the Triangle

Filed under: General — Tags: — m759 @ 11:45 am

"Having squared the circle is a famous crank assertion." — Wikipedia

Squaring the circle was proved impossible by Lindemann in 1882.

Squaring the triangle  is, however, possible — indeed, trivial
and is more closely related to the saying quoted by Jung —

"All things do live in the three
But in the four they merry be."

Thursday, February 28, 2019

Fooling

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

Galois (i.e., finite) fields described as 'deep modern algebra'

IMAGE- History of Mathematics in a Nutshell

The two books pictured above are From Discrete to Continuous ,
by Katherine Neal, and Geometrical Landscapes , by Amir Alexander.

Note: There is no Galois (i.e., finite) field with six elements, but
the theory  of finite fields underlies applications of six-set geometry.

Saturday, June 23, 2018

Meanwhile …

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

Backstory for fiction fans, from Log24 on June 11 —

Related non -fiction —

See as well the structure discussed in today's previous post.

Monday, June 11, 2018

Arty Fact

Filed under: General,Geometry — Tags: , , , , — m759 @ 10:35 pm

The title was suggested by the name "ARTI" of an artificial
intelligence in the new film 2036: Origin Unknown.

The Eye of ARTI —

See also a post of May 19, "Uh-Oh" —

— and a post of June 6, "Geometry for Goyim" — 

Mystery box  merchandise from the 2011  J. J. Abrams film  Super 8 

An arty fact I prefer, suggested by the triangular computer-eye forms above —

IMAGE- Hyperplanes (square and triangular) in PG(3,2), and coordinates for AG(4,2)

This is from the July 29, 2012, post The Galois Tesseract.

See as well . . .

Tuesday, April 17, 2018

A Necessary Possibility*

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

"Without the possibility that an origin can be lost, forgotten, or
alienated into what springs forth from it, an origin could not be
an origin. The possibility of inscription is thus a necessary possibility,
one that must always be possible."

— Rodolphe Gasché, The Tain of the Mirror ,
     Harvard University Press, 1986

IMAGE- Harvard University Press, 1986 - A page on Derrida's 'inscription'

An inscription from 2010 —

An inscription from 1984 —

American Mathematical Monthly, June-July 1984, p. 382

MISCELLANEA, 129

Triangles are square

"Every triangle consists of  n congruent copies of itself"
is true if and only if  n is a square. (The proof is trivial.) 
— Steven H. Cullinane

* See also other Log24 posts mentioning this phrase.

Monday, December 25, 2017

Every Picture Tells a Story

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

The movie marquee below
("Batman" and "Lethal Weapon 2")
indicates that the recent film "IT" 
is set in the summer of 1989.

The marquee suggests a review.  Also . . . .

" the thing that has shown up every twenty-seven years
     or so . . . .   It always comes back, you see.  It."
     — King, Stephen.  IT  (p. 151). Scribner. Kindle Edition. 

    Note that the flashback summer in King's book,
    1958  plus 27 is 1985  plus 27 is 2012.

Wednesday, October 4, 2017

Text and Context

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

Text —

"A field is perhaps the simplest algebraic structure we can invent."

— Hermann Weyl, 1952

Context —

See also yesterday's Personalized Book Search.

Full text of Symmetry  – Internet Archive —

https://archive.org/details/Symmetry_482

A field is perhaps the simplest algebraic 143 structure
we can invent. Its elements are numbers. Characteristic
for its structure are the operations of addition and 

From a Log24 search for Mathematics+Nutshell —

IMAGE- History of Mathematics in a Nutshell

Monday, October 2, 2017

The Nut Analogy

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

For fans of the 'in a nutshell' quote from 'Hamlet'

Published as the final chapter, Chapter 13, in
Episodes in the History of Modern Algebra (1800-1950) ,
edited by Jeremy J. Gray and Karen Hunger Parshall,
American Mathematical Society, July 18, 2007,  pages 301-326.

See also this  journal on the above McLarty date —
May 24, 2003:  Mental Health Month, Day 24.

Wednesday, September 13, 2017

Summer of 1984

The previous two posts dealt, rather indirectly, with
the notion of "cube bricks" (Cullinane, 1984) —

Group actions on partitions —

Cube Bricks 1984 —

An Approach to Symmetric Generation of the Simple Group of Order 168

Another mathematical remark from 1984 —

For further details, see Triangles Are Square.

Sunday, April 16, 2017

Art Space Paradigm Shift

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

This post’s title is from the tags of the previous post

 

The title’s “shift” is in the combined concepts of

Space and Number

From Finite Jest (May 27, 2012):

IMAGE- History of Mathematics in a Nutshell

The books pictured above are From Discrete to Continuous ,
by Katherine Neal, and Geometrical Landscapes , by Amir Alexander.

For some details of the shift, see a Log24 search for Boole vs. Galois.
From a post found in that search —

Benedict Cumberbatch Says
a Journey From Fact to Faith
Is at the Heart of Doctor Strange

io9 , July 29, 2016

” ‘This man comes from a binary universe
where it’s all about logic,’ the actor told us
at San Diego Comic-Con . . . .

‘And there’s a lot of humor in the collision
between Easter [ sic ] mysticism and
Western scientific, sort of logical binary.’ “

[Typo now corrected, except in a comment.]

Sunday, February 12, 2017

Religious Art for Sunday

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

Euclidean  square and triangle

Galois  square and triangle

For some backstory, see the "preface" of the 
previous post and Soifer in this journal.

Tuesday, December 15, 2015

Square Triangles

Filed under: General,Geometry — Tags: , — m759 @ 3:57 pm

Click image for some background.

Exercise:  Note that, modulo color-interchange, the set of 15 two-color
patterns above is invariant under the group of six symmetries of the
equilateral triangle. Are there any other such sets of 15 two-color triangular
patterns that are closed as sets , modulo color-interchange, under the six
triangle symmetries and  under the 322,560 permutations of the 16
subtriangles induced by actions of the affine group AGL(4,2)
on the 16 subtriangles' centers , given a suitable coordinatization?

Saturday, November 21, 2015

Brightness at Noon*

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

A recent not-too-bright book from Princeton —

Some older, brighter books from Tony Zee

Fearful Symmetry  (1986) and
Quantum Field Theory in a Nutshell  (2003).

* Continued.

Sunday, November 1, 2015

Sermon for All Saints’ Day

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

From St. Patrick's Day this year —

The March 17 post's title is a reference to a recent film.

Friday, August 14, 2015

Being Interpreted

Filed under: General,Geometry — Tags: , — m759 @ 12:31 am

The ABC of things —

Froebel's Third Gift: A cube made up of eight subcubes

The ABC of words —

A nutshell —

Book lessons —

IMAGE- History of Mathematics in a Nutshell

Tuesday, March 17, 2015

Focus!

A sequel to Dude!

See also "Triangles are Square."

Monday, July 7, 2014

Tricky Task

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

Roger Cooke in the Notices of the American
Mathematical Society 
, April 2010 —

"Life on the Mathematical Frontier:
Legendary Figures and Their Adventures"

"In most cases involving the modern era, there
are enough documents to produce a clear picture
of mathematical developments, and conjectures
for which there is no eyewitness or documentary
evidence are not needed. Even so, legends do
arise. (Who has not heard the 'explanation' of
the absence of a Nobel Prize in mathematics?)
The situation is different regarding ancient math-
ematics, however, especially in the period before
Plato’s students began to study geometry. Much
of the prehistory involves allegations about the
mysterious Pythagoreans, and sorting out what is
reliable from what is not is a tricky task.

In this article, I will begin with some modern
anecdotes that have become either legend or
folklore, then work backward in time to take a
more detailed look at Greek mathematics, especially
the Pythagoreans, Plato, and Euclid. I hope at the
very least that the reader finds my examples
amusing, that being one of my goals. If readers
also take away some new insight or mathematical
aphorisms, expressing a sense of the worthiness of
our calling, that would be even better."

Aphorism:  "Triangles are square." 

(American Mathematical Monthly , June-July 1984)

Insight:  The Square-Triangle Theorem.

Friday, February 21, 2014

Raumproblem*

Despite the blocking of Doodles on my Google Search
screen, some messages get through.

Today, for instance —

"Your idea just might change the world.
Enter Google Science Fair 2014"

Clicking the link yields a page with the following image—

IMAGE- The 24-triangle hexagon

Clearly there is a problem here analogous to
the square-triangle coordinatization problem,
but with the 4×6 rectangle of the R. T. Curtis
Miracle Octad Generator playing the role of
the square.

I once studied this 24-triangle-hexagon
coordinatization problem, but was unable to
obtain any results of interest. Perhaps
someone else will have better luck.

* For a rather different use of this word,
see Hermann Weyl in the Stanford
Encyclopedia of Philosophy.

Saturday, January 18, 2014

The Triangle Relativity Problem

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

A sequel to last night's post The 4×4 Relativity Problem —

IMAGE- Triangle Coordinatization

In other words, how should the triangle corresponding to
the above square be coordinatized ?

See also a post of July 8, 2012 — "Not Quite Obvious."

Context — "Triangles Are Square," a webpage stemming
from an American Mathematical Monthly  item published
in 1984.

Wednesday, January 8, 2014

Not Subversive, Not Fantasy

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

The title refers to that of today's previous post, which linked to
a song from the June 1, 1983, album Synchronicity .
(Cf.  that term in this journal.)

For some work of my own from the following year, 1984, see

IMAGE- Internet Archive, 'Notes on Groups and Geometry, 1978-1986'

as well as the Orwellian dictum Triangles Are Square.

(The cubical figure at left above is from the same month,
if not the same day, as Synchronicity —  June 21, 1983.)

Monday, November 25, 2013

Figurate Numbers

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

The title refers to a post from July 2012:

IMAGE- Squares, triangles, and figurate numbers

The above post, a new description of a class of figurate
numbers that has been studied at least since Pythagoras,
shows that the "triangular numbers" of tradition are not
the only  triangular numbers.

"Thus the theory of description matters most. 
It is the theory of the word for those 
For whom the word is the making of the world…." 

— Wallace Stevens, "Description Without Place"

See also Finite Relativity (St. Cecilia's Day, 2012).

Sunday, November 24, 2013

Logic for Jews*

The search for 1984 at the end of last evening’s post
suggests the following Sunday meditation.

My own contribution to this genre—

A triangle-decomposition result from 1984:

American Mathematical Monthly ,  June-July 1984, p. 382

MISCELLANEA, 129

Triangles are square

“Every triangle consists of n  congruent copies of itself”
is true if and only if  is a square. (The proof is trivial.)
— Steven H. Cullinane

The Orwell slogans are false. My own is not.

* The “for Jews” of the title applies to some readers of Edward Frenkel.

Monday, November 11, 2013

The Mystic Hexastigm…

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

Or: The Nutshell

What about Pascal?

For some background on Pascal's mathematics,
not his wager, see

Richmond, H. W., 
"On the Figure of Six Points in Space of Four Dimensions," 
Quarterly Journal of Pure and Applied Mathematics , 
Volume 31 (1900), pp. 125-160,
dated by Richmond March 30,1899

Richmond, H. W.,
"The Figure Formed from Six Points in Space of Four Dimensions,"
Mathematische Annalen , 
Volume 53 (1900), Issue 1-2, pp 161-176,
dated by Richmond February 1, 1899

See also Nocciolo  in this journal.

Recall as well that six points in space may,
if constrained to lie on a circle, be given
a religious interpretation.  Richmond's
six points are secular and more general.

Friday, January 18, 2013

Solomon’s Rep-tiles

Filed under: General,Geometry — Tags: — m759 @ 1:04 pm

"Rep-tiles Revisited," by Viorel Nitica, in MASS Selecta: Teaching and Learning Advanced Undergraduate Mathematics ,  American Mathematical Society, 2003—

"The goal of this note is to take a new look at some of the most amazing objects discovered in recreational mathematics. These objects, having the curious property of making larger copies of themselves, were introduced in 1962 by Solomon W. Golomb [2], and soon afterwards were popularized by Martin Gardner [3] in Scientific American…."

2.  S. W. Golomb: "Replicating Figures in the Plane," Mathematical Gazette  48, 1964, 403-412

3.  M. Gardner: "On 'Rep-tiles,' Polygons That Can Make Larger and Smaller Copies of Themselves," Scientific American  208, 1963, 154-157

Two such "amazing objects"—

Triangle

Square

For a different approach to the replicating properties of these objects, see the square-triangle theorem.

For related earlier material citing Golomb, see Not Quite Obvious (July 8, 2012; scroll down to see the update of July 15.).

Golomb's 1964 Gazette  article may now be purchased at JSTOR for $14.

Wednesday, January 2, 2013

PlanetMath link

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

Update of May 27, 2013:
The post below is now outdated. See
http://planetmath.org/cullinanediamondtheorem .

__________________________________________________________________

The brief note on the diamond theorem at PlanetMath
disappeared some time ago. Here is a link to its
current URL: http://planetmath.org/?op=getobj;from=lec;id=49.

Update of 3 PM ET Jan. 2, 2013—

Another item recovered from Internet storage:

IMAGE- Miscellanea, 129: 'Triangles are square'- Amer. Math. Monthly, Vol. 91, No. 6, June-July 1984, p. 382

Click on the Monthly  page for some background.

Saturday, December 29, 2012

Mapping Problem

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

A mapping problem posed (informally) in 1985
and solved 27 years later,  in 2012:

See also Finite Relativity and Finite Relativity: The Triangular Version.

(A note for fans of the recent film Looper  (see previous post)—

Hunter S. Thompson in this journal on February 22, 2005 

IMAGE- Hunter S. Thompson, the old and the young
           Hunter S. Thompson, photos from The New York Times

and on March 3, 2009.)

Thursday, November 22, 2012

Finite Relativity

Filed under: General,Geometry — Tags: , — m759 @ 10:48 pm

(Continued from 1986)

S. H. Cullinane
The relativity problem in finite geometry.
Feb. 20, 1986.

This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them.

— H. Weyl, The Classical Groups ,
Princeton Univ. Pr., 1946, p. 16

In finite geometry "points" are often defined as ordered n-tuples of a finite (i.e., Galois) field GF(q). What geometric structures ("frames of reference," in Weyl's terms) are coordinatized by such n-tuples? Weyl's use of "objectively" seems to mean that such structures should have certain objective— i.e., purely geometric— properties invariant under each S.

This note suggests such a frame of reference for the affine 4-space over GF(2), and a class of 322,560 equivalent coordinatizations of the frame.

The frame: A 4×4 array.

The invariant structure:

The following set of 15 partitions of the frame into two 8-sets.

Fifteen partitions of a 4x4 array into two 8-sets
 

A representative coordinatization:

 

0000  0001  0010  0011
0100  0101  0110  0111
1000  1001  1010  1011
1100  1101  1110  1111

 

The group: The group AGL(4,2) of 322,560 regular affine transformations of the ordered 4-tuples over GF(2).

S. H. Cullinane
The relativity problem in finite geometry.
Nov. 22, 2012.

This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them.

— H. Weyl, The Classical Groups ,
Princeton Univ. Pr., 1946, p. 16

In finite geometry "points" are often defined as ordered n-tuples of a finite (i.e., Galois) field GF(q). What geometric structures ("frames of reference," in Weyl's terms) are coordinatized by such n-tuples? Weyl's use of "objectively" seems to mean that such structures should have certain objective— i.e., purely geometric— properties invariant under each S.

This note suggests such a frame of reference for the affine 4-space over GF(2), and a class of 322,560 equivalent coordinatizations of the frame.

The frame: An array of 16 congruent equilateral subtriangles that make up a larger equilateral triangle.

The invariant structure:

The following set of 15 partitions of the frame into two 8-sets.


Fifteen partitions of an array of 16 triangles into two 8-sets


A representative coordinatization:

 

Coordinates for a triangular finite geometry

The group: The group AGL(4,2) of 322,560 regular affine transformations of the ordered 4-tuples over GF(2).

For some background on the triangular version,
see the Square-Triangle Theorem,
noting particularly the linked-to coordinatization picture.

Sunday, July 29, 2012

Defining Form

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

IMAGE- Hyperplanes (square and triangular) in PG(3,2), and coordinates for AG(4,2)

Background: Square-Triangle Theorem.

For a more literary approach, see "Defining Form" in this journal
and a bibliography from the University of Zaragoza.

Monday, July 16, 2012

Mapping Problem continued

Filed under: General,Geometry — Tags: , — m759 @ 2:56 am

Another approach to the square-to-triangle
mapping problem (see also previous post)—

IMAGE- Triangular analogs of the hyperplanes in the square model of PG(3,2)

For the square model referred to in the above picture, see (for instance)

Coordinates for the 16 points in the triangular arrays 
of the corresponding affine space may be deduced
from the patterns in the projective-hyperplanes array above.

This should solve the inverse problem of mapping,
in a natural way, the triangular array of 16 points 
to the square array of 16 points.

Update of 9:35 AM ET July 16, 2012:

Note that the square model's 15 hyperplanes S 
and the triangular model's 15 hyperplanes T —

— share the following vector-space structure —

   0     c     d   c + d
   a   a + c   a + d a + c + d
   b   b + c   b + d b + c + d
a + b a + b + c a + b + d   a + b + 
  c + d

   (This vector-space a b c d  diagram is from
   Chapter 11 of   Sphere Packings, Lattices
   and Groups
, by   John Horton Conway and
   N. J. A. Sloane, first published by Springer
   in 1988.)

Sunday, July 15, 2012

Mapping Problem

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

A trial solution to the
square-to-triangle mapping problem

IMAGE- Mapping of square array to triangular array based on gnomons

Problem: Is there any good definition of "natural"
square-to-triangle mappings according to which
the above mapping is natural (or, for that matter,
un-natural)?

Squares Are Triangular

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

"A figurate number… is a number
that can be represented by
a regular geometrical arrangement
of equally spaced points."

Eric W. Weisstein at Wolfram MathWorld

For example—

IMAGE- 16 points in a square array and in a triangular array

Call a convex polytope P  an n-replica  if  P  consists of
mutually congruent polytopes similar to P  packed together.

The square-triangle theorem (or lemma) says that

"Every triangle is an n-replica"
is true if and only if n  is a square.

Equivalently,

The positive integer n  is a square
if and only if every triangle is an n-replica.

(I.e., squares are triangular.)

This supplies the converse to the saying that

Triangles Are Square.

Saturday, July 14, 2012

Lemma

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

IMAGE- 'Lemma (mathematics)' in Wikipedia

For example—

A letter to the editor of the American Mathematical Monthly
from the June-July 1985 issue has—

… a "square-triangle" lemma:

   ( t ∈ T , t  is an  -replica )
    if and only if  
n  is a square.

  [I.e., "Every triangle is an -replica"
   is true if and only if n  is a square.]

For definitions, see the 1985 letter in Triangles Are Square.

(The 1984 lemma discussed there has now, in response to an article
in Wolfram MathWorld, been renamed the square-triangle theorem .)

A search today for related material yielded the following—

"Suppose that one side of a triangle
has length . Then it can be cut
into n  2 congruent triangles which
are similar to the original one and
whose corresponding sides to the
side of length  have lengths 1."

This was supplied, without attribution, as part of the official solution
to Problem 3 in the 17th Asian Pacific Mathematics Olympiad
from March 2005. Apparently it seemed obvious to the composer
of the problem. As the 1985 letter notes, it may be not quite  obvious.

At any rate, it served in Problem 3 as a lemma , in the sense
described above by Wikipedia. See related remarks by Doron Zeilberger.

Tuesday, July 10, 2012

Euclid vs. Galois

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

(Continued)

Euclidean square and triangle

Galois square and triangle

Background—

This journal on the date of Hilton Kramer's death,
The Galois Tesseract, and The Purloined Diamond.

Sunday, July 8, 2012

Not Quite Obvious

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

"That n 2 points fall naturally into a triangular array
is a not-quite-obvious fact which may have applications…
and seems worth stating more formally."

— Steven H. Cullinane, letter in the
American Mathematical Monthly  1985 June-July issue

If the ancient Greeks had not been distracted by
investigations of triangular  (as opposed to square )
numbers, they might have done something with this fact.

A search for occurrences of the phrase

"n2 [i.e., n 2 ] congruent triangles" 

indicates only fairly recent (i.e., later than 1984) results.*

Some related material, updated this morning—

This suggests a problem
 

What mappings of a square  array of n 2 points to
a triangular  array of n 2 points are "natural"?

http://www.log24.com/log/pix12B/120708-SquareAndTriangle.jpg

In the figure above, whether
the 322,560 natural permutations
of the square's 16 points
map in any natural way to
  permutations of the triangle's 16 points
is not immediately apparent.

 

* Update of July 15, 2012 (11:07 PM ET)—

Theorem on " rep-" (Golomb's terminology)
triangles from a 1982 book—

IMAGE- Theorem (12.3) on Golomb and 'rep-k^2' triangles in book published in 1982-- 'Transformation Geometry,' by George Edward Martin

Saturday, July 7, 2012

Quartet

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

"Euclid (Ancient Greek: Εὐκλείδης Eukleidēs), fl. 300 BC, 
also known as Euclid of Alexandria, was a Greek
mathematician, often referred to as the 'Father of Geometry.'"

— Wikipedia

A Euclidean quartet (see today's previous post)—

IMAGE- Triangle cut into four congruent subtriangles
Image by Alexander Soifer

See also a link from June 28, 2012, to a University Diaries  post
discussing "a perfection of thought."

Perfect means, among other things, completed .

See, for instance, the life of another Alexandrian who reportedly
died on the above date—

"Gabriel Georges Nahas was born in Alexandria, Egypt, on
 March 4, 1920…."

 — This afternoon's online New York Times

Étude

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

 IMAGE- Google Books ad for 'Geometric Etudes in Combinatorial Mathematics,' by Alexander Soifer

IMAGE- Triangle cut into four congruent subtriangles

For remarks related by logic, see the square-triangle theorem.

For remarks related by synchronicity, see Log24 on
the above publication date,  June 15, 2010.

According to Google (and Soifer's page xix), Soifer wants to captivate
young readers.

Whether young readers should  be captivated is open to question.

"There is  such a thing as a 4-set."

Update of 9:48 the same morning—

Amazon.com says Soifer's book was published not on June 15, but on
 June 29 , 2010
(St. Peter's Day).

Sunday, May 27, 2012

Finite Jest

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

IMAGE- History of Mathematics in a Nutshell

The books pictured above are From Discrete to Continuous ,
by Katherine Neal, and Geometrical Landscapes , by Amir Alexander.

Commentary—

“Harriot has given no indication of how to resolve
such problems, but he has pasted in in English,
at the bottom of his page, these three enigmatic
lines:

‘Much ado about nothing.
Great warres and no blowes.
Who is the foole now?’

Harriot’s sardonic vein of humour, and the subtlety of
his logical reasoning still have to receive their full due.”

— “Minimum and Maximum, Finite and Infinite:
Bruno and the Northumberland Circle,” by Hilary Gatti,
Journal of the Warburg and Courtauld Institutes ,
Vol. 48 (1985), pp. 144-163

Thursday, March 22, 2012

Square-Triangle Theorem continued

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

Last night's post described a book by Alexander Soifer
on questions closely related to— and possibly
suggested by— a Miscellanea  item and a letter to
the editor
in the American Mathematical Monthly ,
June-July issues of 1984 and 1985.

Further search yields a series of three papers by
Michael Beeson on the same questions. These papers are
more mathematically  presentable than Soifer's book.

Triangle Tiling I 

http://www.michaelbeeson.com/research/papers/TriangleTiling1.pdf

       March 2, 2012

Triangle Tiling II 

http://www.michaelbeeson.com/research/papers/TriangleTiling2.pdf

       February 18, 2012

Triangle Tiling III 

http://www.michaelbeeson.com/research/papers/TriangleTiling3.pdf

       March 11, 2012 

These three recent preprints replace some 2010 drafts not now available.
Here are the abstracts of those drafts—

"Tiling triangle ABC with congruent triangles similar to ABC"
 (March 13, 2010),

"Tiling a triangle with congruent triangles"
(July 1, 2010).

Beeson, like Soifer, omits any reference to the "Triangles are square" item
of 1984 and the followup letter of 1985 in the Monthly .

Wednesday, March 21, 2012

Square-Triangle Theorem

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

(Continued from March 18, 2012)

Found in a search this evening—

How Does One Cut a Triangle?  by Alexander Soifer

(Second edition, Springer, 2009. First edition published
by Soifer's Center for Excellence in Mathematical Education,
Colorado Springs, CO, in 1990.)

This book, of xxx + 174 pages, covers questions closely related
to the "square-triangle" result I published in a letter to the 
editor of the June-July 1985 American Mathematical Monthly
(Vol. 92, No. 6, p. 443).  See Square-Triangle Theorem.

Soifer's four pages of references include neither that letter
nor the Monthly  item, "Miscellaneum 129: Triangles are square"
of a year earlier that prompted the letter.

Sunday, March 18, 2012

Square-Triangle Diamond

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

The diamond shape of yesterday's noon post
is not wholly without mathematical interest …

The square-triangle theorem

"Every triangle is an n -replica" is true
if and only if n  is a square.

IMAGE- Square-to-diamond (rhombus) shear in proof of square-triangle theorem

The 16 subdiamonds of the above figure clearly
may be mapped by an affine transformation
to 16 subsquares of a square array.

(See the diamond lattice  in Weyl's Symmetry .)

Similarly for any square n , not just 16.

There is a group of 322,560 natural transformations
that permute the centers  of the 16 subsquares
in a 16-part square array. The same group may be
viewed as permuting the centers  of the 16 subtriangles
in a 16-part triangular array.

(Updated March 29, 2012, to correct wording and add Weyl link.)

Thursday, January 19, 2012

Square Triangles

Filed under: General,Geometry — Tags: , — m759 @ 1:26 pm

MathWorld.Wolfram.com has an article titled "Square-Triangle Theorem."

An article of my own, whose HTML title was previously "Triangles are Square," has been retitled accordingly.

Monday, January 16, 2012

Mapping Problem

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

Thursday's post Triangles Are Square posed the problem of
finding "natural" maps from the 16 subsquares of a 4×4 square
to the 16 equilateral subtriangles of an edge-4 equilateral triangle.

http://www.log24.com/log/pix12/120116-SquareAndTriangle.jpg

Here is a trial solution of the inverse problem—

http://www.log24.com/log/pix12/120116-trisquare-map-500w.jpg

(Click for larger version.)

Exercise— Devise a test for "naturality" of
such mappings and apply it to the above.

Thursday, January 12, 2012

Triangles Are Square

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

Coming across John H. Conway's 1991*
pinwheel  triangle decomposition this morning—

http://www.log24.com/log/pix12/120112-ConwayTriangleDecomposition.jpg

— suggested a review of a triangle decomposition result from 1984:

IMAGE- Triangle and square, each with 16 parts

Figure A

(Click the below image to enlarge.)

IMAGE- 'Triangles Are Square,' by Steven H. Cullinane (American Mathematical Monthly, 1985)

The above 1985 note immediately suggests a problem—

What mappings of a square  with c 2 congruent parts
to a triangle  with c 2 congruent parts are "natural"?**

(In Figure A above, whether the 322,560 natural transformations
of the 16-part square map in any natural way to transformations
of the 16-part triangle is not immediately apparent.)

* Communicated to Charles Radin in January 1991. The Conway
  decomposition may, of course, have been discovered much earlier.

** Update of Jan. 18, 2012— For a trial solution to the inverse
    problem, see the "Triangles are Square" page at finitegeometry.org.

Thursday, May 22, 2008

Thursday May 22, 2008

Filed under: General — Tags: , — m759 @ 10:07 pm
For Indiana Jones
on Skull Day

Cover of Hamlet, Revenge! by Michael Innes

841: Dublin founded by
        Danish [?] Vikings

9/04: In a Nutshell: The Seed

(See also Hamlet’s Transformation.)

Hagar the Horrible and NY Lottery for Thursday, May 22, 2008: Midday 841, Evening 904

The moral of this story,
 it’s simple but it’s true:
Hey, the stars might lie,
 but the numbers never do.

Mary Chapin Carpenter  

Powered by WordPress