planar
3209 papers tagged with this keyword
A short proof of the Kac-Ward formula
Published
• View Publication
• BIB
We present a short proof of the Kac-Ward formula for the partition function of the Ising model on planar graphs.
Coloring the square of a sparse graph $G$ with almost $Δ(G)$ colors
Published
• View Publication
• BIB
For a graph $G$, let $G^2$ be the graph with the same vertex set as $G$ and $xy \in E(G^2)$ when $x \neq y$ and $d_G(x,y) \leq 2$. Bonamy, Lévêque, and Pinlou conjectured that if $mad (G) < 4 - \frac{2}{c+1}$ and $Δ(G)$ is large, then $χ_\ell(G^2) \leq Δ(G) + c$. We prove that if $c \geq 3$, $mad (G) < 4 - \frac{4}{c+1}$, and $Δ(G)$ is large, then $χ_\ell(G^2) \leq Δ(G) + c$. Dvořák, Krá\soft{l}, Nejedlý, and Škrekovski conjectured that $χ(G^2) \leq Δ(G) +2$ when $Δ(G)$ is large and $G$ is planar with girth at least $5$; our result implies $χ(G^2) \leq Δ(G) +6$.
Every planar graph with the Liouville property is amenable
Published
• View Publication
• BIB
We introduce a strengthening of the notion of transience for planar maps in order to relax the standard condition of bounded degree appearing in various results, in particular, the existence of Dirichlet harmonic functions proved by Benjamini and Schramm. As a corollary we obtain that every planar non-amenable graph admits Dirichlet harmonic functions.
Non-Planar On-Shell Diagrams
Published
• View Publication
• BIB
We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plucker coordinates beyond Plucker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plucker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.
Enhancing non-melonic triangulations: A tensor model mixing melonic and planar maps
Published in Nuclear Physics B Volume 895, June 2015, Pages 161-191
• View Publication
• BIB
Ordinary tensor models of rank $D\geq 3$ are dominated at large $N$ by tree-like graphs, known as melonic triangulations. We here show that non-melonic contributions can be enhanced consistently, leading to different types of large $N$ limits. We first study the most generic quartic model at $D=4$, with maximally enhanced non-melonic interactions. The existence of the $1/N$ expansion is proved and we further characterize the dominant triangulations. This combinatorial analysis is then used to define a non-quartic, non-melonic class of models for which the large $N$ free energy and the relevant expectations can be calculated explicitly. They are matched with random matrix models which contain multi-trace invariants in their potentials: they possess a branched polymer phase and a 2D quantum gravity phase, and a transition between them whose entropy exponent is positive. Finally, a non-perturbative analysis of the generic quartic model is performed, which proves analyticity in the coupling constants in cardioid domains.
Addendum: the case of closed surfaces. (Boundary Value Problems on Planar Graphs and Flat Surfaces with integer cone singularities, I: The Dirichlet Problem)
Published
• View Publication
• BIB
We extend our discrete uniformization theorems for planar, $m$-connected, Jordan domains [Journal für die reine und angewandte Mathematik 670 (2012), 65--92] to closed surfaces of non-positive genus.
Generalized Catalan Numbers and the Enumeration of Planar Embeddings
The Raney numbers $R_{p,r}(n)$ are a two-parameter generalization of the Catalan numbers that were introduced by Raney in his investigation of functional composition patterns \cite{Raney}. We give a new combinatorial interpretation for all Raney numbers in terms of planar embeddings of certain collections of trees, a construction that recovers the usual interpretation of the $p$-Catalan numbers in terms of $p$-ary trees via the specialization $R_{p,1}(n) =_{p} c_n$. Our technique leads to several combinatorial identities involving the Raney numbers and ordered partitions. We then give additional combinatorial interpretations of specific Raney numbers, including an identification of $R_{p^2,p}(n)$ with oriented trees whose vertices satisfy the "source or sink property". We close with comments applying these results to the enumeration of connected (non-elliptic) $A_2$ webs that lack an internal cycle.
Categories generated by a trivalent vertex
Published
• View Publication
• BIB
This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate pivotal tensor categories over $\mathbb C$ generated by a symmetric self-dual simple object $X$ and a rotationally invariant morphism $1 \rightarrow X \otimes X \otimes X$. Our main result is that the only trivalent categories with $\dim \operatorname{Hom}(1, X^{\otimes n})$ bounded by $1,0,1,1,4,11,40$ for $0 \leq n \leq 6$ are quantum $SO(3)$, quantum $G_2$, a one-parameter family of free products of certain Temperley-Lieb categories (which we call ABA categories), and the $H3$ Haagerup fusion category. We also prove similar results where the map $1 \rightarrow X^{\otimes 3}$ is not rotationally invariant, and we give a complete classification of nondegenerate braided trivalent categories with dimensions of invariant spaces bounded by $1,0,1,1,4$. Our main techniques are a new approach to finding skein relations which can be easily automated using Gröbner bases, and evaluation algorithms which use the discharging method developed in the proof of the $4$-color theorem.
Walk-powers and homomorphism bound of planar graphs
Published
• View Publication
• BIB
As an extension of the Four-Color Theorem it is conjectured that every planar graph of odd-girth at least $2k+1$ admits a homomorphism to $PC_{2k}=(\mathbb{Z}_2^{2k}, \{e_1, e_2, ...,e_{2k}, J\})$ where $e_i$'s are standard basis and $J$ is all 1 vector. Noting that $PC_{2k}$ itself is of odd-girth $2k+1$, in this work we show that if the conjecture is true, then $PC_{2k}$ is an optimal such a graph both with respect to number of vertices and number of edges. The result is obtained using the notion of walk-power of graphs and their clique numbers.
An analogous result is proved for bipartite signed planar graphs of unbalanced-girth $2k$. The work is presented on a uniform frame work of planar consistent signed graphs.
On minimal triangle-free planar graphs with prescribed 1-defective chromatic number
A graph is (m,k)-colourable if its vertices can be coloured with m colours such that the maximum degree of the subgraph induced on the set of all vertices receiving the same colour is at most k. The k-defective chromatic number $χ_k(G)$ is the least positive integer $m$ for which graph G is (m,k)-colourable. Let f(m,k;tfp) be the smallest order of a triangle-free planar graph such that $χ_k(G)$=m. In this paper we show that f(3,1;tfp)=11.
A Loop Reversibility and Subdiffusion of the Rotor-Router Walk
Published in J. Phys. A: Math. Theor. 48 (2015) 285203 (11pp)
• View Publication
• BIB
The rotor-router model on a graph describes a discrete-time walk accompanied by the deterministic evolution of configurations of rotors randomly placed on vertices of the graph. We prove the following property: if at some moment of time, the rotors form a closed clockwise contour on the planar graph, then the clockwise rotations of rotors generate a walk which enters into the contour at some vertex $v$, performs a number of steps inside the contour so that the contour formed by rotors becomes anti-clockwise, and then leaves the contour at the same vertex $v$. This property generalizes the previously proved theorem for the case when the rotor configuration inside the contour is a cycle-rooted spanning tree, and all rotors inside the contour perform a full rotation. We use the proven property for an analysis of the sub-diffusive behavior of the rotor-router walk.
Finite Dismantlable Semidistributive Lattices are Planar
In this article, we prove that finite semidistributive lattices are dismantlable if and only if they are planar. This extends a well-known result by Kelly and Rival that states the same property for finite distributive lattices. Moreover, we show how the breadth of finite semidistributive lattices can be computed with the help of canonical join representations. We use this result to conclude that the breadth of a finite semidistributive dismantlable lattice cannot exceed $2$.
The Complexity of the Partial Order Dimension Problem - Closing the Gap
Published
• View Publication
• BIB
The dimension of a partial order $P$ is the minimum number of linear orders whose intersection is $P$. There are efficient algorithms to test if a partial order has dimension at most $2$. In 1982 Yannakakis showed that for $k\geq 3$ to test if a partial order has dimension $\leq k$ is NP-complete. The height of a partial order $P$ is the maximum size of a chain in $P$. Yannakakis also showed that for $k\geq 4$ to test if a partial order of height $2$ has dimension $\leq k$ is NP-complete. The complexity of deciding whether an order of height $2$ has dimension $3$ was left open. This question became one of the best known open problems in dimension theory for partial orders. We show that the problem is NP-complete.
Technically we show that the decision problem (3DH2) for dimension is equivalent to deciding for the existence of bipartite triangle containment representations (BTCon). This problem then allows a reduction from a class of planar satisfiability problems (P-3-CON-3-SAT(4)) which is known to be NP-hard.
Face-degree bounds for planar critical graphs
Published in The Electronic Journal of Combinatorics 23(3) (2016), #p3.21
• View Publication
• BIB
The only remaining case of a well known conjecture of Vizing states that there is no planar graph with maximum degree 6 and edge chromatic number 7. We introduce parameters for planar graphs, based on the degrees of the faces, and study the question whether there are upper bounds for these parameters for planar edge-chromatic critical graphs. Our results provide upper bounds on these parameters for smallest counterexamples to Vizing's conjecture, thus providing a partial characterization of such graphs, if they exist.
For $k \leq 5$ the results give insights into the structure of planar edge-chromatic critical graphs.
On an extremal problem in the class of 1-planar graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is called 1-planar if it admits a drawing in the plane such that each edge is crossed at most once. In this paper, we study bipartite $1$-planar graphs with prescribed numbers of vertices in partite sets. Bipartite 1-planar graphs are known to have at most $3n-8$ edges, where $n$ denotes the order of a graph. We show that maximal-size bipartite $1$-planar graphs which are almost balanced have not significantly fewer edges than indicated by this upper bound, while the same is not true for unbalanced ones. We prove that maximal possible sizes of bipartite $1$-planar graphs whose one partite set is much smaller than the other one tends towards $2n$ rather than $3n$. In particular, we prove that if the size of the smaller partite set is sublinear in $n$, then $|E|=(2+o(1))n$, while the same is not true otherwise.
Odd graph and its applications to the strong edge coloring
Published in Applied Mathematics and Computation, 325 (2018), 246--251
• View Publication
• BIB
A strong edge coloring of a graph is a proper edge coloring in which every color class is an induced matching. The strong chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors in a strong edge coloring of $G$. Let $Δ\geq 4$ be an integer. In this note, we study the odd graphs and show the existence of some special walks. By using these results and Chang's ideas in [Discuss. Math. Graph Theory 34 (4) (2014) 723--733], we show that every planar graph with maximum degree at most $Δ$ and girth at least $10 Δ- 4$ has a strong edge coloring with $2Δ- 1$ colors. In addition, we prove that if $G$ is a graph with girth at least $2Δ- 1$ and mad$(G) < 2 + \frac{1}{3Δ- 2}$, where $Δ$ is the maximum degree and $Δ\geq 4$, then $χ_s'(G) \leq 2Δ- 1$, if $G$ is a subcubic graph with girth at least $8$ and mad$(G) < 2 + \frac{2}{23}$, then $χ_s'(G) \leq 5$.
Graph colouring and the total Betti number
The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.
Incidence coloring of graphs with high maximum average degree
Published
• View Publication
• BIB
An incidence of an undirected graph G is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge of $G$ incident with $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent if one of the following holds: (i) $v = w$, (ii) $e = f$ or (iii) $vw = e$ or $f$. An incidence coloring of $G$ assigns a color to each incidence of $G$ in such a way that adjacent incidences get distinct colors. In 2005, Hosseini Dolama \emph{et al.}~\citep{ds05} proved that every graph with maximum average degree strictly less than $3$ can be incidence colored with $Δ+3$ colors. Recently, Bonamy \emph{et al.}~\citep{Bonamy} proved that every graph with maximum degree at least $4$ and with maximum average degree strictly less than $\frac{7}{3}$ admits an incidence $(Δ+1)$-coloring. In this paper we give bounds for the number of colors needed to color graphs having maximum average degrees bounded by different values between $4$ and $6$. In particular we prove that every graph with maximum degree at least $7$ and with maximum average degree less than $4$ admits an incidence $(Δ+3)$-coloring. This result implies that every triangle-free planar graph with maximum degree at least $7$ is incidence $(Δ+3)$-colorable. We also prove that every graph with maximum average degree less than 6 admits an incidence $(Δ+ 7)$-coloring. More generally, we prove that $Δ+k-1$ colors are enough when the maximum average degree is less than $k$ and the maximum degree is sufficiently large.
The chromatic number of a signed graph
In 1982, Zaslavsky introduced the concept of a proper vertex colouring of a signed graph $G$ as a mapping $φ\colon V(G)\to \mathbb{Z}$ such that for any two adjacent vertices $u$ and $v$ the colour $φ(u)$ is different from the colour $σ(uv)φ(v)$, where is $σ(uv)$ is the sign of the edge $uv$. The substantial part of Zaslavsky's research concentrated on polynomial invariants related to signed graph colourings rather than on the behaviour of colourings of individual signed graphs. We continue the study of signed graph colourings by proposing the definition of a chromatic number for signed graphs which provides a natural extension of the chromatic number of an unsigned graph. We establish the basic properties of this invariant, provide bounds in terms of the chromatic number of the underlying unsigned graph, investigate the chromatic number of signed planar graphs, and prove an extension of the celebrated Brooks theorem to signed graphs.
The Parameterized Complexity of Graph Cyclability
Published
• View Publication
• BIB
The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least $k,$ is {\sf NP}-hard. We study the parametrized complexity of this problem. We prove that this problem, parameterized by $k,$ is ${\sf co\mbox{-}W[1]}$-hard and that its does not admit a polynomial kernel on planar graphs, unless ${\sf NP}\subseteq{\sf co}\mbox{-}{\sf NP}/{\sf poly}$. On the positive side, we give an {\sf FPT} algorithm for planar graphs that runs in time $2^{2^{O(k^2\log k)}}\cdot n^2$. Our algorithm is based on a series of graph-theoretical results on cyclic linkages in planar graphs.