planar
3156 papers tagged with this keyword
On the gonality, treewidth, and orientable genus of a graph
We examine connections between the gonality, treewidth, and orientable genus of a graph. Especially, we find that hyperelliptic graphs in the sense of Baker and Norine are planar. We give a notion of a bielliptic graph and show that each of these must embed into a closed orientable surface of genus one. We also find, for all $g\ge 0$, trigonal graphs of treewidth 3 and orientable genus $g$, and give analogues for graphs of higher gonality.
Graph Invariants with Connections to the Feynman Period in $φ^4$ Theory
Feynman diagrams in $φ^4$ theory have as their underlying structure 4-regular graphs. In particular, any 4-point $φ^4$ graph can be uniquely derived from a 4-regular graph by deleting a vertex. The Feynman period is a simplified version of the Feynman integral, and is of special interest, as it maintains much of the important number theoretic information from the Feynman integral. It is also of structural interest, as it is known to be preserved by a number of graph theoretic operations. In particular, the vertex deleted in constructing the 4-point graph does not affect the Feynman period, and it is invariant under planar duality and the Schnetz twist, an operation that redirects edges incident to a 4-vertex cut. Further, a 4-regular graph may be produced by a 3-sum operation on triangles in two 4-regular graphs. The Feynman period of this graph with a vertex deleted is equal to the product of the Feynman periods of the two smaller graphs with one vertex deleted each. These operations currently explain all known instances of non-isomorphic 4-point $φ^4$ graphs with equal periods.
With this in mind, other graph invariants that are preserved by these operations for 4-point $φ^4$ graphs are of interest, as they may provide insight into the Feynman period. In this thesis the extended graph permanent is introduced; an infinite sequence of residues from prime order finite fields. It is shown that this sequence is preserved by these three operations, and has a product property. Additionally, computational techniques will be established, and an alternate interpretation will be presented as the point count of a novel graph polynomial.
Further, the previously existing $c_2$ invariant and Hepp bound are examined, two graph invariants that are conjectured to be preserved by these graph operations. A combinatorial approach to the $c_2$ invariant is introduced.
The Combinatorics of Directed Planar Trees
Published
• View Publication
• BIB
We give a geometric realization of the polyhedra governed by the structure of associative algebras with co-inner products, or more precisely, governed by directed planar trees. Our explicit realization of these polyhedra, which include the associahedra in a special case, shows in particular that these polyhedra are homeomorphic to balls. We also calculate the number of vertices of the lowest generalized associahedra, giving appropriate generalizations of the Catalan numbers.
Unwinding the Amplituhedron in Binary
Published
• View Publication
• BIB
We present new, fundamentally combinatorial and topological characterizations of the amplituhedron. Upon projecting external data through the amplituhedron, the resulting configuration of points has a specified (and maximal) generalized 'winding number'. Equivalently, the amplituhedron can be fully described in binary: canonical projections of the geometry down to one dimension have a specified (and maximal) number of 'sign flips' of the projected data. The locality and unitarity of scattering amplitudes are easily derived as elementary consequences of this binary code. Minimal winding defines a natural 'dual' of the amplituhedron. This picture gives us an avatar of the amplituhedron purely in the configuration space of points in vector space (momentum-twistor space in the physics), a new interpretation of the canonical amplituhedron form, and a direct bosonic understanding of the scattering super-amplitude in planar N = 4 SYM as a differential form on the space of physical kinematical data.
On the number of points in general position in the plane
Published in Discrete Analysis 2018:16, 20 pp
• View Publication
• BIB
In this paper we study some Erdos type problems in discrete geometry. Our main result is that we show that there is a planar point set of n points such that no four are collinear but no matter how we choose a subset of size $n^{5/6+o(1)} $ it contains a collinear triple. Another application studies epsilon-nets in a point-line system in the plane.
We prove the existence of some geometric constructions with a new tool, the so-called Hypergraph Container Method.
Bounds on metric dimension for families of planar graphs
The concept of metric dimension has applications in a variety of fields, such as chemistry, robotic navigation, and combinatorial optimization. We show bounds for graphs with $n$ vertices and metric dimension $β$. For Hamiltonian outerplanar graphs, we have $β\leq \left\lceil\frac{n}2\right\rceil$; for outerplanar graphs in general, we have $β\leq \left\lfloor\frac{2n}{3}\right\rfloor$; for maximal planar graphs, we have $β\leq \left\lfloor\frac{3n}{4}\right\rfloor$. We also show that bipyramids have a metric dimension of $\left\lfloor\frac{2n}{5}\right\rfloor + 1$. It is conjectured that the metric dimension of maximal planar graphs in general is on the order of $\left\lfloor\frac{2n}{5}\right\rfloor$.
New Properties of Numbers of Plane Graphs
We explore various techniques for counting the number of straight-edge crossing-free graphs that can be embedded on a planar point set. In particular, we derive a lower bound on the ratio of the number of such graphs with $m+1$ edges to the number of graphs with $m$ edges. We show how a relatively small improvement of this bound would improve existing bounds concerning numbers of plane graphs with a prescribed number of edges. Furthermore, we use a cross-graph charging scheme to derive lower bounds for the number of such graphs when the point set has few extreme points.
Ore's theorem on subfactor planar algebras
Published in Quantum Topol. 11 (2020), no. 3, 525-543
• View Publication
• BIB
This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.
Toughness and spanning trees in $K_4$-minor-free graphs
Published
• View Publication
• BIB
For an integer $k$, a $k$-tree is a tree with maximum degree at most $k$. More generally, if $f$ is an integer-valued function on vertices, an $f$-tree is a tree in which each vertex $v$ has degree at most $f(v)$. Let $c(G)$ denote the number of components of a graph $G$. We show that if $G$ is a connected $K_4$-minor-free graph and
$$
c(G-S) \;\le\; \sum_{v \in S} (f(v)-1)
\quad\hbox{for all $S \subseteq V(G)$ with $S \ne \emptyset$}
$$ then $G$ has a spanning $f$-tree. Consequently, if $G$ is a $\frac{1}{k-1}$-tough $K_4$-minor-free graph, then $G$ has a spanning $k$-tree. These results are stronger than results for general graphs due to Win (for $k$-trees) and Ellingham, Nam and Voss (for $f$-trees). The $K_4$-minor-free graphs form a subclass of planar graphs, and are identical to graphs of treewidth at most $2$, and also to graphs whose blocks are series-parallel. We provide examples to show that the inequality above cannot be relaxed by adding $1$ to the right-hand side, and also to show that our result does not hold for general planar graphs. Our proof uses a technique where we incorporate toughness-related information into weights associated with vertices and cutsets.
Thin graph classes and polynomial-time approximation schemes
Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a fixed apex graph as a minor. Further generalizations (e.g., to all proper minor closed graph classes) are known, but they use a combination of techniques and usually focus on somewhat restricted classes of problems. We present a new type of graph decompositions (thin systems of overlays) generalizing Baker's technique and leading to straightforward polynomial-time approximation schemes. We also show that many graph classes (all proper minor-closed classes, and all subgraph-closed classes with bounded maximum degree and strongly sublinear separators) admit such decompositions.
Three-dimensional Catalan numbers and product-coproduct prographs
We present the new combinatorial class of product-coproduct prographs which are planar assemblies of two types of operators: products having two inputs and a single output and coproducts having a single input and two outputs. We show that such graphs are enumerated by the $3$-dimensional Catalan numbers. We present some combinatorial bijections positioning product-coproduct prographs as key objects to probe families of objects enumerated by the $3$-dimensional Catalan numbers.
Dense point sets with many halving lines
A planar point set of $n$ points is called {\em $γ$-dense} if the ratio of the largest and smallest distances among the points is at most $γ\sqrt{n}$. We construct a dense set of $n$ points in the plane with $ne^{Ω\left({\sqrt{\log n}}\right)}$ halving lines. This improves the bound $Ω(n\log n)$ of Edelsbrunner, Valtr and Welzl from 1997.
Our construction can be generalized to higher dimensions, for any $d$ we construct a dense point set of $n$ points in $\mathbb{R}^d$ with $n^{d-1}e^{Ω\left({\sqrt{\log n}}\right)}$ halving hyperplanes. Our lower bounds are asymptotically the same as the best known lower bounds for general point sets.
Constant Threshold Intersection Graphs of Orthodox Paths in Trees
Published
• View Publication
• BIB
A graph $G$ belongs to the class ${\rm ORTH}[h,s,t]$ for integers $h$, $s$, and $t$ if there is a pair $(T,{\cal S})$, where $T$ is a tree of maximum degree at most $h$, and ${\cal S}$ is a collection $(S_u)_{u\in V(G)}$ of subtrees $S_u$ of maximum degree at most $s$ of $T$, one for each vertex $u$ of $G$, such that, for every vertex $u$ of $G$, all leaves of $S_u$ are also leaves of $T$, and, for every two distinct vertices $u$ and $v$ of $G$, the following three properties are equivalent:
(i) $u$ and $v$ are adjacent.
(ii) $S_u$ and $S_v$ have at least $t$ vertices in common.
(iii) $S_u$ and $S_v$ share a leaf of $T$.
The class ${\rm ORTH}[h,s,t]$ was introduced by Jamison and Mulder.
Here we focus on the case $s=2$, which is closely related to the well-known VPT and EPT graphs. We collect general properties of the graphs in ${\rm ORTH}[h,2,t]$, and provide a characterization in terms of tree layouts. Answering a question posed by Golumbic, Lipshteyn, and Stern, we show that ${\rm ORTH}[h+1,2,t]\setminus {\rm ORTH}[h,2,t]$ is non-empty for every $h\geq 3$ and $t\geq 3$. We derive decomposition properties, which lead to efficient recognition algorithms for the graphs in ${\rm ORTH}[h,2,2]$ for every $h\geq 3$. Finally, we give a complete description of the graphs in ${\rm ORTH}[3,2,2]$, and show that the graphs in ${\rm ORTH}[3,2,3]$ are line graphs of planar graphs.
Exact distance coloring in trees
Published in Combinatorics, Probability and Computing 28(2) (2019), 177-186
• View Publication
• BIB
For an integer $q\ge 2$ and an even integer $d$, consider the graph obtained from a large complete $q$-ary tree by connecting with an edge any two vertices at distance exactly $d$ in the tree. This graph has clique number $q+1$, and the purpose of this short note is to prove that its chromatic number is $Θ\big(\tfrac{d \log q}{\log d}\big)$. It was not known that the chromatic number of this graph grows with $d$. As a simple corollary of our result, we give a negative answer to a problem of van den Heuvel and Naserasr, asking whether there is a constant $C$ such that for any odd integer $d$, any planar graph can be colored with at most $C$ colors such that any pair of vertices at distance exactly $d$ have distinct colors. Finally, we study interval coloring of trees (where vertices at distance at least $d$ and at most $cd$, for some real $c>1$, must be assigned distinct colors), giving a sharp upper bound in the case of bounded degree trees.
On enumeration of tree-rooted planar cubic maps. II
In the work [4] tree-rooted planar cubic maps with marked directed edge (not in this tree) were enumerated. The number of such objects with $2n$ vertices is $C_{2n}\cdot C_{n+1}$, where $C_k$ is Catalan number. In this work a marked directed edge is not demanded, i.e. we enumerate tree-rooted planar cubic maps. Formulas are more complex, of course, but not significantly.
Euler totient of subfactor planar algebras
Published in Proc. Am. Math. Soc. (2018)
• View Publication
• BIB
We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biprojection lattice.
The 4-girth-thickness of the complete graph
Published in Ars Mathematica Contemporanea-2018
• View Publication
• BIB
In this paper, we define the $4$-girth-thickness $θ(4,G)$ of a graph $G$ as the minimum number of planar subgraphs of girth at least $4$ whose union is $G$. We obtain the $4$-girth-thickness of the arbitrary complete graph $K_n$ getting that $θ(4,K_n)=\left\lceil \frac{n+2}{4}\right\rceil$ for $n\not=6,10$ and $θ(4,K_6)=3$.
A trinity of duality: non-separable planar maps, $β$-(1,0) trees and synchronized intervals
Published in Adv. Appl. Math. 95 (2018) 1-30
• View Publication
• BIB
The dual of a map is a fundamental construction on combinatorial maps, but many other combinatorial objects also possess their notion of duality. For instance, the Tamari lattice is isomorphic to its order dual, which induces an involution on the set of so-called "synchronized intervals" introduced by Préville-Ratelle and the present author. Another example is the class of $β$-(1,0) trees, which has a mysterious involution $h$ proposed by Claesson, Kitaev and Steingrímsson (2009). These two classes of combinatorial objects are all in bijection with the class of non-separable planar maps, which is closed by map duality. In this article, we show that we can identify the notions of duality in these three classes of objects using previously known natural bijections, which leads to a bijective proof of a result from Kitaev and de Mier (2013). We also discuss how various statistics are transferred by duality and by the bijections we used.
On a conjecture by Chapuy about Voronoi cells in large maps
Published in J. Stat. Mech. (2017) 103401
• View Publication
• BIB
In a recent paper, Chapuy conjectured that, for any positive integer k, the law for the fractions of total area covered by the k Voronoi cells defined by k points picked uniformly at random in the Brownian map of any fixed genus is the same law as that of a uniform k-division of the unit interval. For k=2, i.e. with two points chosen uniformly at random, it means that the law for the ratio of the area of one of the two Voronoi cells by the total area of the map is uniform between 0 and 1. Here, by a direct computation of the desired law, we show that this latter conjecture for k=2 actually holds in the case of large planar (genus 0) quadrangulations as well as for large general planar maps (i.e. maps whose faces have arbitrary degrees). This corroborates Chapuy's conjecture in its simplest realizations.
Eulerian idempotent, pre-Lie logarithm and combinatorics of trees
The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees.