planar
3156 papers tagged with this keyword
On Total Bondage Number of Graphs
In this paper, we explore the concept of total bondage in finite graphs without isolated vertices. A vertex set $D$ is considered a total dominating set if every vertex $v$ in the graph $G$ has a neighbor in $D$. The minimum cardinality of all total dominating sets in $G$ is denoted as $γ_t(G)$. A total bondage edge set $B$ is a subset of the edges of $G$ such that the removal of $B$ from $G$ does not create isolated vertices, and the total dominating number of the resulting graph $G-B$ is strictly greater than $γ_t(G)$. The total bondage number of $G$, denoted $b_t(G)$, is defined as the minimum cardinality of such total bondage edge sets. Our paper establishes upper bounds on $b_t(G)$ based on the maximum degree of a graph. Notably, for planar graphs with minimum degree $δ(G) \geq 3$, we prove $b_t(G) \leq Δ+ 8$ or $b_t(G) \leq 10$. Additionally, for a connected planar graph with $δ(G) \geq 3$ and $g(G) \geq 4$, we show that $b_t(G) \leq Δ+ 3$ if $G$ does not contain an edge with degree sum at most 7. We also improve some upper bounds of the total bondage number for trees, enhance existing lemmas, and find upper bounds for total bondage in specific graph classes.
Partitioning a Planar Graph into two Triangle-Forests
We show that the vertices of every planar graph can be partitioned into two sets, each inducing a so-called triangle-forest, i.e., a graph with no cycles of length more than three. We further discuss extensions to locally planar graphs. After finishing the paper we noticed that our main result was already proved much earlier by Carsten Thomassen [Decomposing a Planar Graph into Degenerate Graphs, JCTB 1995].
The forb-flex method for odd coloring and proper conflict-free coloring of planar graphs
We introduce a new tool useful for greedy coloring, which we call the forb-flex method, and apply it to odd coloring and proper conflict-free coloring of planar graphs. The odd chromatic number, denoted $χ_{\mathsf{o}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing an odd number of times in its neighborhood. The proper conflict-free chromatic number, denoted $χ_{\mathsf{PCF}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing uniquely in its neighborhood. Our new tool works by carefully counting the structures in the neighborhood of a vertex and determining if a neighbor of a vertex can be recolored at the end of a greedy coloring process to avoid conflicts. Combining this with the discharging method allows us to prove $χ_{\mathsf{PCF}}(G) \leq 4$ for planar graphs of girth at least 11, and $χ_{\mathsf{o}}(G) \leq 4$ for planar graphs of girth at least 10. These results improve upon the recent works of Cho, Choi, Kwon, and Park.
Planar binary trees, noncrossing partitions and the operator-valued S-transform
Published
• View Publication
• BIB
We revisit the twisted multiplicativity property of Voiculescu's S-transform in the operator-valued setting, using a specific bijection between planar binary trees and noncrossing partitions.
Note on Min-k-Planar Drawings of Graphs
The k-planar graphs, which are (usually with small values of k such as 1, 2, 3) subject to recent intense research, admit a drawing in which edges are allowed to cross, but each one edge is allowed to carry at most k crossings. In recently introduced [Binucci et al., GD 2023] min-k-planar drawings of graphs, edges may possibly carry more than k crossings, but in any two crossing edges, at least one of the two must have at most k crossings. In both concepts, one may consider general drawings or a popular restricted concept of drawings called simple. In a simple drawing, every two edges are allowed to cross at most once, and any two edges which share a vertex are forbidden to cross. While, regarding the former concept, it is for k<=3 known (but perhaps not widely known) that every general k-planar graph admits a simple k-planar drawing and this ceases to be true for any k>=4, the difference between general and simple drawings in the latter concept is more striking. We prove that there exist graphs with a min-2-planar drawing, or with a min-3-planar drawing avoiding crossings of adjacent edges, which have no simple min-k-planar drawings for arbitrarily large fixed k.
Note on robust coloring of planar graphs
Published in Opuscula Math. 45, no. 1 (2025), 103-111
• View Publication
• BIB
We consider the robust chromatic number $χ_1(G)$ of planar graphs $G$ and show that there exists an infinite family of planar graphs $G$ with $χ_1(G) = 3$, thus solving a recent problem of Bacsó~et~al. (The robust chromatic number of graphs, Graphs Combin. 40 (2024), #89).
Quantum state systems that count perfect matchings
In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.
Jones' conjecture for Halin graphs and a bit more
We prove Jones' famous conjecture for Halin graphs and a somewhat more general class of graphs too. A based planar graph is a planar one that has a face adjacent to every other face. We confirm Jones' conjecture for based planar graphs. Namely, if a based planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to make it acyclic.
Recognition Complexity of Subgraphs of k-Connected Planar Cubic Graphs
We study the recognition complexity of subgraphs of k-connected planar cubic graphs for k = 1, 2, 3. We present polynomial-time algorithms to recognize subgraphs of 1- and 2-connected planar cubic graphs, both in the variable and fixed embedding setting. The main tools involve the Generalized (Anti)factor-problem for the fixed embedding case, and SPQR-trees for the variable embedding case. Secondly, we prove NP-hardness of recognizing subgraphs of 3-connected planar cubic graphs in the variable embedding setting.
Cospectral vertices, walk-regular planar graphs and the echolocation problem
We study cospectral vertices on finite graphs in relation to the echolocation problem on Riemannian manifolds. First, We prove a computationally simple criterion to determine whether two vertices are cospectral. Then, we use this criterion in conjunction with a computer search to find minimal examples of various types of graphs on which cospectral but non-similar vertices exist, including minimal walk-regular non-vertex-transitive graphs, which turn out to be non-planar. Moreover, as our main result, we classify all finite 3-connected walk-regular planar graphs, proving that such graphs must be vertex-transitive.
On the Structure and Generators of the $n$th-order Chromatic Algebra
This work investigates the intrinsic properties of the chromatic algebra, introduced by Fendley and Krushkal as a framework to study the chromatic polynomial. We prove that the dimension of the $n$th-order chromatic algebra is the $2n$th Riordan number, which exhibits exponential growth. We find a generating set of size $\binom{n}{2}$, and we provide a procedure to construct the basis from the generating set. We additionally provide proofs for fundamental facts about this algebra that appear to be missing from the literature. These include determining a representation of the chromatic algebra as noncrossing planar partitions and expanding the chromatic relations to include an edge case.
The volume polynomial of lattice polygons
We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers.
Eulerian-minors and a concise recursive characterization of 4-regular planar graphs
An Eulerian-minor of an Eulerian graph is obtained from an Eulerian subgraph of the Eulerian graph by contraction. The Eulerian-minor operation preserves Eulerian properties of graphs and moreover Eulerian graphs are well-quasi-ordered under Eulerian-minor relation. In this paper, we characterize Eulerian, planar and outer-planar Eulerian graphs by means of excluded Eulerian-minors, and provide a concise recursive characterization to 4-regular planar graphs.
A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs
Let $\partial_H(u)$ be the set of edges incident with a vertex $u$ in the graph $H$. We say that a graph $G$ is $H$-colorable if there exist total functions $f : E(G) \rightarrow E(H)$ and $g : V(G) \rightarrow V(H)$ such that $f$ is a proper edge-coloring of $G$ and for each vertex $u \in V(G)$ we have $f(\partial_G(u))=\partial_H(g(u))$. Let $\bar{X}$ be the graph obtained by adding three parallel edges between two degree one vertices of the graph $K_{1,4}$. Let $\hat{A}$ be the graph obtained by adding two pendant edges to two different vertices of a triangle and then adding two edges between the degree two vertex and the two adjacent degree three vertices. Malnegro and Ozeki [Discrete Math. 347(3):113844 (2024)] asked whether every 4-regular graph with an even number of vertices and an even cycle decomposition of size 3 admits an $\bar{X}$-coloring or an $\hat{A}$-coloring and whether every 2-connected planar 4-regular graph with an even number of vertices admits such a coloring. Additionally, they conjectured that for every 2-edge-connected simple cubic graph $G$ with an even number of edges, the line graph $L(G)$ is $\bar{X}$-colorable. In this short note, we discuss two algorithms for deciding whether a graph $G$ is $H$-colorable. We give a negative answer to the two questions and disprove the conjecture by finding suitable graphs, as verified by two independent algorithms.
HIST-Critical Graphs and Malkevitch's Conjecture
In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which these graphs exist and present an infinite family of planar examples which are $3$-connected and in which nearly all vertices are $4$-valent. This leads naturally to the second part in which we investigate planar $4$-regular graphs with and without HISTs, motivated by a conjecture of Malkevitch, which we computationally verify up to order $22$. First we enumerate HISTs in antiprisms, whereafter we present planar $4$-regular graphs with and without HISTs, obtained via line graphs. Finally, we confirm Malkevitch's conjecture for the family of line graphs of cyclically $4$-edge connected cubic graphs.
Random walks and the "Euclidean" association scheme in finite vector spaces
In this paper, we provide an application to the random distance-$t$ walk in finite planes and derive asymptotic formulas (as $q \to \infty$) for the probability of return to start point after $\ell$ steps based on the "vertical" equidistribution of Kloosterman sums established by N. Katz. The application of these deep results from number theory allow a determination of the second order terms in the answers that simpler spectral gap/mixing rate methods do not. This work relies on a "Euclidean" association scheme studied in prior work of W.M.Kwok, E. Bannai, O. Shimabukuro and H. Tanaka. We also provide a self-contained discussion of the P-matrix and intersection numbers of this scheme for convenience in our application as well as a more explicit form for the intersection numbers in the planar case.
Primitive elements in infinitesimal bialgebras
For any set S, the free magmatic algebra spanned by card(S) binary products is the vector space spanned by the set of all planar rooted binary trees with the internal nodes colored by the elements of S, graded by the number of leaves of a tree. We show that it has a unique structure of coassociative coalgebra such that the coproduct satisfies the unital infinitesimal condition with each magmatic product, and prove an analog of Aguiar-Sottile formula in this context, describing the coproduct in terms of the Moebius basis for the Tamari order. The last result allows us to compute the subspace of primitive elements of any unital infinitesimal S-magmatic bialgebra. As an example, we construct a set of generators of the dual of Pilaud and Pons bialgebra of integer relations and compute an explicit basis of its subspace of primitive elements.
List Packing and Correspondence Packing of Planar Graphs
Published in Journal of Graph Theory. Vol. 109(3), July 2025, pp. 339-352
• Search Publication
For a graph $G$ and a list assignment $L$ with $|L(v)|=k$ for all $v$, an $L$-packing consists of $L$-colorings $\varphi_1,\cdots,\varphi_k$ such that $\varphi_i(v)\ne\varphi_j(v)$ for all $v$ and all distinct $i,j\in\{1,\ldots,k\}$. Let $χ^{\star}_{\ell}(G)$ denote the smallest $k$ such that $G$ has an $L$-packing for every $L$ with $|L(v)|=k$ for all $v$. Let $\mathcal{P}_k$ denote the set of all planar graphs with girth at least $k$. We show that (i) $χ^{\star}_{\ell}(G)\le 8$ for all $G\in \mathcal{P}_3$ and (ii) $χ^{\star}_{\ell}(G)\le 5$ for all $G\in \mathcal{P}_4$ and (iii) $χ^{\star}_{\ell}(G)\le 4$ for all $G\in \mathcal{P}_5$. Part (i) makes progress on a problem of Cambie, Cames van Batenburg, Davies, and Kang. We also construct outerplanar graphs $G$ such that $χ^{\star}_{\ell}(G)=4$, which matches the known upper bound $χ^{\star}_{\ell}(G)\le 4$ for all outerplanar graphs. Finally, we consider the analogue of $χ^{\star}_{\ell}$ for correspondence coloring, $χ^{\star}_c$. In fact, all bounds stated above for $χ^{\star}_{\ell}$ also hold for $χ^{\star}_c$.
Disjoint list-colorings for planar graphs
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in one third of the cases (a fractional packing)? We prove that the packing is impossible, but two disjoint $L$-colorings are guaranteed if the girth is at least $8$, and a fractional packing exists when the girth is at least $6.$
For a graph $G$, the least $k$ such that there are always $k$ disjoint proper list-colorings whenever we have lists all of size $k$ associated to the vertices is called the list packing number of $G$. We lower the two-times-degeneracy upper bound for the list packing number of planar graphs of girth $3,4$ or $5$. As immediate corollaries, we improve bounds for $ε$-flexibility of classes of planar graphs with a given girth. For instance, where previously Dvořák et al. proved that planar graphs of girth $6$ are (weighted) $ε$-flexibly $3$-choosable for an extremely small value of $ε$, we obtain the optimal value $ε=\frac{1}{3}$. Finally, we completely determine and show interesting behavior on the packing numbers for $H$-minor-free graphs for some small graphs $H.$
Type-II Apollonian Model
Published
• View Publication
• BIB
The family of planar graphs is a particularly important family and models many real-world networks. In this paper, we propose a principled framework based on the widely-known Apollonian packing process to generate new planar network, i.e., Type-II Apollonian network $\mathcal{A}_{t}$. The manipulation is different from that of the typical Apollonian network, and is proceeded in terms of the iterative addition of triangle instead of vertex. As a consequence, network $\mathcal{A}_{t}$ turns out to be hamiltonian and eulerian, however, the typical Apollonian network is not. Then, we in-depth study some fundamental structural properties on network $\mathcal{A}_{t}$, and verify that network $\mathcal{A}_{t}$ is sparse like most real-world networks, has scale-free feature and small-world property, and exhibits disassortative mixing structure. Next, we design an effective algorithm for solving the problem of how to enumerate spanning trees on network $\mathcal{A}_{t}$, and derive the asymptotic solution of the spanning tree entropy, which suggests that Type-II Apollonian network is more reliable to a random removal of edges than the typical Apollonian network. Additionally, we study trapping problem on network $\mathcal{A}_{t}$, and use average trapping time as metric to show that Type-II Apollonian network $\mathcal{A}_{t}$ has better structure for fast information diffusion than the typical Apollonian network.