planar
3209 papers tagged with this keyword
The odd chromatic number of a planar graph is at most 8
Published in Graphs and Combinatorics 39 (2023)
• View Publication
• BIB
Petruševski and Škrekovski \cite{odd9} recently introduced the notion of an odd colouring of a graph: a proper vertex colouring of a graph $G$ is said to be \emph{odd} if for each non-isolated vertex $x \in V(G)$ there exists a colour $c$ appearing an odd number of times in $N(x)$.
Petruševski and Škrekovski proved that for any planar graph $G$ there is an odd colouring using at most $9$ colours and, together with Caro \cite{oddremarks}, showed that $8$ colours are enough for a significant family of planar graphs. We show that $8$ colours suffice for all planar graphs.
The Polyhedral Tree Complex
Published in Combinatorial Theory, 2(3) 2022
• View Publication
• BIB
The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.
Characterizing Planar Tanglegram Layouts and Applications to Edge Insertion Problems
Published
• View Publication
• BIB
Tanglegrams are formed by taking two rooted binary trees $T$ and $S$ with the same number of leaves and uniquely matching each leaf in $T$ with a leaf in $S$. They are usually represented using layouts, which embed the trees and the matching of the leaves into the plane as in Figure 1. Given the numerous ways to construct a layout, one problem of interest is the Tanglegram Layout Problem, which is to efficiently find a layout that minimizes the number of crossings. This parallels a similar problem involving drawings of graphs, where a common approach is to insert edges into a planar subgraph. In this paper, we will explore inserting edges into a planar tanglegram. Previous results on planar tanglegrams include a Kuratowski Theorem, enumeration, and an algorithm for drawing a planar layout. We start by building on these results and characterizing all planar layouts of a planar tanglegram. We then apply this characterization to construct a quadratic-time algorithm that inserts a single edge optimally. Finally, we generalize some results to multiple edge insertion.
Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Published
• View Publication
• BIB
Twin-width is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twin-width $\text{tww}(G)$ for graphs $G$ from a number of classic graph classes. We prove the following:
- $\text{tww}(G) \leq 3\cdot 2^{\text{tw}(G)-1}$, where $\text{tw}(G)$ is the treewidth of $G$,
- $\text{tww}(G) \leq \max(4\text{bw}(G),\frac{9}{2}\text{bw}(G)-3)$ for a planar graph $G$ with $\text{bw}(G) \geq 2$, where $\text{bw}(G)$ is the branchwidth of $G$,
- $\text{tww}(G) \leq 183$ for a planar graph $G$,
- the twin-width of a universal bipartite graph $(X,2^X,E)$ with $|X|=n$ is $n - \log_2(n) +
\mathcal{O}(1)$ .
An important idea behind the bounds for planar graphs is to use an embedding of the graph and sphere-cut decompositions to obtain good bounds on neighbourhood complexity.
Bounding generalized coloring numbers of planar graphs using coin models
Published
• View Publication
• BIB
We study Koebe orderings of planar graphs: vertex orderings obtained by modelling the graph as the intersection graph of pairwise internally-disjoint discs in the plane, and ordering the vertices by non-increasing radii of the associated discs. We prove that for every $d\in \mathbb{N}$, any such ordering has $d$-admissibility bounded by $O(d/\ln d)$ and weak $d$-coloring number bounded by $O(d^4 \ln d)$. This in particular shows that the $d$-admissibility of planar graphs is bounded by $O(d/\ln d)$, which asymptotically matches a known lower bound due to Dvořák and Siebertz.
Strengthening a theorem of Meyniel
Published
• View Publication
• BIB
For an integer $k \geq 1$ and a graph $G$, let $\mathcal{K}_k(G)$ be the graph that has vertex set all proper $k$-colorings of $G$, and an edge between two vertices $α$ and~$β$ whenever the coloring~$β$ can be obtained from $α$ by a single Kempe change. A theorem of Meyniel from 1978 states that $\mathcal{K}_5(G)$ is connected with diameter $O(5^{|V(G)|})$ for every planar graph $G$. We significantly strengthen this result, by showing that there is a positive constant $c$ such that $\mathcal{K}_5(G)$ has diameter $O(|V(G)|^c)$ for every planar graph $G$.
List-Recoloring of Sparse Graphs
Published in European J. Combinatorics Vol. 105, October 2022, 103562
• View Publication
• BIB
Fix a graph $G$, a list-assignment $L$ for $G$, and $L$-colorings $α$ and $β$. An $L$-recoloring sequence, starting from $α$, recolors a single vertex at each step, so that each resulting intermediate coloring is a proper $L$-coloring. An $L$-recoloring sequence transforms $α$ to $β$ if its initial coloring is $α$ and its final coloring is $β$. We prove there exists an $L$-recoloring sequence that transforms $α$ to $β$ and recolors each vertex at most a constant number of times if (i) $G$ is triangle-free and planar and $L$ is a 7-assignment, or (ii) $\mathrm{mad}(G)<17/5$ and $L$ is a 6-assignment or (iii) $\mathrm{mad}(G)<22/9$ and $L$ is a 4-assignment. Parts (i) and (ii) confirm conjectures of Dvořák and Feghali.
Vertex-edge marking score of certain triangular lattices
The vertex-edge marking game is played between two players on a graph, $G=(V,E)$, with one player marking vertices and the other marking edges. The players want to minimize/maximize, respectively, the number of marked edges incident to an unmarked vertex. The vertex-edge coloring number for $G$ is the maximum score achievable with perfect play. Brešar et al., [4], give an upper bound of $5$ for the vertex-edge coloring number for finite planar graphs. It is not known whether the bound is tight. In this paper, in response to questions in [4], we show that the vertex-edge coloring number for the infinite regular triangularization of the plane is 4. We also give two general techniques that allow us to calculate the vertex-edge coloring number in many related triangularizations of the plane.
Odd Colorings of Sparse Graphs
Published in Journal of Combinatorics. Vol. 15(4), 2024, pp. 439-450
• View Publication
• BIB
A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. The smallest number of colors that admits an odd coloring of a graph $G$ is denoted $χ_o(G)$. This notion was introduced by Petruševski and Škrekovski, who proved that if $G$ is planar then $χ_o(G)\le 9$; they also conjectured that $χ_o(G)\le 5$. For a positive real number $α$, we consider the maximum value of $χ_o(G)$ over all graphs $G$ with maximum average degree less than $α$; we denote this value by $χ_o(\mathcal{G}_α)$. We note that $χ_o(\mathcal{G}_α)$ is undefined for all $α\ge 4$. In contrast, for each $α\in[0,4)$, we give a (nearly sharp) upper bound on $χ_o(\mathcal{G}_α)$. Finally, we prove $χ_o(\mathcal{G}_{20/7})= 5$ and $χ_o(\mathcal{G}_3)= 6$. Both of these results are sharp.
The Asymptotic Infinitesimal Distribution of a Real Wishart Random Matrix
Published
• View Publication
• BIB
Let $X_N$ be a $N \times N$ real Wishart random matrix with aspect ratio $M/N$. The limit eigenvalue distribution of $X_N$ is the Marchenko-Pastur law with parameter $c = \lim_N M/N$. The limit moments $\{m_n\}_n$ are given by $m_n = \sum_π c^{\#(π)}$ where the sum runs over $NC(n)$. Let $m_n'$ be the limit of $N( \mathrm{E}(\mathrm {tr}(X_N^n)) - m_n)$. These are the asymptotic infinitesimal moments of a real Wishart matrix. We show that $m'_n$ can be written as a sum over planar diagrams with two terms, $\sum_π c'(\#(π) -1) c^{\#(π)-1}$, and $\sum_{π\in S_{NC}^δ(n,-n)} c^{\#(π)/2}$, where $S_{NC}^δ(n,-n)$ is a set of non-crossing annular permutations satisfying a symmetry condition. Moreover we present a recursion formula for the second term which is related to one for higher order freeness.
Colorings with neighborhood parity condition
In this short paper, we introduce a new vertex coloring whose motivation comes from our series on odd edge-colorings of graphs. A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. We prove that every simple planar graph admits an odd $9$-coloring, and conjecture that $5$ colors always suffice.
Plücker-type inequalities for mixed areas and intersection numbers of curve arrangements
Published
• View Publication
• BIB
Any collection of $n$ compact convex planar sets $K_1,\dots, K_n$ defines a vector of ${n\choose 2}$ mixed areas $V(K_i,K_j)$ for $1\leq i<j\leq n$. We show that for $n\geq 4$ these numbers satisfy certain Plücker-type inequalities. Moreover, we prove that for $n=4$ these inequalities completely describe the space of all mixed area vectors $(V(K_i,K_j) : 1\leq i<j\leq 4)$. For arbitrary $n\geq 4$ we show that this space has a semialgebraic closure of full dimension. As an application, we obtain an inequality description for the smallest positive homogeneous set containing the configuration space of intersection numbers of quadruples of tropical curves.
Improved square coloring of planar graphs
Published
• View Publication
• BIB
Square coloring is a variant of graph coloring where vertices within distance two must receive different colors. When considering planar graphs, the most famous conjecture (Wegner, 1977) states that $\frac32Δ+1$ colors are sufficient to square color every planar graph of maximum degree $Δ$. This conjecture has been proven asymptotically for graphs with large maximum degree. We consider here planar graphs with small maximum degree and show that $2Δ+7$ colors are sufficient, which improves the best known bounds when $6\leqslant Δ\leqslant 31$.
The mesoscopic geometry of sparse random maps
Published in Journal de l{\textquoteright}École polytechnique {\textemdash} Mathématiques, Tome 9 (2022), pp. 1305-1345
• View Publication
• BIB
We investigate the structure of large uniform random maps with $n$ edges, $\mathrm{f}_n$ faces, and with genus $\mathrm{g}_n$ in the so-called sparse case, where the ratio between the number vertices and edges tends to $1$. We focus on two regimes: the planar case $(\mathrm{f}_n, 2\mathrm{g}_n) = (\mathrm{s}_n, 0)$ and the unicellular case with moderate genus $(\mathrm{f}_n, 2 \mathrm{g}_n) = (1, \mathrm{s}_n-1)$, both when $1 \ll \mathrm{s}_n \ll n$. Albeit different at first sight, these two models can be treated in a unified way using a probabilistic version of the classical core-kernel decomposition. In particular, we show that the number of edges of the core of such maps, obtained by iteratively removing degree $1$ vertices, is concentrated around $\sqrt{n \mathrm{s}_{n}}$. Further, their kernel, obtained by contracting the vertices of the core with degree $2$, is such that the sum of the degree of its vertices exceeds that of a trivalent map by a term of order $\sqrt{\mathrm{s}_{n}^{3}/n}$; in particular they are trivalent with high probability when $\mathrm{s}_{n} \ll n^{1/3}$. This enables us to identify a mesoscopic scale $\sqrt{n/\mathrm{s}_n}$ at which the scaling limits of these random maps can be seen as the local limit of their kernels, which is the dual of the UIPT in the planar case and the infinite three-regular tree in the unicellular case, where each edge is replaced by an independent (biased) Brownian tree with two marked points.
Improved product structure for graphs on surfaces
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (October 21, 2022) dmtcs:8877
• View Publication
• BIB
Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every graph $G$ with Euler genus $g$ there is a graph $H$ with treewidth at most 4 and a path $P$ such that $G\subseteq H \boxtimes P \boxtimes K_{\max\{2g,3\}}$. We improve this result by replacing "4" by "3" and with $H$ planar. We in fact prove a more general result in terms of so-called framed graphs. This implies that every $(g,d)$-map graph is contained in $ H \boxtimes P\boxtimes K_\ell$, for some planar graph $H$ with treewidth $3$, where $\ell=\max\{2g\lfloor \frac{d}{2} \rfloor,d+3\lfloor\frac{d}{2}\rfloor-3\}$. It also implies that every $(g,1)$-planar graph (that is, graphs that can be drawn in a surface of Euler genus $g$ with at most one crossing per edge) is contained in $H\boxtimes P\boxtimes K_{\max\{4g,7\}}$, for some planar graph $H$ with treewidth $3$.
Variable degeneracy of graphs with restricted structures
Bernshteyn and Lee defined a new notion, weak degeneracy, which is slightly weaker than the ordinary degeneracy. It is proved that strictly $f$-degenerate transversal is a common generalization of list coloring, $L$-forested-coloring and DP-coloring. In this paper, we consider three classes of graphs, including planar graphs without any configuration in Fig. 2, toroidal graphs without any configuration in Fig. 5, and planar graphs without intersecting $5$-cycles. We give structural results for each class of graphs, and prove each structure is reducible for weakly $3$-degenerate and the existence of strictly $f$-degenerate transversals. As consequences, these three classes of graphs are weakly $3$-degenerate, and have a strictly $f$-degenerate transversal. Then these three classes of graph have DP-paint number at most four, and have list vertex arboricity at most two. This greatly improve all the results in [2-4, 11-13, 16-18, 22, 25, 32, 34]. Furthermore, the first and the third classes of graphs have Alon-Tarsi number at most four.
Hat guessing numbers of strongly degenerate graphs
Published
• View Publication
• BIB
Assume $n$ players are placed on the $n$ vertices of a graph $G$. The following game was introduced by Winkler: An adversary puts a hat on each player, where each hat has a colour out of $q$ available colours. The players can see the hat of each of their neighbours in $G$, but not their own hat. Using a prediscussed guessing strategy, the players then simultaneously guess the colour of their hat. The players win if at least one of them guesses correctly, else the adversary wins. The largest integer $q$ such that there is a winning strategy for the players is denoted by $\text{HG}(G)$, and this is called the hat guessing number of $G$.
Although this game has received a lot of attention in the recent years, not much is known about how the hat guessing number relates to other graph parameters. For instance, a natural open question is whether the hat guessing number can be bounded from above in terms of degeneracy. In this paper, we prove that the hat guessing number of a graph can be bounded from above in terms of a related notion, which we call strong degeneracy. We further give an exact characterisation of graphs with bounded strong degeneracy. As a consequence, we significantly improve the best known upper bound on the hat guessing number of outerplanar graphs from $2^{125000}$ to $40$, and further derive upper bounds on the hat guessing number for any class of $K_{2,s}$-free graphs with bounded expansion, such as the class of $C_4$-free planar graphs, more generally $K_{2,s}$-free graphs with bounded Hadwiger number or without a $K_t$-subdivision, and for Erdős-Rényi random graphs with constant average degree.
On cyclically 4-connected cubic graphs
Published
• View Publication
• BIB
For $k \ge 4$, let $Q_{2k}$ and $V_{2k}$ denote the ladder and Möbius ladder on $2k$ vertices, respectively. We prove results that build on a result by Wormald that states that any cyclically $4$-connected cubic graph other than $Q_8$ or $V_8$ is obtained from a smaller cyclically $4$-connected cubic graph by bridging a pair of non-adjacent edges. We introduce the concept of cycle spread, which generalizes the edge pair distance defined by Wormald, and show that the set of pairs of edges that needs to be considered in order to obtain all cyclically $4$-connected cubic graphs is smaller than the set of all pairs of non-adjacent edges. We prove that all non-planar cyclically $4$-connected cubic graphs with at least $10$ vertices, other than the Möbius ladders and the Petersen graph, are obtained from $Q_8$ by bridging pairs of edges with cycle spread at least $(1,2)$. Moreover every graph obtained in this way is non-planar, cyclically $4$-connected, and cubic. All planar cyclically $4$-connected cubic graphs with at least $10$ vertices except for the ladders are obtained from the ladders by bridging pairs of edges with cycle spread at least $(1,2)$. We implemented an algorithm based on these results using McKay's nauty system for isomorphism checking.
On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$
Published
• View Publication
• BIB
We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first explicit estimates for the dimensions of distance sets of general Borel sets of dimension $d/2$; for example, we show that the set of distances spanned by a planar Borel set of Hausdorff dimension $1$ has Hausdorff dimension at least $(\sqrt{5}-1)/2\approx 0.618$. In higher dimensions we obtain explicit estimates for the lower Minkowski dimension of the distance sets of sets of dimension $d/2$. These results rely on new estimates for the dimensions of radial projections that may have independent interest.
New estimates on the size of $(α,2α)$-Furstenberg sets
We use recent advances on the discretized sum-product problem to obtain new bounds on the Hausdorff dimension of planar $(α,2α)$-Fursterberg sets. This provides a quantitative improvement to the $2α+ε$ bound of Héra-Shmerkin-Yavicoli. In particular, we show that every $1/2$-Furstenberg set has dimension at least $1 + 1/4536$.