planar
3156 papers tagged with this keyword
Counting Maximum Matchings in Planar Graphs Is Hard
Here we prove that counting maximum matchings in planar, bipartite graphs is #P-complete. This is somewhat surprising in the light that the number of perfect matchings in planar graphs can be computed in polynomial time. We also prove that counting non-necessarily perfect matchings in planar graphs is already #P-complete if the problem is restricted to bipartite graphs. So far hardness was proved only for general, non-necessarily bipartite graphs.
An Approximation Algorithm for Fully Planar Edge-Disjoint Paths
Published
• View Publication
• BIB
We devise a constant-factor approximation algorithm for the maximization version of the edge-disjoint paths problem if the supply graph together with the demand edges form a planar graph. By planar duality this is equivalent to packing cuts in a planar graph such that each cut contains exactly one demand edge. We also show that the natural linear programming relaxations have constant integrality gap, yielding an approximate max-multiflow min-multicut theorem.
DP-3-coloring of planar graphs without certain cycles
Published in Discrete Applied Mathematics, 297 (2021) 35--45
• View Publication
• BIB
DP-coloring is a generalization of list coloring, which was introduced by Dvořák and Postle [J. Combin. Theory Ser. B 129 (2018) 38--54]. Zhang [Inform. Process. Lett. 113 (9) (2013) 354--356] showed that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is 3-choosable. Liu et al. [Discrete Math. 342 (2019) 178--189] showed that every planar graph without 4-, 5-, 6- and 9-cycles is DP-3-colorable. In this paper, we show that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is DP-3-colorable, which generalizes these results. Yu et al. gave three Bordeaux-type results by showing that (i) every planar graph with the distance of triangles at least three and no 4-, 5-cycles is DP-3-colorable; (ii) every planar graph with the distance of triangles at least two and no 4-, 5-, 6-cycles is DP-3-colorable; (iii) every planar graph with the distance of triangles at least two and no 5-, 6-, 7-cycles is DP-3-colorable. We also give two Bordeaux-type results in the last section: (i) every plane graph with neither 5-, 6-, 8-cycles nor triangles at distance less than two is DP-3-colorable; (ii) every plane graph with neither 4-, 5-, 7-cycles nor triangles at distance less than two is DP-3-colorable.
(1,0,0)-colorability of planar graphs without cycles of length 4 or 6
Published
• View Publication
• BIB
A graph $G$ is $(d_1,d_2,d_3)$-colorable if the vertex set $V(G)$ can be partitioned into three subsets $V_1,V_2$ and $V_3$ such that for $i\in\{1,2,3\}$, the induced graph $G[V_i]$ has maximum vertex-degree at most $d_i$. So, $(0,0,0)$-colorability is exactly 3-colorability.
The well-known Steinberg's conjecture states that every planar graph without cycles of length 4 or 5 is 3-colorable. As this conjecture being disproved by Cohen-Addad etc. in 2017, a similar question, whether every planar graph without cycles of length 4 or $i$ is 3-colorable for a given $i\in \{6,\ldots,9\}$, is gaining more and more interest. In this paper, we consider this question for the case $i=6$ from the viewpoint of improper colorings. More precisely, we prove that every planar graph without cycles of length 4 or 6 is (1,0,0)-colorable, which improves on earlier results that they are (2,0,0)-colorable and also (1,1,0)-colorable, and on the result that planar graphs without cycles of length from 4 to 6 are (1,0,0)-colorable.
Multi-transversals for Triangles and the Tuza's Conjecture
Published
• View Publication
• BIB
In this paper, we study a primal and dual relationship about triangles: For any graph $G$, let $ν(G)$ be the maximum number of edge-disjoint triangles in $G$, and $τ(G)$ be the minimum subset $F$ of edges such that $G \setminus F$ is triangle-free. It is easy to see that $ν(G) \leq τ(G) \leq 3 ν(G)$, and in fact, this rather obvious inequality holds for a much more general primal-dual relation between $k$-hyper matching and covering in hypergraphs. Tuza conjectured in $1981$ that $τ(G) \leq 2 ν(G)$, and this question has received attention from various groups of researchers in discrete mathematics, settling various special cases such as planar graphs and generalized to bounded maximum average degree graphs, some cases of minor-free graphs, and very dense graphs. Despite these efforts, the conjecture in general graphs has remained wide open for almost four decades.
In this paper, we provide a proof of a non-trivial consequence of the conjecture; that is, for every $k \geq 2$, there exist a (multi)-set $F \subseteq E(G): |F| \leq 2k ν(G)$ such that each triangle in $G$ overlaps at least $k$ elements in $F$. Our result can be seen as a strengthened statement of Krivelevich's result on the fractional version of Tuza's conjecture (and we give some examples illustrating this.) The main technical ingredient of our result is a charging argument, that locally identifies edges in $F$ based on a local view of the packing solution. This idea might be useful in further studying the primal-dual relations in general and the Tuza's conjecture in particular.
Convergence of Eulerian triangulations
Published in Electron. J. Probab. 26: 1-48 (2021)
• View Publication
• BIB
We prove that properly rescaled large planar Eulerian triangulations converge to the Brownian map. This result requires more than a standard application of the methods that have been used to obtain the convergence of other families of planar maps to the Brownian map, as the natural distance for Eulerian triangulations is a canonical oriented pseudo-distance. To circumvent this difficulty, we adapt the layer decomposition method established by Curien and Le Gall, which yields asymptotic proportionality between three natural distances on planar Eulerian triangulations: the usual graph distance, the canonical oriented pseudo-distance, and the Riemannian metric. This notably gives the first mathematical proof of a convergence to the Brownian map for maps endowed with their Riemannian metric. Along the way, we also construct new models of infinite random maps, as local limits of large planar Eulerian triangulations.
Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams
In recent work of Cachazo, Guevara, Mizera and the author, a generalization of the biadjoint scattering amplitude $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ was introduced as an integral over the moduli space of $n$ points in $\mathbb{CP}^{k-1}$, with value a sum of certain rational functions on the kinematic space $\mathcal{K}_{k,n}$. It was shown there for $m^{(3)}(\mathbb{I}_6,\mathbb{I}_6)$ and later by Cachazo and Rojas that collections of poles appearing in $m^{(3)}(\mathbb{I}_7,\mathbb{I}_7)$ are compatible exactly when they are dual to collections of rays which generate the maximal faces of a polyhedral complex known as the (nonnegative) tropical Grassmannian.
In this note, we derive a remarkable planar basis for the space of generalized kinematic invariants which coincides in the case $k=2$ with usual standard planar multi-particle basis for the kinematic space. We implement in Mathematica the action on formal linear combinations of planar matroid subdivisions of a boundary operator which, together with the planar basis, determines compatibility for any given poles appearing in the expansion of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$, by computing a certain combinatorial non-crossing condition on the second hypersimplicial faces $Δ_{2,n-(k-2)}$ of $Δ_{k,n}$. The algorithms are implemented in an accompanying Mathematica notebook and are evaluated on existing tables of rays, in the form of tropical Plucker vectors, to tabulate the finest planar subdivisions of $Δ_{3,8},Δ_{3,9}$ and $ Δ_{4,8}$, or equivalently the set of maximal cones for the corresponding nonnegative tropical Grassmannians.
Another proof of the $1/N$ expansion of the rank three tensor model with tetrahedral interaction
The rank three tensor model with tetrahedral interaction was shown by Carrozza and Tanasa to admit a $1/N$ expansion, dominated by melonic diagrams, and double tadpoles decorated with melons at next-to-leading order. This model has generated a renewed interest in tensor models because it has the same large $N$ limit as the SYK model. In contrast with matrix models, there is no method which would be able to prove the existence of $1/N$ expansions in arbitrary tensor models. The method used by Carrozza and Tanasa proves the existence of the $1/N$ expansion using two-dimensional topology, before identifying the leading order and next-to-leading graphs. However, another method was required for complex, rank three tensor models with planar interactions, which is based on flips. The latter are moves which cut two propagators of Feynman graphs and reglue them differently. They allow transforming graphs while tracking their orders in the $1/N$ expansion. Here we use this method to re-prove the results of Carrozza and Tanasa, thereby proving the existence of the $1/N$ expansion, the melonic dominance at leading order and the melon-decorated double tadpoles at next-to-leading order, all in one go.
Isoradial immersions
Published
• View Publication
• BIB
Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings: isoradial immersions and minimal immersions. We show that a planar graph admits a flat isoradial immersion if and only if its train-tracks do not form closed loops, and that a bipartite graph has a minimal immersion if and only if it is minimal. In both cases we describe the space of such immersions. The techniques used are different in both settings, and distinct from those of Kenyon and Schlenker. We also give an application of our results to the dimer model defined on bipartite graphs admitting minimal immersions.
Planar Matrices and Arrays of Feynman Diagrams
Published
• View Publication
• BIB
Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.
Long Cycles and Spanning Subgraphs of Locally Maximal 1-planar Graphs
Published in Journal of Graph Theory 2020
• View Publication
• BIB
A graph is $1$-planar if it has a drawing in the plane such that each edge is crossed at most once by another edge. Moreover, if this drawing has the additional property that for each crossing of two edges the end vertices of these edges induce a complete subgraph, then the graph is locally maximal $1$-planar. For a $3$-connected locally maximal $1$-planar graph $G$, we show the existence of a spanning $3$-connected planar subgraph and prove that $G$ is hamiltonian if $G$ has at most three $3$-vertex-cuts, and that $G$ is traceable if $G$ has at most four $3$-vertex-cuts. Moreover, infinitely many non-traceable $5$-connected $1$-planar graphs are presented.
Petruska's question on planar convex sets
Published
• View Publication
• BIB
Given $2k-1$ convex sets in $R^2$ such that no point of the plane is covered by more than $k$ of the sets, is it true that there are two among the convex sets whose union contains all $k$-covered points of the plane? This question due to Gy. Petruska has an obvious affirmative answer for $k=1,2,3$; we show here that the claim is also true for $k=4$, and we present a counterexample for $k=5$. We explain how Petruska's geometry question fits into the classical hypergraph extremal problems, called arrow problems, proposed by P. Erdős.
Non-perturbative geometries for planar $\mathcal{N}=4$ SYM amplitudes
Published
• View Publication
• BIB
There is a remarkable well-known connection between the G$(4,n)$ cluster algebra and $n$-particle amplitudes in $\mathcal{N}=4$ SYM theory. For $n \ge 8$ two long-standing open questions have been to find a mathematically natural way to identify a finite list of amplitude symbol letters from among the infinitely many cluster variables, and to find an explanation for certain algebraic functions, such as the square roots of four-mass-box type, that are expected to appear in symbols but are not cluster variables. In this letter we use the notion of "stringy canonical forms" to construct polytopal realizations of certain compactifications of (the positive part of) the configuration space Conf${}_n(\mathbb{P}^{k-1}) \cong {\rm G}(k,n)/T$ that are manifestly finite for all $k$ and $n$. Some facets of these polytopes are naturally associated to cluster variables, while others are naturally associated to algebraic functions constructed from Lusztig's canonical basis. For $(k,n) = (4,8)$ the latter include precisely the expected square roots, revealing them to be related to certain "overpositive" functions of the kinematical invariants.
The Last Temptation of William T. Tutte
Published
• View Publication
• BIB
In 1999, at one of his last public lectures, Tutte discussed a question he had considered since the times of the Four Color Conjecture. He asked whether the 4-coloring complex of a planar triangulation could have two components in which all colorings had the same parity. In this note we answer Tutte's question to the contrary of his speculations by showing that there are triangulations of the plane whose coloring complexes have arbitrarily many even and odd components. We end up with a closely related conjecture, which is based on an extensive computation, and which claims that for every planar triangulation whose 4-coloring complex is disconnected has a component of even parity and one of odd parity.
Small Connected Planar Graph with 1-Cop-Move Number 4
This paper describes a 720-vertex connected planar graph G such that cop1(G), denoting the minimum number of cops needed to catch the robber in the 1-cop-move game on G, is at least 4 and at most 7. Furthermore, G has a connected subgraph H such that cop1(H) is exactly 4, meaning that 4 cops are barely sufficient to catch the robber in the 1-cop-move game on H. This is a significant improvement over the graph given by Gao and Yang in 2017.
Planar maps and random partitions
This habilitation thesis summarizes the research that I have carried out from 2005 to 2019. It is organized in four chapters. The first three deal with random planar maps. Chapter 1 is about their metric properties: from a general map-mobile bijection, we compute the three-point function of quadrangulations, before discussing the connection with continued fractions. Chapter 2 presents the slice decomposition, a unified bijective approach that applies notably to irreducible maps. Chapter 3 concerns the $O(n)$ loop model on planar maps: by a combinatorial decomposition, we obtain the phase diagram before studying loop nesting statistics. Chapter 4 deals with random partitions and Schur processes, from steep domino tilings to fermionic systems.
Laurent polynomials of planar graphs
By using Laurent graph polynomials instead of the usual ones, i.e. by allowing negative powers of the variables, we simplify an existing method of determining the Alon-Tarsi numbers of planar graphs.
The Maximum Wiener Index of Maximal Planar Graphs
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of the distances between all pairs of vertices in the graph. It was conjectured that the Wiener index of an $n$-vertex maximal planar graph is at most $\lfloor\frac{1}{18}(n^3+3n^2)\rfloor$. We prove this conjecture and for every $n$, $n \geq 10$, determine the unique $n$-vertex maximal planar graph for which this maximum is attained.
Ubiquity and the Farey graph
Published
• View Publication
• BIB
We construct a countable planar graph which, for any two vertices $u,v$ and any integer $k\ge 1$, contains $k$ edge-disjoint order-compatible $u$--$v$ paths but not infinitely many. This graph has applications in Ramsey theory, in the study of connectivity and in the characterisation of the Farey graph.
Jones' Conjecture in subcubic graphs
Published in The Electronic Journal of Combinatorics 28(4), 5:1-5:12, 2021
• View Publication
• BIB
We confirm Jones' Conjecture for subcubic graphs. Namely, if a subcubic planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to obtain a forest.