planar
3156 papers tagged with this keyword
Planar cycle-extendable graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 13, 2025) dmtcs:13929
• View Publication
• BIB
For most problems pertaining to perfect matchings, one may restrict attention to matching covered graphs - that is, connected nontrivial graphs with the property that each edge belongs to some perfect matching. There is extensive literature on these graphs that are also known as 1-extendable graphs (since each edge extends to a perfect matching) including an ear decomposition theorem due to Lovász and Plummer.
A cycle $C$ of a graph $G$ is conformal if $G-V(C)$ has a perfect matching; such cycles play an important role in the study of perfect matchings, especially when investigating the Pfaffian orientation problem. A matching covered graph $G$ is cycle-extendable if - for each even cycle $C$ - the cycle $C$ is conformal, or equivalently, each perfect matching of $C$ extends to a perfect matching of $G$, or equivalently, $C$ is the symmetric difference of two perfect matchings of $G$, or equivalently, $C$ extends to an ear decomposition of $G$. In the literature, these are also known as cycle-nice or as 1-cycle resonant graphs.
Zhang, Wang, Yuan, Ng and Cheng, 2022, provided a characterization of claw-free cycle-extendable graphs. Guo and Zhang, 2004, and independently Zhang and Li, 2012, provided characterizations of bipartite planar cycle-extendable graphs. In this paper, we establish a characterization of all planar cycle-extendable graphs - in terms of $K_2$ and four infinite families.
Constructing Interlocking Assemblies with Crystallographic Symmetries
This work presents a construction method for interlocking assemblies based on planar crystallographic symmetries. Planar crystallographic groups, also known as wallpaper groups, correspond to tessellations of the plane with a tile, called a fundamental domain, such that the action of the group can be used to tessellate the plane with the given tile. The main idea of this method is to extend the action of a wallpaper group so that it acts on three-dimensional space and places two fundamental domains into parallel planes. Next, we interpolate between these domains to obtain a block that serves as a candidate for interlocking assemblies. We show that the resulting blocks can be triangulated, and we can also approximate blocks with smooth surfaces using this approach. Finally, we show that there exists a family of blocks derived from this construction that can be tiled in multiple ways, characterised by generalised Truchet tiles. The assemblies of one block in this family, which we call RhomBlock, correspond to tessellations with lozenges.
The DP-coloring of the square of subcubic graphs
The 2-distance coloring of a graph $G$ is equivalent to the proper coloring of its square graph $G^2$, it is a special distance labeling problem. DP-coloring (or "Correspondence coloring") was introduced by Dvořák and Postle in 2018, to answer a conjecture of list coloring proposed by Borodin. In recent years, many researches pay attention to the DP-coloring of planar graphs with some restriction in cycles. We study the DP-coloring of the square of subcubic graphs in terms of maximum average degree $\rm{mad}(G)$, and by the discharging method, we showed that: for a subcubic graph $G$, if $\rm{mad}(G)<9/4$, then $G^2$ is DP-5-colorable; if $\rm{mad}(G)<12/5$, then $G^2$ is DP-6-colorable. And the bound in the first result is sharp.
Recurrence solution of monomer-polymer models on two-dimensional rectangular lattices
The problem of counting polymer coverings on the rectangular lattices is investigated. In this model, a linear rigid polymer covers $k$ adjacent lattice sites such that no two polymers occupy a common site. Those unoccupied lattice sites are considered as monomers. We prove that for a given number of polymers ($k$-mers), the number of arrangements for the polymers on two-dimensional rectangular lattices satisfies simple recurrence relations. These recurrence relations are quite general and apply for arbitrary polymer length ($k$) and the width of the lattices ($n$). The well-studied monomer-dimer problem is a special case of the monomer-polymer model when $k=2$. It is known the enumeration of monomer-dimer configurations in planar lattices is #P-complete. The recurrence relations shown here have the potential for hints for the solution of long-standing problems in this class of computational complexity.
Generalized planar Turán numbers related to short cycles
Given two graphs $H$ and $F$, the generalized planar Turán number $\mathrm{ex}_\mathcal{P}(n,H,F)$ is the maximum number of copies of $H$ that an $n$-vertex $F$-free planar graph can have. We investigate this function when $H$ and $F$ are short cycles. Namely, for large $n$, we find the exact value of $\mathrm{ex}_\mathcal{P}(n, C_l,C_3)$, where $C_l$ is a cycle of length $l$, for $4\leq l\leq 6$, and determine the extremal graphs in each case. Also, considering the converse of these problems, we determine sharp upper bounds for $\mathrm{ex}_\mathcal{P}(n,C_3,C_l)$, for $4\leq l\leq 6$.
Counterexamples regarding linked and lean tree-decompositions of infinite graphs
Published in Journal of Graph Theory (2025)
• Search Publication
Kriz and Thomas showed that every (finite or infinite) graph of tree-width $k \in \mathbb{N}$ admits a lean tree-decomposition of width $k$. We discuss a number of counterexamples demonstrating the limits of possible generalisations of their result to arbitrary infinite tree-width.
In particular, we construct a locally finite, planar, connected graph that has no lean tree-decomposition.
Trail Trap: a variant of Partizan Edge Geography
We study a two-player game played on undirected graphs called {\sc Trail Trap}, which is a variant of a game known as {\sc Partizan Edge Geography}. One player starts by choosing any edge and moving a token from one endpoint to the other; the other player then chooses a different edge and does the same. Alternating turns, each player moves their token along an unused edge from its current vertex to an adjacent vertex, until one player cannot move and loses. We present an algorithm to determine which player has a winning strategy when the graph is a tree and partially characterize the trees on which a given player wins. Additionally, we show that it is NP-hard to determine if Player~2 has a winning strategy on {\sc Trail Trap} from the starting position, even for connected bipartite planar graphs with maximum degree $4$. We determine which player has a winning strategy for certain subclasses of complete bipartite graphs and grid graphs, and we propose several open problems for further study.
Diameter of the inversion graph
In an oriented graph $\vec{G}$, the inversion of a subset $X$ of vertices consists in reversing the orientation of all arcs with both endvertices in $X$. The inversion graph of a labelled graph $G$, denoted by ${\mathcal{I}}(G)$, is the graph whose vertices are the labelled orientations of $G$ in which two labelled orientations $\vec{G}_1$ and $\vec{G}_2$ of $G$ are adjacent if and only if there is an inversion $X$ transforming $\vec{G}_1$ into $\vec{G}_2$. In this paper, we study the inversion diameter of a graph which is the diameter of its inversion graph denoted by $diam(\mathcal{I}(G))$. We show that the inversion diameter is tied to the star chromatic number, the acyclic chromatic number and the oriented chromatic number. Thus a graph class has bounded inversion diameter if and only if it also has bounded star chromatic number, acyclic chromatic number and oriented chromatic number. We give some upper bounds on the inversion diameter of a graph $G$ contained in one of the following graph classes: planar graphs ($diam(\mathcal{I}(G)) \leq 12$), planar graphs of girth 8 ($diam(\mathcal{I}(G)) \leq 3$), graphs with maximum degree $Δ$ ($diam(\mathcal{I}(G)) \leq 2Δ-1$), graphs with treewidth at mots $t$ ($diam(\mathcal{I}(G)) \leq 2t$).
We also show that determining the inversion diameter of a given graph is NP-hard.
Volume inequalities for flow polytopes of full directed acyclic graphs
Given a finite directed acyclic graph, the space of non-negative unit flows is a lattice polytope called the flow polytope of the graph. We consider the volumes of flow polytopes for directed acyclic graphs on $n+1$ vertices with a fixed degree sequence, with a focus on graphs having in- and out-degree two on every internal vertex. When the out-degree of the source is three and the number of vertices is fixed, we prove that there is an interchange operation on the edge set of these graphs that induces a partial order on the graphs isomorphic to a Boolean algebra. Further, we prove that as we move up through this partial order, the volumes of the corresponding flow polytopes weakly decrease. Finally, we show that each such graph is strongly planar and we provide an alternative interpretation of our results in the context of linear extensions for posets that are bipartite non-crossing trees.
An improved integrality gap for disjoint cycles in planar graphs
We present a new greedy rounding algorithm for the Cycle Packing Problem for uncrossable cycle families in planar graphs. This improves the best-known upper bound for the integrality gap of the natural packing LP to a constant slightly less than 3.5. Furthermore, the analysis works for both edge- and vertex-disjoint packing. The previously best-known constants were 4 for edge-disjoint and 5 for vertex-disjoint cycle packing. This result also immediately yields an improved Erdős-Pósa ratio: for any uncrossable cycle family in a planar graph, the minimum number of vertices (edges) needed to hit all cycles in the family is less than 8.38 times the maximum number of vertex-disjoint (edge-disjoint, respectively) cycles in the family.
Some uncrossable cycle families of interest to which the result can be applied are the family of all cycles in a directed or undirected graph, in undirected graphs also the family of all odd cycles and the family of all cycles containing exactly one edge from a specified set of demand edges. The last example is an equivalent formulation of the fully planar Disjoint Paths Problem. Here the Erdős-Pósa ratio translates to a ratio between integral multi-commodity flows and minimum cuts.
Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms
The Four color problem is closely related to other branches of mathematics and practical applications. More than 20 of its reformulations are known, which connect this problem with problems of algebra, statistical mechanics and planning. And this is also typical for mathematics: the solution to a problem studied out of pure curiosity turns out to be useful in representing real objects and processes that are completely different in nature. Despite the published machine methods for combinatorial proof of the Four color conjecture, there is still no clear description of the mechanism for coloring a planar graph with four colors, its natural essence and its connection with the phenomenon of graph planarity. It is necessary not only to prove (preferably by deductive methods) that any planar graph can be colored with four colors, but also to show how to color it. The paper considers an approach based on the possibility of reducing a maximally flat graph to a regular flat cubic graph with its further coloring. Based on the Tate-Volynsky theorem, the vertices of a maximally flat graph can be colored with four colors, if the edges of its dual cubic graph can be colored with three colors. Considering the properties of a colored cubic graph, it can be shown that the addition of colors obeys the transformation laws of the fourth order Klein group. Using this property, it is possible to create algorithms for coloring planar graphs.
4-connected 1-planar chordal graphs are Hamiltonian-connected
Tutte proved that 4-connected planar graphs are Hamiltonian. It is unknown if there is an analogous result on 1-planar graphs. In this paper, we characterize 4-connected 1-planar chordal graphs, and show that all such graphs are Hamiltonian-connected. A crucial tool used in our proof is a characteristic of 1-planar 4-trees.
Eigenvalues and graph minors
Let $spex(n,H_{minor})$ denote the maximum spectral radius of $n$-vertex $H$-minor free graphs. The problem on determining this extremal value can be dated back to the early 1990s. Up to now, it has been solved for $n$ sufficiently large and some special minors, such as $\{K_{2,3},K_4\}$, $\{K_{3,3},K_5\}$, $K_r$ and $K_{s,t}$. In this paper, we find some unified phenomena on general minors. Every graph $G$ on $n$ vertices with spectral radius $ρ\geq spex(n,H_{minor})$ contains either an $H$ minor or a spanning book $K_{γ_H}\nabla(n-γ_H)K_1$, where $γ_H=|H|-α(H)-1$. Furthermore, assume that $G$ is $H$-minor free and $Γ^*_s(H)$ is the family of $s$-vertex irreducible induced subgraphs of $H$, then $G$ minus its $γ_H$ dominating vertices is $Γ^*_{α(H)+1}(H)$-minor saturate, and it is further edge-maximal if $Γ^*_{α(H)+1}(H)$ is a connected family. As applications, we obtain some known results on minors mentioned above. We also determine the extremal values for some other minors, such as flowers, wheels, generalized books and complete multi-partite graphs. Our results extend some conjectures on planar graphs, outer-planar graphs and $K_{s,t}$-minor free graphs. To obtain the results, we combine stability method, spectral techniques and structural analyses. Especially, we give an exploration of using absorbing method in spectral extremal problems.
The Number of Spanning Trees in some Special Self-Similar Graphs
In this paper, we introduce two families of planar and self-similar graphs which have small-world properties. The constructed models are based on an iterative process where each step of a certain formulation of modules results in a final graph with a self-similar structure. The number of spanning trees of a graph is one of the most graph-theoretical parameters, where its applications range from the theory of networks to theoretical chemistry. Two explicit formulas are introduced for the number of spanning trees for the two models. With explicit formulas for some of their topological parameters as well.
Maximal Mumford Curves from Planar Graphs
Published
• View Publication
• BIB
A curve of genus g is maximal Mumford (MM) if it has g+1 ovals and g tropical cycles. We construct full-dimensional families of MM curves in the Hilbert scheme of canonical curves. This rests on first-order deformations of graph curves whose graph is planar.
An improved upper bound for planar Turán number of double star $S_{2,5}$
Published
• View Publication
• BIB
The planar Turán number of a graph $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. Recently, D. Ghosh, et al. initiated the topic of double stars and prove that $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{20}{7}n$. In this paper, we continue to study this and give a sharp upper bound $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{19}{7}n-\frac{18}{7}$ for all $n\geq 1$, with equality when $n=12$. This improves Ghosh's result.
Perfect matchings and spanning trees: squarishness, bijections and independence
A number which is either the square of an integer or two times the square of an integer is called squarish. There are two main results in the literature on graphs whose number of perfect matchings is squarish: one due to Jockusch (for planar graphs invariant under rotation by 90 degrees) and the other due to the second author (concerning planar graphs with two perpendicular symmetry axes). We present in this paper a new such class, consisting of certain planar graphs that are only required to have one symmetry axis. Our proof relies on a natural bijection between the set of perfect matchings of two closely related (but not isomorphic!) families of graphs, which is interesting in its own right. The rephrasing of this bijection in terms of spanning trees turns out to be the most natural way to present this result.
The basic move in the construction of the above bijection (which we call gliding) can also be used to extend Temperley's classical bijection between spanning trees of a planar graph and perfect matchings of a closely related graph. We present this, and as an application we answer an open question posed by Corteel, Huang and Krattenthaler.
We also discuss another dimer bijection (used in the proof of the second author's result mentioned above), and deduce from a refinement of it new results for spanning trees. These include a finitary version of an independence result for the uniform spanning tree on $\Z^2$ due to Johansson, a counterpart of it, and a bijective proof of an independence result on edge inclusions in the uniform spanning tree on $\Z^2$ due to Lyons.
Generation of $3$-connected, planar line graphs
We classify and construct all line graphs that are $3$-polytopes (planar and $3$-connected). Apart from a few special cases, they are all obtained starting from the medial graphs of cubic (i.e., $3$-regular) $3$-polytopes, by applying two types of graph transformations. This is similar to the generation of other subclasses of $3$-polytopes.
The planar Turán number of $\{K_4,Θ_5\}$
Let $\mathcal{F}$ be a set of graphs. The planar Turán number, $ex_{\mathcal{P}}(n,\mathcal{F})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{F}$ as a subgraph. In this paper, we give upper bounds of $ex_{\mathcal{P}}(n,\{K_4,Θ_5\})\leqslant25/11(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.
Sparsity of 3-flow critical graphs
A connected graph G is 3-flow-critical if G does not have a nowhere-zero 3-flow, but every proper contraction of G does. We prove that every n-vertex 3-flow-critical graph other than K_2 and K_4 has at least 5n/3 edges. This bound is tight up to lower-order terms, answering a question of Li et al. (2022). It also generalizes the result of Koester (1991) on the maximum average degree of 4-critical planar graphs.