AC 1 expanding map of the circle which is not weak-mixing

In this paper, we construct an example of aC ¹ expanding map of the circle which preserves Lebesgue measure such that the system is ergodic, but not weak-mixing. This contrasts with the case ofC ^1+ε maps, where any such map preserving Lebesgue measure has a Bernoulli natural extension and hence is weak-mixing.     

Bernoulliflows over maps of the interval

We consider special flowsT′ built over shift automorphismϕ with a Holder function. We introduce two properties forϕ (R and WM) s.t. weak-mixing forT′ impliesK ifϕ is R and it implies Bernoulliness ifϕ is WM. We apply this to maps of the interval to show that for the Lorentz Attractor Flow with a natural measure weak-mixing implies Bernoulliness. Research partially supported by NSF Grant MCS74-19388.A01 and the Sloan Foundation.     

Unique ergodicity of flows on homogeneous spaces

LetG be a unimodular Lie group, Γ a co-compact discrete subgroup ofG and ‘a’ a semisimple element ofG. LetT _a be the mapgΓ →ag Γ:G/Γ →G/Γ. The following statements are pairwise equivalent: (1) (T _a, G/Γ,θ) is weak-mixing. (2) (T _a, G/Γ) is topologically weak-mixing. (3) (G ^u, G/Γ) is uniquely ergodic. (4) (G ^u, G/Γ,θ) is ergodic. (5) (G ^u, G/Γ) is point transitive. (6) (G ^u, G/Γ) is minimal. If in additionG is semisimple with finite center and no compact factors, then the statement “(T _a, G/Γ,θ) is ergodic” may be added to the above list. The authors were partially supported by NSF grant MCS 75-05250.     

Mixing examples in the class of piecewise monotone and continuous maps of the unit interval

A process (T, P) is said to have the “ ” property if there is a uniform, positive lowerbound δ on the separation between theT-P names of (almost) every pair of pointsx≠y. A finite group rotation with partition into distinct points provides a trivial example. Given any process having the property we show that there exists a Bernoulli shiftB so thatT×B is measurably isomorphic to the natural extension of a piecewise monotone, continuous, and expanding map of the unit interval. This construction is applied to produce interval maps which are ergodic but not weak-mixing, weak-mixing but not mixing, and mixing but not exact with respect to their unique absolutely continuous invariant measures, in contrast with the results known for piecewiseC ^1+∈ expansive interval maps. In obtaining these examples we identify a number of nontrivial classes of automorphismsT which admit processes having the property. Supported by NSERC grant OGP0046586 90.     

Ergodicity and weak-mixing of homogeneous extensions of measure-preserving transformations with applications to Markov shifts

Given a homogeneous extensionS of a measure-preserving transformationT, we provide necessary and sufficient conditions for the ergodicity and weak-mixing ofS in terms of functional equations. We then apply our findings to the case whenT is a Markov shift and the associated skewing function ofS depends on a finite number of coordinates. In this case, we obtain a simplification to the appropriate functional equations.     

Invariant Gaussian measures for operators on Banach spaces and linear dynamics

We give conditions for an operator T on a complex separableBanach space X with sufficiently many eigenvectors associatedto eigenvalues of modulus 1 to admit a non-degenerate invariantGaussian measure with respect to which it is weak-mixing. Theexistence of such a measure depends on the geometry of the Banachspace and on the possibility of parametrizing the -eigenvectorfields of T in a regular way. We also investigate the connectionwith frequent hypercyclicity.     

Weak-mixing implies sensitive dependence

Let X be a metric space, B the σ-algebra of Borel subsets of X, and μ a probability measure on (X,B). In this note, for a measure-preserving map T (respectively a measure-preserving semi-flow φ) on (X,B,μ), we prove that if suppμ=X, and T (respectively φ) is weak-mixing, then T (respectively φ) has sensitive dependence.     

Representation-Directed Incidence Coalgebras of Intervally Finite Posets and the Tame-Wild Dichotomy

Incidence coalgebras C = K ^□ I of intervally finite posets I that are representation-directed are characterized in the article, and the posets I with this property are described. In particular, it is shown that the coalgebra C = K ^□ I is representation-directed if and only if the Euler quadratic form q _C : ?^(I) → ? of C is weakly positive. Every such a coalgebra C is tame of discrete comodule type and gl. dimC ≤ 2. As a consequence, we get a characterization of the incidence coalgebras C = K ^□ I that are left pure semisimple in the sense that every left C-comodule is a direct sum of finite dimensional subcomodules. It is shown that every such coalgebra C = K ^□ I is representation-directed and gl. dimC ≤ 2. Finally, the tame-wild dichotomy theorem is proved, for the coalgebras K ^□ I that are right semiperfect.     

On an extension of a theorem on conjugacy class sizes

Let G be a finite group. We extend Alan Camina’s theorem on conjugacy classes sizes which asserts that if the conjugacy classes sizes of G are {1, p ^a , q ^b , p ^a q ^b }, where p and q are two distinct primes and a and b are integers, then G is nilpotent. We show that let G be a group and assume that the conjugacy classes sizes of elements of primary and biprimary orders of G are exactly {1, p ^a , n,p ^a n} with (p, n) = 1, where p is a prime and a and n are positive integers. If there is a p-element in G whose index is precisely p ^a , then G is nilpotent and n = q ^b for some prime q ≠ p.     

Generalized Kripke semantics for Nelson’s logic

A completeness theorem for logics N4 ^N and N3⁰ is proved. A characterization by classes of N4 ^N - and N3⁰-models is presented, and it is proved that all logics of four types η(L), η ³(L), η ⁿ (L), and η ⁰(L) are Kripke complete iff so are their respective intuitionistic fragments L. A generalized Kripke semantics is introduced, and it is stated that such is equivalent to an algebraic semantics. The concept of a p-morphism between generalized frames is defined and basic statements on p-morphisms are proved.     

Symmetric Weighing Matrices Constructed using Group Matrices

A weighing matrix of order n and weight m² is a square matrix M of order n with entries from {-1,0,+1} such that MM^T=m²I where I is the identity matrix of order n. If M is a group matrix constructed using a group of order n, M is called a group weighing matrix. Recently, group weighing matrices were studied intensively, especially when the groups are cyclic and abelian. In this paper, we study the abelian group weighing matrices that are symmetric, i.e.M^T=M. Some new examples are found. Also we obtain a few exponent bounds on abelian groups that admit symmetric group weighing matrices. In particular, we prove that there is no symmetric abelian group weighing matrices of order 2p^r and weight p² where p is a prime and p≥ 5.Communicated by: K.T. Arasu     

A semi-discretization method based on quartic splines for solving one-space-dimensional hyperbolic equations

In this paper, based on C³ quartic splines, a semi-discretization method containing two schemes is constructed to solve one-space-dimensional linear hyperbolic equations. It is shown that both schemes are unconditionally stable and their approximation orders are of O(k⁵+h⁴) and of O(k⁷+h⁴) with k and h being step sizes in time and space, respectively, which are much higher than those of other published schemes. A numerical example is presented and the results are compared with other published numerical results.     

On R*-sequenceability and symmetric harmoniousness of groups

We introduce a special harmoniousness called symmetric harmoniousness of groups and extend the R^*-sequenceability of abelian groups to nonabelian groups. We prove that the direct product of an R^*-sequenceable group of even order with a symmetric harmonious group of odd order is R^*-sequenceable. Examples of nonabelian R^*-sequenceable groups and nonabelian symmetric harmonious groups are given. It is shown that the nonabelian groups of order 3q (q prime) are symmetric harmonious. © 1994 John Wiley & Sons, Inc.     

Commutativity for a Certain Class of Rings

We first establish the commutativity for the semiprime ring satisfying [x ⁿ , y]x ^r = ±y ^s[x, y ^m]y ^t for all x, y in R, where m, n, r, s, and t are fixed non-negative integers, and further, we investigate the commutativity of rings with unity under some additional hypotheses. Moreover, it is also shown that the above result is true for s-unital rings. Also, we provide some counterexamples which show that the hypotheses of our theorems are not altogether superfluous. The results of this paper generalize some of the well-known commutativity theorems for rings which are right s-unital.     

Free Infinite Divisibility of Free Multiplicative Mixtures of the Wigner Distribution

Let I ^* and I ^⊞ be the classes of all classical infinitely divisible distributions and free infinitely divisible distributions, respectively, and let Λ be the Bercovici–Pata bijection between I ^* and I ^⊞ . The class type W of symmetric distributions in I ^⊞ that can be represented as free multiplicative convolutions of the Wigner distribution is studied. A characterization of this class under the condition that the mixing distribution is 2-divisible with respect to free multiplicative convolution is given. A correspondence between symmetric distributions in I ^⊞ and the free counterpart under Λ of the positive distributions in I ^* is established. It is shown that the class type W does not include all symmetric distributions in I ^⊞ and that it does not coincide with the image under Λ of the mixtures of the Gaussian distribution in I ^*. Similar results for free multiplicative convolutions with the symmetric arcsine measure are obtained. Several well-known and new concrete examples are presented.     

On cardinalities of row spaces of Boolean matrices

We prove that there are exactlyn numbers greater than 2 ⁿ⁻¹ that can serve as the cardinalities of row spaces ofn×n Boolean matrices. The numbers are: 2 ⁿ⁻¹+1,2 ⁿ⁻¹+2,2 ⁿ⁻¹+4, ..., 2 ⁿ⁻¹+2 ⁿ⁻², 2 ⁿ . Two consequences follow. The first is that the height of the partial order ofD-classes in the semigroup ofn×n Boolean matrices is at most 2 ⁿ⁻¹+n−1. The second is that the numbers listed above are precisely the numbers greater than 2 ⁿ⁻¹ that can serve as the cardinalities of topologies on a finite setX withn elements.     

Transformations with Improved Chi-Squared Approximations

Suppose that a nonnegative statistic T is asymptotically distributed as a chi-squared distribution with f degrees of freedom, χ²_f, as a positive number n tends to infinity. Bartlett correction T was originally proposed so that its mean is coincident with the one of χ²_f up to the order O(n⁻¹). For log-likelihood ratio statistics, many authors have shown that the Bartlett corrections are asymptotically distributed as χ²_f up to O(n⁻¹), or with errors of terms of O(n⁻²). Bartlett-type corrections are an extension of Bartlett corrections to other statistics than log-likelihood ratio statistics. These corrections have been constructed by using their asymptotic expansions up to O(n⁻¹). The purpose of the present paper is to propose some monotone transformations so that the first two moments of transformed statistics are coincident with the ones of χ²_f up to O(n⁻¹). It may be noted that the proposed transformations can be applied to a wide class of statistics whether their asymptotic expansions are available or not. A numerical study of some test statistics that are not a log-likelihood ratio statistic is discribed. It is shown that the proposed transformations of these statistics give a larger improvement to the chi-squared approximation than do the Bartlett corrections. Further, it is seen that the proposed approximations are comparable with the approximation based on an Edgeworth expansion.     

Dunford-pettis operators onL 1 and the Radon-Nikodym property

Using the duality between Dunford-Pettis operators onL ¹ and Pettis-Cauchy martingales, we prove that the Dunford-Pettis operators fromL ¹ intoL ¹ form a lattice. We show also that a Banach spaceX has the Radon-Nikodym property provided the Dunford-Pettis members of ℒ(L ¹,X) are representable. The lifting of dual valued Dunford-Pettis operators is investigated. Some remarks are included.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.     

Note on induced subgraphs of the unit distance graphE n

The unit distance graphE ⁿ is the graph whose vertices are the points in Euclideann-space, and two vertices are adjacent if and only if the distance between them is 1. We prove that for anyn there is a finite bipartite graph which cannot be embedded inE ⁿ as an induced subgraph and that every finite graph with maximum degreed can be embedded inE ^N ,N=(d ³ –d)/2, as an induced subgraph.