arXiv++ Combinatorics

We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--Émery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincaré inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by Münch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $Γ_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincaré inequality.

We refine Radhakrishnan's entropy proof of the Brégman-Minc bound by introducing a terminal-set framework in which selected vertices are revealed last. This gives new degree-sensitive upper bounds for the number of perfect matchings in bipartite graphs and an explicit formula for single-vertex terminal sets. The bounds recover the standard Brégman equality family and improve the estimate for certain nonuniform degree sequences. We also obtain a $C_4$-free refinement complementary to the edge-count bound of Araujo, Balogh and Wang.

The recent breakthrough work of Chatterjee, Ghosh, Gurjar, Raj and Thierauf [CGGRT26] gives the first deterministic NC algorithm for the bipartite matching problem. They show how to detect as well as find perfect matchings in bipartite graphs in NC. In this note we present an arguably simpler-to-state variation of the NC detection criterion of [CGGRT26], with improved parameters.

Let $R$ be a ring with identity. The generalized von Neumann inverse graph of $R$, denoted by $Γ_{Reg}(R)$, is defined as the graph whose vertex set is $Reg(R)$, where two distinct vertices $a,b \in R$ are adjacent if and only if $aba=a$ or $bab=b$. In this work, we consider the reduced graph $Γ'_{Reg}(R)$ obtained by restricting the vertex set to $Reg(R)\setminus{0_R}$, so that $Γ_{Reg}(R) \cong K_1 + Γ'_{Reg}(R)$, allowing the analysis to focus on its nontrivial structure. We investigate the structure of $Γ'_{Reg}(R)$ for finite commutative von Neumann regular rings and establish several results describing its graph-theoretic properties in relation to the algebraic structure of $R$. In particular, we derive conditions that characterize connectivity, acyclicity, and planarity, and examine structural features such as vertex degrees, girth, and the existence of pendant vertices, along with their algebraic implications. We also identify circumstances under which $Γ'_{Reg}(R)$ exhibits specific graph classes, including paths, cycles, and wheels, as well as the presence of certain induced subgraphs. Furthermore, an explicit algorithm is provided to construct $Γ'_{Reg}(R)$, and connections with the inclusion ideal graph of $R$ are discussed, offering additional insight into the interplay between ring-theoretic properties and graph structures.

Gupta and Iosevich introduced the edge complexity of a graph as the minimum Fourier ratio of its adjacency matrix over all vertex labelings and bounded it below by graph energy divided by the square root of twice the number of edges. We characterize equality for a fixed labeling: the Fourier transform of the adjacency matrix must have at most one nonzero entry in each row and column. This implies regularity, circulancy of every positive even power of an extremizing adjacency matrix, and a parity restriction on connected components, and it gives equality results for certain Laplacian spectral projectors. We construct equality cases from affine involutions on cyclic groups. Singer difference sets yield, for every prime power $q$, an equality-attaining $(q+1)$-regular graph that is not an abelian Cayley graph. We also establish Fourier-ratio estimates for weak, Cartesian, and strong graph products, including preservation of equality under weak products of coprime orders. We use Fourier-ratio recovery as a coding theorem to obtain entropy upper bounds for low-complexity adjacency matrices and complement them with a lower bound obtained by perturbing complete graphs. Finally, a concentration argument shows that if $Np_N/\log N\to\infty$ and $\limsup_{N\to\infty}p_N<1$, then $\operatorname{FR}_{\min}(G(N,p_N))$ is of order $N$ with probability tending to one.

For a 1-factorization $F=\{M_1,\ldots,M_d\}$ of the hypercube $Q_d$, let $G[F]$ have vertex set $F$, with $M_iM_j$ an edge exactly when $M_i\cup M_j$ is a Hamilton cycle. Behague proved that $Q_{k+\ell}$ has a 1-factorization $F$ with $G[F]\cong K_{k,\ell}$ for all positive $k,\ell$ except possibly $k=\ell=3$. We give an explicit 1-factorization of $Q_6$ for which $G[F]\cong K_{3,3}$, resolving the exceptional case. The construction is supplied as a finite certificate. Its correctness can be checked directly from the tables in the paper or by either of two independent, short, standard-library verifiers supplied with the certificate.

Standard phylogenetic reconstruction techniques often yield unrooted phylogenetic networks; these are subsequently rooted to infer evolutionary history. A common problem in this process is to determine the structural classes to which the resulting network will belong. In this paper, we investigate unrooted networks in which the choice of any root results in a valid rooted phylogenetic network, a property we define as {\em robustly orientable}. We then establish a strict structural condition for this class, specifically, that an unrooted network is robustly orientable if and only if it contains no sink components. We also show that if an unrooted network is level-$2$ or less, or if it is tree-based, then it is robustly orientable. Furthermore, we define an unrooted network to be {\em robustly class $\mathcal C$} if the choice of any root results in a network belonging to class $\mathcal C$. We demonstrate that an unrooted network is robustly tree-child or robustly stack-free if and only if it is level-$1$ or less. Finally, we show that a phylogenetic network is robustly normal if and only if it is a phylogenetic tree.

Fuglede's conjecture asserts that a measurable set of positive and finite measure is spectral if and only if it tiles Euclidean space by translations. Counterexamples are known in every dimension $d\ge3$, whereas the one- and two-dimensional cases have remained unresolved. We construct two explicit $60$-point subsets of the rank-two finite Abelian group $\Z_{60}\times\Z_{12}$: one is a translational tile with no spectrum, and the other is spectral but does not tile. A finite-to-infinite transference principle lifts them to bounded subsets of $\R^2$ that are finite unions of unit squares. Consequently, both implications in Fuglede's conjecture fail in dimension two.

For a fixed $r$, let $f_r(n)$ denote the minimum number of complete $r$-partite $r$-uniform hypergraphs required to partition the edge set of the complete $r$-uniform hypergraph on $n$ vertices. The Graham-Pollak theorem states that $f_2(n)=n-1$. It was known that $f_r(n) \leq (1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$, which was subsequently improved to $f_r(n)\le \left[ \frac{r}{2} \left(\frac{14}{15}\right)^{r/4} +o(1) \right] \binom{n}{\lfloor r/2\rfloor}$. Let $c_r$ be $\displaystyle \lim_{n \to \infty}\frac{f_r(n)}{\binom{n}{\lfloor r/2 \rfloor}}$. It was known that $c_r<1$ for every even $r \geq 4$, while for odd $r$ the smallest known value satisfying $c_r<1$ was $113$. In this note we lower this to $85$ and also provide a constant-factor improvement in the known bounds for $f_r(n)$.

A balanced $k$-partite $k$-graph is a $k$-uniform hypergraph such that every edge intersects each partition class in exactly one vertex, where each partition class has size $n$. Lo and Markström (2014) determined the minimum vertex-degree threshold for perfect matchings in balanced \(3\)-partite \(3\)-graphs. In this paper, we determine the minimum vertex-degree threshold for balanced \(4\)-partite \(4\)-graphs. The proof relies on a reduction framework for \(k\)-partite \(k\)-graphs, through which the existence of a perfect fractional matching is converted into a finite-dimensional optimization problem.

Deodhar diagrams give a combinatorial way to compute point counts of open positroid varieties over finite fields. We introduce affine Deodhar diagrams, which extend this construction to affine patches of open positroid varieties. These diagrams are indexed by a bounded affine permutation together with a lattice path, and this extra flexibility makes them especially useful for recursive bijections. Motivated by connections with Dyck paths, open positroid varieties, and their cluster structure, we construct bijections between several classes of affine Deograms. These bijections give combinatorial proofs of point-count identities that were previously known from geometric isomorphisms.

We prove that the filtered Varchenko--Gelfand algebra is invariant under a natural Cremona operation on a class of real hyperplane arrangements. Namely, suppose that an arrangement contains all coordinate hyperplanes and that every remaining defining form is supported on two coordinates. Swapping the two coefficients in each such form produces its Cremona transform. Coordinatewise inversion gives a chamber bijection and an isomorphism of the corresponding filtered Varchenko--Gelfand algebras over every commutative coefficient ring. As an application, we exhibit two arrangements of eight central planes in $\mathbb{R}^3$ with isomorphic filtered Varchenko--Gelfand algebras but non-isomorphic tope graphs. This disproves a conjecture of Yagi--Yoshinaga on reconstructing tope graphs from filtered Varchenko--Gelfand algebras.

This paper studies the giant component of the sparse random bipartite graph $G(n, n, p)$, where $p = c/n$ for a fixed constant $c > 1$. We prove that its size is asymptotically normal.

Let $T$ be a tree. For a vertex $v\in V(T)$, the eccentric subtree number $ε_T(v)$ is defined as $ε_T(v)=\min\{f_T(v,u): u\in V(T)\}$ where $f_T(v,u)$ denotes the number of subtrees of $T$ containing both $v$ and $u$. A core vertex of $T$ is a vertex with the maximum eccentric subtree number, and the set of all the core vertices of $T$ is called the core center of $T$. The core center of $T$ consists of either a single vertex or two adjacent vertices. There are other central concepts in a tree, such as the center, centroid, subtree core, and characteristic center, and these may all be different. By $d_T(C, \mathfrak{C})$, $d_T(C_d, \mathfrak{C})$ and $d_T(S_c, \mathfrak{C})$ we mean the distance between center and core center, distance between centroid and core center and distance between subtree core and core center in $T$, respectively. We show that for any tree $T$ on $n\geq 6$ vertices, (i)]$d_T(C,\mathfrak{C})\leq \lfloor \frac{n-g_0-4}{2} \rfloor$; (ii)]$d_T(C_d,\mathfrak{C})\leq \lfloor \frac{n-5}{2} \rfloor$; (iii)] $d_T(S_c,\mathfrak{C})\leq\left\{ \begin{array}{ll} 1, &\text{if $n=7$,} n-g_0-3, &\text{if $n\neq 7$;}\\ \end{array} \right.$ where $g_0\geq 2$ be the smallest positive integer such that $2^{g_0-1}+g_0\geq n-3$. Moreover, we show that these bounds are best possible by obtaining a tree which attains these bounds. We also obtain a tree which maximizes the distance between characteristic center and core center over all trees on $n\geq 6$ vertices. The asymptotic behaviour of all these distances are also studied.

We study the class $\#\mathsf{L}$ of functions counting accepting paths of non-deterministic log-space Turing machines and construct methods to prove containment in $\#\mathsf{L}$. We prove that a large number of classical combinatorial and number theoretic functions belong to this class: classical functions from enumerative combinatorics (multinomial coefficients, Catalan numbers, linear extensions of trees, Stirling numbers, etc), algebraic combinatorics (number of standard Young tableaux, etc), discrete geometry, number theoretic functions, representation theoretic multiplicities in a large class of cases. We show that $\mathrm{GL}_2$-plethysm coefficients of bounded length outer partition can be counted by log$^2$-space polytime verifiers. We pose numerous questions and conjectures on $\#\mathsf{L}$ containment and its generalizations, that suggest venues for conditionally disproving $\#\mathsf{P}$-completeness. While studying which combinatorial functions are in $\#\mathsf{P}$ provides a formal way of (dis)proving the existence of combinatorial interpretations, the lower class $\#\mathsf{L}$ serves as an analogue for functions computable in polynomial time.

Every polynomial with real non-negative coefficients yields a finite probability distribution after normalization. The Ehrhart $h^*$-polynomial of a lattice polytope $P$ is a non-negative integer polynomial that encodes the integer-point counts for positive integer dilations of $P$. We study the corresponding finite distributions, which we call $h^*$-distributions. We determine the mean and variance of these distributions, establish a connection between higher moments and Ehrhart polynomial coefficients, and study their cluster points in the $d$-dimensional probability simplex. We consider the special case of real-rooted $h^*$-distributions, applying existing tail bounds to obtain new linear inequalities for the coefficients of real-rooted $h^*$-polynomials arising from reflexive polytopes. We conclude by establishing sufficient conditions under which a sequence of real-rooted $h^*$-distributions is asymptotically normal, and we apply our results to various families of polytopes, including zonotopes and Pitman-Stanley polytopes.

Let $T(n,k)$ be the minimum total surface area of $k$ axis-aligned boxes with integer sides and pairwise distinct dimension multisets whose union is the cube $[0,n]^3$. We determine the column $k=6$ completely: $T(n,6)=8n^2+2n+12$ for $5\le n\le 9$, and $T(n,6)=8n^2+2n+6$ for all $n\ge 10$, together with the exceptional values $T(3,6)=100$ and $T(4,6)=148$. The threshold $n=10$ equals $1+2+3+4$, the least possible sum of four distinct stick lengths, and the general law holds: for every $k\ge 4$ and every $n\ge (k-2)(k-1)/2$, $T(n,k)=8n^2+2n+2(k-3)$, with thresholds at the triangular numbers. Three structural results support and extend these values. First, a fault-free law: the minimum internal interface of a partition of the cube into six boxes with no fault plane is exactly $2n^2+n$ for all $n\ge 3$ (OEIS A014105), proved by an exact accounting of spanning pieces, floating pieces and cube corners. Second, a reduction theorem: within an explicit range, the three-dimensional problem collapses to a two-dimensional one, $I(n,k)=n^2+W^*(n,k-1)$, where $W^*(n,m)$ is the minimum internal wall of a tiling of the $n\times n$ square by $m$ rectangles of pairwise distinct dimensions; the key ingredient is an unconditional slab lemma. Third, a doubling law in the middle regime of the 2D problem: $W^*(n,4)=n+4$ for $n=4,5$ and $W^*(n,5)=n+6$ for $4\le n\le 9$, proved by finite case trees; via the reduction theorem this gives computer-free proofs of the middle regimes of the columns $k=5$ and $k=6$. The lower bound for the main family does not use the distinctness of the pieces.

For a graph $G$, let $ λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$ denote the adjacency eigenvalues of $G$. We investigate the asymptotic maximum of \[ λ_i(G)+λ_j(\overline G) \] for fixed $i$ and $j$. We prove general bounds on $λ_i(G) + λ_{j}(\overline{G})$ for all pairs $(i, j)$ and also give general bounds on the related problem of minimizing $λ_{n-i+1}(G) + λ_{n-j+1}(\overline{G})$ for fixed $i$ and $j$. We prove that for all looped graphs $G$ on $n$ vertices, \[λ_1(G) + λ_2(\overline{G}) \le \frac87 n. \] Our method also gives a new short proof of the Nordhaus-Gaddum result for the spectral radius proved by Terpai that $λ_1(G) + λ_1(\overline{G}) \le \frac43n - 1$. We also show the close relation of these Nordhaus-Gaddum type problems to recent work on the maximum spectral gaps of graphs by Brooks, Linz and Lu.

For an explicitly represented finite empirical model, deciding whether the contextual fraction is strictly below one is NP-complete, while the standard exact linear program has one column for every global assignment. We identify a permutation-transport class in which this global problem collapses to a fixed-point calculation. Let a connected permutation gain graph act on a finite state set $O$, let $H \leq{ \rm Sym}(O)$ be its holonomy subgroup, let $F = {\rm Fix}(H)$, and let $p$ be an $H$-invariant root distribution. For the induced empirical model, \[ {\rm NCF}(e)=p(F),\qquad {\rm CF}(e)=1-p(F). \] Consequently, compatibility, $F$, and ${\rm CF}(e)$ are computable in $O(|O|(|V|+|E|))$ arithmetic and table operations. For every finite simple $2$-edge-connected graph, any deterministic exact algorithm in the explicit permutation-table query model requires at least $(|O|-1)|E|$ probes in the worst case, making the dependence on the input tables optimal up to constant factors. With a fixed spanning tree, chord insertions and deletions require $O(|O|)$ worst-case time, or time proportional to the moved-set representation, while compatibility and contextual-fraction queries take $O(1)$ time. Finally, for common-marginal realizable binary constraint languages, the support threshold ${\rm CF} < 1$ is polynomial-time equivalent to the associated finite-domain constraint-satisfaction problem and therefore inherits the Bulatov--Zhuk dichotomy. The results identify a query-optimal and dynamically maintainable tractability island inside the general contextual-fraction problem.

Let $D_n$ be the disjointness graph on the nonempty subsets of $[n]$, whose independent sets are exactly the intersecting families on $[n]$. We study the weighted independent-set polynomial $W(n)=\sum_F\prod_{S\in F}w(S)$, the sum running over these families, for the doubly exponential weight $w(S)=2^{2^{n-|S|}}-1$. The kernel-bearing (trivial) part $Z_\cap(n)$ is exact by inclusion-exclusion and satisfies $Z_\cap(n)\sim n\cdot 2^{3^{n-1}}$. For the kernel-free remainder we prove the exact prefactor $R(n)=(3/4+o(1))n\cdot 2^{3^{n-1}-2^{n-1}+2}$, whence $\log_2(Z_\cap(n)/R(n))=2^{n-1}-2+\log_2(4/3)+o(1)$, an additive $o(1)$, not merely a leading-order one. The engine is a second-level extremal theorem: among kernel-free maximal linked systems other than the $n$ one-flip stars, the largest weight exponent is $3^{n-1}-3\cdot 2^{n-2}+6$, a fixed gap $2^{n-2}-4$ below the maximum, with the extremisers classified exactly. None of this is special to the weight: for $w_B(S)=B^{B^{n-|S|}}-1$ with integer $B\ge 2$ the same stars dominate, the near-extremal families sit a gap $B^{n-2}-B^2$ below, and the prefactor is $1-B^{-B}$. The combinatorial input is the $p$-biased extremal problem for non-trivial intersecting families: $M_2(n,p)=p-pq^{n-1}+qp^{n-1}$ for all $n\ge 3$, $0<p\le 1/2$, $q=1-p$. This first level is essentially known: the extremal family is the Wheel coterie of Peleg and Wool, and at $p=1/Q$ the statement, with its maximiser classification, is the case $r=n$ of Borg's Hilton-Milner theorem for signed sets (2013). We give a short self-contained Erdős-Ko-Rado proof, uniform in real $p\in(0,1/2]$, whose layer-two rigidity feeds the second level. The novelty claimed lies at the second level and in the prefactor, where the classification cannot be read off the layer profile alone: at $n=5$ one profile carries two non-isomorphic types of extremisers.

An $n \times n$ matrix $W$ with exactly $w$ non-zero entries taken from the set of $k^{\rm th}$ complex roots of unity in each row and column satisfying $WW^{\ast} = wI_n$ is a complex generalised weighing matrix $CGW(n,w;k)$. We study such matrices through the centraliser algebras of monomial representations of finite groups. Using an exhaustive search over the linear characters of Schur covers, we classify, up to monomial equivalence, the complex generalised weighing matrices admitting a primitive group of rank at most five and degree at most $80$ acting by strong automorphisms, for coefficient orders $k \leq 6$, with partial results for larger degrees $100$. The census recovers known infinite families related to projective and affine finite geometries, describes infinite families related to Hamming schemes and settles the existence of some small open cases enumerated in the literature. We construct quantum error-correcting codes from the these matrices and determine their minimum distances exactly in all cases.

Motivated by the celebrated Lonely Runner Conjecture, we study a variant in which the runners have time-dependent velocities. Let $n \geq 3$ runners start from the same point on the unit circle, where each runner $i\in[n]$ has a locally integrable velocity function $ν_i\in L^1_{\mathrm{loc}}(\mathbb{R}_{>0})$Assume that their velocities are strictly ordered almost everywhere and that the relative distance between every pair diverges. We prove that each of the slowest and fastest runners is at a distance strictly larger than $2^{-n+1}$ from every other runner at some time. Moreover, we show that the distance $2^{-n+1}$ is optimal. On the other hand, we construct examples in which every intermediate runner remains arbitrarily close to another runner at all times. As a consequence, we also obtain a sharp nonlinear analogue of a classical theorem of Schoenberg on billiard ball motion in the unit cube.

Parking functions correspond with preferences of $n$ cars which enter sequentially to park on a one-way street where (1) each car parks in the first available spot greater than or equal to its preference and (2) all cars successfully park. We generalize parking functions to parking completions: Here, we are given that some cars have already parked in a set of spots, which are indexed in a sequence $\mathbf{t}$. We then consider a preference list $\mathbf{c}$, where length of $\mathbf{t}$ + length of $\mathbf{c}$ = $n$. If all cars can park, we say that $\mathbf{c}$ is a parking completion. Adeniran et al. (2020) state an open problem which proposes a connection between the number of parking completions to the volumes of Pitman-Stanley polytopes by explicit computation on small values of $n$. In this paper, we provide a solution to this open problem by proving a theorem which explains that the set of parking completions is the set of $\mathbf{x}$-parking functions.

We study the flip dynamics on perfect matchings of graphs, where a flip consists of replacing the edges of a perfect matching along an even cycle with the complementary alternating edges. In particular, we want to bound the minimum length of cycles such that any two perfect matchings are related by flips of such cycles. Given a finite graph $G$, we consider the families of decorated graphs obtained by replacing each vertex of $G$ with a decoration satisfying suitable conditions on the existence of perfect matchings in its subgraphs. We prove a general upper bound for this family. We then obtain stronger bounds for two families of decorations: clique decorations and Fisher decorations, the latter under the assumption that the underlying graph is planar. In both cases, the bounds are independent of the sizes of the decorations.

We prove that every $n$-vertex simple planar graph with no copy of $C_8$ has at most \[ \frac{69}{25}(n-2) \] edges, for every $n\ge 8$. This improves the best known bound \[ \frac{323}{108}n-6 \qquad \text{for every } n\ge 27. \]

We show that the Erdős-Rogers function $f_{s,s+1}(n)$ satisfies $$f_{s,s+1}(n) = Θ( \sqrt{n \log n} )$$ for every $s \ge 2$. More precisely, we construct a $K_{s+1}$-free graph on $n$ vertices in which every set of at least $C(s)\sqrt{n \log n}$ vertices contains a copy of $K_s$ for some constant $C(s)$, which implies the upper bound. The matching lower bound follows from a theorem of Joret, Micek, Reed and Smid on the clique chromatic number of a graph.