Cross-cuts in the power set of an infinite set

In the power setP(E) of a setE, the sets of a fixed finite cardinalityk form across-cut, that is, a maximal unordered setC such that ifX, Y E satisfyXY, X someX inC, andY someY inC, thenXZY for someZ inC. ForE=, ₁, and ₂, it is shown with the aid of the continuum hypothesis thatP(E) has cross-cuts consisting of infinite sets with infinite complements, and somewhat stronger results are proved for and ₁.The work reported here has been partially supported by NSERC Grant No. A8054.     

Some extensions of the Hewitt-Savage zero-one law

Summary Let denote the class of infinite product probability measures = ₁× ₂× defined on an infinite product of replications of a given measurable space (X, A), and let denote the subset of for which (A) =0 or 1 for each permutation invariant event A. Previous works by Hewitt and Savage, Horn and Schach, Blum and Pathak, and Sendler (referenced in the paper) discuss very restrictive sufficient conditions under which a given member , of belongs to . In the present paper, the class is shown to possess several closure properties. E.g., if and _{0 n} for some n 1, then ₀× ₁× ₂×.... While the current results do not permit a complete characterization of they demonstrate conclusively that is a much larger subset of than previous results indicated. The interesting special case X={0,1} is discussed in detail.Research supported by the National Science Foundation under grant No. MCS75-07556     

An Example of a Positive Semidefinite Double Sequence Which is Not a Moment Sequence

The first explicit example of a positive semidefinite double sequence which is not a moment sequence was given by Friedrich. We present an example with a simpler definition and more moderate growth as (m, n) .     

A Homotopy 2-Groupoid of a Hausdorff Space

If X is a Hausdorff space we construct a 2-groupoid G ₂ X with the following properties. The underlying category of G ₂ X is the `path groupoid" of X whose objects are the points of X and whose morphisms are equivalence classes f, g of paths f, g in X under a relation of thin relative homotopy. The groupoid of 2-morphisms of G ₂ X is a quotient groupoid X / N X, where X is the groupoid whose objects are paths and whose morphisms are relative homotopy classes of homotopies between paths. N X is a normal subgroupoid of X determined by the thin relative homotopies. There is an isomorphism G ₂ X(f,f) ₂(X, f(0)) between the 2-endomorphism group of f and the second homotopy group of X based at the initial point of the path f. The 2-groupoids of function spaces yield a 2-groupoid enrichment of a (convenient) category of pointed spaces.We show how the 2-morphisms may be regarded as 2-tracks. We make precise how cubical diagrams inhabited by 2-tracks can be pasted.     

Operator stable laws: Series representations and domains of normal attraction

LetX,X ₁,X ₂,... be i.i.d. random vectors in ^d. The limit laws that can arise by suitable affine normalizations of the partial sums,S _n=X ₁+...+X _n, are calledoperator-stable laws. These laws are a natural extension to ^d of the stable laws on. Thegeneralized domain of attraction of [GDOA()] is comprised of all random vectorsX whose partial sums can be affinely normalized to converge to . If the linear part of the affine transformation is restricted to take the formn ^–B for some exponent operatorB naturally associated to thenX is in thegeneralized domain of normal attraction of [GDONA()]. This paper extends the theory of operator-stable laws and their domains of attraction and normal attraction.     

D'Alembert's functional equation on restricted domains

Summary In the class of functionalsf:X , whereX is an inner product space with dimX 3, we study the D'Alembert functional equationf(x + y) + f(x – y) = 2f(x)f(y) (1) on the restricted domainsX ₁ = {(x, y) X ²/x, y = 0} andX ₂ = {(x, y) X ²/x = y}. In this paper we prove that the equation (1) restricted toX ₁ is not equivalent to (1) on the whole spaceX. We also succeed in characterizing all common solutions if we add the conditionf(2x) = 2f²(x) – 1. Using this result, we prove the equivalence between (1) restricted toX ₂ and (1) on the whole spaceX. This research follows similar previous studies concerning the additive, exponential and quadratic functional equations.     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

On the Skitovich–Darmois Theorem for Compact Abelian Groups

Let X be a separable compact Abelian group, Aut(X) the group of topological automorphisms of X, f _n: XX a homomorphism f _n(x)=nx, and X ⁽ⁿ⁾=Im f _n. Denote by I(X) the set of idempotent distributions on X and by (X) the set of Gaussian distributions on X. Consider linear statistics L ₁= ₁( ₁)+ ₂( ₂) and L ₂= ₁( ₁)+ ₂( ₂), where _j are independent random variables taking on values in X and with distributions _j, and _j, _jAut(X). The following results are obtained. Let X be a totally disconnected group. Then the independence of L ₁ and L ₂ implies that ₁, ₂I(X) if and only if X possesses the property: for each prime p the factor-group X/X ^(p) is finite. If X is connected, then there exist independent random variables _j taking on values in X and with distributions _j, and _j, _jAut(X) such that L ₁ and L ₂ are independent, whereas ₁, ₂(X) * I(X).     

Cotype of operators fromC(K)

Summary Forq>2, an operator fromC(K) toX is of cotypeq if and only if it factors through the Lorentz space . Forq=2, ifX is a rearrangement invariant space on [0, 1], the injectionC([0, 1])X is of cotype 2 if and only if it factors through the Lorentz space ; but there is a cotype 2 operator C(K) that does not factor through . If a Banach latticeX satisfies the Orlicz property, any bounded lattice operatorT:C(K)X is of cotype 2. We however construct a Banach lattice with the Orlicz property, but that fails to be of cotype 2.Oblatum 4-VII-1990 & 18-IV-1991Work partially supported by an NSF grant     

Symmetric balanced ternary designs with ϱ1 = 1 or 2

Summary We prove the following two non-existence theorems for symmetric balanced ternary designs. If ₁ = 1 and 0 (mod 4) then eitherV = + 1 or 4₂ – + 1 is a square and (4₂ – + 1) divides ² – 1. If ₁ = 2 thenV = ((m + 1)/2) ² + 2,K = (m ² + 7)/4 and = ((m – 1)/2)² + 1 wherem 3 (mod 4). An example belonging to the latter series withV = 18 is constructed.     

Groups acting simply transitively on the vertices of a building of typeà 2, II: The casesq=2 andq=3

If (P, L) is a projective plane and is a triangle presentation compatible with a point-line correspondence :P L, then gives rise to a group and a thick building of typeà ₂ on the vertices of which acts simply transitively. We find all triangle presentations (up to natural equivalence) compatible with some point-line correspondence :P L, when (P, L) is the projective plane of orderq=2 orq=3. For some, but not all, of these , is isomorphic to the building associated withG=PGL(3,K) whereK is a local field with discrete valuation and residual field of orderq. We identify the for which this is the case, and in these cases, find embeddings of intoG. We also describe the arithmetic nature of these groups.     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

Formulating Measure Differential Inclusions in Infinite Dimensions

Measure differential inclusions were introduced by J. J. Moreau to study sweeping processes, and have since been used to study rigid body dynamics and impulsive control problems. The basic formulation of an MDI is d / d (t) K(t) where is a vector measure, an unsigned measure, and K() is a set-valued map with closed, convex values and is hemicontinuous. Note that need not be absolutely continuous with respect to . Stewart extended Moreau's original concept (which applied only to cone-valued K()) to general convex sets, and gave strong and weak formulations of d / d (t) K(t) where K(t) R ⁿ . Here the strong and weak formulations of Stewart are extended to infinite-dimensional problems where K(t) X where X is a separable reflexive Banach space; they are shown to be equivalent under mild assumptions on K().     

Almost Fredholm operators in von Neumann algebras

LetA be a von Neumann algebra,J be the ideal of compact operators relative toA and letF ₊ be the left-Fredholm class ofA. We call almost left-Fredholm the class = {A A: if P A is a projection and AP J then P J}. Then and the inclusion is proper unlessA is semifinite and has a non-large center. satisfies all of the algebraic properties ofF ₊ but it is generally not open. IfA is semifinite then A iff there are central projectionsG with G = I such that AG F₊(AG). Let :A A/J. Then the left almost essential spectrum ofA A, , coincides with the set of eigenvalues of (A)     

Birth times,death times and time substitutions in Markov chains

Summary Given a Markov chain (X _n ) _n0, random times are studied which are birth times or death times in the sense that the post- and pre- processes are independent given the present (X _–1, X ) at time and the conditional post- process (birth times) or the conditional pre- process (death times) is again Markovian. The main result for birth times characterizes all time substitutions through homogeneous random sets with the property that all points in the set are birth times. The main result for death times is the dual of this and appears as the birth time theorem with the direction of time reversed.Part of this work was done while the author was visiting the Department of Mathematics, University of California at San DiegoThe support of The Danish Natural Science Research Council is gratefully acknowledged     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

über straffe Wahrscheinlichkeitsverteilungen im Raum der Schwartzschen Distributionen

Zusammenfassung In den letzten Jahren erschien eine Reihe von Arbeiten, die sich systematisch mit Wahrscheinlichkeitsverteilungen auf topologischen Gruppen, Halbgruppen, topologischen RÄumen und topologischen linearen RÄumen beschÄftigten. Als besonders geeignet für eine topologische Wahrscheinlichkeitstheorie erwiesen sich hierbei die sogenannten straffen (tight) Wahrscheinlichkeitsverteilungen (vgl. Le Cam [3], Hildenbrand [11], Prochoeov [20], Varadarajan [25]).Die vorliegende Arbeit befa\t sich mit straffen Wahrscheinlichkeitsverteilungen im Raum D, dem topologischen Dualraum des Raumes D der auf der reellen Zahlengeraden definierten beliebig oft differenzierbaren Funktionen mit kompaktem TrÄger Tr .Der Ausgangspunkt für die Untersuchung von Zufallselementen mit Werten in linearen RÄumen, die nicht notwendig BanachrÄume sind, war wohl der von GELFAND [8] eingeführte Begriff des verallgemeinerten stochastischen Prozesses (VSP). Solange man bei einem solchen Proze\ Eigenschaften untersucht, die sich mit Hilfe seiner endlichdimensionalen Randverteilungen Q_{1,...,n}, _i D, beschreiben lassen, wird man sich wie im Fall eines gewöhnlichen stochastischen Prozesses natürlich die Frage stellen, ob ein geeigneter Standard-stichprobenraum existiert, etwa der Raum D, so da\ sich jeder VSP auffassen lÄ\t als Wahrscheinlichkeitsverteilung auf einem geeigneten hinreichend umfangreichen -Ring von Teilmengen des Raumes D. Die fundamentale Arbeit von MINLOS [18] gab hierzu die Lösung: Durch ein vertrÄgliches System endlichdimensionaler Wahrscheinlichkeitsverteilungen Q_{1,...,n}, _i D, mit gewissen Eigenschaften, die denen der Randverteilungen eines VSP entsprechen, lÄ\t sich auf dem SystemB der Zylindermengen des Raumes D eine sogenannte schwache Verteilung definieren, von der gezeigt wird, da\ sie -additiv ist. Durch EinschrÄnkung des Raumes der sogenannten Testfunktionen auf den metrisierbaren Teilraum D _K{ D:Tr K, K kompakt in } von D lÄ\t sich dieses Ergebnis wie folgt verschÄrfen: Die durch ein vertrÄgliches System endlichdimensionaler Randverteilungen Q_{1,...,n}, _i D, mit entsprechenden Eigenschaften, auf dem System B _K der Zylindermengen des Raumes D_K definierte schwache Verteilung K ist straff bezüglich der schwachen Topologie (D_K, D_K) in D_K.Die Frage nach der Gültigkeit einer entsprechenden VerschÄrfung für das Dualsystem >DD<, bzw. allgemeiner für ein Dualsystem E, F mit nicht notwendig metrisierbarem F, bildete den Gegenstand neuerer Untersuchungen, über deren Ergebnisse auf dem letzten Berkeley Symposium E. Mourier berichtete (vgl. [19]).Im ersten Kapitel der vorliegenden Arbeit des Verfassers wird demgegenüber eine Methode aufgezeigt, mit deren Hilfe, unter Verwendung des Minlosschen Satzes in seiner ursprünglichen Form, auf direktem Wege für das Dualsystem >D, D< der Nachweis gelingt, da\ eine schwache Verteilung auf B nicht nur -additiv, sondern automatisch straff ist (bzgl. der schwachen Topologie (D, D) in D) und sich somit eindeutig fortsetzen lÄ\t zu einer straffen Wahrscheinlichkeitsverteilung auf dem System 83 der Boreischen Mengen in D, welches den von den Zylindermengen erzeugten -Ring (B) umfa\t. Mit anderen Worten wird damit gezeigt, da\ man jeden VSP auffassen kann als straffe Wahrscheinlichkeitsverteilung auf den Boreischen Mengen in D. Wir sprechen dann auch von einer zufÄlligen Distribution.Im zweiten Kapitel betrachten wir spezielle zufÄllige Distributionen, nÄmlich Normal-verteilungen v, die aus Randverteilungen hervorgehen, welche n-dimensionale Normal-verteilungen sind, und beschÄftigen uns mit dem Problem der Äquivalenz und SingularitÄtzweier Normalverteilungen v₁ und v₂ in D. Für den Fall v₁ = v, v₂= v_{f 0}, wo v_{f 0}(Z) =v(Z – f₀), ZB fD, zeigte DUDLEY [6], da\ entweder Äquivalenz oder SingularitÄt vorliegt, wobei er ein notwendiges und hinreichendes Kriterium für den Fall der Äquivalenz angibt. Aus der Theorie der gewöhnlichen stochastischen Prozesse ist nun bekannt, da\ die beiden Wahrschein-lichkeitsma\e, die zwei beliebigen Gau\schen Prozessen auf dem Raum ihrer Realisierungen entsprechen, entweder Äquivalent oder singular sind. Es lag deshalb nahe, nach einem Kriterium zu suchen, welches es einerseits gestattet, im Fall zweier beliebiger Normalverteilungen v₁ und v₂ in D zu entscheiden, wann Äquivalenz vorliegt, und welches andererseits die naheliegende Vermutung bestÄtigt, da\ für zwei Normalverteilungen in D dieselbe Alternative wie im eben zitierten klassischen Fall vorliegt. Dieses Problem wird gelöst, indem wir zeigen, da\ sich ein von Kallianfur-Oodaira [13] aufgestelltes Kriterium für die Äquivalenz zweier Normalverteilungen auf den Boreischen Mengen eines separablen Hilbertraumes auf den Distributionsraum D übertragen lÄ\t.Im dritten Kapitel beschÄftigen wir uns mit der Frage der Äquivalenz zweier beliebiger (nicht notwendig normaler) Wahrscheinlichkeitsverteilungen in D.Abschlie\end möchte der Autor Herrn Professor Dr. K. Krickeberg (Heidelberg) für die Anregung zu dieser Arbeit sowie für die Unterstützung wÄhrend ihrer Durchführung herzlich danken.     

Brownian charges around loops

Summary Let (X _t ⁿ ) be a Poisson sequence of independent Brownian motions in ^d ,d3; Let be a compact oriented submanifold of d, of dimensiond–2 and volume ; let t be the sum of the windings of (X _s ⁿ , 0st) around ; then t/t converges in law towards a Cauchy variable of parameter /2. A similar result is valid when the winding is replaced by the integral of a harmonic 1-form in ^d .     

Moyennes uniformes et moyennes suivant une marche aléatoire

Summary Let be a bounded function on such that converges towards l as n goes to infinity, uniformly with respect to m. Let {X _n} be a random walk on , not concentrated on a proper subgroup of Then, with probability 1, converges towards l as n goes to infinity. The result also holds for any countable abelian group instead of . Other modes of convergence are considered (Cesaro convergence of order >1/2). The Cesaro convergence of expressions such that (X _n) (X _n+1) is also investigated.     

Weakly isomorphic transformations that are not isomorphic

Summary A new method for construction of transformations T _i: (X _i, B _i, _i) , i=1,2, that are factors of each other but that are not measuretheoretically isomorphic is provided. This method uses ergodic product cocycles of the form S ⁱ ₁xS ⁱ ₂x...,, where : XZ ₂ is a cocycle, S belongs to the centralizer of T and T is an ergodic translation on a compact, monothetic group X.