Monotonic subsequences in permutations of n natural numbers

Let S_n be the set of all permutations of the numbers 1, 2,..., n, and letl _n() be the number of terms in the maximal monotonic subsequence contained in S_n. If M[l _n()] is the mean value ofl _n () on S_n, then, for all except a finite number of n, the bound M[l _n()] e n is valid.Translated from Matematicheskie Zametki, Vol. 13, No. 4, pp. 511–514, April, 1973.The author wishes to thank E. M. Nikishin for having posed the problem and for his constant interest in the work.     

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.     

φ-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.     

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.     

The Novikov Conjecture for Low Degree Cohomology Classes

We outline a twisted analogue of the Mishchenko–Kasparov approach to prove the Novikov conjecture on the homotopy invariance of the higher signatures. Using our approach, we give a new and simple proof of the homotopy invariance of the higher signatures associated to all cohomology classes of the classifying space that belong to the subring of the cohomology ring of the classifying space that is generated by cohomology classes of degree less than or equal to 2, a result that was first established by Connes and Gromov and Moscovici using other methods. A key new ingredient is the construction of a tautological C* _r (, )-bundle and connection, which can be used to construct a C* _r (, )-index that lies in the Grothendieck group of C* _r (, ), where is a multiplier on the discrete group corresponding to a degree 2 cohomology class. We also utilise a main result of Hilsum and Skandalis to establish our theorem.     

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.     

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.     

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.     

A characterization of subgroups of the orthogonal group

LetG be a subgroup of the general linear group GL_n(K), where charK 2. Put Kⁿ =V. AssumeG is generated by the setS of all elements inG for which dimV( – 1) = 1, and suppose ²=1_V for each inS. If {V(–1)¦S} contains a simplex, if – 1_V G, and if inG is a product of dim v(–1) elements inS wheneverV(–1) is not contained in the kernel of–1, thenG is a subgroup of an orthogonal group.This research was supported in part by NSERC Canada grant A7251.To Helmut Mäurer on his 60th birthday     

Stresses due to a nucleus of thermo-elastic strain (i) in an infinite elastic solid with spherical cavity and (ii) in a solid elastic sphere

In this paper solutions in series form for the stresses due to a nucleus of thermo-elastic strain in an infinite elastic solid in the presence of a spherical cavity and also in an elastic solid sphere have been found.

---

Zusammenfassung Die thermischen Spannungen in einem festen Körper unendlicher Ausdehnung, welcher einen sphärischen Hohlraum enthält, sind bei einer Temperatur von 0°C in Gegenwart eines erhitzten Elementes, das sich in endlichem Abstand vom Hohlraum befindet, hergeleitet worden, wobei zahlenmässige Angaben für die Spannungen und Verschiebungen an der Oberfläche des Hohlraums gemacht werden können. Die Ergebnisse sind mit den entsprechenden, für den zweidimensionalen Fall gültigen Zahlenwerten verglichen worden. Ferner was es möglich, auch für das Problem einer festen Kugel von der Temperatur 0°C und einem erhitzten Kern in ihrem Innern eine Lösung zu finden.

---

Nomenclature x, y, z Cartesian coordinates; - r, , spherical polar coordinates; - u _x ,u _y ,u _z components of displacement in Cartesian coordinates; - u _r ,u ,u components of displacement in spherical coordinates; - _r , , , , _r , components of stress in spherical coordinates; - E coefficient of elasticity in stress; - G coefficient of elasticity in shear; - coefficient of linear expansion; - Poisson's ration The following nomenclature has been used in this paper:     

Subgroups of a finite group whose algebra of invariants is a complete intersection

Let G be a finite subgroup of GL(V), where V is a finite-dimensional vector space over the field K and char KG. We show that if the algebra of invariants K(V)^G of the symmetric algebra of V is a complete intersection then K(V)^H is also a complete intersection for all subgroups H of G such that H={ Gv (v)=v for all v V^H}.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 63–67, 1982.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.     

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.     

Parabolic subgroups of twisted Chevalley groups over a semilocal ring

It is shown that, under minor additional assumptions, the standard parabolic subgroups of a Chevalley group G (, R) of twisted type =A_l,l odd, D_l, E₆ over a commutative semilocal ring R with involution are in one-to-one correspondence with the -invariant parabolic nets of ideals of R of type , i.e., with the sets, of ideals of R such that: (l) whenever; (2) = for all ; (3) =R for > 0. For Chevalley groups of normal types, analogous results were obtained in Ref. Zh. Mat. 1976, 10A151; 1977, 10A 301; 1978, 6A476.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 21–36, 1979.     

Gaussian sample functions and the Hausdorff dimension of level crossings

Summary Let X _t be a real Gaussian process with stationary increments, mean 0, _t ² =E[(X _s+t–X _s)²] If _t ² behaves like t as t 0, 0<<1, the graph of a.e. sample function will have Hausdorff dimension 2 -. This leads one to feel that the set of zeros of X _t should have Hausdorff dimension 1 -. This is shown to be true provided the process is stationary and satisfies additional assumptions.     

Asymptotic behavior of general M-estimates for regression and scale with random carriers

Summary Let (xini, y _i be a sequence of independent identically distributed random variables, where x _i R ^p and y _i R, and let R ^p be an unknown vector such that y _i =x _i +u _i (^*), where u _i is independent of x _i and has distribution function F(u/), where >0 is an unknown parameter. This paper deals with a general class of M-estimates of regression and scale, ( ^*,^*), defined as solutions of the system: , where r= (y _i –x _i ^1*/)^*, with R ^p ×RR and RR. This class contains estimators of (, ) proposed by Huber, Mallows and Krasker and Welsch. The consistency and asymptotic normality of the general M-estimators are proved assuming general regularity conditions on and and assuming the joint distribution of (x _i , y _i ) to fulfill the model (^*) only approximately.     

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.     

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.     

Hardy algebras, <Emphasis Type="Italic">W</Emphasis>*-correspondences and interpolation theory

Given a von Neumann algebra M and a W*-correspondence E over M, we construct an algebra H(E) that we call the Hardy algebra of E. When M= =E, H(E) is the classical Hardy space H of bounded analytic functions on the unit disc. When M= and E= H(E) is the free semigroup algebra studied by Popescu, Davidson and Pitts and many others. We show that given any faithful normal representation of M on a Hilbert space H there is a natural correspondence E over the commutant (M), called the -dual of E, and that H(E) can be realized in terms of (B(H)-valued) functions on the open unit ball ((E)*) in the space of adjoints of elements in E. We prove analogues of the Nevanlinna-Pick theorem in this setting and discover other aspects of the value distribution theory for elements in H(E). We also analyze the boundary behavior of elements in H(E) and obtain generalizations of the Sz.-Nagy–Foia functional calculus and the functional calculus of Popescu for c.n.c. row contractions. The correspondence E has a dual that is naturally isomorphic to E and the commutants of certain, so-called induced representations of H(E) can be viewed as induced representations of H(E). For these induced representations a double commutant theorem is proved.Supported in part by grants from the National Science Foundation and from the U.S.-Israel Binational Science Foundation.Supported in part by the U.S.-Israel Binational Science Foundation and by the Fund for the Promotion of Research at the Technion.Revised version: 11 March 2004     

On the Convergence of Stewart's QLP Algorithm for Approximating the SVD

The pivoted QLP decomposition, introduced by Stewart [20], represents the first two steps in an algorithm which approximates the SVD. The matrix A₀ is first factored as A₀=QR, and then the matrix R ^T₁ is factored as R ^T₁=PL ^T, resulting in A=Q₁ LP ^T₀ ^T, with Q and P orthogonal, L lower-triangular, and ₀ and ₁ permutation matrices. Stewart noted that the diagonal elements of L approximate the singular values of A with surprising accuracy. In this paper, we provide mathematical justification for this phenomenon. If there is a gap between _k and _k+1, partition the matrix L into diagonal blocks L ₁₁ and L ₂₂ and off-diagonal block L ₂₁, where L ₁₁ is k-by-k. We show that the convergence of ( _j (L ₁₁)^–1– _j ^–1)/ _j ^–1 for j=1,. . .,k, and of ( _j (L ₂₂)– _k+j )/ _k+j , for j=1,. . .,n–k, are all quadratic in the gap ratio _k+1/ _k . The worst case is therefore at the gap, where the absolute errors L ₁₁ ^–1– _k ^–1 and L ₂₂– _k+1 are thus cubic in _k ^–1 and _k+1, respectively. One order of convergence is due to the rank-revealing pivoting in the first step; then, because of the pivoting in the first step, two more orders are achieved in the second step. Our analysis assumes that ₁=I, that is, that pivoting is done only on the first step. Although our results explain some of the properties of the pivoted QLP decomposition, they hypothesize a gap in the singular values. However, a simple example shows that the decomposition can perform well even in the absence of a gap. Thus there is more to explain, and we hope that our paper encourages others to tackle the problem. The QLP algorithm can be continued beyond the first two steps, and we make some observations concerning the asymptotic convergence. For example, we point out that repeated singular values can accelerate convergence of individual elements. This, in addition to the relative convergence to all of the singular values being quadratic in the gap ratio, further indicates that the QLP decomposition can be powerful even when the ratios between neighboring singular values are close to one.