planar
3209 papers tagged with this keyword
List coloring the square of sparse graphs with large degree
Published
• View Publication
• BIB
We consider the problem of coloring the squares of graphs of bounded maximum average degree, that is, the problem of coloring the vertices while ensuring that two vertices that are adjacent or have a common neighbour receive different colors.
Borodin et al. proved in 2004 and 2008 that the squares of planar graphs of girth at least seven and sufficiently large maximum degree $Δ$ are list $(Δ+1)$-colorable, while the squares of some planar graphs of girth six and arbitrarily large maximum degree are not. By Euler's Formula, planar graphs of girth at least $6$ are of maximum average degree less than $3$, and planar graphs of girth at least $7$ are of maximum average degree less than $14/5<3$.
We strengthen their result and prove that there exists a function $f$ such that the square of any graph with maximum average degree $m<3$ and maximum degree $Δ\geq f(m)$ is list $(Δ+1)$-colorable. This bound of $3$ is optimal in the sense that the above-mentioned planar graphs with girth $6$ have maximum average degree less than $3$ and arbitrarily large maximum degree, while their square cannot be $(Δ+1)$-colored. The same holds for list injective $Δ$-coloring.
Aztec Castles and the dP3 Quiver
Published
• View Publication
• BIB
Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between the generators of the affine symmetric group $\tilde{A_2}$ and the mutations which generate $τ-$mutation sequences. Using this bijection, we obtain explicit formulae for the cluster that corresponds to a specific alcove in the lattice. With this lattice visualization in mind, we then express each cluster variable produced in a $τ$-mutation sequence as the sum of weighted perfect matchings of a new family of subgraphs of the dP3 brane tiling, which we call Aztec castles. Our main result generalizes previous work on a certain mutation sequence on the dP3 quiver in [Zha12], and forms part of the emerging story in combinatorics and theoretical high energy physics relating cluster variables to subgraphs of the associated brane tiling.
Rotor-routing and spanning trees on planar graphs
Published in International Mathematics Research Notices 2015 (2015) 11, 3225-3244
• View Publication
• BIB
The sandpile group Pic^0(G) of a finite graph G is a discrete analogue of the Jacobian of a Riemann surface which was rediscovered several times in the contexts of arithmetic geometry, self-organized criticality, random walks, and algorithms. Given a ribbon graph G, Holroyd et al. used the "rotor-routing" model to define a free and transitive action of Pic^0(G) on the set of spanning trees of G. However, their construction depends a priori on a choice of basepoint vertex. Ellenberg asked whether this action does in fact depend on the choice of basepoint. We answer this question by proving that the action of Pic^0(G) is independent of the basepoint if and only if G is a planar ribbon graph.
Superpatterns and Universal Point Sets
Published in J. Graph Algorithms & Applications 18(2): 177-209, 2014
• View Publication
• BIB
An old open problem in graph drawing asks for the size of a universal point set, a set of points that can be used as vertices for straight-line drawings of all n-vertex planar graphs. We connect this problem to the theory of permutation patterns, where another open problem concerns the size of superpatterns, permutations that contain all patterns of a given size. We generalize superpatterns to classes of permutations determined by forbidden patterns, and we construct superpatterns of size n^2/4 + Theta(n) for the 213-avoiding permutations, half the size of known superpatterns for unconstrained permutations. We use our superpatterns to construct universal point sets of size n^2/4 - Theta(n), smaller than the previous bound by a 9/16 factor. We prove that every proper subclass of the 213-avoiding permutations has superpatterns of size O(n log^O(1) n), which we use to prove that the planar graphs of bounded pathwidth have near-linear universal point sets.
Duality properties of strong isoperimetric inequalities on a planar graph and combinatorial curvatures
Published
• View Publication
• BIB
This paper is about hyperbolic properties on planar graphs. First, we study the relations among various kinds of strong isoperimetric inequalities on planar graphs and their duals. In particular, we show that a planar graph satisfies a strong isoperimetric inequality if and only if its dual has the same property, if the graph satisfies some minor regularity conditions and we choose an appropriate notion of strong isoperimetric inequalities. Second, we consider planar graphs where negative combinatorial curvatures dominate, and use the outcomes of the first part to strengthen the results of Higuchi, Żuk, and, especially, Woess. Finally, we study the relations between Gromov hyperbolicity and strong isoperimetric inequalities on planar graphs, and give a proof that a planar graph satisfying a proper kind of a strong isoperimetric inequality must be Gromov hyperbolic if face degrees of the graph are bounded. We also provide some examples to support our results.
Regularity of joint-meet ideals of distributive lattices
Published
• View Publication
• BIB
Let $L$ be a distributive lattice and $R(L)$ the associated Hibi ring. We compute $\reg R(L)$ when $L$ is a planar lattice and give a lower bound for $\reg R(L)$ when $L$ is non-planar, in terms of the combinatorial data of $L.$ As a consequence, we characterize the distributive lattices $L$ for which the associated Hibi ring has a linear resolution.
The Robinson-Schensted Correspondence and $A_2$-web Bases
Published
• View Publication
• BIB
We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. In the case of $[n,n]$, the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the images of these bases under classical maps: the {\em Robinson-Schensted algorithm} between permutations and Young tableaux and {\em Khovanov-Kuperberg's bijection} between Young tableaux and reduced webs.
One main result uses Vogan's generalized $τ$-invariant to uncover a close structural relationship between the web basis and the left cell basis. Intuitively, generalized $τ$-invariants refine the data of the inversion set of a permutation. We define generalized $τ$-invariants intrinsically for Kazhdan-Lusztig left cell basis elements and for webs. We then show that the generalized $τ$-invariant is preserved by these classical maps. Thus, our result allows one to interpret Khovanov-Kuperberg's bijection as an analogue of the Robinson-Schensted correspondence.
Despite all of this, our second main result proves that the reduced web and left cell bases are inequivalent; that is, these bijections are not $S_{3n}$-equivariant maps.
Uniform Random Planar Graphs with Degree Constraints
Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set {1,2,...,n}, are now known, and variations on this standard random graph are also attracting interest.
Prominent among the work on P_{n} have been asymptotic results for the probability that P_{n} will be connected or contain given components/subgraphs. Such progress has been achieved through a combination of counting arguments and a generating function approach.
More recently, attention has turned to P_{n,m}, the graph taken uniformly at random from the set of all planar graphs on {1,2,...,n} with exactly m(n) edges (this can be thought of as a uniform random planar graph with a constraint on the average degree). The case when m(n) = qn for fixed q in (1,3) has been investigated, and results obtained for the events that P_{n,qn} will be connected and that P_{n,qn} will contain given subgraphs.
In Part I of this thesis, we use elementary counting arguments to extend the current knowledge of P_{n,m}. We investigate the probability that P_{n,m} will contain given components, the probability that P_{n,m} will contain given subgraphs, and the probability that P_{n,m} will be connected, all for general m(n), and show that there is different behaviour depending on which `region' the ratio m(n)/n falls into. In Part II, we investigate the same three topics for a uniform random planar graph with constraints on the maximum and minimum degrees.
A Note on Co-Maximal Ideal Graph of Commutative Rings
Let $R$ be a commutative ring with unity. The co-maximal ideal graph of $R$, denoted by $Γ(R)$, is a graph whose vertices are the proper ideals of $R$ which are not contained in the Jacobson radical of $R$, and two vertices $I_1$ and $I_2$ are adjacent if and only if $I_1 + I_2 = R$. We classify all commutative rings whose co-maximal ideal graphs are planar. In 2012 the following question was posed: If $Γ(R)$ is an infinite star graph, can $R$ be isomorphic to the direct product of a field and a local ring? In this paper, we give an affirmative answer to this question.
Graphs cospectral with a friendship graph or its complement
Let $n$ be any positive integer and let $F_n$ be the friendship (or Dutch windmill) graph with $2n+1$ vertices and $3n$ edges. Here we study graphs with the same adjacency spectrum as the $F_n$. Two graphs are called cospectral if the eigenvalues multiset of their adjacency matrices are the same. Let $G$ be a graph cospectral with $F_n$. Here we prove that if $G$ has no cycle of length 4 or 5, then $G\cong F_n$. Moreover if $G$ is connected and planar then $G\cong F_n$. All but one of connected components of $G$ are isomorphic to $K_2$. The complement $\bar{F_n}$ of the friendship graph is determined by its adjacency eigenvalues, that is, if $\bar{F_n}$ is cospectral with a graph $H$, then $H\cong \bar{F_n}$.
A combinatorial non-commutative Hopf algebra of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol 16, No 1 (2014) 356-370
• View Publication
• BIB
A non-commutative, planar, Hopf algebra of rooted trees was proposed in L. Foissy, Bull. Sci. Math. 126 (2002) 193-239. In this paper we propose such a non-commutative Hopf algebra for graphs. In order to define a non-commutative product we use a quantum field theoretical (QFT) idea, namely the one of introducing discrete scales on each edge of the graph (which, within the QFT framework, corresponds to energy scales of the associated propagators).
Upper bound on the number of edges of an almost planar bipartite graph
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 737-746
• View Publication
• BIB
Let $G$ be a bipartite graph without loops and multiple edges on $v\ge 4$ vertices, which can be drawn on the plane such that any edge intersects at most one other edge. We prove that such graph has at most $3v-8$ edges for even $v\ne 6$ and at most $3v-9$ edges for odd $v$ and $v=6$. For all $v\ge 4$ examples showing that these bounds are tight are constructed.
In the end of paper we discuss a question about drawings of complete bipartite graphs on the plane such that any edge intersects at most one other edge.
{\sc Keywords:} topological graphs, planar graphs, bipartite graphs.
Combinatorial operads from monoids
Published in Journal of Algebraic Combinatorics, 41, Issue 2, 493--538, 2015
• View Publication
• BIB
We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operads obtained from usual monoids such as the additive and multiplicative monoids of integers and cyclic monoids. They involve various familiar combinatorial objects: endofunctions, parking functions, packed words, permutations, planar rooted trees, trees with a fixed arity, Schröder trees, Motzkin words, integer compositions, directed animals, and segmented integer compositions. We also recover some already known (symmetric or not) operads: the magmatic operad, the associative commutative operad, the diassociative operad, and the triassociative operad. We provide presentations by generators and relations of all constructed nonsymmetric operads.
The tridendriform structure of a Magnus expansion
Published in Discrete and Continuous Dynamical Systems - Series A (DCDS-A), 34, Number 3, (2014), 1021-1040
• View Publication
• BIB
The notion of trees plays an important role in Butcher's B-series. More recently, a refined understanding of algebraic and combinatorial structures underlying the Magnus expansion has emerged thanks to the use of rooted trees. We follow these ideas by further developing the observation that the logarithm of the solution of a lihear first-order finite-difference equation can be written in terms of the Magnus expansion taking place in a pre-Lie algebra. By using basic combinatorics on planar reduced trees we derive a closed formula for the Magnus expansion in the context of free tridendriform algebra. The tridendriform algebra structure on word quasi-symmetric functions permits us to derive a discrete analogue of the Mielnik-Plebanski-Strichartz formula for this logarithm.
On choosability with separation of planar graphs with lists of different sizes
Published
• View Publication
• BIB
A (k,d)-list assignment L of a graph G is a mapping that assigns to each vertex v a list L(v) of at least k colors and for any adjacent pair xy, the lists L(x) and L(y) share at most d colors. A graph G is (k,d)-choosable if there exists an L-coloring of G for every (k,d)-list assignment L. This concept is also known as choosability with separation.
It is known that planar graphs are (4,1)-choosable but it is not known if planar graphs are (3,1)-choosable. We strengthen the result that planar graphs are (4,1)-choosable by allowing an independent set of vertices to have lists of size 3 instead of 4.
Regular independent sets
Published
• View Publication
• BIB
The regular independence number, introduced by Albertson and Boutin in 1990, is the size of a largest set of independent vertices with the same degree. Lower bounds were proven for this invariant, in terms of the order, for trees and planar graphs. In this article, we generalize and extend these results to find lower bounds for the regular $k$-independence number for trees, forests, planar graphs, $k$-trees and $k$-degenerate graphs.
Spanning forests in regular planar maps
Published in J. Combin. Theory Ser. A 135 (2015) 1-59
• View Publication
• BIB
We address the enumeration of p-valent planar maps equipped with a spanning forest, with a weight z per face and a weight u per connected component of the forest. Equivalently, we count p-valent maps equipped with a spanning tree, with a weight z per face and a weight μ:=u+1 per internally active edge, in the sense of Tutte; or the (dual) p-angulations equipped with a recurrent sandpile configuration, with a weight z per vertex and a variable μ:=u+1 that keeps track of the level of the configuration. This enumeration problem also corresponds to the limit q -> 0 of the q-state Potts model on p-angulations. Our approach is purely combinatorial. The associated generating function, denoted F(z,u), is expressed in terms of a pair of series defined implicitly by a system involving doubly hypergeometric series. We derive from this system that F(z,u) is differentially algebraic in z, that is, satisfies a differential equation in z with polynomial coefficients in z and u. This has recently been proved to hold for the more general Potts model on 3-valent maps, but via a much more involved and less combinatorial proof. For u >= -1, we study the singularities of F(z,u) and the corresponding asymptotic behaviour of its n-th coefficient. For u>0, we find the standard asymptotic behaviour of planar maps, with a subexponential term in n^{-5/2}. At u=0 we witness a phase transition with a term n^{-3}. When u\in[-1,0), we obtain an extremely unusual behaviour in n^{-3}(\ln n)^{-2}. To our knowledge, this is a new "universality class" for planar maps.
The Newton polygon of a planar singular curve and its subdivision
Published in Journal of Combinatorial Theory, Series A, 137, 226 - 256, 2016
• View Publication
• BIB
Let a planar algebraic curve $C$ be defined over a valuation field by an equation $F(x,y)=0$. Valuations of the coefficients of $F$ define a subdivision of the Newton polygon $Δ$ of the curve $C$.
If a given point $p$ is of multiplicity $m$ for $C$, then the coefficients of $F$ are subject to certain linear constraints. These constraints can be visualized on the above subdivision of $Δ$. Namely, we find a distinguished collection of faces of the above subdivision, with total area at least $\frac{3}{8}m^2$. In a sense, the union of these faces in "the region of influence" of the singular point $p$ on the subdivision of $Δ$. Also, we discuss three different definitions of a tropical point of multiplicity $m$.
Symplectic spreads, planar functions and mutually unbiased bases
Published in Journal of Algebraic Combinatorics 41 (2015), 1055-1077
• View Publication
• BIB
In this paper we give explicit descriptions of complete sets of mutually unbiased bases (MUBs) and orthogonal decompositions of special Lie algebras $sl_n(\mathbb{C})$ obtained from commutative and symplectic semifields, and from some other non-semifield symplectic spreads. Relations between various constructions are also studied. We show that the automorphism group of a complete set of MUBs is isomorphic to the automorphism group of the corresponding orthogonal decomposition of the Lie algebra $sl_n(\mathbb{C})$. In the case of symplectic spreads this automorphism group is determined by the automorphism group of the spread. By using the new notion of pseudo-planar functions over fields of characteristic two we give new explicit constructions of complete sets of MUBs.
Layered Separators in Minor-Closed Graph Classes with Applications
Published in J. Combinatorial Theory Series B 127:111-147, 2017
• View Publication
• BIB
Graph separators are a ubiquitous tool in graph theory and computer science. However, in some applications, their usefulness is limited by the fact that the separator can be as large as $Ω(\sqrt{n})$ in graphs with $n$ vertices. This is the case for planar graphs, and more generally, for proper minor-closed classes. We study a special type of graph separator, called a "layered separator", which may have linear size in $n$, but has bounded size with respect to a different measure, called the "width". We prove, for example, that planar graphs and graphs of bounded Euler genus admit layered separators of bounded width. More generally, we characterise the minor-closed classes that admit layered separators of bounded width as those that exclude a fixed apex graph as a minor.
We use layered separators to prove $\mathcal{O}(\log n)$ bounds for a number of problems where $\mathcal{O}(\sqrt{n})$ was a long-standing previous best bound. This includes the nonrepetitive chromatic number and queue-number of graphs with bounded Euler genus. We extend these results with a $\mathcal{O}(\log n)$ bound on the nonrepetitive chromatic number of graphs excluding a fixed topological minor, and a $\log^{ \mathcal{O}(1)}n$ bound on the queue-number of graphs excluding a fixed minor. Only for planar graphs were $\log^{ \mathcal{O}(1)}n$ bounds previously known. Our results imply that every $n$-vertex graph excluding a fixed minor has a 3-dimensional grid drawing with $n\log^{ \mathcal{O}(1)}n$ volume, whereas the previous best bound was $\mathcal{O}(n^{3/2})$.