http://arxiv.org/api/HsOT6TOR9vVQR+L6iR8RwrTCegQ2025-04-21T00:00:00-04:0023546015http://arxiv.org/abs/2504.15202v12025-04-21T16:17:53Z2025-04-21T16:17:53ZExtending the ElGamal Cryptosystem to the Third Group of Units of
$\Z_{n}$ In this paper, we extend the ElGamal cryptosystem to the third group of units
of the ring $\Z_{n}$, which we prove to be more secure than the previous
extensions. We describe the arithmetic needed in the new setting. We also
provide some numerical simulations that shows the security and efficiency of
our proposed cryptosystem.
Jana HamzaMohammad EL HindiSeifeddine KadriTherrar KadriYahya Awad11 pages, 1 figurehttp://arxiv.org/abs/2504.15148v12025-04-21T14:52:40Z2025-04-21T14:52:40ZUniformly resolvable decompositions of $K_v$ into $1$-factors and odd
$n$-star factors We consider uniformly resolvable decompositions of $K_v$ into subgraphs such
that each resolution class contains only blocks isomorphic to the same graph.
We give a partial solution for the case in which all resolution classes are
either $K_2$ or $K_{1,n}$ where $n$ is odd.
Jehyun LeeMelissa Keranen13 pages, 1 figurehttp://arxiv.org/abs/2504.15142v12025-04-21T14:45:39Z2025-04-21T14:45:39ZUniformly resolvable decompositions of $K_v$ into one $1$-factor and
$n$-stars when $n>1$ is odd We consider uniformly resolvable decompositions of $K_v$ into subgraphs such
that each resolution class contains only blocks isomorphic to the same graph.
We give a complete solution for the case in which one resolution class is $K_2$
and the rest are $K_{1,n}$ where $n>1$ is odd.
Jehyun LeeMelissa Keranen30 pages, 3 figureshttp://arxiv.org/abs/2504.15087v12025-04-21T13:20:37Z2025-04-21T13:20:37ZExplicit Lossless Vertex Expanders We give the first construction of explicit constant-degree lossless vertex
expanders. Specifically, for any $\varepsilon > 0$ and sufficiently large $d$,
we give an explicit construction of an infinite family of $d$-regular graphs
where every small set $S$ of vertices has $(1-\varepsilon)d|S|$ neighbors
(which implies $(1-2\varepsilon)d|S|$ unique-neighbors). Our results also
extend naturally to construct biregular bipartite graphs of any constant
imbalance, where small sets on each side have strong expansion guarantees. The
graphs we construct admit a free group action, and hence realize new families
of quantum LDPC codes of Lin and M. Hsieh with a linear time decoding
algorithm.
Our construction is based on taking an appropriate product of a
constant-sized lossless expander with a base graph constructed from Ramanujan
Cayley cubical complexes.
Jun-Ting HsiehAlexander LubotzkySidhanth MohantyAssaf ReinerRachel Yun Zhang33 pages, 3 figureshttp://arxiv.org/abs/2409.06798v22025-04-21T12:46:14Z2024-09-10T18:06:52ZHierarchical hyperbolicity of admissible curve graphs and the boundary
of marked strata We show that for any surface of genus at least 3 equipped with any choice of
framing, the graph of non-separating curves with winding number 0 with respect
to the framing is hierarchically hyperbolic but not Gromov hyperbolic. We also
describe how to build analogues of the curve graph for marked strata of abelian
differentials that capture the combinatorics of their boundaries, analogous to
how the curve graph captures the combinatorics of the augmented Teichmueller
space. These curve graph analogues are also shown to be hierarchically, but not
Gromov, hyperbolic.
Aaron CalderonJacob Russell44 pages, 14 figureshttp://arxiv.org/abs/2502.07984v22025-04-21T10:32:17Z2025-02-11T22:06:14ZTopological stability of semigroup actions and shadowing We investigate expansiveness, topological stability, and shadowing for
continuous actions of semigroups on compact Hausdorff spaces. We characterize
semigroups for which all full shifts are expansive. We show that every
expansive continuous monoid action on a compact Hausdorff space which has the
shadowing property is topologically stable, and that a subshift with finite
alphabet over a monoid has the shadowing property if and only if it is of
finite type.
Tullio Ceccherini-SilbersteinMichel CoornaertXuan Kien Phunghttp://arxiv.org/abs/2501.00689v22025-04-21T09:22:49Z2025-01-01T00:56:25ZFinite groups with exactly two nonlinear irreducible $p$-Brauer
characters Let $p$ be a prime. We classify the finite groups having exactly two
irreducible $p$-Brauer characters of degree larger than one. The case, where
the finite groups have orders not divisible by $p$, was done by P. P\'alfy in
1981.
Fuming JiangYu Zenghttp://arxiv.org/abs/2504.14916v12025-04-21T07:34:07Z2025-04-21T07:34:07ZSombor Spectrum of Super Graphs defined on groups Given a simple graph $A$ on a group $G$ and an equivalence relation $B$ on
$G$, the $B$ super $A$ graph is defined as a simple graph, whose vertex set is
$G$ and two vertices $g$, $h$ are adjacent if either they are in the same
equivalence class or there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$
such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. In the literature,
the $B$ super $A$ graphs have been investigated by considering $A$ to be either
power graph, enhanced power graph, or commuting graph and $B$ to be an
equality, order or conjugacy relation. In this paper, we investigate the Sombor
spectrums of these $B$ super $A$ graphs for certain non-abelian groups, viz.
the dihedral group, generalized quaternion group and the semidihedral group,
respectively.
Ekta PacharSandeep DalalJitender Kumarhttp://arxiv.org/abs/2504.14759v12025-04-20T22:56:49Z2025-04-20T22:56:49ZNormal generators for mapping class groups In this expository note, we discuss normal generators for mapping class
groups of surfaces. Especially, we focus on the relation between normal
generation of a mapping class with its asymptotic translation lengths on the
Teichm\"uller space and the curve graph of the underlying surface. We also
discuss several open questions.
Hyungryul BaikDongryul M. Kim26 pages, 8 figures. This survey article was written for inclusion in
"In the Tradition of Thurston: Geometry and Topology'', Vol. 4. which is
edited by A. Papadopoulos and K. Ohshikahttp://arxiv.org/abs/2401.04789v22025-04-20T18:45:45Z2024-01-09T19:26:48ZOn combinatorial properties of Gruenberg--Kegel graphs of finite groups If $G$ is a finite group, then the spectrum $\omega(G)$ is the set of all
element orders of $G$. The prime spectrum $\pi(G)$ is the set of all primes
belonging to $\omega(G)$. A simple graph $\Gamma(G)$ whose vertex set is
$\pi(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and
only if $rs \in \omega(G)$ is called the Gruenberg-Kegel graph or the prime
graph of $G$.
In this paper, we prove that if $G$ is a group of even order, then the set of
vertices which are non-adjacent to $2$ in $\Gamma(G)$ form a union of cliques.
Moreover, we decide when a strongly regular graph is isomorphic to the
Gruenberg-Kegel graph of a finite group. Besides this, we prove that a complete
bipartite graph with each part of size at least $3$ can not be isomorphic to
the Gruenberg-Kegel graph of a finite group.
Mingzhu ChenIlya B. GorshkovNatalia V. MaslovaNanying YangThe authors of this paper are ordered with respect to alphabet
ordering in Englishhttp://arxiv.org/abs/2401.04633v22025-04-20T18:40:29Z2024-01-09T16:01:49ZOn arithmetical properties and arithmetical characterizations of finite
groups Arithmetical properties of a finite group are properties of the group which
are defined by its arithmetical parameters such as the order of the group, the
element orders and so on. In this paper, we discuss a number of results on
arithmetical properties of finite groups and characterizations of finite groups
by their arithmetical parameters obtained recently. This paper is based on the
talk by the author given in frame of (WM)^2 - World Meeting for Women in
Mathematics-2022.
Natalia V. Maslovahttp://arxiv.org/abs/2504.14703v12025-04-20T18:32:51Z2025-04-20T18:32:51ZOn characterization of groups by isomorphism type of Gruenberg-Kegel
graph The Gruenberg-Kegel graph (or the prime graph) $\Gamma(G)$ of a finite group
$G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in
which two distinct vertices $r$ and $s$ are adjacent if and only if there
exists an element of order $rs$ in $G$. A group $G$ is recognizable by
isomorphism type of Gruenberg--Kegel graph if for every group $H$ the
isomorphism between $\Gamma(H)$ and $\Gamma(G)$ as abstract graphs (i.\,e.
unlabeled graphs) implies that $G\cong H$. In this paper, we prove that finite
simple exceptional groups of Lie type ${^2}E_6(2)$ and $E_8(q)$ for $q \in \{3,
4, 5, 7, 8, 9, 17\}$ are recognizable by isomorphism type of Gruenberg-Kegel
graph.
Mingzhu ChenNatalia V. MaslovaMarianna R. Zinov'eva15 pages, 3 figureshttp://arxiv.org/abs/2504.12671v22025-04-20T18:16:15Z2025-04-17T06:05:09ZGeneralized Legendrian racks: Classification, tensors, and knot coloring
invariants Generalized Legendrian racks are nonassociative algebraic structures based on
the Legendrian Reidemeister moves. We study algebraic aspects of GL-racks and
coloring invariants of Legendrian links.
We answer an open question characterizing the group of GL-structures on a
given rack. As applications, we classify several infinite families of GL-racks.
We also compute automorphism groups of dihedral GL-quandles and the categorical
center of GL-racks.
Then we construct an equivalence of categories between racks and GL-quandles.
We also study tensor products of racks and GL-racks coming from universal
algebra. Surprisingly, the categories of racks and GL-racks have tensor units.
The induced symmetric monoidal structure on medial racks is closed, and
similarly for medial GL-racks.
Answering another open question, we use GL-racks to distinguish Legendrian
knots whose classical invariants are identical. In particular, we complete the
classification of Legendrian $8_{13}$ knots.
Finally, we use exhaustive search algorithms to classify GL-racks up to order
8.
Luc Ta39 pages, 8 figures, 4 tables; comments welcome. Fixed typos and
formatting, relabeled several remarks and theorems as propositions, split
some content into subsubsections, and added clarification to Subsubsection
7.3.2. No changes in results or proofshttp://arxiv.org/abs/2504.14646v12025-04-20T15:01:52Z2025-04-20T15:01:52ZBol loops of order 27 We classify Bol loops of order $27$, using a combination of theoretical
results and computer search. There are $15$ Bol loops of order $27$, including
five groups. New constructions for the ten nonassociative Bol loops of order
$27$ are given.
Alexander GrishkovMichael KinyonPetr Vojtěchovský12 pages, amsarthttp://arxiv.org/abs/2409.19427v22025-04-19T22:47:19Z2024-09-28T18:00:05ZRoot group data (RGD) systems of affine type for significant subgroups
of isotropic reductive groups over $k[t,t^{-1}]$ Given a connected isotropic reductive not necessarily split $k$-group
$\mathcal{G}$ with irreducible relative root system, we construct root group
data (RGD) system of affine type for significant subgroups of
$\mathcal{G}(k[t,t^{-1}])$, which can be extended to the whole group
$\mathcal{G}(k[t,t^{-1}])$ under certain additional requirements. We rely on
the relative pinning maps from paper "Elementary subgroups of isotropic
reductive groups" by V. Petrov and A. Stavrova to construct the affine root
groups. To verify the RGD axioms, we utilize the properties of the affine root
groups, and the properties of reflections associated with the $k$-roots of
$\mathcal{G}$.
Yuan Zhang25 pages