Local convexity of the growth function of finitely generated groups and question 5.2 in the Kourovka Notebook

Using the group <a,b|a³=b³=(ab)³=1>, we refute the conjecture dubbed in 1976 by V. Belyaev and N. Sesekin, which maintained that the growth function σ(n) of a finitely generated group satisfies the inequality σ(n)≤(σ(n−1)+σ(n+1))/2 for all sufficiently large n. Supported by the National Research Foundation of Switzerland, and by RFFR grant No. 96-01-00974. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 621–626, November–December, 1998.     

On the frequency of Titchmarsh’s phenomenon for ζ(s)-VIII

For suitable functionsH = H(T) the maximum of|(ζ(σ + it)) ^z | taken overT≤t≤T + H is studied. For fixed σ(1/2≤σ≤l) and fixed complex constantsz “expected lower bounds” for the maximum are established.     

On the distribution of values of the derivative of the Riemann zeta function at its zeros. I

Let ζ′(s) be the derivative of the Riemann zeta function ζ(s). A study on the value distribution of ζ′(s) at the non-trivial zeros ρ of ζ(s) is presented. In particular, for a fixed positive number X, an asymptotic formula and a non-trivial upper bound for the sum Σ_{0<Im ρ≤T} ζ′(ρ)X ^ρ as T → ∞ are given. We clarify the dependence on the arithmetic nature of X.     

A generalized square of the zeta function. Spectral decompositions

The spectral decomposition for the square of the classical Riemann zeta function ζ²(s) is generalized to the case of the product of two such functions ζ(s₁) · ζ(s₂) of different arguments. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 322, 2005, pp. 17–44.     

Onp-class groups of cyclic extensions of prime degreep of certain cyclotomic fields

Letp be an odd prime number, and letK be a cyclic extension of ℚ(ζ) of degreep, where ζ is a primitivep-th root of unity. LetC _K be thep-class group ofK, and letr _K be the minimal number of generators ofC _K ^1−σ as a module over Gal(K/ℚ(ζ)), were σ is a generator of Gal(K/ℚ(ζ)). This paper shows how likely it is forr _K = 0, 1, 2, … whenp=3, 5, or 7, and describes the obstacle to generalizing these results to regular primesp>7.     

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

On the sum Σ d |2 n −1d −1

Letσ(n) be the sum of divisors ofn. In this paper we proveσ(2 ⁿ − 1)<c(2 ⁿ − 1) log logn. To the memory of my friend, colleague and collaborator, Eri Jabotinsky     

Projection methods for the solution of Fredholm integral equations of the first kind with (ϕ, β)-differentiable kernels and random errors

We estimate errors of projection methods for the solution of the Fredholm equaitons of the first kindAx=y+ζ with random perturbation ζ under the assumption that the integral operatorA has a (ϕ, β)-differentiable kernel and the mathematical expectation of ∥ξ∥² does not exceed σ². Under these assumptions, we obtain an estimate that is a complete analog of the well-known result by Vainikko and Plato for the deterministic case where ∥ξ∥≤σ. Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 5, pp. 713–717, May, 1999.     

On perfect and multiply perfect numbers

Summary Denote by P(x) the number of integers n≤x satisfying σ(n)≡0 (mod n), and by P ₂ (x) the number of integers n ≤ x satisfying σ(n)=2n. The author proves that P(x)<x ^3/4+ɛ and P ₂ (x)<x ^(1−c)/2 for a certain c>0.     

On Estimates of Factorial Quotients

We consider the factorial quotients (2n − 1)!!/(2n)!! in connection with the Wallis formula n ⁻¹(2n)!!²/(2n − 1)!!² → π. We improve the Wallis inequalities (n + 1/2)⁻¹(2n)!!²/(2n − 1)!!² < π < n ⁻¹(2n)!!²/(2n − 1)!!² for π and obtain new estimates of factorial quotients with error order not worse than 1/n ². __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 45, No. 3, pp. 349–358, July–September, 2005.     

Large deviations and continuum limit in the 2D Ising model

Summary. We study the 2D Ising model in a rectangular box Λ _L of linear size O(L). We determine the exact asymptotic behaviour of the large deviations of the magnetization ∑ _t∈ΛL σ(t) when L→∞ for values of the parameters of the model corresponding to the phase coexistence region, where the order parameter m ^* is strictly positive. We study in particular boundary effects due to an arbitrary real-valued boundary magnetic field. Using the self-duality of the model a large part of the analysis consists in deriving properties of the covariance function <σ(0)σ(t)>, as |t|→∞, at dual values of the parameters of the model. To do this analysis we establish new results about the high-temperature representation of the model. These results are valid for dimensions D≥2 and up to the critical temperature. They give a complete non-perturbative exposition of the high-temperature representation. We then study the Gibbs measure conditioned by {|∑ _t∈ΛL σ(t) −m|Λ _L ||≤|Λ _L |L ^{− c} }, with 0<c<1/4 and −m ^*<m<m ^*. We construct the continuum limit of the model and describe the limit by the solutions of a variational problem of isoperimetric type. Received: 17 October 1996 / In revised form: 7 March 1997     

Computing the Euler characteristic of generalized Kummer varieties

We give an elementary proof of the formula χ(K ⁿ A)=n ³σ(n) for the Euler characteristic of the generalized Kummer variety K ⁿ A, where σ(n) denotes the sum of divisors function.     

The Trace of Nuclear Operators on L p (μ) for σ-Finite Borel Measures on Second Countable Spaces

Let Ω be a second countable topological space and μ be a σ−finite measure on the Borel sets M{\mathcal{M}}. Let T be a nuclear operator on L^p(W,M,m){L^p({\Omega},{\mathcal{M}},\mu) }, 1 < p < ∞, in this work we establish a formula for the trace of T. A preliminary trace formula is established applying the general theory of traces on operator ideals introduced by Pietsch and a characterization of nuclear operators for σ−finite measures. We also use the Doob’s maximal theorem for martingales with the purpose of studying the kernel k(x, y) of T on the diagonal.     

A unified Witten–Reshetikhin–Turaev invariant for integral homology spheres

We construct an invariant J _M of integral homology spheres M with values in a completion of the polynomial ring ℤ[q] such that the evaluation at each root of unity ζ gives the the SU(2) Witten–Reshetikhin–Turaev invariant τ_ζ(M) of M at ζ. Thus J _M unifies all the SU(2) Witten–Reshetikhin–Turaev invariants of M. It also follows that τ_ζ(M) as a function on ζ behaves like an “analytic function” defined on the set of roots of unity.     

Error bounds for asymptotic expansion of the scale mixtures of the normal distribution

Summary LetX be a standard normal random variable and let σ be a positive random variable independent ofX. The distribution of η=σX is expanded around that ofN(0, 1) and its error bounds are obtained. Bounds are given in terms of E(σ ²V−σ ²−1) ^k whereσ ²Vσ ⁻² denotes the maximum of the two quantitiesσ ² andσ ⁻², andk is a positive integer, and of E(σ ²−1) ^k , ifk is even. The Institute of Statistical Mathematics     

Estimating the Scale Parameter of a Lévy-stable Distribution via the Extreme Value Approach

The characteristic exponent α of a Lévy-stable law S _α (σ, β, μ) was thoroughly studied as the extreme value index of a heavy tailed distribution. For 1 < α < 2, Peng (Statist. Probab. Lett. 52: 255–264, 2001) has proposed, via the extreme value approach, an asymptotically normal estimator for the location parameter μ. In this paper, we derive by the same approach, an estimator for the scale parameter σ and we discuss its limiting behavior.      

The Nicolas and Robin inequalities with sums of two squares

In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality σ(n) < e ^γ n log log n holds for every integer n > 5040, where σ(n) is the sum of divisors function, and γ is the Euler–Mascheroni constant. We exhibit a broad class of subsets S{\mathcal {S}} of the natural numbers such that the Robin inequality holds for all but finitely many n ? S{n \in \mathcal {S}} . As a special case, we determine the finitely many numbers of the form n = a ² + b ² that do not satisfy the Robin inequality. In fact, we prove our assertions with the Nicolas inequality n/φ(n) < e ^γ log log n; since σ(n)/n < n/φ(n) for n > 1 our results for the Robin inequality follow at once.     

The Nicolas and Robin inequalities with sums of two squares

In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality σ(n) < e ^γ n log log n holds for every integer n > 5040, where σ(n) is the sum of divisors function, and γ is the Euler–Mascheroni constant. We exhibit a broad class of subsets of the natural numbers such that the Robin inequality holds for all but finitely many . As a special case, we determine the finitely many numbers of the form n = a ² + b ² that do not satisfy the Robin inequality. In fact, we prove our assertions with the Nicolas inequality n/φ(n) < e ^γ log log n; since σ(n)/n < n/φ(n) for n > 1 our results for the Robin inequality follow at once.      

Sugli zeri delle funzioni zeta di Dedekind

Riassunto Scopo di questo lavoro è dare una formula asintotica per il numero degli zeri di ReF _K(λ+it) e di ImF _K(λ+it), dove eζ _K(8) è la funzione zeta di Dedekind associata al campo numericoK, con 0<t<T e λ numero reale fissato tale che 1−1/n<λ<1 doven è il grado diK.

---

Summary The aim of this paper is to give an asymptotic formula for the number of zeros of ReF _K(λ+it) and ImF _K(λ+it), where andζ _K(8) is the Dedekind zeta function for a number fieldK, with 0<t<T and λ fixed real number such that 1−1/n<λ<1, wheren is the degree ofK.

     

Lattice Points, Dedekind Sums, and Ehrhart Polynomials of Lattice Polyhedra

   Abstract. Let σ be a simplex of R ^N with vertices in the integral lattice Z ^N . The number of lattice points of mσ (={mα : α ∈ σ}) is a polynomial function L(σ,m) of m ≥ 0 . In this paper we present: (i) a formula for the coefficients of the polynomial L(σ,t) in terms of the elementary symmetric functions; (ii) a hyperbolic cotangent expression for the generating functions of the sequence L(σ,m) , m ≥ 0 ; (iii) an explicit formula for the coefficients of the polynomial L(σ,t) in terms of torsion. As an application of (i), the coefficient for the lattice n -simplex of R ⁿ with the vertices (0,. . ., 0, a _j , 0,. . . ,0) (1≤ j≤ n) plus the origin is explicitly expressed in terms of Dedekind sums; and when n=2 , it reduces to the reciprocity law about Dedekind sums. The whole exposition is elementary and self-contained.