Multiple domain dynamics simulated with coupled level sets

We adapt the level-set method to simulate epitaxial growth of thin films on a surface that consists of different reconstruction domains. Both the island boundaries and the boundaries of the reconstruction domains are described by different level-set functions. A formalism of coupled level-set functions that describe entirely different physical properties is introduced, where the velocity of each level-set function is determined by the value of the other level-set functions.     

Polynomial-time approximation schemes for packing and piercing fat objects

We consider two problems: given a collection of n fat objects in a fixed dimension, (1) ( packing) find the maximum subcollection of pairwise disjoint objects, and (2) ( piercing) find the minimum point set that intersects every object. Recently, Erlebach, Jansen, and Seidel gave a polynomial-time approximation scheme (PTAS) for the packing problem, based on a shifted hierarchical subdivision method. Using shifted quadtrees, we describe a similar algorithm for packing but with a smaller time bound. Erlebach et al.'s algorithm requires polynomial space. We describe a different algorithm, based on geometric separators, that requires only linear space. This algorithm can also be applied to piercing, yielding the first PTAS for that problem.     

车多项式对Ferrers矩阵的刻画

In this paper,we show that there exist precisely W(A) Ferrers matrices F(C1,C2,…,cm)such that the rook polynomials is equal to the rook polynomial of Ferrers matrix F(b1,b2,…,bm), where A={b1,b2-1,…,bm-m 1} is a repeated set,W(A) is weight of A.     

Metric and Complete Metric σ-Frames

A -frame is a lattice in which countable joins exist and binary meets distribute over countable joins. In this paper, the category MFrm, of metric -frames, is introduced, and it is shown to be equivalent to the category MLFrm _u, of metric Lindelöf frames.Finally, it is shown that the complete metric -frames are exactly the cozero parts of complete metric Lindelöf frames.     

Ergodic-theoretic properties of certain Bernoulli convolutions

The aim of this paper is to prove some fixed point theorems which generalize well known basic fixed point principles of nonlinear functional analysis. Moreover, we investigate the class of mappings f: X→ X, where X is a Banach space, for which one of the main conditions in the metric fixed point theory, namely the condition (1), is satisfied. We obtain essential applications of this fact. All our results are illustrated by suitable examples. This revised version was published online in June 2006 with corrections to the Cover Date.     

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.     

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     

A New Family of Cyclic Difference Sets with Singer Parameters in Characteristic Three

We construct a new family of cyclic difference sets with parameters ((3 ^d – 1)/2, (3 ^{d – 1} – 1)/2, (3 ^{d – 2} – 1)/2) for each odd d. The difference sets are constructed with certain maps that form Jacobi sums. These new difference sets are similar to Maschietti's hyperoval difference sets, of the Segre type, in characteristic two. We conclude by calculating the 3-ranks of the new difference sets.     

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.     

About the Notion of Semiring of Sets

We introduce a generalized notion of semiring and prove that all known properties that semirings have according to the old definition are preserved.