planar
3238 papers tagged with this keyword
Weighted odd-cycle transversals and fractional colorings of planar graphs
We bound fractional chromatic numbers by establishing a connection with low-weight odd-cycle transversals. Let $\ell\geq 3$ be an integer and let $G$ be a graph of odd girth at least $\ell$ whose odd-cycle covering polyhedron is integral. For every nonnegative weight vector $w=(w_v)_{v\in V(G)}\in \mathbb{R}_{\geq 0}^{V(G)}$, we obtain a set $Z\subseteq V(G)$ such that $G-Z$ is bipartite and $w(Z)\leq\frac{mad(G)}{2\ell}w(V(G))$. Here, $w(S)=\sum_{v\in S}w_v$ for any $S\subseteq V(G)$, and $mad(G)$ denotes the maximum average degree of $G$. Consequently, if $mad(G)<2\ell$, then $G$ has fractional chromatic number at most $\frac{4\ell}{2\ell-mad(G)}$.
As applications, we prove that, for every positive integer $k$, every $n$-vertex planar graph of girth at least $2k+3$ has fractional chromatic number at most $\frac{2k+1}{k}(1-\frac{1}{kn+1})$, establishing the girth version of Naserasr's fractional coloring conjecture with a strict inequality. For $k=1$, we furthermore prove that the upper bound $\frac{3n}{n+1}$ holds for every $n$-vertex triangle-free planar graph and this is attained for infinitely many values of $n$.
Logarithmic edge-length ratios for planar drawings of 2-trees
For a planar graph $G$ with at least one edge, let $ρ(G)$ be the infimum of the ratio of the longest to the shortest edge length over all planar straight-line drawings of $G$. We prove that every $n$-vertex $2$-tree $G$ satisfies $ρ(G)\le4+5\lfloor\log_2(2n-3)\rfloor$. This improves the known $O(\sqrt n)$ upper bound and, together with the lower bound of Blažej, Fiala and Liotta, shows that the maximum of $ρ(G)$ over $n$-vertex $2$-trees is $Θ(\log n)$. The proof adapts Biedl's recursive bar construction using nonintegral heights and applies a height-preserving straightening theorem.
A note on the proof of Barnette's conjecture
Barnette's conjecture states that every cubic 3-connected bipartite planar graph has a Hamiltonian cycle. We present a digested exposition of OpenAI's generated proof of Barnette's conjecture \cite{openai-barnette}.
Affine diagram categories, algebras and monoids
Published
• View Publication
• BIB
We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.
Efficient total facial coloring of combinatorial maps
Let $1<k\in\mathbb{Z}$. A total coloring of a connected simple regular graph $G$ via color set $]k]_0=\{0,1,\ldots, k\}$ is efficient if each color yields an efficient dominating set, where efficient domination applies to each color class in $V(G)$. An efficient total coloring of $G$ via $[k]_0$ extends to an efficient total facial coloring $c$ of a map $M(G)$ of $G$ if it assigns a vertex-and-edge $k$-color set to the boundary cycle of each face, with the consequently missing color assigned to the face itself, so that the two adjacent faces along each edge are assigned different colors. Focus is set upon planar and toroidal maps. Modifications of $c$ are also treated by removing a perfect dominating set or a 1-factor from $G$.
Power-of-two cycles in projective cubic graphs of large edge-width
Heckman and Krakovski proved that every 3-connected cubic planar graph contains a cycle of length 2^m for some 2 $\le$ m $\le$ 7. We extend this to 3-connected cubic graphs embedded in the real projective plane with face-width at least three and edge-width at least 48; the cycle may moreover be taken contractible. The argument passes to the spherical double cover, where the planar theorem provides the cycle inside a subgraph of diameter at most 47, and the condition on the edge-width guarantees that this subgraph projects injectively.
Piercing spanned lines and hyperplanes
Motzkin, Grünbaum, and Erdős and Purdy asked how many noncollinear blue points can coexist with $t$ red points in the real plane if every blue-spanned line contains a red point. We prove that there are at most $2.35t-3$ blue points, even over the complex numbers. For the complex higher-dimensional problem of Campbell, Kroeker, and Lund, we prove $b_k(t)\le1.40k^2t$. Colorings of cyclic Dowling geometries give a matching lower bound in order of magnitude for all $k\ge2$ and $t\ge3$. The planar proof uses frame normalization and a second-moment estimate; the higher-dimensional proof combines the degree bound of Kroeker and Lund with principal truncation.
Positive Lin-Lu-Yau curvature, planar graphs, and forbidden minors
Over the past few decades, several notions of graph curvature have been introduced. Among them, Ollivier curvature, defined through optimal transport, and its Lin--Lu--Yau variant provide notions of curvature for graphs which retain several features of their counterpart in Riemannian geometry. A classical problem in this context is to understand the global structure of positively curved spaces.
Lu and Wang proved that there are only finitely many positively curved planar graphs of minimum degree at least 3. In this paper, we study two directions motivated by this result. We first show that for fixed $2\leq s\leq t$, there are only finitely many positively curved $K_{s,t}$-minor-free graphs with minimum degree at least $s$. In particular, this generalizes the result of Lu and Wang to graphs embeddable on any fixed surface. We then give a complete classification of positively curved 5-connected plane triangulations. In particular, we show that there are only five examples, on 12, 14, 15, 16, and 17 vertices.
Peeling sequences: a directional method for the three-block construction
A peeling sequence of a finite planar point set is an ordering of its points, such that when the points get removed in this order,
each removed point is a vertex of the current convex hull of the set. Write $g(S)$ for the number of such sequences, and $g(n)$ for the minimum of $g(S)$ over $n$-point sets in general position. We present a method which can be used to prove better upper bounds on the previously analysed recursive 3-block constructions $S_n$. In fact, we prove $g(n)\leq g(S_n)=O(6.57^n)$, using directional restrictions and a weighted prefix-tree form of the Kraft--McMillan inequality. From the other direction, we show that the same construction cannot attain the current best known lower bound of $c\cdot3^n$. In fact, $g(S_n)\geq 5.22^n$ when $n$ is a large enough power of $3$. Improving the general lower bound on $g(n)$ is still an open question.
Improved exploration of temporal graphs
A temporal graph $G$ is a sequence $(G_t)_{t \in I}$ of graphs on the same vertex set of size $n$. The \emph{temporal exploration problem} asks for the length of the shortest sequence of vertices that starts at a given vertex, visits every vertex, and at each time step $t$ either stays at the current vertex or moves to an adjacent vertex in $G_t$. When each $G_t$ is connected and has bounded maximum degree, Erlebach, Kammer, Luo, Sajenko, and Spooner [ICALP 2019] showed that an exploration exists in $\mathcal{O}(n^{7/4})$ time steps.
We significantly improve this bound by showing that $\mathcal{O}(n^{3/2}\sqrt{\log n})$ time steps suffice. In fact, we prove a more general statement unifying this setting with many others. Let the \emph{average temporal maximum degree} $D$ of $G$ be the average of $\max_{t \in I}d_{G_t}(v)$ over all vertices $v \in V(G)$, where $d_{G_t}(v)$ denotes the degree of $v$ in $G_t$. We show that if each $G_t$ is connected, then an exploration exists in $\mathcal{O}(n^{3/2}\sqrt{D\log n})$ time steps. This gives the first subquadratic upper bound when the underlying graph has bounded average degree, improving the previous best bounds when it is planar or has bounded treewidth. Our bound is subquadratic already when $D=o(n/\log n)$.
In addition, we make progress on a recent conjecture of Baguley, Göbel, Klodt, Skretas, Sylvester, and Zamaraev [SODA 2025]. They conjectured that if $μ$ is a probability distribution on trees with maximum degree at most $Δ$ and each $G_t$ is sampled independently from $μ$, then an exploration exists in $\mathcal{O}(\sqrtΔn)$ time steps with high probability. We show that there is a temporal exploration of length $\mathcal{O}(Δn\log^3 n)$ with high probability. This improves the previous best bound of $\mathcal{O}(n^{3/2})$ and extends to the more general setup of average temporal maximum degree.
Improvement of the Crossing Lemma for the odd-crossing number
A graph is called $1$-planar if it can be drawn in the plane so that every edge is crossed by at most one other edge. It is known that the maximum number of edges of $1$-planar graphs is $4n-8$. We prove the following generalization. A graph is $1$-odd-planar if it can be drawn in the plane so that every edge is crossed {\em an odd number of times} by at most one other edge. We show that the maximum number of edges of $1$-odd-planar graphs is also $4n-8$. As a consequence, we improve the constant coefficient in the Crossing Lemma for the odd-crossing number.
An A-B-C Coordinate Encoding for Exact Boundary-Cycle Extraction on Hexagonal Lattices
We study an integer-coordinate encoding of boundary incidences for finite subsets of the regular hexagonal tiling. Each selected cell contributes six ordered records with endpoints in two role-distinguished classes, point and tail. Identical records from neighboring cells cancel, and the surviving records form a disjoint union of cycles, including the exterior boundaries of disconnected components and the boundaries of holes. We derive the actual even- and odd-row record formulas from the A--B--C transforms used in Hexagones 2.0, prove exact shared-edge identities and the global role-qualified incidence structure, and thereby obtain an unconditional correctness theorem for the abstract coordinate construction. We compare the encoding with an independent exact cube-coordinate half-edge hashing implementation, proving an incidence isomorphism and checking 504 finite regions. We give an expected-linear-time indexed algorithm and distinguish it from the historical fixed-capacity C traversal, whose sentinel and closure conventions do not inherit the theorem automatically. The claim is a compact coordinate realization of a known planar boundary principle, not historical priority or a new three-axis lattice.
Critical limits of generating functions for face-constrained labelled planar maps
We study connected planar maps with a fixed number of numbered faces, whose vertices carry integer labels such that the minimum label along the boundary of each face is one. Each face has its own positive weight, and an edge shared by two faces receives the geometric mean of their weights. For any fixed number $k\ge3$ of faces, we prove that the suitably rescaled generating function converges locally uniformly as the face weights approach the critical value $1/12$, possibly at different positive rates. The limit is a finite, continuous sum of integrals over cubic schemes. Each scheme edge carries a Green kernel for a singular differential operator on the positive half-line, and each face contributes one insertion of the derivative of the tree scaling profile. The main difficulty is obtaining uniform estimates for small vertex labels, where the minimum-label constraints of different faces can interact. A positive corner-marking expansion reduces this problem to establishing uniform bounds on the contributions of marked configurations, both for small and large vertex labels. These estimates prove integrability of the surviving diagrams and show that coincident marks and noncubic schemes contribute only lower-order terms.
Avoiding Distances
Given a finite planar point set $X=\{x_1,\ldots,x_n\}$, let $a_1<a_2< \cdots < a_s$ denote the $s \leq {n \choose 2}$ different (Euclidean) distances between points in $X$. The aim is to retain as many of the points as possible such that certain imposed inter-pair distances are avoided. For example, we show that:
(A) Given a set $X$ of $n$ points in the plane, an independent set of size $0.2293 n$ in the unit distance graph determined by $X$ can be found in $O(n^2)$ time. For any fixed $k \in \mathbf{N}$ there exists a constant $c_k>0$ such that for any set $X$ of $n$ points in the plane, and set $D$ of size $k$, there exists a subset $X' \subseteq X$ of size $|X'| \geq c_k |X|$ in which no pair of points is at some distance in $D$ (we say that $X'$ avoids distances in $D$). Such a set can be found efficiently.
(B) (i) There is a subset of $X$ of size $n/2$ that avoids the maximum distance; this bound cannot be improved. (ii) There is a subset of $X$ of size $8n/47$ that avoids both the minimum and maximum distance; on the other hand, there exists $X$ such that at most $5n/16$ points can be retained with this property. (iii) There is a subset of $X$ of size $n/7$ whose diameter is at most half the original diameter; on the other hand, there exists $X$ such that at most $n/6$ points can be retained with this property.
(C) (i) For any $\varepsilon>0$, a $(1-\varepsilon)$-approximation for \textsc{MIS} in the minimum distance graph of $n$ points in the plane can be found in $2^{O(1/\varepsilon)} n^{O(1)}$ time. (ii) Given a set $X$ of $n$ points in the plane, a maximum independent set in the graph of diameters can be computed in $O(n^2)$ time.
The techniques used to handle the planar case can be extended to $\mathbf{R}^d$ for any fixed dimension $d$.
Planar graphs whose second largest eigenvalue does not exceed 1
The problem posed by Hoffman, namely, to characterize graphs whose second largest adjacency eigenvalue is at most \(1\), was first studied by D.~M.~Cvetković in 1982 [\textit{Publ. Inst. Math. (Beograd)} \textbf{31} (1982), 15--20]. In this paper, we completely characterize all connected planar graphs whose second largest eigenvalue does not exceed $1$.
T-embeddings as stationary measures on T-graphs
In this paper, we investigate the relation between t-embeddings and T-graphs associated with the same weighted planar bipartite graph. We prove that, given such a T-graph, the corresponding t-embeddings are classified by positive stationary measures on this T-graph and describe a reconstruction procedure of the t-embedding given such a measure. As an application, we develop an approach for constructing t-embeddings of arbitrary sufficiently non-degenerate planar bipartite graphs.
Finiteness of planar central configurations of six bodies for all positive masses: Part I, exceptional-mass first limits
We separate the generic positive-mass finiteness problem for planar six-body central configurations from finiteness on exceptional mass loci. The Chang--Chen diagram enumeration has 117 graphs. The arguments below confine 40 first-limit diagram obligations to proper necessary mass loci. In particular, a direct function-field argument establishes the No.~66 mass condition for both zero and nonzero drift. We establish the algebraic reduction from an infinite positive family to a germ with an unbounded seven-product, and use the stated diagram rules and computational certificates to confine its mass vector to the union of these loci. Finiteness on the exceptional positive mass loci, the proposed subject of Part II, will be discussed in another paper.
Four colours are needed for closed-neighbourhood conflict-free colouring of all planar graphs
A colouring of the vertices of a graph is conflict-free with respect to closed neighbourhoods if every closed neighbourhood contains a colour that appears on exactly one of its vertices. The colouring need not be proper. Every planar graph has such a colouring with four colours. Fabrici, Lužar, Rindošová and Soták conjectured that three colours always suffice. We disprove this conjecture. We give a simple gadget construction that turns every planar graph of chromatic number four into a planar graph with no such colouring with three colours. This also shows that it is NP-complete to decide whether three colours suffice for a planar graph. We also give a planar graph on $25$ vertices that needs four colours. Further, we give critical planar graphs on $25$ vertices with $52$ and with $51$ edges, an infinite family of plane triangulations that need four colours, and an infinite family of critical examples.
Asymptotic dimension of graphs excluding an induced or fat minor
Asymptotic dimension is a large-scale invariant of metric spaces that was introduced by Gromov (1993). A major open problem in coarse graph theory asks whether, for every fixed graph $H$, the class of graphs excluding $H$ as a fat minor has bounded asymptotic dimension. A weaker conjecture asserts the same conclusion for graphs excluding $H$ as an induced minor.
We substantially expand the range of graphs $H$ for which these conjectures are known to hold. Specifically, we prove bounded asymptotic dimension for the following classes of graphs: graphs excluding a fixed planar graph as a fat minor; and graphs excluding a fixed string graph as an induced minor. All of our results also hold for the stronger notion of Assouad--Nagata dimension, a refinement of asymptotic dimension.
These results have a number of applications, two of which we mention here. First they imply that an induced minor-closed class is $χ$-bounded if and only if it does not contain some Burling graph. Second they imply that, in graph classes excluding a fixed planar graph as an induced minor, treewidth is polynomial in maximum degree.
Generating functions of hypermaps and m-constellations with two alternating boundaries
We study the enumeration of planar hypermaps with several alternating boundaries. We first derive a peeling recursion with an arbitrary number of alternating boundaries and, in the two- boundary case, translate it into a functional equation for the corresponding generating function. Our main result is an explicit solution of this equation for m-constellations. In particular, we obtain a rational expression for the genus-zero two-point function, or cylinder generating function, with two alternating boundaries.