graph
34828 papers tagged with this keyword
Limits of Structures and the Example of Tree-Semilattices
Published
• View Publication
• BIB
The notion of left convergent sequences of graphs introduced by Lov\' asz et al. (in relation with homomorphism densities for fixed patterns and Szemerédi's regularity lemma) got increasingly studied over the past $10$ years. Recently, Ne\v set\v ril and Ossona de Mendez introduced a general framework for convergence of sequences of structures. In particular, the authors introduced the notion of $QF$-convergence, which is a natural generalization of left-convergence. In this paper, we initiate study of $QF$-convergence for structures with functional symbols by focusing on the particular case of tree semi-lattices. We fully characterize the limit objects and give an application to the study of left convergence of $m$-partite cographs, a generalization of cographs.
Burning graphs - a probabilistic perspective
Published
• View Publication
• BIB
In this paper, we study a graph parameter that was recently introduced, the burning number, focusing on a few probabilistic aspects of the problem. The original burning number is revisited and analyzed for binomial random graphs G(n,p), random geometric graphs, and the Cartesian product of paths. Moreover, new variants of the burning number are introduced in which a burning sequence of vertices is selected according to some probabilistic rules. We analyze these new graph parameters for paths.
Full subgraphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph of density $p$ on $n$ vertices. Following Erdős, Łuczak and Spencer, an $m$-vertex subgraph $H$ of $G$ is called {\em full} if $H$ has minimum degree at least $p(m - 1)$. Let $f(G)$ denote the order of a largest full subgraph of $G$. If $p\binom{n}{2}$ is a non-negative integer, define \[ f(n,p) = \min\{f(G) : \vert V(G)\vert = n, \ \vert E(G)\vert = p\binom{n}{2} \}.\] Erdős, Łuczak and Spencer proved that for $n \geq 2$, \[ (2n)^{\frac{1}{2}} - 2 \leq f(n, {\frac{1}{2}}) \leq 4n^{\frac{2}{3}}(\log n)^{\frac{1}{3}}.\] In this paper, we prove the following lower bound: for $n^{-\frac{2}{3}} <p_n <1-n^{-\frac{1}{7}}$, \[ f(n,p) \geq \frac{1}{4}(1-p)^{\frac{2}{3}}n^{\frac{2}{3}} -1.\] Furthermore we show that this is tight up to a multiplicative constant factor for infinitely many $p$ near the elements of $\{\frac{1}{2},\frac{2}{3},\frac{3}{4},\dots\}$. In contrast, we show that for any $n$-vertex graph $G$, either $G$ or $G^c$ contains a full subgraph on $Ω(\frac{n}{\log n})$ vertices. Finally, we discuss full subgraphs of random and pseudo-random graphs, and several open problems.
Dominating induced matchings in graphs containing no long claw
Published
• View Publication
• BIB
An induced matching $M$ in a graph $G$ is dominating if every edge not in $M$ shares exactly one vertex with an edge in $M$. The dominating induced matching problem (also known as efficient edge domination) asks whether a graph $G$ contains a dominating induced matching. This problem is generally NP-complete, but polynomial-time solvable for graphs with some special properties. In particular, it is solvable in polynomial time for claw-free graphs. In the present paper, we study this problem for graphs containing no long claw, i.e. no induced subgraph obtained from the claw by subdividing each of its edges exactly once. To solve the problem in this class, we reduce it to the following question: given a graph $G$ and a subset of its vertices, does $G$ contain a matching saturating all vertices of the subset? We show that this question can be answered in polynomial time, thus providing a polynomial-time algorithm to solve the dominating induced matching problem for graphs containing no long claw.
Creating cycles in Walker-Breaker games
Published in Discrete Mathematics 339 (2016), 2113-2126
• View Publication
• BIB
We consider biased $(1:b)$ Walker-Breaker games: Walker and Breaker alternately claim edges of the complete graph $K_n$, Walker taking one edge and Breaker claiming $b$ edges in each round, with the constraint that Walker needs to choose her edges according to a walk. As questioned in a paper by Espig, Frieze, Krivelevich and Pegden, we study how long a cycle Walker is able to create and for which biases $b$ Walker has a chance to create a cycle of given constant length.
Independence complexes of well-covered circulant graphs
Published
• View Publication
• BIB
We study the independence complexes of families of well-covered circulant graphs discovered by Boros-Gurvich-Milanič, Brown-Hoshino, and Moussi. Because these graphs are well-covered, their independence complexes are pure simplicial complexes. We determine when these pure complexes have extra combinatorial (e.g. vertex decomposable, shellable) or topological (e.g. Cohen-Macaulay, Buchsbaum) structure. We also provide a table of all well-covered circulant graphs on 16 or less vertices, and for each such graph, determine if it is vertex decomposable, shellable, Cohen-Macaulay, and/or Buchsbaum. A highlight of this search is an example of a graph whose independence complex is shellable but not vertex decomposable.
Observability of Lattice Graphs
Published
• View Publication
• BIB
We consider a graph observability problem: how many edge colors are needed for an unlabeled graph so that an agent, walking from node to node, can uniquely determine its location from just the observed color sequence of the walk?
Specifically, let G(n,d) be an edge-colored subgraph of d-dimensional (directed or undirected) lattice of size n^d = n * n * ... * n. We say that G(n,d) is t-observable if an agent can uniquely determine its current position in the graph from the color sequence of any t-dimensional walk, where the dimension is the number of different directions spanned by the edges of the walk. A walk in an undirected lattice G(n,d) has dimension between 1 and d, but a directed walk can have dimension between 1 and 2d because of two different orientations for each axis.
We derive bounds on the number of colors needed for t-observability. Our main result is that Theta(n^(d/t)) colors are both necessary and sufficient for t-observability of G(n,d), where d is considered a constant.
This shows an interesting dependence of graph observability on the ratio between the dimension of the lattice and that of the walk. In particular, the number of colors for full-dimensional walks is Theta(n^(1/2)) in the directed case, and Theta(n) in the undirected case, independent of the lattice dimension.
All of our results extend easily to non-square lattices: given a lattice graph of size N = n_1 * n_2 * ... * n_d, the number of colors for t-observability is Theta (N^(1/t)).
Proper connection number and graph products
Published
• View Publication
• BIB
A path $P$ in an edge-colored graph $G$ is called \emph{a proper path} if no two adjacent edges of $P$ are colored the same, and $G$ is \emph{proper connected} if every two vertices of $G$ are connected by a proper path in $G$. The \emph{proper connection number} of a connected graph $G$, denoted by $pc(G)$, is the minimum number of colors that are needed to make $G$ proper connected. In this paper, we study the proper connection number on the lexicographical, strong, Cartesian, and direct product and present several upper bounds for these products of graphs.
Cycle Domination, Independence and Irredundance in graphs
A set $S$ of vertices in a graph $G = (V, E)$ is called {\em cycle independent} if the induced subgraph $\langle S\rangle$ is acyclic, and called {\em odd-cycle indepdendet} if $\langle S\rangle$ is bipartite. A set $S$ is {\em cycle dominating} (resp. {\em odd-cycle dominating}) if for every vertex $u \in V \setminus S$ there exists a vertex $v \in S$ such that $u$ and $v$ are contained in a (resp. odd cycle) cycle in $\langle S \setminus \{u\}\rangle$. A set $S$ is {\em cycle irredundant} (resp. odd-cycle irredundant) if for every vertex $v \in S$ there exists a vertex $u \in V \setminus S$ such that $u$ and $v$ are in a (resp. odd cycle) cycle of $\langle S \setminus \{u\}\rangle$, but $u$ is not in a cycle of $\langle S \cup \{u\} \setminus \{v\}\rangle$. In this paper we present these new concepts, which relate in a natural way to independence, domination and irredundance in graphs. In particular, we construct analogs to the domination inequality chain for these new concepts.
Half-arc-transitive graphs of arbitrary even valency greater than 2
Published
• View Publication
• BIB
A half-arc-transitive graph is a regular graph that is both vertex- and edge-transitive, but is not arc-transitive. If such a graph has finite valency, then its valency is even, and greater than $2$. In 1970, Bouwer proved that there exists a half-arc-transitive graph of every even valency greater than 2, by giving a construction for a family of graphs now known as $B(k,m,n)$, defined for every triple $(k,m,n)$ of integers greater than $1$ with $2^m \equiv 1 \mod n$. In each case, $B(k,m,n)$ is a $2k$-valent vertex- and edge-transitive graph of order $mn^{k-1}$, and Bouwer showed that $B(k,6,9)$ is half-arc-transitive for all $k > 1$.
For almost 45 years the question of exactly which of Bouwer's graphs are half-arc-transitive and which are arc-transitive has remained open, despite many attempts to answer it. In this paper, we use a cycle-counting argument to prove that almost all of the graphs constructed by Bouwer are half-arc-transitive. In fact, we prove that $B(k,m,n)$ is arc-transitive only when $n = 3$, or $(k,n) = (2,5)$, % and $m$ is a multiple of $4$, or $(k,m,n) = (2,3,7)$ or $(2,6,7)$ or $(2,6,21)$. In particular, $B(k,m,n)$ is half-arc-transitive whenever $m > 6$ and $n > 5$. This gives an easy way to prove that there are infinitely many half-arc-transitive graphs of each even valency $2k > 2$.
Global Structural Properties of Random Graphs
Published
• View Publication
• BIB
We study two global structural properties of a graph $Γ$, denoted AS and CFS, which arise in a natural way from geometric group theory. We study these properties in the Erdös--Rényi random graph model G(n,p), proving a sharp threshold for a random graph to have the AS property asymptotically almost surely, and giving fairly tight bounds for the corresponding threshold for CFS.
As an application of our results, we show that for any constant p and any $Γ\in G(n,p)$, the right-angled Coxeter group $W_Γ$ asymptotically almost surely has quadratic divergence and thickness of order 1, generalizing and strengthening a result of Behrstock--Hagen--Sisto.
Vertex-transitive graphs and their arc-types
Published
• View Publication
• BIB
Let $X$ be a finite vertex-transitive graph of valency $d$, and let $A$ be the full automorphism group of $X$. Then the arc-type of $X$ is defined in terms of the sizes of the orbits of the action of the stabiliser $A_v$ of a given vertex $v$ on the set of arcs incident with $v$. Specifically, the arc-type is the partition of $d$ as the sum $$n_1 + n_2 + \dots + n_t + (m_1 + m_1) + (m_2 + m_2) + \dots + (m_s + m_s),$$ where $n_1, n_2, \dots, n_t$ are the sizes of the self-paired orbits, and $m_1,m_1, m_2,m_2, \dots, m_s,m_s$ are the sizes of the non-self-paired orbits, in descending order.
In this paper, we find the arc-types of several families of graphs. Also we show that the arc-type of a Cartesian product of two `relatively prime' graphs is the natural sum of their arc-types. Then using these observations, we show that with the exception of $1+1$ and $(1+1)$, every partition as defined above is realisable, in the sense that there exists at least one graph with the given partition as its arc-type.
Small roots, low elements, and the weak order in Coxeter groups
Published
• View Publication
• BIB
In this article we provide a new finite class of elements in any Coxeter system (W,S) called low elements. They are defined from Brink and Howlett's small roots, which are strongly linked to the automatic structure of (W,S). Our first main result is to show that they form a Garside shadow in (W,S), i.e., they contain S and are closed under join (for the right weak order) and by taking suffixes. These low elements are the key to prove that all finitely generated Artin-Tits groups have a finite Garside family. This result was announced in a note with P. Dehornoy (P. Dehornoy, M. Dyer, and C. Hohlweg. Garside families in Artin-Tits monoids and low elements in Coxeter groups. Comptes Rendus Mathematique, 353:403-408., 2015.) in which the present article was referred to under the following working title: Monotonicity of dominance-depth on root systems and applications.
The proof is based on a fundamental property enjoyed by small roots and which is our second main result; the set of small root is bipodal.
For a natural number n, we define similarly n-low elements from n-small roots and conjecture that the set of n-small roots is bipodal, implying the set of n-low elements is a Garside shadow; we prove this conjecture for affine Coxeter groups and Coxeter groups whose graph is labelled by 3 and infinity. To prove the latter, we extend the root poset on positive roots to a weak order on the root system and define a Bruhat order on the root system, and study the paths in those orders in order to establish a criterion to prove bipodality involving only finite dihedral reflection subgroups.
Colouring graphs with constraints on connectivity
Published in Journal of Graph Theory 85 (2017), 814-838
• View Publication
• BIB
A graph $G$ has maximal local edge-connectivity $k$ if the maximum number of edge-disjoint paths between every pair of distinct vertices $x$ and $y$ is at most $k$. We prove Brooks-type theorems for $k$-connected graphs with maximal local edge-connectivity $k$, and for any graph with maximal local edge-connectivity 3. We also consider several related graph classes defined by constraints on connectivity. In particular, we show that there is a polynomial-time algorithm that, given a 3-connected graph $G$ with maximal local connectivity 3, outputs an optimal colouring for $G$. On the other hand, we prove, for $k \ge 3$, that $k$-colourability is NP-complete when restricted to minimally $k$-connected graphs, and 3-colourability is NP-complete when restricted to $(k-1)$-connected graphs with maximal local connectivity $k$. Finally, we consider a parameterization of $k$-colourability based on the number of vertices of degree at least $k+1$, and prove that, even when $k$ is part of the input, the corresponding parameterized problem is FPT.
Containment game played on random graphs: another zig-zag theorem
We consider a variant of the game of Cops and Robbers, called Containment, in which cops move from edge to adjacent edge, the robber moves from vertex to adjacent vertex (but cannot move along an edge occupied by a cop). The cops win by "containing" the robber, that is, by occupying all edges incident with a vertex occupied by the robber. The minimum number of cops, $ξ(G)$, required to contain a robber played on a graph $G$ is called the containability number, a natural counterpart of the well-known cop number $c(G)$. This variant of the game was recently introduced by Komarov and Mackey, who proved that for every graph $G$, $c(G) \le ξ(G) \le γ(G) Δ(G)$, where $γ(G)$ and $Δ(G)$ are the domination number and the maximum degree of $G$, respectively. They conjecture that an upper bound can be improved and, in fact, $ξ(G) \le c(G) Δ(G)$. (Observe that, trivially, $c(G) \le γ(G)$.) This seems to be the main question for this game at the moment. By investigating expansion properties, we provide asymptotically almost sure bounds on the containability number of binomial random graphs $G(n,p)$ for a wide range of $p=p(n)$, showing that it forms an intriguing zigzag shape. This result also proves that the conjecture holds for some range of $p$ (or holds up to a constant or an $O(\log n)$ multiplicative factors for some other ranges).
New Proofs of Königs Theorem
Published in Indonesian Journal of Combinatorics 1 (2): 78-81 (2017)
• View Publication
• BIB
We introduce four new elementary short proofs of the famous König's theorem which characterizes bipartite graphs by absence of odd cycles.
Symmetric Chromatic Polynomial of Trees
In a 1995 paper Richard Stanley defined $X_G$, the symmetric chromatic polynomial of a Graph $G=(V,E)$. He then conjectured that $X_G$ distinguishes trees; a conjecture which still remains open. $X_G$ can be represented as a certain collection of integer partitions of $|V|$ induced by each $S\subseteq E$, which is very approachable with the aid of a computer. Our research involved writing a computer program for efficient verification of this conjecture for trees up to 23 vertices. In this process, we also gather trees with matching collections of integer partitions of a fixed number of parts. For each $k=2, 3, 4, 5$, we provide the smallest pair of trees whose partitions of $k$ parts agree. In 2013, Orellana and Scott give a proof of a weaker version of Stanely's conjecture for trees with one centroid. We prove a similar result for arbitrary trees, and provide examples to show that this result, combined with that of Orellana and Scott, is optimal.
A new property of the Lovász number and duality relations between graph parameters
Published in Discrete Applied Mathematics, vol. 216, part 3, pp. 489-501 (2017)
• View Publication
• BIB
We show that for any graph $G$, by considering "activation" through the strong product with another graph $H$, the relation $α(G) \leq \vartheta(G)$ between the independence number and the Lovász number of $G$ can be made arbitrarily tight: Precisely, the inequality \[
α(G \times H) \leq \vartheta(G \times H) = \vartheta(G)\,\vartheta(H) \] becomes asymptotically an equality for a suitable sequence of ancillary graphs $H$.
This motivates us to look for other products of graph parameters of $G$ and $H$ on the right hand side of the above relation. For instance, a result of Rosenfeld and Hales states that \[
α(G \times H) \leq α^*(G)\,α(H), \] with the fractional packing number $α^*(G)$, and for every $G$ there exists $H$ that makes the above an equality; conversely, for every graph $H$ there is a $G$ that attains equality.
These findings constitute some sort of duality of graph parameters, mediated through the independence number, under which $α$ and $α^*$ are dual to each other, and the Lovász number $\vartheta$ is self-dual. We also show duality of Schrijver's and Szegedy's variants $\vartheta^-$ and $\vartheta^+$ of the Lovász number, and explore analogous notions for the chromatic number under strong and disjunctive graph products.
Hermitian adjacency matrix of digraphs and mixed graphs
Published
• View Publication
• BIB
The paper gives a thorough introduction to spectra of digraphs via its Hermitian adjacency matrix. This matrix is indexed by the vertices of the digraph, and the entry corresponding to an arc from $x$ to $y$ is equal to the complex unity $i$ (and its symmetric entry is $-i$) if the reverse arc $yx$ is not present. We also allow arcs in both directions and unoriented edges, in which case we use $1$ as the entry. This allows to use the definition also for mixed graphs. This matrix has many nice properties; it has real eigenvalues and the interlacing theorem holds for a digraph and its induced subdigraphs. Besides covering the basic properties, we discuss many differences from the properties of eigenvalues of undirected graphs and develop basic theory. The main novel results include the following. Several surprising facts are discovered about the spectral radius; some consequences of the interlacing property are obtained; operations that preserve the spectrum are discussed -- they give rise to an incredible number of cospectral digraphs; for every $0\leα\le\sqrt{3}$, all digraphs whose spectrum is contained in the interval $(-α,α)$ are determined.
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al. '99] also on proof size. [Alekhnovich and Razborov '03] established that if the clause-variable incidence graph of a CNF formula F is a good enough expander, then proving that F is unsatisfiable requires high PC/PCR degree. We further develop the techniques in [AR03] to show that if one can "cluster" clauses and variables in a way that "respects the structure" of the formula in a certain sense, then it is sufficient that the incidence graph of this clustered version is an expander. As a corollary of this, we prove that the functional pigeonhole principle (FPHP) formulas require high PC/PCR degree when restricted to constant-degree expander graphs. This answers an open question in [Razborov '02], and also implies that the standard CNF encoding of the FPHP formulas require exponential proof size in polynomial calculus resolution. Thus, while Onto-FPHP formulas are easy for polynomial calculus, as shown in [Riis '93], both FPHP and Onto-PHP formulas are hard even when restricted to bounded-degree expanders.