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     

Structure tensor of a field of geometric objects

A construction of a kth structure tensor of a field of geometric objects is presented here (k is a non-negative integer). For a given field we construct a vector bundle H ^k,2 (). The kth structure tensor is defined as a section of H ^k,2 () generated by the torsion of . It is then shown that vanishing of the kth structure tensor is a necessary and sufficient condition for the field to be (k+1)-flat.     

Sequential estimation of a parameter of an exponential distribution

We consider the problem of minimum risk point estimation for the parameter =a+b of the exponential distribution with unknown location parameter and scale parameter when the loss function is squared error plus linear cost. In this paper, we propose a sequential estimator of and show that the associated risk is asymptotically one cost less than that given by Ghosh and Mukhopadhyay (1989,South African Statist. J.,23, 251–268).     

Subgroups of the full linear group over a Dedekind ring

We study the subgroups of the full linear group GL(n, R) over a Dedekind ring R that contain the group of quasidiagonal matrices of fixed type with diagonal blocks of at least third order, each of which is generated by elementary matrices. For any such subgroup H there exists a unique D-net of ideals of R such that, where E() is the subgroup generated by all transvections of the net subgroup G(). and is the normalizer of G(). The subgroup E() is normal in. To study the factor group we introduce an intermediate subgroup F(), E() F() G(). The group is finite and is connected with permutations in the symmetric group. The factor group G()/F() is Abelian — these are the values of a certain determinant. In the calculation of F()/E() appears the SK₁-functor. Results are stated without proof.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 13–20, 1979.     

On the Iterates of the Sum of Unitary Divisors

Let (n) be the sum of unitary divisors of n, and k(n) be its k-fold iterate. We prove that (n) ¦ 2(n) 1 as n on a set of density one.     

Metric σ-Frames versus Metric Lindelof Spaces

The adjoint relation between the category RegFrm, of regular -frames, Alex, of Alexandroff spaces, are studied in [9]. Here, we introduce the category MFrm, of metric -frames and give the adjoint relation between this category and the category MLSp, of metric Lindelof spaces, and show that MLSp is dually equivalent to the category of Alexandroff metric -frames.AMS Subject Classification: 06D99-54B30     

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.     

Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

Convergence of automorphisms of compact projective planes

We show that a pointwise convergent sequence ( _n) _nN of continuous collineations of a compact projective plane converges uniformly if and only if the pointwise limit of ( _n) _nN has a quadrangle in its image. Moreover is then a continuous collineation. Furthermore, we derive that a homomorphism between topological projective planes is continuous if and only if it is continuous at some point.Supported by DFG/Graduiertenkolleg.     

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.     

Complementary permutations for abelian groups

Summary LetG be an additively written abelian group and leth: G G be a given function. M. Hall Jr. (1952) and L. Fuchs (1958) already answered the following question. For what functionsh: G G does the functional equation(x) + (x) = h(x) (x G) have as its solution a pair of permutations and ofG? In this paper, we give explicit constructions of such a pair, in a number of cases, in particular whenh(x) x andG is finite. We further determine the finite groupsG where the latter, can be chosen to be automorphisms.In the case whereG is an infinite topological group, we study in how far and can be chosen as Borel measurable permutations, given thath: G G itself is Borel measurable.     

The convergence of matrices generated by rank-2 methods from the restricted β-class of Broyden

Summary It is shown that the matricesB _k generated by any method from the restricted -class of Broyden converge, if the method is applied to the unconstrained minimization of a functionfC ²(R ⁿ ) with Lipschitz continuous ² f(x) and if the method is such that it generates vectorsx _k converging sufficiently fast to a local minimumx ^* off with positive definite ² f(x ^*). This result not only holds for constant step sizes _k 1 in each iterationx _k x _k+1=x _k – _k B _k ^–1 f(x _k ) of these methods but also for step sizes determined by asymptotically exact line searches. The paper generalizes corresponding results of Ge Ren-Pu and Powell [6] for the DFP and BFGS methods used in conjunction with step sizes _k 1.Dedicated to Professor F.L. Bauer on the occasion of his 60th birthday     

Harmonic functions on nilpotent groups

For a probability measure on a locally compact groupG which is not supported on any proper closed subgroup, an elementF ofL (G) is called -harmonic if F(st)d(t)=F(s), for almost alls inG. Constant functions are -harmonic and it is known that for abelianG all -harmonic functions are constant. For other groups it is known that non constant -harmonic functions exist and the question of whether such functions exist on nilpotent groups is open, though a number of partial results are known. We show that for nilpotent groups of class 2 there are no non constant -harmonic functions. Our methods also enable us to give new proofs of results similar to the known partial results.     

Büschel linearer Abbildungen

If , , are linear mappings out of a projective space (P,G) into a projective space (P', G') and , then is said to belong to the pencil <,<> of linear mappings spanned by and if in the main (x), (x), (x) are collinear for all x P. We give some sufficient conditions for x P and , , such that (x) is uniquely determined by giving, and (z), z P.

---

---

Herrn Prof. Dr.Helmut Karzel zum 60. Geburtstag gewidmet     

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.     

Über nullstellenfreie Gebiete von ζ(itk) (s)

Let ^(itk) (s) denote thek-th derivative of the Riemann Zeta-function,s=+it, ,t real numbers,k1 rational integers. Using ideas fromT. C. Titchmarsh and from a paper ofR. Spira, lower bounds are derived for |^(itk)(s)|, |^(itk)(1-s) for >1 and some infinitely many, sufficiently large values oft. Further let be an algebraic number of degreen and heightH; then a lower bound for |^(itk)(its)|, dependent onn, H, k is established for alln,H1,k3, 2+7k/4 and all realt.     

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.     

Compact operators whose singular numbers have powerlike asymptotics

For a compact operator in a Hilbert space, let s_n(A), n =1, 2,... be the singular numbers and let N(s; A) =card{n N:s_n(A)>, s>0. For 0

a _p and not on the individual elementAa, (H. Weyl's lemma); this allows us to write _p (a), _pp (a), a_p. One obtains certain results regarding the functionals _p, _p (and about the analogous functionals for the positive and negative eigenvalues in the casea=a ^*=A ^*:A a. In particular: I. Ifa ₁ a _2p, then. II.Let a ₁,a _{2 pP} ,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matetmaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 21–30, 1983.     

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

Pinning effect in peierls impurity systems with deviation from half-filling of the energy band

A study is made of the effect of deviation from half-filling of the energy band (0) on the Fröhlich collective mode in onedimensional impurity systems. A low impurity concentration is considered, and the infinite series of impurity scattering is taken into account self-consistently in the determination of the collective mode Green's function. The conductivity () is found in terms of this Green's function, and an analytic expression is obtained for () at _T ( _T is the pinning frequency). It is shown that for the ratio Re(()/_max) a universal formula arises. It differs from the results of Kurihara in the expression for _T , which contains an essential dependence on in the incommensurate state of the charge density wave. It is also shown that the width of the peak in the dependence () and its position increase with increasing .Institute of Applied Physics, Moldovan Academy of Sciences. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 101, No. 1, pp. 110–122, October, 1994.