graph
35150 papers tagged with this keyword
Extremal Spanning Trees in Product Grid Graphs
We compare spanning-tree counts at a fixed number of vertices for Cartesian products of paths $P_r$, $r\ge1$, or cycles $C_s$, $s\ge3$. With the number $d$ of factors fixed, an equal-volume tuple that is more balanced in the logarithmic majorization order has at least as many spanning trees, with equality only for permutations. This comparison persists after adjoining any fixed finite connected Cartesian factor; equal-sided blocks therefore uniquely maximize the count at admissible block volume $n^d$. We prove the comparison through strict log-convexity of one-dimensional heat traces in logarithmic length. The Hartman--Watson representation expresses the cycle interpolation as a positive mixture of theta functions, and the path case follows from it. The same heat-trace order decreases every positive inverse-power sum of the nonzero Laplacian eigenvalues, and hence the total effective resistance. Cylinders behave differently: square balancing can fail. For $P_r\square C_s$ of area $N=rs$, extending the product formula to real height and optimizing over integer circumferences $3\le s\le N$ yields an optimum on the scale $N^{1/3}$. Along areas having a divisor asymptotic to that optimum, quantitative estimates place every graph-maximizing circumference on the same scale. For two-dimensional tori, balancing remains optimal, but the gain in the logarithmic spanning-tree count admits no positive uniform lower bound proportional to the decrease in the side sum.
Vertex-colored Turán theorems with applications in extremal hypergraph problems
Balogh, Clemen, and Lidický proved that the $\ell_{2}$-norm Turán problem for $K_{5}^{3}$ is asymptotically solved by the balanced bipartite construction, and they further conjectured that this construction is uniquely extremal for all sufficiently large $n$. We confirm this conjecture. We also determine exactly the maximum number of cliques in an $n$-vertex $K_{5}^{3}$-free $3$-uniform hypergraph for all sufficiently large $n$, thereby verifying the corresponding case of a conjecture of Frankl, Gryaznov, and Talebanfard.
The main ingredients are Turán-type theorems for vertex-colored graphs forbidding balanced cliques, including an edge bound, an $\ell_{2}$-norm bound, and a sharp crossing-triangle theorem in the two-colored balanced $K_{4}$-free case. We also use a local modification procedure within the stability method. This reduces the exact hypergraph problems to proving that the relevant objective function increases under suitable local changes near the bipartite construction.
Optimization and complexity of inertia-type bounds on the independence and chromatic numbers of graph powers
The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the so-called inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory.
The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial arithmetic time for every fixed $k$, given exact spectral input.
Semidefinite programming bounds for distance distribution of spherical codes
Semidefinite programming bounds for spherical codes usually involve polynomials in several inner products. We show how these bounds lead to inequalities for the distance distribution involving only a polynomial of one variable. This polynomial need not have nonnegative Gegenbauer coefficients, since the required positivity follows from an auxiliary function of several variables. We prove three- and four-point versions of the method and apply them to count pairs of points whose inner products lie in a given interval. Our main example uses the four-point bound of de Laat, Leijenhorst, and de Muinck Keizer, who proved that, up to isometry, the $24$-cell is the unique optimal kissing configuration in dimension four. We obtain a polynomial of degree six whose sign and zeros force all inner products between distinct points of an optimal configuration to belong to a set of four values. This gives a short presentation of the distance restriction in their uniqueness proof. For the same polynomial, the usual two-point estimate gives a lower bound of minus three, while the four-point argument gives zero. We also derive restrictions on distance graphs and discuss numerical examples from our joint work on three-point bounds.
Spectra and eigenspaces of branched covers of graphs induced by local factorisation
We consider lifting eigenvalues and eigenvectors of graphs to their {\em factored lifts}, which are branched covers formed from unbranched ones by what one can describe as a `local factorisation' induced by subgroups of vertex stabilisers. Such a description applies to all situations in which a group of automorphisms of a branched cover of a graph acts freely on the arc set of the cover. Branched covers with this property can be described by means of {\em combined voltage assignments} in a group, which generalise the (ordinary) voltage assignments known from the theory of regular covering and are a particular case of an algebraic description of graph covers in Potočnik and Toledo (2021).
With the help of group representations and certain matrices over complex group rings associated with the graphs to be branch-covered, we develop a method for determining the complete spectra of factored lifts, and derive a sufficient condition for lifting eigenvectors.
Symbolic Constraints in Polyhedral Enclosure and Tetrahedral Decomposition in Genus-0 Polyhedra
I present an exploratory, coordinate-free framework for organizing two related problems in polyhedral combinatorics: screening polygonal face multisets for genus-zero enclosure and examining tetrahedral decompositions that preserve the original boundary vertex set. The boundary is summarized using a face-degree excess measure that records how far the surface departs from full triangulation, while standard Euler and incidence relations provide exact constraints and parity-dependent bounds on the external structure. For tetrahedral decompositions, standard incidence relations for a triangulated 3-ball are separated from the additional patterns generated by a restricted boundary-driven decomposition procedure. Within the manually constructed examples, bipyramidal configurations provide an extremal reference class, and departures from bipyramidal structure are associated with changes in attainable tetrahedral states. The examples also suggest a contraction of the realized internal state space as boundary face-degree excess increases, motivating the notions of S-flexibility and incidence-gated transitions. These patterns are presented as empirical structural observations and conjectural directions rather than general classification theorems. The resulting framework provides a symbolic pre-screening workflow that can reject some impossible polygonal face multisets before explicit graph construction or geometric realization, and is implemented in the open-source R package polyenclose.
The edge-isoperimetric number of graphs and their powers
We obtain several sharp spectral bounds, approximations, and exact values for the isoperimetric number and related edge-expansion parameters of graphs. Our results focus on graph powers and on families of graphs with rich algebraic or geometric structure, including distance-regular graphs and graphs arising from finite geometries, among others. Our proofs use techniques from spectral graph theory, linear optimization, finite geometry, and probability, yielding new machinery for analysing edge-expansion phenomena in highly structured graphs.
The automorphism group of the derangement graph of $\operatorname{PGL}_{2}(q)$ acting on the projective line
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, the derangement graph $Γ_G$ is the graph whose vertex set is $G$, and two vertices $g$ and $h$ are adjacent if the ratio $h^{-1}g$ is a fixed-point-free permutation. In this paper, we show that the automorphism group of the derangement graph of the transitive permutation group corresponding to the natural action of $\operatorname{PGL}_{2}(q)$ on the projective line $\operatorname{PG}_{1}(q)$ is \begin{align*}
\operatorname{Aut}(Γ_{\operatorname{PGL}_{2}({q})}) = \left(L_{\operatorname{PGL}_2(q)}\times R_{\operatorname{PGL}_2(q)}\right) \rtimes \left(\langle ψ\rangle \times γ_{\operatorname{Aut}(\mathbb{F}_q)}\right), \end{align*} where $L_{\operatorname{PGL}_2(q)}$ is the left-regular representation of $\operatorname{PGL}_2(q)$, $R_{\operatorname{PGL}_2(q)}$ is the right-regular representation of $\operatorname{PGL}_2(q)$, $γ_{\operatorname{Aut}(\mathbb{F}_q)}$ is the group of conjugation by elements of $\operatorname{Aut}(\mathbb{F}_q)$, and $ψ: \operatorname{PGL}_2(q) \to \operatorname{PGL}_2(q)$ such that $ψ(x) = x^{-1}$.
Sharper Zarankiewicz and Diagonal Bipartite Ramsey Bounds
We prove that there is an absolute positive constant $c$ such that every bipartite graph with $N$ vertices
in each part and at least $N^2/2$ edges contains a complete bipartite graph $K_{t,t}$ whenever
$N\ge c\, 2^{t}$. This improves the classical Kővári-Sós-Turán bound requiring $N$ of order $t\,2^t $. As a consequence, the diagonal bipartite
Ramsey number has upper bound $b(t,t)=O(2^t)$, improving the previous best bound $b(t,t) = O(2^t\, \log t )$ due to
Conlon. The proof was found by GPT-6 Astra, and the method will probably have further applications.
On the Minimum Possible Maximum Degree of Induced Subgraphs of Product Graphs
The following is a natural and fundamental question for a graph $G$: if an induced subgraph $H$ of $G$ has $x$ more vertices than a maximum independent set, what can be said about the maximum degree of $H$ as a function of $x$?
The case $x=1$ is already of considerable interest. For example, in his celebrated proof of the sensitivity conjecture, Hao Huang showed that every induced subgraph of the hypercube $Q_n$ on more than $2^{n-1}$ vertices has maximum degree at least $\sqrt{n}$. Chung, Fúredi, Graham, and Seymour proved that this bound is tight.
In this paper, we study this question when $G$ is either the $n$-fold Hamming product or the $n$-fold tensor product of a triangle. For both graphs, we determine the exact minimum possible average degree of an induced subgraph of a prescribed size. We also prove that the tensor product exhibits several Huang-like phenomena. For the Hamming product, we show that, for several size densities and large $n$, the minimum possible maximum degree is asymptotically equal to the minimum possible average degree. Finally, we extend several of the results from the triangle to an arbitrary complete graph $K_k$.
The diameter of recoloring graphs under a maximum average degree bound
For a graph $G$, we write $\mathrm{mad}(G)$ for its maximum average degree and $\mathrm{diam} G$ for its diameter. Let $R_k(G)$ be the graph whose vertices are the proper colorings of $G$ with $k$ colors, where two colorings are adjacent when they differ at one vertex. Feghali (JCTB, 2021) proved that, for fixed integers $d,k\ge 1$ with $k\ge d+1$ and every $\varepsilon>0$, every $n$-vertex graph $G$ satisfying $\mathrm{mad}(G)\le d-\varepsilon$ has $\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}(n(\log n)^{d-1})$. In this article, we prove that \[
\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}\!\left(
n(\log n)^{\left\lfloor (d-1)/(k-d)\right\rfloor}
\right), \] which extends the result proved by Feghali directly. The proof uses a partition into independent layers and removes $k-d$ colors at each recursive stage. We also improve the bound on the number of layers and determine the best possible linear coefficient in the forest case. More precisely, for $0<\varepsilon<2$, every $n$-vertex graph $G$ with $\mathrm{mad}(G)\le2-\varepsilon$ satisfies $\mathrm{diam} R_3(G)\leρ_M n$, where $M=\lfloor2/\varepsilon\rfloor$, $ρ_M=\max_{1\le m\le M}D_m/m$, and $D_m$ is the largest diameter of $R_3(T)$ over all trees $T$ on $m$ vertices. Moreover, the coefficient $ρ_M$ is best possible.
Optimally pseudorandom $K_4$-free graphs
We show that optimally pseudorandom $K_4$-free graphs of order $n$ and degree $d = Θ(n^{4/5})$ exist by constructing a graph in the split Cayley hexagon, matching the known upper bound. This resolves the first open case for $K_k$-free graphs after $k=3$ for which Alon gave a tight construction in 1994.
This has a variety of implications for $K_4$-free pseudorandom graphs. Furthermore, it implies an explicit lower bound on the Ramsey number of $r(4, t) \geq t^{1.\overline{6} - o(1)}$, improving the previous record by Kostochka, Pudlák, and Rödl of $r(4, t) \geq t^{1.6-o(1)}$.
Dominated Coloring of Some Classes of Perfect and Unicyclic Graphs
The dominated coloring of a graph $G$ is a proper vertex coloring such that each color class is dominated by a vertex. The minimum number of colors required for a dominated coloring of a graph $G$ is called the dominated chromatic number of the graph $G$ and is denoted by $χ_{dom}(G)$. A graph $G$ is said to be chromatic dominated if $χ(G)=χ_{dom}(G)$. In this paper, we characterized the perfect graphs, which are chromatic dominated. Also, we studied the dominated chromatic number of some classes of unicyclic graphs.
Acyclic orientations of mixed graphs
A mixed graph $M=(V,E\cup A)$ is acyclic if its directed part $(V,A)$ is an acyclic digraph. In this note we study the so-called orientation completion problem for the class of acyclic mixed graphs. That is, given an acyclic mixed graph $M$ and a property ${\cal P}$; can we orient the edges of $M$ so that the resulting digraph is acyclic and has property ${\cal P}$. We prove that one can decide in polynomial time whether $M$ can be completed to an acyclic digraph with an out-branching from a prescibed vertex $s$, while it is NP-complete to decide whether $M$ has an acyclic orientation which has both an out-branching and an in-branching (a bipolar orientation). We show that it is NP-complete to decide whether $M$ can be oriented so that it contains a directed path between two prescribed vertices. Finally we describe a polynomial algorithm for deciding whether an acyclic digraph $D$ has an out-branching $B^+_s$ such that the digraph $D-A(B^+_s)$ is connected (in the underlying sense). Based on this we pose as an open problem the complexity of deciding whether the edges of an acyclic mixed graph can be oriented so that the result is an acyclic digraph with a non-separating out-branching.
Weak $k$-metric dimension of Hamming graphs: rectangular products and near-maximum parameters
We determine weak $k$-metric dimensions for several families of Hamming graphs. For $n\ge3$, $m>n$, and $3\le k\le2n$, a cyclic construction proves Conjecture 6.1 of Fernández, Klavžar, Kuziak, Muñoz-Márquez and Yero (2026) on $K_n\square K_m$. For these rectangular products, we also prove that $\operatorname{wdim}_2(K_n\square K_m)=m$ exactly when $m\ge2n-2$. For hypercubes $Q_d$ with $d\ge2$, we show that consecutive parameters $2s-1$ and $2s$ have identical weak resolving sets. Near the maximum parameter, a reduction to restricted-distance binary codes determines $\operatorname{wdim}_{2^d-t}(Q_d)$ for every feasible deficit $0\le t\le15$. For $L\ge1$ and $t\in\{2L,2L+1\}$, we prove the stabilization formula $\operatorname{wdim}_{2^d-t}(Q_d)=2^d-L$ for $d\ge2^L+1$, and show that this threshold is sharp. For each fixed $q\ge3$ and deficit $t$, we also determine $\operatorname{wdim}_{2q^{d-1}-t}(K_q^{\square d})$ in all sufficiently large dimensions, with an explicit sufficient condition.
Anti-Ramsey Number of Intersecting Odd Cycles
For a graph $H$, the anti-Ramsey number $\operatorname{ar}(n,H)$ is the maximum number of colors in an edge-coloring of $K_n$ containing no rainbow copy of $H$, where a copy is rainbow if its edges have pairwise distinct colors. Let $s,t$ be nonnegative integers with $s+t\ge2$, and let $H_{s,t}$ be a graph consisting of $s$ triangles and $t$ odd cycles of fixed lengths at least $5$, all sharing exactly one common vertex and otherwise pairwise vertex-disjoint. Liu et al. (2024) determined $\operatorname{ar}(n,H_{s,0})$ for $s\ge3$ and $n\ge50s^2$. In this paper, we determine the exact value of $\operatorname{ar}(n,H_{s,t})$ for every fixed $H_{s,t}$ with $t\ge1$ and all sufficiently large $n$.
Unit fractions with semiprime denominators: an elementary proof of Erdős Problem #306
We give an elementary proof that every positive rational number $a/b$ with $b$ squarefree is a finite sum of distinct unit fractions $1/n$, where each $n$ is a product of two distinct primes (Erdős Problem #306). After a reduction to small targets, we take a single complete bipartite graph between the primes in $(y^2,2y^2]$, together with $2$ and the primes of $b$, and a tuned initial segment of the primes in $(y^8,y^9]$, and show that some subgraph has reciprocal sum congruent to $a/b$ modulo $1$; the small total mass then forces equality. Writing the number of such subgraphs as a finite Fourier sum, we sort the frequencies into three cases using a table indexed by the two sides of the graph. The small integer frequencies give a positive main term, and all other frequencies are negligible by a divisor-counting argument and a no-wrap-around form of the Chinese remainder theorem. The only inputs about primes are Chebyshev-type bounds. The circle-method framework comes from Tang's Lean development, which gave the first proof; our construction removes its anchor-synchronisation step. The proof has been formalised in Lean 4, apart from a cited inequality of Ramanujan. This work is a human-AI collaboration: AI tools contributed substantially to the construction, the experiments and the writing.
Annihilating-Ideal Graphs and Orthogonality Graphs over $\mathbb{F}_2$
We construct a family of finite local rings whose annihilating-ideal graphs are naturally described by orthogonality of subspaces of $\mathbb{F}_2^n$. For $n=4$ we determine the clique and chromatic numbers exactly and obtain \[ ω(\AG(R_4))=5<6=χ(\AG(R_4)). \] Thus $\AG(R_4)$ is not weakly perfect, and the Behboodi--Rakeei conjecture fails for non-reduced commutative rings.
The edge spectral extremal problem for odd wheels in nonzero residue classes
For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[
\operatorname{spex}(m,W_{2k+1}):=\max\{ρ(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $ρ(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng [18] proposed the following conjecture: For large $m$, every $W_{2k+1}$-free graph of size $m$ satisfies $ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2}$ with equality precisely for $K_k\vee qK_1$ and $m-\binom{k}{2}=kq$. Very recently, Fang, Zhai and Zhang [7] confirmed the Yu--Li--Peng conjecture. When $m$ is large, $k\ge 2$ and $m-\binom{k}{2}$ is not divisible by $k$, the exact solution for the above problem is still open. Regarding this problem, Yu, Zhang, and Zhang [19] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{k,m}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. In this paper we address this problem in each nonzero residue class. Our result completely settles the Yu-Zhang-Zhang conjecture for $k\ge 3$.
Unbalanced Turán and spectral Turán problems with prescribed large maximum degree
Classical Turán theory shows that, without additional constraints, the extremal structure of $F$-free graphs is governed by the chromatic number of $F$ and is asymptotically the balanced Turán graph. We investigate how prescribing a large maximum degree changes this picture and leads to an unbalanced Turán problem. Let $F$ be a graph with $χ(F)=r+1\ge3$, and let $\lceil(r-1)n/r\rceil\leΔ\le n-1$. We study the maximum number of edges and adjacency spectral radius of an $n$-vertex $F$-free graph with maximum degree exactly $Δ$. For $F=K_{r+1}$, the unbalanced $r$-partite graph $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$ is the unique maximizer of both quantities. Let $a(F)$ be the minimum size of an independent set $I$ such that $χ(F-I)\le r$. If $a(F)=1$, we prove edge and spectral stability with respect to $S_{n,Δ}^{(r)}$. If $a(F)>1$, the extremal values are $t(n,r)+o(n^2)$ and $ρ(T(n,r))+o(n)$, respectively, and every extremal graph differs from $T(n,r)$ in $o(n^2)$ edges, uniformly all $\lceil(r-1)n/r\rceil\leΔ\le n-1$. We further establish a general spectral transfer principle: for finite forbidden families, a decomposition-family bound of order $O(n^{1+s})$ yields a spectral bound with error $O(n^s)$ for $0\le s<1$.