group
10263 papers tagged with this keyword
There are 2834 spreads of lines in PG(3,8)
2834 inequivalent spreads under the group $\mathrm{P}Γ\mathrm{L}(4,8)$. Therefore there are the same number of translation planes of order 64 with kernel containing $\mathrm{GF}(8)$, and we describe various properties of these planes.
Each portion of the search was performed at least twice with independently-written software, and the results checked for internal consistency by computation of the numbers of spreads rooted at a line not in the spread, thus enhancing confidence in the correctness of the search.
Overview of the Heisenberg--Weyl Algebra and Subsets of Riordan Subgroups
Published
• View Publication
• BIB
In a first part, we are concerned with the relationships between polynomials in the two generators of the algebra of Heisenberg--Weyl, its Bargmann--Fock representation with differential operators and the associated one-parameter group.Upon this basis, the paper is then devoted to the groups of Riordan matrices associated to the related transformations of matrices (i.e. substitutions with prefunctions). Thereby, various properties are studied arising in Riordan arrays, in the Riordan group and, more specifically, in the `striped' Riordan subgroups; further, a striped quasigroup and a semigroup are also examined. A few applications to combinatorial structures are also briefly addressed in the Appendix.
On distance two in Cayley graphs of Coxeter groups
Published
• View Publication
• BIB
We consider the Cayley graph ${\rm C}(W,S)$ of a Coxeter system $(W,S)$ and describe all maximal $2$-cliques in this graph, i.e. maximal subsets in the vertex set such that the distance between any two distinct elements is equal to $2$. As an application, we show that every automorphism of the half of Cayley graph is uniquely extendable to an automorphism of the Cayley graph if $|S|\ge 5$.
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$.