planar
3156 papers tagged with this keyword
Surfaces have (asymptotic) dimension 2
The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. When restricted to graphs and their shortest paths metric, the asymptotic dimension can be seen as a large scale version of weak diameter colorings (also known as weak diameter network decompositions), i.e. colorings in which each monochromatic component has small weak diameter.
In this paper, we prove that for any $p$, the class of graphs excluding $K_{3,p}$ as a minor has asymptotic dimension at most 2. This implies that the class of all graphs embeddable on any fixed surface (and in particular the class of planar graphs) has asymptotic dimension 2, which gives a positive answer to a recent question of Fujiwara and Papasoglu. Our result extends from graphs to Riemannian surfaces. We also prove that graphs of bounded pathwidth have asymptotic dimension at most 1 and graphs of bounded layered pathwidth have asymptotic dimension at most 2. We give some applications of our techniques to graph classes defined in a topological or geometrical way, and to graph classes of polynomial growth. Finally we prove that the class of bounded degree graphs from any fixed proper minor-closed class has asymptotic dimension at most 2. This can be seen as a large scale generalization of the result that bounded degree graphs from any fixed proper minor-closed class are 3-colorable with monochromatic components of bounded size. This also implies that (infinite) Cayley graphs avoiding some minor have asymptotic dimension at most 2, which solves a problem raised by Ostrovskii and Rosenthal.
Elimination distance to bounded degree on planar graphs
Published in Fundamenta Informaticae, Volume 191, Issue 2 (July 8, 2024) fi:9015
• View Publication
• BIB
We study the graph parameter elimination distance to bounded degree, which was introduced by Bulian and Dawar in their study of the parameterized complexity of the graph isomorphism problem. We prove that the problem is fixed-parameter tractable on planar graphs, that is, there exists an algorithm that given a planar graph $G$ and integers $d$ and $k$ decides in time $f(k,d)\cdot n^c$ for a computable function~$f$ and constant $c$ whether the elimination distance of $G$ to the class of degree $d$ graphs is at most $k$.
Decomposing planar graphs into graphs with degree restrictions
Published
• View Publication
• BIB
Given a graph $G$, a decomposition of $G$ is a partition of its edges. A graph is $(d, h)$-decomposable if its edge set can be partitioned into a $d$-degenerate graph and a graph with maximum degree at most $h$. For $d \le 4$, we are interested in the minimum integer $h_d$ such that every planar graph is $(d,h_d)$-decomposable. It was known that $h_3 \le 4$, $h_2\le 8$, and $h_1 = \infty$. This paper proves that $h_4=1, h_3=2$, and $4 \le h_2 \le 6$.
Circular Coloring and Fractional Coloring in Planar Graphs
Published
• View Publication
• BIB
We study the following Steinberg-type problem on circular coloring: for an odd integer $k\ge 3$, what is the smallest number $f(k)$ such that every planar graph of girth $k$ without cycles of length from $k+1$ to $f(k)$ admits a homomorphism to the odd cycle $C_k$ (or equivalently, is circular $(k,\frac{k-1}{2})$-colorable). Known results and counterexamples on Steinberg's Conjecture indicate that $f(3)\in\{6,7\}$. In this paper, we show that $f(k)$ exists if and only if $k$ is an odd prime. Moreover, we prove that for any prime $p\ge 5$, $$p^2-\frac{5}{2}p+\frac{3}{2}\le f(p)\le 2p^2+2p-5.$$ We conjecture that $f(p)\le p^2-2p$, and observe that the truth of this conjecture implies Jaeger's conjecture that every planar graph of girth $2p-2$ has a homomorphism to $C_p$ for any prime $p\ge 5$. Supporting this conjecture, we prove a related fractional coloring result that every planar graph of girth $k$ without cycles of length from $k+1$ to $\lfloor\frac{22k}{3}\rfloor$ is fractional $(k:\frac{k-1}{2})$-colorable for any odd integer $k\ge 5$.
On polynomials counting essentially irreducible maps
Published
• View Publication
• BIB
We consider maps on genus-$g$ surfaces with $n$ (labeled) faces of prescribed even degrees. It is known since work of Norbury that, if one disallows vertices of degree one, the enumeration of such maps is related to the counting of lattice point in the moduli space of genus-$g$ curves with $n$ labeled points and is given by a symmetric polynomial $N_{g,n}(\ell_1,\ldots,\ell_n)$ in the face degrees $2\ell_1, \ldots, 2\ell_n$. We generalize this by restricting to genus-$g$ maps that are essentially $2b$-irreducible for $b\geq 0$, which loosely speaking means that they are not allowed to possess contractible cycles of length less than $2b$ and each such cycle of length $2b$ is required to bound a face of degree $2b$. The enumeration of such maps is shown to be again given by a symmetric polynomial $\hat{N}_{g,n}^{(b)}(\ell_1,\ldots,\ell_n)$ in the face degrees with a polynomial dependence on $b$. These polynomials satisfy (generalized) string and dilaton equations, which for $g\leq 1$ uniquely determine them. The proofs rely heavily on a substitution approach by Bouttier and Guitter and the enumeration of planar maps on genus-$g$ surfaces.
Integral flow and cycle chip-firing on graphs
Published in Ann. Comb. 25 (2021), pp. 595--616
• View Publication
• BIB
Motivated by the notion of chip-firing on the dual graph of a planar graph, we consider `integral flow chip-firing' on an arbitrary graph $G$. The chip-firing rule is governed by ${\mathcal L}^*(G)$, the dual Laplacian of $G$ determined by choosing a basis for the lattice of integral flows on $G$. We show that any graph admits such a basis so that ${\mathcal L}^*(G)$ is an $M$-matrix, leading to a firing rule on these basis elements that is avalanche finite. This follows from a more general result on bases of integral lattices that may be of independent interest. Our results provide a notion of $z$-superstable flow configurations that are in bijection with the set of spanning trees of $G$. We show that for planar graphs, as well as for the graphs $K_5$ and $K_{3,3}$, one can find such a flow M-basis that consists of cycles of the underlying graph. We consider the question for arbitrary graphs and address some open questions.
Guarding Quadrangulations and Stacked Triangulations with Edges
Published
• View Publication
• BIB
Let $G = (V,E)$ be a plane graph. A face $f$ of $G$ is guarded by an edge $vw \in E$ if at least one vertex from $\{v,w\}$ is on the boundary of $f$. For a planar graph class $\mathcal{G}$ we ask for the minimal number of edges needed to guard all faces of any $n$-vertex graph in $\mathcal{G}$. We prove that $\lfloor n/3 \rfloor$ edges are always sufficient for quadrangulations and give a construction where $\lfloor (n-2)/4 \rfloor$ edges are necessary. For $2$-degenerate quadrangulations we improve this to a tight upper bound of $\lfloor n/4 \rfloor$ edges. We further prove that $\lfloor 2n/7 \rfloor$ edges are always sufficient for stacked triangulations (that are the $3$-degenerate triangulations) and show that this is best possible up to a small additive constant.
Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time
Published
• View Publication
• BIB
Approximate proof labeling schemes were introduced by \\Censor-Hillel, Paz and Perry \cite{CPP}. Roughly speaking, a graph property~$\cP$ can be verified by an approximate proof labeling scheme in constant-time if the vertices of a graph having the property can be convinced, in a short period of time not depending on the size of the graph, that they are having the property $\cP$ or at least they are not far from being having the property $\cP$. The main result of this paper is that bounded-degree planar graphs (and also outer-planar graphs, bounded genus graphs, knotlessly embeddable graphs etc.) can be verified by an approximate proof labeling scheme in constant-time.
Vertex Partitions into an Independent Set and a Forest with Each Component Small
Published in SIAM Journal on Discrete Math. Vol. 35(3), 2021, pp. 1769-1791
• View Publication
• BIB
For each integer k >= 2, we determine a sharp bound on mad(G) such that V(G) can be partitioned into sets I and F_k, where I is an independent set and G[F_k] is a forest in which each component has at most k vertices. For each k we construct an infinite family of examples showing our result is best possible. Our results imply that every planar graph G of girth at least 9 (resp. 8, 7) has a partition of V(G) into an independent set I and a set F such that G[F] is a forest with each component of order at most 3 (resp. 4, 6).
Hendrey, Norin, and Wood asked for the largest function g(a,b) such that if mad(G) < g(a,b) then V(G) has a partition into sets A and B such that mad(G[A]) < a and mad(G[B]) < b. They specifically asked for the value of g(1,b), i.e., the case when A is an independent set. Previously, the only values known were g(1,4/3) and g(1,2). We find g(1,b) whenever 4/3 < b < 2.
Universal Geometric Graphs
Published
• View Publication
• BIB
We introduce and study the problem of constructing geometric graphs that have few vertices and edges and that are universal for planar graphs or for some sub-class of planar graphs; a geometric graph is \emph{universal} for a class $\mathcal H$ of planar graphs if it contains an embedding, i.e., a crossing-free drawing, of every graph in $\mathcal H$.
Our main result is that there exists a geometric graph with $n$ vertices and $O(n \log n)$ edges that is universal for $n$-vertex forests; this extends to the geometric setting a well-known graph-theoretic result by Chung and Graham, which states that there exists an $n$-vertex graph with $O(n \log n)$ edges that contains every $n$-vertex forest as a subgraph. Our $O(n \log n)$ bound on the number of edges cannot be improved, even if more than $n$ vertices are allowed.
We also prove that, for every positive integer $h$, every $n$-vertex convex geometric graph that is universal for $n$-vertex outerplanar graphs has a near-quadratic number of edges, namely $Ω_h(n^{2-1/h})$; this almost matches the trivial $O(n^2)$ upper bound given by the $n$-vertex complete convex geometric graph.
Finally, we prove that there exists an $n$-vertex convex geometric graph with $n$ vertices and $O(n \log n)$ edges that is universal for $n$-vertex caterpillars.
Longest and shortest cycles in random planar graphs
Published
• View Publication
• BIB
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $\{1, \ldots, n\}$ with $m=m(n)$ edges. We study the cycle and block structure of $P(n,m)$ when $m\sim n/2$. More precisely, we determine the asymptotic order of the length of the longest and shortest cycle in $P(n,m)$ in the critical range when $m=n/2+o(n)$. In addition, we describe the block structure of $P(n,m)$ in the weakly supercritical regime when $n^{2/3}\ll m-n/2\ll n$.
Crossed morphisms, (integration of) post-Lie algebras and the post-Lie Magnus expansion
Published
• View Publication
• BIB
In the first part of this letter it will be shown that the post-Lie Magnus expansion can be interpreted as a crossed morphism between two (local) Lie group. The second part will be devoted to present two combinatorial methods, both based on special tubings on planar trees, to compute the coefficients of this remarkable formal series.
Confining the Robber on Cographs
Published
• View Publication
• BIB
In this paper, the notions of {\em trapping} and {\em confining} the robber on a graph are introduced. We present some structural necessary conditions for graphs $G$ not containing the path on $k$ vertices (referred to as $P_k$-free graphs) for some $k\ge 4$, so that $k-3$ cops do not have a strategy to capture or confine the robber on $G$. Utilizing such conditions, we show that for planar cographs and planar $P_5$-free graphs the confining cop number is at most one and two, respectively. It is also shown that the number of vertices of a connected cograph on which one cop does not have a strategy to confine the robber has a tight lower-bound of eight. We also explore the effects of twin operations -- which are well known to provide a characterization of cographs -- on the number of cops required to capture or confine the robber on cographs. We conclude by posing two conjectures concerning the confining cop number of $P_5$-free graphs and the smallest planar graph of confining cop number of three.
A Thomassen-type method for planar graph recoloring
The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertices all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. We use a list coloring technique inspired by results of Thomassen to prove that for a planar graph $G$ with $n$ vertices, $R_{10}(G)$ has diameter at most $8n$, and if $G$ is triangle-free, then $R_7(G)$ has diameter at most $7n$.
The transition matrix between the Specht and $\mathfrak{sl}_3$ web bases is unitriangular with respect to shadow containment
Published
• View Publication
• BIB
Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link diagrams in terms of webs, producing quantum invariants like the well-known Jones polynomial. One important question in representation theory is to identify the relationships between different bases; coefficients in the change-of-basis matrix often describe combinatorial, algebraic, or geometric quantities (like, e.g., Kazhdan-Lusztig polynomials). By "flattening" the braiding maps, webs can also be viewed as the basis elements of a symmetric-group representation.
In this paper, we define two new combinatorial structures for webs: band diagrams and their one-dimensional projections, shadows, that measure depths of regions inside the web. As an application, we resolve an open conjecture that the change-of-basis between the so-called Specht basis and web basis of this symmetric-group representation is unitriangular for $\mathfrak{sl}_3$-webs. We do this using band diagrams and shadows to construct a new partial order on webs that is a refinement of the usual partial order. In fact, we prove that for $\mathfrak{sl}_2$-webs, our new partial order coincides with the tableau partial order on webs studied by the authors and others. We also prove that though the new partial order for $\mathfrak{sl}_3$-webs is a refinement of the previously-studied tableau order, the two partial orders do not agree for $\mathfrak{sl}_3$.
An improved constant factor for the unit distance problem
We prove that the number of unit distances among $n$ planar points is at most $1.94\cdot n^{4/3}$, improving on the previous best bound of $8n^{4/3}$. We also give better upper and lower bounds for several small values of $n$. We also prove some variants of the crossing lemma and improve some constant factors.
On the Colin de Verdiere graph number and penny graphs
Published
• View Publication
• BIB
The Colin de Verdiere number of graph G, denoted by μ(G), is a spectral invariant of G that is related to some of its topological properties. For example, μ(G) \leq 3 iff G is planar. A penny graph is the contact graph of equal-radii disks with disjoint interiors in the plane. In this note we prove lower bounds on μ(G) when the complement \bar{G} is a penny graph.
Flexibility of planar graphs without $C_4$ and $C_5$
Published
• View Publication
• BIB
Let $G$ be a $\{C_4, C_5\}$-free planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if all lists have size at least four, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.
Combinatorics of injective words for Temperley-Lieb algebras
Published
• View Publication
• BIB
This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine number. We obtain an alternating sum formula for the representation given by its top-dimensional homology module and, under further restrictions on the ground ring, we decompose this module in terms of certain standard Young tableaux. This trio of results - inspired by results of Reiner and Webb for the complex of injective words - can be viewed as an interpretation of the n-th Fine number as the 'planar' or 'Dyck path' analogue of the number of derangements of n letters. This interpretation has precursors in the literature, but here emerges naturally from considerations in homological stability. Our final result shows a surprising connection between the boundary maps of our complex and the Jacobsthal numbers.
Eulers Graph World -- More Conjectures On Gracefulness Boundaries-I
Euler graphs are characterized by the simple criterion that degree of each node is even. By restricting on the cycle types yet additional intrinsic properties of Euler graphs are unveiled. For example, regularity higher than degree two is impossible within the class εi of Euler graphs with one type of cycles Cn, n=i(mod 4), i=0,1,2,3. Further, graphs in εi are planar for i=1,2,3. In the light of new properties of Euler graphs more gracefulness boundaries are conjectured for subclasses of Euler graphs and where relevant extended for general class of graphs. In absence of general analytical results much of the published papers resort to proving an infinite class of graphs graceful or nongraceful. The purpose of this paper is not to give families of graphs graceful or not. Instead, based on the available information expected gracefulness boundaries are proposed which may guide where to look for graceful graphs or lead to characterizations. While the (Ringel,Kotzig,Rosa) Tree Conjecture continues to remain unsettled, the work reported here serves an update on the conjectures made in Rao Hebbare (1975,1981) and more conjectures subsequently made in Rao (1999,2000) based on embedding theorems and graceful algorithms for constructing graceful graphs from a graceful graph. It is hoped that these conjectures lead to analytical techniques for establishing gracefulness property. Further probe into Euler graphs with only two types of cycles and other combinations of cycles continues.