graph
34516 papers tagged with this keyword
Extension and rigidity of Perrin's lower bound estimate for Steklov eigenvalues on graphs
In this paper, we extend a lower bound estimate for Steklov eigenvalues by Perrin \cite{Pe} on unit-weighted graphs to general weighted graphs and characterise its rigidity.
Distance signless Laplacian spectral radius and tough graphs involving minimun degree
Let $G=(V(G),E(G))$ be a simple graph, where $V(G)$ and $E(G)$ are the vertex set and the edge set of $G$, respectively. The number of components of $G$ is denoted by $c(G)$. Let $t$ be a positive real number, and a connected graph $G$ is $t$-tough if $t c(G-S)\leq|S|$ for every vertex cut $S$ of $V(G)$. The toughness of graph $G$, denoted by $τ(G)$, is the largest value of $t$ for which $G$ is $t$-tough. Recently, Fan, Lin and Lu [European J. Combin. 110(2023), 103701] presented sufficient conditions based on the spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough with $t\geq 1$ being an integer, respectively. In this paper, we establish sufficient conditions in terms of the distance signless Laplacian spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough, where $\frac{1}{t}$ is a positive integer. Moreover, we consider the relationship between the distance signless Laplacian spectral radius and $t$-tough graphs in terms of the order $n$.
Hardness of 4-Colourings G-Colourable Graphs
We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Nešetřil, this problem is NP-hard for any non-bipartite loop-less graph H. Brakensiek and Guruswami [SODA 2018] conjectured the hardness extends to promise graph homomorphism problems as follows: fix a pair of non-bipartite loop-less graphs G, H such that there is a homomorphism from G to H, it is NP-hard to distinguish between graphs that are G-colourable and those that are not H-colourable. We confirm this conjecture in the cases when both G and H are 4-colourable. This is a common generalisation of previous results of Khanna, Linial, and Safra [Comb. 20(3): 393-415 (2000)] and of Krokhin and Opršal [FOCS 2019]. The result is obtained by combining the algebraic approach to promise constraint satisfaction with methods of topological combinatorics and equivariant obstruction theory.
A note on extendable sets of colorings and rooted minors
DeVos and Seymour (2003) proved that for every set $C$ of 3-colorings of a set $X$ of vertices, there exists a plane graph $G$ with vertices of $X$ incident with the outer face such that a 3-coloring of $X$ extends to a 3-coloring of $G$ if and only if it belongs to $C$. We prove a generalization of this claim for $k$-colorings of $X$-rooted-$K_{k+1}$-minor-free $K_{k+2}$-minor-free graphs.
Sublevels in arrangements and the spherical arc crossing number of complete graphs
Levels and sublevels in arrangements -- and, dually, $k$-sets and $(\leq k)$-sets -- are fundamental notions in discrete and computational geometry and natural generalizations of convex polytopes, which correspond to the $0$-level. A long-standing conjecture of Eckhoff, Linhart, and Welzl, which would generalize McMullen's Upper Bound Theorem for polytopes and provide an exact refinement of asymptotic bounds by Clarkson, asserts that for all $k\leq \lfloor \frac{n-d-2}{2}\rfloor$, the number of $(\leq k)$-sets of a set $S$ of $n$ points in $\mathbf{R}^d$ is maximized if $S$ is the vertex set of a neighborly polytope.
As a new tool for studying this conjecture and related problems, we introduce the $g$-matrix, which generalizes both the $g$-vector of a simple polytope and a Gale dual version of the $g$-vector studied by Lee and Welzl. Our main result is that the $g$-matrix of every vector configuration in $\mathbf{R}^3$ is non-negative, which implies the Eckhoff--Linhart--Welzl conjecture in the case where $d=n-4$.
As a corollary, we obtain the following result about crossing numbers: Consider a configuration $V\subset S^2 \subset \mathbf{R}^3$ of $n$ unit vectors, and connect every pair of vectors by the unique shortest geodesic arc between them in the unit sphere $S^2$. This yields a drawing of the complete graph $K_n$ in $S^2$, which we call a spherical arc drawing. Complementing previous results for rectilinear drawings, we show that the number of crossings in any spherical arc drawing of $K_n$ is at least $\frac{1}{4}\lfloor \frac{n}{2}\rfloor \lfloor \frac{n-1}{2}\rfloor \lfloor \frac{n-2}{2}\rfloor \lfloor \frac{n-3}{2}\rfloor$, which equals the conjectured value of the crossing number of $K_n$. Moreover, the lower bound is attained if $V$ is coneighborly, i.e., if every open linear halfspace contains at least $\lfloor (n-2)/2 \rfloor$ of the vectors in $V$.
The row left rank of quaternion unit gain graphs in terms of pendant vertices
Let $\widetilde{G}=(G,U(\mathbb{Q}),\varphi)$ be a quaternion unit gain graph (or $U(\mathbb{Q})$-gain graph), where $G$ is the underlying graph of $\widetilde{G}$, $U(\mathbb{Q})=\{q\in \mathbb{Q}: |q|=1\}$ and $\varphi:\overrightarrow{E}\rightarrow U(\mathbb{Q})$ is the gain function such that $\varphi(e_{ij})=\varphi(e_{ji})^{-1}=\overline{\varphi(e_{ji})}$ for any adjacent vertices $v_{i}$ and $v_{j}$. Let $A(\widetilde{G})$ be the adjacency matrix of $\widetilde{G}$ and let $r(\widetilde{G})$ be the row left rank of $\widetilde{G}$. In this paper, we prove some lower bounds on the row left rank of $U(\mathbb{Q})$-gain graphs in terms of pendant vertices. All corresponding extremal graphs are characterized.
The signless Laplacian spectral Turán problems for color-critical graphs
The well-known Turán theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Turán graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Turán theorem, Simonovits (1968) proved that for any color-critical graph $F$ with $χ(F)=r+1$ and sufficiently large $n$, the Turán graph $T_{n,r}$ is the unique graph with maximum number of edges among all $n$-vertex $F$-free graphs. Subsequently, Nikiforov [Electron. J. Combin., 16 (1) (2009)] proved a spectral version of the Simonovits theorem in terms of the adjacency spectral radius. In this paper, we show an extension of the Simonovits theorem for the signless Laplacian spectral radius. We prove that for any color-critical graph $F$ with $χ(F)=r+1\ge 4$ and sufficiently large $n$, if $G$ is an $F$-free graph on $n$ vertices, then $q(G)\le q(T_{n,r})$, with equality if and only if $G=T_{n,r}$. Our approach is to establish a signless Laplacian spectral version of the criterion of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]. Consequently, we can determine the signless Laplacian spectral extremal graphs for generalized books and even wheels. As an application, our result gives an upper bound on the degree power of an $F$-free graph. We show that if $n$ is sufficiently large and $G$ is an $F$-free graph on $n$ vertices with $m$ edges, then $\sum_{v\in V(G)} d^2(v) \le 2(1- \frac{1}{r})mn$, with equality if and only if $G$ is a regular Turán graph $T_{n,r}$. This extends a result of Nikiforov and Rousseau [J. Combin. Theory Ser B 92 (2004)].
Improved Bounds for Codes over Trees
Codes over trees were introduced recently to bridge graph theory and coding theory with diverse applications in computer science and beyond. A central challenge lies in determining the maximum number of labelled trees over $n$ nodes with pairwise distance at least $d$, denoted by $A(n,d)$, where the distance between any two labelled trees is the minimum number of edit edge operations in order to transform one tree to another. By various tools from graph theory and algebra, we show that when $n$ is large, $A(n,d)=O((Cn)^{n-d})$ for any $d\leq n-2$, and $A(n,d)=Ω((cn)^{n-d})$ for any $d$ linear with $n$, where constants $c\in(0,1)$ and $C\in [1/2,1)$ depending on $d$. Previously, only $A(n,d)=O(n^{n-d-1})$ for fixed $d$ and $A(n,d)=Ω(n^{n-2d})$ for $d\leq n/2$ were known, while the upper bound is improved for any $d$ and the lower bound is improved for $d\geq 2\sqrt{n}$. Further, for any fixed integer $k$, we prove the existence of codes of size $Ω(n^k)$ when $n-d=o(n)$, and give explicit constructions of codes which show $A(n,n-4)=Ω(n^2)$ and $A(n,n-13)=Ω(n^3)$.
Sufficient conditions for a graph with minimum degree to have a component factor
Let $\mathcal{T}_{\frac{k}{r}}$ denote the set of trees $T$ such that $i(T-S)\leq\frac{k}{r}|S|$ for any $S\subset V(T)$ and for any $e\in E(T)$ there exists a set $S^{*}\subset V(T)$ with $i((T-e)-S^{*})>\frac{k}{r}|S^{*}|$, where $r<k$ are two positive integers. A $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor of a graph $G$ is a spanning subgraph of $G$, in which every component is isomorphic to an element in $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$. Let $A(G)$ and $Q(G)$ denote the adjacency matrix and the signless Laplacian matrix of $G$, respectively. The adjacency spectral radius and the signless Laplacian spectral radius of $G$, denoted by $ρ(G)$ and $q(G)$, are the largest eigenvalues of $A(G)$ and $Q(G)$, respectively. In this paper, we study the connections between the spectral radius and the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph. We first establish a tight sufficient condition involving the adjacency spectral radius to guarantee the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph. Then we propose a tight signless Laplacian spectral radius condition for the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph.
The row left rank of a quaternion unit gain graph in terms of maximum degree
Let $Φ=(G,U(\mathbb{Q}),\varphi)$ be a quaternion unit gain graph (or $U(\mathbb{Q})$-gain graph) of order $n$, $A(Φ)$ be the adjacency matrix of $Φ$ and $r(Φ)$ be the row left rank of $Φ$. Let $Δ$ be the maximum degree of $Φ$. In this paper, we prove that $r(Φ)\geq\frac{n}Δ$. Moreover, if $Φ$ is connected, we obtain that $r(Φ)\geq\frac{n-2}{Δ-1}$. All the corresponding extremal graphs are characterized.
On a Characterization of Spartan Graphs
The eternal vertex cover game is played between an attacker and a defender on an undirected graph $G$. The defender identifies $k$ vertices to position guards on to begin with. The attacker, on their turn, attacks an edge $e$, and the defender must move a guard along $e$ to defend the attack. The defender may move other guards as well, under the constraint that every guard moves at most once and to a neighboring vertex. The smallest number of guards required to defend attacks forever is called the eternal vertex cover number of $G$, denoted $evc(G)$.
For any graph $G$, $evc(G)$ is at least the vertex cover number of $G$, denoted $mvc(G)$. A graph is Spartan if $evc(G) = mvc(G)$. It is known that a bipartite graph is Spartan if and only if every edge belongs to a perfect matching. We show that the only König graphs that are Spartan are the bipartite Spartan graphs. We also give new lower bounds for $evc(G)$, generalizing a known lower bound based on cut vertices. We finally show a new matching-based characterization of all Spartan graphs.
On Macdonald expansions of $q$-chromatic symmetric functions and the Stanley-Stembridge Conjecture
The Stanley-Stembridge conjecture asserts that the chromatic symmetric function of a $(3+1)$-free graph is $e$-positive. Recently, Hikita proved this conjecture by giving an explicit $e$-expansion of the Shareshian-Wachs $q$-chromatic refinement for unit interval graphs. Using the $\mathbb{A}_{q,t}$ algebra, we give an expansion of these $q$-chromatic symmetric functions into Macdonald polynomials. Upon setting $t=1$, we obtain another proof of the Stanley-Stembridge conjecture and rederive Hikita's formula. Upon setting $t=0$, we obtain an expansion into Hall-Littlewood symmetric functions.
Support-2 monomial ideals that are Simis
A monomial ideal $I\subseteq \mathbb{K}[x_1,\ldots , x_n]$ is called a Simis ideal if $I^{(s)}=I^s$ for all $s\geq 1$, where $I^{(s)}$ denotes the $s$-th symbolic power of $I$. Let $I$ be a support-2 monomial ideal such that its irreducible primary decomposition is minimal. We prove that $I$ is a Simis ideal if and only if $\sqrt{I}$ is Simis and $I$ has standard linear weights. This result thereby proves a recent conjecture for the class of support-2 monomial ideals proposed by Mendez, Pinto, and Villarreal. Furthermore, we give a complete characterization of the Cohen-Macaulay property for support-2 monomial ideals whose radical is the edge ideal of a whiskered graph. Finally, we classify when these ideals are Simis in degree 2.
Disjunctive domination in maximal outerplanar graphs
A disjunctive dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G)\setminus D$ has a neighbor in $D$ or has at least two vertices in $D$ at distance $2$ from it. The disjunctive domination number of $G$, denoted by $γ_2^d(G)$, is the minimum cardinality of a disjunctive dominating set of $G$. In this paper, we show that if $G$ is a maximal outerplanar graph of order $n \ge 7$ with $k$ vertices of degree $2$, then $γ_2^d(G)\le \lfloor\frac{2}{9}(n+k)\rfloor$, and this bound is sharp.
Tiling randomly perturbed multipartite graphs
A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of the graph $K_r$ in $G$ that covers all vertices of $G$. In this paper, we prove that the threshold for the existence of a perfect $K_{r}$-tiling of a randomly perturbed balanced $r$-partite graph on $rn$ vertices is $n^{-2/r}$. This result is a multipartite analog of a theorem of Balogh, Treglown, and Wagner and extends our previous result, which was limited to the bipartite setting.
Phase transitions of the Erdős-Gyárfás function
Given positive integers $p,q$. For any integer $k\ge2$, an edge coloring of the complete $k$-graph $K_n^{(k)}$ is said to be a $(p,q)$-coloring if every copy of $K_p^{(k)}$ receives at least $q$ colors. The Erdős-Gyárfás function $f_k(n,p,q)$ is the minimum number of colors that are needed for $K_n^{(k)}$ to have a $(p,q)$-coloring.
Conlon, Fox, Lee and Sudakov (\emph{IMRN, 2015}) conjectured that for any positive integers $p, k$ and $i$ with $k\ge3$ and $1\le i<k$, $f_k(n,p,{{p-i}\choose{k-i}})=(\log_{(i-1)}n)^{o(1)}$, where $\log_{(i)}n$ is an iterated $i$-fold logarithm in $n$. It has been verified to be true for $k=3, p=4, i=1$ by Conlon et. al (\emph{IMRN, 2015}), for $k=3, p=5, i=2$ by Mubayi (\emph{JGT, 2016}), and for all $k\ge 4, p=k+1,i=1$ by B. Janzer and O. Janzer (\emph{JCTB, 2024}). In this paper, we give new constructions and show that this conjecture holds for infinitely many new cases, i.e., it holds for all $k\ge4$, $p=k+2$ and $i=k-1$.
Characterization of $P_3$-connected graphs
For any pair of edges $e,f$ of a graph $G$, we say that {\em $e,f$ are $P_3$-connected in $G$} if there exists a sequence of edges $e=e_0,e_1,\ldots, e_k=f$ such that $e_i$ and $e_{i+1}$ are two edges of an induced $3$-vertex path in $G$ for every $0\leq i\leq k-1$. If every pair of edges of $G$ are $P_3$-connected in $G$, then $G$ is {\em $P_3$-connected}. $P_3$-connectivity was first defined by Chudnovsky et al. in 2024 to prove that every connected graph not containing $P_5$ as an induced subgraph has cop number at most two. In this paper, we give a characterization of $P_3$-connected graphs and prove that a simple graph is $P_3$-connected if and only if it is connected and has no homogeneous set whose induced subgraph contains an edge.
Graph product and the stability of circulant graphs
A graph $Γ$ is said to be stable if $\mathrm{Aut}(Γ\times K_2)\cong\mathrm{Aut}(Γ)\times \mathbb{Z}_{2}$ and unstable otherwise. If an unstable graph is connected, non-bipartite and any two of its distinct vertices have different neighbourhoods, then it is called nontrivially unstable. We establish conditions guaranteeing the instability of various graph products, including direct products, direct product bundles, Cartesian products, strong products, semi-strong products, and lexicographic products. Inspired by a condition for the instability of direct product bundles, we propose a new sufficient condition for circulant graphs to be unstable and refine existing instability conditions from the literature. Based on these results, we categorize unstable circulant graphs into two distinct types and further propose a classification framework.
A Method for Generating Connected Erdos-Renyi Random Graphs
We propose a novel exact algorithm for generating connected Erdos-Renyi random graphs $G(n,p)$. The method couples the graph exploration process to an inhomogeneous Poisson random walk, which yields an exact sampler that runs in $O(n)$ time in the sparse regime $p=c/n$. We also show how the method extends to the $G(n,M)$ model via an additional acceptance-rejection step.
On walk domination: Between different types of walks and $m_3$-path
Given two non-adjacent vertices \( u \) and \( v \), we say a $uv$-walk \( W \) dominates a $uv$-walk \( W' \) if every internal vertex of \( W' \) is adjacent to some internal vertex of \( W \) or belongs to \( W \). A class of walks \(\mathbf{A}\) dominates a class of walks \(\mathbf{B}\) if for every pair of non-adjacent vertices $u,v$ in the graph, every $uv$-walk in \(\mathbf{A}\) dominates every $uv$-walk in \(\mathbf{B}\). This paper investigates the domination relationships among various types of walks connecting two non-adjacent vertices in a graph. In particular, we focus on the problem which is proposed in [S. B. Tondato, Graphs Combin. 40 (2024)]. We study the domination between different walk types (shortest paths, toll walks, weakly toll walks, $l_k$-paths for $k\in \left\{2,3\right\}$) and $m_3$-paths. And we show how these relationships give rise to characterizations of graph classes.