planar
3156 papers tagged with this keyword
Triangle areas in line arrangements
A widely investigated subject in combinatorial geometry, originated from Erdős, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles of unit area, maximum area or minimum area, determined by these lines. Determine the minimum size of a subset of these $n$ lines so that all triples determine distinct area triangles.
We prove that the order of magnitude for the maximum occurrence of unit areas lies between $Ω(n^2)$ and $O(n^{9/4})$. This result is strongly connected to both additive combinatorial results and Szemerédi--Trotter type incidence theorems. Next we show a tight bound for the maximum number of minimum area triangles. Finally we present lower and upper bounds for the maximum area and distinct area problems by combining algebraic, geometric and combinatorial techniques.
Reconfiguring 10-colourings of planar graphs
Let $k \geq 1$ be an integer. The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph~$G$ has as vertex set the set of all possible $k$-colourings of $G$ and two colourings are adjacent if they differ on exactly one vertex. A conjecture of Cereceda from 2007 asserts that for every integer $\ell \geq k + 2$ and $k$-degenerate graph $G$ on $n$ vertices, $R_{\ell}(G)$ has diameter $O(n^2)$. The conjecture has been verified only when $\ell \geq 2k + 1$. We give a simple proof that if $G$ is a planar graph on $n$ vertices, then $R_{10}(G)$ has diameter at most $n^2$. Since planar graphs are $5$-degenerate, this affirms Cereceda's conjecture for planar graphs in the case $\ell = 2k$.
Flow-firing processes
We consider a discrete non-deterministic flow-firing process for rerouting flow on the edges of a planar complex. The process is an instance of higher-dimensional chip-firing. In the flow-firing process, flow on the edges of a complex is repeatedly diverted across the faces of the complex. For non-conservative initial configurations we show this process never terminates. For conservative initial flows we show the process terminates after a finite number of rerouting steps, but there are many possible final configurations reachable from a single initial state. Finally, for conservative initial flows around a topological hole we show the process terminates at a unique final configuration. In this case the process exhibits global confluence despite not satisfying local confluence.
Flip cycles in plabic graphs
Published in Sel. Math. New Ser. 26, 15 (2020)
• Search Publication
Planar bicolored (plabic) graphs are combinatorial objects introduced by Postnikov to give parameterizations of the positroid cells of the totally nonnegative Grassmannian $\text{Gr}^{\geq 0}(n,k)$. Any two plabic graphs for the same positroid cell can be related by a sequence of certain moves. The flip graph has plabic graphs as vertices and has edges connecting the plabic graphs which are related by a single move. A recent result of Galashin shows that plabic graphs can be seen as cross-sections of zonotopal tilings for the cyclic zonotope $Z(n,3)$. Taking this perspective, we show that the fundamental group of the flip graph is generated by cycles of length 4, 5, and 10, and use this result to prove a related conjecture of Dylan Thurston about triple crossing diagrams. We also apply our result to make progress on an instance of the generalized Baues problem.
Normal distributions of finite Markov chains
Published in Intern. J. of Algebra and Computation (2019) Vol. 29, No. 08, pp. 1431-1449
• View Publication
• BIB
We show that the stationary distribution of a finite Markov chain can be expressed as the sum of certain normal distributions. These normal distributions are associated to planar graphs consisting of a straight line with attached loops. The loops touch only at one vertex either of the straight line or of another attached loop. Our analysis is based on our previous work, which derives the stationary distribution of a finite Markov chain using semaphore codes on the Karnofsky--Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain.
Small 4-regular planar graphs that are not circle representable
A 4-regular planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the touching and crossing points correspond to the vertices of $G$, and the circular arcs between those points correspond to the edges of $G$. Lovász (1970) conjectured that every 4-regular planar graph has a circle representation, but an infinite family of counterexamples was given by Bekos and Raftopoulou (2015). We reduce the order of the smallest known counterexamples among simple graphs from 822 to 68 based on a multigraph counterexample of order 12.
Universality for random surfaces in unconstrained genus
Starting from an arbitrary sequence of polygons whose total perimeter is $2n$, we can build an (oriented) surface by pairing their sides in a uniform fashion. Chmutov and Pittel (arXiv:1503.01816) have shown that, regardless of the configuration of polygons we started with, the degree sequence of the graph obtained this way is remarkably constant in total variation distance and converges towards a Poisson--Dirichlet partition as $n \to \infty$. We actually show that several other geometric properties of the graph are universal. En route we provide an alternative proof of a weak version of the result of Chmutov and Pittel using probabilistic techniques and related to the circle of ideas around the peeling process of random planar maps. At this occasion we also fill a gap in the existing literature by surveying the properties of a uniform random map with $n$ edges. In particular we show that the diameter of a random map with $n$ edges converges in law towards a random variable taking only values in $\{2,3\}$.
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.