planar
3209 papers tagged with this keyword
Structure of the flow and Yamada polynomials of cubic graphs
We establish a quadratic identity for the Yamada polynomial of ribbon cubic graphs in 3-space, extending the Tutte golden identity for planar cubic graphs. An application is given to the structure of the flow polynomial of cubic graphs at zero. The golden identity for the flow polynomial is conjectured to characterize planarity of cubic graphs, and we prove this conjecture for a certain infinite family of non-planar graphs.
Further, we establish exponential growth of the number of chromatic polynomials of planar triangulations, answering a question of D. Treumann and E. Zaslow. The structure underlying these results is the chromatic algebra, and more generally the SO(3) topological quantum field theory.
Planar graphs without 4-cycles adjacent to triangles are DP-4-colorable
DP-coloring (also known as correspondence coloring) of a simple graph is a generalization of list coloring. It is known that planar graphs without 4-cycles adjacent to triangles are 4-choosable, and planar graphs without 4-cycles are DP-4-colorable. In this paper, we show that planar graphs without 4-cycles adjacent to triangles are DP-4-colorable, which is an extension of the two results above.
The graph tessellation cover number: extremal bounds, efficient algorithms and hardness
Published in Theoretical Computer Science 801, 175-191, 2020
• View Publication
• BIB
A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a tessellation cover of the graph with $t$ tessellations. This problem is motivated by its applications to quantum walk models, in especial, the evolution operator of the staggered model is obtained from a graph tessellation cover. We establish upper bounds on the tessellation cover number given by the minimum between the chromatic index of the graph and the chromatic number of its clique graph and we show graph classes for which these bounds are tight. We prove $\mathcal{NP}$-completeness for $t$-tessellability if the instance is restricted to planar graphs, chordal (2,1)-graphs, (1,2)-graphs, diamond-free graphs with diameter five, or for any fixed $t$ at least 3. On the other hand, we improve the complexity for 2-tessellability to a linear-time algorithm.
Local Dimension is Unbounded for Planar Posets
Published
• View Publication
• BIB
In 1981, Kelly showed that planar posets can have arbitrarily large dimension. However, the posets in Kelly's example have bounded Boolean dimension and bounded local dimension, leading naturally to the questions as to whether either Boolean dimension or local dimension is bounded for the class of planar posets. The question for Boolean dimension was first posed by Nešetřil and Pudlák in 1989 and remains unanswered today. The concept of local dimension is quite new, introduced in 2016 by Ueckerdt. Since that time, researchers have obtained many interesting results concerning Boolean dimension and local dimension, contrasting these parameters with the classic Dushnik-Miller concept of dimension, and establishing links between both parameters and structural graph theory, path-width, and tree-width in particular. Here we show that local dimension is not bounded on the class of planar posets. Our proof also shows that the local dimension of a poset is not bounded in terms of the maximum local dimension of its blocks, and it provides an alternative proof of the fact that the local dimension of a poset cannot be bounded in terms of the tree-width of its cover graph, independent of its height.
Cuts in matchings of 3-connected cubic graphs
Published
• View Publication
• BIB
We discuss conjectures on Hamiltonicity in cubic graphs (Tait, Barnette, Tutte), on the dichromatic number of planar oriented graphs (Neumann-Lara), and on even graphs in digraphs whose contraction is strongly connected (Hochstättler). We show that all of them fit into the same framework related to cuts in matchings. This allows us to find a counterexample to the conjecture of Hochstättler and show that the conjecture of Neumann-Lara holds for all planar graphs on at most 26 vertices. Finally, we state a new conjecture on bipartite cubic oriented graphs, that naturally arises in this setting.
A combinatorial description of the centralizer algebras connected to the Links-Gould Invariant
Published in Algebr. Geom. Topol. 21 (2021) 1553-1593
• View Publication
• BIB
In this paper we study the tensor powers of the standard representation of the quantum super-algebra $U_q(sl(2|1)$, focusing on the rings of its algebra endomorphisms, called centraliser algebras and denoted by $LG_n$. Their dimensions were conjectured by I. Marin and E. Wagner \cite{MW}. We prove this conjecture, describing the intertwiner spaces from a semi-simple decomposition as sets consisting of certain paths in a planar lattice with integer coordinates. Using this model, we present a matrix unit basis for the centraliser algebra $LG_n$, by means of closed curves in the plane, which are included in the lattice with integer coordinates.
Computational Properties of Slime Trail
We investigate the combinatorial game Slime Trail.This game is played on a graph with a starting piece in a node. Each player's objective is to reach one of their own goal nodes. Every turn the current player moves the piece and deletes the node they came from. We show that the game is PSPACE-complete when played on a planar graph.
A state enumeration of the foil knot
We split the crossings of the foil knot and enumerate the resulting states with a generating polynomial. Unexpectedly, the number of such states which consist of two components are given by the lazy caterer's sequence. This sequence describes the maximum number of planar regions that is obtained with a given number of straight lines. We then establish a bijection between this partition of the plane and the concerned foil splits sequence.
The minimum stretch spanning tree problem for typical graphs
Published
• View Publication
• BIB
With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.
The Alon-Tarsi number of planar graphs
Published
• View Publication
• BIB
This paper proves that the Alon-Tarsi number of any planar graph is at most $5$, which gives an alternate proof of the $5$-choosability as well as the $5$-paintability of planar graphs.
A structural characterisation of Av(1324) and new bounds on its growth rate
Published
• View Publication
• BIB
We establish an improved lower bound of 10.271 for the exponential growth rate of the class of permutations avoiding the pattern 1324, and an improved upper bound of 13.5. These results depend on a new exact structural characterisation of 1324-avoiders as a subclass of an infinite staircase grid class, together with precise asymptotics of a small domino subclass whose enumeration we relate to West-two-stack-sortable permutations and planar maps. The bounds are established by carefully combining copies of the dominoes in particular ways consistent with the structural characterisation. The lower bound depends on concentration results concerning the substructure of a typical domino, the determination of exactly when dominoes can be combined in the fewest distinct ways, and technical analysis of the resulting generating function.
On chromatic indices of finite affine spaces
Published in Ars Mathematica Contemporanea-2019
• View Publication
• BIB
The pseudoachromatic index of the finite affine space $\mathrm{AG}(n,q),$ denoted by $ψ'(\mathrm{AG}(n,q)),$ is the the maximum number of colors in any complete line-coloring of $\mathrm{AG}(n,q).$ When the coloring is also proper, the maximum number of colors is called the achromatic index of $\mathrm{AG}(n,q).$ We prove that if $n$ is even then $ψ'(\mathrm{AG}(n,q))\sim q^{1.5n-1}$; while when $n$ is odd the value is bounded by $q^{1.5(n-1)}<ψ'(\mathrm{AG}(n,q))<q^{1.5n-1}$. Moreover, we prove that the achromatic index of $\mathrm{AG}(n,q)$ is $q^{1.5n-1}$ for even $n,$ and we provides the exact values of both indices in the planar case.
Vertex partitions of $(C_3,C_4,C_6)$-free planar graphs
A graph is $(k_1,k_2)$-colorable if its vertex set can be partitioned into a graph with maximum degree at most $k_1$ and and a graph with maximum degree at most $k_2$. We show that every $(C_3,C_4,C_6)$-free planar graph is $(0,6)$-colorable. We also show that deciding whether a $(C_3,C_4,C_6)$-free planar graph is $(0,3)$-colorable is NP-complete.
Statistics of the Voronoi cell perimeter in large bi-pointed maps
Published in J. Stat. Mech. (2018) 073409
• View Publication
• BIB
We study the statistics of the Voronoi cell perimeter in large bi-pointed planar quadrangulations. Such maps have two marked vertices at a fixed given distance $2s$ and their Voronoi cell perimeter is simply the length of the frontier which separates vertices closer to one marked vertex than to the other. We characterize the statistics of this perimeter as a function of $s$ for maps with a large given volume $N$ both in the scaling limit where $s$ scales as $N^{1/4}$, in which case the Voronoi cell perimeter scales as $N^{1/2}$, and in the local limit where $s$ remains finite, in which case the perimeter scales as $s^2$ for large $s$. The obtained laws are universal and are characteristics of the Brownian map and the Brownian plane respectively.
Coloring intersection hypergraphs of pseudo-disks
Published
• View Publication
• BIB
We prove that the intersection hypergraph of a family of $n$ pseudo-disks with respect to another family of pseudo-disks admits a proper coloring with $4$ colors and a conflict-free coloring with $O(\log n)$ colors. Along the way we prove that the respective Delaunay-graph is planar. We also prove that the intersection hypergraph of a family of $n$ regions with linear union complexity with respect to a family of pseudo-disks admits a proper coloring with constantly many colors and a conflict-free coloring with $O(\log n)$ colors. Our results serve as a common generalization and strengthening of many earlier results, including ones about proper and conflict-free coloring points with respect to pseudo-disks, coloring regions of linear union complexity with respect to points and coloring disks with respect to disks.
Blossoming bijection for higher-genus maps
Published
• View Publication
• BIB
In 1997, Schaeffer described a bijection between Eulerian planar maps and some trees. In this work we generalize his work to a bijection between bicolorable maps on a surface of any fixed genus and some unicellular maps with the same genus. An important step of this construction is to exhibit a canonical orientation for maps, that allows to apply the same local opening algorithm as Schaeffer.
As an important byproduct, we obtain the first bijective proof of a result of Bender and Canfield from 1991, when they proved that the generating series of maps in higher genus is a rational function of the generating series of planar maps.
Fighting fish and two-stack sortable permutations
Published in Séminaire Lotharingien de Combinatoire, 80B.7, 2018
• Search Publication
In 2017, Duchi, Guerrini, Rinaldi and Schaeffer proposed a new family of combinatorial objects called "fighting fish", which are counted by the same formula as more classical objects, such as two-stack sortable permutations and non-separable planar maps. In this article, we explore the bijective aspect of fighting fish by establishing a bijection to two-stack sortable permutations, using a new recursive decomposition of these permutations. With our bijection, we give combinatorial explanations of several results on fighting fish proved previously with generating functions. Using the decomposition of two-stack sortable permutations, we also prove the algebraicity of their generating function, extending a result of Bousquet-Mélou (1998).
A note on Tamari intervals
To every partial order P, one associates a polynomial $\mathbb{D}_P$ in 4 variables that enumerates the intervals of P according to 4 parameters. Some symmetry properties of this polynomial are obtained for a specific family of posets, the Tamari lattices. A ternary symmetry is proved for the polynomial in 3 variables obtained by setting one variable to 1. Another global symmetry is conjectured. The set of synchronized intervals is described using a facet of the Newton polytope. A relation to the statistics of the canopy of binary planar trees is described.
Lah numbers and Lindström's lemma
Published
• View Publication
• BIB
We provide a combinatorial interpretation of Lah numbers by means of planar networks. Henceforth, as a conesquence of Lindström's lemma, we conclude that the related Lah matrix possesses a remarkable property of total non-negativity.
A note on two conjectures that strengthen the four colour theorem
There are two conjectures concerning planar graph colourings that are strengthenings of the four colour theorem. One concerns signed graph colouring and is proposed by Máčajová, Raspaud and Škoviera. It asserts that every signed planar graph is $4$-colourable. Another concerns list colouring and is proposed by Kündgen and Ramamurthi which asserts that if $L$ is a $2$-list assignment of a planar graph $G$, then there is an $L$-colouring of $G$ such that each colour class induces a bipartite graph. In this note we prove that the first conjecture implies the second one.