graph
34604 papers tagged with this keyword
The maximum number of stars in a graph without linear forest
Published
• View Publication
• BIB
For two graphs $J$ and $H$, the generalized Turán number, denoted by $ex(n,J,H)$, is the maximum number of copies of $J$ in an $H$-free graph of order $n$. A linear forest $F$ is the disjoint union of paths. In this paper, we determine the number $ex(n,S_r,F)$ when $n$ is large enough and characterize the extremal graphs attaining $ex(n,S_r,F)$, which generalizes the results on $ex(n, S_r, P_k)$, $ex(n,K_2,(k+1) P_2)$ and $ex(n,K^*_{1,r},(k+1) P_2)$. Finally, we pose the problem whether the extremal graph for $ex(n,J,F)$ is isomorphic to that for $ex(n,S_r,F)$, where $J$ is any graph such that the number of $J$'s in any graph $G$ does not decrease by shifting operation on $G$.
On a conjecture of Nikiforov involving a spectral radius condition for a graph to contain all trees
Published in Discrete Mathematics, 345 (2022), 113112
• View Publication
• BIB
We partly confirm a Brualdi-Solheid-Turán type conjecture due to Nikiforov, which is a spectral radius analogue of the well-known Erdős-Sós Conjecture that any tree of order $t$ is contained in a graph of average degree greater than $t-2$. We confirm Nikiforov's Conjecture for all brooms and for a larger class of spiders. For our proofs we also obtain a new Turán type result which might turn out to be of independent interest.
Rainbow connectivity of randomly perturbed graphs
Published
• View Publication
• BIB
In this note we examine the following random graph model: for an arbitrary graph $H$, with quadratic many edges, construct a graph $G$ by randomly adding $m$ edges to $H$ and randomly coloring the edges of $G$ with $r$ colors. We show that for $m$ a large enough constant and $r \geq 5$, every pair of vertices in $G$ are joined by a rainbow path, i.e., $G$ is {\it rainbow connected}, with high probability. This confirms a conjecture of Anastos and Frieze [{\it J. Graph Theory} {\bf 92} (2019)] who proved the statement for $r \geq 7$ and resolved the case when $r \leq 4$ and $m$ is a function of $n$.
Monotonicity of Steklov eigenvalues on graphs and applications
Published
• View Publication
• BIB
In this paper, we obtain monotonicity of Steklov eigenvalues on graphs which as a special case on trees extends the results of He-Hua [Calc. Var. Partial Differential Equations 61 (2022), no. 3, Paper No. 101, arXiv: 2103.07696] to higher Steklov eigenvalues and gives affirmative answers to two problems proposed in He-Hua [arXiv: 2103.07696]. As applications of the monotonicity of Steklov eigenvalues, we obtain some estimates for Steklov eigenvalues on trees generalizing the isodiametric estimate for the first positive Steklov eigenvalues on trees in He-Hua [arXiv:2011.11014].
Counting substructures and eigenvalues I: triangles
Published in European Journal of Combinatorics, Volume 110, May 2023, 103685
• View Publication
• BIB
Motivated by the counting results for color-critical subgraphs by Mubayi [Adv. Math., 2010], we study the phenomenon behind Mubayi's theorem from a spectral perspective and start up this problem with the fundamental case of triangles. We prove tight bounds on the number of copies of triangles in a graph with a prescribed number of vertices and edges and spectral radius. Let $n$ and $m$ be the order and size of a graph. Our results extend those of Nosal, who proved there is one triangle if the spectral radius is more than $\sqrt{m}$, and of Rademacher, who proved there are at least $\lfloor\frac{n}{2}\rfloor$ triangles if the number of edges is more than that of 2-partite Turán graph. These results, together with two spectral inequalities due to Bollobás and Nikiforov, can be seen as a solution to the case of triangles of a problem of finding spectral versions of Mubayi's theorem. In addition, we give a short proof of the following inequality due to Bollobás and Nikiforov [J. Combin. Theory Ser. B, 2007]: $t(G)\geq \frac{λ(G)(λ^2(G)-m)}{3}$ and characterize the extremal graphs. Some problems are proposed in the end.
On the mutual visibility in Cartesian products and triangle-free graphs
Published
• View Publication
• BIB
Given a graph $G=(V(G), E(G))$ and a set $P\subseteq V(G)$, the following concepts have been recently introduced: $(i)$ two elements of $P$ are \emph{mutually visible} if there is a shortest path between them without further elements of $P$; $(ii)$ $P$ is a \emph{mutual-visibility set} if its elements are pairwise mutually visible; $(iii)$ the \emph{mutual-visibility number} of $G$ is the size of any largest mutual-visibility set. %
In this work we continue to investigate about these concepts. We first focus on mutual-visibility in Cartesian products. For this purpose, too, we introduce and investigate independent mutual-visibility sets. In the very special case of the Cartesian product of two complete graphs the problem is shown to be equivalent to the well-known Zarenkiewicz's problem. We also characterize the triangle-free graphs with the mutual-visibility number equal to $3$.
The probabilistic Weisfeiler-Leman algorithm
A probabilistic version of the Weisfeiler-Leman algorithm for computing the coherent closure of a colored graph is suggested. The algorithm is Monte Carlo and runs in time $ O(n^{1+ω}\log^2 n) $, where $ n $ is the number of vertices of the graph and $ ω< 2.273 $ is the matrix multiplication exponent.
Arithmetic oscillations of the chemical distance in long-range percolation on $\mathbb Z^d$
Published in Ann. Applied Probability 34 (2024), no. 3, 2986--3017
• View Publication
• BIB
We consider a long-range percolation graph on $\mathbb Z^d$ where, in addition to the nearest-neighbor edges of $\mathbb Z^d$, distinct $x,y\in\mathbb Z^d$ are connected by an edge independently with probability asymptotic to $β|x-y|^{-s}$, for $s\in(d,2d)$, $β>0$ and $|\cdot|$ a norm on $\mathbb R^d$. We first show that, for all but a countably many $β>0$, the graph-theoretical (a.k.a. chemical) distance between typical vertices at $|\cdot|$-distance $r$ is, with high probability as $r\to\infty$, asymptotic to $φ_β(r)(\log r)^Δ$, where $Δ^{-1}:=\log_2(2d/s)$ and $φ_β$ is a positive, bounded and continuous function subject to $φ_β(r^γ)=φ_β(r)$ for $γ:=s/(2d)$. The proof parallels that in a continuum version of the model where a similar scaling was shown earlier by the first author and J. Lin. This work also conjectured that $φ_β$ is constant which we show to be false by proving that $(\logβ)^Δφ_β$ tends, as $β\to\infty$, to a non-constant limit which is independent of the specifics of the model. The proof reveals arithmetic rigidity of the shortest paths that maintain a hierarchical (dyadic) structure all the way to unit scales.
Improved square coloring of planar graphs
Published
• View Publication
• BIB
Square coloring is a variant of graph coloring where vertices within distance two must receive different colors. When considering planar graphs, the most famous conjecture (Wegner, 1977) states that $\frac32Δ+1$ colors are sufficient to square color every planar graph of maximum degree $Δ$. This conjecture has been proven asymptotically for graphs with large maximum degree. We consider here planar graphs with small maximum degree and show that $2Δ+7$ colors are sufficient, which improves the best known bounds when $6\leqslant Δ\leqslant 31$.
LLT cumulants and graph coloring
Published in Electron. J. Combin., 29(4), Paper 4.5, 2022
• View Publication
• BIB
The purpose of this note is to introduce a new family of quasi-symmetric functions called LLT cumulants and discuss its properties. We define LLT cumulants using the algebraic framework for conditional cumulants and we prove that the Macdonald cumulant has an explicit positive expansion in terms of LLT cumulants of ribbon shapes, generalizing the classical decomposition of Macdonald polynomials. We also find a natural combinatorial interpretation of the LLT cumulant of a given directed graph as a weighted generating function of colorings of its subgraphs.
We use this graph theoretical framework to prove various positivity results. This includes monomial positivity, positivity in fundamental quasisymmetric functions and related positivity of the coefficients of Schur polynomials indexed by hook shapes. We also prove $e$-positivity for vertical-shape LLT cumulants, after the shift of variable $q \to q+1$, which refines a recent result of Alexandersson and Sulzgruber. All these results give evidence towards Schur-positivity of LLT cumulants, which we conjecture here. We prove that this conjecture implies Schur-positivity of Macdonald cumulants, and we give more evidence by proving the conjecture for LLT cumulants of melting lollipops that refines a recent result of Huh, Nam and Yoo.
Supercritical percolation on finite transitive graphs I: Uniqueness of the giant component
Published
• View Publication
• BIB
Let $(G_n)_{n \geq 1} = ((V_n,E_n))_{n \geq 1}$ be a sequence of finite, connected, vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)_{n \geq 1}$ in $[0,1]$ is supercritical with respect to Bernoulli bond percolation $\mathbb P_p^G$ if there exists $\varepsilon >0$ and $N<\infty$ such that \[
\mathbb P_{(1-\varepsilon)p_n}^{G_n} \left( \text{the largest cluster contains at least $\varepsilon |V_n|$ vertices}\right) \geq \varepsilon \] for every $n\geq N$ with $p_n <1$. We prove that if $(G_n)_{n \geq 1}$ is sparse, meaning that the degrees are sublinear in the number of vertices, then the supercritical giant cluster is unique with high probability in the sense that if $(p_n)_{n \geq 1}$ is supercritical then \[
\lim_{n\to\infty}\mathbb P_{p_n}^{G_n} \left( \text{the second largest cluster contains at least $c|V_n|$ vertices} \right) = 0 \] for every $c>0$. This result is new even under the stronger hypothesis that $(G_n)_{n \geq 1}$ has uniformly bounded vertex degrees, in which case it verifies a conjecture of Benjamini (2001). Previous work of many authors had established the same theorem for complete graphs, tori, hypercubes, and bounded degree expander graphs, each using methods that are highly specific to the examples they treated. We also give a complete solution to the problem of supercritical uniqueness for dense vertex-transitive graphs, establishing a simple necessary and sufficient isoperimetric condition for uniqueness to hold.
The bifurcation lemma for strong properties in the inverse eigenvalue problem of a graph
Published
• View Publication
• BIB
The inverse eigenvalue problem of a graph studies the real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of the graph. The strong spectral property (SSP) is an important tool for this problem. This note establishes the bifurcation lemma, which states that if a spectrum can be realized by a matrix with the SSP for some graph, then all the nearby spectra can also be realized by matrices with the SSP for the same graph. The idea of the bifurcation lemma also works for other strong properties and for not necessarily symmetric matrices. This is used to develop new techniques for verifying a spectrally arbitrary pattern or inertially arbitrary pattern. The bifurcation lemma provides a unified theoretical foundation for several known results, such as the stable northeast lemma and the nilpotent-centralizer method.
Tight bound for independent domination of cubic graphs without $4$-cycles
Published in J. Graph Theory 104.2 (2023) 372-386
• View Publication
• BIB
Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent.
Recently, Abrishami and Henning proved that if $G$ is a cubic graph with girth at least $6$, then $i(G) \le \frac{4}{11}|V(G)|$. We show a result that not only improves upon the upper bound of the aforementioned result, but also applies to a larger class of graphs, and is also tight. Namely, we prove that if $G$ is a cubic graph without $4$-cycles, then $i(G) \le \frac{5}{14}|V(G)|$, which is tight. Our result also implies that every cubic graph $G$ without $4$-cycles satisfies $\frac{i(G)}{γ(G)} \le \frac{5}{4}$, which partially answers a question by O and West in the affirmative.
Breaching the 2-Approximation Barrier for the Forest Augmentation Problem
Published
• View Publication
• BIB
The basic goal of survivable network design is to build cheap networks that guarantee the connectivity of certain pairs of nodes despite the failure of a few edges or nodes. A celebrated result by Jain [Combinatorica'01] provides a 2-approximation for a wide class of these problems. However nothing better is known even for very basic special cases, raising the natural question whether any improved approximation factor is possible at all.
In this paper we address one of the most basic problems in this family for which 2 is still the best-known approximation factor, the Forest Augmentation Problem (FAP): given an undirected unweighted graph (that w.l.o.g. is a forest) and a collection of extra edges (links), compute a minimum cardinality subset of links whose addition to the graph makes it 2-edge-connected. Several better-than-2 approximation algorithms are known for the special case where the input graph is a tree, a.k.a. the Tree Augmentation Problem (TAP). Recently this was achieved also for the weighted version of TAP, and for the k-edge-connectivity generalization of TAP. These results heavily exploit the fact that the input graph is connected, a condition that does not hold in FAP.
In this paper we breach the 2-approximation barrier for FAP. Our result is based on two main ingredients. First, we describe a reduction to the Path Augmentation Problem (PAP), the special case of FAP where the input graph is a collection of disjoint paths. Our reduction is not approximation preserving, however it is sufficiently accurate to improve on a factor 2 approximation. Second, we present a better-than-2 approximation algorithm for PAP, an open problem on its own. Here we exploit a novel notion of implicit credits which might turn out to be helpful in future related work.
Recognising the overlap graphs of subtrees of restricted trees is hard
The overlap graphs of subtrees in a tree (SOGs) generalise many other graphs classes with set representation characterisations. The complexity of recognising SOGs in open. The complexities of recognising many subclasses of SOGs are known. We consider several subclasses of SOGs by restricting the underlying tree. For a fixed integer $k \geq 3$, we consider: \begin{my_itemize}
\item The overlap graphs of subtrees in a tree where that tree has $k$ leaves
\item The overlap graphs of subtrees in trees that can be derived from a given input tree by subdivision and have at least 3 leaves
\item The overlap and intersection graphs of paths in a tree where that tree has maximum degree $k$ \end{my_itemize}
We show that the recognition problems of these classes are NP-complete. For all other parameters we get circle graphs, well known to be polynomially recognizable.
Burling graphs revisited, part III: Applications to $χ$-boundedness
Published in European Journal of Combinatorics, Volume 116, 2024, 103850
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of unbounded chromatic number. The class of Burling graphs consists of all the induced subgraphs of the graphs of this sequence. In the first and second parts of this work, we introduced derived graphs, a class of graphs, equal to the class of Burling graphs, and proved several geometric and structural results about them. In this third part, we use those results to find some Burling and non-Burling graphs, and we see some applications of this in the theory of $χ$-boundedness. In particular, we show that several graphs, like $K_5$, some series-parallel graphs that we call necklaces, and some other graphs are not weakly pervasive.
Conflict-free coloring on open neighborhoods of claw-free graphs
The `Conflict-Free Open (Closed) Neighborhood coloring', abbreviated CFON (CFCN) coloring, of a graph $G$ using $r$ colors is a coloring of the vertices of $G$ such that every vertex sees some color exactly once in its open (closed) neighborhood. The minimum $r$ such that $G$ has a CFON (CFCN) coloring using $r$ colors is called the `CFON chromatic number' (`CFCN chromatic number') of $G$. This is denoted by $χ_{CF}^{ON}(G)$ ($χ_{CF}^{CN}(G)$). D\k ebski and Przybyło in [J. Graph Theory, 2021] showed that if $G$ is a line graph with maximum degree $Δ$, then $χ_{CF}^{CN}(G) = O(\ln Δ)$. As an open question, they asked if the result could be extended to claw-free ($K_{1,3}$-free) graphs, which are a superclass of line graphs. For $k\geq 3$, we show that if $G$ is $K_{1,k}$-free, then $χ_{CF}^{ON}(G) = O(k^2\ln Δ)$. Since it is known that the CFCN chromatic number of a graph is at most twice its CFON chromatic number, this answers the question posed by Dębski and Przybyło.
Generalized Turán problems for double stars
Published
• View Publication
• BIB
We study the generalized Turán function $ex(n,H,F)$, when $H$ or $F$ is a double star $S_{a,b}$, which is a tree with a central edge $uv$, $a$ leaves connected to $u$ and $b$ leaves connected to $v$. We determine $ex(n,K_k,S_{a,b})$ and $ex(n,S_{a,b},F)$ for sufficiently large $n$, where $F$ is either a 3-chromatic graph with an edge whose deletion results in a bipartite graph, or the 2-fan, i.e. two triangles sharing a vertex. We also give bounds on $ex(n,S_{a,b},S_{c,d})$.
On the palindromic Hosoya polynomial of trees
Published
• View Publication
• BIB
A graph $G$ on $n$ vertices of diameter $D$ is called $H$-palindromic if $α(G,k) = α(G,D-k)$ for all $k=0, 1, \dots, \left \lfloor{\frac{D}{2}}\right \rfloor$, where $α(G,k)$ is the number of unordered pairs of vertices at distance $k$. Quantities $α(G,k)$ form coefficients of the Hosoya polynomial. In 1999, Caporossi, Dobrynin, Gutman and Hansen showed that there are exactly five $H$-palindromic trees of even diameter and conjectured that there are no such trees of odd diameter. We prove this conjecture for bipartite graphs. An infinite family of $H$-palindromic trees of diameter $6$ is also constructed.
Lower bounds for Ramsey numbers as a statistical physics problem
Published in J. Stat. Mech. (2022) 033211
• View Publication
• BIB
Ramsey's theorem, concerning the guarantee of certain monochromatic patterns in large enough edge-coloured complete graphs, is a fundamental result in combinatorial mathematics. In this work, we highlight the connection between this abstract setting and a statistical physics problem. Specifically, we design a classical Hamiltonian that favours configurations in a way to establish lower bounds on Ramsey numbers. As a proof of principle we then use Monte Carlo methods to obtain such lower bounds, finding rough agreement with known literature values in a few cases we investigated. We discuss numerical limitations of our approach and indicate a path towards the treatment of larger graph sizes.