planar
3209 papers tagged with this keyword
Flows of 3-edge-colorable cubic signed graphs
Published
• View Publication
• BIB
Bouchet conjectured in 1983 that every flow-admissible signed graph admits a nowhere-zero 6-flow which is equivalent to the restriction to cubic signed graphs. In this paper, we proved that every flow-admissible $3$-edge-colorable cubic signed graph admits a nowhere-zero $10$-flow. This together with the 4-color theorem implies that every flow-admissible bridgeless planar signed graph admits a nowhere-zero $10$-flow. As a byproduct, we also show that every flow-admissible hamiltonian signed graph admits a nowhere-zero $8$-flow.
Existential Closure in Line Graphs
Published
• View Publication
• BIB
A graph $G$ is {\it $n$-existentially closed} if, for all disjoint sets of vertices $A$ and $B$ with $|A\cup B|=n$, there is a vertex $z$ not in $A\cup B$ adjacent to each vertex of $A$ and to no vertex of $B$.
In this paper, we investigate $n$-existentially closed line graphs. In particular, we present necessary conditions for the existence of such graphs as well as constructions for finding infinite families of such graphs. We also prove that there are exactly two $2$-existentially closed planar line graphs. We then consider the existential closure of the line graphs of hypergraphs and present constructions for $2$-existentially closed line graphs of hypergraphs.
The List Square Coloring Conjecture fails for bipartite planar graphs and their line graphs
Kostochka and Woodall (2001) conjectured that the square of every graph has the same chromatic number and list chromatic number. In 2015 Kim and Park disproved this conjecture for non-bipartite and bipartite graphs. It was asked by several authors whether this conjecture holds for bipartite graphs with small degrees, claw-free graphs, or line graphs. In this paper, we introduce several kinds of counterexamples to this conjecture to solve three open problems posed by Kim and Park~(2015), Kim, Kwon, and Park~(2015), and Dai, Wang, Yang, and Yu~(2018). In particular, we disprove a planar version of this conjecture proposed by Havet, Heuvel, McDiarmid, and Reed (2017).
This conjecture was originally proposed to make a stronger version of the List Total Coloring Conjecture. In order to make a revised version, it remains to decide whether this conjecture holds for bipartite graphs $G$ by imposing a lower bound on the chromatic number of the square graph $G^2$ in terms of its maximum degree as the condition $χ(G^2) \ge \frac{1}{2} Δ(G^2)+1$ (or by adding an upper bound on the number of colors used in lists for a weaker version). To support this version, we will show that the bipartite condition cannot be dropped even by increasing the lower bound arbitrarily.
Finally, we investigate non-choosable graphs with bounded maximum degree in bipartite or planar graphs. Consequently, we improve several graph constructions due to Erd\H os, Rubin, and Taylor~(1980), Bessy, Havet, and Palaysi (2002), Voigt (1993), Mirzakhani (1996), and Glebov, Kostochka, and Tashkinov (2005) in terms of maximum degree or order. In addition, we characterize edge-minimal $3$-chromatic non-$3$-choosable (resp. $4$-chromatic non-$4$-choosable) graphs of order at most $9$ (resp. $11$) and settle a question posed by Nelsen~(2019).
Determinants of Simple Theta Curves and Symmetric Graphs
Published
• View Publication
• BIB
A theta curve is a spatial embedding of the $θ$-graph in the three-sphere, taken up to ambient isotopy. We define the determinant of a theta curve as an integer-valued invariant arising from the first homology of its Klein cover. When a theta curve is simple, containing a constituent unknot, we prove that the determinant of the theta curve is the product of the determinants of the constituent knots. Our proofs are combinatorial, relying on Kirchhoff's Matrix Tree Theorem and spanning tree enumeration results for symmetric, signed, planar graphs.
Ramified inverse and planar monoids
Published
• View Publication
• BIB
Ramified monoids are a class of monoids introduced by the authors. The main motivation for considering these monoids comes from knot theory, see [3, 4, 5]. Thus, in [2] we have studied the ramified monoids of the symmeytric group and of the Brauer monoid, among others. This paper study the ramified of the inverse symmetric monoid, which plays a notable role in knot theory as well, see [10]. Here is also introduced the notion of planar ramified monoid. In particular, we give presentations for some planar ramified monoids arising from noncrossing set partitions.
A bijection between rooted planar maps and generalized fighting fish
Published
• View Publication
• BIB
The class of fighting fish is a recently introduced model of branching surfaces generalizing parallelogram polyominoes. We can alternatively see them as gluings of cells, walks on the square lattice confined to the quadrant or shuffle of Dyck words. With these different points of view, we introduce a natural extension of fighting fish that we call \emph{generalized fighting fish}. We show that generalized fighting fish are exactly the Mullin codes of rooted planar maps endowed with their unique rightmost depth-first search spanning tree, also known as Lehman-Lenormand code. In particular, this correspondence gives a bijection between fighting fish and nonseparable rooted planar maps, enriching the garden of bijections between classes of objects enumerated by the sequence $\frac{2}{(n+1)(2n+1)} \binom{3n}{n}$.
Characterization of rings with planar, toroidal or projective planar prime ideal sum graphs
Published
• View Publication
• BIB
Let $R$ be a commutative ring with unity. The prime ideal sum graph $\text{PIS}(R)$ of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we study some interplay between algebraic properties of rings and graph-theoretic properties of their prime ideal sum graphs. In this connection, we classify non-local commutative Artinian rings $R$ such that $\text{PIS}(R)$ is of crosscap at most two. We prove that there does not exist a non-local commutative Artinian ring whose prime ideal sum graph is projective planar. Further, we classify non-local commutative Artinian rings of genus one prime ideal sum graphs.
Non-Crossing Shortest Paths are Covered with Exactly Four Forests
Given a set of paths $P$ we define the \emph{Path Covering with Forest Number} of $P$} (PCFN($P$)) as the minimum size of a set $F$ of forests satisfying that every path in $P$ is contained in at least one forest in $F$. We show that PCFN($P$) is treatable when $P$ is a set of non-crossing shortest paths in a plane graph or subclasses. We prove that if $P$ is a set of non-crossing shortest paths of a planar graph $G$ whose extremal vertices lie on the same face of $G$, then PCFN($P$)\leq 4$, and this bound is tight.
Square of Planar Graphs of Max Degree Four without Five Cycles
We show that the choosability of the square of planar graphs of max degree 4 without five cycles is at most 12.
Keywords: planar graph, choosability
AMS Mathematics Subject Classification: 05C15
Rerouting Planar Curves and Disjoint Paths
Published
• View Publication
• BIB
In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is called Disjoint Paths Reconfiguration. We first show that Disjoint Paths Reconfiguration is PSPACE-complete even when $k=2$. On the other hand, we prove that, when the graph is embedded on a plane and all paths in $\mathcal{P}$ and $\mathcal{Q}$ connect the boundaries of two faces, Disjoint Paths Reconfiguration can be solved in polynomial time. The algorithm is based on a topological characterization for rerouting curves on a plane using the algebraic intersection number. We also consider a transformation of disjoint $s$-$t$ paths as a variant. We show that the disjoint $s$-$t$ paths reconfiguration problem in planar graphs can be determined in polynomial time, while the problem is PSPACE-complete in general.
Twin-width of Planar Graphs is at most 8, and some Related Bounds
Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020], and has interesting applications in the areas of logic on graphs and in parameterized algorithmics. Very briefly, the essence of twin-width is in a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. While for many natural graph classes it is known that their twin-width is bounded, published upper bounds on the twin-width in non-trivial cases are very often "astronomically large".
We focus on planar graphs, which are known to have bounded twin-width already since the introduction of it, but it took some time for the first explicit "non-astronomical" upper bounds to come. Namely, in the order of preprint appearance, it was the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hliněný). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Král and Lamaison [arXiv, September 2022]. We also prove small explicit upper bounds on the twin-width of bipartite planar and 1-planar graphs (6 and 16), and of map graphs (38). The common denominator of all these results is the use of a novel specially crafted recursive decomposition of planar graphs, which may be found useful also in other areas.
Coloring, List Coloring, and Painting Squares of Graphs (and other related problems)
Published in The Electronic Journal of Combinatorics 30(2) (2023), #DS25
• View Publication
• BIB
We survey work on coloring, list coloring, and painting squares of graphs; in particular, we consider strong edge-coloring. We focus primarily on planar graphs and other sparse classes of graphs.
Characterization of coincidence site lattices of oblique planar lattices
Coincidence site lattices of oblique planar lattices are algebraically characterized using as basic tool the Cartan-Dieudonné theorem, that is, the decomposition of an orthogonal transformation as a product of reflections. The case of rectangular lattices is worked out in detail. We use the rectangular lattices for obtain the characterization of the corresponding obliques.
Spanning bipartite quadrangulations of triangulations of the projective plane
Published
• View Publication
• BIB
We completely characterize triangulations of the projective plane that have a spanning bipartite quadrangulation subgraph. This is an affirmative answer to a question by Kündgen and Ramamurthi (J Combin Theory Ser B 85, 307--337, 2002) for the projective planar case.
Odd-Sum Colorings of Planar Graphs
Published in Discrete Applied Math, Vol. 342, Pages 82-88 (15 January 2024)
• View Publication
• BIB
A \emph{coloring} of a graph $G$ is a map $f:V(G)\to \mathbb{Z}^+$ such that $f(v)\ne f(w)$ for all $vw\in E(G)$. A coloring $f$ is an \emph{odd-sum} coloring if $\sum_{w\in N[v]}f(w)$ is odd, for each vertex $v\in V(G)$. The \emph{odd-sum chromatic number} of a graph $G$, denoted $χ_{os}(G)$, is the minimum number of colors used (that is, the minimum size of the range) in an odd-sum coloring of $G$. Caro, Petruševski, and Škrekovski showed, among other results, that $χ_{os}(G)$ is well-defined for every finite graph $G$ and, in fact, $χ_{os}(G)\le 2χ(G)$. Thus, $χ_{os}(G)\le 8$ for every planar graph $G$ (by the 4 Color Theorem), $χ_{os}(G)\le 6$ for every triangle-free planar graph $G$ (by Grötzsch's Theorem), and $χ_{os}(G)\le 4$ for every bipartite graph.
Caro et al. asked, for every even $Δ\ge 4$, whether there exists $g_Δ$ such that if $G$ is planar with maximum degree $Δ$ and girth at least $g_Δ$ then $χ_{os}(G)\le 5$. They also asked, for every even $Δ\ge 4$, whether there exists $g_Δ$ such that if $G$ is planar and bipartite with maximum degree $Δ$ and girth at least $g_Δ$ then $χ_{os}(G)\le 3$. We answer both questions negatively. We also refute a conjecture they made, resolve one further problem they posed, and make progress on another.
Multiple Scale Asymptotics of Map Enumeration
Published in Nonlinearity 36, 1663-1698 (2023)
• View Publication
• BIB
We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamical systems. By equating the coefficients of these expansions in a common region of uniform validity in their parameters, we recover known results and provide new expressions for generating functions associated with graphical enumeration on surfaces of genera 0 through 7. Although the body of the article focuses on 4-valent maps, the methodology presented here extends to regular maps of arbitrary even valence and to some cases of odd valence, as detailed in the appendices.
Counting cycles in planar triangulations
Published in Journal of Combinatroial Theory, Series B 170 (2025) 335-351
• View Publication
• BIB
We investigate the minimum number of cycles of specified lengths in planar $n$-vertex triangulations $G$. It is proven that this number is $Ω(n)$ for any cycle length at most $3 + \max \{ {\rm rad}(G^*), \lceil (\frac{n-3}{2})^{\log_32} \rceil \}$, where ${\rm rad}(G^*)$ denotes the radius of the triangulation's dual, which is at least logarithmic but can be linear in the order of the triangulation. We also show that there exist planar hamiltonian $n$-vertex triangulations containing $O(n)$ many $k$-cycles for any $k \in \{ \lceil n - \sqrt[5]{n} \rceil, \ldots, n \}$. Furthermore, we prove that planar 4-connected $n$-vertex triangulations contain $Ω(n)$ many $k$-cycles for every $k \in \{ 3, \ldots, n \}$, and that, under certain additional conditions, they contain $Ω(n^2)$ $k$-cycles for many values of $k$, including $n$.
Some remarks on the Game of Cycles
Published
• View Publication
• BIB
The Game of Cycles is an impartial game on a planar graph that was introduced by Francis Su. In this short note we address some questions that have been raised on the game, and raise some further questions.
Random cubic planar maps
Published
• View Publication
• BIB
We analyse uniform random cubic rooted planar maps and obtain limiting distributions for several parameters of interest. From the enumerative point of view, we present a unified approach for the enumeration of several classes of cubic planar maps, which allow us to recover known results in a more general and transparent way. This approach allows us to obtain new enumerative results.
Concerning random maps, we first obtain the distribution of the degree of the root face, which has an exponential tail as for other classes of random maps. Our main result is a limiting map-Airy distribution law for the size of the largest block $L$, whose expectation is asymptotically $n/\sqrt{3}$ in a random cubic map with $n+2$ faces. We prove analogous results for the size of the largest cubic block, obtained from $L$ by erasing all vertices of degree two, and for the size of the largest 3-connected component, whose expected values are respectively $n/2$ and $n/4$. To obtain these results we need to analyse a new type of composition scheme which has not been treated by Banderier et al. [Random Structures Algorithms 2001].
Quantum isomorphic strongly regular graphs from the $E_8$ root system
Published
• View Publication
• BIB
In this article, we give a first example of a pair of quantum isomorphic, non-isomorphic strongly regular graphs, that is, non-isomorphic strongly regular graphs having the same homomorphism counts from all planar graphs. The pair consists of the orthogonality graph of the $120$ lines spanned by the $E_8$ root system and a rank $4$ graph whose complement was first discovered by Brouwer, Ivanov and Klin. Both graphs are strongly regular with parameters $(120, 63, 30, 36)$. Using Godsil-McKay switching, we obtain more quantum isomorphic, non-isomorphic strongly regular graphs with the same parameters.