arXiv++ Combinatorics

We characterize central limit theorems for polynomial linear statistics of continuous $N$-particle systems on $\mathbb R$, in both the fixed-temperature regime $θ=β/2>0$ and the high-temperature regime $Nθ\toγ>0$. In each regime, we give necessary and sufficient conditions in terms of the coefficients of the logarithmic Bessel generating function, together with an explicit combinatorial formula for the limiting covariance. At fixed temperature, this formula recovers the classical second-order free moment--cumulant relation, up to the factor $1/θ$; at high temperature, it yields new second-order free $γ$-cumulants and their covariance relations. The proof combines moment extraction through Dunkl operators with a topological expansion of the logarithmic multivariate Bessel function indexed by ribbon graphs on surfaces. This expansion gives a topological interpretation of the free-cumulants: only genus zero contributes at fixed temperature, whereas arbitrarily high genera contribute at high temperature. As applications, we prove that $β$-addition preserves the CLT in both regimes and determine its limiting covariance from the input free cumulants, and establish a suitably rescaled transition from the high-temperature covariance to its fixed-temperature counterpart as $γ\to\infty$.

We study the random Euclidean Maximum Traveling Salesman Problem: finding a Hamiltonian cycle of maximal total cost through any set of $N$ cities on a line, where each edge cost is a function of its Euclidean length. We characterize the maximizing cycles for convex increasing, concave increasing, and convex decreasing cost functions. For points sampled independently and uniformly from the unit interval, we derive explicit expressions for the average maximal cost for arbitrary $N$ and asymptotic expansions with power-law edge costs.

We study Macdonald operators associated to classical root systems of types $B_N$, $C_N$, and $D_N$. We provide explicit formulas for decomposing the cumulative action of these operators as the sum of the actions of lower-rank operators and auxiliary operators. We also discuss the same idea in the elliptic case, also known as Ruijsenaars operators, and show that under the trigonometric limit, the identity reduces to type-$A_N$ decomposition.

We develop a Hopf-algebraic theory of graph coefficients arising in the quantum Magnus expansion. At the classical level, the expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and several types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these diagrams and closed under contraction. On this algebra we define a character $e$ from normalized linear-extension data, directed-tadpole factors, and a prescription for undirected edges, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite mixed quiver, expressed as a finite sum over ordered set partitions of the vertices. We also construct a weighted vertex-splitting Hopf structure on the unlocalized mixed-quiver algebra, with convolution $\star_V$ and canonical edge-weight character $ζ_V$, such that $ω_c=\log_{\star_V}ζ_V$. Compatibility of the two coproducts and an explicit identity between their characters explain this equality. We further prove that the two-vertex contraction identity, tadpole factorization, vanishing on disconnected graphs, and boundary data uniquely determine $ω_c$. For acyclic quivers, the formula reduces to a permutation formula with coefficients depending only on descent numbers. We derive this formula independently from the quantum Magnus expansion using operator products and Wick contractions, showing that the physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. Further consequences include a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.

We consider independent long-range percolation models on locally finite vertex-transitive graphs. Using coupling ideas we prove strict monotonicity of the critical points with respect to local perturbations in the connection function, thereby improving upon previous results obtained via the classical essential enhancement method of Aizenman and Grimmett in several ways. In particular, our approach allows us to work under minimal assumptions, namely shift-invariance and summability of the connection function, and it applies to both undirected and directed bond percolation models.

We find necessary and sufficient conditions for the Law of Large Numbers for random discrete $N$-particle systems with the deformation (inverse temperature) parameter $θ$, as their size $N$ tends to infinity simultaneously with the inverse temperature going to zero. Our conditions are expressed in terms of the Jack generating functions, and our analysis is based on the asymptotics of the action of Cherednik operators obtained via Hecke relations. We apply the general framework to obtain the LLN for a large class of Markov chains of $N$ nonintersecting particles with interaction of log-gas type, and the LLN for the multiplication of Jack polynomials, as the inverse temperature tends to zero. We express the answer in terms of novel one-parameter deformations of cumulants and their description provided by us recovers previous work by Bufetov--Gorin [Geom. Funct. Anal. 25 (2015), no. 3, 763-814] on quantized free cumulants when $θ=1$, and by Benaych-Georges--Cuenca--Gorin [Comm. Math. Phys. 394 (2022), no. 2, 735-795] after a deformation to continuous space of random matrix eigenvalues. Our methods are robust enough to be applied to the fixed temperature regime, where we recover the LLN of Huang [Adv. Math. 380 (2021), Paper No. 107545, 91].

In this paper, we investigate the relation between t-embeddings and T-graphs associated with the same weighted planar bipartite graph. We prove that, given such a T-graph, the corresponding t-embeddings are classified by positive stationary measures on this T-graph and describe a reconstruction procedure of the t-embedding given such a measure. As an application, we develop an approach for constructing t-embeddings of arbitrary sufficiently non-degenerate planar bipartite graphs.

We separate the generic positive-mass finiteness problem for planar six-body central configurations from finiteness on exceptional mass loci. The Chang--Chen diagram enumeration has 117 graphs. The arguments below confine 40 first-limit diagram obligations to proper necessary mass loci. In particular, a direct function-field argument establishes the No.~66 mass condition for both zero and nonzero drift. We establish the algebraic reduction from an infinite positive family to a germ with an unbounded seven-product, and use the stated diagram rules and computational certificates to confine its mass vector to the union of these loci. Finiteness on the exceptional positive mass loci, the proposed subject of Part II, will be discussed in another paper.

We consider quantum A-periods of local ${\mathbb P}^1 \times {\mathbb P}^1$, or equivalently the generating function of constant terms for powers of the Laurent polynomial $x + x^{-1} + y + y^{-1}$ where $x$ and $y$ are $q$-commuting variables. We derive a number of new representations for these rich combinatorial and algebraic objects. First, we find that the well-known TBA equation encodes not only the A-period itself but also higher diagonal modes of the corresponding noncommutative Laurent polynomials. Second, we obtain new formulas for the period in terms of continued fractions and related orthogonal polynomials, as well as a nontrivial explicit recursion allowing its efficient computation. Finally, we compute quantum corrections to the classical Picard-Fuchs equation, and observe that holonomicity of the classical period does not generalise to $q$-holonomicity of its quantum counterpart. Applications to random walks on the Cayley graph of the Heisenberg group, and related new approaches to more efficient generative AI systems, are outlined.

We introduce a quadratic ancestor inequality for weighted spanning trees on finite undirected graphs and give two applications. First, for every finite $n$-vertex transitive graph, the expected distance in its uniform spanning tree (UST) between two independent uniform vertices is at least $\sqrt{n}-1$, resolving a conjecture in [Benjamini--Kozma, Comm. Math. Phys. 259 (2005), 257--286]. Second, we prove that the growth exponent of three-dimensional loop-erased random walk (LERW) is at least 3/2.

We construct simple plane triangulations whose chromatic polynomials have real roots accumulating at every noninteger Beraha number $B_\ell=4\cos^2(π/\ell)$; the integer values $0,1,2,3$ are roots of $K_4$. The construction rests on the observation that a triangulated disk with four boundary vertices acts, inside a larger triangulation, as a transfer operator lying in a commutative three-parameter algebra. Rotating such disks by a quarter turn and composing them in series moves their eigenvalue triples around this algebra in a controllable way, and for every fixed $q\in(B_{10},4)$ one can manufacture a finite disk whose two competing local eigenvalues are strictly dominated by the third -- a physical filter. Closing a grid of such disks between two poles produces a sphere triangulation, and a fused Temperley-Lieb trace identity accounts for its chromatic polynomial completely, sector by sector, with no appeal to semisimplicity at the root of unity itself -- generic semisimplicity enters only through polynomial identities continued from $δ>2$ -- and no singular higher Jones-Wenzl projectors. In the one-cap sector a Krein-type argument shows that every sweep word has exactly one expanding eigenvalue; Gram-form inertia controls every other sector uniformly in the width. At odd Beraha indices the trace coefficient of the expanding eigenvalue vanishes; at even indices two copies of that eigenvalue cancel between adjacent sectors, and a short real-variable lemma converts either situation into genuine real roots converging to the target. Indices below eleven are treated by elementary families, exact outward-rounded integer certificates, and one explicit disk at $B_{10}$ combined with Tutte's golden identity. All graphs are ordinary, simple, unweighted plane triangulations.

We establish topological recursion for the spin enumeration of hypermaps, or, in the dual language, spin dessins d'enfants. This problem has remarkable features distinguishing it from other applications of topological recursion to enumerative combinatorics. First, the spectral curve is elliptic rather than rational, as in most cases studied before. Second, it contains degenerate ramification points, and one has to apply a version of degenerate topological recursion. Finally, the meromorphic correlator differentials have "moving" poles on the antidiagonals between pairs of distinct arguments, and one has to adjust the loop equations to this kind of degeneracy as well. The computations involve concepts of different kinds, such as BKP integrability, Gaussian integrals, the x-y swap, and symplectic duality.

Kemp and Ramgoolam proposed a basis of monomials for a commutative semisimple algebra with generators \(C_1,\ldots, C_L\), constructed from a degeneracy graph which records how the eigenspaces of \( C_1\) are successively split by \( C_2,\ldots, C_L\). They showed that the basis property is equivalent to the non-vanishing of the determinant of the matrix of values of these monomials on the projector basis, and conjectured a factorised formula for this determinant, as a product of powers of eigenvalue differences. We prove this formula for any number of generators. The proof uses graph analogues of Newton polynomials. Their evaluation matrix is not triangular in general, but expanding the rows of the children of each node of the penultimate layer in a Newton basis of their eigenvalues makes it block triangular, with diagonal blocks given by smaller degeneracy graphs in which the final layer is removed. The formula then follows by induction on the number of layers. We show that the exponents in the determinant are overlap volumes of higher-dimensional Young diagrams attached to the nodes of the graph: intervals, ordinary Young diagrams, plane partitions and their higher analogues. Finally, the block triangular structure gives an explicit recursive inversion of the evaluation matrix, expressing the projectors in the monomial basis.

A recent graph-theoretic criterion for a Hamiltonian to exhibit a free-parafermion spectrum is that its frustration graph be an indifference graph. We show that an arbitrary finite indifference graph can be realized as a frustration graph of the quantized six-vertex model at odd roots of unity, by a suitable choice of the defining wiring diagram and parameters. This provides a concrete realization of the criterion through the quantum Frobenius property of the quantized six-vertex model, recently established from its three-dimensional integrable structure.

We consider spin-coupled Grover walks on hypercubes within the framework of quantum Bernoulli noises (QBN). We identify parity-dependent harmonic subspaces generated by the central Hamming layers: in even dimension they give a fixed-point subspace, whereas in odd dimension the walk reduces on the harmonic subspace to an explicit eight-dimensional reduced dynamics. Using symmetric-group representation theory, we characterize the corresponding isotypic structure and determine the reduced spectrum. The harmonic reduction also yields explicit long-time probability behavior and shows that the resulting states may occupy an asymptotically vanishing fraction of the hypercube while still spanning its full Hamming diameter.

We introduce and study trigonometric weight functions of type $B$ and type $C$ arising from integrable lattice models. These functions give $q$-deformations of the factorial $K$-theoretic Schur $P$- and $Q$-functions of Ikeda and Naruse, with the $P$-functions specialized to the type $B$ case. We realize them as specializations of partition functions of a six-vertex model with triangular boundary conditions and derive their algebraic properties using the Yang-Baxter equation and properties of the $R$- and $K$-matrices. We introduce normalized weight functions and establish diagonal evaluation formulas, divisibility properties, and bounds on Newton polytopes analogous to those in type $A$, together with recursive relations and stability. We further derive branching formulas relating these functions to type $A$ weight functions, and prove equal-cardinality orthogonality and all-cardinality biorthogonality relations.

We study quantum-assisted balanced rendezvous on the $d$-dimensional hypercube in a one-step two-agent quantum-walk framework, where the two agents move the same Hamming distance and meet at a common midpoint. The key structure is a projective $t$-sphere resolution, which governs exact finite-dimensional quantum attainment. Its scalar analogue recovers the corresponding classical characterization. We characterize finite-dimensional quantum attainment of the no-signalling benchmark, construct quantum strategies from projective sphere resolutions, and establish a rigidity theorem for optimal finite-dimensional strategies. A marked difference appears between nearest-neighbor and higher-cardinality updates: quantum advantage can occur in the former, whereas in the latter the geometry of the relevant Hamming spheres rules out exact finite-dimensional attainment of the no-signalling value. Together, these results connect quantum-walk dynamics, Hamming-sphere geometry, and quantum rendezvous within the quantum Bernoulli noises (QBN) framework.

We discover a family $A$ of statistics on fillings of any given Young diagram and prove new combinatorial formulas for modified Macdonald polynomials, that is, $$\widetilde{H}_λ(X;q,t)=\sum_{σ\in T(λ)}x^σt^{maj(σ)}q^{η(σ)}$$ for each statistic $η\in A$. Building upon this new formula, we establish four compact formulas for the modified Macdonald polynomials, namely, $$\widetilde{H}_λ(X;q,t)=\sum_σd_{\varepsilon}(σ)x^σt^{maj(σ)}q^{η(σ)},$$ which are summed over all canonical or dual canonical fillings of a Young diagram, where $d_{\varepsilon}(σ)$ is a product of $q$-multinomials. Finally, the compact formulas enable us to derive four explicit expressions for the monomial expansion of modified Macdonald polynomials, one of which coincides with the formula due to Garbali and Wheeler (2020), obtained by making extensive use of the Yang-Baxter integrability approach.

We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, use Butcher trees to compute the Taylor series of a solution of a Hamilton-Jacobi equation on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.

Which pure states give uniform outcomes in several mutually unbiased measurements, and when can they form another measurement basis? We distinguish common unbiased states, their orthonormal completion, and further extension. For a displayed phase-deformed Fourier pair in dimension $2m$, a clock symmetry and skew antiunitary complete every prescribed common unbiased state to an explicit orthonormal basis. In dimension six, an amplitude-profile obstruction proves strong unextendibility of a given mutually unbiased triple when its original third-basis rays are invariant under the ternary clock. We give an exact nonproduct example and an application to a companion whose columns are localized at single Fourier frequencies. For every exact Hadamard matrix in a specified closed entrywise neighborhood of a fixed reference matrix, the coordinate and Hadamard bases have exactly 48 common unbiased rays but no third measurement basis, with a quantitative lower bound on the squared Gram defect of every six-column candidate. We also study auxiliary complex equations for common states, retaining algebraic multiplicities. For a flat unitary of order six with all $3\times3$ minors nonzero, the projective ray scheme is finite; each singular two-minor contributes two reduced isolated boundary points, and the affine coordinate algebra is finite-dimensional over $\mathbb{C}$. In every order, a critical-algebra identity preserves multiplicities; in dimension six it gives finiteness for a fixed phase fibre. Specialization over a discrete valuation ring controls complete reciprocal-orthogonal collections. A nonphysical Tao/Potts collection separates algebraic from physical solutions. These results do not determine the global maximum number of mutually unbiased bases or classify all triples.