group
10224 papers tagged with this keyword
A Fixed-Point Worpitzky Identity and a Positive Binomial Transform for Type $B$ Involutions
Let $\mathcal I_n^B$ be the involutions of the hyperoctahedral group $\mathfrak B_n$, and let $\des^B$ denote the descent number with respect to the natural Coxeter order. We derive the fixed-point-refined Worpitzky identity \[ \sum_{n\ge0}\frac{\mathcal F_n(p,t)\,z^n}{(1-t)^{n+1}} =\sum_{m\ge0} \frac{(1+pz)^m\,t^m}{(1-pz)^{m+1}(1-z^2)^{m(m+1)}}, \quad \mathcal F_n(p,t)=\sum_{π\in\mathcal I_n^B}p^{\fixB(π)}t^{\des^B(π)}. \] Extracting the stratum with $j$ two-cycles and $f$ fixed positions yields a one-parameter deformation of the fixed-point-free Worpitzky series of Wan, Gao, Li and Yang. After the change of variables $x=t/(1+t)^2$, this deformation becomes a positive binomial transform. More precisely, if \[ P_j(x)=\sum_sD_{2j,s}x^s \] is the fixed-point-free $γ$-polynomial, then the transform coefficients $A_{j,r}(x)$ are determined by \[ \sum_{r\ge0}A_{j,r}(x)W^r =\sum_{s=0}^{j}D_{2j,s}x^s (1+4xW)^{2j-2s}(1+2W+4xW^2)^s, \] and the $γ$-polynomial of the $(j,f)$-stratum is \[ Φ_{j,f}(x)=\sum_{r=0}^{f}\binom fr A_{j,r}(x). \] This manifestly positive transform is the main structural result of the paper. As consequences, every fixed cycle-type stratum is $γ$-positive and $\mathcal F_n(p,t)$ is coefficientwise $γ$-positive in the fixed-point variable $p$. The cases $f=0$ and $p=1$ recover, respectively, the fixed-point-free theorem of Wan--Gao--Li--Yang and the all-involution theorem of Cao--Liu. We also give explicit formulas for the first binomial layers and for the strata with one and two two-cycles.
The fourth generalized Davenport constant of $C_5^3$
For a finite abelian group $G$ and $k \geq 1$, the generalized Davenport constant $D_k(G)$ is the least $\ell$ such that every sequence over $G$ of length at least $\ell$ has $k$ pairwise disjoint nonempty zero-sum subsequences. A theorem of Freeze and Schmid gives $D_k(C_5^3) \geq 5k+10$ for every $k \geq 2$. We prove the matching upper bound: $D_4(C_5^3)=30$, and hence $D_k(C_5^3)=5k+10$ for every $k \geq 2$, so the Freeze--Schmid bound is attained by $C_5^3$ from $k=2$ onward, as it is by $C_2^3$ and unlike $C_3^3$.
The proof is finite and computer-assisted. The remaining case reduces to showing that every zero-sum sequence of length $31$ over $C_5^3$ contains a nonempty zero-sum subsequence of length at most five. A saturation argument confines the multiplicities of a hypothetical counterexample to $\{1,2,4\}$, its support pattern to one of $60$ solutions of two linear equations, and its geometry to one of $78$ rank/plane branches normalized to a standard basis; an exhaustive search exhausts every branch with no survivor. The search was carried out by three independently written implementations, and the branch cover was regenerated by separate programs from the lemmas alone; two further machine-verified values, $D_3(C_5^3)=25$ and $s_{\leq 6}(C_5^3)=24$, enter the second statement, and their records accompany the paper.
On the lengths of MDS codes with a two-transitive permutation automorphism group
Let $C$ be an $[n,k]_q$ maximum distance separable (MDS) code with $4\le k\le q-3$, and suppose that it has a $2$-transitive permutation automorphism group. In this paper we show that $n\le q+1$, so the MDS conjecture holds for this class of codes.
Integrality Gap Bounds for the Goemans-Linial SDP on Finite Abelian Cayley Graphs
In the uniform sparsest cut problem we are asked to find a vertex set that cuts few edges relative to the number of vertex pairs it separates. The Goemans-Linial SDP coupled with the Arora-Rao-Vazirani rounding gives an $\mathcal{O}(\sqrt{\log n})$ approximation on arbitrary graphs on $n$ vertices. We study this relaxation on finite Abelian Cayley graphs. First we show that when the second normalized Laplacian eigenvalue of $G= \mathrm{Cayley}(Γ, S)$ is realized by a Fourier character with image size at most four then $λ_2(G)=\mathrm{SDP}_{\mathrm{GL}}(G)=ψ(G)$. Geometrically, a character maps the vertices onto a regular polygon where the squared chord distance satisfies the triangle inequalities exactly when the polygon has at most four vertices. Grouping equal character fibers gives a cyclic quotient where the optimal cut can be found exactly and so the relaxation is exact on finite Abelian Cayley graphs on groups of exponent at most four.
Second, we replace each generator $s$ of $S$ by a uniformly random element of its cyclic subgroup (including identity). If $r_s$ is the order of $s$, we let $α(r_s)$ to be the average number of $\pm s$ steps needed to simulate such a move, and let $ρ(S)=\max_{s\in S}α(r_s)$ be its worst case. Full cyclic averaging eliminates character phases and choosing a nontrivial character $χ^*$ minimizing the auxiliary eigenvalue and taking $K=\mathrm{ker}χ^*$ gives \[ ψ(G)\leqψ_G(K)\leq\frac{q^*}{q^*-1} \cdotρ(S)\cdot\mathrm{SDP}_{\mathrm{GL}}(G)\leq 2ρ(S)\cdot\mathrm{SDP}_{\mathrm{GL}}(G), \] where $q^*=|χ^*(Γ)|$. If all generator orders are at most $R$, this is an $R/2$ approximation.
Finally, we construct an infinite family of finite Abelian Cayley graphs with Goemans-Linial integrality gap exactly $16/15$.
Universality in the algebra and topology of cographs
A finite simple graph $G$ is called a cograph if it does not contain the path on four vertices $P_4$ as an induced subgraph. It is classically known that the family of cographs are well-quasi-ordered by the induced subgraph relation \cite{D}. In preceding work of Knudsen and the third author \cite[Theorem 7.2]{KR}, it was shown that this well-quasi-order statement admitted a categorification, which allowed those authors to prove universal finite generation statements about the homology groups of configuration spaces on cographs \cite[Theorem 1.5]{KR}. In this work, we expand \cite[Theorem 7.2]{KR} to be compatible with the family of polynomial rings on the vertex sets of cographs. By consequence, we are able to prove a number of universality results related with edge and toric ideals of these polynomial ring, partially generalizing and expanding upon work of Kahle \cite{kahle2019binomial}. We also conclude strong restrictions on the kinds of topologies that can arise from graph complexes and anchored configuration spaces associated to cographs, as well as combinatorial constraints on the possible combinatorics of hyperplane arrangements of cographs.
Enumerating cores of charged multipartitions
Granville and Ono proved that there is an $e$-core partition of $n$ for every $n\in\mathbb{N}$ if and only if $e\geq 4$, which translates to a statement about the existence of defect $0$ blocks for symmetric groups in positive characteristic and defect $0$ unipotent blocks of finite general linear groups in positive, non-defining characteristic. Motivated by analogous applications to the block theory of finite classical groups, imprimitive spetses, and cyclotomic Hecke algebras, we prove similar positivity statements about different variants of $e$-cores for charged multipartitions.
Nonvanishing derived limits from $\clubsuit$-type principles
Combinatorial set theory provides several tools to study derived limits of certain inverse systems of abelian groups. Most known nonvanishing results for $\lim^n$ with $n>1$ depend on some guessing principles of the form $\mathrm{w}\lozenge(S)$ called weak diamonds. In this paper, we explore some applications of the guessing principle $\clubsuit(S)$ and its weakenings instead.
On uniquely colorable Cayley graphs
We resolve two open problems regarding uniquely colorable Cayley graphs posed by Klotz and Sander (2017). First, we construct an infinite family of uniquely 3-colorable integral circulant graphs with a clique number of 2. This provides a negative answer to Problem 3.6, which asks whether every uniquely colorable circulant graph satisfies $χ(G) = ω(G)$. Because verifying unique colorability inherently relies on the exact independence number, we demonstrate that traditional spectral bounds fail to tightly capture this parameter, necessitating a rigorous combinatorial proof based on exact structural isomorphisms. Second, we establish a general algebraic construction proving the existence of uniquely colorable Cayley graphs over nonabelian groups whose color classes are left cosets of strictly distinct subgroups. By utilizing right-coset partitions of non-normal subgroups, this result provides a definitive affirmative answer to Problem 2.4.
Nef Cones of Hilbert Schemes of Orthogonal Grassmannians
We show the number of connected components of the Hilbert scheme of orthogonal Grassmannians under certain condition, and use this result to describe the geometry of the Hilbert scheme. Subsequently, we determine the Nef cone of the Hilbert scheme by identifying curves dual to the generators of its Neron-Severi group. Our results generalize those of ordinary Grassmannians by Seong, and our approach adapts his proof technique alongside relevant Schubert calculus.
Extremal Asymmetric Depth of Planar Graphs and Hidden Near-Mirror Symmetries of IPR Fullerenes
Although almost all graphs are asymmetric -- having no nontrivial global automorphisms -- they may still possess local symmetries in the form of isomorphisms between induced subgraphs, i.e., partial automorphisms. We study such local symmetries via asymmetric depth, defined in terms of the maximum rank of a nontrivial partial automorphism. We prove a tight upper bound on asymmetric depth in the class of planar graphs and identify the extremal graphs: duals of IPR fullerenes attain the maximum already on $47$ vertices. Our main structural result concerns the IPR fullerenes that are neither maximally asymmetric nor symmetric. In such a cage no purely local action realises a low asymmetric depth, and we show that the map which does realise it cannot be confined to a small part of the cage either: neither to a single face, nor behind an interface of at most $5-k$ edges, $k \le 3$ being the deficiency. A cage of asymmetric depth $2$ or $3$ is therefore not asymmetric in one place; it carries a broken symmetry invisible to its automorphism group. Such cages are rare -- under $2\%$ of the asymmetric IPR fullerenes at $n = 118$. In all $727$ of them the largest partial automorphism is a near-mirror reflection, which we state as an explicit conjecture. We also extend the asymmetric depth bound to graphs of higher genus.
An Affine Semigroup from Orbifold Boundary Conditions: cut, phylogenetic and hierarchical models in the unit-weight sector, and weighted configurations beyond them
The equivalence classes of boundary conditions of a gauge theory on a two-dimensional orbifold are the fibres of a marginal map, indexed by an affine semigroup: one generator per alphabet label, graded by weight, embedded by its local data at the fixed points. This note identifies that semigroup. Without weights the configuration has a name and a literature, whose results about our cases are attributed here: over $\mathbb{Z}_2$ it is the cut configuration of an explicit graph in the sense of Sturmfels-Sullivant --- the four-cycle for $T^2/\mathbb{Z}_2$, the wheel $W_4$ for $S^1/\mathbb{Z}_2\times S^1/\mathbb{Z}_2$ --- verified as an equality of configurations; over $\mathbb{Z}_m$ with equal cone orders, the group-based phylogenetic model on a claw tree; with unequal orders, a mixed-order variant we do not find in the literature; for higher products, the binary hierarchical model of a cross-polytope boundary complex. The product orbifold's ring is a row of a 2008 table --- codimension, degree, minimal generators, normality --- every invariant of which our machinery reproduced without knowing of it. What none of the three covers is the alphabet with weights, which arise from induction to higher-dimensional irreducibles of a non-abelian space group and from conjugate-pair recombination over real or quaternionic ground. That sector is adjacent to, but not identified with, the non-abelian direction Sturmfels and Sullivant raised in 2005, and is where our contributions sit: gluing trees for the weighted alphabets and the orthogonal and symplectic columns, and the group-based model on the tripod, a complete intersection exactly when the finite abelian group has order at most three. The first group beyond $\mathbb{Z}_3$ separates local from global: the $\mathbb{Z}_4$ tripod is a complete intersection on the Zariski-open set the phylogenetics literature works in, and not globally.
On embeddings of the difference graph of the intersection power graph and the power graph
The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The intersection power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices $x$, $y$ are adjacent if $\langle x\rangle \cap \langle y \rangle \neq \{e\}$. The difference graph $\mathcal{D}(G)$ of a finite group $G$ is the difference of the intersection power graph $\mathcal{G}_{1}(G)$ and power graph $\mathcal{P}(G)$ with all isolated vertices removed. We characterized all the finite nilpotent groups $G$ such that the difference graph is planar. Further, we determine all the finite nilpotent groups whose difference graph has genus at most $2$. Moreover, we prove that there does not exist any group whose difference graph is projective planar.
All-Minors Matrix-Tree Theory for Superport Networks: Completed Quotient-Incidence Determinants and Conductance-Weighted Subdivision Extensions
An electrical network can be summarized at its boundary by a response matrix: prescribed boundary voltages determine boundary currents. A superport network adds a constraint by grouping boundary terminals into superports, requiring the total current in each group to be zero and making voltage differences inside the groups the natural coordinates. Earlier work determined forest formulas for a single response entry and for the determinant of the whole response matrix. The missing case was an arbitrary subdeterminant, or minor: one needs to know not only which spanning forests contribute, but also the sign carried by each forest. This paper supplies that sign rule. After choosing one reference vertex in each superport, the response is \[ L=\left(D^{T}K^{-1}D\right)^{-1}, \] with \(K\) the grounded weighted Laplacian and \(D\) recording the selected voltage differences. Contracting the components of a physical spanning forest \(F\) produces a much smaller quotient port graph \(H_F\). Its reduced incidence matrix \[ B_F=Q_FD \] has columns only of the forms \[ 0,\qquad \pm e_a,\qquad e_a-e_b. \] Hence every square incidence minor is exactly \(0\) or \(\pm1\). For a \(k\)-set of response coordinates \(I\), append to \(B_F\) the selector rows \(E_I^{T}\) and define the completed quotient-incidence determinant \[ \widehatχ_F(I) = \det \begin{pmatrix} B_F\\ E_I^{T} \end{pmatrix}. \] For coordinate sets \(I,J\) of the same size, the arbitrary response minor is a weighted spanning-forest sum whose coefficient is simply \[ \widehatχ_F(I)\widehatχ_F(J). \] Thus the Jacobi complementary-minor factors used in the derivation disappear from the final theorem. Direct block-triangular reduction gives \[ \widehatχ_F(I)\in\{0,\pm1\}, \] with nonvanishing occurring exactly when the complementary quotient edges \(N\setminus I\) form a spanning tree of \(H_F\).
The Multiorbital Bivariate Chromatic Polynomial
We introduce the multiorbital bivariate chromatic polynomial $F_Γ(G;x,y)=\sum_{H\le G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y)$, which aggregates orbital bivariate chromatic polynomials over the subgroup lattice of a finite group acting on a graph. We derive an equivalent element-wise representation $F_Γ(G;x,y)=\sum_{g\in G}c_G(g)P_{Γ/g}(x,y)$ with $c_G(g)=\sum_{H\le G,\,g\in H}\frac{1}{|H|}$. The coefficient function depends only on the cyclic subgroup generated by the group element and is constant on conjugacy classes. This yields corresponding decompositions by cyclic subgroups and conjugacy classes, as well as a natural Möbius-theoretic interpretation. After normalization, the coefficients define a probability distribution on the acting group, giving a probabilistic interpretation of the multiorbital polynomial as an expected quotient polynomial. We further investigate its behaviour under disjoint unions and its specialization to edgeless graphs, where a weighted cycle-index expression is obtained.
Coxeter Descents and Parabolic Homotopy Colimits: A Hochster-type decomposition and integral Morse reduction
Let $(W,S)$ be a finite Coxeter system and let $\mathcal K\subseteq 2^S$ be a simplicial complex. We define a parabolic bar complex ${\mathcal B}_{\mathcal K}(W)$ and prove a decomposition indexed by $w\in W$ in which the $w$-summand is a relative order-complex chain complex determined by the right descent set ${\operatorname{Des}_{R}}(w)$. An explicit integral Morse reduction identifies this summand, up to the Schubert shift $2\ell(w)+1$, with the augmented chains of the induced subcomplex $\mathcal K_{{\operatorname{Des}_{R}}(w)}$. For Weyl groups the complex is the cellular chain complex of \[
{X_{\mathcal K}}(G)={\operatorname*{hocolim}}_{I\in\mathcal K} G/G_I, \] so its homology is a descent-weighted Hochster decomposition. We prove functoriality and a homotopy-detection theorem for inclusions of indexing complexes, an Alexander-duality symmetry for generalized homology spheres, and, for simple $G$, a rigidity theorem characterizing the boundary simplex among the homology-sphere members of the family. For $G=(SU(2))^r$ the construction agrees up to homotopy with $(D^3,S^2)^{\mathcal K}$, and matroid independence complexes give a Tutte-polynomial specialization. The boundary-simplex case recovers the two-generator integral Morse model of the unit adjoint sphere.
Graph Coloring with Color Preferences
We study graph coloring with color preferences, in which each vertex ranks the available colors. In addition to assigning different colors to adjacent vertices, we require the coloring to be stable: no group of vertices can cyclically exchange their assigned colors so that each strictly prefers its new color to its original one. We define the stable chromatic number $χ_\mathrm{stable}(G)$ of a graph $G$ as the minimum integer $k$ such that every preference profile admits a stable $k$-coloring of $G$. We establish several upper and lower bounds. In particular, for any acyclic orientation of the edges of $G$, the largest number of vertices reachable from a vertex by directed paths, including the vertex itself, is an upper bound on $χ_\mathrm{stable}(G)$. This shows that $χ_\mathrm{stable}(G)$ is well-defined. We also show that $O(t \log (1+n/t))$ colors suffice for an $n$-vertex graph $G$ of treewidth $t$, and complement this with a lower bound in terms of the Grundy number. Turning to the problem of finding a minimum stable coloring for a given profile, we show that stable $2$-colorability is polynomial-time solvable, whereas stable $k$-colorability is NP-complete for every fixed $k\ge 3$. Using the treewidth bound, we give a fixed-parameter tractable algorithm parameterized by treewidth.
Hamilton Starters and Path Decompositions in Directed Circulants
For integers q at least 3 and r at least 1, consider the directed Cayley graph on the cyclic group of order qr whose allowed steps are the integers from 1 through r. A Hamilton cycle H is called a q-layer balanced Hamilton starter if, for every step from 1 through r and every residue class modulo q, H contains exactly one arc of that step whose tail belongs to the given residue class. The r translates of H by successive multiples of q then form a Hamilton decomposition of the digraph. A q-layer balanced Hamilton starter is called chain-compatible if one arc can be selected from each Hamilton cycle in this decomposition so that the selected arcs form a simple directed path. In both constructions, the compatible deletion chain is the arithmetic step-2 path beginning at 0 and ending at 2r. For q equal to 4, a chain-compatible starter is obtained explicitly whenever r is congruent to 1 modulo 4 and r is at least 9, while for q equal to 3 one exists for all sufficiently large r congruent to 5 modulo 6. The proofs are constructive: the four-layer case uses an ABAB step word, while in the three-layer case a directed rotational terrace is lifted to a 3-layer balanced directed 1-factor and a fixed four-arc trade joins its two cycles. Deleting the unique prescribed-path arc from each translated Hamilton cycle gives r Hamilton paths; together with the prescribed path, these form an optimal decomposition of the arc set into r+1 directed paths in both cases.
Common neighbour conjectures for Saxl graphs fail at every base size
For a finite permutation group, a base is a set of points with trivial pointwise stabiliser, and the generalised Saxl graph records which pairs of points lie together in a base of minimum size. Burness and Giudici conjectured that any two vertices of the Saxl graph of a primitive group of base size two have a common neighbour, and Freedman, Huang, Lee and Rekvényi extended this conjecture to arbitrary base size. We disprove both. For each integer $B\ge2$ we construct infinitely many primitive groups of base size $B$ whose generalised Saxl graphs contain two nonadjacent vertices with no common neighbour. At base size two, where this is the usual Saxl graph, we obtain three further infinite families, one each of affine, product and twisted wreath type, so the conjecture fails in three of the five O'Nan--Scott types; in the affine and product type families the Saxl graphs have diameter exactly three. This answers Problem~21.29 in the Kourovka Notebook in the negative. In the positive direction, we prove the Burness--Giudici conjecture for every primitive affine group whose point stabiliser is almost quasisimple of sporadic type, completing work of Lee and Popiel. We conjecture that no base-two counterexample of almost simple or diagonal type exists.
Exact curve counting of given word length on the once-punctured torus
On the once-punctured torus, we give an exact formula for the number of curves in any given mapping class group orbit of given word length. This settles a conjecture of Chas in [Cha16].
Diagrammatic Okada monoid and cellularity of the Okada algebra
It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994.
In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order.
These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.