Coloring mixed hypertrees

A mixed hypergraph is a triple (V,C,D) where V is its vertex set and C and D are families of subsets of V, called C-edges and D-edges, respectively. For a proper coloring, we require that each C-edge contains two vertices with the same color and each D-edge contains two vertices with different colors. The feasible set of a mixed hypergraph is the set of all k's for which there exists a proper coloring using exactly k colors. A hypergraph is a hypertree if there exists a tree such that the edges of the hypergraph induce connected subgraphs of the tree.We prove that feasible sets of mixed hypertrees are gap-free, i.e., intervals of integers, and we show that this is not true for precolored mixed hypertrees. The problem to decide whether a mixed hypertree can be colored by k colors is NP-complete in general; we investigate complexity of various restrictions of this problem and we characterize their complexity in most of the cases.     

Comparison theorems for weak splittings of bounded operators

Summary Comparison theorems for weak splittings of bounded operators are presented. These theorems extend the classical comparison theorem for regular splittings of matrices by Varga, the less known result by Wonicki, and the recent results for regular and weak regular splittings of matrices by Neumann and Plemmons, Elsner, and Lanzkron, Rose and Szyld. The hypotheses of the theorems presented here are weaker and the theorems hold for general Banach spaces and rather general cones. Hypotheses are given which provide strict inequalities for the comparisons. It is also shown that the comparison theorem by Alefeld and Volkmann applies exclusively to monotone sequences of iterates and is not equivalent to the comparison of the spectral radius of the iteration operators.This work was supported by the National Science Foundation grants DMS-8807338 and INT-8918502     

First passage percolation: The stationary case

Summary If the passage time of the edges of the ^d lattice are stationary, ergodic and have finite moment of orderp>d, then a.s. the set of vertices that can be reached within timet, has an asymptotic shape ast.     

G-invariante Morse-funktionen

If f is a Morse function on a smooth manifold M there exists a homotopy equivalence from M to a CW complex X such that the critical points of f with index are in a one-one correspondence to the -cells of X. In the equivariant case, a similar result holds for a special type of invariant Morse functions. In this paper we prove the existence of such special invariant Morse functions on compact smooth G-manifolds. As a consequence, any compact smooth G-manifold is homotopy equivalent to a G-CW complex. Other applications deal with the Euler number of the fixed point set and Morse inequalities in equivariant homology theory.     

Multiple ergodic theorems

Given measure preserving transformationsT ₁,T ₂,...,T _s of a probability space (X,B, μ) we are interested in the asymptotic behaviour of ergodic averages of the form $$\frac{1}{N}\sum\limits_{n = 0}^{N - 1} {T_1^n f_1 \cdot T_2^n f_2 } \cdot \cdots \cdot T_s^n f_s $$ wheref ₁,f ₂,...,f _s ?L ^∞(X,B,μ). In the general case we study, mainly for commuting transformations, conditions under which the limit of (1) inL ²-norm is ∫ _x f ₁ dμ·∫ _x f ₂ dμ...∫ _x f _s dμ for anyf ₁,f ₂...,f _s ?L ^∞(X,B,μ). If the transformations are commuting epimorphisms of a compact abelian group, then this limit exists almost everywhere. A few results are also obtained for some classes of non-commuting epimorphisms of compact abelian groups, and for commuting epimorphisms of arbitrary compact groups.     

ℤ/k-manifolds and families of Dirac operators

Summary The index of a family of a family of Dirac operators is aK-Theory element in the parameter space. Sullivan's/k-manifolds are used to detect this index completely. For the first Chern class this gives a topological interpretation of Witten's global anomaly. The relationship with the geometry of the index bundle is considered.To my teacher Isadore M. SingerThe author is partially supported by an NSF Postdoctoral Research Fellowship