The distribution of sublattices of ℤ m

Lattices , are similar if one can be transformed into the other by an angle-preserving linear map. Similarity classes of lattices of rankn may be parametrized by a fundamental domain of the action ofGL _n () on the generalized upper half-plane _n . Given 1<nm and, letN(D,T) be the number of sublattices of _n which have rankn, similarity class inD, and determinant T. Our most basic result will be thatN(D,T)c ₁(m, n)(D)T ^m asT for suitable setsD, where is the invariant measure on _n . The casen=2 had been dealt with by Roelcke and by Maass using the theory of modular forms.Herrn Professor Hlawka zum achtzigsten Geburtstag gewidmetSupported in part by NSF-DMS-9401426     

D λ -cycles in 3-cyclable graphs

Letk and be positive integers, andG a 2-connected graph of ordern with minimum degree and independence number. A cycleC ofG is called aD -cycle if every component ofG – V(C) has order smaller than. The graphG isk-cyclable if anyk vertices ofG lie on a common cycle. A previous result of the author is that if k 2, G isk-connected and every connected subgraphH ofG of order has at leastn +k ² + 1/k + 1 – vertices outsideH adjacent to at least one vertex ofH, thenG contains aD -cycle. Here it is conjectured that k-connected can be replaced by k-cyclable, and this is proved fork = 3. As a consequence it is shown that ifn 4 – 6, or ifG is triangle-free andn 8 – 10, thenG contains aD ₃-cycle orG , where denotes a well-known class of nonhamiltonian graphs of connectivity 2. As an analogue of a result of Nash-Williams it follows that ifn 4 – 6 and – 1, thenG is hamiltonian orG . The results are all best possible and compare favorably with recent results on hamiltonicity of graphs which are close to claw-free.     

A variational principle for eigenvalues of pencils of Hermitian matrices

LetH=(A, B) be a pair of HermitianN×N matrices. A complex number is an eigenvalue ofH ifdet(A–B)=0 (we include = ifdetB=0). For nonsingularH (i.e., for which some is not an eigenvalue), we show precisely which eigenvalues can be characterized as _k ⁺ =sup{inf{*A:*B=1,S},SS _k},S _k being the set of subspaces of C ^N of codimensionk–1.Dedicated to the memory of our friend and colleague Branko NajmanResearch supported by NSERC of Canada and the I.W.Killam FoundationProfessor Najman died suddenly while this work was at its final stage. His research was supported by the Ministry of Science of CroatiaResearch supported by NSERC of Canada     

Algorithm for a sum of reciprocals

An algorithm is described for the approximate calculation of a collection of sums of the form _k= _j–1 ⁿ c_j/(_j+_k), 1kn, where 0<_j. The working time of the algorithm is 0(n(t+ log n)(t+log n)) if _k calculated to within 2^–t; here the function (l) denotes the time of multiplication of twoZ-bit numbers.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 137, pp. 3–6, 1984.In conclusion, the author expresses thanks to A. O. Slisenko and Yu. A. Kuznetsov, who drew the attention of the author to the problem considered.     

Minimality of derivative chains,corresponding to a boundary value problem on a finite segment

One investigates the minimality of derivative chains, constructed from the root vectors of polynomial pencils of operators, acting in a Hilbert space. One investigates in detail the quadratic pencil of operators. In particular, for L()=L₀+L₁+²L₂ with bounded operators L₀0, L₂0 and Re L₁0, one shows the minimality in the space_173-02 of the system {x_k, _kekx_k}, where x_k are eigenvectors of L(), corresponding to the characteristic numbers _kin the deleted neighborhoods of which one has the representation L^–1()=(–_k)^–1R_K+W_K() with one-dimensional operators R_k and operator-valued functions W_K(), k=1, 2, ..., analytic for =_k.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 195–205, February, 1990.     

Extremal Eigenvalues of the Laplacian in a Conformal Class of Metrics: The `Conformal Spectrum'

Let M be a compact connected manifold of dimension n endowed witha conformal class C ofRiemannian metrics of volume one. For any integer k 0, we consider the conformal invariant _k ^c (C) defined as the supremum of the k-th eigenvalue _k (g) of the Laplace–Beltrami operator _g , where g runs over C.First, we give a sharp universal lower bound for _k ^c (C) extending to all k a result obtained by Friedlander andNadirashvili for k = 1. Then, we show that the sequence \{ _k ^c (C)\}, that we call `conformal spectrum',is strictly increasing and satisfies, k 0, _k+1 ^c (C) ^n/2– _k ^c (C) ^n/2 n ^n/2 _n , where _n is the volume of the n-dimensionalstandard sphere.When M is an orientable surface of genus , we also considerthe supremum _k ^top()of _k (g) over theset of all the area one Riemannian metrics on M, and study thebehavior of _k ^top() in terms of .     

An Extension of the Roots Separation Theorem

Let T _n be an n×n unreduced symmetric tridiagonal matrix with eigenvalues ₁<₂<< _n and W _k is an (n–1)×(n–1) submatrix by deleting the kth row and the kth column from T _n , k=1,2,...,n. Let _{12 n–1} be the eigenvalues of W _k . It is proved that if W _k has no multiple eigenvalue, then ₁<₁<₂<₂<< _n–1< _n–1< _n ; otherwise if _i = _i+1 is a multiple eigenvalue of W _k , then the above relationship still holds except that the inequality _i < _i+1< _i+1 is replaced by _i = _i+1= _i+1.     

Divisible designs and groups

We study (s, k, ₁, ₂)-translation divisible designs with ₁0 in the singular and semi-regular case. Precisely, we describe singular (s, k, ₁, ₂)-TDD's by quasi-partitions of suitable quotient groups or subgroups of their translation groups. For semi-regular (s, k, ₁, ₂)-TDD's (and, more general, for the case ₂>₁) we prove that their translation groups are either Frobenius groups or p-groups of exponent p. Some examples are given for the singular, semi-regular and regular case.     

Resolution of the Symmetric Nonnegative Inverse Eigenvalue Problem for Matrices Subordinate to a Bipartite Graph

There is a symmetric nonnegative matrix A, subordinate to a given bipartite graph G on n vertices, with eigenvalues _{12 n} if and only if, ₁ + _n 0, ₂ + _n-10,..., _m + _{n - m + 1}0, _{m + 1}0,..., _{n - m} 0, in which m is the matching numberof G. Other observations are also made about the symmetric nonnegative inverse eigenvalue problem with respect to a graph     

Randomly Weighted Sums of Subexponential Random Variables with Application to Ruin Theory

Let {X _k , 1 k n} be n independent and real-valued random variables with common subexponential distribution function, and let {k, 1 k n} be other n random variables independent of {X _k , 1 k n} and satisfying a _k b for some 0 < a b < for all 1 k n. This paper proves that the asymptotic relations P (max_{1 m n k=1} ^m _k X _k > x) P (sum _k=1 ⁿ _k X _k > x) sum _k=1 ⁿ P ( _k X _k > x) hold as x . In doing so, no any assumption is made on the dependence structure of the sequence { _k , 1 k n}. An application to ruin theory is proposed.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

On the stability properties of Brown's multistep multiderivative methods

Summary Brown introducedk-step methods usingl derivatives. We investigate for whichk andl the methods are stable or unstable. It is seen that to anyl the method becomes unstable fork large enough. All methods withk2(l+1) are stable. Fork=1,2,..., 18 there exists a _k such that the methods are stable for anyl _k and unstable for anyl < _k . The _k are given.     

On the typicality of linear Hamiltonian systems with exponential separateness

Linear Hamiltonian systems of ordinary differential equations,are considered, where f ^t is a continuous action of the group R on a complete metric space , A is an element of the space S _H ,consisting of the continuous bounded mappings of into the set of all pseudosymmetric matrices and endowed with the uniform convergence metric. By ₁ (A, x) _2n (A, x) we denote the Lyapunov exponents of such systems. The typicality (in the Baire sense) in the space S _H × is proved for those pairs (A, x) for which one has the alternative: either _k (A, x) = _k+1 (A, x) or the linear subspace of the solutions of the corresponding system with exponents less than _k (A, x) is exponentially separated from any of its algebraic complements in the space of all the solutions of the system. From here, in particular, there follows the typicality of the formulated alternative for linear Hamiltonian systems with continuous quasiperiodic coefficients (with the same frequency module) and also for linear Hamiltonian systems with continuous almost periodic coefficients. Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 16, pp. 137–181, 1992.     

Separation of two (possibly unbounded) components of the spectrum of a linear operator

LetX be a complex Banach space andA: D(A)X a densely defined closed linear operator whose resolvent set contains the real line and for which (–A)^–1 is bounded onR. We give a necessary and sufficient condition, in terms of the complex powers ofA and –A, for the existence of a decompositionX=X ₊X _–, whereX _± are closed subspaces, invariant forA, the spectra of the reduced operatorsA _± are {(A);Im>0} and {(A);Im<0} respectively, and (–A _±)^–1 is bounded forIm0.Finally we give an example of an operator in anL ^p-type space for which the decomposition exists if 1<p<+ and does not exist ifp=1.     

On the unconditional convergence of Walsh series

. { (n)} — , {_n}, .     

The eigenvalues of the Sinyukov mapping for geodesically equivalent metrics are globally ordered

Suppose all geodesics of two Riemannian metrics g and defined on a (connected, geodesically complete) manifold M ⁿ coincide. At each point x M ⁿ , consider the common eigenvalues ₁, ₂, ... , _n of the two metrics (we assume that _{1 2 n}) and the numbers . We show that the numbers _i are ordered over the entire manifold: for any two points x and y in M the number _k(x) is not greater than _k+1(y). If _k(x)= _k+1(y), then there is a point z M _n such that _k(z)= _k+1(z). If the manifold is closed and all the common eigenvalues of the metrics are pairwise distinct at each point, then the manifold can be covered by the torus.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 412–423.Original Russian Text Copyright © 2005 by V. S. Matveev.This revised version was published online in April 2005 with a corrected issue number.     

Ultrafilter translations

We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if > then the logic with the quantifier there exist many is (,)-compact if and only if either is weakly compact or is singular of cofinality<. As a corollary, for every infinite cardinals and , there exists a (,)-compact non-(,)-compact logic if and only if either < orcf<cf or < is weakly compact.Counterexamples are given showing that the above statements may fail, ifV=L is not assumed.However, without special assumptions, analogous results are obtained for the stronger notion of [,]-compactness.     

An infinite dimensional analogue of the Albeverio-Röckner's theorem on Fukushima's conjecture

LetX be the solution of the SDE:dX _t = (X _t)dB _t +b(X _t)dt, with andb C _b (R) such that >0 for some constant , andB a real Brownian motion. Let be the law ofX onE=C([0, 1],R) andk E* – {0}, whereE* is the topological dual space ofE. Consider the classical form: _k (u, v)=u / kv / kd, whereu andv are smooth functions onE. We prove that, if _k is closable for anyk in a dense subset ofE* and if the smooth functions are contained in the domain of the generator of the closure of _k , must be a constant function.     

A decomposition for the exponential dispersion model generated by the invariant measure on the hyperboloid

For = ₀, ₁, ₂) andx=(x₀, x₁, x₂) in R³, define [,x] = ₀ x ₀ – ₁ x ₁ – ₂ x ₂,C = {x³:x ₀ > 0 and [x, x]>0},R(x)=([x, x]) ^1/2 forx inC andH ₁={xC: x₀>0,R(x)=1}. Define the measure onH ₁ such that if is inC and =R(), then exp (–[,x])(dx = ( exp )^–1. Therefore, is invariant under the action ofSO (1, 2), the connected component ofO(1, 2) containing the identity. We first prove that there exists a positive measure in ³ such that its Laplace transform is ( exp )^– if and only if >1. Finally, for 1 and inC, denotingP(,)(dx) = ( exp )^– exp (–[,x])(dx, we show that ifY ₀,...,Y _n aren+1 independent variables with densityP(,),j=0,...,n and ifS _k =X ₀ + ... +X _k andQ _k =R(S _k) –R(S _k–1) –R(Y _k),k=1,...,n, then then+1 statisticsD _n = [/,S _k ] –R _{k – 1} ),Q ₁,...,Q _n are independent random variables with the exponential () or gamma (1,1/) distribution.This research has been partially funded by NSERC Grant A8947.     

Limit theorems for multitype continuous time Markov branching processes

Summary Let X(t)=(X ₁ (t), X ₂ (t), , X _t (t)) be a k-type (2k<) continuous time, supercritical, nonsingular, positively regular Markov branching process. Let M(t)=((m _ij (t))) be the mean matrix where m _ij (t)=E(X _j (t)¦X _r (0)= _ir for r=1, 2, , k) and write M(t)=exp(At). Let be an eigenvector of A corresponding to an eigenvalue . Assuming second moments this paper studies the limit behavior as t of the stochastic process . It is shown that i) if 2 Re >₁, then · X(t)e{–t¦ converges a.s. and in mean square to a random variable. ii) if 2 Re ₁ then [ · X(t)] f(v · X(t)) converges in law to a normal distribution where f(x)=(x) ^–1 if 2 Re <₁ and f(x)=(x log x)^–1 if 2 Re =₁, ₁ the largest real eigenvalue of A and v the corresponding right eigenvector.Research supported in part under contracts N0014-67-A-0112-0015 and NIH USPHS 10452 at Stanford University.