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.     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

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.     

Solution of a problem on the identification of parameters by the distribution of the maximum random variable: a multivariate normal case

In this paper we solve the problem of unique factorization of products ofn-variate nonsingular normal distributions with covariance matrices of the form , _ij =p _{i j} forij, = _i ² ,j=j,p0.     

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 .     

Characterizations of absolute F σδ-sets

We give several internal characterizations for the metrizable absolute F -spaces. The characterizing conditions involve the existence of compatible bicomplete quasi-metrics, of complete sequences of -discrete closed covers and of compact -discrete closed networks.     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

TheO(n3) algorithm for a special case of the maximum cost-to-time ratio cycle problem and its coherence with an eigenproblem of a matrix

Let twon×n matrices be given, namely a real matrixA=(a_ij) and a (0, 1)-matrixT=(t_ij). For a cyclic permutation=(i ₁,i ₂,...,i _k) of a subset of N={1, 2, ..., n} we define _A;T(), the cost-to-time ratio weight of, as . This paper presents an O(n³) algorithm for finding (A;T)=max _A;T(), the maximum cost-to-time ratio weight of the matricesA andT. Moreover a generalised eigenproblem is proposed.     

Subgroups of the general symplectic group containing the group of diagonal matrices

There are described the subgroups of the general symplectic group =GSp(2n, R) over a commutative semilocal ring R, containing the group of symplectic diagonal matrices. For each such subgroup P there is uniquely defined a symplectic D-net a such that ()pN(), where () is the net subgroup in corresponding to (cf. RZhMat, 1977, 5A288), and N() is its normalizer. The quotient group N × ()/() is calculated. There are also considered subgroups in Sp(2n, R). Analogous results for subgroups of the general linear group were obtained earlier in RZhMat, 1978, 9A237.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 103, pp. 31–47, 1980.     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

Double Complexes and Cohomological Hierarchy in a Space of Weakly Invariant Lagrangians of Mechanics

For a given configuration space M and a Lie algebra G acting on M, the space V _0.0 of weakly G-invariant Lagrangians, i.e., Lagrangians whose motion equations left-hand sides are G-invariant, is studied. The problem is reformulated in terms of the double complex of Lie algebra cochains with values in the complex of Lagrangians. Calculating the cohomology of this complex by the method of spectral sequences, we arrive at the hierarchy in the space V _0.0: The double filtration {V _s.}, s = 0, 1, 2, 3, 4, = 0, 1, and the homomorphisms on every space {V _s.} are constructed. These homomorphisms take values in the cohomologies of the algebra G and the configuration space M. Every space {V _s.} is the kernel of the corresponding homomorphism, while the space itself is defined by its physical properties.     

More projective geometry associated with unramified double covers of curves of genus four

Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)     

Solving systems of polynomial inequalities over a real closed field in subexponential time

Let _m= (₁,..., _m) denote an ordered field, where _i+1>0 is infinitesimal relative to the elements of _i, 0 < –i < m (by definition, ₀= ). Given a system of inequalities f₁ > 0, ..., f_s > 0, f_s+1 0, ..., f_k 0, where f_{j m} [X₁,..., X_n] are polynomials such that, and the absolute value of any integer occurring in the coefficients of the f_js is at most 2^M. An algorithm is constructed which tests the above system of inequalities for solvability over the real closure of _m in polynomial time with respect to M, ((d)ⁿd₀)^n+m. In the case _m=, the algorithm explicitly constructs a family of real solutions of the system (provided the latter is consistent). Previously known algorithms for this problem had complexity of the order ofM(d d ₀ ^{m 2U(n)} .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 174, pp. 3–36, 1988.     

On the cauchy problem for some non-Kowalewskian equations inD {σ} L2 (*)

A pseudo-differential operator is considered, which generalizes some peculiar non-Kowalewskian operators of 2-evolution type. A result is proved about the well-posedness of the Cauchy problem inD _{} ^L2 , where 1 is Gevrey index.     

Solvability of partial differential equations of infinite order in certain classes of entire functions

In this paper it is shown that under conditions of applicability of the operator to the class [,] =(I,s), ₂ 1, ₂), ₁, ₂< the equation y=f has a particular solution of this class vf[, ]. The general form of a solution of the homogeneous equation y=0 is established. The growth of a solution is investigated by means of a system of conjugate orders and a system of conjugate types. A solvability result is also obtained in the class , where T is a certain set in R ₊ ² depending on the operator .Translated from Matematicheskie Zametki, Vol. 19, No. 2, pp. 225–236, February, 1976.In conclusion, the author would like to express his thanks to his adviser, Yu. F. Korobeinik.     

Characterization,structure and analysis on abelian ℒ∞ groups

An abelian topological group is an group if and only if it is a locally -compactk-space and every compact subset in it is contained in a compactly generated locally compact subgroup. Every abelian groupG is topologically isomorphic to G ₀ where ₀ andG ₀ is an abelian group where every compact subset is contained in a compact subgroup. Intrinsic definitions of measures, convolution of measures, measure algebra,L ₁-algebra, Fourier transforms of abelian groups are given and their properties are studied.     

Boundary control of heat conduction

The paper considers control of the heat conduction process u_t — u = g from the initial state u(x, 0) to the final state u(x, t₁) in a fixed (finite) time t₁ via the coefficient (z) in the boundary condition Bu = (u/n) + (x)u. A uniqueness theorem is proved for the problem to find the process—control pair (u, ). The control problem is posed in terms of the coefficient in a boundary condition of the form Bu = (u/n) + (t)u.Translated from Nelineinye Dinamicheskie Sistemy: Kachestvennyi Analiz i Upravlenie — Sbornik Trudov, No. 3, pp. 93–97, 1993.     

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.     

The convolution equation of Choquet and Deny on [IN]-groups

Let be a probability measure on a locally compact groupG. A real Borel functionf onG is called -harmonic if it satisfies the convolution equation *f=f. Given that isnonsingular with its translates, we show that the bounded -harmonic functions are constant on a class of groups including the almost connected [IN]-groups. If is nondegenerate and absolutely continuous, we solve the more general equation *= for positive measure on those groups which are metrizable and separable.Supported by Hong Kong RGC Earmarked Grant and CUHK Direct Grant     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.