This paper proves two main results. First, it is shown that if Σ is a smooth manifold homeomorphic to the standard n-torus T n = R n Z n and H is a real-analytically completely integrable convex hamiltonian on T ∗Σ, then Σ is diffeomorphic to Tn. Second, it is proven that for some topological 7-manifolds, the cotangent bundle of each smooth structure admits a real-analytically completely integrable riemannian metric hamiltonian.
Taimanov @cite_27 has proven that if a compact manifold @math admits a real-analytically completely integrable geodesic flow, then @math is almost abelian of rank at most @math ; @math ; and there is an injection @math where @math . These constraints are ineffective for exotic tori.
@cite_27
2133347489 2061464622 1783384750 1970564715 2112393140 2090335219 1972018751 2041166905 2083308781 2015836240 2069460639 165483176 1945101555 2125003829 2208813460 2962741677 2118972993 2041867826 2012048508 2091592576
In this paper, (Liouville) integrability of geodesic flows on non-simply-connected manifolds is studied. In particular, the following result is obtained: A geodesic flow on a real-analytic Riemannian manifold cannot be integrable in terms of analytic functions if either 1) the fundamental group of the manifold contains no commutative subgroup of finite index, or 2) the first Betti number of the manifold over the field of rational numbers is greater than the dimension (the manifold is assumed to be closed). Bibliography: 11 titles. We establish a generic sufficient condition for a compact n-dimensional manifold bearing an integrable geodesic flow to be the n-torus. As a complementary result, we show that in the case of domains of possible motions with boundary, the first Betti number of the domain of possible motions may be arbitrarily large. We present a general mechanism to establish the existence of diffusing orbits in a large class of nearly integrable Hamiltonian systems. Our approach relies on successive applications of the outer dynamics' along homoclinic orbits to a normally hyperbolic invariant manifold. The information on the outer dynamics is encoded by a geometrically defined map, referred to as the scattering map'. We find pseudo-orbits of the scattering map that keep advancing in some privileged direction. Then we use the recurrence property of the inner dynamics', restricted to the normally hyperbolic invariant manifold, to return to those pseudo-orbits. Finally, we apply topological methods to show the existence of true orbits that follow the successive applications of the two dynamics. This method differs, in several crucial aspects, from earlier works. Unlike the well known two-dynamics' approach, the method we present relies on the outer dynamics alone. There are virtually no assumptions on the inner dynamics, as its invariant objects (e.g., primary and secondary tori, lower dimensional hyperbolic tori and their stable unstable manifolds, Aubry-Mather sets) are not used at all. The method applies to unperturbed Hamiltonians of arbitrary degrees of freedom that are not necessarily convex. In addition, this mechanism is easy to verify (analytically or numerically) in concrete examples, as well as to establish diffusion in generic systems. We include several applications, such as bridging large gaps in a priori unstable models in any dimension, and establishing diffusion in cases when the inner dynamics is a non-twist map. We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions. It is interpreted as an entropy for a certain canonical ensemble. Several geometric applications are given. In particular, (1) Ricci flow, considered on the space of riemannian metrics modulo diffeomorphism and scaling, has no nontrivial periodic orbits (that is, other than fixed points); (2) In a region, where singularity is forming in finite time, the injectivity radius is controlled by the curvature; (3) Ricci flow can not quickly turn an almost euclidean region into a very curved one, no matter what happens far away. We also verify several assertions related to Richard Hamilton's program for the proof of Thurston geometrization conjecture for closed three-manifolds, and give a sketch of an eclectic proof of this conjecture, making use of earlier results on collapsing with local lower curvature bound. We compute the sum of the positive Lyapunov exponents of the Hodge bundle with respect to the Teichmuller geodesic flow. The computation is based on the analytic Riemann-Roch Theorem and uses a comparison of determinants of flat and hyperbolic Laplacians when the underlying Riemann surface degenerates. We show that certain mechanical systems, including a geodesic °ow in any dimension plus a quasi-periodic perturbation by a potential, have orbits of unbounded energy. The assumptions we make in the case of geodesic °ows are: a) The metric and the external perturbation are smooth enough. b) The geodesic °ow has a hyperbolic periodic orbit such that its stable and unstable manifolds have a tranverse homoclinic intersection. c) The frequency of the external perturbation is Diophantine. d) The external potential satisOes a generic condition depending on the periodic orbit considered in b). The assumptions on the metric are C2 open and are known to be dense on many manifolds. The assumptions on the potential fail only in inOnite codimension spaces of potentials. The proof is based on geometric considerations of invariant manifolds and their intersections. The main tools include the scattering map of normally hyperbolic invariant manifolds, as well as standard perturbation theories (averaging, KAM and Melnikov techniques). We do not need to assume that the metric is Riemannian and we obtain results for Finsler or Lorentz metrics. Indeed, there is a formulation for Hamiltonian systems satisfying scaling hypotheses. We do not need to make assumptions on the global topology of the manifold nor on its dimension. For a 3-manifold with triangulated boundary, the Turaev–Viro topological invariant can be interpreted as a quantum error-correcting code. The code has local stabilizers, identified by Levin and Wen, on a qudit lattice. Kitaev’s toric code arises as a special case. The toric code corresponds to an abelian anyon model, and therefore requires out-of-code operations to obtain universal quantum computation. In contrast, for many categories, such as the Fibonacci category, the Turaev–Viro code realizes a non-abelian anyon model. A universal set of fault-tolerant operations can be implemented by deforming the code with local gates, in order to implement anyon braiding. We identify the anyons in the code space, and present schemes for initialization, computation and measurement. This provides a family of constructions for fault-tolerant quantum computation that are closely related to topological quantum computation, but for which the fault tolerance is implemented in software rather than coming from a physical medium. This study derives geometric, variational discretization of continuum theories arising in fluid dynamics, magnetohydrodynamics (MHD), and the dynamics of complex fluids. A central role in these discretizations is played by the geometric formulation of fluid dynamics, which views solutions to the governing equations for perfect fluid flow as geodesics on the group of volume-preserving diffeomorphisms of the fluid domain. Inspired by this framework, we construct a finite-dimensional approximation to the diffeomorphism group and its Lie algebra, thereby permitting a variational temporal discretization of geodesics on the spatially discretized diffeomorphism group. The extension to MHD and complex fluid flow is then made through an appeal to the theory of Euler–Poincare systems with advection, which provides a generalization of the variational formulation of ideal fluid flow to fluids with one or more advected parameters. Upon deriving a family of structured integrators for these systems, we test their performance via a numerical implementation of the update schemes on a cartesian grid. Among the hallmarks of these new numerical methods are exact preservation of momenta arising from symmetries, automatic satisfaction of solenoidal constraints on vector fields, good long-term energy behavior, robustness with respect to the spatial and temporal resolution of the discretization, and applicability to irregular meshes. Let @math be a geometrically bounded symplectic manifold, @math be a closed, regular coisotropic submanifold, and @math be a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of @math is bounded below by the sum of the Betti numbers of @math , provided that the Hofer distance between @math and the identity is small enough and the pair @math is non-degenerate. As an application, I prove a presymplectic non-embedding result. A version of the Arnold-Givental conjecture for coisotropic submanifolds is also discussed. A particle in Rd moves in discrete time. The size of the nth step is of order 1 n and when the particle is at a position v the expectation of the next step is in the direction F(v) for some fixed vector function F of class C2. It is well known that the only possible points p where v(n) may converge are those satisfying F(p) = 0. This paper proves that convergence to some of these points is in fact impossible as long as the "noise" -the difference between each step and its expectation-is sufficiently omnidirectional. The points where convergence is impossible are the unstable critical points for the autonomous flow (d dt)v(t) = F(v(t)). This generalizes several known results that say convergence is impossible at a repelling node of the flow. In this paper, we find upper bounds for the eigenvalues of the Laplacian in the conformal class of a compact Riemannian manifold (M,g). These upper bounds depend only on the dimension and a conformal invariant that we call “min-conformal volume”. Asymptotically, these bounds are consistent with the Weyl law and improve previous results by Korevaar and Yang and Yau. The proof relies on the construction of a suitable family of disjoint domains providing supports for a family of test functions. This method is interesting for itself and powerful. As a further application of the method we obtain an upper bound for the eigenvalues of the Steklov problem in a domain with C1 boundary in a complete Riemannian manifold in terms of the isoperimetric ratio of the domain and the conformal invariant that we introduce. This paper advocates a novel framework for segmenting a dataset in a Riemannian manifold @math into clusters lying around low-dimensional submanifolds of @math . Important examples of @math , for which the proposed clustering algorithm is computationally efficient, are the sphere, the set of positive definite matrices, and the Grassmannian. The clustering problem with these examples of @math is already useful for numerous application domains such as action identification in video sequences, dynamic texture clustering, brain fiber segmentation in medical imaging, and clustering of deformed images. The proposed clustering algorithm constructs a data-affinity matrix by thoroughly exploiting the intrinsic geometry and then applies spectral clustering. The intrinsic local geometry is encoded by local sparse coding and more importantly by directional information of local tangent spaces and geodesics. Theoretical guarantees are established for a simplified variant of the algorithm even when the clusters intersect. To avoid complication, these guarantees assume that the underlying submanifolds are geodesic. Extensive validation on synthetic and real data demonstrates the resiliency of the proposed method against deviations from the theoretical model as well as its superior performance over state-of-the-art techniques. Let @math be a smooth scheme over an algebraically closed field @math of characteristic zero and @math a regular function, and write @math Crit @math , as a closed subscheme of @math . The motivic vanishing cycle @math is an element of the @math -equivariant motivic Grothendieck ring @math defined by Denef and Loeser math.AG 0006050 and Looijenga math.AG 0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) @math depends only on the third-order thickenings @math of @math . (b) If @math is another smooth scheme, @math is regular, @math Crit @math , and @math is an embedding with @math and @math an isomorphism, then @math equals @math "twisted" by a motive associated to a principal @math -bundle defined using @math , where now we work in a quotient ring @math of @math . (c) If @math is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive @math , such that if @math is locally modelled on Crit @math , then @math is locally modelled on @math . Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold. This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090. Recently, manifold learning has been widely exploited in pattern recognition, data analysis, and machine learning. This paper presents a novel framework, called Riemannian manifold learning (RML), based on the assumption that the input high-dimensional data lie on an intrinsically low-dimensional Riemannian manifold. The main idea is to formulate the dimensionality reduction problem as a classical problem in Riemannian geometry, that is, how to construct coordinate charts for a given Riemannian manifold? We implement the Riemannian normal coordinate chart, which has been the most widely used in Riemannian geometry, for a set of unorganized data points. First, two input parameters (the neighborhood size k and the intrinsic dimension d) are estimated based on an efficient simplicial reconstruction of the underlying manifold. Then, the normal coordinates are computed to map the input high-dimensional data into a low- dimensional space. Experiments on synthetic data, as well as real-world images, demonstrate that our algorithm can learn intrinsic geometric structures of the data, preserve radial geodesic distances, and yield regular embeddings. In this article we prove global rigidity results for hyperbolic actions of higher-rank lattices. Suppose @math is a lattice in semisimple Lie group, all of whose factors have rank @math or higher. Let @math be a smooth @math -action on a compact nilmanifold @math that lifts to an action on the universal cover. If the linear data @math of @math contains a hyperbolic element, then there is a continuous semiconjugacy intertwining the actions of @math and @math , on a finite-index subgroup of @math . If @math is a @math action and contains an Anosov element, then the semiconjugacy is a @math conjugacy. As a corollary, we obtain @math global rigidity for Anosov actions by cocompact lattices in semisimple Lie group with all factors rank @math or higher. We also obtain global rigidity of Anosov actions of @math on @math for @math and probability-preserving Anosov actions of arbitrary higher-rank lattices on nilmanifolds. We prove that any smooth action of @math , @math , on an @math -dimensional manifold that preserves a measure such that all non-identity elements of the suspension have positive entropy is essentially algebraic, i.e., isomorphic up to a finite permutation to an affine action on the torus or on its factor by @math . Furthermore this isomorphism has nice geometric properties; in particular, it is smooth in the sense of Whitney on a set whose complement has arbitrarily small measure. We further derive restrictions on topology of manifolds that may admit such actions, for example, excluding spheres and obtaining lower estimate on the first Betti number in the odd-dimensional case. Abstract Since the seminal work of [Sussman, M, Smereka P, Osher S. A level set approach for computing solutions to incompressible two-phase flow. J Comput Phys 1994;114:146–59] on coupling the level set method of [Osher S, Sethian J. Fronts propagating with curvature-dependent speed: algorithms based on Hamilton–Jacobi formulations. J Comput Phys 1988;79:12–49] to the equations for two-phase incompressible flow, there has been a great deal of interest in this area. That work demonstrated the most powerful aspects of the level set method, i.e. automatic handling of topological changes such as merging and pinching, as well as robust geometric information such as normals and curvature. Interestingly, this work also demonstrated the largest weakness of the level set method, i.e. mass or information loss characteristic of most Eulerian capturing techniques. In fact, [Sussman M, Smereka P, Osher S. A level set approach for computing solutions to incompressible two-phase flow. J Comput Phys 1994;114:146–59] introduced a partial differential equation for battling this weakness, without which their work would not have been possible. In this paper, we discuss both historical and most recent works focused on improving the computational accuracy of the level set method focusing in part on applications related to incompressible flow due to both of its popularity and stringent accuracy requirements. Thus, we discuss higher order accurate numerical methods such as Hamilton–Jacobi WENO [Jiang G-S, Peng D. Weighted ENO schemes for Hamilton–Jacobi equations. SIAM J Sci Comput 2000;21:2126–43], methods for maintaining a signed distance function, hybrid methods such as the particle level set method [Enright D, Fedkiw R, Ferziger J, Mitchell I. A hybrid particle level set method for improved interface capturing. J Comput Phys 2002;183:83–116] and the coupled level set volume of fluid method [Sussman M, Puckett EG. A coupled level set and volume-of-fluid method for computing 3d and axisymmetric incompressible two-phase flows. J Comput Phys 2000;162:301–37], and adaptive gridding techniques such as the octree approach to free surface flows proposed in [Losasso F, Gibou F, Fedkiw R. Simulating water and smoke with an octree data structure, ACM Trans Graph (SIGGRAPH Proc) 2004;23:457–62]. We consider the relationship of the geometry of compact Riemannian manifolds with boundary to the first nonzero eigenvalue σ1 of the Dirichlet-to-Neumann map (Steklov eigenvalue). For surfaces Σ with genus γ and k boundary components we obtain the upper bound σ1L(∂Σ)⩽2(γ+k)π. For γ=0 and k=1 this result was obtained by Weinstock in 1954, and is sharp. We attempt to find the best constant in this inequality for annular surfaces (γ=0 and k=2). For rotationally symmetric metrics we show that the best constant is achieved by the induced metric on the portion of the catenoid centered at the origin which meets a sphere orthogonally and hence is a solution of the free boundary problem for the area functional in the ball. For a general class of (not necessarily rotationally symmetric) metrics on the annulus, which we call supercritical, we prove that σ1(Σ)L(∂Σ) is dominated by that of the critical catenoid with equality if and only if the annulus is conformally equivalent to the critical catenoid by a conformal transformation which is an isometry on the boundary. Motivated by the annulus case, we show that a proper submanifold of the ball is immersed by Steklov eigenfunctions if and only if it is a free boundary solution. We then prove general upper bounds for conformal metrics on manifolds of any dimension which can be properly conformally immersed into the unit ball in terms of certain conformal volume quantities. We show that these bounds are only achieved when the manifold is minimally immersed by first Steklov eigenfunctions. We also use these ideas to show that any free boundary solution in two dimensions has area at least π, and we observe that this implies the sharp isoperimetric inequality for free boundary solutions in the two-dimensional case. In this paper, we cast the problem of point cloud matching as a shape matching problem by transforming each of the given point clouds into a shape representation called the Schrodinger distance transform (SDT) representation. This is achieved by solving a static Schrodinger equation instead of the corresponding static Hamilton-Jacobi equation in this setting. The SDT representation is an analytic expression and following the theoretical physics literature, can be normalized to have unit 2 norm -- making it a square-root density, which is identified with a point on a unit Hilbert sphere, whose intrinsic geometry is fully known. The Fisher-Rao metric, a natural metric for the space of densities leads to analytic expressions for the geodesic distance between points on this sphere. In this paper, we use the well known Riemannian framework never before used for point cloud matching, and present a novel matching algorithm. We pose point set matching under rigid and non-rigid transformations in this framework and solve for the transformations using standard nonlinear optimization techniques. Finally, to evaluate the performance of our algorithm -- dubbed SDTM -- we present several synthetic and real data examples along with extensive comparisons to state-of-the-art techniques. The experiments show that our algorithm outperforms state-of the-art point set registration algorithms on many quantitative metrics. Abstract We make explicit the geometric content of Mel’nikov’s method for detecting heteroclinic points between transversally hyperbolic periodic orbits. After developing the general theory of intersections for pairs of families of Lagrangian submanifolds N e ± , with N 0 + = N 0 − and constrained to live in an auxiliary family of submanifolds, we explain how the heteroclinic orbits of a given Hamiltonian system are detected by the zeros of the Mel’nikov 1-form. This 1-form admits an integral expression which is non-convergent in general. We discuss different solutions to this convergence problem.