graph
35411 papers tagged with this keyword
Totally bipartite tridiagonal pairs
Published
• View Publication
• BIB
There is a concept in linear algebra called a tridiagonal pair. The concept was motivated by the theory of $Q$-polynomial distance-regular graphs. We give a tutorial introduction to tridiagonal pairs, working with a special case as a concrete example. The special case is called totally bipartite, or TB. Starting from first principles, we give an elementary but comprehensive account of TB tridiagonal pairs. The following topics are discussed: (i) the notion of a TB tridiagonal system; (ii) the eigenvalue array; (iii) the standard basis and matrix representations; (iv) the intersection numbers; (v) the Askey-Wilson relations; (vi) a recurrence involving the eigenvalue array; (vii) the classification of TB tridiagonal systems; (viii) self-dual TB tridiagonal pairs and systems; (ix) the $\mathbb{Z}_3$-symmetric Askey-Wilson relations; (x) some automorphisms and antiautomorphisms associated with a TB tridiagonal pair; (xi) an action of the modular group ${\rm PSL}_2(\mathbb{Z})$ associated with a TB tridiagonal pair.
Polyhedral characteristics of balanced and unbalanced bipartite subgraph problems
Published
• View Publication
• BIB
We study the polyhedral properties of three problems of constructing an optimal complete bipartite subgraph (a biclique) in a bipartite graph. In the first problem we consider a balanced biclique with the same number of vertices in both parts and arbitrary edge weights. In the other two problems we are dealing with unbalanced subgraphs of maximum and minimum weight with nonnegative edges. All three problems are established to be NP-hard. We study the polytopes and the cone decompositions of these problems and their 1-skeletons. We describe the adjacency criterion in 1-skeleton of the polytope of the balanced complete bipartite subgraph problem. The clique number of 1-skeleton is estimated from below by a superpolynomial function. For both unbalanced biclique problems we establish the superpolynomial lower bounds on the clique numbers of the graphs of nonnegative cone decompositions. These values characterize the time complexity in a broad class of algorithms based on linear comparisons.
Combinatorial cost: a coarse setting
Published
• View Publication
• BIB
The main inspiration for this paper is a paper by Elek where he introduces combinatorial cost for graph sequences. We show that having cost equal to 1 and hyperfiniteness are coarse invariants. We also show `cost-1' for box spaces behaves multiplicatively when taking subgroups. We show that graph sequences coming from Farber sequences of a group have property A if and only if the group is amenable. The same is true for hyperfiniteness. This generalises a theorem by Elek. Furthermore we optimise this result when Farber sequences are replaced by sofic approximations. In doing so we introduce a new concept: property almost-A.
Notes on Cops and Robber game on graphs
These are some personal notes about the pursuit game of Cops and Robbers that I made starting in 2007. More old and new problems (and some solutions) will be added in future versions of these notes.
Variations of the cop and robber game on graphs
We prove new theoretical results about several variations of the cop and robber game on graphs. First, we consider a variation of the cop and robber game which is more symmetric called the cop and killer game. We prove for all $c < 1$ that almost all random graphs are stalemate for the cop and killer game, where each edge occurs with probability $p$ such that $\frac{1}{n^{c}} \le p \le 1-\frac{1}{n^{c}}$. We prove that a graph can be killer-win if and only if it has exactly $k\ge 3$ triangles or none at all. We prove that graphs with multiple cycles longer than triangles permit cop-win and killer-win graphs. For $\left(m,n\right)\neq\left(1,5\right)$ and $n\geq4$, we show that there are cop-win and killer-win graphs with $m$ $C_n$s. In addition, we identify game outcomes on specific graph products.
Next, we find a generalized version of Dijkstra's algorithm that can be applied to find the minimal expected capture time and the minimal evasion probability for the cop and gambler game and other variations of graph pursuit.
Finally, we consider a randomized version of the killer that is similar to the gambler. We use the generalization of Dijkstra's algorithm to find optimal strategies for pursuing the random killer. We prove that if $G$ is a connected graph with maximum degree $d$, then the cop can win with probability at least $\frac{\sqrt d}{1+\sqrt d}$ after learning the killer's distribution. In addition, we prove that this bound is tight only on the $\left(d+1\right)$-vertex star, where the killer takes the center with probability $\frac1{1+\sqrt d}$ and each of the other vertices with equal probabilities.
Graph classes for critical ideals, minimum rank and zero forcing number
Published in Linear Algebra and its Applications Volume 556, 1 November 2018, Pages 100-107
• View Publication
• BIB
Recently, there have been found new relations between the zero forcing number and the minimum rank of a graph with the algebraic co-rank. We continue on this direction by giving a characterization of the graphs with real algebraic co-rank at most 2. This implies that for any graph with at most minimum rank at most 3, its minimum rank is bounded from above by its real algebraic co-rank.
Kirszbraun-type Theorems For Graphs
Published
• View Publication
• BIB
The classical Kirszbraun theorem says that all $1$-Lipschitz functions $f:A\longrightarrow \mathbb{R}^n$, $A\subset \mathbb{R}^n$, with the Euclidean metric have a $1$-Lipschitz extension to $\mathbb{R}^n$. For metric spaces $X,Y$ we say that $Y$ is $X$-Kirszbraun if all $1$-Lipschitz functions $f:A\longrightarrow Y$, $A\subset X$, have a $1$-Lipschitz extension to~$X$. We analyze the case when $X$ and $Y$ are graphs with the usual path metric. We prove that $\mathbb{Z}^d$-Kirszbraun graphs are exactly graphs that satisfies a certain Helly property. We also consider complexity aspects of these properties.
Sedentary quantum walks
Published
• View Publication
• BIB
Let $X$ be a graph with adjacency matrix $A$. The \textsl{continuous quantum walk} on $X$ is determined by the unitary matrices $U(t)=\exp(itA)$. If $X$ is the complete graph $K_n$ and $a\in V(X)$, then \[1-|U(t)_{a,a}|\le2/n. \] In a sense, this means that a quantum walk on a complete graph stay home with high probability. In this paper we consider quantum walks on cones over an $\ell$-regular graph on $n$ vertices. We prove that if $\ell^2/n\to\infty$ as $n$ increases, than a quantum walk that starts on the apex of the cone will remain on it with probability tending to $1$ as $n$ increases. On the other hand, if $\ell\le2$ we prove that there is a time $t$ such that local uniform mixing occurs, i.e., all vertices are equally likely.
We investigate when a quantum walk on strongly regular graph has a high probability of "staying at home", producing large families of examples with the stay-at-home property where the valency is small compared to the number of vertices.
Reachability Preservers: New Extremal Bounds and Approximation Algorithms
Published
• View Publication
• BIB
We abstract and study \emph{reachability preservers}, a graph-theoretic primitive that has been implicit in prior work on network design. Given a directed graph $G = (V, E)$ and a set of \emph{demand pairs} $P \subseteq V \times V$, a reachability preserver is a sparse subgraph $H$ that preserves reachability between all demand pairs.
Our first contribution is a series of extremal bounds on the size of reachability preservers. Our main result states that, for an $n$-node graph and demand pairs of the form $P \subseteq S \times V$ for a small node subset $S$, there is always a reachability preserver on $O(n+\sqrt{n |P| |S|})$ edges. We additionally give a lower bound construction demonstrating that this upper bound characterizes the settings in which $O(n)$ size reachability preservers are generally possible, in a large range of parameters.
The second contribution of this paper is a new connection between extremal graph sparsification results and classical Steiner Network Design problems. Surprisingly, prior to this work, the osmosis of techniques between these two fields had been superficial. This allows us to improve the state of the art approximation algorithms for the most basic Steiner-type problem in directed graphs from the $O(n^{0.6+\varepsilon})$ of Chlamatac, Dinitz, Kortsarz, and Laekhanukit (SODA'17) to $O(n^{4/7+\varepsilon})$.
All partitions have small parts - Gallai-Ramsey numbers of bipartite graphs
Published
• View Publication
• BIB
Gallai-colorings are edge-colored complete graphs in which there are no rainbow triangles. Within such colored complete graphs, we consider Ramsey-type questions, looking for specified monochromatic graphs. In this work, we consider monochromatic bipartite graphs since the numbers are known to grow more slowly than for non-bipartite graphs. The main result shows that it suffices to consider only $3$-colorings which have a special partition of the vertices. Using this tool, we find several sharp numbers and conjecture the sharp value for all bipartite graphs. In particular, we determine the Gallai-Ramsey numbers for all bipartite graphs with two vertices in one part and initiate the study of linear forests.
On the $α$-index of graphs with pendent paths
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $α\in\left[ 0,1\right] $, write $A_α\left( G\right) $ for the matrix \[ A_α\left( G\right) =αD\left( G\right) +(1-α)A\left( G\right) . \] This paper presents some extremal results about the spectral radius $ρ_α\left( G\right) $ of $A_α\left( G\right) $ that generalize previous results about $ρ_{0}\left( G\right) $ and $ρ_{1/2}\left( G\right) $.
In particular, write $B_{p,q,r}$ be the graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. It is shown that if $α\in\left[ 0,1\right) $ and $G$ is a graph of order $n$ and diameter at least $k,$ then% \[ ρ_α(G)\leqρ_α(B_{n-k+2,\lfloor k/2\rfloor,\lceil k/2\rceil}), \] with equality holding if and only if $G=B_{n-k+2,\lfloor k/2\rfloor,\lceil k/2\rceil}$. This result generalizes results of Hansen and Stevanović \cite{HaSt08}, and Liu and Lu \cite{LiLu14}.
Interlacement and Activities in Delta-Matroids
Published
• View Publication
• BIB
We generalize theories of graph, matroid, and ribbon-graph activities to delta-matroids. As a result, we obtain an activities based feasible-set expansion for a transition polynomial of delta-matroids defined by Brijder and Hoogeboom. This result yields feasible-set expansions for the two-variable Bollobás-Riordan and interlace polynomials of a delta-matroid. In the former case, the expansion obtained directly generalizes the activities expansions of the Tutte polynomial of graphs and matroids.
Strong Ramsey Games in Unbounded Time
Published in European Journal of Combinatorics 86 (2020), 103096
• View Publication
• BIB
For two graphs $B$ and $H$ the strong Ramsey game $\mathcal{R}(B,H)$ on the board $B$ and with target $H$ is played as follows. Two players alternately claim edges of $B$. The first player to build a copy of $H$ wins. If none of the players win, the game is declared a draw. A notorious open question of Beck asks whether the first player has a winning strategy in $\mathcal{R}(K_n,K_k)$ in bounded time as $n\rightarrow\infty$. Surprisingly, in a recent paper Hefetz et al. constructed a $5$-uniform hypergraph $\mathcal{H}$ for which they proved that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(5)},\mathcal{H})$ in bounded time. They naturally ask whether the same result holds for graphs. In this paper we make further progress in decreasing the rank.
In our first result, we construct a graph $G$ (in fact $G=K_6\setminus K_4$) and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n \sqcup K_n,G)$ in bounded time. As an application of this result we deduce our second result in which we construct a $4$-uniform hypergraph $G'$ and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(4)},G')$ in bounded time. This improves the result in the paper above.
An equivalent formulation of our first result is that the game $\mathcal{R}(K_ω\sqcup K_ω,G)$ is a draw. Another reason for interest on the board $K_ω\sqcup K_ω$ is a folklore result that the disjoint union of two finite positional games both of which are first player wins is also a first player win. An amusing corollary of our first result is that at least one of the following two natural statements is false: (1) for every graph $H$, $\mathcal{R}(K_ω,H)$ is a first player win; (2) for every graph $H$ if $\mathcal{R}(K_ω,H)$ is a first player win, then $\mathcal{R}(K_ω\sqcup K_ω,H)$ is also a first player win.
On distance r-dominating and 2r-independent sets in sparse graphs
Dvorak (2013) gave a bound on the minimum size of a distance r dominating set in the terms of the maximum size of a distance 2r independent set and generalized coloring numbers, thus obtaining a constant factor approximation algorithm for the parameters in any class of graphs with bounded expansion. We improve and clarify this dependence using an LP-based argument inspired by the work of Bansal and Umboh (2017).
A lower bound on the acyclic matching number of subcubic graphs
The acyclic matching number of a graph $G$ is the largest size of an acyclic matching in $G$, that is, a matching $M$ in $G$ such that the subgraph of $G$ induced by the vertices incident to an edge in $M$ is a forest. We show that the acyclic matching number of a connected subcubic graph $G$ with $m$ edges is at least $m/6$ except for two small exceptions.
On distance and Laplacian matrices of trees with matrix weights
Published
• View Publication
• BIB
The \emph{distance matrix} of a simple connected graph $G$ is $D(G)=(d_{ij})$, where $d_{ij}$ is the distance between the vertices $i$ and $j$ in $G$. We consider a weighted tree $T$ on $n$ vertices with edge weights are square matrix of same size. The distance $d_{ij}$ between the vertices $i$ and $j$ is the sum of the weight matrices of the edges in the unique path from $i$ to $j$. In this article we establish a characterization for the trees in terms of rank of (matrix) weighted Laplacian matrix associated with it. Then we establish a necessary and sufficient condition for the distance matrix $D$, with matrix weights, to be invertible and the formula for the inverse of $D$, if it exists. Also we study some of the properties of the distance matrices of matrix weighted trees in connection with the Laplacian matrices, g-inverses and eigenvalues.
Hyperopic Cops and Robbers
Published
• View Publication
• BIB
We introduce a new variant of the game of Cops and Robbers played on graphs, where the robber is invisible unless outside the neighbor set of a cop. The hyperopic cop number is the corresponding analogue of the cop number, and we investigate bounds and other properties of this parameter. We characterize the cop-win graphs for this variant, along with graphs with the largest possible hyperopic cop number. We analyze the cases of graphs with diameter 2 or at least 3, focusing on when the hyperopic cop number is at most one greater than the cop number. We show that for planar graphs, as with the usual cop number, the hyperopic cop number is at most 3. The hyperopic cop number is considered for countable graphs, and it is shown that for connected chains of graphs, the hyperopic cop density can be any real number in $[0,1/2].$
Metastability of hard-core dynamics on bipartite graphs
Published in Electronic Journal of Probability 2018, Vol. 23, paper no. 97, 1-65
• View Publication
• BIB
We study the metastable behaviour of a stochastic system of particles with hard-core interactions in a high-density regime. Particles sit on the vertices of a bipartite graph. New particles appear subject to a neighbourhood exclusion constraint, while existing particles disappear, all according to independent Poisson clocks. We consider the regime in which the appearance rates are much larger than the disappearance rates, and there is a slight imbalance between the appearance rates on the two parts of the graph. Starting from the configuration in which the weak part is covered with particles, the system takes a long time before it reaches the configuration in which the strong part is covered with particles. We obtain a sharp asymptotic estimate for the expected transition time, show that the transition time is asymptotically exponentially distributed, and identify the size and shape of the critical droplet representing the bottleneck for the crossover. For various types of bipartite graphs the computations are made explicit. Proofs rely on potential theory for reversible Markov chains, and on isoperimetric results. In a follow-up paper we will use our results to study the performance of random-access wireless networks.
Properties of the Fibonacci-sum graph
For each positive integer $n$, the Fibonacci-sum graph $G_n$ on vertices $1,2,\ldots,n$ is defined by two vertices forming an edge if and only if they sum to a Fibonacci number. It is known that each $G_n$ is bipartite, and all Hamiltonian paths in each $G_n$ have been classified. In this paper, it is shown that each $G_n$ has at most one non-trivial automorphism, which is given explicitly. Other properties of $G_n$ are also found, including the degree sequence, the treewidth, the nature of the bipartition, and that $G_n$ is outerplanar.
Improved approximation of layout problems on random graphs
Published
• View Publication
• BIB
Inspired by previous work of Diaz, Petit, Serna, and Trevisan (Approximating layout problems on random graphs Discrete Mathematics, 235, 2001, 245--253), we show that several well-known graph layout problems are approximable to within a factor arbitrarily close to 1 of the optimal with high probability for random graphs drawn from an Erdös-Renyi distribution with appropriate sparsity conditions. Moreover, we show that the same results hold for the analogous problems on directed acyclic graphs.