Deformations of Real Rational Dynamics in Tropical Geometry

In this paper we study analytic properties of orbits given by real rational functions. We introduce some comparison methods which allow us to compare the real rational dynamics with automata given by (max, +) functions, passing through a kind of scale transform in tropical geometry. Such a scale transform gives a one-to-one correspondence of presentations between automata and real rational functions. We study invariant properties of the real rational dynamics under change of presentations of automata.     

Collectives of Automata in Finitely Generated Groups

Mathematical Notes - The present paper is devoted to traversing a maze by a collective of automata. This part of automata theory gave rise to a fairly wide range of diverse problems ([1], [2]),...     

Representation of Automata by Groups. II

We obtain necessary and sufficient conditions under which the representation of abstract automata in terms of finite groups is consistent with the transition function of an automaton. We obtain sufficient conditions under which the mapping of a free semigroup of an automaton into a group realized by a component of the representation is a homomorphism.     

Large Scale Geometry of Nilpotent-By-Cyclic Groups

We show quasi-isometric rigidity for a class of finitely generated, non-polycyclic nilpotent-by-cyclic groups. Specifically, let Γ₁, Γ₂ be ascending HNN extensions of finitely generated nilpotent groups N ₁ and N ₂, such that Γ₁ is irreducible (see Definition 1.1). If Γ₁ and Γ₂ are quasi-isometric to each other then N ₁ and N ₂ are virtual lattices in a common simply connected nilpotent Lie group [(N)\tilde]{\tilde{N}}. As a consequence, we show the class of irreducible ascending HNN extensions of finitely generated nilpotent groups is quasi-isometrically rigid.     

基于PDE和几何曲率流驱动扩散的图像分析与处理

本文介绍由变分优化模型导出的偏微分方程(PDEs)模型与几何曲率流驱动扩散在图像恢复方面的应用，以及多种非线性异质扩散模型，讨论了PDEs模型在图像分析与处理方面的优点，理论与实验结果表明，要恢复得到商质量的图像，PDEs模型的利用是极为必要的．文中还介绍了求解PDEs模型的数值方案．其中，曲率计算是一个关键问题，其结果直接参与自适应扩散的控制．详细总结了基于有限差分和水平集方法，求解藕合非线性异质扩散模型方程的数值方案，追求高质量图像、高精度计算方法、降低计算复杂性是本文处理方法不断进步的发展动力。     

Geometry of Cantor Systems

A Cantor system is defined. The geometry of a certain family of Cantor systems is studied. Such a family arises in dynamical systems as hyperbolicity is created. We prove that the bridge geometry of a Cantor system in such a family is uniformly bounded and that the gap geometry is regulated by the size of the leading gap.

     

The Nullstellensatz for Systems of PDE

Given an ideal I in , the polynomial ring in n-indeterminates, the affine variety of I is the set of common zeros in ⁿ of all the polynomials that belong to I, and the Hilbert Nullstellensatz states that there is a bijective correspondence between these affine varieties and radical ideals of . If, on the other hand, one thinks of a polynomial as a (constant coefficient) partial differential operator, then instead of its zeros in ⁿ, one can consider its zeros, i.e., its homogeneous solutions, in various function and distribution spaces. An advantage of this point of view is that one can then consider not only the zeros of ideals of , but also the zeros of submodules of free modules over (i.e., of systems of PDEs). The question then arises as to what is the analogue here of the Hilbert Nullstellensatz. The answer clearly depends on the function–distribution space in which solutions of PDEs are being located, and this paper considers the case of the classical spaces. This question is related to the more general question of embedding a partial differential system in a (two-sided) complex with minimal homology. This paper also explains how these questions are related to some questions in control theory.     

Elliptic Systems of PDE with BMO-coefficients

The present paper is concerned with elliptic systems with BMO coefficients: div(Au)=divF, where A(x) is a positive definite matrix whose entries are in BMO and F is a given matrix field in L ^p . We show existence and uniqueness of the distributional solution of class W ^1,p , provided p is close to 2, depending on the BMO norm of A. This result is achieved using a refinement of a classical Theorem of Coifman Rochberg and Weiss about commutators with BMO functions.     

Normed Groups and Their Applications in Noncommutative Differential Geometry

A normed semigroup is a semigroup having both rich topological and rich algebraic structure. This work is devoted to an abstract study of normed semigroups that arise in some problems of noncommutative geometry. The most interesting example, namely, the Abel semigroup , where A is a von Neumann algebra, is considered in detail. The definition of the latter semigroup is based on the notion of stable equivalence of normal elements of W^*-algebras, which generalizes the notion of stable equivalence of projectors. Bibliography: 8 titles.     

Large Scale Geometry of Certain Solvable Groups

In this paper we provide the final steps in the proof of quasi-isometric rigidity of a class of non-nilpotent polycyclic groups. To this end, we prove a rigidity theorem on the boundaries of certain negatively curved homogeneous spaces and combine it with work of Eskin–Fisher–Whyte and Peng on the structure of quasiisometries of certain solvable Lie groups.     

The Geometry of Systems of Third Order Differential Equations Induced by Second Order Regular Lagrangians

A system of third order differential equations, whose coefficients do not depend explicitly on time, can be viewed as a third order vector field, which is called a semispray, and lives on the second order tangent bundle. We prove that a regular second order Lagrangian induces such a semispray, which is uniquely determined by two associated Poincaré-Cartan one-forms. To study the geometry of this semispray, we construct a horizontal distribution, which is a Lagrangian subbundle for an associated Poincaré-Cartan two-form. Using this semispray and the associated nonlinear connection we define dynamical covariant derivatives of first and second order. With respect to this, the second order dynamical derivative of the Lagrangian metric tensor vanishes.     

Geometry of Discrete-Time Spin Systems

Classical Hamiltonian spin systems are continuous dynamical systems on the symplectic phase space \((S^2)^n\). In this paper, we investigate the underlying geometry of a time discretization scheme for classical Hamiltonian spin systems called the spherical midpoint method. As it turns out, this method displays a range of interesting geometrical features that yield insights and sets out general strategies for geometric time discretizations of Hamiltonian systems on non-canonical symplectic manifolds. In particular, our study provides two new, completely geometric proofs that the discrete-time spin systems obtained by the spherical midpoint method preserve symplecticity. The study follows two paths. First, we introduce an extended version of the Hopf fibration to show that the spherical midpoint method can be seen as originating from the classical midpoint method on \(T^*\mathbf {R}^{2n}\) for a collective Hamiltonian. Symplecticity is then a direct, geometric consequence. Second, we propose a new discretization scheme on Riemannian manifolds called the Riemannian midpoint method. We determine its properties with respect to isometries and Riemannian submersions, and, as a special case, we show that the spherical midpoint method is of this type for a non-Euclidean metric. In combination with Kähler geometry, this provides another geometric proof of symplecticity.     

Integrable Systems in Three-Dimensional Riemannian Geometry

Summary. In this paper we introduce a new infinite-dimensional pencil of Hamiltonian structures. These Poisson tensors appear naturally as the ones governing the evolution of the curvatures of certain flows of curves in 3-dimensional Riemannian manifolds with constant curvature. The curves themselves are evolving following arclength-preserving geometric evolutions for which the variation of the curve is an invariant combination of the tangent, normal, and binormal vectors. Under very natural conditions, the evolution of the curvatures will be Hamiltonian and, in some instances, bi-Hamiltonian and completely integrable. Received May 31, 2001; accepted January 2, 2002 Online publication March 11, 2002 Communicated by A. Bloch Communicated by A. Bloch rid="     

Spherical Tropical Geometry: a Survey of Recent Developments

This is a survey of some recent results on spherical tropical geometry.     

Lorentz Geometry of 2-Step Nilpotent Lie Groups

We study the geometry of 2-step nilpotent Lie groups endowed with left-invariant Lorentz metrics. After integrating explicitly the geodesic equations, we discuss the problem of the existence of translated geodesics in those groups. A good part of the paper focuses on the existence of closed timelike geodesics in compact Lorentz 2-step nilmanifolds. Other related results, corollaries, and examples are also presented.     

Geometry of Diffeomorphism Groups, Complete integrability and Geometric statistics

We study the geometry of the space of densities Dens(M), which is the quotient space Diff(M)/Diff _μ (M) of the diffeomorphism group of a compact manifold M by the subgroup of volume-preserving diffeomorphisms, endowed with a right-invariant homogeneous Sobolev ${\dot{H}^1}$ -metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the associated Euler–Arnold equation is a completely integrable system in any space dimension whose smooth solutions break down in finite time. We also show that the ${\dot{H}^1}$ -metric induces the Fisher–Rao metric on the space of probability distributions and its Riemannian distance is the spherical version of the Hellinger distance.