Distribution of Increasing ℓ-sequences in a Random Permutation

This paper examines the distribution of the number, k, of increasing -sequences in a random permutation of . A new solution is determined based on the compositions of n which requires, at most, summands. This solution easily yields existing results for the special case and provides an alternate form for the case . The expected number of increasing -sequences in a random permutation is determined and it is shown that the limiting distribution is degenerate about 0 for 2$$ " align="middle" border="0"> . An alternate algorithm to determine the exact distribution is presented, based on the partitions of n, which is easy to implement and efficient for small n. Applications in non-parametric statistics and graph theory are discussed.     

A Question in the Theory of Totally Local Formations of Finite Groups

It is proved that all proper totally local subformations of a non one-generated totally local formation of finite groups are one-generated iff coincides with a formation of all soluble -groups, where ||=2.     

Uniform and universal Glivenko-Cantelli classes

A class of measurable functions on a probability space is called a Glivenko-Cantelli class if the empirical measuresP _n converge to the trueP uniformly over almost surely. is a universal Glivenko-Cantelli class if it is a Glivenko-Cantelli Cantelli class for all lawsP on a measurable space, and a uniform Glivenko-Cantelli class if the convergence is also uniform inP. We give general sufficient conditions for the Glivenko-Cantelli and universal Glivenko-Cantelli properties and examples to show that some stronger conditions are not necessary. The uniform Glivenko-Cantelli property is characterized, under measurability assumptions, by an entropy condition.     

Ore Extensions of Hopf Algebras

In this paper, Ore extensions in the class of Hopf algebras are studied. The classification theorem enables one to describe the Hopf--Ore extensions for the group algebras, for the algebras and , and for the quantum ax + b group.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

On graphs and Lie rings

From a finite oriented graph , finite-dimensional graded nilpotent Lie rings () and () are naturally constructed; these rings are related to subtrees and connected subgraphs of , respectively. Diverse versions of these constructions are also suggested. Moreover, an embedding of Lie rings of the form () in the adjoint Lie rings of finite-dimensional associative rings (also determined by the graph ) is indicated.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 449–459.Original Russian Text Copyright © 2005 by Yu. S. Sernenov.This revised version was published online in April 2005 with a corrected issue number.     

Some topological properties of ω-covering sets

We prove the following theorems:1. There exists an -covering with the property s ₀.2. Under cov there exists X such that is not an -covering orX \ B is not an -covering].3. Also we characterize the property of being an -covering.     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

Interpolation by Rational Functions with Nodes on the Unit Circle

From the Erds–Turán theorem, it is known that if f is a continuous function on and L _n (f, z) denotes the unique Laurent polynomial interpolating f at the (2 n + 1)th roots of unity, then Several years later, Walsh and Sharma produced similar result but taking into consideration a function analytic in and continuous on and making use of algebraic interpolating polynomials in the roots of unity.In this paper, the above results will be generalized in two directions. On the one hand, more general rational functions than polynomials or Laurent polynomials will be used as interpolants and, on the other hand, the interpolation points will be zeros of certain para-orthogonal functions with respect to a given measure on .     

Superlinear convergence of Broyden's boundedθ-class of methods

In this paper the so-called Broyden's bounded-class of methods is considered. It contains as a subclass Broyden's restricted-class of methods, in which the updating matrices retain symmetry and positive definiteness. These iteration methods are used for solving unconstrained minimization problems of the following form: It is assumed that the step-size coefficient _k = 1 in each iteration and the functionalf : R ⁿ R¹ satisfies the standard assumptions, viz.f is twice continuously differentiable and the Hessian matrix is uniformly positive definite and bounded (there exist constantsm, M > 0 such that my² y, for ally R ⁿ) and satisfies a Lipschitz-like condition at the optimal point , the gradient vanishes at Under these assumptions the local convergence of Broyden's methods is proved. Furthermore, the Q-superlinear convergence is shown.     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

On Small Values of the Riemann Zeta‐Function on the Critical Line and Gaps Between Zeros

Small values of are investigated, using the value distribution results of A. Selberg. This gives an asymptotic formula for Some related problems involving values of and gaps between ordinates of consecutive zeros of (s) are also discussed.     

Erdős–Szekeres-Type Theorems for Segments and Noncrossing Convex Sets

A family of convex sets is said to be in convex position, if none of its members is contained in the convex hull of the others. It is proved that there is a function N(n) with the following property. If is a family of at least N(n) plane convex sets with nonempty interiors, such that any two members of have at most two boundary points in common and any three are in convex position, then has n members in convex position. This result generalizes a theorem of T. Bisztriczky and G. Fejes Tóth. The statement does not remain true, if two members of may share four boundary points. This follows from the fact that there exist infinitely many straight-line segments such that any three are in convex position, but no four are. However, there is a function M(n) such that every family of at least M(n) segments, any four of which are in convex position, has n members in convex position.     

Hypersurfaces in ℝn and critical points in their external region

In this paper we study the hypersurfaces given as connected compact regular fibers of a differentiable map , in the cases in which has finitely many nondegenerate critical points in the unbounded component of .     

λ-Divergence of the Fourier Series of Continuous Functions of Several Variables

In this paper, we consider the behavior of rectangular partial sums of the Fourier series of continuous functions of several variables with respect to the trigonometric system. The Fourier series is called -convergent if the limit of rectangular partial sums over all indices for which for all j and k exists. In the space of arbitrary even dimension 2m we construct an example of a continuous function with an estimate of the modulus of continuity such that its Fourier series is -divergent everywhere for any .     

A Discrete Limit Theorem for the Matsumoto Zeta‐Function in the Space of Analytic Functions

In the paper, a discrete distribution of the Matsumoto zetafunction is considered. It is proved that the probability measure , converges weakly as .     

On microfunctions at the boundary along CR manifolds

Let X be a complex analytic manifold, a C ² submanifold, an openset with C ² boundary .Denote by (resp. ) the microlocalization along M (resp. ) of the sheaf of holomorphic functions.In the literature (cf. [A-G], [K-S 1,2])one encounters two classical results concerning the vanishing of the cohomology groups .The most general gives the vanishing outside a range of indices j whose length is equal to (with being the number of respectively positive, negative and null eigenvalues for themicrolocal Levi form ).The sharpest result gives the concentration in a single degree, provided that the difference is locally constant for near p (with for z the base point of p).The first result was restated for the complex in [D'A-Z 2], in the case codim We extend it here to any codimension and moreover we also restate for the second vanishing theorem.We also point out that the principle of our proof, related to a criterion for constancy of sheaves due to [K-S 1], is a quite new one.     

Some New Extrapolation Estimates for the Scale of Spaces

Using new extrapolation estimates for the - and -functionals of couples of limit spaces of the -scale , we introduce a class of extrapolation functors. A characterization of this class via the real interpolation method permits one to obtain new equivalent expressions for the norms in symmetric spaces close to and , which depend only on the -norms of a function.     

State-Homomorphisms on MV-Algebras

Riecan [12] and Chovanec [1] investigated states in MV-algebras. Earlier, Riecan [11] had dealt with analogous ideas in D-posets. In the monograph of Riecan and Neubrunn [13] (Chapter 9) the notion of state is applied in the theory of probability on MV-algebras. We remark that a different definition of a state in an MV-algebra has been applied by Mundici [9], [10] (namely, the condition (iii) from Definition 1.1 above was not included in his definition of a state; in other words, only finite additivity was assumed). Below we work with the definition from [13]; but, in order to avoid terminological problems we use the term "state-homomorphism" (instead of "state"). The author is indebted to the referee for his suggestion concerning terminology. Let be an MV-algebra which is defined on a set A with card A>1. In the present paper we show that there exists a one-to-one correspondence between the system of all state-homomorphisms on and the system of all -closed maximal ideals of . For MV-algebras we apply the notation and the definitions as in Gluschankof [3]. The relations between MV-algebras and abelian lattice ordered groups (cf. Mundici [8]) are substantially used in the present paper.     

Systèmes dynamiques non archimédiens et corps des norms (Non-Archimedean Dynamic Systems and Fields of Norms)

Let _k be the ring of integers of a finite extension k of the field _p of p-adic numbers. The endomorphisms of a formal group law defined over _k provide nontrivial examples of commuting formal series with coefficients in _k . This article deals with the inverse problem formulated by Jonathan Lubin within the context of non-Archimedean dynamical systems. We present a large family of series, with coefficients in _p , which satisfy Lubin's conjecture. These series are constructed with the help of Lubin–Tate formal group laws over _p . We introduce the notion of minimally ramified series which turn out to be modulo p reductions of some series of this family. The commutant monoids of these minimally ramified series are determined by using the Fontaine–Wintenberger theory of the field of norms which allows an interpretation of them as automorphisms of _p -extensions of local fields of characteristic zero. A particularly effective example illustrating the paper is given by a family of series generalizing ebyev polynomials