1,628 research outputs found
Topology of spaces of knots in dimension 3
This paper is a computation of the homotopy type of K, the space of long
knots in R^3, the same space of knots studied by Vassiliev via singularity
theory. Each component of K corresponds to an isotopy class of long knot, and
we `enumerate' the components via the companionship trees associated to the
knot. The knots with the simplest companionship trees are: the unknot, torus
knots, and hyperbolic knots. The homotopy-type of these components of K were
computed by Hatcher. In the case the companionship tree has height, we give a
fibre-bundle description of those components of K, recursively, in terms of the
homotopy types of `simpler' components of K, in the sense that they correspond
to knots with shorter companionship trees. The primary case studied in this
paper is the case of a knot which has a hyperbolic manifold contained in the
JSJ-decomposition of its complement.Comment: 22 pages, 16 figure
Laminations and groups of homeomorphisms of the circle
If M is an atoroidal 3-manifold with a taut foliation, Thurston showed that
pi_1(M) acts on a circle. Here, we show that some other classes of essential
laminations also give rise to actions on circles. In particular, we show this
for tight essential laminations with solid torus guts. We also show that
pseudo-Anosov flows induce actions on circles. In all cases, these actions can
be made into faithful ones, so pi_1(M) is isomorphic to a subgroup of
Homeo(S^1). In addition, we show that the fundamental group of the Weeks
manifold has no faithful action on S^1. As a corollary, the Weeks manifold does
not admit a tight essential lamination, a pseudo-Anosov flow, or a taut
foliation. Finally, we give a proof of Thurston's universal circle theorem for
taut foliations based on a new, purely topological, proof of the Leaf Pocket
Theorem.Comment: 50 pages, 12 figures. Ver 2: minor improvement
Diamond-based models for scientific visualization
Hierarchical spatial decompositions are a basic modeling tool in a variety of application domains including scientific visualization, finite element analysis and shape modeling and analysis. A popular class of such approaches is based on the regular simplex bisection operator, which bisects simplices (e.g. line segments, triangles, tetrahedra) along the midpoint of a predetermined edge. Regular simplex bisection produces adaptive simplicial meshes of high geometric quality, while simplifying the extraction of crack-free, or conforming, approximations to the original dataset. Efficient multiresolution representations for such models have been achieved in 2D and 3D by clustering sets of simplices sharing the same bisection edge into structures called diamonds. In this thesis, we introduce several diamond-based approaches for scientific visualization. We first formalize the notion of diamonds in arbitrary dimensions in terms of two related simplicial decompositions of hypercubes. This enables us to enumerate the vertices, simplices, parents and children of a diamond. In particular, we identify the number of simplices involved in conforming updates to be factorial in the dimension and group these into a linear number of subclusters of simplices that are generated simultaneously. The latter form the basis for a compact pointerless representation for conforming meshes generated by regular simplex bisection and for efficiently navigating the topological connectivity of these meshes. Secondly, we introduce the supercube as a high-level primitive on such nested meshes based on the atomic units within the underlying triangulation grid. We propose the use of supercubes to associate information with coherent subsets of the full hierarchy and demonstrate the effectiveness of such a representation for modeling multiresolution terrain and volumetric datasets. Next, we introduce Isodiamond Hierarchies, a general framework for spatial access structures on a hierarchy of diamonds that exploits the implicit hierarchical and geometric relationships of the diamond model. We use an isodiamond hierarchy to encode irregular updates to a multiresolution isosurface or interval volume in terms of regular updates to diamonds. Finally, we consider nested hypercubic meshes, such as quadtrees, octrees and their higher dimensional analogues, through the lens of diamond hierarchies. This allows us to determine the relationships involved in generating balanced hypercubic meshes and to propose a compact pointerless representation of such meshes. We also provide a local diamond-based triangulation algorithm to generate high-quality conforming simplicial meshes
The Hopf algebra of diagonal rectangulations
We define and study a combinatorial Hopf algebra dRec with basis elements
indexed by diagonal rectangulations of a square. This Hopf algebra provides an
intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter
permutations, which previously had only been described extrinsically as a sub
Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We
describe the natural lattice structure on diagonal rectangulations, analogous
to the Tamari lattice on triangulations, and observe that diagonal
rectangulations index the vertices of a polytope analogous to the
associahedron. We give an explicit bijection between twisted Baxter
permutations and the better-known Baxter permutations, and describe the
resulting Hopf algebra structure on Baxter permutations.Comment: Very minor changes from version 1, in response to comments by
referees. This is the final version, to appear in JCTA. 43 pages, 17 figure
In Search of Effectful Dependent Types
Real world programming languages crucially depend on the availability of
computational effects to achieve programming convenience and expressive power
as well as program efficiency. Logical frameworks rely on predicates, or
dependent types, to express detailed logical properties about entities.
According to the Curry-Howard correspondence, programming languages and logical
frameworks should be very closely related. However, a language that has both
good support for real programming and serious proving is still missing from the
programming languages zoo. We believe this is due to a fundamental lack of
understanding of how dependent types should interact with computational
effects. In this thesis, we make a contribution towards such an understanding,
with a focus on semantic methods.Comment: PhD thesis, Version submitted to Exam School
- …