graph
35411 papers tagged with this keyword
Burning Graph Classes
Published
• View Publication
• BIB
The Burning Number Conjecture, that a graph on $n$ vertices can be burned in at most $\lceil \sqrt{n} \ \rceil$ rounds, has been of central interest for the past several years. Much of the literature toward its resolution focuses on two directions: tightening a general upper bound for the burning number, and proving the conjecture for specific graph classes. In the latter, most of the developments work within a specific graph class and exploit the intricacies particular to it. In this article, we broaden this approach by developing systematic machinery that can be used as test beds for asserting that graph classes satisfy the conjecture. We show how to use these to resolve the conjecture for several classes of graphs including triangle-free graphs with degree lower bounds, graphs with certain linear lower bounds on $r$-neighborhood sizes, all trees whose non-leaf vertices have degree at least $4$, trees whose non-leaf vertices have degree at least $3$ (on at least $81$ vertices), trees whose non-leaf vertices are less than $\frac{2}{3}$ concentrated in degree $2$, and trees with a low concentration of high degree non-leaf vertices (the last two results holding for sufficiently many non-leaf vertices).
Ramsey numbers of graphs with most degrees bounded in random graphs
For graphs $F$ and $G$, let $F\to G$ signify that any red/blue edge coloring of $F$ contains a monochromatic $G$. Denote by ${\cal G}(N,p)$ the random graph space of order $N$ and edge probability $p$. Using the regularity method, one can show that for any fixed $p\in (0,1]$, almost all graphs $F\in{\cal G}(cn,p)$ have $F\to G$ for any graph $G$ of order $n$ and all but at most $m$ degrees bounded, where $c$ is an integer depending on $p$ and $m$. Note that $r(K_{m,n})\sim 2^m n$ and $r(K_m+\overline{K}_n)\sim 2^m n$ as $n\to\infty$, for which we investigate the relation between $c$ and $p$. Let $N=\lfloor c\,2^m n\rfloor$ with $c>1$ and $p_u,p_\ell=\frac{1}{c^{1/m}}(1\pm \sqrt{\frac{M\log n}{n}}\,)$, where $M=M(c,m)>0$. It is shown that $p_u$ and $p_\ell$ are Ramsey thresholds of $K_{m,n}$ in ${\cal G}(N,p)$. Namely, almost all $F\in{\cal G}(N,p_u)$ and almost no $F\in{\cal G}(N,p_\ell)$ have $F\to K_{m,n}$, respectively. Moreover, it is shown that $p_u$ and $p_\ell$ are (ordinary) upper threshold and lower threshold of $K_m+\overline{K}_n$ to appear in ${\cal G}(N,p/2)$, respectively. We show that ${\cal G}(N,p/2)$ can be identified as the set of red (or blue) graphs obtained from $F\in{\cal G}(N,p)$ by red/blue edge coloring of $F$ with probability $1/2$ for each color, which leads to the definition of the weak Ramsey thresholds.
Spectral radius and $[a,b]$-factors in graphs
Published
• View Publication
• BIB
An $[a,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that $a\leq d_{H}(v)\leq b$ for each $v\in V(G)$. In this paper, we provide spectral conditions for the existence of an odd $[1,b]$-factor in a connected graph with minimum degree $δ$ and the existence of an $[a,b]$-factor in a graph, respectively. Our results generalize and improve some previous results on perfect matchings of graphs. For $a=1$, we extend the result of O\cite{S.O} to obtain an odd $[1,b]$-factor and further improve the result of Liu, Liu and Feng\cite{W.L} for $a=b=1$. For $n\geq 3a+b-1$, we confirm the conjecture of Cho, Hyun, O and Park\cite{E.C}. We conclude some open problems in the end.
Controlling centrality: The Inverse ranking problem for spectral centralities of complex networks
Published
• View Publication
• BIB
In this paper some results about the controllability of spectral centrality in a complex network are presented. In particular, the inverse problem of designing an unweigthed graph with a prescribed centrality is considered, by showing that for every possible ranking eventually with ties, an unweighted directed/undirected complex network can be found whose PageRank or eigenvector centrality gives the ranking considered. Different families of networks are presented in order to analytically solve this problem either for directed and undirected graphs with and without loops.
Irregular triads in 3-uniform hypergraphs
Published
• View Publication
• BIB
Over the past several years, numerous authors have explored model theoretically motivated combinatorial conditions that ensure that a graph has an efficient regular decomposition in the sense of Szemerédi. In this paper we set out a research program that explores a corresponding set of questions for 3-uniform hypergraphs, a setting in which useful notions of regularity are significantly more intricate.
The main results in this paper concern certain combinatorial properties which arose as natural higher-order generalizations of the order property in parallel work of the authors in the arithmetic setting. Interpreted in the context of 3-uniform hypergraphs, these are tightly connected to the nature of irregular triads. Specifically, we show that a hereditary property of 3-uniform hypergraphs admits regular decompositions with so-called "linear error" if and only if it does not have the functional order property.
Along the way, we show that a hereditary property of 3-uniform hypergraphs is homogeneous (i.e. all regular triads have density near $0$ or near $1$) if and only it has bounded $\textrm{VC}_2$-dimension. This provides a quantitative version of a recent result of Chernikov and Towsner.
We also address several questions arising from prior work on tame regularity in hypergraphs. In particular, we characterize the hereditary properties of $3$-uniform hypergraphs admitting the type of regular partitions appearing in work of Fox et al. as those that have bounded slicewise $\textrm{VC}$-dimension. This is again analogous to a recent non-quantitative result of Chernikov and Towsner.
Game of Life on Graphs
We consider a specific graph dynamical system inspired by the famous Conway's Game of Life in this work. We study the properties of the dynamical system on different graphs and introduce a new efficient heuristic for graph isomorphism testing. We use the evolution of our system to extract features from a graph in a deterministic way and observe that the extracted features are unique and the distance induced by that features satisfy triangle inequality for all connected graphs with up to ten vertices.
Co-even domination number of some binary operations on graphs
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$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$.
The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper, we study the co-even domination number of some binary operations on graphs.
On pseudofrobenius imprimitive association schemes
Published
• View Publication
• BIB
An (association) scheme is said to be Frobenius if it is the scheme of a Frobenius group. A scheme which has the same tensor of intersection numbers as some Frobenius scheme is said to be pseudofrobenius. We establish a necessary and sufficient condition for an imprimitive pseudofrobenius scheme to be Frobenius. We also prove strong necessary conditions for existence of an imprimitive pseudofrobenius scheme which is not Frobenius. As a byproduct, we obtain a sufficient condition for an imprimitive Frobenius group $G$ with abelian kernel to be determined up to isomorphism only by the character table of $G$. Finally, we prove that the Weisfeiler-Leman dimension of a circulant graph with $n$ vertices and Frobenius automorphism group is equal to $2$ unless $n\in \{p,p^2,p^3,pq,p^2q\}$, where $p$ and $q$ are distinct primes.
Counting Tripods on the Torus
Published in Arnold Math. J. 9 (2023) 359-379
• View Publication
• BIB
Motivated by the problem of counting finite BPS webs, we count certain immersed metric graphs, tripods, on the flat torus. Classical Euclidean geometry turns this into a lattice point counting problem in $\mathbb C^2$, and we give an asymptotic counting result using lattice point counting techniques.
Domination polynomial is unimodal for large graphs with a universal vertex
For a undirected simple graph $G$, let $d_i(G)$ be the number of $i$-element dominating vertex set of $G$. The domination polynomial of the graph $G$ is defined as $$D(G, x) = \sum_{i = 1}^n d_i(G)x^i.$$ Alikhani and Peng conjectured that $D(G, x)$ is unimodal for any graph $G$. Answering a proposal of Beaton and Brown, we show that $D(G, x)$ is unimodal when $G$ has at least $2^{13}$ vertices and has a universal vertex, which is a vertex adjacent to any other vertex of $G$. We further determine possible locations of the mode.
Recolouring Homomorphisms to triangle-free reflexive graphs
Published in J Algebr Comb, 57, (2022) pp. 53--73
• View Publication
• BIB
For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive homomorphisms differ on only one vertex. We show that, if $G$ and $H$ are reflexive and $H$ is triangle-free, then this problem can be solved in polynomial time. This shows, at the same time, that the closely related $H$-reconfiguration problem $\operatorname{Recon}(H)$ of deciding whether two given homomorphisms from a given graph $G$ to $H$ are in the same component of the Hom-graph $\operatorname{Hom}(G,H)$, can be solved in polynomial time for triangle-free reflexive graphs $H$.
Characteristic numbers and chromatic polynomial of a tensor
Published
• View Publication
• BIB
We introduce the characteristic numbers and the chromatic polynomial of a tensor. Our approach generalizes and unifies the chromatic polynomial of a graph and of a matroid, characteristic numbers of quadrics in Schubert calculus, Betti numbers of complements of hyperplane arrangements and Euler characteristic of complements of determinantal hypersurfaces and the maximum likelihood degree for general linear concentration models in algebraic statistics.
Growth rates of the bipartite Erdős-Gyárfás function
Published in Journal of Graph Theory (2024)
• View Publication
• BIB
Given two graphs $G, H$ and a positive integer $q$, an $(H,q)$-coloring of $G$ is an edge-coloring of $G$ such that every copy of $H$ in $G$ receives at least $q$ distinct colors. The bipartite Erdős-Gyárfás function $r(K_{n,n}, K_{s,t}, q)$ is defined to be the minimum number of colors needed for $K_{n,n}$ to have a $(K_{s,t}, q)$-coloring. For balanced complete bipartite graphs $K_{p,p}$, the function $r(K_{n,n}, K_{p,p}, q)$ was studied systematically in [Axenovich, Füredi and Mubayi, {\it J. Combin. Theory Ser. B} {\bf 79} (2000), 66--86]. In this paper, we study the asymptotic behavior of this function for complete bipartite graphs $K_{s,t}$ that are not necessarily balanced. Our main results deal with thresholds and lower and upper bounds for the growth rate of this function, in particular for (sub)linear and (sub)quadratic growth. We also obtain new lower bounds for the balanced bipartite case, and improve several results given by Axenovich, Füredi and Mubayi. Our proof techniques are based on an extension to bipartite graphs of the recently developed Color Energy Method by Pohoata and Sheffer and its refinements, and a generalization of an old result due to Corrádi.
Strong Cospectrality and Twin Vertices in Weighted Graphs
Published in Electron. J. Linear Algebra 38, 494-518 (2021)
• View Publication
• BIB
We explore algebraic and spectral properties of weighted graphs containing twin vertices that are useful in quantum state transfer. We extend the notion of adjacency strong cospectrality to arbitrary Hermitian matrices, with focus on the generalized adjacency matrix and the generalized normalized adjacency matrix. We then determine necessary and sufficient conditions such that a pair of twin vertices in a weighted graph exhibits strong cospectrality with respect to the above-mentioned matrices. We also generalize known results about equitable and almost equitable partitions, and use these to determine which joins of the form $X\vee H$, where $X$ is either the complete or empty graph, exhibit strong cospectrality.
Graphs with prescribed radius, diameter, and center
Published in Graphs with prescribed radius, diameter, and center, International Journal of Mathematics and Computer Science, 16(2021), No. 4
• Search Publication
Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$
Pure pairs. IX. Transversal trees
Published in SIAM Journal on Discrete Mathematics, Volume 38(1), 2024, pp. 645-667
• View Publication
• BIB
Fix k>0, and let G be a graph, with vertex set partitioned into k subsets (`blocks') of approximately equal size. An induced subgraph of G is transversal (with respect to this partition) if it has exactly one vertex in each block (and therefore it has exactly k vertices). A pure pair in G is a pair X,Y of disjoint subsets of V(G) such that either all edges between X,Y are present or none are; and in the present context we are interested in pure pairs (X,Y) where each of X,Y is a subset of one of the blocks, and not the same block. This paper collects several results and open questions concerning how large a pure pair must be present if various types of transversal subgraphs are excluded.
Computational Aspects of Problems on Visibility and Disk Graph Representations
This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for which we have described a polynomial-time algorithm that uses $O(n \log^2 n)$ colors to guard a polygon in a conflict-free setting, and proper coloring of polygon visibility graphs, for which we have described an algorithm that returns a proper 4-coloring for a simple polygon. Besides, we have shown that the 5-colorability problem is NP-complete on visibility graphs of simple polygons, and 4-colorability is NP-complete on visibility graphs of polygons with holes.
Then, we move further with the notion of visibility, and define a graph class which considers the real-world limitations for the applications of visibility graphs. That is, no physical object has infinite range, and two objects might not be mutually visible from a certain distance although there are no obstacles in-between. To model this property, we introduce unit disk visibility graphs, and show that the 3-colorability problem is NP-complete for unit disk visibility graphs of a set of line segments, and a polygon with holes.
After bridging the gap between the visibility and the unit disk graphs, we then present our results on the recognition of unit disk graphs in a restricted setting -- axes-parallel unit disk graphs. We show that the recognition of unit disk graphs is NP-complete when the disks are centered on pre-given parallel lines. If, on the other hand, the lines are not parallel to one another, the recognition problem is NP-hard even though the pre-given lines are axes-parallel (i.e. any pair is either parallel or perpendicular).
Revisiting $k$-tuple dominating sets with emphasis on small values of $k$
Published in Bulletin of the Malaysian Mathematical Sciences Society (2022)
• View Publication
• BIB
For any graph $G$ of order $n$ with degree sequence $d_{1}\geq\cdots\geq d_{n}$, we define the double Slater number $s\ell_{\times2}(G)$ as the smallest integer $t$ such that $t+d_{1}+\cdots+d_{t-e}\geq2n-p$ in which $e$ and $p$ are the number of end-vertices and penultimate vertices of $G$, respectively. We show that $γ_{\times2}(G)\geq s\ell_{\times2}(G)$, where $γ_{\times2}(G)$ is the well-known double domination number of a graph $G$ with no isolated vertices. We prove that the problem of deciding whether the equality holds for a given graph is NP-complete even when restricted to $4$-partite graphs. We also prove that the problem of computing $γ_{\times2}(G)$ in NP-hard even for comparability graphs of diameter two. Some results concerning these two parameters are given in this paper improving and generalizing some earlier results on double domination in graphs. We give an upper bound on the $k$-tuple domatic number of graphs with characterization of all graphs attaining the bound. Finally, we characterize the family of all full graphs, leading to a solution to an open problem given in a paper by Cockayne and Hedetniemi ($1977$).
Twin-width VI: the lens of contraction sequences
Published
• View Publication
• BIB
A contraction sequence of a graph consists of iteratively merging two of its vertices until only one vertex remains. The recently introduced twin-width graph invariant is based on contraction sequences. More precisely, if one puts red edges between two vertices representing non-homogeneous subsets, the twin-width is the minimum integer $d$ such that a contraction sequence keeps red degree at most $d$. By changing the condition imposed on the trigraphs (i.e., graphs with some edges being red) and possibly slightly tweaking the notion of contractions, we show how to characterize the well-established bounded rank-width, tree-width, linear rank-width, path-width, and proper minor-closed classes by means of contraction sequences. As an application we give a transparent alternative proof of the celebrated Courcelle's theorem (actually of its generalization by Courcelle, Makowsky, and Rotics), that MSO$_2$ (resp. MSO$_1$) model checking on graphs with bounded tree-width (resp. bounded rank-width) is fixed-parameter tractable in the size of the input sentence.
We then explore new avenues along the general theme of contraction sequences both in order to refine the landscape between bounded tree-width and bounded twin-width (via spanning twin-width) and to capture more general classes than bounded twin-width. To this end, we define an oriented version of twin-width, where appearing red edges are oriented away from the newly contracted vertex, and the mere red out-degree should remain bounded. Surprisingly, classes of bounded oriented twin-width coincide with those of bounded twin-width. Finally we examine, from an algorithmic standpoint, the concept of partial contraction sequences, where, instead of terminating on a single-vertex graph, the sequence ends when reaching a particular target class.
A note on the uniformity threshold for Berge hypergraphs
Published
• View Publication
• BIB
A Berge copy of a graph is a hypergraph obtained by enlarging the edges arbitrarily.
Grósz, Methuku and Tompkins in 2020 showed that for any graph $F$, there is an integer $r_0=r_0(F)$, such that for any $r\ge r_0$, any $r$-uniform hypergraph without a Berge copy of $F$ has $o(n^2)$ hyperedges. The smallest such $r_0$ is called the uniformity threshold of $F$ and is denoted by $th(F)$. They showed that $th(F)\le R(F,F')$, where $R$ denotes the off-diagonal Ramsey number and $F'$ is any graph obtained form $F$ by deleting an edge.
We improve this bound to $th(F)\le R(K_{χ(F)},F')$, and use the new bound to determine $th(F)$ exactly for several classes of graphs.