graph
34828 papers tagged with this keyword
Gonality of complete graphs with a small number of omitted edges
Published
• View Publication
• BIB
Let $K_d$ be the complete metric graph on $d$ vertices. We compute the gonality of graphs obtained from $K_d$ by omitting edges forming a $K_h$, or general configurations of at most $d-2$ edges. We also investigate if these graphs can be lifted to curves with the same gonality. We lift the former graphs and the ones obtained by removing up to $d-2$ edges not forming a $K_3$ using models of plane curves with certain singularities. We also study the gonality when removing $d-1$ edges not forming a $K_3$. We use harmonic morphism to lift these graphs to curves with the same gonality because in this case plane singular models can no be longer used due to a result of Coppens and Kato.
Saturated simple and 2-simple topological graphs with few edges
Published
• View Publication
• BIB
A simple topological graph is a topological graph in which any two edges have at most one common point, which is either their common endpoint or a proper crossing. More generally, in a k-simple topological graph, every pair of edges has at most k common points of this kind. We construct saturated simple and 2-simple graphs with few edges. These are k-simple graphs in which no further edge can be added. We improve the previous upper bounds of Kynčl, Pach, Radoičić, and Tóth and show that there are saturated simple graphs on n vertices with only 7n edges and saturated 2-simple graphs on n vertices with 14.5n edges. As a consequence, 14.5n edges is also a new upper bound for k-simple graphs (considering all values of k). We also construct saturated simple and 2-simple graphs that have some vertices with low degree.
The time of graph bootstrap percolation
Published
• View Publication
• BIB
Graph bootstrap percolation, introduced by Bollobás in 1968, is a cellular automaton defined as follows. Given a "small" graph $H$ and a "large" graph $G = G_0 \subseteq K_n$, in consecutive steps we obtain $G_{t+1}$ from $G_t$ by adding to it all new edges $e$ such that $G_t \cup e$ contains a new copy of $H$. We say that $G$ percolates if for some $t \geq 0$, we have $G_t = K_n$.
For $H = K_r$, the question about the size of the smallest percolating graphs was independently answered by Alon, Frankl and Kalai in the 1980's. Recently, Balogh, Bollobás and Morris considered graph bootstrap percolation for $G = G(n,p)$ and studied the critical probability $p_c(n,K_r)$, for the event that the graph percolates with high probability. In this paper, using the same setup, we determine, up to a logarithmic factor, the critical probability for percolation by time $t$ for all $1 \leq t \leq C \log\log n$.
Variation of the local topological structure of graph embeddings
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $\mathbb{E}$ of the graph $G$, if we randomly rearrange the edges around a vertex, i.e., re-embedding, what is the probability of the resulting embedding $\mathbb{E}'$ having genus $g+Δg$? We give a formula to compute this probability. Meanwhile, some other known and unknown results are also obtained. For example, we show that the probability of preserving the genus is at least $\frac{2}{deg(v)+2}$ for re-embedding any vertex $v$ of degree $deg(v)$ in a one-face embedding; and we obtain a necessary condition for a given embedding of $G$ to be an embedding with the minimum genus.
Colorful paths for 3-chromatic graphs
In this paper, we prove that every 3-chromatic connected graph, except $C_7$, admits a 3-vertex coloring in which every vertex is the beginning of a 3-chromatic path. It is a special case of a conjecture due to S.~Akbari, F.~Khaghanpoor, and S.~Moazzeni, cited in [P.J. Cameron, Research problems from the BCC22, \emph{Discrete Math.}
{\bf 311} (2011), 1074--1083], stating that every connected graph $G$ other than $C_7$ admits a $χ(G)$-coloring such that every vertex of $G$ is the beginning of a colorful path (i.e. a path of on $χ(G)$ vertices containing a vertex of each color). We also provide some support for the conjecture in the case of 4-chromatic graphs.
Counting dominating sets and related structures in graphs
Published
• View Publication
• BIB
We consider some problems concerning the maximum number of (strong) dominating sets in a regular graph, and their weighted analogues. Our primary tool is Shearer's entropy lemma. These techniques extend to a reasonably broad class of graph parameters enumerating vertex colorings satisfying conditions on the multiset of colors appearing in (closed) neighborhoods. We also generalize further to enumeration problems for what we call existence homomorphisms. Here our results are substantially less complete, though we do solve some natural problems.
Discrete Malliavin-Stein method: Berry-Esseen bounds for random graphs and percolation
Published
• View Publication
• BIB
A new Berry-Esseen bound for non-linear functionals of non-symmetric and non-homogeneous infinite Rademacher sequences is established. It is based on a discrete version of the Malliavin-Stein method and an analysis of the discrete Ornstein-Uhlenbeck semigroup. The result is applied to sub-graph counts and to the number of vertices having a prescribed degree in the Erdős-Renyi random graph. A further application deals with a percolation problem on trees.
2-Swappability and the Edge-Reconstruction Number of Regular Graphs
The edge-reconstruction number of graph $G$, denoted $ern(G)$,is the size of the smallest multiset of edge-deleted, unlabeled subgraphs of $G$, from which the structure of $G$ can be uniquely determined. That there was some connection between the areas of edge reconstruction and swappability has been known since the swapping number of a graph was first introduced by Froncek, Rosenberg, and Hlavacek in 2013. This paper illustrates the depth of that connection by proving several bridging results between those areas; in particular, when the graphs in question are both regular and 2-swappable. These connections led to the discovery of four infinite families of $r\geq 3$ regular graphs with $ern(G) \geq 3$, contradicting the formerly conjectured upper bound.
On star-wheel Ramsey numbers
Published
• View Publication
• BIB
For two given graphs $G_1$ and $G_2$, the Ramsey number $R(G_1,G_2)$ is the least integer $r$ such that for every graph $G$ on $r$ vertices, either $G$ contains a $G_1$ or $\bar{G}$ contains a $G_2$. In this note, we determined the Ramsey number $R(K_{1,n},W_m)$ for even $m$ with $n+2\leq m\leq 2n-2$, where $W_m$ is the wheel on $m+1$ vertices, i.e., the graph obtained from a cycle $C_m$ by adding a vertex $v$ adjacent to all vertices of the $C_m$.
Optimal path and cycle decompositions of dense quasirandom graphs
Published in Journal of Combinatorial Theory, Series B 118 (2016), 88-108
• View Publication
• BIB
Motivated by longstanding conjectures regarding decompositions of graphs into paths and cycles, we prove the following optimal decomposition results for random graphs. Let $0<p<1$ be constant and let $G\sim G_{n,p}$. Let $odd(G)$ be the number of odd degree vertices in $G$. Then a.a.s. the following hold:
(i) $G$ can be decomposed into $\lfloorΔ(G)/2\rfloor$ cycles and a matching of size $odd(G)/2$.
(ii) $G$ can be decomposed into $\max\{odd(G)/2,\lceilΔ(G)/2\rceil\}$ paths.
(iii) $G$ can be decomposed into $\lceilΔ(G)/2\rceil$ linear forests.
Each of these bounds is best possible. We actually derive (i)--(iii) from `quasirandom' versions of our results. In that context, we also determine the edge chromatic number of a given dense quasirandom graph of even order. For all these results, our main tool is a result on Hamilton decompositions of robust expanders by Kühn and Osthus.
Well-quasi-ordering does not imply bounded clique-width
Published
• View Publication
• BIB
We present a hereditary class of graphs of unbounded clique-width which is well-quasi-ordered by the induced subgraph relation. This result provides a negative answer to the question asked by Daligault, Rao and Thomassé in ("Well-quasi-order of relabel functions", Order, 27(3):301--315, 2010).
Parity binomial edge ideals
Published in Journal of Algebraic Combinatorics 44(1) (2016), pp 99-117
• View Publication
• BIB
Parity binomial edge ideals of simple undirected graphs are introduced. Unlike binomial edge ideals, they do not have square-free Gröbner bases and are radical if only if the graph is bipartite or the characteristic of the ground field is not two. The minimal primes are determined and shown to encode combinatorics of even and odd walks in the graph. A mesoprimary decomposition is determined and shown to be a primary decomposition in characteristic two.
Largest minimal inversion-complete and pair-complete sets of permutations
Published
• View Publication
• BIB
We solve two related extremal problems in the theory of permutations. A set $Q$ of permutations of the integers 1 to $n$ is inversion-complete (resp., pair-complete) if for every inversion $(j,i)$, where $1 \le i \textless{} j \le n$, (resp., for every pair $(i,j)$, where $i\not= j$) there exists a permutation in~$Q$ where $j$ is before~$i$. It is minimally inversion-complete if in addition no proper subset of~$Q$ is inversion-complete; and similarly for pair-completeness. The problems we consider are to determine the maximum cardinality of a minimal inversion-complete set of permutations, and that of a minimal pair-complete set of permutations. The latter problem arises in the determination of the Carathéodory numbers for certain abstract convexity structures on the $(n-1)$-dimensional real and integer vector spaces. Using Mantel's Theorem on the maximum number of edges in a triangle-free graph, we determine these two maximum cardinalities and we present a complete description of the optimal sets of permutations for each problem. Perhaps surprisingly (since there are twice as many pairs to cover as inversions), these two maximum cardinalities coincide whenever $n \ge 4$.
On partition functions for 3-graphs
Published
• View Publication
• BIB
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227). They are characterized by `weak reflection positivity', which amounts to the positive semidefiniteness of matrices based on the `$k$-join' of cubic cyclic graphs (for all $k\in\oZ_+$).
Basic tools are the representation theory of the symmetric group and geometric invariant theory, in particular the Hanlon-Wales theorem on the decomposition of Brauer algebras and the Procesi-Schwarz theorem on inequalities defining orbit spaces.
Action graphs and Catalan numbers
We introduce an inductively defined sequence of directed graphs and prove that the number of edges added at step $k$ is equal to the $k$th Catalan number. Furthermore, we establish an isomorphism between the set of edges adjoined at step $k$ and the set of planar rooted trees with $k$ edges.
Self-Contained Graphs
A self-contained graph is an infinite graph which is isomorphic to one of its proper induced subgraphs. In this paper, these graphs are studied by presenting some examples and defining some of their sub-structures such as removable subgraphs and the foundation. Then, we show that the general version of graph alternative conjecture, which says every graph has infinitely many strong twins or none, can be deduced from its connected version, which says every connected graph has infinitely many connected strong twins or none. Moreover, we try to find out under what conditions on two arbitrary removable subgraphs, their union is also a removable subgraph.
List-coloring the Square of a Subcubic Graph
Published in J. Graph Theory 57 (2008), no. 1, 65-87
• Search Publication
The {\em square} $G^2$ of a graph $G$ is the graph with the same vertex set as $G$ and with two vertices adjacent if their distance in $G$ is at most 2. Thomassen showed that every planar graph $G$ with maximum degree $Δ(G)=3$ satisfies $χ(G^2)\leq 7$. Kostochka and Woodall conjectured that for every graph, the list-chromatic number of $G^2$ equals the chromatic number of $G^2$, that is $χ_l(G^2)=χ(G^2)$ for all $G$. If true, this conjecture (together with Thomassen's result) implies that every planar graph $G$ with $Δ(G)=3$ satisfies $χ_l(G^2)\leq 7$. We prove that every connected graph (not necessarily planar) with $Δ(G)=3$ other than the Petersen graph satisfies $χ_l(G^2)\leq 8$ (and this is best possible). In addition, we show that if $G$ is a planar graph with $Δ(G)=3$ and girth $g(G)\geq 7$, then $χ_l(G^2)\leq 7$. Dvořák, Škrekovski, and Tancer showed that if $G$ is a planar graph with $Δ(G) = 3$ and girth $g(G) \geq 10$, then $χ_l(G^2)\leq 6$. We improve the girth bound to show that if $G$ is a planar graph with $Δ(G)=3$ and $g(G) \geq 9$, then $χ_l(G^2) \leq 6$. All of our proofs can be easily translated into linear-time coloring algorithms.
Contagious Sets in Dense Graphs
Published
• View Publication
• BIB
We study the activation process in undirected graphs known as bootstrap percolation: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it had at least r active neighbors, for a threshold r that is identical for all vertices. A contagious set is a vertex set whose activation results with the entire graph being active. Let m(G,r) be the size of a smallest contagious set in a graph G on n vertices.
We examine density conditions that ensure m(G,r) = r for all r >= 2. With respect to the minimum degree, we prove that such a smallest possible contagious set is guaranteed to exist if and only if G has minimum degree at least (k-1)/k * n. Moreover, we study the speed with which the activation spreads and provide tight upper bounds on the number of rounds it takes until all nodes are activated in such a graph.
We also investigate what average degree asserts the existence of small contagious sets. For n >= k >= r, we denote by M(n,k,r) the maximum number of edges in an n-vertex graph G satisfying m(G,r)>k. We determine the precise value of M(n,k,2) and M(n,k,k), assuming that n is sufficiently large compared to k.
Strong Twins of Ordinary Star-Like Self-Contained Graphs
Published
• View Publication
• BIB
A self-contained graph is an infinite graph which is isomorphic to one of its proper induced subgraphs. In this paper, ordinary star-like self-contained graphs are introduced and it is shown that every ordinary star-like self-contained graph has infinitely many strong twins or none.
Computing with Tangles
Published
• View Publication
• BIB
Tangles of graphs have been introduced by Robertson and Seymour in the context of their graph minor theory. Tangles may be viewed as describing "k-connected components" of a graph (though in a twisted way). They play an important role in graph minor theory. An interesting aspect of tangles is that they cannot only be defined for graphs, but more generally for arbitrary connectivity functions (that is, integer-valued submodular and symmetric set functions).
However, tangles are difficult to deal with algorithmically. To start with, it is unclear how to represent them, because they are families of separations and as such may be exponentially large. Our first contribution is a data structure for representing and accessing all tangles of a graph up to some fixed order.
Using this data structure, we can prove an algorithmic version of a very general structure theorem due to Carmesin, Diestel, Harman and Hundertmark (for graphs) and Hundertmark (for arbitrary connectivity functions) that yields a canonical tree decomposition whose parts correspond to the maximal tangles. (This may be viewed as a generalisation of the decomposition of a graph into its 3-connected components.)