-
Unlabelled Sample Compression Schemes for Intersection-Closed Classes and Extremal Classes
Authors:
J. Hyam Rubinstein,
Benjamin I. P. Rubinstein
Abstract:
The sample compressibility of concept classes plays an important role in learning theory, as a sufficient condition for PAC learnability, and more recently as an avenue for robust generalisation in adaptive data analysis. Whether compression schemes of size $O(d)$ must necessarily exist for all classes of VC dimension $d$ is unknown, but conjectured to be true by Warmuth. Recently Chalopin, Chepoi…
▽ More
The sample compressibility of concept classes plays an important role in learning theory, as a sufficient condition for PAC learnability, and more recently as an avenue for robust generalisation in adaptive data analysis. Whether compression schemes of size $O(d)$ must necessarily exist for all classes of VC dimension $d$ is unknown, but conjectured to be true by Warmuth. Recently Chalopin, Chepoi, Moran, and Warmuth (2018) gave a beautiful unlabelled sample compression scheme of size VC dimension for all maximum classes: classes that meet the Sauer-Shelah-Perles Lemma with equality. They also offered a counterexample to compression schemes based on a promising approach known as corner peeling. In this paper we simplify and extend their proof technique to deal with so-called extremal classes of VC dimension $d$ which contain maximum classes of VC dimension $d-1$. A criterion is given which would imply that all extremal classes admit unlabelled compression schemes of size $d$. We also prove that all intersection-closed classes with VC dimension $d$ admit unlabelled compression schemes of size at most $11d$.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Complexity of 3-manifolds obtained by Dehn filling
Authors:
William Jaco,
J. Hyam Rubinstein,
Jonathan Spreer,
Stephan Tillmann
Abstract:
Let $M$ be a compact 3--manifold with boundary a single torus. We present upper and lower complexity bounds for closed 3--manifolds obtained as even Dehn fillings of $M.$ As an application, we characterise some infinite families of even Dehn fillings of $M$ for which our method determines the complexity of its members up to an additive constant. The constant only depends on the size of a chosen tr…
▽ More
Let $M$ be a compact 3--manifold with boundary a single torus. We present upper and lower complexity bounds for closed 3--manifolds obtained as even Dehn fillings of $M.$ As an application, we characterise some infinite families of even Dehn fillings of $M$ for which our method determines the complexity of its members up to an additive constant. The constant only depends on the size of a chosen triangulation of $M$, and the isotopy class of its boundary.
We then show that, given a triangulation $\mathcal T$ of $M$ with $2$--triangle torus boundary, there exist infinite families of even Dehn fillings of $M$ for which we can determine the complexity of the filled manifolds with a gap between upper and lower bound of at most $13 |\mathcal T| + 7.$ This result is bootstrapped to obtain the gap as a function of the size of an ideal triangulation of the interior of $M$, or the number of crossings of a knot diagram. We also show how to compute the gap for explicit families of fillings of knot complements in the three-sphere. The practicability of our approach is demonstrated by determining the complexity up to a gap of at most 10 for several infinite families of even fillings of the figure eight knot, the pretzel knot $P(-2,3,7)$, and the trefoil.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
A new family of minimal ideal triangulations of cusped hyperbolic 3-manifolds
Authors:
J. Hyam Rubinstein,
Jonathan Spreer,
Stephan Tillmann
Abstract:
Previous work of the authors with Bus Jaco determined a lower bound on the complexity of cusped hyperbolic 3-manifolds and showed that it is attained by the monodromy ideal triangulations of once-punctured torus bundles. This paper exhibits an infinite family of minimal ideal triangulations of Dehn fillings on the link $8^3_9$ that also attain this lower bound on complexity.
Previous work of the authors with Bus Jaco determined a lower bound on the complexity of cusped hyperbolic 3-manifolds and showed that it is attained by the monodromy ideal triangulations of once-punctured torus bundles. This paper exhibits an infinite family of minimal ideal triangulations of Dehn fillings on the link $8^3_9$ that also attain this lower bound on complexity.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Slope norm and an algorithm to compute the crosscap number
Authors:
William Jaco,
J. Hyam Rubinstein,
Jonathan Spreer,
Stephan Tillmann
Abstract:
We give three algorithms to determine the crosscap number of a knot in the 3-sphere using $0$-efficient triangulations and normal surface theory. Our algorithms are shown to be correct for a larger class of complements of knots in closed 3-manifolds. The crosscap number is closely related to the minimum over all spanning slopes of a more general invariant, the slope norm. For any irreducible 3-man…
▽ More
We give three algorithms to determine the crosscap number of a knot in the 3-sphere using $0$-efficient triangulations and normal surface theory. Our algorithms are shown to be correct for a larger class of complements of knots in closed 3-manifolds. The crosscap number is closely related to the minimum over all spanning slopes of a more general invariant, the slope norm. For any irreducible 3-manifold $M$ with incompressible boundary a torus, we give an algorithm that, for every slope on the boundary that represents the trivial class in $H_1(M; \mathbb{Z}_2)$, determines the maximal Euler characteristic of any properly embedded surface having a boundary curve of this slope. We complement our theoretical work with an implementation of our algorithms, and compute the crosscap number of knots for which previous methods would have been inconclusive. In particular, we determine 196 previously unknown crosscap numbers in the census of all knots with up to 12 crossings.
△ Less
Submitted 16 September, 2021; v1 submitted 17 August, 2021;
originally announced August 2021.
-
A Gradient Descent Method for The Dubins Traveling Salesman Problem
Authors:
David Kirszenblat,
José Ayala,
J. Hyam Rubinstein
Abstract:
We propose a combination of a bounding procedure and gradient descent method for solving the Dubins traveling salesman problem, that is, the problem of finding a shortest curvature-constrained tour through a finite number of points in the euclidean plane. The problem finds applications in path planning for robotic vehicles and unmanned aerial vehicles, where a minimum turning radius prevents the v…
▽ More
We propose a combination of a bounding procedure and gradient descent method for solving the Dubins traveling salesman problem, that is, the problem of finding a shortest curvature-constrained tour through a finite number of points in the euclidean plane. The problem finds applications in path planning for robotic vehicles and unmanned aerial vehicles, where a minimum turning radius prevents the vehicle from taking sharp turns. In this paper, we focus on the case where any two points are separated by at least four times the minimum turning radius, which is most interesting from a practical standpoint. The bounding procedure efficiently determines the optimal order in which to visit the points. The gradient descent method, which is inspired by a mechanical model, determines the optimal trajectories of the tour through the points in a given order, and its computation time scales linearly with the number of points. In experiments on nine points, the bounding procedure typically explores no more than a few sequences before finding the optimal sequence, and the gradient descent method typically converges to within 1\% of optimal in a single iteration.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Counting essential surfaces in 3-manifolds
Authors:
Nathan M. Dunfield,
Stavros Garoufalidis,
J. Hyam Rubinstein
Abstract:
We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably…
▽ More
We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably concise formulae for the number of such surfaces, as well as detailed asymptotics. We give algorithms that allow us to compute these generating functions and the underlying surfaces, and apply these to almost 60,000 manifolds, providing a wealth of data about them. We use this data to explore the delicate question of counting only connected essential surfaces and propose some conjectures. Our methods involve normal and almost normal surfaces, especially the work of Tollefson and Oertel, combined with techniques pioneered by Ehrhart for counting lattice points in polyhedra with rational vertices. We also introduce a new way of testing if a normal surface in an ideal triangulation is essential that avoids cutting the manifold open along the surface; rather, we use almost normal surfaces in the original triangulation.
△ Less
Submitted 25 January, 2022; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Efficient triangulations and boundary slopes
Authors:
Birch Bryant,
William Jaco,
J. Hyam Rubinstein
Abstract:
For a compact, irreducible, $\partial$-irreducible, an-annular bounded 3-manifold $M\ne\mathbb{B}^3$, then any triangulation $\mathcal{T}$ of $M$ can be modified to an ideal triangulation $\mathcal{T}^*$ of $\stackrel{\circ}{M}$. We use the inverse relationship of crushing a triangulation along a normal surface and that of inflating an ideal triangulation to introduce and study boundary-efficient…
▽ More
For a compact, irreducible, $\partial$-irreducible, an-annular bounded 3-manifold $M\ne\mathbb{B}^3$, then any triangulation $\mathcal{T}$ of $M$ can be modified to an ideal triangulation $\mathcal{T}^*$ of $\stackrel{\circ}{M}$. We use the inverse relationship of crushing a triangulation along a normal surface and that of inflating an ideal triangulation to introduce and study boundary-efficient triangulations and end-efficient ideal triangulations. We prove that the topological conditions necessary for a compact 3-manifold $M$ admitting an annular-efficient triangulation are sufficient to modify any triangulation of $M$ to a boundary-efficient triangulation which is also annular-efficient. From the proof we have for any ideal triangulation $T^*$ and any inflation $\mathcal{T}_Λ$, there is a bijective correspondence between the closed normal surfaces in $\mathcal{T}^*$ and the closed normal surfaces in $\mathcal{T}_Λ$ with corresponding normal surfaces being homeomorphic. It follows that for an ideal triangulation $\mathcal{T}^*$ that is $0$-efficient, $1$-efficient, or end-efficient, then any inflation $\mathcal{T}_Λ$ of $\mathcal{T}^*$ is $0$-efficient, $1$-efficient, or $\partial$-efficient, respectively. There are algorithms to decide if a given triangulation or ideal triangulation of a $3$-manifold is one of these efficient triangulations. Finally, it is shown that for an annular-efficient triangulation, there are only a finite number of boundary slopes for normal surfaces of a bounded Euler characteristic; hence, in a compact, orientable, irreducible, $\partial$-irreducible, and an-annular $3$-manifold, there are only finitely many boundary slopes for incompressible and $\partial$-incompressible surfaces of a bounded Euler characteristic.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Immersed flat ribbon knots
Authors:
José Ayala,
David Kirszenblat,
J. Hyam Rubinstein
Abstract:
We study the minimum ribbonlength for immersed planar ribbon knots and links. Our approach is to embed the space of such knots and links into a larger more tractable space of disk diagrams. When length minimisers in disk diagram space are ribbon, then these solve the ribbonlength problem. We also provide examples when minimisers in the space of disk diagrams are not ribbon and state some conjectur…
▽ More
We study the minimum ribbonlength for immersed planar ribbon knots and links. Our approach is to embed the space of such knots and links into a larger more tractable space of disk diagrams. When length minimisers in disk diagram space are ribbon, then these solve the ribbonlength problem. We also provide examples when minimisers in the space of disk diagrams are not ribbon and state some conjectures. We compute the minimal ribbonlength of some small knot and link diagrams and certain infinite families of link diagrams. Finally we present a bound for the number of crossings for a diagram yielding the minimum ribbonlength of a knot or link amongst all diagrams.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Traversing three-manifold triangulations and spines
Authors:
J. Hyam Rubinstein,
Henry Segerman,
Stephan Tillmann
Abstract:
A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The ke…
▽ More
A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The key special case of 1-vertex triangulations of closed 3-manifolds was independently proven by Matveev and Piergallini. The general result for closed 3-manifolds can be found in work of Benedetti and Petronio, and Amendola gives a proof for topologically finite non-compact 3-manifolds. These results (and their proofs) are phrased in the dual language of spines.
The purpose of this note is threefold. We wish to popularise Amendola's result; we give a combined proof for both closed and non-compact manifolds that emphasises the dual viewpoints of triangulations and spines; and we give a proof replacing a key general position argument due to Matveev with a more combinatorial argument inspired by the theory of subdivisions.
△ Less
Submitted 26 June, 2019; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Decomposing Heegaard splittings along separating incompressible surfaces in 3-manifolds
Authors:
Kazuhiro Ichihara,
Makoto Ozawa,
J. Hyam Rubinstein
Abstract:
In this paper, by putting a separating incompressible surface in a 3-manifold into Morse position relative to the height function associated to a strongly irreducible Heegaard splitting, we show that an incompressible subsurface of the Heegaard splitting can be found, by decomposing the 3-manifold along the separating surface. Further if the Heegaard surface is of Hempel distance at least 4, then…
▽ More
In this paper, by putting a separating incompressible surface in a 3-manifold into Morse position relative to the height function associated to a strongly irreducible Heegaard splitting, we show that an incompressible subsurface of the Heegaard splitting can be found, by decomposing the 3-manifold along the separating surface. Further if the Heegaard surface is of Hempel distance at least 4, then there is a pair of such subsurfaces on both sides of the given separating surface. This gives a particularly simple hierarchy for the 3-manifold.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
Z2-Thurston Norm and Complexity of 3-Manifolds, II
Authors:
William Jaco,
J. Hyam Rubinstein,
Jonathan Spreer,
Stephan Tillmann
Abstract:
In this sequel to earlier papers by three of the authors, we obtain a new bound on the complexity of a closed 3--manifold, as well as a characterisation of manifolds realising our complexity bounds. As an application, we obtain the first infinite families of minimal triangulations of Seifert fibred spaces modelled on Thurston's geometry $\widetilde{\text{SL}_2(\mathbb{R})}.$
In this sequel to earlier papers by three of the authors, we obtain a new bound on the complexity of a closed 3--manifold, as well as a characterisation of manifolds realising our complexity bounds. As an application, we obtain the first infinite families of minimal triangulations of Seifert fibred spaces modelled on Thurston's geometry $\widetilde{\text{SL}_2(\mathbb{R})}.$
△ Less
Submitted 19 December, 2017; v1 submitted 29 November, 2017;
originally announced November 2017.
-
Computing trisections of 4-manifolds
Authors:
Mark Bell,
Joel Hass,
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a union of three $4$-dimensional handlebodies. The complexity of the $4$-manifold is…
▽ More
Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a union of three $4$-dimensional handlebodies. The complexity of the $4$-manifold is captured in a collection of curves on a surface, which guide the gluing of the handelbodies. The algorithm begins with a description of a manifold as a union of pentachora, or $4$-dimensional simplices. It transforms this description into a trisection. This results in the first explicit complexity bounds for the trisection genus of a $4$-manifold in terms of the number of pentachora ($4$-simplices) in a triangulation.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Minimal curvature-constrained networks
Authors:
David Kirszenblat,
Kashyapa Sirinanda,
Marcus Brazil,
Peter Grossman,
J. Hyam Rubinstein,
Doreen Thomas
Abstract:
This paper introduces an exact algorithm for the construction of a shortest curvature-constrained network interconnecting a given set of directed points in the plane and an iterative method for doing so in 3D space. Such a network will be referred to as a minimum Dubins network, since its edges are Dubins paths (or slight variants thereof). The problem of constructing a minimum Dubins network appe…
▽ More
This paper introduces an exact algorithm for the construction of a shortest curvature-constrained network interconnecting a given set of directed points in the plane and an iterative method for doing so in 3D space. Such a network will be referred to as a minimum Dubins network, since its edges are Dubins paths (or slight variants thereof). The problem of constructing a minimum Dubins network appears in the context of underground mining optimisation, where the aim is to construct a least-cost network of tunnels navigable by trucks with a minimum turning radius. The Dubins network problem is similar to the Steiner tree problem, except that the terminals are directed and there is a curvature constraint. We propose the minimum curvature-constrained Steiner point algorithm for determining the optimal location of the Steiner point in a 3-terminal network. We show that when two terminals are fixed and the third varied, the Steiner point traces out a limaçon.
△ Less
Submitted 7 June, 2016;
originally announced June 2016.
-
Multisections of piecewise linear manifolds
Authors:
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-manifold has a multisection, i.e. can be divided into $k+1$ $n$-dimensional $1$-hand…
▽ More
Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-manifold has a multisection, i.e. can be divided into $k+1$ $n$-dimensional $1$-handlebodies, where $n=2k+1$ or $n=2k$, such that intersections of the handlebodies have spines of small dimensions. Several applications, constructions and generalisations of our approach are given.
△ Less
Submitted 23 November, 2017; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Demonstrating efficiency gains from installing truck turntables at crushers
Authors:
Marcus Brazil,
Peter A Grossman,
J Hyam Rubinstein,
Doreen A Thomas
Abstract:
The installation of truck turntables at above-ground crushers has the potential to yield gains in efficiency and productivity by eliminating the need for the trucks to turn around and reverse up to the crusher to dump their loads. The benefits include savings in time, fuel consumption and tyre wear. In addition, having a smaller area near the crushers dedicated to manoeuvring the trucks can be a s…
▽ More
The installation of truck turntables at above-ground crushers has the potential to yield gains in efficiency and productivity by eliminating the need for the trucks to turn around and reverse up to the crusher to dump their loads. The benefits include savings in time, fuel consumption and tyre wear. In addition, having a smaller area near the crushers dedicated to manoeuvring the trucks can be a significant benefit at some sites. Safety is also enhanced using turntables.
This paper describes a project with the Australian Turntable Company (ATC) to develop software that generates near-optimal layouts for the paths taken by the trucks in the vicinity of the crushers when turntables are present or absent. The geometry of the paths is constrained by the turning radius of the trucks and by the boundary of the manoeuvring area. The software quantifies the benefit of installing turntables by generating a design for paths with turntables and comparing it with the layout in current or planned use by the mining company. Through the use of this software tool, a mining company can readily assess the benefits of using turntables at their site.
△ Less
Submitted 8 November, 2015;
originally announced November 2015.
-
Thin position for incompressible surfaces in 3-manifolds
Authors:
Kazuhiro Ichihara,
Makoto Ozawa,
J. Hyam Rubinstein
Abstract:
In this paper, we give an algorithm to build all compact orientable atoroidal Haken 3-manifolds with tori boundary or closed orientable Haken 3-manifolds, so that in both cases, there are embedded closed orientable separating incompressible surfaces which are not tori. Next, such incompressible surfaces are related to Heegaard splittings. For simplicity, we focus on the case of separating incompre…
▽ More
In this paper, we give an algorithm to build all compact orientable atoroidal Haken 3-manifolds with tori boundary or closed orientable Haken 3-manifolds, so that in both cases, there are embedded closed orientable separating incompressible surfaces which are not tori. Next, such incompressible surfaces are related to Heegaard splittings. For simplicity, we focus on the case of separating incompressible surfaces, since non-separating ones have been extensively studied. After putting the surfaces into Morse position relative to the height function associated to the Heegaard splittings, a thin position method is applied so that levels are thin or thick, depending on the side of the surface. The complete description of the surface in terms of these thin/thick levels gives a hierarchy. Also this thin/thick description can be related to properties of the curve complex for the Heegaard surface.
△ Less
Submitted 2 November, 2015;
originally announced November 2015.
-
Determining the open pit to underground transition: A new method
Authors:
D. Whittle,
M. Brazil,
P. A. Grossman,
J. H. Rubinstein,
D. A. Thomas
Abstract:
Many Ore Reserves are harvested by a combination of open pit and underground mining methods. In these cases there is often material that could be mined by either method, and a choice has to be made. The area containing this material is referred to as the transition zone. Deciding where to finish the open pit and start the underground is referred to as the transition problem and it has received som…
▽ More
Many Ore Reserves are harvested by a combination of open pit and underground mining methods. In these cases there is often material that could be mined by either method, and a choice has to be made. The area containing this material is referred to as the transition zone. Deciding where to finish the open pit and start the underground is referred to as the transition problem and it has received some attention in the literature since the 1980s.
In this paper we provide a review of existing approaches to the transition problem encompassing: graph-theory based optimisation employing an opportunity cost approach; heuristics and integer programming. We also present a novel opportunity cost approach, allowing it to take into account a crown pillar, and show how the new approach can be best applied through the unconventional application of an existing mine optimisation tool.
△ Less
Submitted 31 December, 2015; v1 submitted 17 September, 2015;
originally announced September 2015.
-
Triangulations of 3-manifolds with essential edges
Authors:
Craig D. Hodgson,
J. Hyam Rubinstein,
Henry Segerman,
Stephan Tillmann
Abstract:
We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian manifolds) to obtain triangulations with these properties under various hypotheses on the topology or geometry of the manifold. We also show that a semi-angle str…
▽ More
We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian manifolds) to obtain triangulations with these properties under various hypotheses on the topology or geometry of the manifold. We also show that a semi-angle structure is a sufficient condition for a triangulation of a 3-manifold to be essential, and a strict angle structure is a sufficient condition for a triangulation to be strongly essential. Moreover, algorithms to test whether a triangulation of a 3-manifold is essential or strongly essential are given.
△ Less
Submitted 29 April, 2015; v1 submitted 1 December, 2014;
originally announced December 2014.
-
Even triangulations of n-dimensional pseudo-manifolds
Authors:
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
This paper introduces even triangulations of n-dimensional pseudo-manifolds and links their combinatorics to the topology of the pseudo-manifolds. This is done via normal hypersurface theory and the study of certain symmetric representation. In dimension 3, necessary and sufficient conditions for the existence of even triangulations having one or two vertices are given. For Haken n-manifolds, an i…
▽ More
This paper introduces even triangulations of n-dimensional pseudo-manifolds and links their combinatorics to the topology of the pseudo-manifolds. This is done via normal hypersurface theory and the study of certain symmetric representation. In dimension 3, necessary and sufficient conditions for the existence of even triangulations having one or two vertices are given. For Haken n-manifolds, an interesting connection between very short hierarchies and even triangulations is observed.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
The classification of homotopy classes of bounded curvature paths
Authors:
José Ayala,
J. Hyam Rubinstein
Abstract:
A bounded curvature path is a continuously differentiable piecewise $C^2$ path with bounded absolute curvature that connects two points in the tangent bundle of a surface. In this note we give necessary and sufficient conditions for two bounded curvature paths, defined in the Euclidean plane, to be in the same connected component while kee** the curvature bounded at every stage of the deformatio…
▽ More
A bounded curvature path is a continuously differentiable piecewise $C^2$ path with bounded absolute curvature that connects two points in the tangent bundle of a surface. In this note we give necessary and sufficient conditions for two bounded curvature paths, defined in the Euclidean plane, to be in the same connected component while kee** the curvature bounded at every stage of the deformation. Following our previous results here we finish a program started by Lester Dubins in 1961.
△ Less
Submitted 2 November, 2015; v1 submitted 19 March, 2014;
originally announced March 2014.
-
A geometric approach to shortest bounded curvature paths
Authors:
José Ayala,
David Kirszenblat,
J. Hyam Rubinstein
Abstract:
Consider two elements in the tangent bundle of the Euclidean plane $(x,X),(y,Y)\in T{\mathbb R}^2$. In this work we address the problem of characterizing the paths of bounded curvature and minimal length starting at $x$, finishing at $y$ and having tangents at these points $X$ and $Y$ respectively. This problem was first investigated in the late 50's by Lester Dubins. In this note we present a con…
▽ More
Consider two elements in the tangent bundle of the Euclidean plane $(x,X),(y,Y)\in T{\mathbb R}^2$. In this work we address the problem of characterizing the paths of bounded curvature and minimal length starting at $x$, finishing at $y$ and having tangents at these points $X$ and $Y$ respectively. This problem was first investigated in the late 50's by Lester Dubins. In this note we present a constructive proof of Dubins' result giving special emphasis on the geometric nature of this problem.
△ Less
Submitted 27 August, 2015; v1 submitted 19 March, 2014;
originally announced March 2014.
-
Bounding Embeddings of VC Classes into Maximum Classes
Authors:
J. Hyam Rubinstein,
Benjamin I. P. Rubinstein,
Peter L. Bartlett
Abstract:
One of the earliest conjectures in computational learning theory-the Sample Compression conjecture-asserts that concept classes (equivalently set systems) admit compression schemes of size linear in their VC dimension. To-date this statement is known to be true for maximum classes---those that possess maximum cardinality for their VC dimension. The most promising approach to positively resolving t…
▽ More
One of the earliest conjectures in computational learning theory-the Sample Compression conjecture-asserts that concept classes (equivalently set systems) admit compression schemes of size linear in their VC dimension. To-date this statement is known to be true for maximum classes---those that possess maximum cardinality for their VC dimension. The most promising approach to positively resolving the conjecture is by embedding general VC classes into maximum classes without super-linear increase to their VC dimensions, as such embeddings would extend the known compression schemes to all VC classes. We show that maximum classes can be characterised by a local-connectivity property of the graph obtained by viewing the class as a cubical complex. This geometric characterisation of maximum VC classes is applied to prove a negative embedding result which demonstrates VC-d classes that cannot be embedded in any maximum class of VC dimension lower than 2d. On the other hand, we show that every VC-d class C embeds in a VC-(d+D) maximum class where D is the deficiency of C, i.e., the difference between the cardinalities of a maximum VC-d class and of C. For VC-2 classes in binary n-cubes for 4 <= n <= 6, we give best possible results on embedding into maximum classes. For some special classes of Boolean functions, relationships with maximum classes are investigated. Finally we give a general recursive procedure for embedding VC-d classes into VC-(d+k) maximum classes for smallest k.
△ Less
Submitted 28 January, 2014;
originally announced January 2014.
-
1-efficient triangulations and the index of a cusped hyperbolic 3-manifold
Authors:
Stavros Garoufalidis,
Craig D. Hodgson,
J. Hyam Rubinstein,
Henry Segerman
Abstract:
In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index structure if and only if T is 1-efficient and (b) if M is hyperbolic, it has a…
▽ More
In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index structure if and only if T is 1-efficient and (b) if M is hyperbolic, it has a canonical set of 1-efficient ideal triangulations related by 2-3 and 0-2 moves which preserve the 3D index. We illustrate our results with several examples.
△ Less
Submitted 21 March, 2013;
originally announced March 2013.
-
Inflations of ideal triangulations
Authors:
William H. Jaco,
J. Hyam Rubinstein
Abstract:
Starting with an ideal triangulation of the interior of a compact 3-manifold M with boundary, no component of which is a 2-sphere, we provide a construction, called an inflation of the ideal triangulation, to obtain a strongly related triangulations of M itself. Besides a step-by-step algorithm for such a construction, we provide examples of an inflation of the two-tetrahedra ideal triangulation o…
▽ More
Starting with an ideal triangulation of the interior of a compact 3-manifold M with boundary, no component of which is a 2-sphere, we provide a construction, called an inflation of the ideal triangulation, to obtain a strongly related triangulations of M itself. Besides a step-by-step algorithm for such a construction, we provide examples of an inflation of the two-tetrahedra ideal triangulation of the complement of the figure-eight knot in the 3-sphere, giving a minimal triangulation, having ten tetrahedra, of the figure-eight knot exterior. As another example, we provide an inflation of the one-tetrahedron Gieseking manifold giving a minimal triangulation, having seven tetrahedra, of a nonorientable compact 3-manifold with Klein bottle boundary. Several applications of inflations are discussed.
△ Less
Submitted 27 February, 2013;
originally announced February 2013.
-
Triangulations of hyperbolic 3-manifolds admitting strict angle structures
Authors:
Craig D. Hodgson,
J. Hyam Rubinstein,
Henry Segerman
Abstract:
It is conjectured that every cusped hyperbolic 3-manifold has a decomposition into positive volume ideal hyperbolic tetrahedra (a "geometric" triangulation of the manifold). Under a mild homology assumption on the manifold we construct topological ideal triangulations which admit a strict angle structure, which is a necessary condition for the triangulation to be geometric. In particular, every kn…
▽ More
It is conjectured that every cusped hyperbolic 3-manifold has a decomposition into positive volume ideal hyperbolic tetrahedra (a "geometric" triangulation of the manifold). Under a mild homology assumption on the manifold we construct topological ideal triangulations which admit a strict angle structure, which is a necessary condition for the triangulation to be geometric. In particular, every knot or link complement in the 3-sphere has such a triangulation. We also give an example of a triangulation without a strict angle structure, where the obstruction is related to the homology hypothesis, and an example illustrating that the triangulations produced using our methods are not generally geometric.
△ Less
Submitted 6 July, 2012; v1 submitted 14 November, 2011;
originally announced November 2011.
-
Diffeomorphisms of Elliptic 3-Manifolds
Authors:
Sungbok Hong,
John Kalliongis,
Darryl McCullough,
J. H. Rubinstein
Abstract:
The elliptic 3-manifolds are the closed 3-manifolds that admit a Riemannian metric of constant positive curvature, that is, those that have finite fundamental group. The (Generalized) Smale Conjecture asserts that for any elliptic 3-manifold M, the inclusion from the isometry group of M to the diffeomorphism group of M is a homotopy equivalence.
The original Smale Conjecture, for the 3-sphere, w…
▽ More
The elliptic 3-manifolds are the closed 3-manifolds that admit a Riemannian metric of constant positive curvature, that is, those that have finite fundamental group. The (Generalized) Smale Conjecture asserts that for any elliptic 3-manifold M, the inclusion from the isometry group of M to the diffeomorphism group of M is a homotopy equivalence.
The original Smale Conjecture, for the 3-sphere, was proven by J. Cerf and A. Hatcher, and N. Ivanov proved the generalized conjecture for many of the elliptic 3-manifolds that contain a geometrically incompressible Klein bottle. Our main results are
1. The Smale Conjecture holds for all elliptic 3-manifolds containing geometrically incompressible Klein bottles. These include all quaternionic and prism manifolds.
2. The Smale Conjecture holds for all lens spaces L(m,q) with m at least 3.
These results complete the Smale Conjecture for all cases except the 3-dimensional real projective space and those admitting a Seifert fibering over the 2-sphere with three exceptional fibers of types (2,3,3), (2,3,4), or (2,3,5).
The technical work needed for these results includes the result that if V is a Haken Seifert-fibered 3-manifold, then apart from a small list of known exceptions, the inclusion from the space of fiber-preserving diffeomorphisms of V to the full diffeomorphism group is a homotopy equivalence. This has as a consequence:
3. The space of Seifert fiberings of V has contractible components, and apart from a small list of known exceptions, is contractible.
Considerable foundational and background material on diffeomorphism groups is included.
△ Less
Submitted 22 October, 2011;
originally announced October 2011.
-
Annular-Efficient Triangulations of 3-manifolds
Authors:
William Jaco,
J. Hyam Rubinstein
Abstract:
A triangulation of a compact 3-manifold is annular-efficient if it is 0-efficient and the only normal, incompressible annuli are thin edge-linking. If a compact 3-manifold has an annular-efficient triangulation, then it is irreducible, boundary-irreducible, and an-annular. Conversely, it is shown that for a compact, irreducible, boundary-irreducible, and an-annular 3-manifold, any triangulation ca…
▽ More
A triangulation of a compact 3-manifold is annular-efficient if it is 0-efficient and the only normal, incompressible annuli are thin edge-linking. If a compact 3-manifold has an annular-efficient triangulation, then it is irreducible, boundary-irreducible, and an-annular. Conversely, it is shown that for a compact, irreducible, boundary-irreducible, and an-annular 3-manifold, any triangulation can be modified to an annular-efficient triangulation. It follows that for a manifold satisfying this hypothesis, there are only a finite number of boundary slopes for incompressible and boundary-incompressible surfaces of a bounded Euler characteristic.
△ Less
Submitted 15 August, 2011;
originally announced August 2011.
-
On the Neuwirth conjecture for knots
Authors:
Makoto Ozawa,
J. Hyam Rubinstein
Abstract:
Neuwirth asked if any non-trivial knot in the 3-sphere can be embedded in a closed surface so that the complement of the surface is a connected essential surface for the knot complement. In this paper, we examine some variations on this question and prove it for all knots up to 11 crossings except for two examples. We also establish the conjecture for all Montesinos knots and for all generalized a…
▽ More
Neuwirth asked if any non-trivial knot in the 3-sphere can be embedded in a closed surface so that the complement of the surface is a connected essential surface for the knot complement. In this paper, we examine some variations on this question and prove it for all knots up to 11 crossings except for two examples. We also establish the conjecture for all Montesinos knots and for all generalized arborescently alternating knots. For knot exteriors containing closed incompressible surfaces satisfying a simple homological condition, we establish that the knots satisfy the Neuwirth conjecture. If there is a proper degree one map from knot $K$ to knot $K'$ and $K'$ satisfies the Neuwirth conjecture then we prove the same is true for knot $K$. Algorithms are given to decide if a knot satisfies the various versions of the Neuwirth conjecture and also the related conjectures about whether all non-trivial knots have essential surfaces at integer boundary slopes.
△ Less
Submitted 13 March, 2011;
originally announced March 2011.
-
Veering triangulations admit strict angle structures
Authors:
Craig D. Hodgson,
J. Hyam Rubinstein,
Henry Segerman,
Stephan Tillmann
Abstract:
Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering triangulations admit strict angle structures. We also answer a question of Agol, giving an example of a veering taut triangulation that is not layered.
Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering triangulations admit strict angle structures. We also answer a question of Agol, giving an example of a veering taut triangulation that is not layered.
△ Less
Submitted 16 November, 2010;
originally announced November 2010.
-
A Geometric Approach to Sample Compression
Authors:
Benjamin I. P. Rubinstein,
J. Hyam Rubinstein
Abstract:
The Sample Compression Conjecture of Littlestone & Warmuth has remained unsolved for over two decades. This paper presents a systematic geometric investigation of the compression of finite maximum concept classes. Simple arrangements of hyperplanes in Hyperbolic space, and Piecewise-Linear hyperplane arrangements, are shown to represent maximum classes, generalizing the corresponding Euclidean r…
▽ More
The Sample Compression Conjecture of Littlestone & Warmuth has remained unsolved for over two decades. This paper presents a systematic geometric investigation of the compression of finite maximum concept classes. Simple arrangements of hyperplanes in Hyperbolic space, and Piecewise-Linear hyperplane arrangements, are shown to represent maximum classes, generalizing the corresponding Euclidean result. A main result is that PL arrangements can be swept by a moving hyperplane to unlabeled d-compress any finite maximum class, forming a peeling scheme as conjectured by Kuzmin & Warmuth. A corollary is that some d-maximal classes cannot be embedded into any maximum class of VC dimension d+k, for any constant k. The construction of the PL swee** involves Pachner moves on the one-inclusion graph, corresponding to moves of a hyperplane across the intersection of d other hyperplanes. This extends the well known Pachner moves for triangulations to cubical complexes.
△ Less
Submitted 18 November, 2009;
originally announced November 2009.
-
The Weber-Seifert dodecahedral space is non-Haken
Authors:
Benjamin A. Burton,
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
In this paper we settle Thurston's old question of whether the Weber-Seifert dodecahedral space is non-Haken, a problem that has been a benchmark for progress in computational 3-manifold topology over recent decades. We resolve this question by combining recent significant advances in normal surface enumeration, new heuristic pruning techniques, and a new theoretical test that extends the seminal…
▽ More
In this paper we settle Thurston's old question of whether the Weber-Seifert dodecahedral space is non-Haken, a problem that has been a benchmark for progress in computational 3-manifold topology over recent decades. We resolve this question by combining recent significant advances in normal surface enumeration, new heuristic pruning techniques, and a new theoretical test that extends the seminal work of Jaco and Oertel.
△ Less
Submitted 23 July, 2010; v1 submitted 25 September, 2009;
originally announced September 2009.
-
Z2-Thurston Norm and Complexity of 3-Manifolds
Authors:
William Jaco,
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
A new lower bound on the complexity of a 3-manifold is given using the Z2-Thurston norm. This bound is shown to be sharp, and the minimal triangulations realising it are characterised using normal surfaces consisting entirely of quadrilateral discs.
A new lower bound on the complexity of a 3-manifold is given using the Z2-Thurston norm. This bound is shown to be sharp, and the minimal triangulations realising it are characterised using normal surfaces consisting entirely of quadrilateral discs.
△ Less
Submitted 26 June, 2009;
originally announced June 2009.
-
Problems around 3-manifolds
Authors:
J Hyam Rubinstein
Abstract:
This is a personal view of some problems on minimal surfaces, Ricci flow, polyhedral geometric structures, Haken 4-manifolds, contact structures and Heegaard splittings, singular incompressible surfaces after the Hamilton-Perelman revolution.
This is a personal view of some problems on minimal surfaces, Ricci flow, polyhedral geometric structures, Haken 4-manifolds, contact structures and Heegaard splittings, singular incompressible surfaces after the Hamilton-Perelman revolution.
△ Less
Submitted 31 March, 2009;
originally announced April 2009.
-
Coverings and Minimal Triangulations of 3-Manifolds
Authors:
William Jaco,
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
This paper uses results on the classification of minimal triangulations of 3-manifolds to produce additional results, using covering spaces. Using previous work on minimal triangulations of lens spaces, it is shown that the lens space $L(4k, 2k-1)$ and the generalised quaternionic space $S^3/Q_{4k}$ have complexity $k,$ where $k\ge 2.$ Moreover, it is shown that their minimal triangulations are…
▽ More
This paper uses results on the classification of minimal triangulations of 3-manifolds to produce additional results, using covering spaces. Using previous work on minimal triangulations of lens spaces, it is shown that the lens space $L(4k, 2k-1)$ and the generalised quaternionic space $S^3/Q_{4k}$ have complexity $k,$ where $k\ge 2.$ Moreover, it is shown that their minimal triangulations are unique.
△ Less
Submitted 28 February, 2009;
originally announced March 2009.
-
Stability of asymmetric tetraquarks in the minimal-path linear potential
Authors:
Cafer Ay,
Jean-Marc Richard,
J. Hyam Rubinstein
Abstract:
The linear potential binding a quark and an antiquark in mesons is generalized to baryons and multiquark configurations as the minimal length of flux tubes neutralizing the color, in units of the string tension. For tetraquark systems, i.e., two quarks and two antiquarks, this involves the two possible quark--antiquark pairings, and the Steiner tree linking the quarks to the antiquarks. A novel…
▽ More
The linear potential binding a quark and an antiquark in mesons is generalized to baryons and multiquark configurations as the minimal length of flux tubes neutralizing the color, in units of the string tension. For tetraquark systems, i.e., two quarks and two antiquarks, this involves the two possible quark--antiquark pairings, and the Steiner tree linking the quarks to the antiquarks. A novel inequality for this potential demonstrates rigorously that within this model the tetraquark is stable in the limit of large quark-to-antiquark mass ratio.
△ Less
Submitted 20 January, 2009;
originally announced January 2009.
-
Minimal triangulations for an infinite family of lens spaces
Authors:
William Jaco,
J. Hyam Rubinstein,
Stephan Tillmann
Abstract:
The notion of a layered triangulation of a lens space was defined by Jaco and Rubinstein in earlier work, and, unless the lens space is L(3,1), a layered triangulation with the minimal number of tetrahedra was shown to be unique and termed its "minimal layered triangulation." This paper proves that for each integer n>1, the minimal layered triangulation of the lens space L(2n,1) is its unique mi…
▽ More
The notion of a layered triangulation of a lens space was defined by Jaco and Rubinstein in earlier work, and, unless the lens space is L(3,1), a layered triangulation with the minimal number of tetrahedra was shown to be unique and termed its "minimal layered triangulation." This paper proves that for each integer n>1, the minimal layered triangulation of the lens space L(2n,1) is its unique minimal triangulation. More generally, the minimal triangulations (and hence the complexity) are determined for an infinite family of lens spaces containing the lens spaces L(2n,1).
△ Less
Submitted 15 May, 2008;
originally announced May 2008.
-
One-sided Heegaard splittings of non-Haken 3-manifolds
Authors:
Loretta Bartolini,
J. Hyam Rubinstein
Abstract:
This paper has been withdrawn by the author, as the proof of Theorem 3.2 contains a flaw; subsequently, both it and Theorem 3.3 are not known to hold.
The content of Section 5 has been improved and expanded upon in two separate papers. The structural properties in 5.1 and 5.2 appear in arXiv:1101.2603; the classification in 5.3 in arxiv:1101.2890. Please refer to Proposition 4.4 in the former as…
▽ More
This paper has been withdrawn by the author, as the proof of Theorem 3.2 contains a flaw; subsequently, both it and Theorem 3.3 are not known to hold.
The content of Section 5 has been improved and expanded upon in two separate papers. The structural properties in 5.1 and 5.2 appear in arXiv:1101.2603; the classification in 5.3 in arxiv:1101.2890. Please refer to Proposition 4.4 in the former as a reference for arXiv:0807.4795v1.
△ Less
Submitted 17 January, 2011; v1 submitted 30 January, 2007;
originally announced January 2007.
-
Finding planar surfaces in knot- and link-manifolds
Authors:
William Jaco,
J. Hyam Rubinstein,
Eric Sedgwick
Abstract:
It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bo…
▽ More
It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangulations and especially triangulated Dehn fillings are central to our methods. We also use an average length estimate for boundary curves of embedded normal surfaces; a version of the average length estimate with boundary conditions also is derived. An algorithm is given to construct precisely those slopes on the boundary of a given link-manifold that bound an embedded punctured-disk in the link-manifold.
△ Less
Submitted 28 August, 2006;
originally announced August 2006.
-
Invariant Heegaard Surfaces in Manifolds with Involutions and the Heegaard Genus of Double Covers
Authors:
Yo'av Rieck,
J Hyam Rubinstein
Abstract:
Let M be a 3-manifold admitting a strongly irreducible Heegaard surface S and f:M \to M an involution. We construct an invariant Heegaard surface for M of genus at most 8 g(S) - 7. As a consequence, given a (possibly branched) double cover π:M \to N we obtain the following bound on the Heegaard genus of N: g(N) \leq 4g(S) - 3. We also get a bound on the complexity of the branch set in terms of g…
▽ More
Let M be a 3-manifold admitting a strongly irreducible Heegaard surface S and f:M \to M an involution. We construct an invariant Heegaard surface for M of genus at most 8 g(S) - 7. As a consequence, given a (possibly branched) double cover π:M \to N we obtain the following bound on the Heegaard genus of N: g(N) \leq 4g(S) - 3. We also get a bound on the complexity of the branch set in terms of g(S). If we assume that M is non-Haken, by Casson and Gordon we may replace g(S) by g(M) in all the statements above.
△ Less
Submitted 4 January, 2010; v1 submitted 6 July, 2006;
originally announced July 2006.
-
Knots and k-width
Authors:
Joel Hass,
J. Hyam Rubinstein,
Abigail Thompson
Abstract:
We investigate several integer invariants of curves in 3-space. We demonstrate relationships of these invariants to crossing number and to total curvature.
We investigate several integer invariants of curves in 3-space. We demonstrate relationships of these invariants to crossing number and to total curvature.
△ Less
Submitted 11 April, 2006;
originally announced April 2006.
-
Layered-triangulations of 3-manifolds
Authors:
William Jaco,
J. Hyam Rubinstein
Abstract:
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces…
▽ More
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the classification of embedded non orientable surfaces in each such lens space, as well as a new proof of the uniqueness of Heegaard splittings of lens spaces. Canonical triangulations of Dehn fillings, triangulated Dehn fillings, are constructed and applied to the study of Heegaard splittings and efficient triangulations of Dehn fillings. A new presentation of 3-manifolds as being obtained from special layered-triangulations of handlebodies with one-vertex, 2-symmetric triangulations on their boundaries, called triangulated Heegaard splittings, is defined and explored. The 1-skeleton (L-graph) of the complex determined as the quotient of the flip-complex by considering those homemorphisms of the genus g surface that extend to a homeomorphism of the genus g handlebody is used to organize much of the work. Numerous questions remain open, particularly in relation to the L-graph, 2-symmetric triangulations of a closed orientable surface, minimal layered-triangulations of genus-g-handlebodies, and the relationship of layered-triangulations to foliations.
△ Less
Submitted 29 March, 2006; v1 submitted 25 March, 2006;
originally announced March 2006.
-
Finiteness of 3-manifolds associated with non-zero degree map**s
Authors:
Michel Boileau,
J. Hyam Rubinstein,
Shicheng Wang
Abstract:
We prove a finiteness result for the $\partial$-patterned guts decomposition of all 3-manifolds obtained by splitting a given orientable, irreducible and $\partial$-irreducible 3-manifold along a closed incompressible surface. Then using the Thurston norm, we deduce that the JSJ-pieces of all 3-manifolds dominated by a given compact 3-manifold belong, up to homeomorphism, to a finite collection of…
▽ More
We prove a finiteness result for the $\partial$-patterned guts decomposition of all 3-manifolds obtained by splitting a given orientable, irreducible and $\partial$-irreducible 3-manifold along a closed incompressible surface. Then using the Thurston norm, we deduce that the JSJ-pieces of all 3-manifolds dominated by a given compact 3-manifold belong, up to homeomorphism, to a finite collection of compact 3-manifolds. We show also that any closed orientable 3-manifold dominates only finitely many integral homology spheres and any compact 3-manifolds orientable 3-manifold dominates only finitely many exterior of knots in $S^3$.
△ Less
Submitted 31 May, 2011; v1 submitted 21 November, 2005;
originally announced November 2005.
-
One-sided Heegaard splittings of RP^3
Authors:
Loretta Bartolini,
J Hyam Rubinstein
Abstract:
Using basic properties of one-sided Heegaard splittings, a direct proof that geometrically compressible one-sided splittings of RP^3 are stabilised is given. The argument is modelled on that used by Waldhausen to show that two-sided splittings of S^3 are standard.
Using basic properties of one-sided Heegaard splittings, a direct proof that geometrically compressible one-sided splittings of RP^3 are stabilised is given. The argument is modelled on that used by Waldhausen to show that two-sided splittings of S^3 are standard.
△ Less
Submitted 23 April, 2009; v1 submitted 1 September, 2005;
originally announced September 2005.
-
Ideal triangulations of 3-manifolds II: taut and angle structures
Authors:
Ensil Kang,
J. Hyam Rubinstein
Abstract:
This is the second in a series of papers in which we investigate ideal triangulations of the interiors of compact 3-manifolds with tori or Klein bottle boundaries. Such triangulations have been used with great effect, following the pioneering work of Thurston. Ideal triangulations are the basis of the computer program SNAPPEA of Weeks and the program SNAP of Coulson, Goodman, Hodgson and Neumann…
▽ More
This is the second in a series of papers in which we investigate ideal triangulations of the interiors of compact 3-manifolds with tori or Klein bottle boundaries. Such triangulations have been used with great effect, following the pioneering work of Thurston. Ideal triangulations are the basis of the computer program SNAPPEA of Weeks and the program SNAP of Coulson, Goodman, Hodgson and Neumann. Casson has also written a program to find hyperbolic structures on such 3-manifolds, by solving Thurston's hyperbolic gluing equations for ideal triangulations.
In this second paper, we study the question of when a taut ideal triangulation of an irreducible atoroidal 3-manifold admits a family of angle structures.
We find a combinatorial obstruction, which gives a necessary and sufficient condition for the existence of angle structures for taut triangulations. The hope is that this result can be further developed to give a proof of the existence of ideal triangulations admitting (complete) hyperbolic metrics.
Our main result answers a question of Lackenby. We give simple examples of taut ideal triangulations which do not admit an angle structure. Also we show that for `layered' ideal triangulations of once-punctured torus bundles over the circle, that if the manodromy is pseudo Anosov, then the triangulation admits angle structures if and only if there are no edges of degree 2. Layered triangulations are generalisations of Thurston's famous triangulation of the Figure 8 knot space. Note that existence of an angle structure easily implies that the 3-manifold has a CAT(0) or relatively word hyperbolic fundamental group.
△ Less
Submitted 21 February, 2005;
originally announced February 2005.
-
The Smale Conjecture for lens spaces
Authors:
Sungbok Hong,
Darryl McCullough,
J. Hyam Rubinstein
Abstract:
The original Smale Conjecture asserted that the inclusion of the group O(4) of isometries of the round 3-sphere S into the full diffeomorphism group Diff(S) is a homotopy equivalence. The (Generalized) Smale Conjecture asserts that the inclusion of Isom(M) into Diff(M) is a homotopy equivalence whenever M is an elliptic 3-manifold, that is, a closed Riemannian 3-manifold of constant positive cur…
▽ More
The original Smale Conjecture asserted that the inclusion of the group O(4) of isometries of the round 3-sphere S into the full diffeomorphism group Diff(S) is a homotopy equivalence. The (Generalized) Smale Conjecture asserts that the inclusion of Isom(M) into Diff(M) is a homotopy equivalence whenever M is an elliptic 3-manifold, that is, a closed Riemannian 3-manifold of constant positive curvature. We prove the Smale Conjecture for all lens spaces L(m,q), where m is at least 3.
△ Less
Submitted 31 October, 2004;
originally announced November 2004.
-
Ideal triangulations of 3--manifolds I: spun normal surface theory
Authors:
Ensil Kang,
J. Hyam Rubinstein
Abstract:
In this paper, we will compute the dimension of the space of spun and ordinary normal surfaces in an ideal triangulation of the interior of a compact 3-manifold with incompressible tori or Klein bottle components. Spun normal surfaces have been described in unpublished work of Thurston. We also define a boundary map from spun normal surface theory to the homology classes of boundary loops of the…
▽ More
In this paper, we will compute the dimension of the space of spun and ordinary normal surfaces in an ideal triangulation of the interior of a compact 3-manifold with incompressible tori or Klein bottle components. Spun normal surfaces have been described in unpublished work of Thurston. We also define a boundary map from spun normal surface theory to the homology classes of boundary loops of the 3-manifold and prove the boundary map has image of finite index. Spun normal surfaces give a natural way of representing properly embedded and immersed essential surfaces in a 3-manifold with tori and Klein bottle boundary [E Kang, `Normal surfaces in knot complements' (PhD thesis) and `Normal surfaces in non-compact 3-manifolds', preprint]. It has been conjectured that every slope in a simple knot complement can be represented by an immersed essential surface [M Baker, Ann. Inst. Fourier (Grenoble) 46 (1996) 1443-1449 and (with D Cooper) Top. Appl. 102 (2000) 239-252]. We finish by studying the boundary map for the figure-8 knot space and for the Gieseking manifold, using their natural simplest ideal triangulations. Some potential applications of the boundary map to the study of boundary slopes of immersed essential surfaces are discussed.
△ Less
Submitted 25 October, 2004;
originally announced October 2004.
-
Visualizing Ricci Flow of Manifolds of Revolution
Authors:
J. Hyam Rubinstein,
Robert Sinclair
Abstract:
We present numerical visualizations of Ricci Flow of surfaces and 3-dimensional manifolds of revolution. Ricci_rot is an educational tool which visualizes surfaces of revolution moving under Ricci flow. That these surfaces tend to remain embedded in R3 is what makes direct visualization possible. The numerical lessons gained in develo** this tool may be applicable to numerical simulation of Ri…
▽ More
We present numerical visualizations of Ricci Flow of surfaces and 3-dimensional manifolds of revolution. Ricci_rot is an educational tool which visualizes surfaces of revolution moving under Ricci flow. That these surfaces tend to remain embedded in R3 is what makes direct visualization possible. The numerical lessons gained in develo** this tool may be applicable to numerical simulation of Ricci flow of other surfaces. Similarly for simple 3-dimensional manifolds like the 3-sphere, with a metric which is invariant under the action of SO(3) with 2-sphere orbits, the metric can be represented by a 2-sphere of revolution, where the distance to the axis of revolution represents the radius of a 2-sphere orbit. Hence we can also visualize the behaviour of such a metric under Ricci flow. We discuss briefly why surfaces and 3-manifolds of revolution remain embedded in R3 and R4 respectively, under Ricci flow and finally indulge in some speculation about the idea of Ricci flow in the larger space of positive definite and indefinite metrics.
△ Less
Submitted 9 June, 2004;
originally announced June 2004.
-
Closed geodesics on incomplete surfaces
Authors:
Paul Norbury,
J. Hyam Rubinstein
Abstract:
We consider the problem of finding embedded closed geodesics on the two-sphere with an incomplete metric defined outside a point. Various techniques including curve shortening methods are used.
We consider the problem of finding embedded closed geodesics on the two-sphere with an incomplete metric defined outside a point. Various techniques including curve shortening methods are used.
△ Less
Submitted 9 September, 2003;
originally announced September 2003.
-
0-efficient triangulations of 3-manifolds
Authors:
William Jaco,
J. Hyam Rubinstein
Abstract:
0-efficient triangulations of 3-manifolds are defined and studied. It is shown that any triangulation of a closed, orientable, irreducible 3-manifold M can be modified to a 0-efficient triangulation or M can be shown to be one of the manifolds S^3, RP^3 or L(3,1). Similarly, any triangulation of a compact, orientable, irreducible, boundary-irreducible 3-manifold can be modified to a 0-efficient…
▽ More
0-efficient triangulations of 3-manifolds are defined and studied. It is shown that any triangulation of a closed, orientable, irreducible 3-manifold M can be modified to a 0-efficient triangulation or M can be shown to be one of the manifolds S^3, RP^3 or L(3,1). Similarly, any triangulation of a compact, orientable, irreducible, boundary-irreducible 3-manifold can be modified to a 0-efficient triangulation. The notion of a 0-efficient ideal triangulation is defined. It is shown if M is a compact, orientable, irreducible, boundary-irreducible 3-manifold having no essential annuli and distinct from the 3-cell, then the interior of M admits an ideal triangulation; furthermore, it is shown that any ideal triangulation of such a 3-manifold can be modified to a 0-efficient ideal triangulation. A 0-efficient triangulation of a closed manifold has only one vertex or the manifold is S^3 and the triangulation has precisely two vertices. 0-efficient triangulations of 3-manifolds with boundary, and distinct from the 3-cell, have all their vertices in the boundary and then just one vertex in each boundary component. As tools, we introduce the concepts of barrier surface and shrinking, as well as the notion of crushing a triangulation along a normal surface. A number of applications are given, including an algorithm to construct an irreducible decomposition of a closed, orientable 3-manifold, an algorithm to construct a maximal collection of pairwise disjoint, normal 2-spheres in a closed 3-manifold, an alternate algorithm for the 3-sphere recognition problem, results on edges of low valence in minimal triangulations of 3-manifolds, and a construction of irreducible knots in closed 3-manifolds.
△ Less
Submitted 18 July, 2002;
originally announced July 2002.
-
Minimal spheres of arbitrarily high Morse index
Authors:
Joel Hass,
Paul Norbury,
J. Hyam Rubinstein
Abstract:
We construct a smooth Riemannian metric on any 3-manifold with the property that there are genus zero embedded minimal surfaces of arbitrarily high Morse index.
We construct a smooth Riemannian metric on any 3-manifold with the property that there are genus zero embedded minimal surfaces of arbitrarily high Morse index.
△ Less
Submitted 27 June, 2002;
originally announced June 2002.
