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.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Ann-dimensional search problem with restricted questions

The problem is the following: How many questions are necessary in the worst case to determine whether a pointX in then-dimensional Euclidean spaceR ⁿ belongs to then-dimensional unit cubeQ ⁿ, where we are allowed to ask which halfspaces of (n−1)-dimensional hyperplanes contain the pointX? It is known that ⌌3n/2⌍ questions are sufficient. We prove here thatcn questions are necessary, wherec≈1.2938 is the solution of the equationx log₂ x−(x−1) log₂ (x−1)=1.     

On some characterization of probability distributions in Hilbert spaces

Summary The aim of this paper is to prove the following theorem about characterization of probability distributions in Hilbert spaces:Theorem. — Let x₁, x₂, …, x_n be n (n≥3) independent random variables in the Hilbert spaceH, having their characteristic functionals f_k(t) = E[e^i(t,x _k)], (k=1, 2, …, n): let y₁=x₁ + x_n, y₂=x₂ + x_n, …, y_n−1=x_n−1 + x_n. If the characteristic functional f(t₁, t₂, …, t_n−1) of the random variables (y₁, y₂, …, y_n−1) does not vanish, then the joint distribution of (y₁, y₂, …, y_n−1) determines all the distributions of x₁, x₂, …, x_n up to change of location.     

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.     

Polynomials of best approximation inC[−1,1]

Equivalences between the condition |P _n ^(k) (x)|≦K(n ⁻¹√1−x ²+1/n ²) ^k n ^-a, whereP _n(x) is the bestn-th degree polynomial approximation tof(x), and the Peetre interpolation space betweenC[−1,1] and the space (1−x ²) ^k f ^(2k)(x)∈C[−1,1] is established. A similar result is shown forE _n(f)= ‖f−P _n‖ _C[−1,1]. Rates other thann ^-a are also discussed. Supported by NSERC grant A4816 of Canada.     

Asymptotic behavior of solutions for a class of retarded difference equations

Consider the retarded difference equationx _n −x _n−1 =F(−f(x _n )+g(x _n−k )), wherek is a positive integer,F,f,g:R→R are continuous,F andf are increasing onR, anduF(u)>0 for allu≠0. We show that whenf(y)≥g(y) (resp. f(y)≤g(y)) fory∈R, every solution of (*) tends to either a constant or −∞ (resp. ∞) asn→∞. Furthermore, iff(y)≡g(y) fory∈R, then every solution of (*) tends to a constant asn→∞. Project supported by NNSF (19601016) of China and NSF (97-37-42) of Hunan     

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 perfectB-splines and a time-optimal control problem

Letx _v =cos (πν/n) (v=0, 1, …,n). It is shown that theB-splineM(x)=M(x; x ₀ ,x ₁ ,…, x _n ) is such thatM _n ⁽ⁿ⁾ (x) has a constant absolute value (=2 ⁿ⁻² (n−1)!) in [−1, 1]. Its integralf ₀(x)=∫ ₋₁ ^x M(t)dt is shown to have an optimal property that allows to solveexplicitly a certain time-optimal control problem.     

Divisibility properties of certain recurrent sequences

Let g and m be two positive integers, and let F be a polynomial with integer coefficients. We show that the recurrent sequence x₀ = g, x_n = x _n−1 ⁿ + F(n), n = 1, 2, 3,…, is periodic modulo m. Then a special case, with F(z) = 1 and with m = p > 2 being a prime number, is considered. We show, for instance, that the sequence x₀ = 2, x_n = x _n−1 ⁿ + 1, n = 1, 2, 3, …, has infinitely many elements divisible by every prime number p which is less than or equal to 211 except for three prime numbers p = 23, 47, 167 that do not divide x_n. These recurrent sequences are related to the construction of transcendental numbers ζ for which the sequences [ζ^n!], n = 1, 2, 3, …, have some nice divisibility properties. Bibliography: 18 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 322, 2005, pp. 76–82.     

Gibbsianness of fermion random point fields

We consider fermion (or determinantal) random point fields on Euclidean space ℝ^d. Given a bounded, translation invariant, and positive definite integral operator J on L²(ℝ^d), we introduce a determinantal interaction for a system of particles moving on ℝ^d as follows: the n points located at x₁,· · ·,x_n ∈ ℝ^d have the potential energy given by where j(x−y) is the integral kernel function of the operator J. We show that the Gibbsian specification for this interaction is well-defined. When J is of finite range in addition, and for d≥2 if the intensity is small enough, we show that the fermion random point field corresponding to the operator J(I+J)⁻¹ is a Gibbs measure admitted to the specification.     

Concerning the order of approximation of periodic continuous functions by trigonometric interpolation polynomials

Letx _kn=2θk/n,k=0,1 …n−1 (n odd positive integer). LetR _n(x) be the unique trigonometric polynomial of order 2n satisfying the interpolatory conditions:R _n(x_kn)=f(x_kn),R _n ^(j)(x_kn)=0,j=1,2,4,k=0,1…,n−1. We setw ₂(t,f) as the second modulus of continuity off(x). Then we prove that |R _n(x)-f(x)|=0(nw₂(1/nf)). We also examine the question of lower estimate of ‖R _n-f‖. This generalizes an earlier work of the author.     

Fourier and Hermite series estimates of regression functions

Summary In the paper we estimate a regressionm(x)=E {Y|X=x} from a sequence of independent observations (X ₁,Y ₁),…, (X _n, Y_n) of a pair (X, Y) of random variables. We examine an estimate of a type , whereN depends onn andϕ _N is Dirichlet kernel and the kernel associated with the hermite series. Assuming, that E|Y|<∞ and |Y|≦γ≦∞, we give condition for to converge tom(x) at almost allx, provided thatX has a density. if the regression hass derivatives, then converges tom(x) as rapidly asO(nC^{−(2s−1)/4s}) in probability andO(n ^{−(2s−1)/4s} logn) almost completely.     

Limit theorems for large deviations probabilities of certain quadratic forms

Let (ξ _k ,F _k ) be a martingale difference sequence. The paper concerns the tail behavior of the quadratic formS _n = ∑ _k=1 ⁿ ∑ _j=1 ^k−1 β _n ^k−j χ _k χ _j , where β _n asn→∞. The main conclusions aboutP}n ⁻¹ S _n >x _n }, wherex _n →∞, asn→∞, are obtained using the tail behavior of a martingale with values in a certain Hilbert space. Vilnius University, Naugarduko 24; Institute of Mathematics and Informatics, Akademijos 4, 2600 Vilnius, Lithuania. Published in Lietuvos Matematikos Rinkinys, Vol. 37, No. 4, pp. 532–549, October–December, 1997.     

Lower bounds at infinity of solutions of partial differential equations in the exterior of a proper cone

An extension of a classical theorem of Rellich to the exterior of a closed proper convex cone is proved: Let Γ be a closed convex proper cone inR ⁿ and −Γ′ be the antipodes of the dual cone of Γ. Let be a partial differential operator with constant coefficients inR ⁿ, whereQ(ζ)≠0 onR ⁿ−iΓ′ andP _i is an irreducible polynomial with real coefficients. Assume that the closure of each connected component of the set {ζ∈R ⁿ−iΓ′;P _j(ζ)=0, gradP _j(ζ)≠0} contains some real point on which gradP _j≠0 and gradP _j∉Γ∪(−Γ). LetC be an open cone inR ⁿ−Γ containing both normal directions at some such point, and intersecting each normal plane of every manifold contained in {ξ∈R ⁿ;P(ξ)=0}. Ifu∈ℒ′∩L _loc ² (R ⁿ−Γ) and the support ofP(−i∂/∂x)u is contained in Γ, then the condition implies that the support ofu is contained in Γ.     

The existence of non-degenerate functions on a compact differentiablem-manifoldM

Summary Let M be a compact differentiable m-manifold of class C^m in E_n, n=2m+1. Let x=(x₁, ..., x_n) represent a point in E_n. The union of the direction c on the direction sphere S_n−1 in E_n such that the scalar product c · x defines a non-degenerate fonction on M is an open subset of S_n−1 whose complement θ has a Lebesgue measure zero on S_n−1. When M is non-compact θ can be everywhere dense on S_n−1, but still has Lebesgue measure zero. To Giovanni Sansone on his 70^th birth day.     

Certain Ergodic Properties of a Differential System on a Compact Differentiable Manifold

Let M ⁿ be an n-dimensional compact C ^∞-differentiable manifold, n ≥ 2, and let S be a C ¹-differential system on M ⁿ . The system induces a one-parameter C ¹ transformation group φ _t (−∞ < t < ∞) over M ⁿ and, thus, naturally induces a one-parameter transformation group of the tangent bundle of M ⁿ . The aim of this paper, in essence, is to study certain ergodic properties of this latter transformation group. Among various results established in the paper, we mention here only the following, which might describe quite well the nature of our study. (A) Let M be the set of regular points in M ⁿ of the differential system S. With respect to a given C ^∞ Riemannian metric of M ⁿ , we consider the bundle of all (n−2) spheres Q _x ⁿ⁻², x∈M, where Q _x ⁿ⁻² for each x consists of all unit tangent vectors of M ⁿ orthogonal to the trajectory through x. Then, the differential system S gives rise naturally to a one-parameter transformation group ψ _t ^# (−∞<t<∞) of . For an l-frame α = (u ₁, u ₂,⋯, u _l ) of M ⁿ at a point x in M, 1 ≥ l ≥ n−1, each u _i being in , we shall denote the volume of the parallelotope in the tangent space of M ⁿ at x with edges u ₁, u ₂,⋯, u _l by υ(α), and let . This is a continuous real function of t. Let

On the Matlis duals of local cohomology modules and modules of generalized fractions

Let (R, m) be a commutative Noetherian local ring with non-zero identity, a a proper ideal of R and M a finitely generated R-module with aM ≠ M. Let D(−) ≔ Hom _R (−, E) be the Matlis dual functor, where E ≔ E(R/m) is the injective hull of the residue field R/m. In this paper, by using a complex which involves modules of generalized fractions, we show that, if x ₁, …, x _n is a regular sequence on M contained in α, then H _{(x1, …,xnR} ⁿ D(H _a ⁿ (M))) is a homomorphic image of D(M), where H _b ⁱ (−) is the i-th local cohomology functor with respect to an ideal b of R. By applying this result, we study some conditions on a certain module of generalized fractions under which D(H _{(x1, …,xn)R} ⁿ (D(H _a ⁿ (M)))) ⋟ D(D(M)).     

Penultimate limiting forms in extreme value theory

Summary Let {X _n}_n≧1 be a sequence of independent, identically distributed random variables. If the distribution function (d.f.) ofM _n=max (X ₁,…,X _n), suitably normalized with attraction coefficients {α_n}_n≧1(α_n>0) and {b _n}_n≧1, converges to a non-degenerate d.f.G(x), asn→∞, it is of interest to study the rate of convergence to that limit law and if the convergence is slow, to find other d.f.'s which better approximate the d.f. of(M _n−b_n)/a_n thanG(x), for moderaten. We thus consider differences of the formF ⁿ(a_nx+b_n)−G(x), whereG(x) is a type I d.f. of largest values, i.e.,G(x)≡Λ(x)=exp (-exp(−x)), and show that for a broad class of d.f.'sF in the domain of attraction of Λ, there is a penultimate form of approximation which is a type II [Ф _α(x)=exp (−x^−α), x>0] or a type III [Ψ _α(x)= exp (−(−x)^α), x<0] d.f. of largest values, much closer toF ⁿ(a_nx+b_n) than the ultimate itself.     

Graphs whose every transitive orientation contains almost every relation

Given a graphG onn vertices and a total ordering ≺ ofV(G), the transitive orientation ofG associated with ≺, denotedP(G; ≺), is the partial order onV(G) defined by settingx<y inP(G; ≺) if there is a pathx=x ₁ x ₂…x _r=y inG such thatx ₁ ≺x _j for 1≦i<j≦r. We investigate graphsG such that every transitive orientation ofG contains ₂ ⁿ −o(n ²) relations. We prove that almost everyG _n,p satisfies this requirement if , but almost noG _n,p satisfies the condition if (pn log log logn)/(logn log logn) is bounded. We also show that every graphG withn vertices and at mostcn logn edges has some transitive orientation with fewer than ₂ ⁿ −δ(c)n ² relations. Partially supported by MCS Grant 8104854.