Majorants and Extreme Points of Unit Balls in Bernstein Spaces

The Bernstein space B ^p () (1 $$ " align="middle" border="0"> 0) is the set of functions from L ^p( ) having Fourier transforms (in the sense of generalized functions) with supports in the compact segment [- , ]. Every function f has an analytic continuation onto the complex plane, which is an entire function of exponential type . The spaces B ^p ()\, are conjugate Banach spaces. Therefore, the closed unit ball in B ^p () has a rich set of extreme (boundary) points: coincides with the weakly ^* closed convex hull of its extreme points. Since, for 1< p< , B ^p () is a uniformly convex space, only the balls and have nontrivially arranged sets of extreme points. In this paper, in terms of zeros of entire functions, we obtain necessary and sufficient conditions of extremeness for functions from .     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.     

On the error term in the mean square formula for the Riemann zeta-function in the critical strip

For 1/2<<1 fixed, letE (T) denote the error term in the asymptotic formula for . We obtain some new bounds forE (T), and an _-result which is the analogue of the strongest _-result in the classical Dirichlet divisor problem.     

On the exactness of a theorem of Mazur and Orlicz

For a preassigned unbounded sequence {S_n} of complex numbers, and preassigned complex numbers z₁ and z₂z₁ we construct: 1) regular matrices A=a_nk and B=b_nk such that the same bounded sequences are summable by these matrices and that , and ; 2) regular matrices A⁽¹⁾)=a _nk ⁽¹⁾ and B⁽¹⁾=b _nk ⁽¹⁾ such that B⁽¹⁾ A⁽¹⁾, and, . Our results show that the well known theorem of MazurOrlicz on the bounded consistency of two regular matrices, one of which is boundedly stronger than the other, is exact.Translated from Matematicheskie Zametki, Vol. 11, No. 4, pp. 431–436, April, 1972.     

On the stochastic independence properties of hard-core distributions

A probability measurep on the set of matchings in a graph (or, more generally 2-bounded hypergraph) ishard-core if for some : [0,), the probabilityp(M) ofM is proportional to . We show that such distributions enjoy substantial approximate stochastic independence properties. This is based on showing that, withM chosen according to the hard-core distributionp, MP () the matching polytope of , and >0, if the vector ofmarginals, (Pr(AM):A an edge of ), is in (1–) MP (), then the weights (A) are bounded by someA(). This eventually implies, for example, that under the same assumption, with fixed, as the distance betweenA, B tends to infinity.Thought to be of independent interest, our results have already been applied in the resolutions of several questions involving asymptotic behaviour of graphs and hypergraphs (see [14, 16], [11]–[13]).Supported in part by NSFThis work forms part of the author's doctoral dissertation [16]; see also [17]. The author gratefully acknowledges NSERC for partial support in the form of a 1967 Science and Engineering Scholarship.     

Conditions of Local Asymptotic Normality for Gaussian Stationary Processes

Let {\bold x}[] be a stationary Gaussian process with zero mean and spectral density f, let be the -algebra induced by the random variables {\bold x}[], D(R¹), and let _t, t > 0, be the -algebra induced by the random variables x[],supp [-t,t]. Denote by (f) the Gaussian measure on generated by {\bold x}. Let _t(f) be the restriction of (f) to _t. Let f and g be nonnegative functions such that the measures _t(f) and _t(g) are absolutely continuous. Put

Die Öffnungsstrecken der Bahnregelflächen geschlossener räumlicher äquiformer Zwangläufe

Let the orientated line of the three-dimensional moving space , trace out a closed ruled surface in the fixed space and let us consider an integral invariant the aperture distance of an orthogonal trajectory of its generators. Then the locus of lines with a given is a cyclic quadratic complex, which reduces to a linear complex in the case =0. Furthermore in this paper some line-geometric Holditch-theorems due toS. Hentschke [6],L. Hering [7] andJ. Hoschek [9], are generalized.     

Relations of Borel Type for Generalizations of Exponential Series

We prove that the condition is necessary and sufficient for the validity of the relation ln F() ln (, F), +, outside a certain set for every function from the class . Here, H(, f) is the class of series that converge for all 0 and have a form

On Conservative Confidence Intervals

The subject of the paper – (conservative) confidence intervals – originates in applications to auditing. Auditors are interested in upper confidence bounds for an unknown mean for all sample sizes n. The samples are drawn from populations such that often only a few observations are nonzero. The conditional distribution of an observation given that it is nonzero usually has a very irregular shape. However, it can be assumed that observations are bounded. We propose a way to reduce the problem to inequalities for tail probabilities of certain relevant statistics. Note that a traditional approach involving limit theorems forces to impose additional conditions on regularity of samples and leads to approximate or asymptotic bounds. In the case of , as a statistic we can use sample mean, say , and we have to use Hoeffding [7] inequalities, since currently they are the best available. This leads to upper confidence bounds for which are of (asymptotic) size at most in the case of risk =0.05, where is the unknown standard deviation. We have , where is the bound in a model with normally distributed observations. It seems that the bound is very robust and can be improved replacing Hoeffding's inequalities by more refined ones. The commonly used Stringer bound (it is still not known whether it is an upper confidence bound) is of asymptotic size c with equality only for Bernoulli distributions, and the ratio c / can be arbitrary large already for rather simple distributions. Our bounds can involve a priori information (professional judgment of an auditor) of type ₀ or/and ₀, which leads to improvements. Most of the results also hold for sampling without replacement from finite populations. The i.i.d. condition can be replaced by a martingale-type dependence assumption. Finally, the results can be extended to the noni.i.d. case and for settings with several samples.     

Boundedness in the mean of orthonormalized polynomials

For the polynomials {p_n(t)} ₀ , orthonormalized on [–1, 1] with weightp(t) = (1–t) (1+t) _v=1 ^m , we obtain necessary and sufficient conditions for boundedness of the sequences of norms: 1) 2) and 3) with the conditions that on [–1, 1] and (H,)^–1 L²(0, 2), where(H,) is the modulus of continuity in C(–1, 1) of function H.Translated from Matematicheskie Zametki, Vol. 13, No. 5, pp. 759–770, May, 1973.     

Inverse Approximation Theorem on an Infinite Union of Segments

Let , where the and satisfy the following relations: and . Denote by B the class of all entire functions of exponential type bounded on the real axis. Under certain assumptions on the rate of approximation on E of a bounded function f by functions in B ( varies), we get some information about the smoothness of f. Bibliography: 4 titles.     

Characterization of residual σ-algebras

The behavior of residual -algebras is studied. For a probability space (, , P) a new topology is introduced on the set of all -subalgebras. Necessary and sufficient conditions for the independence of events from the final -algebra are obtained in terms of mixing.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 8, pp. 1149–1152, August, 1992.     

Noncommutative Valuation Rings of the Quotient Artinian Ring of a Skew Polynomial Ring

Let R be a Dubrovin valuation ring of a simple Artinian ring Q and let Q[X,] be the skew polynomial ring over Q in an indeterminate X, where is an automorphism of Q. Consider the natural map from Q[X,]_XQ[X,] to Q, where Q[X,]_XQ[X,] is the localization of Q[X,] at the maximal ideal XQ[X,] and set , the complete inverse image of R by . It is shown that is a Dubrovin valuation ring of Q(X,) (the quotient ring of Q[X,]) and it is characterized in terms of X and Q. In the case where R is an invariant valuation ring, the given automorphism is classified into five types, in order to study the structure of (the value group of ). It is shown that there is a commutative valuation ring R with automorphism which belongs to each type and which makes Abelian or non-Abelian. Furthermore, some examples are used to show that several ideal-theoretic properties of a Dubrovin valuation ring of Q with finite dimension over its center, do not necessarily hold in the case where Q is infinite-dimensional. Presented by A. VerschorenMathematics Subject Classifications (2000) 16L99, 16S36, 16W60.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

A Generalization of the Hausdorff-Young Theorem

Considering mixed-norm sequence spaces lp,q, p, q 1, C. N. Kellogg proved the following theorem: if 1 < p 2 then lp,2 and lp,2 , where 1/p + 1/p = 1. This result extends the Hausdorff-Young Theorem.We introduce here multiple mixed-norm sequence spaces , examine their properties and characterize the multipliers of spaces of the form lp,[s;n],q, with the index s repeated n times. By an interpolation-type argument we prove that (l,[2;n],2, lp,[1;n],1) for 1 < p 2. Using these results we obtain a further generalization of the Hausdorff-Young Theorem: if 1 < p 2 then lp,[2;n] and lp,[2;n] for each n = 0, 1, 2, ¨. The spaces lp,[2;n] decrease and lp,[2;n] increase properly with n for 1 < p < 2 and 1/p + 1/p = 1. We also extend a theorem of J. H. Hedlund on multiplers of Hardy spaces and deduce other results.     

Ideals of the semigroup of ultrafilters of a topological group

We construct two new series of closed left ideals of the semigroup of ultrafilters of a topological group (G, ). The first series gives a disjunctive decomposition of -absorbing ultrafilters. Under certain restrictions on the topology of the group (G, ), the second series gives a disjunctive decomposition of the semigroup of free ultrafilters. For a nondiscrete metrizable topological group (G, ), we construct a large free subsemigroup of the semigroup .Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 4, pp. 506–511, April, 1995.     

On the asymptotic behaviour of first passage times for transient random walk

Summary Let _x denote the time at which a random walk with finite positive mean first passes into (x, ), wherex0. This paper establishes the asymptotic behaviour of Pr { _x >n} asn for fixedx in two cases. In the first case the left hand tail of the step-distribution is regularly varying, and in the second the step-distribution satisfies a one-sided Cramér type condition. As a corollary, it follows that in the first case Pr { _x >n}/Pr{ ₀ >n} coincides with the limit of the same quantity for recurrent random walk satisfying Spitzer's condition, but in the second case the limit is more complicated.     

Le théorème limite central pour des sommes de Riesz-Raikov

Summary Let be an algebraic number greater than 1 andf a real 1-periodic function; ifF _N denotes the random variable defined on [0, 1] byF _N (t) , it is proved here that under sufficiently broad assumptions onf: 1) the sequence converges to a finite ²(0); 2) if >0, the sequence {F _N } converges in law to . We give an explicit computation of with respect to and a characterisation of functions for which =0.(Our results are also valid for almost every real >1).     

Theory of nonequilibrium phenomena based on the BBGKY hierarchy. I. small deviations from equilbrium

The BBGKY hierarchy is expanded in a series with respect to the small parameter , where is the diameter of the particles, and is a characteristic macroscopic length (for example, the diameter of the system). Since neither nor occurs explicitly in the equations of the hierarchy, a preliminary step consists of separation from the distribution functions of short-range components that vary over distances of order and long-range components that vary over distances of order . By a transition to dimensionless variables, terms of zeroth and first order in in the hierarchy are separated, this making it possible to perform the expansion with respect to . It is shown that in the zeroth order in the BBGKY hierarchy determines a state of local equilibrium that for any matter density can be described by a Maxwell distribution with shift. The higher terms of the series in describe the deviations from local equilibrium. At the same time, the long-range correlations that always arise in nonequilibrium systems are described by the balance equations for mass, momentum, and energy, which are also a consequence of the BBGKY hierarchy, whereas the short-range correlations are described by the equations for obtained from the same hierarchy by expanding in a series with respect to .Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 103, No. 1, pp. 109–122, April, 1995.     

Summierbarkeit der geometrischen Reihe auf vorgeschriebenen Mengen

In this paper we are concerned with the summability of the geometric series by matrix methods. We prove the following theorem: Suppose M_o:={z:|z|<1}, M₁, M₂, is a collection of countably many Lebesgue measureable, disjoint sets. For k=1,2, let f_k be a prescribed function, analytic on . Then there exists a triangular matrix , such that the V-transform {_n(z)} of the geometric series has the following properties: {_n(z)} converges compactly to on M_o; for k=1,2, there are sets B_k, such that has Lebesgue-measure zero and _n(z)f_k(z) for zB_k; if there is a set B^*, such that B^*M^* has Lebesgue-measure zero and {_n(z)} diverges for zB^*.