Related papers: Explicit bounds for generators of the class group

Let $G =<S>$ be a solvable permutation group of the symmetric group $S_n$ given as input by the generating set $S$. We give a deterministic polynomial-time algorithm that computes an \emph{expanding generating set} of size $\tilde{O}(n^2)$…

For a finite group $G$, let $d(G)$ denote the minimal number of elements required to generate $G$. In this paper, given a finite almost simple group $G$ and any maximal subgroup $H$ of $G$, we determine a precise upper bound for $d(H)$. In…

Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$,…

For a group $G$ and a finite set $A$, denote by $\text{CA}(G;A)$ the monoid of all cellular automata over $A^G$ and by $\text{ICA}(G;A)$ its group of units. We study the minimal cardinality of a generating set, known as the rank, of…

We consider the problem of explainable $k$-medians and $k$-means introduced by Dasgupta, Frost, Moshkovitz, and Rashtchian~(ICML 2020). In this problem, our goal is to find a threshold decision tree that partitions data into $k$ clusters…

Let K be a fixed number field and G its absolute Galois group. We give a bound C(K), depending only on the degree, the class number and the discriminant of K, such that for any elliptic curve E defined over K and any prime number p strictly…

Denote the set of algebraic numbers as $\overline{\mathbb{Q}}$ and the set of algebraic integers as $\overline{\mathbb{Z}}$. For $\gamma\in\overline{\mathbb{Q}}$, consider its irreducible polynomial in $\mathbb{Z}[x]$,…

We show that a topologically generating set $S$ of a connected compact Lie group $G$ of size larger than a fixed polynomial in the rank of $G$ must be redundant (i.e., some proper subset of $S$ still topologically generates $G$). Similar…

This work establishes a new probabilistic bound on the number of elements to generate finite nilpotent groups. Let $\varphi_k(G)$ denote the probability that $k$ random elements generate a finite nilpotent group $G$. For any $0 < \epsilon <…

Quantum Wielandt's inequality gives an optimal upper bound on the minimal length $k$ such that length-$k$ products of elements in a generating system span $M_n(\mathbb{C})$. It is conjectured that $k$ should be of order $\mathcal{O}(n^2)$…

Given an epimorphism between topological groups $f:G\to H$, when can a generating set of $H$ be lifted to a generating set of $G$? We show that for connected Lie groups the problem is fundamentally abelian: generators can be lifted if and…

We present an improved algorithm for tabulating class groups of imaginary quadratic fields of bounded discriminant. Our method uses classical class number formulas involving theta-series to compute the group orders unconditionally for all…

Group-based models arise in algebraic statistics while studying evolution processes. They are represented by embedded toric algebraic varieties. Both from the theoretical and applied point of view one is interested in determining the ideals…

Let $K$ be an imaginary quadratic field of discriminant less than or equal to -7 and $K_{(N)}$ be its ray class field modulo $N$ for an integer $N$ greater than 1. We prove that singular values of certain Siegel functions generate $K_{(N)}$…

Let $\Gamma$ be an $\widetilde A_2$ subgroup of $\PGL_3(\mathbb K)$, where $\mathbb K$ is a local field with residue field of order $q$. The module of coinvariants $C(\mathbb P^2_{\mathbb K},\mathbb Z)_{\Gamma}$ is shown to be finite, where…

A semigroup (dynamical system) generated by $C^{1+\alpha}$-contracting mappings is considered. We call a such semigroup regular if the maximum $K$ of the conformal dilatations of generators, the maximum $l$ of the norms of the derivatives…

Let $K$ be a number field and ${\mathcal O}$ be the ring of $S$-integers in $K$. Morgan, Rapinchuck, and Sury have proved that if the group of units ${\mathcal O}^{\times}$ is infinite, then every matrix in ${\rm SL}_2({\mathcal O})$ is a…

Let K be a Galois number field of prime degree $\ell$. Heilbronn showed that for a given $\ell$ there are only finitely many such fields that are norm-Euclidean. In the case of $\ell=2$ all such norm-Euclidean fields have been identified,…

We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with…

Let $G$ be a finitely generated abelian-by-finite group and $k$ a field of characteristic $p\ge 0$. The Euler class $[k_G]$ of $G$ over $k$ is the class of the trivial $kG$-module in the Grothendieck group $G_0(kG)$. We show that $[k_G]$…