Gray codes from antimatroids

We show three main results concerning Hamiltonicity of graphs derived from antimatroids. These results provide Gray codes for the feasible sets and basic words of antimatroids.For antimatroid (E, ), letJ( ) denote the graph whose vertices are the sets of , where two vertices are adjacent if the corresponding sets differ by one element. DefineJ( ;k) to be the subgraph ofJ( )² induced by the sets in with exactlyk elements. Both graphsJ( ) andJ( ;k) are connected, and the former is bipartite.We show that there is a Hamiltonian cycle inJ( )×K ₂. As a consequence, the ideals of any poset % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznf% gDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWFpepuaaa!414C!\[\mathcal{P}\] may be listed in such a way that successive ideals differ by at most two elements. We also show thatJ( ;k) has a Hamilton path if (E, ) is the poset antimatroid of a series-parallel poset.Similarly, we show thatG( )×K ₂ is Hamiltonian, whereG( ) is the basic word graph of a language antimatroid (E, ). This result was known previously for poset antimatroids.Research supported in part by NSERC.Research supported in part by the Natural Sciences and Engineering Research Council of Canada under Grant A3379.     

Completion of an additive measure to a σ-additive measure by an extension of the space

For an algebra of subsets of a set X there is constructed a set and an algebra of its subsets so that the mapping is a one-to-one correspondence between and and for each additive measure on the measure on defined by the equation is countably additive.Translated from Matematicheskie Zametki, Vol. 3, No. 1, pp. 71–76, January, 1968.The author wishes to express his deep appreciation to S. V. Fomin, under whose guidance this paper was written.     

On the dimension of the cartesian product of relations and orders

It is known that for incidence structures and , max , wheref dim stands for Ferrers relation. We shall show that under additional assumptions on and , both bounds can be improved. Especially it will be shown that the square of a three-dimensional ordered set is at least four-dimensional.     

Skew-symmetric derivations of a complex Lie algebra

Let be a complex Lie algebra, its underlying real Lie algebra, a real form of and ·, · the euclidean product induced by the real part of an hermitian inner product on . Let aut be the Lie algebra of skew-symmetric derivations of . We give necessary and sufficient conditions to ensure that aut is composed of skew-hermitian derivations. As an application, we study holomorphy in large subgroups of isometries of Lie groups.     

Commutator-finite orthomodular lattices

The class of orthomodular lattices which have only finitely many commutators is investigated. The following theorems are proved: contains the block-finite orthomodular lattices. Every irreducible element of is simple. Every element of is a direct product of a Boolean algebra and finitely many simple orthomodular lattices. The irreducible elements of which are modular, or are M-symmetric with at least one atom, have height two or less.     

Piecewise projective homeomorphisms and a noncommutative Steinberg extension

Let CP (R) be the group of compactly supported homeomorphisms ofR= which are piecewise with a parabolic defect at each breakpoint. An acyclic extension

Series-parallel posets and relative Ockham lattices

A study is undertaken of order-reversing maps on series-parallel posets and structural characterisations are obtained of various subclasses of such ordered sets. The results are applied to complete the authors' earlier investigation of classes of finite relate lattices, where is a variety of Ockham lattices and the distributive lattice duals of the algebras in are required to be series-parallel.     

Rings of regular functions on nilpotent orbits and their covers

Summary LetG be a complex semisimple algebraic group with Lie algebra . Let be a nilpotentG-orbit, its ring of regular functions. We derive a formula for as aG-module and prove some partial results on a cover of . We then relate this formula to various existing multiplicity formulas forK-types in Harish-Chandra bimodules ofG.Supported by National Science Foundation Grant DMS-8505550     

Transvection free groups and invariants of polynomial tensor exterior algebras

Let :GGl(n, ) be a representation of a finite groupG over a field such that the ring of invariants is a polynomial algebra . It is known that in the nonmodular case (i.e., when the order of the group is not divisible by the characteristic of ), the invariants ofG acting on the tensor product of a polynomial and an exterior algebra are given by ,d denoting the exterior derivative. We show that in the modular case, the ring of invariants in is of this form if and only if is a polynomial algebra and all pseudoreflections in (G) are diagonalizable.     

Completions of orthomodular lattices II

If is a variety of orthomodular lattices generated by a set of orthomodular lattices having a finite uniform upper bound om the length of their chains, then the MacNeille completion of every algebra in again belongs to .The author gratefully acknowledges the support of NSERC.     

Bemerkungen zur Deformationstheorie nichtrationaler Singularitäten

Let be a 1-convex holomorphic mapping between complex spaces resp.S, and let be the blowingdown factorization of over S. We prove in part 1 of the present note: The fiber ^–1(s₀) over a point s₀S is the Remmert quotient of if and only if every holomorphic function on (defined in a neighborhood of the exceptional subvariety of that fiber) can be extended holomorphically to . This is true, for instance, in the case: flat, S reduced at s₀ and dim , =const for all sS. In part 2, we use this result to obtain the following: For any Riemann surface R with genus g2 there exists a 2-dimensional normal complex analytic singularity X such that the minimal resolution of X contains R as exceptional subvariety, and has a deformation over the unit disc S={|s|<1} which can not be blown down to a deformation of X.     

Spectral pictures of Aluthge transforms of operators

In this paper we continue our study, begun in [12], of the relationships between an arbitrary operatorT on Hilbert space and its Aluthge transform . In particular, we show that in most cases the spectral picture ofT coincides with that of , and we obtain some interesting connections betweenT and as a consequence.     

The Martin boundary and completion of Markov chains

Summary In this paper we treat a time-symmetrical Martin boundary theory for continuous parameter Markov chains. This is done by reversing the time sense of a Markov chainX _t in such a way as to obtain a dual Markov chain , and considering the two chains together. Various relations between the Martin exit boundaries and of these processes are studied. The exit boundary of , is in a sense an entrance boundary forX _t and vice versa. After a natural identification of certain points in and one can topologizeI in such a way thatboth X _t and have standard modifications in this space which are right continuous, have left limits, and are strongly Markov.Research supported in part at Stanford University, Stanford, California under AFOSR 0049.     

Lattice Ordered Polynomial Algebras

In this paper we define a lattice order on a set F of binary functions. We then provide necessary and sufficient conditions for the resulting algebra F to be a distributive lattice or a Boolean algebra. We also prove a Cayley theorem for distributive lattices by showing that for every distributive lattice , there is an algebra F of binary functions, such that is isomorphic to F and we show that F is a distributive lattice iff the operations and are idempotent and cummutative, showing that this result cannot be generalized to non-distributive lattices or quasilattices without changing the definitions of and . We also examine the equational properties of an Algebra for which , now defined on the set of binary -polynomials is a lattice or Boolean algebra.     

Homogeneous algebraic varieties defined by Jordan pairs

Every Jordan pair defines an algebraic varietyX containing as a dense open subset.X is projective (affine) if and only if is separable (radical). The Picard group ofX is generated by the irreducible factors of the generic norm of . If is separable then the automorphism group ofX is the projective group of .     

The space of minimal prime ideals in a 0-distributive semilattice

LetS be a 0-distributive semilattice and be its minimal spectrum. It is shown that is Hausdorff. The compactness of has been characterized in several ways. A representation theorem (like Stone's theorem for Boolean algebras) for disjunctive, 0-distributive semilattices is obtained.     

Examples of symplectic structures

Summary In this paper we construct symplectic forms , on a compact manifold which have the same homotopy theoretic invariants, but which are not diffeomorphic.Research partially supported by NSF grant no. DMS 8504355     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

Compound Poisson approximation for unbounded functions on a group,with application to large deviations

Summary A second order error bound is obtained for approximating h d by h d , where is a convolution of measures andQ a compound Poisson measure on a measurable abelian group, and the functionh is not necessarily bounded. This error bound is more refined than the usual total variation bound in the sense that it contains the functionh. The method used is inspired by Stein's method and hinges on bounding Radon-Nikodym derivatives related to . The approximation theorem is then applied to obtain a large deviation result on groups, which in turn is applied to multivariate Poisson approximation.Research of the second author was supported by Schweizerischer Nationalfonds