planar
3209 papers tagged with this keyword
Flexibility of planar graphs without 4-cycles
Published in Acta Mathematica Universitatis Comenianae, 88(3), 935-940, 2019
• Search Publication
Proper graph coloring assigns different colors to adjacent vertices of the graph. Usually, the number of colors is fixed or as small as possible. Consider applications (e.g. variants of scheduling) where colors represent limited resources and graph represents conflicts, i.e., two adjacent vertices cannot obtain the same resource. In such applications, it is common that some vertices have preferred resource(s). However, unfortunately, it is not usually possible to satisfy all such preferences. The notion called flexibility was recently defined in [Dvořák, Norin, Postle: List coloring with requests, Journal of Graph Theory 2019]. There instead of satisfying all the preferences the aim is to satisfy at least a constant fraction of the request. Recently, the structural properties of planar graphs in terms of flexibility were investigated. We continue this line of research. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is a planar graph without 4-cycles and all lists have size at least five, then there exists an L-coloring respecting at least a constant fraction of the preferences.
Tree series and pattern avoidance in syntax trees
Published in Journal of Combinatorial Theory, Series A, 176, 2020
• View Publication
• BIB
A syntax tree is a planar rooted tree where internal nodes are labeled on a graded set of generators. There is a natural notion of occurrence of contiguous pattern in such trees. We describe a way, given a set of generators $\mathfrak{G}$ and a set of patterns $\mathcal{P}$, to enumerate the trees constructed on $\mathfrak{G}$ and avoiding $\mathcal{P}$. The method is built around inclusion-exclusion formulas forming a system of equations on formal power series of trees, and composition operations of trees. This does not require particular conditions on the set of patterns to avoid. We connect this result to the theory of nonsymmetric operads. Syntax trees are the elements of such free structures, so that any operad can be seen as a quotient of a free operad. Moreover, in some cases, the elements of an operad can be seen as trees avoiding some patterns. Relying on this, we use operads as devices for enumeration: given a set of combinatorial objects we want enumerate, we endow it with the structure of an operad, understand it in term of trees and pattern avoidance, and use our method to count them. Several examples are provided.
On the Area Requirements of Planar Straight-Line Orthogonal Drawings of Ternary Trees
In this paper, we study the area requirements of planar straight-line orthogonal drawings of ternary trees. We prove that every ternary tree admits such a drawing in sub-quadratic area. Further, we present upper bounds, the outcomes of an experimental evaluation, and a conjecture on the area requirements of planar straight-line orthogonal drawings of complete ternary trees. Finally, we present a polynomial lower bound on the length of the minimum side of any planar straight-line orthogonal drawing of a complete ternary tree.
A structure of 1-planar graph and its applications to coloring problems
Published in Graphs and Combinatorics, 35(3) (2019) 677-688
• View Publication
• BIB
A graph is 1-planar if it can be drawn on a plane so that each edge is crossed by at most one other edge. In this paper, we first give a useful structural theorem for 1-planar graphs, and then apply it to the list edge and list total coloring, the $(p,1)$-total labelling, and the equitable edge coloring of 1-planar graphs. More precisely, we verify the well-known List Edge Coloring Conjecture and List Total Coloring Conjecture for 1-planar graph with maximum degree at least 18, prove that the $(p,1)$-total labelling number of every 1-planar graph $G$ is at most $Δ(G)+2p-2$ provided that $Δ(G)\geq 8p+2$ and $p\geq 2$, and show that every 1-planar graph has an equitable edge coloring with $k$ colors for any integer $k\geq 18$. These three results respectively generalize the main theorems of three different previously published papers.
Classification of spin models for Yang-Baxter planar algebras
In this paper, we classify all spin models for singly-generated Yang-Baxter planar algebras in terms of certain highly regular graphs. Using Liu's classification of singly generated Yang-Baxter planar algebras, this classifies all spin models for the Jones polynomial, the Bisch-Jones planar algebras, and the Kauffman polynomial. This simplifies and clarifies Jaeger's classification of spin models for the Kauffman polynomial. In particular, we completely avoid the opaque and computationally-taxing concept of "formal self-duality"; we also explain the numerous exceptional cases in Jaeger's classification by demonstrating a new, discrete two-parameter family of spin models for the Bisch-Jones planar algebras.
Coloring hypergraphs defined by stabbed pseudo-disks and ABAB-free hypergraphs
What is the minimum number of colors that always suffice to color every planar set of points such that any disk that contains enough points contains two points of different colors? It is known that the answer to this question is either three or four. We show that three colors always suffice if the condition must be satisfied only by disks that contain a fixed point. Our result also holds, and is even tight, when instead of disks we consider their topological generalization, namely pseudo-disks, with a non-empty intersection. Our solution uses the equivalence that a hypergraph can be realized by stabbed pseudo-disks if and only if it is ABAB-free. These hypergraphs are defined in a purely abstract, combinatorial way and our proof that they are 3-chromatic is also combinatorial.
Eulerian orientations and the six-vertex model on planar map
Published in FPSAC 2019. Séminaire Lotharingien de Combinatoire 82B, article [82B.70]
• Search Publication
We address the enumeration of planar 4-valent maps equipped with an Eulerian orientation by two different methods, and compare the solutions we thus obtain. With the first method we enumerate these orientations as well as a restricted class which we show to be in bijection with general Eulerian orientations. The second method, based on the work of Kostov, allows us to enumerate these 4-valent orientations with a weight on some vertices, corresponding to the six vertex model. We prove that this result generalises both results obtained using the first method, although the equivalence is not immediately clear.
Finding big matchings in planar graphs quickly
It is well-known that every $n$-vertex planar graph with minimum degree 3 has a matching of size at least $\frac{n}{3}$. But all proofs of this use the Tutte-Berge-formula for the size of a maximum matching. Hence these proofs are not directly algorithmic, and to find such a matching one must apply a general-purposes maximum matching algorithm, which has run-time $O(n^{1.5}α(n))$ for planar graphs. In contrast to this, this paper gives a linear-time algorithm that finds a matching of size at least $\frac{n}{3}$ in any planar graph with minimum degree 3.
Find Subtrees of Specified Weight and Cycles of Specified Length in Linear Time
We apply the Euler tour technique to find subtrees of specified weight as follows. Let $k, g, N_1, N_2 \in \mathbb{N}$ such that $1 \leq k \leq N_2$, $g + h > 2$ and $2k - 4g - h + 3 \leq N_2 \leq 2k + g + h - 2$, where $h := 2N_1 - N_2$. Let $T$ be a tree of $N_1$ vertices and let $c : V(T) \rightarrow \mathbb{N}$ be vertex weights such that $c(T) := \sum_{v \in V(T)} c(v) = N_2$ and $c(v) \leq k$ for all $v \in V(T)$. We prove that a subtree $S$ of $T$ of weight $k - g + 1 \leq c(S) \leq k$ exists and can be found in linear time. We apply it to show, among others, the following: (i) Every planar hamiltonian graph $G = (V(G), E(G))$ with minimum degree $δ\geq 4$ has a cycle of length $k$ for every $k \in \{\lfloor \frac{|V(G)|}{2} \rfloor, \dots, \lceil \frac{|V(G)|}{2} \rceil + 3\}$ with $3 \leq k \leq |V(G)|$. (ii) Every $3$-connected planar hamiltonian graph $G$ with $δ\geq 4$ and $|V(G)| \geq 8$ even has a cycle of length $\frac{|V(G)|}{2} - 1$ or $\frac{|V(G)|}{2} - 2$. Each of these cycles can be found in linear time if a Hamilton cycle of the graph is given. This work was partially motivated by conjectures of Bondy and Malkevitch on cycle spectra of 4-connected planar graphs.
Flip distances between graph orientations
Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the minimum number of flips needed to transform one into the other?
We consider flip graphs on orientations of simple graphs, where flips consist of reversing the direction of some edges. More precisely, we consider so-called $α$-orientations of a graph $G$, in which every vertex $v$ has a specified outdegree $α(v)$, and a flip consists of reversing all edges of a directed cycle. We prove that deciding whether the flip distance between two $α$-orientations of a planar graph $G$ is at most two is \NP-complete. This also holds in the special case of perfect matchings, where flips involve alternating cycles. This problem amounts to finding geodesics on the common base polytope of two partition matroids, or, alternatively, on an alcoved polytope. It therefore provides an interesting example of a flip distance question that is computationally intractable despite having a natural interpretation as a geodesic on a nicely structured combinatorial polytope.
We also consider the dual question of the flip distance betwe en graph orientations in which every cycle has a specified number of forward edges, and a flip is the reversal of all edges in a minimal directed cut. In general, the problem remains hard. However, if we restrict to flips that only change sinks into sources, or vice-versa, then the problem can be solved in polynomial time. Here we exploit the fact that the flip graph is the cover graph of a distributive lattice. This generalizes a recent result from Zhang, Qian, and Zhang.
List edge coloring of outer-1-planar graphs
A graph is outer-1-planar if it can be drawn in the plane so that all vertices are on the outer face and each edge is crossed at most once. It is known that the list edge chromatic number $χ'_l(G)$ of any outer-1-planar graph $G$ with maximum degree $Δ(G)\geq 5$ is exactly its maximum degree. In this paper, we prove $χ'_l(G)=Δ(G)$ for outer-1-planar graphs $G$ with $Δ(G)=4$ and with the crossing distance being at least 3.
Flexibility of planar graphs of girth at least six
Published in Journal of Graph Theory 95(3), 457-466 (2020)
• View Publication
• BIB
Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G has girth at least six and all lists have size at least three, then there exists an L-coloring respecting at least a constant fraction of the preferences.
Flexibility of triangle-free planar graphs
Published in Journal of Graph Theory 96(4), 619-641 (2021)
• View Publication
• BIB
Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is triangle-free and all lists have size at least four, then there exists an L-coloring respecting at least a constant fraction of the preferences.
Triangle areas in line arrangements
A widely investigated subject in combinatorial geometry, originated from Erdős, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles of unit area, maximum area or minimum area, determined by these lines. Determine the minimum size of a subset of these $n$ lines so that all triples determine distinct area triangles.
We prove that the order of magnitude for the maximum occurrence of unit areas lies between $Ω(n^2)$ and $O(n^{9/4})$. This result is strongly connected to both additive combinatorial results and Szemerédi--Trotter type incidence theorems. Next we show a tight bound for the maximum number of minimum area triangles. Finally we present lower and upper bounds for the maximum area and distinct area problems by combining algebraic, geometric and combinatorial techniques.
Reconfiguring 10-colourings of planar graphs
Let $k \geq 1$ be an integer. The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph~$G$ has as vertex set the set of all possible $k$-colourings of $G$ and two colourings are adjacent if they differ on exactly one vertex. A conjecture of Cereceda from 2007 asserts that for every integer $\ell \geq k + 2$ and $k$-degenerate graph $G$ on $n$ vertices, $R_{\ell}(G)$ has diameter $O(n^2)$. The conjecture has been verified only when $\ell \geq 2k + 1$. We give a simple proof that if $G$ is a planar graph on $n$ vertices, then $R_{10}(G)$ has diameter at most $n^2$. Since planar graphs are $5$-degenerate, this affirms Cereceda's conjecture for planar graphs in the case $\ell = 2k$.
Flow-firing processes
We consider a discrete non-deterministic flow-firing process for rerouting flow on the edges of a planar complex. The process is an instance of higher-dimensional chip-firing. In the flow-firing process, flow on the edges of a complex is repeatedly diverted across the faces of the complex. For non-conservative initial configurations we show this process never terminates. For conservative initial flows we show the process terminates after a finite number of rerouting steps, but there are many possible final configurations reachable from a single initial state. Finally, for conservative initial flows around a topological hole we show the process terminates at a unique final configuration. In this case the process exhibits global confluence despite not satisfying local confluence.
Flip cycles in plabic graphs
Published in Sel. Math. New Ser. 26, 15 (2020)
• View Publication
• BIB
Planar bicolored (plabic) graphs are combinatorial objects introduced by Postnikov to give parameterizations of the positroid cells of the totally nonnegative Grassmannian $\text{Gr}^{\geq 0}(n,k)$. Any two plabic graphs for the same positroid cell can be related by a sequence of certain moves. The flip graph has plabic graphs as vertices and has edges connecting the plabic graphs which are related by a single move. A recent result of Galashin shows that plabic graphs can be seen as cross-sections of zonotopal tilings for the cyclic zonotope $Z(n,3)$. Taking this perspective, we show that the fundamental group of the flip graph is generated by cycles of length 4, 5, and 10, and use this result to prove a related conjecture of Dylan Thurston about triple crossing diagrams. We also apply our result to make progress on an instance of the generalized Baues problem.
Normal distributions of finite Markov chains
Published in Intern. J. of Algebra and Computation (2019) Vol. 29, No. 08, pp. 1431-1449
• View Publication
• BIB
We show that the stationary distribution of a finite Markov chain can be expressed as the sum of certain normal distributions. These normal distributions are associated to planar graphs consisting of a straight line with attached loops. The loops touch only at one vertex either of the straight line or of another attached loop. Our analysis is based on our previous work, which derives the stationary distribution of a finite Markov chain using semaphore codes on the Karnofsky--Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain.
Small 4-regular planar graphs that are not circle representable
A 4-regular planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the touching and crossing points correspond to the vertices of $G$, and the circular arcs between those points correspond to the edges of $G$. Lovász (1970) conjectured that every 4-regular planar graph has a circle representation, but an infinite family of counterexamples was given by Bekos and Raftopoulou (2015). We reduce the order of the smallest known counterexamples among simple graphs from 822 to 68 based on a multigraph counterexample of order 12.
Universality for random surfaces in unconstrained genus
Starting from an arbitrary sequence of polygons whose total perimeter is $2n$, we can build an (oriented) surface by pairing their sides in a uniform fashion. Chmutov and Pittel (arXiv:1503.01816) have shown that, regardless of the configuration of polygons we started with, the degree sequence of the graph obtained this way is remarkably constant in total variation distance and converges towards a Poisson--Dirichlet partition as $n \to \infty$. We actually show that several other geometric properties of the graph are universal. En route we provide an alternative proof of a weak version of the result of Chmutov and Pittel using probabilistic techniques and related to the circle of ideas around the peeling process of random planar maps. At this occasion we also fill a gap in the existing literature by surveying the properties of a uniform random map with $n$ edges. In particular we show that the diameter of a random map with $n$ edges converges in law towards a random variable taking only values in $\{2,3\}$.