Examples of unexpected mathematical images

Question

I try to generate a lot of examples in my research to get a better feel for what I am doing. Sometimes, I generate a plot, or a figure, that really surprises me, and makes my research take an unexpected turn, or let me have a moment of enlightenment.

For example, a hidden symmetry is revealed or a connection to another field becomes apparent.

Question: Give an example of a picture from your research, description on how it was generated, and what insight it gave.

I am especially interested in what techniques people use to make images, this is something that I find a bit lacking in most research articles. From answers to this question; hope to learn some "standard" tricks/transformations one can do on data, to reveal hidden structure.

As an example, a couple of years ago, I studied asymptotics of (generalized) eigenvalues of non-square Toeplitz matrices. The following two pictures revealed a hidden connection to orthogonal polynomials in several variables, and a connection to Schur polynomials and representation theory. Without these hints, I have no idea what would have happened. Explanation: The deltoid picture is a 2-dimensional subspace of $\mathbb{C}^2$ where certain generalized eigenvalues for a simple, but large Toeplitz matrix appeared, so this is essentially solutions to a highly degenerate system of polynomial equations. Using a certain map, these roots could be lifted to the hexagonal region, revealing a very structured pattern. This gave insight in how the limit density of the roots is. This is essentially roots of a 2d-analogue of Chebyshev polynomials, but I did not know that at the time. The subspace in $\mathbb{C}^2$ where the deltoid lives is quite special, and we could not explain this. A subsequent paper by a different author answered this question, which lead to an analogue of being Hermitian for rectangular Toeplitz matrices.

Perhaps you do not have a single picture; then you might want to illustrate a transformation that you test on data you generate. For example, every polynomial defines a coamoeba, by mapping roots $z_i$ to $\arg z_i$. This transformation sometimes reveal interesting structure, and it partially did in the example above.

If you don't generate pictures in your research, you can still participate in the discussion, by submitting a (historical) picture you think had a similar impact (with motivation). Examples I think that can appear here might be the first picture of the Mandelbrot set, the first bifurcation diagram, or perhaps roots of polynomials with integer coefficients.

Answer 1

The third image below was certainly unexpected for my soon-to-be-collaborators, Emmanuel Candes and Justin Romberg. They started with a standard image in signal processing, the Logan-Shepp phantom:

They took a sparse set of Fourier measurements of this image along 22 radial lines (simulating a crude MRI scan). Conventional wisdom was that this was a very lossy set of measurements, losing most of the original data. Indeed, if one tried to use the standard least squares method to reconstruct the image from this data, one got terrible results:

However, Emmanuel and Justin were experimenting with a different method, in which one minimised the total variation norm rather than the least squares norm subject to the given measurements, and were hoping to get a somewhat better reconstruction. What they actually got was this:

Unbelievably, using only about 2% of the available Fourier coefficients, they had managed to reconstruct the original Logan-Shepp phantom so perfectly that the differences were invisible to the naked eye.

When Emmanuel told me this result, I couldn't believe it either, and tried to write down a theoretical proof that such perfect reconstruction was impossible from so little data. Much to my surprise, I found instead that random matrix theory could be used to guarantee exact reconstruction from a remarkably small number of measurements. We then worked together to optimise and streamline the results; this led to some of the pioneering work in the area now known as compressed sensing.

Answer 2

The histogram of all OEIS sequences shows an unexpected gap known as Sloane's gap. The plot shows how cultural factors influence mathematics. (http://arxiv.org/abs/1101.4470v2)

Answer 3

Some years ago I was pleasantly surprised when an idea of Jan Mycielski led me to find a very explicit Banach-Tarski paradox in the hyperbolic plane, $H^2.$ $H^2$ can be decomposed into three simple sets such that each is a third of the space, but also each is a half of the space.

In fact, I found recently how to this even a little more simply, but I like this picture. The second image is just a viewpoint shift of the first, but makes evident how the blue and green together are congruent to the red.

Answer 4

One can obtain a nice picture showing somewhat unexpected patterns by marking all rational points on the unit sphere whose coordinates have denominator less than some upper bound, and projecting this to one of the coordinate planes (cf. this answer of mine to another question). The following picture shows such projection of one octant of the sphere:

This picture in resolution 2048 x 2048 pixels can be found at https://stefan-kohl.github.io/images/sphere1.gif.

Update: The picture has meanwhile been used on the website of the AMSI/AustMS workshop "Geometry and Analysis", Flinders University, Adelaide, September 25 – September 27, 2015.

Answer 5

Sorry for the duplicate with @paw 's entry , but I'm the discoverer of Sloane's gap and I don't have enough reputation here yet to comment his/her answer...

So here is another explanation of this phenomenon I propose in http://www.drgoulu.com/2009/04/18/nombres-mineralises/ with this figure:

• primes are shown in red,
• perfect powers are shown in green
• highly composite numbers are shown in yellow

Since these numbers cover most of the "high zone" of Sloane's gap, I suspect the gap arises from the fact that many OEIS properties are derived from a few very basic ones like the 3 listed above. So numbers in these sequences will very likely also be present in many other sequences.

Answer 6

John Baez explains here how plotting the roots of polynomials with integer coefficients led to patterns ressembling well known fractals, and how some people figured out ways to explain the unexpected connection.

Answer 7

This image, from the MO question "Gaussian prime spirals," was certainly unexpected:

---

     

---

But the main question I raised,

Q1. Does the spiral always form a cycle?

seems out of reach (as per François Brunault's comment) under "current technology." (Stan Wagon found a cycle of length 3,900,404.)

Answer 8

I think that Barnsley's Fern is a really surprising image, that such complex shapes can be encoded in four very simple affine transformations.

If you allow for a larger class of functions (stochastic, $\mathbb{R}^3 \to \mathbb{R}^3$, and introduce a log-density plot and color each point according to orbit history, the possibilities are endless (image created by Silvia C.):

The most common applications of the latter algorithm seems to be producing abstract book covers for books about the universe:

Answer 9

I'm guessing that no one expected uniformly random Aztec diamonds (and similar lozenge/domino tilings) to exhibit circular limit shapes with frozen regions outside.

The colors in the image are determined from a certain combinatorial object called a height function.

There are a number of ways of generating these images, but the most useful one is via the domino shuffling algorithm. Essentially one builds successively larger uniform tilings by taking a uniformly random $n\times n$ tiling and then expanding it followed by filling in the blanks thus getting a uniformly random $n+1$ tiling.

A nice summary can be found here.

---

Add-on (29 March 2017). It was recently found [arXiv:1702.05474] that the interior of the circle also hides interesting patterns. These are not clear in single configurations, such as the 'typical' tiling shown above, but emerge after averaging over all possible configurations. The following shows a quadrant of the square, rotated over $\pi/4$:

The uniform grey areas here correspond to the uniform coloured areas in the above picture. The bottom-left panel ($\Delta=0$) corresponds to domino tilings of the Aztec diamond. The density profile plotted contains information about average domino tilings (and configurations of a related model, see below). Two types of oscillatory patterns are clear inside the circle, one with dark bands following the circle, and one with hyperbola-like bands with asymptotes given by the two diameters of the circle that are orthogonal to the square bounding the circle (which would form an "x" in the middle of the color picture above).

In fact, domino tilings of the Aztec diamond are related to (a special one-parameter case of) the six-vertex model from statistical mechanics, with parameter $\Delta\in\mathbb{R}$, cf. this MO Q&A. At the "combinatorial" or "ice" point $\Delta=1/2$ the patterns seem almost invisible, but interestingly at the "critical point" $\Delta=-1$ there are further "higher" patterns with several saddlepoint-like features. A few weak saddle-like features can be discerned along the diagonal for the domino case $\Delta=0$ too. Especially the higher oscillatory patterns seem to be new, and beg for a mathematical understanding. From arXiv:1702.05474 (p.12):

A more quantitative understanding of these vertex-density oscillations in the temperate region, e.g. using the methods of [28] or [32], would be very interesting. In fact, similar finite-size oscillatory behaviour is known to occur for the eigenvalue distributions in random-matrix models [56], see e.g. [57]; this might shed light on the oscillations at least for $\Delta=0$, cf. [28].

Answer 10

Suppose we have a function representated as discrete Fourier series (DFS). Each DFS coefficient has an argument and modulus. But which of them is more important?

This strange question was discussed in the book "Two-Dimensional Phase Unwrapping: Theory, Algorithms, and Software" by Dennis C. Ghiglia and Mark D. Pritt. The following picture illustrates the answer:

In the first row you see Lena and Tiffany. Second row contains their DFS's absolute values and arguments.

In the last row there are LenaTiffany (absolute values from Lena, arguments from Tiffany) and TiffanyLena (absolute values from Tiffany, arguments from Lena). So it is clear that arguments are more important than absolute values!

Ghiglia and Pritt in their book crossed Einstein with Mona Lisa. This picture is taken from the talk "Control for high resolution imaging" by Oleg Soloviev (Delft University of Technology and Flexible Optical B.V.), course Control for High Resolution Imaging.

Answer 11

This image shows the boundary of the space of "stabilizable matrices", which in some precise sense dictate the behavior of the scaling limit of the abelian sandpile model on the grid $\mathbb{Z}^2$:

This image is taken from http://arxiv.org/abs/1208.4839. See also http://arxiv.org/abs/1309.3267. The appearance of Apollonian circle packing in questions related to the scaling limit of the abelian sandpile model and integer superharmonic functions was quite unexpected. As I understand it, the connection was made by computing the above image numerically (and maybe it was even the case that the authors thought they had a mistake in their code when these fractal patterns emerged?).

Answer 12

The Hofstadter butterfly

plots, as a function of the $y$-coordinate, the spectrum of the almost Mathieu operator $H^y:l^2(\mathbb Z)\to l^2(\mathbb Z)$ $$H^y(f)(n)=f(n+1)+f(n-1)+2\cos(2\pi ny)f(n).$$

Answer 13

A long time ago, while attempting to classify certain two-dimensional rational conformal field theories (these are certain quantum field theories which enjoy a particular high level of mathematical rigorosity), I found an interesting image which is related to the modular group $\mathbb{P}\mathrm{SL}(2,\mathbb{Z})$, i.e. the matrices $$ M = \begin{pmatrix}a & b\\ c& d\end{pmatrix}\,,\ \ \ \ a,b,c,d\in\mathbb{Z}\,, \mathrm{det}\,M = +1\,. $$ Leaving out the details of my classification attempts, I discovered a set of certain conformal field theories characterized by two real parameters $x$ and $y$. They turned out to be rational if and only if $x=a/d$ and $y=b/c$ are both rational numbers with the additional condition that $ad-bc=1$. The connection to the elements of the modular group should be clear from my suggestive notation.

Now, within the classification of conformal field theories, it was natural to look at the $x$-$y$-plane and plot all the points which belong to the set of the rational theories -- which produces the following type of image (showing the first quadrant, and only points with $x<1$ and $y<1$), which I called "modular chaos".

As one might guess, this is only a crude approximation as only points up to a (rather small) maximal denominator are plotted. In fact, one can show that the emerging pattern is dense in $\mathbb{R}^2$, but it is also apparent that it has some fractal-like structure. (Actually, to be more precise, to have points in all four quadrants of the $x$-$y$-plane, one has to consider the weaker condition $ad - bc = \pm 1$.

The above image is not yet particular beautiful, but one can consider the whole plane and use a Poincare map to squeeze it into a unit disk. To enumerate and plot the valid points, one generates the modular group by the two matrices $$ S = \begin{pmatrix}0 & -1\\ 1 & 0\end{pmatrix}\,,\ \ \ \ T = \begin{pmatrix}1 & 1\\ 0 & 1\end{pmatrix}\,, $$ keeping in mind the relations $S^2=(ST)^3=\mathbb{1}$. It is relatively easy to generate the group in terms of words in $S$ and $T$ up to length $40$ as a binary tree. Encoding by color the length of the word, one finds the following much nicer image.

If you are interested in the connection to conformal field theories, see my two works arxiv:hep-th/9312097 and arxiv:hep-th/9207019. The one from 1993 contains my "proof" that the set is dense in the $\mathbb{R}^2$. I apologize to the mathematicians for the lack of rigor, I am a mere theoretical physicist.

Answer 14

The spiral of prime numbers (white dots) the "pattern" is amazing, for an explanation of the picture you can take a look to this short youtube video.

Answer 15

A recent blog post from google shows what happens if you enhance the parts of an image that triggers image recognition (using neural networks) of certain features.

The results are quite spooky, and reveal some hidden structure on what the neural network actually look for when recognizing certain features.

This is the text about the image below:

Instead of exactly prescribing which feature we want the network to amplify, we can also let the network make that decision. In this case we simply feed the network an arbitrary image or photo and let the network analyze the picture. We then pick a layer and ask the network to enhance whatever it detected. Each layer of the network deals with features at a different level of abstraction, so the complexity of features we generate depends on which layer we choose to enhance. For example, lower layers tend to produce strokes or simple ornament-like patterns, because those layers are sensitive to basic features such as edges and their orientations.

Answer 16

there are many aspects of the Collatz conjecture that lend themselves to visualization to the point that significant research insights not found elsewhere can be found in basic graphs of its properties, and a visualization-based/-centric approach can constitute the base of a major "attack" on the problem. one might state that it is an entirely new form of mathematical exploration when combined with computational experiments. with a few caveats on this notoriously difficult problem that even top experts like Erdos are quite wary of:

• note the literature on Collatz is quite sizeable and not highly detailed anywhere (although there are good high-level surveys/ overviews by Lagarias).
• many visualizations of it only look very random, so a lot of ingenuity is required but also rewarded.

here is one such striking example that apparently has not been published (outside of cyberspace).

this visualization shows the function/graph/tree $f'^n(x)$ where $n$ is the $n$th iteration of the Collatz function working in reverse. ie the function starts at 1 and based on the conjecture, visits all integers. the $x$ axis is logarithmic scale. a $2n$ operation moves upward to the right, a $(n-1)/3$ operation moves up to the left. there are two inset details of line intersection "closeups" that show the fractal quality, somewhat reminiscent of the rings of Saturn.

the insight is that this shows the dichotomy/ juxtaposition of order (macroscopic) vs randomness (microscopic) in the problem and leads to other ideas/ strategies about how to approach further analysis.

plots were generated with Ruby/Gnuplot. more details on generation and other visualizations on this page.

Answer 17

When I was plotting some parametric curves, accidentally I found this one:

$x=t\cos^3(t)$

$y=9t\sqrt{| \cos(t)|}+t\sin(\frac{t}{5})\cos(4t)$

$0<t<\frac{39\pi}{2}$

Answer 18

Hardly research level, though visually interesting.

These might show some relations between the discrete and the continuous.

For integer $n$, let $M$ be $n$ by $n$ matrix. For some function $F$, define $M_{x,y}=F(x,y) \mod n$.

Map $M_{x,y}$ to shadows of grey where smaller is darker and larger is closer to white.

Here are some examples for $F(x,y) \in \{x^2+y^2,4x^2+y^2,x^3+x-y^2,xy\}$.

$$x^2+y^2, n=503$$

$$4x^2+y^2, n=503$$

$$x^3+x-y^2, n=503$$

$$xy, n=1961=37\cdot 53$$

Answer 19

Abelian sandpile model:

The picture is taken from The Amazing, Autotuning Sandpile by Jordan Ellenberg.

Answer 20

I was computing various (2D orthogonal) projections of the Leech polytope (the $196\,560$ points forming the smallest shell of the Leech lattice focusing on those which exhibit various symmetries (viz., eigenplanes from various elements of $\mathrm{Co}_0$, or combinations of such planes), and I stumbled upon this delightfully “snowflaky” projection:

(it comes from class 30D of $\mathrm{Co}_0$, in the ATLAS notation, starting from an eigenplane on which the latter acts as a rotation of $2\pi/10$, and shifting it ever-so-slightly toward an eigenplane on which it acts as a rotation of $2\pi/15$; to be clear, this is just a particular orthogonal projection to $\mathbb{R}^2$ of the $196\,560$ points of the first shell of the Leech lattice).

I am very much reminded of the way Conway describes the sporadic simple groups as “Christmas tree ornaments” in this Numberphile video (at 12′16″ in the video).

This Twitter thread has a number of similar images.

Answer 21

When Thierry Gallay and I introduced the Numerical measure of a matrix, we encountered the following simulation of the measure density (here a $3\times3$ matrix). This lead us to conjecture, and eventually prove, that the density is constant (in general, a polynomial of degree $n-3$) in the curved triangle. We eventually made a link with the theory of lacunae of hyperbolic differential operators.

The lines are level lines of the density. The outer line, where the density vanishes, is the boundary of the Numerical range. It is convex, according to the Toeplitz-Hausdorf Theorem.

Answer 22

Tupper's Self-Referential Formula is an inequality defined by:

$$\frac{1}{2} < \left\lfloor \mathrm{mod}\left(\left\lfloor {\frac{y}{17}} \right\rfloor 2^{-17 \lfloor x \rfloor - \mathrm{mod}(\lfloor y\rfloor, 17)},2\right)\right\rfloor$$

The best part of this is that when we plot it in certain range the $\textbf{graph is the formula itself} $

Answer 23

Students learning about polar coordinates for the first time may investigate the "roses"

Maybe they will even discover "greatest common divisor" from these.

Answer 24

This is unexpected Voronoi diagram (see the full story). By zooming in and out of the following pictures, such a picture can be seen on the screen for a short time (less than 1 second).

It illustrates not the Voronoi diagram but a "brittle view of the internal logic of the X86 FPU". The same page contains some examples which are almost the same as pictures from the answer of joro but much more funny:

Such pictures were discussed in Russian "Kvant" magazine.

Answer 25

The first sequence without triple in arithmetic progression
MathOverflow post - A229037 - Numberphile video (from 3:36 to 7:41)

The following colored plot of 16 million terms is due to reddit user garnet420 (horizontal divisions are 1000000; vertical divisions are 25000).

A variation by Richard Stanley: we only exclude the triple in weakly increasing arithmetic progression
MathOverflow post (last part) - Comment - A309890 - Listen it (marimba, incredibly pleasant!)

Answer 26

Having browsed all these fantastic images several times, only now did I remember that I also have something really unexpected to show. Many years ago Winfried Bruns suggested certain question about generic $n$-vectors (homogeneous elements in exterior algebras). I could not contribute much, and still return to his question from time to time. One really surprising feature we encountered there is some fractal-like pattern out of the blue.

For some "generic" field $k$, take a generic element $a\in\Lambda^n(k^{3n})$. Exterior multiplication by $a$ induces a linear operator $a\wedge\_:\Lambda^n(k^{3n})\to\Lambda^{2n}(k^{3n})$, which in the standard bases may be viewed as a (square) $\binom{3n}n\times\binom{3n}{2n}$-matrix. Plotting just nonzero entries of this matrix reveals something that was really unexpected for me. Here is an example with $n=5$ (a $3003\times3003$-matrix, since $\binom{15}5=\binom{15}{10}=3003$):

Answer 27

The following shows a plane section of the $E_8$ lattice along a random translate of a Coxeter plane (plane of symmetry of order $30$). The gray scale indicates the (squared) distance to the the closest lattice point (with pure black indicating the distance $0$ and pure white indicating the distance $1$; so the light lines essentially show the Voronoi diagram of $E_8$ intersected along this plane):

I find it fascinating how approximate order $30$ symmetry appears in various places in this image.

It is even more interesting in video, where we can see the Voronoi cells appear and disappear as we translate the plane of section:

• Section along a random plane

• Section along a plane parallel to a Coxeter plane

• Section along a plane parallel to a plane with symmetry of order $24$

(In each case, the plane section is translated uniformly along a random axis perpendicular to it; in the latter two videos, the plane encounters a lattice point at the exact middle of the video and in the center of the image: this reveals a spectacular perfect symmetry at this point, while the symmetry is only approximate at other times.)

I also experimented with other kinds of coloring (defining the color of a point by the projection of the nearest lattice point along three perpendicular axes, see here), but they don't seem as visually interesting.

Answer 28

What do numbers look like? ( John Williamson) https://johnhw.github.io/umap_primes/index.md.html

Very interesting visualizations have been obtained relatively recently. Just the integers from 1 to 1 mio have been considered, each integer converted to a vector corresponding to its prime decomposition, thus obtained a dataset in higher-dimensional space, and final step is applying dimensional reduction technique (UMAP (see e.g. John Baez's blog for discussion)) to get 2-dimensional matrix which is visualized.

Other sequences can be processed in a similar way to get more beautiful pictures (see the link above).

PS

Imho, the outcome is very unexpected, it might happen that certain patterns more likely due to UMAP, rather due to hidden patterns in integer numbers.

Answer 29

A classical exercise in a first calculus course is to find a function $f:[0,1]\to \mathbb{R}$ whose discontinuity points are precisely the rational points. An example is the "popcorn function": $$ f(x)=\begin{cases} 1/q \text{ if } x=p/q\in \mathbb{Q} \text{ (in reduced form)} \\ 0 \text{ if } x\notin \mathbb{Q} \end{cases} $$

I was certain that this function is the type designed purely for counter-example purposes, and not the one you would come across "in nature"; up until a year ago when I tried to understand the space of characters of the discrete Heisenberg group. It happens to be a bundle over a circle, where the fiber of a point $x$ is a torus of size $f(x)$:

The meaning of the term character I use here is in the sense of Thoma, as explained in this book. It extends the notion of characters of abelian groups in the Pontryagin sense and of finite groups in the Frobenius sense, and thus provides a way of doing harmonic analysis on arbitrary groups.

In a recent paper, Bader and I study dynamics and random walks on the space above (as well as dual spaces of other nilpotent groups), for the sake of understanding arithmetic groups.

Answer 30

The Mandelbulb is a three-dimensional fractal, constructed by Daniel White and Paul Nylander using spherical coordinates in 2009.

Answer 31

The Hasse diagram of a (partially) ordered set is often used to graphically represent an order relation; one may think of it as the minimal directed acyclic graph inducing this relation (its transitive reduction), with all arcs drawn from top to bottom.

The partitions of an integer $n$ (non-increasing sequences of integers of sum $n$) are ordered by the dominance order. A similar order may be defined on the different ways to write an integer $n$ as a sum of powers of integer $b$. Both have the lattice structure, and have a striking self-similar structure.

This self-similar structure was first noticed by observing the following drawings of Hasse diagrams.

The first one is defined over the integer partitions of $40$ and its self-similarity was studied in this paper.

                             

The second one is defined over the partitions of $80$ into powers of $2$ and its self-similarity was studied in this paper.

They are also mentioned in this discussion.

Answer 32

Since the oeis has added the feature of having sequences displayed graphically, it has become so much easier to get a quick impression of their behaviour, particularly for many self similar sequences.

Answer 33

The discovery of the special nature of Costa's minimal surface has been made on a visualization.

Generally visualization seems to play an important role in the study of minimal surfaces.

Answer 34

We were highly impressed how very similar growth rules can form a mushroom shape. In the model, each point the growing fungi (network of the thin threads) generates some abstract scalar field. The tips turn towards preferred value of the field and branch when the field drops below some threshold. Add the preferred 45 degree orientation in the earth gravity field - and this is enough to make the system to grow into almost perfect shape of the most primitive mushrooms. Complete description and equations can be found in the published articles, referenced from the neighbour sensing model entry in Wikipedia.

Answer 35

Coefficients of cyclotomic polynomials with composite number:

The picture is taken from slides of the talk Cyclotomic Numerical Semigroups-2 given by Pieter Moree at International meeting on numerical semigroups with applications.

More images here

Answer 36

The very top of the large cardinal hierarchy was an unlikely place to look for computer generated mathematical images.

The $n$-th classical Laver table is the unique algebra $A_n=(\{1,\ldots,2^n\},*_n)$ where

1. $x*_n(y*_n z)=(x*_n y)*_n(x*_n z)$, and

2. $x*_n 1=x+1\bmod 2^n$.

Let $\mathcal{E}_\lambda$ be the set of all elementary embeddings $j:V_\lambda \rightarrow V_\lambda$. The critical points of non-trivial elementary embeddings $j\in\mathcal{E}_\lambda$ are known as rank-into-rank cardinals and the rank-into-rank cardinals are among the largest of the local large cardinals and the axiom positing the existence of a rank-into-rank cardinal is one of the strongest large cardinal axioms.

Define an operation $*$ on $\mathcal{E}_\lambda$ by $j*k=\bigcup_{\alpha<\lambda}j(k|_{V_\alpha})$. For each limit ordinal $\gamma<\lambda$, let $\equiv^\gamma$ be the equivalence relation on $\mathcal{E}_\lambda$ where $j\equiv^\gamma k$ iff $j(x)\cap V_\gamma=k(x)\cap V_\gamma$ for each $x\in V_\gamma$. Then for all $j\in\mathcal{E}_{\lambda}$ and limit ordinals $\gamma<\lambda$, there is some $n$ where $(\langle j\rangle/\equiv^\gamma)\simeq A_n$.

Let $L_n:\{0,\ldots,2^n-1\}\rightarrow\{0,\ldots,2^n-1\}$ be the mapping where $L_n(x)$ is the number obtained by reversing the digits in the binary expansion of $x$. In other words, $L_n(\sum_{k=0}^{n-1} a_k 2^k) = \sum_{k=0}^{n-1}a_k 2^{n-1-k}$.

Define an operation $\#_n$ on $\{0,\ldots,2^n-1\}$ by $x\#_n y=L_n(((L_n(x)+1)*_n(L_n(y)+1))-1)$.

In the following image, each pixel of the form $(x,x\#_n y)$ (we use matrix coordinates here) is colored white while all of the other coordinates are colored black (here $n=9$ so the image is a $512\times512$ image). As $n\rightarrow\infty$, the resulting image will give one finer and finer detail about the classical Laver tables.

At this link, you may zoom into the above image of the classical Laver tables.

All of the information about $A_9$ is contained in the above image.

The white points actually form a subset of a Sierpinski-like triangle. However, the white points are so sparse that the resulting image hardly resembles the Sierpinski triangle. However, while the white points do not quite make the Sierpinski triangle, if there exists a rank-into-rank cardinal, then every white point in this image has fractal structure if you zoom extremely far into the image and let $n\rightarrow\infty$.

This image is not the only image you may obtain from the classical Laver tables since on this answer, I have posted other images obtainable from the classical Laver tables and generalized Laver tables. You may also generate your own images obtainable from the generalized Laver tables here.

Answer 37

This image shows the behavior of a certain function (basically, the "inverse temperature modulo a timescale") associated to various "greedily refined" Markov partitions for the geodesic flow on a g-torus as a function of the (log-) number of partition refinements. When I saw that not only the limit but also even the oscillatory behavior was essentially identical for different genera, I was convinced that there was true physical relevance for this very abstract quantity. There was no reason (other than physics!) to expect such uniformity. Details are in http://arxiv.org/abs/1009.2127

Answer 38

In the Jones monoid, a monoid associated to the Temperley-Lieb algebra, the idempotents were discovered (see Organic Semigroup Theory for an overview) to exhibit fern-like qualities when the Green's $\mathcal{D}$-classes are drawn out. The below picture, taken from the earlier link and generated by James East in GAP, illustrates this quite beautifully, by having a black pixel for a group $\mathcal{H}$-class, indicating the presence of an idempotent, and otherwise a white pixel:

Why such beautiful patterns appear still seems to be a very exciting mystery!

Answer 39

Consider a root system of type D. The Hasse diagram is built up by writing, as bottom row, a node for each simple root, and then on each row above, connect up two roots if their sum is a root.

The Hasse diagram has an obvious symmetry in the last two roots (7 and 8, in the picture), from the symmetry of the Dynkin diagram. We can picture that symmetry as flipping the box kite in the picture inside out. But the picture is also symmetric under the obvious diagonal reflection through the lower right corner of the picture, exchanging the bottom row with the right hand side. The bottom row is the simple roots. The right hand side is various sums of simple roots. As far as I can see, no other root system has a symmetry in its Hasse diagram not induced by a symmetry of the Dynkin diagram. This has very complicated consequences about the decomposition of the tangent bundle of any flag variety over D, for example. I saw this symmetry when I drew this picture, and I don't know if it was already known.

Answer 40

Just stumbled on this. I am currently working with cyclic elements in simple Lie algebras - these are elements of the form $e+F$ where $e$ is a generic element of degree 2 and $F$ a generic element of lowest possible degree, with respect to the grading defined by a semisimple element.

I took one such in E$_8$, took the matrix of its $\operatorname{ad}$, and made from it a graph, with 248 vertices, and edges connecting those $i$, $j$ with $(i,j)$th entry of that matrix nonzero. Voilà.

Answer 41

This may be late to the party, but hidden symmetries lurk in higher-dimensional lattices.

Four dimensions is enough to produce this effect. A four-dimensional lattice of points in $\mathbb{Z}^4$ appears not to have any regular pentagons. And yet the invertible transformation matrix $M$ given by

\begin{pmatrix} 0&0&0&-1\\1&0&0&-1\\0&1&0&-1\\0&0&1&-1\\ \end{pmatrix}

transforms the lattice into itself and satisfies the relation $M^5=I_4$. Thus a fivefold symmetry emerges with the inherited periodicity of the lattice, and may be converted into a quasiperiodic proper fivefold lattice by projecting the four-dimensional lattice into a plane.

Such is a construction of a quasilattice. Since the four-dimensional lattice and its quasilattice projection contain a center of inversion as well, the fivefold axis is further promoted to a tenfold axis.

Below 1 is a diffraction pattern produced by a quasicrystalline alloy possessing long-range tenfold symmetry. The full symmetry of such a quasilattice cannot be rendered in the plane with a discrete collection of points, but tenfold clusters derived from the quasilattice symmetry, and thus the four-dimensional parent lattice, are evident.

Transformation matrices with eight- or twelvefold symmetry can be constructed in the four-dimensional lattice, and higher dimensions open up still more possibilities. Six dimensions, for instance, yield the symmetries of the regular heptagon and enneagon (therefore also the 14-gon and 18-gon), as well as the full symmetry of a regular icosahedron.

Reference

1. Seki, Takehito & Abe, E.. (2015). "Local cluster symmetry of a highly ordered quasicrystalline Al 58 Cu 26 Ir 16 extracted through multivariate analysis of STEM images". Microscopy (Oxford, England). 64. https://doi.org/10.1093/jmicro/dfv035.

Answer 42

For better visualizing and understanding fractals like the Mandelbrot set, the idea of color cycling is a great invention.

Points outside the fractal are colored according to the number of iterations when a threshold assuring divergence ("bail out") is reached. Imagining the fractal bearing en electrical charge or a temperature, the points of same color, i.e. of same rate of divergence, form "equipotential lines" around it. Of course, those lines become more and more intricate as one comes close to the fractal.
So far, this is only static, but now cycling in time through the colors of the (periodic) color palette, either towards the fractal or outward, reveals so much more about its hard-to-see structures. E.g. for the Mandelbrot set, knowing that it is simply connected, cycling helps particularly in regions with spiral-like patterns to get an idea "where it is connected".
Just google for the terms fractal color cycling and you'll find tons of more or less hallucinating videos.

Answer 43

This wasn't exactly research, but I have a couple animations I made using a modified version of Melinda Green's Buddhabrot method to render the Mandelbrot set, and what came out was definitely unexpected and pretty shocking to me. I don't think I've ever seen this particular method anywhere else. I've been hoping to get some proper mathematicians to look at the process and give me some insight into why such wild objects seem to form.

This is the first one I made.

Then I tried to make a higher definition animation with different inputs.

You can turn up the quality to see the detail a bit better before watching them. It defaults to 480p, but can be changed to 720p.

To create these, I first began with Melinda's method, which is still explained at her site. It's basically a heat map of how many points in each pixel escaped to "infinity" under the action of the complex seed function. To create motion I decided I would take the coefficients of the function, which was a generalized Mandelbrot-type equation like this:

$$ z(w) = aw^3 + bw^2 + cw + C $$

Where $w$ is the complex conjugate of the previous value of the function.

And I would treat those coefficients like a 3-vector (a, b, c). To create motion, I rotated that vector just as if it was a spatial vector rotating through space. The animations are built up of individual images created by slightly transforming the coefficients little by little.

I would really enjoy hearing any insights people have as to why such incredible structures seem to come alive in these visualizations. It is almost eerie. You can see there is a smoke-like effect that gathers around the extended "arms" of the object as it moves, and it almost acts like it is responding to some kind of attractive force (which is mystifying considering what we're looking at). It also has these little three-pointed sparks that fly off the tips, but eventually look like creases in fabric rather than little stars. There are even biological looking structures that appear when the sparks come together and seem to annihilate each other.

On a simpler level, it shocked me that it actually looks like a very distorted physical rotation of some object rotating in higher dimensions, even though it is only a rotation in coefficient space, and not a an actual rotation of spatial coordinates. About halfway through each video, you can see that it really is a rotational transformation, because it comes back around and repeats the entire rotation once more as the vector comes back through its initial position, which was something like (1, 0, 0). In fact, in the first video you can see the exact moment it repeats because the numbers didn't come back around exactly right due to rounding errors that I fixed in the second video.

Answer 44

Picture based on research by Christopher Hoffman, Alexander Holroyd and Yuval Peres

Answer 45

The Collatz conjecture has already been mentioned here in an answer. I think it is worth however to add explicitly two more images here, both from the OEIS.

The first one simply displays the sum of numbers in the trajectory for each initial value $n$. And here is the same, but with the horizontal axis also logarithmic (both base $10$). What looks most remarkable to me here are the almost vertical gaps next to the bottom, about five of them between $n$ and $2n$, well visible on both images. Will they continue at that rate for bigger $n$?
And as for the cloud-like concentration of points with values just above $10^5$ (starting with $a(27)=101440)$, its visibility depends heavily on the scale used. But one could wonder whether for different scales/ranges one can see other horizontal point clouds of similar "thicknesses".

The second one displays the number of Collatz steps when starting with primes. The distance of two horizontal "relaying segments" of the slowly decreasing patterns (i.e. certain subsets of primes) seems to be always $5$. (Why?)

Answer 46

These images are the graphs of simple functions using the sinus. You can see them, animated with a function tracer in Flash here: graph of two unexpected functions

$$ a=a+3 \\ b=b+10 \times cos(a)\\ \begin{cases} x=a \times cos(a)+b \times cos(b)\\ y=b \times sin(b)+a \times sin(a)\end{cases} $$ $$ a=a+\pi/3 \\ b=b+a \times sin(1/a)+a\times cos(1/a)\\da=da+0.0001\\ \begin{cases} x=0.02 \times 1/a \times cos(b\times da)+a \times cos(b\times da)\\ y=0.02 \times 1/a \times sin(b\times da)+a \times sin(b\times da)\end{cases} $$

Answer 47

Explanation:

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$. Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition $\tau_{r_1(m_1),r_2(m_2)}$ be the permutation of $\mathbb{Z}$ which interchanges $r_1+km_1$ and $r_2+km_2$ for every $k \in \mathbb{Z}$ and which fixes everything else.

Let $G :=\left\langle\tau_{0(2),1(2)}, \tau_{0(5),4(5)}, \tau_{1(4),0(6)}\right\rangle$ be the group from the first remark to this question. The group $G$ has one "exceptional" orbit $0^G = \{0,1,4,5,6,7,8,9,10,11,12,13,14,15,18,19\}$ of length $16$. Also it has four series of orbits of length $2$ (namely $\{2(60), 3(60)\}$, $\{22(60), 23(60)\}$, $\{26(60), 27(60)\}$ and $\{46(60), 47(60)\}$) -- the "trivial" orbits.

There is numerical evidence that the other orbits come all in infinite series, have all length congruent to $8$ modulo $16$, and that all positive integers in the residue class $8(16)$ do occur as orbit lengths -- and that in particular all orbits are finite (but there is no proof of this). Also there is numerical evidence that $16(60) \cup 32(60) \cup 52(60) \cup 56(60)$ is a set of representatives for the non-"trivial" orbits.

The picture above shows the lengths of the orbits whose representative lies in the residue class $16(60)$; each color stands for a particular orbit length -- for example the big light-yellow rectangle on the right stands for the residue class $76(120)$ which is a set of representatives for a series $\{76(120), 77(120), 110(180), 111(180), 114(180), 115(180), 118(180), 119(180)\}$ of orbits of length $8$. The big blue rectangle on the upper left stands for the residue class $16(480)$ (orbit length $24$), the big green rectangle stands for the residue class $1216(1920)$ (orbit length $40$), etc., and the black areas between the colored rectangles stand for larger orbit lengths (in the hundreds and above -- also the orbit of length $47610700792$ discussed in the question linked above belongs here). Presumably the colored rectangles would completely tile the picture if one wouln't have to stop drawing at some point.

Larger versions of the picture can be found here (2.5MB SVG file) and here (17MB SVG file -- may exceed capacities depending on used computer and browser). The longest orbits represented in the largest picture have length $984 = 61 \cdot 16 + 8$, which is still tiny in comparison with the $47610700792$ mentioned above.

The picture below indicates by color in which of the four residue classes $16(60)$, $32(60)$, $52(60)$, $56(60)$ the representative of the orbit of given $n \in 30(60)$ lies -- the trisection alternates between horizontal and vertical, i.e. the left third of the picture corresponds to the residue class $30(180)$, the middle third to $90(180)$, the right third to $150(180)$, the top left $9$-th to $30(540)$, the top right $9$-th to $150(540)$, the bottom left $9$-th to $390(540)$, and the bottom right $9$-th to $510(540)$:

There is a larger version of the picture available here (1.2MB SVG file).