group
10263 papers tagged with this keyword
Pairwise transitive 2-designs
Published
• View Publication
• BIB
We classify the pairwise transitive 2-designs, that is, 2-designs such that a group of automorphisms is transitive on the following five sets of ordered pairs: point-pairs, incident point-block pairs, non-incident point-block pairs, intersecting block-pairs and non-intersecting block-pairs. These 2-designs fall into two classes: the symmetric ones and the quasisymmetric ones. The symmetric examples include the symmetric designs from projective geometry, the 11-point biplane, the Higman-Sims design, and designs of points and quadratic forms on symplectic spaces. The quasisymmetric examples arise from affine geometry and the point-line geometry of projective spaces, as well as several sporadic examples.
G-graphs Characterisation and Incidence Graphs
Graphs derived from groups are a widely studied class of graphs, motivated by their highly symmetric structure. In particular, G-graphs offer an easy and interesting alternative construction of semi-symmetric graphs. After recalling the main properties of these graphs, this papers gives an extended characterisation of G-graphs and develops the link between bipartite G-graphs and incidence graphs. It appears that these two classes of graphs have a wide overlapping despite having completely different constructions. We give partial answers to the problem of finding which complete simple graphs have a G-graph as their incidence graph.
Richard Stanley through a crystal lens and from a random angle
Published in in: The Mathematical Legacy of Richard P. Stanley, AMS 2016, edited by P. Hersh, T. Lam, P. Pylyavskyy, V. Reiner, pp. 287-299
• View Publication
• BIB
We review Stanley's seminal work on the number of reduced words of the longest element of the symmetric group and his Stanley symmetric functions. We shed new light on this by giving a crystal theoretic interpretation in terms of decreasing factorizations of permutations. Whereas crystal operators on tableaux are coplactic operators, the crystal operators on decreasing factorization intertwine with the Edelman-Greene insertion. We also view this from a random perspective and study a Markov chain on reduced words of the longest element in a finite Coxeter group, in particular the symmetric group, and mention a generalization to a poset setting.
Convergence, unanimity and disagreement in majority dynamics on unimodular graphs and random graphs
Published in Stochastic Processes and their Applications, Volume 126, Issue 9, September 2016, Pages 2719-2733
• View Publication
• BIB
In majority dynamics, agents located at the vertices of an undirected simple graph update their binary opinions synchronously by adopting those of the majority of their neighbors.
On infinite unimodular transitive graphs (e.g., Cayley graphs), when initial opinions are chosen from a distribution that is invariant with respect to the graph automorphism group, we show that the opinion of each agent almost surely either converges, or else eventually oscillates with period two; this is known to hold for finite graphs, but not for all infinite graphs.
On Erdős-Rényi random graphs with degrees $Ω(\sqrt{n})$, we show that when initial opinions are chosen i.i.d. then agents all converge to the initial majority opinion, with constant probability. Conversely, on random 4-regular finite graphs, we show that with high probability different agents converge to different opinions.
On the automorphisms of designs constructed from finite simple groups
Published
• View Publication
• BIB
Here we study the automorphism groups of $1$-designs constructed from finite nonabelian simple groups by using two methods presented in Moori (Information Security, Coding Theory and Related Combinatorics, 2011). We obtain some general results for both and improve one of these methods. In an application to the sporadic Mathieu groups $M_{n}$, we are able to retrieve the Steiner systems $S(t,t+3,n)$ where $(n,t)\in\{(22,3),(23,4),(24,5)\}$.
The covering number of the difference sets in partitions of $G$-spaces and groups
Published in Europ. J. Math. 1:4 (2015) 762-772
• View Publication
• BIB
We prove that for every finite partition $G=A_1\cup\dots\cup A_n$ of a group $G$ either $cov(A_iA_i^{-1})\le n$ for all cells $A_i$ or else $cov(A_iA_i^{-1}A_i)<n$ for some cell $A_i$ of the partition. Here $cov(A)=\min\{|F|:F\subset G,\;G=FA\}$ is the covering number of $A$ in $G$. A similar result is proved also of partitions of $G$-spaces. This gives two partial answers to a problem of Protasov posed in 1995.
Completely Transitive Designs
We view a design $\mathcal{D}$ as a set of $k$-subsets of a fixed set $X$ of $v$ points. A $k$-subset of $X$ is at distance $i$ from $\mathcal{D}$ if it intersects some $k$-set in $\mathcal{D}$ in $k-i$ points, and no subset in more than $k-i$ points. Thus $\mathcal{D}$ determines a partition by distance of the $k$-subsets of $X$. We say $\mathcal{D}$ is completely transitive if the cells of this partition are the orbits of the automorphism group of $\mathcal{D}$ in its induced action on the $k$-subsets of $X$. This paper initiates a study of completely transitive designs $\mathcal{D}$. A classification is given of all examples for which the automorphism group is not primitive on $X$. In the primitive case the focus is on examples with the property that any two distinct $k$-subsets in $\mathcal{D}$ have at most $k-3$ points in common. Here a reduction is given to the case where the automorphism group is $2$-transitive on $X$. New constructions are given by classifying all examples for some families of $2$-transitive groups, leaving several unresolved cases.
Restrictions of rainbow supercharacters
Published
• View Publication
• BIB
The maximal subgroup of unipotent upper-triangular matrices of the finite general linear groups are a fundamental family of $p$-groups. Their representation theory is well-known to be wild, but there is a standard supercharacter theory, replacing irreducible representations by super-representations, that gives us some control over its representation theory. While this theory has a beautiful underlying combinatorics built on set partitions, the structure constants of restricted super-representations remain mysterious. This paper proposes a new approach to solving the restriction problem by constructing natural intermediate modules that help "factor" the computation of the structure constants. We illustrate the technique by solving the problem completely in the case of rainbow supercharacters (and some generalizations). Along the way we introduce a new $q$-analogue of the binomial coefficients that depend on an underlying poset.
Hecke algebras with independent parameters
Published
• View Publication
• BIB
We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the Coxeter group $W$. This spanning set is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receive the same parameter. In general, the dimension of $\H(\bq)$ could be as small as $1$. We construct a basis for $\H(\bq)$ when $(W,S)$ is simply laced. We also characterize when $\H(\bq)$ is commutative, which happens only if the Coxeter diagram of $(W,S)$ is simply laced and bipartite. In particular, for type A we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.
Elusive groups of automorphisms of digraphs of small valency
Published in European Journal of Combinatorics (2015), pp. 1-9
• View Publication
• BIB
A transitive permutation group is called elusive if it contains no semiregular element. We show that no group of automorphisms of a connected graph of valency at most four is elusive and determine all the elusive groups of automorphisms of connected digraphs of out-valency at most three.
On locally semiprimitive graphs and a theorem of Weiss
Published in J. of Alg. 427 (2015) 104-117
• View Publication
• BIB
In this paper we investigate graphs that admit a group acting arc-transitively such that the local action is semiprimitive with a regular normal nilpotent subgroup. This type of semiprimitive group is a generalisation of an affine group. We show that if the graph has valency coprime to six, then there is a bound on the order of the vertex stabilisers depending on the valency alone. We also prove a detailed structure theorem for the vertex stabilisers in the remaining case. This is a contribution to an ongoing project to investigate the validity of the Potočnik-Spiga-Verret Conjecture.
Stein's method, semicircle distribution, and reduced decompositions of the longest element in the symmetric group
Consider a uniformly chosen random reduced decomposition of the longest element in the symmetric group. It is known that the location of the first transposition in this decomposition converges to the semicircle distribution. In this note we provide a sharp error term for this result, using the "comparison of generators" approach to Stein's method.
Sandpile groups of generalized de Bruijn and Kautz graphs and circulant matrices over finite fields
Published in Journal of Algebra (2015), pp. 268-295
• View Publication
• BIB
A maximal minor $M$ of the Laplacian of an $n$-vertex Eulerian digraph $Γ$ gives rise to a finite group $\mathbb{Z}^{n-1}/\mathbb{Z}^{n-1}M$ known as the sandpile (or critical) group $S(Γ)$ of $Γ$. We determine $S(Γ)$ of the generalized de Bruijn graphs $Γ=\mathrm{DB}(n,d)$ with vertices $0,\dots,n-1$ and arcs $(i,di+k)$ for $0\leq i\leq n-1$ and $0\leq k\leq d-1$, and closely related generalized Kautz graphs, extending and completing earlier results for the classical de Bruijn and Kautz graphs.
Moreover, for a prime $p$ and an $n$-cycle permutation matrix $X\in\mathrm{GL}_n(p)$ we show that $S(\mathrm{DB}(n,p))$ is isomorphic to the quotient by $\langle X\rangle$ of the centralizer of $X$ in $\mathrm{PGL}_n(p)$. This offers an explanation for the coincidence of numerical data in sequences A027362 and A003473 of the OEIS, and allows one to speculate upon a possibility to construct normal bases in the finite field $\mathbb{F}_{p^n}$ from spanning trees in $\mathrm{DB}(n,p)$.
Accessibility in transitive graphs
Published
• View Publication
• BIB
We prove that the cut space of any transitive graph $G$ is a finitely generated ${\rm Aut}(G)$-module if the same is true for its cycle space. This confirms a conjecture of Diestel which says that every locally finite transitive graph whose cycle space is generated by cycles of bounded length is accessible. In addition, it implies Dunwoody's conjecture that locally finite hyperbolic transitive graphs are accessible. As a further application, we obtain a combinatorial proof of Dunwoody's accessibility theorem of finitely presented groups.
Periodic nilsequences and inverse theorems on cyclic groups
The inverse theorem for the Gowers norms, in the form proved by Green, Tao and Ziegler, applies to functions on an interval $[M]$. A recent paper of Candela and Sisask requires a stronger conclusion when applied to $N$-periodic functions; specifically, that the corresponding nilsequence should also be $N$-periodic in a strong sense.
In most cases, this result is implied by work of Szegedy (and Camarena and Szegedy) on the inverse theorem. This deduction is given in Candela and Sisask's paper. Here, we give an alternative proof, which uses only the Green--Tao--Ziegler inverse theorem as a black box. The result is also marginally stronger, removing a technical condition from the statement.
The proof centers around a general construction in the category of nilsequences and nilmanifolds, which is possibly of some independent interest.
Generalized Skew Hadamard Difference Sets
A skew Hadamard difference set (SHDS) is a difference set that satisfies the skew condition. It is known that if a group G admits a skew hadamard difference set, then G is a p-group with order congruent to 3 modulo 4. We will generalize skew Hadamard difference sets to Generalized Skew Hadamard Difference Sets (GSHDS) to cover the case when p is congruent to 1 module 4, and we will extend all known results that yield necessary existence conditions of skew Hadamard difference sets to our generalization, including the known exponent bounds. We will also show a set of necessary existence conditions a special family of groups. We will close the article with a general p-divisibility condition of the difference intersection numbers of a GSHDS for a special class of subgroups L.
Rainbow arithmetic progressions
Published
• View Publication
• BIB
In this paper, we investigate the anti-Ramsey (more precisely, anti-van der Waerden) properties of arithmetic progressions. For positive integers $n$ and $k$, the expression $aw([n],k)$ denotes the smallest number of colors with which the integers $\{1,\ldots,n\}$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. We establish that $aw([n],3)=Θ(\log n)$ and $aw([n],k)=n^{1-o(1)}$ for $k\geq 4$.
For positive integers $n$ and $k$, the expression $aw(Z_n,k)$ denotes the smallest number of colors with which elements of the cyclic group of order $n$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. In this setting, arithmetic progressions can "wrap around," and $aw(Z_n,3)$ behaves quite differently from $aw([n],3)$, depending on the divisibility of $n$. As shown in [Jungić et al., \textit{Combin. Probab. Comput.}, 2003], $aw(Z_{2^m},3) = 3$ for any positive integer $m$. We establish that $aw(Z_n,3)$ can be computed from knowledge of $aw(Z_p,3)$ for all of the prime factors $p$ of $n$. However, for $k\geq 4$, the behavior is similar to the previous case, that is, $aw(Z_n,k)=n^{1-o(1)}$.
A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems
Published in J. Algebra Appl., 14 (2015), no. 2, 1550016, 60pp
• View Publication
• BIB
Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes in $\mathcal C$ and, for any module $M$ in $\mathcal C$, let $[M]$ denote the unique element in $\mathcal V (\mathcal C)$ isomorphic to $M$. Then $\mathcal V (\mathcal C)$ is a reduced commutative semigroup with operation defined by $[M] + [N] = [M \oplus N]$, and this semigroup carries all information about direct-sum decompositions of modules in $\mathcal C$. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if $\operatorname{End}_R (M)$ is semilocal for all $M\in \mathcal C$, then $\mathcal V (\mathcal C)$ is a Krull monoid. Suppose that the monoid $\mathcal V (\mathcal C)$ is Krull with a finitely generated class group (for example, when $\mathcal C$ is the class of finitely generated torsion-free modules and $R$ is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of $\mathcal V (\mathcal C)$ using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid $\mathcal V (\mathcal C)$ for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.
Fan realizations of subword complexes and multi-associahedra via Gale duality
Published in Discrete and Computational Geometry, Volume 54, Issue 1, pp 195-231 (2015)
• View Publication
• BIB
We present complete simplicial fan realizations of any spherical subword complex of type $A_n$ for $n\leq 3$. This provides complete simplicial fan realizations of simplicial multi-associahedra $Δ_{2k+4,k}$, whose facets are in correspondence with $k$-triangulations of a convex $(2k+4)$-gon. This solves the first open case of the problem of finding fan realizations where polytopality is not known. The techniques presented in this paper work for all finite Coxeter groups and we hope that they will be useful to construct fans realizing subword complexes in general. In particular, we present fan realizations of two previously unknown cases of subword complexes of type $A_4$, namely the multi-associahedra $Δ_{9,2}$ and $Δ_{11,3}$.
Automorphism group of the complete transposition graph
Published in Journal of Algebraic Combinatorics, vol. 42, no. 3, pp. 793-801, November 2015
• View Publication
• BIB
The complete transposition graph is defined to be the graph whose vertices are the elements of the symmetric group $S_n$, and two vertices $α$ and $β$ are adjacent in this graph iff there is some transposition $(i,j)$ such that $α=(i,j) β$. Thus, the complete transposition graph is the Cayley graph $\Cay(S_n,S)$ of the symmetric group generated by the set $S$ of all transpositions. An open problem in the literature is to determine which Cayley graphs are normal. It was shown recently that the Cayley graph generated by 4 cyclically adjacent transpositions is not normal. In the present paper, it is proved that the complete transposition graph is not a normal Cayley graph, for all $n \ge 3$. Furthermore, the automorphism group of the complete transposition graph is shown to equal \[ \Aut(\Cay(S_n,S)) = (R(S_n) \rtimes \Inn(S_n)) \rtimes \mathbb{Z}_2, \] where $R(S_n)$ is the right regular representation of $S_n$, $\Inn(S_n)$ is the group of inner automorphisms of $S_n$, and $\mathbb{Z}_2 = \langle h \rangle$, where $h$ is the map $α\mapsto α^{-1}$.