planar
3209 papers tagged with this keyword
The polynomial method for 3-path extendability of list colourings of planar graphs
Published
• View Publication
• BIB
We restate Thomassen's theorem of 3-extendability, an extension of the famous planar 5-choosability theorem, in terms of graph polynomials. This yields an Alon--Tarsi equivalent of 3-extendability.
Area bounds for planar convex bodies containing a fixed number of interior integral points
We prove area bounds for planar convex bodies in terms of their number of interior integral points and their lattice width data. As an application, we obtain sharp area bounds for rational polygons with a fixed number of interior integral points depending on their denominator. For lattice polygons, we also present an equation for the area based on Noether's formula.
Complexity of Near-3-Choosability Problem
Published
• View Publication
• BIB
It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by relaxing the planarity condition. We prove the $\mathbb{NP}$-completeness of the above decision problem when the graph is $\triangle$-free, $4$-colorable, and of diameter $3$. Building upon this notion, we examine the computational complexity of two optimization problems: minimum near $3$-choosability and minimum $2$-choosable deletion. In the former problem, the goal is to find an independent set $A$ of minimum size in a given graph $G$, such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We establish that this problem is $\mathbb{NP}$-hard to approximate within a factor of $|V_G|^{1-ε}$ for any $ε> 0$, even for planar bipartite graphs. On the other hand, the problem of minimum $2$-choosable deletion involves determining a vertex set $A \subseteq V_G$ of minimum cardinality such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We prove that this problem is $\mathbb{NP}$-complete, but can be approximated within a factor of $O(\log |V_G|)$.
Stretch-width
We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This leaves open the possibility of efficient algorithms for a broad fragment of problems within Monadic Second-Order (MSO) logic on graphs of bounded stretch-width. In this direction, we prove that graphs of bounded maximum degree and bounded stretch-width have at most logarithmic treewidth. As a consequence, in classes of bounded stretch-width, Maximum Independent Set can be solved in subexponential time $2^{O(n^{4/5} \log n)}$ on $n$-vertex graphs, and, if further the maximum degree is bounded, Existential Counting Modal Logic [Pilipczuk '11] can be model-checked in polynomial time. We also give a polynomial-time $O(\text{OPT}^2)$-approximation for the stretch-width of symmetric $0,1$-matrices or ordered graphs. Somewhat unexpectedly, we prove that exponential subdivisions of bounded-degree graphs have bounded stretch-width. This allows to complement the logarithmic upper bound of treewidth with a matching lower bound. We leave as open the existence of an efficient approximation algorithm for the stretch-width of unordered graphs, if the exponential subdivisions of all graphs have bounded stretch-width, and if graphs of bounded stretch-width have logarithmic clique-width (or rank-width).
Equitable coloring of planar graphs with maximum degree at least eight
Published
• View Publication
• BIB
The Chen-Lih-Wu Conjecture states that each connected graph with maximum degree $Δ\geq 3$ that is not the complete graph $K_{Δ+1}$ or the complete bipartite graph $K_{Δ,Δ}$ admits an equitable coloring with $Δ$ colors. For planar graphs, the conjecture has been confirmed for $Δ\geq 13$ by Yap and Zhang and for $9\leq Δ\leq 12$ by Nakprasit. In this paper, we present a proof that confirms the conjecture for graphs embeddable into a surface with non-negative Euler characteristic with maximum degree $Δ\geq 9$ and for planar graphs with maximum degree $Δ\geq 8$.
On the surface area of graphs, related connectivity measures and spectral estimates
Published
• View Publication
• BIB
In this note we elaborate on some notions of surface area for discrete graphs which are closely related to the inverse degree. These notions then naturally lead to associated connectivity measures of graphs and to the definition of a special class of large graphs, called social graphs, that might prove interesting for applications. In addition, we derive spectral estimates involving the surface area and, as a main result, present an upper bound on the second eigenvalue for planar graphs which in some cases improves upon existing bounds from D. A. Spielman and S.-H. Teng, Spectral partitioning works: Planar graphs and finite element meshes, and M. Plümer, Upper eigenvalue bounds for the Kirchhoff Laplacian on embedded metric graphs.
The square of every subcubic planar graph of girth at least 6 is 7-choosable
Published
• View Publication
• BIB
The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) and Hartke, Jahanbekam and Thomas (2016) proved that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Cranston and Kim (2008) showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 7. We prove that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6.
The independence ratio of 4-cycle-free planar graphs
Published
• View Publication
• BIB
We prove that every $n$-vertex planar graph $G$ with no triangle sharing an edge with a 4-cycle has independence ratio $n/α(G) \leq 4 - \varepsilon$ for $\varepsilon = 1/30$. This result implies that the same bound holds for 4-cycle-free planar graphs and planar graphs with no adjacent triangles and no triangle sharing an edge with a 5-cycle. For the latter case we strengthen the bound to $\varepsilon = 2/9$.
Planar graphs as distinguished graph of Morse flows on the 2-disk
To investigate the topological structure of Morse flows on the 2-disk we use the planar graphs as destinguished graph of the flow. We assume, that the flow is transversal to the boundary of the 2-disk. We give a list of all planar graph with at least 3 edges and describe all planar graphs with 4 edges. We use a list of spherical graph with at least 4 edges.
Local dimer dynamics in higher dimensions
Published
• View Publication
• BIB
We consider local dynamics of the dimer model (perfect matchings) on hypercubic boxes $[n]^d$. These consist of successively switching the dimers along alternating cycles of prescribed (small) lengths. We study the connectivity properties of the dimer configuration space equipped with these transitions. Answering a question of Freire, Klivans, Milet and Saldanha, we show that in three dimensions any configuration admits an alternating cycle of length at most 6. We further establish that any configuration on $[n]^d$ features order $n^{d-2}$ alternating cycles of length at most $4d-2$. We also prove that the dynamics of dimer configurations on the unit hypercube of dimension $d$ is ergodic when switching alternating cycles of length at most $4d-4$. Finally, in the planar but non-bipartite case, we show that parallelogram-shaped boxes in the triangular lattice are ergodic for switching alternating cycles of lengths 4 and 6 only, thus improving a result of Kenyon and Rémila, which also uses 8-cycles. None of our proofs make reference to height functions.
Critically 3-frustrated signed graphs
Published
• View Publication
• BIB
Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind.
Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.
Forcing the Wheel
Published
• View Publication
• BIB
Over the past 10 years, there has been considerable interest in exploring questions connecting dimension for posets with graph theoretic properties of their cover graphs and order diagrams, especially with the concepts of planarity and treewidth. Joret and Micek conjectured that if $P$ is a poset with a planar cover graph, then the dimension of $P$ is bounded in terms of the number of minimal elements of $P$ and the treewidth of the cover graph of $P$. We settle this conjecture in the affirmative by strengthening a recent breakthrough result [14] by Blake, Micek, and Trotter, who proved that for each poset $P$ admitting a planar cover graph and a unique minimal element we have $\mathrm{dim}(P) \leq 2 \mathrm{se}(P) + 2$, namely, we prove that $\mathrm{dim}(P) \leq 2 \mathrm{wheel}(P) + 2$.
Large deviations for the 3D dimer model
In 2000, Cohn, Kenyon and Propp studied uniformly random perfect matchings of large induced subgraphs of $\mathbb Z^2$ (a.k.a. dimer configurations or domino tilings) and developed a large deviation theory for the associated height functions. We establish similar results for large induced subgraphs of $\mathbb Z^3$. To formulate these results, recall that a perfect matching on a bipartite graph induces a flow that sends one unit of current from each even vertex to its odd partner. One can then subtract a "reference flow'' to obtain a divergence-free flow.
We show that the flow induced by a uniformly random dimer configuration converges in law (when boundary conditions on a bounded $R \subset \mathbb R^3$ are controlled and the mesh size tends to zero) to the deterministic divergence-free flow $g$ on $R$ that maximizes
$$\int_{R} \text{ent}(g(x)) \,dx$$ given the boundary data, where $\text{ent}(s)$ is the maximal specific entropy obtained by an ergodic Gibbs measure with mean current $s$. The function $\text{ent}$ is not known explicitly, but we prove that it is continuous and {\em strictly concave} on the octahedron $\mathcal O$ of possible mean currents (except on the edges of $\mathcal O$) which implies (under reasonable boundary conditions) that the maximizer is uniquely determined. We further establish two versions of a large deviation principle, using the integral above to quantify how exponentially unlikely the discrete random flows are to approximate other deterministic flows.
The planar dimer model is mathematically rich and well-studied, but many of the most powerful tools do not seem readily adaptable to higher dimensions. Our analysis begins with a smaller set of tools, which include Hall's matching theorem, the ergodic theorem, non-intersecting-lattice-path formulations, and double-dimer cycle swaps.
Extremal spectral results of planar graphs without vertex-disjoint cycles
Published
• View Publication
• BIB
Given a planar graph family $\mathcal{F}$, let ${\rm ex}_{\mathcal{P}}(n,\mathcal{F})$ and ${\rm spex}_{\mathcal{P}}(n,\mathcal{F})$ be the maximum size and maximum spectral radius over all $n$-vertex $\mathcal{F}$-free planar graphs, respectively. Let $tC_{\ell}$ be the disjoint union of $t$ copies of $\ell$-cycles, and $t\mathcal{C}$ be the family of $t$ vertex-disjoint cycles without length restriction. Tait and Tobin [Three conjectures in extremal spectral graph theory, J. Combin. Theory Ser. B 126 (2017) 137--161] determined that $K_2+P_{n-2}$ is the extremal spectral graph among all planar graphs with sufficiently large order $n$, which implies the extremal graphs of both ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ for $t\geq 3$ are $K_2+P_{n-2}$. In this paper, we first determine ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ and characterize the unique extremal graph for $1\leq t\leq 2$, $\ell\geq 3$ and sufficiently large $n$. Secondly, we obtain the exact values of ${\rm ex}_{\mathcal{P}}(n,2C_4)$ and ${\rm ex}_{\mathcal{P}}(n,2\mathcal{C})$, which solve a conjecture of Li [Planar Turán number of the disjoint union of cycles, Discrete Appl. Math. 342 (2024) 260--274] for $n\geq 2661$.
A new construction for planar Turán number of cycle
The planar Turán number ${\rm ex}_{\mathcal{P}}(n,C_k)$ is the largest number of edges in an $n$-vertex planar graph with no cycle of length $k$. Let $k\ge 11$ and $C,D$ be constants. Cranston, Lidický, Liu and Shantanam \cite{2021Planar}, and independently Lan and Song \cite{LanSong} showed that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{Cn}{k}$ for large $n$. Moreover, Cranston et al. conjectured that ${\rm ex}_{\mathcal{P}}(n,C_k)\le 3n-6-\frac{Dn}{k^{lg_23}}$ when $n$ is large. In this note, we prove that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{6\cdot 3^{lg_23}n}{k^{lg_23}}$ for every $k$. It implies Cranston et al.'s conjecture is essentially best possible.
A Hall-type theorem with algorithmic consequences in planar graphs
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, for a vertex set $S\subseteq V$, let $N(S)$ denote the set of vertices in $V$ that have a neighbor in $S$. Extending the concept of binding number of graphs by Woodall~(1973), for a vertex set $X \subseteq V$, we define the binding number of $X$, denoted by $\bind(X)$, as the maximum number $b$ such that for every $S \subseteq X$ where $N(S)\neq V(G)$ it holds that $|N(S)|\ge b {|S|}$. Given this definition, we prove that if a graph $V(G)$ contains a subset $X$ with $\bind(X)= 1/k$ where $k$ is an integer, then $G$ possesses a matching of size at least $|X|/(k+1)$. Using this statement, we derive tight bounds for the estimators of the matching size in planar graphs. These estimators are previously used in designing sublinear space algorithms for approximating the maching size in the data stream model of computation. In particular, we show that the number of locally superior vertices is a $3$ factor approximation of the matching size in planar graphs. The previous analysis by Jowhari (2023) proved a $3.5$ approximation factor. As another application, we show a simple variant of an estimator by Esfandiari \etal (2015) achieves $3$ factor approximation of the matching size in planar graphs. Namely, let $s$ be the number of edges with both endpoints having degree at most $2$ and let $h$ be the number of vertices with degree at least $3$. We prove that when the graph is planar, the size of matching is at least $(s+h)/3$. This result generalizes a known fact that every planar graph on $n$ vertices with minimum degree $3$ has a matching of size at least $n/3$.
Sampling planar tanglegrams and pairs of disjoint triangulations
Published
• View Publication
• BIB
A tanglegram consists of two rooted binary trees and a perfect matching between their leaves, and a planar tanglegram is one that admits a layout with no crossings. We show that the problem of generating planar tanglegrams uniformly at random reduces to the corresponding problem for irreducible planar tanglegram layouts, which are known to be in bijection with pairs of disjoint triangulations of a convex polygon. We extend the flip operation on a single triangulation to a flip operation on pairs of disjoint triangulations. Interestingly, the resulting flip graph is both connected and regular, and hence a random walk on this graph converges to the uniform distribution. We also show that the restriction of the flip graph to the pairs with a fixed triangulation in either coordinate is connected, and give diameter bounds that are near optimal. Our results furthermore yield new insight into the flip graph of triangulations of a convex $n$-gon with a geometric interpretation on the associahedron.
Structure and algorithms for graphs excluding grids with small parity breaks as odd-minors
We investigate a structural generalisation of treewidth we call $\mathcal{A}$-blind-treewidth where $\mathcal{A}$ denotes an annotated graph class. This width parameter is defined by evaluating only the size of those bags $B$ of tree-decompositions for a graph $G$ where ${(G,B) \notin \mathcal{A}}$. For the two cases where $\mathcal{A}$ is (i) the class $\mathcal{B}$ of all pairs ${(G,X)}$ such that no odd cycle in $G$ contains more than one vertex of ${X \subseteq V(G)}$ and (ii) the class $\mathcal{B}$ together with the class $\mathcal{P}$ of all pairs ${(G,X)}$ such that the "torso" of $X$ in $G$ is planar. For both classes, $\mathcal{B}$ and ${\mathcal{B} \cup \mathcal{P}}$, we obtain analogues of the Grid Theorem by Robertson and Seymour and FPT-algorithms that either compute decompositions of small width or correctly determine that the width of a given graph is large. Moreover, we present FPT-algorithms for Maximum Independent Set on graphs of bounded $\mathcal{B}$-blind-treewidth and Maximum Cut on graphs of bounded ${(\mathcal{B}\cup\mathcal{P})}$-blind-treewidth.
Approximating branchwidth on parametric extensions of planarity
Published
• View Publication
• BIB
The branchwidth of a graph has been introduced by Roberson and Seymour as a measure of the tree-decomposability of a graph, alternative to treewidth. Branchwidth is polynomially computable on planar graphs by the celebrated ``Ratcatcher'' algorithm of Seymour and Thomas. We explore how this algorithm can be extended to minor-closed graph classes beyond planar graphs, as follows: Let $H_{1}$ be a graph embeddable in the torus and $H_{2}$ be a graph embeddable in the projective plane. We prove that every $\{H_{1},H_{2}\}$-minor free graph $G$ contains a subgraph $G'$ whose branchwidth differs from that of $G$ by a constant depending only on $H_1$ and $H_2$. Moreover, the graph $G'$ admits a tree decomposition where all torsos are planar. This decomposition allows for a constant-additive approximation of branchwidth: For $\{H_{1},H_{2}\}$-minor free graphs, there is a constant $c$ (depending on $H_{1}$ and $H_{2}$) and an $\mathcal{O}(|V(G)|^{3})$-time algorithm that, given a graph $G$, outputs a value $b$ such that the branchwidth of $G$ is between $b$ and $b+c$.
Chain algebras of finite distributive lattices
Published in Journal of Algebraic Combinatorics, Volume 59, pages 473-494, (2024)
• View Publication
• BIB
We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its Krull dimension in terms of the combinatorics of the underlying lattice. When the lattice is planar, we show that the corresponding chain algebra is generated by a sortable set of monomials and is isomorphic to a Hibi ring of another finite distributive lattice. As a consequence it has a defining toric ideal with a quadratic Gröbner basis, and its $h$-vector counts ascents in certain standard Young tableaux. If instead the lattice has dimension $n>2$, we show that the defining ideal has minimal generators of degree at least $n$.