planar
3156 papers tagged with this keyword
Complexity and Geometry of Sampling Connected Graph Partitions
In this paper, we prove intractability results about sampling from the set of partitions of a planar graph into connected components. Our proofs are motivated by a technique introduced by Jerrum, Valiant, and Vazirani. Moreover, we use gadgets inspired by their technique to provide families of graphs where the "flip walk" Markov chain used in practice for this sampling task exhibits exponentially slow mixing. Supporting our theoretical results we present some empirical evidence demonstrating the slow mixing of the flip walk on grid graphs and on real data. Inspired by connections to the statistical physics of self-avoiding walks, we investigate the sensitivity of certain popular sampling algorithms to the graph topology. Finally, we discuss a few cases where the sampling problem is tractable. Applications to political redistricting have recently brought increased attention to this problem, and we articulate open questions about this application that are highlighted by our results.
Edge vectors on plabic networks in the disk and amalgamation of totally non-negative Grassmannians
Published
• View Publication
• BIB
Amalgamation in the totally non-negative part of positroid varieties is equivalent to gluing copies of $Gr^{TP}(1,3)$ and $Gr^{TP}(2,3)$. Lam has proposed to represent amalgamation in positroid varieties by equivalence classes of relations on bipartite graphs and identify total non-negativity via edge signatures. Here we provide an explicit characterization of such signatures on the planar bicolored trivalent directed perfect networks in the disk parametrizing positroid cells $S_M^{TNN}$.To a graph $G$ representing $S_M^{TNN}$, we associate a geometric signature satisfying full rank condition and total non--negativity. Such signature is uniquely identified by geometric indices ruled by orientation and gauge ray direction. The image of this map coincides with that of Postnikov boundary measurement map. We solve the system of geometric relations generalizing Postnikov's and Talaska's results for the boundary edges to the internal edges of the graphs: the edge vector components are rational in the weights with subtraction--free denominators, and have explicit expressions in terms of conservative and edge flows. At boundary sources the edge vectors give the boundary measurement matrix. If $G$ is acyclically orientable, all components are subtraction-free rational in the weights w.r.t. a convenient basis. We provide explicit formulas for the transformation rules w.r.t. changes the orientation, the several gauges of the given network, moves and reductions of networks. We show that the image of the boundary measurement map and the dimer partition functions do not coincide if the graph is not bipartite.
Balanced Schnyder woods for planar triangulations: an experimental study with applications to graph drawing and graph separators
Published
• View Publication
• BIB
In this work we consider balanced Schnyder woods for planar graphs, which are Schnyder woods where the number of incoming edges of each color at each vertex is balanced as much as possible. We provide a simple linear-time heuristic leading to obtain well balanced Schnyder woods in practice. As test applications we consider two important algorithmic problems: the computation of Schnyder drawings and of small cycle separators. While not being able to provide theoretical guarantees, our experimental results (on a wide collection of planar graphs) suggest that the use of balanced Schnyder woods leads to an improvement of the quality of the layout of Schnyder drawings, and provides an efficient tool for computing short and balanced cycle separators.
An Omega(n^2) Lower Bound for Random Universal Sets for Planar Graphs
A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then $Q$ must have cardinality $Ω(n^2)$ in order to be $n$-universal with high probability. This shows that the probabilistic method, at least in its basic form, cannot be used to establish an $o(n^2)$ upper bound on universal sets.
Planar cubic graphs of small diameter
Cubic planar $n$-vertex graphs with faces of length at most $6$, e.g., fullerene graphs, have diameter in $Ω(\sqrt{n})$. It has been suspected, that a similar result can be shown for cubic planar graphs with faces of bounded length. This note provides a family of cubic planar $n$-vertex graphs with faces of length at most $7$ and diameter in ${O}(\log n)$, thus refuting the above suspicion.
Singer difference sets and the projective norm graph
We demonstrate a close connection between the classic planar Singer difference sets and certain norm equation systems arising from projective norm graphs. This, on the one hand leads to a novel description of planar Singer difference sets as a subset $\mathcal{H}$ of $\mathcal{N}$, the group of elements of norm 1 in the field extension $\mathbb{F}_{q^3}/\mathbb{F}_q$. $\mathcal{H}$ is given as the solution set of a simple polynomial equation, and we obtain an explicit formula expressing each non-identity element of $\mathcal{N}$ as a product $B\cdot C^{-1}$ with $B, C\in \mathcal{H}$. The description and the definitions naturally carry over to the nonplanar and the infinite setting. On the other hand, relying heavily on the difference set properties, we also complete the proof that the projective norm graph $\text{NG}(q,4)$ does contain the complete bipartite graph $K_{4,6}$ for every prime power $q \geq 5$. This complements the property, known for more than two decades, that projective norm graphs do not contain $K_{4,7}$ (and hence provide tight lower bounds for the Turán number $ex(n,K_{4,7})$).
Planar graphs without normally adjacent short cycles
Published in Discrete Mathematics, 345 (2022) 112986
• View Publication
• BIB
Let $\mathscr{G}$ be the class of plane graphs without triangles normally adjacent to $8^{-}$-cycles, without $4$-cycles normally adjacent to $6^{-}$-cycles, and without normally adjacent $5$-cycles. In this paper, it is shown that every graph in $\mathscr{G}$ is $3$-choosable. Instead of proving this result, we directly prove a stronger result in the form of ``weakly'' DP-$3$-coloring. The main theorem improves the results in [J. Combin. Theory Ser. B 129 (2018) 38--54; European J. Combin. 82 (2019) 102995]. Consequently, every planar graph without $4$-, $6$-, $8$-cycles is $3$-choosable, and every planar graph without $4$-, $5$-, $7$-, $8$-cycles is $3$-choosable. In the third section, using almost the same technique, we prove that the vertex set of every graph in $\mathscr{G}$ can be partitioned into an independent set and a set that induces a forest, which strengthens the result in [Discrete Appl. Math. 284 (2020) 626--630]. In the final section, tightness is discussed.
Light edges in 1-planar graphs of minimum degree 3
Published in Discrete Mathematics 343(2) (2020) #111664
• View Publication
• BIB
A graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one another edge. In this work we prove that each 1-planar graph of minimum degree at least $3$ contains an edge with degrees of its endvertices of type $(3,\leq23)$ or $(4,\leq11)$ or $(5,\leq9)$ or $(6,\leq8)$ or $(7,7)$. Moreover, the upper bounds $9,8$ and $7$ here are sharp and the upper bounds $23$ and $11$ are very close to the possible sharp ones, which may be 20 and 10, respectively. This generalizes a result of Fabrici and Madaras [Discrete Math., 307 (2007) 854--865] which says that each 3-connected 1-planar graph contains a light edge, and improves a result of Hudák and Šugerek [Discuss. Math. Graph Theory, 32(3) (2012) 545--556], which states that each 1-planar graph of minimum degree at least $4$ contains an edge with degrees of its endvertices of type $(4,\leq 13)$ or $(5,\leq 9)$ or $(6,\leq 8)$ or $(7, 7)$.
On Strict (Outer-)Confluent Graphs
A strict confluent (SC) graph drawing is a drawing of a graph with vertices as points in the plane, where vertex adjacencies are represented not by individual curves but rather by unique smooth paths through a planar system of junctions and arcs. If all vertices of the graph lie in the outer face of the drawing, the drawing is called a strict outerconfluent (SOC) drawing. SC and SOC graphs were first considered by Eppstein et al. in Graph Drawing 2013. Here, we establish several new relationships between the class of SC graphs and other graph classes, in particular string graphs and unit-interval graphs. Further, we extend earlier results about special bipartite graph classes to the notion of strict outerconfluency, show that SOC graphs have cop number two, and establish that tree-like ($Δ$-)SOC graphs have bounded cliquewidth.
4-Connected Triangulations on Few Lines
Published
• View Publication
• BIB
We show that 4-connected plane triangulations can be redrawn such that edges are represented by straight segments and the vertices are covered by a set of at most $\sqrt{2n}$ lines each of them horizontal or vertical. The same holds for all subgraphs of such triangulations. The proof is based on a corresponding result for diagrams of planar lattices which makes use of orthogonal chain and antichain families.
Local convergence of random planar graphs
Published
• View Publication
• BIB
The present work describes the asymptotic local shape of a graph drawn uniformly at random from all connected simple planar graphs with n labelled vertices. We establish a novel uniform infinite planar graph (UIPG) as quenched limit in the local topology as n tends to infinity. We also establish such limits for random 2-connected planar graphs and maps as their number of edges tends to infinity. Our approach encompasses a new probabilistic view on the Tutte decomposition. This allows us to follow the path along the decomposition of connectivity from planar maps to planar graphs in a uniformed way, basing each step on condensation phenomena for random walks under subexponentiality and Gibbs partitions. Using large deviation results, we recover the asymptotic formula by Giménez and Noy (2009) for the number of planar graphs.
Tropically planar graphs
Published
• View Publication
• BIB
We study tropically planar graphs, which are the graphs that appear in smooth tropical plane curves. We develop necessary conditions for graphs to be tropically planar, and compute the number of tropically planar graphs up to genus $7$. We provide non-trivial upper and lower bounds on the number of tropically planar graphs, and prove that asymptotically $0\%$ of connected trivalent planar graphs are tropically planar.
On the Planar Edge-Length Ratio of Planar Graphs
Published
• View Publication
• BIB
The edge-length ratio of a straight-line drawing of a graph is the ratio between the lengths of the longest and of the shortest edge in the drawing. The planar edge-length ratio of a planar graph is the minimum edge-length ratio of any planar straight-line drawing of the graph.
In this paper, we study the planar edge-length ratio of planar graphs. We prove that there exist $n$-vertex planar graphs whose planar edge-length ratio is in $Ω(n)$; this bound is tight. We also prove upper bounds on the planar edge-length ratio of several families of planar graphs, including series-parallel graphs and bipartite planar graphs.
Planar graphs with girth at least 5 are (3,4)-colorable
Published in Discrete Mathematics, https://doi.org/10.1016/j.disc.2019.06.033
• View Publication
• BIB
A graph is $(d_1, \ldots, d_k)$-colorable if its vertex set can be partitioned into $k$ nonempty subsets so that the subgraph induced by the $i$th part has maximum degree at most $d_i$ for each $i\in\{1, \ldots, k\}$. It is known that for each pair $(d_1, d_2)$, there exists a planar graph with girth $4$ that is not $(d_1, d_2)$-colorable. This sparked the interest in finding the pairs $(d_1, d_2)$ such that planar graphs with girth at least $5$ are $(d_1, d_2)$-colorable. Given $d_1\leq d_2$, it is known that planar graphs with girth at least $5$ are $(d_1, d_2)$-colorable if either $d_1\geq 2$ and $d_1+d_2\geq 8$ or $d_1=1$ and $d_2\geq 10$. We improve an aforementioned result by providing the first pair $(d_1, d_2)$ in the literature satisfying $d_1+d_2\leq 7$ where planar graphs with girth at least $5$ are $(d_1, d_2)$-colorable. Namely, we prove that planar graphs with girth at least $5$ are $(3, 4)$-colorable.
Iterated foldings of discrete spaces and their limits: candidates for the role of Brownian map in higher dimensions
Published
• View Publication
• BIB
In this last decade, an important stochastic model emerged: the Brownian map. It is the limit of various models of random combinatorial maps after rescaling: it is a random metric space with Hausdorff dimension 4, almost surely homeomorphic to the 2-sphere, and possesses some deep connections with
Liouville quantum gravity in 2D. In this paper, we present a sequence of random objects that we call $D$th-random feuilletages (denoted by ${\bf r}[D]$), indexed by a parameter $D\geq 0$ and which are candidate to play the role of the Brownian map in dimension $D$. The construction relies on some objects that we name iterated Brownian snakes, which are branching analogues of iterated Brownian motions, and which are moreover limits of iterated discrete snakes. In the planar $D=2$ case, the family of discrete snakes considered coincides with some family of (random) labeled trees known to encode planar quadrangulations.
Iterating snakes provides a sequence of random trees $({\bf t}^{(j)}, j\geq 1)$. The $D$th-random feuilletage ${\bf r}[D]$ is built using $({\bf t}^{(1)},\cdots,{\bf t}^{(D)})$: ${\bf r}[0]$ is a deterministic circle, ${\bf r}[1]$ is Aldous' continuum random tree, ${\bf r}[2]$ is the Brownian map, and somehow, ${\bf r}[D]$ is obtained by quotienting ${\bf t}^{(D)}$ by ${\bf r}[D-1]$.
A discrete counterpart to ${\bf r}[D]$ is introduced and called the $D$th random discrete feuilletage with $n+D$ nodes (${\bf r}_n[D]$). The proof of the convergence of ${\bf r}_n[D]$ to ${\bf r}[D]$ after appropriate rescaling in some functional space is provided (however, the convergence obtained is too weak to imply the Gromov-Hausdorff convergence). An upper bound on the diameter of ${\bf r}_{n}[D]$ is $n^{1/2^{D}}$. Some elements allowing to conjecture that the Hausdorff dimension of ${\bf r}[D]$ is $2^D$ are given.
Finding Dominating Induced Matchings in $P_9$-Free Graphs in Polynomial Time
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite undirected graph. An edge subset $E' \subseteq E$ is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $E'$. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$. The DIM problem is \NP-complete even for very restricted graph classes such as planar bipartite graphs with maximum degree 3 but was solved in linear time for $P_7$-free graphs and in polynomial time for $P_8$-free graphs. In this paper, we solve it in polynomial time for $P_9$-free graphs.
On the Boundaries of the m=2 Amplituhedron
Amplituhedra $\mathcal{A}_{n,k}^{(m)}$ are geometric objects of great interest in modern mathematics and physics: for mathematicians they are combinatorially rich generalizations of polygons and polytopes, based on the notion of positivity; for physicists, the amplituhedron $\mathcal{A}^{(4)}_{n,k}$ encodes the scattering amplitudes of the planar $\mathcal{N}=4$ super Yang-Mills theory. In this paper we study the structure of boundaries for the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We classify all boundaries of all dimensions and provide their graphical enumeration. We find that the boundary poset for the amplituhedron is Eulerian and show that the Euler characteristic of the amplituhedron equals one. This provides an initial step towards proving that the amplituhedron for $m=2$ is homeomorphic to a closed ball.
Lower Estimates on Eigenvalues of Quantum Graphs
Published
• View Publication
• BIB
A method for estimating the spectral gap along with higher eigenvalues of nonequilateral quantum graphs has been introduced by Amini and Cohen-Steiner recently: it is based on a new transference principle between discrete and continuous models of a graph. We elaborate on it by developing a more general transference principle and by proposing alternative ways of applying it. To illustrate our findings, we present several spectral estimates on planar metric graphs that are oftentimes sharper than those obtained by isoperimetric inequalities and further previously known methods.
On fractional fragility rates of graph classes
We consider, for every positive integer $a$, probability distributions on subsets of vertices of a graph with the property that every vertex belongs to the random set sampled from this distribution with probability at most $1/a$. Among other results, we prove that for every positive integer~$a$ and every planar graph $G$, there exists such a probability distribution with the additional property that deleting the random set creates a graph with component-size at most $(Δ(G)-1)^{a+O(\sqrt{a})}$, or a graph with treedepth at most $O(a^3\log_2(a))$. We also provide nearly-matching lower bounds.
Bounding the number of cycles in a graph in terms of its degree sequence
We give an upper bound on the number of cycles in a simple graph in terms of its degree sequence, and apply this bound to resolve several conjectures of Király and Arman and Tsaturian and to improve upper bounds on the maximum number of cycles in a planar graph.