On the degree growth of birational mappings in higher dimension

Let ƒ be a birational map of C ^d ,and consider the degree complexity or asymptotic degree growth rate δ(ƒ) = lim_n → ∞ (deg(ƒⁿ))^1/n.We introduce a family of elementary maps, which have the form ƒ = L o J, where L is (invertible) linear, and J(x ₁ ⁻¹ ,..., x_d) = (x ₁ ⁻¹ ,...,x _d ⁻¹ .We develop a method of regularization and show how it can be used to compute δ for an elementary map.     

Algebraic relations for reciprocal sums of odd terms in Fibonacci numbers

In this paper, we prove the algebraic independence of the reciprocal sums of odd terms in Fibonacci numbers ∑ _n=1^∞ F _2n−1⁻¹, ∑ _n=1^∞ F _2n−1⁻², ∑ _n=1^∞ F _2n−1⁻³ and write each ∑ _n=1^∞ F _2n−1^−s (s≥4) as an explicit rational function of these three numbers over ℚ. Similar results are obtained for various series including the reciprocal sums of odd terms in Lucas numbers.      

On Cycles in 3-Connected Graphs

 Let G be a 3-connected graph of order n and S a subset of vertices. Denote by δ(S) the minimum degree (in G) of vertices of S. Then we prove that the circumference of G is at least min{|S|, 2δ(S)} if the degree sum of any four independent vertices of S is at least n+6. A cycle C is called S-maximum if there is no cycle C ^′ with |C ^′∩S|>|C∩S|. We also show that if ∑⁴ _i=1 d(a _i)≥n+3+|⋂⁴ _i=1 N(a _i)| for any four independent vertices a ₁, a ₂, a ₃, a ₄ in S, then G has an S-weak-dominating S-maximum cycle C, i.e. an S-maximum cycle such that every component in G−C contains at most one vertex in S. Received: March 9, 1998 Revised: January 7, 1999     

BMO-scale of distribution on ℝ n

Let S′ be the class of tempered distributions. For ƒ ∈ S′ we denote by J ^−α ƒ the Bessel potential of ƒ of order α. We prove that if J ^−α ƒ ∈ BMO, then for any λ ∈ (0, 1), J ^−α (f)_λ ∈ BMO, where (f)_λ = λ⁻ⁿ f(φ(λ⁻¹)), φ ∈ S. Also, we give necessary and sufficient conditions in order that the Bessel potential of a tempered distribution of order α > 0 belongs to the VMO space.     

Polynomial bounds for Large Bernoulli sections of ℓ 1 N

We present a quantitative form of the result of Bai and Yin from [2], and use to show that the section of ℓ ₁ ^(1+δ)n spanned byn random independent sign vectors is with high probability isomorphic to euclidean with isomorphism constant polynomial in δ⁻¹. Partially supported by BSF grant 2002-006. Supported by the National Science Foundation under agreement No. DMS-0111298. Supported in part by the Israel Science Academy.     

A result on the composition of distributions

LetF be a distribution and letf be a locally summable function. The distributionF(f) is defined as the neutrix limit of the sequenceF _n (f), whereF _n (x) = F(x) * δ _n (x) andδ _n (x) is a certain sequence of infinitely differentiable functions converging to the Dirac delta-functionδ(x). The distribution (x^r)^−s is valuated forr, s = 1,2, ….     

A congruence for the Fourier coefficients of a modular form and its application to quadratic forms

Let F(z)=∑ _n=1^∞ A(n)q ⁿ denote the unique weight 6 normalized cuspidal eigenform on Γ₀(4). We prove that A(p)≡0,2,−1(mod 11) when p≠11 is a prime. We then use this congruence to give an application to the number of representations of an integer by quadratic form of level 4.      

Asymptotic formulas for the hyperġeometric function2 F 1 of matrix argument,useful in multivariate analysis

Summary LetS _i have the Wishart distributionW _p(∑_i,n_i) fori=1,2. An asymptotic expansion of the distribution of for large n=n₁+n₂ is derived, when∑ ₁∑ ₂ ⁻¹ =I+n^−1/2θ, based on an asymptotic solution of the system of partial differential equations for the hypergeometric function₂ F ₁, obtained recently by Muirhead [2]. Another asymptotic formula is also applied to the distributions of −2 log λ and −log|S ₂(S ₁+S ₂)⁻¹| under fixed∑ ₁∑ ₂ ⁻¹ , which gives the earlier results by Nagao [4]. Some useful asymptotic formulas for₁ F ₁ were investigated by Sugiura [7].     

Oscillations of Cusp Form Coefficients Over Primes

Let f(z)=∑ _n=1^∞ λ _f (n)n ^(κ−1)/2 e(nz) be a holomorphic cusp form of weight κ for the full modular group SL ₂(ℤ). In this paper we study the cancellation of the coefficients λ _f (n) over primes in exponential sums.     

Möbius Isoparametric Hypersurfaces in S n+1 with Two Distinct Principal Curvatures

A hypersurface x : M → S ⁿ⁺¹ without umbilic point is called a Möbius isoparametric hypersurface if its Möbius form Φ = ?ρ ^?2∑ _i (e _i (H) + ∑ _j (h _ij ?Hδ _ij )e _j (log ρ))θ _i vanishes and its Möbius shape operator $ {\Bbb {S}}A hypersurface x : M → S ^{n +1} without umbilic point is called a M?bius isoparametric hypersurface if its M?bius form Φ = −ρ⁻²∑ _i (e _i (H) + ∑ _j (h _ij −Hδ _ij )e _j (log ρ))θ _i vanishes and its M?bius shape operator ? = ρ⁻¹(S−Hid) has constant eigenvalues. Here {e _i } is a local orthonormal basis for I = dx·dx with dual basis {θ _i }, II = ∑ _ij h _ij θ _i ⊗θ _i is the second fundamental form, and S is the shape operator of x. It is clear that any conformal image of a (Euclidean) isoparametric hypersurface in S ^{n +1} is a M?bius isoparametric hypersurface, but the converse is not true. In this paper we classify all M?bius isoparametric hypersurfaces in S ^{n +1} with two distinct principal curvatures up to M?bius transformations. By using a theorem of Thorbergsson [1] we also show that the number of distinct principal curvatures of a compact M?bius isoparametric hypersurface embedded in S ^{n +1} can take only the values 2, 3, 4, 6. Received September 7, 2001, Accepted January 30, 2002     

On the Proximal Point Algorithm

Let A be a maximal monotone operator in a real Hilbert space H and let {u _n } be the sequence in H given by the proximal point algorithm, defined by u _n =(I+c _n A)⁻¹(u _n−1−f _n ), ∀ n≥1, with u ₀=z, where c _n >0 and f _n ∈H. We show, among other things, that under suitable conditions, u _n converges weakly or strongly to a zero of A if and only if lim inf  _n→+∞|w _n |<+∞, where w _n =(∑ _k=1 ⁿ c _k )⁻¹∑ _k=1 ⁿ c _k u _k . Our results extend previous results by several authors who obtained similar results by assuming A ⁻¹(0)≠φ.     

The uniform norm of hyperinterpolation on the unit sphere in an arbitrary number of dimensions

In this paper we study the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere S ^r−1 ⊂ R^r. The hyperinterpolation approximation L _n ƒ, where ƒ ∈ C(S ^r −1), is derived from the exact L ² orthogonal projection Π ƒ onto the space P _n ^r (S ^r −1) of spherical polynomials of degree n or less, with the Fourier coefficients approximated by a positive weight quadrature rule that integrates exactly all polynomials of degree ≤ 2n. We extend to arbitrary r the recent r = 3 result of Sloan and Womersley [9], by proving that under an additional “quadrature regularity” assumption on the quadrature rule, the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere is O(n ^r /2−1), which is the same as that of the orthogonal projection Π_n, and best possible among all linear projections onto P _n ^r (S ^r −1).     

Distribution of a certain partition function modulo powers of primes

In this paper, we study a certain partition function a(n) defined by Σ _n≥0 a(n)q ⁿ := Π _n=1(1 − q ⁿ )⁻¹(1 − q ²ⁿ )⁻¹. We prove that given a positive integer j ≥ 1 and a prime m ≥ 5, there are infinitely many congruences of the type a(An + B) ≡ 0 (mod m ^j ). This work is inspired by Ono’s ground breaking result in the study of the distribution of the partition function p(n).     

Orthogonal factorizations of digraphs

Let G be a digraph with vertex set V(G) and arc set E(G) and let g = (g ⁻, g ⁺) and ƒ = (ƒ ⁻, ƒ ⁺) be pairs of positive integer-valued functions defined on V(G) such that g ⁻(x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ ƒ ⁺(x) for each x ∈ V(G). A (g, ƒ)-factor of G is a spanning subdigraph H of G such that g ⁻(x) ⩽ id _H (x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ od _H (x) ⩽ ƒ ⁺(x) for each x ∈ V(H); a (g, ƒ)-factorization of G is a partition of E(G) into arc-disjoint (g, ƒ)-factors. Let = {F ₁, F ₂,…, F _m} and H be a factorization and a subdigraph of G, respectively. is called k-orthogonal to H if each F _i , 1 ⩽ i ⩽ m, has exactly k arcs in common with H. In this paper it is proved that every (mg+m−1,mƒ−m+1)-digraph has a (g, f)-factorization k-orthogonal to any given subdigraph with km arcs if k ⩽ min{g ⁻(x), g ⁺(x)} for any x ∈ V(G) and that every (mg, mf)-digraph has a (g, f)-factorization orthogonal to any given directed m-star if 0 ⩽ g(x) ⩽ f(x) for any x ∈ V(G). The results in this paper are in some sense best possible.      

Asymptotic Upper Bounds for Ramsey Functions

 We show that for any graph G with N vertices and average degree d, if the average degree of any neighborhood induced subgraph is at most a, then the independence number of G is at least Nf _{a +1}(d), where f _{a +1}(d)=∫₀ ¹(((1−t)^{1/( a +1)})/(a+1+(d−a−1)t))dt. Based on this result, we prove that for any fixed k and l, there holds r(K _k + _l ,K _n )≤ (l+o(1))n ^k /(logn) ^{k −1}. In particular, r(K _k , K _n )≤(1+o(1))n ^{k −1}/(log n) ^{k −2}. Received: May 11, 1998 Final version received: March 24, 1999     

On Kneser solutions of higher order nonlinear ordinary differential equations

The equationx ⁽ⁿ⁾(t)=(−1) ⁿ │x(t)│ ^k withk>1 is considered. In the casen≦4 it is proved that solutions defined in a neighbourhood of infinity coincide withC(t−t₀)^−n/(k−1), whereC is a constant depending only onn andk. In the general case such solutions are Kneser solutions and can be estimated from above and below by a constant times (t−t ₀)^−n/(k−1). It is shown that they do not necessarily coincide withC(t−t₀)^−n/(k−1). This gives a negative answer to two conjectures posed by Kiguradze that Kneser solutions are determined by their value in a point and that blow-up solutions have prescribed asymptotics. Dedicated to Professor Vladimir Maz'ya on the occasion of his 60th birthday. The author was supported by the Swedish Natural Science Research Council (NFR) grant M-AA/MA 10879-304.     

On the growth of an entire dirichlet series

We establish the relation between the increase of the quantityM(σ,F) = ∣a ₀∣ + ∑ _n=1 ^∞ ∣a _n ∣ exp (σλ _n ) and the behavior of sequences (|a _n |) and (λ _n ), where (λ _n ) is a sequence of nonnegative numbers increasing to + ∞, andF(s) =a ₀ + ∑ _n=1 ^∞ a _n e ^sλn ,s=σ+it, is the Dirichlet entire series. Lviv University, Lviv. Translated from Ukrainskii Matematicheskii Zhurmal, Vol. 51, No. 8, pp. 1149–1153, August, 1999.     

An approximation of a nonlinear integral equation driven by a function of boundedp-variation

The uniform distance between the solution of a nonlinear equation driven by a functionh with boundedp-variation and its Milstein-type approximation is estimated by δ _n v γ _p (n) v γ _p ² (n), where δ _n =max(t _k −t _k−1 ) is the maximum step size of the approximation on the interval [0,T], γ _p (n)=max υ _p ^1/p (h;[t _k-1,t _k ]), 1 <p < 2, and υ _p (h;[t _k-1,t _k ]) is thep-variation of the functionh on [t _k-1,t _k]. In particular, ifh is a Lipschitz function of order α, then the uniform distance has the bound δ _n ^α for δ_n <1. Institute of Mathematics and Informatics, Akademijos 4, 2600 Vilnius; Vilnius Technical University, Saulétekio 11, 2054 Vilnius, Lithuania. Published in Lietuvos Matematikos Rinkinys, Vol. 39, No. 3, pp. 317–330, July–September, 1999.     

Spectral structure of Anderson type Hamiltonians

We study self adjoint operators of the form?H _ω = H ₀ + ∑λ_ω(n) <δ _n ,·>δ _n ,?where the δ _n ’s are a family of orthonormal vectors and the λ_ω(n)’s are independently distributed random variables with absolutely continuous probability distributions. We prove a general structural theorem saying that for each pair (n,m), if the cyclic subspaces corresponding to the vectors δ _n and δ _m are not completely orthogonal, then the restrictions of H _ω to these subspaces are unitarily equivalent (with probability one). This has some consequences for the spectral theory of such operators. In particular, we show that “well behaved” absolutely continuous spectrum of Anderson type Hamiltonians must be pure, and use this to prove the purity of absolutely continuous spectrum in some concrete cases. Oblatum 27-V-1999 & 6-I-2000?Published online: 8 May 2000     

On the distribution of reducible polynomials

Let ℛ _n (t) denote the set of all reducible polynomials p(X) over ℤ with degree n ≥ 2 and height ≤ t. We determine the true order of magnitude of the cardinality |ℛ _n (t)| of the set ℛ _n (t) by showing that, as t → ∞, t ² log t ≪ |ℛ₂(t)| ≪ t ² log t and t ⁿ ≪ |ℛ _n (t)| ≪ t _n for every fixed n ≥ 3. Further, for 1 < n/2 < k < n fixed let ℛ _k,n (t) ⊂ ℛ _n (t) such that p(X) ∈ ℛ _k,n (t) if and only if p(X) has an irreducible factor in ℤ[X] of degree k. Then, as t → ∞, we always have t ^k+1 ≪ |ℛ _k,n (t)| ≪ t ^k+1 and hence |ℛ _n−1,n (t)| ≫ |ℛ _n (t)| so that ℛ _n−1,n (t) is the dominating subclass of ℛ _n (t) since we can show that |ℛ _n (t)∖ℛ _n−1,n (t)| ≪ t ⁿ⁻¹(log t)².On the contrary, if R _n ^s (t) is the total number of all polynomials in ℛ _n (t) which split completely into linear factors over ℤ, then t ²(log t) ⁿ⁻¹ ≪ R _n ^s (t) ≪ t ² (log t) ⁿ⁻¹ (t → ∞) for every fixed n ≥ 2.