Showing 1–24 of 24 results for author: Pyber, L

Growth of products of subsets in finite simple groups

Authors: Daniele Dona, Attila Maróti, László Pyber

Abstract: We prove that the product of a subset and a normal subset inside any finite simple non-abelian group $G$ grows rapidly. More precisely, if $A$ and $B$ are two subsets with $B$ normal and neither of them is too large inside $G$, then $|AB| \geq |A||B|^{1-ε}$ where $ε>0$ can be taken arbitrarily small. This is a somewhat surprising strengthening of a theorem of Liebeck, Schul, Shalev. We prove that the product of a subset and a normal subset inside any finite simple non-abelian group $G$ grows rapidly. More precisely, if $A$ and $B$ are two subsets with $B$ normal and neither of them is too large inside $G$, then $|AB| \geq |A||B|^{1-ε}$ where $ε>0$ can be taken arbitrarily small. This is a somewhat surprising strengthening of a theorem of Liebeck, Schul, Shalev. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 7 pages

MSC Class: 20D06; 20F69

On the automorphism group of a distance-regular graph

Authors: László Pyber, Saveliy V. Skresanov

Abstract: The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on $n$ vertices of diameter greater than two is at least $n/C$ for some universal constant $C > 0$, unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter $d \geq 3$ on $n$ vertices is at least… ▽ More The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on $n$ vertices of diameter greater than two is at least $n/C$ for some universal constant $C > 0$, unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter $d \geq 3$ on $n$ vertices is at least $Cn/(\log n)^6$ for some universal constant $C > 0$, unless it is a Johnson, a Hamming or a crown graph. This follows using an improvement of an earlier result by Kivva who gave a lower bound on motion of the form $n/c_d$, where $c_d$ depends exponentially on $d$. As a corollary we derive a quasipolynomial upper bound for the automorphism group of a primitive distance-regular graph acting edge-transitively on the graph and on its distance-2 graph. The proofs use elementary combinatorial arguments and do not depend on the classification of finite simple groups. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 16 pages

MSC Class: 05E30 (Primary); 20B25 (Secondary)

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

Authors: Zoltán Halasi, Károly Podoski, László Pyber, Endre Szabó

Abstract: There are several results in the literature concerning $p$-groups $G$ with a maximal elementary abelian normal subgroup of rank $k$ due to Thompson, Mann and others. Following an idea of Sambale we obtain bounds for the number of generators etc. of a $2$-group $G$ in terms of $k$, which were previously known only for $p>2$. We also prove a theorem that is new even for odd primes. Namely, we show t… ▽ More There are several results in the literature concerning $p$-groups $G$ with a maximal elementary abelian normal subgroup of rank $k$ due to Thompson, Mann and others. Following an idea of Sambale we obtain bounds for the number of generators etc. of a $2$-group $G$ in terms of $k$, which were previously known only for $p>2$. We also prove a theorem that is new even for odd primes. Namely, we show that if $G$ has a maximal elementary abelian normal subgroup of rank $k$, then for any abelian subgroup $A$ the Frattini subgroup $Φ(A)$ can be generated by $2k$ elements ($3k$ when $p=2$). The proof of this rests upon the following result of independent interest: If $V$ is an $n$-dimensional vector space, then any commutative subalgebra of End$(V)$ contains a zero algebra of codimension at most $n$. △ Less

Submitted 20 September, 2023; v1 submitted 3 May, 2023; originally announced May 2023.

Comments: 11 pages. Some minor errors has been corrected

Finite subgroups of the homeomorphism group of a compact topological manifold are almost nilpotent

Authors: Balázs Csikós, László Pyber, Endre Szabó

Abstract: Around twenty years ago Ghys conjectured that finite subgroups of the diffeomorphism group of a compact smooth manifold M have an abelian normal subgroup of index at most a(M), where a(M) depends only on M. First we construct a family of counterexamples to this conjecture including, for example, the product space $T^2\times S^2$. Following the first appearance of our counterexample on the arXiv Gh… ▽ More Around twenty years ago Ghys conjectured that finite subgroups of the diffeomorphism group of a compact smooth manifold M have an abelian normal subgroup of index at most a(M), where a(M) depends only on M. First we construct a family of counterexamples to this conjecture including, for example, the product space $T^2\times S^2$. Following the first appearance of our counterexample on the arXiv Ghys put forward a revised conjecture, which predicts only the existence of a nilpotent normal subgroup of index at most n(M). Our main result is the proof of the revised Ghys conjecture. More generally, we show that the same result holds for homeomorphism groups of not necessarily compact topological manifolds with finitely generated homology groups. Our proofs are based on finite group theoretic results which provide a general strategy for proving similar Jordan-type theorems. △ Less

Submitted 28 April, 2022; originally announced April 2022.

MSC Class: 55M35; 20E34

On the number of stabilizer subgroups in a finite group acting on a manifold

Authors: Balázs Csikós, Ignasi Mundet i Riera, László Pyber, Endre Szabó

Abstract: If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result plays a crucial role in the proof of a deep conjecture of Ghys. If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result plays a crucial role in the proof of a deep conjecture of Ghys. △ Less

Submitted 29 November, 2021; originally announced November 2021.

MSC Class: 157S17

Growth in linear groups

Authors: Sean Eberhard, Brendan Murphy, László Pyber, Endre Szabó

Abstract: We prove a conjecture of Helfgott on the structure of sets of bounded tripling in bounded rank, which states the following. Let $A$ be a finite symmetric subset of $\mathrm{GL}_n(\mathbf{F})$ for any field $\mathbf{F}$ such that $|A^3| \leq K|A|$. Then there are subgroups $H \trianglelefteq Γ\trianglelefteq \langle A \rangle$ such that $A$ is covered by $K^{O_n(1)}$ cosets of $Γ$, $Γ/H$ is nilpote… ▽ More We prove a conjecture of Helfgott on the structure of sets of bounded tripling in bounded rank, which states the following. Let $A$ be a finite symmetric subset of $\mathrm{GL}_n(\mathbf{F})$ for any field $\mathbf{F}$ such that $|A^3| \leq K|A|$. Then there are subgroups $H \trianglelefteq Γ\trianglelefteq \langle A \rangle$ such that $A$ is covered by $K^{O_n(1)}$ cosets of $Γ$, $Γ/H$ is nilpotent of step at most $n-1$, and $H$ is contained in $A^{O_n(1)}$. This theorem includes the Product Theorem for finite simple groups of bounded rank as a special case. As an application of our methods we also show that the diameter of sufficiently quasirandom finite linear groups is poly-logarithmic. △ Less

Submitted 26 April, 2024; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 39 pages, final version incorporating referees' corrections, to appear in Duke Math. J

MSC Class: 20F69; 20G15; 20D06

Some simplifications in the proof of the Sims conjecture

Authors: László Pyber, Gareth Tracey

Abstract: We prove an elementary lemma concerning primitive amalgams and use it to greatly simplify the proof of the Sims conjecture in the case of almost simple groups. We prove an elementary lemma concerning primitive amalgams and use it to greatly simplify the proof of the Sims conjecture in the case of almost simple groups. △ Less

Submitted 12 February, 2021; originally announced February 2021.

MSC Class: 20B15; 20F69

A generalization of the diameter bound of Liebeck and Shalev for finite simple groups

Authors: Attila Maróti, László Pyber

Abstract: Let $G$ be a non-abelian finite simple group. A famous result of Liebeck and Shalev is that there is an absolute constant $c$ such that whenever $S$ is a non-trivial normal subset in $G$ then $S^{k} = G$ for any integer $k$ at least $c \cdot (\log|G|/\log|S|)$. This result is generalized by showing that there exists an absolute constant $c$ such that whenever $S_{1}, \ldots , S_{k}$ are normal sub… ▽ More Let $G$ be a non-abelian finite simple group. A famous result of Liebeck and Shalev is that there is an absolute constant $c$ such that whenever $S$ is a non-trivial normal subset in $G$ then $S^{k} = G$ for any integer $k$ at least $c \cdot (\log|G|/\log|S|)$. This result is generalized by showing that there exists an absolute constant $c$ such that whenever $S_{1}, \ldots , S_{k}$ are normal subsets in $G$ with $\prod_{i=1}^{k} |S_{i}| \geq {|G|}^{c}$ then $S_{1} \cdots S_{k} = G$. △ Less

Submitted 7 June, 2020; v1 submitted 31 March, 2020; originally announced March 2020.

MSC Class: 20D06; 20D40; 20G05

A generalization of a theorem of Rodgers and Saxl for simple groups of bounded rank

Authors: N. Gill, L. Pyber, E. Szabó

Abstract: We prove that if $G$ is a finite simple group of Lie type and $S_1,\dots, S_k$ are subsets of $G$ satisfying $\prod_{i=1}^k|S_i|\geq|G|^c$ for some $c$ depending only on the rank of $G$, then there exist elements $g_1,\dots, g_k$ such that $G=(S_1)^{g_1}\cdots (S_k)^{g_k}$. This theorem generalizes an earlier theorem of the authors and Short. We also propose two conjectures that relate our result… ▽ More We prove that if $G$ is a finite simple group of Lie type and $S_1,\dots, S_k$ are subsets of $G$ satisfying $\prod_{i=1}^k|S_i|\geq|G|^c$ for some $c$ depending only on the rank of $G$, then there exist elements $g_1,\dots, g_k$ such that $G=(S_1)^{g_1}\cdots (S_k)^{g_k}$. This theorem generalizes an earlier theorem of the authors and Short. We also propose two conjectures that relate our result to one of Rodgers and Saxl pertaining to conjugacy classes in $SL_n(q)$, as well as to the Product Decomposition Conjecture of Liebeck, Nikolov and Shalev. △ Less

Submitted 5 March, 2020; v1 submitted 26 January, 2019; originally announced January 2019.

MSC Class: 20D06; 20D40; 20G40

An improved diameter bound for finite simple groups of Lie type

Authors: Zoltán Halasi, Attila Maróti, László Pyber, Youming Qiao

Abstract: For a finite group $G$, let $\mathrm{diam}(G)$ denote the maximum diameter of a connected Cayley graph of $G$. A well-known conjecture of Babai states that $\mathrm{diam}(G)$ is bounded by ${(\log_{2} |G|)}^{O(1)}$ in case $G$ is a non-abelian finite simple group. Let $G$ be a finite simple group of Lie type of Lie rank $n$ over the field $F_{q}$. Babai's conjecture has been verified in case $n$ i… ▽ More For a finite group $G$, let $\mathrm{diam}(G)$ denote the maximum diameter of a connected Cayley graph of $G$. A well-known conjecture of Babai states that $\mathrm{diam}(G)$ is bounded by ${(\log_{2} |G|)}^{O(1)}$ in case $G$ is a non-abelian finite simple group. Let $G$ be a finite simple group of Lie type of Lie rank $n$ over the field $F_{q}$. Babai's conjecture has been verified in case $n$ is bounded, but it is wide open in case $n$ is unbounded. Recently, Biswas and Yang proved that $\mathrm{diam}(G)$ is bounded by $q^{O( n {(\log_{2}n + \log_{2}q)}^{3})}$. We show that in fact $\mathrm{diam}(G) < q^{O(n {(\log_{2}n)}^{2})}$ holds. Note that our bound is significantly smaller than the order of $G$ for $n$ large, even if $q$ is large. As an application, we show that more generally $\mathrm{diam}(H) < q^{O( n {(\log_{2}n)}^{2})}$ holds for any subgroup $H$ of $\mathrm{GL}(V)$, where $V$ is a vector space of dimension $n$ defined over the field $F_q$. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: 14 pages

MSC Class: 20F69; 20G40; 20C30; 20C99 (primary); 05C25; 20D05; 51N30; 11N05 (secondary)

Finite groups with large Noether number are almost cyclic

Authors: Pál Hegedűs, Attila Maróti, László Pyber

Abstract: Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$. Let $β(G)$ denote the largest indispensable degree in such generating sets. Cziszter and Domokos recently described finite groups $G$ with $|G|/β(G)$ at most… ▽ More Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$. Let $β(G)$ denote the largest indispensable degree in such generating sets. Cziszter and Domokos recently described finite groups $G$ with $|G|/β(G)$ at most $2$. We prove an asymptotic extension of their result. Namely, $|G|/β(G)$ is bounded for a finite group $G$ if and only if $G$ has a characteristic cyclic subgroup of bounded index. In the course of the proof we obtain the following surprising result. If $S$ is a finite simple group of Lie type or a sporadic group then we have $β(S) \leq {|S|}^{39/40}$. We ask a number of questions motivated by our results. △ Less

Submitted 11 October, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

Comments: updated grant numbers

MSC Class: 13A50; 20D06; (20D08; 20D99)

A CFSG-free analysis of Babai's quasipolynomial GI-algorithm

Authors: László Pyber

Abstract: We obtain a weaker but still quasipolynomial version of Babai's famous GI-algorithm. We obtain a weaker but still quasipolynomial version of Babai's famous GI-algorithm. △ Less

Submitted 14 July, 2017; v1 submitted 26 May, 2016; originally announced May 2016.

Comments: We obtain a quasipolynomial version of Babai's famous Graph Isomorphism algorithm which does not rely on the Classification theorem of Finite Simple Groups

MSC Class: 20B99; 68W40; 05C60

Normalizers of Primitive Permutation Groups

Authors: Robert M. Guralnick, Attila Maróti, László Pyber

Abstract: Let $G$ be a transitive normal subgroup of a permutation group $A$ of finite degree $n$. The factor group $A/G$ can be considered as a certain Galois group and one would like to bound its size. One of the results of the paper is that $|A/G| < n$ if $G$ is primitive unless $n = 3^{4}$, $5^4$, $3^8$, $5^8$, or $3^{16}$. This bound is sharp when $n$ is prime. In fact, when $G$ is primitive,… ▽ More Let $G$ be a transitive normal subgroup of a permutation group $A$ of finite degree $n$. The factor group $A/G$ can be considered as a certain Galois group and one would like to bound its size. One of the results of the paper is that $|A/G| < n$ if $G$ is primitive unless $n = 3^{4}$, $5^4$, $3^8$, $5^8$, or $3^{16}$. This bound is sharp when $n$ is prime. In fact, when $G$ is primitive, $|\mathrm{Out}(G)| < n$ unless $G$ is a member of a given infinite sequence of primitive groups and $n$ is different from the previously listed integers. Many other results of this flavor are established not only for permutation groups but also for linear groups and Galois groups. △ Less

Submitted 27 January, 2017; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: 44 pages, grant numbers updated, referee's comments included

MSC Class: 20B15; 20C99; 12F10; 20D06; 20B35; 20C20

Diffeomorphism Groups of Compact 4-manifolds are not always Jordan

Authors: Balázs Csikós, László Pyber, Endre Szabó

Abstract: We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite subgroup $G_n$ for any natural number $n$ such that every abelian subgroup of $G_n$ has index at leat $n$. This gives a counterexample to an old conjecture of Ghys. We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite subgroup $G_n$ for any natural number $n$ such that every abelian subgroup of $G_n$ has index at leat $n$. This gives a counterexample to an old conjecture of Ghys. △ Less

Submitted 27 November, 2014; originally announced November 2014.

Comments: 4 pages

MSC Class: 57S17; 54H15

Large connected strongly regular graphs are Hamiltonian

Authors: László Pyber

Abstract: We prove that every connected strongly regular graph on sufficiently many vertices is Hamiltonian. We prove this by showing that, apart from three families, connected strongly regular graphs are (highly) pseudo-random. Our results suggest a number of new questions and conjectures. We prove that every connected strongly regular graph on sufficiently many vertices is Hamiltonian. We prove this by showing that, apart from three families, connected strongly regular graphs are (highly) pseudo-random. Our results suggest a number of new questions and conjectures. △ Less

Submitted 10 September, 2014; originally announced September 2014.

Comments: 9 pages

MSC Class: 05C45; 05E30

Growth in linear groups

Authors: Endre Szabó, László Pyber

Abstract: We give a description of non-growing subsets in linear groups, which extends the Product theorem for simple groups of Lie type. We also give an account of various related aspects of growth in linear groups. We give a description of non-growing subsets in linear groups, which extends the Product theorem for simple groups of Lie type. We also give an account of various related aspects of growth in linear groups. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: A survey

On the product decomposition conjecture for finite simple groups

Authors: Nick Gill, László Pyber, Ian Short, Endre Szabó

Abstract: We prove that if $G$ is a finite simple group of Lie type and $S$ a subset of $G$ of size at least two then $G$ is a product of at most $c\log|G|/\log|S|$ conjugates of $S$, where $c$ depends only on the Lie rank of $G$. This confirms a conjecture of Liebeck, Nikolov and Shalev in the case of families of simple groups of Lie type of bounded rank. We prove that if $G$ is a finite simple group of Lie type and $S$ a subset of $G$ of size at least two then $G$ is a product of at most $c\log|G|/\log|S|$ conjugates of $S$, where $c$ depends only on the Lie rank of $G$. This confirms a conjecture of Liebeck, Nikolov and Shalev in the case of families of simple groups of Lie type of bounded rank. △ Less

Submitted 17 May, 2012; v1 submitted 15 November, 2011; originally announced November 2011.

Comments: 13 pages. In this version a number of new results are added which generalize some classical results of additive combinatorics to the non-abelian setting

MSC Class: 20D40; 20D06

Growth in finite simple groups of Lie type of bounded rank

Authors: László Pyber, Endre Szabó

Abstract: We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^{1+epsilon} where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type of bounded rank the diameter of any Cayley graph is polylogarithmic in |L|. We obtain a similar bound for the diameters of all Cayley graphs… ▽ More We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^{1+epsilon} where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type of bounded rank the diameter of any Cayley graph is polylogarithmic in |L|. We obtain a similar bound for the diameters of all Cayley graphs of perfect subgroups of GL(n,p) generated by their elements of order p. We also obtain some new families of expanders. We also prove the following partial extension. Let G be a subgroup of GL(n,p), p a prime, and S a symmetric set of generators of G satisfying |S^3|\le K|S| for some K. Then G has two normal subgroups H\ge P such that H/P is soluble, P is contained in S^6 and S is covered by K^c cosets of H where c depends on n. We obtain results of similar flavour for sets generating infinite subgroups of GL(n,F), F an arbitrary field. △ Less

Submitted 8 April, 2011; v1 submitted 11 May, 2010; originally announced May 2010.

Comments: 84 pages, various new results concerning non-growing subsets of linear groups were added

Growth in finite simple groups of Lie type

Authors: László Pyber, Endre Szabó

Abstract: We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varj… ▽ More We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varjú it follows that if LAMBDA is a Zariski-dense subgroup of SL(d,Z) generated by a finite symmetric set S, then for square-free moduli m which are relatively prime to some number m_0 the Cayley graphs Gamma(SL(d,m),pi_m(S)) form an expander family. △ Less

Submitted 25 January, 2010; originally announced January 2010.

Comments: Research announcement

Finitely generated groups with polynomial index growth

Authors: Laszlo Pyber, Dan Segal

Abstract: We prove that a finitely generated soluble residually finite group has polynomial index growth if and only if it is a minimax group. We also show that if a finitely generated group with PIG is residually finite-soluble then it is a linear group. These results apply in particular to boundedly generated groups; they imply that every infinite BG residually finite group has an infinite linear quot… ▽ More We prove that a finitely generated soluble residually finite group has polynomial index growth if and only if it is a minimax group. We also show that if a finitely generated group with PIG is residually finite-soluble then it is a linear group. These results apply in particular to boundedly generated groups; they imply that every infinite BG residually finite group has an infinite linear quotient. △ Less

Submitted 5 November, 2007; originally announced November 2007.

Comments: To appear in Crelle's Journal

MSC Class: 20F69; 20F16

Journal ref: J. reine angew. Math. 612 (2007), 173-211

Product decompositions of quasirandom groups and a Jordan type theorem

Authors: Nikolay Nikolov, László Pyber

Abstract: We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If k is the minimal degree of a representation of the finite group G, then for every subset B of G with $|B| > |G| / k^{1/3}$ we have B^3 = G. We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with… ▽ More We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If k is the minimal degree of a representation of the finite group G, then for every subset B of G with $|B| > |G| / k^{1/3}$ we have B^3 = G. We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan's theorem which implies that if k>1, then G has a proper subgroup of index at most ck^2 for some absolute constant c, hence a product-free subset of size at least $|G| / c'k$. This answers a question of Gowers. △ Less

Submitted 21 June, 2007; v1 submitted 12 March, 2007; originally announced March 2007.

Comments: 18 pages. In this third version we added an Appendix with a short proof of Proposition 0

MSC Class: 20D06; 20F69

Permutation groups, minimal degrees and quantum computing

Authors: Julia Kempe, Laszlo Pyber, Aner Shalev

Abstract: We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group of minimal degree m and on the number of its elements of any given support. These results contribute to the foundations of a non-commutative coding theory. A main application of our results concerns the Hidden Subgroup Problem for t… ▽ More We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group of minimal degree m and on the number of its elements of any given support. These results contribute to the foundations of a non-commutative coding theory. A main application of our results concerns the Hidden Subgroup Problem for the symmetric group in Quantum Computing. We completely characterize the hidden subgroups of the symmetric group that can be distinguished from identity with weak Quantum Fourier Sampling, showing these are exactly the subgroups with bounded minimal degree. This implies that the weak standard method for the symmetric group has no advantage whatsoever over classical exhaustive search. △ Less

Submitted 28 July, 2006; originally announced July 2006.

Comments: 28 pages, no figures

Counting congruence subroups

Authors: D. Goldfeld, A. Lubotzky, L. Pyber

Abstract: Let $Γ$ denote the modular group $SL(2,\Bbb Z)$ and $C_n(Γ)$ the number of congruence subgroups of $Γ$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log C_n(Γ)}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ We also present a very general conjecture giving an asymptotic estimate for $C_n(Γ)$ for general arithmetic groups. The lower bound of the conjecture is proved modu… ▽ More Let $Γ$ denote the modular group $SL(2,\Bbb Z)$ and $C_n(Γ)$ the number of congruence subgroups of $Γ$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log C_n(Γ)}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ We also present a very general conjecture giving an asymptotic estimate for $C_n(Γ)$ for general arithmetic groups. The lower bound of the conjecture is proved modulo the generalized Riemann hypothesis for Artin-Hecke L-functions, and in many cases is also proved unconditionally. △ Less

Submitted 12 June, 2004; originally announced June 2004.

Comments: 30 pages

Counting primes, groups and manifolds

Authors: D. Goldfeld, A. Lubotzky, N. Nikolov, L. Pyber

Abstract: Let $Λ= \mathrm{SL}_2(\Bbb Z)$ be the modular group and let $c_n(Λ)$ be the number of congruence subgroups of $Λ$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log c_n(Λ)}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ The proof is based on the Bombieri-Vinogradov `Riemann hypothesis on the average' and on the solution of a new type of extremal problem in combinatorial… ▽ More Let $Λ= \mathrm{SL}_2(\Bbb Z)$ be the modular group and let $c_n(Λ)$ be the number of congruence subgroups of $Λ$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log c_n(Λ)}{(\log n)^2/\log\log n} = \frac{3-2\sqrt{2}}{4}.$ The proof is based on the Bombieri-Vinogradov `Riemann hypothesis on the average' and on the solution of a new type of extremal problem in combinatorial number theory. Similar surprisingly sharp estimates are obtained for the subgroup growth of lattices in higher rank semisimple Lie groups. If $G$ is such a Lie group and $Γ$ is an irreducible lattice of $G$ it turns out that the subgroup growth of $Γ$ is independent of the lattice and depends only on the Lie type of the direct factors of $G$. It can be calculated easily from the root system. The most general case of this result relies on the Generalized Riemann Hypothesis but many special cases are unconditional. The proofs use techniques from number theory, algebraic groups, finite group theory and combinatorics. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: 11 pages

MSC Class: 20H05; 22E40