arXiv++ Combinatorics

A collection $B$ of patterns is called inversion monotone if $\mathrm{av}_n^k(B)$, the number of $B$-avoiding permutations of length $n$ with $k$ inversions, is weakly increasing in $n$ for any fixed $k$. In 2012, Claesson, Jelínek and Steingrímsson posed the inversion monotonicity conjecture, which states that the pattern $1324$ is inversion monotone and implies a new upper bound for its Stanley--Wilf limit. We prove that the collections $\{1324, 231\}$ and $\{1324, 2314, 3214, 4213\}$ are inversion monotone via explicit injections. The latter follows from a general procedure for constructing inversion-monotone sets. Our results constitute the first known nontrivial examples of inversion-monotone sets. A key feature of the inversion monotonicity conjecture is that $1324$ has a limit sequence: $\mathrm{av}_n^k(1324)$ is constant in $n$ when $n$ is large. We characterize the sets of patterns that have limit sequences, and determine the limit sequences of all pairs $\{1324, p\}$, where $p$ is a pattern of length four. Connections to various families of integer partitions arise. Finally, we expand on work by Linusson and Verkama (2025) on almost decomposable permutations to determine a broad family of sets containing $1324$ that are inversion monotone under the assumption $n \geq \frac{k+7}{2}$. The method yields an enumeration of $\mathrm{av}_n^k(1324, 1342)$ when $n \geq \frac{k+7}{2}$.

We establish new lower bounds ex(Q_7,C_4)>=304 and ex(Q_8,C_4)>=680 for the maximum number of edges in a C_4-free subgraph of the 7- and 8-dimensional hypercubes, and give a modern computational reproduction of ex(Q_6,C_4)=132. All bounds are witnessed by explicit constructions certified by exhaustive enumeration of all four-cycles (240 for Q_6, 672 for Q_7, 1792 for Q_8). For Q_7 we identify 19866 distinct C_4-free subgraphs on 304 edges and classify them into exactly 20 structural types via their dimension profiles. All Q_7 solutions share a rigid structural core: degree sequence {4^32,5^96}, spectral radius lambda_1 approximately 4.787, and local maximality. For Q_8 we analyse the 680-edge construction and the 681-edge barrier: every non-edge creates at least one C_4, and 1076 independent searches at 681 edges never achieved zero violations. The constructions are found by a two-phase simulated annealing algorithm with Aut(Q_n)-based diversification. For Q_6 we provide an ILP-based proof that ex(Q_6,C_4)<=132. Edge lists, ILP files, and source code are publicly available at https://github.com/minamominamoto/c4free-hypercube

We study the $(q,t)$-enumeration of triangular Dyck paths considered by Bergeron and Mazin. To do so, we introduce the notion of triangular and sim-sym tableaux and the deficit statistic which is a new interpretation of the dinv. We use it to obtain new results and proofs on triangular $2$-partitions and an interesting conjecture for a certain lattice interval $(q,t,r)$-enumeration.

We provide a new proof of a result of Bessenrodt on the relation among the generating series of reversed plane partitions and skew plane partitions, motivated by the geometric DT/PT wallcrossing formula for local curves recently proved by the third author. This also recovers a result of Sagan. We moreover establish various new closed formulas for the weighted enumeration of reversed and skew plane partitions, proving a result dual to a theorem by Gansner, we find a new identity on the generating series counting internal and external hooks of a given Young diagram, and we combine the latter with Bessenrodt's theorem. Finally, we interpret our results as identities in the Fock space via the bosonic/fermionic formalism.

We investigate the minimum number of cliques of orders $3$, $4$, and $5$ needed to cover the edges of $K_{33}$ with zero excess. General covering results yield the lower bound 57. The main result of the paper is that no decomposition of $K_{33}$ into $57$ blocks from $\{K_3,K_4,K_5\}$ exists. Our approach is algorithmic and relies on a layered exact-search pipeline rather than a single monolithic solver. We combine symmetry reduction, enumeration of local signatures, arithmetic profile restrictions, geometric tests for partial configurations, SAT realisation on reduced instances, and final decoding checks. The benchmark comparison shows that this structured approach is substantially more effective than direct ILP, DLX, or SAT formulations on the full problem. As a consequence, we obtain $C^ξ(33,\{3,4,5\},2)\ge 58$. A short additional counting argument further strengthens this to $C^ξ(33,\{3,4,5\},2)\ge 59$. We also give new compressed proofs for the known exceptional cases $K_{18}$ and $K_{19}$ in the setting of $\{K_3,K_4\}$-decompositions, illustrating the same combination of theoretical reduction and exact computation. Finally, we explain the relevance of the $K_{33}$ result to the open packing problem of determining the packing number $D(33,5,2)$. A packing of $51$ copies of $K_5$ in $K_{33}$ would leave a $4$-regular graph on $9$ vertices, and our exclusion already rules out two natural candidate leave structures.

Supersymmetric sectors of $\mathcal{N}=4$ super-Yang-Mills theory motivate the study of the partition function for the counting of gauge-invariant functions of $d=2,3$ matrices transforming under the adjoint action of $U(N)$. The partition function $ \mathcal{Z}_d ( x) $ in the large $N$ limit has a known Hagedorn phase transition at $ x = d^{-1} $ which provides a simple model for the phase structure of the thermal partition function of SYM. We study the all-orders asymptotic expansion of $ \mathcal{Z}_d(x)$ based on a geometric picture of concentric circles of poles in the complex plane accumulating in a natural boundary at $|x| =1$. We find that the order by order structure has a precise combinatorial interpretation organized in terms of increasing cycle size of permutations arising in the enumeration of the invariants. We refer to this organization as small-cycle dominance, and find that it extends to refined versions of the partition functions depending on several complex variables. An analysis of the coefficients in the asymptotic expansion of $ \mathcal{Z}_d(x) $ using the modular property of the Dedekind eta function reveals that the asymptotic expansion is actually convergent for $d\ge d_{ \rm crit } = 13$. A fermionic version of $\mathcal{Z}_d (x)$ has an analogous critical dimension of $ d_{ \rm crit} = 7$. This distinction indicates that the partition functions of the matrix models can be completely reconstructed from their high-energy (UV) limit for $d\ge d_{ \rm crit}$ whereas additional input is required to reconstruct the exact coefficients of the low-energy (IR) expansion for $2\le d \le d_{ \rm crit } -1 $.

The cyclic sieving phenomenon was introduced by Reiner, Stanton and White in 2004 as a generalization of Stembridge's $q=-1$ phenomenon. In a paper from 2008, Eu and Fu studied many occurrences of this phenomenon on the faces of the generalized cluster complex with the action of the Fomin-Reading rotation in the classical types $A_n$, $B_n$, $D_n$ and $I_2(k)$. There was yet no known uniform $q$-analogue of the $k$-face numbers of these complexes. In a more recent paper from 2023, Douvropoulos and Josuat-Vergès provided a refinement of the enumeration of the faces of the generalized cluster complex using a uniform formula. For a parabolic subgroup $W_X \subset W$ of the associated Coxeter group $W$, their formula factorises nicely under the assumption that $N_W(W_X)/W_X$ acts as a reflection group on $X$, which is very often the case. Using this condition, we provide a uniform refinement of these cyclic sieving phenomena using a $q$-analogue of their main formula with a type by type proof based on the classification of finite irreducible Coxeter groups.

In this paper, we extend the enumerative study of planar hypermaps with an alternating boundary introduced in an earlier work of Bouttier and the second author. In that article, an explicit rational parametrization was obtained for the associated generating function in the case of m-constellations, using a variant of the kernel method. We develop here a new strategy to obtain an algebraic equation in the general case, which includes maps decorated by the Ising model, through a classical many-to-one correspondence. One of the main steps of our strategy is the simultaneous elimination of two catalytic variables. We then apply this strategy to the case of Ising quadrangulations, where we obtain an explicit rational parametrization. As a consequence, we show that some notable properties of the constellations case are no longer satisfied in general.

Graph states are a key resource for measurement-based quantum computation and quantum networking, but state-preparation costs limit their practical use. Graph states related by local complement (LC) operations are equivalent up to single-qubit Clifford gates; one may reduce entangling resources by preparing a favorable LC-equivalent representative. However, exhaustive optimization over the LC orbit is not scalable. We address this problem using the split decomposition and its quotient-augmented strong split tree (QASST). For several families of distance-hereditary (DH) graphs, we use the QASST to characterize LC orbits and identify representatives with reduced controlled-Z count or preparation circuit depth. We also introduce a split-fuse construction for arbitrary DH graph states, achieving linear scaling with respect to entangling gates, time steps, and auxiliary qubits. Beyond the DH setting, we discuss a generalized divide-and-conquer split-fuse strategy and a simple greedy heuristic for generic graphs based on triangle enumeration. Together, these methods outperform direct implementations on sufficiently large graphs, providing a scalable alternative to brute-force optimization.

Juggling patterns can be mathematically modeled as closed walks within directed state graphs. In this paper, we present a unified framework of unbounded juggling patterns and its variations (including multiplex, colored, and passing) primarily through the formalism of the juggling state. By extending this state-based approach and utilizing combinatorial tools such as set partitions and filled Ferrers diagrams, we find and prove a new lower bound on the number of $b$-ball prime patterns with period $n$. Further, we determine exact counts for 2-ball multiplex, 1-ball passing, and 2-ball colored juggling patterns, as well as a lower bound for 2-ball passing. We also provide an extensive analysis of the asymptotic growth rates for these pattern counts. Finally, we formalize the infinite state graph, $G_\infty$, and utilize flip-reverse involutions to establish bijections between classes of prime patterns, exploring how fixing a specific state influences the enumeration of prime walks.

We investigate the Drazin invertibility of adjacency matrices associated with a class of oriented graphs known as oriented Dutch windmill graphs. By analyzing walks of prescribed lengths and exploiting the structure of the minimal polynomial, we obtain explicit expressions for the Drazin inverse and determine its index. The approach combines combinatorial enumeration with algebraic matrix analysis, offering a constructive characterization that generalizes known results for paths, cycles, and bipartite graphs. Beyond its intrinsic theoretical value, the framework provides insight into discrete models governed by cyclic feedback and may serve as a basis for symbolic computation of generalized inverses in structured networks.

We generalize well-known bijections between alternative tableaux and permutations to bijections between rhombic alternative tableaux (RAT) and assemblées of permutations. We show how these various bijections are connected. As a consequence, we find a refined enumeration formula for RAT. One of our bijections carries many statistics from RAT to assemblées; notably, it sends the number of free cells to the number of crossings, which answers a question of Mandelshtam and Viennot. We also find an $r!$-to-$1$ map from marked Laguerre histories to assemblées, answering a question of Corteel and Nunge.

The subtour relaxation of the traveling salesman problem (TSP) plays a central role in approximation algorithms and polyhedral studies of the TSP. A long-standing conjecture asserts that the integrality gap of the subtour relaxation for the metric TSP is exactly 4/3. In this paper, we extend the exact verification of this conjecture for small numbers of vertices. Using the framework introduced by Benoit and Boyd in 2008, we confirm their results up to n=10. We further show that for n=11 and n=12, the published lists of extreme points of the subtour polytope are incomplete: one extreme point is missing for n=11 and twenty-two extreme points are missing for n=12. We extend the enumeration of the extreme points of the subtour polytope to instances with up to 14 vertices in the general case. Restricted to half-integral vertices, we extend the enumeration of extreme points up to n=17. Our results provide additional support for the 4/3-Conjecture.

The $n$-dimensional lattice polytopes $\mathcal{Q}_{n,k}$ obtained by intersecting the $n$th dilate of the standard $n$-dimensional simplex in $\mathbb{R}^n$ with the half-spaces $x_i \le 1$ for $1 \le i \le k$ form an interesting special case of Chapoton's arbor polytopes. They interpolate between the $n$th dilate of the standard $n$-dimensional simplex and the standard $n$-dimensional cube in $\mathbb{R}^n$. This paper provides an explicit combinatorial interpretation of the $h^\ast$-polynomial of $\mathcal{Q}_{n,k}$, as the ascent enumerator of certain words, and partly confirms some of Chapoton's conjectures on the lattice point enumeration of arbor polytopes in this special case. More specifically, the Ehrhart polynomial of $\mathcal{Q}_{n,k}$ is shown to be magic positive, by means of a new combinatorial parking model for cars, and the real-rootedness of its $h^\ast$-polynomial is deduced. The polynomial whose coefficients count the lattice points of $\mathcal{Q}_{n,k}$ by the number of their nonzero coordinates is shown to be gamma-positive and a combinatorial interpretation of the $h^\ast$-polynomial of any arbor polytope is conjectured.

Stanley's theorem establishes that for any finite graph $G$, the number $h_G(s)$ of magic labelings with magic sum $s$ can be expressed as a sum of two polynomials in $s$. However, determining the precise form of $h_G(s)$ is generally challenging. This paper aims to compute $h_G(s)$ and its generating function for pseudo-line graphs and pseudo-cycle graphs, thereby extending the earlier work of Bóna et al.\cite{Bona-1,Bona}.

We study mathematical discovery through the lens of neurosymbolic reasoning, where an AI agent powered by a large language model (LLM), coupled with symbolic computation tools, and human strategic direction, jointly produced a new result in combinatorial design theory. The main result of this human-AI collaboration is a tight lower bound on the imbalance of Latin squares for the notoriously difficult case $n \equiv 1 \pmod{3}$. We reconstruct the discovery process from detailed interaction logs spanning multiple sessions over several days and identify the distinct cognitive contributions of each component. The AI agent proved effective at uncovering hidden structure and generating hypotheses. The symbolic component consists of computer algebra, constraint solvers, and simulated annealing, which provides rigorous verification and exhaustive enumeration. Human steering supplied the critical research pivot that transformed a dead end into a productive inquiry. Our analysis reveals that multi-model deliberation among frontier LLMs proved reliable for criticism and error detection but unreliable for constructive claims. The resulting human-AI mathematical contribution, a tight lower bound of $4n(n{-}1)/9$, is achieved via a novel class of near-perfect permutations. The bound was formally verified in Lean 4. Our experiments show that neurosymbolic systems can indeed produce genuine discoveries in pure mathematics.

Weil-Petersson and Masur-Veech volumes measure the sizes of moduli spaces of Riemann surfaces equipped with hyperbolic and flat metrics, respectively. Over the past several decades, the computation of these volumes has inspired remarkable developments in combinatorial enumeration, intersection theory, and recursion relations. In this survey, we review key results, methods, open problems, as well as interesting parallels that emerge in the approaches to computing both types of volumes.

The composition $\mathcal{F} \circ \mathcal{G}$ of two combinatorial classes $\mathcal{F}$ and $\mathcal{G}$ is a standard combinatorial construction and translates into the composition $F(G(z))$ of their corresponding counting generating functions. Such a composition is called critical if $G(ρ_G) = ρ_F$, where $ρ_F$ and $ρ_G$ denote the corresponding radii of convergences of $F$ and $G$, respectively. In this case, both the singular behaviours of $F$ and $G$ influence that of $F\circ G$. Such critical decomposition schemes appear quite frequently in the context of map enumeration. For example by using the block-decomposition one has $M(z) = B(z(1+M(z))^2)$ and $ρ_B = ρ_M (1+M(ρ_M))^2$, where $M(z)$ denotes the generating series of all rooted planar maps and $B(y)$ the generating series of $2$-connected rooted planar maps. This can be extended to multivariate generating functions by taking several statistics into account, for example face counts. Since critical composition schemes show (usually) a condensation phenomenon -- in the above situation this means that there is giant $2$-connected block of linear size and linearly many small blocks -- it is very plausible that statistical properties on $2$-connected maps transfer to corresponding properties of all maps and back. The purpose of the present paper is to make this precise on the level of the singular structure of the corresponding multivariate generating functions. In particular we show that moving $3/2$-singularities transfer. Since such kind of singularities are closely related to central limit theorems of the corresponding statistics this methods provides also a kind of transfer of central limit theorems. Actually this method is quite flexible and is applied to a variety of face and pattern counting statistics in map enumeration.

Arrow patterns were introduced by Berman and Tenner as a generalization of vincular patterns. They observed that arrow patterns have the potential to bridge the divide between a permutation's cycle notation and its one-line notation; in support of this, they used arrow avoidance to enumerate shallow and cyclic shallow permutations. More recently, $321$-avoiding cyclic permutations were recharacterized entirely in terms of arrow avoidance. Motivated by these results, we initiate a systematic study of arrow avoidance. In this paper, we prove structural results about arrow patterns, including defining arrow-Wilf equivalence, and enumerate several arrow avoidance classes. Finally, we consider the avoidance of pairs of arrow patterns, focusing on cases that prohibit fixed points in the underlying permutation.

Partially ordered patterns (POPs) play an important role in the study of permutation patterns, providing a convenient framework for describing large families of classical patterns. The problem of enumerating permutations that avoid POPs has therefore attracted considerable attention in the literature. In particular, Gao and Kitaev resolved many counting problems for POP-avoiding permutations of lengths 4 and 5, linking the enumeration to a wide range of other combinatorial objects. Motivated by their work, we initiate the study of permutations that simultaneously avoid two POPs belonging to the class of flat POPs. We establish a connection between permutations avoiding such POPs and the $k$-Fibonacci numbers. Moreover, we provide a bijection between permutations avoiding these POPs and certain restricted permutations, which allows us to use the method developed by Baltić to derive the generating function for permutations avoiding these POPs. Finally, we obtain enumerative results for separable permutations avoiding these two POPs, of lengths up to 5, with respect to six statistics, thereby extending the results of Gao et al. on the avoidance of a single flat POP in separable permutations. Notably, when both patterns are of length 5, the respective generating function is a rational function, with the sum in the numerator (resp., denominator) containing 293 (resp., 17) monomials.