planar
3152 papers tagged with this keyword
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.
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 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}$.
The Erdős-Pósa Property for Colorful Minors
A colorful graph relation enhances the minor relation by merging color sets along contractions and by allowing the removal of colors; it generalizes rooted minors and models problems on graphs with several, possibly overlapping, annotated vertex sets. A graph has the Erdős-Pósa property for minors if and only if it is planar, by a classical theorem of Robertson and Seymour. In this work we determine, for the colorful minor relation, exactly which colorful graphs have the Erdős-Pósa property. Our characterization takes three equivalent forms. The first is structural: the colorful graphs with the property are those that can be drawn with all their colored vertices on one face and whose colors are, in a precise sense, laid out along that face without interleaving. The second is given by an obstruction set: they are those excluding every member of an explicit infinite family $\mathcal{O},$ of which only $\mathbf{O}(|I|^{4})$ members have colors that are a subset of $I,$ for every finite set $I$ of colors. The third is grid-like: they are exactly the colorful minors of unions of particular families of segregated grids, the colorful analogues of the grids that drive the classical proof.
Ramsey properties of maximal (outer)planar graphs
We study a natural extension of Ramsey theory relative to the classes of maximally planar and maximally outerplanar graphs. This can be seen as a continuation of the study of `Planar Ramsey theory', introduced by Axenovich et al. The question we ask is the following: For a fixed family $\mathcal{K}$ of graphs and a pair of graphs $\{H,F\}$, does there exist an integer $r_{\mathcal{K}} (H, F)$ such that for every graph $G \in \mathcal{K}$ with $|G| \geq r_{\mathcal{K}}(H, F)$, every red/blue edge-colouring of $G$ admits a red copy of $H$ or a blue copy of $F$? When such an integer exists, we say $\{H,F\}$ is unavoidable in $\mathcal{K}$,, and otherwise $\{H,F\}$ is avoidable in $\mathcal{K}$.
Our work focuses on this problem where $\mathcal{K} = \mathcal{K}_{\mathrm{MOP}}$ and $\mathcal{K} = \mathcal{K}_{\mathrm{MP}}$, which denote the families of maximal outerplanar (MOP) graphs and maximal planar (MP) graphs, respectively. This framework generalises the classical Ramsey problem relative to these classes, as the case with $\mathcal{K} = \{K_n \colon n \geq 2\}$ corresponds to classical Ramsey. We also study the corresponding Ramsey numbers for MOP and MP, which we denote as $r_{\mathrm{MOP}}(H, F)$ and $r_{\mathrm{MP}}(H, F)$.
In the case when $\mathcal{K} = \mathcal{K}_{\mathrm{MOP}}$, we completely determine all unavoidable pairs $\{H, F\}$ with $|E(F)| \geq 2$, together with upper bounds and sometimes exact values of $r_{\mathrm{MOP}}(H, F)$. When $\mathcal{K} = \mathcal{K}_{\mathrm{MP}}$, we completely determine all unavoidable pairs in the diagonal case $\{H, H\}$ when $H$ is connected, showing that $H$ must be one of the graphs $P_3$, $P_4$, $P_5$, $K_{1, 3}$ or the fork graph $S_{2,1,1}$.
This work opens up further possibilities in the study of Ramsey theory relative to a class, and we offer several open problems in this vein.
Non-Hamiltonian $\frac{3}{2}$-Tough Plane Triangulations
By Tutte's classic theorem of 1956 that every 4-connected planar graph is Hamiltonian, every planar graph of order at least three with toughness greater than $\frac{3}{2}$ is Hamiltonian. In 1999, Owens constructed a sequence of maximal planar graphs whose toughness approaches $\frac{3}{2}$ from below and which do not contain even a 2-factor, and he asked whether there exists a maximal planar graph with toughness exactly $\frac{3}{2}$ and with no 2-factor. In 2025, Shan constructed a $\frac{3}{2}$-tough plane triangulation with no 2-factor. In that construction, there are many pairs of vertices of degree $3$ that have a common neighbor. By imposing a distance condition on the vertices of degree $3$, Hao, Ma, Shan, and Yang recently proved that every $\frac{3}{2}$-tough plane triangulation of order at least three whose vertices of degree $3$ are pairwise at distance at least $3$ has a 2-factor, and they asked whether every such graph is Hamiltonian. We answer this question in the negative, and in fact prove the following stronger statement: for every positive integer $\ell$, there exists a $\frac{3}{2}$-tough non-Hamiltonian plane triangulation whose vertices of degree $3$ are pairwise at distance at least $\ell$. Thus, although the distance condition guarantees the existence of a 2-factor, it does not guarantee that the graph is Hamiltonian: the essential obstruction to a Hamiltonian cycle is a certain local configuration involving a vertex of degree $3$, rather than the proximity of such configurations in the graph.
The scramble number of outerplanar graphs
For planar graphs, it is known that their treewidth is bounded by $O(\sqrt{n})$, where $n$ is the number of vertices of the graph. A related invariant to treewidth, is the scramble number of graphs. Recently, Connor et. al proved that planar graphs of bounded maximal degree have scramble number bounded by $O(\sqrt{n})$. An open question is whether the scramble number of any planar graph follows this same bound. We give a definitive answer with an explicit bound for a subset of planar graphs, the simple outerplanar graphs and the simple near outerplanar graphs.
Regularised double shuffle relations for planar Arborified Zeta Values
We endow spaces of decorated planar rooted trees with new dendriform and tridendrifrom algebra structures and provide their combinatorial description. We then show that the planar counterparts of Arborified Zeta Values are algebra morphisms for these shuffle and quasi-shuffle products of planar rooted trees. We also prove an arborified version of Hoffman's regularisation relation for Arborified Zeta Values. We conjecture that those give every rational relation between Arborified Zeta Values and show that this conjecture implies the regularised double shuffle conjecture for Multiple Zeta Values.
The Class Edge-Reconstruction Number of a Maximal Planar Graph Is One or Two
An edge card of a graph is obtained by deleting one edge, and a class edge-reconstruction number asks for the fewest carefully selected cards that identify the graph when its class is known. We determine the sharp universal bound for maximal planar graphs. Two selected cards always suffice, and the octahedral graph shows that two can be necessary; some maximal planar graphs are already identified by one card. The argument exploits the fact that deleting a flippable edge leaves a single quadrilateral whose two diagonals give the only possible maximal-planar completions. Degree information then rules out the competing completion, with a separate argument for graphs containing a vertex of degree three. This settles a problem posed in a 2010 survey on reconstruction numbers.
Geometry-dependent rank defect in $C^1$ cubic spline space
Determining the dimension of the $C^1$ cubic spline space $S_3^1(\mathcal{T})$ on an arbitrary nondegenerate planar triangulation has remained unresolved since the 1970s. Schumaker's lower bound includes a local correction $σ$ for singular interior four-stars, and it was conjectured that this bound is always attained. We disprove this conjecture by constructing a one-parameter family of nondegenerate realizations of a fixed 18-triangle complex, with only the central vertex moving as $v_6(t)=(t,0)$ on the admissible interval $I=(-3/4,24/55)$. The family exhibits three distinct cases. For $t\in I\setminus\{1/5,3/83\}$, the lower bound is attained and $\dim S_3^1(\mathcal{T}(t))=33$. At $t=3/83$, the central four-star is singular, $σ=1$, and the resulting dimension 34 is exactly accounted for by the classical local correction. At $t=1/5$, however, all interior vertices are nonsingular and $σ=0$, yet $\dim S_3^1(\mathcal{T}(1/5))=34>P_{\mathcal{T}(1/5)}(1,3)=33$. The smoothing-cofactor calculation shows that the dependence at $t=3/83$ is confined to the central vertex block, whereas the dependence at $t=1/5$ couples all seven interior vertex cycles even though every individual block has full row rank. A complementary Bernstein--Bézier calculation gives the same dimension profile. Thus the singular-four-star correction does not capture every geometry-dependent contribution to $\dim S_3^1(\mathcal{T})$; genuinely global compatibility must also be taken into account.
The Truncated Octahedral Graph Has Bondage Number Five
For a graph G, its bondage number b(G) is the minimum number of edges whose deletion increases its domination number. Dunbar, Haynes, Teschner, and Volkmann conjectured in 1998 that every nontrivial planar graph satisfies b(G) <= Delta(G) + 1. We show that the truncated octahedral graph T has gamma(T) = 8 and b(T) = 5. Since T is planar and cubic, this gives b(T) = 5 > 4 = Delta(T) + 1 and disproves the conjecture. The finite parts of the verification are exhaustive: the direct verifier checks candidate dominating sets of sizes six, seven, and eight and all 58,905 four-edge sets. The targeted discovery search and an independently written verifier are described, and the complete C++20 verifier is included in the source archive.
Extremal Asymmetric Depth of Planar Graphs and Hidden Near-Mirror Symmetries of IPR Fullerenes
Although almost all graphs are asymmetric -- having no nontrivial global automorphisms -- they may still possess local symmetries in the form of isomorphisms between induced subgraphs, i.e., partial automorphisms. We study such local symmetries via asymmetric depth, defined in terms of the maximum rank of a nontrivial partial automorphism. We prove a tight upper bound on asymmetric depth in the class of planar graphs and identify the extremal graphs: duals of IPR fullerenes attain the maximum already on $47$ vertices. Our main structural result concerns the IPR fullerenes that are neither maximally asymmetric nor symmetric. In such a cage no purely local action realises a low asymmetric depth, and we show that the map which does realise it cannot be confined to a small part of the cage either: neither to a single face, nor behind an interface of at most $5-k$ edges, $k \le 3$ being the deficiency. A cage of asymmetric depth $2$ or $3$ is therefore not asymmetric in one place; it carries a broken symmetry invisible to its automorphism group. Such cages are rare -- under $2\%$ of the asymmetric IPR fullerenes at $n = 118$. In all $727$ of them the largest partial automorphism is a near-mirror reflection, which we state as an explicit conjecture. We also extend the asymmetric depth bound to graphs of higher genus.
On embeddings of the difference graph of the intersection power graph and the power graph
The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The intersection power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices $x$, $y$ are adjacent if $\langle x\rangle \cap \langle y \rangle \neq \{e\}$. The difference graph $\mathcal{D}(G)$ of a finite group $G$ is the difference of the intersection power graph $\mathcal{G}_{1}(G)$ and power graph $\mathcal{P}(G)$ with all isolated vertices removed. We characterized all the finite nilpotent groups $G$ such that the difference graph is planar. Further, we determine all the finite nilpotent groups whose difference graph has genus at most $2$. Moreover, we prove that there does not exist any group whose difference graph is projective planar.
Box-Delaunay graphs of large chromatic number
For every $n$, we construct a 2-dimensional $n$-element poset whose Hasse diagram has independence number $n\exp(-Ω(\sqrt{\log n}))$, and consequently, chromatic number $\exp(Ω(\sqrt{\log n}))$. This also yields an $n$-point planar set whose box-Delaunay graph satisfies the same bounds.
List coloring $C_3$-free planar graphs with a sparse matching of restricted lists
A graph $G$ is $k$-choosable if it has a proper coloring for every $k$-list assignment. While every $C_3$-free planar graph is $4$-choosable, some of them are not $3$-choosable, as constructed by Voigt. Hu and Zhu conjectured that if $G$ is a $C_3$-free planar graph and $X \subseteq V(G)$ induces a bipartite subgraph, then $G$ has a proper $L$-coloring whenever $|L(x)| = 3$ for $x \in X$ and $|L(v)| = 4$ for $v \in V(G) \setminus X$. As evidence, they proved the conjecture when $X$ is an independent set. We provide further evidence by proving the conjecture when the induced subgraph $G[X]$ is an induced sparse matching. This is the first result supporting the conjecture in which the set $X$ receiving smaller lists may induce a subgraph with edges.
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
A $(1^j,2^k)$-packing edge-coloring of a graph $G$ is a partition of the edge set $E(G)$ into $j$ matchings and $k$ induced matchings. Hocquard, Lajou, and Lu\v zar found a subcubic planar graph of girth $3$ that has no $(1,2^5)$-packing edge-coloring and also conjectured that every subcubic planar graph has a $(1,2^6)$-packing edge-coloring. We also notice that for every fixed positive integer $k$ there exists a subcubic planar graph with girth $k$ that is not $(1,2^3)$-packing edge-colorable.
It is natural to consider what is the minimum positive integer $k_1$ such that every subcubic planar graph with girth at least $k_1$ is $(1,2^5)$-packing edge-colorable. Furthermore, we also consider what is the minimum positive integer $k_2$ such that every subcubic planar graph with girth at least $k_2$ is $(1,2^4)$-packing edge-colorable. In this paper, we show both $k_1$ and $k_2$ are finite, and in fact $5 \le k_1 \le 12$ and $6 \le k_2 \le 16$.
Simplicial arrangements in real projective three-space revisited
In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.
Time-Optimal APSP and Matrix Multiplication in Classes of Linear Neighborhood Complexity
The notion of linear neighborhood complexity is a very general structural assumption on a graph class, covering most classes of sparse graphs such as planar graphs, graphs excluding a fixed (topological) minor, or bounded expansion graphs, as well as many structured classes of dense graphs, such as graphs of bounded clique-width, twin-width, merge-width, or flip-width. In this work, we present $O(n^2)$-time optimal algorithms for $n$-vertex graphs coming from a class of linear neighborhood complexity for the following problems: $\bullet$ All-Pairs Shortest Paths, $\bullet$ the multiplication of the adjacency matrix $M$ of the input graph with any $n \times n$ matrix. More specifically, after a quadratic preprocessing, we can multiply $M$ with any $n$-vector in $O(n)$ time.
This solves several questions raised in [Bonnet, Kim, Geniet, Moon; ICALP '26], and improves and generalizes results in several other recent papers [Bonnet, Giocanti, Ossona de Mendez, Thomassé; STACS '23], [Bannach, Marwitz, Tantau; STACS '24], [Anand, van den Brand, McCarty; NeurIPS '26], [Kozma, Opler '26], and [Cardinal, McCarty, Yuditsky '26]. We also extend our results to classes of bounded VC density. In classes of linear neighborhood complexity, we also give a triangle-detection algorithm in randomized linear time $O(n+m)$ in $n$-vertex $m$-edge graphs, a $K_4$-detection algorithm in randomized $O(n \log^5 n + m \log n)$ or deterministic $O(n^2)$ time, and a $K_5$-detection algorithm in randomized $O(n \log^9 n + m \log^5 n)$ time.