graph
35436 papers tagged with this keyword
On the relation of separability, bandwidth and embedding
Published
• View Publication
• BIB
In this paper we construct a class of bounded degree bipartite graphs with a small separator and large bandwidth. Furthermore, we also prove that graphs from this class are spanning subgraphs of graphs with minimum degree just slightly larger than $n/2$.
The distribution of Weierstrass points on a tropical curve
Published
• View Publication
• BIB
We show that on a metric graph of genus $g$, a divisor of degree $n$ generically has $g(n-g+1)$ Weierstrass points. For a sequence of generic divisors on a metric graph whose degrees grow to infinity, we show that the associated Weierstrass points become distributed according to the Zhang canonical measure. In other words, the limiting distribution is determined by effective resistances on the metric graph. This distribution result has an analogue for complex algebraic curves, due to Neeman, and for curves over non-Archimedean fields, due to Amini.
Distributed coloring of graphs with an optimal number of colors
This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e.\ with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree $Δ$ with at most $Δ+1$ colors (or $Δ$ colors when some simple obstructions are forbidden). When $Δ$ is sufficiently large and $c\ge Δ-k_Δ+1$, for some integer $k_Δ\approx \sqrtΔ-2$, we give a distributed algorithm that given a $c$-colorable graph $G$ of maximum degree $Δ$, finds a $c$-coloring of $G$ in $\min\{O((\logΔ)^{1/12}\log n), 2^{O(\log Δ+\sqrt{\log \log n})}\}$ rounds, with high probability. The lower bound $Δ-k_Δ+1$ is best possible in the sense that for infinitely many values of $Δ$, we prove that when $χ(G)\le Δ-k_Δ$, finding an optimal coloring of $G$ requires $Ω(n)$ rounds. Our proof is a light adaptation of a remarkable result of Molloy and Reed, who proved that for $Δ$ large enough, for any $c\ge Δ- k_Δ$ deciding whether $χ(G)\le c$ is in {\textsf{P}}, while Embden-Weinert \emph{et al.}\ proved that for $c\le Δ-k_Δ-1$, the same problem is {\textsf{NP}}-complete. Note that the sequential and distributed thresholds differ by one. We also show that for any sufficiently large $Δ$, and $Ω(\log Δ)\le k \le Δ/100$, every graph of maximum degree $Δ$ and clique number at most $Δ-k$ can be efficiently colored with at most $Δ-\varepsilon k$ colors, for some absolute constant $\varepsilon >0$, with a randomized algorithm running in $O(\log n/\log \log n)$ rounds with high probability.
Data-compression for Parametrized Counting Problems on Sparse graphs
We study the concept of \emph{compactor}, which may be seen as a counting-analogue of kernelization in counting parameterized complexity. For a function $F:Σ^*\to \Bbb{N}$ and a parameterization $κ: Σ^*\to \Bbb{N}$, a compactor $({\sf P},{\sf M})$ consists of a polynomial-time computable function ${\sf P}$, called \emph{condenser}, and a computable function ${\sf M}$, called \emph{extractor}, such that $F={\sf M}\circ {\sf P}$, and the condensing ${\sf P}(x)$ of $x$ has length at most $s(κ(x))$, for any input $x\in Σ^*.$ If $s$ is a polynomial function, then the compactor is said to be of polynomial-size. Although the study on counting-analogue of kernelization is not unprecedented, it has received little attention so far. We study a family of vertex-certified counting problems on graphs that are MSOL-expressible; that is, for an MSOL-formula $φ$ with one free set variable to be interpreted as a vertex subset, we want to count all $A\subseteq V(G)$ where $|A|=k$ and $(G,A)\models φ.$ In this paper, we prove that every vertex-certified counting problems on graphs that is \emph{MSOL-expressible} and \emph{treewidth modulable}, when parameterized by $k$, admits a polynomial-size compactor on $H$-topological-minor-free graphs with condensing time $O(k^2n^2)$ and decoding time $2^{O(k)}.$ This implies the existence of an {\sf FPT}-algorithm of running time $O(n^2k^2)+2^{O(k)}.$ All aforementioned complexities are under the Uniform Cost Measure (UCM) model where numbers can be stored in constant space and arithmetic operations can be done in constant time.
A note on cycles in graphs with specified radius and diameter
Let $G$ be a graph of radius $r$ and diameter $d$ with $d\leq 2r-2$. We give a new proof that $G$ contains a cycle of length at least $4r-2d$, i.e. for its circumference it holds $c(G)\geq 4r-2d$.
Domination structure in 3-connected graphs
From a recent perspective, the structure of a 3-connected graph is studied in this paper. It stipulates the minimum dominating set of a 3-connected graph. Also, we count the number of structures, as a consequence, the upper bound is obtained. By it, the minimum dominating set of a 3-connected graph is determined in polynomial time.
Equitable List Vertex Colourability and Arboricity of Grids
Published
• View Publication
• BIB
A graph $G$ is equitably $k$-list arborable if for any $k$-uniform list assignment $L$, there is an equitable $L$-colouring of $G$ whose each colour class induces an acyclic graph. The smallest number $k$ admitting such a coloring is named equitable list vertex arboricity and is denoted by $ρ_l^=(G)$. Zhang in 2016 posed the conjecture that if $k \geq \lceil (Δ(G)+1)/2 \rceil$ then $G$ is equitably $k$-list arborable. We give some new tools that are helpful in determining values of $k$ for which a general graph is equitably $k$-list arborable. We use them to prove the Zhang's conjecture for $d$-dimensional grids where $d \in \{2,3,4\}$ and give new bounds on $ρ_l^=(G)$ for general graphs and for $d$-dimensional grids with $d\geq 5$.
Evolving Shelah-Spencer Graphs
Published
• View Publication
• BIB
An \emph{evolving Shelah-Spencer process} is one by which a random graph grows, with at each time $τ\in {\bf N}$ a new node incorporated and attached to each previous node with probability $τ^{-α}$, where $α\in (0,1) \setminus {\bf Q}$ is fixed. We analyse the graphs that result from this process, including the infinite limit, in comparison to Shelah-Spencer sparse random graphs discussed in [Spencer, J., 2013. The strange logic of random graphs (Vol. 22). Springer Science & Business Media.] and throughout the model-theoretic literature. The first order axiomatisation for classical Shelah-Spencer graphs comprises a 'Generic Extension' axiom and a 'No Dense Subgraphs' axiom. We show that in our context 'Generic Extension' continues to hold. While 'No Dense Subgraphs' fails, a weaker 'Few Rigid Subgraphs' property holds.
DP-3-coloring of planar graphs without $4,9$-cycles and two cycles from $\{5,6,7,8\}$
Published
• View Publication
• BIB
A generalization of list-coloring, now known as DP-coloring, was recently introduced by Dvořák and Postle. Essentially, DP-coloring assigns an arbitrary matching between lists of colors at adjacent vertices, as opposed to only matching identical colors as is done for list-coloring. Several results on list-coloring of planar graphs have since been extended to the setting of DP-coloring. We note that list-coloring results do not always extend to DP-coloring results. Our main result in this paper is to prove that every planar graph without cycles of length $\{4, a, b, 9\}$ for $a, b \in \{6, 7, 8\}$ is DP-$3$-colorable, extending three existing results on $3$-choosability of planar graphs.
Triangle resilience of the square of a Hamilton cycle in random graphs
Published
• View Publication
• BIB
Since first introduced by Sudakov and Vu in 2008, the study of resilience problems in random graphs received a lot of attention in probabilistic combinatorics. Of particular interest are resilience problems of spanning structures. It is known that for spanning structures which contain many triangles, local resilience cannot prevent an adversary from destroying all copies of the structure by removing a negligible amount of edges incident to every vertex. In this paper we generalise the notion of local resilience to $H$-resilience and demonstrate its usefulness on the containment problem of the square of a Hamilton cycle. In particular, we show that there exists a constant $C > 0$ such that if $p \geq C\log^3 n/\sqrt{n}$ then w.h.p. in every subgraph $G$ of a random graph $G_{n, p}$ there exists the square of a Hamilton cycle, provided that every vertex of $G$ remains on at least a $(4/9 + o(1))$-fraction of its triangles from $G_{n, p}$. The constant $4/9$ is optimal and the value of $p$ slightly improves on the best-known appearance threshold of such a structure and is optimal up to the logarithmic factor.
Properties of a $q$-analogue of zero forcing
Published
• View Publication
• BIB
Zero forcing is a combinatorial game played on a graph where the goal is to start with all vertices unfilled and to change them to filled at minimal cost. In the original variation of the game there were two options. Namely, to fill any one single vertex at the cost of a single token; or if any currently filled vertex has a unique non-filled neighbor, then the neighbor is filled for free. This paper investigates a $q$-analogue of zero forcing which introduces a third option involving an oracle. Basic properties of this game are established including determining all graphs which have minimal cost $1$ or $2$ for all possible $q$, and finding the zero forcing number for all trees when $q=1$.
On Pareto eigenvalue of distance matrix of graphs
In this article, we study Pareto eigenvalues of distance matrix of connected graphs and show that the non zero entries of every distance Pareto eigenvector of a tree forms a strictly convex function on the forest generated by the vertices corresponding to the non zero entries of the vector. Besides we find the minimum number of possible distance Pareto eigenvalue of a connected graph and establish lower bounds for $n$ largest distance Pareto eigenvalues of a connected graph of order $n.$ Finally, we discuss some bounds for the second largest distance Pareto eigenvalue and find graphs with optimal second largest distance Pareto eigenvalue.
On the largest $A_α$-spectral radius of cacti
Let $A(G)$ be the adjacent matrix and $D(G)$ the diagonal matrix of the degrees of a graph $G$, respectively. For $0 \leq α\leq 1$, the $A_α$ matrix $A_α(G) = αD(G) +(1-α)A(G)$ is given by Nikiforov. Clearly, $A_{0} (G)$ is the adjacent matrix and $2 A_{\frac{1}{2}}$ is the signless Laplacian matrix. A cactus is a connected graph such that any two of its cycles have at most one common vertex, that is an extension of the tree. The $A_α$-spectral radius of a cactus graph with $n$ vertices and $k$ cycles is explored. The outcomes obtained in this paper can imply previous bounds of Nikiforov et al., and Lovász and Pelikán. In addition, the corresponding extremal graphs are determined. Furthermore, we proposed all eigenvalues of such extremal cacti. Our results extended and enriched previous known results.
The Abelian sandpile model on Ferrers graphs -- A classification of recurrent configurations
Published in European Journal of Combinatorics 81 (2019) 221-241
• View Publication
• BIB
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the decorated permutations and all recurrent configurations of the ASM. We also describe a bijection between the decorated permutations and the intransitive trees of Postnikov, the breadth-first search of which corresponds to a canonical toppling of the corresponding configurations.
Low independence number and Hamiltonicity implies pancyclicity
Published
• View Publication
• BIB
A graph on $n$ vertices is called pancyclic if it contains a cycle of every length $3\le l \le n$. Given a Hamiltonian graph $G$ with independence number at most $k$ we are looking for the minimum number of vertices $f(k)$ that guarantees that $G$ is pancyclic. The problem of finding $f(k)$ was raised by Erdős in 1972 who showed that $f(k)\le 4k^4$, and conjectured that $f(k)=Θ(k^2)$. Improving on a result of Lee and Sudakov we show that $f(k)=O(k^{11/5})$.
Coulson Integral Formula for the Vertex Energy of a Graph
Published
• View Publication
• BIB
In this note we prove that the vertex energy of a graph, as defined in Arizmendi and Juarez (2018), can be calculated in terms of a Coulson integral formula. We present examples of how this formula can be used, and we show some applications to bipartite graphs.
Graph magnitude homology via algebraic Morse theory
We compute magnitude homology of various graphs using algebraic Morse theory. Specifically, we (1) give an alternative proof that trees are diagonal, (2) identify a new class of diagonal graphs, (3) prove that the icosahedral graph is diagonal, and (4) compute the magnitude homology of cycles. These results answer several questions of Hepworth and Willerton [HW17].
Algorithmic aspects of broadcast independence
Published
• View Publication
• BIB
An independent broadcast on a connected graph $G$ is a function $f:V(G)\to \mathbb{N}_0$ such that, for every vertex $x$ of $G$, the value $f(x)$ is at most the eccentricity of $x$ in $G$, and $f(x)>0$ implies that $f(y)=0$ for every vertex $y$ of $G$ within distance at most $f(x)$ from $x$. The broadcast independence number $α_b(G)$ of $G$ is the largest weight $\sum\limits_{x\in V(G)}f(x)$ of an independent broadcast $f$ on $G$.
We describe an efficient algorithm that determines the broadcast independence number of a given tree. Furthermore, we show NP-hardness of the broadcast independence number for planar graphs of maximum degree four, and hardness of approximation for general graphs. Our results solve problems posed by Dunbar, Erwin, Haynes, Hedetniemi, and Hedetniemi (2006), Hedetniemi (2006), and Ahmane, Bouchemakh, Sopena (2018).
Critical groups of iterated cones
Published
• View Publication
• BIB
Let G be a finite graph, and let G_n be the n-th iterated cone over G. We study the structure of the critical group of G_n arising in divisor and sandpile theory.
On Distance Magic Harary Graphs
Published in Utilitas Mathematica, Vol. 115, 251-266, 2020
• Search Publication
This paper establishes two techniques to construct larger distance magic and (a, d)-distance antimagic graphs using Harary graphs and provides a solution to the existence of distance magicness of legicographic product and direct product of G with C4, for every non-regular distance magic graph G with maximum degree |V(G)|-1.