http://arxiv.org/api/HsOT6TOR9vVQR+L6iR8RwrTCegQ 2025-04-21T00:00:00-04:00 23546 0 15 http://arxiv.org/abs/2504.15202v1 2025-04-21T16:17:53Z 2025-04-21T16:17:53Z Extending 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 Hamza Mohammad EL Hindi Seifeddine Kadri Therrar Kadri Yahya Awad 11 pages, 1 figure http://arxiv.org/abs/2504.15148v1 2025-04-21T14:52:40Z 2025-04-21T14:52:40Z Uniformly 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 Lee Melissa Keranen 13 pages, 1 figure http://arxiv.org/abs/2504.15142v1 2025-04-21T14:45:39Z 2025-04-21T14:45:39Z Uniformly 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 Lee Melissa Keranen 30 pages, 3 figures http://arxiv.org/abs/2504.15087v1 2025-04-21T13:20:37Z 2025-04-21T13:20:37Z Explicit 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 Hsieh Alexander Lubotzky Sidhanth Mohanty Assaf Reiner Rachel Yun Zhang 33 pages, 3 figures http://arxiv.org/abs/2409.06798v2 2025-04-21T12:46:14Z 2024-09-10T18:06:52Z Hierarchical 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 Calderon Jacob Russell 44 pages, 14 figures http://arxiv.org/abs/2502.07984v2 2025-04-21T10:32:17Z 2025-02-11T22:06:14Z Topological 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-Silberstein Michel Coornaert Xuan Kien Phung http://arxiv.org/abs/2501.00689v2 2025-04-21T09:22:49Z 2025-01-01T00:56:25Z Finite 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 Jiang Yu Zeng http://arxiv.org/abs/2504.14916v1 2025-04-21T07:34:07Z 2025-04-21T07:34:07Z Sombor 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 Pachar Sandeep Dalal Jitender Kumar http://arxiv.org/abs/2504.14759v1 2025-04-20T22:56:49Z 2025-04-20T22:56:49Z Normal 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 Baik Dongryul M. Kim 26 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. Ohshika http://arxiv.org/abs/2401.04789v2 2025-04-20T18:45:45Z 2024-01-09T19:26:48Z On 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 Chen Ilya B. Gorshkov Natalia V. Maslova Nanying Yang The authors of this paper are ordered with respect to alphabet ordering in English http://arxiv.org/abs/2401.04633v2 2025-04-20T18:40:29Z 2024-01-09T16:01:49Z On 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. Maslova http://arxiv.org/abs/2504.14703v1 2025-04-20T18:32:51Z 2025-04-20T18:32:51Z On 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 Chen Natalia V. Maslova Marianna R. Zinov'eva 15 pages, 3 figures http://arxiv.org/abs/2504.12671v2 2025-04-20T18:16:15Z 2025-04-17T06:05:09Z Generalized 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 Ta 39 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 proofs http://arxiv.org/abs/2504.14646v1 2025-04-20T15:01:52Z 2025-04-20T15:01:52Z Bol 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 Grishkov Michael Kinyon Petr Vojtěchovský 12 pages, amsart http://arxiv.org/abs/2409.19427v2 2025-04-19T22:47:19Z 2024-09-28T18:00:05Z Root 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 Zhang 25 pages