graph
34604 papers tagged with this keyword
Flow modules and nowhere-zero flows
Published
• View Publication
• BIB
Let $Γ$ be a graph, $A$ an abelian group, $\mathcal{D}$ a given orientation of $Γ$ and $R$ a unital subring of the endomorphism ring of $A$. It is shown that the set of all maps $\varphi$ from $E(Γ)$ to $A$ such that $(\mathcal{D},\varphi)$ is an $A$-flow forms a left $R$-module. Let $Γ$ be a union of two subgraphs $Γ_{1}$ and $Γ_{2}$, and $p^n$ a prime power. It is proved that $Γ$ admits a nowhere-zero $p^n$-flow if $Γ_{1}$ and $Γ_{2}$ have at most $p^n-2$ common edges and both have nowhere-zero $p^n$-flows. More important, it is proved that $Γ$ admits a nowhere-zero $4$-flow if $Γ_{1}$ and $Γ_{2}$ both have nowhere-zero $4$-flows and their common edges induce a connected subgraph of $Γ$ of size at most $3$. This covers a result of Catlin that a graph admits a nowhere-zero $4$-flow if it is a union of a $4$-cycle and a subgraph admiting a nowhere-zero $4$-flow.
Random homomorphisms into the orthogonality graph
Published
• View Publication
• BIB
Subgraph densities have been defined, and served as basic tools, both in the case of graphons (limits of dense graph sequences) and graphings (limits of bounded-degree graph sequences). While limit objects have been described for the "middle ranges", the notion of subgraph densities in these limit objects remains elusive. We define subgraph densities in the orthogonality graphs on the unit spheres in dimension $d$, under appropriate sparsity condition on the subgraphs. These orthogonality graphs exhibit the main difficulties of defining subgraphs the "middle" range, and so we expect their study to serve as a key example to defining subgraph densities in more general Markov spaces.
The problem can also be formulated as defining and computing random orthogonal representations of graphs. Orthogonal representations have played a role in information theory, optimization, rigidity theory and quantum physics, so to study random ones may be of interest from the point of view of these applications as well.
Discrepancy and Sparsity
Published
• View Publication
• BIB
We study the connections between the notions of combinatorial discrepancy and graph degeneracy. In particular, we prove that the maximum discrepancy over all subgraphs $H$ of a graph $G$ of the neighborhood set system of $H$ is sandwiched between $Ω(\log\mathrm{deg}(G))$ and $\mathcal{O}(\mathrm{deg}(G))$, where $\mathrm{deg}(G)$ denotes the degeneracy of $G$. We extend this result to inequalities relating weak coloring numbers and discrepancy of graph powers and deduce a new characterization of bounded expansion classes.
Then, we switch to a model theoretical point of view, introduce pointer structures, and study their relations to graph classes with bounded expansion. We deduce that a monotone class of graphs has bounded expansion if and only if all the set systems definable in this class have bounded hereditary discrepancy.
Using known bounds on the VC-density of set systems definable in nowhere dense classes we also give a characterization of nowhere dense classes in terms of discrepancy. As consequences of our results, we obtain a corollary on the discrepancy of neighborhood set systems of edge colored graphs, a polynomial-time algorithm to compute $\varepsilon$-approximations of size $\mathcal{O}(1/\varepsilon)$ for set systems definable in bounded expansion classes, an application to clique coloring, and even the non-existence of a quantifier elimination scheme for nowhere dense classes.
Compelling Colorings: A generalization of the dominator chromatic number
Published
• View Publication
• BIB
We define a $P$-compelling coloring as a proper coloring of the vertices of a graph such that every subset consisting of one vertex of each color has property $P$. The $P$-compelling chromatic number is the minimum number of colors in such a coloring. We show that this notion generalizes the dominator and total dominator chromatic numbers, and provide some general bounds and algorithmic results. We also investigate the specific cases where $P$ is that the subset contains at least one edge or that the subset is connected.
A clique-free pseudorandom subgraph of the pseudo polarity graph
Published
• View Publication
• BIB
We provide a new family of $K_k$-free pseudorandom graphs with edge density $Θ(n^{-1/(k-1)})$, matching a recent construction due to Bishnoi, Ihringer and Pepe. As in the former result, the idea is to use large subgraphs of polarity graphs, which are defined over a finite field $\mathbb{F}_q$. While their construction required $q$ to be odd, we will give the first construction with $q$ even.
Multi-layered planar firefighting
Consider a model of fire spreading through a graph; initially some vertices are burning, and at every given time-step fire spreads from burning vertices to their neighbours. The firefighter problem is a solitaire game in which a player is allowed, at every time-step, to protect some non-burning vertices (by effectively deleting them) in order to contain the fire growth. How many vertices per turn, on average, must be protected in order to stop the fire from spreading infinitely?
Here we consider the problem on $\mathbb{Z}^2\times [h]$ for both nearest neighbour adjacency and strong adjacency. We determine the critical protection rates for these graphs to be $1.5h$ and $3h$, respectively. This establishes the fact that using an optimal two-dimensional strategy for all layers in parallel is asymptotically optimal.
Pretty good state transfer in discrete-time quantum walks
Published
• View Publication
• BIB
We establish the theory for pretty good state transfer in discrete-time quantum walks. For a class of walks, we show that pretty good state transfer is characterized by the spectrum of certain Hermitian adjacency matrix of the graph; more specifically, the vertices involved in pretty good state transfer must be $m$-strongly cospectral relative to this matrix, and the arccosines of its eigenvalues must satisfy some number theoretic conditions. Using normalized adjacency matrices, cyclic covers, and the theory on linear relations between geodetic angles, we construct several infinite families of walks that exhibits this phenomenon.
Some $α$-spectral extremal results for some digraphs
Published
• View Publication
• BIB
In this paper, we characterize the extremal digraphs with the maximal or minimal $α$-spectral radius among some digraph classes such as rose digraphs, generalized theta digraphs and tri-ring digraphs with given size $m$. These digraph classes are denoted by $\mathcal{R}_{m}^k$, $\widetilde{\boldsymbolΘ}_k(m)$ and $\INF(m)$ respectively. The main results about spectral extremal digraph by Guo and Liu in \cite{MR2954483} and Li and Wang in \cite{MR3777498} are generalized to $α$-spectral graph theory. As a by-product of our main results, an open problem in \cite{MR3777498} is answered.
Furthermore, we determine the digraphs with the first three minimal $α$-spectral radius among all strongly connected digraphs. Meanwhile, we determine the unique digraph with the fourth minimal $α$-spectral radius among all strongly connected digraphs for $0\le α\le \frac{1}{2}$.
Improved bounds for zeros of the chromatic polynomial on bounded degree graphs
We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(z)$ (in $\mathbb{C}$) lie outside the disk of radius $5.02 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$.
In the case of graphs of high girth we can improve this. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(z)$ lie outside the disk of radius $K_g Δ$ centered at $0$ where $K_g \to 1 + e \approx 3.72$ as $g \to \infty$.
Finally, we give improved bounds on the Fisher zeros of the partition function of the Ising model.
Further approximations for Aharoni's rainbow generalization of the Caccetta-Häggkvist conjecture
Published in Electronic Journal of Combinatorics, 29 (1), (2022) #P1.55
• View Publication
• BIB
For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge k$ for all $v \in V(G)$, then $G$ contains a directed cycle of length at most $\lceil n/k \rceil$. Aharoni proposed a generalization of this conjecture, that a simple edge-colored graph on $n$ vertices with $n$ color classes, each of size $k$, has a rainbow cycle of length at most $\lceil n/k \rceil$. With Pelikánová and Pokorná, we showed that this conjecture is true if each color class has size $Ω(k\log k)$. In this paper, we present a proof of the conjecture if each color class has size $Ω(k)$, which improved the previous result and is only a constant factor away from Aharoni's conjecture. We also consider what happens when the condition on the number of colors is relaxed.
Hierarchical Graph Neural Networks
Over the recent years, Graph Neural Networks have become increasingly popular in network analytic and beyond. With that, their architecture noticeable diverges from the classical multi-layered hierarchical organization of the traditional neural networks. At the same time, many conventional approaches in network science efficiently utilize the hierarchical approaches to account for the hierarchical organization of the networks, and recent works emphasize their critical importance. This paper aims to connect the dots between the traditional Neural Network and the Graph Neural Network architectures as well as the network science approaches, harnessing the power of the hierarchical network organization. A Hierarchical Graph Neural Network architecture is proposed, supplementing the original input network layer with the hierarchy of auxiliary network layers and organizing the computational scheme updating the node features through both - horizontal network connections within each layer as well as the vertical connection between the layers. It enables simultaneous learning of the individual node features along with the aggregated network features at variable resolution and uses them to improve the convergence and stability of the individual node feature learning. The proposed Hierarchical Graph Neural network architecture is successfully evaluated on the network embedding and modeling as well as network classification, node labeling, and community tasks and demonstrates increased efficiency in those.
Reconfiguring Independent Sets on Interval Graphs
We study reconfiguration of independent sets in interval graphs under the token sliding rule. We show that if two independent sets of size $k$ are reconfigurable in an $n$-vertex interval graph, then there is a reconfiguration sequence of length $\mathcal{O}(k\cdot n^2)$. We also provide a construction in which the shortest reconfiguration sequence is of length $Ω(k^2\cdot n)$.
As a counterpart to these results, we also establish that $\textsf{Independent Set Reconfiguration}$ is PSPACE-hard on incomparability graphs, of which interval graphs are a special case.
Perron value and moment of rooted trees
Published
• View Publication
• BIB
The Perron value $ρ(T)$ of a rooted tree $T$ has a central role in the study of the algebraic connectivity and characteristic set, and it can be considered a weight of spectral nature for $T$. A different, combinatorial weight notion for $T$ - the moment $μ(T)$ - emerges from the analysis of Kemeny's constant in the context of random walks on graphs. In the present work, we compare these two weight concepts showing that $μ(T)$ is "almost" an upper bound for $ρ(T)$ and the ratio $μ(T)/ρ(T)$ is unbounded but at most linear in the order of $T$. To achieve these primary goals, we introduce two new objects associated with $T$ - the Perron entropy and the neckbottle matrix - and we investigate how different operations on the set of rooted trees affect the Perron value and the moment.
Ramsey numbers of sparse digraphs
Published
• View Publication
• BIB
Burr and Erdős in 1975 conjectured, and Chvátal, Rödl, Szemerédi and Trotter later proved, that the Ramsey number of any bounded degree graph is linear in the number of vertices. In this paper, we disprove the natural directed analogue of the Burr--Erdős conjecture, answering a question of Bucić, Letzter, and Sudakov. If $H$ is an acyclic digraph, the oriented Ramsey number of $H$, denoted $\overrightarrow{r_{1}}(H)$, is the least $N$ such that every tournament on $N$ vertices contains a copy of $H$. We show that for any $Δ\geq 2$ and any sufficiently large $n$, there exists an acyclic digraph $H$ with $n$ vertices and maximum degree $Δ$ such that \[ \overrightarrow{r_{1}}(H)\ge n^{Ω(Δ^{2/3}/ \log^{5/3} Δ)}. \] This proves that $\overrightarrow{r_{1}}(H)$ is not always linear in the number of vertices for bounded-degree $H$. On the other hand, we show that $\overrightarrow{r_{1}}(H)$ is nearly linear in the number of vertices for typical bounded-degree acyclic digraphs $H$, and obtain linear or nearly linear bounds for several natural families of bounded-degree acyclic digraphs.
For multiple colors, we prove a quasi-polynomial upper bound $\overrightarrow{r_{k}}(H)=2^{(\log n)^{O_{k}(1)}}$ for all bounded-degree acyclic digraphs $H$ on $n$ vertices, where $\overrightarrow{r_k}(H)$ is the least $N$ such that every $k$-edge-colored tournament on $N$ vertices contains a monochromatic copy of $H$. For $k\geq 2$ and $n\geq 4$, we exhibit an acyclic digraph $H$ with $n$ vertices and maximum degree $3$ such that $\overrightarrow{r_{k}}(H)\ge n^{Ω(\log n/\log\log n)}$, showing that these Ramsey numbers can grow faster than any polynomial in the number of vertices.
Graph reliability evaluation via random $K$-out-of-$N$ systems
Published in Communications in Statistics - Theory and Methods, 53(3) (2024), 1024-1034
• View Publication
• BIB
The present study was concerned with network failure problems for simple connected undirected graphs. A connected graph becomes unconnected through edge failure, under the assumptions that only edges can fail and each edge has an identical failure distribution. The main purpose of the present study was to show recurrent relations with respect to the number of edges in graph generation procedures. To this end, simple connected undirected graphs were correlated to random $K$-out-of-$N$ systems, and key features of such systems were applied. In addition, some simple graph cases and examples were analyzed.
Index of Parameters of Iterated Line Graphs
Published
• View Publication
• BIB
Let $G$ be a prolific graph, that is a finite connected simple graph which is not isomorphic to a cycle nor a path nor the star graph $K_{1,3}$. The line-graph of $G$, denoted by $L(G)$, is defined by having its vertex-set equal to the edge-set of $G$ and two vertices of $L(G)$ are adjacent if the corresponding edges are adjacent in $G$. For a positive integer $k$, the iterated line-graph $L^k(G)$ is defined recursively by $L^k(G)=L(L^{k-1}(G))$. We consider fifteen graph parameters and study their behaviour when the operation of taking the line-graph is iterated. We shall first show that all of these parameters are unbounded. This idea is motivated by a well-known result of van Rooij and Wilf that says that the number of vertices is unbounded if and only if the graph is prolific. We then study of the value of $k(P,{\mathcal F})$, which is the index of a family of prolific graphs with regards to a given graph parameter $P(G)$. For a given parameter $P(G)$, the index of $G$ is denoted by $ind(P,G) = \min \{ r : P(G) < P(L^r(G) \}$. Now for a family $\mathcal F$ of prolific graphs, the index of the family is $k(P,\mathcal{F}) = \max \{ ind(P,G) : G \in \mathcal F\}$. The problem of determining the index of a parameter over the family of prolific graphs is motivated by a result of Chartrand who showed that it could require $k=|V(G)|-3$ iterations for $L^k(G)$ to have a hamiltonian cycle. For twelve of the parameters considered, we exactly determine $k(P,\mathcal F)$ where $\mathcal F$ is the family of all prolific graphs, and for some parameters we also characterize the class of prolific graphs realizing the extremal value $k(P,\mathcal F$). Interesting open problems remain, in particular completing the determination of $k(P,\mathcal F)$ for the three parameters: the independence number, independent domination number and domination number.
On the Boxicity of Kneser Graphs and Complements of Line Graphs
Published
• View Publication
• BIB
An axis-parallel $d$-dimensional box is a cartesian product $I_1\times I_2\times \dots \times I_b$ where $I_i$ is a closed sub-interval of the real line. For a graph $G = (V,E)$, the $boxicity \ of \ G$, denoted by $\text{box}(G)$, is the minimum dimension $d$ such that $G$ is the intersection graph of a family $(B_v)_{v\in V}$ of $d$-dimensional boxes in $\mathbb R^d$. Let $k$ and $n$ be two positive integers such that $n\geq 2k+1$. The $Kneser \ graph$ $Kn(k,n)$ is the graph with vertex set given by all subsets of $\{1,2,\dots,n\}$ of size $k$ where two vertices are adjacent if their corresponding $k$-sets are disjoint.
In this note, we derive a general upper bound for $\text{box}(Kn(k,n))$, and a lower bound in the case $n\ge 2k^3-2k^2+1$, which matches the upper bound up to an additive factor of $Θ(k^2)$. Our second contribution is to provide upper and lower bounds for the boxicity of the complement of the line graph of any graph $G$, and as a corollary, we derive that $\text{box}(Kn(2,n))\in \{n-3, n-2\}$ for every $n\ge 5$.
Searching by Heterogeneous Agents
Published in Journal of Computer and System Sciences 115: 1-21 (2021)
• View Publication
• BIB
In this work we introduce and study a pursuit-evasion game in which the search is performed by heterogeneous entities. We incorporate heterogeneity into the classical edge search problem by considering edge-labeled graphs: once a search strategy initially assigns labels to the searchers, each searcher can be only present on an edge of its own label. We prove that this problem is not monotone even for trees and we give instances in which the number of recontamination events is asymptotically quadratic in the tree size. Other negative results regard the NP-completeness of the monotone, and NP-hardness of an arbitrary (i.e., non-monotone) heterogeneous search in trees. These properties show that this problem behaves very differently from the classical edge search. On the other hand, if all edges of a particular label form a (connected) subtree of the input tree, then we show that optimal heterogeneous search strategy can be computed efficiently.
Mutual Visibility in Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $P\subseteq V$ a set of points. Two points are mutually visible if there is a shortest path between them without further points. $P$ is a mutual-visibility set if its points are pairwise mutually visible. The mutual-visibility number of $G$ is the size of any largest mutual-visibility set. In this paper we start the study about this new invariant and the mutual-visibility sets in undirected graphs. We introduce the mutual-visibility problem which asks to find a mutual-visibility set with a size larger than a given number. We show that this problem is NP-complete, whereas, to check whether a given set of points is a mutual-visibility set is solvable in polynomial time. Then we study mutual-visibility sets and mutual-visibility numbers on special classes of graphs, such as block graphs, trees, grids, tori, complete bipartite graphs, cographs. We also provide some relations of the mutual-visibility number of a graph with other invariants.
Feedback Vertex Set and Even Cycle Transversal for H-Free Graphs: Finding Large Block Graphs
Published
• View Publication
• BIB
We prove new complexity results for Feedback Vertex Set and Even Cycle Transversal on $H$-free graphs, that is, graphs that do not contain some fixed graph $H$ as an induced subgraph. In particular, we prove that for every $s\geq 1$, both problems are polynomial-time solvable for $sP_3$-free graphs and $(sP_1+P_5)$-free graphs; here, the graph $sP_3$ denotes the disjoint union of $s$ paths on three vertices and the graph $sP_1+P_5$ denotes the disjoint union of $s$ isolated vertices and a path on five vertices. Our new results for Feedback Vertex Set extend all known polynomial-time results for Feedback Vertex Set on $H$-free graphs, namely for $sP_2$-free graphs [Chiarelli et al., TCS 2018], $(sP_1+P_3)$-free graphs [Dabrowski et al., Algorithmica 2020] and $P_5$-free graphs [Abrishami et al., SODA 2021]. Together, the new results also show that both problems exhibit the same behaviour on $H$-free graphs (subject to some open cases). This is in part due to a new general algorithm we design for finding in a ($sP_3)$-free or $(sP_1+P_5)$-free graph $G$ a largest induced subgraph whose blocks belong to some finite class ${\cal C}$ of graphs. We also compare our results with the state-of-the-art results for the Odd Cycle Transversal problem, which is known to behave differently on $H$-free graphs.