planar
3209 papers tagged with this keyword
Unsplittable coverings in the plane
Published
• View Publication
• BIB
A system of sets forms an {\em $m$-fold covering} of a set $X$ if every point of $X$ belongs to at least $m$ of its members. A $1$-fold covering is called a {\em covering}. The problem of splitting multiple coverings into several coverings was motivated by classical density estimates for {\em sphere packings} as well as by the {\em planar sensor cover problem}. It has been the prevailing conjecture for 35 years (settled in many special cases) that for every plane convex body $C$, there exists a constant $m=m(C)$ such that every $m$-fold covering of the plane with translates of $C$ splits into $2$ coverings. In the present paper, it is proved that this conjecture is false for the unit disk. The proof can be generalized to construct, for every $m$, an unsplittable $m$-fold covering of the plane with translates of any open convex body $C$ which has a smooth boundary with everywhere {\em positive curvature}. Somewhat surprisingly, {\em unbounded} open convex sets $C$ do not misbehave, they satisfy the conjecture: every $3$-fold covering of any region of the plane by translates of such a set $C$ splits into two coverings. To establish this result, we prove a general coloring theorem for hypergraphs of a special type: {\em shift-chains}. We also show that there is a constant $c>0$ such that, for any positive integer $m$, every $m$-fold covering of a region with unit disks splits into two coverings, provided that every point is covered by {\em at most} $c2^{m/2}$ sets.
Forbidden minors for graphs with no first obstruction to parametric Feynman integration
Published
• View Publication
• BIB
We give a characterization of 3-connected graphs which are planar and forbid cube, octahedron, and $H$ minors, where $H$ is the graph which is one $Δ-Y$ away from each of the cube and the octahedron. Next we say a graph is Feynman 5-split if no choice of edge ordering gives an obstruction to parametric Feynman integration at the fifth step. The 3-connected Feynman 5-split graphs turn out to be precisely those characterized above. Finally we derive the full list of forbidden minors for Feynman 5-split graphs of any connectivity.
Topological Additive Numbering of Directed Acyclic Graphs
Published in Information Processing Letters, Volume 115, Issue 2 (2015), 199--202
• View Publication
• BIB
We propose to study a problem that arises naturally from both Topological Numbering of Directed Acyclic Graphs, and Additive Coloring (also known as Lucky Labeling). Let $D$ be a digraph and $f$ a labeling of its vertices with positive integers; denote by $S(v)$ the sum of labels over all neighbors of each vertex $v$. The labeling $f$ is called \emph{topological additive numbering} if $S(u) < S(v)$ for each arc $(u,v)$ of the digraph. The problem asks to find the minimum number $k$ for which $D$ has a topological additive numbering with labels belonging to $\{ 1, \ldots, k \}$, denoted by $η_t(D)$.
We characterize when a digraph has topological additive numberings, give a lower bound for $η_t(D)$, and provide an integer programming formulation for our problem, characterizing when its coefficient matrix is totally unimodular. We also present some families for which $η_t(D)$ can be computed in polynomial time. Finally, we prove that this problem is \np-Hard even when its input is restricted to planar bipartite digraphs.
The Geometry of On-Shell Diagrams
Published
• View Publication
• BIB
The fundamental role of on-shell diagrams in quantum field theory has been recently recognized. On-shell diagrams, or equivalently bipartite graphs, provide a natural bridge connecting gauge theory to powerful mathematical structures such as the Grassmannian. We perform a detailed investigation of the combinatorial and geometric objects associated to these graphs. We mainly focus on their relation to polytopes and toric geometry, the Grassmannian and its stratification. Our work extends the current understanding of these connections along several important fronts, most notably eliminating restrictions imposed by planarity, positivity, reducibility and edge removability. We illustrate our ideas with several explicit examples and introduce concrete methods that considerably simplify computations. We consider it highly likely that the structures unveiled in this article will arise in the on-shell study of scattering amplitudes beyond the planar limit. Our results can be conversely regarded as an expansion in the understanding of the Grassmannian in terms of bipartite graphs.
2-connected claw-free chordal graphs are cycle extendable
A cycle $C$ of length $k$ in graph $G$ is extendable if there is another cycle $C'$ in $G$ with $V(C) \subset V(C')$ and length $k+1$. A graph is cycle extendable if every non-Hamiltonian cycle is extendable. In 1990 Hendry conjectured that any Hamiltonian chordal graph (a Hamiltonian graph with no induced cycle of length greater than three) is cycle extendable, and this conjecture has been verified for Hamiltonian chordal graphs which are interval graphs, planar graphs, and split graphs. We prove that any 2-connected claw-free chordal graph is cycle extendable.
Irrelevant Vertices for the Planar Disjoint Paths Problem
Published
• View Publication
• BIB
The Disjoint Paths Problem asks, given a graph $G$ and a set of pairs of terminals $(s_{1},t_{1}),\ldots,(s_{k},t_{k})$, whether there is a collection of $k$ pairwise vertex-disjoint paths linking $s_{i}$ and $t_{i}$, for $i=1,\ldots,k.$ In their $f(k)\cdot n^{3}$ algorithm for this problem, Robertson and Seymour introduced the irrelevant vertex technique according to which in every instance of treewidth greater than $g(k)$ there is an "irrelevant" vertex whose removal creates an equivalent instance of the problem. This fact is based on the celebrated Unique Linkage Theorem, whose - very technical - proof gives a function $g(k)$ that is responsible for an immense parameter dependence in the running time of the algorithm. In this paper we give a new and self-contained proof of this result that strongly exploits the combinatorial properties of planar graphs and achieves $g(k)=O(k^{3/2}\cdot 2^{k}).$ Our bound is radically better than the bounds known for general graphs.
Four-connected triangulations of planar point sets
Published
• View Publication
• BIB
In this paper, we consider the problem of determining in polynomial time whether a given planar point set $P$ of $n$ points admits 4-connected triangulation. We propose a necessary and sufficient condition for recognizing $P$, and present an $O(n^3)$ algorithm of constructing a 4-connected triangulation of $P$. Thus, our algorithm solves a longstanding open problem in computational geometry and geometric graph theory. We also provide a simple method for constructing a noncomplex triangulation of $P$ which requires $O(n^2)$ steps. This method provides a new insight to the structure of 4-connected triangulation of point sets.
A single exponential bound for the redundant vertex Theorem on surfaces
Let s1, t1,. . . sk, tk be vertices in a graph G embedded on a surface σof genus g. A vertex v of G is "redundant" if there exist k vertex disjoint paths linking si and ti (1 \lequal i \lequal k) in G if and only if such paths also exist in G - v. Robertson and Seymour proved in Graph Minors VII that if v is "far" from the vertices si and tj and v is surrounded in a planar part of σby l(g, k) disjoint cycles, then v is redundant. Unfortunately, their proof of the existence of l(g, k) is not constructive. In this paper, we give an explicit single exponential bound in g and k.
Wheel-free planar graphs
Published in European Journal of Combinatorics 49:57-67, 2015
• View Publication
• BIB
A \emph{wheel} is a graph formed by a chordless cycle $C$ and a vertex $u$ not in $C$ that has at least three neighbors in $C$. We prove that every 3-connected planar graph that does not contain a wheel as an induced subgraph is either a line graph or has a clique cutset. We prove that every planar graph that does not contain a wheel as an induced subgraph is 3-colorable.
Twists of Plücker coordinates as dimer partition functions
Published
• View Publication
• BIB
The homogeneous coordinate ring of the Grassmannian Gr(k,n) has a cluster structure defined in terms of planar diagrams known as Postnikov diagrams. The cluster corresponding to such a diagram consists entirely of Pluecker coordinates. We introduce a twist map on Gr(k,n), related to the Berenstein-Fomin-Zelevinsky-twist, and give an explicit Laurent expansion for the twist of an arbitrary Pluecker coordinate in terms of the cluster variables associated with a fixed Postnikov diagram. The expansion arises as a (scaled) dimer partition function of a weighted version of the bipartite graph dual to the Postnikov diagram, modified by a boundary condition determined by the Pluecker coordinate. We also relate the twist map to a maximal green sequence.
Convexity in partial cubes: the hull number
Published
• View Publication
• BIB
We prove that the combinatorial optimization problem of determining the hull number of a partial cube is NP-complete. This makes partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some earlier results in the literature.
On the other hand we provide a polynomial-time algorithm to determine the hull number of planar partial cube quadrangulations.
Instances of the hull number problem for partial cubes described include poset dimension and hitting sets for interiors of curves in the plane.
To obtain the above results, we investigate convexity in partial cubes and characterize these graphs in terms of their lattice of convex subgraphs, improving a theorem of Handa. Furthermore we provide a topological representation theorem for planar partial cubes, generalizing a result of Fukuda and Handa about rank three oriented matroids.
Flag algebras and the stable coefficients of the Jones polynomial
Published
• View Publication
• BIB
We study the structure of the stable coefficients of the Jones polynomial of an alternating link. We start by identifying the first four stable coefficients with polynomial invariants of a (reduced) Tait graph of the link projection. This leads us to introduce a free polynomial algebra of invariants of graphs whose elements give invariants of alternating links which strictly refine the first four stable coefficients. We conjecture that all stable coefficients are elements of this algebra, and give experimental evidence for the fifth and sixth stable coefficient. We illustrate our results in tables of all alternating links with at most 10 crossings and all irreducible planar graphs with at most 6 vertices.
On planar right groups
Published
• View Publication
• BIB
In 1896 Heinrich Maschke characterized planar finite groups, that is groups which admit a generating system such that the resulting Cayley graph is planar. In our study we consider the question, which finite semigroups have a planar Cayley graph. Right groups are a class of semigroups relatively close to groups. We present a complete characterization of planar right groups.
SEFE with No Mapping via Large Induced Outerplane Graphs in Plane Graphs
Published
• View Publication
• BIB
We show that every $n$-vertex planar graph admits a simultaneous embedding with no mapping and with fixed edges with any $(n/2)$-vertex planar graph. In order to achieve this result, we prove that every $n$-vertex plane graph has an induced outerplane subgraph containing at least $n/2$ vertices. Also, we show that every $n$-vertex planar graph and every $n$-vertex planar partial 3-tree admit a simultaneous embedding with no mapping and with fixed edges.
Circular Planar Electrical Networks II: Positivity Phenomena
Curtis-Ingerman-Morrow characterize response matrices for circular planar electrical networks as symmetric square matrices with row sums zero and non-negative circular minors. In this paper, we study this positivity phenomenon more closely, from both algebraic and combinatorial perspectives. Extending work of Postnikov, we introduce electrical positroids, which are the sets of circular minors which can simultaneously be positive in a response matrix. We give a self-contained axiomatic description of these electrical positroids. In the second part of the paper, we discuss a naturally arising example of a Laurent phenomenon algebra, as studied by Lam-Pylyavskyy. We investigate the clusters in this algebra, building off of initial work by Kenyon-Wilson, using an analogue of weak separation, as was originally introduced by Leclerc-Zelevinsky.
Circular Planar Electrical Networks I: The Electrical Poset EP_{n}
Following de Verdière-Gitler-Vertigan and Curtis-Ingerman-Morrow, we prove a host of new results on circular planar electrical networks. We introduce a poset EP_{n} of electrical networks with n boundary vertices, giving two equivalent characterizations, one combinatorial and the other topological. We then investigate various properties of the EP_{n}, proving that it is graded by number of edges of critical representatives. Finally, we answer various enumerative questions related to EP_{n}, adapting methods of Callan and Stein-Everett.
Linear balanceable and subcubic balanceable graphs
Published in Journal of Graph Theory, 75(2):150-166, 2014
• View Publication
• BIB
In [{Structural properties and decomposition of linear balanced matrices}, {\it Mathematical Programming}, 55:129--168, 1992], Conforti and Rao conjectured that every balanced bipartite graph contains an edge that is not the unique chord of a cycle. We prove this conjecture for balanced bipartite graphs that do not contain a cycle of length 4 (also known as linear balanced bipartite graphs), and for balanced bipartite graphs whose maximum degree is at most 3. We in fact obtain results for more general classes, namely linear balanceable and subcubic balanceable graphs. Additionally, we prove that cubic balanced graphs contain a pair of twins, a result that was conjectured by Morris, Spiga and Webb in [Balanced Cayley graphs and balanced planar graphs, {\it Discrete Mathematics}, 310:3228--3235, 2010].
Root-theoretic Young diagrams and Schubert calculus: planarity and the adjoint varieties
Published in J. Algebra, Volume 448, 15 February 2016, p. 238-293
• View Publication
• BIB
We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess both uniform and non-uniform features. Using these classical type rules, as well as results of P.-E.Chaput-N.Perrin in the exceptional types, we suggest a connection between polytopality of the set of nonzero Schubert structure constants and planarity of the diagrams. This is an addition to work of A.Klyachko and A.Knutson-T.Tao on the Grassmannian and of K.Purbhoo-F.Sottile on cominuscule varieties, where the diagrams are always planar.
Introduction to Khovanov Homologies. III. A new and simple tensor-algebra construction of Khovanov-Rozansky invariants
Published in Nuclear Physics B878 (2014) 12-81
• View Publication
• BIB
We continue to develop the tensor-algebra approach to knot polynomials with the goal to present the story in elementary and comprehensible form. The previously reviewed description of Khovanov cohomologies for the gauge group of rank N-1=1 was based on the cut-and-join calculus of the planar cycles, which are involved rather artificially. We substitute them by alternative and natural set of cycles, not obligatory planar. Then the whole construction is straightforwardly lifted from SL(2) to SL(N) and reproduces Khovanov-Rozansky (KR) polynomials, simultaneously for all values of N. No matrix factorization and related tedious calculations are needed in such approach, which can therefore become not only conceptually, but also practically useful.
Few distinct distances implies no heavy lines or circles
Published
• View Publication
• BIB
We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P.
We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Solymosi in \cite{SSS13}. For the case of lines we combine this framework with a theorem from additive combinatorics, and for the case of circles we combine it with some basic algebraic geometry and a recent incidence bound for plane algebraic curves by Wang, Yang, and Zhang \cite{WYZ13}. A significant difference between our approach and that of \cite{SSS13} (and other recent extensions) is that, instead of dealing with distances between two point sets that are restricted to one-dimensional curves, we consider distances between one set that is restricted to a curve and one set with no restrictions on it.