math.CO ↗ arXiv
7121 papers in this category
The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring
We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an algorithm cannot be achieved by the known proofs of the Four Color Theorem (4CT). Technically speaking, we show the following significant generalization of the 4CT: every planar triangulation contains linearly many pairwise non-touching reducible configurations or pairwise non-crossing obstructing cycles of length at most 5 (which all allow for making effective 4-coloring reductions).
The known proofs of the 4CT only show the existence of a single reducible configuration or obstructing cycle in the above statement. The existence is proved using the discharging method based on combinatorial curvature. It identifies reducible configurations in parts where the local neighborhood has positive combinatorial curvature. Our result significantly strengthens the known proofs of 4CT, showing that we can also find reductions in large ``flat" parts where the curvature is zero, and moreover, we can make reductions almost anywhere in a given planar graph. This also opens possibilities for extensions to higher surfaces since we can find such flat parts in any large-width triangulation of any fixed surface.
From a computational perspective, the old proofs allowed us to apply induction on a problem that is smaller by some additive constant. The inductive step took linear time, resulting in a quadratic total time. With our linear number of reducible configurations or obstructing cycles, we can reduce the problem size by a constant factor. Our inductive step takes $O(n\log n)$ time, yielding a 4-coloring in $O(n\log n)$ total time. To efficiently handle a linear number of reducible configurations, we need them to be sufficiently robust to be useful in other applications. All our reducible configurations are what is known as D-reducible.
On the probability of being synchronizable
Published
• View Publication
• BIB
We prove that a random binary automaton with $n$ states is synchronizing with high probability and the asymptotic is exactly $1-Θ(\frac{1}{n})$ as conjectured in [Cameron, 2011]. We also present a deterministic algorithm which decides whether a given random automaton is synchronizing in expected time linear in $n$ and prove that it is optimal. This is an expanded and heavily revised version of the conference paper [Berlinkov, 2016] with an addition of the algorithmic result described above.
Diagonally symmetric alternating sign matrices
Published in Advances in Mathematics 504 (2026) 111235
• View Publication
• BIB
The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column number of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various related topics are also studied, involving diagonally symmetric permutation matrices, off-diagonally symmetric alternating sign matrices, certain natural involutions on DSASMs, and the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.
Ore plus Turán
Ore in 1961 determined the maximum number of edges in graphs not containing a Hamiltonian cycle, and Turán in 1941 found the maximum number of edges in graphs not containing a $K_{r+1}$. Motivated by the work of Adamus in 2009 and Ferrero and Lesniak in 2018 on the maximum number of edges in $r$-partite non-Hamiltonian graphs, we find the maximum number of edges in $K_{r+1}$-free non-Hamiltonian graphs. We determine the extremal graphs, which are different for $n \ge 26$ with $r \ge 3$, for small values of $n$ with $r \in \{4,5\}$, and for all values of $n$ with $r=2$. In the first case we show that the same graphs achieve the maximum number of $t$-cliques for every $t \ge 2$. Both the edge and clique results are proved via extremal theorems for graphs satisfying a condition on low-degree vertices related to Pósa's theorem, which we apply more broadly in a second paper. Both extend from Hamiltonicity to chorded pancyclicity.
Property O and Erdős--Szekeres properties in linear hypergraphs
Published in Discrete Mathematics 350 (2027), no. 2, Article 115431
• View Publication
• BIB
An oriented $k$-uniform hypergraph, or oriented $k$-graph, is said to satisfy Property O if, for every linear ordering of its vertex set, there is some edge oriented consistently with this order. The minimum number $f(k)$ of edges in a $k$-graph with Property O was first studied by Duffus, Kay, and Rödl; the bounds were later improved by Kronenberg, Kusch, Lamaison, Micek, and Tran. In particular, they established the bounds $k! + 1 \le f(k) \le \left(\lfloor\tfrac{k}{2}\rfloor+1 \right) k! - \lfloor\tfrac{k}{2}\rfloor(k-1)!$ for every $k \ge 2$.
In this note, we extend the study of Property O to the linear setting. We determine the minimum number $f'(k)$ of edges in an oriented linear $k$-graph with Property O up to a $\operatorname{poly}(k)$ multiplicative factor, showing that $\frac{(k!)^2}{2e^2k^4} \le f'(k) \le (1+o(1)) \cdot 4 k^6 \ln^2 k \cdot (k!)^2$. Our approach also yields bounds on the minimum number $n'(k)$ of vertices in an oriented linear $k$-graph with Property O. Additionally, we explore the minimum number of edges and vertices required in a linear $k$-graph satisfying the newly introduced Erdős--Szekeres properties.
Boolean Rank via Monomial Ideals
Boolean matrix factorization (BMF) has many applications in data mining, bioinformatics, and network analysis. The goal of BMF is to decompose a given binary matrix as the Boolean product of two smaller binary matrices, revealing underlying structure in the data. When interpreting a binary matrix as the adjacency matrix of a bipartite graph, BMF is equivalent to the NP-hard biclique cover problem.
By approaching this problem through the lens of commutative algebra, we utilize algebraic structures and techniques--particularly the Castelnuovo-Mumford regularity of combinatorially defined ideals--to establish new lower bounds for Boolean matrix rank.
A Proof of Rubey's Lattice Conjecture
In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain generalized ladder moves and then simplified in terms of swaps on a partition shape. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations, so we refer to the poset as the Rubey lattice henceforth. In addition, we give an explicit criterion to determine if two elements of the Rubey lattice are comparable using an injective map from reduced pipe dreams to tableaux on the diagram of a permutation. The pipe dream tableaux construction also gives an exact formula for the maximum length of any chain in the Rubey lattice and bounds on the number of reduced pipe dreams for $w$, or equivalently the sum of the coefficients in the corresponding Schubert polynomial. Several open problems for further development of the Rubey lattice related to Markov processes, Schubert polynomials, and Grothendieck polynomials are given.
Order polytopes of crown posets
Published in European Journal of Combinatorics, Vol. 133, Mar. 2026, P. 104304
• View Publication
• BIB
In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-polynomials, and show that the sequence of coefficients of each $f$-polynomial is log-concave and asymptotically normal. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).
Noise Sensitivity and Learning Lower Bounds for Hierarchical Functions
Recent works explore deep learning's success by examining functions or data with hierarchical structure. To study the learning complexity of functions with hierarchical structure, we study the noise stability of functions with tree hierarchical structure on independent inputs. We show that if each function in the hierarchy is $\varepsilon$-far from linear, the noise stability is exponentially small in the depth of the hierarchy.
Our results have immediate applications for agnostic learning. In the Boolean setting using the results of Dachman-Soled, Feldman, Tan, Wan and Wimmer (2014), our results provide Statistical Query super-polynomial lower bounds for agnostically learning classes that are based on hierarchical functions.
We also derive similar SQ lower bounds based on the indicators of crossing events in critical site percolation. These crossing events are not formally hierarchical as we define but still have some hierarchical features as studied in mathematical physics.
Using the results of Abbe, Bengio, Cornacchiam, Kleinberg, Lotfi, Raghu and Zhang (2022), our results imply sample complexity lower bounds for learning hierarchical functions with gradient descent on fully connected neural networks.
Finally in the Gaussian setting, using the results of Diakonikolas, Kane, Pittas and Zarifis (2021), our results provide super-polynomial lower bounds for agnostic SQ learning.
On counting numerical semigroups by maximum primitive and Wilf's conjecture
We introduce a new way of counting numerical semigroups, namely by their maximum primitive, and show its relation with the counting of numerical semigroups by their Frobenius number. We show that these two ways of counting are Möbius transforms of one another. We also establish that almost all numerical semigroups with large enough maximum primitive satisfy Wilf's conjecture. A crucial step in the proof is a result of independent interest: a numerical semigroup $S$ with multiplicity $\mathrm{m}$ such that $|S\cap (\mathrm{m},2 \mathrm{m})|\geq \sqrt{2\mathrm{m}}$ satisfies Wilf's conjecture.
Edge-Connectivity versus Lin--Lu--Yau Curvature
We systematically explore the relationship between edge-connectivity and Lin--Lu--Yau curvature for graphs. The intuition is that a connected graph with large Lin--Lu--Yau curvature should also have large edge-connectivity, and vice versa under suitable conditions. We prove that the edge-connectivity of a connected graph is bounded lower by the product of its minimum degree, its Lin--Lu--Yau curvature and the constant $\frac{3}{2}$. We also provide two lower bounds on the edge-connectivity of a graph that guarantee positive Lin--Lu--Yau curvature, and discuss the sharpness of these bounds.
Multiplicative recurrence of Piatetski--Shapiro and nil-Bohr sets
Adapting the circle method developed by Frantzikinakis--Klurman--Moreira, we establish a sufficient criterion for a set of natural numbers to be multiplicatively recurrent. We apply this criterion to Piatetski--Shapiro sets with small exponents and to regular irrational nil-Bohr sets. We also study the value distribution of unimodular completely multiplicative functions along these sets.
Reversing the Mostar line-graph inequality with long pendant paths
Let $K_t$ be obtained by attaching a pendant path of length $t$ to a fixed rooted graph $K$. We prove that $\mathrm{Mo}(L(K_t))-\mathrm{Mo}(K_t)$, the difference between its line-graph and original Mostar indices, is exactly affine on each parity class beyond a sharp uniform cutoff. The slope depends on distance-level neighbor counts and is positive for every non-bipartite core. Triangle chains give infinitely many graphs with $\mathrm{Mo}(L(G))>\mathrm{Mo}(G)$ at every positive cyclomatic number $c$, with maximum degree three, resolving Alex-Indulal Problem 3.3. At zero slope, a cactus branch-mass formula decides equality; identical vertex profiles need not give identical intercepts. Fixed cores giving equality for all sufficiently long attachments exist exactly when $c$ is odd. Maximum degree three suffices, and at every even $c$ a binary-tree construction gives equality on one eventual parity class.
Ascending, Bridge, and Unknotting Numbers of Knotted Graphs
In this paper we define the ascending number and bridge number for virtual and welded spatial graphs. We prove that the former admits a lower bound in terms of the latter. This relationship allows us to compare different notions of unknotting virtual spatial graphs by crossing changes.
Riordan Arrays and Shifted Hankel Determinants of OEIS A005773
We study two Riordan arrays associated with the Motzkin-prefix sequence (\href{https://oeis.org/A005773}{OEIS A005773}). By connecting their production matrices through a simple boundary factorization, we obtain a period-three transformation on Motzkin endpoint distributions and exact formulas for paths by final height modulo~$3$. In addition, a unified factorization for the shifted Hankel matrices leads directly to explicit closed forms for the third and fourth Hankel determinants, $Δ_n^{(3)}$ and~$Δ_n^{(4)}$.
$k$-arrangements of pseudolines and pseudocircles
A $k$-arrangement of pseudolines is a set of bi-infinite curves in the plane such that any two of them intersect each other in exactly $k$ points, at which they cross, and it is simple if no three curves meet at a common point. Cyclic arrangements are the only simple $1$-arrangements of pseudolines that are unavoidable, in the Ramsey spirit: for each fixed $m\ge 1$, every sufficiently large simple $1$-arrangement of pseudolines has a cyclic subarrangement of size $m$. We show that, for every $m\ge 3$, the number of unavoidable simple $k$-arrangements of pseudolines of size $m$ grows exponentially with $k$, independently of $m$. For even $k$, we prove an analogous result for $k$-arrangements of pseudocircles.
Exact volume computation for Boolean quadric polytopes of series-parallel graphs
For a graph G, the Boolean quadric polytope P(G) is the convex hull of the binary solutions of $y_{ij}=x_ix_j$ for $ij\in E(G)$, and Q(G) is its standard linear relaxation. For series-parallel graphs, Q(G) together with the odd-cycle inequalities describes P(G). Lee and Skipper showed vol(Q(G)) is polynomial-time computable for bounded treewidth and gave a closed formula for vol(P(G)) when G is a cycle. We resolve their question of giving an efficient algorithm for vol(P(G)) on series-parallel graphs. With $d=|V(G)|+|E(G)|$, we compute it with $O(d^7)$ arithmetic operations, and $O(d^5)$ if G is a cactus.
The algorithm is a dynamic program over the series-parallel decomposition. The same framework computes vol(Q(G)) (hence the number of linear extensions of the incidence poset of G) with $O(d^4)$ operations, and $O(d^3)$ for cacti. With every $x_v$ fixed at 1/2, the recursion reduces to convolutions of univariate polynomials and computes the cut polytope volume of every series-parallel graph with m edges in $O(m^3)$ operations.
We also study how much of Q(G) the polytope P(G) occupies. Short odd cycles matter more than long ones: in every graph, the odd-cycle inequalities of a cycle of length $\ell$ cut off at most a fraction $2^{\ell-1}/\ell!$ of Q(G). Hence vol(P(G))/vol(Q(G)) $\ge 1-\sum_C 2^{|C|-1}/|C|!$ for series-parallel G, with C ranging over its cycles. The ratio does not factor over cycles sharing a vertex: in a flower of $k$ copies of $C_\ell$ it decays like $ρ_\ell^k$ for an explicit rational $ρ_\ell$ below the ratio of $C_\ell$. Nevertheless, the small fractions cut off by many long cycles compound: in the worst case, triangle inequalities, or odd-cycle inequalities up to any fixed length, close no fixed fraction of the gap between Q(G) and P(G), and the volume ratio can be exponentially small in d.
A Pick-type theorem for halfway-lattice polygons
Given a polygon in the plane with vertices on lattice points, Pick's theorem expresses its area A in terms of the number I of lattice points in its interior and the number B of lattice points in its boundary: A = I + B/2 - 1. We consider polygons in the plane whose edges are halfway between lattice points. For such a polygon that is also unimodular, we express its area A in terms of the number I of lattice points in its interior and the number V of its vertices: A = I - V/8 + 1/2 .
Total Path Length in Power-Weight Recursive Trees: Martingale Limits and Global Fluctuations
We study total path length in recursive trees with positive deterministic attachment weights. Writing $W_n=\sum_{i=1}^n w_i$ and $p_n=w_n/W_n$, we obtain exact martingale-innovation identities and a variance recurrence. Under the condition $p_n=O(n^{-1})$, centered total path length divided by $n$ converges almost surely and in $L^2$ to a nondegenerate random variable, and its variance is asymptotic to a positive constant times $n^2$. No polynomial asymptotic for $W_n$ is required. For power weights $w_i=i^α$, the same argument applies to every real $α$, including the critical and summable regimes beyond the positive-power cumulative-weight assumptions of existing profile theory. The expected average depth is logarithmic for $α>-1$, iterated logarithmic for $α=-1$, and bounded for $α<-1$, while the global fluctuation scale remains linear throughout. In the summable regime we identify the random limit through the weighted depths of the infinite tree. The uniform case recovers the classical variance coefficient $2-π^2/6$. For linear weights we evaluate the coefficient as $8-2π^2/3$. Although this tree and a random binary search tree have identical insertion-depth marginals and expected total path length, their asymptotic variance coefficients differ by one. This gives an explicit comparison of global dependence that is invisible in individual depth distributions.
A Combinatorial Approach to the CUE Joint Moment Problem
In this paper, we give exact combinatorial expressions for all CUE joint moments on the unit circle, in the case that all exponents are even positive integers, yielding the corresponding asymptotics. We offer two equivalent expressions for these quantities: the first is a sum involving Kostka numbers; the second is related to counting integer matrices (magic squares). As an application of our results, we unify many results in the literature, which were previously disconnected. Moreover, we prove a conjecture of Basor et al. (2018) regarding an irregular conformal block structure.