group
10399 papers tagged with this keyword
An equidistribution conjecture for quotient-closed and submodule-closed subcategories
We study subcategories of the module category of a finite-dimensional algebra that are closed under quotients or submodules. We propose the quotient--submodule equidistribution conjecture: over a representation-finite algebra, the number of quotient-closed subcategories of size $i$ is equal to that of submodule-closed subcategories of size $i$ for every $i$, where size is the number of indecomposable modules in the subcategory. We prove the following cases of the conjecture: (1) the five smallest and five largest values of $i$, hence all algebras with at most nine indecomposable modules; (2) Nakayama algebras; (3) algebras with radical square zero; and (4) representation-directed algebras. In the last case, we classify quotient-closed subcategories by a lower Bruhat interval in a Coxeter group constructed from the Auslander--Reiten quiver, extending the classification of Oppermann--Reiten--Thomas for Dynkin quivers. We also prove that quotient closure defines a finitary convex geometry and classify the functorially finite quotient-closed subcategories by Gen-minimal modules.
Directed strongly regular graphs from groups, loops and quasigroups
We introduce four infinite families of directed strongly regular graphs of orders $2n^2$ and $3n^2$. The constructions are described in terms of groups, quasigroups, loops and their Latin squares. Two preliminary Cayley digraph constructions over wreath products are extended to arbitrary quasigroups and loops, yielding directed strongly regular graphs with parameters $(2n^2,3n-2,2n-1,n-1,3),(2n^2,4n-2,2n+2,n+2,6),(3n^2,4n-2,2n,n,4),(3n^2,6n-2,2n+6,n+6,10)$.
Twisted primitive group association schemes
We give results on the question of whether the intersection numbers of a primitive group association scheme determine it up to combinatorial isomorphism. For $G=\operatorname{PSL}(2,q)$, where $q$ is an odd prime power with $q=11$ or $q\ge 17$, or $q=2^f$ with $f\ge3$, we construct a Schur partition that is algebraically isomorphic to the partition of $G$ into conjugacy classes but not combinatorially isomorphic to it. Consequently, the corresponding primitive group association schemes are not determined up to combinatorial isomorphism by their intersection numbers; in particular, they are non-separable.
For $\mathfrak A_6$ and $\mathfrak A_8$, we also explicitly construct Schur partitions that are algebraically isomorphic to the corresponding partitions into conjugacy classes but not combinatorially isomorphic to them.
A new flag-transitive linear space
We construct a new flag-transitive $2$-$(496,4,1)$ design with automorphism group $\mathrm{PΓL}_2(32)$. This corrects an omission in the classification of the finite flag-transitive linear spaces.
On the finite group whose proper enhanced power graph is claw-free
Let $G$ be a finite group. The \emph{enhanced power graph} of $G$, denoted by $\mathcal{E}(G)$, is the graph with vertex set $G$ in which two vertices $u$ and $v$ are adjacent if and only if there exists an element $w \in G$ such that both $u$ and $v$ belong to $\langle w \rangle$. The \emph{proper enhanced power graph} of $G$, denoted by $\mathcal{E}^{**}(G)$, is the subgraph of $\mathcal{E}(G)$ induced by the non-dominating vertices.
The main objective of this paper is to investigate finite groups whose proper enhanced power graph is claw-free, that is, contains no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. We first prove that $\mathcal{E}(G)$ is claw-free if and only if $G$ is cyclic. The set of dominating vertices of $\mathcal{E}(G)$ forms a cyclic subgroup of the center of $G$, namely the \emph{cyclicizer} $\cyc(G)$ of $G$. This allows us to give a precise description of the structure of $G/\cyc(G)$ when $\mathcal{E}^{**}(G)$ is claw-free. If $G$ is solvable but not nilpotent, then $G$ is metacyclic, or $G/\cyc(G)$ is either a Frobenius group or a $2$-Frobenius group. If $G$ is non-solvable, then $G/\cyc(G)$ is isomorphic to $\PSL(2,q)$ or $\PGL(2,q),$ and this allows us to give a complete classification of the non-solvable groups whose proper enhanced power graph is claw-free.
Lattice balls with large additive energy in discrete cubes
For a finite set $A$ in an abelian group, let \[
E(A)=\#\{(a_1,a_2,a_3,a_4)\in A^4:a_1+a_2=a_3+a_4\}. \]
We obtain an estimate uniform in $d$ that compares the normalized additive energy of $\mathbb{Z}^d \cap B_d(R)$ with the continuous energy of $B_d(R)$ .
If $R_d/\sqrt d\to\infty$, then \[
\lim_{d\to\infty}
\left(
\frac{E\bigl(\mathbb{Z}^d\cap B_d(R_d)\bigr)}
{\lvert \mathbb{Z}^d\cap B_d(R_d)\rvert^3}
\right)^{1/d}
=\frac{4\sqrt{3}}{9}. \] As an application, consider \[
A_n
=
R_n\mathbf{1}_d
+
\bigl(\mathbb{Z}^d\cap B_d(R_n)\bigr), \] where $d=d(n)\to\infty$ satisfy $\log d=o(\log n)$, and $R_n=\lfloor(n-1)/2\rfloor$. Then $A_n\subset\{0,1,\ldots,n-1\}^d$ and \[
\log E(A_n)
=3\log|A_n|-d\log\frac{3\sqrt3}{4}+o(d). \] In particular, taking $d=\lfloor(\log n)^{1/2}\rfloor$ gives an explicit construction answering a question of Shao \cite{Shao2026}. We also prove that in Gram-matrix coordinates, the exponential rate of the continuous ball energy is determined by a fixed dimensional determinant maximization whose extremizer is the Gram matrix of a regular tetrahedron.
Ergodic-transformation centralizers and essentially non-compact graphing symmetry
We prove that for every ergodic transformation $T$ on an infinite standard probability space both the automorphism group (i.e. centralizer) $\mathrm{Aut}(T)$ and its reversing automorphism group are realizable as symmetry groups of graphings. This is an analogue of Sabidussi's realization of arbitrary graph-automorphism groups, and provides numerous examples of graphing automorphism groups carrying no compatible compact topology, answering a question of Lovasz'. Another consequence of discussion and ensuing constructions is the existence of large mutually locally-globally equivalent graphing families with highly variable symmetry.
Nearly permanental cospectral graphs
Let $G$ be a simple graph of order $n$ with adjacency matrix $A= (a_{ij})$. The \emph{determinant} and the \emph{permanen}t of the matrix $A$ are defined as \[\mathrm{det}A= \sum_{σ\in S_n}\mathrm{sgn}(σ) \prod_{i=1}^n a_{iσ(i)}\quad\text{and}\quad\mathrm{per}A= \sum_{σ\in S_n} \prod_{i=1}^n a_{iσ(i)},\]respectively. The polynomials $φ(G;x) =\mathrm{det}(xI-A(G))$ and $π(G;x) =\mathrm{per}(xI-A(G))$ are called the \emph{characteristic polynomial} and the \emph{permanental polynomial} of $G$, respectively. Two graphs are said to be \emph{nearly cospectral} with respect to the determinant (resp. permanent) if the difference of their characteristic (resp. permanental) polynomials is a constant. Lv et al. introduced the nearly cospectral graphs problem with respect to the determinant, and provided partial results in the case modulo 4. In this paper, we mainly prove that the corresponding results also hold for the nearly cospectral graphs problem with respect to the permanent. The determinant and permanent are the immanants corresponding to the irreducible characters $(1^n)$ and $(n)$ of the symmetric group $ S_n $, respectively. Here, the \emph{immanant} $d_λ(A)$ of $A$ is defined as \[d_λ(A) = \sum_{σ\in S_n} χ_λ(σ) \prod_{i=1}^n a_{iσ(i)},\] where $χ_λ$ is the irreducible character of $ S_n $ indexed by the partition $ λ$. The immanantal polynomial of $G$ associated with $ χ_λ$ is given by $ φ_λ(G;x)=d_λ(xI-A) $. In this paper, we also establish a similar result for nearly immanantal cospectral graphs in $\mathbb{F}_2[x]$ for all irreducible characters $χ_λ$.
The equality between the Erdős-Ginzburg-Ziv constant and the short product-one constant for finite nonabelian groups
Let $G$ be a finite group, and let $\exp(G)$ denote its exponent. The Erdős-Ginzburg-Ziv constant $s(G)$ is the least integer forcing a product-one subsequence of length $\exp(G)$, while the short product-one constant $η(G)$ is the least integer forcing a nonempty product-one subsequence of length at most $\exp(G)$. The natural nonabelian extension of a conjecture [W. Gao, \emph{On zero-sum subsequences of restricted size II}, Discrete Math. 2003] on the Erdős-Ginzburg-Ziv constant in finite abelian groups predicts that $s(G)=η(G)+\exp(G)-1.$ We confirm this equality for every finite nonabelian group $G$ having a cyclic subgroup of index $p$, where $p$ is the smallest prime divisor of $|G|$. As further consequences, we determine all generalized Erdős-Ginzburg-Ziv constants $s_{m\exp(G)}(G)$ for this family of groups.
A nonabelian Brunn-Minkowski inequality II
We prove that every unimodular locally compact group $G$ of noncompact Lie dimension $n$ satisfies the sharp Brunn--Minkowski inequality \[
μ_G(XY)^{1/n}\geμ_G(X)^{1/n}+μ_G(Y)^{1/n}, \] and establish a general form for arbitrary, possibly nonunimodular, locally compact groups. This fully confirms the nonabelian Brunn--Minkowski conjecture proposed by the present authors and Zhang. As an application, we obtain an isoperimetric inequality on symmetric spaces of noncompact type.
Two Questions on $G$-harmonic Tuples
An $n$-tuple of positive integers is $G$-harmonic if there are subgroups of $G$ having those indices whose cosets can be chosen pairwise disjoint, and $\mathbb{Z}$-harmonic if there are pairwise disjoint residue classes with those moduli. Ginosar asked whether every $G$-harmonic tuple is $\mathbb{Z}$-harmonic. Margolis and Schnabel proved this for tuples of length at most $4$, and analysed a particular family of length-$5$ tuples that would yield a counterexample if any member were $G$-harmonic. We show that the bound $4$ is sharp: $(6,6,6,10,15)$ is $A_5$-harmonic but not $\mathbb{Z}$-harmonic. Moreover, the five pairwise disjoint cosets realising this tuple can be extended to a coset partition of $A_5$ using only cosets of indices $6$, $10$, and $15$. The index tuple of this partition is not $\mathbb{Z}$-harmonic; because its indices repeat, this does not contradict the Herzog--Schönheim conjecture. We also prove that no member of the length-$5$ family analysed by Margolis and Schnabel in connection with possible counterexamples is $G$-harmonic for any group $G$.
Lascoux series, parking functions and noncrossing partitions
In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.
On the Laplacian spectral gap of generalized pancake graphs
The generalized pancake graph $P(m,n)$ is the Cayley graph of the group of colored permutations $\mathbb{Z}_m\wr S_n=(\mathbb{Z}_m)^n\rtimes S_n$ generated by generalized prefix reversals. In this paper, we establish that, for all $m,n\geq2$, the spectral gap $γ(P(m,n))$ of the normalized Laplacian satisfies $α_m/n\leqγ(P(m,n))\leq1/n$, where $α_m$ is a positive constant that depends only on $m$. As a consequence, for every fixed $m\geq2$, $γ(P(m,n))$ is $Θ_m(1/n)$ as $n\to\infty$. The proof combines Cesi's semi-recursive spectral-gap inequality with a Fourier decomposition of the appropriate operators associated with a coset Schreier graph of color-position pairs. For fixed $n\geq2$, we also establish that $γ(P(m,n))$ is $Θ_n(m^{-2})$ as $m\to\infty$. This disproves a conjecture of Blanco and Buehrle asserting that, for fixed $n$, the corresponding undirected generalized pancake graphs form an expander family.
Sharp refined-direction Kakeya estimates in finite Heisenberg groups
Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $λ>0$, the following sharp rich-direction estimate holds \[
\left|
\left\{
\vartheta\in D_n:
M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geqλ
\right\}
\right|
\lesssim_n
q^{2n-1}|E|λ^{-2n}. \] The second aim is to determine, for every $1\leq u,v\leq\infty$, the sharp exponent of $q$ in the corresponding $\ell^u\to\ell^v$ estimate. More precisely, we prove that \[
A_n^{\mathrm{rd}}(u,v)
=
\max\left\{
\frac{2n-1}{v},\
1-\frac1u,\
\frac{2n}{v}-\frac1u,\
1+\frac{2n}{v}-\frac{2n+1}{u}
\right\}. \] The proof combines the polynomial method with multiplicities and a probabilistic covering argument based on the action of the affine symplectic group.
Kostant--Kumar modules: presentation and multiplicities
Kostant--Kumar modules $K(λ,w,μ)$ are submodules of a tensor product $V(λ)\otimes V(μ)$ of irreducible highest weight modules over a symmetrizable Kac--Moody algebra, indexed by Weyl group elements $w$; their decomposition numbers $c^ν_{λμ}(w)$ refine ordinary tensor product multiplicities. We study them module-theoretically. We show that $c^ν_{λμ}(w)$ is computed by a natural quotient of the Kostant--Parthasarathy--Ranga Rao--Varadarajan multiplicity space, via orthogonal projection onto a Demazure module. For $\mathfrak{g}$ finite-dimensional semisimple or symmetric Kac--Moody, we present $K(λ,w,μ)$ by generators and relations, extending the presentation of Demazure modules due to Joseph, Polo and Mathieu. We apply the presentation to obtain upper bounds on $c^ν_{λμ}(w)$ and to study Schur positivity.
Splitting fields and spectral invariants of character degree graphs in solvable groups
In this paper, we investigate the eigenvalues of character degree graphs, with particular emphasis on the arithmetic properties of their spectra. First, we study \((n-2)\)-regular character degree graphs of solvable groups and derive an explicit formula for their characteristic polynomials. We show that all their eigenvalues are rational and, consequently, that their splitting field is \(\mathbb{Q}\). We then consider supergraphs obtained by adding edges to these graphs and prove that the corresponding splitting field is a quadratic extension of \(\mathbb{Q}\).
Next, using their structural decomposition, we examine a general class of Lewis graphs. For this class, we establish bounds on both the number of irrational eigenvalues and the degree of the associated splitting fields. Finally, we investigate prime character degree graphs of diameter \(3\), focusing on the arithmetic nature of their eigenvalues and the degree of their splitting fields.
Isomorphism of tournaments with bounded VC dimension
The tournament isomorphism problem is one of the two fundamental bottlenecks to designing better algorithms for the graph isomorphism problem. Though the problem has been investigated for more than five decades, compared to graphs, there are only very few results on the isomorphism problem of tournaments. For most classes of tournaments neither hardness nor polynomial-time solvability is known.
Tournaments of bounded VC dimension are such a class for which no results are available, even though the VC dimension is arguably one of the most robust and central notions of combinatorial tameness. Resolving an open problem of Neuen and Grohe, we show that the isomorphism problem for tournaments of VC dimension $d$ can be decided in time $n^{O(d\log d)}$. Consequently, automorphism groups of tournaments of bounded VC dimension can be computed in polynomial time. To this end, we develop a new method to isomorphism-invariantly decompose tournaments. To facilitate recursion, we introduce the notion of a patched tournament and analyze bounded VC dimension in patched tournaments. We design a recursive algorithm that balances the size of the decomposed pieces against their number and makes use of the structure of near twins.
In an orthogonal direction, it is known that a hereditary class of tournaments has unbounded VC dimension if and only if it contains all 2-colorable tournaments. As a second result, we show that also this class does not form an obstruction towards polynomial-time isomorphism testing and indeed show that isomorphism of tournaments of bounded chromatic number is polynomial-time decidable.
Zero-Sum Cycles in Regular Digraphs
Let $Γ$ be a finite group of order $k\ge2$, and label the edges of a simple loopless $d$-regular digraph $D$ by elements of $Γ$. A directed cycle is zero-sum if the ordered product of its labels is the identity of $Γ$. We prove that a zero-sum cycle exists whenever $d\ge e^3(k-1)$. We also prove that every labelled $d$-regular digraph contains $Ω(d/k)$ pairwise vertex-disjoint zero-sum cycles. When $d\ge50k$, it contains $Ω(d^2/k)$ pairwise edge-disjoint zero-sum cycles. All three results are asymptotically optimal. The existence and packing results extend to Eulerian digraphs whose minimum and maximum common degrees $δ$ and $Δ$ satisfy $δ^3/Δ^2=Ω(k)$. The techniques extend a determinant--permanent argument of Friedland for even directed cycles.
First Subconstituents of Orthogonal Graphs in Even Characteristic:Automorphisms, Cliques, Cores, and Binary Triple Transitivity
In even characteristic, the first subconstituent of an orthogonal graph at a singular point is shown to be the complement of an affine polar graph. This identification yields the full automorphism group as an affine semisimilarity group and provides explicit extensions to the ambient graph. Maximum independent sets are affine cosets of maximal totally singular subspaces, giving the independence and chromatic numbers. In plus type, Delsarte cliques correspond bijectively to ovoids through the base point, leading to a sharp rank threshold. Over $\mathbb{F}_2$, we determine the exact maximum clique number in every dimension, prove that all maximum cliques form a single orbit, and obtain the core of every first subconstituent. A uniform Witt-extension argument gives a short proof of triple transitivity for the binary local graphs.
A Kronecker-Weyl Theorem from Interpolation Sets
An analog of the classical Kronecker-Weyl theorem for weak uniform distribution is obtained for an arbitrary countably infinite independent subset of a discrete abelian group using a type of interpolation sets called epsilon-Kronecker sets. Specifically, the topological size of the set of homomorphisms inducing weakly uniformly distributed sequences is established by showing that it forms a dense G-delta set.