group
10405 papers tagged with this keyword
Locally toroidal polytopes of rank 6 and sporadic groups
Published in Advances in Mathematics 312 (2017), 459--472
• View Publication
• BIB
We augment the list of finite universal locally toroidal regular polytopes of type {3,3,4,3,3} due to P.McMullen and E.Schulte, adding as well as removing entries. This disproves a related long-standing conjecture. Our new universal polytope is related to a well-known Y-shaped presentation for the sporadic simple group $Fi_{22}$, and admits $S_4\times O_8^+(2){:}S_3$ as the automorphism group. We also discuss further extensions of its quotients in the context of Y-shaped presentations. As well, we note that two known examples of finite universal polytopes of type {3,3,4,3,3} are related to Y-shaped presentations of orthogonal groups over GF(2). Mixing construction is used in a number of places to describe covers and 2-covers.
Cubic arc-transitive $k$-circulants
Published
• View Publication
• BIB
For an integer $k\geq 1$, a graph is called a $k$-circulant if its automorphism group contains a cyclic semiregular subgroup with $k$ orbits on the vertices. We show that, if $k$ is even, there exist infinitely many cubic arc-transitive $k$-circulants. We conjecture that, if $k$ is odd, then a cubic arc-transitive $k$-circulant has order at most $6k^2$. Our main result is a proof of this conjecture when $k$ is squarefree and coprime to $6$.
Terraces for Small Groups
We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and 384. We also show that Keedwell's Conjecture (that all non-abelian groups of order at least 10 are sequenceable) holds up to order 255, and for the groups $A_6$, $S_6$, $PSL(2,q_1)$ and $PGL(2, q_2)$ where $q_1$ and $q_2$ are prime powers with $3 \leq q_1 \leq 11$ and $3 \leq q_2 \leq 8$. A sequencing for a group of a given order implies the existence of a complete latin square at that order. We show that there is a sequenceable group for each odd order up to 555 at which there is a non-abelian group. This gives 31 new orders at which complete latin squares are now known to exist, the smallest of which is 63. In addition, we consider terraces with some special properties, including constructing a directed $T_2$-terrace for the non-abelian group of order 21 and hence a Roman-2 square of order 21 (the first known such square of odd order). Finally we report the total number terraces and directed terraces for groups of order at most 15.
Nonlinear functions and difference sets on group actions
Published
• View Publication
• BIB
Let $G$, $H$ be finite groups and let $X$ be a finite $G$-set. $G$-perfect nonlinear functions from $X$ to $H$ have been studied in several papers. They have more interesting properties than perfect nonlinear functions from $G$ itself to $H$. By introducing the concept of a $(G, H)$-related difference family of $X$, we obtain a characterization of $G$-perfect nonlinear functions on $X$. When $G$ is abelian, we characterize a $G$-difference set of $X$ by the Fourier transform on a normalized $G$-dual set $\widehat X$. We will also investigate the existence and constructions of $G$-perfect nonlinear functions and $G$-bent functions. Several known results in [2,6,10,17] are direct consequences of our results.
A spectral sequence for stratified spaces and configuration spaces of points
Published in Geom. Topol. 21 (2017) 2527-2555
• View Publication
• BIB
We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology groups of the poset of strata. Several familiar spectral sequences arise as special cases. The construction is sheaf-theoretic and works both for topological spaces and for the étale cohomology of algebraic varieties. As an application we prove a very general representation stability theorem for configuration spaces of points.
Permutation polynomials of the form x+c*Tr(x^k)
Published
• View Publication
• BIB
Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than 5000, and found that our examples comprise all examples with n>1 except for some simple cases where the polynomial induces a homomorphism of the additive group of F_{q^n}, along with a few sporadic examples. One intriguing feature is that our proofs of the different sequences use various different methods, including a new variant of Dobbertin's method among others.
Flag-transitive point-primitive non-symmetric 2-(v,k,2) designs with alternating socle
Published
• View Publication
• BIB
This paper studies flag-transitive point-primitive non-symmetric $2$-($v,k,2$) designs. We prove that if $\mathcal{D}$ is a non-trivial non-symmetric $2$-$(v,k,2)$ design admitting a flag-transitive point-primitive automorphism group $G$ with $Soc(G)=A_{n}$ for $n\geq5$, then $\mathcal{D}$ is a $2$-$(6,3,2)$ or $2$-$(10,4,2)$ design.
Mapping class group orbits of curves with self-intersections
Published
• View Publication
• BIB
We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs.
3-nets realizing a diassociative loop in a projective plane
Published
• View Publication
• BIB
A \textit{$3$-net} of order $n$ is a finite incidence structure consisting of points and three pairwise disjoint classes of lines, each of size $n$, such that every point incident with two lines from distinct classes is incident with exactly one line from each of the three classes. The current interest around $3$-nets (embedded) in a projective plane $PG(2,K)$, defined over a field $K$ of characteristic $p$, arose from algebraic geometry. It is not difficult to find $3$-nets in $PG(2,K)$ as far as $0<p\le n$. However, only a few infinite families of $3$-nets in $PG(2,K)$ are known to exist whenever $p=0$, or $p>n$. Under this condition, the known families are characterized as the only $3$-nets in $PG(2,K)$ which can be coordinatized by a group. In this paper we deal with $3$-nets in $PG(2,K)$ which can be coordinatized by a diassociative loop $G$ but not by a group. We prove two structural theorems on $G$. As a corollary, if $G$ is commutative then every non-trivial element of $G$ has the same order, and $G$ has exponent $2$ or $3$. We also discuss the existence problem for such $3$-nets.
Symmetril Moulds, Generic Group Schemes, Resummation of Mzvs
Published
• View Publication
• BIB
The present article deals with various generating series and group schemes (not necessarily affine ones) associated with MZVs. Our developments are motivated by Ecalle's mould calculus approach to the latter. We propose in particular a Hopf algebra--type encoding of symmetril moulds and introduce a new resummation process for MZVs.
Free subgroup numbers modulo prime powers: the non-periodic case
Published in J. Combin. Theory Ser. A 154 (2018), 49-76
• View Publication
• BIB
In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $Γ$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining cases, in which the sequence of free subgroup numbers is not ultimately periodic modulo a given prime power, the number of free subgroups of index~$λ$ in $Γ$ is - essentially - congruent to a binomial coefficient times a rational function in $λ$ modulo a power of a prime that divides a certain invariant of the group $Γ$, respectively to a binomial sum involving such numbers. These results, apart from their intrinsic interest, in particular allow for a much more efficient computation of congruences for free subgroup numbers in these cases compared to the direct recursive computation of these numbers implied by the generating function results in [J. London Math. Soc. (2) 44 (1991), 75-94].
The number of roots of full support
Published
• View Publication
• BIB
Chapoton has observed a simple product formula for the number of reflections in a finite Coxeter group that have full support. We give a uniform proof of his formula for Weyl groups. We furthermore refine his formula by the length of the roots.
Graph Isomorphism for unit square graphs
In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show that the Graph Isomorphism Problem for unit square graphs, intersection graphs of axis-parallel unit squares in the plane, can be solved in polynomial time. Since the recognition problem for this class of graphs is NP-hard we can not rely on standard techniques for geometric graphs based on constructing a canonical realization. Instead, we develop new techniques which combine structural insights into the class of unit square graphs with understanding of the automorphism group of such graphs. For the latter we introduce a generalization of bounded degree graphs which is used to capture the main structure of unit square graphs. Using group theoretic algorithms we obtain sufficient information to solve the isomorphism problem for unit square graphs.
Perfect snake-in-the-box codes for rank modulation
Published
• View Publication
• BIB
For odd n, the alternating group on n elements is generated by the permutations that jump an element from any odd position to position 1. We prove Hamiltonicity of the associated directed Cayley graph for all odd n not equal to 5. (A result of Rankin implies that the graph is not Hamiltonian for n=5.) This solves a problem arising in rank modulation schemes for flash memory. Our result disproves a conjecture of Horovitz and Etzion, and proves another conjecture of Yehezkeally and Schwartz.
Recursive cubes of rings as models for interconnection networks
Published
• View Publication
• BIB
We study recursive cubes of rings as models for interconnection networks. We first redefine each of them as a Cayley graph on the semidirect product of an elementary abelian group by a cyclic group in order to facilitate the study of them by using algebraic tools. We give an algorithm for computing shortest paths and the distance between any two vertices in recursive cubes of rings, and obtain the exact value of their diameters. We obtain sharp bounds on the Wiener index, vertex-forwarding index, edge-forwarding index and bisection width of recursive cubes of rings. The cube-connected cycles and cube-of-rings are special recursive cubes of rings, and hence all results obtained in the paper apply to these well-known networks.
On Isomorphisms of Vertex-transitive Graphs
Published
• View Publication
• BIB
The isomorphism problem of Cayley graphs has been well studied in the literature, such as characterizations of CI (DCI)-graphs and CI (DCI)-groups. In this paper, we generalize these to vertex-transitive graphs and establish parallel results. Some interesting vertex-transitive graphs are given, including a first example of connected symmetric non-Cayley non-GI-graph. Also, we initiate the study for GI and DGI-groups, defined analogously to the concept of CI and DCI-groups.
Permutation groups and derangements of odd prime order
Published
• View Publication
• BIB
Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive and biquasiprimitive $2'$-elusive permutation groups, extending earlier work of Giudici and Xu on elusive groups. As an application, we use our results to investigate automorphisms of finite arc-transitive graphs of prime valency.
The Group Inverse of extended Symmetric and Periodic Jacobi Matrices
In this work, we explicitly compute the group inverse of symmetric and periodic Jacobi matrices.
Cartan coherent configurations
Published in Journal of Algebraic Combinatorics, 45, No. 2, 525-552 (2017)
• View Publication
• BIB
The Cartan scheme $\cal X$ of a finite group $G$ with a $(B,N)$-pair is defined to be the coherent configuration associated with the action of $G$ on the right cosets of the Cartan subgroup $B\cap N$ by the right multiplications. It is proved that if $G$ is a simple group of Lie type, then asymptotically, the coherent configuration $\cal X$ is 2-separable, i.e., the array of 2-dimensional intersection numbers determines $\cal X$ up to isomorphism. It is also proved that in this case, the base number of $\cal X$ equals 2. This enables us to construct a polynomial-time algorithm for recognizing the Cartan schemes when the rank of $G$ and order of the underlying field are sufficiently large. One of the key points in the proof of the main results is a new sufficient condition for an arbitrary homogeneous coherent configuration to be 2-separable.
Improved bounds for hypohamiltonian graphs
Published
• View Publication
• BIB
A graph $G$ is hypohamiltonian if $G$ is non-hamiltonian and $G - v$ is hamiltonian for every $v \in V(G)$. In the following, every graph is assumed to be hypohamiltonian. Aldred, Wormald, and McKay gave a list of all graphs of order at most 17. In this article, we present an algorithm to generate all graphs of a given order and apply it to prove that there exist exactly 14 graphs of order 18 and 34 graphs of order 19. We also extend their results in the cubic case. Furthermore, we show that (i) the smallest graph of girth 6 has order 25, (ii) the smallest planar graph has order at least 23, (iii) the smallest cubic planar graph has order at least 54, and (iv) the smallest cubic planar graph of girth 5 with non-trivial automorphism group has order 78.