Sequence entropy and mixing

The relationship between sequence entropy and mixing is examined. Let T be an automorphism of a Lebesgue space X, $\text{L}$₀ denote the set of all partitions of X possessing finite entropy, and $\text{S}$ denote the set of all increasing sequences of positive integers. It is shown that: (1) T is mixing /a2 sup_{A ? B}h_A(T, α) = H(α) for all B∈I and α∈Z₀. (2) T is weakly mixing /a2 sup_Ah_A(T, α) = H(α) for all α∈Z₀. (3) If T is partially mixing with constant $\text{c (1 ?}\text{1}\text{e}\text{< c < 1)}$, then sup_{A ? B}h_A(T, α) > cH(α) for all B∈I and nontrivial α∈Z₀. (4) If sup_{A ? B}h_A(T, α) > 0 for all B∈I and nontrivial α∈Z₀, then T is weakly mixing.     

The nontriviality of certain Zl-extensions

Let k be a J-field, K the basic Z_l-extension of k, and A₀, A the l-class groups of k, K respectively. It is known that if A₀^1?J is nontrivial, then $\text{A}{}^{\mathrm{<mtext>1</mtext><mtext>J</mtext><mtext>?</mtext>}}$ is infinite. It is shown that this result is still true if the classes represented by the primes lying over l are factored out from both groups. This is applied to $\text{k = Q((?m)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ and A₀ = (0) for information on the invariants λ and μ. There are such k for which λ ≥ 2.     

Construction of translation planes from t-spread sets

A t-spread set [1] is a set $\text{C}$ of (t + 1) × (t + 1) matrices over GF(q) such that ∥C∥ = q^t+1, 0 ? C, I?C, and det(X ? Y) ≠ 0 if X and Y are distinct elements of $\text{C}$. The amount of computation involved in constructing t-spread sets is considerable, and the following construction technique reduces somewhat this computation. Construction: Let $\text{G}$ be a subgroup of GL(t + 1, q), (the non-singular (t + 1) × (t + 1) matrices over GF(q)), such that ∥G∥|a^t+1, and det (G ? H) ≠ 0 if G and H are distinct elements of $\text{G}$. Let A₁, A₂, …, A_n?GL(t + 1, q) such that det(A_i ? G) ≠ 0 for i = 1, …, n and all G?G, and det(A_i ? A_jG) ≠ 0 for i > j and all G?G. Let $\text{C = \&{0\&} ∪ G ∪ A}{}_1\text{G ∪ … ∪ A}{}_{\mathrm{n}}\text{G}$, and ∥C∥ = q^t+1. Then $\text{C}$ is a t-spread set. A t-spread set can be used to define a left V ? W system over V(t + 1, q) as follows: x + y is the vector sum; let e?V(t + 1, q), then xoy = yM(x) where M(x) is the unique element of $\text{C}$ with x = eM(x). Theorem: Let$\text{C}$be a t-spread set and F the associatedV ? Wsystem; the left nucleus = {y | CM(y) = C}, and the middle nucleus = }y | M(y)C = C}. Theorem: For$\text{C}$constructed as aboveG ? {M(x) | x?N_λ}. This construction technique has been applied to construct a V ? W system of order 25 with ∥N_λ∥ = 6, and ∥N_μ∥ = 4. This system coordinatizes a new projective plane.     

Geometric conditions for the existence of positive eigenvalues of matrices

Finite-dimensional theorems of Perron-Frobenius type are proved. For A∈$\text{C}$ⁿⁿ and a nonnegative integer k, we let w_k (A) be the cone generated by A^k, A^k+1,…in $\text{C}$ⁿⁿ. We show that A satisfies the Perron-Schaefer condition if and only if the closure $\text{W}$_k(A) of w_k(A) is a pointed cone. This theorem is closely related to several known results. If k?v₀(A), the index of the eigenvalue 0 in spec A, we prove that A has a positive eigenvalue if and only if w_k(A) is a pointed nonzero cone or, equivalently $\text{W}$_k(A) is not a real subspace of $\text{C}$ⁿⁿ. Our proofs are elementary and based on a method of Birkhoff's. We discuss the relation of this method to Pringsheim's theorem.     

Permutation-operator inequalities on certain symmetry classes of tensors

If A∈T(m, N), the real-valued N-linear functions on E_m, and σ∈S_N, the symmetric group on {…,N}, then we define the permutation operator P_σ: T(m, N) → T(m, N) such that P_σ(A)(x₁,x₂,…,x_N = A(x_σ(1),x_σ(2),…, x_σ(N)). Suppose Σ^q_i=1n_i = N, where the n_i are positive integers. In this paper we present a condition on σ that is sufficient to guarantee that 〈P_σ(A₁?A₂???A_q),A₁?A₂?? ? A_q〉 ? 0 for A_i∈S(m, n_i), where S(m, n_i) denotes the subspace of T(m, n_i) consisting of all the fully symmetric members of T(m, n_i). Also we present a broad generalization of the Neuberger identity which is sometimes useful in answering questions of the type described below. Suppose G and H are subgroups of S_N. We let T_G(m, N) denote all A∈T(m, N) such that P_σ(A) = A for all σ∈G. We define the symmetrizer $\text{S}$_G: T(m, N)→T_G(m,N) such that $\text{S}{}_{\mathrm{G}}\text{(A) = 1/|G|Σ}{}_{\mathrm{\sigma \in G}}\text{P}{}_{\mathrm{\sigma }}\text{(A)}$. Suppose H is a subgroup of G and A∈T_H(m, N). Clearly $\text{6}\text{S}{}_{\mathrm{<mtext>G</mtext>}}\text{6(A) 6? 6A6.}$ We are interested in the reverse type of comparison. In particular, if D is a suitably chosen subset of T_H(m,N), then can we explicitly present a constant C>0 such that $\text{6}\text{S}{}_{\mathrm{G}}\text{(A)6?C6A6}$ for all A∈D?     

Sur les semi-caracteres des groupes de Lie resolubles connexes

Let G be a connected solvable Lie group, π a normal factor representation of G and ψ a nonzero trace on the factor generated by G. We denote by $\text{D}$(G) the space of C^∞ functions on G which are compactly supported. We show that there exists an element u of the enveloping algebra U$\text{G}$_$\text{c}$ of the complexification of the Lie algebra of G for which the linear form $\text{? ψ(π(u 1 ?))}$ on $\text{D}$(G) is a nonzero semiinvariant distribution on G. The proof uses results about characters for connected solvable Lie groups and results about the space of primitive ideals of the enveloping algebra U$\text{G}$_$\text{c}$.     

On lifting and extending derivations of approximately finite-dimensional C1-algebras

It is shown that if A is the C¹-algebra inductive limit of a sequence of finite-dimensional C¹-algebras, then for each closed two-sided ideal J of A derivations can be lifted to A from $\text{A}\text{J}$, and for each projection e in A derivations can be extended to A from eAe. An application of the second result is given.     

Multipliers from L1(G) to a Lipschitz space

Let G be a metric locally compact Abelian group. We prove that the spaces (L₁, Lip(α, p)), (L₁, lip(α, p)), Lip(α, p) and lip(α, p)^~ are isometrically isomorphic, where Lip(α, p) and lip(α, p) denote the Lipschitz spaces defined on G, (L₁, A) is the space of multipliers from L₁ to A, and lip(α, p)^~ denotes the relative completion of lip(α, p). We also show that $\text{L}{}_1\text{1}\text{Lip}\text{(α, p) =}\text{lip}\text{(α, p) = L}{}_1\text{1}\text{lip}\text{(α, p)}$.     

Spaces of matrices of equal rank

Let M_m,n(F) denote the space of all mXn matrices over the algebraically closed field F. A subspace of M_m,n(F), all of whose nonzero elements have rank k, is said to be essentially decomposable if there exist nonsingular mXn matrices U and V respectively such that for any element A, UAV has the form

$\text{UAV=}\text{A}{}_1\text{A}{}_2\text{A}{}_3\text{0}$

where A₁ is iX(k–i) for some i?k. Theorem: If $\text{K}$ is a space of rank k matrices, then either $\text{K}$ is essentially decomposable or dim $\text{K}$?k+1. An example shows that the above bound on non-essentially-decomposable spaces of rank k matrices is sharp whenever n?2k–1.     

On complementary graphs with no isolated vertices

Let $\text{G}$ denote the complement of a graph G, and x(G), β₁(G), β₄(G), α₀(G), α₁(G) denote respectively the chromatic number, line-independence number, point-independence number, point-covering number, line-covering number of G, Nordhaus and Gaddum showed that for any graph G of order $\text{p}\text{, {2√p} ? x(G) + x(}\text{G}\text{) ? p + 1}\text{and p}\text{? x(G)·x(}\text{G}\text{) ? [(}\text{1}\text{2}\text{(p + 1))}{}^2\text{]}$. Recently Chartrand and Schuster have given the corresponding inequalities for the independence numbers of any graph G. However, combining their result with Gallai's well known formula β₁(G) + α₁(G) = ?, one is not deduce the analogous bounds for the line-covering numbers of $\text{G}\text{and}\text{G}$, since Gallai's formula holds only if G contains no isolated vertex. The purpose of this note is to improve the results of Chartland and Schuster for line-independence numbers for graphs where both $\text{G}\text{and}\text{G}$ contain no isolated vertices and thereby allowing us to use Gallai's formula to get the corresponding bounds for the line-covering numbers of G.     

On subgraph number independence in trees

For finite graphs F and G, let N_F(G) denote the number of occurrences of F in G, i.e., the number of subgraphs of G which are isomorphic to F. If $\text{F}$ and $\text{G}$ are families of graphs, it is natural to ask then whether or not the quantities N_F(G), F∈$\text{F}$, are linearly independent when G is restricted to $\text{G}$. For example, if $\text{F}$ = {K₁, K₂} (where K_n denotes the complete graph on n vertices) and $\text{F}$ is the family of all (finite) trees, then of course N_K1(T) ? N_K2(T) = 1 for all T∈$\text{F}$. Slightly less trivially, if $\text{F}$ = {S_n: n = 1, 2, 3,…} (where S_n denotes the star on n edges) and $\text{G}$ again is the family of all trees, then Σ_n=1^∞(?1)ⁿ⁺¹N_Sn(T)=1 for all T∈$\text{G}$. It is proved that such a linear dependence can never occur if $\text{F}$ is finite, no F∈$\text{F}$ has an isolated point, and $\text{G}$ contains all trees. This result has important applications in recent work of L. Lovász and one of the authors (Graham and Lovász, to appear).     

An analogue of the thom isomorphism for crossed products of a C1 algebra by an action of R

In this paper we show the existence and uniqueness of a natural isomorphism ø^j_α of K_j(A) with K_j+1(A ?_α$\text{R}$), j ? $\text{Z}$/2 where (A, $\text{R}$, α) is a $\text{C1}$ dynamical $\text{R}$-system, K is the functor of topological K theory and A ?_α$\text{R}$ is the crossed product of A by the action of $\text{R}$. The Pimsner-Voiculescu exact sequence is obtained as a corollary. We show that given an α-invariant trace τ on A, with dual trace $\text{}\text{?}$gt, one has $\text{}\text{?}\text{gtø}{}^1{}_{\mathrm{\alpha }}\text{[u] = (}\text{1}\text{2}\text{iπ) τ(δ(u)u1)}$ for any unitary u in the domain of the derivation δ of A associated to the action α. Finally, we show that the crossed product of C(S³) (continuous functions on the 3 sphere) by a minimal diffeomorphism is a simple $\text{C1}$ algebra with no nontrivial idempotent.     

Invariant means and invariant ideals in L∞(G) for a locally compact group G

For a nondiscrete σ-compact locally compact Hausdorff group G, L_∞(G) is a commutative Banach algebra under pointwise multiplication which has many nonzero proper closed invariant ideals; there is at least a continuum of maximal invariant ideals {N_α} such that N_α1 + N_α2 = L_∞(G) whenever α₁ ≠ α₂. It follows from the construction of these ideals that when G is also amenable as a discrete group, then LIM?TLIM contains at least a continuum of mutually singular elements each of which is singular to any element of TLIM. The supports of left-invariant means are in the maximal ideal space of L_∞(G); the structure of these supports leads to the notion of stationary and transitive maximal ideals. To prove that both these types of maximal ideals are dense among all maximal ideals, one shows that the intersection of all nonzero closed invariant ideals is zero. This is the case even though the intersection of any sequence of closed invariant ideals is not zero and the intersection of all the maximal invariant ideals is not zero.     

On total matching numbers and total covering numbers of complementary graphs

Best upper and lower bounds, as functions of n, are obtained for the quantities $\text{β}{}_2\text{(G)+β}{}_2\text{(}\text{G}\text{?}\text{)}$ and $\text{α}{}_2\text{(G)+α}{}_2\text{(}\text{G}\text{?}\text{)}$, where β₂(G) denotes the total matching number and α₂(G) the total covering number of any graph G with n vertices and with complementry graph ?.The best upper bound is obtained also for α₂(G)+β₂(G), when G is a connected graph.     

Unbounded operators: Perturbations and commutativity problems

Let H be a complex Hilbert space, and let G_i, i = 1, 2, be closed and orthogonal subspaces of the product space H × H. The subspace G = G₁ ⊕ G₂ is called a (graph) perturbation. We give conditions for invariance of regular operators (R.O.) under graph perturbations: When is the perturbation of a R.O. again a R.O.? If N is a Hilbert space we consider R.O. (i.e., densely defined and closed operators T) in H=$\text{L}$(N) such that G(T)=G(S)⊕V$\text{H}$(M, where G denotes the graph, S is a decomposable operator in H, V a decomposable partial isometry such that the initial space of V(t) is equal to M a.e. t, and finally $\text{H}$(M) is the Hardy space of analytic $\text{L}$₂ vector functions with values in M ? N × N. Such operators T commute with the bilateral shift U; but, unless M = 0, T does not commute with $\text{U}{}^1$. Conversely, this is a canonical model for all R.O. with said commutativity properties. Moreover, the model is unique when T is given, and M = G(w) where w is a partial isometry in N. The detailed structure of the model is analyzed in the special case where dim N = dim M = 1. We relate the problem to a condition of Szeg? by showing that T is a $\text{R.O. iff}\text{∝}{}_0{}^{\mathrm{2\pi }}\text{log}\text{¦ V}{}_2\text{(t)¦ dt = ?∞,}\text{where}\text{V = (V}{}_1\text{, V}{}_2\text{)}$ is the partial isometry in the special case of dimension one. Szeg?'s conditions enters in a different way in the analysis of the case M = N × N, as well as in the spectral analysis of T. Our results provide an answer to a commutativity problem posed by Fuglede. If T is an arbitrary densely defined operator, and A?B(H) is normal, we prove two theorems stating conditions for the implication $\text{A}{}_{\mathrm{\cup }}\text{T ? A}{}_{\mathrm{\cup }}{}^1\text{T}$. These conditions cannot generally be relaxed.     

Exposed points and extremal problems in H1

If φ ∈ L_∞, we denote by T_φ the functional defined on the Hardy space H¹ by

$\text{T}{}_{\mathrm{\phi }}\text{(?) =}\text{∫}\text{?π}\text{π}\text{?(e}{}^{\mathrm{i\theta }}\text{) φ(e}{}^{\mathrm{i\theta }}\text{)}\text{dθ}\text{2π}$

. Let S_φ be the set of functions in H¹ which satisfy $\text{T}{}_{\mathrm{\phi }}\text{(?) = ∥T}{}_{\mathrm{\phi }}\text{∥}\text{and}\text{∥? ∥}{}_1\text{? 1}$. It is known that if φ is continuous, then S_φ is weak-¹ compact and not empty. For many noncontinuous φ each S_φ is weak-¹ compact and not empty. A complete descr ption of S_φ if S_φ is weak-¹ compact and not empty is obtained. S_φ is not empty if and only if $\text{S}{}_{\mathrm{\phi }}\text{= S}{}_{\mathrm{\psi }}\text{and}\text{ψ = ¦ ?¦}\text{?}$ for some nonzero ? in H¹. It is shown that if $\text{φ = ¦? ¦}\text{?}$ and $\text{? = pg}$, where p is an analytic polynomial and g is a strong outer function, then S_φ is weak-¹ compact. As the consequence, if $\text{? = p}$, then S_φ is weak-¹ compact.     

Algebras of bounded functions invariant under the restricted backward shift

Let T be the unit circle in the complex plane and let A be a vector space of bounded Lebesgue measurable functions on T. A is said to be invariant under the restricted backward shift if, whenever ? is in A and the 0-th Fourier coefficient of ? vanishes, then $\text{e}{}^{\mathrm{?i\theta }}\text{?(e}{}^{\mathrm{i\theta }}\text{)}$ is also in A. The theorems of this paper provide a characterization of the uniformly closed subalgebras of C(T) which contain the constants and which are invariant under the restricted backward shift and, a similar characterization of the weak-¹ closed subalgebras of L^∞(T, dθ) which contain the constants and which are invariant under the restricted backward shift.     

Harmonic analysis on unitary groups

A theory of harmonic analysis on a metric group (G, d) is developed with the model of U$\text{U}$, the unitary group of a C¹-algebra $\text{U}$, in mind. Essential in this development is the set $\text{G}\text{?}{}_{\mathrm{d}}$ of contractive, irreducible representations of G, and its concomitant set P_d(G) of positive-definite functions. It is shown that $\text{G}\text{?}{}_{\mathrm{d}}$ is compact and closed in $\text{G}\text{?}$. The set $\text{G}\text{?}{}_{\mathrm{d}}$ is determined in a number of cases, in particular when G = U($\text{U}$) with $\text{U}$ abelian. If $\text{U}$ is an AW¹-algebra, it is shown that $\text{G}\text{?}$_d is essentially the same as $\text{U}\text{?}$. Unitary groups are characterised in terms of a certain Lie algebra $\text{g}$_u and several characterisations of G = U($\text{U}$) when $\text{U}$ is abelian are given.     

Monotonicity of permanents of certain doubly stochastic circulant matrices

Let p_k(A), k=2,…,n, denote the sum of the permanents of all k×k submatrices of the n×n matrix A. A conjecture of Ðokovi?, which is stronger than the famed van der Waerden permanent conjecture, asserts that the functions p_k((1?θ)J_n+;θA), k=2,…, n, are strictly increasing in the interval 0?θ?1 for every doubly stochastic matrix A. Here J_n is the n×n matrix all whose entries are equal $\text{1}\text{n}$. In the present paper it is proved that the conjecture holds true for the circulant matrices A=αI_n+ βP_n, α, β?0, α+;β=1, and $\text{A=}\text{(nJ}{}_{\mathrm{n}}\text{?I}{}_{\mathrm{n}}\text{?P}{}_{\mathrm{n}}\text{)}\text{(n?2)}$, where I_n and P_n are respectively the n×n identify matrix and the n×n permutation matrix with 1's in positions (1,2), (2,3),…, (n?1, n), (n, 1).