graph
34604 papers tagged with this keyword
The $χ$-Ramsey problem for triangle-free graphs
Published
• View Publication
• BIB
In 1967, Erdős asked for the greatest chromatic number, $f(n)$, amongst all $n$-vertex, triangle-free graphs. An observation of Erdős and Hajnal together with Shearer's classical upper bound for the off-diagonal Ramsey number $R(3, t)$ shows that $f(n)$ is at most $(2 \sqrt{2} + o(1)) \sqrt{n/\log n}$.
We improve this bound by a factor $\sqrt{2}$, as well as obtaining an analogous bound on the list chromatic number which is tight up to a constant factor. A bound in terms of the number of edges that is similarly tight follows, and these results confirm a conjecture of Cames van Batenburg, de Joannis de Verclos, Kang, and Pirot.
Facets and facet subgraphs of symmetric edge polytopes
Published
• View Publication
• BIB
Symmetric edge polytopes, a.k.a. PV-type adjacency polytopes, associated with undirected graphs have been defined and studied in several seemingly independent areas including number theory, discrete geometry, and dynamical systems. In particular, the authors are motivated by the study of the algebraic Kuramoto equations of unmixed form whose Newton polytopes are the symmetric edge polytopes.
The interplay between the geometric structure of symmetric edge polytopes and the topological structure of the underlying graphs has been a recurring theme in recent studies. In particular, ``facet/face subgraphs'' have emerged as one of the central concepts in describing this symmetry. Continuing along this line of inquiry we provide a complete description of the correspondence between facets/faces of a symmetric edge polytope and maximal bipartite subgraphs of the underlying connected graph.
Total Difference Labeling of Regular Infinite Graphs
Published in Involve 16 (2023) 765-781
• View Publication
• BIB
Given a graph $G$, a \textit{$k$-total difference labeling} of the graph is a total labeling $f$ from the set of edges and vertices to the set $\{1, 2, \cdots k\}$ satisfying that for any edge $\{u,v\}$, $f(\{u,v\})=|f(u)-f(v)|$. If $G$ is a graph, then $χ_{td}(G)$ is the minimum $k$ such that there is a $k$-total difference labeling of $G$ in which no two adjacent labels are identical. We extend prior work on total difference labeling by improving the upper bound on $χ_{td}(K_n)$ and also by proving results concerning infinite regular graphs.
Cops and Robber on Cartesian products and some classes of hypergraphs
The game of Cops and Robber is a pursuit-evasion game which is usually played on a connected graph. In the game, a set of cops and a robber move around the vertices of a graph along edges, where the cops aim to capture the robber, while the robber aims to avoid capture. Much research about this game have been done since the early 1980s. The game has a natural generalisation to being played on connected hypergraphs, where the cops and the robber may now move along hyperedges. In this paper, we shall provide a characterisation of all hypergraphs where one cop is sufficient to capture the robber. The cop-number of a connected hypergraph is the minimum number of cops required in order to capture the robber. We shall prove some results about the cop-number of certain hypergraphs, including hypertrees and Cartesian products of hypergraphs.
Signed $(0,2)$-graphs with few eigenvalues and a symmetric spectrum
Published
• View Publication
• BIB
We investigate properties of signed graphs that have few distinct eigenvalues together with a symmetric spectrum. Our main contribution is to determine all signed $(0,2)$-graphs with vertex degree at most $6$ that have precisely two distinct eigenvalues $\pm λ$. Next, we consider to what extent induced subgraphs of signed graph with two distinct eigenvalues $\pm λ$ are determined by their spectra. Lastly, we classify signed $(0,2)$-graphs that have a symmetric spectrum with three distinct eigenvalues and give a partial classification for those with four distinct eigenvalues.
Regular homogeneously traceable nonhamiltonian graphs
Published
• View Publication
• BIB
A graph is called homogeneously traceable if every vertex is an endpoint of a Hamilton path. In 1979 Chartrand, Gould and Kapoor proved that for every integer $n\ge 9,$ there exists a homogeneously traceable nonhamiltonian graph of order $n.$ The graphs they constructed are irregular. Thus it is natural to consider the existence problem of regular homogeneously traceable nonhamiltonian graphs. We prove two results: (1) For every even integer $n\ge 10,$ there exists a cubic homogeneously traceable nonhamiltonian graph of order $n;$ (2) for every integer $p\ge 18,$ there exists a $4$-regular homogeneously traceable graph of order $p$ and circumference $p-4.$ Unsolved problems are posed.
Equitable partitions for Ramanajun graphs
For d-regular graph G, an edge-signing sigma:E(G) \rightarrow {-1,1} is called a good signing if the absolute eigenvalues of adjacency matrix are at most 2 \sqrt{d-1}. Bilu-Linial conjectured that for each regular graph there exists a good signing. In this paper, by using new concept "Equitable Partition", we solve the Bilu-Linial Conjecture for some cases. We show that how to find out a good signing for special complete graphs and lexicographic product of two graphs. In particular, if there exist two good signings for graph G, then we can find a good signing for a 2-lift of G.
Upper bounds on the extremal number of the 4-cycle
Published
• View Publication
• BIB
We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a disproof of a conjecture of Erdős from 1970s which asserts that $f(n)=\frac12 n^{3/2}+\frac14 n+o(n)$.
RAC-drawability is $\exists\mathbb{R}$-complete
Published
• View Publication
• BIB
A RAC-drawing of a graph is a straight-line drawing in which every crossing occurs at a right-angle. We show that deciding whether a graph has a RAC-drawing is as hard as the existential theory of the reals, even if we know that every edge is involved in at most ten crossings and even if the drawing is specified up to isomorphism.
Weak saturation stability
Published
• View Publication
• BIB
The paper studies wsat$(G,H)$ which is the minimum number of edges in a weakly $H$-saturated subgraph of $G$. We prove that wsat$(K_n,H)$ is `stable' - remains the same after independent removal of every edge of $K_n$ with constant probability - for all pattern graphs $H$ such that there exists a `local' set of edges percolating in $K_n$. This is true, for example, for cliques and complete bipartite graphs. We also find a threshold probability for the weak $K_{1,t}$-saturation stability.
The complexity of the bondage problem in planar graphs
A set $S\subseteq V(G)$ of a graph $G$ is a dominating set if each vertex has a neighbor in $S$ or belongs to $S$. Let $γ(G)$ be the cardinality of a minimum dominating set in $G$. The bondage number $b(G)$ of a graph $G$ is the smallest cardinality of a set of edges $A\subseteq E(G)$, such that $γ(G-A)=γ(G)+1$. The $d$-Bondage is the problem of deciding, given a graph $G$ and an integer $d\geq 1$, if $b(G)\leq d$. This problem is known to be $\mathsf{NP}$-hard even for bipartite graphs and $d=1$. In this paper, we show that $1$-Bondage is $\mathsf{NP}$-hard, even for the class of $3$-regular planar graphs, the class of subcubic claw-free graphs, and the class of bipartite planar graphs of maximum degree $3$, with girth $k$, for any fixed $k\geq 3$. On the positive side, for any planar graph $G$ of girth at least $8$, we show that we can find, in polynomial time, a set of three edges $A$ such that $γ(G-A)>γ(G)$. Last, we exposed some classes of graphs for which Dominating Set can be solved in polynomial time, and where $d$-Bondage can also be solved in polynomial time, for any fixed $d\geq 1$.
On the Randić energy of caterpillar graphs
Published
• View Publication
• BIB
A caterpillar graph $T(p_1, \ldots, p_r)$ of order $n= r+\sum_{i=1}^r p_i$, $r\geq 2$, is a tree such that removing all its pendent vertices gives rise to a path of order $r$. In this paper we establish a necessary and sufficient condition for a real number to be an eigenvalue of the Randić matrix of $T(p_1, \ldots, p_r)$. This result is applied to determine the extremal caterpillars for the Randić energy of $T(p_1,\ldots, p_r)$ for cases $r=2$ (the double star) and $r=3$. We characterize the extremal caterpillars for $r=2$. Moreover, we study the family of caterpillars $T\big(p,n-p-q-3,q\big)$ of order $n$, where $q$ is a function of $p$, and we characterize the extremal caterpillars for three cases: $q=p$, $q=n-p-b-3$ and $q=b$, for $b\in \{1,\ldots,n-6\}$ fixed. Some illustrative examples are included.
The Möbius function on Affine Grassmannian elements
To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the Möbius function is nonzero. This is applied to obtain explicit expansions in the $K$-theory of affine Grassmannians, of the basis of ideal sheaves into the basis of structure sheaves of Schubert varieties.
Approximate PSD-Completion for Generalized Chordal Graphs
Recently, there has been interest in the question of whether a partial matrix in which many of the fully defined principal submatrices are PSD is approximately PSD completable. These questions are related to graph theory because we can think of the entries of a symmetric matrix as corresponding to the edges of a graph.
We first introduce a family of graphs, which we call thickened graphs; these contain both triangle-free and chordal graphs, and can be viewed as the result of replacing the edges of a graph by an arbitrary chordal graph. We believe these graphs might be of independent interest.
We then show that for a class of graphs including thickened graphs, it is possible to get quantitative bounds on how well the property of having these principal submatrices being PSD approximates the PSD-completability property. These bounds frequently only depend on the size of the smallest cycle of size at least 4 in the graph. We introduce some tools that allow us to better control the quality of these approximations and indicate how these approximations can be used to improve the performance of semidefinite programs. The tools we use in this paper are an interesting mix of algebraic topology, structural graph theory, and spectral analysis.
Testing isomorphism of chordal graphs of bounded leafage is fixed-parameter tractable
Published
• View Publication
• BIB
The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general graph isomorphism problem. Every chordal graph can be represented as the intersection graph of some subtrees of a representing tree, and the leafage of a chordal graph is defined to be the minimum number of leaves in a representing tree for it. We prove that chordal graph isomorphism is fixed parameter tractable with leafage as parameter. In the process we introduce the problem of isomorphism testing for higher-order hypergraphs and show that finding the automorphism group of order-$k$ hypergraphs with vertex color classes of size $b$ is fixed parameter tractable for any constant $k$ and $b$ as fixed parameter.
Applications of the Harary-Sachs Theorem for Hypergraphs
Published
• View Publication
• BIB
The Harary-Sachs theorem for $k$-uniform hypergraphs equates the codegree-$d$ coefficient of the adjacency characteristic polynomial of a uniform hypergraph with a weighted sum of subgraph counts over certain multi-hypergraphs with $d$ edges. We begin by showing that the classical Harary-Sachs theorem for graphs is indeed a special case of this general theorem. To this end we apply the generalized Harary-Sachs theorem to the leading coefficients of the characteristic polynomial of various hypergraphs. In particular, we provide explicit and asymptotic formulas for the contribution of the $k$-uniform simplex to the codegree-$d$ coefficient. Moreover, we provide an explicit formula for the leading terms of the characteristic polynomial of a 3-uniform hypergraph and further show how this can be used to determine the complete spectrum of a hypergraph. We conclude with a conjecture concerning the multiplicity of the zero-eigenvalue of a hypergraph.
The Equidistant Dimension of Graphs
Published in Bull. Malays. Math. Sci. Soc. (2022) 45:1757-1775
• View Publication
• BIB
A subset $S$ of vertices of a connected graph $G$ is a distance-equalizer set if for every two distinct vertices $x, y \in V (G) \setminus S$ there is a vertex $w \in S$ such that the distances from $x$ and $y$ to $w$ are the same. The equidistant dimension of $G$ is the minimum cardinality of a distance-equalizer set of G. This paper is devoted to introduce this parameter and explore its properties and applications to other mathematical problems, not necessarily in the context of graph theory. Concretely, we first establish some bounds concerning the order, the maximum degree, the clique number, and the independence number, and characterize all graphs attaining some extremal values. We then study the equidistant dimension of several families of graphs (complete and complete multipartite graphs, bistars, paths, cycles, and Johnson graphs), proving that, in the case of paths and cycles, this parameter is related with 3-AP-free sets. Subsequently, we show the usefulness of distance-equalizer sets for constructing doubly resolving sets.
Characterizations for split graphs and unbalanced split graphs
We introduce a characterization for split graphs by using edge contraction. Then, we use it to prove that any ($2K_{2}$, claw)-free graph with $α(G) \geq 3$ is a split graph. Also, we apply it to characterize any pseudo-split graph. Finally, by using edge contraction again, we characterize unbalanced split graphs which we use to characterize the Nordhaus-Gaddum graphs.
Weakening Total Coloring Conjecture: Weak TCC and Hadwiger's Conjecture on Total Graphs
Published
• View Publication
• BIB
Hadwiger's conjecture is one of the most important and long-standing conjectures in graph theory. Reed and Seymour showed in 2004 that Hadwiger's conjecture is true for line graphs. We investigate this conjecture on the closely related class of total graphs. The total graph of $G$, denoted by $T(G)$, is defined on the vertex set $V(G)\sqcup E(G)$ with $c_1,c_2\in V(G)\sqcup E(G)$ adjacent whenever $c_1$ and $c_2$ are adjacent to or incident on each other in $G$. We first show that there exists a constant $C$ such that, if the connectivity of $G$ is at least $C$, then Hadwiger's conjecture is true for $T(G)$. The total chromatic number $χ"(G)$ of a graph $G$ is defined to be equal to the chromatic number of its total graph. That is, $χ"(G)=χ(T(G))$. Another well-known conjecture in graph theory, the total coloring conjecture or TCC, states that for every graph $G$, $χ"(G)\leqΔ(G)+2$, where $Δ(G)$ is the maximum degree of $G$. We show that if a weaker version of the total coloring conjecture (weak TCC) namely, $χ"(G)\leqΔ(G)+3$, is true for a class of graphs $\mathcal{F}$ that is closed under the operation of taking subgraphs, then Hadwiger's conjecture is true for the class of total graphs of graphs in $\mathcal{F}$. This motivated us to look for classes of graphs that satisfy weak TCC. It may be noted that a complete proof of TCC for even 4-colorable graphs (in fact even for planar graphs) has remained elusive even after decades of effort; but weak TCC can be proved easily for 4-colorable graphs. We noticed that in spite of the interest in studying $χ"(G)$ in terms of $χ(G)$ right from the initial days, weak TCC is not proven to be true for $k$-colorable graphs even for $k=5$. In the second half of the paper, we make a contribution to the literature on total coloring by proving that $χ"(G)\leqΔ(G)+3$ for every 5-colorable graph $G$.
On the number of fair dominating sets of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$.The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$.For $k \geq 1$, a $k$-fair dominating set($kFD$-set) in $G$, is a dominating set $S$ such that $|N(v) \cap D|=k$ for every vertex $ v \in V\setminus D$.A fair dominating set, in $G$ is a $kFD$-set for some integer $k\geq 1$.In this paper, after presenting preliminaries, we count the number of fair dominating sets of some specific graphs.