An additive divisor problem with a growing number of factors

Let τk(n) be the number of representations ofn as the product ofk positive factors, τ(n)=τ(n). The asymptotics of Σ _n≤x τ _k (n)τ(n+1) for 80k ¹⁰ (lnlnx)³≤lnx is shown to be uniform with respect tok. Translated fromMatematicheskie Zametki, Vol. 61, No. 3, pp. 391–406, March, 1997. Translated by N. K. Kulman     

À propos de l’indice de composition des nombres

 We define the index of composition λ(n) of an integer n ⩾ 2 as λ(n) = log n/log γ(n), where γ(n) stands for the product of the primes dividing n, and first establish that λ and 1/λ both have asymptotic mean value 1. We then establish that, given any ɛ > 0 and any integer k ⩾ 2, there exist infinitely many positive integers n such that . Considering the distribution function F(z,x) := #{n < x : λ(n) > z}, we prove that, given 1 < z < 2 and ɛ > 0, then, if x is sufficiently large,

Estimates on binomial sums of partition functions

Let p(n) denote the partition function and define where p(0)= 1. We prove that p(n,k) is unimodal and satisfies for fixed n≥ 1 and all 1≤k≤n. This result has an interesting application: the minimal dimension of a faithful module for a k-step nilpotent Lie algebra of dimension n is bounded by p(n,k) and hence by , independently of k. So far only the bound n ^{n −1} was known. We will also prove that for n≥ 1 and . Received: 17 December 1999     

On the value set of the Ramanujan function

We give lower bounds on the number of distinct values of the Ramanujan function τ(n), n ≦ x, and on the number of distinct residues of τ(n), n ≦ x, modulo a prime ℓ. We also show that for any prime ℓ the values τ(n), n ≦ ℓ⁴, form a finite additive basis modulo ℓ. Received: 6 October 2004     

Equations fonctionnelles et estimations de normes de matrices

We solve independently the equations 1/θ(x)θ(y)=ψ(x)−ψ(y)+φ(x−y)/θ(x−y) and 1/θ(x)θ(y)=σ(x)−σ(y)/θ(x−y)+τ(x)τ(y), τ(0)=0. In both cases we find θ²=aθ⁴+bθ²+c. We deduce estimates for the spectral radius of a matrix of type(1/θ(x _r −x _s )) (the accent meaning that the coefficients of the main diagonal are zero) and we study the case where thex _r are equidistant.

Dédié to à Monsieur le Professeur Otto Haupt à l'occasion de son cententiare avec les meilleurs voeux     

Character Sums in Short Intervals and the Multiplication Table Modulo a Large Prime

We obtain nontrivial estimates of character sums over short intervals for almost all moduli. These bounds and the method of Karatsuba for solving multiplicative ternary problems are used to prove that for π(X)(1 + o(1)) primes p,p ≤ X, there are p(1 + o(1)) residue classes modulo p of the form xy (mod p), where 1 ≤ x, y ≤ p^?(log p)^1,087. We also prove that for any prime p there are p(1 + o(1)) residue classes modulo p of the form xy^* (mod p), where 1 ≤ x, y ≤ p^?(log p)^1+o(1) and y^* is defined by yy^* ≡ 1 (mod p).     

Degree-uniform lower bound on the weights of polynomials with given sign function

A Boolean function f: {0, 1} ⁿ → {0, 1} is called the sign function of an integer polynomial p of degree d in n variables if it is true that f(x) = 1 if and only if p(x) > 0. In this case the polynomial p is called a threshold gate of degree d for the function f. The weight of the threshold gate is the sum of the absolute values of the coefficients of p. For any n and d ≤ D ≤ $\frac{{\varepsilon n^{1/5} }} {{\log n}} $\frac{{\varepsilon n^{1/5} }} {{\log n}} we construct a function f such that there is a threshold gate of degree d for f, but any threshold gate for f of degree at most D has weight 2^{(dn)d /D4d} 2^{(\delta n)^d /D^{4d} } , where ɛ > 0 and δ > 0 are some constants. In particular, if D is constant, then any threshold gate of degree D for our function has weight 2^{W(nd )}2^{\Omega (n^d )} . Previously, functions with these properties have been known only for d = 1 (and arbitrary D) and for D = d. For constant d our functions are computable by polynomial size DNFs. The best previous lower bound on the weights of threshold gates for such functions was 2^Ω(n). Our results can also be translated to the case of functions f: {−1, 1} ⁿ → {−1, 1}.     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

Oscillatory of unstable type second-order neutral difference equations

We consider the problem of oscillation and nonoscillation solutions for unstable type second-order neutral difference equation: Δ²(x(n) − p(n)x(n −τ)) =q(n)x(g(n)). (1) In this paper, we obtain some conditions for the bounded solutions of Eq(1) to be oscillatory and for the existence of the nonoscillatory solutions.     

Multidimensional analog of the Hardy condition for power series

In the middle of the 20th century Hardy obtained a condition which must be imposed on a formal power series f(x) with positive coefficients in order that the series f ⁻¹(x) = $ \sum\limits_{n = 0}^\infty {b_n x^n } $ \sum\limits_{n = 0}^\infty {b_n x^n } b _n x ⁿ be such that b ₀ > 0 and b _n ≤ 0, n ≥ 1. In this paper we find conditions which must be imposed on a multidimensional series f(x ₁, x ₂, …, x _m ) with positive coefficients in order that the series f ⁻¹(x ₁, x ₂, …, x _m ) = $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } satisfies the property b _{0, …, 0} > 0, $ bi_1 ,i_2 , \ldots ,i_m $ bi_1 ,i_2 , \ldots ,i_m ≤ 0, i ₁² + i ₂² + … + i _m ² > 0, which is similar to the one-dimensional case.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...     

Riesz means for the sublaplacian on the Heisenberg group

The uniform boundedness of the Riesz means for the sublaplacian on the Heisenberg groupH ⁿ is considered. It is proved thatS _R ^α are uniformly bounded onL ^p(Hⁿ) for 1≤p≤2 provided α>α(p)=(2n+1)[(1/p)−(1/2)].     

New Coins from Old, Smoothly

Given a (known) function f:[0,1]→(0,1), we consider the problem of simulating a coin with probability of heads f(p) by tossing a coin with unknown heads probability p, as well as a fair coin, N times each, where N may be random. The work of Keane and O’Brien (ACM Trans. Model. Comput. Simul. 4(2):213–219, 1994) implies that such a simulation scheme with the probability ℙ _p (N<∞) equal to 1 exists if and only if f is continuous. Nacu and Peres (Ann. Appl. Probab. 15(1A):93–115, 2005) proved that f is real analytic in an open set S⊂(0,1) if and only if such a simulation scheme exists with the probability ℙ _p (N>n) decaying exponentially in n for every p∈S. We prove that for α>0 noninteger, f is in the space C ^α [0,1] if and only if a simulation scheme as above exists with ℙ _p (N>n)≤C(Δ _n (p)) ^α , where \varDelta _n(x):=max{?{x(1-x)/n},1/n}\varDelta _{n}(x):=\max\{\sqrt{x(1-x)/n},1/n\}. The key to the proof is a new result in approximation theory: Let B⁺_n\mathcal{B}^{+}_{n} be the cone of univariate polynomials with nonnegative Bernstein coefficients of degree n. We show that a function f:[0,1]→(0,1) is in C ^α [0,1] if and only if f has a series representation ?_n=1^￥F_n\sum_{n=1}^{\infty}F_{n} with F_n ? B⁺_nF_{n}\in \mathcal{B}^{+}_{n} and ∑ _k>n F _k (x)≤C(Δ _n (x)) ^α for all x∈[0,1] and n≥1. We also provide a counterexample to a theorem stated without proof by Lorentz (Math. Ann. 151:239–251, 1963), who claimed that if some j_n ? B⁺_n\varphi_{n}\in\mathcal{B}^{+}_{n} satisfy |f(x)−φ _n (x)|≤C(Δ _n (x)) ^α for all x∈[0,1] and n≥1, then f∈C ^α [0,1].     

Asymptotic stability and instability criteria for nonautonomous systems

The classical criterion of asymptotic stability of the zero solution of equations x′ = f(t, x) is that there exists a function V (t, x), a(∥x∥) ≤ V (t, x) ≤ b(∥x∥) for some a, b ∈ K such that [(V)\dot] \dot{V} (t, x) ≤ −c(∥x∥) for some c ∈ K. In this paper, we prove that if V^{(m + 1)} \mathop {V}\limits^{(m + {1})} (t, x) is bounded on some set [tk − T, tk + T] × BH(tk → +∞ as k → ∞), then the condition that [(V)\dot] \dot{V} (t, x) ≤ −c(∥x∥) can be weakened and replaced by that [(V)\dot] \dot{V} (t, x) ≤ 0 and − (−[(V)\dot] \dot{V} (tk, x)| + − [(V)\ddot] \ddot{V} (tk, x)| + ⋯ + − V^(m) \mathop {V}\limits^{(m)} (tk, x)|) ≤ −c′(∥x∥) for some c′ ∈ K. Moreover, the author also presents a corresponding instability criterion. [1–10]     

Problems similar to the additive divisor problem

For multiplicative functions ƒ(n), let the following conditions be satisfied: ƒ(n)≥0 ƒ(p ^r)≤A ^r,A>0, and for anyε>0 there exist constants ,α>0 such that and Σ _p≤x ƒ(p) lnp≥αx. For such functions, the following relation is proved:

The Johnson–Lindenstrauss Lemma Almost Characterizes Hilbert Space, But Not Quite

Let X be a normed space that satisfies the Johnson–Lindenstrauss lemma (J–L lemma, in short) in the sense that for any integer n and any x ₁,…,x _n ∈X, there exists a linear mapping L:X→F, where F⊆X is a linear subspace of dimension O(log n), such that ‖x _i −x _j ‖≤‖L(x _i )−L(x _j )‖≤O(1)⋅‖x _i −x _j ‖ for all i,j∈{1,…,n}. We show that this implies that X is almost Euclidean in the following sense: Every n-dimensional subspace of X embeds into Hilbert space with distortion 2^2O(log*n)2^{2^{O(\log^{*}n)}} . On the other hand, we show that there exists a normed space Y which satisfies the J–L lemma, but for every n, there exists an n-dimensional subspace E _n ⊆Y whose Euclidean distortion is at least 2^Ω(α(n)), where α is the inverse Ackermann function.     

Existence principles for higher-order nonlocal boundary-value problems and their applications to singular Sturm-Liouville problems

We present existence principles for the nonlocal boundary-value problem (φ(u^(p−1)))′=g(t,u,...,u^(p−1), α_k(u)=0, 1≤k≤p−1, where p ≥ 2, π: ℝ → ℝ is an increasing and odd homeomorphism, g is a Carathéodory function that is either regular or has singularities in its space variables, and α _k: C ^p−1[0, T] → ℝ is a continuous functional. An application of the existence principles to singular Sturm-Liouville problems (−1)ⁿ(φ(u⁽²ⁿ⁻⁾))′=f(t,u,...,u⁽²ⁿ⁻¹⁾), u^(2k)(0)=0, α_ku^(2k)(T)+b_ku^(2k=1)(T)=0, 0≤k≤n−1, is given. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 240–259, February, 2008.     

Exact Rates of Convergence of Functional Limit Theorems for Csörgő;-Révész Increments of a Wiener Process

Let {W(t); t≥ 0} be a standard Wiener process and S be the Strassen set of functions. We investigate the exact rates of convergence to zero (as T→∞) of the variables $ \sup _{{0 \leqslant t \leqslant T - \alpha _{T} }} \inf _{{f \in S}} \sup _{{0 \leqslant x \leqslant 1}} {\left| {Y_{{t,T}} {\left( x \right)} - f{\left( x \right)}} \right|} Let {W(t); t≥ 0} be a standard Wiener process and S be the Strassen set of functions. We investigate the exact rates of convergence to zero (as T→∞) of the variables sup_{0≤ t ≤ T − aT} inf _f∈S sup_{0≤ x ≤1}|Y _t,T (x) −f(x)| and inf_{0≤ t ≤ T−aT} sup_{0≤ x ≤1}|Y _t,T (x−f(x)| for any given f∈S, where Y _t,T (x) = (W(t+xa _T ) −W(t)) (2a _T (log Ta _T ⁻¹ + log log T))^−1/2. We establish a relation between how small the increments are and the functional limit results of Cs?rg{\H o}-Révész increments for a Wiener process. Similar results for partial sums of i.i.d. random variables are also given. Received September 10, 1999, Accepted June 1, 2000     

On noncommutative weighted local ergodic theorems on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace τ, and {α _t }, a strongly continuous extension to L ^p (M, τ) of a semigroup of absolute contractions on L ¹(M, τ). By means of a non-commutative Banach Principle we prove for a Besicovitch function b and x ∊ L ^p (M, τ), that the averages 1/T ∫₀ ^T b(t)α _t (x)dt converge bilateral almost uniformly in L ^p (M, τ) as T → 0. Communicated by Dénes Petz     

Negative result in pointwise 3-convex polynomial approximation

Let Δ³ be the set of functions three times continuously differentiable on [−1, 1] and such that f″′(x) ≥ 0, x ∈ [−1, 1]. We prove that, for any n ∈ ℕ and r ≥ 5, there exists a function f ∈ C ^r [−1, 1] ⋂ Δ³ [−1, 1] such that ∥f ^(r)∥ _{C[−1, 1]} ≤ 1 and, for an arbitrary algebraic polynomial P ∈ Δ³ [−1, 1], there exists x such that