math.CO ↗ arXiv
7121 papers in this category
Sharp Bounds on the Independence Number of Simplicial Spheres
We study the maximum size of an independent set in the graph of a simplicial sphere. Let $β(d,n)$ denote this maximum over all simplicial $(d-1)$-spheres on $n$ vertices, and let $α(d,n)$ denote the maximum restricted to flag $(d-1)$-spheres. For every fixed $d\geq4$, we prove $β(d,n)=n-Θ(n^{1/\lfloor d/2\rfloor})$. For flag spheres, we show $α(d,n)\geq n-4\sqrt n+O(1)$ for all $d\geq4$ and determine the correct asymptotic order $α(d,n)=n-Θ(\sqrt n)$ for dimensions $d=4,5$. We also investigate the independence sets of Bier spheres and show that, in contrast to our other results, for this very large family of spheres, the independence number cannot be larger than $\left\lfloor\frac{n}{2}\right\rfloor.$
On the Asymptotic Normality and Unimodality of Genus Distributions of Wheels
The genus polynomial of a graph is the generating polynomial for the number of nonequivalent embeddings of the graph on each orientable surface. In this paper, we address three questions on genus polynomials for wheel graphs: the computation of genus polynomials, the unimodality and the asymptotic normality of their coefficients. We derive an explicit formula for the genus polynomial of wheel graphs by combining methods of the joint tree model and characters theory, and then prove its real-rootedness. This stronger result implies the log-concavity, unimodality, and asymptotic normality of its coefficients. Thus, we confirm the unimodality conjecture for the genus distribution of wheel graphs and provide a positive answer to the asymptotic normality question posed by Zhang, Peng, and Chen (\emph{Adv. in Appl. Math.} \textbf{127} (2021), 102175).
On the Numerical Terao Conjecture
We prove that the Numerical Terao Conjecture holds for even-degree conic-line arrangements having only ADE singularities. We then show that the conjecture fails in the broader quasi-homogeneous setting once ordinary quadruple points are admitted, by constructing a degree-nine counterexample, each consisting of seven lines and one smooth conic, with the same weak combinatorics \[ W(\mathcal{CL}) = (7,1;\,8A_1+D_4+4X_9). \] We show that one curve is free with exponents $(4,4)$, whereas the other is nearly free with exponents $(3,6)$. This yields a counterexample to the strongest known formulation of the Numerical Terao Conjecture.
On traces of randomly rolling polytopes
Let $\mathcal{P}$ be a three-dimensional convex polytope resting with one of its faces on the plane. At each step, $\mathcal{P}$ is allowed to roll over a randomly selected edge of the face currently lying on the plane, until the adjacent face comes to rest on the plane. The trace of $\mathcal{P}$ is the set of all points of the plane that can be reached by a vertex of $\mathcal{P}$, starting from a fixed initial position and performing a finite sequence of rolls. We prove that if the trace of $\mathcal{P}$ has a convergent subsequence, then, with probability one, the set of points reached by the vertices of a randomly rolling copy of $\mathcal{P}$ is everywhere dense in the plane. This settles a conjecture of Hegyvári.
A superlogarithmic saving for Oddtown modulo composite numbers
Let $f_{\ell}(n)$ be the largest size of a family $\mathcal{A}\subseteq2^{[n]}$ such that no member has size divisible by $\ell$, while the intersection of every two distinct members has size divisible by $\ell$, and let $ω(\ell)$ denote the number of distinct prime divisors of $\ell$. For any prime power $\ell$, the classical answer is $f_{\ell}(n)=n$. When $ω(\ell)\geq 2$, Bukh, Chao, and Zheng recently proved $ω(\ell)n-O_{\ell}\left(n^{\frac{ω(\ell)-2}{ω(\ell)-1}}(\log n)^{C_{\ell}}\right)\leq f_{\ell}(n)\leqω(\ell)n-2ω(\ell)\log n+11$ for some $C_{\ell}>0$. When $\ell$ has at least two distinct odd prime divisors, they further used Fourier analysis to improve the upper bound to $f_{\ell}(n)\leqω(\ell)n-(2ω(\ell)+\varepsilon_{\ell})\log n$ for some $\varepsilon_{\ell}>0$, provided that $n$ is sufficiently large in terms of $\ell$ .
For every fixed $\ell$ with $ω(\ell)\geq2$, we prove \[ f_{\ell}(n)\leqω(\ell)n-Ω_{\ell}(\log n\log\log n) \] for large $n$. The upper bound relies on a submatrix lemma of Bhowmick, Dvir, and Lovett, which is based on the bounded-torsion polynomial Freiman--Ruzsa conjecture recently proved by Gowers, Green, Manners, and Tao.
Moment-based linear programming bounds for locally recoverable codes
In this paper we derive new Delsarte-type linear programming bounds for $q$-ary $(r,δ)$-locally recoverable codes (LRCs) with three attributes: first, the variable set is comparable in size to that of the classical Delsarte LP; second, our LP exploits the higher-order information forced by the local-distance condition through order \(δ-2\), in the sense that for nondegenerate linear codes, its balanced base part gives exactly the same dimension bound as the symmetrized refined-weight LP of Gruica, Jany, and Ravagnani, while the additional constraints, nonvacuous whenever $δ\ge 3$, give a further strengthening; and third, it applies to general $(r,δ)$-LRCs, linear and nonlinear alike. Extensive computations over binary and ternary alphabets show that the convex-hull LP yields improvements not captured by the previous LP and often sharpens the shortening and generalized Singleton bounds.
Improved Upper Bound for Lindström's Unique-Sum Problem
Let $\{0,1\}^{n}$ denote the set of all $n$-dimensional vectors whose components are either $0$ or $1$. For any two nonempty subsets $\mathcal{X},\mathcal{Y}\subseteq\{0,1\}^{n}$, the pair $(\mathcal X,\mathcal Y)$ is called an $n$-dimensional unique-sum pair if each pair $(\boldsymbol x,\boldsymbol y)\in\mathcal X\times\mathcal Y$ can be uniquely determined from the arithmetic sum $\boldsymbol x+\boldsymbol y$. Let $M(n)$ denote the maximum value of $|\mathcal X||\mathcal Y|$ over all $n$-dimensional unique-sum pairs $(\mathcal X,\mathcal Y)$. In 1969, Lindström proved that $$ \frac{1}{2}(1+\log_2 3) \leq \lim_{n\to\infty}\frac{1}{n}\log_2 M(n) \leq 3/2. $$ Since then, the lower bound $(1+\log_2 3)/2$ has been successively improved, whereas the upper bound $3/2$ has remained unchanged. In this paper, we establish an explicit upper bound whose numerical value is approximately $1.4884$. To the best of our knowledge, this is the first strict improvement over Lindström's upper bound $3/2$. Towards this end, we develop a coordinate projection approach that constructs a lower-dimensional unique-sum system from a unique-sum pair. By combining the results obtained from this approach with a relaxed form of a necessary condition established by Ordentlich and Shayevitz on unique-sum systems, we establish the above improved upper bound.
Quadratic Degree Sequence Optimization and the Critical Roots of a Graph
The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum over all vertices of a given function evaluated at the subgraph degree of that vertex. Here we study this problem and its complexity for quadratic functions. In particular, we introduce the critical roots of a graph, and show they define intervals over which the optimal value of the problem, as the quadratic root varies, is convex piecewise affine.
Higher-Order Cyclotomic Congruences for $q$-Secant and Generalized $q$-Euler Numbers
Let $\A(2n)$ denote the set of up--down alternating permutations of $\{1,2,\ldots,2n\}$, and let \[
E_{2n}(q)=\sum_{σ\in\A(2n)}q^{\operatorname{inv}(σ)}. \] Andrews and Foata proved that $E_{2n}(q)\equiv q^{2n(n-1)}\pmod{(1+q)^2}$, and Liu recently obtained the cubic refinement \[
E_{2n}(q)\equiv q^{2n(n-1)}-\binom n2(1+q)^2
\pmod{(1+q)^3}. \] Using the reciprocal generating function for the $q$-secant numbers, a third-order expansion of Gaussian coefficients at $q=-1$, finite differences, and Newton interpolation, we prove the fourth-order refinement \[
E_{2n}(q)\equiv q^{2n(n-1)}-\binom n2(1+q)^2
+\binom n2(2n^2-2n-3)(1+q)^3
\pmod{(1+q)^4}. \] More generally, the recurrence yields an effective procedure for computing the expansion modulo $(1+q)^K$ for any prescribed $K$. We then apply the same local-expansion strategy to the generalized $q$-Euler numbers $E_{pn\mid p}(q)$ of Sagan and Zhang. For every prime $p$, we prove uniform congruences modulo $[p]_q^3$ and $[p]_q^4$; the fourth-order term is governed by a central $q$-Wolstenholme-type quotient associated with ${2p\brack p}_q$. Thus the fourth-order secant congruence is the first case of a general higher-cyclotomic method.
Translation Orders on Grids
Let $S$ be a grid in $\mathbb{Z}^d$. We wish to order $S$ so that the way two points compare depends only on the offset between them. Does each such order arise from a linear function? Bhattacharya conjectured, while Ren and Huang confirmed, that in two dimensions the answer is yes. On the other hand, wild orders do exist when $d \ge 4$. We settle the remaining case, by showing that the answer is yes in three dimensions as well.
Multiple Distance Ramsey Bounds For Graphs in Euclidean Spaces
For a finite set $A \subset \mathbb{R}_{>0}$ and a finite graph $H$, let $χ_H(\mathbb{R}^n;A)$ be the minimum number of colors required to color $\mathbb{R}^n$ while avoiding a monochromatic copy of $H$ whose edges have distances in $A$. Extending the graph-copy framework of Axenovich, Liu, and Sagdeev and a multiple distance theorem of Naslund, we prove for any positive integer $m$, \[χ_H(\mathbb{R}^n;m):=\max_{\substack{A \subseteq \mathbb{R}_{>0} \\ |A|=m}} χ_H(\mathbb{R}^n;A) \geq \left(Γ_χ\sqrt{\frac{m+1}{Ξ(H)}}+o(1)\right)^n.\] Here, $Γ_χ$ is a constant and $Ξ(H)$ is an explicit structural parameter that can be substantially smaller than $|V(H)|-1$, thereby recovering Naslund's similar bound for complete graphs and improving the general bound inherited from the corresponding clique for many graph families. Along the way, we construct a weighted strengthening of the semi-diagonal flattening rank theorem of Correia, Sudakov, and Tomon.
A sharp fixed-size spectral bound for $kK_3$-free graphs
For a fixed integer $k\ge2$, we establish a sharp adjacency-spectral upper bound for sufficiently large $m$-edge $kK_3$-free graphs. We prove \[ λ(G)\le (k-1)+\sqrt{m-k(k-1)}. \] Moreover, equality holds precisely when $(2k-1)\mid m$ and, up to isolated vertices, $G$ is the join of $K_{2k-1}$ with an independent set of $m/(2k-1)-(k-1)$ vertices. The case $k=2$ was previously known; our argument establishes every fixed $k\ge3$. The proof requires information beyond first-order spectral stability. We derive an exact nonnegative defect identity at a maximum Perron vertex, use it to bound the entire outer layer by a constant, and reduce the remaining graph to a bounded core with finitely many independent twin classes. A Perron-vector concentration identity and the Erdős--Gallai matching theorem then force the unique extremal core. A nearly extremal family lies only $Θ(m^{-1/2})$ below the target, showing why an exact second-order analysis is necessary.
Edge-defect matrices and stability of the Kirchhoff index for complete graphs with deleted edges
In this paper, we study the effective resistance, the Kirchhoff index, and the number of spanning trees of the connected graph $K_n-F$, which is obtained from the complete graph by deleting a set $F$ of $p$ edges. Let $B$ be the incidence matrix of the deleted edges. We call the matrix $Q=B^TB$ the edge-defect matrix. This is a $p\times p$ matrix which records, with signs, the way in which the deleted edges share their end vertices.
First, we derive a formula for the effective resistance between any two distinct vertices in terms of the resolvent of the edge-defect matrix. This reduces the usual computation using the $n\times n$ Laplacian matrix to a computation using a $p\times p$ matrix corresponding to the number of deleted edges. Moreover, by using the eigenvalues of the same matrix, we give unified formulas for the Kirchhoff index and the number of spanning trees.
Next, we derive a stability identity which exactly describes the excess from the Xu, Das, and Zhang type lower bound. As a consequence, we show that, in the range where a matching deletion can be realized, the Kirchhoff index is minimized when the deleted edge set is a matching. Furthermore, by using majorization, we prove that, for $p\ge 2$ and $n\ge \max\{4,2p-1\}$, among all non-matching deleted edge sets, the minimum is attained only when the deletion graph is isomorphic to $P_3\cup(p-2)K_2$. Finally, we apply the obtained formulas to several deletion graphs, such as matchings, stars, cliques, paths, and cycles.
Equivalence of Lin--Lu--Yau curvature and 1/2-Ollivier curvature on weighted graphs
In this note, we prove that, on weighted graphs, the Lin--Lu--Yau curvature coincides with the $p$-Ollivier curvature up to scaling whenever the idleness parameter $p\geq 1/2$. Moreover, the threshold $1/2$ is sharp. This extends an earlier result of Bourne et al. (Ollivier--Ricci idleness functions of graphs, SIAM J. Discrete Math., 32 (2018), no. 2, 1408-1424), where combinatorial graphs were considered. This observation yields a simple proof for the global existence and uniqueness of solutions of the Lin--Lu--Yau curvature flow in Bai et al. (Ollivier Ricci-flow on weighted graphs, Amer. J. Math. 146 (2024), 1723-1747).
On a spectral booksize problem fo non bipartite graphs
The $\text{bk}(G)$ of a graph $G$ is the maximum number of triangles sharing a common edge. Motivated by a classical conjecture of Erdős, spectral lower bounds for the booksize have received considerable attention. For a positive divisor $s$ of $m-1$ with $\frac{m-1}{s}\ge2$, let $S_{m,s}^{+}$ be obtained from $K_{s,\frac{m-1}{s}}$ by adding one edge inside the part of order $\frac{m-1}{s}$. Zhai et al. proved that, apart from this explicit family, every $m$-edge non-bipartite graph satisfying $ρ(G)^2\ge m-1+\frac{2}{ρ(G)-1}$ has booksize greater than $\frac{1}{240}\sqrt{m}$, and they asked for the best possible constant.
We answer this question asymptotically. For every $0<\varepsilon<\frac{1}{4}$ and all sufficiently large $m$, every $m$-edge non-bipartite graph $G$ without isolated vertices satisfying the same spectral condition either is isomorphic to $S_{m,s}^{+}$ for some such integer $s$, or satisfies $\text{bk}(G)>\left(\frac{1}{4}-\varepsilon\right)\sqrt{m}$. We also give infinitely many graphs outside the exceptional family showing that no constant larger than $\frac{1}{4}$ is possible. Thus $\frac{1}{4}$ is the optimal asymptotic constant in the problem of Zhai et al.
Erdős--Ko--Rado and Hilton--Milner Theorems in the Partition Lattice
Let $M_n=M(K_{n+1})$ be the graphic matroid of the complete graph, and let $\mathcal{F}_k(M_n)$ be its rank-$k$ flats. We study families $\mathcal{A}\subseteq\mathcal{F}_k(M_n)$ satisfying $\mathrm{rk}(A\wedge B)\ge t$ for all $A,B\in\mathcal{A}$. For $t=1$, this problem is exactly equivalent to Czabarka's partition-EKR conjecture, first introduced in print by P.~L. Erdős and L.~A. Székely~\cite{ErdosSzekelyHigher}. We prove the corresponding Erdős--Ko--Rado theorem in the explicit linear range $n+1\ge8k$, giving a constant-factor advance toward the conjectured sharp range $n\ge2k$. For every fixed $t$, we further prove an Erdős--Ko--Rado theorem under an explicit condition of order $O_t(k^2)$ on the block number $n+1-k$, with equality only for a full $t$-star. We also determine the largest nontrivial intersecting families under an explicit $O(k^6)$ threshold and characterize the unique extremal family up to isomorphism.
About finite differential tropical basis for linear ODE's
We formulate several open questions regarding the tropicalization of linear ODEs, aiming primarily to develop methods for calculating the radius of convergence of their classical solutions. To this aim it is of foremost importance to characterize the classes of equations that admit a finite differential tropical basis, as introduced in (Fink and Toghani, 2022). Our initial exploration examines the second- and third-order cases.
On $\{2\}$-Roman graph recognition of Partner Limited graphs
Given a graph $G=(V,E)$, $f : V \rightarrow \{0, 1, 2\}$ is a \emph{Roman $\{2\}$-dominating function} of $G$ if for every vertex $v\in V$ with $f(v) =0$, either there exists a vertex $u$ adjacent to $v$ with $f(u) = 2$, or two distinct vertices $x,\; y$ both adjacent to $v$ with $f(x)=f(y)=1$ (Chellali et al. 2016). Every graph $G$ satisfies $γ_{\{R2\}}(G) \leq 2γ(G)$, where $γ_{\{R2\}}(G)$ denotes the minimum weight of a $\{2\}$-Roman dominating function of $G$ and $γ(G)$ is the domination number of $G$. \emph{$\{2\}$-Roman graphs} are those for which the equality is reached (Klostermeyer et al. 2019). A characterization of $\{2\}$-Roman trees was given by Henning et al. in 2017. In 2025, Ferrari et al. characterized the $\{2\}$-Roman property by the existence of a minimum $\{2\}$-Roman dominating function of $G$ that assumes only $0, 2$-values. Afterwards in 2025, Bešter Štorgel et al. introduced the problem of recognizing $\{2\}$-Roman graphs, proved polinomiality for middle graphs, and characterized \hbox{$\{2\}$-Roman} split graphs that can be decomposed with respect to the split join operation into two smaller split graphs. Recognition complexity is still open for general graphs.
In this paper we study the \hbox{$\{2\}$-Roman} property on graphs that can be decomposed into two smaller graphs with respect to the join and union operations, allowing to completely characterize the $\{2\}$-Roman property. The 4-path is the non trivial connected non $\{2\}$-Roman graph with the fewest number of vertices and edges. We classify the $\{2\}$-Roman property within specific families of non decomposable graphs with a limited number of 4-paths which are present in the decomposition of partner limited graphs; these are well-labelled spiders, the graphs in ZOO and some special split graphs.
Simultaneous Graph Parameters and How to Bound Them
Beisegel et al. [SWAT 2024] introduced the concept of simultaneous $\mathcal{C}$-numbers which associate a graph class $\mathcal{C}$ with a graph parameter. Given a graph $G$, the simultaneous $\mathcal{C}$-number is the smallest number $d$ for which there is a graph $H \in \mathcal{C}$ and a function $L : V(G) \to \mathcal{P}(\{1,\dots,d\})$ such that two vertices $u$ and $v$ are adjacent in $G$ if and only if they are adjacent in $H$ and their sets $L(u)$ and $L(v)$ are not disjoint. We study the relation of these simultaneous $\mathcal{C}$-numbers to other graph parameters. In particular, we investigate which parameters fulfill the following property: Parameter $p$ is bounded on class $\mathcal{C}$ if and only if $p$ is bounded on the class of graphs of simultaneous $\mathcal{C}$-number $d$ for any fixed $d$. We show that many well-known graph parameters have this property. Examples are cliquewidth, twin-width, mim-width, tree independence number, thinness as well as boxicity. We furthermore present some parameters, including modular-width and tree-length, that do no have this property. We also study when a parameter forms an upper bound on a simultaneous $\mathcal{C}$-number. We characterize those graph classes $\mathcal{C}$ for which the parameters treewidth, pathwidth, bandwidth, and treedepth upper bound the simultaneous $\mathcal{C}$-number. Furthermore, we present sufficient conditions on a class $\mathcal{C}$, such that $\mathcal{P}$-modular cardinality upper bounds the simultaneous $\mathcal{C}$-number, where $\mathcal{P}$ is replaced by the complete graphs, the edgeless graphs, cographs, or the class $\mathcal{C}$ itself. On the contrary, we show that modular width never forms an upper bound on a non-trivial simultaneous $\mathcal{C}$-number. Finally, we present some general algorithmic results on the clique problem and computation of simultaneous $\mathcal{C}$-numbers.
Improved Bounds for Unavoidable Claws in Tournaments
Let $u(n)$ be the largest integer $d$ such that every $n$-vertex claw with at most $d$ branches occurs in every tournament on $n$ vertices, and let $c_{\mathrm{claw}}=\limsup_{n\to\infty}u(n)/n$. In 1998, Lu, Wang and Wong proved that $19/50\le c_{\mathrm{claw}}\le11/23$, and these have remained the best bounds known. We improve them to $2/5\le c_{\mathrm{claw}}\le10/21$. We also isolate two parameters $θ$ and $σ$ which place the lower- and upper-bound arguments in a common framework: we show $σ\leθ$ and $1/21\leσ\leθ\le1/5$, our two bounds being the images of the endpoints under $α\mapsto\frac12-\fracα{2}$, and $σ=θ$ would force $\lim u(n)/n$ to exist.