Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Projective-Plane Sharp States and Repulsion in Linear Crown-Free Hypergraphs
Let $3 \le k \le r$, and let $C^r_{1,k}$ be the $r$-uniform $k$-crown. Set $q=r-1$, $t=k-1$, $D=tq+1$, and $D^-=(t-1)q+1$. For every edge $e$ of a linear $C^r_{1,k}$-free $r$-graph, $Φ_H(e):=\sum_{v\in e}1/d_H(v)\ge r/D$. We classify equality: $e$ is sharp if and only if $e$ and all edges meeting it form $t$ projective planes of order $q$ glued along the common line $e$. This equality state is repulsive. If $f\ne e$ meets a sharp edge $e$, then at least $q-t+2$ vertices of $f\setminus e$ have degree at most $D^-$. It follows that sharp edges are pairwise disjoint, every edge meets at most $t-1$ sharp edges, and $|V^-(H)|\ge r(D-1)(q-t+2)|S(H)|/((t-1)D^-)$. Combining sharp-state repulsion with the integral defect of every nonsharp edge gives an unconditional strict improvement over the coefficient $D/r$. Define $B_{r,k}=r(D-1)/(t-1)$, $β_{r,k}=B_{r,k}/(B_{r,k}+1)$, and $η_{r,k}=(q-t+2)/D^- - q/D$. If $η_{r,k}>0$, equivalently if $t=2$, or if $t\ge 3$ and $q\ge t(t-2)+1$, then $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+1)$. For the remaining parameters, $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+β_{r,k})$. For fixed $k$, the first bound holds for all sufficiently large $r$ and improves $D/r$ by $r^{-2}+O_k(r^{-3})$. For $k=3$, every component containing a sharp edge is exactly a pair of projective planes glued along that edge. For $k\ge 4$, light attachments may occur throughout a sharp core, but only $O_k(r)$ affine points can have degree greater than $D^-$. We also prove a quantitative near-sharp localization theorem: after deleting a controlled exceptional family, the neighborhood of a near-sharp edge splits into $t$ large packets with approximate affine-plane row-column incidence.
Optimal and quasi-optimal locating-dominating densities in the infinite hexagonal grid with a finite number of rows
A set of vertices $S$ of a graph $G$ is locating-dominating if $S$ is dominating and, for each pair of distinct vertices not in $S$, their neighborhoods in $S$ are distinct. We present results on the minimum density of such sets in the infinite hexagonal grid with a finite number of rows $k$, also known as the hexagonal strip of width $k$, which we denote by $H_k$. For each $k\geq 2$, we present either an optimal solution or a quasi-optimal solution for $H_k$ that is within $1.3\%$ of the optimum. We describe an exact exponential-time algorithm for fixed k, which we implemented to find optimal solutions for $k \leq 5$. As the infinite grid $H_{k}$ always admits a periodic optimal solution, to deal with larger values of $k$, we present an integer linear program that finds an optimal periodic solution for $H_{k}$ for each fixed period. This program yields high-quality feasible solutions for $H_7$ and $H_8$, which we then combine with an optimal solution for $H_3$ to obtain quasi-optimal solutions for all $k\geq 6$. All these solutions admit a very short description.
An Improved Upper Bound on the Zarankiewicz Number z(43;2)
The Zarankiewicz number z(43;2) is the largest number of edges in a four-cycle-free bipartite graph with two parts of size 43. Reiman's bound gives z(43;2) <= 301, with equality only for the incidence graph of a projective plane of order six; no such plane exists, so z(43;2) <= 300. We prove z(43;2) <= 299. The argument is elementary and uses no computer search: a counting identity for the leave of the configuration shows that a hypothetical 300-edge graph admits one of exactly twenty-seven degree profiles per side, of which only four combinations are locally compatible. Three force two vertices to share six neighbours; the fourth forces a transversal design TD(6,6), hence four mutually orthogonal Latin squares of order six, contradicting Tarry's theorem. We also give an explicit 284-edge construction inside PG(2,7), so that 284 <= z(43;2) <= 299.
The Godsil--McKay Asymptotic for Latin Rectangles in the Sublinear Range of Erdős Problem 725
Erdős Problem 725 asks for an asymptotic formula for the number $L_{k,n}$ of ordered, labelled $k\times n$ Latin rectangles. Godsil and McKay proved that $L_{k,n}\sim (n!)^k((n)_k/n^k)^n(1-k/n)^{-n/2}e^{-k/2}$ for $k=o(n^{6/7})$. We provide a partial solution to Erdős Problem 725 by proving this asymptotic for every $k=o(n)$. More precisely, set $\widetilde A_{k,n}=(n!)^k((n)_k/n^k)^n\exp\{[n(H_n-H_{n-k})-k]/2\}$. For every $K(n)=o(n)$, uniformly for $0\leq k\leq K(n)$, we prove $\log(L_{k,n}/\widetilde A_{k,n})=O(k^2/n^2)$, with an absolute implied constant. The results of this paper have been formally verified in Lean.
A lower bound for the second largest up-Laplacian eigenvalue of a simplicial complex
Let $K$ be a finite $k$-dimensional simplicial complex with at least two $k$-faces, and let $\Lup_{k-1}(K)=\partial_k\partial_k^{\T}$ be its $(k-1)$-dimensional up-Laplacian. Writing $d_2(K)$ for the second largest upper degree of a $(k-1)$-face, we prove the sharp bound \[
λ_2\bigl(\Lup_{k-1}(K)\bigr)\ \ge\ d_2(K)+k-1 . \] For $k=1$, this recovers the graph inequality $λ_2(L(G))\ge d_2(G)$ of Li and Pan. We also show that the full graph inequality of Brouwer and Haemers does not extend directly to simplicial complexes: the natural candidate $λ_m(\Lup_{k-1}(K))\ge d_m(K)-m+k+1$ already fails for $m=3$.
A Lovász Theta Parameter and Theta Body for Signed Graphs
We introduce a Lovász-type semidefinite parameter for balanced colouring of signed graphs. Its homomorphism target is a unit sphere equipped with an orthogonal involution: the fixed and anti-fixed components play different roles, while applying the involution to one endpoint realizes switching. The resulting parameter admits a symmetric formulation with two positive semidefinite matrices and an equally symmetric dual. It is also one half of the strict vector chromatic number of the ordinary graph formed by the negative edges of the double switching graph. Our second main contribution is a hierarchy of convex corners. Starting from the balanced induced subgraph polytope, we define signed analogues of the stable-set, theta, and clique-inequalities relaxations in the original vertex space. The signed theta body has an intrinsic two-matrix description, its all-ones gauge is the new scalar parameter, and the ordinary stable-set hierarchy is recovered exactly from signed digon graphs. For all-negative signatures, the construction becomes a relaxation of the maximum induced bipartite subgraph problem and is related to the generalized theta number. Finally, we propose a notion of balanced perfectness and show that it is strictly weaker than perfectness of the associated double-cover graph.
A Characterization of Trees with Trinomial Partial Petrial Polynomials
The partial Petrial polynomial of a bouquet can be computed from the coranks over GF(2) of matrices obtained by varying the diagonal entries of the adjacency matrix of its intersection graph. Motivated by this matrix formulation, we study the corresponding polynomial for simple graphs and determine when it has exactly two or three nonzero terms. A key tool is the interpolating property: the exponents of the nonzero terms are consecutive. Using this property together with local complementation minors of grafts, we extend the known characterization of the binomial case from connected circle graphs to all connected simple graphs, showing that such a graph has a binomial partial Petrial polynomial if and only if it is a path. Our main result characterizes the trinomial case for trees: a tree has a trinomial partial Petrial polynomial if and only if it is a T-shape tree or an H-shape tree. Here, a T-shape tree has maximum degree 3 and exactly one vertex of degree 3, whereas an H-shape tree has maximum degree 3 and exactly two vertices of degree 3, which are adjacent. We also derive explicit formulas for both families in terms of Jacobsthal numbers.
Factorial residues modulo a prime: beyond the square-root bound
For a prime \(p\), let \(A_p=\{k!\pmod p:1\leq k<p\}\). We prove \(|A_p|\gg p^{8/15}\), improving the general lower bound \((\sqrt{2}-o(1))p^{1/2}\). The proof begins with the identity \((n+2)!=(n+1)!+((n+1)!)^2/n!\) in \(\mathbb{F}_p\), which produces many incidences for a family of fractional-linear maps. After Cauchy--Schwarz, the transition maps between two members of this family become affine lines, with multiplicity at most two. The Cartesian-product point-line incidence theorem of Stevens and de Zeeuw then yields the exponent \(8/15\).
$0/1$-Polytopes with Exponentially Small Edge Expansion
We present a construction of a family of $0/1$-polytopes whose edge expansion decreases exponentially with the dimension, which disproves the Mihail-Vazirani conjecture that the graph of every $0/1$-polytope has edge expansion at least one.
The maximum index and spectral radius of unbalanced signed multipartite graphs
Let $Γ=(G,σ)$ be a signed graph, where $G$ is the underlying graph with vertex set $V(G)$ and edge set $E(G)$ such that $σ: E(G)\to \{-1,1\}$ is the sign function. For $U\subset V(G)$, the operation that changes the sign of all edges between $U$ and $V(G)\setminus U$ is called switching. Two signed graphs with the same underlying graph are switching equivalent if one is obtainable from the other one by switching a subset. Two signed graphs are switching isomorphic if one is isomorphic to a switching equivalent signed graph of the other one. A signed cycle is called negative if it contains an odd number of negative edges. A signed graph is balanced if none of its cycles is negative; otherwise it is unbalanced. The adjacency matrix $A(Γ)$ of $Γ$ is obtained from the standard $(0,1)$-adjacency matrix of $G$ by reversing the sign of all $1$s which correspond to negative edges. The index of $Γ$ is the largest eigenvalue of $A(Γ)$ and the spectral radius of $Γ$ is the largest absolute value of the eigenvalue of $A(Γ)$. The least eigenvalue of $Γ$ is the least eigenvalue of $A(Γ)$. We study the extremal problems of the index and the spectral radius among unbalanced signed multipartite graphs. More precisely, we determine the unbalanced signed $t$-partite graphs with fixed $t\ge 2$ and partite sizes (order, respectively) that maximizes the index and the spectral radius respectively, up to switching isomorphism. To determine the unbalanced signed multipartite graphs with fixed partite sizes (order, respectively) with maximum spectral radius, we also determine those with minimum least eigenvalue.
New upper bound for the Ramsey number of odd cycles
The \emph{$k$-color Ramsey number} $R_k(C_{2\ell+1})$ is the least integer $n$ such that any $k$-edge-coloring of a complete graph $K_n$ has a monochromatic odd cycle $C_{2\ell+1}$. Axenovich, Cames van Batenburg, Janzer, Michel, and Rundström~(JCT-B, 2026) recently proved \[ R_k(C_{2\ell+1})\le (4\ell-2)^k k^{k/\ell}+1, \] and Miyazaki, Mulrenin, Pohoata, and Zheng further improved the factor $k^{k/\ell}$ to $(k!)^{1/\ell}$. As Jenssen and Skokan (AM, 2021) determined $R_k(C_{2\ell+1})$ for fixed $k$ and sufficiently large $\ell$, it becomes even more interesting to seek better bound for fixed $\ell$ and sufficiently large $k$. In this paper, we show \[ R_k(C_{2\ell+1}) \le \frac{2\ell}{2\ell-1}(2\ell-1)^k(k!)^{1/\ell} \exp\!\left(k^{1-1/\ell}+O_\ell\!\left(k^{1-2/\ell}+\log k\right)\right)+1 \] for every fixed $\ell\ge 2$ and sufficiently large $k$, which improves the bound of Miyazaki et al. by a factor $2^{k-o(k)}$, and the bound of Axenovich et al. by a factor $(2\e^{1/\ell})^{k-o(k)}$.
Markov and lattice bases for Forman-Ricci curvature of graphs
Discrete Forman-Ricci curvature is a quantity associated to each edge of a graph that describes its local geometry. It has proven to be a useful tool in network analysis in a variety of applications. Recent work by Roost et al.\ (2024) proposed the use of Markov bases to sample from the space of graphs with prescribed vertex degrees and curvatures. In the present work, we further develop the algebraic and combinatorial theory of these Markov bases. We show that the degree of an indispensable Markov move grows at least quadratically in the maximum degree of the graph. In light of this result, a compact description of all Markov basis elements seems unattainable at present. Instead, we find a lattice basis for this problem using only degree three Markov moves, which allows us to employ recently-developed reinforcement learning methods for finding Markov moves that can be applied to a specific graph.
New upper bound for multicolor Ramsey numbers
Let $R_r(k)$ denote the diagonal $r$-color graph Ramsey number. We prove that there exist absolute constants $c,K>0$ such that \[
R_r(k)\le
\exp\!\left(-c\frac{k}{r^2\log^4(2r)}\right)r^{rk} \] for every $r\ge2$ and every $k\ge Kr^2\log^6(2r)$. The proof combines a positive-coefficient root filter of variable order with a retained-spine refinement of the multicolor book method.b
Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions
For a finite sequence of positive integers $\boldsymbol{a}=(a_1,\dots,a_n)$, the restricted partition function $q_{\boldsymbol{a}}(k)$ denote the number of nonnegative integer solutions to the equation $a_1x_1+a_2x_2+\cdots +a_nx_n=k$. It is proved to be a quasi-polynomial of degree $n-1$. Write $q_{\boldsymbol{a}}(k)=\sum_{j=0}^{n-1}c_j(k)k^j$ with periodic coefficient functions $c_j$, and set $b_m=\#\{i:m\mid a_i\}$. In 2008, Beck, Sam, and Woods conjectured that the minimum period of $c_j(k)$ is $\mathrm{lcm}\{m:b_m>j\}$. In this paper, we derive an exact root-of-unity formula for every coefficient function $c_j(k)$. The formula proves the conjectured divisibility upper bound, but it also reveals a lower bound for the period of $c_j(k)$. Both divisibility bounds are sharp. This leads us to construct a family of counterexamples to this conjecture.
The P-vertex problem for graphs with perfect matchings
Sharma and Panda recently proved that every bipartite graph with a perfect matching has property (P); that is, it admits a non-singular real symmetric matrix with support graph G for which every vertex is a P -vertex. In this paper, we extend their result from bipartite graphs to arbitrary graphs. To this end, we introduce the notion of a P - vertex covering and define the P -vertex covering number p(G) as the minimum number of non-singular matrices in S(G) needed so that every vertex of G is a P -vertex of at least one of them. Given a maximal matching of G, we partition the vertex set into the vertices saturated by the matching and the remaining vertices, which necessarily form an independent set. We then construct separate matrices covering these two classes of vertices. We use the Implicit Function Theorem as a perturbation tool to establish the desired result.
A graph-theoretical characterisation of subgroups of Thompson's group $V$
We prove a graph-theoretical characterisation of finitely generated subgroups of Thompson's group $V$: a finitely generated group embeds in $V$ if and only if it admits a faithful context-free action, or equivalently if it belongs to the class CF-TR of transition groups of context-free graphs recently introduced by Matucci and the three last authors. Using this characterisation, we prove results in different directions:
- All known examples of groups with co-context-free Word Problem do embed in $V$, providing evidence towards Lehnert's conjecture.
- Each finitely generated subgroup of $V$ is either virtually abelian, or contains a free non-abelian semigroup. It follows that groups of intermediate growth do not embed in Thompson's $V$.
We further study the relation between transition groups defined by graphs that are limits or covers of each others, and prove properties of transition groups of context-free graphs of polynomial growth. Finally, we prove that the Basilica and Hanoï Towers groups do not embed in $V$. This uses the geometry of Schreier graphs of the natural actions of these groups and of Thompson's $V$.
A finite forbidden family with superlinear surplus and non-join extremal graphs
We give a common counterexample to two product-structure conjectures in extremal graph theory. More precisely, we construct a fixed nonempty finite family $\mathcal L$ with $p(\mathcal L)=2$ such that, for some $c>0$, \[
\operatorname{ex}(n,\mathcal L)>t_2(n)+cn^{3/2} \] for every sufficiently large $n$. Nevertheless, at every such order there is an $\mathcal L$-extremal graph with connected complement, and hence with no nontrivial join decomposition. This superlinear surplus also forces the decomposition family of $\mathcal L$ to contain no forest. The construction uses an endpoint-injective repair operation with a finite obstruction family whose extremal number and equality cases admit exact descriptions. These properties disprove both conjectures.
Linear Lower Bounds for the Modular Chromatic Index
Let $k\geq2$ be an integer. A $1\bmod k$ edge-coloring of a graph $G$ is an edge-coloring in which every nonzero degree in each color class is congruent to $1$ modulo $k$. Let $χ'_k(G)$ denote the minimum number of colors required, and let $χ'_k$ be the supremum of $χ'_k(G)$ over all finite simple graphs $G$. Botler, Colucci, and Kohayakawa conjectured that there exists an absolute constant $C$ such that $χ'_k(G)\leq k+C$ for every $k$ and every $G$. We disprove this conjecture, even within the class of bipartite graphs. More precisely, for all integers $c\geq0$ and $k\geq3c+2$, we construct a finite simple bipartite graph $G_{k,c}$ satisfying $χ'_k(G_{k,c})=k+c+1$. Consequently, $χ'_k\geq k+\lfloor(k+1)/3\rfloor$ for every $k\geq2$. For $k_m=2\cdot3^{m-1}$, we give an affine-hyperplane construction of a finite simple bipartite graph $G_m$ satisfying $Δ(G_m)=χ'_{k_m}(G_m)=3^m=3k_m/2$. More generally, for every sufficiently large $k$, we construct a finite simple bipartite graph $G_k$ such that $Δ(G_k)=χ'_k(G_k)\geq3k/2-10(k\log k)^{1/3}$. Our proofs combine a codegree obstruction with explicit cyclic and affine-geometric constructions and a structured random perturbation.
On Erdős--Ko--Rado and Hilton--Milner Theorems for Direct Products
Let $X=X_1\mathbin{\dot\cup}\cdots\mathbin{\dot\cup}X_p$ and $\mathcal{H}(\boldsymbol k)=\{F\subseteq X:|F\cap X_i|=k_i\text{ for every }i\}$. We study $t$-intersecting families in one such layer and in finite unions of layers under the ordinary condition $|A\cap B|\ge t$. A generating-set method reduces every shifted extremal non-star system to at most $pt$ supporting points. This gives coordinatewise linear Erdős--Ko--Rado thresholds, improving the previous quadratic and higher-degree hypotheses, and proves that every maximum family is a full $t$-star; no positive lower bound on each layer coordinate is needed in the multilayer result. We also solve the nontrivial problem for general $t$ under an explicit polynomial large-part hypothesis, thereby resolving a problem posed by Kwan, Sudakov and Vieira. Every maximum family is a product Hilton--Milner family $\mathcal{H}^\times(T,Y)$, where $T\subseteq X$ is a $t$-set and $Y\subseteq X\setminus T$ has at least two elements. An explicit product formula and an endpoint reduction give a finite optimization and classify all equality cases, including the family $\mathcal{A}_1^\times(T\cup Y)$ when $|Y|=2$.
Counting cliques in graphs with small independence number
We prove that for all fixed $k\geq 4$, any $N$ vertex graph with no independent set of size $n$ and $N\geq Ω(n^{k-1}/\log^{k-2}n)$ contains at least $$ Ω\bigg(\binom Nk \Big(\frac{\log n}{n}\Big)^{\binom k2}/\log n\bigg) $$ cliques of order $k$, and for $k\geq 5$ this is best possible conditional on the known upper bounds for $r(k,n)$. This is also true and tight for $k=2$ by Turán's Theorem and for $k=3$ by a result of Bohman and Mubayi. We show the bound is also tight for $k=4$. We obtain other supersaturation results using the same methods.