Related papers: Groups Obtained from $2-(n,4,3)$ Supersimple Desig…
Let A be an evolution algebra (possibly infinite-dimensional) equipped with a fixed natural basis B, and let E be the associated graph defined by Elduque and Labra. We describe the group of automorphisms of A that are diagonalizable with…
We extend to an arbitrary number field the best known bounds towards the Ramanujan conjecture for the groups GL(n), n=2, 3, 4. In particular, we present a technique which overcomes the analytic obstacles posed by the presence of an infinite…
To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…
We establish Monod's isomorphism conjecture in degree-three bounded cohomology for every complex simple Lie group of classical type. Our main ingredient is a bounded-cohomological stability theorem with an optimal range in degree three that…
We introduce a relaxation of stability, called almost sure stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a non-standard finite group. We show that almost sure stability satisfies a stationarity principle…
The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. In 2014 Babai proved that the…
We reduce a case of the hidden subgroup problem (HSP) in SL(2; q), PSL(2; q), and PGL(2; q), three related families of finite groups of Lie type, to efficiently solvable HSPs in the affine group AGL(1; q). These groups act on projective…
A log symplectic manifold is a Poisson manifold which is generically nondegenerate. We develop two methods for constructing the symplectic groupoids of log symplectic manifolds. The first is a blow-up construction, corresponding to the…
We elucidate, for the first time, a novel group-theoretic structure that arises from certain solutions of the $n$-dimensional Prouhet--Tarry--Escott problem of degree $2$ and size $n$. We prove that the group is isomorphic to the orthogonal…
We classify the ultrahomogeneous complete 3-edge-coloured graphs (3-graphs) with simple theory. This extends Lachlan's result (a corollary of the Effective Classification Theorem for stable structures) classifying the stable homogeneous…
In a series of papers \cite{KS,MR}, Krawitz, Milanov, Ruan, and Shen have verified the so-called Landau-Ginzburg/Calabi-Yau (LG/CY) correspondence for simple elliptic singularities $E_N^{(1,1)}$ ($N=6,7,8$). As a byproduct it was also…
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…
We introduce the concept of a type system~$\Part$, that is, a partition on the set of finite words over the alphabet~$\{0,1\}$ compatible with the partial action of Thompson's group~$V$, and associate a subgroup~$\Stab{V}{\Part}$ of~$V$. We…
By defining projective error models we study the mathematical structure of Clifford codes and stabilizer codes using tools from projective representation theory. Furthermore, we introduce a new class of codes which we have called weak…
Let $\Lambda$ be a row-finite and source-free higher rank graph with finitely many vertices. In this paper, we define the Higman-Thompson like group $\Lht$ of the graph C*-algebra $\mathcal{O}_\Lambda$ to be a special subgroup of the…
In [4], Dunwoody defined resolutions for finitely presented group actions on simplicial trees, that is, an action of the group on a tree with smaller edge and vertex stabilizers. He, moreover, proved that the size of the resolution is…
We investigate a (potentially infinite) series of subfactors, called $3^n$ subfactors, including $A_4$, $A_7$, and the Haagerup subfactor as the first three members corresponding to $n=1,2,3$. Generalizing our previous work for odd $n$, we…
This paper gives an expository account of our experiments concerning relations between modular forms for congruence subgroups of SL(3,Z) and three dimensional Galois representations. The main new result presented here is a calculation of…
Let $\mathcal{D}$ be a non-trivial $G$-block-transitive $3$-$(v,k,1)$ design, where $T\leq G \leq \mathrm{Aut}(T)$ for some finite non-abelian simple group $T$. It is proved that if $T$ is a simple exceptional group of Lie type, then $T$ is…
We classify toroidal solenoids defined by non-singular $n\times n$-matrices $A$ with integer coefficients by studying associated first \^Cech cohomology groups. In a previous work, we classified the groups in the case $n=2$ using…