planar
3209 papers tagged with this keyword
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.
Eulers Graph World -- More Conjectures On Gracefulness Boundaries-II
The subclass of Euler graphs with only one type of cycles under (mod 4) operation was studied in Part-1 of this series. It was established that such graphs under regularity are nonexistent for degree >2. Here we consider the subclass of Euler graphs with only two types of cycles under (mod 4) operation. Six cases arise. The case when the cycle types are 0&2(mod 4), the well known class of bipartite Euler graphs, the existence of regular bipartite Euler graphs is very much known. In the other five cases, it transpires that regular Euler graphs with only two types of cycles are nonexistent. Some constructions of Euler graphs with the property are given. We investigate some properties of cycle decompositions, block structure and cycle intersections. Cycle decomposition of Euler graphs allows segregating Euler graphs satisfying Rosa-Golumb criterion and so are nongraceful. In the other case the graphs are possible candidates for gracefulness and are conjectured graceful leading to better understanding of gracefulness boundaries. The cases when the cycle types are 1&2, 1&3, 2&3(mod 4) the graphs are proved to be planar and in other three cases the graphs may not be planar with examples of nonplanar graphs. Probe into the properties of Euler graphs is to propose expected gracefulness boundaries which may guide where to look for graceful graphs. Further, the conjectures may lead to analytical techniques for establishing gracefulness property.
4-cop-win graphs have at least 19 vertices
Published in Discrete Applied Mathematics, 301:74-98, October 2021
• View Publication
• BIB
We show that the cop number of any graph on 18 or fewer vertices is at most 3. This answers a question posed by Andreae in 1986, as well as more recently by Baird et al. We also find all 3-cop-win graphs on 11 vertices, narrow down the possible 4-cop-win graphs on 19 vertices and make some progress on finding the minimum order of 3-cop-win planar graphs.
Chromatic symmetric functions from the modular law
Published
• View Publication
• BIB
In this article we show how to compute the chromatic quasisymmetric function of indifference graphs from the modular law introduced by Guay-Paquet. We provide an algorithm which works for any function that satisfies this law, such as unicellular LLT polynomials. When the indifference graph has bipartite complement it reduces to a planar network, in this case, we prove that the coefficients of the chromatic quasisymmetric function in the elementary basis are positive unimodal polynomials and characterize them as certain $q$-hit numbers (up to a factor). Finally, we discuss the logarithmic concavity of the coefficients of the chromatic quasisymmetric function.
Planar Turán Number of the $Θ_6$
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a nonempty family of graphs. A graph $G$ is called $\mathcal{F}$-\textit{free} if it contains no graph from $\mathcal{F}$ as a subgraph. For a positive integer $n$, the \emph{planar Turán number} of $\F$, denoted by $\ex_{\p}(n,\F)$, is the maximum number of edges in an $n$-vertex $\F$-free planar graph.
Let $Θ_k$ be the family of Theta graphs on $k\geq 4$ vertices, that is, graphs obtained by joining a pair of non-consecutive vertices of a $k$-cycle with an edge. Lan, Shi and Song determined an upper bound $\text{ex}_{\mathcal{P}}(n,Θ_6)\leq \frac{18}{7}n-\frac{36}{7}$, but for large $n$, they did not verify that the bound is sharp. In this paper, we improve their bound by proving $\text{ex}_{\mathcal{P}}(n,Θ_6)\leq \frac{18}{7}n-\frac{48}{7}$ and then we demonstrate the existence of infinitely many positive integer $n$ and an $n$-vertex $Θ_6$-free planar graph attaining the bound.
On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs
Published
• View Publication
• BIB
Rigid graph theory is an active area with many open problems, especially regarding embeddings in $\mathbb{R}^d$ or other manifolds, and tight upper bounds on their number for a given number of vertices. Our premise is to relate the number of embeddings to that of solutions of a well-constrained algebraic system and exploit progress in the latter domain. In particular, the system's complex solutions naturally extend the notion of real embeddings, thus allowing us to employ bounds on complex roots.
We focus on multihomogeneous B{é}zout (m-B{é}zout) bounds of algebraic systems since they are fast to compute and rather tight for systems exhibiting structure as in our case. We introduce two methods to relate such bounds to combinatorial properties of minimally rigid graphs in $\mathbb{C}^d$ and $S^d$. The first relates the number of graph orientations to the m-Bézout bound, while the second leverages a matrix permanent formulation. Using these approaches we improve the best known asymptotic upper bounds for planar graphs in dimension~3, and all minimally rigid graphs in dimension $d\geq 5$, both in the Euclidean and spherical case.
Our computations indicate that m-Bézout bounds are tight for embeddings of planar graphs in $S^2$ and $\mathbb{C}^3$. We exploit Bernstein's second theorem on the exactness of mixed volume, and relate it to the m-B{é}zout bound by analyzing the associated Newton polytopes. We reduce the number of checks required to verify exactness by an exponential factor, and conjecture further that it suffices to check a linear instead of an exponential number of cases overall.
On the expected number of perfect matchings in cubic planar graphs
Published in Publicacions Matemàtiques, 2022, Vol. 66, Núm. 1, p. 325-353
• View Publication
• BIB
A well-known conjecture by Lovász and Plummer from the 1970s asserted that a bridgeless cubic graph has exponentially many perfect matchings. It was solved in the affirmative by Esperet et al. (Adv. Math. 2011). On the other hand, Chudnovsky and Seymour (Combinatorica 2012) proved the conjecture in the special case of cubic planar graphs. In our work we consider random bridgeless cubic planar graphs with the uniform distribution on graphs with $n$ vertices. Under this model we show that the expected number of perfect matchings in labeled bridgeless cubic planar graphs is asymptotically $cγ^n$, where $c>0$ and $γ\sim 1.14196$ is an explicit algebraic number. We also compute the expected number of perfect matchings in (non necessarily bridgeless) cubic planar graphs and provide lower bounds for unlabeled graphs. Our starting point is a correspondence between counting perfect matchings in rooted cubic planar maps and the partition function of the Ising model in rooted triangulations.
Planar Graphs that Need Four Pages
Published in Journal of Combinatorial Theory, series B, 145, pp. 241-263, 2020
• View Publication
• BIB
We show that there are planar graphs that require four pages in any book embedding.