-
A mathematical model for the progression of dental caries
Authors:
Rene Fabregas,
Jacob Rubinstein
Abstract:
A model for the progression of dental caries is derived. The analysis starts at the microscopic reaction and diffusion process. The local equations are averaged to derive a set of macroscopic equations. The global system includes features such as anisotropic diffusion and local changes in the geometry due to the enamel melting. The equations are then solved numerically. The simulations highlight t…
▽ More
A model for the progression of dental caries is derived. The analysis starts at the microscopic reaction and diffusion process. The local equations are averaged to derive a set of macroscopic equations. The global system includes features such as anisotropic diffusion and local changes in the geometry due to the enamel melting. The equations are then solved numerically. The simulations highlight the effect of anisotropy. In addition we draw conclusions on the progression rate of caries, and discuss them in light of a number of experiments.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
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.
-
A flexible anatomical set of mechanical models for the organ of Corti
Authors:
Jorge Berger,
Jacob Rubinstein
Abstract:
We built a flexible platform to study the mechanical operation of the organ of Corti (OoC) in the transduction of basilar membrane (BM) vibrations to oscillations of an inner hair cell bundle (IHB). The anatomical components that we consider are the outer hair cells (OHCs), the outer hair cell bundles, Deiters cells, Hensen cells, the IHB and various sections of the reticular lamina. In each of th…
▽ More
We built a flexible platform to study the mechanical operation of the organ of Corti (OoC) in the transduction of basilar membrane (BM) vibrations to oscillations of an inner hair cell bundle (IHB). The anatomical components that we consider are the outer hair cells (OHCs), the outer hair cell bundles, Deiters cells, Hensen cells, the IHB and various sections of the reticular lamina. In each of the components we apply Newton's equations of motion. The components are coupled to each other and are further coupled to the endolymph fluid motion in the subtectorial gap. This allows us to obtain the forces acting on the IHB, and thus study its motion as a function of the parameters of the different components. Some of the components include a nonlinear mechanical response. We found that slight bending of the apical ends of the OHCs can have a significant impact on the passage of motion from the BM to the IHB, including critical oscillator behaviour. In particular, our model implies that the components of the OoC could cooperate to enhance frequency selectivity, amplitude compression and signal to noise ratio in the passage from the BM to the IHB. Since the model is modular, it is easy to modify the assumptions and parameters for each component.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Clinical Micro-CT Empowered by Interior Tomography, Robotic Scanning, and Deep Learning
Authors:
Mengzhou Li,
Zheng Fang,
Wenxiang Cong,
Chuang Niu,
Weiwen Wu,
Josef Uher,
James Bennett,
Jay T. Rubinstein,
Ge Wang
Abstract:
While micro-CT systems are instrumental in preclinical research, clinical micro-CT imaging has long been desired with cochlear implantation as a primary example. The structural details of the cochlear implant and the temporal bone require a significantly higher image resolution than that (about 0.2 mm) provided by current medical CT scanners. In this paper, we propose a clinical micro-CT (CMCT) sy…
▽ More
While micro-CT systems are instrumental in preclinical research, clinical micro-CT imaging has long been desired with cochlear implantation as a primary example. The structural details of the cochlear implant and the temporal bone require a significantly higher image resolution than that (about 0.2 mm) provided by current medical CT scanners. In this paper, we propose a clinical micro-CT (CMCT) system design integrating conventional spiral cone-beam CT, contemporary interior tomography, deep learning techniques, and technologies of micro-focus X-ray source, photon-counting detector (PCD), and robotic arms for ultrahigh resolution localized tomography of a freely-selected volume of interest (VOI) at a minimized radiation dose level. The whole system consists of a standard CT scanner for a clinical CT exam and VOI specification, and a robotic-arm based micro-CT scanner for a local scan at much higher spatial and spectral resolution as well as much reduced radiation dose. The prior information from global scan is also fully utilized for background compensation to improve interior tomography from local data for accurate and stable VOI reconstruction. Our results and analysis show that the proposed hybrid reconstruction algorithm delivers superior local reconstruction, being insensitive to the misalignment of the isocenter position and initial view angle in the data/image registration while the attenuation error caused by scale mismatch can be effectively addressed with bias correction. These findings demonstrate the feasibility of our system design. We envision that deep learning techniques can be leveraged for optimized imaging performance. With high resolution imaging, high dose efficiency and low system cost synergistically, our proposed CMCT system has great potentials in temporal bone imaging as well as various other clinical applications.
△ Less
Submitted 16 November, 2020;
originally announced November 2020.
-
Reduced equations for an active model of the hydroelastic waves in the cochlea
Authors:
Jacob Rubinstein,
Peter Sternberg
Abstract:
Building upon our earlier passive models for the cochlea, here we enhance the model with an active mechanism. Starting with a one-chamber simplification leading to a system of a time-dependent PDE in two spatial variables for the pressure coupled to a PDE in one spatial variable for the oscillation of the basilar membrane, we rigorously establish the validity of a dimension reduction to a system t…
▽ More
Building upon our earlier passive models for the cochlea, here we enhance the model with an active mechanism. Starting with a one-chamber simplification leading to a system of a time-dependent PDE in two spatial variables for the pressure coupled to a PDE in one spatial variable for the oscillation of the basilar membrane, we rigorously establish the validity of a dimension reduction to a system to two ODE's. We then present numerical simulations demonstrating the ability of this reduced active system to distinguish and amplify multi-frequency input signals.
△ Less
Submitted 10 August, 2020;
originally announced August 2020.
-
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.
-
Description and comparison of algorithms for correcting anisotropic magnification in cryo-EM images
Authors:
Jianhua Zhao,
Marcus A. Brubaker,
Samir Benlekbir,
John L. Rubinstein
Abstract:
Single particle electron cryomicroscopy (cryo-EM) allows for structures of proteins and protein complexes to be determined from images of non-crystalline specimens. Cryo-EM data analysis requires electron microscope images of randomly oriented ice-embedded protein particles to be rotated and translated to allow for coherent averaging when calculating three-dimensional (3D) structures. Rotation of…
▽ More
Single particle electron cryomicroscopy (cryo-EM) allows for structures of proteins and protein complexes to be determined from images of non-crystalline specimens. Cryo-EM data analysis requires electron microscope images of randomly oriented ice-embedded protein particles to be rotated and translated to allow for coherent averaging when calculating three-dimensional (3D) structures. Rotation of 2D images is usually done with the assumption that the magnification of the electron microscope is the same in all directions. However, due to electron optical aberrations, this condition is not met with some electron microscopes when used with the settings necessary for cryo-EM with a direct detector device (DDD) camera. Correction of images by linear interpolation in real space has allowed high-resolution structures to be calculated from cryo-EM images for symmetric particles. Here we describe and compare a simple real space method, a simple Fourier space method, and a somewhat more sophisticated Fourier space method to correct images for a measured anisotropy in magnification. Further, anisotropic magnification causes contrast transfer function (CTF) parameters estimated from image power spectra to have an apparent systematic astigmatism. To address this problem we develop an approach to adjust CTF parameters measured from distorted images so that they can be used with corrected images. The effect of anisotropic magnification on CTF parameters provides a simple way of detecting magnification anisotropy in cryo-EM datasets.
△ Less
Submitted 7 August, 2015; v1 submitted 23 January, 2015;
originally announced January 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.
-
Alignment of cryo-EM movies of individual particles by optimization of image translations
Authors:
John L. Rubinstein,
Marcus A. Brubaker
Abstract:
Direct detector device (DDD) cameras have revolutionized single particle electron cryomicroscopy (cryo-EM). In addition to an improved camera detective quantum efficiency, acquisition of DDD movies allows for correction of movement of the specimen, due both to instabilities in the microscope specimen stage and electron beam-induced movement. Unlike specimen stage drift, beam-induced movement is no…
▽ More
Direct detector device (DDD) cameras have revolutionized single particle electron cryomicroscopy (cryo-EM). In addition to an improved camera detective quantum efficiency, acquisition of DDD movies allows for correction of movement of the specimen, due both to instabilities in the microscope specimen stage and electron beam-induced movement. Unlike specimen stage drift, beam-induced movement is not always homogeneous within an image. Local correlation in the trajectories of nearby particles suggests that beam-induced motion is due to deformation of the ice layer. Algorithms have already been described that can correct movement for large regions of frames and for > 1 MDa protein particles. Another algorithm allows individual < 1 MDa protein particle trajectories to be estimated, but requires rolling averages to be calculated from frames and fits linear trajectories for particles. Here we describe an algorithm that allows for individual < 1 MDa particle images to be aligned without frame averaging or linear trajectories. The algorithm maximizes the overall correlation of the shifted frames with the sum of the shifted frames. The optimum in this single objective function is found efficiently by making use of analytically calculated derivatives of the function. To smooth estimates of particle trajectories, rapid changes in particle positions between frames are penalized in the objective function and weighted averaging of nearby trajectories ensures local correlation in trajectories. This individual particle motion correction, in combination with weighting of Fourier components to account for increasing radiation damage in later frames, can be used to improve 3-D maps from single particle cryo-EM.
△ Less
Submitted 30 September, 2015; v1 submitted 23 September, 2014;
originally announced September 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 keeping 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 keeping 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.
-
Kinematic and dynamic vortices in a thin film driven by an applied current and magnetic field
Authors:
Lydia Peres Hari,
Jacob Rubinstein,
Peter Sternberg
Abstract:
Using a Ginzburg-Landau model, we study the vortex behavior of a rectangular thin film superconductor subjected to an applied current fed into a portion of the sides and an applied magnetic field directed orthogonal to the film.
Through a center manifold reduction we develop a rigorous bifurcation theory for the appearance of periodic solutions in certain parameter regimes near the normal state.…
▽ More
Using a Ginzburg-Landau model, we study the vortex behavior of a rectangular thin film superconductor subjected to an applied current fed into a portion of the sides and an applied magnetic field directed orthogonal to the film.
Through a center manifold reduction we develop a rigorous bifurcation theory for the appearance of periodic solutions in certain parameter regimes near the normal state. The leading order dynamics yield in particular a motion law for kinematic vortices moving up and down the center line of the sample. We also present computations that reveal the co-existence and periodic evolution of kinematic and magnetic vortices.
△ Less
Submitted 16 January, 2013;
originally announced January 2013.
-
A point process framework for modeling electrical stimulation of the auditory nerve
Authors:
Joshua H. Goldwyn,
Jay T. Rubinstein,
Eric Shea-Brown
Abstract:
Model-based studies of auditory nerve responses to electrical stimulation can provide insight into the functioning of cochlear implants. Ideally, these studies can identify limitations in sound processing strategies and lead to improved methods for providing sound information to cochlear implant users. To accomplish this, models must accurately describe auditory nerve spiking while avoiding excess…
▽ More
Model-based studies of auditory nerve responses to electrical stimulation can provide insight into the functioning of cochlear implants. Ideally, these studies can identify limitations in sound processing strategies and lead to improved methods for providing sound information to cochlear implant users. To accomplish this, models must accurately describe auditory nerve spiking while avoiding excessive complexity that would preclude large-scale simulations of populations of auditory nerve fibers and obscure insight into the mechanisms that influence neural encoding of sound information. In this spirit, we develop a point process model of the auditory nerve that provides a compact and accurate description of neural responses to electric stimulation. Inspired by the framework of generalized linear models, the proposed model consists of a cascade of linear and nonlinear stages. We show how each of these stages can be associated with biophysical mechanisms and related to models of neuronal dynamics. Moreover, we derive a semi-analytical procedure that uniquely determines each parameter in the model on the basis of fundamental statistics from recordings of single fiber responses to electric stimulation, including threshold, relative spread, jitter, and chronaxie. The model also accounts for refractory and summation effects that influence the responses of auditory nerve fibers to high pulse rate stimulation. Throughout, we compare model predictions to published physiological data and explain differences in auditory nerve responses to high and low pulse rate stimulation. We close by performing an ideal observer analysis of simulated spike trains in response to sinusoidally amplitude modulated stimuli and find that carrier pulse rate does not affect modulation detection thresholds.
△ Less
Submitted 25 January, 2012;
originally announced January 2012.
-
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 sweeping 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.
-
The resistive state in a superconducting wire: Bifurcation from the normal state
Authors:
Jacob Rubinstein,
Peter Sternberg,
Kevin Zumbrun
Abstract:
We study formally and rigorously the bifurcation to steady and time-periodic states in a model for a thin superconducting wire in the presence of an imposed current. Exploiting the PT-symmetry of the equations at both the linearized and nonlinear levels, and taking advantage of the collision of real eigenvalues leading to complex spectrum, we obtain explicit asymptotic formulas for the stationar…
▽ More
We study formally and rigorously the bifurcation to steady and time-periodic states in a model for a thin superconducting wire in the presence of an imposed current. Exploiting the PT-symmetry of the equations at both the linearized and nonlinear levels, and taking advantage of the collision of real eigenvalues leading to complex spectrum, we obtain explicit asymptotic formulas for the stationary solutions, for the amplitude and period of the bifurcating periodic solutions and for the location of their zeros or "phase slip centers" as they are known in the physics literature. In so doing, we construct a center manifold for the flow and give a complete description of the associated finite-dimensional dynamics.
△ Less
Submitted 20 December, 2007;
originally announced December 2007.
-
Bifurcation diagram and pattern formation in superconducting wires with electric currents
Authors:
J. rubinstein,
P. Sternberg,
Q. Ma
Abstract:
We examine the behavior of a one-dimensional superconducting wire exposed to an applied electric current. We use the time-dependent Ginzburg-Landau model to describe the system and retain temperature and applied current as parameters. Through a combination of spectral analysis, asymptotics and canonical numerical computation, we divide this two-dimensional parameter space into a number of region…
▽ More
We examine the behavior of a one-dimensional superconducting wire exposed to an applied electric current. We use the time-dependent Ginzburg-Landau model to describe the system and retain temperature and applied current as parameters. Through a combination of spectral analysis, asymptotics and canonical numerical computation, we divide this two-dimensional parameter space into a number of regions. In some of them only the normal state or a stationary state or an oscillatory state are stable, while in some of them two states are stable. One of the most interesting features of the analysis is the evident collision of real eigenvalues of the associated PT-symmetric linearization, leading as it does to the emergence of complex elements of the spectrum. In particular this provides an explanation to the emergence of a stable oscillatory state. We show that part of the bifurcation diagram and many of the emerging patterns are directly controlled by this spectrum, while other patterns arise due to nonlinear interaction of the leading eigenfunctions.
△ Less
Submitted 30 July, 2007;
originally announced July 2007.
-
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.
