planar
3209 papers tagged with this keyword
Three conjectures in extremal spectral graph theory
Published
• View Publication
• BIB
We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of $P_2$ and $P_{n-2}$ is the unique graph of maximum spectral radius over all planar graphs. This was conjectured by Boots and Royle in 1991 and independently by Cao and Vince in 1993. Similarly, we prove a conjecture of Cvetković and Rowlinson from 1990 stating that the unique outerplanar graph of maximum spectral radius is the join of a vertex and $P_{n-1}$. Finally, we prove a conjecture of Aouchiche et al from 2008 stating that a pineapple graph is the unique connected graph maximizing the spectral radius minus the average degree. To prove our theorems, we use the leading eigenvector of a purported extremal graph to deduce structural properties about that graph. Using this setup, we give short proofs of several old results: Mantel's Theorem, Stanley's edge bound and extensions, the Kővari-Sós-Turán Theorem applied to $\mathrm{ex}\left(n, K_{2,t}\right)$, and a partial solution to an old problem of Erdős on making a triangle-free graph bipartite.
Multiple list colouring of planar graphs
Published
• View Publication
• BIB
This paper proves that for each positive integer $m$, there is a planar graph $G$ which is not $(4m+\lfloor \frac{2m-1}{9}\rfloor,m)$-choosable. Then we pose some conjectures concerning multiple list colouring of planar graphs.
Every planar graph is $1$-defective $(9,2)$-paintable
Published
• View Publication
• BIB
Assume $L$ is a $k$-list assignment of a graph $G$. A $d$-defective $m$-fold $L$-colouring $φ$ of $G$ assigns to each vertex $v$ a set $φ(v)$ of $m$ colours, so that $φ(v) \subseteq L(v)$ for each vertex $v$, and for each colour $i$, the set $\{v: i \in φ(v)\}$ induces a subgraph of maximum degree at most $d$. In this paper, we consider on-line list $d$-defective $m$-fold colouring of graphs, where the list assignment $L$ is given on-line, and the colouring is constructed on-line. To be precise, the $d$-defective $(k,m)$-painting game on a graph $G$ is played by two players: Lister and Painter. Initially, each vertex has $k$ tokens and is uncoloured. In each round, Lister chooses a set $M$ of vertices and removes one token from each chosen vertex. Painter colours a subset $X$ of $M$ which induces a subgraph $G[X]$ of maximum degree at most $d$. A vertex $v$ is fully coloured if $v$ has received $m$ colours. Lister wins if at the end of some round, there is a vertex with no more tokens left and is not fully coloured. Otherwise, at some round, all vertices are fully coloured and Painter wins. We say $G$ is $d$-defective $(k,m)$-paintable if Painter has a winning strategy in this game. This paper proves that every planar graph is $1$-defective $(9,2)$-paintable.
Vertex Degrees in Planar Maps
Published in Proceedings of the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA '16), 2016, 42-57
• Search Publication
We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers D. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss some possible extension to maps of higher genus.
Nesting statistics in the O(n) loop model on random planar maps
Published in Commun. Math. Phys. 404, 1125-1229 (2023)
• View Publication
• BIB
In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the general O(n) loop model, we show that these generating series satisfy functional relations obtained by a modification of those satisfied by the unrefined generating series. In a more specific O(n) model where loops cross only triangles and have a bending energy, we explicitly compute the refined generating series. We analyse their non generic critical behavior in the dense and dilute phases, and obtain the large deviations function of the nesting distribution, which is expected to be universal. Using the framework of Liouville quantum gravity (LQG), we show that a rigorous functional KPZ relation can be applied to the multifractal spectrum of extreme nesting in the conformal loop ensemble (CLE) in the Euclidean unit disk, as obtained by Miller, Watson and Wilson, or to its natural generalisation to the Riemann sphere. It allows us to recover the large deviations results obtained for the critical O(n) random planar map models. This offers, at the refined level of large deviations theory, a rigorous check of the fundamental fact that the universal scaling limits of random planar map models as weighted by partition functions of critical statistical models are given by LQG random surfaces decorated by independent CLEs.
Families of $2$-weights of some particular graphs
Let ${\cal G}=(G,w) $ be a positive-weighted graph, that is a graph $G$ endowed with a function $w$ from the edge set of $G$ to the set of positive real numbers; for any distinct vertices $i,j $, we define $D_{i,j}({\cal G})$ to be the weight of the path in $G$ joining $i$ and $j$ with minimum weight. In this paper we fix a particular class of graphs and we give a criterion to establish whether, given a family of positive real numbers $\{D_I\}_{I \in { \{1,...., n\} \choose 2}}$, there exists a positive-weighted graph ${\cal G} =(G,w) $ in the class we have fixed, with vertex set equal to $\{1,....,n\}$ and such that $D_I ({\cal G}) =D_I$ for any $I \in { \{1,...., n\} \choose 2}$. In particular, the classes of graphs we consider are the following: snakes, caterpillars, polygons, bipartite graphs, complete graphs, planar graphs.
On distance sets, box-counting and Ahlfors-regular sets
Published in Discrete Analysis, 2017:9, 22 pp
• View Publication
• BIB
We obtain box-counting estimates for the pinned distance sets of (dense subsets of) planar discrete Ahlfors-regular sets of exponent $s>1$. As a corollary, we improve upon a recent result of Orponen, by showing that if $A$ is Ahlfors-regular of dimension $s>1$, then almost all pinned distance sets of $A$ have lower box-counting dimension $1$. We also show that if $A,B\subset\mathbb{R}^2$ have Hausdorff dimension $>1$ and $A$ is Ahlfors-regular, then the set of distances between $A$ and $B$ has modified lower box-counting dimension $1$, which taking $B=A$ improves Orponen's result in a different direction, by lowering packing dimension to modified lower box-counting dimension. The proofs involve ergodic-theoretic ideas, relying on the theory of CP-processes and projections.
Induced Forests in Bipartite Planar Graphs
Published
• View Publication
• BIB
Akiyama and Watanabe conjectured that every simple planar bipartite graph on $n$ vertices contains an induced forest on at least $5n/8$ vertices. We apply the discharging method to show that every simple bipartite planar graph on $n$ vertices contains an induced forest on at least $\lceil (4n+3)/7 \rceil$ vertices.
Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds
Given a graph where vertices are partitioned into $k$ terminals and non-terminals, the goal is to compress the graph (i.e., reduce the number of non-terminals) using minor operations while preserving terminal distances approximately.The distortion of a compressed graph is the maximum multiplicative blow-up of distances between all pairs of terminals. We study the trade-off between the number of non-terminals and the distortion. This problem generalizes the Steiner Point Removal (SPR) problem, in which all non-terminals must be removed.
We introduce a novel black-box reduction to convert any lower bound on distortion for the SPR problem into a super-linear lower bound on the number of non-terminals, with the same distortion, for our problem. This allows us to show that there exist graphs such that every minor with distortion less than $2~/~2.5~/~3$ must have $Ω(k^2)~/~Ω(k^{5/4})~/~Ω(k^{6/5})$ non-terminals, plus more trade-offs in between. The black-box reduction has an interesting consequence: if the tight lower bound on distortion for the SPR problem is super-constant, then allowing any $O(k)$ non-terminals will not help improving the lower bound to a constant.
We also build on the existing results on spanners, distance oracles and connected 0-extensions to show a number of upper bounds for general graphs, planar graphs, graphs that exclude a fixed minor and bounded treewidth graphs. Among others, we show that any graph admits a minor with $O(\log k)$ distortion and $O(k^{2})$ non-terminals, and any planar graph admits a minor with $1+\varepsilon$ distortion and $\widetilde{O}((k/\varepsilon)^{2})$ non-terminals.
Cutting Algebraic Curves into Pseudo-segments and Applications
Published in J. Combin. Theory Ser. A. 150: 1--35, 2017
• View Publication
• BIB
We show that a set of $n$ algebraic plane curves of constant maximum degree can be cut into $O(n^{3/2}\operatorname{polylog} n)$ Jordan arcs, so that each pair of arcs intersect at most once, i.e., they form a collection of pseudo-segments. This extends a similar (and slightly better) bound for pseudo-circles due to Marcus and Tardos. Our result is based on a technique of Ellenberg, Solymosi and Zahl that transforms arrangements of plane curves into arrangements of space curves, so that lenses (pairs of subarcs of the curves that intersect at least twice) become vertical depth cycles. We then apply a variant of a technique of Aronov and Sharir to eliminate these depth cycles by making a small number of cuts, which corresponds to a small number of cuts to the original planar arrangement of curves. After these cuts have been performed, the resulting curves form a collection of pseudo-segments.
Our cutting bound leads to new incidence bounds between points and constant-degree algebraic curves. The conditions for these incidence bounds are slightly stricter than those for the current best-known bound of Pach and Sharir; for our result to hold, the curves must be algebraic and of bounded maximum degree, while Pach and Sharir's bound only imposes weaker, purely topological constraints on the curves. However, when our conditions hold, the new bounds are superior for almost all ranges of parameters. We also obtain new bounds on the complexity of a single level in an arrangement of constant-degree algebraic curves, and a new bound on the complexity of many marked faces in an arrangement of such curves.
A graphical calculus for semi-groupal categories
Published
• View Publication
• BIB
Around the year 1988, Joyal and Street established a graphical calculus for monoidal categories, which provides a firm foundation for many explorations of graphical notations in mathematics and physics. For a deeper understanding of their work, we consider a similar graphical calculus for semi-groupal categories. We introduce two frameworks to formalize this graphical calculus, a topological one based on the notion of a processive plane graph and a combinatorial one based on the notion of a planarly ordered processive graph, which serves as a combinatorial counterpart of a deformation class of processive plane graphs. We demonstrate the equivalence of Joyal and Street's graphical calculus and the theory of upward planar drawings. We introduce the category of semi-tensor schemes, and give a construction of a free monoidal category on a semi-tensor scheme. We deduce the unit convention as a kind of quotient construction, and show an idea to generalize the unit convention. Finally, we clarify the relation of the unit convention and Joyal and Street's construction of a free monoidal category on a tensor scheme.
The chromatic number of the square of subcubic planar graphs
Wegner conjectured in 1977 that the square of every planar graph with maximum degree at most $3$ is $7$-colorable. We prove this conjecture using the discharging method and computational techniques to verify reducible configurations.
An isoperimetric inequality for planar triangulations
Published
• View Publication
• BIB
We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6.
Circular Backbone Colorings: on matching and tree backbones of planar graphs
Published
• View Publication
• BIB
Given a graph $G$, and a spanning subgraph $H$ of $G$, a circular $q$-backbone $k$-coloring of $(G,H)$ is a proper $k$-coloring $c$ of $G$ such that $q\le \lvert c(u)-c(v)\rvert \le k-q$, for every edge $uv\in E(H)$. The circular $q$-backbone chromatic number of $(G,H)$, denoted by $CBC_q(G,H)$, is the minimum integer $k$ for which there exists a circular $q$-backbone $k$-coloring of $(G,H)$.
The Four Color Theorem implies that whenever $G$ is planar, we have $CBC_2(G,H)\le 8$. It is conjectured that this upper bound can be improved to 7 when $H$ is a tree, and to 6 when $H$ is a matching. In this work, we show that: 1) if $G$ is planar and has no $C_4$ as subgraph, and $H$ is a linear spanning forest of $G$, then $CBC_2(G,H)\leq 7$; 2) if $G$ is a plane graph having no two 3-faces sharing an edge, and $H$ is a matching of $G$, then $CBC_2(G,H)\leq 6$; and 3) if $G$ is planar and has no $C_4$ nor $C_5$ as subgraph, and $H$ is a mathing of $G$, then $CBC_2(G,H)\leq 5$. These results partially answer questions posed by Broersma, Fujisawa and Yoshimoto (2003), and by Broersma, Fomin and Golovach (2007). It also points towards a positive answer for the Steinberg's Conjecture.
Steinberg's Conjecture is false
Published
• View Publication
• BIB
Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture.
Counting triangulations of some classes of subdivided convex polygons
Published in Europ. J. Combin. 62 (2017), 92-114
• View Publication
• BIB
We compute the number of triangulations of a convex $k$-gon each of whose sides is subdivided by $r-1$ points. We find explicit formulas and generating functions, and we determine the asymptotic behaviour of these numbers as $k$ and/or $r$ tend to infinity. We connect these results with the question of finding the planar set of points in general position that has the minimum possible number of triangulations - a well-known open problem from computational geometry.
Distinct and repeated distances on a surface and incidences between points and spheres
In this paper we show that the number of distinct distances determined by a set of $n$ points on a constant-degree two-dimensional algebraic variety $V$ (i.e., a surface) in $\mathbb R^3$ is at least $Ω\left(n^{7/9}/{\rm polylog} \,n\right)$. This bound is significantly larger than the conjectured bound $Ω(n^{2/3})$ for general point sets in $\mathbb R^3$.
We also show that the number of unit distances determined by $n$ points on a surface $V$, as above, is $O(n^{4/3})$, a bound that matches the best known planar bound, and is worst-case tight in 3-space. This is in sharp contrast with the best known general bound $O(n^{3/2})$ for points in three dimensions.
To prove these results, we establish an improved upper bound for the number of incidences between a set $P$ of $m$ points and a set $S$ of $n$ spheres, of arbitrary radii, in $\mathbb R^3$, provided that the points lie on an algebraic surface $V$ of constant degree, which does not have linear or spherical components. Specifically, the bound is $$ O\left( m^{2/3}n^{2/3} + m^{1/2}n^{7/8}\log^β(m^4/n) + m + n + \sum_{c} |P_{c}|\cdot |S_{c}| \right) , $$ where the constant of proportionality and the constant exponent $β$ depend on the degree of $V$, and where the sum ranges over all circles $c$ that are fully contained in $V$, so that, for each such $c$, $P_c = P\cap c$ and $S_c$ is the set of the spheres of $S$ that contain $c$. In addition, $\sum_{c} |P_{c}| = O(m)$ and $\sum_{c} |S_{c}| = O(n)$. This bound too improves upon earlier known bounds. These have been obtained for arbitrary point sets but only under severe restrictions about the spheres, which are dropped in our result. Another interesting application of our result is an incidence bound for arbitrary points and spheres in 3-space, where we improve and generalize the previous work of Apfelbaum and Sharir[AS].
New Bounds for Facial Nonrepetitive Colouring
Published
• View Publication
• BIB
We prove that the facial nonrepetitive chromatic number of any outerplanar graph is at most 11 and of any planar graph is at most 22.
Volumes in the Uniform Infinite Planar Triangulation: from skeletons to generating functions
Published in Combinatorics Probability and Computation, Volume 27 Issue 6 (2018), pp. 946-973
• View Publication
• BIB
We develop a method to compute the generating function of the number of vertices inside certain regions of the Uniform Infinite Planar Triangulation (UIPT). The computations are mostly combinatorial in flavor and the main tool is the decomposition of the UIPT into layers, called the skeleton decomposition, introduced by Krikun. In particular, we get explicit formulas for the generating functions of the number of vertices inside hulls (or completed metric balls) centered around the root, and the number of vertices inside geodesic slices of these hulls. We also recover known results about the scaling limit of the volume of hulls previously obtained by Curien and Le Gall by studying the peeling process of the UIPT.
New extremal binary self-dual codes of lengths 64 and 66 from bicubic planar graphs
Published
• View Publication
• BIB
In this work, connected cubic planar bipartite graphs and related binary self-dual codes are studied. Binary self-dual codes of length 16 are obtained by face-vertex incidence matrices of these graphs. By considering their lifts to the ring R_2 new extremal binary self-dual codes of lengths 64 are constructed as Gray images. More precisely, we construct 15 new codes of length 64. Moreover, 10 new codes of length 66 were obtained by applying a building-up construction to the binary codes. Codes with these weight enumerators are constructed for the first time in the literature. The results are tabulated.