Related papers: Dense 2-generator subsemigroups of $2\times 2$ mat…
We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group \Gamma which admits the congruence…
We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) M\"{o}bius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and…
We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms…
Building on the work of Mann and Rafi, we introduce an expanded definition of a telescoping 2-manifold and proceed to study the homeomorphism group of a telescoping 2-manifold. Our main result shows that it is strongly distorted. We then…
This is the second in a series of papers on rank decompositions of the matrix multiplication tensor. We present new rank $23$ decompositions for the $3\times 3$ matrix multiplication tensor $M_{\langle 3\rangle}$. All our decompositions…
In this paper, we compute the subgroup distortion of all finitely generated subgroups of all finitely generated 3-manifold groups, and the subgroup distortion in this case can only be linear, quadratic, exponential and double exponential.…
A classification of the semisimple subalgebras of the Lie algebra of traceless $3\times 3$ matrices with complex entries, denoted $A_2$, is well-known. We classify its nonsemisimple subalgebras, thus completing the classification of the…
According to a result of Wigner and von Neumann [1], real symmetric matrices with a doubly degenerate lowest eigenvalue form a submanifold of codimension 2 within the space of all real symmetric matrices. This mathematical result has…
We give a uniform explicit construction of finite two-generator presentations for the special linear groups over the integers in all ranks at least three. The construction builds on the generating-pair work of Conder--Liversidge--Vsemirnov…
We establish necessary and sufficient conditions on simultaneous symplectic spectral decomposition of a family of $2n \times 2n$ real positive semidefinite matrices with symplectic kernels. We also provide a precise algebraic condition on a…
The space of all non degenerate bilinear structures on a manifold $M$ carries a one parameter family of pseudo Riemannian metrics. We determine the geodesic equation, covariant derivative, curvature, and we solve the geodesic equation…
Generative neural network architectures such as GANs, may be used to generate synthetic instances to compensate for the lack of real data. However, they may be employed to create media that may cause social, political or economical…
We construct a 2-generated 2-related group without non-trivial finite factors. That answers a question of J. Button.
A group theoretical understanding of the two dimensional fractional supersymmetry is given in terms of the quantum Poincare group at roots of unity. The fractional supersymmetry algebra and the quantum group dual to it are presented and the…
We establish the existence of maximal subgroups of various diferent natures in SL(n,Z). In particular, we prove that there are continuously many maximal subgroups, we provide a maximal subgroup whose action on the projective space has no…
Let $UT_2$ be the algebra of $2\times 2$ upper triangular matrices over a field $F$ of characteristic zero. Here we study the generalized polynomial identities of $UT_2$, i.e., identical relations holding for $UT_2$ regarded as…
Recent classification of $\frac{3}{2}$-transitive permutation groups leaves us with three infinite families of groups which are neither $2$-transitive, nor Frobenius, nor one-dimensional affine. The groups of the first two families…
We describe general methods for enumerating subsemigroups of finite semigroups and techniques to improve the algorithmic efficiency of the calculations. As a particular application we use our algorithms to enumerate all transformation…
In this work, we analyze two models beyond the Standard Models descriptions that make ad hoc hypotheses of three point-like lepton and quark generations without explanations of their physical origins. Instead of using the same Dirac…
We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric…