graph
34516 papers tagged with this keyword
Ramsey numbers for multiple copies of sparse graphs
Published
• View Publication
• BIB
For a graph $H$ and an integer $n$, we let $nH$ denote the disjoint union of
$n$ copies of $H$. In 1975, Burr, Erdős, and Spencer initiated the study
of Ramsey numbers for $nH$, one of few instances for which Ramsey numbers are
now known precisely. They showed that there is a constant $c = c(H)$ such that
$r(nH) = (2|H| - α(H))n + c$, provided $n$ is sufficiently large.
Subsequently, Burr gave an implicit way of computing $c$ and noted that this
long term behaviour occurs when $n$ is triply exponential in $|H|$. Very
recently, Bucić and Sudakov revived the problem and established an
essentially tight bound on $n$ by showing $r(nH)$ follows this behaviour
already when the number of copies is just a single exponential. We provide
significantly stronger bounds on $n$ in case $H$ is a sparse graph, most
notably of bounded maximum degree. These are relatable to the current state of
the art bounds on $r(H)$ and (in a way) tight. Our methods rely on a beautiful
classic proof of Graham, Rödl, and Ruciński, with the emphasis on
developing an efficient absorbing method for bounded degree graphs.
The critical Karp--Sipser core of random graphs
Published
• View Publication
• BIB
We study the Karp--Sipser core of a random graph made of a configuration model with vertices of degree $1,2$ and $3$. This core is obtained by recursively removing the leaves as well as their unique neighbors in the graph. We settle a conjecture of Bauer & Golinelli and prove that at criticality, the Karp--Sipser core has size $ \approx \mathrm{Cst} \cdot \vartheta^{-2} \cdot n^{3/5}$ where $\vartheta$ is the hitting time of the curve $t \mapsto \frac{1}{t^{2}}$ by a linear Brownian motion started at $0$. Our proof relies on a detailed multi-scale analysis of the Markov chain associated to Karp-Sipser leaf-removal algorithm close to its extinction time.
On the degree distribution of Haros graphs
Published
• View Publication
• BIB
Haros graphs is a graph-theoretical representation of real numbers in the unit interval. The degree distribution of the Haros graphs provides information regarding the topological structure and the associated real number. This article provides a comprehensive demonstration of a conjecture concerning the analytical formulation of the degree distribution. Specifically, a theorem outlines the relationship between Haros graphs, the corresponding continued fraction of its associated real number, and the subsequent symbolic paths in the Farey binary Tree. Moreover, an expression continuous and piece-wise linear in subintervals defined by Farey fractions can be derived from an additional conclusion for the degree distribution of Haros graphs.
On finding hamiltonian cycles in Barnette graphs
Published in Fundamenta Informaticae, Volume 188, Issue 1 (December 15, 2022) fi:10437
• View Publication
• BIB
In this paper, we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. Moreover, we show that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.
A note on regular sets in Cayley graphs
Published
• View Publication
• BIB
A subset $R$ of the vertex set of a graph $Γ$ is said to be $(κ,τ)$-regular if $R$ induces a $κ$-regular subgraph and every vertex outside $R$ is adjacent to exactly $τ$ vertices in $R$. In particular, if $R$ is a $(κ,τ)$-regular set of some Cayley graph on a finite group $G$, then $R$ is called a $(κ,τ)$-regular set of $G$. Let $H$ be a non-trivial normal subgroup of $G$, and $κ$ and $τ$ a pair of integers satisfying $0\leqκ\leq|H|-1$, $1\leqτ\leq|H|$ and $\gcd(2,|H|-1)\midκ$. It is proved that (i) if $τ$ is even, then $H$ is a $(κ,τ)$-regular set of $G$; (ii) if $τ$ is odd, then $H$ is a $(κ,τ)$-regular set of $G$ if and only if it is a $(0,1)$-regular set of $G$.
Strong domination number of a modified graph
Let $G=(V,E)$ be a simple graph. A set $D\subseteq V$ is a strong dominating set of $G$, if for every vertex $x\in V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we study the effects on $γ_{st}(G)$ when $G$ is modified by operations on vertex and edge of $G$.
Asymptotic enumeration of graphical regular representations
Published
• View Publication
• BIB
We estimate the number of graphical regular representations (GRRs) of a given group with large enough order. As a consequence, we show that almost all finite Cayley graphs have full automorphism groups 'as small as possible'. This confirms a conjecture of Babai-Godsil-Imrich-Lovasz on the proportion of GRRs, as well as a conjecture of Xu on the proportion of normal Cayley graphs, among Cayley graphs of a given finite group.
The minimum spectral radius of graphs with a given domination number
Published
• View Publication
• BIB
Let $\mathbb{G}_{n,γ}$ be the set of simple and connected graphs on $n$ vertices and with domination number $γ$. The graph with minimum spectral radius among $\mathbb{G}_{n,γ}$ is called the minimizer graph. In this paper, we first prove that the minimizer graph of $\mathbb{G}_{n,γ}$ must be a tree. Moreover, for $γ\in\{1,2,3,\lceil\frac{n}{3}\rceil,\lfloor\frac{n}{2}\rfloor\}$, we characterize all minimizer graphs in $\mathbb{G}_{n,γ}$.
Induced paths in graphs without anticomplete cycles
Published
• View Publication
• BIB
Let us say a graph is $s\mathcal{O}$-free, where $s\ge 1$ is an integer, if there do not exist $s$ cycles of the graph that are pairwise vertex-disjoint and have no edges joining them. The structure of such graphs, even when $s=2$, is not well understood. For instance, until now we did not know how to test whether a graph is $2\mathcal{O}$-free in polynomial time; and there was an open conjecture, due to Ngoc Khang Le, that $2\mathcal{O}$-free graphs have only a polynomial number of induced paths.
In this paper we prove Le's conjecture; indeed, we will show that for all $s\ge 1$, there exists $c>0$ such that every $s\mathcal{O}$-free graph $G$ has at most $|G|^c$ induced paths. This provides a poly-time algorithm to test if a graph is $s\mathcal{O}$-free, for all fixed $s$.
The proof has three parts. First, there is a short and beautiful proof, due to Le, that reduces the question to proving the same thing for graphs with no cycles of length four. Second, there is a recent result of Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek, that in every $s\mathcal{O}$-free graph $G$ with no cycle of length four, there is a set of vertices that intersects every cycle, with size logarithmic in $|G|$. And third, there is an argument that uses the result of Bonamy et al. to deduce the theorem. The last is the main content of this paper.
Graph Coloring as a Measure of Network Vulnerability
We consider new parameters for conditional network vulnerability related to graph coloring. We define a network to be in operation if the chromatic number (or index) is greater than some specified value k. The parameters of interest, the minimum k- chromatic number and the minimum k-chromatic index consider the least number of failures in the network which could render the network inoperable. In this paper, we consider edge failure, vertex failures, as well as mixed failures for paths, cycles, and complete graphs.
Disjoint faces in simple drawings of the complete graph and topological Heilbronn problems
Published
• View Publication
• BIB
Given a complete simple topological graph $G$, a $k$-face generated by $G$ is the open bounded region enclosed by the edges of a non-self-intersecting $k$-cycle in $G$. Interestingly, there are complete simple topological graphs with the property that every odd face it generates contains the origin. In this paper, we show that every complete $n$-vertex simple topological graph generates at least $Ω(n^{1/3})$ pairwise disjoint 4-faces. As an immediate corollary, every complete simple topological graph on $n$ vertices drawn in the unit square generates a 4-face with area at most $O(n^{-1/3})$. Finally, we investigate a $\mathbb Z_2$ variant of Heilbronn triangle problem.
A Cosine Rule-Based Discrete Sectional Curvature for Graphs
Published
• View Publication
• BIB
How does one generalize differential geometric constructs such as curvature of a manifold to the discrete world of graphs and other combinatorial structures? This problem carries significant importance for analyzing models of discrete spacetime in quantum gravity; inferring network geometry in network science; and manifold learning in data science. The key contribution of this paper is to introduce and validate a new estimator of discrete sectional curvature for random graphs with low metric-distortion. The latter are constructed via a specific graph sprinkling method on different manifolds with constant sectional curvature. We define a notion of metric distortion, which quantifies how well the graph metric approximates the metric of the underlying manifold. We show how graph sprinkling algorithms can be refined to produce hard annulus random geometric graphs with minimal metric distortion. We construct random geometric graphs for spheres, hyperbolic and euclidean planes; upon which we validate our curvature estimator. Numerical analysis reveals that the error of the estimated curvature diminishes as the mean metric distortion goes to zero, thus demonstrating convergence of the estimate. We also perform comparisons to other existing discrete curvature measures. Finally, we demonstrate two practical applications: (i) estimation of the earth's radius using geographical data; and (ii) sectional curvature distributions of self-similar fractals.
Graphs with equal Grundy domination and independence number
The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equal to the upper domination number $Γ(G)$, which is in turn greater than or equal to the independence number $α(G)$. In this paper, we initiate the study of the class of graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and its subclass consisting of graphs $G$ with $α(G)={γ_{\rm gr}}(G)$. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and present large families of such graphs.
The Structure of the 2-factor Transfer Digraph Common for Rectangular, Thick Cylinder and Moebius Strip Grid Graphs
In this paper, we prove that all but one of the components of the transfer digraph ${\cal D}^*_m$ needed for the enumeration of 2-factors in the rectangular, thick cylinder and Moebius strip grid graphs of the fixed width $m$ $(m \in N)$ are bipartite digraphs and that their orders could be expressed in term of binomial coefficients. In addition, we prove that the set of vertices of each component consists of all the binary $m$-words for which the difference of numbers of zeros in odd and even positions is constant.
Tutte Embeddings of Tetrahedral Meshes
Published in Discrete Comput Geom (2023)
• View Publication
• BIB
Tutte's embedding theorem states that every 3-connected graph without a $K_5$ or $K_{3,3}$ minor (i.e. a planar graph) is embedded in the plane if the outer face is in convex position and the interior vertices are convex combinations of their neighbors. We show that this result extends to simply connected tetrahedral meshes in a natural way: for the tetrahedral mesh to be embedded if the outer polyhedron is in convex position and the interior vertices are convex combination of their neighbors it is sufficient (but not necessary) that the graph of the tetrahedral mesh contains no $K_6$ and no $K_{3,3,1}$, and all triangles incident on three boundary vertices are boundary triangles.
The $t$-Tone Chromatic Number of Classes of Sparse Graphs
Published in Australasian Journal of Combinatorics Volume 86(3) (2023), Pages 458-476
• Search Publication
For a graph $G$ and $t,k\in\mathbb{Z}^+$ a \emph{$t$-tone $k$-coloring} of $G$ is a function $f:V(G)\rightarrow \binom{[k]}{t}$ such that $|f(v)\cap f(w)| < d(v,w)$ for all distinct $v,w \in V(G)$. The \emph{$t$-tone chromatic number} of $G$, denoted $τ_t(G)$, is the minimum $k$ such that $G$ is $t$-tone $k$-colorable. For small values of $t$, we prove sharp or nearly sharp upper bounds on the $t$-tone chromatic number of various classes of sparse graphs. In particular, we determine $τ_2(G)$ exactly when $\textrm{mad}(G) < 12/5$ and bound $τ_2(G)$, up to a small additive constant, when $G$ is outerplanar. We also determine $τ_t(C_n)$ exactly when $t\in\{3,4,5\}$.
Loop zero forcing and grundy domination in planar graphs and claw-free cubic graphs
Published
• View Publication
• BIB
Given a simple, finite graph with vertex set $V(G)$, we define a zero forcing set of $G$ as follows. Choose $S\subseteq V(G)$ and color all vertices of $S$ blue and all vertices in $V(G) - S$ white. The color change rule is if $w$ is the only white neighbor of blue vertex $v$, then we change the color of $w$ from white to blue. If after applying the color change rule as many times as possible eventually every vertex of $G$ is blue, we call $S$ a zero forcing set of $G$. $Z(G)$ denotes the minimum cardinality of a zero forcing set. Davila and Henning proved in \cite{zerocubic} that for any claw-free cubic graph $G$, $Z(G) \le \frac{1}{3}|V(G)| + 1$. We show that if $G$ is $2$-edge-connected, claw-free, and cubic, then $Z(G) \le \left\lceil\frac{5n(G)}{18}\right\rceil+1$. We also study a similar graph invariant known as the loop zero forcing number of a graph $G$ which happens to be the dual invariant to the Grundy domination number of $G$. Specifically, we study the loop zero forcing number in two particular types of planar graphs.
Multithreshold multipartite graphs with small parts
Published
• View Publication
• BIB
A graph is a $k$-threshold graph with thresholds $θ_1, θ_2, \dots, θ_k$ if we can assign a real number $r_v$ to each vertex $v$ such that for any two distinct vertices $u$ and $v$, $uv$ is an edge if and only if the number of thresholds not exceeding $r_u+r_v$ is odd. The threshold number of a graph is the smallest $k$ for which it is a $k$-threshold graph. Multithreshold graphs were introduced by Jamison and Sprague as a generalization of classical threshold graphs. They asked for the exact threshold numbers of complete multipartite graphs. Recently, Chen and Hao solved the problem for complete multipartite graphs where each part is not too small, and they asked for the case when each part has size $3$. We determine the exact threshold numbers of $K_{3, 3, \dots, 3}$, $K_{4, 4, \dots, 4}$ and their complements $nK_3$, $nK_4$. This improves a result of Puleo.
Antidirected subgraphs of oriented graphs
Published
• View Publication
• BIB
We show that for every $η>0$ every sufficiently large $n$-vertex oriented graph D of minimum semidegree exceeding $(1 + η) k/2$ contains every balanced antidirected tree with $k$ edges and bounded maximum degree, if $k \ge ηn$. In particular, this asymptotically confirms a conjecture of the first author for long antidirected paths and dense digraphs.
Further, we show that in the same setting, D contains every $k$-edge antidirected subdivision of a sufficiently small complete graph, if the paths of the subdivision that have length 1 or 2 span a forest. As a special case, we can find all antidirected cycles of length at most $k$.
Finally, we address a conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé for antidirected trees in digraphs. We show that this conjecture is asymptotically true in $n$-vertex oriented graphs for all balanced antidirected trees of bounded maximum degree and of size linear in $n$.
Morse theory for discrete magnetic operators and nodal count distribution for graphs
Published
• View Publication
• BIB
Given a discrete Schrödinger operator $h$ on a finite connected graph $G$ of $n$ vertices, the nodal count $φ(h,k)$ denotes the number of edges on which the $k$-th eigenvector changes sign. A {\em signing} $h'$ of $h$ is any real symmetric matrix constructed by changing the sign of some off-diagonal entries of $h$, and its nodal count is defined according to the signing. The set of signings of $h$ lie in a naturally defined torus $\mathbb{T}_h$ of ``magnetic perturbations" of $h$. G. Berkolaiko discovered that every signing $h'$ of $h$ is a critical point of every eigenvalue $λ_k:\mathbb{T}_h \to \mathbb{R}$, with Morse index equal to the nodal surplus. We add further Morse theoretic information to this result. We show if $h_α \in \mathbb{T}_h$ is a critical point of $λ_k$ and the eigenvector vanishes at a single vertex $v$ of degree $d$, then the critical point lies in a nondegenerate critical submanifold of dimension $d+n-4$, closely related to the configuration space of a planar linkage. We compute its Morse index in terms of spectral data. The average nodal surplus distribution is the distribution of values of $φ(h',k)-(k-1)$, averaged over all signings $h'$ of $h$. If all critical points correspond to simple eigenvalues with nowhere-vanishing eigenvectors, then the average nodal surplus distribution is binomial. In general, we conjecture that the nodal surplus distribution converges to a Gaussian in a CLT fashion as the first Betti number of $G$ goes to infinity.