group
10399 papers tagged with this keyword
A Galois structure on the orbit of large steps walks in the quadrant
Published in Séminaire Lotharingien de Combinatoire, issue 91B, 2024, article 65
• Search Publication
The enumeration of weighted walks in the quarter plane reduces to studying a functional equation with two catalytic variables. When the steps of the walk are small, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be crucial in the classification of the small steps models. In particular, its action on the catalytic variables provides a convenient set of changes of variables in the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer (BBMM). However, the orbit had till now no underlying group.
In this article, we endow the orbit with the action of a Galois group, which extends the notion of the group of the walk to models with large steps. As an application, we look into a general strategy to prove the algebraicity of models with small backwards steps, which uses the fundamental objects that are invariants and decoupling. The group action on the orbit allows us to develop a Galoisian approach to these two notions. Up to the knowledge of the finiteness of the orbit, this gives systematic procedures to test their existence and construct them. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of BBMM, and allowing to find new algebraic models with large steps.
Recognizing bicoset digraphs which are $X$-joins and automorphism groups of bicoset digraphs
Published
• View Publication
• BIB
We examine bicoset digraphs and their natural properties from the point of view of symmetry. We then consider connected bicoset digraphs that are $X$-joins with collections of empty graphs, and show that their automorphism groups can be obtained from their natural irreducible quotients. We then show that such digraphs can be recognized from their connection sets.
Writing finite simple groups of Lie type as products of subset conjugates
Published
• View Publication
• BIB
The Liebeck-Nikolov-Shalev conjecture [LNS12] asserts that, for any finite simple non-abelian group $G$ and any set $A\subseteq G$ with $|A|\geq 2$, $G$ is the product of at most $N\frac{\log|G|}{\log|A|}$ conjugates of $A$, for some absolute constant $N$.
For $G$ of Lie type, we prove that for any $\varepsilon>0$ there is some $N_{\varepsilon}$ for which $G$ is the product of at most $N_{\varepsilon}\left(\frac{\log|G|}{\log|A|}\right)^{1+\varepsilon}$ conjugates of either $A$ or $A^{-1}$. For symmetric sets, this improves on results of Liebeck, Nikolov, and Shalev [LNS12] and Gill, Pyber, Short, and Szabó [GPSS13].
During the preparation of this paper, the proof of the Liebeck-Nikolov-Shalev conjecture was completed by Lifshitz [Lif24]. Both papers use [GLPS24] as a starting point. Lifshitz's argument uses heavy machinery from representation theory to complete the conjecture, whereas this paper achieves a more modest result by rather elementary combinatorial arguments.
Ideals, representations and a symmetrised Bernoulli triangle
Published
• View Publication
• BIB
We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle.
Permutation groups, partition lattices and block structures
Published in Forum of Mathematics, Sigma 13 (2025) e180
• View Publication
• BIB
Let $G$ be a transitive permutation group on $Ω$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $Ω$, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an \emph{orthogonal block structure}, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a \emph{poset block structure}, whose automorphism group is a \emph{generalised wreath product}. We examine permutation groups with these properties, which we call the \emph{OB property} and \emph{PB property} respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties.
A famous theorem on permutation groups asserts that a transitive imprimitive group $G$ is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by~$G$). We extend this theorem to groups with the PB property, embeddng them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions.
We have included background and historical material on these concepts.
Counting Flows of $b$-compatible Graphs
Published
• View Publication
• BIB
Kochol introduced the assigning polynomial $F(G,α;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $α$ is a $\{0,1\}$-assigning from a family $Λ(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let $α_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\inΛ(G)$, $α_{G,b}(X)=0$ if and only if $\sum_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $α$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $α=α_{G,b}$, then the assigning polynomial $F(G,α;k)$ has the $b$-compatible spanning subgraph expansion \[ F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S\mbox{ is $b$-compatible}}}(-1)^{|S|}k^{m(G-S)}, \] and is the following form $F(G,α;k)=\sum_{i=0}^{m(G)}(-1)^ia_i(G,α)k^{m(G)-i}$, where each $a_i(G,α)$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $α,α'$ of $G$, if there exist functions $b:V(G)\to A$ and $b':V(G)\to A'$ such that $G$ is both $b$-compatible and $b'$-compatible, $α=α_{G,b}$, $α'=α_{G,b'}$ and $α(X)\leα'(X)$ for all $X\inΛ(G)$, then \[ a_i(G,α)\le a_i(G,α') \quad \mbox{ for }\quad i=0,1,\ldots, m(G). \]
Artin Symmetric Functions
In this paper we construct an algebraic invariant attached to Galois representations over number fields. This invariant, which we call an Artin symmetric function, lives in a certain ring we introduce called the ring of arithmetic symmetric functions. This ring is built from a family of symmetric functions rings indexed by prime ideals of the base field. We prove many necessary basic results for the ring of arithmetic symmetric functions as well as introduce the analogues of some standard number-theoretic objects in this setting. We prove that the Artin symmetric functions satisfy the same algebraic properties that the Artin L-functions do with respect to induction, inflation, and direct summation of representations. The expansion coefficients of these symmetric functions in different natural bases are shown to be character values of representations of a compact group related to the original Galois group. In the most interesting case, the expansion coefficients into a specialized Hall-Littlewood basis come from new representations built from the original Galois representation using polynomial functors corresponding to modified Hall-Littlewood polynomials. Using a special case of the Satake isomorphism in type GL, as formulated by Macdonald, we show that the Artin symmetric functions yield families of functions in the (finite) global spherical Hecke algebras in type GL which exhibit natural stability properties. We compute the Mellin transforms of these functions and relate them to infinite products of shifted Artin L-functions. We then prove some analytic properties of these Dirichlet series and give an explicit expansion of these series using the Hall-Littlewood polynomial functors.
On point and block primitive designs invariant under permutation groups
In this paper, we present a method for constructing point primitive block transitive $t$-designs invariant under finite groups. Furthermore, we demonstrate that every point and block primitive $G$-invariant design can be generated using this method.
Additionally, we establish the theoretical possibility of identifying all block transitive $G$-invariant designs. However, in practice, the feasibility of enumerating all designs for larger groups may be limited by the computational complexity involved.
Christoffel Matrices and Sturmian Determinants
Published
• View Publication
• BIB
We discuss certain matrices associated with Christoffel words, and show that they have a group structure. We compute their determinants and show a relationship between the Zolotareff symbol from number theory.
Almost Commutative Terwilliger Algebras of Group Association Schemes II: Primitive Idempotents
This paper is a continuation of Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification [1]. In that paper, we found all groups G for which the Terwilliger algebra of the group association scheme, denoted T (G), is almost commutative. We also found the primitive idempotents for T (G) for three of the four types of such groups. In this paper, we determine the primitive idempotents for the fourth type.
$E_A$-cordial labeling of graphs and its implications for $A$-antimagic labeling of trees
Published in Discrete Mathematics Volume 348, Issue 9, September 2025, 114493
• View Publication
• BIB
If $A$ is a finite Abelian group, then a labeling $f \colon E (G) \rightarrow A$ of the edges of some graph $G$ induces a vertex labeling on $G$; the vertex $u$ receives the label $\sum_{v\in N(u)}f (v)$, where $N(u)$ is an open neighborhood of the vertex $u$. A graph $G$ is $E_A$-cordial if there is an edge-labeling such that (1) the edge label classes differ in size by at most one and (2) the induced vertex label classes differ in size by at most one. Such a labeling is called $E_A$-cordial. In the literature, so far only $E_A$-cordial labeling in cyclic groups has been studied.
The corresponding problem was studied by Kaplan, Lev and Roditty. Namely, they introduced $A^*$-antimagic labeling as a generalization of antimagic labeling \cite{ref_KapLevRod}. Simply saying, for a tree of order $|A|$ the $A^*$-antimagic labeling is such $E_A$-cordial labeling that the label $0$ is prohibited on the edges.
In this paper, we give necessary and sufficient conditions for paths to be $E_A$-cordial for any cyclic $A$. We also show that the conjecture for $A^*$-antimagic labeling of trees posted in \cite{ref_KapLevRod} is not true.
Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification
Terwilliger algebras are a subalgebra of a matrix algebra that are constructed from association schemes over finite sets. In 2010, Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative. In that paper she gave five equivalent conditions for a Terwilliger algebra to be almost commutative. In this paper, we provide a classification of which groups result in an almost commutative Terwilliger algebra when looking at the group association scheme (the Schur ring generated by the conjugacy classes of the group). In particular, we show that all such groups are either abelian, or Camina groups. Following this classification, we then compute the dimension and non-primary primitive idempotents for each Terwilliger algebra of this form for the first three types of groups whose group association scheme gives an almost commutative Terwilliger algebra. The final case will be considered in a second paper.
On Christoffel words & their lexicographic array
Published
• View Publication
• BIB
By a Christoffel matrix we mean a $n\times n$ matrix corresponding to the lexicographic array of a Christoffel word of length $n.$ In this note we show that if $R$ is an integral domain, then the product of two Christoffel matrices over $R$ is commutative and is a Christoffel matrix over $R.$ Furthermore, if a Christoffel matrix over $R$ is invertible, then its inverse is a Christoffel matrix over $R.$ Consequently, the set $GC_n(R)$ of all $n\times n$ invertible Christoffel matrices over $R$ forms an abelian subgroup of $GL_n(R).$ The subset of $GC_n(R)$ consisting all invertible Christoffel matrices having some element $a$ on the diagonal and $b$ elsewhere (with $a,b \in R$ distinct) forms a subgroup $H$ of $GC_n(R).$ If $R$ is a field, then the quotient $GC_n(R)/H$ is isomorphic to $(\Z/nZ)^\times,$ the multiplicative group of integers modulo $n.$ It follows that for each finite field $F$ and each finite abelian group $G,$ there exists $n\geq 2$ and a faithful representation $G\rightarrow GL_n(F)$ consisting entirely of $n\times n$ (invertible) Christoffel matrices over $F.$ We describe the structure of $GC_n(\Z/2\Z).$
Simplicial maps between spheres and Davis' manifolds with positive simplicial volume
We study the simplicial volume of manifolds obtained from Davis' reflection group trick, the goal being characterizing those having positive simplicial volume. In particular, we focus on checking whether manifolds in this class with nonzero Euler characteristic have positive simplicial volume (Gromov asked whether this holds in general for aspherical manifolds). This leads to a combinatorial problem about triangulations of spheres: we define a partial order on the set of triangulations -- the relation being the existence of a nonzero-degree simplicial map between two triangulations -- and the problem is to find the minimal elements of a specific subposet. We solve explicitly the case of triangulations of the two-dimensional sphere, and then perform an extensive analysis, with the help of computer searches, of the three-dimensional case. Moreover, we present a connection of this problem with the theory of graph minors.
On Diameters of Cayley Graphs over Matrix Groups
We establish for the matrix group $G=\mathrm{SL}_{n}\left(\mathbb{F}_{p}\right)$ that there exist absolute constants $c\in\left(0,1\right)$ and $C>0$ such that any symmetric generating set $A$, with $\left|A\right|\geq\left|G\right|^{1-c}$ has a covering number $\leq Cn^{2}.$ This result is sharp up to the value of the constant $C>0$.
Boosting uniformity in quasirandom groups: fast and simple
Published
• View Publication
• BIB
We study the communication complexity of multiplying $k\times t$ elements from the group $H=\text{SL}(2,q)$ in the number-on-forehead model with $k$ parties. We prove a lower bound of $(t\log H)/c^{k}$. This is an exponential improvement over previous work, and matches the state-of-the-art in the area.
Relatedly, we show that the convolution of $k^{c}$ independent copies of a 3-uniform distribution over $H^{m}$ is close to a $k$-uniform distribution. This is again an exponential improvement over previous work which needed $c^{k}$ copies. The proofs are remarkably simple; the results extend to other quasirandom groups.
We also show that for any group $H$, any distribution over $H^{m}$ whose weight-$k$ Fourier coefficients are small is close to a $k$-uniform distribution. This generalizes previous work in the abelian setting, and the proof is simpler.
Additive Bases: Change of Domain
Published
• View Publication
• BIB
We consider two questions of Ruzsa on how the minimum size of an additive basis $B$ of a given set $A$ depends on the domain of $B$. To state these questions, for an abelian group $G$ and $A \subseteq D \subseteq G$ we write $\ell_D(A) \colon =\min \{ |B|: B \subseteq D, \ A \subseteq B+B \}$. Ruzsa asked how much larger can $\ell_{\mathbb{Z}}(A)$ be than $\ell_{\mathbb{Q}}(A)$ for $A\subset\mathbb{Z}$, and how much larger can $\ell_{\mathbb{N}}(A)$ be than $\ell_{\mathbb{Z}}(A)$ for $A\subset\mathbb{N}$. For the first question we show that if $\ell_{\mathbb{Q}}(A) = n$ then $\ell_{\mathbb{Z}}(A) \le 2n$, and that this is tight up to an additive error of at most $O(\sqrt{n})$. For the second question, we show that if $\ell_{\mathbb{Z}}(A) = n$ then $\ell_{\mathbb{N}}(A) \le O(n\log n)$, and this is tight up to the constant factor. We also consider these questions for higher order bases. Our proofs use some ideas that are unexpected in this context, including linear algebra and Diophantine approximation.
Sylow branching trees for symmetric groups
Published
• View Publication
• BIB
Let $p\ge 5$ be a prime and let $P$ be a Sylow $p$-subgroup of a finite symmetric group. To every irreducible character of $P$ we associate a collection of labelled, complete $p$-ary trees. The main results of this article describe Sylow branching coefficients for symmetric groups for all irreducible characters of $P$ in terms of some combinatorial properties of these trees, extending previous work on the linear characters of $P$.
Involution matrix loci and orbit harmonics
Published
• View Publication
• BIB
Let $\mathrm{Mat}_{n \times n}(\mathbb{C})$ be the affine space of $n \times n$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times n}]$. We define graded quotients of $\mathbb{C}[\mathbf{x}_{n \times n}]$ which carry an action of the symmetric group $\mathfrak{S}_n$ by simultaneous permutation of rows and columns. These quotient rings are obtained by applying the orbit harmonics method to matrix loci corresponding to all involutions in $\mathfrak{S}_n$ and the conjugacy classes of involutions in $\mathfrak{S}_n$ with a given number of fixed points. In the case of perfect matchings on $\{1, \dots, n\}$ with $n$ even, the Hilbert series of our quotient ring is related to Tracy-Widom distributions and its graded Frobenius image gives a refinement of the plethysm $s_{n/2}[s_2]$.
Asymptotic depth of invariant chains of edge ideals
Published
• View Publication
• BIB
We completely determine the asymptotic depth, equivalently, the asymptotic projective dimension of a chain of edge ideals that is invariant under the action of the monoid Inc of increasing functions on the positive integers. Our results and their proofs also reveal surprising combinatorial and topological properties of corresponding graphs and their independence complexes. In particular, we are able to determine the asymptotic behavior of all reduced homology groups of these independence complexes.