graph
35299 papers tagged with this keyword
On the structure of graphs with given odd girth and large minimum degree
Published in J. Graph Theory 80 (2015), no. 1, 69-81
• View Publication
• BIB
We study minimum degree conditions for which a graph with given odd girth has a simple structure. For example, the classical work of Andrásfai, Erd\H os, and Sós implies that every $n$-vertex graph with odd girth $2k+1$ and minimum degree bigger than $\frac{2}{2k+1}n$ must be bipartite. We consider graphs with a weaker condition on the minimum degree. Generalizing results of Häggkvist and of Häggkvist and Jin for the cases $k=2$ and $3$, we show that every $n$-vertex graph with odd girth $2k+1$ and minimum degree bigger than $\frac{3}{4k}n$ is homomorphic to the cycle of length $2k+1$. This is best possible in the sense that there are graphs with minimum degree $\frac{3}{4k}n$ and odd girth $2k+1$ which are not homomorphic to the cycle of length $2k+1$. Similar results were obtained by Brandt and Ribe-Baumann.
Orthogonality graph of the algebra of upper triangular matrices
Published
• View Publication
• BIB
We study the connectedness and the diameter of orthogonality graphs of upper triangular matrix algebras over arbitrary fields.
Reliability Polynomials of Simple Graphs having Arbitrarily many Inflection Points
In this paper we show that for each $n$, there exists a simple graph whose reliability polynomial has at least $n$ inflection points.
Distinguishing number and distinguishing index of certain 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. In this paper we compute these two parameters for some specific graphs. Also we study the distinguishing number and the distinguishing index of corona product of two graphs.
The Abelian Sandpile Model on Fractal Graphs
We study the Abelian sandpile model (ASM), a process where grains of sand are placed on a graph's vertices. When the number of grains on a vertex is at least its degree, one grain is distributed to each neighboring vertex. This model has been shown to form fractal patterns on the integer lattice, and using these fractal patterns as motivation, we consider the model on graph approximations of post critically finite (p.c.f) fractals. We determine asymptotic behavior of the diameter of sites toppled and characterize graphs which exhibit a periodic number of grains with respect to the initial placement.
Tremain equiangular tight frames
Published
• View Publication
• BIB
Equiangular tight frames provide optimal packings of lines through the origin. We combine Steiner triple systems with Hadamard matrices to produce a new infinite family of equiangular tight frames. This in turn leads to new constructions of strongly regular graphs and distance-regular antipodal covers of the complete graph.
On maximal tail probability of sums of nonnegative, independent and identically distributed random variables
We consider the problem of finding the optimal upper bound for the tail probability of a sum of $k$ nonnegative, independent and identically distributed random variables with given mean $x$. For $k=1$ the answer is given by Markov's inequality and for $k=2$ the solution was found by Hoeffding and Shrikhande in 1955. We solve the problem for $k=3$ as well as for general $k$ and $x\leq1/(2k-1)$ by showing that it follows from the fractional version of an extremal graph theory problem of Erdős on matchings in hypergraphs.
Stable sets in {ISK4,wheel}-free graphs
Published in Algorithmica 80, 415-447 (2018)
• View Publication
• BIB
An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of K4 (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three neighbors in the cycle. A graph is {ISK4,wheel}-free if it has no ISK4 and does not contain a wheel as an induced subgraph. We give an O(|V(G)|^7)-time algorithm to compute the maximum weight of a stable set in an input weighted {ISK4,wheel}-free graph G with non-negative integer weights.
Mixing Times of Markov Chains on Degree Constrained Orientations of Planar Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (February 3, 2017) dmtcs:1376
• View Publication
• BIB
We study Markov chains for $α$-orientations of plane graphs, these are orientations where the outdegree of each vertex is prescribed by the value of a given function $α$. The set of $α$-orientations of a plane graph has a natural distributive lattice structure. The moves of the up-down Markov chain on this distributive lattice corresponds to reversals of directed facial cycles in the $α$-orientation. We have a positive and several negative results regarding the mixing time of such Markov chains.
A 2-orientation of a plane quadrangulation is an orientation where every inner vertex has outdegree 2. We show that there is a class of plane quadrangulations such that the up-down Markov chain on the 2-orientations of these quadrangulations is slowly mixing. On the other hand the chain is rapidly mixing on 2-orientations of quadrangulations with maximum degree at most 4.
Regarding examples for slow mixing we also revisit the case of 3-orientations of triangulations which has been studied before by Miracle et al.. Our examples for slow mixing are simpler and have a smaller maximum degree, Finally we present the first example of a function $α$ and a class of plane triangulations of constant maximum degree such that the up-down Markov chain on the $α$-orientations of these graphs is slowly mixing.
Weak oddness as an approximation of oddness and resistance in cubic graphs
We introduce weak oddness $ω_{\textrm w}$, a new measure of uncolourability of cubic graphs, defined as the least number of odd components in an even factor. For every bridgeless cubic graph $G$, $ρ(G)\leω_{\textrm w}(G)\leω(G)$, where $ρ(G)$ denotes the resistance of $G$ and $ω(G)$ denotes the oddness of $G$, so this new measure is an approximation of both oddness and resistance. We demonstrate that there are graphs $G$ satisfying $ρ(G) < ω_{\textrm w}(G) < ω(G)$, and that the difference between any two of those three measures can be arbitrarily large. The construction implies that if we replace a vertex of a cubic graph with a triangle, then its oddness can decrease by an arbitrarily large amount.
On the Minimum Number of Edges in Triangle-Free 5-Critical Graphs
Published
• View Publication
• BIB
Kostochka and Yancey proved that every 5-critical graph G satisfies: |E(G)|>= (9/4)|V(G)| - 5/4. A construction of Ore gives an infinite family of graphs meeting this bound.
We prove that there exists e,d > 0 such that if G is a 5-critical graph, then |E(G)| >= (9/4 + e)|V(G)|- 5/4 - dT(G), where T(G) is the maximum number of vertex-disjoint cliques of size three or four where cliques of size four have twice the weight of a clique of size three. As a corollary, a triangle-free 5-critical graph G satisfies: |E(G)|>=(9/4 + e)|V(G)| - 5/4.
Number of fixed points and disjoint cycles in monotone Boolean networks
Published in SIAM Journal on Discrete Mathematics, 31(3):1702-1725, 2017
• View Publication
• BIB
Given a digraph $G$, a lot of attention has been deserved on the maximum number $φ(G)$ of fixed points in a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ with $G$ as interaction graph. In particular, a central problem in network coding consists in studying the optimality of the classical upper bound $φ(G)\leq 2^τ$, where $τ$ is the minimum size of a feedback vertex set of $G$. In this paper, we study the maximum number $φ_m(G)$ of fixed points in a {\em monotone} Boolean network with interaction graph $G$. We establish new upper and lower bounds on $φ_m(G)$ that depends on the cycle structure of $G$. In addition to $τ$, the involved parameters are the maximum number $ν$ of vertex-disjoint cycles, and the maximum number $ν^{*}$ of vertex-disjoint cycles verifying some additional technical conditions. We improve the classical upper bound $2^τ$ by proving that $φ_m(G)$ is at most the largest sub-lattice of $\{0,1\}^τ$ without chain of size $ν+1$, and without another forbidden-pattern of size $2ν^{*}$. Then, we prove two optimal lower bounds: $φ_m(G)\geq ν+1$ and $φ_m(G)\geq 2^{ν^{*}}$. As a consequence, we get the following characterization: $φ_m(G)=2^τ$ if and only if $ν^{*}=τ$. As another consequence, we get that if $c$ is the maximum length of a chordless cycle of $G$ then $2^{ν/3^c}\leqφ_m(G)\leq 2^{cν}$. Finally, with the technics introduced, we establish an upper bound on the number of fixed points of any Boolean network according to its signed interaction graph.
Independent sets and cuts in large-girth regular graphs
We present a local algorithm producing an independent set of expected size $0.44533n$ on large-girth 3-regular graphs and $0.40407n$ on large-girth 4-regular graphs. We also construct a cut (or bisection or bipartite subgraph) with $1.34105n$ edges on large-girth 3-regular graphs. These decrease the gaps between the best known upper and lower bounds from $0.0178$ to $0.01$, from $0.0242$ to $0.0123$ and from $0.0724$ to $0.0616$, respectively. We are using local algorithms, therefore, the method also provides upper bounds for the fractional coloring numbers of $1 / 0.44533 \approx 2.24554$ and $1 / 0.40407 \approx 2.4748$ and fractional edge coloring number $1.5 / 1.34105 \approx 1.1185$. Our algorithms are applications of the technique introduced by Hoppen and Wormald.
Strengthening theorems of Dirac and Erdős on disjoint cycles
Published
• View Publication
• BIB
Let $k \ge 3$ be an integer, $H_{k}(G)$ be the set of vertices of degree at least $2k$ in a graph $G$, and $L_{k}(G)$ be the set of vertices of degree at most $2k-2$ in $G$. In 1963, Dirac and Erdős proved that $G$ contains $k$ (vertex-)disjoint cycles whenever $|H_{k}(G)| - |L_{k}(G)| \ge k^{2} + 2k - 4$. The main result of this paper is that for $k \ge 2$, every graph $G$ with $|V(G)| \ge 3k$ containing at most $t$ disjoint triangles and with $|H_{k}(G)| - |L_{k}(G)| \ge 2k + t$ contains $k$ disjoint cycles. This yields that if $k \ge 2$ and $|H_{k}(G)| - |L_{k}(G)| \ge 3k$, then $G$ contains $k$ disjoint cycles. This generalizes the Corrádi-Hajnal Theorem, which states that every graph $G$ with $H_{k}(G) = V(G)$ and $|H_{k}(G)| \ge 3k$ contains $k$ disjoint cycles.
How fast can Maker win in fair biased games?
Published
• View Publication
• BIB
We study (a:a) Maker-Breaker games played on the edge set of the complete graph on n vertices. In the following four games - perfect matching game, Hamilton cycle game, star factor game and path factor game, our goal is to determine the least number of moves which Maker needs in order to win these games. Moreover, for all games except for the star factor game, we show how Red can win in the strong version of these games.
Sharp thresholds for Ramsey properties of strictly balanced nearly bipartite graphs
Published in Random Structures Algorithms 52 (2018), no. 1, 3-40
• View Publication
• BIB
For a given graph $F$ we consider the family of (finite) graphs $G$ with the Ramsey property for $F$, that is the set of such graphs $G$ with the property that every two-colouring of the edges of $G$ yields a monochromatic copy of $F$. For $F$ being a triangle Friedgut, Rödl, Ruciński, and Tetali (2004) established the sharp threshold for the Ramsey property in random graphs. We obtained a simpler proof of this result which extends to a more general class of graphs $F$ including all cycles.
The proof is based on Friedgut's criteria (1999) for sharp thresholds, and on the recently developed container method for independent sets in hypergraphs by Saxton and Thomason, and Balogh, Morris and Samotij. The proof builds on some recent work of Friedgut et al. who established a similar result for van der Waerden's theorem.
Generalized chord diagram expansions of Dyson-Schwinger equations
Published
• View Publication
• BIB
Series solutions for a large family of single equation Dyson-Schwinger equations are given as expansions over decorated rooted connected chord diagrams. The analytic input to the new expansions are the expansions of the regularized integrals for the primitive graphs building the Dyson-Schwinger equation. Each decorated chord diagram contributes a weighted monomial in the coefficients of the expansions of the primitives and so indexes the analytic solution in a tightly controlled way.
Edge Lower Bounds for List Critical Graphs, via Discharging
Published in Combinatorica. Vol. 38(5), October 2018, pp. 1045-1065
• View Publication
• BIB
A graph $G$ is $k$-critical if $G$ is not $(k-1)$-colorable, but every proper subgraph of $G$ is $(k-1)$-colorable. A graph $G$ is $k$-choosable if $G$ has an $L$-coloring from every list assignment $L$ with $|L(v)|=k$ for all $v$, and a graph $G$ is \emph{$k$-list-critical} if $G$ is not $(k-1)$-choosable, but every proper subgraph of $G$ is $(k-1)$-choosable. The problem of bounding (from below) the number of edges in a $k$-critical graph has been widely studied, starting with work of Gallai and culminating with the seminal results of Kostochka and Yancey, who essentially solved the problem. In this paper, we improve the best lower bound on the number of edges in a $k$-list-critical graph. Our proof uses the discharging method, which makes it simpler and more modular than previous work in this area.
Metric Dimension of Bounded Tree-length Graphs
Published
• View Publication
• BIB
The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and y there is a vertex in the set which has distinct distances to x and y. A smallest resolving set in a graph is called a metric basis and its size, the metric dimension of the graph. The problem of computing the metric dimension of a graph is a well-known NP-hard problem and while it was known to be polynomial time solvable on trees, it is only recently that efforts have been made to understand its computational complexity on various restricted graph classes. In recent work, Foucaud et al. (2015) showed that this problem is NP-complete even on interval graphs. They complemented this result by also showing that it is fixed-parameter tractable (FPT) parameterized by the metric dimension of the graph. In this work, we show that this FPT result can in fact be extended to all graphs of bounded tree-length. This includes well-known classes like chordal graphs, AT-free graphs and permutation graphs. We also show that this problem is FPT parameterized by the modular-width of the input graph.
Improved Bounds for the Excluded Grid Theorem
We study the Excluded Grid Theorem of Robertson and Seymour. This is a fundamental result in graph theory, that states that there is some function $f: Z^+\rightarrow Z^+$, such that for all integers $g>0$, every graph of treewidth at least $f(g)$ contains the $(g\times g)$-grid as a minor. Until recently, the best known upper bounds on $f$ were super-exponential in $g$. A recent work of Chekuri and Chuzhoy provided the first polynomial bound, by showing that treewidth $f(g)=O(g^{98}\operatorname{poly}\log g)$ is sufficient to ensure the existence of the $(g\times g)$-grid minor in any graph. In this paper we improve this bound to $f(g)=O(g^{19}\operatorname{poly}\log g)$. We introduce a number of new techniques, including a conceptually simple and almost entirely self-contained proof of the theorem that achieves a polynomial bound on $f(g)$.