Curvature Measures and Random Sets,I

The paper deals with signed curvature measures as introduced by Federer for sets with positive reach. An integral representation and a local Steiner formula for these measures are given. The main result is the additive extension of the curvature measures to locally finite unions of compatible sets with positive reach. Within this comprehensive class of subsets of R^d a generalized Steiner polynomial (local version) and section theorems (principal kinematic formula, Crofton formula) for the curvature measures are derived.     

Curvatures and currents for unions of sets with positive reach

For locally finite unions of sets with positive reach in R ^d, generalized unit normal bundles are introduced in support of a certain set additive index function. Given an appropriate orientation to the normal bundle, signed curvature measures may be defined by means of associated locally rectifiable currents (with index function as multiplicity) and specially chosen differential forms. In the case of regular sets this is shown to be equivalent to well-known classical concepts via former results. The present approach leads to unified methods in proving integral-geometric relations. Some of them are stated in this paper.     

A local Steiner–type formula for general closed sets and applications

We introduce support (curvature) measures of an arbitrary closed set A in ^d and establish a local Steiner–type formula for the localized parallel volume of A. We derive some of the basic properties of these support measures and explore how they are related to the curvature measures available in the literature. Then we use the support measures in analysing contact distributions of stationary random closed sets, with a particular emphasis on the Boolean model with general compact particles. Mathematics Subject Classification (2000): 53C65, 28A75, 52A22, 60D05; 52A20, 60G57, 60G55, 28A80.     

Absolute curvature measures,II

The absolute curvature measures for sets of positive reach in R ^d introduced in [7] satisfy the following kinematic relations: Their integrated values on the intersections with (or on the tangential projections onto) uniformly moved p-planes are constant multiples of the corresponding absolute curvature measures of the primary set. In the special case of convex bodies the first result is the so-called Crofton formula. An analogue for signed curvature measures is well known in the differential geometry of smooth manifolds, but the motion of absolute curvatures used there does not lead to this property. For the special case of smooth compact hypermanifolds our absolute curvature measures agree with those introduced by Santaló [4] with other methods.In the appendix, the section formula is applied to motion invariant random sets.     

An exponent bound on skew Hadamard abelian difference sets

A difference setD in a groupG is called a skew Hadamard difference set (or an antisymmetric difference set) if and only ifG is the disjoint union ofD, D(^–1), and {1}, whereD(^–1)={d^–1|dD}. In this note, we obtain an exponent bound for non-elementary abelian groupG which admits a skew Hadamard difference set. This improves the bound obtained previously by Johnsen, Camion and Mann.     

On surface area measures of convex bodies

The set L _j of jth-order surface area measures of convex bodies in d-space is well known for j=d–1. A characterization of L _j was obtained by Firey and Berg. The determination of L _j, for j{2, ..., d–2}, is an open problem. Here we show some properties of L _j concerning convexity, closeness, and size. Especially we prove that the difference set L _j–L _j is dense (in the weak topology) in the set of signed Borel measures on the unit sphere which have barycentre 0.     

The Yamabe Problem and Applications on Noncompact Complete Riemannian Manifolds

We let (M,g) be a noncompact complete Riemannian manifold of dimension n 3 whose scalar curvature S(x) is positive for all x in M. With an assumption on the Ricci curvature and scalar curvature at infinity, we study the behavior of solutions of the Yamabe equation on –u+[(n–2)/(4(n–1))]Su=qu ^{(n+2)/(n–2)} on (M,g). This study finds restrictions on the existence of an injective conformal immersion of (M,g) into any compact Riemannian n -manifold. We also show the existence of a complete conformal metric with constant positive scalar curvature on (M,g) with some conditions at infinity.     

Polyhedron Theorems for Non-Smooth Cell Complexes

Results like EULER'S polyhedron theorem or relations for the EULER characteristic are extended to signed curvature measures of p-dimensional topological polyhedra in R^d. The cells are assumed to be finite unions of compact manifolds with boundary and positive reach. By means of generalized unit normal bundles and generalized principal curvatures provided with a certain set additive index function the global problems can be reduced to local variants.     

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.     

Almost-Sure Results for a Class of Dependent Random Variables

The aim of this note is to establish almost-sure Marcinkiewicz-Zygmund type results for a class of random variables indexed by _d ⁺ —the positive d-dimensional lattice points—and having maximal coefficient of correlation strictly smaller than 1. The class of applications include filters of certain Gaussian sequences and Markov processes.     

Low-type submanifolds of real space forms via the immersions by projectors

We undertake a comprehensive study of submanifolds of low Chen-type (1, 2, or 3) in non-flat real space forms, immersed into a suitable (pseudo) Euclidean space of symmetric matrices by projection operators. Some previous results for submanifolds of the unit sphere (obtained in [A. Ros, Eigenvalue inequalities for minimal submanifolds and P-manifolds, Math. Z. 187 (1984) 393–404; M. Barros, B.Y. Chen, Spherical submanifolds which are of 2-type via the second standard immersion of the sphere, Nagoya Math. J. 108 (1987) 77–91; I. Dimitrić, Spherical hypersurfaces with low type quadric representation, Tokyo J. Math. 13 (1990) 469–492; J.T. Lu, Hypersurfaces of a sphere with 3-type quadric representation, Kodai Math. J. 17 (1994) 290–298]) are generalized and extended to real projective and hyperbolic spaces as well as to the sphere. In particular, we give a characterization of 2-type submanifolds of these space forms with parallel mean curvature vector. We classify 2-type hypersurfaces in these spaces and give two sets of necessary conditions for a minimal hypersurface to be of 3-type and for a hypersurface with constant mean curvature to be mass-symmetric and of 3-type. These conditions are then used to classify such hypersurfaces of dimension n5. For example, the complete minimal hypersurfaces of the unit sphere Sⁿ⁺¹ which are of 3-type via the immersion by projectors are exactly the 3-dimensional Cartan minimal hypersurface and the Clifford minimal hypersurfaces M_k,n−k for n≠2k. An interesting characterization of horospheres in is also obtained.     

Determination of Spherical Area Measures by Means of Dilation Volumes

For a large class of compact sets X in ℝ^d which can be represented as finite unions of sets of positive reach, the spherical area measure of order d — 1 is determined by the volumes of dilations of X with infinitesimal multiples of all rotations of a suitable convex test set. For spherical area measures of lower orders, a similar result is obtained by approximating the set X by the closures of the complements of close parallel bodies.     

Blocking Structures of Hermitian Varieties

Given a hermitian variety H(d,q²) and an integer k (d–1)/2, a blocking set with respect to k-subspaces is a set of points of H(d,q²) that meets all k-subspaces of H(d,q²). If H(d,q²) is naturally embedded in PG(d,q²), then linear examples for such a blocking set are the ones that lie in a subspace of codimension k of PG(d,q²). Up to isomorphism there are k+1 non-isomorphic minimal linear blocking sets, and these have different cardinalities. In this paper it is shown for 1 k< (d–1)/2 that all sufficiently small minimal blocking sets of H(d,q²) with respect to k-subspaces are linear. For 1 k< d/2–3, it is even proved that the k+1 minimal linear blocking sets are smaller than all minimal non-linear ones.AMS Classification: 1991 MSC: 51E20, 51E21     

On (p a , p b , p a , p a-b )-Relative Difference Sets

This paper provides new exponent and rank conditions for the existence of abelian relative (p ^a,p ^b,p ^a,p ^a–b)-difference sets. It is also shown that no splitting relative (2^2c,2^d,2^2c,2^2c–d)-difference set exists if d > c and the forbidden subgroup is abelian. Furthermore, abelian relative (16, 4, 16, 4)-difference sets are studied in detail; in particular, it is shown that a relative (16, 4, 16, 4)-difference set in an abelian group G Z₈ × Z₄ × Z₂ exists if and only if exp(G) 4 or G = Z₈ × (Z₂)³ with N Z₂ × Z₂.     

Outer Minkowski content for some classes of closed sets

We find conditions ensuring the existence of the outer Minkowski content for d-dimensional closed sets in , in connection with regularity properties of their boundaries. Moreover, we provide a class of sets (including all sufficiently regular sets) stable under finite unions for which the outer Minkowski content exists. It follows, in particular, that finite unions of sets with Lipschitz boundary and a type of sets with positive reach belong to this class.     

Ratio and relative asymptotics of polynomials orthogonal with respect to varying Denisov-type measures

Let μ be a finite positive Borel measure with compact support consisting of an interval plus a set of isolated points in , such that μ^′>0 almost everywhere on [c,d]. Let , be a sequence of polynomials, , with real coefficients whose zeros lie outside the smallest interval containing the support of μ. We prove ratio and relative asymptotics of sequences of orthogonal polynomials with respect to varying measures of the form dμ/w_2n. In particular, we obtain an analogue for varying measures of Denisov's extension of Rakhmanov's theorem on ratio asymptotics. These results on varying measures are applied to obtain ratio asymptotics for orthogonal polynomials with respect to fixed measures on the unit circle and for multi-orthogonal polynomials in which the measures involved are of the type described above.     

Construction of spherical t-designs

Spherical t-designs are Chebyshev-type averaging sets on the d-dimensional unit sphere S ^d–1, that are exact for polynomials of degree at most t. The concept of such designs was introduced by Delsarte, Goethals and Seidel in 1977. The existence of spherical t-designs for every t and d was proved by Seymour and Zaslavsky in 1984. Although some sporadic examples are known, no general construction has been given. In this paper we give an explicit construction of spherical t-designs on S ^d–1 containing N points, for every t,d and N,NN ₀, where N ₀ = C(d)t ^{O(d 3}).     

Stability of the notion of approximating class of sequences and applications

Given an approximating class of sequences {{B_n,m}_n}_m for {A_n}_n, we prove that (X⁺ being the pseudo-inverse of Moore–Penrose) is an approximating class of sequences for , where {A_n}_n is a sparsely vanishing sequence of matrices A_n of size d_n with d_k>d_q for k>q,k,qN. As a consequence, we extend distributional spectral results on the algebra generated by Toeplitz sequences, by including the (pseudo) inversion operation, in the case where the sequences that are (pseudo) inverted are distributed as sparsely vanishing symbols. Applications to preconditioning and a potential use in image/signal restoration problems are presented.