group
10224 papers tagged with this keyword
Asymptotic enumeration of minimally transitive permutation groups
We prove that Pyber's upper bound $2^{O(n\log(n))}$ for the number of minimally transitive subgroups of $S_n$ is best possible along the powers of every fixed prime, even when the groups are counted up to permutational isomorphism. As a byproduct, our construction shows that, along the powers of every fixed prime, the maximum order of a minimally transitive permutation group of degree $n$ is $2^{Θ(n)}$. For completeness, we also present Pyber's previously unpublished proof of his upper bound. We further deduce that the numbers of labelled vertex-transitive graphs and digraphs of order $n$ are both $2^{Θ(n\log(n))}$, and discuss the implications of our results for approaches to the McKay--Praeger conjecture.
Partitions of canonical bases
We show that various partitions of the canonical basis of quantum groups constructed by Lusztig and by Kashiwara coincide. Using this partition, we show that the subset corresponding to open Richardson varieties equals to the intersection of the subsets corresponding to the Schubert cells. We also show that in type $A$, the weights from open Richardson varieties are saturated in the corresponding Bruhat interval polytope.
Solution to an open problem on the computational complexity of immanant
Immanants are a class of generalized matrix functions associated with the irreducible characters of the symmetric group. Bürgisser [SIAM J. Comput., 30 (2000), pp. 1023--1040] proved that the computation of hook immanants and immanants corresponding to rectangular Young diagrams of polynomially growing width is VNP-complete under $p$-projections. And he posed an open problem: whether the family of immanants corresponding to rectangular Young diagrams of width $2$ is VNP-complete under $p$-projections. This paper gives a solution to this problem. We prove that, over any field of characteristic zero, the immanant families associated with rectangular Young diagrams of width $2$ and of length $2$ are both VNP-complete under $p$-projections.
The Partition of Paley Graphs into Petersen Graphs and a New Strongly Regular Graph with Parameters (50, 21, 8, 9)
This paper utilizes an extremely simple idea: in the multiplicative group of a finite field $F_q$, cosets of a certain subgroup are considered, and an attempt is made to combine these cosets into pairs such that the resulting induced subgraph in the corresponding Paley graph is strongly regular. It is shown that there exists an infinite sequence of Paley graphs that can be partitioned into Petersen graphs in this manner. Furthermore, a new strongly regular graph with parameters $(50, 21, 8, 9)$ is constructed using this method.
Improved bounds for the smallest 4-chromatic graph of girth six
For integers $k,g \ge 3$ let $n_g(k)$ denote the minimum order of a graph with chromatic number $k$ and girth at least $g$. Exoo and Goedgebeur (DMTCS 2019) proved $26 \le n_6(4) \le 66$; their 66-vertex witness has remained the smallest known 4-chromatic graph of girth 6. We improve both bounds to $29 \le n_6(4) \le 64$. The upper bound is witnessed by an explicit 4-chromatic graph of girth 6 on 64 vertices with 152 edges; it is vertex- and edge-critical, and its automorphism group is cyclic of order 8 and acts semiregularly. The lower bound is an exhaustive isomorph-free computation in the SAT modulo symmetries framework with co-certificate learning, driven by the Liu-Postle edge-density bound for 4-critical graphs of girth five; it re-derives $n_6(4) \ge 26$ by a disjoint method and is validated on the known values $n_4(4)=11$ and $n_5(4)=21$. We complement the bounds with structural obstructions: no smaller witness arises from either known witness by local modifications; no 4-chromatic Cayley graph of girth 6 exists on 54-63 vertices (for orders 59 and 61 no vertex-transitive witness exists at all); and no witness on at most 63 vertices admits a semiregular automorphism group with two or three vertex orbits, for any finite group. Since every known witness of an $n_g(4)$ record with $g \ge 6$ is a lift of a small base graph along a semiregular action, these results close the most symmetric part of that regime below 64 vertices. All properties of the new graph are verified by independent programs and formally certified in the Lean 4 proof assistant: the non-3-colourability is established inside Lean by a formally verified checker that re-validates a 219,532-node refutation certificate, with a machine-checked soundness theorem.
The List Edge-Coloring Conjecture for Two New Infinite Families of Complete Graphs
Let $p$ be an odd prime. We prove the List Edge-Coloring Conjecture for two infinite families of complete graphs: \[
χ'_{\ell}(K_{p-1})=p-2,
\qquad
χ'_{\ell}(K_{2p})=2p-1. \] The two proofs control the Pfaffian sign of one-factorizations by complementary modular methods. For $K_{p-1}$, Frobenius and a skew specialization turn Glynn's determinant-coefficient congruence into a squarefree Pfaffian coefficient. A divided difference then reduces the remaining calculation to a single antidiagonal Pfaffian and gives \[[x^{\mathbf{1}}]\mbox{Pf}(X)^{p-2}\equiv(-2)^{(p-1)/2}\pmod{p}.\] For $K_{2p}$, a weighted Burnside count for the translation group $\Bbb{F}_p^2$ isolates a signed cyclic-starter sum. A skew-circulant cofactor identity evaluates its square and gives \[
S_{2p}\equiv-p\pmod{p^2}. \] In particular, both decisive signed sums are nonzero. Neither congruence is a formal consequence of Latin-square parity: the bipartite determinant sign and the nonbipartite Pfaffian sign are different invariants. Instead, the proofs develop a determinant--Pfaffian bridge and a signed Burnside--Fourier method adapted to the complete-graph sign. We also locate a limit of the latter method. For every even $b\ge4$, the signed trace of a full-support translation on $K_{bp}$ is divisible by $p^b$. For $b=4$ this implies $p^4\mid S_{4p}$ but supplies no nonzero residue, revealing a valuation barrier to the full-support higher-layer argument.
Nonexistence Results and Constructions for Signed Difference Sets
Signed difference sets (SDSs) extend ordinary difference sets by allowing negative coefficients. We establish new nonexistence criteria and existence constructions for SDSs in finite abelian groups. Using the classical self-conjugate-prime method and a support-refined quotient method, we derive four obstructions, including the $C_2$-quotient, near-full-support, and small-defect obstructions. Applied cumulatively to the $67{,}823$ open group-specific cases in the database with $9\leq v\leq499$, these criteria rule out $45{,}361$ cases. For existence, we construct an infinite family from PCP-type regular partial difference sets arising from Desarguesian spreads and an explicit $(125,28,3)$-SDS in $C_5^3$ using quartic multiplicative characters. These constructions settle three further open cases.
Coset geometries acting on their elements: The $j$-diagonals twisting
Let $β$ be a coset incidence system and fix a type $j$. We use the orbits of the group of $β$ on pairs of distinct $j$-elements to define a Coxeter graph. The action on the $j$-elements induces an action on the corresponding Coxeter group, so the twisting construction for coset incidence systems can be applied. The resulting coset geometry, called the $j$-diagonals twisting, is always a regular hypertope if $β$ is a regular hypertope. Using this, we show that finite regular hypertope whose diagram is a tree with all but one of the labels equal to four always exist. We also define an extension operation that combines this Coxeter graph with another given Coxeter graph. For regular polytopes, these constructions recover the twisting extensions of McMullen and Schulte.
The Gao-Zhuang conjecture for the Heisenberg group
Let $G$ be a finite nonabelian group. The small Davenport constant $\mathsf d(G)$ of $G$ is the largest integer $\ell$ such that there exists a product-one-free sequence over $G$ of length $\ell$, while the Gao constant $E(G)$ of $G$ is the least integer $\ell$ such that every sequence over $G$ of length at least $\ell$ contains a product-one subsequence of length exactly $|G|$. A long-standing conjecture of Zhuang and Gao \cite{ZG2005} asserts that $E(G)=\mathsf d(G)+|G|$ for every finite nonabelian group $G$.
Let $p$ be an odd prime and let $H_{p^3}=\operatorname{UT}_3(\mathbb F_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. Godara and Sarkar proved the Zhuang--Gao equality for the nonabelian group of order $27$ and exponent $3$, and asked whether the same equality holds for $H_{p^3}$ for every odd prime $p$. Recently, Volkmann proved that $\mathsf d(H_{p^3})=3p-3$. In this paper, we determine the Gao constant of $H_{p^3}$ and prove that $E(H_{p^3})=\mathsf d(H_{p^3})+|H_{p^3}|=p^3+3p-3$.
The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements
We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit vector space basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the rational cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement.
On Conjugacy Classes of Derangements in Symmetric and Alternating Groups
In this article, we prove two conjectures of Burness and Fusari [Timothy Burness and Marco Fusari, On derangements in simple permutation groups, Forum Math. Sigma 13 (2025)] concerning the powers and products of conjugacy classes of derangements in the symmetric and alternating groups: (1) We show that there exist two conjugacy classes $C$ and $D$ of derangements in $S_n$ such that $S_n=C^2\cup CD$, and (2) We show that there exists a conjugacy class $C$ of derangements in $A_n$ such that $C^2=A_n$, whenever $n\equiv 3\;(\text{mod}\;4)$. In fact, our result concerning the second conjecture holds in a considerably more general setting, which also answers affirmatively a question posed by Bertram [Edward Bertram, Even permutations as a product of two conjugate cycles, J. Comb. Theory, Ser. A 12 (1972), 368-380] in a particular case. Moreover, we show that any conjugacy class $C$ of derangements in $S_n$ (resp. $A_n$) contains a pair of elements that generate $S_n$ or $A_n$ (resp. $A_n$), unless $C$ is the conjugacy class of fixed-point-free involutions.
Entropy power inequalities in compact groups
Suppose $X,Y$ are independent random variables with values in a compact abelian group $(G,+)$. We examine the following two entropy power-type inequalities: $h(X+Y)\geq \frac{1}{2}h(X)+\frac{1}{2}h(Y)$ and $h(X+Y)\geq \max\{h(X),h(Y)\}$, where the entropy $h(Z)$ of a $G$-valued random variable $Z$ is defined in terms of its density with respect to Haar measure on $G$. For groups that are either connected or finite with no nontrivial subgroups, we precisely characterize the cases of equality and establish explicit, quantitative stability estimates in terms of relative entropy for these two inequalities. The main tools are a generalization of an entropic inequality obtained by Green, Manners and Tao (2023) for discrete entropy, and a harmonic-analytic estimate for the chi-squared contraction coefficient in connected compact groups. As an application, we derive exponential convergence rates to the uniform distribution in relative entropy for random walks on connected compact abelian groups.
Chouinard's Conjecture for Graphical t-Designs
A $t$-wise balanced design on the edge set of a complete graph is graphical if its block multiset is invariant under the induced action of the symmetric group on the vertices. Chouinard conjectured that, for each fixed index $λ$, there are only finitely many nontrivial simple graphical $t$-wise balanced designs with $t>1$. We prove the conjecture for $t$-designs, which are the $t$-wise balanced designs whose blocks all have the same size. Our theorem does not require simplicity, and we bound all parameters of the designs by explicit polynomials in $λ$.
The species of interval orders
We show that, in the ring of virtual species, \[
\mathcal{I}=\sum_{m\geq 0}(-1)^m\prod_{i=1}^{m}\bigl((E^{-1})^i-1\bigr), \] where $\mathcal{I}$ is the species of interval orders and $E^{-1}$ is the multiplicative inverse of the species $E$ of sets. The right-hand side is the virtual species of signed ballot matrices introduced by Claesson and Hannah. They showed that its signed cardinality counts labeled interval orders. We strengthen this to a species identity, which we prove twice: first algebraically and then bijectively, using a natural sign-reversing involution. The cycle index series of $\mathcal{I}$ specializes to the generating series for labeled and unlabeled interval orders. We describe the automorphism group of an interval order as a Young subgroup and prove the identity $\mathcal{I}=\mathcal{R}\circ E_+$, where $\mathcal{R}$ is the species of rigid interval orders. We also show that Glaisher's T-number $T_n$ counts the $24$-colored interval orders on $[n]$ in which no isolated element has color $24$.
A Method of Construction of Pairwise Additive Balanced Incomplete Block Designs
The existence of sets of balanced incomplete block (BIB) designs with pairwise additivity, called pairwise additive BIB designs, has been studied through direct and recursive constructions in the literature. This paper presents a new method of constructing such designs from affine resolvable semi-regular group divisible (ARSRGD) designs. Since many known ARSRGD designs are obtained from generalized Hadamard matrices, we also describe the corresponding construction of pairwise additive BIB designs from generalized Hadamard matrices. Using the construction together with known existence results for generalized Hadamard matrices, we obtain several new infinite series of pairwise additive BIB designs, including designs with parameter sets whose existence was previously unknown.
Characterisations of finite groups with exponent $q$ via their power graphs
The power graph $P(G)$ of a finite group $G$ is the graph with vertex set $G$ and edge set $E(P(G))=\{uv:\ u,v \in G,\ u \neq v,\ u \in \langle v \rangle \ \text{or}\ v \in \langle u \rangle\},$ where $\langle x\rangle$ denotes the cyclic subgroup generated by $x$. In this paper, we characterise all the finite groups with exponent $q$ whose power graphs are friendship graphs, firefly-type graphs, or torch graphs. We prove that the power graph of a finite group $G$ with exponent $q$ is a friendship graph if and only if $q=3$. In particular, in the abelian case, this is equivalent to $G\cong\mathbb{Z}_3^{n}$. We further show that, among all the symmetric and alternating groups, only $S_3$ and $A_4$ have firefly-type power graphs, whereas no finite group has a power graph isomorphic to a torch graph. Finally, we determine the generalised distance spectra $D_α$-spectra of these graph classes.
Locally Acyclic Surface Type and Finite Type Cluster Algebras Have No Mysterious Points
Cluster varieties contain the union of cluster tori and the points not in this union are called $\textit{deep points}$, and the locus of these points is called the $\textit{deep locus}$. In arXiv:2402.16970, a description of this locus is conjectured for locally acyclic cluster algebras, in particular, stating that this should be the stabilizer locus of the cluster automorphism group. We resolve this conjecture for the case of cluster algebras arising from surfaces, introduced in arXiv:math/0608367, and the remaining finite type cases as categorized in arXiv:math/0208229. In particular, we show locally acyclic surface type cluster varieties have no deep points not contained in the stabilizer locus, and finite type cluster algebras also have no deep points not contained in the stabilizer locus, validating the mysterious points conjecture in these cases.
Ramanujan Cayley Graphs with Normal Connection Sets in Ratio-One Frobenius Groups
Let $G=N\rtimes H$ be a finite Frobenius group with $|N|=q$ and $|H|=q-1$. We classify all Ramanujan Cayley graphs of $G$ whose connection sets are normal, in the sense of being unions of conjugacy classes. The group-theoretic input is a simple blow-up phenomenon: every such Cayley graph is either $Y[\overline{K_q}]$ or $Y[K_q]$ for a connected regular Cayley graph $Y$ on the complement $H$. We first prove a graph-theoretic result classifying all Ramanujan graphs of these two forms when $Y$ is an arbitrary connected regular graph on $q-1$ vertices. The proof combines the classical characterization of regular graphs with least eigenvalue greater than $-2$ with a second-moment identity in the bipartite case. Translating the resulting five graph types back to $G$ yields a complete classification for all ratio-one Frobenius groups, and in particular for $\operatorname{AGL}(1,q)$ over every finite field.
Fractional revival on oriented Cayley and semi-Cayley graphs over abelian groups
Fractional revival (FR), a generalization of perfect state transfer (PST), is a significant phenomenon in quantum state transfer that allows quantum information to be transmitted between two qubits with a certain probability. The existence of FR has been extensively studied on many classes of graphs. However, oriented graphs have not yet been investigated. In this paper, we investigate the existence of proper FR on oriented graphs. We first establish necessary and sufficient conditions for oriented graphs to admit proper FR between strongly cospectral vertices. Furthermore, we prove that oriented Cayley graphs over abelian groups do not admit proper FR, and we subsequently characterize the conditions under which oriented semi-Cayley graphs over abelian groups admit proper FR.
Forgotten characters
A partial permutation of $[n] := \{1,\dots,n\}$ is a bijection $g: I \to J$ between two subsets $I,J \subseteq [n]$. Given a partial permutation $g$ of $[n]$, let $a_g \in \mathbb{C}[\mathfrak{S}_n]$ be the group algebra sum of those permutations $w \in \mathfrak{S}_n$ which extend $g$. Informally, a partial permutation $g$ is obtained by forgetting some data in a genuine permutation. The forgotten symmetric functions are the least-studied of the six `standard' bases for the ring of symmetric functions. We show that forgotten symmetric functions arise naturally in class function evaluations on partial permutations.