planar
3209 papers tagged with this keyword
Edge Partitions of Complete Geometric Graphs (Part 2)
Recently, the second and third author showed that complete geometric graphs on $2n$ vertices in general cannot be partitioned into $n$ plane spanning trees. Building up on this work, in this paper, we initiate the study of partitioning into beyond planar subgraphs, namely into $k$-planar and $k$-quasi-planar subgraphs and obtain first bounds on the number of subgraphs required in this setting.
On Planarity of Graphs in Homotopy Type Theory
Published in Math. Struct. Comp. Sci. 34 (2024) 281-321
• View Publication
• BIB
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary characterisation of planarity for locally directed finite and connected multigraphs that takes inspiration from topological graph theory, particularly from combinatorial embeddings of graphs into surfaces. A graph is planar if it has a map and an outer face with which any walk in the embedded graph is walk-homotopic to another. A result is that this type of planar maps forms a homotopy set for a graph. As a way to construct examples of planar graphs inductively, extensions of planar maps are introduced. We formalise the essential parts of this work in the proof-assistant Agda with support for homotopy type theory.
An extension of the Lindström-Gessel-Viennot theorem
Published in Electron. J. Combin. 29 (2022), no. 2, Paper No. 2.41, 31 pp
• View Publication
• BIB
Consider a weighted directed acyclic graph $G$ having an upward planar drawing. We give a formula for the total weight of the families of non-intersecting paths on $G$ with any given starting and ending points. While the Lindström-Gessel-Viennot theorem gives the signed enumeration of these weights (according to the connection type), our result provides the straight count, expressing it as a determinant whose entries are signed counts of lattice paths with given starting and ending points.
Computing the vertex connectivity of a locally maximal 1-plane graph in linear time
It is known that the vertex connectivity of a planar graph can be computed in linear time. We extend this result to the class of locally maximal 1-plane graphs: graphs that have an embedding with at most one crossing per edge such that the endpoints of each pair of crossing edges induce the complete graph $K_4$
Complexity of Paired Domination in AT-free and Planar Graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired dominating set (PD-set), if $G[D]$, the subgraph induced by $D$ in $G$ has a perfect matching. The Min-PD problem requires to compute a PD-set of minimum cardinality. The decision version of the Min-PD problem remains NP-complete even when $G$ belongs to restricted graph classes such as bipartite graphs, chordal graphs etc. On the positive side, the problem is efficiently solvable for many graph classes including intervals graphs, strongly chordal graphs, permutation graphs etc. In this paper, we study the complexity of the problem in AT-free graphs and planar graph. The class of AT-free graphs contains cocomparability graphs, permutation graphs, trapezoid graphs, and interval graphs as subclasses. We propose a polynomial-time algorithm to compute a minimum PD-set in AT-free graphs. In addition, we also present a linear-time $2$-approximation algorithm for the problem in AT-free graphs. Further, we prove that the decision version of the problem is NP-complete for planar graphs, which answers an open question asked by Lin et al. (in Theor. Comput. Sci., $591 (2015): 99-105$ and Algorithmica, $ 82 (2020) :2809-2840$).
A web basis of invariant polynomials from noncrossing partitions
Published in Advances in Mathematics 408, Paper No. 108603, 2022, 33 pages
• View Publication
• BIB
The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.
A positive fraction Erdos-Szekeres theorem and its applications
Published in Discrete & Computational Geometry 71 (2024), 308-325
• View Publication
• BIB
A famous theorem of Erdos and Szekeres states that any sequence of $n$ distinct real numbers contains a monotone subsequence of length at least $\sqrt{n}$. Here, we prove a positive fraction version of this theorem. For $n > (k-1)^2$, any sequence $A$ of $n$ distinct real numbers contains a collection of subsets $A_1,\ldots, A_k \subset A$, appearing sequentially, all of size $s=Ω(n/k^2)$, such that every subsequence $(a_1,\ldots, a_k)$, with $a_i \in A_i$, is increasing, or every such subsequence is decreasing. The subsequence $S = (A_1,\ldots, A_k)$ described above is called block-monotone of depth $k$ and block-size $s$. Our theorem is asymptotically best possible and follows from a more general Ramsey-type result for monotone paths, which we find of independent interest. We also show that for any positive integer $k$, any finite sequence of distinct real numbers can be partitioned into $O(k^2\log k)$ block-monotone subsequences of depth at least $k$, upon deleting at most $(k-1)^2$ entries. We apply our results to mutually avoiding planar point sets and biarc diagrams in graph drawing.
Three-chromatic geometric hypergraphs
We prove that for any planar convex body C there is a positive integer m with the property that any finite point set P in the plane can be three-colored such that there is no translate of C containing at least m points of P, all of the same color. As a part of the proof, we show a strengthening of the Erdős-Sands-Sauer-Woodrow conjecture. Surprisingly, the proof also relies on the two dimensional case of the Illumination conjecture.
When is a planar rod configuration infinitesimally rigid?
Published
• View Publication
• BIB
We provide a way of determining the infinitesimal rigidity of rod configurations realizing a rank two incidence geometry in the Euclidean plane. We model each rod with a cone over its point set and prove that the resulting geometric realization of the incidence geometry is infinitesimally rigid in regular position if and only if the resulting cone graph is infinitesimally rigid in generic position. This is a generalization of the Molecular conjecture.
Grass trees and forests: Enumeration of Grassmannian trees and forests, with applications to the momentum amplituhedron
Published
• View Publication
• BIB
The Exponential Formula allows one to enumerate any class of combinatorial objects built by choosing a set of connected components and placing a structure on each connected component which depends only on its size. There are multiple variants of this result, including Speicher's result for noncrossing partitions, as well as analogues of the Exponential Formula for series-reduced planar trees and forests. In this paper we use these formulae to give generating functions contracted Grassmannian trees and forests, certain graphs whose vertices are decorated with a helicity. Along the way we enumerate bipartite planar trees and forests, and we apply our results to enumerate various families of permutations: for example, bipartite planar trees are in bijection with separable permutations. Our generating function for Grassmannian forests can be interpreted as the rank generating function for the boundary strata of the momentum amplituhedron, an object which encodes the tree-level S-matrix of maximally supersymmetric Yang-Mills theory. This allows us to verify that the Euler characteristic of the momentum amplituhedron is 1.
Recolouring planar graphs of girth at least five
Published
• View Publication
• BIB
For a positive integer $k$, the $k$-recolouring graph of a graph $G$ has as vertex set all proper $k$-colourings of $G$ with two $k$-colourings being adjacent if they differ by the colour of exactly one vertex. A result of Dyer et al. regarding graphs of bounded degeneracy implies that the $7$-recolouring graphs of planar graphs, the $5$-recolouring graphs of triangle-free planar graphs and the $4$-recolouring graphs planar graphs of girth at least six are connected. On the other hand, there are planar graphs whose $6$-recolouring graph is disconnected, triangle-free planar graphs whose $4$-recolouring graph is disconnected and planar graphs of any given girth whose $3$-recolouring graph is disconnected.
The main result of this paper consists in showing, via a novel application of the discharging method, that the $4$-recolouring graph of every planar graph of girth five is connected. This completes the classification of the connectedness of the recolouring graph for planar graphs of given girth. We also prove some theorems regarding the diameter of the recolouring graph of planar graphs.
On torsional rigidity and ground-state energy of compact quantum graphs
Published
• View Publication
• BIB
We develop the theory of torsional rigidity -- a quantity routinely considered for Dirichlet Laplacians on bounded planar domains -- for Laplacians on metric graphs with at least one Dirichlet vertex. Using a variational characterization that goes back to Pólya, we develop surgical principles that, in turn, allow us to prove isoperimetric-type inequalities: we can hence compare the torsional rigidity of general metric graphs with that of intervals of the same total length. In the spirit of the Kohler-Jobin Inequality, we also derive sharp bounds on the ground-state energy of a quantum graph in terms of its torsional rigidity: this is particularly attractive since computing the torsional rigidity reduces to inverting a matrix whose size is the number of the graph's vertices and is, thus, much easier than computing eigenvalues.
An extension of Thomassen's result on choosability
Published in Applied Mathematics and Computation, 425 (2022) 127100
• View Publication
• BIB
Thomassen proved that all planar graphs are $5$-choosable. Škrekovski strengthened the result by showing that all $K_{5}$-minor-free graphs are $5$-choosable. Dvořák and Postle pointed out that all planar graphs are DP-$5$-colorable. In this note, we first improve these results by showing that every $K_{5}$-minor-free or $K_{3, 3}$-minor-free graph is DP-$5$-colorable. In the final section, we further improve these results under the term strictly $f$-degenerate transversal.
Decomposition of planar graphs with forbidden configurations
Published in Discrete Applied Mathematics, 331 (2023) 147-158
• View Publication
• BIB
A $(d,h)$-decomposition of a graph $G$ is an ordered pair $(D, H)$ such that $H$ is a subgraph of $G$ of maximum degree at most $h$ and $D$ is an acyclic orientation of $G-E(H)$ with maximum out-degree at most $d$. In this paper, we prove that for $l \in \{5, 6, 7, 8, 9\}$, every planar graph without $4$- and $l$-cycles is $(2,1)$-decomposable. As a consequence, for every planar graph $G$ without $4$- and $l$-cycles, there exists a matching $M$, such that $G - M$ is $3$-DP-colorable and has Alon-Tarsi number at most $3$. In particular, $G$ is $1$-defective $3$-DP-colorable, $1$-defective $3$-paintable and 1-defective 3-choosable. These strengthen the results in [Discrete Appl. Math. 157~(2) (2009) 433--436] and [Discrete Math. 343 (2020) 111797].
Relaxed DP-3-coloring of planar graphs without some cycles
Published in Bulletin of the Malaysian Mathematical Sciences Society, 45 (2022) 2681--2690
• View Publication
• BIB
Dvořák and Postle introduced the concept of DP-coloring to overcome some difficulties in list coloring. Sittitrai and Nakprasit combined DP-coloring and defective list coloring to define a new coloring -- relaxed DP-coloring. For relaxed DP-coloring, Sribunhung et al. proved that planar graphs without 4- and 7-cycles are DP-(0, 2, 2)-colorable. Li et al. proved that planar graphs without 4, 8-cycles or 4, 9-cycles are DP-(1, 1, 1)-colorable. Lu and Zhu proved that planar graphs without 4, 5-cycles, or 4, 6-cycles, or 4, 7-cycles are DP-(1, 1, 1)-colorable. In this paper, we show that planar graphs without 4, 6-cycles or 4, 8-cycles are DP-(0, 2, 2)-colorable.
Perturbing Isoradial Triangulations
Published
• View Publication
• BIB
We consider an infinite, planar, Delaunay graph which is obtained by locally deforming the embedding of a general, isoradial graph, w.r.t. a real deformation parameter $ε$. This entails a careful analysis of edge-flips induced by the deformation and the Delaunay constraints. Using Kenyon's exact and asymptotic results for the Green's function on an isoradial graph, we calculate the leading asymptotics of the first and second order terms in the perturbative expansion of the log-determinant of the Beltrami-Laplace operator $Δ(ε)$, the David-Eynard Kähler operator $\mathcal{D}(ε)$, and the conformal Laplacian $\underlineΔ(ε)$ on the deformed graph. We show that the scaling limits of the second order {\it bi-local} term for both the Beltrami-Laplace and David-Eynard operators exist and coincide, with a value independent of the choice of initial isoradial graph. Our results allow to define a discrete analogue of the stress energy tensor for each of the three operators. Furthermore we can identify a central charge ($c$) in the case of both the Beltrami-Laplace and David-Eynard operators. While the scaling limit is consistent with the stress-energy tensor and value of the central charge for the Gaussian free field (GFF), the discrete central charge value of $c=-2$ for the David-Eynard operator is, however, at odds with the value of $c=-26$ expected by Polyakov's theory of 2D quantum gravity; moreover there are problems with convergence of the scaling limit of the discrete stress energy tensor for the David-Eynard operator. The bi-local term for the conformal Laplacian involves anomalous terms corresponding to the creation of discrete {\it curvature dipoles} in the deformed Delaunay graph; we examine the difficulties in defining a convergent scaling limit in this case. Connections with some discrete statistical models at criticality are explored.
Shallow Minors, Graph Products and Beyond Planar Graphs
Published
• View Publication
• BIB
The planar graph product structure theorem of Dujmović, Joret, Micek, Morin, Ueckerdt, and Wood [J. ACM 2020] states that every planar graph is a subgraph of the strong product of a graph with bounded treewidth and a path. This result has been the key tool to resolve important open problems regarding queue layouts, nonrepetitive colourings, centered colourings, and adjacency labelling schemes. In this paper, we extend this line of research by utilizing shallow minors to prove analogous product structure theorems for several beyond planar graph classes. The key observation that drives our work is that many beyond planar graphs can be described as a shallow minor of the strong product of a planar graph with a small complete graph. In particular, we show that powers of planar graphs, $k$-planar, $(k,p)$-cluster planar, fan-planar and $k$-fan-bundle planar graphs have such a shallow-minor structure. Using a combination of old and new results, we deduce that these classes have bounded queue-number, bounded nonrepetitive chromatic number, polynomial $p$-centred chromatic numbers, linear strong colouring numbers, and cubic weak colouring numbers. In addition, we show that $k$-gap planar graphs have at least exponential local treewidth and, as a consequence, cannot be described as a subgraph of the strong product of a graph with bounded treewidth and a path.
Homomorphism Tensors and Linear Equations
Published in Advances in Combinatorics 2025:4, 50pp
• View Publication
• BIB
Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Recently, homomorphism indistinguishability over restricted classes of graphs such as bounded treewidth, bounded treedepth and planar graphs, has emerged as a surprisingly powerful framework for capturing diverse equivalence relations on graphs arising from logical equivalence and algebraic equation systems.
In this paper, we provide a unified algebraic framework for such results by examining the linear-algebraic and representation-theoretic structure of tensors counting homomorphisms from labelled graphs. The existence of certain linear transformations between such homomorphism tensor subspaces can be interpreted both as homomorphism indistinguishability over a graph class and as feasibility of an equational system. Following this framework, we obtain characterisations of homomorphism indistinguishability over several natural graph classes, namely trees of bounded degree and graphs of bounded pathwidth, answering a question of Dell et al. (2018), and graphs of bounded treedepth.
Determining Sidon Polynomials on Sidon Sets over $\mathbb{F}_q\times \mathbb{F}_q$
Published in J. Algebra Comb. Discrete Struct. Appl. 11 3 (2024), 175-187
• View Publication
• BIB
Let $p$ be a prime, and $q=p^n$ be a prime power. In his works on Sidon sets over $\mathbb{F}_q\times \mathbb{F}_q$, Cilleruelo conjectured about polynomials that could generate $q$-element Sidon sets over $\mathbb{F}_q\times \mathbb{F}_q$.
Here, we derive some criteria for determining polynomials that could generate $q$-element Sidon set over $\mathbb{F}_q\times \mathbb{F}_q$. Using these criteria, we prove that certain classes of monomials and cubic polynomials over $\mathbb{F}_p$ cannot be used to generate $p$-element Sidon set over $\mathbb{F}_p\times \mathbb{F}_p$. We also discover a connection between the needed polynomials and planar polynomials.
$q$-Rationals and Finite Schubert Varieties
Published
• View Publication
• BIB
The classical $q$-analogue of the integers was recently generalized by Morier-Genoud and Ovsienko to give $q$-analogues of rational numbers. Some combinatorial interpretations are already known, namely as the rank generating functions for certain partially ordered sets. We review some of these interpretations, and additionally give a slightly novel approach in terms of planar graphs called snake graphs. Using the snake graph approach, we show that the numerators of $q$-rationals count the sizes of certain varieties over finite fields, which are unions of open Schubert cells in some Grassmannian.