Distribution of the number of nonappearing lengths of cycles in a random mapping

One-to-one random mappings of the set 1, 2,..., n onto itself are considered. Limit theorems are proved for the quantities _i, 0in, max _i, min _i, where _i is the number of 0in components of the vector ( ₁, ₂,..., _n) which are equal to i, 0< i< n, and ar is the number of components of dimension r of the random mapping.Translated from Matematicheskle Zametki, Vol. 23, No. 6, pp. 895–898, June, 1978.The author is grateful to V. P. Chistyakov and V. E. Stepanov for many useful remarks.     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Fast Summation of Power Series with Coefficients Analytic at Infinity

We propose a fast summation algorithm for slowly convergent power series of the form _{j=j 0} z ^j _j j _i=1 ^s (j+ _i )^– _i , where R, _i 0 and _i C, 1is, are known parameters, and _j =(j), being a given real or complex function, analytic at infinity. Such series embody many cases treated by specific methods in the recent literature on acceleration. Our approach rests on explicit asymptotic summation, started from the efficient numerical computation of the Laurent coefficients of . The effectiveness of the resulting method, termed ASM (Asymptotic Summation Method), is shown by several numerical tests.     

i-perfectm-cycle systems,m ≤ 19

Summary For allm 19 and each meaningful value ofi (2 i m/2), the spectrum problem fori-perfectm-cycle systems is examined.     

Asymptotic properties of nonparametric curve estimates

We consider a class of nonparametric estimators for the regression functionm(t) in the model:y _i =m(t _i ) + _i , 1 i n, t _i [0, 1], which are linear in the observationsy _i . Several limit theorems concerning local and global stochastic and a.s. convergence and limit distributions are given.     

Eine Bemerkung zu den höheren Pythagoraszahlen reeller Körper

Becker has shown in [1] that for the 4-th Pythagoras number of the field (X) the inequality P₄ ((X)) 36 holds. In this paper we will show P₄ ((X)) 24 and P₄ (K) 3 for all real pythagorean fields K.     

A Note on Thin P-Polynomial and Dual-Thin Q-Polynomial Symmetric Association Schemes

Let Y denote a d-class symmetric association scheme, with d 3. We show the following: If Y admits a P-polynomial structure with intersection numbers p _ij ^h and Y is 1-thin with respect to at least one vertex, then p _ll ^l =0 p _li ⁱ =0 1 i - 1. If Y admits a Q-polynomial structure with Krein parameters q _ij ^h , and Y is dual 1-thin with respect to at least one vertex, then q _ll ^l = 0 q _li ⁱ = 01 i d-1.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

On the Space of Sequences of p-Bounded Variation and Related Matrix Mappings

The difference sequence spaces (), c(), and c ₀() were studied by Kzmaz. The main purpose of the present paper is to introduce the space bv _p consisting of all sequences whose differences are in the space _p , and to fill up the gap in the existing literature. Moreover, it is proved that the space bv _p is the BK-space including the space _p . We also show that the spaces bv _p and _p are linearly isomorphic for 1 p . Furthermore, the basis and the -, -, and -duals of the space bv _p are determined and some inclusion relations are given. The last section of the paper is devoted to theorems on the characterization of the matrix classes (bv _p : ), (bv : _p ), and (bv _p : ₁), and the characterizations of some other matrix classes are obtained by means of a suitable relation.     

Isomorphisms of Some Complex Poisson Brackets

Given a complex manifold M_i, structures of Poisson algebras on (M_i)=C(M_i,C) which are associated with a nondegenerate -closed (2,0)-form _i on M_i are considered. It is shown that every isomorphism of Poisson structures (M₁) (M₂) is generated by a biholomorphic map :M₂ M₁ such that ₂ = *₁     

Optimization of pressure control in a gas pipeline

We consider the synthesis of an approximate optimal control for a gas transport system when state information is acquired at the points X₁,...,x_n of the interval 0 x during the entire control period 0 t . This means that the functions (t, x₁),...,(t, x_n) characterizing the state of the controlled system at the points X₁,...,x_n are known. The approximate optimal control is determined using this information. We solve the control optimization problem which, for a given deviation of the approximate optimal control from the optimum, produces a minimum-information approximate optimal control, i.e., a control determined by a formula with the least number of points x_i, and establishes the location of these points.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 63, pp. 118–123, 1987.     

Distance-Regular Graphs with c i = b d-i and Antipodal Double Covers

Let be a distance-regular graph of diameter d and valency k > 2. Suppose there exists an integer s with d 2s such that c _i = b _d-i for all 1 i s. Then is an antipodal double cover.     

An Optimal Way of Moving a Sequence of Points onto a Curve in Two Dimensions

Let (t), 0 t T, be a smooth curve and let _i , i = 1, 2, , n, be a sequence of points in two dimensions. An algorithm is given that calculates the parameters t_i, i = 1, 2, , n, that minimize the function max{ _i – (t_i) ₂ : i = 1, 2, , n } subject to the constraints 0 t₁ t₂ t_n T. Further, the final value of the objective function is best lexicographically, when the distances _i – (t_i)₂, i = 1, 2, , n, are sorted into decreasing order. The algorithm finds the global solution to this calculation. Usually the magnitude of the total work is only about n when the number of data points is large. The efficiency comes from techniques that use bounds on the final values of the parameters to split the original problem into calculations that have fewer variables. The splitting techniques are analysed, the algorithm is described, and some numerical results are presented and discussed.     

Optimal accuracy approximation of functions and their derivatives

We consider the approximation of the function (x) and its derivative '(x) on [a, b] given that (x)C _2,N, i.e., belongs to the class of functions f(x) that satisfy the conditions f(x)L, f(x_i)=y_i, i=1,,N, where L and y_i are given real numbers and x_i are the nodes of an arbitrary grid, a=x₁<x₂<<X_N=b. A solution algorithm on the class of functions C_2,L,N is proposed which has optimal accuracy with a constant not exceeding 2. A bound on the approximation error of the function and its derivative is derived.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 56, pp. 57–61, 1985     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

Kite-freeP- andQ-polynomial schemes

LetY = (X, {R _i } _oid) denote aP-polynomial association scheme. By a kite of lengthi (2 i d) inY, we mean a 4-tuplexyzu (x, y, z, u X) such that(x, y) R ₁,(x, z) R ₁,(y, z) R ₁,(u, y) R _i–1,(u, z) R _i–1,(u, x) R _i. Our main result in this paper is the following.     

The Logarithmic Frequency of Values of Additive Functions

We consider the weak convergence of distribution functions (_mx 1/ m)^-1 _{m x},f_x(m)x is a set (x 2) of strongly additive functions such that f_x(p){0,1} for each prime number p.     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

A Distance-Regular Graph with Strongly Closed Subgraphs

Let be a distance-regular graph of diameter d, valency k and r := maxi | (c _i,b _i) = (c ₁,b ₁). Let q be an integer with r + 1 q d – 1.In this paper we prove the following results: Theorem 1 Suppose for any pair of vertices at distance q there exists a strongly closed subgraph of diameter q containing them. Then for any integer i with 1 i q and for any pair of vertices at distance i there exists a strongly closed subgraph of diameter i containing them. Theorem 2 If r 2, then c _2r+3 1.As a corollary of Theorem 2 we have d k ²(r + 1) if r 2.     

Convolution Operators with Fractional Measures Associated to Holomorphic Functions

Let be an open set in the complex plane and let be a holomorphic function on . Let K be a compact subset of with nonempty interior such that 0 K. Let be the Borel measure of R ⁴ C ² given by(E = _K E(z, (z))|z|^–2 d(z)where 0 < 2 and d(x ₁ + ix ₂) = dx ₁ dx ₂ denotes the Lebesgue measure on C. Let T be the convolution operator T f = * f. In this paper we characterize the type set E associated to T .