planar
3209 papers tagged with this keyword
Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs
Published
• View Publication
• BIB
We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we characterise the orders for which $K_2$-hypohamiltonian graphs exist and improve existing lower bounds on the orders of the smallest planar and the smallest bipartite $K_2$-hypohamiltonian graphs. Furthermore, we describe a new operation for creating $K_2$-hypohamiltonian graphs that preserves planarity under certain conditions and use it to prove the existence of a planar $K_2$-hypohamiltonian graph of order $n$ for every integer $n\geq 134$. Additionally, motivated by a theorem of Thomassen on hypohamiltonian graphs, we show the existence $K_2$-hypohamiltonian graphs with large maximum degree and size.
The fractional chromatic number of the plane is at least 4
We prove that the fractional chromatic number $χ_f(\mathbb R^2)$ of the unit distance graph of the Euclidean plane is greater than or equal to $4$. Interestingly, however, we cannot present a finite subgraph $G$ of the plane such that $χ_f(G)\ge 4$. Instead, we utilize the concept of the geometric fractional chromatic number $χ_{gf}(G)$, which was introduced recently in connection with density bounds for 1-avoiding sets.
First, as $G$ ranges over finite subgraphs of the plane, we establish that the supremum of $χ_f(G)$ is the same as that of $χ_{gf}(G)$. The proof exploits the amenability of the group of Euclidean transformations in dimension 2 and, as such, we do not know whether the analogous statement holds in higher dimensions. We then present a specific planar unit distance graph $G$ on 27 vertices such that $χ_{gf}(G)=4$, and conclude $χ_f(\mathbb R^2)\ge 4$ as a corollary.
As another main result we show that the finitary fractional chromatic number and the Hall ratio of the plane are equal. As a consequence, we conclude that there exist finite unit distance graphs with independence ratio $\frac{1}{4}+\varepsilon$, while we conjecture that the value $\frac{1}{4}$ cannot be reached.
The Density Formula: One Lemma to Bound Them All
We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs), we thereby obtain the first tight upper bounds on the edge density of the respective graph classes. In other cases, we give new streamlined and significantly shorter proofs for bounds that were already known in the literature. Thanks to the Density Formula, all of our proofs are mostly elementary counting and mostly circumvent the typical intricate case analysis found in earlier proofs. Further, in some cases (simple and non-homotopic quasiplanar graphs), our alternative proofs using the Density Formula lead to the first tight lower bound examples.
Triviality of critical Fortuin-Kasteleyn decorated planar maps for $q>4$
Published
• View Publication
• BIB
We consider infinite random planar maps decorated by the critical Fortuin-Kasteleyn model with parameter $q>4$. The paper demonstrates that when appropriately rescaled, these maps converge in law to the infinite continuum random tree as pointed metric-measure spaces, that is, with respect to the local Gromov-Hausdorff-Prokhorov topology. Furthermore, we also show that these maps do not admit any Fortuin-Kasteleyn loops with a macroscopic graph distance diameter. Our proof is based on Scott Sheffield's hamburger-cheeseburger bijection.
Root and weight semigroup rings for signed posets
We consider a pair of semigroups associated to a signed poset, called the root semigroup and the weight semigroup, and their semigroup rings, $R_P^\mathrm{rt}$ and $R_P^\mathrm{wt}$, respectively.
Theorem 4.1.5 gives generators for the toric ideal of affine semigroup rings associated to signed posets and, more generally, oriented signed graphs. These are the subrings of Laurent polynomials generated by monomials of the form $t_i^{\pm 1},t_i^{\pm 2},t_i^{\pm 1}t_j^{\pm 1}$. This result appears to be new and generalizes work of Boussicault, Féray, Lascoux and Reiner, of Gitler, Reyes, and Villarreal, and of Villarreal. Theorem 4.2.12 shows that strongly planar signed posets $P$ have rings $R_P^\mathrm{rt}$, $R_{P^{\scriptscriptstyle\vee}}$ which are complete intersections, with Corollary 4.2.20 showing how to compute $Ψ_P$ in this case. Theorem 5.2.3 gives a Gröbner basis for the toric ideal of $R_P^{\mathrm{wt}}$ in type B, generalizing Proposition 6.4 of Féray and Reiner. Theorems 5.3.10 and 5.3.1 give two characterizations (via forbidden subposets versus via inductive constructions) of the situation where this Gröbner basis gives a complete intersection presentation for its initial ideal, generalizing Theorems 10.5 and 10.6 of Féray and Reiner.
$K_2$-Hamiltonian Graphs: II
Published in J. Graph Theory. 2024; 105: 580-611
• View Publication
• BIB
In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- and $K_2$-hamiltonian, yet non-hamiltonian, for example, the Petersen graph. Grünbaum conjectured that every planar $K_1$-hamiltonian graph must itself be hamiltonian; Thomassen disproved this conjecture. Here we show that even planar graphs that are both $K_1$- and $K_2$-hamiltonian need not be hamiltonian, and that the number of such graphs grows at least exponentially. Motivated by results of Aldred, McKay, and Wormald, we determine for every integer $n$ that is not 14 or 17 whether there exists a $K_2$-hypohamiltonian, that is, non-hamiltonian and $K_2$-hamiltonian, graph of order $n$, and characterise all orders for which such cubic graphs and such snarks exist. We also describe the smallest cubic planar graph which is $K_2$-hypohamiltonian, as well as the smallest planar $K_2$-hypohamiltonian graph of girth $5$. We conclude with open problems and by correcting two inaccuracies from the first article.
Planar graphs without $5^{-}$-cycles at distance less than $3$ are $(\mathcal{I}, \mathcal{F})$-colorable
Published
• View Publication
• BIB
A graph is $(\mathcal{I}, \mathcal{F})$-colorable if its vertex set can be partitioned into two subsets, one of which is an independent set, and the other induces a forest. In this paper, we prove that every planar graph without $5^{-}$-cycles at distance less than $3$ is $(\mathcal{I}, \mathcal{F})$-colorable.
Solution to a problem of Grünbaum on the edge density of $4$-critical planar graphs
We show that $\limsup |E(G)|/|V(G)| = 2.5$ over all $4$-critical planar graphs $G$, answering a question of Grünbaum from 1988.
A theoretical expansion of the Sprout game
Published
• View Publication
• BIB
Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while keeping the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$, and a few isolated values of $n$, usually with the help of a computer. However, to the best of our understanding, not too much progress could be made towards finding a theoretical proof of the conjecture till now.
In this article, we try to take a bottom-up approach and start building a theory around the problem. We start by expanding a related game called Brussels Sprout (where dots are replaced by crosses) introduced by Conway, possibly to help the understanding of Sprout. In particular, we introduce and study a generalized version of Brussels Sprout where crosses are replaced by a dot having an arbitrary number of ``partial edges'' (say, general cross) coming out, and planar graphs are replaced by any (pre-decided) hereditary class of graphs. We study the game for forests, graphs on surfaces, and sparse planar graphs. We also do a nimber characterization of the game when the hereditary class is taken to be triangle-free planar graphs, and we have started the game with two arbitrary generalized crosses. Moreover, while studying this particular case, we naturally stumble upon a circular version of the same game and solve a difficult nimber characterization using the method of structural induction. The above mentioned proof may potentially be one approach to solving the Sprout conjecture.
$K_{1,2,2,2}$ has no $n$-fold planar cover graph for $n<14$
Published
• View Publication
• BIB
S. Negami conjectured in $1988$ that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It follows from the works of D. Archdeacon, M. Fellows, P. Hliněný, and S. Negami that this conjecture is true if the graph $K_{1, 2, 2, 2}$ has no finite planar cover. We prove a number of structural results about putative finite planar covers of $K_{1,2,2,2}$ that may be of independent interest. We then apply these results to prove that $K_{1, 2, 2, 2}$ has no planar cover of fold number less than $14$.
A note on median eigenvalues of subcubic graphs
Published in Discrete Applied Mathematics, 2023
• View Publication
• BIB
Let $G$ be an simple graph of order $n$ whose adjacency eigenvalues are $λ_1\ge\dots\geλ_n$. The HL--index of $G$ is defined to be $R(G)= \max\{|λ_{h}|, |λ_{l}|\}$ with $h=\left\lfloor\frac{n+1}{2}\right\rfloor$ and $ l=\left\lceil\frac{n+1}{2}\right\rceil.$ Mohar conjectured that $R(G)\le 1$ for every planar subcubic graph $G$. In this note, we prove that Mohar's Conjecture holds for every $K_4$-minor-free subcubic graph. Note that a $K_4$-minor-free graph is also called a series--parallel graph. In addition, $R(G)\le 1$ for every subcubic graph $G$ which contains a subgraph $K_{2,3}$.
On 2-Distance ($Δ+4$)-coloring of planar graphs with girth at least five
Published
• View Publication
• BIB
A vertex coloring of a graph $G$ is called a 2-distance coloring if any two vertices at distance at most $2$ from each other receive different colors. Let $G$ be a planar graph with girth at least $5$. We prove that $G$ admits a $2$-distance coloring with $Δ+4$ colors if $Δ\geq 22$.
Fuss-Catalan numbers and planar partitions
We show how the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$ enter different problems of counting simple and multiple planar partitions.
Weak diameter choosability of graphs with an excluded minor
Published in J. Combin. Theory Ser. B 174 (2025), 28-70
• View Publication
• BIB
Weak diameter coloring of graphs recently attracted attention partially due to its connection to asymptotic dimension of metric spaces. We consider weak diameter list-coloring of graphs in this paper. Dvořák and Norin proved that graphs with bounded Euler genus are 3-choosable with bounded weak diameter. In this paper, we extend their result by showing that for every graph $H$, $H$-minor free graphs are 3-choosable with bounded weak diameter. The upper bound 3 is optimal and it strengthens an earlier result for non-list-coloring $H$-minor free graphs with bounded weak diameter. As a corollary, $H$-minor free graphs with bounded maximum degree are 3-choosable with bounded clustering, strengthening an earlier result for non-list-coloring.
When $H$ is planar, we prove a much stronger result: for every 2-list-assignment $L$ of an $H$-minor free graph, every precoloring with bounded weak diameter can be extended to an $L$-coloring with bounded weak diameter. As a corollary, for any planar graph $H$ and $H$-minor free graph $G$, there are exponentially many list-colorings of $G$ with bounded weak diameter (and with bounded clustering if $G$ also has bounded maximum degree); and every graph with bounded layered tree-width and bounded maximum degree has exponentially many 3-colorings with bounded clustering.
We also show that the aforementioned results for list-coloring cannot be extended to odd minor free graphs by showing that some bipartite graphs with maximum degree $Δ$ are $k$-choosable with bounded weak diameter only when $k=Ω(\logΔ/\log\logΔ)$. On the other hand, we show that odd $H$-minor graphs are 3-colorable with bounded weak diameter, implying an earlier result about clustered coloring of odd $H$-minor free graphs with bounded maximum degree.
On 2-distance 16-coloring of planar graphs with maximum degree at most five
Published in Discrete Mathematics, 348(4), 114379, 2025
• View Publication
• BIB
A vertex coloring of a graph G is called a 2-distance coloring if any two vertices at a distance at most 2 from each other receive different colors. Suppose that G is a planar graph with a maximum degree at most 5. We prove that G admits a 2-distance 16 coloring, which improves the result given by Hou et al. (Graphs and Combinatorics 39:20, 2023).
Sampling Balanced Forests of Grids in Polynomial Time
Published
• View Publication
• BIB
We prove that a polynomial fraction of the set of $k$-component forests in the $m \times n$ grid graph have equal numbers of vertices in each component, for any constant $k$. This resolves a conjecture of Charikar, Liu, Liu, and Vuong, and establishes the first provably polynomial-time algorithm for (exactly or approximately) sampling balanced grid graph partitions according to the spanning tree distribution, which weights each $k$-partition according to the product, across its $k$ pieces, of the number of spanning trees of each piece. Our result follows from a careful analysis of the probability a uniformly random spanning tree of the grid can be cut into balanced pieces.
Beyond grids, we show that for a broad family of lattice-like graphs, we achieve balance up to any multiplicative $(1 \pm \varepsilon)$ constant with constant probability, and up to an additive constant with polynomial probability. More generally, we show that, with constant probability, components derived from uniform spanning trees can approximate any given partition of a planar region specified by Jordan curves. These results imply polynomial time algorithms for sampling approximately balanced tree-weighted partitions for lattice-like graphs.
Our results have applications to understanding political districtings, where there is an underlying graph of indivisible geographic units that must be partitioned into $k$ population-balanced connected subgraphs. In this setting, tree-weighted partitions have interesting geometric properties, and this has stimulated significant effort to develop methods to sample them.
Accessibility, planar graphs, and quasi-isometries
We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to planar graphs. In particular, such a group is virtually a free product of free and surface groups, and thus virtually admits a planar Cayley graph.
Triangulations Admit Dominating Sets of Size $2n/7$
Published
• View Publication
• BIB
We show that every planar triangulation on $n>10$ vertices has a dominating set of size $n/7=n/3.5$. This approaches the $n/4$ bound conjectured by Matheson and Tarjan [MT'96], and improves significantly on the previous best bound of $17n/53\approx n/3.117$ by Špacapan [Š'20].
From our proof it follows that every 3-connected $n$-vertex near-triangulation (except for 3 sporadic examples) has a dominating set of size $n/3.5$. On the other hand, for 3-connected near-triangulations, we show a lower bound of $3(n-1)/11\approx n/3.666$, demonstrating that the conjecture by Matheson and Tarjan [MT'96] cannot be strengthened to 3-connected near-triangulations.
Our proof uses a penalty function that, aside from the number of vertices, penalises vertices of degree 2 and specific constellations of neighbours of degree 3 along the boundary of the outer face. To facilitate induction, we not only consider near-triangulations, but a wider class of graphs (skeletal triangulations), allowing us to delete vertices more freely. Our main technical contribution is a set of attachments, that are small graphs we inductively attach to our graph, in order both to remember whether existing vertices are already dominated, and that serve as a tool in a divide and conquer approach. Along with a well-chosen potential function, we thus both remove and add vertices during the induction proof.
We complement our proof with a constructive algorithm that returns a dominating set of size $\le 2n/7$. Our algorithm has a quadratic running time.
The Alon-Tarsi number of $K_{3,3}$-minor-free graphs
Published
• View Publication
• BIB
The well known Wagner's theorem states that a graph is a planar graph if and only if it is $K_5$-minor-free and $K_{3,3}$-minor-free. Denote by $AT(G)$ the Alon-Tarsi number of a graph $G$. We show that for any $K_{3,3}$-minor-free graph $G$, $AT(G)\le 5$, there exists a matching $M$ and a forest $F$ such that $AT(G-M)\le 4$ and $AT(G-E(F))\le 3$, extending the result on the Alon-Tarsi number of $K_5$-minor-free graphs due to Abe, Kim and Ozeki.
Dense circuit graphs and the planar Turán number of a cycle
Published
• View Publication
• BIB
The $\textit{planar Turán number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_k$ denote the cycle of length $k$. The planar Turán number $\textrm{ex}_{\mathcal P}(n,C_k)$ is known for $k\le 7$. We show that dense planar graphs with a certain connectivity property (known as circuit graphs) contain large near triangulations, and we use this result to obtain consequences for planar Turán numbers. In particular, we prove that there is a constant $D$ so that $\textrm{ex}_{\mathcal P}(n,C_k) \le 3n - 6 - Dn/k^{\log_2^3}$ for all $k, n\ge 4$. When $k \ge 11$ this bound is tight up to the constant $D$ and proves a conjecture of Cranston, Lidický, Liu, and Shantanam.