graph
35299 papers tagged with this keyword
Modular flip-graphs of one holed surfaces
Published in European J. Combin. 67, 158-173 (2018)
• View Publication
• BIB
We study flip-graphs of triangulations on topological surfaces where distance is measured by counting the number of necessary flip operations between two triangulations. We focus on surfaces of positive genus $g$ with a single boundary curve and $n$ marked points on this curve; we consider triangulations up to homeomorphism with the marked points as their vertices. Our main results are upper and lower bounds on the maximal distance between triangulations depending on $n$ and can be thought of as bounds on the diameter of flip-graphs up to the quotient of underlying homeomorphism groups. The main results assert that the diameter of these quotient graphs grows at least like $5n/2$ for all $g\geq 1$. Our upper bounds grow at most like $[4 -1/(4g)]n$ for $g\geq 2$, and at most like $23n/8 $ for the torus.
Simplicial embeddings between multicurve graphs
Published
• View Publication
• BIB
We study some graphs associated to a surface, called k-multicurve graphs, which interpolate between the curve complex and the pants graph. Our main result is that, under certain conditions, simplicial embeddings between multicurve graphs are induced by $π_1$-injective embeddings of the corresponding surfaces. We also prove the rigidity of the multicurve graphs.
Upper bounds for the dimension of tori acting on GKM manifolds
Published in Journal of the Mathematical Society of Japan Vol.71, No.2 (2019), 483--513
• View Publication
• BIB
The aim of this paper is to give an upper bound for the dimension of a torus $T$ which acts on a GKM manifold $M$ effectively. In order to do that, we introduce a free abelian group of finite rank, denoted by $\mathcal{A}(Γ,α,\nabla)$, from an (abstract) $(m,n)$-type GKM graph $(Γ,α,\nabla)$. Here, an $(m,n)$-type GKM graph is the GKM graph induced from a $2m$-dimensional GKM manifold $M^{2m}$ with an effective $n$-dimensional torus $T^{n}$-action, say $(M^{2m},T^{n})$. Then it is shown that $\mathcal{A}(Γ,α,\nabla)$ has rank $\ell(> n)$ if and only if there exists an $(m,\ell)$-type GKM graph $(Γ,\widetildeα,\nabla)$ which is an extension of $(Γ,α,\nabla)$. Using this necessarily and sufficient condition, we prove that the rank of $\mathcal{A}(Γ,α,\nabla)$ for the GKM graph of $(M^{2m},T^{n})$ gives an upper bound for the dimension of a torus which can act on $M^{2m}$ effectively. As an application, we compute the rank of $\mathcal{A}(Γ,α,\nabla)$ of the complex Grassmannian of $2$-planes $G_{2}(\mathbb{C}^{n+2})$ with some effective $T^{n+1}$-action, and prove that the $T^{n+1}$-action on $G_{2}(\mathbb{C}^{n+2})$ is the maximal effective torus action.
Handle slides for delta-matroids
Published in European Journal of Combinatorics, 59 (2017) 23-33
• View Publication
• BIB
A classic exercise in the topology of surfaces is to show that, using handle slides, every disc-band surface, or 1-vertex ribbon graph, can be put in a canonical form consisting of the connected sum of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Motivated by the principle that ribbon graph theory informs delta-matroid theory, we find the delta-matroid analogue of this surface classification. We show that, using a delta-matroid analogue of handle-slides, every binary delta-matroid in which the empty set is feasible can be written in a canonical form consisting of the direct sum of the delta-matroids of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Our delta-matroid results are compatible with the surface results in the sense that they are their ribbon graphic delta-matroidal analogues.
On the maximum running time in graph bootstrap percolation
Published in Electronic Journal of Combinatorics 24 (2017), #P2.16 (electronic, 20 pp.)
• Search Publication
Graph bootstrap percolation is a simple cellular automaton introduced by Bollobás in 1968. Given a graph $H$ and a set $G \subseteq E(K_n)$ we initially "infect" all edges in $G$ and then, in consecutive steps, we infect every $e \in K_n$ that completes a new infected copy of $H$ in $K_n$. We say that $G$ percolates if eventually every edge in $K_n$ is infected. The extremal question about the size of the smallest percolating sets when $H = K_r$ was answered independently by Alon, Kalai and Frankl. Here we consider a different question raised more recently by Bollobás: what is the maximum time the process can run before it stabilizes? It is an easy observation that for $r=3$ this maximum is $\lceil \log_2 (n-1) \rceil $. However, a new phenomenon occurs for $r=4$ when, as we show, the maximum time of the process is $n-3$. For $r \geq 5$ the behaviour of the dynamics is even more complex, which we demonstrate by showing that the $K_r$-bootstrap process can run for at least $n^{2-\varepsilon_r}$ time steps for some $\varepsilon_r$ that tends to $0$ as $r \to \infty$.
Induced minors and well-quasi-ordering
A graph $H$ is an induced minor of a graph $G$ if it can be obtained from an induced subgraph of $G$ by contracting edges. Otherwise, $G$ is said to be $H$-induced minor-free. Robin Thomas showed that $K_4$-induced minor-free graphs are well-quasi-ordered by induced minors [Graphs without $K_4$ and well-quasi-ordering, Journal of Combinatorial Theory, Series B, 38(3):240 -- 247, 1985].
We provide a dichotomy theorem for $H$-induced minor-free graphs and show that the class of $H$-induced minor-free graphs is well-quasi-ordered by the induced minor relation if and only if $H$ is an induced minor of the gem (the path on 4 vertices plus a dominating vertex) or of the graph obtained by adding a vertex of degree 2 to the complete graph on 4 vertices. To this end we proved two decomposition theorems which are of independent interest.
Similar dichotomy results were previously given for subgraphs by Guoli Ding in [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489--502, 1992] and for induced subgraphs by Peter Damaschke in [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427--435, 1990].
Spectral bounds for the $k$-independence number of a graph
Published
• View Publication
• BIB
In this paper, we obtain two spectral upper bounds for the $k$-independence number of a graph which is is the maximum size of a set of vertices at pairwise distance greater than $k$. We construct graphs that attain equality for our first bound and show that our second bound compares favorably to previous bounds on the $k$-independence number.
Forbidden Subgraph Characterization of Quasi-line Graphs
Here in particular, we give a characterization of Quasi-line Graphs in terms of forbidden induced subgraphs. In general, we prove a necessary and sufficient condition for a graph to be a union of two cliques.
On Computing the Galois Lattice of Bipartite Distance Hereditary Graphs
Published
• View Publication
• BIB
The class of Bipartite Distance Hereditary (BDH) graphs is the intersection between bipartite domino-free and chordal bipartite graphs.\ Graphs in both the latter classes have linearly many maximal bicliques, implying the existence of polynomial-time algorithms for computing the associated Galois lattice.\ Such a lattice can indeed be built in $O(m\times n)$ worst case-time for a domino-free graph with $m$ edges and $n$ vertices.\ In this paper we give a sharp estimate on the number of the maximal bicliques of BDH graphs and exploit such result to give an $O(m)$ worst case time algorithm for computing the Galois lattice of BDH graphs. By relying on the fact that neighborhoods of vertices of BDH graphs can be realized as directed paths in a arborescence, we give an $O(n)$ worst-case space and time encoding of both the input graph and its Galois lattice, provided that the reverse of a Bandelt and Mulder building sequence is given.
Completely regular codes with different parameters and the same distance-regular coset graphs
A known Kronecker construction of completely regular codes has been investigated taking different alphabets in the component codes. This approach is also connected with lifting constructions of completely regular codes. We obtain several classes of completely regular codes with different parameters, but identical intersection array. Given a prime power $q$ and any two natural numbers $a,b$, we construct completely transitive codes over different fields with covering radius $ρ=\min\{a,b\}$ and identical intersection array, specifically, one code over $\F_{q^r}$ for each divisor $r$ of $a$ or $b$. As a corollary, for any prime power $q$, we show that distance regular bilinear forms graphs can be obtained as coset graphs from several completely regular codes with different parameters. Under the same conditions, an explicit construction of an infinite family of $q$-ary uniformly packed codes (in the wide sense) with covering radius $ρ$, which are not completely regular, is also given.
An example of geometric origami design with benefit of graph enumeration algorithms
This article is concerned with an example of complex planar geometry arising from flat origami challenges. The complexity of solution algorithms is illustrated, depending on the depth of the initial analysis of the problem, starting from brute force enumeration, up to the equivalence to a dedicated problem in graph theory. This leads to algorithms starting from an untractable case on modern computers, up to a run of few seconds on a portable personal computer. This emphasizes the need for a prior analysis by humans before considering the assistance of computers for complex design problems. The graph problem is an enumeration of spanning trees from a grid graph, leading to a coarse scale description of the topology of the paper edge on the flat-folded state.
A Note on Altermatic Number
In view of Tucker's lemma (an equivalent combinatorial version of the Borsuk- Ulam theorem), the present authors (2013) introduced the kth altermatic number of a graph G as a tight lower bound for the chromatic number of G. In this note, we present a purely combinatorial proof for this result.
On a conjecture of Mohar concerning Kempe equivalence of regular graphs
Published
• View Publication
• BIB
Let $G$ be a graph with a vertex colouring $α$. Let $a$ and $b$ be two colours. Then a connected component of the subgraph induced by those vertices coloured either $a$ or $b$ is known as a Kempe chain. A colouring of $G$ obtained from $α$ by swapping the colours on the vertices of a Kempe chain is said to have been obtained by a Kempe change. Two colourings of $G$ are Kempe equivalent if one can be obtained from the other by a sequence of Kempe changes.
A conjecture of Mohar (2007) asserts that, for $k \geq 3$, all $k$-colourings of a $k$-regular graph that is not complete are Kempe equivalent. It was later shown that all $3$-colourings of a cubic graph that is neither $K_4$ nor the triangular prism are Kempe equivalent. In this paper, we prove that the conjecture holds for each $k\geq 4$. We also report the implications of this result on the validity of the Wang-Swendsen-Kotecký algorithm for the antiferromagnetic Potts model at zero-temperature.
Maximal $k$-Edge-Colorable Subgraphs, Vizing's Theorem, and Tuza's Conjecture
Published in Discrete Mathematics 340 (2017) 1573--1580
• View Publication
• BIB
We prove that if $M$ is a maximal $k$-edge-colorable subgraph of a multigraph $G$ and if $F = \{v \in V(G) : d_M(v) \leq k-μ(v)\}$, then $d_F(v) \leq d_M(v)$ for all $v \in F$. (When $G$ is a simple graph, the set $F$ is just the set of vertices having degree less than $k$ in $M$.) This implies Vizing's Theorem as well as a special case of Tuza's Conjecture on packing and covering of triangles. A more detailed version of our result also implies Vizing's Adjacency Lemma for simple graphs.
On the Hamilton-Waterloo Problem with odd orders
Published
• View Publication
• BIB
Given non-negative integers $v, m, n, α, β$, the Hamilton-Waterloo problem asks for a factorization of the complete graph $K_v$ into $α$ $C_m$-factors and $β$ $C_n$-factors. Clearly, $v$ odd, $n,m\geq 3$, $m\mid v$, $n\mid v$ and $α+β= (v-1)/2$ are necessary conditions. To date results have only been found for specific values of $m$ and $n$. In this paper we show that for any $m$ and $n$ the necessary conditions are sufficient when $v$ is a multiple of $mn$ and $v>mn$, except possibly when $β=1$ or 3, with five additional possible exceptions in $(m,n,β)$. For the case where $v=mn$ we show sufficiency when $β> (n+5)/2$ except possibly when $(m,α) = (3,2)$, $(3,4)$, with seven further possible exceptions in $(m,n,α,β)$. We also show that when $n\geq m\geq 3$ are odd integers, the lexicographic product of $C_m$ with the empty graph of order $n$ has a factorization into $α$ $C_m$-factors and $β$ $C_n$-factors for every $0\leq α\leq n$, $β= n-α$, except possibly when $α= 2,4$, $β= 1, 3$, with three additional possible exceptions in $(m,n,α)$.
On the existence of unparalleled even cycle systems
Published
• View Publication
• BIB
A $2t$-cycle system of order $v$ is a set $\mathcal{C}$ of cycles whose edges partition the edge-set of $K_v-I$ (i.e., the complete graph minus the $1$-factor $I$). If $v\equiv 0 \pmod{2t}$, a set of $v/2t$ vertex-disjoint cycles of $\mathcal{C}$ is a parallel class. If $\mathcal{C}$ has no parallel classes, we call such a system unparalleled.
We show that there exists an unparalleled $2t$-cycle system of order $v \equiv 0 \pmod{2t}$ if and only if $v>2t>2$.
Some advances on Sidorenko's conjecture
Published
• View Publication
• BIB
A bipartite graph $H$ is said to have Sidorenko's property if the probability that the uniform random mapping from $V(H)$ to the vertex set of any graph $G$ is a homomorphism is at least the product over all edges in $H$ of the probability that the edge is mapped to an edge of $G$. In this paper, we provide three distinct families of bipartite graphs that have Sidorenko's property. First, using branching random walks, we develop an embedding algorithm which allows us to prove that bipartite graphs admitting a certain type of tree decomposition have Sidorenko's property. Second, we use the concept of locally dense graphs to prove that subdivisions of certain graphs, including cliques, have Sidorenko's property. Third, we prove that if $H$ has Sidorenko's property, then the Cartesian product of $H$ with an even cycle also has Sidorenko's property.
A Bramble like Witness for Large Branch-Width
Using the new framework of graph separations developed recently by Diestel and Oum, we show that there is a natural witness to large branch-width which can be defined in a similar way to a bramble. We also apply our methods to a more recent object of study in the area, a common generalization of tangles and blocks, called profiles.
Disjoint cycles of different lengths in graphs and digraphs
Published
• View Publication
• BIB
Understanding how the cycles of a graph or digraph behave in general has always been an important point of graph theory. In this paper, we study the question of finding a set of $k$ vertex-disjoint cycles (resp. directed cycles) of distinct lengths in a given graph (resp. digraph). In the context of undirected graphs, we prove that, for every $k \geq 1$, every graph with minimum degree at least $\frac{k^2+5k-2}{2}$ has $k$ vertex-disjoint cycles of different lengths, where the degree bound is best possible. We also consider stronger situations, and exhibit degree bounds (some of which are best possible) when e.g. the graph is triangle-free, or the $k$ cycles are requested to have different lengths congruent to some values modulo some $r$. In the context of directed graphs, we consider a conjecture of Lichiardopol concerning the least minimum out-degree required for a digraph to have $k$ vertex-disjoint directed cycles of different lengths. We verify this conjecture for tournaments, and, by using the probabilistic method, for regular digraphs and digraphs of small order.
Improved Lower Bounds on the Classical Ramsey Numbers R(4,22) and R(4,25)
Circulant graphs have been used to effectively establish lower bounds on many classical Ramsey numbers. Here, we construct circulant graphs of prime order that sharpen the best published lower bounds on two Ramsey numbers. Generalizing previous work in which quadratic and cubic residues were used to construct circulant graphs for the same purpose, we report on the use of quartic and higher-order residues.