group
10226 papers tagged with this keyword
On finite groups whose power graph is a cograph
Published in Journal of Algebra, 591 (2022), 59-74
• View Publication
• BIB
A $P_4$-free graph is called a cograph. In this paper we partially characterize finite groups whose power graph is a cograph. As we will see, this problem is a generalization of the determination of groups in which every element has prime power order, first raised by Graham Higman in 1957 and fully solved very recently.
First we determine all groups $G$ and $H$ for which the power graph of $G\times H$ is a cograph. We show that groups whose power graph is a cograph can be characterised by a condition only involving elements whose orders are prime or the product of two (possibly equal) primes. Some important graph classes are also taken under consideration. For finite simple groups we show that in most of the cases their power graphs are not cographs: the only ones for which the power graphs are cographs are certain groups PSL$(2,q)$ and Sz$(q)$ and the group PSL$(3,4)$. However, a complete determination of these groups involves some hard number-theoretic problems.
Combinatorial and harmonic-analytic methods for integer tilings
A finite set of integers $A$ tiles the integers by translations if $\mathbb{Z}$ can be covered by pairwise disjoint translated copies of $A$. Restricting attention to one tiling period, we have $A\oplus B=\mathbb{Z}_M$ for some $M\in\mathbb{N}$ and $B\subset\mathbb{Z}$. This can also be stated in terms of cyclotomic divisibility of the mask polynomials $A(X)$ and $B(X)$ associated with $A$ and $B$.
In this article, we introduce a new approach to a systematic study of such tilings. Our main new tools are the box product, multiscale cuboids, and saturating spaces, developed through a combination of harmonic-analytic and combinatorial methods. We provide new criteria for tiling and cyclotomic divisibility in terms of these concepts. As an application, we can determine whether a set $A$ containing certain configuration can tile a cyclic group $\mathbb{Z}_M$, or recover a tiling set based on partial information about it. We also develop tiling reductions where a given tiling can be replaced by one or more tilings with a simpler structure. The tools introduced here are crucial in our proof in a follow-up paper that all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes, satisfy a tiling condition proposed by Coven and Meyerowitz.
The Coven-Meyerowitz tiling conditions for 3 odd prime factors
It is well known that if a finite set $A\subset\mathbb{Z}$ tiles the integers by translations, then the translation set must be periodic, so that the tiling is equivalent to a factorization $A\oplus B=\mathbb{Z}_M$ of a finite cyclic group. We are interested in characterizing all finite sets $A\subset\mathbb{Z}$ that have this property. Coven and Meyerowitz (1998) proposed conditions (T1), (T2) that are sufficient for $A$ to tile, and necessary when the cardinality of $A$ has at most two distinct prime factors. They also proved that (T1) holds for all finite tiles, regardless of size. It is not known whether (T2) must hold for all tilings with no restrictions on the number of prime factors of $|A|$.
We prove that the Coven-Meyerowitz tiling condition (T2) holds for all integer tilings of period $M=(p_ip_jp_k)^2$, where $p_i,p_j,p_k$ are distinct odd primes. The proof also provides a classification of all such tilings.
On finite groups with polynomial diameter
Given a finite group $G$ and a generating set $S \subseteq G$, the diameter $diam(G,S)$ is the least integer $n$ such that every element of $G$ is the product of at most $n$ elements of $S$. In this paper, for bounded $|S|$, we characterize groups with polynomial diameter as the groups with a large abelian section close to the top, precisely of size an exponential portion of the size of the full group. This complements a key result of Breuillard and Tointon. As a consequence, groups with polynomial diameter have many conjugacy classes, and contain a large nilpotent subgroup of class at most $2$.
Enumeration of spanning trees of middle graphs
Published
• View Publication
• BIB
Let $D$ be a connected weighted digraph. The relation between the vertex weighted complexity (with a fixed root) of the line digraph of $D$ and the edge weighted complexity (with a fixed root) of $D$ has been given in (L. Levine, Sandpile groups and spanning trees of directed line graphs, J. Combin. Theory Ser. A 118 (2011) 350-364) and, independently, in (S. Sato, New proofs for Levine's theorems, Linear Algebra Appl. 435 (2011) 943-952). In this paper, we obtain a relation between the vertex weighted complexity of the middle digraph of $D$ and the edge weighted complexity of $D$. Particularly, when the weight of each arc and each vertex of $D$ is 1, the enumerative formula of spanning trees of the middle digraph of a general digraph is obtained.
New binary self-dual codes of lengths 80, 84 and 96 from composite matrices
Published
• View Publication
• BIB
In this work, we apply the idea of composite matrices arising from group rings to derive a number of different techniques for constructing self-dual codes over finite commutative Frobenius rings. By applying these techniques over different alphabets, we construct best known singly-even binary self-dual codes of lengths 80, 84 and 96 as well as doubly-even binary self-dual codes of length 96 that were not known in the literature before.
Vertex quasiprimitive two-geodesic transitive graphs
For a non-complete graph $Γ$, a vertex triple $(u,v,w)$ with $v$ adjacent to both $u$ and $w$ is called a $2$-geodesic if $u\neq w$ and $u,w$ are not adjacent. Then $Γ$ is said to be $2$-geodesic transitive if its automorphism group is transitive on both arcs and 2-geodesics. In previous work the author showed that if a $2$-geodesic transitive graph $Γ$ is locally disconnected and its automorphism group $\Aut(Γ)$ has a non-trivial normal subgroup which is intransitive on the vertex set of $Γ$, then $Γ$ is a cover of a smaller 2-geodesic transitive graph. Thus the `basic' graphs to study are those for which $\Aut(Γ)$ acts quasiprimitively on the vertex set. In this paper, we study 2-geodesic transitive graphs which are locally disconnected and $\Aut(Γ)$ acts quasiprimitively on the vertex set. We first determine all the possible quasiprimitive action types and give examples for them, and then classify the family of $2$-geodesic transitive graphs whose automorphism group is primitive on its vertex set of $\PA$ type.
Product Expansions of q-Character Polynomials
Published
• View Publication
• BIB
The ring of q-character polynomials is a q-analog of the classical ring of character polynomials for the symmetric groups. This ring consists of certain class functions defined simultaneously on the groups $Gl_n(F_q)$ for all n, which we also interpret as statistics on matrices. Here we evaluate these statistics on all matrices and work towards computing the structure constants of the product in this ring. We show that the statistics are periodically polynomial in q, and governed by universal polynomials $P_{λ,μ}(q)$ which we compute explicitly, indexed by pairs of integer partitions. The product structure is similarly polynomial in q in many cases, governed by polynomials $R_{λ,μ}^ν(q)$ indexed by triples of partitions, which we compute in some cases.
Our calculations seem to exhibit several unexpected patterns. Mainly, we conjecture that certain indecomposable statistics generate the whole ring, and indeed prove this for statistics associated with matrices consisting of up to 2 Jordan blocks. Furthermore, the coefficients we compute exhibit surprising stability phenomena, which in turn reflect stabilizations of joint moments as well as multiplicities in the irreducible decomposition of tensor products of representations of $Gl_n(F_q)$ for $n\gg 1$. We use this stabilization to compute the correlation of the number of unipotent Jordan blocks of two sizes.
Infinite families of linear codes supporting more $t$-designs
Published
• View Publication
• BIB
Tang and Ding [IEEE IT 67 (2021) 244-254] studied the class of narrow-sense BCH codes $\mathcal{C}_{(q,q+1,4,1)}$ and their dual codes with $q=2^m$ and established that the codewords of the minimum (or the second minimum) weight in these codes support infinite families of 4-designs or 3-designs. Motivated by this, we further investigate the codewords of the next adjacent weight in such codes and discover more infinite classes of $t$-designs with $t=3,4$. In particular, we prove that the codewords of weight $7$ in $\mathcal{C}_{(q,q+1,4,1)}$ support $4$-designs when $m \geqslant 5$ is odd and $3$-designs when $m \geqslant 4$ is even, which provide infinite classes of simple $t$-designs with new parameters. Another significant class of $t$-designs we produce in this paper has supplementary designs with parameters 4-$(2^{2s+1}+ 1,5,5)$; these designs have the smallest index among all the known simple 4-$(q+1,5,λ)$ designs derived from codes for prime powers $q$; and they are further proved to be isomorphic to the 4-designs admitting the projective general linear group PGL$(2,2^{2s+1})$ as automorphism group constructed by Alltop in 1969.
Iwasawa Theory of Jacobians of Graphs
Published
• View Publication
• BIB
The Jacobian group (also known as the critical group or sandpile group) is an important invariant of a finite, connected graph $X$; it is a finite abelian group whose cardinality is equal to the number of spanning trees of $X$ (Kirchhoff's Matrix Tree Theorem). A specific type of covering graph, called a derived graph, that is constructed from a voltage graph with voltage group $G$ is the object of interest in this paper. Towers of derived graphs are studied by using aspects of classical Iwasawa Theory (from number theory). Formulas for the orders of the Sylow $p$-subgroups of Jacobians in an infinite voltage $p$-tower, for any prime $p$, are obtained in terms of classical $μ$ and $λ$ invariants by using the decomposition of a finitely generated module over the Iwasawa Algebra.
Algorithmic Symplectic Packing
Published
• View Publication
• BIB
In this article we explore a symplectic packing problem where the targets and domains are $2n$-dimensional symplectic manifolds. We work in the context where the manifolds have first homology group equal to $\mathbb{Z}^n$, and we require the embeddings to induce isomorphisms between first homology groups. In this case, Maley, Mastrangeli and Traynor showed that the problem can be reduced to a combinatorial optimization problem, namely packing certain allowable simplices into a given standard simplex. They designed a computer program and presented computational results. In particular, they determined the simplex packing widths in dimension four for up to $k=12$ simplices, along with lower bounds for higher values of $k$. We present a modified algorithmic approach that allows us to determine the $k$-simplex packing widths for up to $k = 13$ simplices in dimension four and up to $k = 8$ simplices in dimension six. Moreover, our approach determines all simplex-multisets that allow for optimal packings.
Vertex-regular $1$-factorizations in infinite graphs
Published
• View Publication
• BIB
The existence of $1$-factorizations of an infinite complete equipartite graph $K_m[n]$ (with $m$ parts of size $n$) admitting a vertex-regular automorphism group $G$ is known only when $n=1$ and $m$ is countable (that is, for countable complete graphs) and, in addition, $G$ is a finitely generated abelian group $G$ of order $m$.
In this paper, we show that a vertex-regular $1$-factorization of $K_m[n]$ under the group $G$ exists if and only if $G$ has a subgroup $H$ of order $n$ whose index in $G$ is $m$. Furthermore, we provide a sufficient condition for an infinite Cayley graph to have a regular $1$-factorization. Finally, we construct 1-factorizations that contain a given subfactorization, both having a vertex-regular automorphism group.
Cayley hyper-digraphs and Cayley hypermaps
Published
• View Publication
• BIB
A Cayley hyper-digraph is a directed hypergraph that its automorphism group contains a subgroup acting regularly on vertices and a Cayley hypermap is a hypermap whose automorphism group contains a subgroup which induces regular action on the hypervertex set. In this paper, we study Cayley hyper-digraphs and construct Cayley hypermaps which have high level of symmetry. Our main goal is to present the general theory so as to make it clear to study Cayley hypermaps.
Intersecting principal Bruhat ideals and grades of simple modules
Published
• View Publication
• BIB
We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson-Schensted correspondence. We also prove that a simple module over the above-mentioned incidence algebra is perfect if and only if its index is the longest element of a parabolic subgroup.
On the irreducible characters of Suzuki p-groups
Published
• View Publication
• BIB
In this paper, we completely determine the irreducible characters of the four families of Suzuki $p$-groups.
Unitriangular basic sets for blocks of the symmetric and alternating groups of small weights
Published
• View Publication
• BIB
We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any odd prime p, the p-blocks of the symmetric group with weight 2 have stable unitriangular basic sets which we describe by studying the combinatorics of partitions in these blocks.
On orders of automorphisms of vertex-transitive graphs
In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with $n$ vertices and of valence $d$, $d\le 4$, is at most $c_d n$ where $c_3=1$ and $c_4 = 9$. Whether such a constant $c_d$ exists for valencies larger than $4$ remains an unanswered question. Further, we prove that every automorphism $g$ of a finite connected $3$-valent vertex-transitive graph $Γ$, $Γ\not\cong K_{3,3}$, has a regular orbit, that is, an orbit of $\langle g \rangle$ of length equal to the order of $g$. Moreover, we prove that in this case either $Γ$ belongs to a well understood family of exceptional graphs or at least $5/12$ of the vertices of $Γ$ belong to a regular orbit of $g$. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms $C$ of a connected $3$-valent vertex-transitive graph $Γ$ in terms of the number of vertices of $Γ$ and the length of a longest orbit of $C$.
Cauchy Formulas and Billey's Formulas for Generalized Grothendieck polynomials
We study the generalized double $β$-Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K-theoretic version of the comodule structure map $α^*: K(G/B)\to K(G)\otimes K(G/B)$ induced by the group action map for reductive group $G$ and its flag variety $G/B$. Furthermore, we give a combinatorial formula to compute the localization of Schubert classes as a generalization of Billey's formula.
The Rank of the Sandpile Group of Random Directed Bipartite Graphs
Published
• View Publication
• BIB
We identify the asymptotic distribution of $p$-rank of the sandpile group of a random directed bipartite graphs which are not too imbalanced. We show this matches exactly that of the Erd{ö}s-R{é}nyi random directed graph model, suggesting the Sylow $p$-subgroups of this model may also be Cohen-Lenstra distributed. Our work builds on results of Koplewitz who studied $p$-rank distributions for unbalanced random bipartite graphs, and showed that for sufficiently unbalanced graphs, the distribution of $p$-rank differs from the Cohen-Lenstra distribution. Koplewitz \cite{K} conjectured that for random balanced bipartite graphs, the expected value of $p$-rank is $O(1)$ for any $p$. This work proves his conjecture and gives the exact distribution for the subclass of directed graphs.
Coxeter Pop-Tsack Torsing
Published
• View Publication
• BIB
Given a finite irreducible Coxeter group $W$ with a fixed Coxeter element $c$, we define the Coxeter pop-tsack torsing operator $\mathsf{Pop}_T:W\to W$ by $\mathsf{Pop}_T(w)=w\cdotπ_T(w)^{-1}$, where $π_T(w)$ is the join in the noncrossing partition lattice $\mathrm{NC}(w,c)$ of the set of reflections lying weakly below $w$ in the absolute order. This definition serves as a "Bessis dual" version of the first author's notion of a Coxeter pop-stack sorting operator, which, in turn, generalizes the pop-stack-sorting map on symmetric groups. We show that if $W$ is coincidental or of type $D$, then the identity element of $W$ is the unique periodic point of $\mathsf{Pop}_T$ and the maximum size of a forward orbit of $\mathsf{Pop}_T$ is the Coxeter number $h$ of $W$. In each of these types, we obtain a natural lift from $W$ to the dual braid monoid of $W$. We also prove that $W$ is coincidental if and only if it has a unique forward orbit of size $h$. For arbitrary $W$, we show that the forward orbit of $c^{-1}$ under $\mathsf{Pop}_T$ has size $h$ and is isolated in the sense that none of the non-identity elements of the orbit have preimages lying outside of the orbit.