Elliptic semiplanes and group divisible designs with orthogonal resolutions

In this paper we prove that there exists an elliptic semiplaneS(v, k, m) withk –m 2 if and only if there exists a group divisible design GDD _k ((k –m)(k – 1);k –m; 0, 1) withm pairwise orthogonal resolutions. As an example of this theorem, we construct an elliptic semiplaneW(45, 7, 3) and show thatW is isomorphic to the elliptic semiplaneS(45, 7, 3) given by R. D. Baker.     

Why is space three-dimensional and how may groups be seen?

First we propose a model of visual perception essentially based on the Keldysh-Chernavsky-Sossinsky three-channel theorem, from which three-dimensionality of space follows. Second, we associate with a system of subgroups H ₁, ..., H_s of a given group G a geometric object, called a group crystal, in order to visualize G. How this notion works is illustrated via the Burnside problem.     

A Banach space where minimal weak cuscos are generically compact-valued

The space of continuous functions on the double arrow space has long been of interest in differentiability theory since many convex functions on this space are densely but not generically Gâteaux differentiable. We show that this space has the property that minimal weak* cuscos into its dual take compact values at the points of a denseG set.     

Densest packings of eleven congruent circles in a circle

In 1969 Pirl provided the densest packings ofn equal circles in a circle forn 10. We will prove the optimality for the packings that were conjectured forn=11. The proof is based on elementary combinatorial and analytical techniques.     

Incomplete idempotent Schröder quasigroups and related packing designs

Summary In this paper it is proved that, for any positive integern 2, 3 (mod 4),n 7, there exists an incomplete idempotent Schröder quasigroup with one hole of size two IISQ(n, 2) except forn = 10. It is also proved that for any positive integern 0, 1 (mod 4), there exists an idempotent Schröder quasigroup ISQ(n) except forn = 5 and 9. These results completely determine the spectrum of ISQ(n) and provide an application to the packing of a class of edge-coloured block designs.Research supported by NSERC grant A-5320.Research supported by NSFC grant 19231060-2.     

Zero cycles on conic fibrations and a conjecture of Bloch

Let X be a smooth projective surface over a number field k. Let (CH₀(X)) denote the Chow group of zero-cyles modulo rational equivalence on X. Let CH₀(X) be the subgroup of CH ₀(X) consisting of classes which vanish when going over to an arbitrary completion of k. Bloch put forward a conjecture asserting that this group is isomorphic to the Tate-Shafarevich group of a certain Galois module atttached to X. In this paper, we disprove this general conjecture. We produce a conic bundle X over an elliptic curve, for which the group (CH₀(X) is not zero, but the Galois-theoretic Tate-Shafarevich group vanishes.     

Functional connectedness and Darboux property of multivalued functions

To 80^th birthday of Paul Erds     

Existence and uniqueness of semimartingale reflecting Brownian motions in an orthant

Summary This work is concerned with the existence and uniqueness of a class of semimartingale reflecting Brownian motions which live in the non-negative orthant of ^d . Loosely speaking, such a process has a semimartingale decomposition such that in the interior of the orthant the process behaves like a Brownian motion with a constant drift and covariance matrix, and at each of the (d-1)-dimensional faces that form the boundary of the orthant, the bounded variation part of the process increases in a given direction (constant for any particular face) so as to confine the process to the orthant. For historical reasons, this pushing at the boundary is called instantaneous reflection. In 1988, Reiman and Williams proved that a necessary condition for the existence of such a semimartingale reflecting Brownian motion (SRBM) is that the reflection matrix formed by the directions of reflection be completely-L. In this work we prove that condition is sufficient for the existence of an SRBM and that the SRBM is unique in law. It follows from the uniqueness that an SRBM defines a strong Markov process. Our results have potential application to the study of diffusions arising as approximations tomulti-class queueing networks.Research supported in part by NSF Grants DMS 8657483, 8722351 and 9023335, and a grant from AT&T Bell Labs. In addition, R.J. Williams was supported in part during the period of this research by an Alfred P. Sloan Research Fellowship     

Counterexamples in optimal quadrature

It is widely believed that order of exactness is a good measure of the quality of an algorithm for numerical quadrature. We show that this is not the case, by exhibiting a situation in which the optimal algorithm does not even integrate constants exactly. We also show that there are situations in which the penalty for using equidistant nodes is unbounded. Finally, we show that the complexity of obtaining an -approximation can be an arbitrary function of , i.e., there is no hardest quadrature problem.     

Characterization of the normal distribution by constant regression of quadratic statistics on linear statistics

This paper contains applications of theorems of [1] for quadratic statistics which have constant regression on linear statistics. Two theorems are proved. The first is a sufficient condition which assumes that the characteristic function of a sample is an entire function. The second gives a new characterization of the normal distribution.