arXiv++ Combinatorics

Let $x_0(q)=-ξ_0(q)$ be the leading formal root of $Θ_0(x,q)=\sum_{n\geq0}x^nq^{\binom n2}$. I give here explicit combinatorial interpretations of the positive integer coefficients of $ξ_0(q)=1+q+2q^2+4q^3+9q^4+\cdots$ in terms of rooted trees enriched by stack polyominoes or certain Ferrers diagrams, weighted by total area. The two enrichments may be chosen independently at each level of the tree. A decomposition along the first-child path gives a combinatorial interpretation of $1-ξ_0^{-1}$. By reserving two successor slots at the root, I also obtain an interpretation of $1-ξ_0^{-2}$ and its zero coefficient in degree three. The sequence decomposition gives a Lyndon-word interpretation of the Euler-product exponents and proves their positivity and weak monotonicity. Finally, I derive the coefficient asymptotic $[q^n]ξ_0(q)\sim ξ_0(ρ)ρ^{-n}n^{-3/2}/(2\sqrtπ)$, where $ρ$ is the radius of convergence. The tree models are equinumerous with the braid classes studied by Flores and González-Meneses.

Fix one colour class in the checkerboard colouring of an $n\times n$ integer grid, and let $M_4(n,\varepsilon)$ be the largest subset having at most two points in every row, column, and diagonal of slopes $\pm1$. We prove the near-saturation bound $M_4(n,\varepsilon)\leq2n-4$ for $n\geq6$. The proof uses first and second moments of the four line families: a hypothetical set of size $2n-3$ produces row, column, and diagonal deficits whose exact moment identities contradict Cauchy--Schwarz. A finite argument handles $n=6$. The same identity extends to arbitrary deficit multisets. It gives $M_4(n,\varepsilon)\leq2n-d$ whenever $d\geq4$ is an integer and $n\geq3d-4$, and an entirely discrete asymptotic estimate \[ M_4(n,\varepsilon)\leq(\sqrt{21}-3)n+8. \] We also prove a general continuum-to-discrete theorem for the associated four-direction fractional packing problem. Applying it to the exact continuum dual certificate constructed in earlier work yields, for both colours, \[ L_{\mathrm{mono}}(n,\varepsilon)\leqαn+O(1), \qquad α\approx1.5768233968738, \] and hence the same upper bound for $M_4$ and for checkerboard no-three-in-line sets.

The classical no-three-in-line problem asks for the largest number $D(n)$ of points that can be chosen from an $n\times n$ grid with no three collinear; it remains open whether the elementary upper bound $2n$ is always attainable. We study a checkerboard-restricted variant in which all chosen points are monochromatic under the colouring of the grid by the parity of $x+y$. If $D_{\mathrm{mono}}(n)$ denotes the largest number of monochromatic points with no three collinear, the monochromatic diagonals already give $D_{\mathrm{mono}}(n)\le 2n-2$. The main object of the paper is a four-direction linear-programming relaxation on a fixed colour class, using rows, columns and the two diagonal families of slopes $\pm1$. For the ordinary square-grid problem this relaxation gives the trivial bound; on the checkerboard it is substantially tighter, and for $2\le n\le 16$ its floor agrees with the exact single-colour optimum except at four side lengths, where the gap is one. After symmetry reduction the dual relaxation has three one-dimensional reduced forms, according to the parity of $n$ and the chosen colour class. The central construction is an exact continuum dual certificate for the continuum problem associated with the scaled symmetry-reduced odd-fat case: explicit nonnegative functions $A$ and $B$ satisfying the continuum obstacle inequalities, with objective value the middle real root $α\approx1.5768$ of $401α^3-1744α^2+2240α-768=0$. Combined with a continuum-to-discrete sampling theorem of Aujla, Prellberg and Sandhu, this certificate yields the asymptotic upper bound $D_{\mathrm{mono}}(n)\leαn+O(1)$. Finite LP computations are consistent with $α$ as the exact limiting slope of the relaxation, and the exact small-$n$ data suggest, more speculatively, that the true checkerboard optimum tracks the same scale.

Let $Γ$ be the Cayley graph of Thompson's group $F$ with its standard generators. Belk and Brown constructed finite marked-forest subgraphs of limiting density $7/2$, and Guba showed that deleting certain low-degree vertices gives density greater than $3.5004$. We refine this approach in two directions. First, a deterministic interval-deletion rule followed by root-sensitive triple and pair deletions yields finite induced subgraphs with \[ \operatorname{dens}(Γ)>3.50074529. \] The interval rule is evaluated by a nine-state recurrence, while the simultaneous deletion conditions created by split and merge operations are computed exactly by a common-suffix first-passage argument. Second, we determine the joint distribution of the categories of a tree and its two children and reduce optimization over every fixed category-window retention rule to a weighted densest-subgraph problem. An explicit edge-allocation certificate shows that, for every fixed $a\ge0$, the optimal limiting density of a rule depending on the window $[-a,1]$ is exactly $7/2$. Thus arbitrary finite left context together with one right-hand category does not improve the Belk--Brown limit, whereas the root-sensitive whole-segment construction does. All constants are explicit elements of $\mathbb Q(\sqrt3,\sqrt{2\sqrt3-1})$.

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.

Using a constraint satisfaction approach, we exhibit configurations of $2n$ points on the $n\times n$ grid for all $n\le60$ with no three collinear. Consequently, the smallest $n$ for which it is unknown whether $D(n)=2n$ increases from $47$ to $61$.

In this work, we establish a general relationship between the enumeration of weighted directed paths and skew Schur functions, extending work by Bousquet-Mélou, who expressed generating functions of discrete excursions in terms of rectangular Schur functions.

We enumerate height-restricted path diagrams associated with $q$-tangent and $q$-secant numbers by considering convergents of continued fractions, leading to expressions involving basic hypergeometric functions. Our work generalises some results by M. Josuat-Vergés for unrestricted path diagrams [European Journal of Combinatorics 31 (2010) 1892].

We consider a generalised version of Motzkin paths, where horizontal steps have length $\ell$, with $\ell$ being a fixed positive integer. We first give the general functional equation for the area-length generating function of this model. Using a heuristic ansatz, we derive the area-length scaling behaviour in terms of a scaling function in one variable for the special cases of Dyck, (standard) Motzkin and Schröder paths, before generalising our approach to arbitrary $\ell$. We then derive an expression for the generating function of Schröder paths and analyse the scaling behaviour of this function rigorously in the vicinity of the tri-critical point of the model by applying the method of steepest descents for the case of two coalescing saddle points. Our results show that for Dyck and Schröder paths, the heuristic scaling ansatz reproduces the rigorous results.

Using the generalized method of steepest descents for the case of two coalescing saddle points, we derive an asymptotic expression for the bivariate generating function of Dyck paths, weighted according to their length and their area in the limit of the area generating variable tending towards 1. The result is valid uniformly for a range of the length generating variable, including the tricritical point of the model.

We consider walks on a triangular domain that is a subset of the triangular lattice. We then specialise this by dividing the lattice into two directed sublattices with different weights. Our central result is an explicit formula for the generating function of walks starting at a fixed point in this domain and ending anywhere within the domain. Intriguingly, the specialisation of this formula to walks starting in a fixed corner of the triangle shows that these are equinumerous to two-coloured Motzkin paths, and two-coloured three-candidate Ballot paths, in a strip of finite height.

It is known that both the number of Dyck paths with $2n$ steps and $k$ peaks, and the number of Dyck paths with $2n$ steps and $k$ steps at odd height follow the Narayana distribution. In this paper we present a bijection which explicitly illustrates this equinumeracy. Moreover, we extend this bijection to bilateral Dyck paths. The restriction to Dyck paths preserves the number of contacts.

Area-weighted Dyck-paths are a two-dimensional model for vesicles attached to a wall. We model the mechanical response of a vesicle to a pulling force by extending this model. We obtain an exact solution using two different approaches, leading to a q-deformation of an algebraic functional equation, and a q-deformation of a linear functional equation with a catalytic variable, respectively. While the non-deformed linear functional equation is solved by substitution of special values of the catalytic variable (the so-called "kernel method"), the q-deformed case is solved by iterative substitution of the catalytic variable. Our model shows a non-trivial phase transition when a pulling force is applied. As soon as the area is weighted with non-unity weight, this transition vanishes.

We define $(k,\ell)$-restricted Lukasiewicz paths, $k\le\ell\in\mathbb{N}_0$, and use these paths as models of polymer adsorption. We write down a polynomial expression satisfied by the generating function for arbitrary values of $(k,\ell)$. The resulting polynomial is of degree $\ell+1$ and hence cannot be solved explicitly for sufficiently large $\ell$. We provide two different approaches to obtain the phase diagram. In addition to a more conventional analysis, we also develop a new mathematical characterization of the phase diagram in terms of the discriminant of the polynomial and a zero of its highest degree coefficient. We then give a bijection between $(k,\ell)$-restricted Lukasiewicz paths and "rise"-restricted Dyck paths, identifying another family of path models which share the same critical behaviour. For $(k,\ell)=(1,\infty)$ we provide a new bijection to Motzkin paths. We also consider the area-weighted generating function and show that it is a q-deformed algebraic function. We determine the generating function explicitly in particular cases of $(k,\ell)$-restricted Lukasiewicz paths, and for $(k,\ell)=(0,\infty)$ we provide a bijection to Dyck paths.

We derive explicit expressions for $q$-orthogonal polynomials arising in the enumeration of area-weighted Dyck paths with restricted height.

In this article we prove explicit formulae for the number of non-isomorphic cluster-tilted algebras of type \tilde{A}_n in the derived equivalence classes. In particular, we obtain the number of elements in the mutation classes of quivers of type \tilde{A}_n. As a by-product, this provides an alternative proof for the number of quivers of Dynkin type D_n which was first determined by Buan and Torkildsen.

We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern 13-2, the generating function according to weak exceedances and crossings, and the n-th moment of certain q-Laguerre polynomials.

We demonstrate a majority-logic decoding algorithm for decoding the generalised hyperoctahedral group $C_m \wr S_n$ when thought of as an error-correcting code. We also find the complexity of this decoding algorithm and compare it with that of another, more general, algorithm. Finally, we enumerate the number of error patterns exceeding the correction capability that can be successfully decoded by this algorithm, and analyse this asymptotically.

Suppose that $n$ drivers each choose a preferred parking space in a linear car park with $m$ spaces. Each driver goes to the chosen space and parks there if it is free, and otherwise takes the first available space with larger number (if any). If all drivers park successfully, the sequence of choices is called a parking function. In general, if $k$ drivers fail to park, we have a \emph{defective parking function} of \emph{defect} $k$. Let $\cp(n,m,k)$ be the number of such functions. In this paper, we establish a recurrence relation for the numbers $\cp(n,m,k)$, and express this as an equation for a three-variable generating function. We solve this equation using the kernel method, and extract the coefficients explicitly: it turns out that the cumulative totals are partial sums in Abel's binomial identity. Finally, we compute the asymptotics of $\cp(n,m,k)$. In particular, for the case $m=n$, if choices are made independently at random, the limiting distribution of the defect (the number of drivers who fail to park), scaled by the square root of $n$, is the Rayleigh distribution. On the other hand, in case $m=ω(n)$, the probability that all spaces are occupied tends asymptotically to one.

In this paper we find asymptotic enumerations for the number of line graphs on $n$-labelled vertices and for different types of related combinatorial objects called 2-covers. We find that the number of 2-covers, $s_n$, and proper 2-covers, $t_n$, on $[n]$ both have asymptotic growth $$ s_n\sim t_n\sim B_{2n}2^{-n}\exp(-\frac12\log(2n/\log n))= B_{2n}2^{-n}\sqrt{\frac{\log n}{2n}}, $$ where $B_{2n}$ is the $2n$th Bell number, while the number of restricted 2-covers, $u_n$, restricted, proper 2-covers on $[n]$, $v_n$, and line graphs $l_n$, all have growth $$ u_n\sim v_n\sim l_n\sim B_{2n}2^{-n}n^{-1/2}\exp(-[\frac12\log(2n/\log n)]^2). $$ In our proofs we use probabilistic arguments for the unrestricted types of 2-covers and and generating function methods for the restricted types of 2-covers and line graphs.