On the pontryagin-steenrod-wu theorem

We present a short and direct proof (based on the Pontryagin-Thom construction) of the following Pontryagin-Steenrod-Wu theorem: (a) LetM be a connected orientable closed smooth (n + 1)-manifold,n≥3. Define the degree map deg: π ⁿ (M) →H ⁿ (M; ℤ) by the formula degf =f*[S ⁿ ], where [S ⁿ ] εH ⁿ (M; ℤ) is the fundamental class. The degree map is bijective, if there existsβ εH ₂(M, ℤ/2ℤ) such thatβ ·w ₂(M) ε 0. If suchβ does not exist, then deg is a 2-1 map; and (b) LetM be an orientable closed smooth (n+2)-manifold,n≥3. An elementα lies in the image of the degree map if and only ifρ ₂ α ·w ₂(M)=0, whereρ ₂: ℤ → ℤ/2ℤ is reduction modulo 2.     

Subdivision rules and virtual endomorphisms

Suppose f : S ² → S ² is a postcritically finite branched covering without periodic branch points. If f is the subdivision map of a finite subdivision rule with mesh going to zero combinatorially, then the virtual endomorphism on the orbifold fundamental group associated to f is contracting. This is a first step in a program to clarify the relationships among various notions of expansion for noninvertible dynamical systems with branching behavior.      

The minimizing of the Nielsen root classes

Given a map f: X→Y and a Nielsen root class, there is a number associated to this root class, which is the minimal number of points among all root classes which are H-related to the given one for all homotopies H of the map f. We show that for maps between closed surfaces it is possible to deform f such that all the Nielsen root classes have cardinality equal to the minimal number if and only if either N R[f]≤1, or N R[f]>1 and f satisfies the Wecken property. Here N R[f] denotes the Nielsen root number. The condition “f satisfies the Wecken property is known to be equivalent to |deg(f)|≤N R[f]/(1−χ(M ₂)−χ(M ₁0/(1−χ(M ₂)) for maps between closed orientable surfaces. In the case of nonorientable surfaces the condition is A(f)≤N R[f]/(1−χ(M ₂)−χ(M ₂)/(1−χ(M ₂)). Also we construct, for each integer n≥3, an example of a map f: K _n →N from an n-dimensionally connected complex of dimension n to an n-dimensional manifold such that we cannot deform f in a way that all the Nielsen root classes reach the minimal number of points at the same time.     

Une version feuilletée équivariante du théorème de translation de Brouwer

The Brouwer’s plane translation theorem asserts that for a fixed point free orientation preserving homeomorphism f of the plane, every point belongs to a Brouwer line: a proper topological embedding C of R, disjoint from its image and separating f(C) and f^–1(C). Suppose that f commutes with the elements of a discrete group G of orientation preserving homeomorphisms acting freely and properly on the plane. We will construct a G-invariant topological foliation of the plane by Brouwer lines. We apply this result to give simple proofs of previous results about area-preserving homeomorphisms of surfaces and to prove the following theorem: any Hamiltonian homeomorphism of a closed surface of genus g ≥ 1 has infinitely many contractible periodic points.      

Algorithmic unsolvability of the triviality problem for multidimensional knots

We prove that for any fixedn≥3 there is no algorithm deciding whether or not a given knotf: S ⁿ →ℝ ⁿ⁺² is trivial. Some related results, are also presented. Both authors were partially supported by NSF grants.     

Norms of powers of absolutely convergent fourier series

Letf(t) = ∑a _k e ^ikt be infinitely differentiable on R, |f(t)|<1. It is known that under these assumptions ‖ⁿ‖ converges to a finite limitl asn → ∞ (l ² = sec(arga),a = (f′(0))² -f″(0)). We obtain here more precise results: (i) an asymptotic series (in powers ofn ^-1/2) for the Fourier coefficientsa _nk off ⁿ , which holds uniformly ink asn → ∞; (ii) an asymptotic series (this time only powers ofn ^-1 are present!) for ‖f ⁿ ‖; (iii) the fact that ifi ^j f ^(j)(0) is real forj = 1,2,..., 2h + 2 then ‖f ⁿ ‖ = l + o(n ^-h ),n → ∞. More generally, we obtain analogous finite asymptotic expansions whenf is assumed to be differentiable only finitely many times.     

Interpolation by holomorphic automorphisms and embeddings in Cn

Let n > 1 and let C ⁿ denote the complex n-dimensional Euclidean space. We prove several jet-interpolation results for nowhere degenerate entire mappings F:C ⁿ →C ⁿ and for holomorphic automorphisms of C ⁿ on discrete subsets of C ⁿ.We also prove an interpolation theorem for proper holomorphic embeddings of Stein manifolds into C ⁿ.For each closed complex submanifold (or subvariety) M ⊂ C ⁿ of complex dimension m < n we construct a domain Ω ⊂C ⁿ containing M and a biholomorphic map F: Ω → C ⁿ onto C ⁿ with J F ≡ 1such that F(M) intersects the image of any nondegenerate entire map G:C ^n−m →C ⁿ at infinitely many points. If m = n − 1, we construct F as above such that C ⁿ ∖F(M) is hyperbolic. In particular, for each m ≥ 1we construct proper holomorphic embeddings F:C ^m →C ^m−1 such that the complement C ^m+1 ∖F(C ^m )is hyperbolic.     

On the existence and approximation of zeroes

In this paper we consider the problem of finding zeroes of a continuous functionf from a convex, compact subsetU of ℝ ⁿ to ℝ ⁿ . In the first part of the paper it is proved thatf has a computable zero iff:C ⁿ →ℝ ⁿ satisfies the nonparallel condition for any two antipodal points on bdC ⁿ, i.e. if for anyx∈bdC ⁿ ,f(x)≠αf(−x), α≥0, holds. Therefore we describe a simplicial algorithm to approximate such a zero. It is shown that generally the degree of the approximate zero depends on the number of reflection steps made by the algorithm, i.e. the number of times the algorithm switches from a face τ on bdC ⁿ to the face −τ. Therefore the index of a terminal simplex σ is defined which equals the local Brouwer degree of the function if σ is full-dimensional. In the second part of the paper the algorithm is used to generate possibly several approximate zeroes off. Two sucessive solutions may have both the same or opposite degrees, again depending on the number of reflection steps. By extendingf:U→ℝ ⁿ to a function g from a cube containingU to ℝ ⁿ , the procedure can be applied to any continuous functionf without having any information about the global and local Brouwer degrees a priori.     

Pressure and equilibrium states for countable state markov shifts

We give a general definition of the topological pressureP _top (f, S) for continuous real valued functionsf: X→ℝ on transitive countable state Markov shifts (X, S). A variational principle holds for functions satisfying a mild distortion property. We introduce a new notion of Z-recurrent functions. Given any such functionf, we show a general method how to obtain tight sequences of invariant probability measures supported on periodic points such that a weak accumulation pointμ is an equilibrium state forf if and only if εf ⁻ dμ<∞. We discuss some conditions that ensure this integrability. As an application we obtain the Gauss measure as a weak limit of measures supported on periodic points.     

Escaping points of meromorphic functions with a finite number of poles

We establish several new properties of the escaping setI(f)={z∶f ⁿ (z)→∞ andf ⁿ(z)⇑∞ for eachn∈N} of a transcendental meromorphic functionf with a finite number of poles. By considering a subset ofI(f) where the iterates escape about as fast as possible, we show thatI(f) always contains at least one unbounded component. Also, iff has no Baker wandering domains, then the setI(f)⊂J(f), whereJ(f) is the Julia set off, has at least one unbounded component. These results are false for transcendental meromorphic functions with infinitely many poles.     

Periodic points of nonexpansive maps and nonlinear generalizations of the Perron-Frobenius theory

Let and suppose that f : K ⁿ →K ⁿ is nonexpansive with respect to the l ₁-norm, , and satisfies f (0) = 0. Let P ₃(n) denote the (finite) set of positive integers p such that there exists f as above and a periodic point of f of minimal period p. For each n≥ 1 we use the concept of 'admissible arrays on n symbols' to define a set of positive integers Q(n) which is determined solely by number theoretical and combinatorial constraints and whose computation reduces to a finite problem. In a separate paper the sets Q(n) have been explicitly determined for 1 ≤n≤ 50, and we provide this information in an appendix. In our main theorem (Theorem 3.1) we prove that P ₃(n) = Q(n) for all n≥ 1. We also prove that the set Q(n) and the concept of admissible arrays are intimately connected to the set of periodic points of other classes of nonlinear maps, in particular to periodic points of maps g : D _g→D _g, where is a lattice (or lower semilattice) and g is a lattice (or lower semilattice) homomorphism.     

Isometric approximation

Suppose thatA ⊂R ⁿ is a bounded set of diameter 1 and that:f:A →l ₂ is a map satisfying the nearisometry condition |x−y|−ɛ≤|fx−fy|≤|x−y|+ɛ withɛ≤1. Then there is an isometryS:A →l ₂ such that |Sx−fx|≤c _n √ɛ for allx inA. IfA satisfies a thickness condition and iff:A →R ⁿ , then there is an isometryS:R ⁿ →R ⁿ with |Sx−fx|≤c _nɛ/q, whereq is a thickness parameter.     

The influence of variables in product spaces

LetX be a probability space and letf: X ⁿ → {0, 1} be a measurable map. Define the influence of thek-th variable onf, denoted byI _f (k), as follows: Foru=(u ₁,u ₂,…,u _n−1) ∈X ⁿ⁻¹ consider the setl _k (u)={(u ₁,u ₂,...,u _k−1,t,u _k ,…,u _n−1):t ∈X}. More generally, forS a subset of [n]={1,...,n} let the influence ofS onf, denoted byI _f (S), be the probability that assigning values to the variables not inS at random, the value off is undetermined. Theorem 1:There is an absolute constant c ₁ so that for every function f: X ⁿ → {0, 1},with Pr(f ⁻¹(1))=p≤1/2,there is a variable k so that Theorem 2:For every f: X ⁿ → {0, 1},with Prob(f=1)=1/2, and every ε>0,there is S ⊂ [n], |S|=c ₂(ε)n/logn so that I _f (S)≥1−ε. These extend previous results by Kahn, Kalai and Linial for Boolean functions, i.e., the caseX={0, 1}. Work supported in part by grants from the Binational Israel-US Science Foundation and the Israeli Academy of Science.     

Inversion and characterization of the hemispherical transform

Explicit inversion formulas are obtained for the hemispherical transform(FΜ)(x) = Μ{y ∃S ⁿ :x. y ≥ 0},x ∃S ⁿ, whereS ⁿ is thendimensional unit sphere in ℝⁿ⁺¹,n ≥ 2, and Μ is a finite Borel measure onS ⁿ. If Μ is absolutely continuous with respect to Lebesgue measuredy onS ⁿ, i.e.,dΜ(y) =f(y)dy, we write(F f)(x) = ∫ _{x.y> 0} f(y)dy and consider the following cases: (a)f ∃C ^∞(Sⁿ); (b)f ∃ L^p(S ⁿ), 1 ≤ p < ∞; and (c)f ∃C(Sⁿ). In the case (a), our inversion formulas involve a certain polynomial of the Laplace-Beltrami operator. In the remaining cases, the relevant wavelet transforms are employed. The range ofF is characterized and the action in the scale of Sobolev spacesL _p ^γ (Sⁿ) is studied. For zonalf ∃ L¹(S ²), the hemispherical transformF f was inverted explicitly by P. Funk (1916); we reproduce his argument in higher dimensions. Partially sponsored by the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany).     

Univalence Criteria Starting from the Method of Loewner Chains

The paper continues the work of Royster (Duke Math J 19:447–457, 1952), Mocanu [Mathematica (Cluj) 22(1):77–83, 1980; Mathematica (Cluj) 29:49–55, 1987], Cristea [Mathematica (Cluj) 36(2):137–144, 1994; Complex Var 42:333–345, 2000; Mathematica (Cluj) 43(1):23–34, 2001; Mathematica (Cluj), 2010, to appear; Teoria Topologica a Functiilor Analitice, Editura Universitatii Bucuresti, Romania, 1999] of extending univalence criteria for complex mappings to C ¹ mappings. We improve now the method of Loewner chains which is usually used in complex univalence theory for proving univalence criteria or for proving quasiconformal extensions of holomorphic mappings f : B → C ⁿ to C ⁿ . The results are surprisingly strong. We show that the usual results from the theory, like Becker’s univalence criteria remain true for C ¹ mappings and since we use a stronger form of Loewner’s theory, we obtain results which are stronger even for holomorphic mappings f : B → C ⁿ . In our main result (Theorem 4.1) we end the researches dedicated to quasiconformal extensions of K-quasiregular and holomorphic mappings f : B → C ⁿ to C ⁿ . We show that a C ¹ quasiconformal map f : B → C ⁿ can be extended to a quasiconformal map F : C ⁿ → C ⁿ , without any metric condition imposed to the map f.     

负相依随机变量的自正则化中心极限定理与部分和的方差估计

§ 1　 IntroductionWe firstintroduce some concepts.Random variables X and Y are called negative dependent ( ND) if for any pair ofmonotonically non-decresing functions f and g,Cov{ f( X) ,g( Y) }≤ 0 .Clearly itis equivalenttoP( X≤ x,Y≤ y)≤ P( X≤ x) P( Y≤ y)for all x,y∈R.A random sequence{ Xi,i≥ 1 } is said to be negative quadrant dependent( NQD) if any pairof variables Xi,Xj( i≠j) are ND.A sequence of random variables{ Xi,i≥ 1 } is said to be linear negative quadrand depend…     

On the degree of iterates of automorphisms¶of the affine plane

For a polynomial automorphism f of ?² _ℂ, we set τ = deg f ²)/(deg f). We prove that τ≤ 1 if and only if f is triangularizable. In this situation, we show (by using a deep result from number theory known as the theorem of Skolem–Mahler–Lech) that the sequence (deg f ⁿ ) _{n ∈ℕ} is periodic for large n. In the opposite case, we prove that τ is an integer (τ≥ 2) and that the sequence (deg f ⁿ ) _{n ∈ℕ} is a geometric progression of ratio τ. In particular, if f is any automorphism, we obtain the rationality of the formal series . Received: 1 December 1997     

环域上一类拟线性椭圆型方程的正径向解的存在性

The existence of positive radial solutions of the equation -din( |Du|p-2Du)=f(u) is studied in annular domains in Rn,n≥2. It is proved that if f(0)≥0, f is somewherenegative in (0,∞), limu→0^ f‘ (u)=0 and limu→∞ (f(u)/u^p-1)=∞, then there is alarge positive radial solution on all annuli. If f(0)≤0 and satisfies certain conditions, then the equation has no radial solution if the annuli are too wide.     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

On the number of triple points of an immersed surface with boundary

Given a generic immersionf:S ¹→S ² of a circle into the sphere, we find the best possible lower estimation for the number of triple points of a generic immersionF: (M, S ¹)→(B ³,S ²) extendingf, whereM is an oriented surface with boundary ∂M=S ¹,B ³ is the 3-dimensional ball with boundaryS ². Supported by the Hungarian National Science and Research Foundation OTKA 2505 Supported by the Hungarian National Science and Research Foundation OTKA T4232 This article was processed by the author using the Springer-Verlag T_EX P Jour1g macro package 1991.