planar
3209 papers tagged with this keyword
Root polytopes and Jaeger-type dissections for directed graphs
Published in Mathematika 68 (2022), no. 4, 1176--1220
• View Publication
• BIB
We associate root polytopes to directed graphs and study them by using ribbon structures. Most attention is paid to what we call the semi-balanced case, i.e., when each cycle has the same number of edges pointing in the two directions. Given a ribbon structure, we identify a natural class of spanning trees and show that, in the semi-balanced case, they induce a shellable dissection of the root polytope into maximal simplices. This allows for a computation of the $h^*$-vector of the polytope and for showing some properties of this new graph invariant, such as a product formula and that in the planar case, the $h^*$-vector is equivalent to the greedoid polynomial of the dual graph. We obtain a general recursion relation as well. We also work out the case of layer-complete directed graphs, where our method recovers a previously known triangulation. Indeed our dissection is often but not always a triangulation; we address this with a series of examples.
Lozenge tilings and the Gaussian free field on a cylinder
Published
• View Publication
• BIB
We use the periodic Schur process, introduced in arXiv:math/0601019v1, to study the random height function of lozenge tilings (equivalently, dimers) on an infinite cylinder distributed under two variants of the $q^{\operatorname{vol}}$ measure. Under the first variant, corresponding to random cylindric partitions, the height function converges to a deterministic limit shape and fluctuations around it are given by the Gaussian free field in the conformal structure predicted by the Kenyon-Okounkov conjecture. Under the second variant, corresponding to an unrestricted dimer model on the cylinder, the fluctuations are given by the same Gaussian free field with an additional discrete Gaussian shift component. Fluctuations of the latter type have been previously conjectured for dimer models on planar domains with holes.
Online Domination: The Value of Getting to Know All your Neighbors
We study the dominating set problem in an online setting. An algorithm is required to guarantee competitiveness against an adversary that reveals the input graph one node at a time. When a node is revealed, the algorithm learns about the entire neighborhood of the node (including those nodes that have not yet been revealed). Furthermore, the adversary is required to keep the revealed portion of the graph connected at all times. We present an algorithm that achieves 2-competitiveness on trees and prove that this competitive ratio cannot be improved by any other algorithm. We also present algorithms that achieve 2.5-competitiveness on cactus graphs, $(t-1)$-competitiveness on $K_{1,t}$-free graphs, and $Θ(\sqrtΔ)$ for maximum degree $Δ$ graphs. We show that all of those competitive ratios are tight. Then, we study several more general classes of graphs, such as threshold, bipartite planar, and series-parallel graphs, and show that they do not admit competitive algorithms (that is, when competitive ratio is independent of the input size). Previously, the dominating set problem was considered in a slightly different input model, where a vertex is revealed alongside its restricted neighborhood: those neighbors that are among already revealed vertices. Thus, conceptually, our results quantify the value of knowing the entire neighborhood at the time a vertex is revealed as compared to the restricted neighborhood. For instance, it was known in the restricted neighborhood model that 3-competitiveness is optimal for trees, whereas knowing the neighbors allows us to improve it to 2-competitiveness.
Concentration of maximum degree in random planar graphs
Published
• View Publication
• BIB
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $[n]:=\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We show that in the sparse regime, when $m/n\leq 1$, with high probability the maximum degree of $P(n,m)$ takes at most two different values. In contrast, this is not true anymore in the dense regime, when $m/n>1$, where the maximum degree of $P(n,m)$ is not concentrated on any subset of $[n]$ with bounded size.
Cut Vertices in Random Planar Maps
Published
• View Publication
• BIB
The main goal of this paper is to determine the asymptotic behavior of the number $X_n$ of cut-vertices in random planar maps with $n$ edges. It is shown that $X_n/n \to c$ in probability (for some explicit $c>0$). For so-called subcritical classes of planar maps (like outerplanar maps) we obtain a central limit theorem, too. Interestingly the combinatorics behind this seemingly simple problem is quite involved.
Atom-generated planar lattices
In this note, we discuss planar lattices generated by their atoms. We prove that if $L$ is a planar lattice generated by $n$ atoms, then both the left and the right boundaries of $L$ have at most $n+1$ elements.
On the other hand, $L$ can be arbitrarily large. For every $k > 1$, we construct a planar lattice $L$ generated by $4$ atoms such that $L$ has more than $k$ elements.
Hamiltonian cycles in 4-connected planar and projective planar triangulations with few 4-separators
Published
• View Publication
• BIB
Whitney proved in 1931 that every 4-connected planar triangulation is hamiltonian. Later in 1979, Hakimi, Schmeichel and Thomassen conjectured that every such triangulation on $n$ vertices has at least $2(n - 2)(n - 4)$ hamiltonian cycles. Along this direction, Brinkmann, Souffriau and Van Cleemput established a linear lower bound on the number of hamiltonian cycles in 4-connected planar triangulations. In stark contrast, Alahmadi, Aldred and Thomassen showed that every 5-connected triangulation of the plane or the projective plane has exponentially many hamiltonian cycles. This gives the motivation to study the number of hamiltonian cycles of 4-connected triangulations with few 4-separators. Recently, Liu and Yu showed that every 4-connected planar triangulation with $O(n / \log n)$ 4-separators has a quadratic number of hamiltonian cycles. By adapting the framework of Alahmadi et al. we strengthen the last two aforementioned results. We prove that every 4-connected planar or projective planar triangulation with $O(n)$ 4-separators has exponentially many hamiltonian cycles.
Embedding Grid Graphs on Surfaces
Published in Graphs and Combinatorics, vol. 38, Article number 87 (2022)
• View Publication
• BIB
In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k-dimensional grid graphs and effective two-sided bounds for the genus of any 3-dimensional grid graph, both in terms of a grid graph's combinatorics. As an application, we provide a complete classification of planar and toroidal grid graphs. Our work requires a variety of combinatorial arguments to determine effective lower bounds on the genus of a grid graph, along with explicitly constructing embeddings of grid graphs on surfaces to determine effective upper bounds on their genera.
Robust Connectivity of Graphs on Surfaces
Published in SIAM Journal on Discrete Mathematics 36(2), 1416-1435, 2022
• View Publication
• BIB
Let $Λ(T)$ denote the set of leaves in a tree $T$. One natural problem is to look for a spanning tree $T$ of a given graph $G$ such that $Λ(T)$ is as large as possible. This problem is called maximum leaf number, and it is a well-known NP-hard problem. Throughout recent decades, this problem has received considerable attention, ranging from pure graph theoretic questions to practical problems related to the construction of wireless networks.
Recently, a similar but stronger notion was defined by Bradshaw, Masařík, and Stacho [Flexible List Colorings in Graphs with Special Degeneracy Conditions, ISAAC 2020]. They introduced a new invariant for a graph $G$, called the robust connectivity and written $κ_ρ(G)$, defined as the minimum value $\frac{|R \cap Λ(T)|}{|R|}$ taken over all nonempty subsets $R\subseteq V(G)$, where $T = T(R)$ is a spanning tree on $G$ chosen to maximize $|R \cap Λ(T)|$. Large robust connectivity was originally used to show flexible choosability in non-regular graphs.
In this paper, we investigate some interesting properties of robust connectivity for graphs embedded in surfaces. We prove a tight asymptotic bound of $Ω(γ^{-\frac{1}{r}})$ for the robust connectivity of $r$-connected graphs of Euler genus $γ$. Moreover, we give a surprising connection between the robust connectivity of graphs with an edge-maximal embedding in a surface and the surface connectivity of that surface, which describes to what extent large induced subgraphs of embedded graphs can be cut out from the surface without splitting the surface into multiple parts. For planar graphs, this connection provides an equivalent formulation of a long-standing conjecture of Albertson and Berman [A conjecture on planar graphs, 1979], which states that every planar graph on $n$ vertices contains an induced forest of size at least $n/2$.
The chromatic number of signed graphs with bounded maximum average degree
Published
• View Publication
• BIB
A signed graph is a simple graph with two types of edges: positive and negative edges. Switching a vertex $v$ of a signed graph corresponds to changing the type of each edge incident to $v$.
A homomorphism from a signed graph $G$ to another signed graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ such that, after switching some of the vertices of $G$, $\varphi$ maps every edge of $G$ to an edge of $H$ of the same type. The chromatic number $χ_s(G)$ of a signed graph $G$ is the order of a smallest signed graph $H$ such that there is a homomorphism from $G$ to $H$.
The maximum average degree $mad(G)$ of a graph $G$ is the maximum of the average degrees of all the subgraphs of $G$. We denote $\mathcal{M}_k$ the class of signed graphs with maximum average degree less than $k$ and $\mathcal{P}_g$ the class of planar signed graphs of girth at least $g$.
We prove:
$χ_s(\mathcal{P}_{7}) \le 5$,
$χ_s(\mathcal{M}_{\frac{17}{5}}) \le 10$ which implies $χ_s(\mathcal{P}_{5}) \le 10$,
$χ_s(\mathcal{M}_{4-\frac{8}{q+3}}) \le q+1$ with $q$ a prime power congruent to 1 modulo 4.
Diagonally Embedded Sets of ${\rm Trop}^+G(2,n)$'s in ${\rm Trop}\, G(2,n)$: Is There a Critical Value of $n$?
The tropical Grassmannian ${\rm Trop}\, G(2,n)$ is known to be the moduli space of unrooted metric trees with $n$ leaves. A positive part can be defined for each of the $(n-1)!/2$ possible planar orderings, $α$, and agrees with the corresponding planar trees in the moduli space, ${\rm Trop}^αG(2,n)$. Motivated by a physical application we study the way ${\rm Trop}^αG(2,n)$ and ${\rm Trop}^βG(2,n)$ intersect in ${\rm Trop}\, G(2,n)$. We define their intersection number as the number of unrooted binary trees that belong to both and construct a $(n-1)!/2\times (n-1)!/2$ intersection matrix. We are interested in finding the diagonal (up to permutations of rows and columns) submatrices of maximum possible rank for a given $n$. We prove that such diagonal matrices cannot have rank larger than $(n-3)!$ using the CHY formalism. We also prove that the bound is saturated for $n=5$ (the condition is trivial for $n=4$), that for $n=6$ the maximum rank is $4$, and that for $n=7$ the maximum rank is $\geq 14$. We also ask the following question: Is there a value $n_{\rm c}$ so that for any $n>n_{\rm c}$ the bound $(n-3)!$ is always saturated? We review and extend two relevant results in the literature. The first is the Kawai-Lewellen-Tye (KLT) choice of sets which leads to a $(n-3)!\times (n-3)!$ block diagonal submatrix with blocks of size $d\times d$ with $d = \lceil (n-3)/2\rceil !\lfloor (n-3)/2\rfloor !$. The second result is that the number of ${\rm Trop}^αG(2,n)$'s that intersect a given one grows as $\exp(n\log (3+\sqrt{8}))$ for large $n$ which implies that the density of the intersection matrix goes as $\exp(-n(\log(n)-2.76))$. We interpret this as an indication that the generic behavior is not seen until $n \approx \exp (2.76)$, i.e. $n = 16$. We also find an exact formula for the number of zeros in a KLT block.
Regular graphs with few longest cycles
Published
• View Publication
• BIB
Motivated by work of Haythorpe, Thomassen and the author showed that there exists a positive constant $c$ such that there is an infinite family of 4-regular 4-connected graphs, each containing exactly $c$ hamiltonian cycles. We complement this by proving that the same conclusion holds for planar 4-regular 3-connected graphs, although it does not hold for planar 4-regular 4-connected graphs by a result of Brinkmann and Van Cleemput, and that it holds for 4-regular graphs of connectivity 2 with the constant $144 < c$, which we believe to be minimal among all hamiltonian 4-regular graphs of sufficiently large order. We then disprove a conjecture of Haythorpe by showing that for every non-negative integer $k$ there is a 5-regular graph on $26 + 6k$ vertices with $2^{k+10} \cdot 3^{k+3}$ hamiltonian cycles. We prove that for every $d \ge 3$ there is an infinite family of hamiltonian 3-connected graphs with minimum degree $d$, with a bounded number of hamiltonian cycles. It is shown that if a 3-regular graph $G$ has a unique longest cycle $C$, at least two components of $G - E(C)$ have an odd number of vertices on $C$, and that there exist 3-regular graphs with exactly two such components.
Bijective enumeration of planar bipartite maps with three tight boundaries, or how to slice pairs of pants
Published in Annales Henri Lebesgue, Volume 5 (2022), pp. 1035-1110
• View Publication
• BIB
We consider planar maps with three boundaries, colloquially called pairs of pants. In the case of bipartite maps with controlled face degrees, a simple expression for their generating function was found by Eynard and proved bijectively by Collet and Fusy. In this paper, we obtain an even simpler formula for \emph{tight} pairs of pants, namely for maps whose boundaries have minimal length in their homotopy class. We follow a bijective approach based on the slice decomposition, which we extend by introducing new fundamental building blocks called bigeodesic triangles and diangles, and by working on the universal cover of the triply punctured sphere. We also discuss the statistics of the lengths of minimal separating loops in (non necessarily tight) pairs of pants and annuli, and their asymptotics in the large volume limit.
Complexity and algorithms for injective edge-coloring in graphs
Published in Information Processing Letters 170:106121, 2021
• View Publication
• BIB
An injective $k$-edge-coloring of a graph $G$ is an assignment of colors, i.e. integers in $\{1, \ldots , k\}$, to the edges of $G$ such that any two edges each incident with one distinct endpoint of a third edge, receive distinct colors. The problem of determining whether such a $k$-coloring exists is called k-INJECTIVE EDGE-COLORING. We show that 3-INJECTIVE EDGE-COLORING is NP-complete, even for triangle-free cubic graphs, planar subcubic graphs of arbitrarily large girth, and planar bipartite subcubic graphs of girth~6. 4-INJECTIVE EDGE-COLORING remains NP-complete for cubic graphs. For any $k\geq 45$, we show that k-INJECTIVE EDGE-COLORING remains NP-complete even for graphs of maximum degree at most $5\sqrt{3k}$. In contrast with these negative results, we show that \InjPbName{k} is linear-time solvable on graphs of bounded treewidth. Moreover, we show that all planar bipartite subcubic graphs of girth at least~16 are injectively $3$-edge-colorable. In addition, any graph of maximum degree at most $\sqrt{k/2}$ is injectively $k$-edge-colorable.
Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial
Published
• View Publication
• BIB
There are many different algebraic, geometric and combinatorial objects that one can attach to a complex polynomial with distinct roots. In this article we introduce a new object that encodes many of the existing objects that have previously appeared in the literature. Concretely, for every complex polynomial $p$ with $d$ distinct roots and degree at least 2, we produce a canonical compact planar 2-complex that is a compact metric version of a tiled phase diagram. It has a locally CAT(0) metric that is locally Euclidean away from a finite set of interior points indexed by the critical points of $p$, and each of its 2-cells is a metric rectangle. From this planar rectangular 2-complex one can use metric graphs known as metric cacti and metric banyans to read off several pieces of combinatorial data: a chain in the partition lattice, a cyclic factorization of a d-cycle, a real noncrossing partition (also known as a primitive d-major), and the monodromy permutations for the polynomial. This article is the first in a series.
Product structure of graphs with an excluded minor
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 1233-1248
• View Publication
• BIB
This paper shows that $K_t$-minor-free (and $K_{s, t}$-minor-free) graphs $G$ are subgraphs of products of a tree-like graph $H$ (of bounded treewidth) and a complete graph $K_m$. Our results include optimal bounds on the treewidth of $H$ and optimal bounds (to within a constant factor) on $m$ in terms of the number of vertices of $G$ and the treewidth of $G$. These results follow from a more general theorem whose corollaries include a strengthening of the celebrated separator theorem of Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] and the Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM 2020].
Simple numerical algorithm for generating Hamiltonian cycles and edge labels on planar cubic maps
In this work we present an algorithm with which any arbitrary cubic planar map may be constructed through successive edge insertion while simultaneously constructing a set of proper edge labels and Hamiltonian cycles for each configuration. We present a publicly available Python implementation of this algorithm, and discuss both theoretical and numerical support for its validity, with reference to the well-known Four Colour Theorem.
Number of Hamiltonian cycles in planar triangulations
Published
• View Publication
• BIB
Whitney proved in 1931 that 4-connected planar triangulations are Hamiltonian. Hakimi, Schmeichel, and Thomassen conjectured in 1979 that if $G$ is a 4-connected planar triangulation with $n$ vertices then $G$ contains at least $2(n-2)(n-4)$ Hamiltonian cycles, with equality if and only if $G$ is a double wheel. On the other hand, a recent result of Alahmadi, Aldred, and Thomassen states that there are exponentially many Hamiltonian cycles in 5-connected planar triangulations. In this paper, we consider 4-connected planar $n$-vertex triangulations $G$ that do not have too many separating 4-cycles or have minimum degree 5. We show that if $G$ has $O(n/{\log}_2 n)$ separating 4-cycles then $G$ has $Ω(n^2)$ Hamiltonian cycles, and if $δ(G)\ge 5$ then $G$ has $2^{Ω(n^{1/4})}$ Hamiltonian cycles. Both results improve previous work. Moreover, the proofs involve a "double wheel" structure, providing further evidence to the above conjecture.
Polyhedra without cubic vertices are prism-hamiltonian
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph) of minimum degree at least four is prism-hamiltonian.
Eigenvalue asymptotics and unique continuation of eigenfunctions on planar graphs
Published
• View Publication
• BIB
We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{ö}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry which employs a Copy-and-Paste procedure based on the Gauß-Bonnet theorem.