A dissipative transformation with a trivial tail-algebra

Summary In [1], an example was given of a measure-preserving dissipative transformation T in a -finite measure space (X, , ), such that T is conservative in the measure space (X, , ) where . Here we shall show that for this transformation we actually have R ={ØX}[].     

An Inequality Involving the Local Eigenvalues of a Distance-Regular Graph

Let denote a distance-regular graph with diameter D 3, valency k, and intersection numbers a _i, b _i, c _i. Let X denote the vertex set of and fix x X. Let denote the vertex-subgraph of induced on the set of vertices in X adjacent X. Observe has k vertices and is regular with valency a ₁. Let _{1 2} ··· _k denote the eigenvalues of and observe ₁ = a ₁. Let denote the set of distinct scalars among ₂, ₃, ..., _k . For let mult denote the number of times appears among ₂, ₃,..., _k . Let denote an indeterminate, and let p ₀, p₁, ...,p _D denote the polynomials in [] satisfying p ₀ = 1 andp _i = c _i+1 p _i+1 + (a _i – c _i+1 + c _i)p _i + b _i p _i–1 (0 i D – 1),where p _–1 = 0. We show where we abbreviate = –1 – b ₁(1+)^–1. Concerning the case of equality we obtain the following result. Let T = T(x) denote the subalgebra of Mat _X ( ) generated by A, E*₀, E*₁, ..., E* _D , where A denotes the adjacency matrix of and E* _i denotes the projection onto the ith subconstituent of with respect to X. T is called the subconstituent algebra or the Terwilliger algebra. An irreducible T-module W is said to be thin whenever dimE* _i W 1 for 0 i D. By the endpoint of W we mean min{i|E* _i W 0}. We show the following are equivalent: (i) Equality holds in the above inequality for 1 i D – 1; (ii) Equality holds in the above inequality for i = D – 1; (iii) Every irreducible T-module with endpoint 1 is thin.     

On complexity of subset interconnection designs

Given a setX and subsetsX ₁,...,X _m, we consider the problem of finding a graphG with vertex setX and the minimum number of edges such that fori=1,...,m, the subgraphG _i; induced byX _i is connected. Suppose that for any pointsx ₁,...,x X, there are at mostX _i 's containing the set {x₁,...,x }. In the paper, we show that the problem is polynomial-time solvable for ( 2, 2) and is NP-hard for (3,=1), (=l,6), and (2,3).Support in part by the NSF under grant CCR-9208913 and CCR-8920505.Part work was done while this author was visiting at DIMACS and on leave from Institute of Applied Mathematics, Chinese Academy of Sciences, Beijing.     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

A characterization of brownian motion in a lipschitz domain by its killing distributions

Let (Y _t, Q^x) be a strong Markov process in a bounded Lipschitz domainD with continuous paths up to its lifetime , and let (X _t, P^x) be a Brownian motion inD. IfY _– exists in D andQ ^x(Y_– C)=P^x(X_– C) for all Borel subsetsC of D and allx, thenY is a time change ofX.     

Conformal assouad dimension and modulus

Let 1 and let (X, d, ) be an -homogeneous metric measure space with conformal Assouad dimension equal to . Then there exists a weak tangent of (X, d, ) with uniformly big 1-modulus.     

On the domain of attraction of an operator between supremum and sum

Summary Between the operations which produce partial maxima and partial sums of a sequenceY ₁,Y ₂, ..., lies the inductive operation:X _n =X _n-1(X _n-1+Y _n ),n1, for 0<<1. If theY _n are independent random variables with common distributionF, we show that the limiting behavior of normed sequences formed from {X _n ,n1}, is, for 0<<1, parallel to the extreme value case =0. ForFD() we give a full proof of the convergence, whereas forFD()D(), we only succeeded in proving tightness of the involved sequence. The processX _n is interesting for some applied probability models.     

Composantes de dimension maximale d'un analogue du lieu de Noether-Lefschetz (Components of Maximal Dimension of an Analogue of the Noether-Lefschetz Locus)

Let X ⁴ be a smooth hypersurface of degree d 5, and let S X be a smooth hyperplane section. Assume that there exists a non trivial cycle Z Pic(X) of degree 0, whose image in CH₁(X) is in the kernel of the Abel–Jacobi map. The family of couples (X, S) containing such Z is a countable union of analytic varieties. We show that it has a unique component of maximal dimension, which is exaclty the locus of couples (X, S) satisfying the following condition: There exists a line S and a plane P ⁴ such that P X = , and Z = – dh, where h is the class of the hyperplane section in CH₁(S). The image of Z in CH₁(X) is thus 0. This construction provides evidence for a conjecture by Nori which predicts that the Abel–Jacobi map for 1–cycles on X is injective.     

On Differences of Semicubical Powers

For X,Y,>0, let and define I ₈(X,Y,) to be the cardinality of the set. In this paper it is shown that, for >0, Y ²/X ³=O(), =O(Y ³/X ³) and X=O (Y ²), one has I ₈(X,Y,)=O(X ² Y ²+X min (X ^{3/2} Y ³, X ^{11/2} Y ^{–1})+X min (^{1/3} X ² Y ³, X ^{14/3} Y ^{1/3})), with the implicit constant depending only on . There is a brief report on an application of this that leads, by way of the Bombieri-Iwaniec method for exponential sums, to some improvement of results on the mean squared modulus of a Dirichlet L-function along a short interval of its critical line.     

Ergodicity of nonlinear first order autoregressive models

Criteria are derived for ergodicity and geometric ergodicity of Markov processes satisfyingX _n+1 =f(X _n )+(X _n ) _n+1 , wheref, are measurable, { _n } are i.i.d. with a (common) positive density,E| _n |>. In the special casef(x)/x has limits, , asx– andx+, respectively, it is shown that <1, <1, <1 is sufficient for geometric ergodicity, and that <-1, 1, 1 is necessary for recurrence.     

Présentations des groupes de Fischer (II)

In this paper we give Coxeter presentation (X, ) for the three Fischer groupsG=Fi₂₂, Fi₂₃, Fi₂₄; we apply methods exposed in the first part. Each of these groups is generated by a class of 3-transpositions (named here a Fischer class) in which elements ofX are chosen. A subset of is the set of all the relations (xy) ^m(x,y)=1, wherex andy are inX and wherem(x,y) means the order ofxy inG. We obtainG as a specified quotient of the Coxeter group (X, ) with the appropriate diagram .     

On unconditional bases in certain Banach function spaces

Let X be a Banach space, L ([0,1])XL ¹([0,1]), with an unconditional basis. By the well-known stability property in X, there exists a unconditional basis {f _n} _m=1 , where f _n in C([0,1]), nN. In this paper, we introduce the notion that X ^*has the singularity property of X ^*at a point t ₀[0,1]. It is proved that if X ^*has the singularity property at a point t ₀ [0,1], then there exists no orthonormal, fundamental system in C([0,1]) which forms an unconditional basis in X.     

Couplings of markov chains by randomized stopping times

Summary We consider a Markov chain on (E, ) generated by a Markov kernel P. We study the question, when we can find for two initial distributions and two randomized stopping times T of (X _n ) _nN and S of ( X _n ) _nN , such that the distribution of X _T equals the one of X _S and T, S are both finite.The answer is given in terms of -, h with h bounded harmonic, or in terms of .For stopping times T, S for two chains ( X _n ) _nN ,( X _n ) _nN we consider measures , on (E, ) defined as follows: (A)=expected number of visits of ( X _n ) toA before T, (A)=expected number of visits of ( X _n ) toA before S.We show that we can construct T, S such that and are mutually singular and ( _v X _T )=( X _S . We relate and to the positive and negative part of certain solutions of the Poisson equation (I-P)(·)=-.     

Ergodic properties of Poisson processes with almost periodic intensity

Summary We discuss in this paper a non-homogeneous Poisson process A driven by an almost periodic intensity function. We give the stationary version A ^* and the Palm version A ⁰ corresponding to A ^*. Let (T _i ,i) be the inter-point distance sequence in A and (T _i ⁰ ,i) in A ⁰. We prove that forj, the sequence (T _i+j,i) converges in distribution to (T _i ⁰ ,i). If the intensity function is periodic then the convergence is in variation.     

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.     

Sooner and later waiting time problems in a two-state Markov chain

LetX ₁,X ₂,... be a time-homogeneous {0, 1}-valued Markov chain. LetF ₀ be the event thatl runs of 0 of lengthr occur and letF ₁ be the event thatm runs of 1 of lengthk occur in the sequenceX ₁,X ₂, ... We obtained the recurrence relations of the probability generating functions of the distributions of the waiting time for the sooner and later occurring events betweenF ₀ andF ₁ by the non-overlapping way of counting and overlapping way of counting. We also obtained the recurrence relations of the probability generating functions of the distributions of the sooner and later waiting time by the non-overlapping way of counting of 0-runs of lengthr or more and 1-runs of lengthk or more.     

Characterization theorem of generalized polynomial of best approximation having bounded coefficients

Let the set of generalized polynomials having bounded coefficients beK={p= _jg_j. _{j j j},j=1, 2, ...,n}, whereg ₁,g ₂, ...,g _n are linearly independent continuous functions defined on the interval [a, b], _j, _j are extended real numbers satisfying _j<+, _j>-, and _{j j}. Assume thatf is a continuous function defined on a compact setX [a, b]. This paper gives the characterization theorem forp being the best uniform approximation tof fromK, and points out that the characterization theorem can be applied in calculating the approximate solution of best approximation tof fromK.     

On recurrence

Summary LetT be a non-singular ergodic automorphism of a Lebesgue space (X,L,) and letf: X be a measurable function. We define the notion of recurrence of such a functionf and introduce the recurrence setR(f)={:f– is recurrent}. If , then R()={0}, but in general recurrence sets can be very complicated. We prove various conditions for a number to lie in R(f) and, more generally, forR(f) to be non-empty. The results in this paper have applications to the theory of random walks with stationary increments.     

Strong normalization of barrecursive terms without using infinite terms

In this paper a new proof of the strong normalization theorem (SN) for barrecursive terms is presented.The proof is based on a syntactical version of Howard's compactness of functionals of finite type (see [T, 2.8.6]). The proofs of Tait [Ta], Luckhardt [L], and Vogel [V] are all based on continuity. These proofs use infinite terms: ifT ₀,T ₁, ... is an infinite sequence of terms of type , then T ₀,T ₁, ... is an infinite term of type (0). The proof below does not make use of infinite terms.     

Some Conditions for a C0-Semigroup to Be Asymptotically Finite-Dimensional

We study the class of bounded C ₀-semigroups T=(T _t ) _t0 on a Banach space X satisfying the asymptotic finite dimensionality condition: codim X ₀(T)<, where X ₀(T):={x X:lim_t T _t x=0}. We prove a theorem which provides some necessary and sufficient conditions for asymptotic finite dimensionality.