planar
3208 papers tagged with this keyword
Degreewise Cut-Semigroup Saturation for $K_5$-Minor-Free Graphs and Seymour's Planar Edge-Colouring Conjecture
For every positive integer $k$, we prove that the homogeneous cut semigroup of every $K_5$-minor-free graph is saturated at height $k$ if and only if every planar $k$-graph is $k$-edge-colourable. Here a $k$-graph is a loopless $k$-regular multigraph in which every odd vertex cut has size at least $k$. A triangle expansion of a cubic plane dual converts cut decompositions into perfect-matching decompositions. The converse uses symmetric difference with a fixed perfect matching. The equivalence identifies the normality conjecture for $K_5$-minor-free cut polytopes with Seymour's planar edge-colouring conjecture. In particular, the known cases $k\leq 8$ give saturation through height eight.
B-coloring of $K_{2,t}$-free planar graphs
A B-coloring of a graph $G$ is a proper edge-coloring in which every $4$-cycle receives four distinct colors; let $q_B(G)$ be the minimum number of colors in such a coloring. Every graph of maximum degree $Δ$ is $K_{2,Δ+1}$-free; hence the known $2Δ$ bound for planar graphs with $Δ\ge38$ (Kong et al., 2026) motivates our study of $K_{2,t}$-free planar graphs, where $t\ge2$ is an integer. We prove $q_B(G)=Δ(G)$ when $t=2$ and $Δ(G)\ge7$, or when $t\ge3$ and $Δ(G)\ge14(t-1)$. For $t\ge35$, the bound $q_B(G)\leΔ(G)+t-1$ holds regardless of $Δ(G)$; for every $t\ge2$, it also holds when $Δ(G)>428$. Finally, for every integer $k\ge1$, every $k$-degenerate $K_{2,t}$-free graph satisfies $q_B(G)\leΔ(G)+(k-1)\min\{t-1,Δ(G)\}$, with equality for $K_{k,t-1}$ when $k\ge2$ and $t-1\ge k$.
A Survey of Graph Polynomials Related to the Chromatic Polynomial
Introduced by Birkhoff in 1912 to study the four-color conjecture, the chromatic polynomial has become one of the most extensively studied graph polynomials. It is closely connected to the Tutte polynomial through specialization, to the characteristic polynomial of the associated graphic matroid, and to the flow polynomial through planar duality. It has also inspired several related polynomials, including the $σ$-polynomial, the $w$-polynomial, and the $τ$-polynomial. This survey examines these relationships, illustrated in Figure 1, and reviews the main results.
On the Number of Almost Empty Monochromatic Triangles
In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.
Almost Linear Universal Point Sets for Planar Graphs
A point set is universal for planar graphs on $n$ vertices if every such graph has a straight-line drawing without crossings whose vertices belong to the set. We construct universal point sets of size $n^{1+o(1)}$, improving the previous quadratic upper bound. Our construction uses the reduction of Bannister, Cheng, Devanny, and Eppstein from universal point sets to superpatterns for $213$-avoiding permutations. We represent these permutations by ordered rooted forests and construct a small family of intervals containing every such forest. The result follows from a straightforward bound on the size of the family of intervals. GPT-6 Astra assisted in developing the construction and proof.
Max Independent Set Remains NP-hard when Excluding a Planar Induced Minor
We show that there is a fixed planar graph $H$, namely the $5 \times 5$ grid, such that Max Independent Set remains NP-hard in $H$-induced-minor-free graphs. This refutes the Dallard--Milanič--Štorgel conjecture and a weakening of it by Gartland and Lokshtanov, and by Korhonen.
k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
We introduce, for every surface $Σ$, a two-way connection between definability of a graph class $\mathcal C$ by FO transductions (first-order logical transformations) of the graphs embeddable in $Σ$ and a certain variant of fan-crossing drawings of the graphs from $\mathcal C$ in $Σ$. If $\mathcal C$ is additionally of bounded maximum degree, then the restriction on drawings of the graphs from $\mathcal C$ in $Σ$ is simply to have a bounded number of crossings per edge (such as being $k$-planar for fixed~$k$ if $Σ$ is the plane). For graph classes, this connection allows us to derive non-transducibility results from the nonexistence of the said drawings and, conversely, from the nonexistence of a transduction to derive nonexistence of the said drawings. One example of such reasoning is as follows; since the class of 3D-grids is not transducible from the class of planar graphs, we can conclude that the class of 3D-grids is not $k$-planar for any fixed~$k$. On the other hand, the fact that the class of 3D-grids is not $k$-planar for any fixed~$k$ is known also via other means, and this conversely implies that the class of 3D-grids is not transducible from the class of planar graphs. We hope that this connection will help to draw a path to a possible proof that not all toroidal graphs are transducible from planar graphs.
The result is based on a recent characterization of weakly sparse FO transductions of classes of bounded expansion by [Gajarský, Gładkowski, Jedelský, Pilipczuk and Toruńczyk, arXiv:2505.15655].
Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$. Subsequently, a substantial line of work studied homomorphism indistinguishability over restricted graph classes. For example, homomorphism indistinguishability over minor-closed graph classes $\mathcal{F}$ such as the class of planar graphs, the class of graphs of treewidth $\leq k$, pathwidth $\leq k$, or treedepth $\leq k$, was shown to be equivalent to quantum isomorphism and equivalences with respect to counting logic fragments, respectively.
Via such characterisations, the distinguishing power of e.g. logical or quantum graph isomorphism relaxations can be studied with graph-theoretic means. In this vein, Roberson (2022) conjectured that homomorphism indistinguishability over every graph class excluding some minor is not the same as isomorphism. We prove this conjecture for all vortex-free graph classes. In particular, homomorphism indistinguishability over graphs of bounded Euler genus is not the same as isomorphism. As a negative result, we show that Roberson's conjecture fails when generalised to graph classes excluding a topological minor.
Furthermore, we show homomorphism distinguishing closedness for several graph classes including all topological-minor-closed and union-closed classes of forests, and show that homomorphism indistinguishability over graphs of genus $\leq g$ (and other parameters) forms a strict hierarchy.
Uniform meandric systems as percolation on planar maps: conjectures and a numerical study
We perform a numerical study of uniform meandric systems via their encoding by pairs of simple random walks and their interpretation as a model of critical percolation on random planar maps. We investigate certain natural box-crossing events and provide numerical evidence for a strong negative association between opposite open crossings and formulate conjectures on their asymptotic behavior. Our second contribution is a simple law-preserving dynamics on meandric systems, by local peak/valley flips in the walk encoding. Our simulations suggest that the percolation structure decorrelates much faster than the underlying random planar map.
The maximum spectral radius of outerplanar and planar $k$-uniform hypergraphs
For an integer $k\ge3$, a $k$-angulation is a simple $2$-connected outerplane graph whose interior faces are bounded by $k$-cycles, and a closed $k$-angulation is a simple $2$-connected plane graph all of whose faces, the outer face included, are bounded by $k$-cycles; the face hypergraph of either is the $k$-uniform hypergraph whose edges are the vertex sets of those faces. For $k=3$ these are the outerplanar and planar hypergraphs of Ellingham, Lu and Wang, who determined the outerplanar extremal hypergraph for large $n$ and conjectured the planar one. In this paper, we determine the extremal hypergraphs in both classes for every $k$. In the outerplanar case, for all sufficiently large admissible $n$, it is the fan, in which a single vertex lies on every face, and the maximum equals $(4f)^{1/k}(1+o(1))$ with $f=(n-2)/(k-2)$. In the planar problem the maximum has order $n^{1/3}$ when $k=3$ and order $n^{2/k}$ when $k\ge4$. For $k\ge4$ the extremal hypergraphs are the face hypergraphs of the balanced theta graphs, in which two vertices are joined by internally disjoint paths and every face is a $k$-cycle through both: for $k=4$, where the closed $4$-angulations are the quadrangulations of the sphere, this holds for every $n\ge5$, the extremal hypergraph being $\mathcal{H}(K_{2,n-2})$, and for $k\ge5$ for all sufficiently large admissible $n$. For $k\ge6$ the extremal hypergraph is not unique: when the number of faces is even there are exactly $\lfloor(k-2)/2\rfloor$ of them up to isomorphism. For $k=3$ two vertices of a plane triangulation lie on at most two common faces, the balanced theta graphs are unavailable, and the extremal hypergraph is instead, for all sufficiently large $n$, the face hypergraph of $K_2+P_{n-2}$; this confirms a conjecture of Ellingham, Lu and Wang.
A Resolution of the de Bruijn--Erdős Consecutive-Gap Problem
Let $(x_n)_{n\geq1}$ be a sequence of distinct points on the unit circle. An $r$-span is the total length of $r$ consecutive gaps determined by the inserted points. Write $M_n^{(r)}$ and $m_n^{(r)}$ for the largest and smallest $r$-spans after the first $n$ insertions. We prove that there is an absolute constant $c>0$ such that, for every sufficiently large $r$, \[
\limsup_{n\to\infty}\bigl(nM_n^{(r)}-r\bigr)
\geq c\sqrt{\log r},
\qquad
\limsup_{n\to\infty}\bigl(r-nm_n^{(r)}\bigr)
\geq c\sqrt{\log r}, \] and \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}
\geq 1+\frac{\log r}{100r}. \] Thus all three asymptotic conjectures made by de Bruijn and Erdős in 1949 are resolved. The ratio bound matches the upper bound of Clément and Steinerberger up to an absolute constant and answers a question of Brethouwer. The proofs compare interval counts at nearby times. Pointwise control leads to a one-dimensional sequence-discrepancy argument for the ratio, while averaged control and Halász's planar $L^1$ discrepancy theorem give the two one-sided conclusions.
On Few-Distance Sets in the Plane
Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.
Matchings and Clusters on Plabic Fences
Fix two positive braid words $β_+,β_-$, and let $\text{Conf}(β_+,β_-)$ be the corresponding (type A) double Bott-Samelson variety. Let $β$ be a double braid word containing $β_+,β_-$ as the top, bottom words. We consider the open cluster torus $T(C_β)$ associated to a triangulation $C_β$ in $\text{Conf}(β_+,β_-)$ from arXiv:1904.07992, and we identify these with weighted plabic fences, where the usual local moves on planar bipartite graphs naturally correspond to change of torus coordinates in double Bott-Samelson variety. Moreover, $T(C_β)$ can be parametrized explicitly by certain matrix products, and also has monomial coordinates given by the cluster variables, which are matrix minors. We interpret these minors as a generalized notion of perfect matchings on weighted plabic fences, which may not be reduced plabic graphs. Using this interpretation, we show that the cluster variables are given by "generalized minimal matchings", extending the minimal matchings from arXiv:1606.08383. Lastly, we derive a Chamber Ansatz formula for double Bott-Samelson varieties via face alternating products from dimer theory. In general, plabic fences are not reduced plabic graphs, yet we are able to extend and apply the standard tools such as local moves on plabic graphs, trips, and minimal matchings to them.
A graph reconstruction problem involving common neighbors
Given a simple graph $G = (V, E)$ on $v$ vertices and two distinct vertices $x, y \in V$, the co-degree $c_{x,y}$ associated to the pair $\{x, y\}$ is the number of their common neighbors in the graph $G$. The co-degree sequence of $G$, denoted by $γ(G)$, is the list of all the co-degrees associated to all the possible pairs of distinct vertices, arranged in non-increasing order. In this paper we consider the following problem, which can be viewed as a generalization of a result by Erdős and Gallai as well as of the Erdős, Rényi and Sós' friendship theorem: given an integer $v\geqslant 2$ and a sequence $γ$ of nonnegative integers arranged in non-increasing order, establish if there exists a simple graph on $v$ vertices having $γ$ as its co-degree sequence and, in case of positive answer, provide such a graph. We provide a full answer to this problem for the class of planar $C_4$-free graphs.
On the classification of regular graphs with positive Lin-Lu-Yau curvature
We prove several new structural and classification results about $d$-regular graphs with positive Lin--Lu--Yau (LLY) curvature. We show that any positively curved $d$-regular graph has diameter at most $2d-2$, which improves the previously best known diameter bound obtained from the Bonnet-Myers-type theorem for positively curved graphs. We further show that every positively curved $d$-regular graph with $d\ge 3$ is $3$-connected. We classify all positively curved $3$-regular graphs, as well as all positively curved regular planar graphs.
An Algebraic Approach to the Arithmetic of Square Tilings
It is a classical result dating back to Dehn (1903) that squares tiling a rectangle must have rational side lengths. However, bounding the arithmetic complexity of these tilings, specifically the growth of their denominators, is an active area of research. Recent contributions have tackled these arithmetic constraints through the complexity of planar multigraphs and Diophantine approximations. In this paper, we offer an algebraic perspective of this problem by encoding the tiling's geometry into a block matrix. This approach allows us to reduce geometric constraints to a finite set of additive relations. By exploiting the total unimodularity of interval matrices (Ghouila-Houri, 1962), we provide a self-contained proof that the least common multiple of the denominators is bounded by $2^n$ in two dimensions, where $n$ is the order of the tiling. Furthermore, because we can naturally generalizes this matrix to represent $d$-dimensional hypercube tilings, yielding a bound of $d^n$. We demonstrate the utility of this framework by providing a brief proof of Richard Kenyon's 1996 theorem regarding the minimum number of squares required to tile an integer rectangle.
The Borowiecki-Broere Generalized Total Coloring Conjecture for Planar Graphs
We prove the conjecture of Borowiecki and Broere that every finite simple planar graph admits a generalized total coloring with four colors: a proper vertex coloring with four colors together with an edge coloring with four colors in which each edge color class is a forest and no edge receives the color of either endpoint. In fact every proper four-coloring of such a graph extends to an edge coloring of the required kind. The proof combines a component-count inequality for planar graphs whose vertices are partitioned into four independent sets, obtained by completing to a triangulation, with the matroid partition theorem applied to four graphic matroids. A Lean 4 formalization relative to six named background assumptions is described below.
On the maximum number of triangles in tripartite graphs with no $4$-cycles between any two parts
Let $G$ be a $3$-partite graph with $k$ vertices in each part such that the bipartite graph induced by any two parts contains no cycle of length four. Fischer and Matoušek [J. Combin. Theory Ser. A, 2001] asked for the maximum number of triangles in such a graph. They obtained the lower bound $(1-o(1))k^{3/2}$ and the upper bound $k^{7/4}+O(k^{3/2})$. Coulter, Matthews and Timmons [J. Combin. Theory Ser. B, 2018] later constructed such graphs using planar polynomials over finite fields and improved the lower bound to $(1-o(1))k^{5/3}$. In this note, we use a new triple of planar polynomials and further improve the lower bound to $(1-o(1))k^{17/10}$.
Distance statistics of block-weighted planar quadrangulations
We study random planar quadrangulations in which each block -- i.e., each simple (without multiple edges) component -- is assigned a weight $u$. We derive an explicit expression for the distance-dependent two-point function, defined as the generating function of such block-weighted maps with two marked edges at a fixed graph distance. Using contour integral representations in two variables combined with a delicate saddle-point analysis, we compute the associated distance profile in the scaling limit of large quadrangulations. We recover the known phase transition at $u = 9/5$, characterized by distinct scaling exponents and different scaling functions, below, at, and above criticality. We also discuss the block distance profile, where the two marked edges are conditioned to lie within the same block.
All polyhedral graphs with at most 16 vertices are Schurian: a computational verification
Li, Ponomarenko and Zeman state their belief that every polyhedral graph (i.e. every $3$-connected planar graph) is Schurian: that its coherent closure $WL(X)$ coincides with the orbital configuration of $Aut(X)$. Combined with their Theorem 1.1, this would imply that every polyhedral graph has Weisfeiler-Leman dimension at most $2$. We report a computational verification of the Schurian property for all polyhedral graphs with at most $16$ vertices, a total of 413,024,847,068 graphs, none of which is non-Schurian. The computation combines the generator plantri with a one-sided $1$-WL discreteness filter and, for every graph surviving that filter, a full comparison of the stable $2$-WL partition of $Ω^2$ with the orbit partition of $Aut(X)$. The computation is guarded by the published anchor counts, a seeded re-enumeration of the two largest stages, independent nauty cross-checks and control graphs with mathematically fixed verdicts; code, checkpoints and a verification script accompany the note as ancillary files. For $n\le 13$ the result reproduces what already follows from the published enumeration of coherent configurations, by an entirely different route; from $n=14$ on, deriving it from that side would require a step we could not find in the literature, and at $n=16$ the all-graphs statement fails outright - the Shrikhande graph is non-Schurian - so there the polyhedral restriction carries the result. The statement is established by exhaustive computation; with respect to the general conjecture it is instance evidence, not a proof. A companion note treats the torus side, where non-Schurian triangulation graphs do occur at $n = 16$.