3
$\begingroup$

If people were asked to do a brainstorming related to the title, everyone would probably come up with dozens of examples. Those could include things as different as

  • the Mandelbrot set, Julia sets and all other sorts of fractals
  • the j-invariant and other special functions
  • the sporadic simple groups (not unique, but almost, in the sense that there are only a small number of them)
  • lots of other well known examples...

Obviously there would be no big use suggesting anything that broad. To come up with a reasonably short list, I would like to exclude

  • structures that are largely known (your judgment!)
  • structures that are mainly defined by some extremality condition (e.g. cage graphs).

Examples for the sort of surprising discoveries I would appreciate to see mentioned here are things like Laver tables (which actually inspired this question) or the Feigenbaum Function, unique solution of the Feigenbaum-Cvitanović functional equation. In this vein:

Which sophisticated structures with easy defining conditions (and whose existence is possibly not straightforward) from your favorite domain would you like to share?

$\endgroup$
4
  • 2
    $\begingroup$ How do you describe the sporadic simple groups by a few easy conditions? $\endgroup$
    – Nick Gill
    Commented Apr 9, 2015 at 12:23
  • 1
    $\begingroup$ Do sequences with Laurent phenomenon count? $\endgroup$
    – Suvrit
    Commented Apr 9, 2015 at 12:40
  • 1
    $\begingroup$ It is worth pointing out that two of your examples (j-invariant and sporadic simple groups) are related through moonshine, as is the intricate structure of the Golay code. $\endgroup$ Commented Apr 9, 2015 at 13:14
  • $\begingroup$ @Suvrit Feel free if you have particularly nice ones! $\endgroup$
    – Wolfgang
    Commented Apr 9, 2015 at 16:26

3 Answers 3

7
$\begingroup$

The Leech lattice $\Lambda_{24}$ answers your question with quite a large multiplicity.

  1. The unique $24$-dimensional laminated lattice, defined by $\Lambda_0$ being the one-point lattice and $\Lambda_{n+1}$ being a maximum-density lattice packing obtained from adjoining an additional vector to $\Lambda_n$.

  2. The lowest-dimension even self-dual unimodular lattice with no roots (vectors of norm $2$).

  3. The lattice of vectors in the Lorentzian lattice $II_{25,1}$ perpendicular to the light-like Weyl vector $(0, 1, 2, 3, \dots, 24; 70)$.

  4. The unique densest lattice packing of balls in $24$-dimensional space.

  5. The lowest-dimension even self-dual unimodular lattice that is not directly congruent to its enantiomer.

There are lots of other characterisations, for example based on the relationship between its theta series and the Ramanujan tau function.

$\endgroup$
2
$\begingroup$

Somos Sequences and their generalizations.

$\endgroup$
0
$\begingroup$

Given an “infinite” grid of resistors connecting adjacent nodes of a square lattice. Determine the effective resistance between two specified nodes of the lattice.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .