planar
3209 papers tagged with this keyword
Mixing Times of Markov Chains on Degree Constrained Orientations of Planar Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (February 3, 2017) dmtcs:1376
• View Publication
• BIB
We study Markov chains for $α$-orientations of plane graphs, these are orientations where the outdegree of each vertex is prescribed by the value of a given function $α$. The set of $α$-orientations of a plane graph has a natural distributive lattice structure. The moves of the up-down Markov chain on this distributive lattice corresponds to reversals of directed facial cycles in the $α$-orientation. We have a positive and several negative results regarding the mixing time of such Markov chains.
A 2-orientation of a plane quadrangulation is an orientation where every inner vertex has outdegree 2. We show that there is a class of plane quadrangulations such that the up-down Markov chain on the 2-orientations of these quadrangulations is slowly mixing. On the other hand the chain is rapidly mixing on 2-orientations of quadrangulations with maximum degree at most 4.
Regarding examples for slow mixing we also revisit the case of 3-orientations of triangulations which has been studied before by Miracle et al.. Our examples for slow mixing are simpler and have a smaller maximum degree, Finally we present the first example of a function $α$ and a class of plane triangulations of constant maximum degree such that the up-down Markov chain on the $α$-orientations of these graphs is slowly mixing.
Spanning Trees and Mahler Measure
The complexity of a finite connected graph is its number of spanning trees; for a non-connected graph it is the product of complexities of its connected components. If $G$ is an infinite graph with cofinite free ${\mathbb Z}^d$-symmetry, then the logarithmic Mahler measure $m(Δ)$ of its Laplacian polynomial $Δ$ is the exponential growth rate of the complexity of finite quotients of $G$. It is bounded below by $m(Δ({\mathbb G}_d))$, where ${\mathbb G}_d$ is the grid graph of dimension $d$. The growth rates $m(Δ({\mathbb G}_d))$ are asymptotic to $\log 2d$ as $d$ tends to infinity. If $m(Δ(G))\ne 0$, then $m(Δ(G)) \ge \log 2$. An application to determinant growth rates of families of alternating links arising from planar graphs is given.
Geometry of infinite planar maps with high degrees
Published in Electron. J. Probab. 22 (2017), no. 35
• View Publication
• BIB
We study the geometry of infinite random Boltzmann planar maps with vertices of high degree. These correspond to the duals of the Boltzmann maps associated to a critical weight sequence $(q_{k})_{ k \geq 0}$ for the faces with polynomial decay $k^{-a}$ with $a \in ( 3/2, 5/2)$ which have been studied by Le Gall & Miermont as well as by Borot, Bouttier & Guitter. We show the existence of a phase transition for the geometry of these maps at $a = 2$. In the dilute phase corresponding to $a \in (2, 5/2)$ we prove that the volume of the ball of radius $r$ (for the graph distance) is of order $r^{\mathsf{d}}$ with $\mathsf{d}= (a-1/2)/(a-2)$, and we provide distributional scaling limits for the volume and perimeter process. In the dense phase corresponding to $a \in (3/2,2)$ the volume of the ball of radius $r$ is exponential in $r$. We also study the first-passage percolation (FPP) distance with exponential edge weights and show in particular that in the dense phase the FPP distance between the origin and infinity is finite. The latter implies in addition that the random lattices in the dense phase are transient. The proofs rely on the recent peeling process introduced in arXiv:1506.01590 and use ideas of arXiv:1412.5509 in the dilute phase.
Domino Tilings of the Torus
Published
• View Publication
• BIB
We consider the problem of counting and classifying domino tilings of a quadriculated torus. The counting problem for rectangles was studied by Kasteleyn and we use many of his ideas. Domino tilings of planar regions can be represented by height functions; for a torus given by a lattice L, these functions exhibit arithmetic L-quasiperiodicity. The additive constants determine the flux of the tiling, which can be interpreted as a vector in the dual lattice (2L)*. We give a characterization of the actual flux values, and of how corresponding tilings behave. We also consider domino tilings of the infinite square lattice; tilings of tori can be seen as a particular case of those. We describe the construction and usage of Kasteleyn matrices in the counting problem, and how they can be applied to count tilings with prescribed flux values. Finally, we study the limit distribution of the number of tilings with a given flux value as a uniform scaling dilates the lattice L.
Thrackles containing a standard musquash
A thrackle is a drawing of a graph in which each pair of edges meets precisely once. Conway's Thrackle Conjecture asserts that a planar thrackle drawing of a graph cannot have more edges than vertices, which is equivalent to saying that no connected component of the graph contains more than one cycle. We prove that a thrackle drawing containing a standard musquash (standard $n$-gonal thrackle) cannot contain any other cycle of length three or five.
Properties of the Dot Product Graph of a Commutative Ring
Let $R$ be a commutative ring with identity and $n\geq1$ be an integer. Let $R^{n}=R\times\cdots\times R~(n~times)$. The \textit{total dot product} graph, denoted by $TD(R,n)$ is a simple graph with elements of $R^{n}-\{(0,0,\ldots,0)\}$ as vertices, and two distinct vertices $\mathbf{x}$ and $\mathbf{y}$ are adjacent if and only if $\mathbf{x} \cdot \mathbf{y}=0\in R$, where $\mathbf{x} \cdot \mathbf{y}$ denotes the dot product of $\mathbf{x}$ and $\mathbf{y}$. In this paper, we find the structure of $TD(R\times S,n)$ with respect to the structure of $TD(R,n)$ and $TD(S,n)$. In addition, we find the degree of vertices of this graph. We determine when it is regular. Let $\mathbb{F}$ be a finite field. It is shown that if $TD(\mathbb{F},n)\simeq TD(R,m)$, then $n=m$ and $R\simeq\mathbb{F}$. A number of results concerning the domination number are also presented. Furthermore, we give some results on the clique and the independence number of $TD(R,n)$. It is shown that the ring $R$ is finite if and only if its independence number is finite. Finally, we classify all planar graphs within this class.
Normal Subgroup Based Power Graph of a finite Group
Published
• View Publication
• BIB
For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $Γ_H(G)$ whose vertex set $V(Γ_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if $aH=b^mH$ or $bH=a^nH$ for some $m, n \in \mathbb{N}$. In this paper we obtain some fundamental characterizations of the normal subgroup based power graph. We show some relation between the graph $Γ_H(G)$ and the power graph $Γ(\frac{G}{H})$. We show that $Γ_H(G)$ is complete if and only of $\frac{G}{H}$ is cyclic group of order $1$ or $p^m$, where $p$ is prime number and $m\in \mathbb{N}$. $Γ_H(G)$ is planar if and only if $|H|=2$ or $3$ and $\frac{G}{H}\cong \mathbb{Z}_2\times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$. Also $Γ_H(G)$ is Eulerian if and only if $|G|\equiv |H|$ mod$ 2$.
Partitioning a triangle-free planar graph into a forest and a forest of bounded degree
Published
• View Publication
• BIB
An $({\cal F},{\cal F}_d)$-partition of a graph is a vertex-partition into two sets $F$ and $F_d$ such that the graph induced by $F$ is a forest and the one induced by $F_d$ is a forest with maximum degree at most $d$. We prove that every triangle-free planar graph admits an $({\cal F},{\cal F}_5)$-partition. Moreover we show that if for some integer $d$ there exists a triangle-free planar graph that does not admit an $({\cal F},{\cal F}_d)$-partition, then it is an NP-complete problem to decide whether a triangle-free planar graph admits such a partition.
Layering $\partial$-Graphs and Networks
We consider the inverse problem for countable, locally finite electrical networks with edge weights in an arbitrary field. The electrical inverse problem seeks to determine the weights of the edges knowing only the potential and current data of harmonic functions on a set of boundary nodes. Motivated by the results of Curtis-Ingerman-Morrow and de-Verdiere-Gitler-Vertigan and others, we formalize the idea of using layer-stripping and harmonic continuation to solve the inverse problem. Our strategy is to iteratively recover "vulnerable" edges near the boundary, then remove them by deletion or contraction. To recover the vulnerable edge, we set up a clever boundary value problem and solve it using discrete harmonic continuation.
We define "scaffolds," a set of oriented edges that models the flow of information in harmonic continuation. We formulate a sufficient geometric condition ("recoverability by scaffolds") for the inverse problem to be solvable using the layer-stripping strategy. Recoverability by scaffolds is preserved under box products, harmonic subgraphs, covering graphs, and more generally under preimages by unramified harmonic morphisms. For critical circular planar graphs, we prove recoverability by scaffolds using the medial graph.
We also connect the harmonic continuation process to Baez-Fong's compositional framework for networks and Lam-Pylyavskyy's electrical linear group. We use this to generalize results of Curtis-Ingerman-Morrow and de-Verdiere-Gitler-Vertigan relating the size of connections through the graph and the rank of submatrices of the response matrix. We give a symplectic characterization of the boundary behavior for networks and the electrical linear group, valid for fields other than $\mathbb{F}_2$. Many of our results also generalize to the nonlinear networks such as those of Johnson.
Choosability with union separation
Published
• View Publication
• BIB
List coloring generalizes graph coloring by requiring the color of a vertex to be selected from a list of colors specific to that vertex. One refinement of list coloring, called choosability with separation, requires that the intersection of adjacent lists is sufficiently small. We introduce a new refinement, called choosability with union separation, where we require that the union of adjacent lists is sufficiently large. For $t \geq k$, a $(k,t)$-list assignment is a list assignment $L$ where $|L(v)| \geq k$ for all vertices $v$ and $|L(u)\cup L(v)| \geq t$ for all edges $uv$. A graph is $(k,t)$-choosable if there is a proper coloring for every $(k,t)$-list assignment. We explore this concept through examples of graphs that are not $(k,t)$-choosable, demonstrating sparsity conditions that imply a graph is $(k,t)$-choosable, and proving that all planar graphs are $(3,11)$-choosable and $(4,9)$-choosable.
Tutte relations, TQFT, and planarity of cubic graphs
Published
• View Publication
• BIB
It has been known since the work of Tutte that the value of the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ has a number of remarkable properties. We investigate to what extent Tutte's relations characterize planar graphs. A version of the Tutte linear relation for the flow polynomial at $(3-\sqrt{5})/2$ is shown to give a planarity criterion for $3$-connected cubic graphs. A conjecture is formulated that the golden identity for the flow polynomial characterizes planarity of cubic graphs as well. In addition, Tutte's upper bound on the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ is generalized to other Beraha numbers, and an exponential lower bound is given for the value at $(3-\sqrt{5})/2$. The proofs of these results rely on the structure of the Temperley-Lieb algebra and more generally on methods of topological quantum field theory.
Weak local rules for planar octagonal tilings
Published in Isr. J. Math. 222, No. 1, 63-89 (2017)
• View Publication
• BIB
We provide an effective characterization of the planar octagonal tilings which admit weak local rules. As a corollary, we show that they are all based on quadratic irrationalities, as conjectured by Thang Le in the 90s.
Constructing minimal blocking sets using field reduction
Published in J. Combin. Designs 24 (2015), 36-52
• View Publication
• BIB
We present a construction for minimal blocking sets with respect to $(k-1)$-spaces in $\mathrm{PG}(n-1,q^t)$, the $(n-1)$-dimensional projective space over the finite field $\mathbb{F}_{q^t}$ of order $q^t$. The construction relies on the use of blocking cones in the {\em field reduced} representation of $\mathrm{PG}(n-1,q^t)$, extending the well-known construction of linear blocking sets. This construction is inspired by the construction for minimal blocking sets with respect to the hyperplanes by Mazzocca, Polverino and Storme ({\em the MPS-construction}); we show that for a suitable choice of the blocking cone over a planar blocking set, we obtain larger blocking sets than the ones obtained from planar blocking sets in \cite{pol}.
Furthermore we show that every minimal blocking set with respect to the hyperplanes in $\mathrm{PG}PG(n-1,q^t)$ can be obtained by applying field reduction to a minimal blocking set with respect to $(nt-t-1)$-spaces in $\mathrm{PG}(nt-1,q)$. We end by relating these constructions to the linearity conjecture for small minimal blocking sets. We show that if a small minimal blocking set is constructed from the MPS-construction, it is of Rédei-type whereas a small minimal blocking set arises from our cone construction if and only if it is linear.
On the Planar Split Thickness of Graphs
Published in Algorithmica 80 (3): 977-994 (special issue for LATIN), 2018
• View Publication
• BIB
Motivated by applications in graph drawing and information visualization, we examine the planar split thickness of a graph, that is, the smallest $k$ such that the graph is $k$-splittable into a planar graph. A $k$-split operation substitutes a vertex $v$ by at most $k$ new vertices such that each neighbor of $v$ is connected to at least one of the new vertices.
We first examine the planar split thickness of complete graphs, complete bipartite graphs, multipartite graphs, bounded degree graphs, and genus-1 graphs. We then prove that it is NP-hard to recognize graphs that are $2$-splittable into a planar graph, and show that one can approximate the planar split thickness of a graph within a constant factor. If the treewidth is bounded, then we can even verify $k$-splittability in linear time, for a constant $k$.
Thickness and Outerthickness for Embedded Graphs
Published
• View Publication
• BIB
We consider the thickness $θ(G))$ and outerthickness $θ_o(G)$ of a graph G in terms of its orientable and nonorientable genus. Dean and Hutchinson provided upper bounds for thickness of graphs in terms of their orientable genus. More recently, Concalves proved that the outerthickness of any planar graph is at most 2. In this paper, we apply the method of deleting spanning disks of embeddings to approximate the thickness and outerthickness of graphs. We first obtain better upper bounds for thickness. We then use a similar approach to provide upper bounds for outerthickness of graphs in terms of their orientable and nonorientable genera. Finally we show that the outerthickness of the torus (the maximum outerthickness of all toroidal graphs) is 3. We also show that all graphs embeddable in the double torus have thickness at most 3 and outerthickness at most 5.
Extremal C4-free/C5-free planar graphs
Published
• View Publication
• BIB
We study the topic of "extremal" planar graphs, defining $\mathrm{ex_{_{\mathcal{P}}}}(n,H)$ to be the maximum number of edges possible in a planar graph on $n$ vertices that does not contain a given graph $H$ as a subgraph. In particular,we examine the case when $H$ is a small cycle,obtaining $\mathrm{ex_{_{\mathcal{P}}}}(n,C_{4}) \leq \frac{15}{7}(n-2)$ for all $n \geq 4$ and $\mathrm{ex_{_{\mathcal{P}}}}(n,C_{5}) \leq \frac{12n-33}{5}$ for all $n \geq 11$, and showing that both of these bounds are tight.
(4,2)-choosability of planar graphs with forbidden structures
Published in Graphs and Combinatorics 33 (2017) 751-787
• View Publication
• BIB
All planar graphs are 4-colorable and 5-choosable, while some planar graphs are not 4-choosable. Determining which properties guarantee that a planar graph can be colored using lists of size four has received significant attention. In terms of constraining the structure of the graph, for any $\ell \in \{3,4,5,6,7\}$, a planar graph is 4-choosable if it is $\ell$-cycle-free. In terms of constraining the list assignment, one refinement of $k$-choosability is choosability with separation. A graph is $(k,s)$-choosable if the graph is colorable from lists of size $k$ where adjacent vertices have at most $s$ common colors in their lists. Every planar graph is $(4,1)$-choosable, but there exist planar graphs that are not $(4,3)$-choosable. It is an open question whether planar graphs are always $(4,2)$-choosable. A chorded $\ell$-cycle is an $\ell$-cycle with one additional edge. We demonstrate for each $\ell \in \{5,6,7\}$ that a planar graph is $(4,2)$-choosable if it does not contain chorded $\ell$-cycles.
The Strong Arnold Property for 4-connected flat graphs
Published
• View Publication
• BIB
We show that if $G=(V,E)$ is a 4-connected flat graph, then any real symmetric $V\times V$ matrix $M$ with exactly one negative eigenvalue and satisfying, for any two distinct vertices $i$ and $j$, $M_{ij}<0$ if $i$ and $j$ are adjacent, and $M_{ij}=0$ if $i$ and $j$ are nonadjacent, has the Strong Arnold Property: there is no nonzero real symmetric $V\times V$ matrix $X$ with $MX=0$ and $X_{ij}=0$ whenever $i$ and $j$ are equal or adjacent. (A graph $G$ is {\em flat} if it can be embedded injectively in $3$-dimensional Euclidean space such that the image of any circuit is the boundary of some disk disjoint from the image of the remainder of the graph.)
This applies to the Colin de Verdière graph parameter, and extends similar results for 2-connected outerplanar graphs and 3-connected planar graphs.
Crossing Number is Hard for Kernelization
The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k [Grohe]. This suggests a closely related question of whether this problem has a polynomial kernel, meaning whether every instance of cr(G)<=k can be in polynomial time reduced to an equivalent instance of size polynomial in k (and independent of |G|). We answer this question in the negative. Along the proof we show that the tile crossing number problem of twisted planar tiles is NP-hard, which has been an open problem for some time, too, and then employ the complexity technique of cross-composition. Our result holds already for the special case of graphs obtained from planar graphs by adding one edge.
Box representations of embedded graphs
Published in Discrete and Computational Geometry 57(3) (2017), 590-606
• View Publication
• BIB
A $d$-box is the cartesian product of $d$ intervals of $\mathbb{R}$ and a $d$-box representation of a graph $G$ is a representation of $G$ as the intersection graph of a set of $d$-boxes in $\mathbb{R}^d$. It was proved by Thomassen in 1986 that every planar graph has a 3-box representation. In this paper we prove that every graph embedded in a fixed orientable surface, without short non-contractible cycles, has a 5-box representation. This directly implies that there is a function $f$, such that in every graph of genus $g$, a set of at most $f(g)$ vertices can be removed so that the resulting graph has a 5-box representation. We show that such a function $f$ can be made linear in $g$. Finally, we prove that for any proper minor-closed class $\mathcal{F}$, there is a constant $c(\mathcal{F})$ such that every graph of $\mathcal{F}$ without cycles of length less than $c(\mathcal{F})$ has a 3-box representation, which is best possible.