arXiv++ Combinatorics

We solve large-$N$ Yang--Mills theory on $\mathbb{Z}^d$, for every $d\geq2$, at strong coupling, for structure group $\mathrm{U}(N)$ and for the heat-kernel action. More precisely, we prove that normalized Wilson loop expectations have infinite-volume large-$N$ limits, factorize at leading order, and admit an all-order $1/N$-expansion with exponentially local coefficients, whose leading order characterizes the master field. We also prove an area-law upper bound for the heat-kernel master field, with a stronger coefficientwise version. The proof is based on a rooted heat-kernel master loop equation. Unlike the Wilson-action equation or the two-dimensional Makeenko--Migdal equation, this equation does not close on Wilson loop observables alone; it closes on an extended space of loop observables coupled to compactly supported plaquette decorations. We prove a strong-coupling, order-truncated rooted trajectory expansion and then identify its leading term with the master field. The main inputs are the universal finite-$N$ duality formulas developed in the companion paper \cite{Lem26a} and large-$N$ heat-kernel estimates from \cite{LemMai25,LM2}.

We study a general class of self-repelling polymers on $\mathbb Z^2$, including the simple random walk, the self-avoiding walk and the repulsive Domb-Joyce model, in the presence of a constant force field acting on each monomer. Conditioning the polymer to have fixed length and fixed endpoints, we identify the limiting free energy and prove that typical trajectories concentrate exponentially near a deterministic macroscopic shape. This shape is characterized as the unique minimizer of a variational problem and can be interpreted as a geodesic of a height-dependent Finsler metric. We also analyze two limiting regimes with universal features: for small field strength, in the symmetric case, the geodesic is close to a classical catenary, while for large field strength it converges to a universal polygonal shape governed by the nearest-neighbor lattice constraint.

We derive a determinantal expression for the inhomogeneous asymmetric five vertex model in a rectangular geometry with arbitrary boundary conditions at the bottom and top. Standard non-intersecting lattice path, or free fermion, approaches are not applicable and the determinantal form thus is not immediate.

The Fomin local rules for Schensted column insertion can be seen as a two-lane box-ball system, in which a carrier moves particles forward or laterally. Running such two-lane dynamics in parallel on a periodic lattice gives rise to a two-dimensional generalization of the box-ball system, which we call the \emph{skew column RSK dynamics}. Equivalently, this is a deterministic dynamics on pairs of skew semistandard Young tableaux $(P_t,Q_t)_{t \in \mathbb{Z}}$. We prove that this dynamics exhibits solitonic behavior and construct an explicit bijection $(P,Q) \leftrightarrow (H_1,H_2,κ,ν)$ that linearizes the time evolution. The resulting coordinates consist of two horizontally weak tableaux $H_1,H_2$ recording the asymptotic soliton data, integer riggings $κ$, and a weakly decreasing sequence of integers $ν$. A key feature of the construction is an explicit projection from the skew column RSK dynamics to the classical box-ball system; under this projection, the rigging $κ$ is precisely the Kerov--Kirillov--Reshetikhin rigging of the associated box-ball configuration. Our proof uses two commuting affine crystal structures on pairs of skew tableaux and a novel connectivity theorem for distinguished subgraphs of tensor products of Kirillov--Reshetikhin crystals. We also derive Greene-type formulas for the soliton lengths in terms of last-passage percolation on the associated cylindrical environment. Finally, by taking generating functions in the linearizing coordinates, we obtain bijective proofs of Cauchy and Kawanaka--Littlewood-type identities for transformed Hall--Littlewood polynomials.

We consider complex-weighted graphs, whose edge weights belong to a sector in the complex plane. We show that the corresponding Dirichlet Laplacian is $m$-sectorial, and, hence, generates a contractive holomorphic $C_0$-semigroup. Further, it is shown that every sectorial complex-weighted graph can be extended to an electrical network, where by electrical networks we mean graphs, whose edge weights are holomorphic functions, arising from physical admittances. This result allows us to establish convergence results for the infinite complex-weighted graphs, e.g. convergence of solutions of Dirichlet problems and convergence of complex-valued capacities on a finite exhaustion. Finally, we define a recurrence for complex-weighted graphs, and, using the convergence results, give its characterizations in terms of functional spaces, capacity, Green's function, resolvents of the Dirichlet Laplacian and properties of the Neumann Laplacian.

Eventually constant set-valued representations of a quiver are set-theoretic analogues of nilpotent representations. In recent work by Green-Holmes-Im, the authors enumerated eventually constant set-valued representations for equioriented cyclic quivers using the directed matrix-tree theorem. In this paper, we extend this enumeration to finite quivers without sinks for which every vertex is the target of sufficiently long paths. We encode the representations as directed acyclic graphs and introduce a recursive source-removal method for certain classes of directed acyclic graphs. This yields a strictly upper triangular matrix enumerator in the incidence algebra of the subset lattice. To compute the cardinality of the eventually constant representations, we compress this enumerator to a matrix indexed by cardinality vectors, the set-theoretic analogues of dimension vectors. We conclude by specializing the formulas to the Jordan quiver and recovering the multisymmetric generating polynomial for the cyclic quiver without using the matrix-tree theorem.

We solve the inverse problem for Ising models on reduced planar graphs in a disk, i.e., recovering the edge coupling constants from the boundary spin correlations. A recursive solution to this problem was provided by Galashin--Pylyavskyy. Our solution is non-recursive. It is based on an Ising analog of the chamber ansatz which asserts that the inverse map should factor through variables on the graph that transform under the Ising Y-$Δ$ move according to the discrete CKP equation.

We prove a local bijection between alternating sign matrices (ASMs) and descending plane partitions (DPPs) in the refined fibres of Behrend--Di Francesco--Zinn-Justin. The map is constructed by moving a boundary line through the ASM and DPP pictures. At each step only a bounded neighbourhood of that boundary is changed. In growth-diagram language, the boundary states are ordinary ASM row frontiers and shifted DPP path frontiers, and the elementary moves are reversible Fomin-type square rules. The proof checks that overlapping local moves are confluent, that every square is invertible, and that the completed boundary again satisfies the ordinary ASM and DPP coordinate inequalities. The only terminal choice is resolved by a radius-two fan rule on the visible height contour. The same local framework gives a statistic on refined ASMs whose generating function is the DPP degree enumerator. The statistic has a Striker--Fulmek quadratic core \[ Q_{\rm SF}(A)= \sum_{1\le r<s\le n}\ \sum_{1\le b<a\le n} (n-r+1)A_{r,a}A_{s,b}, \] plus a bounded fan-boundary correction and, outside the normal boundary gauge, an explicit compact-potential endpoint term. In the normal gauge this is \[ W_{\rm ASM}^{\rm SF}(A)=Q_{\rm SF}(A)+B_{\rm fan}(A). \] Thus the paper gives both a local ASM--DPP bijection and a statistic-preserving refined \(q\)-enumeration. The supplementary files reproduce selected local checks and the displayed arithmetic examples.

In this paper, we introduce and prove a set of rank recurrence relations for $q$-Whittaker and Macdonald operators. We also derive an explicit expression for the $k$-th power of the $q$-Whittaker operators in terms of the $q$-deformed binomial probability distribution, and we express the rank recurrence relations for the Macdonald operators in terms of the Cauchy determinant.

We introduce a censored version of the stochastic six-vertex model. We show that for parameters $b_1 < b_2$, this model started from the initial condition ${1}_{x>0}$ is stochastically dominated at any time by the blocking measure. This is a partial analog of the censoring inequality for monotone spin systems. In particular, this result allows us to control the behavior of second-class particles. The proof uses parabolic Kazhdan--Lusztig $R$-polynomials, whose appearance is explained using a connection between the stochastic six-vertex model and the Iwahori--Hecke algebras of symmetric groups. Furthermore, we find an intertwining relation for this process using normalized parabolic Kazhdan--Lusztig $R$-polynomials as an intertwining kernel.

We consider the $SO(d)$ and $O(d)$ invariant sectors of the bosonic $d$-matrix harmonic oscillator with $U(N)$ gauge symmetry. The micro-canonical degeneracy $\mathcal{Z}( N , d , k )$ for fixed energy $k$ is expressed as a pairing between an $N$-dependent vector and a $d$-dependent vector in the space of partitions of the integer $k$. This pairing formula is derived by counting invariant words in multi-matrix variables $X^i_{j,a}$, using properties of Clebsch-Gordan multiplicities (Kronecker coefficients) for the symmetric group $S_k$, Schur-Weyl duality and harmonic analysis on the homogeneous space $U(d)/SO(d)$. Analytic formulae for large $N$ and $k$ with $ k \le N $ are obtained using group integrals over $U(N)$ and $SO(d)$ (or $ O(d)$). The micro-canonical heat capacity in this regime is negative and turns positive, at a critical value $k_{\rm crit}$, due to finite $N$ modifications to the counting, thus forming what we denote as a characteristic caloric fold in the $ E $ versus $T$ curve. Data from the pairing formula is well fitted by $k_{\rm crit} \sim { N^2 \over 4 }$ for small values of $d$. A derivation of this large $N$ formula is given using a matrix model approximation and semi-classical analysis of the eigenvalue density. The large $N,d$ limit of the degeneracies reveals a key role for ribbon graph combinatorics. The caloric fold is also notably a property of black hole thermodynamics in anti-de-Sitter spaces. We propose the spherically symmetric \(SO(d)\) and \(O(d)\) invariant sectors of \(d\)-matrix quantum mechanics as tractable matrix systems for capturing key features of dual descriptions of black-hole thermodynamics.

Dedekind's problem counts monotone Boolean functions, equivalently downsets of a Boolean lattice. We recast this enumeration as a finite layer-ratio reconstruction problem for the Whitney numbers of the ranked ideal lattice. An exact adjacent-layer double count expresses each layer ratio through local averages of the number of addable elements and the number of removable elements. Reversible fixed-layer Markov chains estimate these averages and hence estimate the Dedekind number M(n). Backtests at M(8) and M(9) calibrate seed-level variability under the fixed protocol and measure the observed Monte Carlo budget scaling. The resulting estimate probes the Whitney-number sequence of the ideal lattice. Although these rows have previously been described empirically as unimodal, the high-precision n=9 estimate has a shallow two-shoulder feature around the central rank, contrary to that empirical description; n=11 and n=13 center-window estimates show a larger-contrast analogous pattern. The protocol estimate for M(10) is \[ \widehat M(10)=(8.9360\pm0.0010)\times 10^{78}, \] where the displayed uncertainty is the budget-based forecast scale from the cross-n scaling law under the production budget.

We study Dyck paths refined simultaneously by proper area and water capacity, where water capacity is measured above the path and below its lattice-path upper hull. The finite-height ingredients used in the enumeration are classical bounded-height area-polynomial and continued-fraction objects. The upper-hull decomposition produces a coupled area--capacity substitution, which gives an exact four-variable height expansion with denominator branches indexed by the height levels. The full generating function is asymmetric in the two weights, while the height summands admit a symmetric unreduced denominator representation under interchange of the area and capacity weights. In the open square $0<p,q<1$, we prove that the length radius of $G(x,1,p,q)$ is the minimum of the positive real denominator branches. The proof combines uniform normal convergence of the height expansion below this first branch with a Perron-root representation of the branch locations and an interval log-submodularity theorem for spectral radii of weighted paths. On the diagonal $p=q=s$, the classical Chebyshev specialisation gives explicit branch crossings and a $(1-s)^{2/3}$ branch-envelope accumulation law at the Dyck critical point.

We construct an explicit equivariant quantum Satake map for Grassmannians, which enables us to express their torus-equivariant quantum cohomology in terms of that of projective space. We then consider the exterior algebra of the latter, which admits a canonical identification with a Clifford algebra. We describe the resulting action in several complementary ways: first, from a geometric perspective via push-pull maps, and second, in terms of the shuffle product, which also arises in the simplest cohomological Hall algebra associated with the $A_1$-quiver. Exploiting the Clifford algebra structure, we derive new recurrence relations among equivariant Gromov-Witten invariants, yielding a new method for their computation in terms of Wick's Theorem. As an application, we provide combinatorial proofs of Graham positivity for both equivariant quantum Pieri rules, and in one case extend these results to quantum triple Schubert calculus.

We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.

We study the evaluation of Rényi multi-entropies $S^{(q)}_n$ in Random Tensor Network (RTN) states in the large bond-dimension limit. For the case of Rényi index $n=2$ and arbitrary number of parties $q$, we prove that that multi-entropies are determined by minimal multiway cuts through the network. When the minimal multiway cut is degenerate, we characterize the full minimizer set via compatible families of minimal cuts and give a criterion for all minimizers to come from ordinary cut partitions. For $n=2$, this gives a natural generalization of the minimal cut description of bipartite entanglement to multipartite systems with arbitrarily many parties. For the case of integer $n>2$, we show that the minimal multiway cut conjecture is in general \emph{not true} by providing explicit counter examples for both the single random tensor and for the network built from isometric tilings. We discuss the implication for our results on the multipartite entanglement structures in RTN and holography.

Building on the recently discovered origami-amplituhedron correspondence, we prove that the BCFW (Britto-Cachazo-Feng-Witten) cells triangulate the $m=4$ amplituhedron in full generality at all loop orders, both in momentum and momentum-twistor space. Along the way, we develop two natural "$L$-punctured" extensions of the positive Grassmannian and relate them via T-duality.

We study the space of conformally covariant $n$-point functions of spinning operators using methods from invariant theory, commutative algebra, and combinatorics. We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of $n$-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting formulas for arbitrary integer spins, both with and without Bose symmetry, and discuss a necessary and sufficient condition for the partial conservation operator to lift to a differential operator written in terms of the building blocks. We provide code that generates a basis of three-point structures satisfying these constraints for given values of spins and scaling dimensions.

Lie algebra $\mathfrak{sl}(2)$ can be realised by vector fields on $\mathbb{R}^1\ni x$ with polynomial coefficients $1$, $-2x$, $-x^2$; their Wronskian determinants yield the Lie bracket. Likewise, the monomials $1$, $\ldots$, $x^k/k!$, $\ldots$, $x^N/N!$ span finite-dimensional strong homotopy (SH) Lie algebras with the Wronskians $\mathbf{1} \wedge \partial_x \wedge \ldots \wedge \partial_x^{N-1}$ as the $N$-ary brackets. Over dimension $d=2$ with $\mathbb{R}^2\ni(x,y)$ and for the generalised complete Wronskian $W^{d=2}_{k=1}=\mathbf{1}\wedge \partial_x \wedge \partial_y$ of differential order $k=1$ as the ternary bracket, the finite-dimensional polynomial SH-Lie algebras are spanned by $\langle 1$, $x$, $y$, $p\rangle$ with $p\in\{x^2$, $xy$, $y^2\}$. We explicitly describe all finite-dimensional polynomial SH-Lie algebras $\Bbbk_k[{\boldsymbol{x}}]\subseteq \mathcal{A} \subseteq \Bbbk[x^1,\ldots,x^d]$ (over $\Bbbk=\mathbb{R}$ or $\mathbb{C}$) with the complete generalised Wronskians $W^{d\geqslant 1}_{k\geqslant 1}$ of order $k$ as $N$-ary bracket: $N=\binom{d+k}{d}$. We obtain a factorisation formula for the generalised Vandermonde determinants which show up in the structure constants of the polynomial algebras $\mathcal{A}$.

Consider a symmetric function $\mathcal{C}(x,y)$ on $[0,1]\times[0,1]$ which is twice continuously differentiable up to the boundary, and which satisfies $ \mathcal{C}(x,y)=\mathcal{C}(1-x,1-y)$. Let $A^{(n)} = \big(a^{(n)}_{i,j}\, :\, i,j \in [n]\big)$ be the matrix with entries $a^{(n)}_{i,j}\, =\, \exp(-\mathcal{C}(i/n,j/n))$. Soumik Pal conjectured the asymptotics $$\operatorname{perm}\big(A^{(n)}\big)/n!\sim \exp\big(n Λ[\mathcal{C}]\big)/ \sqrt{\mathcal{D}[\mathcal{C}]}$$ as $n \to \infty$ for known functionals that arise naturally in the context of entropy regularized optimal transport. The functional $Λ[\mathcal{C}]$ is the known large deviation rate function, already proved rigorously by Sumit Mukherjee. It is $\int_{0}^1 \int_0^{1} (α(x)+β(y))\, dx\, dy$ where $α(x)+β(y)$ is chosen such that $ρ(x,y) := \exp(-\mathcal{C}(x,y)-α(x)-β(y))$ has uniform marginals. The algebraic term $\mathcal{D}[c]$ is given by Peter McCullagh's formula for doubly stochastic matrices: $\operatorname{det}_F(I+J-T^*T)$, the Fredholm determinant, where $I$ is the identity on $L^2([0,1])$, $Jf(x) \equiv \int_{0}^1 f(z)\, dz$ (for all $x$) and $Tf(x) = \int_0^1 ρ(x,y) f(y)\, dy$. We prove the conjecture for functions $\mathcal C$ that are constant on blocks, exploiting a well-known Ross Pinsky's combinatorial decomposition of permutations in blocks.