planar
3156 papers tagged with this keyword
Multiple Scale Asymptotics of Map Enumeration
Published in Nonlinearity 36, 1663-1698 (2023)
• View Publication
• BIB
We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamical systems. By equating the coefficients of these expansions in a common region of uniform validity in their parameters, we recover known results and provide new expressions for generating functions associated with graphical enumeration on surfaces of genera 0 through 7. Although the body of the article focuses on 4-valent maps, the methodology presented here extends to regular maps of arbitrary even valence and to some cases of odd valence, as detailed in the appendices.
Counting cycles in planar triangulations
Published in Journal of Combinatroial Theory, Series B 170 (2025) 335-351
• View Publication
• BIB
We investigate the minimum number of cycles of specified lengths in planar $n$-vertex triangulations $G$. It is proven that this number is $Ω(n)$ for any cycle length at most $3 + \max \{ {\rm rad}(G^*), \lceil (\frac{n-3}{2})^{\log_32} \rceil \}$, where ${\rm rad}(G^*)$ denotes the radius of the triangulation's dual, which is at least logarithmic but can be linear in the order of the triangulation. We also show that there exist planar hamiltonian $n$-vertex triangulations containing $O(n)$ many $k$-cycles for any $k \in \{ \lceil n - \sqrt[5]{n} \rceil, \ldots, n \}$. Furthermore, we prove that planar 4-connected $n$-vertex triangulations contain $Ω(n)$ many $k$-cycles for every $k \in \{ 3, \ldots, n \}$, and that, under certain additional conditions, they contain $Ω(n^2)$ $k$-cycles for many values of $k$, including $n$.
Some remarks on the Game of Cycles
Published
• View Publication
• BIB
The Game of Cycles is an impartial game on a planar graph that was introduced by Francis Su. In this short note we address some questions that have been raised on the game, and raise some further questions.
Random cubic planar maps
Published
• View Publication
• BIB
We analyse uniform random cubic rooted planar maps and obtain limiting distributions for several parameters of interest. From the enumerative point of view, we present a unified approach for the enumeration of several classes of cubic planar maps, which allow us to recover known results in a more general and transparent way. This approach allows us to obtain new enumerative results.
Concerning random maps, we first obtain the distribution of the degree of the root face, which has an exponential tail as for other classes of random maps. Our main result is a limiting map-Airy distribution law for the size of the largest block $L$, whose expectation is asymptotically $n/\sqrt{3}$ in a random cubic map with $n+2$ faces. We prove analogous results for the size of the largest cubic block, obtained from $L$ by erasing all vertices of degree two, and for the size of the largest 3-connected component, whose expected values are respectively $n/2$ and $n/4$. To obtain these results we need to analyse a new type of composition scheme which has not been treated by Banderier et al. [Random Structures Algorithms 2001].
Quantum isomorphic strongly regular graphs from the $E_8$ root system
Published
• View Publication
• BIB
In this article, we give a first example of a pair of quantum isomorphic, non-isomorphic strongly regular graphs, that is, non-isomorphic strongly regular graphs having the same homomorphism counts from all planar graphs. The pair consists of the orthogonality graph of the $120$ lines spanned by the $E_8$ root system and a rank $4$ graph whose complement was first discovered by Brouwer, Ivanov and Klin. Both graphs are strongly regular with parameters $(120, 63, 30, 36)$. Using Godsil-McKay switching, we obtain more quantum isomorphic, non-isomorphic strongly regular graphs with the same parameters.
On the maximum spread of planar and outerplanar graphs
Published
• View Publication
• BIB
The spread of a graph $G$ is the difference between the largest and smallest eigenvalue of the adjacency matrix of $G$. Gotshall, O'Brien and Tait conjectured that for sufficiently large $n$, the $n$-vertex outerplanar graph with maximum spread is the graph obtained by joining a vertex to a path on $n-1$ vertices. In this paper, we disprove this conjecture by showing that the extremal graph is the graph obtained by joining a vertex to a path on $\lceil (2n-1)/3\rceil$ vertices and $\lfloor(n-2)/3\rfloor$ isolated vertices. For planar graphs, we show that the extremal $n$-vertex planar graph attaining the maximum spread is the graph obtained by joining two nonadjacent vertices to a path on $\lceil(2n-2)/3\rceil$ vertices and $\lfloor(n-4)/3\rfloor$ isolated vertices.
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of special interest because of its motivation from quantum-state identification and quantum-experiment design, as well as its rich expressiveness, i.e., EXISTS-PMVC naturally subsumes important constrained matching problems, such as exact perfect matching. We give complexity and algorithmic results for EXISTS-PMVC under two types of vertex color constraints: (1) decision-diagram constraints (EXISTS-PMVC-DD) and (2) symmetric constraints (EXISTS-PMVC-Sym).
For EXISTS-PMVC-DD, we reveal its NP-hardness by a graph-gadget technique. We prove that EXISTS-PMVC-Sym with a bounded number of colors (EXISTS-PMVC-Sym-Bounded) is polynomially equivalent with Exact Perfect Matching (XPM), which implies that EXISTS-PMVC-Sym-Bounded is in RNC on general graphs and PTIME on planar graphs. Directly applying algorithms for XPM to solve EXISTS-PMVC-Sym-Bounded is, however, impractical. We propose algorithms that natively handle EXISTS-PMVC-Sym-Bounded with considerably better complexity. Our novel results for EXISTS-PMVC provide insights into both constrained matching and scalable quantum experiment design.
Clustered Coloring of Graphs with Bounded Layered Treewidth and Bounded Degree
Published in European J. Combin. 122 (2024), 103730
• View Publication
• BIB
The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every graph with layered treewidth at most $k$ and with maximum degree at most $Δ$ is $3$-colorable with clustering $O(k^{19}Δ^{37})$. This is the first known polynomial bound on the clustering. This greatly improves upon a corresponding result of Esperet and Joret for graphs of bounded genus.
Planar graph with twin-width seven
We construct a planar graph with twin-width equal to seven.
B$_0$-VPG Representation of AT-free Outerplanar Graphs
Published
• View Publication
• BIB
A $k$-bend path is a non-self-intersecting polyline in the plane made of at most $k+1$ axis-parallel line segments. B$_k$-VPG is the class of graphs which can be represented as intersection graphs of $k$-bend paths in the same plane. In this paper, we show that all AT-free outerplanar graphs are B$_0$-VPG, i.e., intersection graphs of horizontal and vertical line segments in the plane. Our proofs are constructive and give a polynomial time B$_0$-VPG drawing algorithm for the class.
Following a long line of improvements, Gonçalves, Isenmann, and Pennarun [SODA 2018] showed that all planar graphs are B$_1$-VPG. Since there are planar graphs which are not B$_0$-VPG, characterizing B$_0$-VPG graphs among planar graphs becomes interesting. Chaplick et al.\ [WG 2012] had shown that it is NP-complete to recognize B$_k$-VPG graphs within B$_{k+1}$-VPG. Hence recognizing B$_0$-VPG graphs within B$_1$-VPG is NP-complete in general, but the question is open when restricted to planar graphs. There are outerplanar graphs and AT-free planar graphs which are not B$_0$-VPG. This piqued our interest in AT-free outerplanar graphs.
List recoloring of planar graphs
Published
• View Publication
• BIB
A list assignment $L$ of a graph $G$ is a function that assigns to every vertex $v$ of $G$ a set $L(v)$ of colors. A proper coloring $α$ of $G$ is called an $L$-coloring of $G$ if $α(v)\in L(v)$ for every $v\in V(G)$. For a list assignment $L$ of $G$, the $L$-recoloring graph $\mathcal{G}(G,L)$ of $G$ is a graph whose vertices correspond to the $L$-colorings of $G$ and two vertices of $\mathcal{G}(G,L)$ are adjacent if their corresponding $L$-colorings differ at exactly one vertex of $G$. A $d$-face in a plane graph is a face of length $d$. Dvořák and Feghali conjectured for a planar graph $G$ and a list assignment $L$ of $G$, that: (i) If $|L(v)|\geq 10$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is $O(|V(G)|)$. (ii) If $G$ is triangle-free and $|L(v)|\geq 7$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is $O(|V(G)|)$. In a recent paper, Cranston (European J. Combin. (2022)) has proved (ii). In this paper, we prove the following results. Let $G$ be a plane graph and $L$ be a list assignment of $G$.
$\bullet$ If for every $3$-face of $G$, there are at most two $3$-faces adjacent to it and $|L(v)|\geq 10$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is at most $190|V(G)|$.
$\bullet$ If for every $3$-face of $G$, there is at most one $3$-face adjacent to it and $|L(v)|\geq 9$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is at most $13|V(G)|$.
$\bullet$ If the faces adjacent to any $3$-face have length at least $6$ and $|L(v)|\geq 7$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is at most $242|V(G)|$. This result strengthens the Cranston's result on (ii).
Quantum isomorphism of graphs from association schemes
Published
• View Publication
• BIB
We show that any two Hadamard graphs on the same number of vertices are quantum isomorphic. This follows from a more general recipe for showing quantum isomorphism of graphs arising from certain association schemes. The main result is built from three tools. A remarkable recent result of Mančinska and Roberson shows that graphs $G$ and $H$ are quantum isomorphic if and only if, for any planar graph $F$, the number of graph homomorphisms from $F$ to $G$ is equal to the number of graph homomorphisms from $F$ to $H$. A generalization of partition functions called "scaffolds" affords some basic reduction rules such as series-parallel reduction and can be applied to counting homomorphisms. The final tool is the classical theorem of Epifanov showing that any plane graph can be reduced to a single vertex and no edges by extended series-parallel reductions and Delta-Wye transformations. This last sort of transformation is available to us in the case of exactly triply regular association schemes. The paper includes open problems and directions for future research.
Shalika germs for tamely ramified elements in $GL_n$
Degenerating the action of the elliptic Hall algebra on the Fock space, we give a combinatorial formula for the Shalika germs of tamely ramified regular semisimple elements $γ$ of $GL_n$ over a nonarchimedean local field. As a byproduct, we compute the weight polynomials of affine Springer fibers in type A and orbital integrals of tamely ramified regular semisimple elements. We conjecture that the Shalika germs of $γ$ correspond to residues of torus localization weights of a certain quasi-coherent sheaf $\mathcal{F}_γ$ on the Hilbert scheme of points on $\mathbb{A}^2$, thereby finding a geometric interpretation for them. As corollaries, we obtain the polynomiality in $q$ of point-counts of compactified Jacobians of planar curves, as well as a virtual version of the Cherednik-Danilenko conjecture on their Betti numbers. Our results also provide further evidence for the ORS conjecture relating compactified Jacobians and HOMFLY-PT invariants of algebraic knots.
Hyperbolic punctured spheres without arithmetic systole maximizers
Published
• View Publication
• BIB
We find bounds for the length of the systole -- the shortest essential, non-peripheral closed curve -- for arithmetic punctured spheres with $n$ cusps, for $n=4$ through $n=12$, some of which were previously known due to Schmutz. This is shown using a correspondence between such surfaces and planar triangulations. We show that for $n=7,10,11$, arithmetic surfaces do not achieve the maximal systole length.
An improved lower bound for the planar Turán number of cycles
The planar Turán number of a graph $H$, denoted by $ex_{_\mathcal{P}}(n,H)$, is the largest number of edges in a planar graph on $n $ vertices without containing $H$ as a subgraph. In this paper, we continue to study the topic of "extremal" planar graphs initiated by Dowden [J. Graph Theory 83 (2016) 213--230]. We first obtain an improved lower bound for $ex_{_\mathcal{P}}(n,C_k)$ for all $k\ge 13$ and $n\ge 5(k-6+\lfloor{(k-1)}/2\rfloor)(k-1)/2$; the construction for each $k$ and $n$ provides a simpler counterexample to a conjecture of Ghosh, Győri, Martin, Paulos and Xiao [arxiv:2004.14094v1], which has recently been disproved by Cranston, Lidický, Liu and Shantanam [Electron. J. Combin. 29(3) (2022) \#P3.31] for every $k\ge 11$ and $n$ sufficiently large (as a function of $k$). We then prove that $ex_{_\mathcal{P}}(n,H^+)=ex_{_\mathcal{P}}(n,H)$ for all $k\ge 5$ and $n\ge |H|+1$, where $H\in\{C_k, 2C_k\}$ and $H^+$ is obtained from $H$ by adding a pendant edge to a vertex of degree two.
Kaufman and Falconer estimates for radial projections and a continuum version of Beck's Theorem
Published in Geom. Funct. Anal. 34 (2024), no. 1, 164--201
• View Publication
• BIB
We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let $X,Y \subset \mathbb{R}^{2}$ be non-empty Borel sets. If $X$ is not contained on any line, we prove that \[ \sup_{x \in X} \dim_{\mathrm{H}} π_{x}(Y) \geq \min\{\dim_{\mathrm{H}} X,\dim_{\mathrm{H}} Y,1\}. \] If $\dim_{\mathrm{H}} Y > 1$, we have the following improved lower bound: \[ \sup_{x \in X} \dim_{\mathrm{H}} π_{x}(Y \, \setminus \, \{x\}) \geq \min\{\dim_{\mathrm{H}} X + \dim_{\mathrm{H}} Y - 1,1\}. \] Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck's theorem in combinatorial geometry: if $X \subset \mathbb{R}^{2}$ is a Borel set with the property that $\dim_{\mathrm{H}} (X \, \setminus \, \ell) = \dim_{\mathrm{H}} X$ for all lines $\ell \subset \mathbb{R}^{2}$, then the line set spanned by $X$ has Hausdorff dimension at least $\min\{2\dim_{\mathrm{H}} X,2\}$.
While the results above concern $\mathbb{R}^{2}$, we also derive some counterparts in $\mathbb{R}^{d}$ by means of integralgeometric considerations. The proofs are based on an $ε$-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.
Extremal planar graphs with no cycles of particular lengths
In this paper we estimate the planar Turán number $\mathrm{ex}_\mathcal{P}(n,H)$ of some graphs $H$, i.e., the maximum number of edges in a planar graph $G$ of $n$ vertices not containing $H$ as a subgraph. We give a new, short proof when $H=C_5$, and study the cases when $G$ is bipartite or triangle-free and $H$ is a short even cycle. The proofs are mostly new applications or variants of the "contribution method" introduced by Ghosh, Győri, Martin, Paulos and Xiao in arXiv:2004.14094.
Planarity of generalized ladder graphs
The Cartesian product of P_2 and P_n is called an n-ladder graph for a positive integer n. We call two paths P_m and P_n together with some edges each of which joins a vertex on P_m and a vertex on P_n a generalized (m,n)-ladder graph. In this paper, we completely characterize the planar generalized ladder graphs and the outerplanar generalized ladder graphs. A functigraph C(P_n ,f) is a generalized (n,n)-ladder graph. Consequently, our result solves the problem posed by A. Chen et al. (2011) to characterize planar functigraphs C(P_n ,f).
Electrical networks and the Grove algebra
Published in Can. J. Math.-J. Can. Math. 77 (2025) 631-664
• View Publication
• BIB
We study the ring of regular functions on the space of planar electrical networks, which we coin the grove algebra. This algebra is an electrical analogue of the Plücker ring studied classically in invariant theory. We develop the combinatorics of double groves to study the grove algebra, and find a quadratic Gröbner basis for the grove ideal.
Queue Layouts of Two-Dimensional Posets
Published
• View Publication
• BIB
The queue number of a poset is the queue number of its cover graph when the vertex order is a linear extension of the poset. Heath and Pemmaraju conjectured that every poset of width $w$ has queue number at most $w$. The conjecture has been confirmed for posets of width $w=2$ and for planar posets with $0$ and $1$. In contrast, the conjecture has been refused by a family of general (non-planar) posets of width $w>2$.
In this paper, we study queue layouts of two-dimensional posets. First, we construct a two-dimensional poset of width $w > 2$ with queue number $2(w - 1)$, thereby disproving the conjecture for two-dimensional posets. Second, we show an upper bound of $w(w+1)/2$ on the queue number of such posets, thus improving the previously best-known bound of $(w-1)^2+1$ for every $w > 3$.