4,353 research outputs found
Verified computations for hyperbolic 3-manifolds
For a given cusped 3-manifold M admitting an ideal triangulation, we describe a method to rigorously prove that either M or a filling of M admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while accounting for error accumulation in a more direct and user friendly way.Mathematic
Exceptional surgeries on alternating knots
We give a complete classification of exceptional surgeries on hyperbolic
alternating knots in the 3-sphere. As an appendix, we also show that the
Montesinos knots M (-1/2, 2/5, 1/(2q + 1)) with q at least 5 have no
non-trivial exceptional surgeries. This gives the final step in a complete
classification of exceptional surgery on arborescent knots.Comment: 30 pages, 19 figures. v2: recomputation performed via the newest
version of hikmot, v3: revised according to referees' comments, to appear in
Comm. Anal. Geo
Finite-time Lagrangian transport analysis: Stable and unstable manifolds of hyperbolic trajectories and finite-time Lyapunov exponents
We consider issues associated with the Lagrangian characterisation of flow
structures arising in aperiodically time-dependent vector fields that are only
known on a finite time interval. A major motivation for the consideration of
this problem arises from the desire to study transport and mixing problems in
geophysical flows where the flow is obtained from a numerical solution, on a
finite space-time grid, of an appropriate partial differential equation model
for the velocity field. Of particular interest is the characterisation,
location, and evolution of "transport barriers" in the flow, i.e. material
curves and surfaces. We argue that a general theory of Lagrangian transport has
to account for the effects of transient flow phenomena which are not captured
by the infinite-time notions of hyperbolicity even for flows defined for all
time. Notions of finite-time hyperbolic trajectories, their finite time stable
and unstable manifolds, as well as finite-time Lyapunov exponent (FTLE) fields
and associated Lagrangian coherent structures have been the main tools for
characterizing transport barriers in the time-aperiodic situation. In this
paper we consider a variety of examples, some with explicit solutions, that
illustrate, in a concrete manner, the issues and phenomena that arise in the
setting of finite-time dynamical systems. Of particular significance for
geophysical applications is the notion of "flow transition" which occurs when
finite-time hyperbolicity is lost, or gained. The phenomena discovered and
analysed in our examples point the way to a variety of directions for rigorous
mathematical research in this rapidly developing, and important, new area of
dynamical systems theory
Asymmetric hyperbolic L-spaces, Heegaard genus, and Dehn filling
An L-space is a rational homology 3-sphere with minimal Heegaard Floer
homology. We give the first examples of hyperbolic L-spaces with no symmetries.
In particular, unlike all previously known L-spaces, these manifolds are not
double branched covers of links in S^3. We prove the existence of infinitely
many such examples (in several distinct families) using a mix of hyperbolic
geometry, Floer theory, and verified computer calculations. Of independent
interest is our technique for using interval arithmetic to certify symmetry
groups and non-existence of isometries of cusped hyperbolic 3-manifolds. In the
process, we give examples of 1-cusped hyperbolic 3-manifolds of Heegaard genus
3 with two distinct lens space fillings. These are the first examples where
multiple Dehn fillings drop the Heegaard genus by more than one, which answers
a question of Gordon.Comment: 19 pages, 2 figures. v2: minor changes to intro. v3: accepted
version, to appear in Math. Res. Letter
Local stable and unstable manifolds and their control in nonautonomous finite-time flows
It is well-known that stable and unstable manifolds strongly influence fluid
motion in unsteady flows. These emanate from hyperbolic trajectories, with the
structures moving nonautonomously in time. The local directions of emanation at
each instance in time is the focus of this article. Within a nearly autonomous
setting, it is shown that these time-varying directions can be characterised
through the accumulated effect of velocity shear. Connections to Oseledets
spaces and projection operators in exponential dichotomies are established.
Availability of data for both infinite and finite time-intervals is considered.
With microfluidic flow control in mind, a methodology for manipulating these
directions in any prescribed time-varying fashion by applying a local velocity
shear is developed. The results are verified for both smoothly and
discontinuously time-varying directions using finite-time Lyapunov exponent
fields, and excellent agreement is obtained.Comment: Under consideration for publication in the Journal of Nonlinear
Science
- …