planar
3209 papers tagged with this keyword
Plane Triangulations Without Spanning 2-Trees
Published
• View Publication
• BIB
A 2-tree is a graph that can be formed by starting with a triangle and iterating the operation of making a new vertex adjacent to two adjacent vertices of the existing graph. Leizhen Cai asked in 1995 whether every maximal planar graph contains a spanning 2-tree. We answer this question in the negative by constructing an infinite class of maximal planar graphs that have no spanning 2-tree.
Odd colourings, conflict-free colourings and strong colouring numbers
The odd chromatic number and the conflict-free chromatic number are new graph parameters introduced by Petruševski and Škrekovski [2021] and Fabrici, Lužar, Rindošová and Soták [2022] respectively. In this note, we show that graphs with bounded $2$-strong colouring number have bounded odd chromatic number and bounded conflict-free chromatic number. This implies that graph classes with bounded expansion have bounded odd chromatic number and bounded conflict-free chromatic number. Moreover, it follows by known results that the odd chromatic number and the conflict-free chromatic number of $k$-planar graphs is $O(k)$ which improves a recent result of Dujmović, Morin and Odak [2022].
Planar Rooted Phylogenetic Networks
Published
• View Publication
• BIB
A rooted phylogenetic network is a directed acyclic graph with a single root, whose sinks correspond to a set of species. As such networks are useful for representing the evolution of species that have undergone reticulate evolution, there has been great interest in developing the theory behind and algorithms for constructing them. However, unlike evolutionary trees, these networks can be highly non-planar, which can make them difficult to visualise and interpret. Here we investigate properties of planar rooted phylogenetic networks and algorithms for deciding whether or not rooted networks have certain special planarity properties. In particular, we introduce three natural subclasses of planar rooted phylogenetic networks and show that they form a hierarchy. In addition, for the well-known level-k networks, we show that level-1, -2, -3 networks are always outer, terminal, and upward planar, respectively, and that level-4 networks are not necessarily planar. Finally, we show that a regular network is terminal planar if and only if it is pyramidal. Our results make use of the highly developed field of planar digraphs, and we believe that the link between phylogenetic networks and planar graphs should prove useful in future for developing new approaches to both construct and visualise phylogenetic networks.
Planar Rosa : a family of quasiperiodic substitution discrete plane tilings with $2n$-fold rotational symmetry
Published
• View Publication
• BIB
We present Planar Rosa, a family of rhombus tilings with a $2n$-fold rotational symmetry that are generated by a primitive substitution and that are also discrete plane tilings, meaning that they are obtained as a projection of a higher dimensional discrete plane. The discrete plane condition is a relaxed version of the cut-and-project condition. We also prove that the Sub Rosa substitution tilings with $2n$-fold rotational symmetry defined by Kari and Rissanen do not satisfy even the weaker discrete plane condition. We prove these results for all even $n\geq 4$. This completes our previously published results for odd values of $n$.
Three coloring via triangle counting
In the first partial result toward Steinberg's now-disproved three coloring conjecture, Abbott and Zhou used a counting argument to show that every planar graph without cycles of lengths 4 through 11 is 3-colorable. Implicit in their proof is a fact about plane graphs: in any plane graph of minimum degree 3, if no two triangles share an edge, then triangles make up strictly less than 2/3 of the faces. We show how this result, combined with Kostochka and Yancey's resolution of Ore's conjecture for k = 4, implies that every planar graph without cycles of lengths 4 through 8 is 3-colorable.
The scaling limit of random cubic planar graphs
Published
• View Publication
• BIB
We study the random simple connected cubic planar graph $\mathsf{C}_n$ with an even number $n$ of vertices. We show that the Brownian map arises as Gromov--Hausdorff--Prokhorov scaling limit of $\mathsf{C}_n$ as $n \in 2 \ndN$ tends to infinity, after rescaling distances by $γn^{-1/4} $ for a specific constant $γ>0$.
Erdős--Szekeres-type problems in the real projective plane
Published
• View Publication
• BIB
We consider point sets in the real projective plane $\mathbb{R}P^2$ and explore variants of classical extremal problems about planar point sets in this setting, with a main focus on Erdős--Szekeres-type problems.
We provide asymptotically tight bounds for a variant of the Erdős--Szekeres theorem about point sets in convex position in $\mathbb{R}P^2$, which was initiated by Harborth and Möller in 1994. The notion of convex position in $\mathbb{R}P^2$ agrees with the definition of convex sets introduced by Steinitz in 1913.
For $k \geq 3$, an (\affine) $k$-hole in a finite set $S \subseteq \mathbb{R}^2$ is a set of $k$ points from $S$ in convex position with no point of $S$ in the interior of their convex hull. After introducing a new notion of $k$-holes for points sets from $\mathbb{R}P^2$, called projective $k$-holes, we find arbitrarily large finite sets of points from $\mathbb{R}P^2$ with no \projective 8-holes, providing an analogue of a classical planar construction by Horton from 1983. We also prove that they contain only quadratically many \projective $k$-holes for $k \leq 7$. On the other hand, we show that the number of $k$-holes can be substantially larger in~$\mathbb{R}P^2$ than in $\mathbb{R}^2$ by constructing, for every $k \in \{3,\dots,6\}$, sets of $n$ points from $\mathbb{R}^2 \subset \mathbb{R}P^2$ with $Ω(n^{3-3/5k})$ \projective $k$-holes and only $O(n^2)$ \affine $k$-holes. Last but not least, we prove several other results, for example about projective holes in random point sets in $\mathbb{R}P^2$ and about some algorithmic aspects.
The study of extremal problems about point sets in $\mathbb{R}P^2$ opens a new area of research, which we support by posing several open problems.
Partitioning planar graphs without 4-cycles and 6-cycles into a forest and a disjoint union of paths
Published
• View Publication
• BIB
In this paper, we show that every planar graph without $4$-cycles and $6$-cycles has a partition of its vertex set into two sets, where one set induces a forest, and the other induces a forest with maximum degree at most $2$ (equivalently, a disjoint union of paths).
Note that we can partition the vertex set of a forest into two independent sets. However, a pair of independent sets combined may not induce a forest. Thus our result extends the result of Wang and Xu (2013) stating that the vertex set of every planar graph without $4$-cycles and $6$-cycles can be partitioned into three sets, where one induces a graph with maximum degree two, and the remaining two are independent sets.
Universal planar graphs for the topological minor relation
Published
• View Publication
• BIB
Huynh et al. recently showed that a countable graph $G$ which contains every countable planar graph as a subgraph must contain arbitrarily large finite complete graphs as topological minors, and an infinite complete graph as a minor. We strengthen this result by showing that the same conclusion holds, if $G$ contains every countable planar graph as a topological minor. In particular, there is no countable planar graph containing every countable planar graph as a topological minor, answering a question by Diestel and Kühn.
Moreover, we construct a locally finite planar graph which contains every locally finite planar graph as a topological minor. This shows that in the above result it is not enough to require that $G$ contains every locally finite planar graph as a topological minor.
The Completeness of 2D Rubik's Shapes
The Rubik's cube was invented in 1974 by Erno Rubik, who had no idea of the incredible popularity and mathematical fascinations his toy would bring. Through the years of study on the mathematical properties of the cube, the Rubik's Cube group was introduced to represent all possible moves one could perform on the cube. In this paper, we define a planar analogue to the Rubik's cube, which we dub the Rubik's Square, and prove that the Rubik's square is complete in the sense that given any two configurations there is a sequence of moves which changes one to the other. The Rubik's cube does not have this property. We then abstract the concept of the Rubik's Square to a Rubik's Shape and analyse the completeness in this more general setting.
Characterization of tropical planar curves up to genus six
Published
• View Publication
• BIB
We provide new forbidden criterion for realizability of smooth tropical plane curves. This in turn provides us a complete classification of smooth tropical plane curves up to genus six.
What is a random surface?
Published
• View Publication
• BIB
Given $2n$ unit equilateral triangles, there are finitely many ways to glue each edge to a partner. We obtain a random sphere-homeomorphic surface by sampling uniformly from the gluings that produce a topological sphere. As $n$ tends to infinity, these random surfaces (appropriately scaled) converge in law. The limit is a "canonical" sphere-homeomorphic random surface, much the way Brownian motion is a canonical random path.
Depending on how the surface space and convergence topology are specified, the limit is the Brownian sphere, the peanosphere, the pure Liouville quantum gravity sphere, or a certain conformal field theory. All of these objects have concise definitions, and are all in some sense equivalent, but the equivalence is highly non-trivial, building on hundreds of math and physics papers over the past half century.
More generally, the "continuum random surface embedded in $d$-dimensional Euclidean space" makes a kind of sense for $d \in (-\infty, 25)$ even when $d$ is not a positive integer; and this can be extended to higher genus surfaces, surfaces with boundary, and surfaces with marked points or other decoration.
These constructions have deep roots in both mathematics and physics, drawing from classical graph theory, complex analysis, probability and representation theory, as well as string theory, planar statistical physics, random matrix theory and a simple model for two-dimensional quantum gravity.
We present here an informal, colloquium-level overview of the subject, which we hope will be accessible to both newcomers and experts. We aim to answer, as cleanly as possible, the fundamental question. What is a random surface?
First-order logic axiomatization of metric graph theory
Published
• View Publication
• BIB
The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $Δ$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Peano graphs, cellular and hypercellular partial cubes, almost-median graphs, netlike partial cubes), and Gromov hyperbolic graphs. On the other hand, we show that some classes of graphs (including chordal, planar, Eulerian, and dismantlable graphs), closely related with Metric Graph Theory, but defined in a combinatorial or topological way, do not allow such an axiomatization.
Enumeration of rooted 3-connected bipartite planar maps
Published
• View Publication
• BIB
We provide the first solution to the problem of counting rooted 3-connected bipartite planar maps. Our starting point is the enumeration of bicoloured planar maps according to the number of edges and monochromatic edges, following Bernardi and Bousquet-Mélou [J. Comb. Theory Ser. B, 101 (2011), 315-377]. The decomposition of a map into 2- and 3-connected components allows us to obtain the generating functions of 2-and 3-connected bicoloured maps. Setting to zero the variable marking monochromatic edges we obtain the generating function of 3-connected bipartite maps, which is algebraic of degree 26. We deduce from it an asymptotic estimate for the number of 3-connected bipartite planar maps of the form $t \cdot n^{-5/2} γ^n$, where $γ=ρ^{-1} \approx 2.40958$ and $ρ\approx 0.41501$ is an algebraic number of degree 10.
Enumeration of chordal planar graphs and maps
We determine the number of labelled chordal planar graphs with $n$ vertices, which is asymptotically $c_1\cdot n^{-5/2} γ^n n!$ for a constant $c_1>0$ and $γ\approx 11.89235$. We also determine the number of rooted simple chordal planar maps with $n$ edges, which is asymptotically $c_2 n^{-3/2} δ^n$, where $δ= 1/σ\approx 6.40375$, and $σ$ is an algebraic number of degree 12. The proofs are based on combinatorial decompositions and singularity analysis. Chordal planar graphs (or maps) are a natural example of a subcritical class of graphs in which the class of 3-connected graphs is relatively rich. The 3-connected members are precisely chordal triangulations, those obtained starting from $K_4$ by repeatedly adding vertices adjacent to an existing triangular face.
On sufficient conditions for planar graphs to be 5-flexible
Published
• View Publication
• BIB
In this paper, we study the flexibility of two planar graph classes $\mathcal{H}_1$, $\mathcal{H}_2$, where $\mathcal{H}_1$, $\mathcal{H}_2$ denote the set of all hopper-free planar graphs and house-free planar graphs, respectively. 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\in \mathcal{H}_1$ or $G\in \mathcal{H}_2$ such that all lists have size at least $5$, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.
Odd Colourings of Graph Products
The odd colouring number is a new graph parameter introduced by Petruševski and Škrekovski. In this note, we show that graphs with so called product structure have bounded odd-colouring number. By known results on the product structure of $k$-planar graphs, this implies that $k$-planar graphs have bounded odd-colouring number, which answers a question of Cranston, Lafferty, and Song.
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
Published
• View Publication
• BIB
We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and more generally, of classes of bounded genus. To obtain this result we develop a new tool which works in a very general setting of dependent classes and which we believe can be an important ingredient in achieving similar results in the future.
Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)
Published
• View Publication
• BIB
In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomassé and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has maximum degree at most $k$. For any graph parameter $f$, we define the reduced $f$ of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has $f$ at most $k$. Our focus is on graph classes with bounded reduced bandwidth, which implies and is stronger than bounded twin-width (reduced maximum degree). We show that every proper minor-closed class has bounded reduced bandwidth, which is qualitatively stronger than an analogous result of Bonnet et al.\ for bounded twin-width. In many instances, we also make quantitative improvements. For example, all previous upper bounds on the twin-width of planar graphs were at least $2^{1000}$. We show that planar graphs have reduced bandwidth at most $466$ and twin-width at most $583$. Our bounds for graphs of Euler genus $γ$ are $O(γ)$. Lastly, we show that fixed powers of graphs in a proper minor-closed class have bounded reduced bandwidth (irrespective of the degree of the vertices). In particular, we show that map graphs of Euler genus $γ$ have reduced bandwidth $O(γ^4)$. Lastly, we separate twin-width and reduced bandwidth by showing that any infinite class of expanders excluding a fixed complete bipartite subgraph has unbounded reduced bandwidth, while there are bounded-degree expanders with twin-width at most 6.
Odd coloring of sparse graphs and planar graphs
Published
• View Publication
• BIB
An {\it odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times on its neighborhood. This concept was introduced very recently by Petru\v sevski and \v Skrekovski and has attracted considerable attention. Cranston investigated odd colorings of graphs with bounded maximum average degree, and conjectured that every graph $G$ with $mad(G)\leq \frac{4c-4}{c+1}$ has an odd $c$-coloring for $c\geq 4$, and proved the conjecture for $c\in\{5, 6\}$. In particular, planar graphs with girth at least $7$ and $6$ have an odd $5$-coloring and an odd $6$-coloring, respectively.
We completely resolve Cranston's conjecture. For $c\geq 7$, we show that the conjecture is true, in a stronger form that was implicitly suggested by Cranston, but for $c=4$, we construct counterexamples, which all contain $5$-cycles. On the other hand, we show that a graph $G$ with $mad(G)<\frac{22}{9}$ and no induced $5$-cycles has an odd $4$-coloring. This implies that a planar graph with girth at least 11 has an odd $4$-coloring. We also prove that a planar graph with girth at least 5 has an odd $6$-coloring.