mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3K
active users

Dan Piponi

The signed permutation matrices (SPMs) are permutation matrices except that you can use -1 instead of 1. Ie. they are matrices with just one non-zero entry in each row and each column and that entry is 1 or -1.

SPMs form a finite group so their eigenvalues must lie on the unit circle.

But what about the sum of two SPMs? Here's a plot of the eigenvalues of the sums of 2 8x8 SPMs.

(Sorry, top and bottom cropped, Mathematica has trouble plotting a million points even though seems like a pretty small number to me.)

A seasonal wreath using the eigenvalues of an SPM + 1/4 another.

Code:

u[d_] := (2 RandomInteger[{0, 1}, d] - 1) IdentityMatrix[d][[
PermutationReplace[Range[d], RandomPermutation[d]]]]

z = Flatten[
Parallelize[
Table[Eigenvalues[u[8] + u[8]/4] // N, {i, 1, 500000}]]];

ListPlot[Transpose[{Re[z], Im[z]}], PlotStyle -> Opacity[0.0025],
AspectRatio -> 1]

@dpiponi bottom is just a mirror of the top anyway it seems, yeah?

@dpiponi Somewhat reminiscent of what you get by looking at roots of polynomials with small-integer coefficients (see e.g. math.ucr.edu/home/baez/roots/).

(This isn't hugely surprising -- eigenvalues of matrices are roots of polynomials derived from their entries. I guess there are many ways of constraining polynomials' coefficients that lead to pictures that look a bit like these.)

math.ucr.eduroots

@dpiponi (I see that other bits of Mathstodon have been talking about those recently, so maybe in fact you posted this plot precisely _because_ of that, in which case my comment is super-redundant, but never mind.)

@gjm It's a recurring theme on math social media :)

@dpiponi And rightly so -- it's easy to explain, the pictures are really pretty, and it's even possible to explain some of their interesting features without getting too highbrow. (Is much known about exactly why your sum-of-two-SPMs plot looks the way it does?)

@gjm There are partial stories for the shapes of the details in these kinds of plots. Eg. for some of these kinds of plots you can approximate the computation with some simpler rational function of the matrix elements (which are by design, chosen to be integers). These approximate sets have to be subsets of Schmidt arrangements so you end up with regions that locally look a bit like that. math.katestange.net/illustrati

math.katestange.netSchmidt Arrangements – Katherine E. Stange