group
10399 papers tagged with this keyword
Periodicity of free subgroup numbers modulo prime powers
Published in J. Algebra 452 (2016), 372-389
• View Publication
• BIB
We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power.
$s$-Elusive Codes in Hamming Graphs
Published
• View Publication
• BIB
A code is a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of all vertices at Hamming distance $s$ from their nearest codeword. A code $C$ is $s$-elusive if there exists a distinct code $C'$ that is equivalent to $C$ under the full automorphism group of the Hamming graph such that $C$ and $C'$ have the same set of $s$-neighbours.
It is proved here that the minimum distance of an $s$-elusive code is at most $2s+2$, and that an $s$-elusive code with minimum distance at least $2s+1$ gives rise to a $q$-ary $t$-design with certain parameters. This leads to the construction of: an infinite family of $1$-elusive and completely transitive codes, an infinite family of $2$-elusive codes, and a single example of a $3$-elusive code. Answers to several open questions on elusive codes are also provided.
Vanishing classes for $p$-singular characters of symmetric groups
Published in J. of Algebra 422 (2015) 334-340
• View Publication
• BIB
We call an irreducible character $p$-singular if $p$ divides its degree. We prove a number of equivalent conditions for a character of the symmetric group $S_n$ to be $p$-singular, involving a certain family of conjugacy classes. This answers in part a question by Navarro.
General systems of linear forms: equidistribution and true complexity
Published
• View Publication
• BIB
The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by approximating the indicator function of a subset by a function of bounded number of polynomials. Then, to approximate the average, it suffices to know the joint distribution of the polynomials applied to the linear forms. We prove a near-equidistribution theorem that describes these distributions for the group $\mathbb{F}_p^n$ when $p$ is a fixed prime. This fundamental fact is equivalent to a strong near-orthogonality statement regarding the higher-order characters, and was previously known only under various extra assumptions about the linear forms.
As an application of our near-equidistribution theorem, we settle a conjecture of Gowers and Wolf on the true complexity of systems of linear forms for the group $\mathbb{F}_p^n$.
On groups all of whose undirected Cayley graphs of bounded valency are integral
A finite group $G$ is called Cayley integral if all undirected Cayley graphs over $G$ are integral, i.e., all eigenvalues of the graphs are integers. The Cayley integral groups have been determined by Kloster and Sander in the abelian case, and by Abdollahi and Jazaeri, and independently by Ahmady, Bell and Mohar in the non-abelian case. In this paper we generalize this class of groups by introducing the class $\mathcal{G}_k$ of finite groups $G$ for which all graphs $\mathrm{Cay}(G,S)$ are integral if $|S| \le k$. It will be proved that $\mathcal{G}_k$ consists of the Cayley integral groups if $k \ge 6;$ and the classes $\mathcal{G}_4$ and $\mathcal{G}_5$ are equal, and consist of:\ (1) the Cayley integral groups, (2) the generalized dicyclic groups $\mathrm{Dic}(E_{3^n} \times \mathbb{Z}_6),$ where $n \ge 1$.
When does a biased graph come from a group labelling?
Published
• View Publication
• BIB
A biased graph consists of a graph $G$ together with a collection of distinguished cycles of $G$, called balanced cycles, with the property that no theta subgraph contains exactly two balanced cycles. Perhaps the most natural biased graphs on $G$ arise from orienting $G$ and then labelling the edges of $G$ with elements of a group $Γ$. In this case, we may define a biased graph by declaring a cycle to be balanced if the product of the labels on its edges is the identity, with the convention that we take the inverse value for an edge traversed backwards. Our first result gives a natural topological characterisation of biased graphs arising from group-labellings.
In the second part of this article, we use this theorem to construct some exceptional biased graphs. Notably, we prove that for every $m \ge 3$ and $\ell$ there exists a minor minimal not group labellable biased graph on $m$ vertices where every pair of vertices is joined by at least $\ell$ edges. Finally, we show that these results extend to give infinite families of excluded minors for certain families of frame and lift matroids.
Involution Statistics in Finite Coxeter Groups
Let $W$ be a finite Coxeter group and $X$ a subset of $W$. The length polynomial $L_{W,X}(t)$ is defined by $L_{W,X}(t) = \sum_{x \in X} t^{\ell(x)}$, where $\ell$ is the length function on $W$. In this article we derive expressions for the length polynomial where $X$ is any conjugacy class of involutions, or the set of all involutions, in any finite Coxeter group $W$. In particular, these results correct errors in the paper "Permutation statistics on involutions", W.M.B. Dukes., European J. Combin. 28 (2007), 186--198. for the involution length polynomials of Coxeter groups of type $B_n$ and $D_n$. Moreover, we give a counterexample to a unimodality conjecture of Dukes.
Measure Equipartitions via Finite Fourier Analysis
Published in Geom. Dedicata, 2015, 10.1007/s10711-015-0077-5
• View Publication
• BIB
Applications of harmonic analysis on finite groups are introduced to measure partition problems, with equipartitions obtained as the vanishing of prescribed Fourier transforms. For elementary abelian groups $Z_p^k$, $p$ an odd prime, equipartitions are by $k$-tuples of complex regular $p$-fans in $\mathbb{C}^d$, analogues of the famous Grünbaum problem on equipartitions in $\mathbb{R}^d$ by $k$-tuples of hyperplanes (i.e., regular 2-fans). Here the number of regions is a prime power, as usual in topological applications to combinatorial geometry. For general abelian groups, however, the Fourier perspective yields new classes of equipartitions by families of complex regular fans $F_{q_1},\ldots, F_{q_k}$ (such as those of a "Makeev-type"), including when the number of regions is not a prime power.
Veldkamp-Space Aspects of a Sequence of Nested Binary Segre Varieties
Published in Ann. Inst. Henri Poincare Comb. Phys. Interact. 2 (2015) 309-333
• View Publication
• BIB
Let $S_{(N)} \equiv PG(1,\,2) \times PG(1,\,2) \times \cdots \times PG(1,\,2)$ be a Segre variety that is $N$-fold direct product of projective lines of size three. Given two geometric hyperplanes $H'$ and $H''$ of $S_{(N)}$, let us call the triple $\{H', H'', \overline{H' ΔH''}\}$ the Veldkamp line of $S_{(N)}$. We shall demonstrate, for the sequence $2 \leq N \leq 4$, that the properties of geometric hyperplanes of $S_{(N)}$ are fully encoded in the properties of Veldkamp {\it lines} of $S_{(N-1)}$. Using this property, a complete classification of all types of geometric hyperplanes of $S_{(4)}$ is provided. Employing the fact that, for $2 \leq N \leq 4$, the (ordinary part of) Veldkamp space of $S_{(N)}$ is $PG(2^N-1,2)$, we shall further describe which types of geometric hyperplanes of $S_{(N)}$ lie on a certain hyperbolic quadric $\mathcal{Q}_0^+(2^N-1,2) \subset PG(2^N-1,2)$ that contains the $S_{(N)}$ and is invariant under its stabilizer group; in the $N=4$ case we shall also single out those of them that correspond, via the Lagrangian Grassmannian of type $LG(4,8)$, to the set of 2295 maximal subspaces of the symplectic polar space $\mathcal{W}(7,2)$.
Invariants of GL_n(F_q) in polynomials mod Frobenius powers
Published in Proc. Roy. Soc. Edinburgh Sect. A 147 (2017), no. 4, 831--873
• View Publication
• BIB
Conjectures are given for Hilbert series related to polynomial invariants of finite general linear groups, one for invariants mod Frobenius powers of the irrelevant ideal, one for cofixed spaces of polynomials.
Whittaker Coefficients of Metaplectic Eisenstein Series
Published in Geometric and Functional Analysis (GAFA) 25(4) (2015), 1180-1239
• View Publication
• BIB
We study Whittaker coefficients for maximal parabolic Eisenstein series on metaplectic covers of split reductive groups. By the theory of Eisenstein series these coefficients have meromorphic continuation and functional equation. However they are not Eulerian and the standard methods to compute them in the reductive case do not apply to covers. For "cominuscule" maximal parabolics, we give an explicit description of the coefficients as Dirichlet series whose arithmetic content is expressed in an exponential sum. The exponential sum is then shown to satisfy a twisted multiplicativity, reducing its determination to prime power contributions. These, in turn, are connected to Lusztig data for canonical bases on the dual group using a result of Kamnitzer. The exponential sum at prime powers is then evaluated for generic Lusztig data. To handle the remaining degenerate cases, the evaluation of the exponential sum appears best expressed in terms of string data for canonical bases, as shown in a detailed example in $GL_4$. Thus we demonstrate that the arithmetic part of metaplectic Whittaker coefficients is intimately connected to the relations between these two expressions for canonical bases.
Bijective proofs of character evaluations using trace forest of the jeu de taquin
Irreducible characters in the symmetric group are of special interest in combinatorics. They can be expressed either combinatorially with ribbon tableaux, or algebraically with contents. In this paper, these two expressions are related in a combinatorial way. We first introduce a fine structure in the famous jeu de taquin called "trace forest", with which we are able to count certain types of ribbon tableaux, leading to a simple bijective proof of a character evaluation formula in terms of contents that dates back to Frobenius (1901). Inspired by this proof, we give an inductive scheme that gives combinatorial proofs to more complicated formulae for characters in terms of contents.
Kronecker Coefficients For Some Near-Rectangular Partitions
Published
• View Publication
• BIB
We give formulae for computing Kronecker coefficients occurring in the expansion of $s_μ*s_ν$, where both $μ$ and $ν$ are nearly rectangular, and have smallest parts equal to either 1 or 2. In particular, we study $s_{(n,n-1,1)}*s_{(n,n)}$, $s_{(n-1,n-1,1)}*s_{(n,n-1)}$, $s_{(n-1,n-1,2)}*s_{(n,n)}$, $s_{(n-1,n-1,1,1)}*s_{(n,n)}$ and $s_{(n,n,1)}*s_{(n,n,1)}$. Our approach relies on the interplay between manipulation of symmetric functions and the representation theory of the symmetric group, mainly employing the Pieri rule and a useful identity of Littlewood. As a consequence of these formulae, we also derive an expression enumerating certain standard Young tableaux of bounded height, in terms of the Motzkin and Catalan numbers.
Classes of Symmetric Cayley Graphs over Finite Abelian Groups of Degrees 4 and 6
The present work is devoted to characterize the family of symmetric undirected Cayley graphs over finite Abelian groups for degrees 4 and 6.
Linear embeddings of contractible and collapsible complexes
(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary.
(2) For any d, we show that all collapsible d-complexes with n facets linearly embed in $\mathbb{R}^{2d}$ after less than n barycentric subdivisions. This is best possible, as cones over non-planar graphs do not topologically embed in $\mathbb{R}^{3}$.
Ziegler's Multi-Reflection Arrangements are free
In 1989, Ziegler introduced the concept of a multi-arrangement. One natural example is the reflection arrangement of a unitary reflection group with multiplicity given by the number of reflections associated with each hyperplane. For all but three irreducible groups, Ziegler showed that each such multi-reflection arrangement is free. We complete Ziegler's example by confirming these outstanding cases.
Diameter 2 Cayley Graphs of Dihedral Groups
Published in Discrete Mathematics Vol 338 Issue 6 (2015) pp 1022--1024
• View Publication
• BIB
We consider the degree-diameter problem for Cayley graphs of dihedral groups. We find upper and lower bounds on the maximum number of vertices of such a graph with diameter 2 and degree $d$. We completely determine the asymptotic behaviour of this class of graphs by showing that both limits are asymptotically $d^2/2$.
Symmetric graphs with complete quotients
Let $Γ$ be a $G$-symmetric graph with vertex set $V$. We suppose that $V$ admits a $G$-partition $\mathcal{B} = \{ B_0, ... , B_b \}$, with parts of size $v$, and that the quotient graph induced on $\mathcal B$ is a complete graph of order $b+1$. Then, for each pair of distinct suffices $i, j$, the graph induced on the union $B_i\cup B_j$ is bipartite with each vertex of valency $0$ or $t$ (a constant). When $t=1$, it was shown earlier how a flag-transitive $1$-design $D(B_i)$ induced on a part $B_i$ can sometimes be used to classify possible triples $(Γ, G, \mathcal B)$. Here we extend these ideas to $t > 1$ and prove that, if the group induced by $G$ on a part $B_i$ is $2$-transitive and the "blocks" of $D(B_i)$ have size less than $v$, then either (i) $v < b$, or (ii) the triple $(Γ, G, \mathcal B)$ is known explicitly.
Elementary proof that $\mathbb Z_p^4$ is a DCI-group
Published
• View Publication
• BIB
A finite group $R$ is a DCI-group if, whenever $S$ and $T$ are subsets of $R$ with the Cayley graphs ${\rm Cay}(R,S)$ and ${\rm Cay}(R,T)$ isomorphic, there exists an automorphism $\varphi$ of $R$ with $S^\varphi=T$.
Elementary abelian groups of order $p^4$ or smaller are known to be DCI-groups, while those of sufficiently large rank are known not to be DCI-groups. The only published proof that elementary abelian groups of order $p^4$ are DCI-groups uses Schur rings and does not work for $p=2$ (which has been separately proven using computers). This paper provides a simpler proof that works for all primes. Some of the results in this paper also apply to elementary abelian groups of higher rank, so may be useful for completing our determination of which elementary abelian groups are DCI-groups.
Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2
Published
• View Publication
• BIB
We develop foundational tools for classifying the extreme valid functions for the k-dimensional infinite group problem. In particular, (1) we present the general regular solution to Cauchy's additive functional equation on bounded convex domains. This provides a k-dimensional generalization of the so-called interval lemma, allowing us to deduce affine properties of the function from certain additivity relations. (2) We study the discrete geometry of additivity domains of piecewise linear functions, providing a framework for finite tests of minimality and extremality. (3) We give a theory of non-extremality certificates in the form of perturbation functions.
We apply these tools in the context of minimal valid functions for the two-dimensional infinite group problem that are piecewise linear on a standard triangulation of the plane, under the assumption of a regularity condition called diagonal constrainedness. We show that the extremality of a minimal valid function is equivalent to the extremality of its restriction to a certain finite two-dimensional group problem. This gives an algorithm for testing the extremality of a given minimal valid function.