graph
34516 papers tagged with this keyword
An improved upper bound for planar Turán number of double star $S_{2,5}$
Published
• View Publication
• BIB
The planar Turán number of a graph $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. Recently, D. Ghosh, et al. initiated the topic of double stars and prove that $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{20}{7}n$. In this paper, we continue to study this and give a sharp upper bound $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{19}{7}n-\frac{18}{7}$ for all $n\geq 1$, with equality when $n=12$. This improves Ghosh's result.
The maximum number of cliques in graphs with given fractional matching number and minimum degree
Recently, Ma, Qian and Shi determined the maximum size of an $n$-vertex graph with given fractional matching number $s$ and maximum degree at most $d$. Motivated by this result, we determine the maximum number of $\ell$-cliques in a graph with given fractional matching number and minimum degree, which generalizes Shi and Ma's result about the maximum size of a graph with given fractional matching number and minimum degree at least one. We also determine the maximum number of complete bipartite graphs in a graph with prescribed fractional matching number and minimum degree.
Finding d-Cuts in Graphs of Bounded Diameter, Graphs of Bounded Radius and H-Free Graphs
The d-Cut problem is to decide if a graph has an edge cut such that each vertex has at most d neighbours at the opposite side of the cut. If $d=1$, we obtain the intensively studied Matching Cut problem. The d-Cut problem has been studied as well, but a systematic study for special graph classes was lacking. We initiate such a study and consider classes of bounded diameter, bounded radius and $H$-free graphs. We prove that for all $d\geq 2$, d-Cut is polynomial-time solvable for graphs of diameter 2, $(P_3+P_4)$-free graphs and $P_5$-free graphs. These results extend known results for $d=1$. However, we also prove several NP-hardness results for d-Cut that contrast known polynomial-time results for $d=1$. Our results lead to full dichotomies for bounded diameter and bounded radius and to almost-complete dichotomies for H-free graphs.
Constructing heat kernels on infinite graphs
Let $G$ be an infinite, edge- and vertex-weighted graph with certain reasonable restrictions. We construct the heat kernel of the associated Laplacian using an adaptation of the parametrix approach due to Minakshisundaram-Pleijel in the setting of Riemannian geometry. This is partly motivated by the wish to relate the heat kernels of a graph and a subgraph, or of a domain and a discretization of it. As an application, assuming that the graph is locally finite, we express the heat kernel $H_G(x,y;t)$ as a Taylor series with the lead term being $a(x,y)t^r$, where $r$ is the combinatorial distance between $x$ and $y$ and $a(x,y)$ depends (explicitly) upon edge and vertex weights. In the case $G$ is the regular $(q+1)$-tree with $q\geq 1$, our construction reproves different explicit formulas due to Chung-Yau and to Chinta-Jorgenson-Karlsson. Assuming uniform boundedness of the combinatorial vertex degree, we show that a dilated Gaussian depending on any distance metric on $G$, which is uniformly bounded from below can be taken as a parametrix in our construction. Our work extends in part the recent articles [LNY21, CJKS23] in that the graphs are infinite and weighted.
Strong coalitions in graphs
For a graph $G=(V,E)$, a set $D\subset V(G)$ is a strong dominating set of $G$, if for every vertex $x\in V (G)\setminus D$ there is a vertex $y\in D$ with $xy \in E(G)$ and $deg(x)\leq deg(y)$. A strong coalition consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a strong dominating set but whose union $V_{1}\cup V_{2}$, is a strong dominating set. A vertex partition $Ω=\{V_1, V_2,..., V_k \}$ of vertices in $G$ is a strong coalition partition, if every set $V_i \inΩ$ either is a strong dominating set consisting of a single vertex of degree $n-1$, or is not a strong dominating set but produces a strong coalition with another set $V_j \in Ω$ that is not a strong dominating set. The maximum cardinality of a strong coalition partition of $G$ is the strong coalition number of $G$ and is denoted by $SC(G)$. In this paper, we study properties of strong coalitions in graphs.
Minimal obstructions to $C_5$-coloring in hereditary graph classes
For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Note that if $H$ is the triangle, then $H$-colorings are equivalent to $3$-colorings. In this paper we are interested in the case that $H$ is the five-vertex cycle $C_5$.
A minimal obstruction to $C_5$-coloring is a graph that does not have a $C_5$-coloring, but every proper induced subgraph thereof has a $C_5$-coloring. In this paper we are interested in minimal obstructions to $C_5$-coloring in $F$-free graphs, i.e., graphs that exclude some fixed graph $F$ as an induced subgraph. Let $P_t$ denote the path on $t$ vertices, and let $S_{a,b,c}$ denote the graph obtained from paths $P_{a+1},P_{b+1},P_{c+1}$ by identifying one of their endvertices.
We show that there is only a finite number of minimal obstructions to $C_5$-coloring among $F$-free graphs, where $F \in \{ P_8, S_{2,2,1}, S_{3,1,1}\}$ and explicitly determine all such obstructions. This extends the results of Kamiński and Pstrucha [Discr. Appl. Math. 261, 2019] who proved that there is only a finite number of $P_7$-free minimal obstructions to $C_5$-coloring, and of Dębski et al. [ISAAC 2022 Proc.] who showed that the triangle is the unique $S_{2,1,1}$-free minimal obstruction to $C_5$-coloring.
We complement our results with a construction of an infinite family of minimal obstructions to $C_5$-coloring, which are simultaneously $P_{13}$-free and $S_{2,2,2}$-free. We also discuss infinite families of $F$-free minimal obstructions to $H$-coloring for other graphs $H$.
Sublinear hitting sets for some geometric graphs
For an $n$-vertex graph $G$, let $h(G)$ denote the smallest size of a subset of $V(G)$ such that it intersects every maximum independent set of $G$. A conjecture posed by Bollobás, Erdős and Tuza in early 90s remains widely open, asserting that for any $n$-vertex graph $G$, if the independence number $α(G) =Ω(n) $, then $h(G) = o(n)$. In this paper, we establish the validity of this conjecture for various classes of graphs, Our main contributions include: \begin{enumerate}
\item We provide a novel unified framework to find sub-linear hitting sets for graphs with certain locally sparse properties. Based on this framework, we can find hitting sets of size at most $O(\frac{n}{\log{n}})$ in any $n$-vertex even-hole-free graph (in particular, chordal graph) and in any $n$-vertex disk graph, with linear independence numbers.
\item Utilizing geometric observations and combinatorial arguments, we show that any $n$-vertex circle graph $G$ with linear independence number satisfies $h(G)\le O(\sqrt{n})$. Moreover, we extend this methodology to more general classes of graphs.
\item We show the conjecture holds for those hereditary graphs having sublinear balanced separators. \end{enumerate}
We also show that $h(G)$ can be upper bounded by constants for several sporadic families of graphs with large independence numbers.
Complexity and algorithms for Arc-Kayles and Non-Disconnecting Arc-Kayles
Arc-Kayles is a game where two players alternate removing two adjacent vertices until no move is left, the winner being the player who played the last move. Introduced in 1978, its computational complexity is still open. More recently, subtraction games, where the players cannot disconnect the graph while removing vertices, were introduced. In particular, Arc-Kayles admits a non-disconnecting variant that is a subtraction game. We study the computational complexity of subtraction games on graphs, proving that they are PSPACE-complete even on very structured graph classes (split, bipartite of any even girth). We give a quadratic kernel for Non-Disconnecting Arc-Kayles when parameterized by the feedback edge number, as well as polynomial-time algorithms for clique trees and a subclass of threshold graphs. We also show that a sufficient condition for a second player-win on Arc-Kayles is equivalent to the graph isomorphism problem.
An upper bound on the number of relevant variables for Boolean functions on the Hamming graph
The spectrum of a complex-valued function $f$ on $\mathbb{Z}_{q}^n$ is the set $\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}$, where $|u|$ is the Hamming weight of $u$ and $\widehat{f}$ is the Fourier transform of $f$. Let $1\leq d'\leq d\leq n$. In this work, we study Boolean functions on $\mathbb{Z}_{q}^n$, $q\geq 3$, whose spectrum is a subset of $\{0\}\cup \{d',\ldots,d\}$. We prove that such functions have at most $\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}}$ relevant variables for $d'+d\leq n+1$. In particular, we prove that any Boolean function of degree $d$ on $\mathbb{Z}_{q}^n$, $q\geq 3$, has at most $\frac{dq^{d+1}}{4(q-1)}$ relevant variables. We also show that any equitable 2-partition of the Hamming graph $H(n,q)$, $q\geq 3$, associated with the eigenvalue $n(q-1)-qd$ has at most $\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}}$ relevant variables for $d\leq \frac{n+1}{2}$.
Exploring Homological Properties of Independent Complexes of Kneser Graphs
We discuss the topological properties of the independence complex of Kneser graphs, Ind(KG$(n, k))$, with $n\geq 3$ and $k\geq 1$. By identifying one kind of maximal simplices through projective planes, we obtain homology generators for the $6$-dimensional homology of the complex Ind(KG$(3, k))$. Using cross-polytopal generators, we provide lower bounds for the rank of $p$-dimensional homology of the complex Ind(KG$(n, k))$ where $p=1/2\cdot {2n+k\choose 2n}$.
Denote $\mathcal{F}_n^{[m]}$ to be the collection of $n$-subsets of $[m]$ equipped with the symmetric difference metric. We prove that if $\ell$ is the minimal integer with the $q$th dimensional reduced homology $\tilde{H}_q(\mathcal{VR}(\mathcal{F}^{[\ell]}_n; 2(n-1)))$ being non-trivial, then $$\text{rank} (\tilde{H}_q(\mathcal{VR}(\mathcal{F}_n^{[m]}; 2(n-1)))\geq \sum_{i=\ell}^m{i-2\choose \ell-2}\cdot \text{rank} (\tilde{H}_q(\mathcal{VR}(\mathcal{F}_n^{[\ell]}; 2(n-1))). $$ Since the independence complex Ind(KG$(n, k))$ and the Vietoris-Rips complex $\mathcal{VR}(\mathcal{F}^{[2n+k]}_n; 2(n-1))$ are the same, we obtain a homology propagation result in the setting of independence complexes of Kneser graphs. Connectivity of these complexes is also discussed in this paper.
A note on inverting the dijoin of oriented graphs
Published in Electronic Journal of Combinatorics Volume 32, Issue 1 (2025)
• View Publication
• BIB
For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the graph obtained from $D$ by reversing the orientation of each edge that has both endpoints in $X$. Define the inversion number of $D$, denoted $\mathrm{inv}(D)$, to be the minimum number of inversions required to obtain an acyclic oriented graph from $D$. The dijoin, denoted $D_1\rightarrow D_2$, of two oriented graphs $D_1$ and $D_2$ is constructed by taking vertex-disjoint copies of $D_1$ and $D_2$ and adding all edges from $D_1$ to $D_2$. We show that $\mathrm{inv}({D_1 \rightarrow D_2}) > \mathrm{inv}(D_1)$, for any oriented graphs $D_1$ and $D_2$ such that $\mathrm{inv}(D_1) = \mathrm{inv}(D_2) \ge 1$. This resolves a question of Aubian, Havet, Hörsch, Klingelhoefer, Nisse, Rambaud and Vermande. Our proof proceeds via a natural connection between the graph inversion number and the subgraph complementation number.
The Simultaneous Interval Number: A New Width Parameter that Measures the Similarity to Interval Graphs
We propose a novel way of generalizing the class of interval graphs, via a graph width parameter called the simultaneous interval number. This parameter is related to the simultaneous representation problem for interval graphs and defined as the smallest number $d$ of labels such that the graph admits a $d$-simultaneous interval representation, that is, an assignment of intervals and label sets to the vertices such that two vertices are adjacent if and only if the corresponding intervals, as well as their label sets, intersect. We show that this parameter is $\mathsf{NP}$-hard to compute and give several bounds for the parameter, showing in particular that it is sandwiched between pathwidth and linear mim-width. For classes of graphs with bounded parameter values, assuming that the graph is equipped with a simultaneous interval representation with a constant number of labels, we give $\mathsf{FPT}$ algorithms for the clique, independent set, and dominating set problems, and hardness results for the independent dominating set and coloring problems. The $\mathsf{FPT}$ results for independent set and dominating set are for the simultaneous interval number plus solution size. In contrast, both problems are known to be $\mathsf{W}[1]$-hard for linear mim-width plus solution size.
Antidirected trees in dense digraphs
We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et al. for a broad class of digraphs, and generalises a result for $K_{2, \lfloor k/12\rfloor}$-free graphs by Balasubramanian and Dobson.
We also show that every digraph $D$ on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected $k$-arc caterpillar, thus solving the above conjecture for caterpillars. This generalises a result of Perles.
The sandwich problem for odd-hole-free and even-hole-free graphs
For a property $\mathcal{P}$ of graphs, the $\mathcal{P}$-\textsc{Sandwich-Problem}, introduced by Golumbic and Shamir (1993), is the following: Given a pair of graphs $(G_1, G_2)$ on the same vertex set $V$, does there exist a graph $G$ such that $V(G)=V$, $E(G_{1})\subseteq E(G) \subseteq E(G_{2})$, and $G$ satisfies $\mathcal{P}$? A {\em hole} in a graph is an induced subgraph which is a cycle of length at least four. An odd (respectively even) hole is a hole of odd (respectively even) length. Given a class of graphs $\mathcal{C}$ and a graph $G$ we say that $G$ is {\em $\mathcal{C}$-free} if it contains no induced subgraph isomorphic to a member of $\mathcal{C}$. In this paper we prove that if $\mathcal{P}$ is the property of being odd-hole-free or the property of being even-hole-free, then the $\mathcal{P}$-\textsc{Sandwich-Problem} is NP-hard.
Limit points of $A_α$-matrices of graphs
We study limit points of the spectral radii of $A_α$-matrices of graphs. Adapting a method used by J. B. Shearer in 1989, we prove a density property of $A_α$-limit points of caterpillars for $α$ close to zero. Precisely, we show that for $α\in [0, 1/2)$ there exists a positive number $τ_2(α)>2$ such that any value $λ> τ_2(α)$ is an $A_α$-limit point. We also determine the existence of other intervals for which all its points are $A_α$-limit points.
Main $\mathbf{Q}$-eigenvalues of quasi-threshold graphs
In this note, we present a structural description of certain connected cographs having $k \geq 2$ main signless Laplacian eigenvalues. This result allows us to characterize the cographs which are quasi-threshold graphs with two main $\mathbf{Q}$-eigenvalues. In addition, we describe all the quasi-threshold graphs belonging to the subclass of generalized core-satellite graphs with $k \geq 2$ main $\mathbf{Q}$-eigenvalues.
A new infinite family of 4-regular crossing-critical graphs
A graph $G$ is said to be crossing-critical if $cr(G-e)< cr(G)$ for every edge $e$ of $G$, where $cr(G)$ is the crossing number of $G$. Richter and Thomassen [Journal of Combinatorial Theory, Series B 58 (1993), 217-224] constructed an infinite family of 4-regular crossing-critical graphs with crossing number $3$. In this article, we present a new infinite family of 4-regular crossing-critical graphs.
On the geometry of exponential random graphs and applications
In a seminal paper in 2009, Borcea, Brändén, and Liggett described the connection between probability distributions and the geometry of their generating polynomials. Namely, they characterized that stable generating polynomials correspond to distributions with the strongest form of negative dependence. This motivates us to investigate other distributions that can have this property, and our focus is on random graph models. In this article, we will lay the groundwork to investigate Markov random graphs, and more generally exponential random graph models (ERGMs), from this geometric perspective. In particular, by determining when their corresponding generating polynomials are either stable and/or Lorentzian. The Lorentzian property was first described in 2020 by Brändén and Huh and independently by Anari, Oveis-Gharan, and Vinzant where the latter group called it the completely log-concave property. The theory of stable polynomials predates this, and is commonly thought of as the multivariate notion of real-rootedness. Brändén and Huh proved that stable polynomials are always Lorentzian. Although it is a strong condition, verifying stability is not always feasible. We will characterize when certain classes of Markov random graphs are stable and when they are only Lorentzian. We then shift our attention to applications of these properties to real-world networks.
A stability result for almost perfect matchings
Let $n,k,s$ be three integers and $β$ be a sufficiently small positive number such that $k\geq 3$, $0<1/n\ll β\ll 1/k$ and $ks+k\leq n\leq (1+β)ks+k-2$. A $k$-graph is called non-trivial if it has no isolated vertex. In this paper, we determine the maximum number of edges in a non-trivial $k$-graph with $n$ vertices and matching number at most $s$. This result confirms a conjecture proposed by Frankl (On non-trivial families without a perfect matching, \emph{European J. Combin.}, \textbf{84} (2020), 103044) for the case when $s$ is sufficiently large.
The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture
In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of such CSPs.
Thus, we first investigate the expressivity of binary symmetric relations $E_H$ and their corresponding (partial) polymorphisms pPol($E_H$). For irreflexive graphs we observe that there is no pair of graphs $H$ and $H'$ such that pPol($E_H$) $\subseteq$ pPol($E_{H'}$), unless $E_{H'}= \emptyset$ or $H =H'$. More generally we show the existence of an $n$-ary relation $R$ whose partial polymorphisms strictly subsume those of $H$ and such that CSP($R$) is NP-complete if and only if $H$ contains an odd cycle of length at most $n$. Motivated by this we also describe the sets of total polymorphisms of nontrivial cliques, odd cycles, as well as certain cores, and we give an algebraic characterization of projective cores. As a by-product, we settle the Okrasa and Rzążewski conjecture for all graphs of at most 7 vertices.