4,520 research outputs found
Realizations of self branched coverings of the 2-sphere
For a degree d self branched covering of the 2-sphere, a notable
combinatorial invariant is an integer partition of 2d -- 2, consisting of the
multiplicities of the critical points. A finer invariant is the so called
Hurwitz passport. The realization problem of Hurwitz passports remain largely
open till today. In this article, we introduce two different types of finer
invariants: a bipartite map and an incident matrix. We then settle completely
their realization problem by showing that a map, or a matrix, is realized by a
branched covering if and only if it satisfies a certain balanced condition. A
variant of the bipartite map approach was initiated by W. Thurston. Our results
shed some new lights to the Hurwitz passport problem
Thoughts on Barnette's Conjecture
We prove a new sufficient condition for a cubic 3-connected planar graph to
be Hamiltonian. This condition is most easily described as a property of the
dual graph. Let be a planar triangulation. Then the dual is a cubic
3-connected planar graph, and is bipartite if and only if is
Eulerian. We prove that if the vertices of are (improperly) coloured blue
and red, such that the blue vertices cover the faces of , there is no blue
cycle, and every red cycle contains a vertex of degree at most 4, then is
Hamiltonian.
This result implies the following special case of Barnette's Conjecture: if
is an Eulerian planar triangulation, whose vertices are properly coloured
blue, red and green, such that every red-green cycle contains a vertex of
degree 4, then is Hamiltonian. Our final result highlights the
limitations of using a proper colouring of as a starting point for proving
Barnette's Conjecture. We also explain related results on Barnette's Conjecture
that were obtained by Kelmans and for which detailed self-contained proofs have
not been published.Comment: 12 pages, 7 figure
Tischler graphs of critically fixed rational maps and their applications
A rational map on the Riemann
sphere is called critically fixed if each critical point
of is fixed under . In this article we study properties of a
combinatorial invariant, called Tischler graph, associated with such a map.
More precisely, we show that the Tischler graph of a critically fixed rational
map is always connected, establishing a conjecture made by Kevin Pilgrim. We
also discuss the relevance of this result for classical open problems in
holomorphic dynamics, such as combinatorial classification problem and global
curve attractor problem
Linear Complexity Hexahedral Mesh Generation
We show that any polyhedron forming a topological ball with an even number of
quadrilateral sides can be partitioned into O(n) topological cubes, meeting
face to face. The result generalizes to non-simply-connected polyhedra
satisfying an additional bipartiteness condition. The same techniques can also
be used to reduce the geometric version of the hexahedral mesh generation
problem to a finite case analysis amenable to machine solution.Comment: 12 pages, 17 figures. A preliminary version of this paper appeared at
the 12th ACM Symp. on Computational Geometry. This is the final version, and
will appear in a special issue of Computational Geometry: Theory and
Applications for papers from SCG '9
Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs
We propose polynomial-time algorithms that sparsify planar and bounded-genus
graphs while preserving optimal or near-optimal solutions to Steiner problems.
Our main contribution is a polynomial-time algorithm that, given an unweighted
graph embedded on a surface of genus and a designated face bounded
by a simple cycle of length , uncovers a set of size
polynomial in and that contains an optimal Steiner tree for any set of
terminals that is a subset of the vertices of .
We apply this general theorem to prove that: * given an unweighted graph
embedded on a surface of genus and a terminal set , one
can in polynomial time find a set that contains an optimal
Steiner tree for and that has size polynomial in and ; * an
analogous result holds for an optimal Steiner forest for a set of terminal
pairs; * given an unweighted planar graph and a terminal set , one can in polynomial time find a set that contains
an optimal (edge) multiway cut separating and that has size polynomial
in .
In the language of parameterized complexity, these results imply the first
polynomial kernels for Steiner Tree and Steiner Forest on planar and
bounded-genus graphs (parameterized by the size of the tree and forest,
respectively) and for (Edge) Multiway Cut on planar graphs (parameterized by
the size of the cutset). Additionally, we obtain a weighted variant of our main
contribution
Which point sets admit a k-angulation?
For k >= 3, a k-angulation is a 2-connected plane graph in which every
internal face is a k-gon. We say that a point set P admits a plane graph G if
there is a straight-line drawing of G that maps V(G) onto P and has the same
facial cycles and outer face as G. We investigate the conditions under which a
point set P admits a k-angulation and find that, for sets containing at least
2k^2 points, the only obstructions are those that follow from Euler's formula.Comment: 13 pages, 7 figure
- …