Tractable Partially Ordered Sets Derived from Root Systems and Biased Graphs

We study new posets Q obtained by removing from a geometric lattice L ofa biased graph certain flats indexed by a simplicial complex . (One example of L is the lattice of flats of thevector matroid of a root system B _n .) We study the structureand compute the characteristic polynomial of Q. With certainchoices of L and , including ones for which Q is alattice interpolating between those of B _n and D _n , we observe curious relationships among the roots of thecharacteristic polynomials of Q, L, and .     

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₂.     

Approximation of singularity sets with analytic graphs over the ball in C

Let be a smooth function on the ball in C whose gradient has length less than or equal to 1. We show that if is uniformly near an analytic function on every complex affine one-dimensional slice then it must be near some function analytic on the whole ball. We use this to show the following: a singularity set over the ball which is near the graph of a function with must be near the graph of some analytic function over the ball.

     

Absolute Borel sets and function spaces

An internal characterization of metric spaces which are absolute Borel sets of multiplicative classes is given. This characterization uses complete sequences of covers, a notion introduced by Frolík for characterizing Cech-complete spaces. We also show that the absolute Borel class of is determined by the uniform structure of the space of continuous functions ; however the case of absolute metric spaces is still open. More precisely, we prove that, for metrizable spaces and , if is a uniformly continuous surjection and is an absolute Borel set of multiplicative (resp., additive) class , , then is also an absolute Borel set of the same class. This result is new even if is a linear homeomorphism, and extends a result of Baars, de Groot, and Pelant which shows that the \v{C}ech-completeness of a metric space is determined by the linear structure of .

     

The Gleason theorem for the field of rational numbers and residue fields

Charges taking values in a fieldF and defined on orthomodular partially ordered sets (logics) of all projectors in some finite-dimensional linear space overF are considered. In the cases whereF is the field of rational numbers or a residue field, the Gleason representation , where is a linear operator, is proved.Translated fromMatematicheskie Zametki, Vol. 64, No. 4, pp. 584–591, October, 1998.This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-01265.     

Classification of semispaces according to their types in infinite-dimensional vector spaces

It is shown that each semispaceC X naturally generates a relation of complete preorder onX with respect to which the pair (X C, C) is a cut ofX. By identifying the type of the semispace with the type of the cut generated by this semispace, the semispaces are classified according to their types. The obtained classification extends the classification of semispaces in finite-dimensional vector spaces due to Martinez-Legaz and Singer to infinite-dimensional spaces.Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 191–198, August, 1998.     

Some nearly Boolean orthomodular posets

Let be an orthomodular partially ordered set (``a quantum logic"). Let us say that is nearly Boolean if is set-representable and if every state on is subadditive. We first discuss conditions under which a nearly Boolean OMP must be Boolean. Then we show that in general a nearly Boolean OMP does not have to be Boolean. Moreover, we prove that an arbitrary Boolean algebra may serve as the centre of a (non-Boolean) nearly Boolean OMP.

     

Tauberian theorems and stability of solutions of the Cauchy problem

Let be a bounded, strongly measurable function with values in a Banach space , and let be the singular set of the Laplace transform in . Suppose that is countable and uniformly for , as , for each in . It is shown that

as , for each in ; in particular, if is uniformly continuous. This result is similar to a Tauberian theorem of Arendt and Batty. It is obtained by applying a result of the authors concerning local stability of bounded semigroups to the translation semigroup on , and it implies several results concerning stability of solutions of Cauchy problems.

     

Point Code Minimum Steiner Triple Systems

The point code of a Steiner triple system uniquely determines the system when the number of vectors whose weight equals the replication number agrees with the number of points. The existence of a Steiner triple system with this minimum point code property is established for all v 1,3 (mod 6) with v 15.