contain ↗ reference
7689 papers tagged with this keyword
Transitive orientations in bull-reducible Berge graphs
Published
• View Publication
• BIB
A bull is a graph with five vertices $r, y, x, z, s$ and five edges $ry$, $yx$, $yz$, $xz$, $zs$. A graph $G$ is bull-reducible if no vertex of $G$ lies in two bulls. We prove that every bull-reducible Berge graph $G$ that contains no antihole is weakly chordal, or has a homogeneous set, or is transitively orientable. This yields a fast polynomial time algorithm to color exactly the vertices of such a graph.
A Graph Bottleneck Inequality
For a weighted directed multigraph, let $f_{ij}$ be the total weight of spanning converging forests that have vertex $i$ in a tree converging to $j$. We prove that $f_{ij} f_{jk} = f_{ik} f_{jj}$ if and only if every directed path from $i$ to $k$ contains $j$ (a graph bottleneck equality). Otherwise, $f_{ij} f_{jk} < f_{ik} f_{jj}$ (a graph bottleneck inequality). In a companion paper (P. Chebotarev, A new family of graph distances, arXiv preprint arXiv:0810.2717}. Submitted), this inequality underlies, by ensuring the triangle inequality, the construction of a new family of graph distances. This stems from the fact that the graph bottleneck inequality is a multiplicative counterpart of the triangle inequality for proximities.
A Class of Graph-Geodetic Distances Generalizing the Shortest-Path and the Resistance Distances
Published in Discrete Applied Mathematics 159(2011) No. 5. 295-302
• View Publication
• BIB
A new class of distances for graph vertices is proposed. This class contains parametric families of distances which reduce to the shortest-path, weighted shortest-path, and the resistance distances at the limiting values of the family parameters. The main property of the class is that all distances it comprises are graph-geodetic: $d(i,j)+d(j,k)=d(i,k)$ if and only if every path from $i$ to $k$ passes through $j$. The construction of the class is based on the matrix forest theorem and the transition inequality.
High degree graphs contain large-star factors
Published
• View Publication
• BIB
We show that any finite simple graph with minimum degree $d$ contains a spanning star forest in which every connected component is of size at least $Ω((d/\log d)^{1/3})$. This settles a problem of J. Kratochvil.
Markov bases of binary graph models of K_4-minor free graphs
Markov width of a graph is a graph invariant defined as the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We show that a graph has Markov width at most four if and only if it contains no $K_4$ as a minor, answering a question of Develin and Sullivant. We also present a lower bound of order $Ω(n^{2-\varepsilon})$ on the Markov width of $K_n$.
The structure of the exponent set for finite cyclic groups
We survey properties of the set of possible exponents of subsets of $\Z_n$ (equivalently, exponents of primitive circulant digraphs on $n$ vertices). Let $E_n$ denote this exponent set. We point out that $E_n$ contains the positive integers up to $\sqrt{n}$, the `large' exponents $\lfloor \frac{n}{3} \rfloor +1, \lfloor \frac{n}{2} \rfloor, n-1$, and for even $n \ge 4$, the additional value $\frac{n}{2}-1$. It is easy to see that no exponent in $[\frac{n}{2}+1,n-2]$ is possible, and Wang and Meng have shown that no exponent in $[\lfloor \frac{n}{3}\rfloor +2,\frac{n}{2}-2]$ is possible. Extending this result, we show that the interval $[\lfloor \frac{n}{4} \rfloor +3, \lfloor \frac{n}{3} \rfloor -2]$ is another gap in the exponent set $E_n$. In particular, $11 \not\in E_{35}$ and this gap is nonempty for all $n \ge 57$. A conjecture is made about further gaps in $E_n$ for large $n$.
Folding 3-noncrossing RNA pseudoknot structures
Published
• View Publication
• BIB
In this paper we present a selfcontained analysis and description of the novel {\it ab initio} folding algorithm {\sf cross}, which generates the minimum free energy (mfe), 3-noncrossing, $σ$-canonical RNA structure. Here an RNA structure is 3-noncrossing if it does not contain more than three mutually crossing arcs and $σ$-canonical, if each of its stacks has size greater or equal than $σ$. Our notion of mfe-structure is based on a specific concept of pseudoknots and respective loop-based energy parameters. The algorithm decomposes into three parts: the first is the inductive construction of motifs and shadows, the second is the generation of the skeleta-trees rooted in irreducible shadows and the third is the saturation of skeleta via context dependent dynamic programming routines.
Directed graphs without short cycles
Published
• View Publication
• BIB
For a directed graph $G$ without loops or parallel edges, let $β(G)$ denote the size of the smallest feedback arc set, i.e., the smallest subset $X \subset E(G)$ such that $G \sm X$ has no directed cycles. Let $γ(G)$ be the number of unordered pairs of vertices of $G$ which are not adjacent. We prove that every directed graph whose shortest directed cycle has length at least $r \ge 4$ satisfies $β(G) \le cγ(G)/r^2$, where $c$ is an absolute constant. This is tight up to the constant factor and extends a result of Chudnovsky, Seymour, and Sullivan.
This result can be also used to answer a question of Yuster concerning almost given length cycles in digraphs. We show that for any fixed $0 < θ< 1/2$ and sufficiently large $n$, if $G$ is a digraph with $n$ vertices and $β(G) \ge θn^2$, then for any $0 \le m \le θn-o(n)$ it contains a directed cycle whose length is between $m$ and $m+6 θ^{-1/2}$. Moreover, there is a constant $C$ such that either $G$ contains directed cycles of every length between $C$ and $θn-o(n)$ or it is close to a digraph $G'$ with a simple structure: every strong component of $G'$ is periodic. These results are also tight up to the constant factors.
Hamiltonian submanifolds of regular polytopes
Published in Discrete Comput. Geom., 43(2):242--262, March 2010
• View Publication
• BIB
We investigate polyhedral $2k$-manifolds as subcomplexes of the boundary complex of a regular polytope. We call such a subcomplex {\it $k$-Hamiltonian} if it contains the full $k$-skeleton of the polytope. Since the case of the cube is well known and since the case of a simplex was also previously studied (these are so-called {\it super-neighborly triangulations}) we focus on the case of the cross polytope and the sporadic regular 4-polytopes. By our results the existence of 1-Hamiltonian surfaces is now decided for all regular polytopes.
Furthermore we investigate 2-Hamiltonian 4-manifolds in the $d$-dimensional cross polytope. These are the "regular cases" satisfying equality in Sparla's inequality. In particular, we present a new example with 16 vertices which is highly symmetric with an automorphism group of order 128. Topologically it is homeomorphic to a connected sum of 7 copies of $S^2 \times S^2$. By this example all regular cases of $n$ vertices with $n < 20$ or, equivalently, all cases of regular $d$-polytopes with $d\leq 9$ are now decided.
A hypergraph regularity method for generalised Turan problems
Published
• View Publication
• BIB
We describe a method that we believe may be foundational for a comprehensive theory of generalised Turan problems. The cornerstone of our approach is a quasirandom counting lemma for quasirandom hypergraphs, which extends the standard counting lemma by not only counting copies of a particular configuration but also showing that these copies are evenly distributed. We demonstrate the power of the method by proving a conjecture of Mubayi on the codegree threshold of the Fano plane, that any 3-graph on n vertices for which every pair of vertices is contained in more than n/2 edges must contain a Fano plane, for n sufficiently large. For projective planes over fields of odd size q we show that the codegree threshold is between n/2-q+1 and n/2, but for PG_2(4) we find the somewhat surprising phenomenon that the threshold is less than (1/2-c)n for some small c>0. We conclude by setting out a program for future developments of this method to tackle other problems.
Pythagorean Partition-Regularity and Ordered Triple Systems with the Sum Property
Is it possible to color the naturals with finitely many colors so that no Pythagorean triple is monochromatic? This question is even open for two colors. A natural strategy is to show that some small nonbipartite triple systems cannot be realized as a family of Pythagorean triples. It suffices to consider partial triple systems (PTS's), and it is therefore natural to consider the Fano plane, the smallest nonbipartite PTS. We show that the Pythagorean triples do not contain any Fano plane. In fact, our main result is that a much larger family of "ordered" triple systems (viz. those with a certain "sum property") do not contain any Steiner triple system (STS).
Keller's Conjecture on the Existence of Columns in Cube Tilings of R^n
It is shown that if n<7, then each tiling of R^n by translates of the unit cube [0,1)^n contains a column; that is, a family of the form {[0,1)^n+(s+ke_i): k \in Z}, where s \in R^n, e_i is an element of the standard basis of R^n and Z is the set of integers.
Arithmetic Progressions in Abundance by Combinatorial Tools
Using the algebraic structure of the Stone-Cech compactification of the integers, Furstenberg and Glasner proved that for arbitrary k, every piecewise syndetic set contains a piecewise syndetic set of k-term arithmetic progressions.
We present a purely combinatorial argument which allows to derive this result directly from van der Waerden's Theorem.
Non-Gatherable Triples for Non-Affine Root Systems
Published in SIGMA 4 (2008), 079, 12 pages
• View Publication
• BIB
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the classical root systems, $F_4$ and $E_6$. Such sequences are associated with reduced decompositions (words) in affine and non-affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners for an explicit description of the irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.
Polynomial treewidth forces a large grid-like-minor
Published in European J. Combinatorics 33.3:374-379, 2012
• View Publication
• BIB
Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown whether polynomial treewidth suffices. We prove a result in this direction. A \emph{grid-like-minor of order} $\ell$ in a graph $G$ is a set of paths in $G$ whose intersection graph is bipartite and contains a $K_{\ell}$-minor. For example, the rows and columns of the $\ell\times\ell$ grid are a grid-like-minor of order $\ell+1$. We prove that polynomial treewidth forces a large grid-like-minor. In particular, every graph with treewidth at least $c\ell^4\sqrt{\log\ell}$ has a grid-like-minor of order $\ell$. As an application of this result, we prove that the cartesian product $G\square K_2$ contains a $K_{\ell}$-minor whenever $G$ has treewidth at least $c\ell^4\sqrt{\log\ell}$.
Hypergraph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number r_k(s,n) is the minimum N such that every red-blue coloring of the k-tuples of an N-element set contains either a red set of size s or a blue set of size n, where a set is called red (blue) if all k-tuples from this set are red (blue). In this paper we obtain new estimates for several basic hypergraph Ramsey problems. We give a new upper bound for r_k(s,n) for k \geq 3 and s fixed. In particular, we show that r_3(s,n) \leq 2^{n^{s-2}\log n}, which improves by a factor of n^{s-2}/ polylog n the exponent of the previous upper bound of Erdos and Rado from 1952. We also obtain a new lower bound for these numbers, showing that there are constants c_1,c_2>0 such that r_3(s,n) \geq 2^{c_1 sn \log (n/s)} for all 4 \leq s \leq c_2n. When s is a constant, it gives the first superexponential lower bound for r_3(s,n), answering an open question posed by Erdos and Hajnal in 1972. Next, we consider the 3-color Ramsey number r_3(n,n,n), which is the minimum N such that every 3-coloring of the triples of an N-element set contains a monochromatic set of size n. Improving another old result of Erdos and Hajnal, we show that r_3(n,n,n) \geq 2^{n^{c \log n}}. Finally, we make some progress on related hypergraph Ramsey-type problems.
The flipping puzzle on a graph
Published
• View Publication
• BIB
Let $S$ be a connected graph which contains an induced path of $n-1$ vertices, where $n$ is the order of $S.$ We consider a puzzle on $S$. A configuration of the puzzle is simply an $n$-dimensional column vector over $\{0, 1\}$ with coordinates of the vector indexed by the vertex set $S$. For each configuration $u$ with a coordinate $u_s=1$, there exists a move that sends $u$ to the new configuration which flips the entries of the coordinates adjacent to $s$ in $u.$ We completely determine if one configuration can move to another in a sequence of finite steps.
Loose Hamilton cycles in hypergraphs
Published in Discrete Mathematics, 311 (2011), 544-559
• View Publication
• BIB
We prove that any k-uniform hypergraph on n vertices with minimum degree at least n/(2(k-1))+o(n) contains a loose Hamilton cycle. The proof strategy is similar to that used by Kühn and Osthus for the 3-uniform case. Though some additional difficulties arise in the k-uniform case, our argument here is considerably simplified by applying the recent hypergraph blow-up lemma of Keevash.
On approximability by embeddings of cycles in the plane
Published in Topology and Its Applications 134:1(2003), 1-22
• View Publication
• BIB
We obtain a criterion for approximability by embeddings of piecewise linear maps of a circle to the plane, analogous to the one proved by Minc for maps of a segment to the plane.
Theorem. Let S be a triangulation of a circle with s vertices. Let f be a simplicial map of the graph S to the plane. The map f is approximable by embeddings if and only if for each i=0,...,s the i-th derivative of the map f (defined by Minc) neither contains transversal self-intersections nor is the standard winding of degree greater than 1.
We deduce from the Minc result the completeness of the van Kampen obstruction to approximability by embeddings of piecewise linear maps of a segment to the plane. We also generalize these criteria to simplicial maps of a graph without vertices of degree >3 to a circle.
The Kuratowski covering conjecture for graphs of order < 10 for the nonorientable surfaces of genus 3 and 4
Kuratowski proved that a finite graph embeds in the plane if it does not contain a subdivision of either K_5 or K_{3,3}, called Kuratowski subgraphs. A conjectured generalization of this result to all nonorientable surfaces says that a finite minimal forbidden subgraph for the nonorientable surface of genus g can be written as the union of g+1 Kuratowski subgraphs such that the union of each pair of these fails to embed in the projective plane, the union of each triple of these fails to embed in the Klein bottle if g >= 2, and the union of each triple of these fails to embed in the torus if g >= 3. We show that this conjecture is true for all minimal forbidden subgraphs of order < 10 for the nonorientable surfaces of genus 3 and 4.