arXiv++ Combinatorics

We prove that if $\varphi$ is an isomorphism between two connected Cayley graphs of abelian groups, and $\varphi$ respects the natural edge-colourings of the Cayley graphs, then $\varphi$ is the composition of a group isomorphism and a colour-preserving graph automorphism. This implies that if every colour-preserving automorphism of a connected abelian Cayley graph $Cay(G;S)$ is an affine map, then the same is true for every colour-permuting automorphism. We also show that this property holds if and only if the subgroup generated by $\{\, s \in S \mid 2s \neq c \,\} \cup \{c\}$ has index $\le 2$ for every element $c$ of order $2$ in $G$.

We show that if $\varphi$ is a colour-permuting automorphism of a connected, finite Cayley graph, and the order of the Cayley graph is either odd or square-free, then $\varphi$ is the composition of a group automorphism and a colour-preserving graph automorphism. Some analogous results are also established for isomorphisms between two different Cayley graphs.

We study near alternating sign matrices with prescribed row and column weights. After recalling the basic definitions and the necessary conditions coming from the Gale--Ryser theorem, we give a graph-theoretic characterization of the existence problem. More precisely, we show that a near alternating sign matrix with prescribed row and column weight sequences exists if and only if there exists a binary array with the same weights whose associated adjacency graph is bipartite. This reformulation shows that the Gale--Ryser conditions are not sufficient in general. We then formulate a natural conjecture up to permutations of the row and column weight sequences, and present some positive results, based on convex binary arrays and composition constructions.

We give a degree-one Pieri formula for integral nonsymmetric Jack polynomials. In direct analogy with the symmetric case, its coefficients are described by a combinatorial device called jeu de fleches, a filling of composition diagrams. The proof is self-contained and uses reflection and raising recursions which appear to be new

We establish various connections between classes of colored and bounded ordinary partitions on one hand, and colored but not necessarily bounded binary and $b$-ary partitions on the other hand. Many of these results are based on special recurrence relations, some of which are new. We also obtain several classes of identities for sequences of colored $b$-ary partitions, and there are a few results concerning compositions.

We report on our ongoing project to develop a computational pipeline, AutoGraphForge, for an automated graph-theoretic conjecturing-refuting-formalizing-proving system. Conjecture generation is counterexample-guided and runs in rounds: a Graffiti3 generator proposes conjectures over a small, evolving snapshot table $T$ (initially a few hundred graphs with their computed invariants) that grows only by counterexamples to its own conjectures. A novelty filter of $559$ classical and folklore relations, closed under transitive composition and linear identity substitution, decides via a linear program whether a candidate is already implied by known results. Surviving candidates are tested against a dataset of about $348,000$ graphs, unioning the complete House of Graphs invariant export, the exhaustive census of all connected graphs on at most nine vertices, several extremal families (strongly regular, minimal Ramsey, Cayley, cages, barbells, lollipops, spiders), and random models. Counterexample-search algorithms then attack the remainder. Run for several rounds on an HPC cluster, the loop yields $6,522$ conjectures that survived the refutation dataset, the novelty filter and every active-search run -- among them nontrivial relations between the annihilation number and the edge-cover number for bipartite and regular graphs, which we prove by hand. A subsequent formalization and proving stage deterministically translates each surviving conjecture into a Lean 4 statement skeleton; every candidate proof is kernel-verified against a pinned mathlib4 and our custom invariant preamble. This stage integrates two neural provers -- DeepSeek-Prover-V2-671B (served with vLLM) and the Lean-specialised OProver-32B -- behind the independent kernel check. It is implemented end-to-end and passes initial sanity checks, with the full pipeline currently running on the cluster.

We study the operators obtained by inserting copies of a new largest letter into multiset permutations. Let $G_r$ denote the operator which inserts $r$ copies of a new largest letter. After the change of variables $δ=y-x$, $u=x/y$, and $E=u\partial_u$, we find that $$G_r=\frac{δ^r}{r!}E(E+1)\cdots(E+r-1).$$ Its generating series acts by a rational substitution, which yields the composition law. Our main result gives a common symmetric-function explanation for the ordinary and major-index operators. For $N\geq 0$, define $Φ_N(F_{N,S})=x^{|S|+1}y^{N-|S|}$. We prove that multiplication by the complete homogeneous symmetric function $h_r$ becomes the ordinary insertion operator: $Φ_{N+r}(h_r f)=G_rΦ_N(f)$, where $f\in\mathrm{QSym}_N$. There is a parallel specialization for the major index. A reverse finite principal specialization sends multiplication by $h_r$ to an operator $Q_r$, which is a polynomial in the $q$-shift $Θ_qf(t)=f(qt)$. Thus the ordinary and major-index operators arise from the same multiplication operator $f\mapsto h_r f$. Since the functions $h_r$ freely generate the ring of symmetric functions, the assignment $h_r\mapsto G_r$ extends to an algebra homomorphism. We determine the kernel of this homomorphism and the image of every homogeneous component. The images of Schur functions satisfy the Littlewood--Richardson multiplication identities, and the one-row case gives an Eulerian form of the Pieri rule.

Two permutations $σ,τ\in S_n$ are called disjoint if the composition $στ^{-1}$ has no fixed point. If a family $\mathcal F\subseteq S_n$ contains no $s$ pairwise disjoint permutations, then a simple averaging argument gives $|\mathcal F|\leq(s-1)(n-1)!$. Inozemtsev, Kolupaev and Kupavskii characterized the equality cases in the range $s\leq n/(2^{17}\log n).$ We characterize all equality cases throughout the range $2\le s\le n$: equality holds if and only if $\mathcal F$ is a union of $(s-1)$ pairwise disjoint $1$-cosets. We also prove the linear statement underlying this classification: a real-valued function on $S_n$ has constant sum on every one-factorization if and only if it lies in the span of the indicators of the $1$-cosets. The proof is combinatorial and applies to every order, with a few small orders handled separately.

We prove that a relation obtained by composing arbitrary functions of arity $\leq k$ with a relation definable in an $n$-dependent structure is $kn$-dependent. This confirms a conjecture of Chernikov and Hempel. We also demonstrate optimality of the result.

In a preceding article, we introduced stable symmetric series encoding simultaneously the normalized conjugacy classes of all symmetric groups. The same rational series remain stable for the Jack-deformed Goulden--Jackson product. We investigate their two-parameter Macdonald analogue. Starting from the $(q,t)$-deformed class product (dual to the coproduct diagonal on the $J$-basis), we construct the unique infinite series whose multiplication realizes any shifted Macdonald eigenvalue. In contrast with the classical and Jack cases, this transform is no longer multiplication by a fixed explicit series. We identify it with a composition of a Cauchy multiplication, the integral nabla operator, and a simple diagonal operator. We then determine the series realizing the Nazarov--Sklyanin operators $A^{(k)}$, derive a single generating series for all column partitions, and compare our construction with the Macdonald characters and Theta operators of Ben Dali and D'Adderio.

Standard neural architectures often fail to generalize to longer inputs for dynamic programming (DP) targets. We investigate what makes this hard geometrically. Every finite min-plus DP is a shortest path on a DAG, which is equivalently a tropical polynomial whose extended Newton polyhedron encodes the decision boundary of which path wins. We prove these three descriptions (graph, polynomial, polyhedron) form isomorphic semirings at two levels --- formal polynomials and their computed functions --- connected by operations that characterize all structural redundancies. We then address the length-generalization question geometrically: does the decision boundary at length $T$ decide the boundary at $T+1$? We present two structural negatives. The semiring's two native ways to reduce dimension (setting a variable to each identity) are neither injective nor always closed within the DP. Series and parallel composition fail to construct all DAG topologies from smaller sub-DAGs, and even all terminal-only operations do not capture all DP compositions.

We give a complete rigorous asymptotic analysis of the generating functions of 3-noncrossing skeleton matchings and canonical 3-noncrossing skeleton diagrams. Let $F_3$ be the ordinary generating function of 3-noncrossing matchings, and let $S(y)=\sum_{n\geq 0}S(n)y^n$ be determined by $S(zF_3(z)^2)=F_3(z)$. The proof is deliberately ordered to avoid circularity. First, Lagrange inversion, a Stieltjes representation of $F_3$, exact cut-boundary estimates, and a moving horizontal Hankel contour give $S(n)\sim 24(πA^5)^{-1}σ^{-n}n^{-5}$ independently of any $Δ$-analyticity of $S$. This estimate supplies boundary regularity of $S$ and $S'$. We then prove a global biholomorphic inversion theorem, continuation across every nonprincipal point of the convergence circle, and a logarithmically perturbed sectorial inverse theorem. A complete disk-chain and monodromy argument yields a single-valued continuation to a standard $Δ$-domain. At the principal singularity, $S(y)=Q_4(u)-(πA^5)^{-1}u^4\log u+O(u^5(1+|\log u|))$, where $u=1-y/σ$. Finally, the canonical composition $S_3^{[4]}(z)=(1-z)(S(\vartheta(z))-1-\vartheta(z))$ is shown to be $Δ$-analytic at its unique dominant singularity $η=0.49340718057613087519\ldots$, and $[z^n]S_3^{[4]}(z)\sim 7892.16205625817\ldots n^{-5}η^{-n}$. The argument retains the methods and detailed estimates of the original proofs while closing the analytic gaps in the earlier dissertation treatment.

Previously we have explicitly characterized by certain linear inequalities the ${\mathfrak{k}}$-highest weight tableaux in the quantum Littlewood-Richardson (LR) rule produced by $1$-$0$-slack recording tableaux. Using the composition of promotion operators to defining the Naito-Suzuki-Watanabe bijection between ${\mathfrak{k}}$-highest weight tableaux and $\widehat{\mathfrak{g}}$-dominant tableaux, we now explicitly characterize by certain linear inequalities the $\widehat{\mathfrak{g}}$-dominant tableaux for $n\le 4$ produced by $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson rule. Since recording tableaux in the quantum Littlewood-Richardson rule are in natural bijection with Littlewood-Richardson-Sundaram tableaux, we relate our results with other bijections for the Naito-Sagaki conjecture.

For a graph \(G\), let \(γ(G)\) and \(ρ(G)\) denote its domination number and packing number, respectively. Let \(c_{\mathrm{sub}}\) and \(c_{\mathrm{cub}}\) denote the respective limsups of \(γ(G)/ρ(G)\) over connected subcubic and connected cubic graphs as \(ρ(G)\to\infty\). We prove \[ c_{\mathrm{sub}}\geq\frac{13}{6}, \qquad c_{\mathrm{cub}}\geq\frac{17}{8}, \] by constructing two explicit binary branching families. The connected noncubic subcubic graphs \(\widehat B_t^\star\) satisfy \[ |V(\widehat B_t^\star)|=76\cdot2^t-12,\qquad γ(\widehat B_t^\star)=26\cdot2^t-4,\qquad ρ(\widehat B_t^\star)=12\cdot2^t-2, \] whereas the connected cubic graphs \(\widehat B_t^\bullet\) satisfy \[ |V(\widehat B_t^\bullet)|=108\cdot2^t-14,\qquad γ(\widehat B_t^\bullet)=34\cdot2^t-4,\qquad ρ(\widehat B_t^\bullet)=16\cdot2^t-2. \] The constructions use the same binary connector composition and closing lemma, with different connectors and initial assemblies. As a consequence, both families give unbounded additive violations of \(γ(G)\leq2ρ(G)+1\), disproving the proposed inequality even for connected cubic graphs.

Deligeorgaki, Han and Solus introduced colored multiset Eulerian polynomials, derived a generating function identity which generalizes MacMahon's identity, proved their self-interlacing under suitable parameter conditions, and identified these polynomials as the h^*-polynomials of direct products of dilated lattice simplices. In this paper, we introduce an ascent analogue of the colored multiset Eulerian polynomial, derive an explicit generating function identity for this polynomial, show that it is equal to the h^*-polynomial of a family of half-open lattice polytopes, and verify that this ascent polynomial also satisfies self-interlacing under the same parameter conditions. By establishing recurrence relations, we prove that both polynomials are real-rooted for all positive integer parameters. The obtained identities are further applied to interpret combinatorially the h^*-polynomials of Pitman--Stanley polytopes, composition polytopes and a family of reflexive lattice polytopes defined from preorders.

We extend the $\mathsf{pmaj}$ statistic of Loehr and Remmel to labelled Dyck paths in the $n \times kn$ grid, and generalize their bijection sending the bistatistic $(\mathsf{dinv},\mathsf{area})$ to $(\mathsf{area}, \mathsf{pmaj})$, proving in this way a new combinatorial formula for $\nabla^k e_n$ ($k \geq 1$). At $k = 1$ we recover the original statistic and the original bijection. Moreover, we provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $G_{μ, ν}^{(k)}$, indexed by an integer $k \geq 1$ and two compositions $μ$ and $ν$: at $k = 1$ these are the clique-independent graphs of D'Adderio et al. Finally, we define a $\mathsf{delay}$ statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the polynomials $\langle \nabla^k e_n,e_μh_ν\rangle$ from the $(n,kn)$-shuffle theorem. At $k = 1$ we recover the main results of D'Adderio et al.

The dual immaculate functions are an example of a Schur-like basis in the algebra of quasisymmetric functions. We classify when the image of a dual immaculate function under one of the involutions $ρ, ψ, ω$ is equal to a dual immaculate function. As well, the leading term of the transition matrix is identified, and sufficient and necessary conditions for the existence of immaculate tableaux are determined. As a consequence, new maps and canonical tableaux associated with compositions are discovered.

Starting from an integer composition, form its consecutive absolute differences, provided that they are nonzero and pairwise distinct, and then permute these differences arbitrarily before repeating the operation. The depth of the composition is the maximum possible number of successive iterations. We determine the least positive integer admitting a composition of any prescribed depth. If a(n) is the least positive integer having a composition of depth n, then $a(n)=n+1+\lceil n(n+1)/4\rceil+\lfloor n/2\rfloor$. We also prove that every integer k at least a(n) has a composition of depth at least n. Consequently, if d(k) denotes the maximum depth of a composition of k, then $d(k)=\max\{n\geq 0:a(n)\leq k\}$. Finally, we classify and enumerate all compositions attaining the minimum a(n). Their number is given by four factorial formulas according to n modulo 4.

The Fomin-Greene Duality Theorem for finite posets and Wei's Duality Theorem for demimatroids each relate sets of extremal invariants via seemingly similar dualities. This paper describes precisely how these two dualities relate. It is shown that the chain and antichain numbers each satisfy a Wei-type duality with antichain- and chain-deletion numbers, respectively, and that, for each poset with at least two elements, its chain and antichain demimatroids are not related by any composition of standard demimatroid duality operations. Their upper Wei-number numbers do however determine each other via Fomin-Greene duality. The two dualities thereby coincide for Wei numbers but not for the underlying rank functions.

The spectral sensitivity $λ(f)$ of a Boolean function is the largest eigenvalue of the adjacency matrix of its sensitivity graph. It lower-bounds every standard measure of query complexity, and Aaronson, Ben-David, Kothari, Rao and Tal, who introduced it, asked whether block sensitivity is at most quadratic in it: is $bs(f)=O(λ(f)^{2})$? We show that it is not. We construct a total Boolean function on $2017584$ variables with $bs(f)\ge 14011$ and $λ(f)\le 89.0162$, so that $bs(f)\geλ(f)^{2.127}$, and hence by composition a family with $λ(f_n)\to\infty$ and $bs(f_n)=Ω(λ(f_n)^{2.127})$. The function is the indicator of a union of $k$ subcubes indexed by the vertices of a doubly regular tournament, and the freedom left in the construction is fixed by the Lovász local lemma. The main result has been formally verified in Lean. We also give numerical evidence that a member of the same family on $1255$ variables reaches an exponent near $2.20$, and exhibit a member on $30$ variables whose exponent already exceeds $2$ and whose spectral sensitivity can be computed exactly.