planar
3156 papers tagged with this keyword
List colouring triangle free planar graphs
Published
• View Publication
• BIB
This paper proves the following result: Assume $G$ is a triangle free planar graph, $X$ is an independent set of $G$. If $L$ is a list assignment of $G$ such that $\mid L(v)\mid = 4$ for each vertex $v \in V(G)-X$ and $\mid L(v)\mid = 3$ for each vertex $v \in X$, then $G$ is $L$-colourable.
The Alon-Tarsi number of planar graphs without cycles of lengths $4$ and $l$
Published
• View Publication
• BIB
This paper proves that if $G$ is a planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$, then there exists a matching $M$ such that $AT(G-M)\leq 3$. This implies that every planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$ is 1-defective 3-paintable.
Tropical planar networks
Published
• View Publication
• BIB
We show that every tropical totally positive matrix can be uniquely represented as the transfer matrix of a canonical totally connected weighted planar network. We deduce a uniqueness theorem for the factorization of a tropical totally positive in terms of elementary Jacobi matrices.
From weakly separated collections to matroid subdivisions
Published
• View Publication
• BIB
We study arrangements of slightly skewed tropical hyperplanes, called blades by A. Ocneanu, on the vertices of a hypersimplex $Δ_{k,n}$, and we investigate the resulting induced polytopal subdivisions. We show that placing a blade on a vertex $e_J$ induces an $\ell$-split matroid subdivision of $Δ_{k,n}$, where $\ell$ is the number of cyclic intervals in the $k$-element subset $J$. We prove that a given collection of $k$-element subsets is weakly separated, in the sense of the work of Leclerc and Zelevinsky on quasicommuting families of quantum minors, if and only if the arrangement of the blade $((1,2,\ldots, n))$ on the corresponding vertices of $Δ_{k,n}$ induces a matroid (in fact, a positroid) subdivision. In this way we obtain a compatibility criterion for (planar) multi-splits of a hypersimplex, generalizing the rule known for 2-splits. We study in an extended example the case $(k,n) = (3,7)$ the set of arrangements of $(k-1)(n-k-1)$ weakly separated vertices of $Δ_{k,n}$.
Snake graphs and their characteristic polynomials
The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the characteristic polynomials; they are indexed by the upper or the lower boundary of the graph and are determined by a neighbour count. As an application, we compute the characteristic polynomials for L-shaped snake graphs and staircases in terms of Fibonacci product polynomials. Next, we introduce a method to compute the characteristic polynomials as convergents of continued fractions. Finally, we show how to transform a snake graph with turning vertices of two colours into a graph with the same number of perfect matchings to which we can apply the results above.
Sandwich semigroups in diagram categories
This paper concerns a number of diagram categories, namely the partition, planar partition, Brauer, partial Brauer, Motzkin and Temperley-Lieb categories. If $\mathcal K$ denotes any of these categories, and if $σ\in\mathcal K_{nm}$ is a fixed morphism, then an associative operation $\star_σ$ may be defined on $\mathcal K_{mn}$ by $α\star_σβ=ασβ$. The resulting semigroup $\mathcal K_{mn}^σ=(\mathcal K_{mn},\star_σ)$ is called a sandwich semigroup. We conduct a thorough investigation of these sandwich semigroups, with an emphasis on structural and combinatorial properties such as Green's relations and preorders, regularity, stability, mid-identities, ideal structure, (products of) idempotents, and minimal generation. It turns out that the Brauer category has many remarkable properties not shared by any of the other diagram categories we study. Because of these unique properties, we may completely classify isomorphism classes of sandwich semigroups in the Brauer category, calculate the rank (smallest size of a generating set) of an arbitrary sandwich semigroup, enumerate Green's classes and idempotents, and calculate ranks (and idempotent ranks, where appropriate) of the regular subsemigroup and its ideals, as well as the idempotent-generated subsemigroup. Several illustrative examples are considered throughout, partly to demonstrate the sometimes-subtle differences between the various diagram categories.
On Topological Properties of Planar Octahedron Networks
Published
• View Publication
• BIB
Topological indices are scientific details of graphs which represents its topology and of the most part graph invariant. In QSAR/QSPR, physico-chemical characteristics and topological indices, for example, atom bond connectivity (ABC) and geometric-arithmetic (GA) indices are apply to foresee the bioactivity of concoction mixes. Graph theory discovered a significant practice in the region of investigation. In this paper, we are taking Planar Octahedron networks, produced by honeycomb structure of dimension n and obtain analytical closed results of Multiplicative topological indices for firstly and presents closed formulas of degree based indices.
DP-coloring for planar graphs of diameter two
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced by Dvourák and Postle (2017). Recently, Huang et al. [https://doi.org/10.1016/j.amc.2019.124562] showed that planar graphs with diameter at most two are $4$-choosable. In this paper, we will prove that planar graphs with diameter at most two are DP-$4$-colorable, which is an extension of the above result.
The structure and the list 3-dynamic coloring of outer-1-planar graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (August 27, 2021) dmtcs:5860
• View Publication
• BIB
An outer-1-planar graph is a graph admitting a drawing in the plane so that all vertices appear in the outer region of the drawing and every edge crosses at most one other edge. This paper establishes the local structure of outer-1-planar graphs by proving that each outer-1-planar graph contains one of the seventeen fixed configurations, and the list of those configurations is minimal in the sense that for each fixed configuration there exist outer-1-planar graphs containing this configuration that do not contain any of another sixteen configurations. There are two interesting applications of this structural theorem. First of all, we conclude that every (resp. maximal) outer-1-planar graph of minimum degree at least 2 has an edge with the sum of the degrees of its two end-vertices being at most 9 (resp. 7), and this upper bound is sharp. On the other hand, we show that the list 3-dynamic chromatic number of every outer-1-planar graph is at most 6, and this upper bound is best possible.
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem
Published
• View Publication
• BIB
The Balanced Connected Subgraph problem (BCS) was recently introduced by Bhore et al. (CALDAM 2019). In this problem, we are given a graph $G$ whose vertices are colored by red or blue. The goal is to find a maximum connected subgraph of $G$ having the same number of blue vertices and red vertices. They showed that this problem is NP-hard even on planar graphs, bipartite graphs, and chordal graphs. They also gave some positive results: BCS can be solved in $O(n^3)$ time for trees and $O(n + m)$ time for split graphs and properly colored bipartite graphs, where $n$ is the number of vertices and $m$ is the number of edges.
In this paper, we show that BCS can be solved in $O(n^2)$ time for trees and $O(n^3)$ time for interval graphs. The former result can be extended to bounded treewidth graphs. We also consider a weighted version of BCS (WBCS). We prove that this variant is weakly NP-hard even on star graphs and strongly NP-hard even on split graphs and properly colored bipartite graphs, whereas the unweighted counterpart is tractable on those graph classes. Finally, we consider an exact exponential-time algorithm for general graphs. We show that BCS can be solved in $2^{n/2}n^{O(1)}$ time. This algorithm is based on a variant of Dreyfus-Wagner algorithm for the Steiner tree problem.
Convergence of square tilings to the Riemann map
A well-known theorem of Rodin \& Sullivan, previously conjectured by Thurston, states that the circle packing of the intersection of a lattice with a simply connected planar domain $Ω$ into the unit disc $\mathbb{D}$ converges to a Riemann map from $Ω$ to $\mathbb{D}$ when the mesh size converges to 0. We prove the analogous statement when circle packings are replaced by the square tilings of Brooks et al.
Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs
Published
• View Publication
• BIB
Over 50 years ago, Lovász proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum isomorphic (in the commuting operator framework) if and only if they admit the same number of homomorphisms from any planar graph. As there exist pairs of non-isomorphic graphs that are quantum isomorphic, this implies that homomorphism counts from planar graphs do not determine a graph up to isomorphism. Another immediate consequence is that determining whether there exists some planar graph that has a different number of homomorphisms to two given graphs is an undecidable problem, since quantum isomorphism is known to be undecidable. Our characterization of quantum isomorphism is proven via a combinatorial characterization of the intertwiner spaces of the quantum automorphism group of a graph based on counting homomorphisms from planar graphs. This result inspires the definition of "graph categories" which are analogous to, and a generalization of, partition categories that are the basis of the definition of easy quantum groups. Thus we introduce a new class of "graph-theoretic quantum groups" whose intertwiner spaces are spanned by maps associated to (bi-labeled) graphs. Finally, we use our result on quantum isomorphism to prove an interesting reformulation of the Four Color Theorem: that any planar graph is 4-colorable if and only if it has a homomorphism to a specific Cayley graph on the symmetric group $S_4$ which contains a complete subgraph on four vertices but is not 4-colorable.
Algorithm and hardness results on neighborhood total domination in graphs
Published in Theoretical Computer Science 2020
• View Publication
• BIB
A set $D\subseteq V$ of a graph $G=(V,E)$ is called a neighborhood total dominating set of $G$ if $D$ is a dominating set and the subgraph of $G$ induced by the open neighborhood of $D$ has no isolated vertex. Given a graph $G$, \textsc{Min-NTDS} is the problem of finding a neighborhood total dominating set of $G$ of minimum cardinality. The decision version of \textsc{Min-NTDS} is known to be \textsf{NP}-complete for bipartite graphs and chordal graphs. In this paper, we extend this \textsf{NP}-completeness result to undirected path graphs, chordal bipartite graphs, and planar graphs. We also present a linear time algorithm for computing a minimum neighborhood total dominating set in proper interval graphs. We show that for a given graph $G=(V,E)$, \textsc{Min-NTDS} cannot be approximated within a factor of $(1-\varepsilon)\log |V|$, unless \textsf{NP$\subseteq$DTIME($|V|^{O(\log \log |V|)}$)} and can be approximated within a factor of $O(\log Δ)$, where $Δ$ is the maximum degree of the graph $G$. Finally, we show that \textsc{Min-NTDS} is \textsf{APX}-complete for graphs of degree at most $3$.
Face flips in origami tessellations
Published in Journal of Computational Geometry, Vol. 11, No. 1, 2020, pages 397-417
• View Publication
• BIB
Given a flat-foldable origami crease pattern $G=(V,E)$ (a straight-line drawing of a planar graph on a region of the plane) with a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$ indicating which creases in $E$ bend convexly (mountain) or concavely (valley), we may \emph{flip} a face $F$ of $G$ to create a new MV assignment $μ_F$ which equals $μ$ except for all creases $e$ bordering $F$, where we have $μ_F(e)=-μ(e)$. In this paper we explore the configuration space of face flips for a variety of crease patterns $G$ that are tilings of the plane, proving examples where $μ_F$ results in a MV assignment that is either never, sometimes, or always flat-foldable for various choices of $F$. We also consider the problem of finding, given two foldable MV assignments $μ_1$ and $μ_2$ of a given crease pattern $G$, a minimal sequence of face flips to turn $μ_1$ into $μ_2$. We find polynomial-time algorithms for this in the cases where $G$ is either a square grid or the Miura-ori, and show that this problem is NP-hard in the case where $G$ is the triangle lattice.
Mating of trees for random planar maps and Liouville quantum gravity: a survey
We survey the theory and applications of mating-of-trees bijections for random planar maps and their continuum analog: the mating-of-trees theorem of Duplantier, Miller, and Sheffield (2014). The latter theorem gives an encoding of a Liouville quantum gravity (LQG) surface decorated by a Schramm-Loewner evolution (SLE) curve in terms of a pair of correlated linear Brownian motions. We assume minimal familiarity with the theory of SLE and LQG.
Mating-of-trees theory enables one to reduce problems about SLE and LQG to problems about Brownian motion and leads to deep rigorous connections between random planar maps and LQG. Applications discussed in this article include scaling limit results for various functionals of decorated random planar maps, estimates for graph distances and random walk on (not necessarily uniform) random planar maps, computations of the Hausdorff dimensions of sets associated with SLE, scaling limit results for random planar maps conformally embedded in the plane, and special symmetries for $\sqrt{8/3}$-LQG which allow one to prove its equivalence with the Brownian map.
At least half of the leapfrog fullerene graphs have exponentially many Hamilton cycles
A fullerene graph is a 3-connected cubic planar graph with pentagonal and hexagonal faces. The leapfrog transformation of a planar graph produces the trucation of the dual of the given graph. A fullerene graph is leapfrog if it can be obtained from another fullerene graph by the leapfrog transformation. We prove that leapfrog fullerene graphs on $n=12k-6$ vertices have at least $2^{k}$ Hamilton cycles.
Eulerian circuits and path decompositions in quartic planar graphs
A subcycle of an Eulerian circuit is a sequence of edges that are consecutive in the circuit and form a cycle. We characterise the quartic planar graphs that admit Eulerian circuits avoiding 3-cycles and 4-cycles. From this, it follows that a quartic planar graph of order $n$ can be decomposed into $k_1+k_2+k_3+k_4$ many paths with $k_i$ copies of $P_{i+1}$, the path with $i$ edges, if and only if $k_1+2k_2+3k_3+4k_4 = 2n$. In particular, every connected quartic planar graph of even order admits a $P_5$-decomposition.
Packing Disks by Flipping and Flowing
Published
• View Publication
• BIB
We provide a new type of proof for the Koebe-Andreev-Thurston (KAT) planar circle packing theorem based on combinatorial edge-flips. In particular, we show that starting from a disk packing with a maximal planar contact graph $G$, one can remove any flippable edge $e^-$ of this graph and then continuously flow the disks in the plane, such that at the end of the flow, one obtains a new disk packing whose contact graph is the graph resulting from flipping the edge $e^-$ in $G$. This flow is parameterized by a single inversive distance.
Counting locally flat-foldable origami configurations via 3-coloring graphs
Published
• View Publication
• BIB
Origami, where two-dimensional sheets are folded into complex structures, is proving to be rich with combinatorial and geometric structure, most of which remains to be fully understood. In this paper we consider \emph{flat origami}, where the sheet of material is folded into a two-dimensional object, and consider the mountain (convex) and valley (concave) creases made by such foldings, called a \emph{MV assignment} of the crease pattern. We establish a method to, given a flat-foldable crease pattern $C$ under certain conditions, create a planar graph $C^*$ whose 3-colorings are in one-to-one correspondence with the locally-valid MV assignments of $C$. This reduces the general, unsolved problem of enumerating locally-valid MV assignments to the enumeration of 3-colorings of graphs.
Unimodular random one-ended planar graphs are sofic
Published in Combinatorics, Probability and Computing, 2023, 32 (6), 851-858
• Search Publication
We prove that if a unimodular random graph is almost surely planar and has finite expected degree, then it has a combinatorial embedding into the plane which is also unimodular. This implies the claim in the title immediately by a theorem of Angel, Hutchcroft, Nachmias and Ray [2]. Our unimodular embedding also implies that all the dichotomy results of [2] about unimodular maps extend in the one-ended case to unimodular random planar graphs.