graph
34604 papers tagged with this keyword
Secure domination number of $k$-subdivision 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$. A dominating set $D$ is called a secure dominating set of $G$, if for every $u\in V-D$, there exists a vertex $v\in D$ such that $uv \in E$ and $D-\{v\}\cup\{u\}$ is a dominating set of $G$. The cardinality of a smallest secure dominating set of $G$, denoted by $γ_s(G)$, is the secure domination number of $G$. For any $k \in \mathbb{N}$, the $k$-subdivision of $G$ is a simple graph $G^{\frac{1}{k}}$ which is constructed by replacing each edge of $G$ with a path of length $k$. In this paper, we study the secure domination number of $k$-subdivision of $G$.
All Graphs with a Failed Zero Forcing Number of Two
Published
• View Publication
• BIB
Given a graph $G$, the zero-forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Zero-forcing numbers have attracted great interest over the past 15 years and have been well studied. In this paper we investigate the largest size of a set $S$ that does not force all of the vertices in a graph to be in $S$. This quantity is known as the failed zero-forcing number of a graphs and will be denoted by $F(G)$, and has received attention in recent years. We present new results involving this parameter. In particular, we completely characterize all graphs $G$ where $F(G)=2$, solving a problem posed in 2015 by Fetcie, Jacob, and Saavedra.
Planar Median Graphs and Cubesquare-Graphs
Published
• View Publication
• BIB
Median graphs are connected graphs in which for all three vertices there is a unique vertex that belongs to shortest paths between each pair of these three vertices. In this paper we provide several novel characterizations of planar median graphs. More specifically, we characterize when a planar graph $G$ is a median graph in terms of forbidden subgraphs and the structure of isometric cycles in $G$, and also in terms of subgraphs of $G$ that are contained inside and outside of 4-cycles with respect to an arbitrary planar embedding of $G$. These results lead us to a new characterization of planar median graphs in terms of cubesquare-graphs that is, graphs that can be obtained by starting with cubes and square graphs, and iteratively replacing 4-cycle boundaries (relative to some embedding) by cubes or square-graphs. As a corollary we also show that a graph is planar median if and only if it can be obtained from cubes and square-graphs by a sequence of ``square-boundary'' amalgamations. These considerations also lead to an $\mathcal{O}(n\log n)$-time recognition algorithm to compute a decomposition of a planar median graph with $n$ vertices into cubes and square-graphs.
Improved lower bound for the list chromatic number of graphs with no $K_t$ minor
Published
• View Publication
• BIB
Hadwiger's conjecture asserts that every graph without a $K_t$-minor is $(t-1)$-colorable. It is known that the exact version of Hadwiger's conjecture does not extend to list coloring, but it has been conjectured by Kawarabayashi and Mohar (2007) that there exists a constant $c$ such that every graph with no $K_t$-minor has list chromatic number at most $ct$. More specifically, they also conjectured that this holds for $c=\frac{3}{2}$.
Refuting the latter conjecture, we show that the maximum list chromatic number of graphs with no $K_t$-minor is at least $(2-o(1))t$, and hence $c \ge 2$ in the above conjecture is necessary. This improves the previous best lower bound by Barát, Joret and Wood (2011), who proved that $c \ge \frac{4}{3}$. Our lower-bound examples are obtained via the probabilistic method.
An improved condition for a graph to be determined by its generalized spectrum
Published in European Journal of Combinatorics 108 (2023) 103638
• View Publication
• BIB
A fundamental and challenging problem in spectral graph theory is to characterize which graphs are uniquely determined by their spectra. In Wang [J. Combin. Theory, Ser. B, 122 (2017): 438-451], the author proved that an $n$-vertex graph $G$ is uniquely determined by its generalized spectrum (DGS) whenever $2^{-\lfloor\frac{n}{2}\rfloor}\det W$ is odd and square-free. Here, $W$ is the walk matrix of $G$, namely, $W=[e,Ae,\ldots,A^{n-1}e]$ with $e$ all-one vector and $A$ the adjacency matrix of $G$. In this paper, we focus on a larger family of graphs with $d_n$ square-free, where $d_n$ refers to the last invariant factor of $W$. We introduce a new kind of polynomials for a graph $G$ associated with a prime $p$. Such a polynomial is invariant under generalized cospectrality. Using the newly defined polynomials, we obtain a sufficient condition for a graph in the larger family to be DGS. The main result of this paper improves upon the aforementioned result of Wang while the proof for the main result gives a new way to attack the problem of generalized spectral characterization of graphs.
Coarse-graining and reconstruction for Markov matrices
Published
• View Publication
• BIB
We present a coarse-graining (or model order reduction) procedure for stochastic matrices by clustering. The method is consistent with the natural structure of Markov theory, preserving positivity and mass, and does not rely on any tools from Hilbert space theory. The reconstruction is provided by a generalized Penrose-Moore inverse of the coarse-graining operator incorporating the inhomogeneous invariant measure of the Markov matrix. As we show, the method provides coarse-graining and reconstruction also on the level of tensor spaces, which is consistent with the notion of an incidence matrix and quotient graphs, and, moreover, allows to coarse-grain and reconstruct fluxes. Furthermore, we investigate the connection with functional inequalities and Poincaré-type constants.
The smallest class of binary matroids closed under direct sums and complements
Published
• View Publication
• BIB
The class of cographs or complement-reducible graphs is the class of graphs that can be generated from $K_1$ using the operations of disjoint union and complementation. By analogy, this paper introduces the class of binary comatroids as the class of matroids that can be generated from the empty matroid using the operations of direct sum and taking complements inside of binary projective space. We show that a proper flat of a binary comatroid is a binary comatroid. Our main result identifies those binary non-comatroids for which every proper flat is a binary comatroid. The paper also proves the corresponding results for ternary matroids.
Cordiality of Digraphs
Published in Journal of Algebra Combinatorics Discrete Structures and Applications. Vol 10:1 2022
• View Publication
• BIB
A $(0,1)$-labelling of a set is said to be {\em friendly} if approximately one half the elements of the set are labelled 0 and one half labelled 1. Let $g$ be a labelling of the edge set of a graph that is induced by a labelling $f$ of the vertex set. If both $g$ and $f$ are friendly then $g$ is said to be a {\em cordial} labelling of the graph. We extend this concept to directed graphs and investigate the cordiality of sets of directed graphs. We investigate a specific type of cordiality on digraphs, a restriction of quasigroup-cordiality called $(2,3)$-cordiality. A directed graph is $(2,3)$-cordial if there is a friendly labelling $f$ of the vertex set which induces a $(1,-1,0)$-labelling of the arc set $g$ such that about one third of the arcs are labelled 1, about one third labelled -1 and about one third labelled 0. In particular we determine which tournaments are $(2,3)$-cordial, which orientations of the $n$-wheel are $(2,3)$-cordial, and which orientations of the $n -$fan are $(2,3)$-cordial.
Isolation of the diamond graph
Published
• View Publication
• BIB
A graph is $H$-free if it does not contain $H$ as a subgraph. The diamond graph is the graph obtained from $K_4$ by deleting one edge. We prove that if $G$ is a connected graph with order $n\geq 10$, then there exists a subset $S\subseteq V(G)$ with $|S|\leq n/5$ such that the graph induced by $V(G)\setminus N[S]$ is diamond-free, where $N[S]$ is the closed neighborhood of $S$. Furthermore, the bound is sharp.
The Game of Arrows on 3-Legged Spider Graphs
The Game of Cycles is a combinatorial game introduced by Francis Su in 2020 in which players take turns marking arrows on the edges of a simple plane graph, avoiding the creation of sinks and sources and seeking to complete a "cycle cell." Su and his collaborators (2021) found winning strategies on graphs with certain types of symmetry using reverse mirroring.
In this paper, we for the first time determine the winning player in the Game of Cycles on an infinite family of graphs lacking symmetry. In particular, we use the Sprague-Grundy Theorem to show that player two has a winning strategy for the Game of Cycles on any 3-legged spider graph with legs of odd length. Because the cycle cell victory condition is extraneous for tree graphs (including spiders), we drop it from the rules and call the result the Game of Arrows. Our proof leans heavily on a notion of state isomorphism that allows us to decompose a game state into states of smaller pieces of a graph, leading to nim-sum calculations with Grundy values.
Petals and Books: The largest Laplacian spectral gap from 1
Published in Journal of Graph Theory, 2023
• View Publication
• BIB
We prove that, for any connected graph on $N\geq 3$ vertices, the spectral gap from the value $1$ with respect to the normalized Laplacian is at most $1/2$. Moreover, we show that equality is achieved if and only if the graph is either a petal graph (for $N$ odd) or a book graph (for $N$ even). This implies that $(\frac12,\frac32)$ is a maximal gap interval for the normalized Laplacian on connected graphs. This is closely related to the Alon-Boppana bound on regular graphs and a recent result by Kollár and Sarnak on cubic graphs. Our result also provides a sharp bound for the convergence rate of some eigenvalues of the Laplacian on neighborhood graphs.
On semi-transitive orientability of split graphs
Published
• View Publication
• BIB
A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$. Recognizing semi-transitive orientability of a graph is an NP-complete problem.
A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. Semi-transitive orientability of spit graphs was recently studied in the literature. The main result in this paper is proving that recognition of semi-transitive orientability of split graphs can be done in a polynomial time. We also characterize, in terms of minimal forbidden induced subgraphs, semi-transitively orientable split graphs with the size of the independent set at most 3, hence extending the known classification of such graphs with the size of the clique at most 5.
Stressed hyperplanes and Kazhdan-Lusztig gamma-positivity for matroids
Published in Int. Math. Res. Not. IMRN 2022 rnac270
• View Publication
• BIB
In this article we make several contributions of independent interest. First, we introduce the notion of stressed hyperplane of a matroid, essentially a type of cyclic flat that permits to transition from a given matroid into another with more bases. Second, we prove that the framework provided by the stressed hyperplanes allows one to write very concise closed formulas for the Kazhdan--Lusztig, inverse Kazhdan--Lusztig and $Z$-polynomials of all paving matroids, a class which is conjectured to predominate among matroids. Third, noticing the palindromicity of the $Z$-polynomial, we address its $γ$-positivity, a midpoint between unimodality and real-rootedness. To this end, we introduce the \emph{$γ$-polynomial} associated to it, we study some of its basic properties and we find closed expressions for it in the case of paving matroids. Also, we prove that it has positive coefficients in many interesting cases, particularly in the large family of sparse paving matroids, and other smaller classes such as projective geometries, thagomizer matroids and other particular graphs. Our last contribution consists of providing explicit combinatorial interpretations for the coefficients of many of the polynomials addressed in this article by enumerating fillings in certain Young tableaux and skew Young tableaux.
Gallai's path decomposition in planar graphs
In 1968, Gallai conjectured that the edges of any connected graph with $n$ vertices can be partitioned into $\lceil \frac{n}{2} \rceil$ paths. We show that this conjecture is true for every planar graph. More precisely, we show that every connected planar graph except $K_3$ and $K_5^-$ ($K_5$ minus one edge) can be decomposed into $\lfloor \frac{n}{2} \rfloor$ paths.
Multitrees in random graphs
Published
• View Publication
• BIB
Let $N=\binom{n}{2}$ and $s\geq 2$. Let $e_{i,j},\,i=1,2,\ldots,N,\,j=1,2,\ldots,s$ be $s$ independent permutations of the edges $E(K_n)$ of the complete graph $K_n$. A {\em MultiTree} is a set $I\subseteq [N]$ such that the edge sets $E_{I,j}$ induce spanning trees for $j=1,2,\ldots,s$. In this paper we study the following question: what is the smallest $m=m(n)$ such that w.h.p. $[m]$ contains a MultiTree. We prove a hitting time result for $s=2$ and an $O(n\log n)$ bound for $s\geq 3$.
Algorithms, hardness and graph products on a pursuit-evasion game
Published
• View Publication
• BIB
In the $(s,d)$-spy game over a graph, introduced by Cohen et al. in 2016, one spy and $k$ guards occupy vertices of a graph and, at each turn, each guard may move along one edge and the spy may move along at most $s$ edges. The guards win if, after a finite number of turns, they ensure that the spy always remains at distance at most $d$ from at least one guard. The guard number is the minimum number of guards such that the guards have a winning strategy. In this paper, we investigate the spy game variant in which the guards are placed first, before the spy. We obtain a polynomial time algorithm for every speed $s\geq 2$ and distance $d\geq 0$ when the number of guards is a constant, which leads to a fixed parameter tractable algorithm on the $P_4$-fewness of the graph. We also prove that the spy game is NP-hard even in bipartite graphs with bounded diameter, for every speed $s\geq 2$ and distance $d\geq 0$.
2-limited broadcast domination on grid graphs
Published in Discrete Applied Mathematics, 338:158-178, 2023
• View Publication
• BIB
We establish upper and lower bounds for the 2-limited broadcast domination number of various grid graphs, in particular the Cartesian product of two paths, a path and a cycle, and two cycles. The upper bounds are derived by explicit constructions. The lower bounds are obtained via linear programming duality by finding lower bounds for the fractional 2-limited multipacking numbers of these graphs.
Proving exact values for the $2$-limited broadcast domination number on grid graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (November 22, 2023) dmtcs:11478
• View Publication
• BIB
We establish exact values for the $2$-limited broadcast domination number of various grid graphs, in particular $C_m\square C_n$ for $3 \leq m \leq 6$ and all $n\geq m$, $P_m \square C_3$ for all $m \geq 3$, and $P_m \square C_n$ for $4\leq m \leq 5$ and all $n \geq m$. We also produce periodically optimal values for $P_m \square C_4$ and $P_m \square C_6$ for $m \geq 3$, $P_4 \square P_n$ for $n \geq 4$, and $P_5 \square P_n$ for $n \geq 5$. Our method completes an exhaustive case analysis and eliminates cases by combining tools from linear programming with various mathematical proof techniques.
A Sum of Squares Characterization of Perfect Graphs
Published
• View Publication
• BIB
We present an algebraic characterization of perfect graphs, i.e., graphs for which the clique number and the chromatic number coincide for every induced subgraph. We show that a graph is perfect if and only if certain nonnegative polynomials associated with the graph are sums of squares. As a byproduct, we obtain several infinite families of nonnegative polynomials that are not sums of squares through graph-theoretic constructions. We also characterize graphs for which the associated polynomials belong to certain structured subsets of sum of squares polynomials. Finally, we reformulate some well-known results from the theory of perfect graphs as statements about sum of squares proofs of nonnegativity of certain polynomials.
On the Ramsey Numbers of Odd-Linked Double Stars
Published
• View Publication
• BIB
The linked double star $S_c(n,m)$, where $n \geq m \geq 0$, is the graph consisting of the union of two stars $K_{1,n}$ and $K_{1,m}$ with a path on $c$ vertices joining the centers. Its ramsey number $r(S_c(n,m))$ is the smallest integer $r$ such that every $2$-coloring of the edges of a $K_r$ admits a monochromatic $S_c(n,m)$. In this paper, we study the ramsey numbers of linked double stars when $c$ is odd. In particular, we establish bounds on the value of $r(S_c(n,m))$ and determine the exact value of $r(S_c(n,m))$ if $n \geq c$, or if $n \leq \lfloor \frac{c}{2} \rfloor - 2$ and $m = 2$.