A family of relative difference sets associated with Hjelmslev structures over finite projective spaces

In this note, we construct a new family of relative difference sets, with parameters n=q^d, m=q^d+...+q+1, k=q^d-1(q^d-1), ₁ =q^d-1(q^d-q^d-1-1) and ₂ =q^d-2(q-1)(q^d-1-1) where q is a prime power and d 2 an integer. The associated symmetric divisible designs admit natural epimorphisms onto the symmetric designs formed by points and hyperplanes in the corresponding projective spaces PG(d,q). As in the theory of Hjelmslev planes, points with the same image can be recognized from having the larger of the two possible joining numbers, and dually. More formally, these symmetric divisible designs are balanced c-H-structures (in the sense of Drake and Jungnickel [2]) with parameters c=q^d-2 (q-1)² and t=q^d-1 (q-1) over PG_d-1(d,q). These are the first examples of balanced non-uniform c-H-structures of type 2; they can be used in known constructions to obtain new balanced c-H-structures (for suitable c) of arbitrary type. In fact, all these results are special cases of a more general construction involving arbitrary difference sets.The author gratefully acknowledges the hospitality of the University of Waterloo and the financial support of NSERC under grant IS-0367.     

Difference Sets with n = 2pm

Let D be a (v,k,) difference set over an abelian group G with even n = k - . Assume that t N satisfies the congruences t q _i ^fi (mod exp(G)) for each prime divisor q_i of n/2 and some integer f_i. In [4] it was shown that t is a multiplier of D provided that n > , (n/2, ) = 1 and (n/2, v) = 1. In this paper we show that the condition n > may be removed. As a corollary we obtain that in the case of n= 2p^a when p is a prime, p should be a multiplier of D. This answers an open question mentioned in [2].     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Distributional control and generalized analyticity

Let S be a strongly continuous, separation-preserving representation of a locally compact abelian group G in L^p(), where 1p<, and is an arbitrary measure. We show that S is uniformly bounded with respect to the L^p-and L-norms if and only if it satisfies a certain boundedness condition for distribution functions. These equivalent conditions facilitate the transference from L^p(G) to L^p() of the a.e. convergence for a wide class of sequences of convolution operators. The result unifies and generalizes various aspects of ergodic theory--in particular, the ergodic singular integral operators and ergodic Hardy spaces.     

New Hadamard matrices and conference matrices obtained via Mathon's construction

We give a formulation, via (1, –1) matrices, of Mathon's construction for conference matrices and derive a new family of conference matrices of order 59^2t+1 + 1,t 0. This family produces a new conference matrix of order 3646 and a new Hadamard matrix of order 7292. In addition we construct new families of Hadamard matrices of orders 69^2t+1 + 2, 109^2t+1 + 2, 8499 ^t ,t 0;q ²(q + 3) + 2 whereq 3 (mod 4) is a prime power and 1/2(q + 5) is the order of a skew-Hadamard matrix); (q + 1)q ²9 ^t ,t 0 (whereq 7 (mod 8) is a prime power and 1/2(q + 1) is the order of an Hadamard matrix). We also give new constructions for Hadamard matrices of order 49 ^t 0 and (q + 1)q ² (whereq 3 (mod 4) is a prime power).This work was supported by grants from ARGS and ACRB.Dedicated to the memory of our esteemed friend Ernst Straus.     

Building Symmetric Designs With Building Sets

We introduce a uniform technique for constructing a family of symmetric designs with parameters (v(q ^m+1-1)/(q-1), kq ^m ,q ^m), where m is any positive integer, (v, k, ) are parameters of an abelian difference set, and q = k ²/(k - ) is a prime power. We utilize the Davis and Jedwab approach to constructing difference sets to show that our construction works whenever (v, k, ) are parameters of a McFarland difference set or its complement, a Spence difference set or its complement, a Davis–Jedwab difference set or its complement, or a Hadamard difference set of order 9 · 4 ^d , thus obtaining seven infinite families of symmetric designs.     

Distribution of the supremum of sums of independent variables with negative drift

Let {_n} be a sequence of identically distributed independent random variables,M₁=<0,M ₁ ² <;S ₀=0,S _n =₁+₂,+...+ _{n, n}1;¯ S=sup {S _n n=0.} The asymptotic behavior ofP(¯ St) as t is studied. If _t ^P (₁x dx=0((t)), thenP(¯ St)– 1/¦¦ _t P (₁x dx=0((t)) (t) is a positive function, having regular behavior at infinity.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 763–770, November, 1977.The author thanks B. A. Rogozin for the formulation of the problem and valuable remarks.     

Two characterization theorems for integral operators

Let (X,) be a separable -finite measure space. A bounded operator A on L²(X) is called an integral operator if it is induced by an equation: Af(x) = k(x,y)f(y)d(y), where k is a measurable function on X × X such that |k(x,y)f(y)|d(y) < a.e. for every f in L²(X).In this paper, some results on Carleman operators, due to von Neumann, Tarjonski and Weidmann, are extended to the case of the general integral operator.     

Some dimension results for super-Brownian motion

Summary The Dawson-Watanabe super-Brownian motion has been intensively studied in the last few years. In particular, there has been much work concerning the Hausdorff dimension of certain remarkable sets related to super-Brownian motion. We contribute to this study in the following way. Let (Y _t)_t0 be a super-Brownian motion on ^d (d2) andH be a Borel subset of ^d . We determine the Hausdorff Dimension of {t0; SuppY _tHØ}, improving and generalizing a result of Krone. We also obtain a new proof of a result of Tribe which gives, whend4, the Hausdorff dimension of SuppY _t as a function of the dimension ofB.     

Random polytopes in thed-dimensional cube

LetC ^d be the set of vertices of ad-dimensional cube,C ^d ={(x ₁, ...,x _d ):x _i =±1}. Let us choose a randomn-element subsetA(n) ofC ^d . Here we prove that Prob (the origin belongs to the convA(2d+x2d))=(x)+o(1) ifx is fixed andd . That is, for an arbitrary>0 the convex hull of more than (2+)d vertices almost always contains 0 while the convex hull of less than (2-)d points almost always avoids it.     

Note on angle-preserving mappings

Summary Let (V, K, q) be aq-regular metric vector space over a commutative field with quadratic formq and letA(V, K, q) be the corresponding affine-metric space. A metric collineation ofA(V, K, q) is a product of a translation and a semilinear bijection ( ₁, ₂) (where ₂ AutK) such that, for a K\{0}, we haveq ₁ = ₂ q. For linesA + KB, A + KC whereA, B, C V\{X Vq(X) = 0} we define an angle-measure < _q (A +KB, A +KC) f(B, C)² q(B)^–1 q(C)^–1 wheref is the bilinear form corresponding toq. For a point tripleA, B, C we define < _q ABC < _q (K(A – B),K(C – B)) whenever the right-hand side is defined. Now assume |K| > 5. In order to get minimal conditions for metric collineations we prove: If 0, 4 is an occurring angle-measure and if is a permutation of the point set such that exactly the point triples with measure are mapped to point triples with measure 0, 4, then is already a metric collineation.     

An embedding theorem for a limiting exponent

We consider the function space B _p ^l () of functionsf(x), defined on the domain of a certain class and characterized by specific differential-difference properties in L_p(). We prove a theorem on the embedding B _p,q ^l () L_q in the case whenl=n/p –n/q >0 and its generalization for vectorl, p, q.Translated from Matematicheski Zametki, Vol. 6, No. 2, pp. 129–138, August, 1969.     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

On a nonlinear eigenvalue problem

In the present paper we consider a selfadjoint and nonsmooth operator-valued function on (c, d)R ¹. We suppose that the equation (L()x, x)=0,x0, has exactly one rootp(x) (c, d) and the functionf()=(L()x, x) is increasing at the pointp(x). We discuss questions of the variational theory of the spectrum. Some theorems on the variational properties of the spectrum are proved.     

On the Eigenvalues and Eigenfunctions of the Sturm--Liouville Operator with a Singular Potential

In this paper we consider the Sturm--Liouville operators generated by the differential expression -y+q(x)y and by Dirichlet boundary conditions on the closed interval [0,]. Here q(x) is a distribution of first order,, i.e., q(x)dx L ₂[0,]. Asymptotic formulas for the eigenvalues and eigenfunctions of such operators which depend on the smoothness degree of q(x) are obtained.     

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

Approximating derivations on ideals ofC *-algebras

For each^*-derivation of a separableC ^*-algebraA and each >0 there is an essential idealI ofA and a self-adjoint multiplierx ofI such that (–ad(ix))|I< and x.     

Decktransformationen transnormaler Mannigfaltigkeiten

For every transnormal m-manifold V (see [3] or [7]) in ⁿ :VW, mapping pV into its normal plane (p) is a covering map onto a submanifold W of the open Grassmannian H_n,n–m of all (n–m)-dimensional planes in ⁿ. The transnormal frame T:=^–1((p)) admits a transitive operation by a group J of isometries. The group action of the covering transformations of (V,,W) on T commutes with the action of J. The elements of J, which are restrictions of covering transformations to T, are exactly the elements of the centre of J. This property is applied to show the existence of nontrivial covering transformations of (V,,W) for n–m3.

---

---

Diese Arbeit faßt die Kapitel 5, 6 und 7 der von der Fakultät für Allgemeine Ingenieurwissenschaften der TU Berlin genehmigten Dissertation [6] zusammen.     

Integrability of certain solutions of differential equations

Let L=P_o(d/d_t)ⁿ+P₁(d/d_t)^n–1+...+P_n denote a formally self-adjoint differential expression on an open intervalI=(a, b) (–a. Here the P_k are complex valued with (n — k) continuous derivatives onI, and P₀(t) 0 onI. We discuss integrability of functions which are adjoint to certain fundamental solutions ofLy=y, and a related consequence.     

Small Ball Probabilities Around Random Centers of Gaussian Measures and Applications to Quantization

Let be a centered Gaussian measure on a separable Hilbert space (E, ). We are concerned with the logarithmic small ball probabilities around a -distributed center X. It turns out that the asymptotic behavior of –log (B(X,)) is a.s. equivalent to that of a deterministic function _R (). These new insights will be used to derive the precise asymptotics of a random quantization problem which was introduced in a former article by Dereich, Fehringer, Matoussi, and Scheutzow.⁽⁸⁾