A Triangle Inequality for Measurement

We introduce the triangle inequality for measurement. This is a property that when satisfied by a measurement enables one to construct a metric on the set of elements with measure zero that yields the relative Scott topology. The naturality of this construction permits a categorical solution to the model problem in domain theory for locally compact metric spaces. The first time such a solution has been achieved.     

Initial Segments in Rogers Semilattices of \Sigma _n^0 -Computable Numberings

S. Goncharov and S. Badaev showed that for , there exist infinite families whose Rogers semilattices contain ideals without minimal elements. In this connection, the question was posed as to whether there are examples of families that lack this property. We answer this question in the negative. It is proved that independently of a family chosen, the class of semilattices that are principal ideals of the Rogers semilattice of that family is rather wide: it includes both a factor lattice of the lattice of recursively enumerable sets modulo finite sets and a family of initial segments in the semilattice of -degrees generated by immune sets.     

Iwasawa μ-invariants of elliptic curves and their symmetric powers

In an earlier paper we considered the effects that finite submodules can have on μ-invariants of Selmer groups. In this paper we examine some of the consequences of that theory to elliptic curves and their symmetric powers. One main result is the construction of an isogeny class of elliptic curves, all of which have positive μ-invariants. A second result is a connection between the behaviors of μ-invariants associated with the symmetric powers of an elliptic curve over , and the behavior of the μ-invariant of that elliptic curve over different extensions of .     

A risk model driven by Lévy processes

We present a general risk model where the aggregate claims, as well as the premium function, evolve by jumps. This is achieved by incorporating a Lévy process into the model. This seeks to account for the discrete nature of claims and asset prices. We give several explicit examples of Lévy processes that can be used to drive a risk model. This allows us to incorporate aggregate claims and premium fluctuations in the same process. We discuss important features of such processes and their relevance to risk modeling. We also extend classical results on ruin probabilities to this model. Copyright © 2003 John Wiley & Sons, Ltd.     

Further results on large sets of disjoint group‐divisible designs with block size three and type 2n41

Large sets of disjoint group‐divisible designs with block size three and type 2ⁿ4¹ were first studied by Schellenberg and Stinson because of their connection with perfect threshold schemes. It is known that such large sets can exist only for n ≡0 (mod 3) and do exist for all odd n ≡ (mod 3) and for even n=24m, where m odd ≥ 1. In this paper, we show that such large sets exist also for n=2^k(3m), where m odd≥ 1 and k≥ 5. To accomplish this, we present two quadrupling constructions and two tripling constructions for a special large set called ^*LS(2ⁿ). © 2002 Wiley Periodicals, Inc. J Combin Designs 11: 24–35, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10032     

On Selfsimilar Jordan Curves on the Plane

We study the attractors of a finite system of planar contraction similarities S _j (j=1,...,n) satisfying the coupling condition: for a set {x ₀,...,x _n} of points and a binary vector (s ₁,...,s _n ), called the signature, the mapping S _j takes the pair {x ₀,x _n} either into the pair {x _j-1,x _j } (if s _j =0) or into the pair {x _j , x _j-1} (if s _j =1). We describe the situations in which the Jordan property of such attractor implies that the attractor has bounded turning, i.e., is a quasiconformal image of an interval of the real axis.     

Super-measures and finitely defined topological measures

We introduce a class of set-functions on the set of natural numbers, which are called super-measures. Super-measures are then utilized to characterize a certain class of topological measures (previously called quasi-measures, see below) which arises naturally. The members of this class of topological measures are called finitely defined, and are shown to be dense in the set of all topological measures. This revised version was published online in June 2006 with corrections to the Cover Date.     

On products of unbounded operators

A symmetric operator X^ is attached to each operator X that leaves the domain of a given positive operator A invariant and makes the product AX symmetric. Some spectral properties of X^ are derived from those of X and, as a consequence, various conditions ensuring positivity of products of the form AX ₁ ... X _n are proved. The question of ^-complete positivity of the mapping p → Ap(X ₁,...,X _n) defined on complex polynomials in n variables is investigated. It is shown that the set ω is related to the McIntosh-Pryde joint spectrum of (X ₁,...,X _n) in case all the operators A, X ₁,...,X _n are bounded. Examples illustrating the theme of the paper are included. This revised version was published online in June 2006 with corrections to the Cover Date.     

THE STRUCTURE AND APPROXIMATION OF A.S. SELF-SIMILAR SET

The structure of any a.s. self-similar set K(w) generated by a class of random elements {gn,wσ} taking values in the space of contractive operators is given and the approximation of K(w) by the fixed points {Pn,wσ} of {gn,ow} is obtained. It is useful to generate the fractal in computer.     

A NOTE OF THE SPECTRUM OF HOMOGENEOUS COMPACT OPERATORS

In this paper, we present some counterexamples which show that there is no theory on the spectrum of homogeneous compact operators which parallels the Riesz-Schauder theory on the spectrum of linear compact operators. These counterexamples also illustrate that it is impossible to study in a unified setting the Fucik spectrum of the Laplacian: -△w = au+ - bu- inΩand u = 0 on (?)Ω, as well as the spectrum of the p-Laplacian: -div(|(?)u| p-2(?)u) = λ|u|p-2u and u = 0 on (?)Ω.