graph
34828 papers tagged with this keyword
Cubic arc-transitive $k$-circulants
Published
• View Publication
• BIB
For an integer $k\geq 1$, a graph is called a $k$-circulant if its automorphism group contains a cyclic semiregular subgroup with $k$ orbits on the vertices. We show that, if $k$ is even, there exist infinitely many cubic arc-transitive $k$-circulants. We conjecture that, if $k$ is odd, then a cubic arc-transitive $k$-circulant has order at most $6k^2$. Our main result is a proof of this conjecture when $k$ is squarefree and coprime to $6$.
Hamiltonian prisms on 5-chordal graphs
In this paper, we provide a method to find a Hamiltonian cycle in the prism of a 5-chordal graph, which is $(1+ε)$-tough, with some special conditions.
Cubic graphs and related triangulations on orientable surfaces
Published
• View Publication
• BIB
Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We show that the number of vertex-labelled cubic multigraphs embeddable on $\mathbb{S}_g$ with $2n$ vertices is asymptotically $c_g n^{5(g-1)/2-1}γ^{2n}(2n)!$, where $γ$ is an algebraic constant and $c_g$ is a constant depending only on the genus $g$. We also derive an analogous result for simple cubic graphs and weighted cubic multigraphs. Additionally we prove that a typical cubic multigraph embeddable on $\mathbb{S}_g$, $g\ge 1$, has exactly one non-planar component.
Web matrices: structural properties and generating combinatorial identities
Published in Electron. J. Combin. 23 (2016), no. 1, #P1.45
• View Publication
• BIB
In this paper we present new results for the combinatorics of web diagrams and web worlds. These are discrete objects that arise in the physics of calculating scattering amplitudes in non-abelian gauge theories. Web-colouring and web-mixing matrices (collectively known as web matrices) are indexed by ordered pairs of web-diagrams and contain information relating the number of colourings of the first web diagram that will produce the second diagram.
We introduce the black diamond product on power series and show how it determines the web-colouring matrix of disjoint web worlds. Furthermore, we show that combining known physical results with the black diamond product gives a new technique for generating combinatorial identities. Due to the complicated action of the product on power series, the resulting identities appear highly non-trivial.
We present two results to explain repeated entries that appear in the web matrices. The first of these shows how diagonal web matrix entries will be the same if the comparability graphs of their associated decomposition posets are the same. The second result concerns general repeated entries in conjunction with a flipping operation on web diagrams.
We present a combinatorial proof of idempotency of the web-mixing matrices, previously established using physical arguments only. We also show how the entries of the square of the web-colouring matrix can be achieved by a linear transformation that maps the standard basis for formal power series in one variable to a sequence of polynomials. We look at one parameterized web world that is related to indecomposable permutations and show how determining the web-colouring matrix entries in this case is equivalent to a combinatorics on words problem.
Fractional Clique Decompositions of Dense Partite Graphs
Published
• View Publication
• BIB
We give a minimum degree condition sufficent to ensure the existence of a fractional $K_r$-decomposition in a balanced $r$-partite graph (subject to some further simple necessary conditions). This generalises the non-partite problem studied recently by Barber, Lo, Kühn, Osthus and the author, and the $3$-partite fractional $K_3$-decomposition problem studied recently by Dukes. Combining our result with recent work by Barber, Kühn, Lo, Osthus and Taylor, this gives a minimum degree condition sufficient to ensure the existence of a (non-fractional) $K_r$-decomposition in a balanced $r$-partite graph (subject to the same simple necessary conditions).
Clique decompositions of multipartite graphs and completion of Latin squares
Published
• View Publication
• BIB
Our main result essentially reduces the problem of finding an edge-decomposition of a balanced r-partite graph of large minimum degree into r-cliques to the problem of finding a fractional r-clique decomposition or an approximate one. Together with very recent results of Bowditch and Dukes as well as Montgomery on fractional decompositions into triangles and cliques respectively, this gives the best known bounds on the minimum degree which ensures an edge-decomposition of an r-partite graph into r-cliques (subject to trivially necessary divisibility conditions). The case of triangles translates into the setting of partially completed Latin squares and more generally the case of r-cliques translates into the setting of partially completed mutually orthogonal Latin squares.
Computing Linear Systems on Metric Graphs
Published in Journal of Symbolic Computation 87 (2018):54-67
• View Publication
• BIB
The linear system $|D|$ of a divisor $D$ on a metric graph has the structure of a cell complex. We introduce the anchor divisors and anchor cells in it - they serve as the landmarks for us to compute the f-vector of the complex and find all cells in the complex. A linear system can also be identified as a tropical convex hull of rational functions. We compute its extremal generators using the landmarks. We apply these methods to some examples - namely the canonical linear systems of some small trivalent graphs.
Mapping class group orbits of curves with self-intersections
Published
• View Publication
• BIB
We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs.
Order nine MMIK graphs
Published
• View Publication
• BIB
We show that there are exactly eight MMIK (minor minimal intrinsically knotted) graphs of order nine.
Extremal results for random discrete structures
Published in Annals of Mathematics 184(2), 2016, 333-365
• View Publication
• BIB
We study thresholds for extremal properties of random discrete structures. We determine the threshold for Szemerédi's theorem on arithmetic progressions in random subsets of the integers and its multidimensional extensions and we determine the threshold for Turán-type problems for random graphs and hypergraphs. In particular, we verify a conjecture of Kohayakawa, Łuczak, and Rödl for Turán-type problems in random graphs. Similar results were obtained by Conlon and Gowers.
Asymptotic joint distribution of the extremities of a random Young diagram and enumeration of graphical partitions
Published
• View Publication
• BIB
An integer partition of $n$ is a decreasing sequence of positive integers that add up to $[n]$. Back in $1979$ Macdonald posed a question about the limit value of the probability that two partitions chosen uniformly at random, and independently of each other, are comparable in terms of the dominance order. In $1982$ Wilf conjectured that the uniformly random partition is a size-ordered degree sequence of a simple graph with the limit probability $0$. In $1997$ we showed that in both, seemingly unrelated, cases the limit probabilities are indeed zero, but our method left open the problem of convergence rates. The main result in this paper is that each of the probabilities is $e^{-0.11\log n/\log\log n}$, at most. A key element of the argument is a local limit theorem, with convergence rate, for the joint distribution of the $[n^{1/4-\varepsilon}]$ tallest columns and the $[n^{1/4-\varepsilon}]$ longest rows of the Young diagram representing the random partition.
A Proof of the Barát-Thomassen Conjecture
Published
• View Publication
• BIB
The Barát-Thomassen conjecture asserts that for every tree $T$ on $m$ edges, there exists a constant $k_T$ such that every $k_T$-edge-connected graph with size divisible by $m$ can be edge-decomposed into copies of $T$. So far this conjecture has only been verified when $T$ is a path or when $T$ has diameter at most 4. Here we prove the full statement of the conjecture.
Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree
Published
• View Publication
• BIB
The Tree Decomposition Conjecture by Barát and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of $T$, then $G$ can be edge-decomposed into subgraphs isomorphic to $T$. So far this conjecture has only been verified for paths, stars, and a family of bistars. We prove a weaker version of the Tree Decomposition Conjecture, where we require the subgraphs in the decomposition to be isomorphic to graphs that can be obtained from $T$ by vertex-identifications. We call such a subgraph a homomorphic copy of $T$. This implies the Tree Decomposition Conjecture under the additional constraint that the girth of $G$ is greater than the diameter of $T$. As an application, we verify the Tree Decomposition Conjecture for all trees of diameter at most 4.
Cacti with Extremal PI Index
The vertex PI index $PI(G) = \sum_{xy \in E(G)} [n_{xy}(x) + n_{xy}(y)]$ is a distance-based molecular structure descriptor, where $n_{xy}(x)$ denotes the number of vertices which are closer to the vertex $x$ than to the vertex $y$ and which has been the considerable research in computational chemistry dating back to Harold Wiener in 1947. A connected graph is a cactus if any two of its cycles have at most one common vertex. In this paper, we completely determine the extremal graphs with the largest and smallest vertex PI indices among all the cacti. As a consequence, we obtain the sharp bounds with corresponding extremal cacti and extend a known result.
Chromatic number of ordered graphs with forbidden ordered subgraphs
Published
• View Publication
• BIB
It is well-known that the graphs not containing a given graph H as a subgraph have bounded chromatic number if and only if H is acyclic. Here we consider ordered graphs, i.e., graphs with a linear ordering on their vertex set, and the function f(H) = sup{chi(G) | G in Forb(H)} where Forb(H) denotes the set of all ordered graphs that do not contain a copy of H. If H contains a cycle, then as in the case of unordered graphs, f(H) is infinity. However, in contrast to the unordered graphs, we describe an infinite family of ordered forests H with infinite f(H). An ordered graph is crossing if there are two edges uv and u'v' with u < u' < v < v'. For connected crossing ordered graphs H we reduce the problem of determining whether f(H) is finite to a family of so-called monotonically alternating trees. For non-crossing H we prove that f(H) is finite if and only if H is acyclic and does not contain a copy of any of the five special ordered forests on four or five vertices, which we call bonnets. For such forests H, we show that f(H) <= 2^|V(H)| and that f(H) <= 2|V(H)|-3 if H is connected.
The Diameters of Network-flow Polytopes satisfy the Hirsch Conjecture
Published
• View Publication
• BIB
We solve a problem in the combinatorics of polyhedra motivated by the network simplex method. We show that the Hirsch conjecture holds for the diameter of the graphs of all network-flow polytopes, in particular the diameter of a network-flow polytope for a network with $n$ nodes and $m$ arcs is never more than $m+n-1$. A key step to prove this is to show the same result for classical transportation polytopes.
A Characterization of Gorenstein Planar graphs
Published
• View Publication
• BIB
We prove that a planar graph is Gorenstein if and only if its independence complex is Eulerian.
Ramsey properties of random graphs and Folkman numbers
Published in Discuss. Math. Graph Theory 27(3) (2017) 755-776
• View Publication
• BIB
For two graphs, $G$ and $F$, and an integer $r\ge2$ we write $G\rightarrow (F)_r$ if every $r$-coloring of the edges of $G$ results in a monochromatic copy of $F$. In 1995, the first two authors established a threshold edge probability for the Ramsey property $G(n,p)\to (F)_r$, where $G(n,p)$ is a random graph obtained by including each edge of the complete graph on $n$ vertices, independently, with probability $p$. The original proof was based on the regularity lemma of Szemerédi and this led to tower-type dependencies between the involved parameters. Here, for $r=2$, we provide a self-contained proof of a quantitative version of the Ramsey threshold theorem with only double exponential dependencies between the constants. As a corollary we obtain a double exponential upper bound on the 2-color Folkman numbers. By a different proof technique, a similar result was obtained independently by Conlon and Gowers.
An exponential-type upper bound for Folkman numbers
Published in Combinatorica 37(4), 2017, 767-784
• View Publication
• BIB
For given integers $k$ and $r$, the Folkman number $f(k;r)$ is the smallest number of vertices in a graph $G$ which contains no clique on $k+1$ vertices, yet for every partition of its edges into $r$ parts, some part contains a clique of order $k$. The existence (finiteness) of Folkman numbers was established by Folkman (1970) for $r=2$ and by Nešetřil and Rödl (1976) for arbitrary $r$, but these proofs led to very weak upper bounds on $f(k;r)$.
Recently, Conlon and Gowers and independently the authors obtained a doubly exponential bound on $f(k;2)$. Here, we establish a further improvement by showing an upper bound on $f(k;r)$ which is exponential in a polynomial function of $k$ and $r$. This is comparable to the known lower bound $2^{Ω(rk)}$.
Our proof relies on a recent result of Saxton and Thomason (2015) (or, alternatively, on a recent result of Balogh, Morris, and Samotij (2015)) from which we deduce a quantitative version of Ramsey's theorem in random graphs.
Skolem Circles
Skolem sequences and Skolem labeled graphs have been described and examined for several decades. This note explores weak Skolem labelling of cycle graphs, which we call Skolem circles. The relationship between Skolem sequences and Skolem cirlces is explored, and Skolem circles of small sizes are enumerated, with some loose general bounds established.