planar
3209 papers tagged with this keyword
4-regular planar unit triangle graphs without additional triangles
Published in Geombinatorics Quarterly Vol. XXIX, Nr. 2 (2019), Pages 72-77
• Search Publication
In this article we proof the existence of 4-regular planar unit-distance graphs consisting only of unit triangles without additional triangles. It is shown that the smallest number of unit triangles is $\leq$6422.
Planar digraphs for automatic complexity
We show that the digraph of a nondeterministic finite automaton witnessing the automatic complexity of a word can always be taken to be planar. In the case of total transition functions studied by Shallit and Wang, planarity can fail.
Let $s_q(n)$ be the number of binary words $x$ of length $n$ having nondeterministic automatic complexity $A_N(x)=q$. We show that $s_q$ is eventually constant for each $q$ and that the eventual constant value of $s_q$ is computable.
Local limits of uniform triangulations in high genus
Published
• View Publication
• BIB
We prove a conjecture of Benjamini and Curien stating that the local limits of uniform random triangulations whose genus is proportional to the number of faces are the Planar Stochastic Hyperbolic Triangulations (PSHT) defined in arXiv:1401.3297. The proof relies on a combinatorial argument and the Goulden--Jackson recurrence relation to obtain tightness, and probabilistic arguments showing the uniqueness of the limit. As a consequence, we obtain asymptotics up to subexponential factors on the number of triangulations when both the size and the genus go to infinity.
As a part of our proof, we also obtain the following result of independent interest: if a random triangulation of the plane $T$ is weakly Markovian in the sense that the probability to observe a finite triangulation $t$ around the root only depends on the perimeter and volume of $t$, then $T$ is a mixture of PSHT.
Highly-connected planar cubic graphs with few or many Hamilton cycles
In this paper we consider the number of Hamilton cycles in planar cubic graphs of high cyclic edge-connectivity, answering two questions raised by Chia and Thomassen ("On the number of longest and almost longest cycles in cubic graphs", Ars Combin., 104, 307--320, 2012) about extremal graphs in these families. In particular, we find families of cyclically $5$-edge connected planar cubic graphs with more Hamilton cycles than the generalized Petersen graphs $P(2n,2)$. The graphs themselves are fullerene graphs that correspond to certain carbon molecules known as nanotubes --- more precisely, the family consists of the zigzag nanotubes of (fixed) width $5$ and increasing length. In order to count the Hamilton cycles in the nanotubes, we develop methods inspired by the transfer matrices of statistical physics. We outline how these methods can be adapted to count the Hamilton cycles in nanotubes of greater (but still fixed) width, with the caveat that the resulting expressions involve matrix powers. We also consider cyclically $4$-edge-connected cubic planar graphs with few Hamilton cycles, and exhibit an infinite family of such graphs each with exactly $4$ Hamilton cycles. Finally we consider the "other extreme" for these two classes of graphs, thus investigating cyclically $4$-edge connected cubic planar graphs with many Hamilton cycles and the cyclically $5$-edge connected cubic planar graphs with few Hamilton cycles. In each of these cases, we present partial results, examples and conjectures regarding the graphs with few or many Hamilton cycles.
The thickness of the Kronecker product of graphs
The thickness of a graph $G$ is the minimum number of planar subgraphs whose union is $G$. In this paper, we present sharp lower and upper bounds for the thickness of the Kronecker product $G\times H$ of two graphs $G$ and $H$. We also give the exact thickness numbers for the Kronecker product graphs $K_n\times K_2$, $K_{m,n}\times K_2$ and $K_{n,n,n}\times K_2$.
Loop-erased walks and random matrices
Published in J Stat Phys 177, 528--567 (2019)
• View Publication
• BIB
It is well known that there are close connections between non-intersecting processes in one dimension and random matrices, based on the reflection principle. There is a generalisation of the reflection principle for more general (e.g. planar) processes, due to S. Fomin, in which the non-intersection condition is replaced by a condition involving loop-erased paths. In the context of independent Brownian motions in suitable planar domains, this also has close connections to random matrices. An example of this was first observed by Sato and Katori (Phys. Rev. E, 83, 2011). We present further examples which give rise to various Cauchy-type ensembles. We also extend Fomin's identity to the affine setting and show that in this case, by considering independent Brownian motions in an annulus, one obtains a novel interpretation of the circular orthogonal ensemble.
Spectra of biperiodic planar networks
A biperiodic planar network is a pair $(G,c)$ where $G$ is a graph embedded on the torus and $c$ is a function from the edges of $G$ to non-zero complex numbers. Associated to the discrete Laplacian on a biperiodic planar network is its spectrum: a triple $(C,S,ν)$, where $C$ is a curve and $S$ is a divisor on it. We give a complete classification of networks (modulo a natural equivalence) in terms of their spectral data. The space of networks has a large group of cluster automorphisms arising from the $Y-Δ$ transformations. We show that the spectrum provides action-angle coordinates for the discrete cluster integrable systems defined by these automorphisms.
Queue Layouts of Graphs with Bounded Degree and Bounded Genus
Motivated by the question of whether planar graphs have bounded queue-number, we prove that planar graphs with maximum degree $Δ$ have queue-number $O(Δ^{2})$, which improves upon the best previous bound of $O(Δ^6)$. More generally, we prove that graphs with bounded degree and bounded Euler genus have bounded queue-number. In particular graphs with Euler genus $g$ and maximum degree $Δ$ have queue-number $O(g+Δ^{2})$. As a byproduct we prove that if planar graphs have bounded queue-number, then graphs of Euler genus $g$ have queue-number $O(g)$.
A survey of graphs with known or bounded crossing numbers
We present, to the best of the authors' knowledge, all known results for the (planar) crossing numbers of specific graphs and graph families. The results are separated into various categories; specifically, results for general graph families, results for graphs arising from various graph products, and results for recursive graph constructions.
Upper bounds on the sizes of variable strength covering arrays using the Lovász local lemma
Covering arrays are generalizations of orthogonal arrays that have been widely studied and are used in software testing. The probabilistic method has been employed to derive upper bounds on the sizes of minimum covering arrays and give asymptotic upper bounds that are logarithmic on the number of columns of the array. This corresponds to test suites with a desired level of coverage of the parameter space where we guarantee the number of test cases is logarithmic on the number of parameters of the system. In this paper, we study variable strength covering arrays, a generalization of covering arrays that uses a hypergraph to specify the sets of columns where coverage is required; (standard) covering arrays is the special case where coverage is required for all sets of columns of a fixed size $t$, its strength. We use the probabilistic method to obtain upper bounds on the number of rows of a variable strength covering array, given in terms of parameters of the hypergraph. We then compare this upper bound with another one given by a density-based greedy algorithm on different types of hypergraph such as $t$-designs, cyclic consecutive hypergraphs, planar triangulation hypergraphs, and a more specific hypergraph given by a clique of higher strength on top of a "base strength". The conclusions are dependent on the class of hypergraph, and we discuss specific characteristics of the hypergraphs which are more amenable to using different versions of the Lovász local lemma.
Tree-decorated planar maps
Published
• View Publication
• BIB
We introduce the set of (non-spanning) tree-decorated planar maps, and show that they are in bijection with the Cartesian product between the set of trees and the set of maps with a simple boundary. As a consequence, we count the number of tree decorated triangulations and quadrangulations with a given amount of faces and for a given size of the tree. Finally, we generalise the bijection to study other types of decorated planar maps and obtain explicit counting formulas for them.
Planar order on vertex poset
A planar order is a special linear extension of the edge poset (partially ordered set) of a processive plane graph. The definition of a planar order makes sense for any finite poset and is equivalent to the one of a conjugate order. Here it was proved that there is a planar order on the vertex poset of a processive planar graph naturally induced from the planar order of its edge poset.
A lower bound on the tree-width of graphs with irrelevant vertices
Published
• View Publication
• BIB
For their famous algorithm for the disjoint paths problem, Robertson and Seymour proved that there is a function $f$ such that if the tree-width of a graph $G$ with $k$ pairs of terminals is at least $f(k)$, then $G$ contains a solution-irrelevant vertex (Graph Minors. XXII., JCTB 2012). We give a single-exponential lower bound on $f$. This bound even holds for planar graphs.
Baker game and polynomial-time approximation schemes
Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic when restricted to a proper minor-closed class of graphs. We define a Baker game formalizing the notion of repeated application of Baker's technique interspersed with vertex removal, prove that monotone optimization problems expressible in the first-order logic admit PTAS when restricted to graph classes in which the Baker game can be won in a constant number of rounds, and prove without use of the minor structure theorem that all proper minor-closed classes of graphs have this property.
The planar Cayley graphs are effectively enumerable II
We show that a group admits a planar, finitely generated Cayley graph if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a consequence, we obtain an effective enumeration of the planar Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al. asking whether the planar groups can be effectively enumerated.
Planar maps, random walks and circle packing
These are lecture notes of the 48th Saint-Flour summer school, July 2018, on the topic of planar maps, random walks and the circle packing theorem.
The 2-Factor Polynomial Detects Even Perfect Matchings
Published in Electronic Journal of Combinatorics, 27 (2020), no. 2, Paper No. 2.27, 16pp
• View Publication
• BIB
In this paper, we prove that the 2-factor polynomial, an invariant of a planar trivalent graph with a perfect matching, counts the number of 2- factors that contain the the perfect matching as a subgraph. Consequently, we show that the polynomial detects even perfect matchings.
Circular Flows in Planar Graphs
Published in SIAM J. Discrete Math. Vol. 34(1), 2020, pp. 497-519
• View Publication
• BIB
For integers $a\ge 2b>0$, a \emph{circular $a/b$-flow} is a flow that takes values from $\{\pm b, \pm(b+1), \dots, \pm(a-b)\}$. The Planar Circular Flow Conjecture states that every $2k$-edge-connected planar graph admits a circular $(2+\frac{2}{k})$-flow. The cases $k=1$ and $k=2$ are equivalent to the Four Color Theorem and Grötzsch's 3-Color Theorem. For $k\ge 3$, the conjecture remains open. Here we make progress when $k=4$ and $k=6$. We prove that (i) {\em every 10-edge-connected planar graph admits a circular 5/2-flow} and (ii) {\em every 16-edge-connected planar graph admits a circular 7/3-flow.} The dual version of statement (i) on circular coloring was previously proved by Dvořák and Postle (Combinatorica 2017), but our proof has the advantages of being much shorter and avoiding the use of computers for case-checking. Further, it has new implications for antisymmetric flows. Statement (ii) is especially interesting because the counterexamples to Jaeger's original Circular Flow Conjecture are 12-edge-connected nonplanar graphs that admit no circular 7/3-flow. Thus, the planarity hypothesis of (ii) is essential.
Planar graphs without pairwise adjacent 3-,4-,5-, and 6-cycle are 4-choosable
Xu and Wu proved that if every 5-cycle of a planar graph G is not simultaneously adjacent to 3-cycles and 4-cycles, then G is 4-choosable. In this paper, we improve this result as follows. If G is a planar graph without pairwise adjacent 3-,4-,5-, and 6-cycle, then G is 4-choosable.
Sum-Product Phenomena for Planar Hypercomplex Numbers
We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We identify parameters that control the behavior of these problems, and derive sum-product bounds that depend on these parameters. For the dual numbers we expose a range where the minimum value of $\max\{|A+A|,|AA|\}$ is neither close to $|A|$ nor to $|A|^2$.
To obtain our main sum-product bound, we extend Elekes' sum-product technique that relies on point-line incidences. Our extension is significantly more involved than the original proof, and in some sense runs the original technique a few times in a bootstrapping manner. We also study point-line incidences in the dual plane and in the double plane, developing analogs of the Szemeredi-Trotter theorem. As in the case of the sum-product problem, it turns out that the dual and double variants behave differently than the complex and real ones.