math.CO ↗ arXiv
7121 papers in this category
Superpolynomial lower bounds for vertex numbers of real projective space triangulations via a topological Figiel-Lindenstrauss-Milman theorem
We prove that every simplicial triangulation of real projective $d$-space has $\exp(Ω(\sqrt d))$ vertices. Together with known constructions, this determines the minimum vertex number as $μ_d=\exp(d^{1/2+o(1)})$. The result follows from a topological generalization of the Figiel--Lindenstrauss--Milman inequality, answering a recent question of Frick, Hosseini, and Vasileuski: a finite strongly regular CW complex with a free cellular involution, $v$ vertices, and $f$ maximal cells has $\mathbb{Z}/2$-index at most $O(\log v\log f)$. We bound the dimensions of Morse cells by a trace estimate for a constrained Hessian, obtaining a Morse-theoretic proof of the classical inequality for centrally symmetric polytopes. As further applications of this inequality, we give an $\exp(Ω(\sqrt t))$ lower bound for the order of a triangle-free topologically $t$-chromatic graph and bound the index of sign complexes by $O(d\log^2 N)$ for total matrices and $O(d\log^3 N)$ for partial matrices, where $N\geq2$ is the number of columns and $d\geq1$ is the VC dimension.
Hyperbolic distance matrix completion
A completion theory for hyperbolic distance data is developed at the interface of matrix analysis, graph theory, and hyperbolic geometry. Krein's characterization of the metric space embeddability in Lobachevsky space leads to a natural anchoring procedure that transforms the indefinite data into a positive semidefinite kernel. In analogy with positive semidefinite and Euclidean distance matrix completion, chordality of the specification graph is shown to be the necessary and sufficient condition for local Lorentz-Gram data to admit global completion. Existence is complemented by explicit constructions. For trees, we obtain geodesic-rectification and product-distance completions; for chordal graphs, the latter extends to matrix-valued transfers along clique-trees. The resulting canonical completion is characterized by sparsity of its inverse and by a maximum-absolute-determinant principle. Its metric distortion exhibits a sharp dichotomy governed by clique separator size. Applications to exact recovery from sparse hyperbolic measurements and to hierarchical and phylogenetic data are developed.
Induced Forest Minor Theorem for Graphs Without an Induced Star
Motivated by recent work on tree independence number, we study the path independence number of a graph $G$: the minimum integer $k$ such that there is a path decomposition of $G$ where each bag induces a graph with independence number at most $k$. We show that every graph excluding both an induced forest minor and an induced star has bounded path independence number. This characterises when a graph class that excludes an induced star has bounded path independence number while also partially resolving a conjecture of Dallard, Krnc, Kwon, Milani{č}, Munaro, Štorgel and Wiederrecht (2024). Furthermore, we show that graphs excluding both an apex-forest induced minor and an induced star have bounded tree independence number. As a consequence, for every fixed apex-forest $H$ and integer $t$, there is a polynomial-time algorithm to test whether a $K_{1,t}$-induced-subgraph-free graph contains $H$ as an induced minor. Moreover, it follows that the Maximum Weight Independent Set problem, as well as several other NP-hard problems, can be solved in polynomial-time on $K_{1,t}$-induced-subgraph-free graphs that exclude $H$ as an induced minor.
A Categorical Approach to Nilspace Theory
Originating in ergodic structure theory, nilspace theory is concerned with the study of cubical spaces. A first key result in this theory, the weak structure theorem, is the representation of a concrete fibrant compact cubespace as a tower of its canonical truncations, exhibiting each step over the previous one as a principal bundle by a compact abelian group. We present a categorical proof of the weak structure theorem by systematically interpreting the relevant concepts in an appropriate context.
From Nilspace Theory to Simplicial Homotopy Theory
We construct a faithful functor from the category of cubespaces, arising in structured ergodic theory and nilspace theory, to the category of (condensed) simplicial sets. This functor translates the weak structure theorem of a nilspace to a Postnikov tower of the corresponding simplicial set. In particular, nilspaces are mapped to Kan complexes and the structure groups of the nilspace correspond to the simplicial homotopy groups of the Kan complex. The functor is constructed via pullback along a special cosimplicial cubical set, whose combinatorial properties may be of independent interest.
The Distribution of Double Deficiencies in Pattern-Avoiding Permutations
We study the distribution of the number of double deficiencies (DD) in permutations of length n avoiding one or two patterns of length 3. Using structural decompositions of these avoidance classes--together with a lattice-path decomposition in the 321-avoiding case--we derive functional equations and convolution-type recurrences that efficiently compute the corresponding double-deficiency generating functions in all but one single-pattern case. In the 321-avoiding permutations, the resulting generating function is algebraic; we derive exact formulas for the mean and variance and prove that the distribution is close in total variation to Bin(n-2,1/4), with an explicit convergence rate. We also identify a DD-preserving symmetry that yields DD-Wilf equivalences, reducing the number of two-pattern cases that need to be considered separately. For the resulting two-pattern classes, we obtain explicit recurrences, including C-finite relations.
Noetherian forms of free non-symmetric operads
In this paper, we study certain categories of labeled finite rooted ordered trees over a fixed set of labels where each label is equipped with an arity: a fixed number of children that the vertex with the given label must have. Equivalently, these are expression trees for operations in a free non-symmetric operad. A morphism between these trees matches a pruning of one tree (a prefix) with an entire subtree of another (a suffix). We characterize such categories, up to isomorphism, in terms of suitable exactness properties. It turns out that these categories exhibit strong algebraic behavior, in the sense that every such category, when appended with a strict initial object, has a particularly nice noetherian form.
Unimodality shenanigans in Ehrhart theory
We show the existence of counterexamples to a four-decade-old conjecture attributed to Stanley concerning the unimodality of $h^*$-polynomials of IDP polytopes. As additional applications of our main constructions, we also disprove a conjecture by Brenti on the log-concavity of $h^*$-polynomials of Gorenstein IDP polytopes, and a conjecture by Ferroni and Higashitani concerning the log-concavity of the Ehrhart series of IDP polytopes. We also answer their question about the existence of very ample polytopes with non-log-concave interior Ehrhart series. Our class of examples arises by taking Cayley sums of rectangular prisms, and hence they possess regular unimodular flag triangulations by a result of Haase, Paffenholz, Piechnik and Santos. For the unimodality conjecture, we can even find smooth counterexamples.
Subexponential Approximation of the Permanent in Deterministic Polynomial Time
We give the first deterministic polynomial time algorithm that approximates the permanent of arbitrary nonnegative rational matrices within a subexponential factor. For a matrix of order $n$, the approximation factor is \[
\exp\!\left(O\!\left(\frac{n(\log\log n)^2}{\log n}\right)\right)=\exp(o(n)). \] All previously known deterministic polynomial time guarantees for unrestricted inputs had approximation factors $\exp(Ω(n))$.
Our proof uses convex optimization to tighten an upper bound on the permanent. The bound is based on weighted sums over all matchings in a bipartite graph representing the matrix, and correlations between unmatched vertices control its error. We approximate these sums deterministically using correlation decay and a bound on the effect of vertex deletion.
Irreducibility of truncations of the Catalan generating function
We prove that, for every positive integer $n$, the polynomial $C_0+C_1x+\cdots+C_nx^n$ is irreducible over $\mathbb{Q}$, where $C_k$ denotes the $k$th Catalan number.
Are trees really just butterflies in disguise?
As a generalisation of the Erdős-Sós conjecture about graphs, Addario-Berry, Havet, Linhares Sales, Reed and Thomassé conjectured that every digraph on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected tree with $k$ arcs. We prove a dense, approximate version of this for trees with bounded maximum degree, as well as for trees whose layers are evenly distributed. We use a regularity based approach, centred around finding a copy of a given tree in the blow up of a caterpillar.
Residual structure and growing inversion-monotonicity regions for 1324-avoiding permutations
Let $a(n,k)$ be the number of $1324$-avoiding permutations of length $n$ with $k$ inversions. Linusson and Verkama proved $a(n,k)\le a(n+1,k)$ for $k\le2n-7$. We study the obstruction beyond that line: the residuals $\mathcal R_{δ,n}$, namely the indecomposable, non-almost-decomposable avoiders at defect $δ=k-2n+7$. Contracting maximal increasing consecutive runs reduces residuality to a quadratic equation on a finite family of skeletons. It follows that, for every fixed $δ$, the eventual count has the form $|\mathcal R_{δ,n}|=A_δn^2+B_δn+C_δ$. Our central uniform result determines the quadratic coefficient at every defect: with $P(q)=\prod_{j\ge1}(1-q^j)^{-1}$, $\sum_{δ\ge0}A_δq^δ=4q^3(1+q)P(q)^2/(1-q)^2$. This is a formula for the leading coefficient of the residual count, not for the full count.
The same structural estimates give computer-assisted proofs of $a(n,k)\le a(n+1,k)$ for every $n\ge1$ and $k\le2n+6$, and of regions whose width grows with $n$: for $n\ge2^{16},2^{18},2^{20}$ the defect may be as large as $\lfloor\sqrt n/4\rfloor$, $\lfloor\sqrt n/3\rfloor$, $\lfloor\sqrt n/2\rfloor$, respectively. More generally, every fixed $c<\sqrt2\log(5)/\log(68)$ is admissible for all sufficiently large $n$. The three added fixed defects $11,12,13$ use complete catalogue and rational-sum certificates supplied in the accompanying archival supplement. The leading-coefficient theorem is obtained from a complete finite classification of marked rank-three cores and all-parameter extension lemmas. We also determine the exact rank-three stabilization onset, while keeping it separate from the still unknown onset of the complete residual count. The unrestricted Claesson--Jel'inek--Steingr'imsson conjecture, the full residual polynomials, and the sharp global base-length bound remain open.
Beyond halfway to Hadwiger's conjecture
Hadwiger conjectured in 1943 that every graph with no $K_t$ minor has chromatic number at most $t-1$. Delcourt and Postle proved that every graph with no $K_t$ minor has chromatic number $O(t\log\log t)$. We build on their result to improve this bound to $O(t\log\log\log t)$.
A Resolution of the de Bruijn--Erdős Consecutive-Gap Problem
Let $(x_n)_{n\geq1}$ be a sequence of distinct points on the unit circle. An $r$-span is the total length of $r$ consecutive gaps determined by the inserted points. Write $M_n^{(r)}$ and $m_n^{(r)}$ for the largest and smallest $r$-spans after the first $n$ insertions. We prove that there is an absolute constant $c>0$ such that, for every sufficiently large $r$, \[
\limsup_{n\to\infty}\bigl(nM_n^{(r)}-r\bigr)
\geq c\sqrt{\log r},
\qquad
\limsup_{n\to\infty}\bigl(r-nm_n^{(r)}\bigr)
\geq c\sqrt{\log r}, \] and \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}
\geq 1+\frac{\log r}{100r}. \] Thus all three asymptotic conjectures made by de Bruijn and Erdős in 1949 are resolved. The ratio bound matches the upper bound of Clément and Steinerberger up to an absolute constant and answers a question of Brethouwer. The proofs compare interval counts at nearby times. Pointwise control leads to a one-dimensional sequence-discrepancy argument for the ratio, while averaged control and Halász's planar $L^1$ discrepancy theorem give the two one-sided conclusions.
Longest increasing subsequences of dyadic-type chaotic orbits
This paper studies the longest increasing subsequence (LIS) problem for sequences generated by dyadic-type chaotic interval maps. Starting from a single point $x\in[0,1)$ chosen uniformly at random, we form the order pattern of the first $N$ points of its orbit, with the doubling map as the basic model. Let $λ_1^{(N)}$ be the LIS length, equivalently the length of the first row of the Young diagram obtained by Schensted's insertion. We show that $\mathbb E[λ_1^{(N)}]/\sqrt N\to 2$, matching the leading asymptotics in the classical Ulam--Hammersley problem for uniform random permutations.
Classification of Symmetric Hadamard Matrices Up to Order 32
In this paper, symmetric Hadamard matrices are classified up to Hadamard equivalence for all orders at most 32. In particular, an error in the previous classification of symmetric Hadamard matrices of order 28 is corrected. The number of distinct symmetric Hadamard matrices at each order is also enumerated. The classification and enumeration are carried out using a new algorithm that determines whether a given Hadamard matrix is equivalent to a symmetric one. The extension of the algorithm to weighing matrices is also described, and theoretical results concerning symmetric Hadamard and weighing matrices are established.
Explicit and logarithmically improved chromatic bounds for $(P_2\cup P_3)$-free graphs
We prove that every \((P_2\cup P_3)\)-free graph \(G\), with \(k=ω(G)\), satisfies \[
χ(G)=O\!\left(k^3\frac{\ln\ln k}{\ln k}\right). \] Thus the class admits an \(o(k^3)\) binding function. We also prove the explicit bound \[
χ(G)\le \frac{k^3}{8}+\frac{5k^2}{4}-4k+8
\qquad(k\ge8), \] with a sharper formula for odd \(k\). A further refinement gives an explicit cubic bound with leading coefficient \(104/837<1/8\).
A $2/3$ Bound for Vizing's Conjecture
Vizing's conjecture, dating back to 1963, asserts that \[ γ(G\mathbin{\square}H) \geq γ(G)γ(H) \] for all finite graphs $G$ and $H$, where $γ$ denotes the domination number and $\square$ denotes the Cartesian product. In 2000, Clark and Suen proved the universal bound \[ γ(G\mathbin{\square}H) \geq \frac{1}{2}γ(G)γ(H). \] Recently, Steiner obtained the first constant-factor improvement of the Clark--Suen bound, proving that \[ γ(G\mathbin{\square}H) \geq \frac{5+\sqrt{73}}{24}γ(G)γ(H) \approx 0.5643\,γ(G)γ(H). \] In this paper, we further improve the universal constant by proving that \[ γ(G\mathbin{\square}H) \geq \frac{2}{3}γ(G)γ(H) \] for all finite graphs $G$ and $H$. Thus, we raise the best known universal constant in the approximate form of Vizing's conjecture from $(5+\sqrt{73})/24$ to $2/3$.
A complete classification of metrizable and strictly metrizable theta graphs
Cizma and Linial asked for a classification of the metrizable theta graphs. We solve both their problem and its strict analogue. For $a\le b\le c$, the theta graph $Θ_{a,b,c}$ is metrizable if and only if $a\le 2$ or $(a,b,c)=(3,3,3)$, and it is strictly metrizable if and only if $a\le2$. Thus $Θ_{3,3,3}$ is precisely the exceptional theta graph that is metrizable but not strictly metrizable. The negative directions follow from the known obstructions $Θ_{3,3,4}$ and $Θ_{3,3,3}$ together with topological-minor closure. The positive direction is constructive. Consistency turns the possible detours through a length-two arm into compatible Ferrers relations, which are represented by one-dimensional potentials; all resulting shortest-path comparisons have positive slack. The exceptional ordinary-metrizable graph $Θ_{3,3,3}$ is handled by a two-threshold weak Ferrers representation. The proof is structural, yields rational edge lengths algorithmically, and uses no enumeration of path systems.
Regularizing and Normalizing DAGs and Phylogenetic Networks
Phylogenetic networks and, more generally, directed acyclic graphs (DAGs) represent hierarchical structure beyond trees, for instance in the presence of reticulate evolutionary events such as hybridization or horizontal gene transfer. A central question is which parts of such graphs are essential with respect to leaf-observable information, and which parts can be removed without changing this information. Resolving this question can lead to principled simplification methods for phylogenetic networks, such as the recent normalization approach of Francis et al.
In this paper, we study this question from three related perspectives: clusters displayed by a DAG $G$, least common ancestors (LCAs) of subsets of its leaf set, and visibility, a path-based property of vertices. We first introduce an LCA-based simplification procedure called $i$-regularization. For a DAG $G$ and $i\geq 1$, the DAG $\reg_i(G)$ retains precisely those vertices that occur as unique LCAs of leaf subsets of size at most $i$, removes the remaining non-leaf vertices by a graph-editing operation $\ominus$, and then deletes shortcuts. We show that $\reg_i(G)$ admits a Hasse-diagram characterization in terms of the corresponding lca-clusters.
We then compare LCA-based regularization with normalization. Using the same $\ominus$-operator, we describe the cover construction underlying normalization, identify visible vertices that are nevertheless removed, and characterize when regularization and normalization coincide. Together, these results provide a unified framework for cluster-based, LCA-based, and visibility-based simplifications of DAGs and phylogenetic networks.