Recurrent and sweep-out sets for Markov processes

LetP be a Markov process on a probability space (X, ,m). Roughly speaking, a sweep-out set is a set which is reached with probability 1 under the action of the process form-almost all starting points. Obviously, in a finite state space no sweep-out sets of arbitrary small measure exist. The authors show that in general arbitrary small sweep-out sets exist, unless there is an invariant subset of the state space on which the process behaves as on a finite state space. Moreover, if there exist arbitrary small sweep-out sets and if is countably generated, then there exists an algebra of sweepout sets generating . The main tool to obtain these results is the use of embedded processes. Some properties of these processes are collected, and as a side-result a short and elementary proof of the decomposition theorem ofE. Hopf of the state space in a conservative and a dissipative part is given.     

On the Ershov Upper Semilattice

We find some links between -reducibility and T-reducibility. We prove that (1) if a quasirigid model is strongly -definable in a hereditarily finite admissible set over a locally constructivizable B-system, then it is constructivizable; (2) every abelian p-group and every Ershov algebra is locally constructivizable; (3) if an antisymmetric connected model is -definable in a hereditarily finite admissible set over a countable Ershov algebra then it is constructivizable.     

4-Dimensional compact projective planes with small nilradical

We consider 4-dimensional compact projective planes with a solvable 6-dimensional collineation group and with orbit type (2, 1), i.e. fixes a flagv W, acts transitively onL \{W} and fixes no point in the setW\{v}. We We prove a series of lemmas concerning the action of invariant subgroups of . These lemmas are applied to prove that the maximal connected nilpotent invariant subgroup of has dimension at least 4.Dedicated to Prof. H. Salzmann on the occasion of his 65th birthday     

Spin Spaces, Lipschitz Groups, and Spinor Bundles

It is shown that every bundle M of complex spinormodules over the Clifford bundle Cl(g) of a Riemannian space(M, g) with local model (V, h)is associated with an lpin(Lipschitz) structure on M, this being a reduction of theO(h)-bundle of all orthonormal frames on M to the Lipschitzgroup Lpin(h) of all automorphisms of a suitably defined spinspace. An explicit construction is given of the total space of theLpin(h)-bundle defining such a structure. If the dimension mof M is even, then the Lipschitz group coincides with the complexClifford group and the lpin structure can be reduced to a pin _c structure. If m = 2n – 1, then a spinor module on M is of the Cartan type: its fibres are 2 _n -dimensional anddecomposable at every point of M, but the homomorphism of bundlesof algebras Cl(g) End globally decomposes if, andonly if, M is orientable. Examples of such bundles are given. Thetopological condition for the existence of an lpin structure on anodd-dimensional Riemannian manifold is derived and illustrated by theexample of a manifold admitting such a structure, but no pin _c structure.     

Stochastic bounds on distributions of optimal value functions with applications to pert,network flows and reliability

In various network models the quantities of interest are optimal value functions of the form max X _i , min X _i , min maxX _i , max minX _i , where the inner operation is on the nodes of a path/cut and the outer operation on all paths/cuts, e.g. shortest path of a project network, maximal flow of a flow network or lifetime of a reliability system. ForX _i random with given marginal distributions, we obtain bounds for the optimal value functions, based on common and on antithetic joint distributions.This work was carried out during a visit to RWTH Aachen, supported by DAAD.     

Spreads admitting net generating regulizations

We say a spread S carries a regulization , if is a collection of reguli contained in S and if each element of S, except at most two lines, is contained either in exactly one regulus of or in all reguli of . Replacement of each regulus of by its complementary regulus (exceptional lines remain unchanged) yields the complementary congruence S^c of S with respect to . If S^c is a hyperbolic or parabolic or elliptic linear congruence of lines, then is called a net generating, in particular, a hyperbolic or parabolic or elliptic regulization, respectively. For hyperbolic and parabolic regulizations we also give other geometric characterizations.     

Covering a Finite Abelian Group by Subset Sums

Let G be an abelian group of order n. The critical number c(G) of G is the smallest s such that the subset sums set (S) covers all G for eachs ubset SG\{0} of cardinality |S|s. It has been recently proved that, if p is the smallest prime dividing n and n/p is composite, then c(G)=|G|/p+p–2, thus establishing a conjecture of Diderrich.We characterize the critical sets with |S|=|G|/p+p–3 and (S)=G, where p3 is the smallest prime dividing n, n/p is composite and n7p²+3p.We also extend a result of Diderrichan d Mann by proving that, for n67, |S|n/3+2 and S=G imply (S)=G. Sets of cardinality for which (S) =G are also characterized when n183, the smallest prime p dividing n is odd and n/p is composite. Finally we obtain a necessary and sufficient condition for the equality (G)=G to hold when |S|n/(p+2)+p, where p5, n/p is composite and n15p².* Work partially supported by the Spanish Research Council under grant TIC2000-1017 Work partially supported by the Catalan Research Council under grant 2000SGR00079     

The exact density function of the ratio of two dependent linear combinations of chi-square variables

A computable expression is derived for the raw moments of the random variableZ=N/D whereN= ₁ ⁿ m _iX_i+ _n ^+1s m _iX_i,D= _n ^+1s l _iX_i+ _s ^+1r n _iX_i, and theX _i's are independently distributed central chi-square variables. The first four moments are required for approximating the distribution ofZ by means of Pearson curves. The exact density function ofZ is obtained in terms of sums of generalized hypergeometric functions by taking the inverse Mellin transform of theh-th moment of the ratioN/D whereh is a complex number. The casen=1,s=2 andr=3 is discussed in detail and a general technique which applies to any ratio having the structure ofZ is also described. A theoretical example shows that the inverse Mellin transform technique yields the exact density function of a ratio whose density can be obtained by means of the transformation of variables technique. In the second example, the exact density function of a ratio of dependent quardratic forms is evaluated at various points and then compared with simulated values.     

Subgroups generated by root-elements of groups generated byk-root subgroups

LetG be a Chevalley group over the fieldk and the class of long root subgroups ofG or an abstract group generated by a class of k-root subgroups. Then elements ofA, A are called root-elements. This paper is concerned with the question, whether a subgroupU ofG generated by root-elements is already generated byl-root subgroups,l a subfield ofk. Especially if it is shown that this is the case, whenU is a fixpoint subgroup under some set of automorphisms.     

Combinatorial principles concerning approximations of functions

Two infinite combinatorial principlesP( _n ) andT( _n ) concerning the existence of approximations of functions are studied.T( _n ) is shown to be equivalent toI _n andP( _n ) is shown to be incomparable withB _n+1 . Finally Pudláks principle, which is a finite miniaturization of bothT andP, is studied and its instances are related to instances of other known combinatorial statements.This paper was completed in September 1985 when the second author was a guest of the Mathematical Institute of the Czechoslovak Academy of Science in Prague.     

Perversité et variation

Let S be the spectrum of a strictly henselian discrete valuation ring with residue characteristic p and =/, where is a prime number p and is an integer 1. For a scheme X of finite type over S and smooth over S along the special fiber X _s outside a closed point x, we study the vanishing cycles complex R() and the tame variation , for in the tame inertia group I _t . In particular, we show that if X is regular, flat over S of relative dimension n1, and is a topological generator of I _t , then R ^q () _x =0 for qn and is an isomorphism. Mathematics Subject Classification (2000):14F20, 14D05, 14D06     

G-Covering Systems of Subgroups for Classes of p-Supersoluble and p-Nilpotent Finite Groups

Let be a class of groups. Given a group G, assign to G some set of its subgroups =(G). We say that is a G-covering system of subgroups for (or, in other words, an -covering system of subgroups in G) if G whenever either =Ø or Ø and every subgroup in belongs to . We find the systems of subgroups in the class of finite soluble groups G which are simultaneously the G-covering systems of subgroups for the classes of p-supersoluble and p-nilpotent groups.     

Zur Möbiusgeometrie über Alternativkörpern

Zusammenfassung Möbiusgeometrien (K, L) über nicht notwendig kommutativen KörpernKL – eine Definition dieser Geometrien findet man in [1] — sind Verallgemeinerungen der Geometrie der Kreise auf der Riemannschen Zahlenkugel (K=,L=). In der vorliegenden Note wollen wir, unter Verzicht auf die Assoziativität vonL, Möbiusgeometrien auch für den Fall betrachten, woK ein im Zentrum des AlternativkörpersL enthaltener Körper ist, und (in Abschnitt 2) die Gruppe der Kreisverwandtschaften von (K, L) angeben. Dabei benutzen wir, anders als in [1] und [5], nur den Doppelverhältniskalkül, den wir gleichwertig zu der von A. Schleiermacher in [6] vorgeschlagenen Verallgemeinerung für kollineare Punkte einer Moufarigebene definieren. Es ergibt sich damit ein neuer Beweis des Satzes über Kettenverwandtschaften von (K, L) auch im assoziativen Fall. Die Verwendung von Doppelverhältnissen beim Beweis — auch bei charL=2-wird insbesondere durch das in Abschnitt 2 bewiesene Lemma (2.4) (Verallgemeinerung des sog. von Staudtschen Theorems; vgl. [2], [3]) ermöglicht.     

On Norden Metrics which Are Locally Conformal to Anti-Kählerian Metrics

We build examples of Norden metrics on × S ¹, where R ^{2 n} _n is either a pseudosphere or a pseudohyperbolic space. These turn out to be locally conformal to flat anti-Kählerian metrics, strongly non anti-Kählerian, and with a parallel Lee form. Conversely, any connected complete anti-Hermitian manifold possessing these properties is shown to be locally analytically homothetic to × S ¹.     

Proper 2-Covers of PG(3,q), q Even

A k-cover of =PG(3q) is a set S of lines of such that every point is on exactly k lines of S. S is proper if it contains no spread. The existence of proper k-covers of is necessary for the existence of maximal partial packings of q ²+q+1–k spreads of . Here we give the first construction of proper 2-packings of PG(3,q) with q even; for q odd these have been constructed by Ebert.     

Entropy loss and risk of improved estimators for the generalized variance and precision

Let the distributions of X(p×r) and S(p×p) be N(, I _r) and W _p(n, ) respectively and let them be independent. The risk of the improved estimator for || or {ei329-1} based on X and S under entropy loss (=d/|| –log(d/||)–1 or d||–log(d||)–1) is evaluated in terms of incomplete beta function of matrix argument and its derivative. Numerical comparison for the reduction of risk over the best affine equivariant estimator is given.Dedicated to Professor Yukihiro Kodama on his 60th birthday.     

Necessary convergence conditions for series ΣαnSn in the case of identically distributed independent random quantities

Necessary (in some cases also sufficient) conditions are obtained for convergence of the series a _n S _n whereS _n = ₁ ⁿ _k k are independent random quantities. The cases in which k are symmetrical or identically distributed quantities are investigated in more detail.Translated from Matematicheskie Zametki, Vol. 20, No. 4, pp. 529–536, October, 1976.     

Σ-Subsets of Natural Numbers

It is shown that the class of all possible families of -subsets of finite ordinals in admissible sets coincides with a class of all non-empty families closed under e-reducibility and . The construction presented has the property of being minimal under effective definability. Also, we describe the smallest (w.r.t. inclusion) classes of families of subsets of natural numbers, computable in hereditarily finite superstructures. A new series of examples is constructed in which admissible sets lack in universal -function. Furthermore, we show that some principles of classical computability theory (such as the existence of an infinite non-trivial enumerable subset, existence of an infinite computable subset, reduction principle, uniformization principle) are always satisfied for the classes of all -subsets of finite ordinals in admissible sets.     

Cyclic Group Actions on 4-Manifolds

Let X be a closed, oriented Riemannian 4-manifold. Suppose that a cyclic group Z( _p (p is prime) acts on X by an orientation preserving isometry with an embedded Riemann surface as fixed point set. We study the representation of Z _p on the Spin^c-bundles and the Z _p-invariant moduli space of the solutions of the Seiberg–Witten equations for a Spin^c-structure X. When the Z _p action on the determinant bundle det L acts non-trivially on the restriction L| over the fixed point set , we consider -twisted solutions of the Seiberg-Witten equations over a Spin^c-structure ' on the quotient manifold X/Z _p X', (0,1). We relate the Z _p -invariant moduli space for the Spin^c-structure on X and the -twisted moduli space for the Spin^c-structure on X'. From this we induce a one-to-one correspondence between these moduli spaces and calculate the dimension of the -twisted moduli space. When Z _p acts trivially on L|, we prove that there is a one-to-one correspondence between the Z _p -invariant moduli space M( ^Zp and the moduli space M (") where ' is a Spin^c-structure on X' associated to the quotient bundle L/Z _p X'. vskip0pt When p = 2, we apply the above constructions to a Kahler surface X with b ₂ ⁺ (X) > 3 and H ₂(X;Z) has no 2-torsion on which an anti-holomorphic involution acts with fixed point set , a Lagrangian surface with genus greater than 0 and []2H ₂(H ;Z). If _K ^X 2 > 0 or K _X ² = 0 and the genus g()> 1, we have a vanishing theorem for Seiberg–Witten invariant of the quotient manifold X'. When K _X ² = 0 and the genus g()= 1, if there is a Z ²-equivariant Spin^c-structure on X whose virtual dimension of the Seiberg–Witten moduli space is zero then there is a Spin^c-structure " on X' such that the Seiberg-Witten invariant is ±1.