graph
34995 papers tagged with this keyword
Rainbow Matchings of size δ(G) in Properly Edge-colored Graphs
Published
• View Publication
• BIB
A {\it rainbow matching} in an edge-colored graph is a matching in which all the edges have distinct colors. Wang asked if there is a function f(δ) such that a properly edge-colored graph G with minimum degree δand order at least f(δ) must have a rainbow matching of size δ. We answer this question in the affirmative; f(δ) = 6.5δsuffices. Furthermore, the proof provides a O(δ(G)|V(G)|^2)-time algorithm that generates such a matching.
Triangulations of Cayley and Tutte polytopes
Published
• View Publication
• BIB
Cayley polytopes were defined recently as convex hulls of Cayley compositions introduced by Cayley in 1857. In this paper we resolve Braun's conjecture, which expresses the volume of Cayley polytopes in terms of the number of connected graphs. We extend this result to two one-variable deformations of Cayley polytopes (which we call t-Cayley and t-Gayley polytopes), and to the most general two-variable deformations, which we call Tutte polytopes. The volume of the latter is given via an evaluation of the Tutte polynomial of the complete graph. Our approach is based on an explicit triangulation of the Cayley and Tutte polytope. We prove that simplices in the triangulations correspond to labeled trees. The heart of the proof is a direct bijection based on the neighbors-first search graph traversal algorithm.
Degree-equipartite graphs
Published in Discrete Math., 311 (2011) 888--891
• View Publication
• BIB
A graph $G$ of order $2n$ is called degree-equipartite if for every $n$-element set $A\subseteq V(G)$, the degree sequences of the induced subgraphs $G[A]$ and $G[V(G)\setminus A]$ are the same. In this paper, we characterize all degree-equipartite graphs. This answers Problem 1 in the paper by Grünbaum et al [B. Grünbaum, T. Kaiser, D. Král, and M. Rosenfeld, Equipartite graphs, {\it Israel J. Math.} {\bf 168} (2008), 431-444].
Colouring Edges with many Colours in Cycles
The arboricity of a graph G is the minimum number of colours needed to colour the edges of G so that every cycle gets at least two colours. Given a positive integer p, we define the generalized p-arboricity Arb_p(G) of a graph G as the minimum number of colours needed to colour the edges of a multigraph G in such a way that every cycle C gets at least min(|C|; p + 1) colours. In the particular case where G has girth at least p + 1, Arb_p(G) is the minimum size of a partition of the edge set of G such that the union of any p parts induce a forest. If we require further that the edge colouring be proper, i.e., adjacent edges receive distinct colours, then the minimum number of colours needed is the generalized p-acyclic edge chromatic number of G. In this paper, we relate the generalized p-acyclic edge chromatic numbers and the generalized p-arboricities of a graph G to the density of the multigraphs having a shallow subdivision as a subgraph of G.
Rectangularity
We introduce a condition on arrays in some way maximally distinct from Latin square condition, as well as some other conditions on algebras, graphs and $0,1$-matrices. We show that these are essentially the same structures, generalising a similar collection of models presented by Knuth in 1970.
We find ways in which these structures can be made more specific, relating to existing investigations, then show that they are also extremely general; the groupoids satisfy no nontrivial equations. Some construction methods are presented and some conjectures made as to how certain structures are preserved by these constructions. Finally we investigate to what degree partial arrays satisfying our conditions and partial Latin squares overlap.
The chromatic thresholds of graphs
Published
• View Publication
• BIB
The chromatic threshold delta_chi(H) of a graph H is the infimum of d>0 such that there exists C=C(H,d) for which every H-free graph G with minimum degree at least d|G| satisfies chi(G)<C. We prove that delta_chi(H) \in {(r-3)/(r-2), (2r-5)/(2r-3), (r-2)/(r-1)} for every graph H with chi(H)=r>2. We moreover characterise the graphs H with a given chromatic threshold, and thus determine delta_chi(H) for every graph H. This answers a question of Erdős and Simonovits [Discrete Math. 5 (1973), 323-334], and confirms a conjecture of Łuczak and Thomassé [preprint (2010), 18pp].
A Geometric Theory for Hypergraph Matching
Published in Memoirs of the American Mathematical Society, 233 (2015), monograph 1098
• View Publication
• BIB
We develop a theory for the existence of perfect matchings in hypergraphs under quite general conditions. Informally speaking, the obstructions to perfect matchings are geometric, and are of two distinct types: 'space barriers' from convex geometry, and 'divisibility barriers' from arithmetic lattice-based constructions. To formulate precise results, we introduce the setting of simplicial complexes with minimum degree sequences, which is a generalisation of the usual minimum degree condition. We determine the essentially best possible minimum degree sequence for finding an almost perfect matching. Furthermore, our main result establishes the stability property: under the same degree assumption, if there is no perfect matching then there must be a space or divisibility barrier. This allows the use of the stability method in proving exact results. Besides recovering previous results, we apply our theory to the solution of two open problems on hypergraph packings: the minimum degree threshold for packing tetrahedra in 3-graphs, and Fischer's conjecture on a multipartite form of the Hajnal-Szemerédi Theorem. Here we prove the exact result for tetrahedra and the asymptotic result for Fischer's conjecture; since the exact result for the latter is technical we defer it to a subsequent paper.
Random greedy triangle-packing beyond the 7/4 barrier
The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. Begin with a complete graph on $n$ vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random out of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph, and a longstanding open problem is to estimate the final number of edges, or equivalently the time it takes the process to conclude. The intuition that the edge distribution is roughly uniform at all times led to a folklore conjecture that the final number of edges is $n^{3/2+o(1)}$ with high probability, whereas the best known upper bound is $n^{7/4+o(1)}$. It is no coincidence that various methods break precisely at the exponent 7/4 as it corresponds to the inherent barrier where co-degrees become comparable to the variations in their values that arose earlier in the process.
In this work we significantly improve upon the previous bounds by establishing that w.h.p. the number of edges in the final graph is at most $ n^{5/3+o(1)} $. Our approach relies on a system of martingales used to control key graph parameters, where the crucial new idea is to harness the self-correcting nature of the process in order to control these parameters well beyond the point where their early variation matches the order of their expectation.
On rainbow tetrahedra in Cayley graphs
Published
• View Publication
• BIB
Let $Γ_n$ be the complete undirected Cayley graph of the odd cyclic group $Z_n$. Connected graphs whose vertices are rainbow tetrahedra in $Γ_n$ are studied, with any two such vertices adjacent if and only if they share (as tetrahedra) precisely two distinct triangles. This yields graphs $G$ of largest degree 6, asymptotic diameter $|V(G)|^{1/3}$ and almost all vertices with degree: {\bf(a)} 6 in $G$; {\bf(b)} 4 in exactly six connected subgraphs of the $(3,6,3,6)$-semi-regular tessellation; and {\bf(c)} 3 in exactly four connected subgraphs of the $\{6,3\}$-regular hexagonal tessellation. These vertices have as closed neighborhoods the union (in a fixed way) of closed neighborhoods in the ten respective resulting tessellations. Generalizing asymptotic results are discussed as well.
Fractional edge-decompositions of dense graphs and related eigenvalues
Published
• View Publication
• BIB
We consider the problem of decomposing some $t$-uniform hypergraph $G$ into copies of another, say $H$, with nonnegative rational weights. For fixed $H$ on $k$ vertices, we show that this is always possible for all $G$ having sufficiently many vertices and `local density' at least $1-C(t)k^{-2t}$. In the case $t=2$ and $H=K_3$, we show that all large graphs with density at least $27/28$ admit a fractional triangle decomposition. The proof relies on estimates of certain eigenvalues in the Johnson scheme.
Weak Dominance Drawings and Linear Extension Diameter
We introduce the problem of Weak Dominance Drawing for general directed acyclic graphs and we show the connection with the linear extension diameter of a partial order P. We present complexity results and bounds.
An alternating labeling on a spanning tree of Seifert graphs and applications in knot theory
The existence of basket, flat plumbing and flat plumbing basket surfaces of a link was first proven from a braid representative of the link. In the present article, we show the existence of such surfaces from an induced graph of the link. Consequently, we define the basket number, flat plumbing number and flat plumbing basket number of a link. Then we provide several upper bounds for these plumbing numbers and study the relation between these plumbing numbers and the genera of links.
On graphs double-critical with respect to the colouring number
Published
• View Publication
• BIB
The colouring number col(G) of a graph G is the smallest integer k for which there is an ordering of the vertices of G such that when removing the vertices of G in the specified order no vertex of degree more than k-1 in the remaining graph is removed at any step. An edge e of a graph G is said to be double-col-critical if the colouring number of G-V(e) is at most the colouring number of G minus 2. A connected graph G is said to be double-col-critical if each edge of G is double-col-critical. We characterise the double-col-critical graphs with colouring number at most 5. In addition, we prove that every 4-col-critical non-complete graph has at most half of its edges being double-col-critical, and that the extremal graphs are precisely the odd wheels on at least six vertices. We observe that for any integer k greater than 4 and any positive number r, there is a k-col-critical graph with the ratio of double-col-critical edges between 1- r and 1.
On globally sparse Ramsey graphs
Published in Discrete Mathematics 313(22):2626-2637, 2013
• View Publication
• BIB
We say that a graph $G$ has the Ramsey property w.r.t.\ some graph $F$ and some integer $r\geq 2$, or $G$ is $(F,r)$-Ramsey for short, if any $r$-coloring of the edges of $G$ contains a monochromatic copy of $F$. R{ö}dl and Ruci{ń}ski asked how globally sparse $(F,r)$-Ramsey graphs $G$ can possibly be, where the density of $G$ is measured by the subgraph $H\subseteq G$ with the highest average degree. So far, this so-called Ramsey density is known only for cliques and some trivial graphs $F$. In this work we determine the Ramsey density up to some small error terms for several cases when $F$ is a complete bipartite graph, a cycle or a path, and $r\geq 2$ colors are available.
Correction of a theorem on the symmetric group generated by transvections
Published
• View Publication
• BIB
Let $V$ denote a vector space over two-element field $\mathbb F_2$ with finite positive dimension and endowed with a symplectic form $B.$ Let ${\rm SL}(V)$ denote the special linear group of $V.$ Let $S$ denote a subset of $V.$ Define $Tv(S)$ as the subgroup of ${\rm SL}(V)$ generated by the transvections with direction $α$ for all $α\in S.$ Define $G(S)$ as the graph whose vertex set is $S$ and where $α,β\in S$ are connected whenever $B(α,β)=1.$ A well-known theorem states that under the assumption that $S$ spans $V,$ the following (i), (ii) are equivalent:
(i) $Tv(S)$ is isomorphic to a symmetric group.
(ii) $G(S)$ is a claw-free block graph.
We give an example which shows that this theorem is not true. We give a modification of this theorem as follows. Assume that $S$ is a linearly independent set of $V$ and no element of $S$ is in the radical of $V.$ Then the above (i), (ii) are equivalent.
Phase transitions in exponential random graphs
Published in Annals of Applied Probability 2013, Vol. 23, No. 6, 2458-2471
• View Publication
• BIB
We derive the full phase diagram for a large family of two-parameter exponential random graph models, each containing a first order transition curve ending in a critical point.
Bipartite powers of k-chordal graphs
Published
• View Publication
• BIB
Let k be an integer and k \geq 3. A graph G is k-chordal if G does not have an induced cycle of length greater than k. From the definition it is clear that 3-chordal graphs are precisely the class of chordal graphs. Duchet proved that, for every positive integer m, if G^m is chordal then so is G^{m+2}. Brandstädt et al. in [Andreas Brandstädt, Van Bang Le, and Thomas Szymczak. Duchet-type theorems for powers of HHD-free graphs. Discrete Mathematics, 177(1-3):9-16, 1997.] showed that if G^m is k-chordal, then so is G^{m+2}.
Powering a bipartite graph does not preserve its bipartitedness. In order to preserve the bipartitedness of a bipartite graph while powering Chandran et al. introduced the notion of bipartite powering. This notion was introduced to aid their study of boxicity of chordal bipartite graphs. Given a bipartite graph G and an odd positive integer m, we define the graph G^{[m]} to be a bipartite graph with V(G^{[m]})=V(G) and E(G^{[m]})={(u,v) | u,v \in V(G), d_G(u,v) is odd, and d_G(u,v) \leq m}. The graph G^{[m]} is called the m-th bipartite power of G.
In this paper we show that, given a bipartite graph G, if G is k-chordal then so is G^{[m]}, where k, m are positive integers such that k \geq 4 and m is odd.
Optimal realisations of two-dimensional, totally-decomposable metrics
Published
• View Publication
• BIB
A realisation of a metric $d$ on a finite set $X$ is a weighted graph $(G,w)$ whose vertex set contains $X$ such that the shortest-path distance between elements of $X$ considered as vertices in $G$ is equal to $d$. Such a realisation $(G,w)$ is called optimal if the sum of its edge weights is minimal over all such realisations. Optimal realisations always exist, although it is NP-hard to compute them in general, and they have applications in areas such as phylogenetics, electrical networks and internet tomography. In [Adv. in Math. 53, 1984, 321-402] A.~Dress showed that the optimal realisations of a metric $d$ are closely related to a certain polytopal complex that can be canonically associated to $d$ called its tight-span. Moreover, he conjectured that the (weighted) graph consisting of the zero- and one-dimensional faces of the tight-span of $d$ must always contain an optimal realisation as a homeomorphic subgraph. In this paper, we prove that this conjecture does indeed hold for a certain class of metrics, namely the class of totally"=decomposable metrics whose tight-span has dimension two. As a corollary, it follows that the minimum Manhattan network problem is a special case of finding optimal realisations of two-dimensional totally-decomposable metrics.
On the Complexity of Planar Covering of Small Graphs
The problem Cover(H) asks whether an input graph G covers a fixed graph H (i.e., whether there exists a homomorphism G to H which locally preserves the structure of the graphs). Complexity of this problem has been intensively studied. In this paper, we consider the problem PlanarCover(H) which restricts the input graph G to be planar.
PlanarCover(H) is polynomially solvable if Cover(H) belongs to P, and it is even trivially solvable if H has no planar cover. Thus the interesting cases are when H admits a planar cover, but Cover(H) is NP-complete. This also relates the problem to the long-standing Negami Conjecture which aims to describe all graphs having a planar cover. Kratochvil asked whether there are non-trivial graphs for which Cover(H) is NP-complete but PlanarCover(H) belongs to P.
We examine the first nontrivial cases of graphs H for which Cover(H) is NP-complete and which admit a planar cover. We prove NP-completeness of PlanarCover(H) in these cases.
Maximum spectral radius of graphs with given connectivity and minimum degree
Published
• View Publication
• BIB
Shiu, Chan and Chang [On the spectral radius of graphs with connectivity at most $k$, J. Math. Chem., 46 (2009), 340-346] studied the spectral radius of graphs of order $n$ with $κ(G) \leq k$ and showed that among those graphs, the maximum spectral radius is obtained uniquely at $K_k^n$, which is the graph obtained by joining $k$ edges from $k$ vertices of $K_{n-1}$ to an isolated vertex. In this paper, we study the spectral radius of graphs of order $n$ with $κ(G)\leq k$ and minimum degree $δ(G)\geq k $. We show that among those graphs, the maximum spectral radius is obtained uniquely at $K_{k}+(K_{δ-k+1}\cup K_{n-δ-1})$.