On Some Interpolation Rules for Lattice Ordered Groups

Let be an infinite cardinal. In this paper we define an interpolation rule IR() for lattice ordered groups. We denote by C() the class of all lattice ordered groups satisfying IR(), and prove that C() is a radical class.     

OnC 2-diffeomorphisms of the circle which are of type III1

For every irrational number [0, 1) which is not of constant type we construct aC ²-diffeomorphism of the circle with rotation number which is of type III₁. This diffeomorphism can be chosen arbitrarily close to the rotationR . Our methods also allow us to construct, for every Liouville number [0, 1), aC -diffeomorphism of the circle with rotation number which is of type III₁.     

Differentiability properties of the minimal average action

Given aZ ⁿ⁺¹-periodic variational principle onR ⁿ⁺¹ we look for solutionsu:R ⁿ R minimizing the variational integral with respect to compactly supported variations. To every vector R ⁿ we consider a subset of solutions which have an average slope when averaging overR ⁿ. The minimal average action A() is defined by the average value of the variational integral given by a solution with average slope . Our main result is:A is differentiable at if and only if the set is totally ordered (in the natural sense). In case that is not totally ordered,A is differentiable at in some direction R ⁿ{0} if and only if is orthogonal to the subspace defined by the rational dependency of . Assuming that the i^th component of is rational with denominator sⁱ N in lowest terms, we show: The difference of right- and left-sided derivative in the i^th standard unit direction is bounded by const · .     

Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

Bounds for optimalα-β binary trees

In this paper we consider a special kind of binary trees where each right edge is associated with a positive number and each left edge with a positive number( ). Given, and the number of nodesn, an optimal tree is one which minimizes the total weighted path length. An algorithm for constructing an optimal tree for given, , n is presented, based on which bounds for balances and total weighted path lengths of optimal trees are derived.     

Application of Hermite-Mahler polynomials to the approximation of the values ofp-adic exponential function

We shall give a further application of Hermite-Mahler polynomials to the consideration ofp-adic exponential function. An effective lower bound is obtained for max {| – | _p ,P(e )| _p }, where is an algebraic number satisfying || _p <p ^–/(p–1), and 0 is ap-adic number with | | _p depending on the degree of the polynomialPZ[y]. The bound obtained implies the transcendence ofe if ap-adic number satisfying 0 < || _p <p ^–/(p–1) is algebraic or can be well approximated by algebraic numbers.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

Partially ordered permutation groups

In this note we discuss permutation groups (G, ) in which the set admits aG-invariant order. By aG-invariant partial order (G-partial order) we mean a partial order < of such that < implies g<g, for all and in andg inG. If the set admits aG-partial order which is a total order, then (G, ) is an O-permutation group (orderable permutation group).The main concern of this paper is the development of a foundation for partially ordered permutation groups analogous to the existing one for partially ordered groups, as found in Fuchs [2].     

On the dispersion spectrum

A measure for the denseness of sequences (an) mod 1, irrational, is the dispersion constantD() introduced byH. Niederreiter. In this paper the smallest accumulation point ₁ of the set of theD() is determined and all those are explicitely given for whichD () < ₁ holds.     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.     

On the Measure of a Nonreciprocal Algebraic Number

Let M() be the Mahler measure of an algebraic number and let G() be the modulus of the product of logarithms of absolute values of its conjugates. We prove that if is a nonreciprocal algebraic number of degree d 2 then M()² G()^1/d 1/2d. This estimate is sharp up to a constant. As a main tool for the proof we develop an idea of Cassels on an estimate for the resultant of and 1/. We give a number of immediate corollaries, e.g., some versions of Smyth's inequality for the Mahler measure of a nonreciprocal algebraic integer from below.     

Inequalities for moments of tails of random variables,with a queueing application

Summary For a non-negative random variable X and 1 such that EX<, E(X-Y) ⁺ /{E(X-y) ₊}⁺ is monotonic-decreasing in y, and hence no smaller than EX . Inequalities for E(X-Y) ₊ E(, 1, y, z0) are also given. This relation enables an inequality of Kingman for the mean waiting time in a stationary GI/G/1 queue to be sharpened.Work done as Visiting Fellow, Department of Statistics, University of Melbourne     

Sur la convergence presque sure,au sens de Cesaro d'ordre α, 0<α<1, de variables aléatoires indepéndantes et identiquement distribuées

Summary We prove the following theorem: «Given 0<1, the (C, )-means of a sequence of i.i.d. random variables X _n converge a.s. iff E|X _n|^1/<.» For 1/2<1 and 0<<1/2 this result is essentially known. We give here a proof of the case =1/2; an important tool is a theorem of Hsu and Robbins [5].     

Hulls for Various Kinds of α-Completeness in Archimedean Lattice-Ordered Groups

Within Archimedean -groups, and with an infinite cardinal or , we consider X-hulls where X stands for any of the following classes of -groups: -projectable; laterally -complete; boundedly laterally -complete; conditionally -complete; combinations of the preceding, together with divisibility and/or relative uniform completeness. All these hulls exist, and may be obtained by iterated adjunction of the required extra elements, within the essential hull. When the -groups is relatively -complemented one step in the iteration suffices for several crucial properties. We derive from the above a considerable number of equations involving combinations of these hull operators.     

A class of non-Moufang Bol loops isomorphic to all their loop isotopes

For any two primes, , such that< and divides–1, it is shown that there exists a non-Moufang Bol loop of order ² which is isomorphic to each of its loop isotopes.     

On a hypothesis on Poincaré series

Let F(x₁,..., x_m) (m1) be a polynomial with integral p-adic coefficients, and let N, be the number of solutions of the congruence F(x₁,..., X_m)=0 mod A proof is given that the Poincaré series (t) = ₀ N t is rational for a class of isometrically-equivalent polynomials of m variables (m2) containing a form of degree n2 of two variables.Translated from Matematicheskie Zametki, Vol. 14, No. 3, pp. 453–463, September, 1973.The author wishes to thank N. G. Chudakov for discussing this paper and for his helpful advice.     

Quadratic-Cycloidal Curves

Interesting curves can be represented in the space Q=span{1,t,t ²,cost,sint}, t[0,] (0<<2). In this paper we introduce quadratic-cycloidal B-splines associated to equally spaced knots and the properties of the generated curves for 0<<. It is proved that, when 0, the limit of a QC-B-spline curve approaches a B-spline curve of degree 4.     

Admissibility of unbiased tests for a composite hypothesis with a restricted alternative

This paper discusses -admissiblility and d-admissiblity which are important concepts in studying the performance of statistical tests for composite hypotheses. A sufficient condition for -admissibility is presented. When =1/m, the Nomakuchi-Sakata test, which is uniformly more powerful than the likelihood ratio test for hypotheses min (₁, ₁) = 0 versus min (₁, ₁) > 0, is generalized for a class of distributions in an exponential family, and its unbiasedness and -admissibility are shown. Finally, the case of 1/m is discussed in brief.     

α-Convexity of Schlicht functions

Upper and lower bounds are obtained for the radius of-convexity, R, of the schlicht within ¦z¦< 1 functions g(z), g(0)=0, and g(0)=1, for values ranging from 0 to 0.313.... The exact value of R is determined for 0.313... < 1. The results constitute the solution to a problem recently posed by the Roumanianmathematician P. T. Mocanu [1].Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 227–232, February, 1972.     

Determinants in net subgroups

Suppose R is a commutative ring with 1, =( _ij ) is a fixedD-net of ideals of R of ordern, and G is the corresponding net subgroup of the general linear group GL (n, R). There is constructed for a homomorphismdet of the subgroup G() into a certain Abelian group (). Let I be the index set {1...,n}. For each subset I let ()= _{ij ji} , wherei, ranges over all indices in and j independently over the indices in the complement I ((I) is the zero ideal). Letdet (a) denote the principal minor of order ||n of the matrixa G () corresponding to the indices in , and let' () be the Cartesian product of the multiplicative groups of the quotient rings R/() over all subsets I. The homomorphismdet is defined as follows: It is proved that if R is a semilocal commutative Bezout ring, then the kernelKer det coincides with the subgroup E() generated by all transvections in G(). For these R is also definedTm det .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 37–49, 1982.