planar
3238 papers tagged with this keyword
Local modifications in planar hypohamiltonian graphs
We prove that for $n \geq 36$ there exists a planar hypohamiltonian graph of order $n$. As a corollary, we prove that for $n \geq 33$ there exists an almost hypohamiltonian planar graph of order $n$. Further, we exhibit over 100 planar hypohamiltonian graphs of order less than 40, including new graphs of orders 36, 37, 38, and 39.
The proof utilizes three local modifications that alter a graph $G$ by removing a subgraph $H$ and replacing it with $H'$ to form a new graph $G'$: a plus two modification, a plus three modification, and Thomassen's iterable plus four modification. The plus two modification preserves hypohamiltonicity in general, and the plus three modification preserves hypohamiltonicity in our cases of interest. This establishes the main result beginning with Tsai's order 34 examples.
Further, we conjecture that among planar hypohamiltonian graphs, Tsai's 34 vertex examples are the smallest order. The conjecture is based on previous results, constraints on the degree modulo 3, and experimentation with planar graphs consisting entirely of 4-gons and 5-gons.
Counterexamples and symmetry for uneven orthogonal mass partitions in the plane
Grünbaum asked whether every planar convex body admits, for every $0\leq t\leq 1/4$, two orthogonal lines cutting it into pieces with cyclically ordered areas $t,t,1/2-t,1/2-t$. Bárány posed the analogous question for well-behaved planar measures and conjectured that the answer there is negative.
We confirm Bárány's conjecture in a particularly robust form: for every fixed $0<t<1/4$ we construct smooth, strictly positive, centrally symmetric, strongly log-concave measures arbitrarily close to the standard Gaussian for which the prescribed partition does not exist. In contrast, we prove that the partition exists for every $t$ whenever the measure is invariant under an orientation-reversing affine involution. We also exhibit a $96$-point counterexample for which no pair of perpendicular lines produces cyclic counts $8,8,40,40$.
Planar Disk Filters and Real Chromatic Roots at Beraha Numbers
We construct simple plane triangulations whose chromatic polynomials have real roots accumulating at every noninteger Beraha number $B_\ell=4\cos^2(π/\ell)$; the integer values $0,1,2,3$ are roots of $K_4$. The construction rests on the observation that a triangulated disk with four boundary vertices acts, inside a larger triangulation, as a transfer operator lying in a commutative three-parameter algebra. Rotating such disks by a quarter turn and composing them in series moves their eigenvalue triples around this algebra in a controllable way, and for every fixed $q\in(B_{10},4)$ one can manufacture a finite disk whose two competing local eigenvalues are strictly dominated by the third -- a physical filter. Closing a grid of such disks between two poles produces a sphere triangulation, and a fused Temperley-Lieb trace identity accounts for its chromatic polynomial completely, sector by sector, with no appeal to semisimplicity at the root of unity itself -- generic semisimplicity enters only through polynomial identities continued from $δ>2$ -- and no singular higher Jones-Wenzl projectors. In the one-cap sector a Krein-type argument shows that every sweep word has exactly one expanding eigenvalue; Gram-form inertia controls every other sector uniformly in the width. At odd Beraha indices the trace coefficient of the expanding eigenvalue vanishes; at even indices two copies of that eigenvalue cancel between adjacent sectors, and a short real-variable lemma converts either situation into genuine real roots converging to the target. Indices below eleven are treated by elementary families, exact outward-rounded integer certificates, and one explicit disk at $B_{10}$ combined with Tutte's golden identity. All graphs are ordinary, simple, unweighted plane triangulations.
Sparse universal graphs for planarity
Published in Journal of the London Mathematical Society, 108/4:1333--1357, 2023
• View Publication
• BIB
We show that for every integer $n\geq 1$ there exists a graph $G_n$ with $(1+o(1))n$ vertices and $n^{1 + o(1)}$ edges such that every $n$-vertex planar graph is isomorphic to a subgraph of $G_n$. The best previous bound on the number of edges was $O(n^{3/2})$, proved by Babai, Chung, Erdős, Graham, and Spencer in 1982. We then show that for every integer $n\geq 1$ there is a graph $U_n$ with $n^{1 + o(1)}$ vertices and edges that contains induced copies of every $n$-vertex planar graph. This significantly reduces the number of edges in a recent construction of the authors with Dujmović, Gavoille, and Micek.
Short Proofs for the Minimum Number of Determined Circles
We present short proofs for the main parts of the recently completed solution of Erdős Problem 506, which asks for the minimum number of distinct circles determined by a finite planar point set that is neither collinear nor concyclic. An inversion argument and a seven-point line lemma show that eight points determine at least $17$ circles, and an explicit configuration attains this bound. A single argument combining Melchior's inequality with Langer's incidence bound establishes the sharp formula for every $n\ge15$. The proofs give concise alternatives to longer arguments in the recent literature; the remaining finite cases are cited separately.
Perfect matchings in planar 3-connected graphs: girth five and minimum degree five
Let $Φ(G)$ denote the number of perfect matchings of a graph $G$. Goedgebeur et al. posted two questions about the perfect matchings of planar 3-connected graphs: does there exist an infinite family of matchable planar 3-connected graphs of girth 5 with a constant number of perfect matchings? Whether there exist infinitely many planar 3-connected graphs with minimum degree 5 which have a constant number of perfect matchings.
We present answers to those questions. First, we construct, for every even $n\ge196$, a simple planar 3-connected graph of order $n$ and girth five with exactly $c$ perfect matchings, where $c$ is a fixed positive integer. Second, for a simple planar 3-connected graph $G$ with a perfect matching and minimum degree at least five, we show that $Φ(G)\ge2^{\lceil(|V(G)|+20)/22\rceil}$. This implies that, for each positive integer $t$, only finitely many such graphs, up to isomorphism, have at most $t$ perfect matchings.
QPTAS for Max Weight Independent Set in Graphs with Strongly Edge-Sublinear Separators
A hereditary graph class has strongly edge-sublinear separators if, for some constant $0 \leqslant b < 1$, every graph in the class with $m$ edges admits a balanced separator of size $\mathcal O(m^b)$. We show that Max Weight Independent Set (MWIS) admits a deterministic quasipolynomial-time approximation scheme (QPTAS) on every such class. In particular, this applies to graphs excluding any fixed graph as an induced minor, by a separator theorem of Korhonen and Lokshtanov [SODA 2024]. Our theorem generalizes the QPTASes for axis-parallel rectangles [Adamaszek and Wiese, FOCS 2013] and polygons [Adamaszek, Har-Peled, and Wiese, JACM 2019], or equivalently for packing connected subgraphs of a planar graph [Pilipczuk, van Leeuwen, and Wiese, Algorithmica 2020]. It also generalizes the QPTAS for MWIS on hereditary classes with strongly sublinear separators measured in vertices [Dvořák, EJC 2018; Dvořák and Lahiri, ESA 2021], as well as the QPTASes for graphs excluding particular induced minors [Chudnovsky et al., arXiv 2025; Bonnet et al., SWAT 2026; Czyżewska et al., arXiv 2026].
Boolean dimension and dim-boundedness: Planar cover graph with a zero
In 1989, Nešetřil and Pudlák posed the following challenging question: Do planar posets have bounded Boolean dimension? We show that every poset with a planar cover graph and a unique minimal element has Boolean dimension at most $10$. As a consequence, we are able to show that there is a reachability labeling scheme with labels consisting of $\mathcal{O}(\log n)$ bits for planar digraphs with a single source. The best known scheme for general planar digraphs uses labels with $\mathcal{O}(\log^2 n)$ bits [Thorup JACM 2004], and it remains open to determine whether a scheme using labels with $\mathcal{O}(\log n)$ bits exists. The Boolean dimension result is proved in tandem with a second result showing that the dimension of a poset with a planar cover graph and a unique minimal element is bounded by a linear function of its standard example number. However, one of the major challenges in dimension theory is to determine whether dimension is bounded in terms of standard example number for all posets with planar cover graphs.
Ordinary and measurable colorings of Euclidean three-space
A proper coloring of Euclidean space is a coloring that assigns different colors to points at distance one. Using the planar character-law rigidity theorem of OpenAI, we prove that every finite proper coloring of $\R^3$ can be replaced by a proper Lebesgue-measurable coloring with the same number of colors. As a corollary we obtain that the ordinary and measurable chromatic numbers of $\R^3$ are equal, and both lie between $7$ and $15$.
A chain theorem for planar PM-compact bricks
A connected graph $G$ is matching covered if it contains at least one edge and every edge belongs to some perfect matching of $G$. A matching covered graph is a brick if it is 3-connected and after removing any two vertices, the resulting graph has a perfect matching. Bricks are the building blocks of matching covered graphs.
A brick $G$ is extremal if the incidence vectors of all perfect matchings are linearly independent over $\mathbb{R}$. Zhou et al. [On planar extremal nonsolid bricks, J. Graph Theory, 2026] proved that for every planar extremal brick $G$, there exists a sequence of planar extremal bricks $G_0,G_1,\dots,G_n$ such that the underlying graph of $G_n$ is an odd wheel, $G_0=G$, and each $G_i$ $(0\leq i < n)$ has a triangle $T_i$ such that $G_i/T_i = G_{i+1}$, where $G_i/T_i$ means contracting the triangle $T_i$ into a single vertex.
In this paper, the result of Zhou et al. is generalized to planar PM-compact bricks, a larger class of bricks including extremal bricks. We present a chain theorem for planar PM-compact bricks: for every planar PM-compact brick $G$, there exists a sequence of planar PM-compact bricks $G_0,G_1,\dots,G_n$ such that the underlying graph of $G_n$ is an odd wheel, $G_0=G$, and each $G_i$ $(0\leq i < n)$ contains a triangle $T_i$ such that $G_i/T_i = G_{i+1}$.
Every n points in the plane contain (m1 + o(1)) n points with no unit distance
Let $f(n)$ be the largest integer such that every set of $n$ points in the plane contains $f(n)$ points no two at distance $1$, and let $m_1$ be the supremum of the upper densities of Lebesgue measurable planar sets with no two points at distance $1$. Larman and Rogers observed that $f(n) \ge m_1 n$. We prove that $f(n)/n \to m_1$; that is, $f(n) = (m_1 + o(1))n$. This is the first half of a conjecture of Dúcz and Varga, and with the bound $m_1 \le 0.247$ of Ambrus, Csiszárik, Matolcsi, Varga and Zsámboki it gives $f(n) \le (0.247 + o(1))n$. The proof builds a random independent subset of the algebraic plane, invariant under algebraic translations and rotations, whose probability of containing the origin is at least the worst finite independence ratio, and turns it into a measurable planar set of at least that upper density. Its only non-classical input is the Haar rigidity theorem for wild character laws from the OpenAI preprint The Euclidean plane is not five-colorable, which has a machine-checked Lean proof. The whole argument has been formalized in Lean 4 on top of it.
The Origami flip graph of the $2\times n$ Miura-ori
Published in Journal of Graph Algorithms and Applications, Vol. 30, No. 1 (2026), 421-444
• View Publication
• BIB
Given an origami crease pattern $C=(V,E)$, a straight-line planar graph embedded in a region of $\mathbb{R}^2$, we assign each crease to be either a mountain crease (which bends convexly) or a valley crease (which bends concavely), creating a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$. An MV assignment $μ$ is locally valid if the faces around each vertex in $C$ can be folded flat under $μ$. In this paper, we investigate locally valid MV assignments of the Miura-ori, $M_{m,n}$, an $m\times n$ parallelogram tessellation used in numerous engineering applications. The origami flip graph $OFG(C)$ of $C$ is a graph whose vertices are locally valid MV assignments of $C$, and two vertices are adjacent if they differ by a face flip, an operation that swaps the MV-parity of every crease bordering a given face of $C$. We enumerate the number of vertices and edges in $OFG(M_{2,n})$ and prove several facts about the degrees of vertices in $OFG(M_{2,n})$. By finding recurrence relations, we show that the number of vertices of degree $d$ and $2n-a$ (for $0\leq a$) are both described by polynomials of particular degrees. We then prove that the diameter of $OFG(M_{2,n})$ is $\lceil \frac{n^2}{2}\rceil$ and find lower bounds on the diameter of $OFG(M_{m,n})$ using techniques from $3$-coloring reconfiguration graphs.
Spread-out Furstenberg sets II: general configurations and fractal restricted projections
We prove optimal dual Furstenberg estimates for Frostman and Katz--Tao configurations for which the shadings are not locally concentrated near pencils. The starting point is the sticky estimate of Orponen and Shmerkin in a companion paper. We deduce restricted projection theorems in the plane and in higher dimensions. In particular, Ahlfors-regular measures on the circle satisfy a Marstrand-type projection theorem. Applications include restricted projections to surfaces in the $\mathbb{G}(4,2)$ Grassmannian, pinned distances, discretized sum-product, and a new proof of the dimension formula for planar self-affine sets.
The Upper Clique Transversal Problem: Hardness and Algorithms
A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the ''upper'' variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, cubic planar bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs, proper interval graphs, and cographs, and in polynomial time for graphs of bounded cliquewidth. We conclude the paper with a number of open questions.
Stranding $\mathfrak{sl}_n$ webs
Webs are planar directed graphs that encode invariant vectors for tensor products of fundamental $U_q(\mathfrak{sl}_n)$-representations. For $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$, web calculus is governed by effective reduction rules and well-understood reduced-web bases, but these features break down in higher rank. In this paper we develop a global combinatorial framework for untagged $\mathfrak{sl}_n$ webs, called \emph{strandings}, which organizes local labeling data into systems of colored directed paths on the web graph.
Our main result is an explicit state-sum formula for the invariant vector of an untagged web as a weighted sum over its valid strandings. The usual labeling-based construction requires a choice of decomposition into elementary web pieces and a vertex-by-vertex coefficient calculation. Our global reformulation avoids both. We prove that the vectors produced by strandings are $U_q(\mathfrak{sl}_n)$-invariant, compare the untagged theory with the tagged-web framework of Cautis, Kamnitzer, and Morrison, and use this comparison to obtain a complete set of relations for untagged web graphs. We also give applications of strandings to nonvanishing results, basis constructions from tableaux, and connections with Springer-theoretic combinatorics.
High order integration of stochastic dynamics on Riemannian manifolds with frozen flow methods
We present a new class of numerical methods for solving stochastic differential equations with additive noise on general Riemannian manifolds with high weak order of accuracy. In opposition to the popular approach with projection methods, the proposed methods are intrinsic: they only rely on geometric operations and avoid coordinates and embeddings. We provide a robust and general convergence analysis and an algebraic formalism of exotic planar Butcher series for the computation of order conditions at any high order. To illustrate the methodology, an explicit method of second weak order is introduced, and several numerical experiments confirm the theoretical findings and extend the approach for the sampling of the invariant measure of Riemannian Langevin dynamics.
Frugal coloring in planar graphs with maximum degree 4 and 5
A proper coloring of vertices of a graph $G$ is called $t$-frugal if no color appears more than $t$ times in the neighborhood of any vertex of $G$. While $1$-frugal coloring coincides with $2$-distance coloring, we study $2$-frugal colorings of planar graphs with maximum degree $4$ and $5$, respectively. We prove that every planar graph with maximum degree $4$ admits a $2$-frugal coloring with $7$ colors, while a planar graph with maximum degree $5$ admits a $2$-frugal coloring with $10$ colors. The results present variations of parts of the famous Wegner's conjecture, which for planar graphs with maximum degree $Δ\in\{4,\ldots,7\}$ states that their $2$-distance chromatic number is at most $Δ+5$.
Minor exclusion and planar rigidity
We prove that every connected, locally finite, quasi-transitive graph which is quasi-isometric to a graph excluding a countable clique as a minor is quasi-isometric to a planar graph. Consequently, every finitely generated group with such a quasi-isometry is virtually planar, meaning that some finite-index subgroup admits a planar Cayley graph.
We also show that a connected, locally finite, quasi-transitive graph admitting a regular map into a bounded-degree graph excluding some finite minor admits a regular map into a bounded-degree planar graph. If the source is accessible, the target need only exclude a countable clique. Combined with work of Mackay, Spriano, and the present author, this shows that a finitely presented group admits a regular map into a bounded-degree graph excluding a countable clique if and only if it is virtually planar.
Volume stability of plank covers
We prove a longstanding conjecture of András Bezdek on the stability of plank covers of the planar disk $D$. If a sufficiently small disk $\varepsilon D$ is removed, then every finite family of planks covering the resulting annulus can be rearranged to cover the whole disk. For the proof, we establish a stronger dimension-independent stability theorem. If $K \subset {\mathbb R}^n$ is an origin-symmetric convex body for $n \geq 2$, and the uncovered region lies in $\varepsilon K$ and has volume $v$, then the excess overlap is at least $c v/\varepsilon$, where $c>0$ is an absolute constant. The proof introduces a pruning procedure and a flattening mechanism. Pruning peels away curvature through local removals whose cumulative effect is guaranteed to be substantial. Flattening trades straightness for bounded multiplicity and geometrically exposes the overlap that pays for each pruning step.
Spreads of degrees in maximal planar graphs -- an exposition
For a graph $G$ and a set $B\subseteq V(G)$, the spread $\mathrm{sp}(B)$ of $B$ is the difference between the largest and the smallest degree in $G$ of a vertex of $B$, and for an integer $k\geq 0$ the parameter $\mathrm{sp}(G,k)$ is the largest cardinality of a set $B$ with $\mathrm{sp}(B)\leq k$. Caro, Lauri and Zarb asked for the minimum of $\mathrm{sp}(G,k)$ over the maximal planar graphs of order $n$; we write $\mathrm{MP}(n,δ,k)$ for this minimum over the maximal planar graphs of order $n$ and minimum degree $δ\in \{3,4,5\}$.
This manuscript is intended as an exposition of the subject of spread in the degree sequence of a graph $G$, with emphasis on maximal planar graphs. We apply the general lower bound of the companion paper \cite{P1} to this class, together with further ideas, some based on Caro--West and Caro--Lauri--Zarb and some new. In particular we asymptotically determine the values of $\mathrm{MP}(n,δ,k)$ for every pair $(δ,k)$ with $δ\in \{3,4,5\}$ and $k\geq 0$. This solution recovers the case $\mathrm{MP}(n,δ,0)$, which is the repetition number $\mathrm{rep}(G)$ introduced by Caro and West.