Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The spectral Erdős book theorem: sharp bounds and stability
The booksize $\mathrm{bk}(G)$ of a graph $G$ is the largest number of triangles sharing a common edge. A classical theorem of Edwards, conjectured by Bollobás and Erdős, states that every $n$-vertex graph $G$ with $e(G)>e(T_{n,2})$ has booksize greater than $n/6$. Zhai and Lin [J. Graph Theory 102 (2023) 502--520] asked whether the same conclusion holds under the spectral condition $λ(G)>λ(T_{n,2})$, where $λ(G)$ is the spectral radius of the adjacency matrix. We answer this question in a strong form: every $n$-vertex graph $G\neq T_{n,2}$ with $λ(G)\geλ(T_{n,2})$ satisfies \[ \mathrm{bk}(G)\ge\max\Big\{\frac13λ(G),\,λ(G)-\frac n3,\,2λ(G)-n\Big\}. \] Consequently, the condition $λ(G)>λ(T_{n,2})$ forces $\mathrm{bk}(G)\ge\lfloor n/6\rfloor+1$. The middle term is a spectral improvement of Edwards' bound $\mathrm{bk}(G)\ge\frac{2m}{n}-\frac n3$, and all three bounds are best possible. These results come from the edge-spectral setting: every graph $G$ with $m$ edges and $λ(G)\ge\sqrt m$ that is not a complete bipartite graph satisfies \[ \mathrm{bk}(G)\ge\max\Big\{λ(G)-\frac{2m}{3λ(G)},\,2λ(G)-\frac{2m}{λ(G)}\Big\}, \] which strengthens the bound $\mathrm{bk}(G)\ge\frac13λ(G)$ of Zhao, You, Zeng and Zhang. As an application of our method, we prove a triangle counting bound $t(G)\ge\frac13(λ(G)+1)(λ(G)^2-m)$, which improves the result of Bollobás and Nikiforov [J. Combin. Theory Ser B. (2007)]. Finally, we prove stability results at both thresholds: if $λ(G)\ge(\frac12-o(1))n$, then either $\mathrm{bk}(G)\ge(\frac16-o(1))n$ or $G$ can be made into $T_{n,2}$ by adding and deleting $o(n^2)$ edges; if $λ(G)\ge(1-o(1))\sqrt m$, then either $\mathrm{bk}(G)\ge(\frac13-o(1))\sqrt m$ or $G$ differs from a complete bipartite graph in $o(m)$ edges.
Simultaneous Residue-Class Selection in Prescribed-Difference Packings
A family $\mathcal F$ of finite subsets of $\mathbb Z$ is packed into $[N]$ if suitable integer translates of its members are pairwise disjoint subsets of $[N]$. We study two prescribed-difference packing problems of Alon, Dębski, Grytczuk and Przybyło for the arithmetic progressions $A_d=\{d,2d,\ldots,\lfloor n/d\rfloor d\}$ and $B_d=\{d,2d,\ldots,nd\}$. Let $m(n)$ and $M(n)$ denote the corresponding minimum packing lengths, with subscripts indicating restrictions on the admissible differences, and let $\mathcal P(x)$ denote the set of primes at most $x$.
The key ingredient is a residue-class selection scheme that encodes pairwise intersection constraints by cyclic intervals. A lattice-covering argument yields a simultaneous admissible choice, permitting substantial overlap of the containing intervals and providing the sharp upper bounds needed for the bounded-diameter family and the prime-difference equal-cardinality family.
For the bounded-diameter family, we prove $m(n)\sim m_{\mathcal P(\sqrt n)}(n)\sim 4n^{3/2}/(3\log n)$. For the equal-cardinality family with prime differences, we prove $M_{\mathcal P(n)}(n)\sim n^3/(6\log n)$. For the full equal-cardinality family, we show $M(n)\ge \left(\frac{19}{108}-o(1)\right)n^3/\log n$. Together with corresponding estimates for restricted ranges of differences, these results prove several conjectures of Alon--Dębski--Grytczuk--Przybyło and disprove others.
Solution of uniform Turán's Tetrahedron Problem
Turán's Tetrahedron Problem asks to determine the Turán density of the complete hypergraph $K_4^{(3)}$ (tetrahedron). This problem, posed by Turán in 1941, is one of the most famous problems in extremal combinatorics and its solution would attract \$500 prize from Erdős. In the 1980s, Erdős and Sós asked to determine Turán densities of $K_4^{(3)-}$ (broken tetrahedron) and $K_4^{(3)}$ (tetrahedron) when edges are constrained to be uniformly distributed in the host hypergraph. The presumably easier case of the broken tetrahedron was solved by Glebov, Král' and Volec [Israel J. Math. 211 (2016), 349-366] and Reiher, Rödl and Schacht [J. Eur. Math. Soc. 20 (2018), 1139-1159]. We solve the tetrahedron case by proving that the uniform Turán density of $K_4^{(3)}$ is equal to 1/2; this confirms that Rödl's lower bound construction from 1986 is optimal.
Parabolic Homotopy Colimits and Coxeter Descents
Let $G$ be a compact, connected, simply connected semisimple Lie group with Weyl group $W$ and simple reflections $S$. For a simplicial complex $\mathcal K$ on $S$, form the homotopy colimit $X_{\mathcal K}(G)=\operatorname*{hocolim}_{I\in\mathcal K}G/G_I$ of standard partial flag manifolds. We compute its integral homology. If $\operatorname{Des}_R(w)$ is the right descent set of $w\in W$ and $\ell(w)$ its Coxeter length, then $$ H_n(X_{\mathcal K}(G);\mathbb Z)\cong \bigoplus_{w\in W}\widetilde H_{n-2\ell(w)-1}(\mathcal K_{\operatorname{Des}_R(w)};\mathbb Z). $$ Thus the induced subcomplexes of $\mathcal K$ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.
Fourteen and fifteen lonely runners
We prove the Lonely Runner Conjecture for fourteen and fifteen runners. Our proof combines a stronger bound on the speed product in a primitive counterexample with exhaustive computations modulo primes. To obtain the bound, we work with a projected lattice basis and use cases of the conjecture with fewer runners to bound partial sums of its squared Gram-Schmidt lengths. For fifteen runners, the product bound derived from the work of Malikiosis, Santos, and Schymura gives a logarithmic threshold of about $810$; ours reduces this to about $415$, making the computation feasible. For fourteen runners, the new bound reduces the required number of primes from $111$ to $61$. The computations start with a complete two-branch covering search, followed by binary lifting. Since $14$ and $15$ are composite, the polynomial argument used in earlier work does not apply directly. We finish the fourteen-runner case by a direct search. For fifteen runners, we use the factorisation $15=3\cdot5$ and a shifting argument when all but a few speeds share a common divisor. The code and certificates are publicly archived.
A Proof of the Imbalance Conjecture
For an edge $uv$ of a finite simple graph $G$, its imbalance is $|d_G(u)-d_G(v)|$, and the imbalance multiset $M_G$ consists of the imbalances of all edges of $G$. Kozerenko and Skochko conjectured that $M_G$ is graphic whenever every edge has positive imbalance. We prove this conjecture. The main ingredient is the following capacity bound: for every set $A$ of $k$ edges, \[
\sum_{e\in E(G)\setminus A}\min\{k,\operatorname{imb}_G(e)\}
\ge k\max\{Δ-k,0\}, \] where $Δ$ is the maximum degree of $G$. This bound yields all Erdős--Gallai inequalities directly; a parity computation completes the proof.
Vertex-transitive quantum graphs
We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.
A finite victory over de Bruijn-Erdős in interval discrepancy
We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals have been produced. The discrepancy of such a process is the maximum, over all intermediate stages, of the ratio between the longest interval and the shortest interval. A theorem of de Bruijn and Erdős from 1949 shows that this ratio must approach $2$ as $n\to\infty$, and they give a sharp construction achieving this bound. For fixed $n$, their construction gives the upper bound $\operatorname{disc}(n)\leq 2-\frac{3}{2n}+O\bigl(\frac 1{n^2}\bigr)$. In this paper, we prove that $\operatorname{disc}(n)=2^{1-1/\lceil n/2\rceil}=2-\frac{4\ln 2}{n}+O\bigl(\frac 1{n^2}\bigr)$ for every $n$.
A superlinear improvement on line-free sets in $\mathbb{F}_p^3$
Building on an earlier result of the author together with Elsholtz, Führer, Füredi, Pach, Simon and Velich, we present an improved construction for a line-free set in $\mathbb{F}_p^3$, showing that $r_p(\mathbb{F}_p^3)\ge (p-1)^3+\frac18 p^{3/2} - O(p)$ as $p\to \infty$. This results in the first superlinear-term improvement over the standard hypercube construction $\{0,1,\ldots,p-2\}^3$. Via complementation, a line-free set in $\mathbb{F}_p^3$ corresponds to a $2$-blocking set in the affine geometry $AG(3,p)$, hence we also obtain an upper bound of $3p^2-\frac18p^{3/2}+O(p)$ on the smallest size of such a $2$-blocking set.
Combinatorics of Schur ultrafilters
In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a Schur ultrafilter on $\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of Schur P-points in $β(\mathbb Z)$. On the other hand, it is consistent with ZFC that there exist P-points in $β(\mathbb Z)$, but none of them are Schur. Also, we extend the result of Fernández-Bretón, Navarro-Castillo, and Soria-Rojas by showing that no Schur ultrafilter on $\mathbb Z$ is a Q-point.
Commutative Semifields from bijections of the Desarguesian plane
The Menichetti-Kaplansky theorem states that a finite semifield that is three-dimensional over its center is either a field or a twisted field of Albert. This implies that a quadratic homogeneous bijection of $\mathbb{P}^2(\mathbb{F}_q)$ is equivalent to a Dembowski-Ostrom monomial. In this paper, we give a large class of semiquadratic homogeneous bijections of $\mathbb{P}^2(\mathbb{F}_q)$ that are inequivalent to Dembowski-Ostrom monomials. Using these bijections, we construct a large family of commutative semifields that are non-isotopic to finite fields or twisted fields, which in turn give rise to a large family of non-Desarguesian commutative semifield planes. Semiquadratic homogeneous bijections of $\mathbb{P}^1(\mathbb{F}_q)$ have been classified only recently by the first-named author, and Ding and Zieve with the result that all such bijections are either equivalent to Dembowski-Ostrom monomials or degenerate. We demonstrate that this is not the case for $\mathbb{P}^2(\mathbb{F}_q)$.
Cover-free families on graphs
A family of subsets of a $t$-set is a \emph{$d$-cover-free family} or $d$-CFF if no subset in the family is contained in the union of any $d$ other subsets. Let $t(d, n)$ denote the minimum $t$ for which there exists a $d$-CFF on a $t$-set with $n$ subsets. Since a $1$-CFF is the same as a Sperner family, using Sperner's theorem, we get $t(1, n) \sim \log_{2}(n)$ as $n$ grows. Erdös, Frankl, and Füredi (JCTA, 1982) proved that $3.106\log_{2}(n) < t(2,n) < 5.512\log_{2}(n)$. This paper focuses on generalizing $1$-CFF and $2$-CFF using a graph $G$ where vertices correspond to subsets in the set system. A $G$-Sperner$(t, n)$ is a family of subsets of a $t$-set such that each edge of $G$ specifies a pair of subsets not contained in each other, where as a $G$-CFF$(t, n)$ is a family of subsets of a $t$-set such that it is $G$-Sperner and the union of a pair of subsets corresponding to each edge of $G$ does not contain any other subset in the family. Let $t_s(G)$ and $t(G)$ denote the minimum $t$ for which there exist a $G$-Sperner$(t, n)$ and a $G$-CFF$(t, n)$, respectively. In this way, $t_s(K_n) = t(1, n)$ and $t(K_n) = t(2, n)$. Firstly, we prove $t_s(G) = t(1, χ(G))$ for any simple graph $G$ and provide various upper and lower bounds for $t(G)$. The \emph{trivial bound}, $t(1, n) \leq t(G) \leq t(2, n)$ holds for any simple graph $G$ with no isolated vertex, with the lower bound tight for an infinite family of star graphs and the upper bound tight for complete graphs. We study when these bounds can be improved and give better constructive upper bounds for families of graphs such as stars, paths, cycles, wheels, and windmill graphs. In particular, a construction based on mixed-radix Gray codes yields $\log_{2}(n) \leq t(P_n) \leq t(C_n) \leq 1.893\log_{2}(n) + \mathcal{O}(1)$ where $P_n$ and $C_n$ are paths and cycles with $n$ vertices.
Majorization Inequalities from Logarithmic Convexity
Majorization inequalities for symmetric polynomials have interested mathematicians for centuries, from the AM-GM inequality for two variables going back at least to Baudhāyana's Śulbasūtra and Euclid's Elements in the first millenium BCE, through classical results of Newton, Muirhead and Gantmacher, to more recent extensions to Schur polynomials and zonal spherical functions. These have been established case by case, with no unified approach. Although it is known that majorization inequalities follow from symmetry and convexity in the indexing partition, the difficulty of proving convexity in specific cases has left a number of outstanding conjectures inaccessible until now.
The key insight of this paper is that log-convexity provides a more versatile tool and a unifying principle. It implies convexity and hence majorization, and it is preserved under multiplication and weighted averaging, making it well suited to inductive arguments in a wide range of settings. Using this idea, we prove new majorization inequalities for Macdonald polynomials, Jack polynomials and Heckman-Opdam hypergeometric functions, unifying existing results and resolving several open conjectures.
The relative join operad and polyhedral products
An inclusion of nonvoid simplicial complexes induces an arrow of polyhedral products. Applying Ayzenberg's polyhedral join to both complexes gives a symmetric relative join operad. Its endpoint suboperads recover Abramyan--Panov substitution and Ayzenberg composition. Neither endpoint operad nor either relative join operad is finitely generated. The suboperad with nonvoid lower complex arises as the nonempty power-set quotient of the subset-inclusion operad.
When tensoring preserves colimits of nonempty finite diagrams, the suboperad acts on arrows by polyhedral colimits up to coherent natural isomorphism. The action induces a set-operad algebra on isomorphism classes of arrows. The dual construction produces Stanley--Reisner quotient arrows, and the colimit action refines Eldridge's loop-space decomposition to arrows. PL ball--boundary pairs form a suboperad of the relative join operad, and minimal interior faces give an operad morphism. Principal pairs have odd-dimensional spherical moment-angle homotopy fibers and yield a closure result for Eldridge's loop-space class.
Depth-Based Local Recentering of Maxmin Landmarks for Lazy Witness Persistence
We study a local post-processing rule for maxmin (farthest-point) landmark selection in lazy witness persistence. Maxmin landmarks induce nearest-landmark cells. Within each cell, the landmark is moved toward a data point of maximum empirical halfspace depth, with smaller moves in sparsely populated cells, and is then projected back to a data point in the same cell. The resulting support-weighted rule preserves one landmark per original maxmin cell.
We prove a convex-core guarantee for the depth target and explicit worst-case cover bounds for the recentered landmarks. Experiments on planar synthetic loops and 120 MPEG-7 (Moving Picture Experts Group 7) silhouettes separate average landmark fit from extremal coverage. On the synthetic benchmark, recentering reduces mean nearest-landmark distance in all 900 matched trials; after aggregation over landmark budgets, the mean change is $-0.0138$ across 300 dataset/noise/seed blocks, while maximum cover increases by $0.0067$ on average and a thresholded first homology ($H_1$) count is unchanged. On MPEG-7, the image-level mean distance decreases for all 120 silhouettes, while maximum cover increases for 118. Thus the correction consistently improves average landmark representativeness but does not improve worst-case coverage; on the controlled synthetic benchmark, this trade-off occurs without a detectable change in the coarse $H_1$ summary.
Upper bounds for double Roman domination and $[k]$-Roman domination of cylindrical graphs $C_m \Box P_n$
Roman-type domination parameters form an important class of graph invariants that model protection and resource allocation problems on networks. Among them, $[k]$-Roman domination provides a unified framework that generalizes Roman, double Roman, and higher-order variants. In this paper we investigate the $[k]$-Roman domination number of cylindrical grids $C_m\Box P_n$ and derive several new constructive upper bounds. Our approach combines three complementary techniques: linear periodic constructions, uniform ceiling-type labelings, and packing-based refinements. We first analyze the case $C_9\Box P_n$, where these three families of bounds can be compared explicitly and their relative efficiency is shown to depend on the parameter $k$. We then extend the linear constructions to cylindrical grids whose circumference is a multiple of one of the values $3,\dots,9$, obtaining a unified family of upper bounds for $C_{rt}\Box P_n$. Motivated by the asymptotic behavior of these estimates, we further derive general upper bounds depending only on the residue class of $m$ modulo $5$, which apply to all cylindrical grids. As a consequence, we obtain explicit estimates for the double Roman domination number $γ_{[2]R}(C_m\Box P_n)$ and compare the resulting multiple-based constructions with the residue-class bounds. This comparison shows that the residue-class construction becomes asymptotically superior for all sufficiently large admissible circumferences, while several exceptional small cases remain better covered by tailored constructions.
Further results on \([k]\)-Roman domination on cylindrical grids \(C_m \Box P_n\)
In this paper, we study the $[k]$-Roman domination number of cylindrical graphs $C_m \Box P_n$. Our analysis begins with a general lower bound based on local neighborhood constraints. We show that $γ_{[kR]}(C_m\Box P_n) > \frac{(k+1)mn}{5}.$ By exploiting the connection between $[k]$-Roman domination and efficient domination, we characterize the cylindrical graphs for which the extremal local configuration \(f(N[x])=k+1\) for every \(x\in V(C_m\Box P_n)\) can occur. We show that this happens precisely for so called efficient graphs. For fixed small values $m\in\{5,\ldots,8\}$, we construct explicit periodic $[k]$-Roman dominating functions that yield sparse upper bounds. These constructions are complemented by a general uniform upper bound and by packing-refined bounds. A systematic comparison of the resulting bounds shows how their relative strength depends on the parameter $k$ and on the length of the path.
Generalized formulas for the Jones polynomial of a rational link
We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and Abu-Qamar for the Tutte polynomial of the Tait graph of an alternating diagram of a rational link, as well as the matrix formulas of Lawrence and Rosenstein for the Jones polynomial of a rational link. Our approach uses the colored version of Brylawski's tensor product formula for Tutte polynomials of colored graphs, due to Diao, Hetyei, and Hinson. Furthermore, generalizing the formulas of Qazaqzeh, Yasein, and Abu-Qamar, we present a finite automaton that computes the crossing signs, thereby enabling the calculation of the writhe of a standard diagram of a rational link.
$[k]$-Roman domination on cylindrical grids $C_m \Box P_n$
Published
• View Publication
• BIB
Roman domination and its higher-order extensions have attracted considerable attention due to their natural interpretation in terms of defensive resource allocation on networks. The recently introduced $[k]$-Roman domination framework unifies classical Roman, double, triple, and higher-strength protection schemes by allowing each fortified vertex to provide up to $k$ levels of support. In this paper, we investigate the $[k]$-Roman domination number $γ_{[k]R}(G)$ on cylindrical grids $C_m \Box P_n$. We relate $[k]$-Roman domination to efficient domination and establish exact values for regular graphs admitting an efficient dominating set; as a consequence, we obtain explicit values for broad families of toroidal grids and determine exactly when the cylindrical graphs $C_m\Box P_n$ admit an efficient dominating set. Building on these structural insights, we derive several upper bounds for $γ_{[k]R}(C_m \Box P_n)$ for small fixed values of $m$, accompanied by explicit labeling patterns that attain these bounds. All obtained bounds are systematically compared, revealing parameter ranges in which different constructions dominate depending on the value of $k$ and the length of the path. In addition, we present exact packing numbers for selected cylindrical graphs, which complement the domination results and enable further refinements via local weight reductions. Our results extend and unify known domination-type parameters on grid-like structures and highlight new regularities that emerge as the reinforcement strength increases.
Combinatorial decomposition theorem for Hitchin systems via zonotopes
We determine the summands of the decomposition theorem for the Hitchin system for $\mathrm{GL}_n$, in arbitrary degree, over the locus of reduced spectral curves. The key ingredient is an equivariant formula for lattice point counts in graphical zonotopes.