math.CO ↗ arXiv
7121 papers in this category
Palindrome complexity versus factor complexity
Let ${\bf x} = (a_i)_{i \geq 0}$ be an infinite word over a finite alphabet $Σ$. Let $ρ(n)$ be the factor complexity function for $\bf x$ and ${\rm Pal}(n)$ be the palindrome complexity function for $\bf x$. We give a new relationship between these two quantities; namely, if $\bf x$ is not ultimately periodic, then $$ \lim_{n \rightarrow \infty} {{ {\rm Pal} (n) \log ({\rm Pal} (n) + 1)} \over {ρ(n)}} = 0. $$ Furthermore, we prove that the numerator in this result is essentially optimal.
$\textbf{k}$-neighborhood ideals of graphs
In this paper, we introduce and investigate the $\textbf{k}$-neighborhood ideal of a graph, a natural generalization of the closed neighborhood ideal. Let $G$ be a simple graph on the vertex set $[n]$, and let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$. For a vector $\textbf{k}=(k_1,\ldots,k_n)\in \mathbb{N}^n$ satisfying $1\leq k_i\leq \textrm{deg}_G(i)+1$ for all $i$, the $\textbf{k}$-neighborhood ideal of $G$ is defined as the squarefree monomial ideal $$\textrm{NI}_{\textbf{k}}(G)=\sum_{i=1}^n\, (\textbf{x}_W:\, W\subseteq N_G[i],\, |W|=k_i)$$ of $S$, where $\textbf{x}_W=\prod_{i\in W} x_i$. We study homological invariants and properties of $\textrm{NI}_{\textbf{k}}(G)$ focusing on its Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness. Special attention is devoted to the case where the vector ${\textbf{k}}$ is the degree-vector of the graph, i.e., $k_i=\textrm{deg}_G(i)$ for all vertices $i$, and to the case where $\textrm{NI}_{\textbf{k}}(G)$ coincides with the edge ideal of a graph. In these settings, we provide combinatorial characterizations and bounds for the regularity and projective dimension of $\textrm{NI}_{\textbf{k}}(G)$ for several classes of graphs, and further investigate the Cohen-Macaulay property of these ideals.
A spectral threshold for triangle counting
The 1970 spectral extension of Mantel's theorem, proved by Nosal, states that every graph with $m$ edges and spectral radius $ρ_1>\sqrt{m}$ contains at least one triangle. Its quantitative refinement by Ning and Zhai later established that any graph $G$ with $m$ edges and spectral radius $ρ_1\geq\sqrt{m}$ contains at least $\lfloor\frac{\sqrt{m}-1}{2}\rfloor$ triangles, unless $G$ is a complete bipartite graph.
In this paper, we further investigate the minimum number of triangles guaranteed under the strengthened spectral condition $ρ_1\geq\sqrt{m}+c$, where $c$ is a positive constant. We prove that for any constant $c\in (0,\frac{1}{2}]$ and all sufficiently large $m$, if $s=s(m)$ is a real-valued function satisfying $\lim_{m\to\infty} \frac{s}{m}=c$, then every $m$-edge graph $G$ with spectral radius $ρ_1$ satisfying $ρ_1^2\geq m-1+\frac{2s}{ρ_1-1}$ contains at least $s$ triangles. Moreover, we characterize the extremal graph achieving the minimal number of triangles. In particular, when $s=\frac{m-1}2$, our result settles a conjecture proposed by Li, Feng, and Peng.
Tracks on planar complexes and soficity
We show that every probability-measure-preserving equivalence relation generated by a locally-finite Borel graph with planar connected components is sofic in the sense of Elek--Lippner. In particular, every unimodular random planar graph is sofic. This removes the additional assumptions in the works of Angel--Hutchcroft--Nachmias--Ray and Timár on the soficity of unimodular random planar maps and graphs. To prove this, we investigate Borel simplicial complexes with planar components and approximate them by treeable covering spaces. To construct these coverings, we use a canonical family of tracks on planar simplicial complexes introduced by Dunwoody.
A Remark on the Odd Area of Unit Disks
Let $F$ be a family of $n$ unit disks in $\mathbb{R}^2$ with $n$ being odd. We use $\mbox{OA}(F)$ to denote the area of the set of points that is covered by an odd number of disks. The purpose of this note is to disprove the conjecture $\mbox{OA}(F) \geq π$ which was suggested in the literature and to present some examples.
Discrete-time treatment number of binary trees
The discrete-time treatment number of a graph $H$, denoted by $τ(H)$, was introduced in arXiv:2408.0531(3) and arises from a deterministic process in which each vertex is assigned a color at each time-step. The pathwidth upper bound $τ(H)\leq \lceil\frac{1+pw(H)}{2}\rceil$, is shown in arXiv:2408.0531(3), where $pw(H)$ denotes the pathwidth of graph $H$. Equality holds when $H$ is the complete binary tree of depth $d$ (denoted by $BT(d)$) and $1 \le d \le 6$. In this paper, we characterize the sizes of all subsets of vertices of $BT(d)$ whose boundary has $3$ or fewer vertices and use this result to prove that $τ(BT(d))= 3$ for $8\leq d\leq 10$; in these cases, equality also holds in the pathwidth upper bound. By the hereditary property of the treatment number, all larger complete binary trees have treatment number at least $3$. In contrast, we provide an explicit construction to show that $τ(BT(7))=2$, while the pathwidth upper bound only shows $τ(BT(7))\le 3.$ We construct an infinite family of graphs, each with a cut-vertex, whose treatment number depends on the number of components when the cut-vertex is removed. We use a combination of pathwidth and vertex cuts to prove another upper bound on the treatment number and use this to construct an infinite family of graphs whose boundary size is limited, but whose treatment number is unlimited.
Halving the original Kalton--Roberts upper bound for nearly additive set functions
Let $K_\mathrm{KR}$ denote the optimal Kalton--Roberts constant for approximately additive real-valued set functions on algebras of sets. Kalton and Roberts proved $K_\mathrm{KR}\le89/2$, and Bondarenko, Prymak, and Radchenko improved the upper bound to $38.8$. We prove that $$K_\mathrm{KR}\le\frac{694,198,146,664,396,294,486,127,753}{34,994,834,677,886,019,996,000,000}\,\approx 19.837.$$ Thus the original Kalton--Roberts upper bound is more than halved. The proof changes the source collections fed into the expander-recombination step however still uses expander graphs as the other proofs do. The four expander families used in the final recombination are certified by exact rational interval arithmetic, and the proof has been formalised in Lean.
C4-face-magic labeling on a 4x4 Klein bottle grid graph
For a graph G = (V, E) embedded in the Klein bottle, let F(G) denote the set of faces of G. A C_4-face-magic Klein bottle labeling on G is a bijection f: V(G) to {1, 2,..., |V(G)|} such that for any F in F(G) with F isomorphic C_4, the sum of all the vertex labelings along C_4 is a constant. We say that a C_4-face-magic labeling X={x_{i,j} : 0< i,j< 5} on the 4x4 Klein bottle grid graph is horizontally (or vertically) pairwise balanced if x_{2i-1,j} + x_{2i,j}=17 for 0< i <3 and 0< j \le <5 (or x_{i,2j-1} + x_{i2,j}=17 for 0< i <5 and 0< j <3). We show that the 4x4 Klein bottle grid graph has 192 C_4-face-magic labelings up to symmetries on a Klein bottle. We classify these labelings into two categories depending on whether a C_4-face-magic label preserving permutation of the labeling is either horizontally pairwise balanced or vertically pairwise balanced. These results extend known results on C_4-face-magic labelings on an mxn Klein bottle grid graph.
Proper edge coloring with rainbow diamonds
Motivated by the B-coloring defined by Gyárfás and Sárközy, we introduce a new edge coloring called \emph{D-coloring}. For a graph $G$, a D-coloring of $G$ is a proper edge coloring such that every diamond subgraph is rainbow. The \emph{D-chromatic index} of $G$, denoted by $χ'_D(G)$, is the minimum number of colors needed for a D-coloring of $G$. Denote by $Δ$ the maximum degree of $G$. We prove that $χ'_D(G)\le \frac{9}{16}Δ^2+\frac{1}{2}Δ$, conjecture that $χ'_D(G)\le \frac{1}{2}Δ^2+\frac{1}{2}Δ$, and verify this conjecture for $Δ\le 5$.
The connected binary matroids with a pair of elements in no non-spanning circuits
Let $M$ be a simple connected binary matroid, and let $e$ and $f$ be distinct elements of $M$. It is well known that, when the only circuits containing $e$ are spanning, $M$ is a circuit with at least three elements. This paper proves that if every circuit containing $\{e,f\}$ is spanning, then the canonical tree decomposition of $M$ is a path in which each vertex is labeled by a circuit, a copy of $U_{1,3}$, or a binary spike having one non-tip element deleted.
The Rectangular Finite Free Heat Flow
We define and study the rectangular finite free heat flow, a dynamical system on polynomials that plays the role of the heat equation in the setting of rectangular finite free probability. We show several equivalent characterizations of the evolution (including PDE and gradient flow formulations), establish basic properties of the dynamics, and determine the asymptotic distributions of the polynomial roots in the long-time and high-degree limits. We also discuss connections with Calogero-Moser systems and Dunkl processes, and we show that the rectangular finite free heat flow describes the mean curvature expansion of a family of compact Lie group orbits.
An Explicit $O(r\log r)$ Threshold for Attaining the Semple--Steel Bound with $r$-State Characters
Let $d_r(n)$ be the maximum, over all binary phylogenetic trees with $n$ leaves, of the minimum number of $r$-state characters required to define the tree. Semple and Steel proved that $d_r(n)\geq\lceil(n-3)/(r-1)\rceil$, and Bordewich and Semple proved that equality holds for each fixed $r$ and all sufficiently large $n$. We study the corresponding threshold $n_r$, the least $N$ for which equality holds for every $n\geq N$. The Bordewich--Semple construction yields an explicit polynomial upper bound of order $O(r^5)$ for this threshold. We prove the near-linear estimate \[
3r+1\leq n_r\leq \ceil{64(r-1)\log_2(r+1)}+3\qquad(r\geq4). \] The proof constructs, for every binary phylogenetic tree with $m=n-3$ internal edges, a linked quartet certificate whose conflict graph has maximum degree at most $16\lceil\log_2(m+2)\rceil+4$. Equitable coloring then packs the certificate into exactly $\lceil m/(r-1)\rceil$ $r$-state characters once $m\geq\lceil64(r-1)\log_2(r+1)\rceil$. We also include the lower bound $n_r\geq3r+1$, obtained from the snowflake obstruction, and state the natural conjecture that this lower bound is the exact threshold for all $r\geq4$. The conjectural endpoint is consistent with the known small-state thresholds: $n_4=13$ and $n_5=16$, while the cases $r=2,3$ are also explicitly classified.
On a distance Laplacian analog of Brouwer's conjecture for several classes of graphs
Zhou et al. (2025) proposed a distance Laplacian analog of Brouwer's conjecture on partial sums of Laplacian eigenvalues, asserting that for any connected graph $G$, $\sum_{i=1}^r \partial_i^L(G)\le W(G)+\binom{r+2}{3},$ where $\partial_i^L(G)$ are the eigenvalues of the distance Laplacian matrix and $W(G)$ is the Wiener index. We prove this inequality for three broad classes of graphs, thereby improving and extending existing results. First, we prove that all connected graphs of diameter at most $D$ satisfy the inequality once the order $n$ satisfies $n\ge\lceil\frac49(D+1)^3\rceil$. Second, we show that the inequality holds for every diameter-$2$ graph with the only exceptions being $K_{1,3}$ at $r=2$ and $K_{1,4}$ at $r=3$. Third, we prove that if the maximum degree is $Δ(G)=n-k$, then the inequality holds for all $n\ge N(k)$, where $N(2)=10$ and $N(k)=\lceil 5(k-1)^{3/2}\rceil$ for $k\ge 3$. Our proofs rely on decomposing the distance Laplacian matrix into Laplacian matrices of auxiliary graphs whose edges are vertex pairs at distance at least a prescribed value, together with classical eigenvalue inequalities.
Visible parts and lower bounds on point-ray incidences
Let $K \subset \mathbb{R}^{2}$ be a compact set. For $θ\in S^{1}$, let $\mathrm{Vis}_θ(K) \subset K$ be the visible part of $K$ in direction $θ$. We prove that $\operatorname{dim}_{\mathrm{H}} \mathrm{Vis}_θ(K) \leq \tfrac{3}{2}$ for $\mathcal{H}^{1}$ almost every $θ\in S^{1}$. The previous record was $\operatorname{dim}_{\mathrm{H}}\mathrm{Vis}_θ(K) \leq 11/6 \approx 1.833$, due to D. Dąbrowski.
Our main tool is a variant of a recent incidence lower bound theorem due to Cohen, Pohoata, and Zakharov where, roughly speaking, lines have been replaced by rays, and $δ^{\varepsilon}$-separated incidences are replaced by $1$-separated incidences.
Tight Bound for Nikiforov's Spectral Even-Cycle Conjecture
Nikiforov conjectured that, for every fixed $k\ge2$ and all sufficiently large $n$, the unique $n$-vertex $C_{2k+2}$-free graph with maximum adjacency spectral radius is $S^+_{n,k}$, where $S_{n,k}=K_k\vee\overline K_{n-k}$ and $S^+_{n,k}$ is obtained from $S_{n,k}$ by adding one edge inside the independent part. Cioabă, Desai and Tait proved this conjecture for $n\ge k^{O(k)}$. Later, Li and Ning raised the problem of determining the optimal exponent $γ=γ(k)$ such that the same conclusion holds for $n\ge Ω(k^{γ(k)})$.
We prove a stronger uniform theorem for Nikiforov's matrices $A_α(G)=αD(G)+(1-α)A(G)$. More precisely, for every $ε>0$ there are constants $C_ε$ and $k_ε$ such that for all $0\leα\le1-ε$, $k\ge k_ε$ and $n\ge C_εk$, every $n$-vertex $C_{2k+2}$-free graph $G$ satisfies $ρ_α(G)\leρ_α(S^+_{n,k})$, with equality if and only if $G\cong S^+_{n,k}$. In particular, the case when $α=0$ answers the problem of Li and Ning in the linear range, and the $A_α$-spectral even-cycle threshold is linear in $k$, uniformly for all $α$ bounded away from $1$.
Our proof introduces a weighted rooted Erdős--Gallai type path lemma, which may be of independent interest in Perron-vector methods for spectral extremal graph problems. The same method also yields asymptotically tight $A_α$-spectral bounds for two local forbidden-subgraph families, namely $(K_1\vee P_\ell)$-free graphs and $F_s$-free graphs, where $F_s$ denotes the friendship graph.
Chamber Decompositions of Moment Polytopes for Torus Actions of Positive Complexity
The present work develops the results of the series of papers by Buchstaber and Terzić on the standard actions of the compact torus $T^n = (S^1)^n$ on the complex Grassmann manifolds $G_{n,2}$. In those works, a hyperplane arrangement in $\mathbb{R}^n$ was introduced that determines the chamber decomposition of the hypersimplex $Δ_{n,2}$ for the $T^n$-action on $G_{n,2}$.
We introduce a notion of admissible graph for the standard action of the torus $T^n$ on the complex Grassmannian $G_{n,2}$. In terms of admissible graphs, we give a complete inductive description (with respect to $n \ge 4$) of the admissible polytopes in $Δ_{n,2}$, as well as of the toric varieties arising as closures of $(\mathbb{C}^*)^n$-orbits on $G_{n,2}$ under the standard $(\mathbb{C}^*)^n$-action.
We consider the $T^n$-equivariant Plücker embedding $G_{n,2} \hookrightarrow \mathbb{C}P^{N_2}$, where $N_2 = \binom{n}{2}-1$. Using admissible graphs, for the considered $T^n$-actions, we describe hyperplane arrangements in $\mathbb{R}^n$ that determine the chambers in $Δ_{n,2}$ for the $T^n$-actions on $G_{n,2}$ and $\mathbb{C}P^{N_2}$. Gel'fand, Kapranov, and Zelevinsky introduced the notions of secondary polytopes and secondary fans in connection with the problem of describing triangulations of a given convex polytope, which is closely related to the Newton polytopes of discriminants and resultants. For the $T^n$-action on $\mathbb{C}P^{N_2}$, we show that the cones in $\mathbb{R}^n$ with vertex at the origin spanned by the chambers form the secondary fan of the cone spanned by the vertices of $Δ_{n,2}$.
Polynomial reduction for $q$-holonomic sequences
This paper provides a (Laurent) polynomial reduction to $q$-holonomic sequences $F_k(q)$. We first characterize Laurent polynomials $\tilde{p}(x)$ such that the product $\tilde{p}(q^k)F_k(q)$ is summable. Then the reduction framework is given to decompose any given Laurent polynomial into a summable part and a remainder with lower degree. Finally, we introduce a power-partible reduction for $q$-holonomic sequences of which the recurrence relation satisfies a certain symmetry condition. The advantage is that it can not only simultaneously eliminate the highest-degree and lowest-degree terms of a Laurent polynomial satisfying a symmetry condition, but also guarantee the symmetry of the remainder. As applications, we apply the reduction to $q$-central-Delannoy numbers to derive new $q$-identities and $q$-congruences.
A note on the extremal number of Berge-$C_4$
We improve the known upper bound for the extremal number of Berge-$C_4$-free $3$-uniform hypergraphs. More precisely, we prove that every $n$-vertex $3$-uniform hypergraph with no Berge cycle of length four has at most \[
\frac{n^{3/2}}{2+\sqrt2}+O(n) \] hyperedges. This improves the previous best-known leading constant $1/\sqrt{10}$ to $1/(2+\sqrt2)$.
Polyhedral models for K-theory of toric and flag varieties
In 1992, Pukhlikov and Khovanskii provided a description of the cohomology ring of toric variety as a quotient of the ring of differential operators on spaces of virtual polytopes. Later Kaveh generalized this construction to the case of cohomology rings for full flag varieties. In this paper we extend Pukhlikov-Khovanskii type presentation to the case of K-theory of toric and flag varieties. First, we study the Frobenius algebras obtained as quotients of the group algebra of free abelian group (possibly of infinite rank). Then we apply this construction to define a K-ring associated to a linear family of (virtual) polytopes. We study in detail two examples of such families: the family of integer (virtual) polytopes with a fixed normal fan and the family of (virtual) Gelfand-Zetlin polytopes. We show that the K-theory of toric and flag varieties can be realized as K-rings of the above families and use this to get natural set of relations in the above K-rings. Further, we describe the classes of structure sheaves of toric orbit closures and Schubert varieties in type A flag varieties. Finally, we show that our results also hold true in T-equivariant setting.
Book Ramsey numbers via algebraic constructions
Let $B_n$ denote the book graph consisting of $n$ triangles sharing a common edge. Few exact values of $R(B_n,B_n)$ have been obtained since Rousseau and Sheehan (1978) proved, using Paley graphs, $R(B_n, B_n) = 4n + 2$ whenever $4n+1$ is a prime power.
In this paper, we obtain $R(B_n,B_n)=4n+1$ for infinitely many $n$ by constructing new families of strongly regular graphs. Moreover, we prove that $R(B_{n-2},B_n)\le 4n-3$ for every $n\ge 3$ with $n\ne 6$, removing the original condition $n\equiv 2\pmod 3$ due to Rousseau and Sheehan. In particular, if there exists a symmetric Hadamard matrix of order $2n-2$ with all diagonal entries equal to $1$, then $R(B_{n-2},B_n)=4n-3$. As an application, we show that this equality holds for every $n=2^{2\ell-1}+1$ with $\ell\ge 1$.