planar
3209 papers tagged with this keyword
A computer-assisted proof of Barnette-Goodey conjecture: Not only fullerene graphs are Hamiltonian
Fullerene graphs, i.e., 3-connected planar cubic graphs with pentagonal and hexagonal faces, are conjectured to be Hamiltonian. This is a special case of a conjecture of Barnette and Goodey, stating that 3-connected planar graphs with faces of size at most 6 are Hamiltonian. We prove the conjecture.
Large induced forests in planar graphs with girth 4 or 5
Published
• View Publication
• BIB
We give here some new lower bounds on the order of a largest induced forest in planar graphs with girth $4$ and $5$. In particular we prove that a triangle-free planar graph of order $n$ admits an induced forest of order at least $\frac{6n+7}{11}$ , improving the lower bound of Salavatipour [M. R. Salavatipour, Large induced forests in triangle-free planar graphs, Graphs and Combinatorics, 22:113-126, 2006]. We also prove that a planar graph of order $n$ and girth at least $5$ admits an induced forest of order at least $\frac{44n+50}{69}$.
A variant of the Hadwiger-Debrunner (p,q)-problem in the plane
Published in Discrete Comput. Geom. 54:637-646, 2015
• View Publication
• BIB
Let $X$ be a convex curve in the plane (say, the unit circle), and let $\mathcal S$ be a family of planar convex bodies, such that every two of them meet at a point of $X$. Then $\mathcal S$ has a transversal $N\subset\mathbb R^2$ of size at most $1.75\cdot 10^9$.
Suppose instead that $\mathcal S$ only satisfies the following "$(p,2)$-condition": Among every $p$ elements of $\mathcal S$ there are two that meet at a common point of $X$. Then $\mathcal S$ has a transversal of size $O(p^8)$. For comparison, the best known bound for the Hadwiger--Debrunner $(p, q)$-problem in the plane, with $q=3$, is $O(p^6)$.
Our result generalizes appropriately for $\mathbb R^d$ if $X\subset \mathbb R^d$ is, for example, the moment curve.
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs
Published
• View Publication
• BIB
Fan-planar graphs were recently introduced as a generalization of 1-planar graphs. A graph is fan-planar if it can be embedded in the plane, such that each edge that is crossed more than once, is crossed by a bundle of two or more edges incident to a common vertex. A graph is outer-fan-planar if it has a fan-planar embedding in which every vertex is on the outer face. If, in addition, the insertion of an edge destroys its outer-fan-planarity, then it is maximal outer-fan-planar. In this paper, we present a polynomial-time algorithm to test whether a given graph is maximal outer-fan-planar. The algorithm can also be employed to produce an outer-fan-planar embedding, if one exists. On the negative side, we show that testing fan-planarity of a graph is NP-hard, for the case where the rotation system (i.e., the cyclic order of the edges around each vertex) is given.
Weak Unit Disk and Interval Representation of Planar Graphs
Published
• View Publication
• BIB
We study a variant of intersection representations with unit balls, that is, unit disks in the plane and unit intervals on the line. Given a planar graph and a bipartition of the edges of the graph into near and far sets, the goal is to represent the vertices of the graph by unit balls so that the balls representing two adjacent vertices intersect if and only if the corresponding edge is near. We consider the problem in the plane and prove that it is NP-hard to decide whether such a representation exists for a given edge-partition. On the other hand, every series-parallel graph admits such a representation with unit disks for any near/far labeling of the edges. We also show that the representation problem on the line is equivalent to a variant of a graph coloring. We give examples of girth-4 planar and girth-3 outerplanar graphs that have no such representation with unit intervals. On the other hand, all triangle-free outerplanar graphs and all graphs with maximum average degree less than 26/11 can always be represented. In particular, this gives a simple proof of representability of all planar graphs with large girth.
Dendriform-Tree Setting for Fully Non-commutative Fliess Operators
Published in Proc. 53rd IEEE Conference on Decision and Control, Los Angeles, California, 2014, pp. 4814-4819
• View Publication
• BIB
This paper provides a dendriform-tree setting for Fliess operators with matrix-valued inputs. This class of analytic nonlinear input-output systems is convenient, for example, in quantum control. In particular, a description of such Fliess operators is provided using planar binary trees. Sufficient conditions for convergence of the defining series are also given.
Planar Induced Subgraphs of Sparse Graphs
Published in J. Graph Algorithms & Applications 19(1): 281-297, 2015
• View Publication
• BIB
We show that every graph has an induced pseudoforest of at least $n-m/4.5$ vertices, an induced partial 2-tree of at least $n-m/5$ vertices, and an induced planar subgraph of at least $n-m/5.2174$ vertices. These results are constructive, implying linear-time algorithms to find the respective induced subgraphs. We also show that the size of the largest $K_h$-minor-free graph in a given graph can sometimes be at most $n-m/6+o(m)$.
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science, Volume 11, Issue 3 (September 25, 2015) lmcs:1598
• View Publication
• BIB
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes, and planar if it is linear and the use of variables moreover follows a deterministic stack discipline. We begin by showing that the sequence counting normal planar lambda terms by a natural notion of size coincides with the sequence (originally computed by Tutte) counting rooted planar maps by number of edges. Next, we explain how to apply the machinery of string diagrams to derive a graphical language for normal planar lambda terms, extracted from the semantics of linear lambda calculus in symmetric monoidal closed categories equipped with a linear reflexive object or a linear reflexive pair. Finally, our main result is a size-preserving bijection between rooted planar maps and normal planar lambda terms, which we establish by explaining how Tutte decomposition of rooted planar maps (into vertex maps, maps with an isthmic root, and maps with a non-isthmic root) may be naturally replayed in linear lambda calculus, as certain surgeries on the string diagrams of normal planar lambda terms.
Coloring clique-hypergraph of $K_5$-minor-free graphs
A clique-coloring of a graph $G$ is a coloring of the vertices of $G$ so that no maximal clique of size at least two is monochromatic. The clique-hypergraph, $\mathcal{H}(G)$, of a graph $G$ has $V(G)$ as its set of vertices and the maximal cliques of $G$ as its hyperedges. A (vertex) coloring of $\mathcal{H}(G)$ is a clique-coloring of $G$. The clique-chromatic number of $G$ is the least number of colors for which $G$ admits a clique-coloring. Every planar graph has been proved to be 3-clique-colorable (Electr. J. Combin. 6 (1999), \#R26). Recently, we showed that every claw-free planar graph, different from an odd cycle, is $2$-clique-colorable (European J. Combin. 36 (2014) 367-376). In this paper we generalize these results to \{claw, $K_5$-minor\}-free graphs.
On the neighbour sum distinguishing index of planar graphs
Published in J. Graph Theory 85(3) (2017) 669-690
• View Publication
• BIB
Let $c$ be a proper edge colouring of a graph $G=(V,E)$ with integers $1,2,\ldots,k$. Then $k\geq Δ(G)$, while by Vizing's theorem, no more than $k=Δ(G)+1$ is necessary for constructing such $c$. On the course of investigating irregularities in graphs, it has been moreover conjectured that only slightly larger $k$, i.e., $k=Δ(G)+2$ enables enforcing additional strong feature of $c$, namely that it attributes distinct sums of incident colours to adjacent vertices in $G$ if only this graph has no isolated edges and is not isomorphic to $C_5$. We prove the conjecture is valid for planar graphs of sufficiently large maximum degree. In fact even stronger statement holds, as the necessary number of colours stemming from the result of Vizing is proved to be sufficient for this family of graphs. Specifically, our main result states that every planar graph $G$ of maximum degree at least $28$ which contains no isolated edges admits a proper edge colouring $c:E\to\{1,2,\ldots,Δ(G)+1\}$ such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every edge $uv$ of $G$.
Anatomy of the Amplituhedron
Published
• View Publication
• BIB
We initiate a comprehensive investigation of the geometry of the amplituhedron, a recently found geometric object whose volume calculates the integrand of scattering amplitudes in planar N=4 SYM theory. We do so by introducing and studying its stratification, focusing on four-point amplitudes. The new stratification exhibits interesting combinatorial properties and positivity is neatly captured by permutations. As explicit examples, we find all boundaries for the two and three loop amplitudes and related geometries. We recover the stratifications of some of these geometries from the singularities of the corresponding integrands, providing a non-trivial test of the amplituhedron/scattering amplitude correspondence. We finally introduce a deformation of the stratification with remarkably simple topological properties.
Multi-point functions of weighted cubic maps
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 3 (2016), 1-44
• View Publication
• BIB
We study the geodesic two- and three-point functions of random weighted cubic maps, which are obtained by assigning random edge lengths to random cubic planar maps. Explicit expressions are obtained by taking limits of recently established bivariate multi-point functions of general planar maps. We give an alternative interpretation of the two-point function in terms of an Eden model exploration process on a random planar triangulation. Finally, the scaling limits of the multi-point functions are studied, showing in particular that the two- and three-point functions of the Brownian map are recovered as the number of faces is taken to infinity.
Acyclic Subgraphs of Planar Digraphs
Published
• View Publication
• BIB
An acyclic set in a digraph is a set of vertices that induces an acyclic subgraph. In 2011, Harutyunyan conjectured that every planar digraph on $n$ vertices without directed 2-cycles possesses an acyclic set of size at least $3n/5$. We prove this conjecture for digraphs where every directed cycle has length at least 8. More generally, if $g$ is the length of the shortest directed cycle, we show that there exists an acyclic set of size at least $(1 - 3/g)n$.
Interlacing networks: birational RSK, the octahedron recurrence, and Schur function identities
Published in Journal of Combinatorial Theory, Series A, 133, 2015
• View Publication
• BIB
Motivated by the problem of giving a bijective proof of the fact that the birational RSK correspondence satisfies the octahedron recurrence, we define interlacing networks, which are certain planar directed networks with a rigid structure of sources and sinks. We describe an involution that swaps paths in these networks and leads to Plücker-like three-term relations among path weights. We show that indeed these relations follow from the Plücker relations in the Grassmannian together with some simple rank properties of the matrices corresponding to our interlacing networks. The space of matrices obeying these rank properties forms the closure of a cell in the matroid stratification of the totally nonnegative Grassmannian. Not only does the octahedron recurrence for RSK follow immediately from the three-term relations for interlacing networks, but also these relations imply some interesting identities of Schur functions reminiscent of those obtained by Fulmek and Kleber. These Schur function identities lead to some results on Schur positivity for expressions of the form $s_νs_ρ - s_λs_μ$.
Identifying codes in hereditary classes of graphs and VC-dimension
Published in SIAM Journal of Discrete Mathematics, 29(4):2047-2064, 2015
• View Publication
• BIB
An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We show a dichotomy for the size of the smallest identifying code in classes of graphs closed under induced subgraphs. Our dichotomy is derived from the VC-dimension of the considered class C, that is the maximum VC-dimension over the hypergraphs formed by the closed neighbourhoods of elements of C. We show that hereditary classes with infinite VC-dimension have infinitely many graphs with an identifying code of size logarithmic in the number of vertices while classes with finite VC-dimension have a polynomial lower bound.
We then turn to approximation algorithms. We show that the problem of finding a smallest identifying code in a given graph from some class is log-APX-hard for any hereditary class of infinite VC-dimension. For hereditary classes of finite VC-dimension, the only known previous results show that we can approximate the identifying code problem within a constant factor in some particular classes, e.g. line graphs, planar graphs and unit interval graphs. We prove that it can be approximate within a factor 6 for interval graphs. In contrast, we show that on C_4-free bipartite graphs (a class of finite VC-dimension) it cannot be approximated to within a factor of c.log(|V|) for some c>0.
A relaxation of the Bordeaux Conjecture
Published
• View Publication
• BIB
A $(c_1,c_2,...,c_k)$-coloring of $G$ is a mapping $\varphi:V(G)\mapsto\{1,2,...,k\}$ such that for every $i,1 \leq i \leq k$, $G[V_i]$ has maximum degree at most $c_i$, where $G[V_i]$ denotes the subgraph induced by the vertices colored $i$. Borodin and Raspaud conjecture that every planar graph without intersecting triangles and $5$-cycles is $3$-colorable. We prove in this paper that every planar graph without intersecting triangles and $5$-cycles is (2,0,0)-colorable.
Maxima of the signless Laplacian spectral radius for planar graphs
Published
• View Publication
• BIB
The signless Laplacian spectral radius of a graph is the largest eigenvalue of its signless Laplacian. In this paper, we prove that the graph $K_{2}\nabla P_{n-2}$ has the maximal signless Laplacian spectral radius among all planar graphs of order $n\geq 456$.
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with prescribed endvertices, circuits, forests, spanning trees, (not necessarily spanning) trees and cuts. Given an undirected graph $G=(V,E)$ and two "object types" $\mathrm{A}$ and $\mathrm{B}$ chosen from the alternatives above, we consider the following questions. \textbf{Packing problem:} can we find an object of type $\mathrm{A}$ and one of type $\mathrm{B}$ in the edge set $E$ of $G$, so that they are edge-disjoint? \textbf{Partitioning problem:} can we partition $E$ into an object of type $\mathrm{A}$ and one of type $\mathrm{B}$? \textbf{Covering problem:} can we cover $E$ with an object of type $\mathrm{A}$, and an object of type $\mathrm{B}$? This framework includes 44 natural graph theoretic questions. Some of these problems were well-known before, for example covering the edge-set of a graph with two spanning trees, or finding an $s$-$t$ path $P$ and an $s'$-$t'$ path $P'$ that are edge-disjoint. However, many others were not, for example can we find an $s$-$t$ path $P\subseteq E $ and a spanning tree $T\subseteq E$ that are edge-disjoint? Most of these previously unknown problems turned out to be NP-complete, many of them even in planar graphs. This paper determines the status of these 44 problems. For the NP-complete problems we also investigate the planar version, for the polynomial problems we consider the matroidal generalization (wherever this makes sense).
Minors and dimension
Published in J. Comb. Theory Ser. B 122 (2017) 668-689
• View Publication
• BIB
It has been known for 30 years that posets with bounded height and with cover graphs of bounded maximum degree have bounded dimension. Recently, Streib and Trotter proved that dimension is bounded for posets with bounded height and planar cover graphs, and Joret et al. proved that dimension is bounded for posets with bounded height and with cover graphs of bounded tree-width. In this paper, it is proved that posets of bounded height whose cover graphs exclude a fixed topological minor have bounded dimension. This generalizes all the aforementioned results and verifies a conjecture of Joret et al. The proof relies on the Robertson-Seymour and Grohe-Marx graph structure theorems.
Symmetric polyomino tilings, tribones, ideals, and Groebner bases
Published
• View Publication
• BIB
We apply the theory of Groebner bases to the study of signed, symmetric polyomino tilings of planar domains. Complementing the results of Conway and Lagarias we show that the triangular regions T_N=T_{3k-1} and T_N=T_{3k} in a hexagonal lattice admit a signed tiling by three-in-line polyominoes (tribones) symmetric with respect to the 120 degrees rotation of the triangle if and only if either N=27r-1 or N=27r for some integer r.