group
10226 papers tagged with this keyword
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
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
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
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
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
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
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
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
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.
Generalized Diagonals in Positive Semi-Definite Matrices
We describe all inequalities among generalized diagonals in positive semi-definite matrices. These turn out to be governed by a simple partial order on the symmetric group. This provides an analogue of results of Drake, Gerrish, and Skandera on inequalities among generalized diagonals in totally nonnegative matrices.
The realization spaces of certain conic-line arrangements of degree 7
We study the embedded topology of certain conic-line arrangements of degree 7. Two new examples of Zariski pairs are given. Furthermore, we determine the number of connected components of the conic-line arrangements. We also calculate the fundamental groups using SageMath and the package Sirocco in the appendix.
Enumeration of dicirculant digraphs
Let $T_{4p}=\langle a,b\mid a^{2p}=1,a^p=b^2, b^{-1}ab=a^{-1}\rangle$ be the dicyclic group of order $4p$. A Cayley digraph over $T_{4p}$ is called a dicirculant digraph. In this paper, we calculate the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) and out-degree $k$ for every $k$.
Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs
In this article, we investigate symmetric designs admitting a flag-transitive and point-primitive affine automorphism group. We prove that if an automorphism group $G$ of a symmetric $(v,k,λ)$ design with $λ$ prime is point-primitive of affine type, then $G=2^{6}{:}\mathrm{S}_{6}$ and $(v,k,λ)=(16,6,2)$, or $G$ is a subgroup of $\mathrm{AΓL}_{1}(q)$ for some odd prime power $q$. In conclusion, we present a classification of flag-transitive and point-primitive symmetric designs with $λ$ prime, which says that such an incidence structure is a projective space $\mathrm{PG}(n,q)$, it has parameter set $(15,7,3)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 2)$, $(16,6,2)$ or $(45, 12, 3)$, or $v=p^d$ where $p$ is an odd prime and the automorphism group is a subgroup of $\mathrm{AΓL}_{1}(q)$.