graph
35299 papers tagged with this keyword
Minimal subfamilies and the probabilistic interpretation for modulus on graphs
Published
• View Publication
• BIB
The notion of $p$-modulus of a family of objects on a graph is a measure of the richness of such families. We develop the notion of minimal subfamilies using the method of Lagrangian duality for $p$-modulus. We show that minimal subfamilies have at most $|E|$ elements and that these elements carry a weight related to their "importance" in relation to the corresponding $p$-modulus problem. When $p=2$, this measure of importance is in fact a probability measure and modulus can be thought as trying to minimize the expected overlap in the family.
A proof of Mader's conjecture on large clique subdivisions in $C_4$-free graphs
Published
• View Publication
• BIB
Given any integers $s,t\geq 2$, we show there exists some $c=c(s,t)>0$ such that any $K_{s,t}$-free graph with average degree $d$ contains a subdivision of a clique with at least $cd^{\frac{1}{2}\frac{s}{s-1}}$ vertices. In particular, when $s=2$ this resolves in a strong sense the conjecture of Mader in 1999 that every $C_4$-free graph has a subdivision of a clique with order linear in the average degree of the original graph. In general, the widely conjectured asymptotic behaviour of the extremal density of $K_{s,t}$-free graphs suggests our result is tight up to the constant $c(s,t)$.
Additive posets, CW-complexes, and graphs
Published
• View Publication
• BIB
We introduce and study additive posets. We show that the top homology group (with coefficients in Z/2Z) of a finite dimensional CW-complex carries a structure of an additive poset invariant under subdivisions. Applications to CW-complexes and graphs are discussed.
Antistrong digraphs
Published
• View Publication
• BIB
An antidirected trail in a digraph is a trail (a walk with no arc repeated) in which the arcs alternate between forward and backward arcs. An antidirected path is an antidirected trail where no vertex is repeated. We show that it is NP-complete to decide whether two vertices $x,y$ in a digraph are connected by an antidirected path, while one can decide in linear time whether they are connected by an antidirected trail. A digraph $D$ is antistrong if it contains an antidirected $(x,y)$-trail starting and ending with a forward arc for every choice of $x,y\in V(D)$. We show that antistrong connectivity can be decided in linear time. We discuss relations between antistrong connectivity and other properties of a digraph and show that the arc-minimal antistrong spanning subgraphs of a digraph are the bases of a matroid on its arc-set. We show that one can determine in polynomial time the minimum number of new arcs whose addition to $D$ makes the resulting digraph the arc-disjoint union of $k$ antistrong digraphs. In particular, we determine the minimum number of new arcs which need to be added to a digraph to make it antistrong. We use results from matroid theory to characterize graphs which have an antistrong orientation and give a polynomial time algorithm for constructing such an orientation when it exists. This immediately gives analogous results for graphs which have a connected bipartite 2-detachment. Finally, we study arc-decompositions of antistrong digraphs and pose several problems and conjectures.
Edge-colorings of graphs avoiding complete graphs with a prescribed coloring
Published
• View Publication
• BIB
Given a graph $F$ and an integer $r \ge 2$, a partition $\widehat{F}$ of the edge set of $F$ into at most $r$ classes, and a graph $G$, define $c_{r, \widehat{F}}(G)$ as the number of $r$-colorings of the edges of $G$ that do not contain a copy of $F$ such that the edge partition induced by the coloring is isomorphic to the one of $F$. We think of $\widehat{F}$ as the pattern of coloring that should be avoided. The main question is, for a large enough $n$, to find the (extremal) graph $G$ on $n$ vertices which maximizes $c_{r, \widehat{F}}(G)$. This problem generalizes a question of Erd{\H o}s and Rothschild, who originally asked about the number of colorings not containing a monochromatic clique (which is equivalent to the case where $F$ is a clique and the partition $\widehat{F}$ contains a single class). We use Hölder's Inequality together with Zykov's Symmetrization to prove that, for any $r \geq 2$, $k \geq 3$ and any pattern $\widehat{K_k}$ of the clique $K_k$, there exists a complete multipartite graph that is extremal. Furthermore, if the pattern $\widehat{K_k}$ has at least two classes, with the possible exception of two very small patterns (on three or four vertices), every extremal graph must be a complete multipartite graph. In the case that $r=3$ and $\widehat{F}$ is a rainbow triangle (that is, where $F=K_3$ and each part is a singleton), we show that an extremal graph must be an almost complete graph. Still for $r=3$, we extend a result about monochromatic patterns of Alon, Balogh, Keevash and Sudakov to some patterns that use two of the three colors, finding the exact extremal graph. For the later two results, we use the Regularity and Stability Method.
A note on $G$-intersecting families
Published in Discrete Math. 260 (2003), no. 1-3, 183--188
• View Publication
• BIB
Consider a graph $G$ and a $k$-uniform hypergraph $\mathcal{H}$ on common vertex set $[n]$. We say that $\mathcal{H}$ is $G$-intersecting if for every pair of edges in $X,Y \in \mathcal{H}$ there are vertices $x \in X$ and $y \in Y$ such that $x = y$ or $x$ and $y$ are joined by an edge in $G$. This notion was introduced by Bohman, Frieze, Ruszinkó and Thoma who proved a natural generalization of the Erdős-Ko-Rado Theorem for $G$-intersecting $k$-uniform hypergraphs for $G$ sparse and $k = O( n^{1/4} )$. In this note, we extend this result to $k = O\left( \sqrt{n} \right)$.
How many random edges make a dense graph hamiltonian?
Published in Random Structures Algorithms 22(1) (2003), 33--42
• View Publication
• BIB
This paper investigates the number of random edges required to add to an arbitrary dense graph in order to make the resulting graph hamiltonian with high probability. Adding $Θ(n)$ random edges is both necessary and sufficient to ensure this for all such dense graphs. If, however, the original graph contains no large independent set, then many fewer random edges are required. We prove a similar result for directed graphs.
Switched graphs of some strongly regular graphs related to the symplectic graph
Published
• View Publication
• BIB
Applying a method of Godsil and McKay \cite{GM} to some graphs related to the symplectic graph, a series of new infinite families of strongly regular graphs with parameters $(2^n\pm2^{(n-1)/2},2^{n-1}\pm2^{(n-1)/2},2^{n-2}\pm2^{(n-3)/2},2^{n-2}\pm2^{(n-1)/2})$ are constructed for any odd $n \geq 5$. The construction is described in terms of geometry of quadric in projective space. The binary linear codes of the switched graphs are $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+1}]_2$-code or $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+2}]_2$-code.
Ramsey Numbers of Connected Clique Matchings
Published
• View Publication
• BIB
We determine the Ramsey number of a connected clique matching. That is, we show that if $G$ is a $2$-edge-coloured complete graph on $(r^2 - r - 1)n - r + 1$ vertices, then there is a monochromatic connected subgraph containing $n$ disjoint copies of $K_r$, and that this number of vertices cannot be reduced.
On the Roman domination number of generalized Sierpinski graphs
Published
• View Publication
• BIB
A map $f : V \rightarrow \{0, 1, 2\}$ is a Roman dominating function on a graph $G=(V,E)$ if for every vertex $v\in V$ with $f(v) = 0$, there exists a vertex $u$, adjacent to $v$, such that $f(u) = 2$. The weight of a Roman dominating function is given by $f(V) =\sum_{u\in V}f(u)$. The minimum weight of a Roman dominating function on $G$ is called the Roman domination number of $G$. In this article we study the Roman domination number of Generalized Sierpiński graphs $S(G,t)$. More precisely, we obtain a general upper bound on the Roman domination number of $S(G,t)$ and we discuss the tightness of this bound. In particular, we focus on the cases in which the base graph $G$ is a path, a cycle, a complete graph or a graph having exactly one universal vertex.
Bounds on the regularity of toric ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti numbers of the toric ideal associated to the complete bipartite graph $K_{2,n}$.
Bootstrap Percolation on Degenerate Graphs
Published
• View Publication
• BIB
In this paper we focus on $r$-neighbor bootstrap percolation, which is a process on a graph where initially a set $A_0$ of vertices gets infected. Now subsequently, an uninfected vertex becomes infected if it is adjacent to at least $r$ infected vertices. Call $A_f$ the set of vertices that is infected after the process stops. More formally set $A_t:=A_{t-1}\cup \{v\in V: |N(v)\cap A_{t-1}|\geq r\}$, where $N(v)$ is the neighborhood of $v$. Then $A_f=\bigcup_{t>0} A_t$. We deal with finite graphs only and denote by $n$ the number of vertices. We are mainly interested in the size of the final set $A_f$. We present a theorem for degenerate graphs that bounds the size of the final infected set. More precisely for a $d$-degenerate graph, if $r>d$, we bound the size set $A_f$ from above by $(1+\tfrac{d}{r-d})|A_0|$.
Distinguishing number and distinguishing index of some operations on graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. We examine the effects on $D(G)$ and $D'(G)$ when $G$ is modified by operations on vertex and edge of $G$. Let $G$ be a connected graph of order $n\geq 3$. We show that $-1\leq D(G-v)-D(G)\leq D(G)$, where $G-v$ denotes the graph obtained from $G$ by removal of a vertex $v$ and all edges incident to $v$ and these inequalities are true for the distinguishing index. Also we prove that $|D(G-e)-D(G)|\leq 2$ and $-1 \leq D'(G-e)-D'(G)\leq 2$, where $G-e$ denotes the graph obtained from $G$ by simply removing the edge $e$. Finally we consider the vertex contraction and the edge contraction of $G$ and prove that the edge contraction decrease the distinguishing number (index) of $G$ by at most one and increase by at most $3D(G)$ ($3D'(G)$).
A unified Erdős-Pósa theorem for constrained cycles
Published
• View Publication
• BIB
A doubly group-labeled graph is an oriented graph with its edges labeled by elements of the direct sum of two groups $Γ_1,Γ_2$. A cycle in a doubly group-labeled graph is $(Γ_1,Γ_2)$-non-zero if it is non-zero in both coordinates. Our main result is a generalization of the Flat Wall Theorem of Robertson and Seymour to doubly group-labeled graphs. As an application, we determine all canonical obstructions to the Erdős-Pósa property for $(Γ_1,Γ_2)$-non-zero cycles in doubly group-labeled graphs. The obstructions imply that the half-integral Erdős-Pósa property always holds for $(Γ_1,Γ_2)$-non-zero cycles.
Moreover, our approach gives a unified framework for proving packing results for constrained cycles in graphs. For example, as immediate corollaries we recover the Erdős-Pósa property for cycles and $S$-cycles and the half-integral Erdős-Pósa property for odd cycles and odd $S$-cycles. Furthermore, we recover Reed's Escher-wall Theorem.
We also prove many new packing results as immediate corollaries. For example, we show that the half-integral Erdős-Pósa property holds for cycles not homologous to zero, odd cycles not homologous to zero, and $S$-cycles not homologous to zero. Moreover, the (full) Erdős-Pósa property holds for $S_1$-$S_2$-cycles and cycles not homologous to zero on an orientable surface. Finally, we also describe the canonical obstructions to the Erdős-Pósa property for cycles not homologous to zero and for odd $S$-cycles.
Most edge-orderings of $K_n$ have maximal altitude
Published
• View Publication
• BIB
Suppose the edges of the complete graph on $n$ vertices are assigned a uniformly chosen random ordering. Let $X$ denote the corresponding number of Hamiltonian paths that are increasing in this ordering. It was shown in a recent paper by Lavrov and Loh that this quantity is non-zero with probability at least $1/e-o(1)$, and conjectured that $X$ is asymptotically almost surely non-zero. In this paper, we prove their conjecture. We further prove a partial result regarding the limiting behaviour of $X$, suggesting that $X/n$ is log-normal in the limit as $n\rightarrow\infty$. A key idea of our proof is to show a certain relation between $X$ and its size-biased distribution. This relies heavily on estimates for the third moment of $X$.
Adding random edges to dense graphs
Published in Random Structures Algorithms 24(2) (2004), 105--117
• View Publication
• BIB
This paper investigates the addition of random edges to arbitrary dense graphs; in particular, we determine the number of random edges required to ensure various monotone properties including the appearance of a fixed size clique, small diameter and $k$-connectivity.
A rainbow $r$-partite version of the Erdős-Ko-Rado theorem
Published
• View Publication
• BIB
Let $f(n,r,k)$ be the minimal number such that every hypergraph larger than $f(n,r,k)$ contained in $\binom{[n]}{r}$ contains a matching of size $k$, and let $g(n,r,k)$ be the minimal number such that every hypergraph larger than $g(n,r,k)$ contained in the $r$-partite $r$-graph $[n]^{r}$ contains a matching of size $k$. The Erdős-Ko-Rado theorem states that $f(n,r,2)=\binom{n-1}{r-1}$~~($r \le \frac{n}{2}$) and it is easy to show that $g(n,r,k)=(k-1)n^{r-1}$.
The conjecture inspiring this paper is that if $F_1,F_2,\ldots,F_k\subseteq \binom{[n]}{r}$ are of size larger than $f(n,r,k)$ or $F_1,F_2,\ldots,F_k\subseteq [n]^{r}$ are of size larger than $g(n,r,k)$ then there exists a rainbow matching, i.e. a choice of disjoint edges $f_i \in F_i$. In this paper we deal mainly with the second part of the conjecture, and prove it for $r\le 3$. \vspace{.1cm}
We also prove that for every $r$ and $k$ there exists $n_0=n_0(r,k)$ such that the $r$-partite version of the conjecture is true for $n>n_0$.
Keeping Your Distance is Hard
Published
• View Publication
• BIB
We study the computational complexity of distance games, a class of combinatorial games played on graphs. A move consists of colouring an uncoloured vertex subject to it not being at certain distances determined by two sets, D and S. D is the set of forbidden distances for colouring vertices in different colors, while S is the set of forbidden distances for the same colour. The last player to move wins. Well-known examples of distance games are Node-Kayles, Snort, and Col, whose complexities were shown to be PSPACE-hard. We show that many more distance games are also PSPACE-hard.
On the strong chromatic number of graphs
Published in SIAM J. Discrete Math. 20(3) (2006), 741--747
• View Publication
• BIB
The strong chromatic number, $χ_S(G)$, of an $n$-vertex graph $G$ is the smallest number $k$ such that after adding $k\lceil n/k\rceil-n$ isolated vertices to $G$ and considering {\bf any} partition of the vertices of the resulting graph into disjoint subsets $V_1, \ldots, V_{\lceil n/k\rceil}$ of size $k$ each, one can find a proper $k$-vertex-coloring of the graph such that each part $V_i$, $i=1, \ldots, \lceil n/k\rceil$, contains exactly one vertex of each color.
For any graph $G$ with maximum degree $Δ$, it is easy to see that $χ_S(G)\geqΔ+1$. Recently, Haxell proved that $χ_S(G) \leq 3Δ-1$. In this paper, we improve this bound for graphs with large maximum degree. We show that $χ_S(G)\leq 2Δ$ if $Δ\geq n/6$ and prove that this bound is sharp.
A note on a conjecture of Gyárfás
Published in Ars Combin. 79 (2006), 311--317
• Search Publication
This note proves that, given one member, $T$, of a particular family of radius-three trees, every radius-two, triangle-free graph, $G$, with large enough chromatic number contains an induced copy of $T$.