Hyperbolic annulus principle

We study a special class of diffeomorphisms of an annulus (the direct product of a ball in ? ^k , k ≥ 2, by an m-dimensional torus). We prove the so-called annulus principle; i.e., we suggest a set of sufficient conditions under which each diffeomorphism in a given class has an m-dimensional expanding hyperbolic attractor.     

Quantization causes waves: Smooth finitely computable functions are affine

Every automaton (a letter-to-letter transducer) A whose both input and output alphabets are F _p = {0, 1,..., p - 1} produces a 1-Lipschitz map f _A from the space Z _p of p-adic integers to Z _p . The map fA can naturally be plotted in a unit real square I² ? R²: To an m-letter non-empty word v = γ _m-1γ _m-2... γ0 there corresponds a number 0.v ∈ R with base-p expansion 0.γ _m-1γ _m-2... γ0; so to every m-letter input word w = α _m-1α _m-2 ··· α0 of A and to the respective m-letter output word a(w) = β _m-1β _m-2 ··· β0 of A there corresponds a point (0.w; 0.a(w)) ∈ R². Denote P(A) a closure of the point set (0.w; 0.a(w)) where w ranges over all non-empty words.We prove that once some points of P(A) constitute a C ²-smooth curve in R², the curve is a segment of a straight line with a rational slope. Moreover, when identifying P(A) with a subset of a 2-dimensional torus T² ∈ R³, the smooth curves from P(A) constitute a collection of torus windings which can be ascribed to complex-valued functions ψ(x, t) = e ^i(Ax-2πBt) (x, t ∈ R), i.e., to matter waves. As automata are causal discrete systems, the main result may serve a mathematical reasoning why wave phenomena are inherent in quantum systems: This is just because of causality principle and discreteness of matter.     

On the hyperbolicity of flows

Let X be a C~1 vector field on a compact boundaryless Riemannian manifold M(dim M≥2),and A a compact invariant set of X.Suppose that A has a hyperbolic splitting,i.e.,T∧M = E~sX E~u with E~s uniformly contracting and E~u uniformly expanding.We prove that if,in addition,A is chain transitive,then the hyperbolic splitting is continuous,i.e.,A is a hyperbolic set.In general,when A is not necessarily chain transitive,the chain recurrent part is a hyperbolic set.Furthermore,we show that if the whole manifold M admits a hyperbolic splitting,then X has no singularity,and the flow is Anosov.     

A characterization of the Ejiri torus in <Emphasis Type="Italic">S</Emphasis><Superscript>5</Superscript>

We conjecture that a Willmore torus having Willmore functional between 2π ² and 2π ² \(\sqrt 3 \) is either conformally equivalent to the Clifford torus, or conformally equivalent to the Ejiri torus. Ejiri’s torus in S ⁵ is the first example of Willmore surface which is not conformally equivalent to any minimal surface in any real space form. Li and Vrancken classified all Willmore surfaces of tensor product in S ⁿ by reducing them into elastic curves in S ³, and the Ejiri torus appeared as a special example. In this paper, we first prove that among all Willmore tori of tensor product, the Willmore functional of the Ejiri torus in S ⁵ attains the minimum 2π ² \(\sqrt 3 \), which indicates our conjecture holds true for Willmore surfaces of tensor product. Then we show that all Willmore tori of tensor product are unstable when the co-dimension is big enough. We also show that the Ejiri torus is unstable even in S ⁵. Moreover, similar to Li and Vrancken, we classify all constrained Willmore surfaces of tensor product by reducing them with elastic curves in S ³. All constrained Willmore tori obtained this way are also shown to be unstable when the co-dimension is big enough.     

On a Version of the Hyperbolic Annulus Principle

A sufficiently general class of diffeomorphisms of the annulus (the direct product of a ball in \(\mathbb{R}^{k}\), k ≥ 2, by an m-dimensional torus) is studied. The so-called annulus principle, i.e., a set of sufficient conditions under which the diffeomorphisms of the class under study have a mixing hyperbolic attractor, is obtained.     

Torsional Rigidity for Regions with a Brownian Boundary

Let ?? ^m be the m-dimensional unit torus, m ∈ ?. The torsional rigidity of an open set Ω ? ?? ^m is the integral with respect to Lebesgue measure over all starting points x ∈ Ω of the expected lifetime in Ω of a Brownian motion starting at x. In this paper we consider Ω = ?? ^m \β[0, t], the complement of the path ß[0, t] of an independent Brownian motion up to time t. We compute the leading order asymptotic behaviour of the expectation of the torsional rigidity in the limit as t → ∞. For m = 2 the main contribution comes from the components in ??²\β0, t] whose inradius is comparable to the largest inradius, while for m = 3 most of ??³\β[0, t] contributes. A similar result holds for m ≥ 4 after the Brownian path is replaced by a shrinking Wiener sausage W _r(t)[0, t] of radius r(t) = o(t ^-1/(m-2)), provided the shrinking is slow enough to ensure that the torsional rigidity tends to zero. Asymptotic properties of the capacity of ß[0, t] in ?³ and W ₁[0, t] in ? ^m , m ≥ 4, play a central role throughout the paper. Our results contribute to a better understanding of the geometry of the complement of Brownian motion on ?? ^m , which has received a lot of attention in the literature in past years.     

On the Lipschitz continuity of certain quasiregular mappings between smooth Jordan domains

We first investigate the Lipschitz continuity of (K,K’)-quasiregular C ² mappings between two Jordan domains with smooth boundaries, satisfying certain partial differential inequalities concerning Laplacian. Then two applications of the obtained result are given: As a direct consequence, we get the Lipschitz continuity of ρ-harmonic (K,K’)-quasiregular mappings, and as the other application, we study the Lipschitz continuity of (K,K’)- quasiconformal self-mappings of the unit disk, which are the solutions of the Poisson equation Δw = g. These results generalize and extend several recently obtained results by Kalaj, Mateljevi? and Pavlovi?.     

Kähler geometry of hyperbolic type on the manifold of nondegenerate <Emphasis Type="Italic">m</Emphasis>-pairs

A nondegenerate m-pair (A, Ξ) in an n-dimensional projective space ?P _n consists of an m-plane A and an (n ? m ? 1)-plane Ξ in ?P _n , which do not intersect. The set \(\mathfrak{N}_m^n \) of all nondegenerate m-pairs ?P _n is a 2(n ? m)(n ? m ? 1)-dimensional, real-complex manifold. The manifold \(\mathfrak{N}_m^n \) is the homogeneous space \(\mathfrak{N}_m^n = {{GL(n + 1,\mathbb{R})} \mathord{\left/ {\vphantom {{GL(n + 1,\mathbb{R})} {GL(m + 1,\mathbb{R})}}} \right. \kern-\nulldelimiterspace} {GL(m + 1,\mathbb{R})}} \times GL(n - m,\mathbb{R})\) equipped with an internal Kähler structure of hyperbolic type. Therefore, the manifold \(\mathfrak{N}_m^n \) is a hyperbolic analogue of the complex Grassmanian ?G _m,n = U(n+1)/U(m+1) × U(n?m). In particular, the manifold of 0-pairs \(\mathfrak{N}_m^n {{GL(n + 1,\mathbb{R})} \mathord{\left/ {\vphantom {{GL(n + 1,\mathbb{R})} {GL(1,\mathbb{R})}}} \right. \kern-\nulldelimiterspace} {GL(1,\mathbb{R})}} \times GL(n,\mathbb{R})\) is a hyperbolic analogue of the complex projective space ?P _n = U(n+1)/U(1) × U(n). Similarly to ?P _n , the manifold \(\mathfrak{N}_m^n \) is a Kähler manifold of constant nonzero holomorphic sectional curvature (relative to a hyperbolic metrics). In this sense, \(\mathfrak{N}_0^n \) is a hyperbolic spatial form. It was proved in [6] that the manifold of 0-pairs \(\mathfrak{N}_0^n \) is globally symplectomorphic to the total space T*?P _n of the cotangent bundle over the projective space ?P _n . A generalization of this result (see [7]) is as follows: the manifold of nondegenerate m-pairs \(\mathfrak{N}_m^n \) is globally symplectomorphic to the total space T*?G _m,n of the cotangent bundle over the Grassman manifold ?G _m,n of m-dimensional subspaces of the space ?P _n .In this paper, we study the canonical Kähler structure on \(\mathfrak{N}_m^n \). We describe two types of submanifolds in \(\mathfrak{N}_m^n \), which are natural hyperbolic spatial forms holomorphically isometric to manifolds of 0-pairs in ?P _m +1 and in ?P _n?m , respectively. We prove that for any point of the manifold \(\mathfrak{N}_m^n \), there exist a 2(n ? m)-parameter family of 2(m + 1)-dimensional hyperbolic spatial forms of first type and a 2(m + 1)-parameter family of 2(n ? m)-dimensional hyperbolic spatial forms of second type passing through this point. We also prove that natural hyperbolic spatial forms of first type on \(\mathfrak{N}_m^n \) are in bijective correspondence with points of the manifold \(\mathfrak{N}_{m + 1}^n \) and natural hyperbolic spatial forms of second type on \(\mathfrak{N}_m^n \) are in bijective correspondence with points of the manifolds \(\mathfrak{N}_{m + 1}^n \).     

Are there <Emphasis Type="Italic">p</Emphasis>-adic knot invariants?

We suggest using the Hall–Littlewood version of the Rosso–Jones formula to define the germs of p-adic HOMFLY-PT polynomials for torus knots [m, n] as coefficients of superpolynomials in a q-expansion. In this form, they have at least the [m, n] ? [n, m] topological invariance. This opens a new possibility to interpret superpolynomials as p-adic deformations of HOMFLY polynomials and poses a question of generalizing to other knot families, which is a substantial problem for several branches of modern theory.     

On the lower order of mappings with finite length distortion

We study the problem of the so-called lower order for one kind of mappings with finite distortion, actively investigated in the recent 15–20 years.We prove that mappings with finite length distortion f: D → ? ⁿ , n ≥ 2, whose outer dilatation is integrable to the power α > n ? 1 with finite asymptotic limit have lower order bounded from below.     

Simple polytopes without small separators,II: Thurston’s bound

We construct a diffeomorphism of T³ admitting any finite or countable number of physical measures with intermingled basins. The examples are partially hyperbolic with splitting TT³ = E ^cs ⊕ E ^u and can be made volume hyperbolic and topologically mixing.     

New Applications of the <Emphasis Type="Italic">p</Emphasis>-Adic Nevanlinna Theory

Let IK be an algebraically closed field of characteristic 0 complete for an ultrametric absolute value. Following results obtained in complex analysis, here we examine problems of uniqueness for meromorphic functions having finitely many poles, sharing points or a pair of sets (C.M. or I.M.) defined either in the whole field IK or in an open disk, or in the complement of an open disk. Following previous works in C, we consider functions fⁿ(x)f^m(ax + b), gⁿ(x)g^m(ax + b) with |a| = 1 and n ≠ m, sharing a rational function and we show that f/g is a n + m-th root of 1 whenever n + m ≥ 5. Next, given a small function w, if n, m ∈ IN are such that |n ? m|_∞ ≥ 5, then fⁿ(x)f^m(ax + b) ? w has infinitely many zeros. Finally, we examine branched values for meromorphic functions fⁿ(x)f^m(ax + b).     

Lie bialgebra structures on derivation Lie algebra over quantum tori

We investigate Lie bialgebra structures on the derivation Lie algebra over the quantum torus. It is proved that, for the derivation Lie algebra W over a rank 2 quantum torus, all Lie bialgebra structures on W are the coboundary triangular Lie bialgebras. As a by-product, it is also proved that the first cohomology group H ¹(W, W ? W) is trivial.     

Regularity in the Local CR Embedding Problem

We consider a formally integrable, strictly pseudoconvex CR manifold M of hypersurface type, of dimension 2n?1≥7. Local CR, i.e., holomorphic, embeddings of M are known to exist from the works of Kuranishi and Akahori. We address the problem of regularity of the embedding in standard Hölder spaces C ^a (M), a∈R. If the structure of M is of class C ^m , m∈Z, 4≤m≤∞, we construct a local CR embedding near each point of M. This embedding is of class C ^a , for every a, 0≤a<m+(1/2). Our method is based on Henkin’s local homotopy formula for the embedded case, some very precise estimates for the solution operators in it, and a substantial modification of a previous Nash–Moser argument due to the second author.     

Basics of the Quasiconformal Analysis of a Two-Index Scale of Spatial Mappings

We define a scale of mappings that depends on two real parameters p and q, n?1 ≤ q ≤ p < ∞ and a weight function θ. In the case of q = p = n, θ ≡ 1, we obtain the well-known mappings with bounded distortion. Mappings of a two-index scale inherit many properties of mappings with bounded distortion. They are used for solving a few problems of global analysis and applied problems.     

Complexity of function systems over a finite field in the class of polarized polynomial forms

The Shannon complexity of a function system over a q-element finite field which contains m functions of n variables in the class of polarized polynomial forms is exactly evaluated: L _q ^PPF (n,m) = q ⁿ for all n ≥ 1, m ≥ 2, and all possible odd q. It has previously been known that L₂^PPF (n,m) = 2 ⁿ and L₃^PPF (n,m) = 3 ⁿ for all n ≥ 1 and m ≥ 2.     

PROPER AFFINE DEFORMATIONS OF THE ONE-HOLED TORUS

A Margulis spacetime is a complete at Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface ∑ homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when ∑ is homeomorphic to a one-holed torus. We show that every such M decomposes into polyhedra bounded by crooked planes, corresponding to an ideal triangulation of ∑. This paper classifies and analyzes the structure of crooked ideal triangles, which play the same role for Margulis spacetimes as ideal triangles play for hyperbolic surfaces.     

On the embedding of constant-weight codes into perfect codes

We show that each q-ary constant-weight code of weight 3, minimum distance 4, and length m embeds in a q-ary 1-perfect code of length n = (q ^m ? 1)/(q ? 1).     

Virtual Betti numbers and virtual symplecticity of 4-dimensional mapping tori, Ⅱ

We show that if the fiber of a closed 4-dimensional mapping torus X is reducible and not S~2×S~1 or RP~3#RP~3, then the virtual first Betti number of X is infinite and X is not virtually symplectic. This confirms two conjectures made by Li and Ni(2014) in an earlier paper.     

Nonlinear trigonometric approximations of multivariate function classes

Order-sharp estimates are established for the best N-term approximations of functions from Nikol’skii–Besov type classes B_pq^sm(T^k) with respect to the multiple trigonometric system T^(k) in the metric of L_r(T^k) for a number of relations between the parameters s, p, q, r, and m (s = (s₁,..., s_n) ∈ R₊ⁿ, 1 ≤ p, q, r ≤ ∞, m = (m₁,..., m_n) ∈ Nⁿ, k = m₁ +... + m_n). Constructive methods of nonlinear trigonometric approximation—variants of the so-called greedy algorithms—are used in the proofs of upper estimates.