arXiv subjects

Mark Mixer

Publications and source records attributed to Mark Mixer.

12 recordsLinked to original sources

arXiv2026

Representing alternating groups as self-dual string C-groups of high rank

The highest rank of a string C-group representation of the alternating group $A_n$ is known for each $n$, but no self-dual representations attaining this highest rank are known when $n > 12$. Motivated by computational results for alternating groups of small degree, we examine a vertex-gluing construction for permutation representation graphs. We establish conditions under which gluing two string C-groups produces another string C-group, and use this construction to obtain infinite families of self-dual representations of alternating groups. In particular, for every $n = 4m+3 \geq 15$, we construct $\left \lfloor \frac{n+9}{8} \right \rfloor$ distinct self-dual string C-groups of rank $2m$ isomorphic to $A_{n}$. These representations have rank one below the maximum possible rank of string C-group representations for $A_n$, and to the authors' knowledge are the highest-rank self-dual representations currently known for alternating groups.

math.GR↗

arXiv2022

Conditional Probability of Derangements and Fixed Points

The probability that a random permutation in $S_n$ is a derangement is well known to be $\displaystyle\sum\limits_{j=0}^n (-1)^j \frac{1}{j!}$. In this paper, we consider the conditional probability that the $(k+1)^{st}$ point is fixed, given there are no fixed points in the first $k$ points. We prove that when $n \neq 3$ and $k \neq 1$, this probability is a decreasing function of both $k$ and $n$. Furthermore, it is proved that this conditional probability is well approximated by $\frac{1}{n} - \frac{k}{n^2(n-1)}$. Similar results are also obtained about the more general conditional probability that the $(k+1)^{st}$ point is fixed, given that there are exactly $d$ fixed points in the first $k$ points.

math.CO↗

arXiv2020

Vertex-Faithful Regular Polyhedra

We study the abstract regular polyhedra with automorphism groups that act faithfully on their vertices, and show that each non-flat abstract regular polyhedron covers a "vertex-faithful" polyhedron with the same number of vertices. We then use this result and earlier work on flat polyhedra to study abstract regular polyhedra based on the size of their vertex set. In particular, we classify all regular polyhedra where the number of vertices is prime or twice a prime. We also construct the smallest regular polyhedra with a prime squared number of vertices.

math.CO↗

arXiv2019

The ranks of alternating string C-groups

In this paper, string C-groups of all ranks $3 \leq r \leq \frac{n}{2}$ are provided for each alternating group $A_n$, $n \geq 12$. As the string C-group representations of $A_n$ have also been classified for $n \leq 11$, and it is known that larger ranks are impossible, this paper provides the exact values of $n$ for which $A_n$ can be represented as a string C-group of a fixed rank.

math.GR↗

arXiv2018

Archimedean toroidal maps and their minimal almost regular covers

The automorphism group of a map acts naturally on its flags (triples of incident vertices, edges, and faces). An Archimedean map on the torus is called almost regular if it has as few flag orbits as possible for its type; for example, a map of type $(4.8^2)$ is called almost regular if it has exactly three flag orbits. Given a map of a certain type, we will consider other more symmetric maps that cover it. In this paper, we prove that each Archimedean toroidal map has a unique minimal almost regular cover. By using the Gaussian and Eisenstein integers, along with previous results regarding equivelar maps on the torus, we construct these minimal almost regular covers explicitly.

math.GR↗

arXiv2016

Internal and external duality in abstract polytopes

We define an abstract regular polytope to be internally self-dual if its self-duality can be realized as one of its symmetries. This property has many interesting implications on the structure of the polytope, which we present here. Then, we construct many examples of internally self-dual polytopes. In particular, we show that there are internally self-dual regular polyhedra of each type $\{p, p\}$ for $p \geq 3$ and that there are both infinitely many internally self-dual and infinitely many externally self-dual polyhedra of type $\{p, p\}$ for $p$ even. We also show that there are internally self-dual polytopes in each rank, including a new family of polytopes that we construct here.

math.GR↗

arXiv2016

Highest rank of a polytope for $A_n$

We prove that the highest rank of a string C-group constructed from an alternating group $Alt_n$ is 0 if $n=3, 4, 6, 7, 8$; 3 if $n=5$; 4 if $n=9$; 5 if $n=10$; 6 if $n=11$; and $\lfloor\frac{n-1}{2}\rfloor$ if $n\geq 12$. This solves a conjecture made by the last three authors in 2012.

math.GR↗

arXiv2015

An extension of the classification of high rank regular polytopes

Up to isomorphism and duality, there are exactly two non-degenerate abstract regular polytopes of rank greater than $n-3$, one of rank $n-1$ and one of rank $n-2$, with automorphism groups that are transitive permutation groups of degree $n\geq 7$. In this paper we extend this classification of high rank regular polytopes to include the ranks $n-3$ and $n-4$. The result is, up to a isomorphism and duality, seven abstract regular polytopes of rank $n-3$ for each $n\geq 9$, and nine abstract regular polytopes of rank $n-4$ for each $n \geq 11$. Moreover we show that if a transitive permutation group $\Gamma$ of degree $n \geq 11$ is the automorphism group of an abstract regular polytope of rank at least $n-4$, then $\Gamma\cong S_n$.

math.CO↗

arXiv2015

Cubic Tessellations of the Helicosms

Up to isomorphism there are six fixed-point free crystallographic groups in Euclidean Space generated by twists (screw motions). In each case, an orientable 3-manifold is obtained as the quotient of E3 by such a group. The cubic tessellation of E3 induces tessellations on each such manifold. These tessellations of the 3-torus and the didicosm were classified as `equivelar toroids' and `cubic tessellations of the didicosm' in previous works. This paper concludes the classification of cubic tessellations on the remaining four orientable manifolds.

math.GT↗

arXiv2014

String C-groups as transitive subgroups of Sym(n)

If $\Gamma$ is a string C-group which is isomorphic to a transitive subgroup of the symmetric group Sym(n) (other than Sym(n) and the alternating group Alt(n)), then the rank of $\Gamma$ is at most $n/2+1$, with finitely many exceptions (which are classified). It is conjectured that only the symmetric group has to be excluded.

math.GR↗

arXiv2012

Hereditary Polytopes

Every regular polytope has the remarkable property that it inherits all symmetries of each of its facets. This property distinguishes a natural class of polytopes which are called hereditary. Regular polytopes are by definition hereditary, but the other polytopes in this class are interesting, have possible applications in modeling of structures, and have not been previously investigated. This paper establishes the basic theory of hereditary polytopes, focussing on the analysis and construction of hereditary polytopes with highly symmetric faces.

math.CO↗

arXiv2011

Core-Free, Rank Two Coset Geometries from Edge-Transitive Bipartite Graphs

It is known that the Levi graph of any rank two coset geometry is an edge-transitive graph, and thus coset geometries can be used to construct many edge transitive graphs. In this paper, we consider the reverse direction. Starting from edge- transitive graphs, we construct all associated core-free, rank two coset geometries. In particular, we focus on 3-valent and 4-valent graphs, and are able to construct coset geometries arising from these graphs. We summarize many properties of these coset geometries in a sequence of tables; in the 4-valent case we restrict to graphs that have relatively small vertex-stabilizers.

math.AG↗