arXiv++ Combinatorics

Does computing a composition of total Boolean functions require the product of the randomized query complexities of its factors? We give a negative answer. There are families of total functions $f,g$ such that $R(f\circ g) =Θ\!\left(\frac1{\log R(g)}\right)R(f)R(g)$ This result requires first separating linearized query complexity $\LR$, as well as noisy randomized query complexity $noisyR$, from standard randomized query complexity $R$. Both constructions essentially come from totalizing existing partial function separations, albeit via different techniques. By adapting these techniques, we also construct total functions separating every adjacent pair in the chain from sabotage $RS$, max-conflict $\barχ$, and linearised query complexity $LR$. We show that AND-of-ORs separates conflict $χ$ from max-conflict $\barχ$ complexity and makes conflict and sabotage incomparable. Finally, randomized complexity can be smaller than its composition limit $R^*$ by the maximal factor $Θ(\log R)$. The total--total composition separation is also formalized in Lean.

Let a finite simple graph be given. We study symmetric matrices with this graph pattern that admit a null vector with prescribed exact support. Such a vector exists precisely when its support is a fort, meaning that no vertex outside the support has exactly one neighbor inside it. Over the complex numbers, we prove that the Zariski closure of each exact-support coefficient locus is irreducible and compute its codimension in terms of boundary vertices and a labeled forest on the connected components of the support. The corresponding forest deficiency also determines the generic restricted nullity. An incidence parametrization yields a prime decomposition of the reduced zero-forcing failure locus. For a prescribed common kernel, we describe the coefficient space through equilibrium stresses, exterior affine dependencies, and free coefficients. We then construct boundary complexes recording local solution values and equation residuals. Their gluing maps are defined over the universal coefficient ring and commute with arbitrary base change. By retaining the complete collection of support signatures associated with each seed set, we obtain a composition formula for the minimum zero-forcing number and an algorithm for its computation.

We begin with a review of Tutte's homotopy theory, which concerns the structure of a certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ``elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ``fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ``higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines. The appendices include modern language translations of Tutte's proofs of the path theorem and the homotopy theorem (the latter is a contribution by Juš Kocutar).

Macdonald polynomials are an important family of orthogonal polynomials that have applications to statistical physics. Corteel, Mandelshtam, and Williams proved a combinatorial model involving multiline queues for partitions; however, their work does not apply to weak compositions in general. We conjecture a first step towards this direction via a variant of the nonattacking filling model for nonsymmetric Macdonald Polynomials $E_μ$. This new model compresses the classical nonattacking filling model of Haglund, Haiman, and Loehr and mirrors the concept of trivial pairs in the multiline queue model. We prove it for a large family of weak compositions and explain the difficulty of extending this proof to the general case.

We show that the index of a uniformly random seaweed meander satisfies a central limit theorem and is asymptotically equidistributed with respect to any modulus. We also extend work by Archer, Geary, and Laudone on the enumeration of seaweed meanders whose compositions have restricted parts. Finally, we give a connection to billiards in triangular shapes, which is related to a result of Eu, Fu, and Hsu.

Let $M$ be a left $R$-module. We define the \emph{homomorphism submodule graph} $Γ_{\mathrm{Hom}}(M)$ as the simple graph whose vertices are the proper submodules of $M$, with an edge between distinct vertices $N_1$ and $N_2$ if and only if $\mathrm{Hom}_R(N_1, M/N_2) \ne 0$ or $\mathrm{Hom}_R(N_2, M/N_1) \ne 0$. This graph encodes homological information about $M$ and reflects its internal structure. We compute $Γ_{\mathrm{Hom}}(M)$ for semisimple and uniserial modules, establish precise correspondences between graph-theoretic and algebraic properties, and prove that for modules over Artinian local rings, the isomorphism type of $M$ is determined by $Γ_{\mathrm{Hom}}(M)$. We also show that over commutative rings with identity, the graph is always chordal, and we relate its spectral radius to composition length in natural families.

We introduce a Schubert bialgebra $\mathcal{A}=\bigoplus_{n\geq 0}\mathbb{Z}[x_1,\ldots,x_n]$, in which polynomials in different numbers of variables multiply to zero and the coproduct splits the variables into two consecutive blocks, and study its graded dual $\mathcal{D}$, whose product is concatenation of weak compositions. The Schubert polynomials $\mathfrak{S}_u^n$ form a basis of $\mathcal{A}$; we give an explicit formula for the dual Schubert basis $Ξ_u^n$ of $\mathcal{D}$ via a transition formula to an elementary symmetric basis, and show that the Schubert structure constants $c_{u,v}^w$ are the coefficients of the coproduct of $\mathcal{D}$ in the dual Schubert basis. The product of $\mathcal{D}$ is then lifted to an associative product $\sqcup$ on the free abelian group $\mathcal{BRC}$ of bounded RC graphs, built from a transition map $\mathcal{Z}$ on RC graphs that realizes the Lascoux-Schützenberger transition formula and generalizes Little's bumping algorithm. Quotienting $\mathcal{BRC}$ by ideals coming from Demazure crystal equivalence, Nadeau-Tewari forest equivalence, and quasi-Yamanouchi equivalence yields manifestly positive Littlewood-Richardson rules for the dual Schubert, dual key, dual forest, and dual slide bases of $\mathcal{D}$. Read on $\mathcal{A}$, these are branching rules: enumerative formulas for splitting a Schubert, key, forest, or slide polynomial across two blocks of variables, and in the Schubert case they compute the Levi branching coefficients of Ressayre-Richmond for $\mathrm{GL}_p\times\mathrm{GL}_q\hookrightarrow\mathrm{GL}_{p+q}$.

In this paper, we study the ideas of composition and decomposition in the context of vector spaces, graphs and matroids. For vector spaces $\V_{AB},$ treated as collection of row vectors, with specified column set $A\uplus B,$ we define $\V_{SP}\lrarv \V_{PQ}, S\cap Q= \emptyset, $ to be the collection of all vectors $(f_S,f_Q)$ such that $(f_S,f_P)\in \V_{SP}, (f_P,f_Q)\in \V_{PQ}$. An analogous operation $\G_{SP}\lrarg \G_{PQ}\equivd \G_{PQ}$ can be defined in relation to graphs $\G_{SP}, \G_{PQ},$ on edge sets $S\uplus P, P\uplus Q,$ respectively in terms of an overlapping subgraph $\G_P$ which gets deleted in the right side graph (see for instance the notion of $k-sum$ \cite{oxley}). For matroids we define the `linking' $\M_{SP}\lrarm \M_{PQ} \equivd (\M_{SP}\vee \M_{PQ})\times (S\uplus Q)$, denoting the contraction operation by '$\times$'. In each case, we examine how to minimize the size of the `overlap' set $P,$ without affecting the right side entity. In the case of vector spaces, there is a polynomial time algorithm for achieving the minimum, which we present. Similar ideas work for graphs and for matroids under appropriate conditions. Next we consider the problem of decomposition. Here, in the case of vector spaces, the problem is to decompose $\V_{SQ}$ as $\V_{SP}\lrarv \V_{PQ},$ with minimum size $P.$ We give a polynomial time algorithm for this purpose. In the case of graphs and matroids we give a solution to this problem under certain restrictions.

In this paper, we derive new combinatorial formulas for symmetric Macdonald polynomials $P_λ(X;q,t)$ and non-symmetric Macdonald polynomials $E_γ(X;q,t)$, in terms of several new statistics and the major index, for a partition $λ$ and a weak composition $γ$. Compared to previous formulas, these new formulas contain the fewest terms and lead to explicit $(q,t)$-formulas for the coefficients in the monomial expansion of $P_λ(X;q,t)$. In particular, the combinatorial formula for $E_γ(X;q,t)$ extends the one for $E_λ(X;q,t)$ indexed by a partition $λ$, due to Corteel, Mandelshtam and Williams (2022). Three existing formulas for $P_λ(X;q,t)$ established by Corteel, Mandelshtam and Williams (2022), by Corteel, Haglund, Mandelshtam, Mason and Williams (2022), and by Mandelshtam (2025) are recovered. Our proof relies on two new statistics on super fillings, employing the superization formulas of Haglund--Haiman--Loehr (2005) and Ayyer--Mandelshtam--Martin (2023), together with our recent approach to modified Macdonald polynomials.

We show that there exist graphons that interpolate between Riemannian manifolds and weighted geometric graphs. Specifically, the graph-to-manifold approximation used in manifold learning can be regarded as the composition of a graph-to-graphon convergence and a graphon-to-manifold convergence in a certain sense. Furthermore, we establish a monotonicity inequality which reveals an implicit relationship between numerous combinatorial parameters and geometric quantities on graphons. Using this inequality, we find relations among conductance, maxcut problem, capacity, and packing radius, as well as their limiting behaviors under graph-to-graphon and graphon-to-manifold convergences; some of these relations are novel even for simple graphs and closed manifolds. We also find that in the graphon-to-manifold limiting process, the purely combinatorial parameters diverge, leading to a ``blowup'' phenomenon; and continuous versions of some graph parameters cannot be realized via Riemannian manifolds, but can be realized via graphons.

Using the composition method, we establish the $e$-positivity of spiders of the form $S(4m+2,\, 2m,\, 1)$, as conjectured by Aliniaeifard, van Willigenburg and Wang. Following a divide-and-conquer strategy, we group one or two positive-coefficient $e_J$-terms with each negative-coefficient $e_I$-term, where each $J$ is a composition obtained by rearranging the parts of the composition $I$, and prove that the resulting total coefficient is nonnegative. Our main contribution is the explicit construction of the required injections.

Let $G$ be a finite bipartite graph and let $\widetilde G$ be an $M$-fold cover. We compare independent sets of $\widetilde G$ with those of the trivial cover, consisting of $M$ disjoint copies of $G$, after prescribing how many vertices are selected above each vertex of $G$. A conjecture from 2011, motivated by the Bethe approximation, asserts that the trivial cover maximizes every such count. We prove this for every feasible occupation profile whose active graph has treewidth at most two or is chordal bipartite. Equality holds exactly when the restricted cover is flat, meaning that fibre relabelings make it trivial. For $M\ge2$ and positive feasible occupations, a nonflat cover of a connected bipartite graph of treewidth at most two has a deficit of at least twice the coefficient of $p_G^{M-2}$ with every occupation reduced by one. A holonomy-dependent bound improves the factor to three for odd-order holonomy; both uniform constants are sharp. Comparison and rigidity survive finite compositions along an edge or a vertex, and quantitative bounds from one piece propagate to the whole graph, giving results beyond the two original classes. On any bipartite base, the first nonzero homogeneous defect is determined by the shortest cycles with nontrivial holonomy. At singleton occupations, our counts are numbers of DP-colorings of full covers. The dual DP color function on these classes and their finite seam compositions equals the chromatic polynomial, with equality attained precisely by canonical labelings. Dong's chromatic-polynomial inequality then yields the Dual-DP Shameful inequality on the same graph class. The main theorems have been formalized in Lean 4.

The $(0,x,1,2)$-hiccup sequence starts at $x$ and increases by 1 when the current index has already appeared as a value, and by 2 otherwise. We prove directly that for $x\geq3$ the gaps between its missing values are $1,2,3,\ldots$, each repeated $x-2$ times, and we derive closed formulas, an explicit error bound, and a generating function in terms of Ramanujan's theta functions. The counting functions of the complements satisfy nested recurrences. The sequences of missing values are the partial complements of polygonal numbers. In particular, the $(x-2)$-fold composition of the enumeration of the positive integers that are not $x$-gonal is the hiccup sequence minus 1. We extend the nested recurrence and a tree interpretation to every miss increment $z\geq2$ and every initial value $x\geq2$. Further interpretations involve polyomino vertices, monochromatic pairs, and, by a theorem of Bickle, Ramsey core numbers.

Chromatic villainy is the maximum, over rearrangements of optimal graph colorings, of the minimum Hamming distance to a proper coloring with the same color multiplicities. Weak villainy allows the repair to change these multiplicities. We give exact composition laws for disjoint unions and determine the eventual growth under repetition. Write $mG$ for the disjoint union of $m$ copies of $G$. For every graph $G$, with $k=χ(G)$, weak villainy satisfies $B_{\mathrm w}(mG)=mF_k(G)$ whenever $k\mid m$, where $F_k(G)$ is the maximum distance to a proper $k$-coloring over all assignments of $k$ color labels to vertices. Its bounded defect from $mF_k(G)$ is eventually periodic; we give an explicit stabilization bound and identify the least period, which divides $k$. For ordinary villainy, we obtain a computable rational slope $Λ(G)\ge F_k(G)$ such that $B(mG)=mΛ(G)+O_G(1)$, where the error is bounded independently of $m$ and eventually periodic, with a computable period and threshold. Consequently the difference between the two values is bounded exactly when $Λ(G)=F_k(G)$, and otherwise grows linearly. The slope is determined by a finite optimization using at most $k$ source assignments. We also answer the unrestricted superadditivity questions negatively: for every $C>0$, a connected graph can lose more than $C$ in weak villainy after union with a triangle, and some connected $3$-chromatic graph $G$ satisfies $B(G\sqcup G)<2B(G)-C$. Finally, both exact values on an $n$-vertex graph can be computed in time $f(B_{\mathrm w}(G))(n+1)^{O(1)}$, without either value being supplied. Threshold recognition is fixed-parameter tractable as well.

Permutons can be thought of as "continuum limits" of permutations of diverging size, which encode information about the number of occurrences of any given finite subpattern. We construct a natural composition operation on permutons, analogous to composition of permutations, and explore its properties via a correspondence between permutons, Markov kernels, and Markov operators. We show that no extension of permutation composition to permutons can be (jointly) continuous with respect to the usual "weak" topology on permutons, but we construct a "strong" topology with respect to which composition is jointly continuous. Moreover, we characterize strong convergence of sequences of permutations of diverging size: a sequence of permutations converges strongly if and only if it converges weakly and its limit is the transpose of the graph of a measure-preserving function. The key insight behind these results is to apply functional analysis to certain operators associated to permutons; with this shift in perspective, our results have elegant and relatively "soft" proofs. As an application, we describe the permuton limit of a product of finitely many independent uniformly sampled separable permutations and give a formula for the expectation of this limit. We also show that in this case, as the number of compositions goes to infinity, the aforementioned expectation tends to the uniform permuton.

The Tu-Deng Conjecture, made in 2011, asserts that for $k\geq2$ and $1\leq t<2^k-1$, the set \[ S_{t,k}=\left\{(a,b)\in\{0,1,\ldots,2^k-2\}^2: a+b\equiv t\pmod{2^k-1},\quad \wt(a)+\wt(b)<k\right\} \] satisfies \[ |S_{t,k}|\leq 2^{k-1}. \] Proofs of the conjecture were given independently by the author and by Liu, Luo and Xie in arXiv in 2026. Let $r=\wt(t)$, and let $z=k-r$ be the number of zeros in the $k$-bit expansion of $t$. We prove that equality holds in the Tu-Deng Conjecture if and only if every cyclic distance between consecutive zeros is at least $z$. We give several other simple necessary and sufficient conditions, including a forbidden-pattern condition, a packing condition for the zero positions, a composition condition for the gaps, and equivalent conditions involving the coefficients of the polynomial $H_W(u,v)$ in the proof of the Tu-Deng conjecture. We also count the equality words having a prescribed number of zeros.

We give an elementary, straightforward proof of Ovenhouse's interpretation of the denominator and the numerator of a (right) q-deformed rational in terms of weighted lattice paths on a ''snake graph'', and we give an analogous result for the left q-deformed rational introduced by Bapat, Becker, and Licata. The key ingredient is a simple formula for the q-deformation of the matrix of the composition of two homographies of the form z $\rightarrow$ a + 1/z.

We develop Delsarte theory for quantum association schemes, allowing both composition and the quantum Schur product to be noncommutative. A MacWilliams identity and positivity of the inner and dual distributions yield conic upper bounds for codes and lower bounds for designs in terms of effective size, which extends subset cardinality. These bounds recover classical linear programs for symmetric association schemes and semidefinite programs for homogeneous coherent configurations. We also quantize Schurian schemes using finite-group representations and characterize quantum block designs in quantum Johnson schemes arising from irreducible stabilizer representations by averaging over subgroups fixing prescribed points individually. In a quantum Johnson scheme on $M_2(\mathbb{C})^{\oplus10}$, we prove that the minimum effective size of a nonzero positive element satisfying the strength-two design condition is $20$, attained by complementary projections outside the center of the underlying algebra. Every such element in the center has effective size $40$, while the conic lower bound is $40/3$, strictly below the actual minimum.

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.

The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $Φ_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.