arXiv++ Combinatorics

Let $μ\subseteqλ\subseteq(m^n)$. We characterize the image under the ordinary Robinson--Schensted--Knuth correspondence of matrices supported on the skew Ferrers diagram $λ/μ$. The outer boundary determines an upper bound on the right key of the insertion tableau, while the inner boundary determines a lower bound on its left key; both bounds depend on the keys of the recording tableau. This yields tableau expansions of skew Ferrers Cauchy kernels using the standard basis polynomials of Lascoux and Schützenberger, indexed by intervals in Bruhat order. The proof first treats ordinary Ferrers diagrams. Using the supremum characterization of right keys from earlier work, we follow the $λ$-dependent bounds through single RSK insertions. When $λ$ has repeated parts, these weak column bounds need not form a semistandard tableau. Strictification determines a set $\operatorname{Comp}(λ)$ of admissible weak compositions and, for each $α\in\operatorname{Comp}(λ)$, a composition $α^λ$. Ordinary RSK then gives a weight-preserving bijective realization of the expansion \[ \prod_{(i,j)\inλ}\frac{1}{1-x_i y_j} = \sum_{α\in\operatorname{Comp}(λ)} \hat K_α(x)K_{α^λ}(y), \] where $\hat K_α$ and $K_α$ denote Demazure atoms and key polynomials, respectively. We also give a direct admissibility criterion and a parking procedure for computing $α^λ$. After translating conventions, these agree with the admissibility condition and half-bubble-sort construction of Feigin, Khoroshkin, and Makedonskyi. The staircase and truncated-staircase identities follow as special cases. Finally, we extend the weak-bound construction to an infinite alphabet, where strictification need not exist, and derive the infinite-variable Cauchy identity for the $m$-symmetric Schur functions.

We give an explicit finite sum for the number of ideals of the Lie algebra of strictly lower triangular $n\times n$ matrices over $\mathbb F_q$, valid for every prime power $q$. The sum runs over integer compositions, with weights expressed using ordinary and Gaussian binomial coefficients. A contraction bijection transforms Gagnon's configuration sum into a weighted enumeration of nonnesting partitions, with antichains of intervals chosen independently in each block. We derive a Stieltjes continued fraction for the block weights. Lagrange inversion and the coefficient formula for Stieltjes--Rogers polynomials then yield the explicit sum.

Gao and Xie conjectured that the coefficients of the ordinary, unnormalized inverse Kazhdan-Lusztig polynomial of every matroid are log-concave with no internal zeros. We give counterexamples and prove locality and composition formulas for deletions of projective charts. For every finite field and every nonempty finite set S contained in {2, 3, ...}, these formulas yield simple 3-connected matroids whose negative internal Turán determinants occur exactly at S. Their coefficients are positive and strictly decreasing. The polynomial degree can be prescribed above max S, and all selected Turán ratios can tend to zero simultaneously. The universal first-index inequality remains open.

We introduce and study the rotating-memory Fibonacci numbers, a periodic variable-order analogue of the Fibonacci sequence in which the number of preceding terms used in the recurrence changes cyclically with the index. Despite this varying memory, the resulting sequences exhibit a remarkably rigid structure. We derive closed forms, rational generating functions, arithmetic properties, and exact growth behavior, and show that the sequence decomposes naturally into geometric subsequences. We also develop combinatorial interpretations in terms of periodically constrained tilings, and restricted compositions, including bijective explanations for the multiplicative structure of the sequence. In addition, the first two nonclassical periods admit natural geometry-driven realizations: the period-2 sequence arises from monomer--dimer tilings of a triangular chain, while the period-3 sequence is related to tilings of a double hexagon strip by single and double hexagons. These connections provide geometric interpretations of the rotating recurrence in which the periodic behavior is induced by the underlying structures themselves, and suggest a broader problem of constructing analogous models for higher periods.

We study the problem of counting \emph{Italian dominating functions} (IDFs) of each possible weight on paths, trees, and cycles. An Italian dominating function on a graph $G=(V,E)$ is a function $f\colon V\to\{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ satisfies $\sum_{u\in N(v)}f(u)\ge 2$; the \emph{Italian domination polynomial} $D_I(G,x)=\sum_k d_I(G,k)\,x^k$ records the number $d_I(G,k)$ of such functions of weight~$k$. This polynomial is the Italian analogue of the well-studied domination and Roman domination polynomials, and computing its coefficients on a fixed graph class is, in essence, a \emph{constrained integer composition} problem: passing to the deficit variables $y(v)=2-f(v)$, each coefficient $d_I(G,2n-j)$ counts the number of compositions of $j$ into $n$ parts, each at most~$2$, that additionally satisfy a local adjacency capacity constraint. We make this connection explicit and use it to derive closed-form expressions for $d_I(C_n,2n-j)$, $j=0,\ldots,5$, as trinomial coefficients minus explicitly enumerated forbidden configurations. On the algorithmic side, we give dynamic programming algorithms that compute \emph{all} coefficients of $D_I$ on path graphs ($O(n^2)$ time, $O(n)$ space), on general trees ($O(n^2)$ time, $O(n)$ space, via a post-order merge with a deficit parameter), and on cycle graphs ($O(n^2)$ time, $O(n)$ space, via boundary conditioning), together with formal correctness proofs and complexity analyses. The known values $γ_I(P_n)=\lfloor n/2\rfloor+1$ and $γ_I(C_n)=\lceil n/2\rceil$ are recalled with references rather than reproved. All numerical results are verified against brute-force enumeration, and complete tables are provided.

We prove that if $φ$ is an isomorphism between two connected Cayley graphs of abelian groups, and $φ$ respects the natural edge-colourings of the Cayley graphs, then $φ$ 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 $φ$ 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 $φ$ 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.

Suppose $R$ is a commutative ring and $G$ is a group acting on a set $W$. We consider the $RG$-module $RW$ in the case where $G$ is the automorphism group of an $ω$-categorical structure $M$ and $W$ is, for example, $M^n$ (for $n \in \mathbb{N}$). We develop methods which may provide information about two questions in the case where $R$ is a field $F$: whether $FW$ has a.c.c. on submodules; and in the case where $M$ is finitely homogeneous, whether $FW$ is of finite composition length. In the case where $M$ is a Ramsey structure and so $G$ is extremely amenable, we give a simple `decision procedure' for membership in a submodule of $RW$ specified by a given generating set. If $F$ is a field, we show that there is a duality between submodules of $FW$ and the topological $FG$-module of definable functions from $W$ to $F$.

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 study the initial run of equal adjacent parts in an integer composition. For a composition alpha, let P(alpha) be the common value of the parts in the initial run, let K(alpha) be the number of parts in that run, and set S(alpha)=P(alpha)K(alpha). We obtain exact finite formulas for the joint parameters (P,K,S) and the corresponding limiting laws. In the unrestricted model, each fixed event (P,K)=(p,k) reaches its limiting probability once n is above an explicit threshold. The limiting distribution of the total size is P(S=s)=2^{-s} sum_{d|s}(1-2^{-d}). Pointing a unit cell in the initial run gives M_1(z)=((1-z)/(1-2z)) sum_{m>=1} sigma_1(m) z^m. For every r>=1, the r-th power-moment generating function has coefficient function A_r(n)=sum_{j=1}^r (-1)^{j+1} binom(r,j) n^{r-j} sigma_j(n), so higher moments involve explicit finite combinations of generalized divisor sums. We also give factorial-moment formulas for the initial-run length and extend the construction to compositions with parts in a prescribed set A, where the corresponding formulas involve restricted divisor sums and the dominant root of the part generating function. Copy

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.