1,200 research outputs found
Algorithmic aspects of branched coverings
This is the announcement, and the long summary, of a series of articles on
the algorithmic study of Thurston maps. We describe branched coverings of the
sphere in terms of group-theoretical objects called bisets, and develop a
theory of decompositions of bisets.
We introduce a canonical "Levy" decomposition of an arbitrary Thurston map
into homeomorphisms, metrically-expanding maps and maps doubly covered by torus
endomorphisms. The homeomorphisms decompose themselves into finite-order and
pseudo-Anosov maps, and the expanding maps decompose themselves into rational
maps.
As an outcome, we prove that it is decidable when two Thurston maps are
equivalent. We also show that the decompositions above are computable, both in
theory and in practice.Comment: 60-page announcement of 5-part text, to apper in Ann. Fac. Sci.
Toulouse. Minor typos corrected, and major rewrite of section 7.8, which was
studying a different map than claime
Obstructions to determinantal representability
There has recently been ample interest in the question of which sets can be
represented by linear matrix inequalities (LMIs). A necessary condition is that
the set is rigidly convex, and it has been conjectured that rigid convexity is
also sufficient. To this end Helton and Vinnikov conjectured that any real zero
polynomial admits a determinantal representation with symmetric matrices. We
disprove this conjecture. By relating the question of finding LMI
representations to the problem of determining whether a polymatroid is
representable over the complex numbers, we find a real zero polynomial such
that no power of it admits a determinantal representation. The proof uses
recent results of Wagner and Wei on matroids with the half-plane property, and
the polymatroids associated to hyperbolic polynomials introduced by Gurvits.Comment: 10 pages. To appear in Advances in Mathematic
- …