Source author record

Ákos Seress

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
3topics
4close collaborators

Published work

5 publications

preprint2014arXiv

Element order versus minimal degree in permutation groups: an old lemma with new applications

In this note we present a simplified and slightly generalized version of a lemma the authors published in 1987. The lemma as stated here asserts that if the order of a permutation of nn elements is greater than nαn^α then some non-identity power of the permutation has support size less than n/αn/α. The original version made an unnecessary additional assumption on the cycle structure of the permutation; the proof of the present cleaner version follows the original proof verbatim. Application areas include parallel and sequential algorithms for permutation groups, the diameter of Cayley graphs of permutation groups, and the automorphisms of structures with regularity constraints such as Latin squares, Steiner 2-designs, and strongly regular graphs. This note also serves as a modest tribute to the junior author whose untimely passing is deeply mourned.

preprint2014arXiv

Generation of finite classical groups by pairs of elements with large fixed point spaces

We study `good elements' in finite 2n2n-dimensional classical groups GG: namely tt is a `good element' if o(t)o(t) is divisible by a primitive prime divisor of qn−1q^n-1 for the relevant field order qq, and tt fixes pointwise an nn-space. The group SL2n(q){\rm{SL}}_{2n}(q) contains such elements, and they are present in Su2n(q),Sp2n(q),So2nε(q){\rm{Su}}_{2n}(q), {\rm{Sp}}_{2n}(q), {\rm{So}}^ε_{2n}(q), only if nn is odd, even, even, respectively. We prove that there is an absolute positive constant cc such that two random conjugates of tt generate GG with probability at least cc, if G≠Sp2n(q)G\ne {\rm{Sp}}_{2n}(q) with qq even. In the exceptional case G=Sp2n(q)G={\rm{Sp}}_{2n}(q) with qq even, two conjugates of tt never generate GG: in this case we prove that two random conjugates of tt generate a subgroup SO2nε(q){\rm{SO}}^ε_{2n}(q) with probability at least cc. The results (proved for all field orders at least 44) underpin analysis of new constructive recognition algorithms for classical groups in even characteristic, which succeed where methods utilising involution centralisers are not available.

preprint2014arXiv

Random generators of the symmetric group: diameter, mixing time and spectral gap

Let gg, hh be a random pair of generators of G=Sym(n)G=Sym(n) or G=Alt(n)G=Alt(n). We show that, with probability tending to 11 as n→∞n\to \infty, (a) the diameter of GG with respect to S={g,h,g−1,h−1}S = \{g,h,g^{-1},h^{-1}\} is at most O(n2(log⁡n)c)O(n^2 (\log n)^c), and (b) the mixing time of GG with respect to SS is at most O(n3(log⁡n)c)O(n^3 (\log n)^c). (Both cc and the implied constants are absolute.) These bounds are far lower than the strongest worst-case bounds known (in Helfgott--Seress, 2013); they roughly match the worst known examples. We also give an improved, though still non-constant, bound on the spectral gap. Our results rest on a combination of the algorithm in (Babai--Beals--Seress, 2004) and the fact that the action of a pair of random permutations is almost certain to act as an expander on ℓ\ell-tuples, where ℓ\ell is an arbitrary constant (Friedman et al., 1998).

preprint2013arXiv

On Pyber's base size conjecture

Let GG be a permutation group on a finite set ΩΩ. A subset B⊆ΩB \subseteq Ω is a base for GG if the pointwise stabilizer of BB in GG is trivial. The base size of GG, denoted b(G)b(G), is the smallest size of a base. A well known conjecture of Pyber from the early 1990s asserts that there exists an absolute constant cc such that b(G)≤clog⁡∣G∣/log⁡nb(G) \le c\log |G| / \log n for any primitive permutation group GG of degree nn. Some special cases have been verified in recent years, including the almost simple and diagonal cases. In this paper, we prove Pyber's conjecture for all non-affine primitive groups.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.