An optimum iterative method for solving any linear system with a square matrix

A method is presented to solveAx=b by computing optimum iteration parameters for Richardson's method. It requires some information on the location of the eigenvalues ofA. The algorithm yields parameters well-suited for matrices for which Chebyshev parameters are not appropriate. It therefore supplements the Manteuffel algorithm, developed for the Chebyshev case. Numerical examples are described.     

Bootstrapping the Kaplan–Meier estimator on the whole line

This article is concerned with proving the consistency of Efron’s bootstrap for the Kaplan–Meier estimator on the whole support of a survival function. While previous works address the asymptotic Gaussianity of the Kaplan–Meier estimator without restricting time, we enable the construction of bootstrap-based time-simultaneous confidence bands for the whole survival function. Other practical applications include bootstrap-based confidence bands for the mean residual lifetime function or the Lorenz curve as well as confidence intervals for the Gini index. Theoretical results are complemented with a simulation study and a real data example which result in statistical recommendations.

     

Products of mixed covering arrays of strength two

A covering array CA(N;t,k, v is an N × k array such that every N × t subarray contains all t‐tuples from v symbols at least once, where t is the strength of the array. Covering arrays are used to generate software test suites to cover all t‐sets of component interactions. The particular case when t = 2 (pairwise coverage) has been extensively studied, both to develop combinatorial constructions and to provide effective algorithmic search techniques. In this paper, a simple “cut‐and‐paste” construction is extended to covering arrays in which different columns (factors) admit different numbers of symbols (values); in the process an improved recursive construction for covering arrays with t = 2 is derived. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 124–138, 2006     

Bass-Tits minimization of automata, quotients of trees and diameters

Let X be a tree and let G=Aut(X), Bass and Tits have given an algorithm to construct the ‘ultimate quotient’ of X by G starting with any quotient of X, an ‘edge-indexed’ graph. Using a sequence of integers that we compute at consecutive steps of the Bass-Tits (BT) algorithm, we give a lower bound on the diameter of the ultimate quotient of a tree by its automorphism group. For a tree X with finite quotient, this gives a lower bound on the minimum number of generators of a uniform X-lattice whose quotient graph coincides with G?X. This also gives a criterion to determine if the ultimate quotient of a tree is infinite. We construct an edge-indexed graph (A,i) for a deterministic finite state automaton and show that the BT algorithm for computing the ultimate quotient of (A,i) coincides with state minimizing algorithm for finite state automata. We obtain a lower bound on the minimum number of states of the minimized automaton. This gives a new proof that language for the word problem in a finitely generated group is regular if and only if the group is finite, and a new proof that the language of the membership problem for a subgroup is regular if and only if the subgroup has finite index.     

Composition Operators and Endomorphisms

If b is an inner function, then composition with b induces an endomorphism, β, of L^￥(mathbbT){L^infty({mathbb{T}})} that leaves H^￥(mathbbT){H^infty({mathbb{T}})} invariant. We investigate the structure of the endomorphisms of B(L²(mathbbT)){B(L^2({mathbb{T}}))} and B(H²(mathbbT)){B(H^2({mathbb{T}}))} that implement β through the representations of L^￥(mathbbT){L^infty({mathbb{T}})} and H^￥(mathbbT){H^infty({mathbb{T}})} in terms of multiplication operators on L²(mathbbT){L^2({mathbb{T}})} and H²(mathbbT){H^2({mathbb{T}})} . Our analysis, which is based on work of Rochberg and McDonald, will wind its way through the theory of composition operators on spaces of analytic functions to recent work on Cuntz families of isometries and Hilbert C*-modules.     

Localization algebras and deformations of Koszul algebras

We show that the center of a flat graded deformation of a standard Koszul algebra A behaves in many ways like the torus-equivariant cohomology ring of an algebraic variety with finite fixed point set. In particular, the center of A acts by characters on the deformed standard modules, providing a “localization map”. We construct a universal graded deformation of A and show that the spectrum of its center is supported on a certain arrangement of hyperplanes which is orthogonal to the arrangement coming from the algebra Koszul dual to A. This is an algebraic version of a duality discovered by Goresky and MacPherson between the equivariant cohomology rings of partial flag varieties and Springer fibers; we recover and generalize their result by showing that the center of the universal deformation for the ring governing a block of parabolic category O{\mathcal{O}} for \mathfrakgl_n{\mathfrak{gl}_n} is isomorphic to the equivariant cohomology of a Spaltenstein variety. We also identify the center of the deformed version of the “category O{\mathcal{O}}” of a hyperplane arrangement (defined by the authors in a previous paper) with the equivariant cohomology of a hypertoric variety.     

Graph-theoretical analysis of the bonding topology in polyhedral organic cations

It is shown that in several cases where planar delocalisation in organic cations would result in the formation of an anti-aromatic system, polyhedral delocalisation is the form of bonding actually preferred. This explains, for instance, why organic cations in such cases adopt cage-like structures. A full graph-theoretical analysis, similar to one previously published¹² for polyhedral boranes, carboranes and metal clusters, indicates that the nido structure for (CH)₅⁺ may readily be accounted for. Moreover, in the case of the dication (CH)₆²⁺ the fact that its energy minimum also corresponds to a nido structure is explained. In fact, no closo- or arachno-type structures appear to be possible for organic cations. A number of structural predictions concerning these species are given in the conclusion.     

Note on separate continuity and the Namioka property

A pair 〈B,K〉 is a Namioka pair if K is compact and for any separately continuous , there is a dense A⊆B such that f is ( jointly) continuous on A×K. We give an example of a Choquet space B and separately continuous such that the restriction fΔ_| to the diagonal does not have a dense set of continuity points. However, for K a compact fragmentable space we have: For any separately continuous and for any Baire subspace F of T×K, the set of points of continuity of is dense in F. We say that 〈B,K〉 is a weak-Namioka pair if K is compact and for any separately continuous and a closed subset F projecting irreducibly onto B, the set of points of continuity of fF_| is dense in F. We show that T is a Baire space if the pair 〈T,K〉 is a weak-Namioka pair for every compact K. Under (CH) there is an example of a space B such that 〈B,K〉 is a Namioka pair for every compact K but there is a countably compact C and a separately continuous which has no dense set of continuity points; in fact, f does not even have the Baire property.     

On the evolution equation for magnetic geodesics

Orbits of charged particles under the effect of a magnetic field are mathematically described by magnetic geodesics. They appear as solutions to a system of (nonlinear) ordinary differential equations of second order. But we are only interested in periodic solutions. To this end, we study the corresponding system of (nonlinear) parabolic equations for closed magnetic geodesics and, as a main result, eventually prove the existence of long time solutions. As generalization one can consider a system of elliptic nonlinear partial differential equations (PDEs) whose solutions describe the orbits of closed p-branes under the effect of a “generalized physical force”. For the corresponding evolution equation, which is a system of parabolic nonlinear PDEs associated to the elliptic PDE, we can establish existence of short time solutions.