graph
34763 papers tagged with this keyword
An Ore-type condition for existence of two disjoint cycles
Let $n_{1}$ and $n_{2}$ be two integers with $n_{1},n_{2}\geq3$ and $G$ a graph of order $n=n_{1}+n_{2}$. As a generalization of Ore's degree condition for the existence of Hamilton cycle in $G$, El-Zahar proved that if $δ(G)\geq \left\lceil\frac{n_{1}}{2}\right\rceil+\left\lceil\frac{n_{2}}{2}\right\rceil$ then $G$ contains two disjoint cycles of length $n_{1}$ and $n_{2}$. Recently, Yan et. al considered the problem by extending the degree condition to degree sum condition and proved that if $d(u)+d(v)\geq n+4$ for any pair of non-adjacent vertices $u$ and $v$ of $G$, then $G$ contains two disjoint cycles of length $n_{1}$ and $n_{2}$. They further asked whether the degree sum condition can be improved to $d(u)+d(v)\geq n+2$. In this paper, we give a positive answer to this question. Our result also generalizes El-Zahar's result when $n_{1}$ and $n_{2}$ are both odd.
Large, lengthy graphs look locally like lines
Published
• View Publication
• BIB
We apply the theory of unimodular random rooted graphs to study the metric geometry of large, finite, bounded degree graphs whose diameter is proportional to their volume. We prove that for a positive proportion of the vertices of such a graph, there exists a mesoscopic scale on which the graph looks like $\mathbb{R}$ in the sense that the rescaled ball is close to a line segment in the Gromov-Hausdorff metric.
Improved bounds for the excluded-minor approximation of treedepth
Treedepth, a more restrictive graph width parameter than treewidth and pathwidth, plays a major role in the theory of sparse graph classes. We show that there exists a constant $C$ such that for every positive integers $a,b$ and a graph $G$, if the treedepth of $G$ is at least $Cab$, then the treewidth of $G$ is at least $a$ or $G$ contains a subcubic (i.e., of maximum degree at most $3$) tree of treedepth at least $b$ as a subgraph.
As a direct corollary, we obtain that every graph of treedepth $Ω(k^3)$ is either of treewidth at least $k$, contains a subdivision of full binary tree of depth $k$, or contains a path of length $2^k$. This improves the bound of $Ω(k^5 \log^2 k)$ of Kawarabayashi and Rossman [SODA 2018].
We also show an application of our techniques for approximation algorithms of treedepth: given a graph $G$ of treedepth $k$ and treewidth $t$, one can in polynomial time compute a treedepth decomposition of $G$ of width $\mathcal{O}(kt \log^{3/2} t)$. This improves upon a bound of $\mathcal{O}(kt^2 \log t)$ stemming from a tradeoff between known results.
The main technical ingredient in our result is a proof that every tree of treedepth $d$ contains a subcubic subtree of treedepth at least $d \cdot \log_3 ((1+\sqrt{5})/2)$.
Signless Laplacian eigenvalue problems of Nordhaus-Gaddum type
Let $G$ be a graph of order $n$, and let $q_1(G)\geq q_2(G)\geq\cdots\geq q_n(G)$ denote the signless Laplacian eigenvalues of $G$. Ashraf and Tayfeh-Rezaie [Electron. J. Combin. 21 (3) (2014) \#P3.6] showed that $q_1(G)+q_1(\overline{G})\leq 3n-4$, with equality holding if and only if $G$ or $\overline{G}$ is the star $K_{1,n-1}$. In this paper, we discuss the following problem: for $n\geq6$, does $q_2(G)+q_2(\overline{G})\leq 2n-5$ always hold? We provide positive answers to this problem for the graphs with disconnected complements and the bipartite graphs, and determine the graphs attaining the bound. Moreover, we show that $q_2(G)+q_2(\overline{G})\geq n-2$, and the extremal graphs are also characterized.
How to avoid collisions in 3D-realizations for moving graphs
Published in Mechanism and Machine Theory 162 (2021): 104337
• View Publication
• BIB
If we parameterize the positions of all vertices of a given graph in the plane such that distances between adjacent vertices are fixed, we obtain a moving graph. An L-linkage is a realization of a moving graph in 3D-space, by representing edges using horizontal bars and vertices by vertical sticks. Vertical sticks are parallel revolute joints, while horizontal bars are links connecting them. We give a sufficient condition for a moving graph to have a collision-free L-linkage. Furthermore, we provide an algorithm guiding the construction of such a linkage when the moving graph fulfills the sufficient condition, via computing a height function for the edges (horizontal bars). In particular, we prove that any Dixon-1 moving graph has a collision-free L-linkage and no Dixon-2 moving graphs have collision-free L-linkages, where Dixon-1 and Dixon-2 moving graphs are two classic families of moving graphs.
The Kontsevich graph orientation morphism revisited
Published in Banach Center Publications (2021) Vol. 123 "Homotopy algebras, deformation theory and quantization", 123--139
• View Publication
• BIB
The orientation morphism $Or(\cdot)(P)\colon γ\mapsto\dot{P}$ associates differential-polynomial flows $\dot{P}=Q(P)$ on spaces of bi-vectors $P$ on finite-dimensional affine manifolds $N^d$ with (sums of) finite unoriented graphs $γ$ with ordered sets of edges and without multiple edges and one-cycles. It is known that $d$-cocycles $\boldsymbolγ\in\ker d$ with respect to the vertex-expanding differential $d=[{\bullet}\!\!{-}\!{-}\!\!{\bullet},\cdot]$ are mapped by $Or$ to Poisson cocycles $Q(P)\in\ker\,[\![ P,{\cdot}]\!]$, that is, to infinitesimal symmetries of Poisson bi-vectors $P$. The formula of orientation morphism $Or$ was expressed in terms of the edge orderings as well as parity-odd and parity-even derivations on the odd cotangent bundle $ΠT^* N^d$ over any $d$-dimensional affine real Poisson manifold $N^d$. We express this formula in terms of (un)oriented graphs themselves, i.e. without explicit reference to supermathematics on $ΠT^* N^d$.
The asymptotic value of graph energy for random graphs with degree-based weights
In this paper, we investigate the energy of a weighted random graph $G_p(f)$ in $G_{n,p}(f)$, in which each edge $ij$ takes the weight $f(d_i,d_j)$, where $d_v$ is a random variable, the degree of vertex $v$ in the random graph $G_p$ of the Erdös--Rényi random graph model $G_{n,p}$, and $f$ is a symmetric real function on two variables. Suppose $|f(d_i,d_j)|\leq C n^m$ for some constants $C, m>0$, and $f((1+o(1))np,(1+o(1))np)=(1+o(1))f(np,np)$. Then, for almost all graphs $G_p(f)$ in $G_{n,p}(f)$, the energy of $G_p(f)$ is $(1+o(1))f(np,np)\frac{8}{3π}\sqrt{p(1-p)}\cdot n^{3/2},$ where $p\in(0,1)$ is any fixed and independent of $n$. Consequently, with this one basket we can get the asymptotic values of various kinds of graph energies of chemical use, such as Randić energy, ABC energy, and energies of random matrices obtained from various kinds of degree-based chemical indices.
Some results on multithreshold graphs
Jamison and Sprague defined a graph $G$ to be a $k$-threshold graph with thresholds $θ_1 , \ldots, θ_k$ (strictly increasing) if one can assign real numbers $(r_v)_{v \in V(G)}$, called ranks, such that for every pair of vertices $v,w$, we have $vw \in E(G)$ if and only if the inequality $θ_i \leq r_v + r_w$ holds for an odd number of indices $i$. When $k=1$ or $k=2$, the precise choice of thresholds $θ_1, \ldots, θ_k$ does not matter, as a suitable transformation of the ranks transforms a representation with one choice of thresholds into a representation with any other choice of thresholds. Jamison asked whether this remained true for $k \geq 3$ or whether different thresholds define different classes of graphs for such $k$, offering \$50 for a solution of the problem. Letting $C_t$ for $t > 1$ denote the class of $3$-threshold graphs with thresholds $-1, 1, t$, we prove that there are infinitely many distinct classes $C_t$, answering Jamison's question. We also consider some other problems on multithreshold graphs, some of which remain open.
Computing the hull number in toll convexity
A walk $W$ between vertices $u$ and $v$ of a graph $G$ is called a {\em tolled walk between $u$ and $v$} if $u$, as well as $v$, has exactly one neighbour in $W$. A set $S \subseteq V(G)$ is {\em toll convex} if the vertices contained in any tolled walk between two vertices of $S$ are contained in $S$. The {\em toll convex hull of $S$} is the minimum toll convex set containing~$S$. The {\em toll hull number of $G$} is the minimum cardinality of a set $S$ such that the toll convex hull of $S$ is $V(G)$. The main contribution of this work is an algorithm for computing the toll hull number of a general graph in polynomial time.
On Decomposing Graphs Into Forests and Pseudoforests
We prove that for $k \in \mathbb{N}$ and $d \leq 2k+2$, if a graph has maximum average degree at most $2k + \frac{2d}{d+k+1}$, then $G$ decomposes into $k+1$ pseudoforests, where one of the pseudoforests has all connected components having at most $d$ edges.
Density of $g$-vector cones from triangulated surfaces
Published in Int. Math. Res. Not. IMRN, Vol. 2020, 21 (2020) 8081--8119
• View Publication
• BIB
We study $g$-vector cones associated with clusters of cluster algebras defined from a marked surface $(S,M)$ of rank $n$. We determine the closure of the union of $g$-vector cones associated with all clusters. It is equal to $\mathbb{R}^n$ except for a closed surface with exactly one puncture, in which case it is equal to the half space of a certain explicit hyperplane in $\mathbb{R}^n$. Our main ingredients are laminations on $(S,M)$, their shear coordinates and their asymptotic behavior under Dehn twists. As an application, if $(S,M)$ is not a closed surface with exactly one puncture, the exchange graph of cluster tilting objects in the corresponding cluster category is connected. If $(S,M)$ is a closed surface with exactly one puncture, it has precisely two connected components.
Reconfiguring colorings of graphs with bounded maximum average degree
Published in Journal of Combinatorial Theory Series B 147 (2021) 133--138
• Search Publication
The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex of $G$. Let $d, k \geq 1$ be integers such that $k \geq d+1$. We prove that for every $ε> 0$ and every graph $G$ with $n$ vertices and maximum average degree $d - ε$, $R_k(G)$ has diameter $O(n(\log n)^{d - 1})$. This significantly strengthens several existing results.
The graphs behind Reuleaux polyhedra
This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient.
If $G$ is any such a graph with isomorphism $τ: G \to G^*$ (where $G^*$ is the unique dual graph), a metric mapping is a map $η: V(G) \to \mathbb R^3$ such that the diameter of $η(G)$ is $1$ and for every pair of vertices $(u,v)$ such that $u\in τ(v)$ we have dist$(η(u),η(v)) = 1$. If $η$ is injective, it is called a metric embedding. Note that a metric embedding gives rise to a Reuleaux Polyhedra.
Our contributions are twofold: Firstly, we prove that any planar, $3$-connected, strongly self-dual graph has a metric mapping by proving that the chromatic number of the diameter graph (whose vertices are $V(G)$ and whose edges are pairs $(u,v)$ such that $u\in τ(v)$) is at most $4$, which means there exists a metric mapping to the tetrahedron. Furthermore, we use the Lovász neighborhood-complex theorem in algebraic topology to prove that the chromatic number of the diameter graph is exactly $4$.
Secondly, we develop algorithms that allow us to obtain every such graph with up to $14$ vertices. Furthermore, we numerically construct metric embeddings for every such graph. From the theorem and this computational evidence we conjecture that every such graph is realizable as a Reuleaux polyhedron in $\mathbb R^3$.
In previous work the first and last authors described a method to construct a constant-width body from a Reuleaux polyhedron. So in essence, we also construct hundreds of new examples of constant-width bodies.
This is related to a problem of Vázsonyi, and also to a problem of Blaschke-Lebesgue.
$K_{r,s}$ graph bootstrap percolation
A graph $G$ percolates in the $K_{r,s}$-bootstrap process if we can add all missing edges of $G$ in some order such that each edge creates a new copy of $K_{r,s}$, where $K_{r,s}$ is the complete bipartite graph. We study $K_{r,s}$-bootstrap percolation on the Erdős-Rényi random graph, and determine the percolation threshold for balanced $K_{r,s}$ up to a logarithmic factor. This partially answers a question raised by Balogh, Bollobás, and Morris. We also establish a general lower bound of the percolation threshold for all $K_{r,s}$, with $r\geq s \geq 3$.
Detecting a long odd hole
For each integer $t\ge 5$, we give a polynomial-time algorithm to test whether a graph contains an induced cycle with length at least $t$ and odd.
The multiplicity of the Laplacian eigenvalue $2$ in some bicyclic graphs
The Laplacian matrix of a graph $G$ is denoted by $L(G)=D(G)-A(G)$, where $D(G)=diag(d(v_{1}),\ldots , d(v_{n}))$ is a diagonal matrix and $A(G)$ is the adjacency matrix of $G$. Let $G_1$ and $G_2$ be two graphs. A one-edge connection of two graphs $G_1$ and $G_2$ is a graph $G=G_1\odot_{uv} G_2$ with $V(G)=V(G_1)\cup V(G_2)$ and $E(G)= E(G_1)\cup E(G_2)\cup \{e=uv\}$, where $u\in V(G_1)$ and $v\in V(G_2)$. We investigate the multiplicity of the Laplacian eigenvalue $2$ of $G_1\odot_{uv} G_2$, while the unicyclic graphs $G_1$ and $G_2$ have $2$ among their Laplacian eigenvalues, by using their Laplacian characteristic polynomials. Some structural conditions ensuring the presence of the existence $2$ in the $G=G_1\odot_{uv} G_2$ where both $G_1$ and $G_2$ have $2$ as Laplacian eigenvalue, have been investigated, while, here we study the existence Laplacian eigenvalue $2$ in $G=G_1\odot_{uv} G_2$ where at most one of $G_1$ or $G_2$ has $2$ as Laplacian eigenvalue.
The annihilation number does not bound the 2-domination number from the above
The $2$-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $S\subseteq V(G)$ such that every vertex from $V(G)\setminus S$ is adjacent to at least two vertices in $S$. The annihilation number $a(G)$ is the largest integer $k$ such that the sum of the first $k$ terms of the non-decreasing degree sequence of $G$ is at most the number of its edges. It was conjectured that $γ_2(G) \leq a(G) +1$ holds for every connected graph $G$. The conjecture was earlier confirmed, in particular, for graphs of minimum degree $3$, for trees, and for block graphs. In this paper, we disprove the conjecture by proving that the $2$-domination number can be arbitrarily larger than the annihilation number. On the positive side we prove the conjectured bound for a large subclass of bipartite, connected cacti, thus generalizing a result of Jakovac from [Discrete Appl.\ Math.\ 260 (2019) 178--187].
Combinatorics and structure of Hecke-Kiselman algebras
Published
• View Publication
• BIB
Hecke-Kiselman monoids $\textrm{HK}_Θ$ and their algebras $K[\textrm{HK}_Θ]$, over a field $K$, associated to finite oriented graphs $Θ$ are studied. In the case $Θ$ is a cycle of length $n\geqslant 3$, a hierarchy of certain unexpected structures of matrix type is discovered within the monoid $C_n=\textrm{HK}_Θ$ and it is used to describe the structure and the properties of the algebra $K[C_n]$. In particular, it is shown that $K[C_n]$ is a right and left Noetherian algebra, while it has been known that it is a PI-algebra of Gelfand-Kirillov dimension one. This is used to characterize all Noetherian algebras $K[\textrm{HK}_Θ]$ in terms of the graphs $Θ$. The strategy of our approach is based on the crucial role played by submonoids of the form $C_n$ in combinatorics and structure of arbitrary Hecke-Kiselman monoids $\textrm{HK}_Θ$.
An elementary proof of a matrix tree theorem for directed graphs
We present an elementary proof of a generalization of Kirchoff's matrix tree theorem to directed, weighted graphs. The proof is based on a specific factorization of the Laplacian matrices associated to the graphs, which only involves the two incidence matrices that capture the graph's topology. We also point out how this result can be used to calculate principal eigenvectors of the Laplacian matrices.
On embedding degree sequences
Assume that we are given two graphic sequences, $π_1$ and $π_2$. We consider conditions for $π_1$ and $π_2$ which guarantee that there exists a simple graph $G_2$ realizing $π_2$ such that $G_2$ is the subgraph of any simple graph $G_1$ that realizes $π_1$.