planar
3209 papers tagged with this keyword
Minimal crossing diagrams of spatial graphs
We prove that all $1$-vertex spatial graphs with adequate diagrams have minimal crossing number, and that spatial graph diagrams obtained by replacing vertices and edges of a planar embedded graph by minimal crossing link or spatial graph diagrams have minimal crossing number. Finally, we give an example in answer to a question of Adams et al. about minimal crossing diagrams of rigid vertex graphs.
On minimal k-factor-critical planar graphs
Published
• View Publication
• BIB
A graph of order $n$ is said to be \emph{$k$-factor-critical} ($0\leq k <n$) if the removal of any $k$ vertices results in a graph with a perfect matching.
A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$.
Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$ in 1998. In this paper, we confirm the conjecture for planar graphs.
Infinite Schnyder Woods
It is well-known that any finite triangulation possesses a unique maximal Schnyder wood. We introduce Schnyder woods of infinite triangulations, and prove there exists a unique maximal Schnyder wood of any infinite triangulation with finite boundary, and of the uniform infinite half-planar triangulation. Furthermore, the maximal Schnyder wood of the uniform infinite planar triangulation is the limit of maximal Schnyder woods of large finite random triangulations. Several structural properties of infinite Schnyder woods are also described.
Half-Diagrams in Partition Algebras: A Geometric Perspective on Multiplicities
This paper studies the restriction multiplicities of half-diagram modules for the partition algebra and their geometric interpretations. By specializing the Bowman-De Visscher-Orellana formula [BVC, Theorem 4.3] for restriction multiplicities of standard modules in the partition algebra, we compute these multiplicities and provide interpretations in terms of planar triangles and conic sections. Additionally, through the decomposition of half-diagrams, we explain the intrinsic reasons underlying this connection between geometry and algebra.
Rainbow planar Tur{á}n numbers of cycles
The rainbow Tur{á}n number of a fixed graph $H$, denoted by ${\text{ex}}^*(n,H)$, is the maximum number of edges in an $n$-vertex graph such that it admits a proper edge coloring with no rainbow $H$. We study this problem in planar setting. The rainbow planar Tur{á}n number of a graph $H$, denoted by ${\text{ex}_{\mathcal{P}}}^*(n,H)$, is the maximum number of edges in an $n$-vertex planar graph such that it has a proper edge coloring with no rainbow $H$. We consider the rainbow planar Tur{á}n number of cycles. Since $C_3$ is complete, ${\text{ex}_{\mathcal{P}}}^*(n, C_3)$ is exactly its planar Tur{á}n number, which is $2n-4$ for $n\ge 3$. We show that ${\text{ex}_{\mathcal{P}}}^*(n, C_4)=3n-6$ for $n=k^2-3k+2$ where $k\ge 5$, and ${\text{ex}_{\mathcal{P}}}^*(n,C_k)=3n-6$ for all $k\ge 5$ and $n\ge 3$.
Blossoming bijection for bipartite maps: a new approach via orientations and applications to the Ising model
We develop a new bijective framework for the enumeration of bipartite planar maps with control on the degree distribution of black and white vertices. Our approach builds on the blossoming-tree paradigm, introducing a family of orientations on bipartite maps that extends Eulerian and quasi-Eulerian orientations and connects the bijection of Bousquet-Mélou and Schaeffer to the general scheme of Albenque and Poulalhon. This enables us to generalize the Bousquet-Mélou and Schaeffer's bijection to several families of bipartite maps.
As an application, we also derive a rational and Lagrangian parametrization with positive integer coefficients for the generating series of quartic maps equipped with an Ising model, which is key to the probabilistic study of these maps.
Ising model with external magnetic field on random planar maps: Critical exponents
We study the Ising model with an external magnetic field on random tetravalent planar maps and investigate its critical behavior. Explicit expressions for spontaneous magnetization and the susceptibility are computed and the critical exponents $α=-1$ (third order phase transition), $β=\frac{1}{2}$ (spontaneous magnetization), $γ=2$ (susceptibility at zero external magnetic field) and $δ=5$ (magnetization at critical temperature) are derived. To do so, we study the asymptotic behavior of the partition function of the model in the case of a weak external magnetic field using analytic combinatorics.
Directed distances in bipolar-oriented triangulations: exact exponents and scaling limits
We study longest and shortest directed paths in the following natural model of directed random planar maps: the uniform infinite bipolar-oriented triangulation (UIBOT), which is the local limit of uniform bipolar-oriented triangulations around a typical edge. We construct the Busemann function which measures directed distance to $\infty$ along a natural interface in the UIBOT. We show that in the case of longest (resp.\ shortest) directed paths, this Busemann function converges in the scaling limit to a $2/3$-stable Lévy process (resp.\ a $4/3$-stable Lévy process).
We also prove up-to-constants bounds for directed distances in finite bipolar-oriented triangulations sampled from a Boltzmann distribution, and for size-$n$ cells in the UIBOT. These bounds imply that in a typical subset of the UIBOT with $n$ edges, longest directed path lengths are of order $n^{3/4}$ and shortest directed path lengths are of order $n^{3/8}$. These results give the scaling dimensions for discretizations of the (hypothetical) $\sqrt{4/3}$-directed Liouville quantum gravity metrics.
The main external input in our proof is the bijection of Kenyon-Miller-Sheffield-Wilson (2015). We do not use any continuum theory. We expect that our techniques can also be applied to prove similar results for directed distances in other random planar map models and for longest increasing subsequences in pattern-avoiding permutations.
A Tight Lower Bound on Cubic Vertices and Upper Bounds on Thin and Non-thin edges in Planar Braces
For a subset $X$ of the vertex set $\VV(\GG)$ of a graph $\GG$, we denote the set of edges of $\GG$ which have exactly one end in $X$ by $\partial(X)$ and refer to it as the cut of $X$ or edge cut $\partial(X)$. A graph $\GG=(\VV,\EE)$ is called matching covered if $\forall e \in \EE(\GG), ~\exists \text{a perfect matching }M \text{ of }\GG \text{ s. t. } e \in M$. A cut $C$ of a matching covered graph $\GG$ is a separating cut if and only if, given any edge $e$, there is a perfect matching $M_{e}$ of $\GG$ such that $e \in M_{e}$ and $|C \cap M_{e}| = 1$. A cut $C$ in a matching covered graph $\GG$ is a tight cut of $\GG$ if $|C \cap M| = 1$ for every perfect matching $M$ of $\GG$. For, $X, Y \subseteq \VV(\GG)$, we denote the set of edges of $\EE(\GG)$ which have one endpoint in $X$ and the other endpoint in $Y$ by $E[X,Y]$. Let $\partial(X)=E[X,\overline{X}]$ be an edge cut, where $\overline{X}=\VV(\GG) \setminus X$. An edge cut is trivial if $|X|=1$ or $|\overline{X}|=1$. A matching covered graph, which is free of nontrivial tight cuts, is a brace if it is bipartite and is a brick if it is non-bipartite. An edge $e$ in a brace $\GG$ is \emph{thin} if, for every tight cut $\partial(X)$ of $\GG - e$, $|X| \le 3$ or $|\overline{X}| \le 3$.
Carvalho, Lucchesi and Murty conjectured that there exists a positive constant $c$ such that every brace $\GG$ has $c|\VV(\GG)|$ thin edges \cite{DBLP:journals/combinatorics/LucchesiCM15}. He and Lu \cite{HE2025153} showed a lower bound of thin edges in a brace in terms of the number of cubic vertices. We asked whether any planar brace exists that does not contain any cubic vertices. We answer negatively by showing that such set of planar braces is empty. We have been able to show a quantitively tight lower bound on the number of cubic vertices in a planar brace. We have proved tight upper bounds of nonthin edges and thin edges in a planar brace.
A model of trees for 5-connected planar triangulations
Triangulations of the 5-gon with no separating triangle nor quadrangle, so called 5c-triangulations, are a planar map family closely related to 5-connected planar triangulations. We show that 5c-triangulations are in bijection with 5-regular plane trees satisfying a simple local constraint at inner edges. It yields explicit expressions for the generating functions of rooted 5c-triangulations, and of rooted 5-connected planar triangulations with root-vertex degree 5, these belonging to the same algebraic extension as the generating function of rooted 5-connected planar triangulations computed by Gao, Wanless and Wormald. The bijection also makes it possible to obtain efficient uniform random generation and succinct encoding procedures for 5-connected planar triangulations.
On the maximum spectral radius of planar graphs
This paper investigates the maximum spectral radius of planar graphs with concrete fixed number of vertices, providing some tight bounds on the maximum spectral radius of general planar graph resorting to its order, and confirming that among all planar graphs containing dominating vertex with concrete fixed order $n \geq 48$, the join of $P_{2}$ and $P_{n-2}$ attains the maximum spectral radius.
O(1)-Distortion Planar Emulators for String Graphs
Published
• View Publication
• BIB
We show that every unweighted string graph $G$ has an $O(1)$-distortion planar emulator: that is, there exists an (edge-weighted) planar graph $H$ with $V(H) = V(G)$, such that every pair of vertices $(u,v)$ satisfies $δ_G(u,v) \le δ_H(u,v) \le O(1) \cdot δ_G(u,v).$
Evacuation of rectangular standard Young tableaux corresponds to reflection of $\mathfrak{sl}_n$ webs
Web graphs form a family of planar directed graphs with boundary that can be used to model quantum $\mathfrak{sl}_n$-invariant vectors. Standard Young tableaux on an $n \times k$ rectangle naturally index a basis for $\mathfrak{sl}_n$ web graphs. We prove that evacuation of the tableau $T$ corresponds to reflection of the associated web graph $w_T$ up to equivalence under a specific set of edge-flip relations. This extends a result of Patrias and Pechenik for the cases $n=2,3$ and mirrors analogous results about rotation of web graphs corresponding to promotion of tableau by Peterson-Pylyavskyy-Rhoades for $n=3$ and Gaetz-Pechenik-Pfannerer-Striker-Swanson for $n=4$. We use an intermediate object called a multicolored noncrossing matching, which is closely related to the notion of strandings recently introduced by Russell and the fourth author.
On Geometric Bipartite Graphs with Asymptotically Smallest Zarankiewicz Numbers
This paper considers the \textit{Zarankiewicz problem} in graphs with low-dimensional geometric representation (i.e., low Ferrers dimension). Our first result reveals a separation between bipartite graphs of Ferrers dimension three and four: while $Z(n;k) \leq 9n(k-1)$ for graphs of Ferrers dimension three, $Z(n;k) \in Ω\left(n k \cdot \frac{\log n}{\log \log n}\right)$ for Ferrers dimension four graphs (Chan & Har-Peled, 2023) (Chazelle, 1990). To complement this, we derive a tight upper bound of $2n(k-1)$ for chordal bigraphs and $54n(k-1)$ for grid intersection graphs (GIG), a prominent graph class residing in four Ferrers dimensions and capturing planar bipartite graphs as well as bipartite intersection graphs of rectangles. Previously, the best-known bound for GIG was $Z(n;k) \in O(2^{O(k)} n)$, implied by the results of Fox & Pach (2006) and Mustafa & Pach (2016). Our results advance and offer new insights into the interplay between Ferrers dimensions and extremal combinatorics.
A Tverberg-type problem of Kalai: Two negative answers to questions of Alon and Smorodinsky, and the power of disjointness
Let $f_r(d,s_1,\ldots,s_r)$ denote the least integer $n$ such that every $n$-point set $P\subseteq\mathbb{R}^d$ admits a partition $P=P_1\cup\cdots\cup P_r$ with the property that for any choice of $s_i$-convex sets $C_i\supseteq P_i$ $(i\in[r])$ one necessarily has $\bigcap_{i=1}^r C_i\neq\emptyset$, where an $s_i$-convex set means a union of $s_i$ convex sets. A recent breakthrough by Alon and Smorodinsky establishes a general upper bound $f_r(d,s_1,\dots,s_r) = O(dr^2\log r \prod_{i=1}^r s_i\cdot \log(\prod_{i=1}^r s_i).$ Specializing to $r=2$ resolves the problem of Kalai from the 1970s. They further singled out two particularly intriguing questions: whether $f_{2}(2,s,s)$ can be improved from $O(s^2\log s)$ to $O(s)$, and whether $f_r(d,s,\ldots,s)\le Poly(r,d,s)$. We answer both in the negative by showing the exponential lower bound $f_{r}(d,s,\ldots,s)> s^{r}$ for any $r\ge 2$, $s\ge 1$ and $d\ge 2r-2$, which matches the upper bound up to a multiplicative $\log{s}$ factor for sufficiently large $s$. Our construction combines a scalloped planar configuration with a direct product of regular $s$-gon on the high-dimensional torus $(\mathbb{S}^1)^{r-2}$. Perhaps surprisingly, if we additionally require that within each block the $s_i$ convex sets are pairwise disjoint, the picture changes markedly. Let $F_r(d,s_1,\ldots,s_r)$ denote this disjoint-union variant of the extremal function. We show: (1) $F_{2}(2,s,s)=O(s\log s)$ by connecting it to a suitable line-separating function in the plane; (2) when $s$ is large, $F_r(d,s,\ldots,s)$ can be bounded by $O_{r,d}(s^{(1-\frac{1}{2^{d}(d+1)})r+1})$ and $O_{d}(r^{3}\log r\cdot s^{2d+3})$, respectively. This builds on a novel connection between the geometric obstruction and hypergraph Turán numbers, in particular, a variant of the Erdős box problem.
String graphs are quasi-isometric to planar graphs
We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs.
This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $Γ$ is virtually a free product of free and surface groups if and only if $Γ$ is quasi-isometric to a string graph.
Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs.
Planarity and dimension I
The dimension of a partially ordered set $P$ (poset for short) is the least positive integer $d$ such that $P$ is isomorphic to a subposet of $\mathbb{R}^d$ with the natural product order. Dimension is arguably the most widely studied measure of complexity for posets, and standard examples in posets are the canonical structure forcing dimension to be large. In many ways, dimension for posets is analogous to chromatic number for graphs with standard examples in posets playing the role of cliques in graphs. However, planar graphs have chromatic number at most four, while posets with planar diagrams may have arbitrarily large dimension. The key feature of all known constructions of such posets is that large dimension is forced by a large standard example. The question of whether every poset of large dimension and with a planar cover graph contains a large standard example has been a critical challenge in posets theory since the early 1980s, with very little progress over the years. We answer the question in the affirmative. Namely, we show that every poset $P$ with a planar cover graph has dimension $\mathcal{O}(s^8)$, where $s$ is the maximum order of a standard example in $P$.
Joint upper Banach density, VC dimensions and Euclidean point configurations
We study two related quantities which generalize the concept of upper Banach density of a set, to two measurable subsets of the plane. The first of them allows us to generalize a classic result on sufficiently large distances realized in a set of positive upper density, to distances between points of two sets satisfying an appropriate density condition. The second one allows us to show that for all sufficiently large scales $t>0$ and for a smooth, closed, centrally symmetric, planar curve $Γ$ which bounds a convex and compact region in the plane and is of non-vanishing curvature, the family consisting of portions of translates of $tΓ$ has the maximal possible Vapnik--Chervonenkis dimension.
List-recoloring of two classes of planar graphs
Published
• View Publication
• BIB
For a graph $G$ with a list assignment $L$ and two $L$-colorings $α$ and $β$, an $L$-recoloring sequence from $α$ to $β$ is a sequence of proper $L$-colorings where consecutive colorings differ at exactly one vertex. We prove the existence of such a recoloring sequence in which every vertex is recolored at most a constant number of times under two conditions: (i) $G$ is planar, contains no $3$-cycles or intersecting $4$-cycles, and $L$ is a $6$-assignment; or (ii) the maximum average degree of $G$ satisfies $\mathrm{mad}(G) < \frac{5}{2}$ and $L$ is a $4$-assignment. These results strengthen two theorems previously established by Cranston.
5-Coloring Planar Graphs with a Color Class of Order at Most $|V|/6$
Published
• View Publication
• BIB
We show that any planar graph $G=(V,E)$ has a 5-coloring such that one color class contains at most $|V|/6$ vertices. In other words, there exists a partition of $V$ into five independent sets $\{V_1, \cdots, V_5\}$ such that $|V_5| \leq |V| / 6$. Our proof yields an $O(|V|^2)$-time algorithm to find such a partition, and unlike the Four Color Theorem, our proof is fully verifiable without computer assistance.