Unbounded derivations tangential to compact groups of automorphisms

We consider unbounded derivations in C¹-algebras commuting with compact groups of ¹-automorphisms. A closed ¹-derivation δ in a C¹-algebra $\text{U}$ is said to be a generator if there exists a strongly continuous one-parameter subgroup t∈$\text{R}$→τ(t)? Aut($\text{U}$) such that $\text{δ =}\text{d}\text{dt}\text{τ(t)¦}{}_{\mathrm{t\; =\; 0}}$. If δ is known to commute with a compact abelian action α:G→Aut($\text{U}$), and if δ(a) = 0 for all a in the fixed point algebra $\text{U}$^α of the action G, then we show that δ is necessarily a generator. Moreover, in any faithful G-covariant representation, there is a commutative operator field γ ∈ ? → v(γ) such that $\text{v(γ)}{}^1\text{= ?v(γ), v(γ)}$ is possibly unbounded but affiliated with the center of {$\text{U}$^α}″, and e^tδ(x) = xe^tv(γ) for all x in the Arveson spectral subspace $\text{U}$^α(γ). In particular, if $\text{U}$ is the CAR algebra over an infinite-dimensional Hilbert space and α is the gauge group, then any such derivation δ is a scalar multiple of the generator of the gauge group.     

Extensions of unbounded 1-derivations in UHF C1-algebras

We consider unbounded ¹-derivations δ in UHF-C¹-algebras A=(∪^∞_n=1A_n)^?) with dense domain. If ?_n:A→A_n denotes the conditional expectations onto the finite type I factors $\text{A}$_n, then we introduce a weak-commutativity condition for δ and the sequence (?_n). As a consequence of this condition on δ we establish the existence of an extension derivation δ′ which is the infinitesimal generator of a strongly continuous one-parameter group, α: $\text{R}$ → Aut($\text{A}$), of ¹-automorphisms, i.e., $\text{δ′(x) =}\text{(d}\text{dt)}\text{α}{}_{\mathrm{t}}\text{(x)¦}{}_{\mathrm{t\; =\; 0}}$ for x?D(δ′). Special properties of α (alias δ′) are considered. We show that AF-algebras are associated to proper restrictions δ of derivations δ′ of product type. We then turn to the extendability problem for quasifree derivations in the CAR-algebra. There, extensions δ′ are calculated which generate strongly continuous semigroups of ¹-homomorphisms. These semigroups do not extend to one-parameter groups unless the implementing symmetric operator in one-particle space is already self-adjoint.     

Extremal traces on some group-invariant C1-algebras

Let $\text{U}$ be a UHF-algebra of Glimm type n^∞, and {α_g: g?G} a strongly continuous group of ¹-automorphisms of product type on $\text{U}$, for G compact. Let $\text{U}$^α be the C¹-subalgebra of fixed elements of $\text{U}$. We show that any extremal normalized trace on $\text{U}$^α arises as the restriction of a symmetric product state ? on $\text{U}$ of the form ? = ?_k?1 ω. As an example we classify the extremal traces on $\text{U}$^α for the case G = SU(n), α_g = ?_{k ? 1} Ad(g).     

Invariant subspaces and cocycles in nonselfadjoint crossed products

Let G be a compact abelian group with the archimedean totally ordered dual Γ and let $\text{L}$ be the von Neumann algebra crossed product determined by a finite von Neumann algebra M and a one-parameter group {α_γ}_γ?Γ of trace preserving 1-automorphisms of M. In this paper, we investigate the structure of invariant subspaces and cocycles for the subalgebra $\text{L}$₊ of $\text{L}$ consisting of those operators whose spectrum with respect to the dual automorphism group {β_g}_g?G on $\text{L}$ is nonnegative. Our main result asserts that if M is a factor, then $\text{L}$₊ is maximal among the σ-weakly closed subalgebras of $\text{L}$.     

Quasi-free derivations on the Canonical Anticommutation Relation algebra

An unbounded 1-derivation δ on a C¹-algebra $\text{U}$ is called approximately bounded if there is an increasing sequence of full matrix subalgebras {$\text{U}$_n} whose union is dense in the domain of $\text{U}$ and a sequence {h_n} of self-adjoint elements of $\text{U}$ such that h_n implements δ on $\text{U}$_n for every n, and {∥h_n ? Q_n(h_n)∥} is a bounded sequence where Q_n is the canonical conditional expectation of $\text{U}$ onto $\text{U}$_n. We prove that a quasi-free derivation on the Canonical Anticommutation Relation algebra is approximately bounded if the self-adjoint operator from which it arises is of finite multiplicity and bounded. We conjecture that all quasi-free derivations are approximately bounded. We also prove that a quasi-free derivation is bounded if and only if the self-adjoint operator from which it arises is of the trace class.     

Relative locality of derivations

Let H and K be symmetric linear operators on a C¹-algebra $\text{U}$ with domains D(H) and D(K). H is defined to be strongly K-local if $\text{ω(K(A)}{}^1\text{K(A)) = 0}$ implies $\text{ω(H(A)}{}^1\text{H(A)) = 0}$ for A?D(H) ∩ D(K) and ω in the state space of $\text{U}$, and H is completely strongly K-local if $\text{Ω(K(A)}{}^1\text{K(A))=0}$ implies $\text{Ω(H(A)}{}^1\text{H(A))=0}$ for A ∈ D(H) ∩ D(K) and Ω in the state of $\text{U}$, and H is cpmpletely strongly K-local if $\text{H??}{}_{\mathrm{n}}$ is $\text{K??}{}_{\mathrm{n}}$-local on U?M_n for all n ? 1, where $\text{1}$_n is the identity on the n × n matrices M_n. If $\text{U}$ is abelian then strong locality and complete strong locality are equivalent. The main result states that if τ is a strongly continuous one-parameter group of ¹-automorphisms of $\text{U}$ with generator δ₀ and δ is a derivation which commutes with τ and is completely strongly δ₀-local then δ generates a group α of ¹-automorphisms of $\text{U}$. Various characterizations of α are given and the particular case of periodic τ is discussed.     

The unitary group over the integers of a quaternion algebra

Let L be a lattice over the integers of a quaternion algebra with center K which is a $\text{B}$-adic field. Then the unitary group U(L) equals its own commutator subgroup $\text{Ω(L)}$ and is generated by the unitary transvections and quasitransvections contained in it. Let g be a tableau, U(g), U⁺(g), $\text{Ω(g)}$, T(g) be the corresponding congruence subgroups of order g. Then $\text{U(g)}\text{U}{}^{\mathrm{+}}\text{(g)}\text{? X}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{\tau }}\text{Z}{}_2$, and $\text{Ω(g) = T(g)}$ (the subgroup generated by the unitary transvections and quasitransvections with order ≤ g). Let G be a subgroup of U(L) with o(G) = g, then G is normal in U(L) if and only if U(g) ? G ? T(g).     

Minimal codes in abelian group algebras

In this paper we show that two minimal codes $\text{M}$₁ and $\text{M}$₂ in the group algebra $\text{F}$₂[G] have the same (Hamming) weight distribution if and only if there exists an automorphism θ of G whose linear extension to $\text{F}$₂[G] maps $\text{M}$₁ onto $\text{M}$₂. If θ(M₁) = M₂, then $\text{M}$₁ and $\text{M}$₂ are called equivalent. We also show that there are exactly τ(l) inequivalent minimal codes in $\text{F}$₂[G], where ? is the exponent of G, and τ(?) is the number of divisors of ?.     

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).     

Potential theory associated with Uhlenbeck-Ornstein process

Some parallel results of Gross' paper (Potential theory on Hilbert space, J. Functional Analysis1 (1967), 123–181) are obtained for Uhlenbeck-Ornstein process U(t) in an abstract Wiener space (H, B, i). Generalized number operator $\text{N}$ is defined by $\text{N}$f(x) = ?lim_∈←0{E[f($\text{U}$(τ^∈_ξ))] ? f(x)}/E[τ^∈_ξ, where τ_x^? is the first exit time of U(t) starting at x from the ball of radius ? with center x. It is shown that $\text{N}$f(x) = ?trace D²f(x)+〈Df(x),x〉 for a large class of functions f. Let r_t(x, dy) be the transition probabilities of U(t). The λ-potential G_λf, λ > 0, and normalized potential Rf of f are defined by G_λf(X) = ∫₀^∞e^?λtr_tf(x) dt and Rf(x) = ∫₀^∞ [r_tf(x) ? r_tf(0)] dt. It is shown that if f is a bounded Lip-1 function then trace D²G_λf(x) ? 〈DG_λf(x), x〉 = ?f(x) + λG_λf(x) and trace D²Rf(x) ? 〈DRf(x), x〉 = ?f(x) + ∫_Bf(y)p₁(dy), where p₁ is the Wiener measure in B with parameter 1. Some approximation theorems are also proved.     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

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.     

Cogrowth and amenability of discrete groups

Let G be a group and g₁,…, g_t a set of generators. There are approximately (2t ? 1)ⁿ reduced words in g₁,…, g_t, of length ?n. Let $\text{}\text{?}\text{gg}{}_{\mathrm{n}}$ be the number of those which represent 1_G. We show that $\text{γ =}\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{(}\text{}\text{?}\text{gg}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}$ exists. Clearly 1 ? γ ? 2t ? 1. $\text{η =}\text{(}\text{log}\text{γ)}\text{(}\text{log}\text{(2t ? 1))}$ is the cogrowth. 0 ? η ? 1. In fact $\text{η ∈ {0} ∪ (}\text{1}\text{2}\text{, 1¦}$. The entropic dimension of G is shown to be 1 ? η. It is then proved that d(G) = 1 if and only if G is free on g₁,…, g_t and d(G) = 0 if and only if G is amenable.     

Connected matroids with the smallest whitney numbers

In “The Slimmest Geometric Lattices” (Trans. Amer. Math. Soc.). Dowling and Wilson showed that if G is a combinatorial geometry of rank r(G) = n, and if _X(G) = Σμ(0, x)λ^{r ? r(x)} = Σ (?1)^{r ? k}W_kλ^k is the characteristic polynomial of G, then

$\text{w}{}_{\mathrm{k}}\text{?}\text{r}\text{k}\text{+n}\text{r?1}\text{k}$

Thus γ(G) ? 2^{r ? 1} (n+2), where γ(G) = Σw_k. In this paper we sharpen these lower bounds for connected geometries: If G is connected, r(G) ? 3, and n(G) ? 2 ((r, n) ≠ (4,3)), then

$\text{w}{}_{\mathrm{i}}\text{?}\text{r}\text{i}\text{+ n}\text{r}\text{i+1}\text{for i>1; w}{}_1\text{?r+n}\text{r}\text{2}\text{? 1;}$

|μ| ? (r? 1)n; and γ ? (2^{r ? 1} ? 1)(2n + 2). These bounds are all achieved for the parallel connection of an r-point circuit and an (n + 1)point line. If G is any series-parallel network, $\text{r(G) = r(}\text{G}\text{?}\text{) = 4}$, and $\text{n(G) = n(}\text{G}\text{?}\text{) = 3}$ then $\text{(w}{}_1\text{(G))}{}^4{}_{\mathrm{t-G}}\text{? (w}{}_1\text{(}\text{G}\text{?}\text{)) = (8, 20, 18, 7, 1)}$. Further, if β is the Crapo invariant,

$\text{β(G)=}\text{d}{}_{\mathrm{X}}\text{(G)}\text{dλ}\text{(1)}\text{,}$

then β(G) ? max(1, n ? r + 2). This lower bound is achieved by the parallel connection of a line and a maximal size series-parallel network.     

Connection-graph and iteration-graph of monotone boolean functions

In this paper, we establish some relationships between the circuits of the connection-graph G_C(F), and the circuits of theiteration-graph G₁(F), of a monotone boolean function F. We first show that if G₁(F) contains an element circuit of length multiple of p? {2,3}, then G_C(F) contains an elementary circuit of length multiple of p; then we prove that if G_C(F) is a subgraph of a caterpillar, then G₁(F) is a subgraph of a tree; at last we exhibit an infinite family of monotone boolean functions {F_n; n = 2 × 5^q, q ≥ 1} such that any G_C(F_n) is a subgraph of a tree, and G₁(F_n) contains a circuit of length 2^q+1, i.e., of the order $\text{n}{}^{\mathrm{<mtext>log</mtext><mtext>2</mtext><mtext>log5</mtext>}}$.     

Analyticity and flows in von Neumann algebras

Let $\text{B}$ be a von Neumann algebra, let {α_t}_tεR be an ultraweakly continuous one-parameter group of ¹-automorphisms of $\text{B}$, and let $\text{U}$ be the set of all A such that for each ? in $\text{B}$₁, the function t → ?(α_t(A)) lies in H^∞($\text{R}$. Then $\text{U}$ is an ultraweakly closed subalgebra of $\text{B}$ containing the identity which is proper and non-self-adjoint if {α_t}_tεR is not trivial. In this paper, a systematic investigation into the structure theory of $\text{U}$ is begun. Two of the more note-worthy developments are these. First of all, conditions under which $\text{U}$ is a subdiagonal algebra in $\text{B}$, in the sense of Arveson, are determined. The analysis provides a common perspective from which to view a large number of hitherto unrelated algebras. Second, the invariant subspace structure of $\text{U}$ is determined and conditions under which $\text{U}$ is a reductive subalgebra of $\text{B}$ are found. These results are then used to produce examples where $\text{U}$ is a proper, non-self-adjoint, reductive subalgebra of $\text{B}$. The examples do not answer the reductive algebra question, however, because although ultraweakly closed, the subalgebras are weakly dense in $\text{B}$.     

Prime interchange graphs of classes of matrices of zeros and ones

Let R = (r₁,…, r_m) and S = (s₁,…, s_n) be nonnegative integral vectors, and let $\text{U}$(R, S) denote the class of all m × n matrices of 0's and 1's having row sum vector R and column sum vector S. An invariant position of $\text{U}$(R, S) is a position whose entry is the same for all matrices in $\text{U}$(R, S). The interchange graph G(R, S) is the graph where the vertices are the matrices in $\text{U}$(R, S) and where two matrices are joined by an edge provided they differ by an interchange. We prove that when 1 ≤ r_i ≤ n ? 1 (i = 1,…, m) and 1 ≤ s_j ≤ m ? 1 (j = 1,…, n), G(R, S) is prime if and only if $\text{U}$(R, S) has no invariant positions.     

An integral transform in L2-cohomology for the ladder representations of U(p, q)

Starting from the realization of the Fock space as L²-cohomology of $\text{C}$^{p + q}, $\text{H}$^0,p($\text{C}$^{p + q}) = ⊕_m?$\text{Z}$$\text{H}$_m^0,p($\text{C}$^{p + q}), an integral transform is constructed which is a direct-image mapping from $\text{H}$_m^{0,p($\text{C}$p + q) into the space of holomorphic sections of some vector bundle E_m over M ≈ U(p, q)/(U(q) × U(p)), m ? 0}. The transform intertwines the natural actions of U(p, q) and is injective if m ? 0, so it provides a geometric realization of the ladder representations of U(p, q). The sections in the image of the transform satisfy certain linear differential equations, which are explicitly described. For example, Maxwell's equations are of this form if p = q = 2 and m = 2. Thus, this transform is analogous to the Penrose correspondence.     

On the minimum number of disjoint pairs in a family of finite sets

The following conjecture of Katona is proved. Let X be a finite set of cardinality n, 1 ? m ? 2ⁿ. Then there is a family $\text{F}$, |$\text{F}$| = m, such that F ∈ $\text{F}$, G ? X, | G | > | F | implies G ∈ $\text{F}$ and $\text{F}$ minimizes the number of pairs (F₁, F₂), F₁, F₂ ∈ $\text{F}$ F₁ ∩ F₂ = ? over all families consisting of m subsets of X.     

Oscillation theorems for second-order functional differential equations

This paper presents some comparison theorems on the oscillatory behavior of solutions of second-order functional differential equations. Here we state one of the main results in a simplified form: Let q, τ₁, τ₂ be nonnegative continuous functions on (0, ∞) such that τ₁ ? τ₂ is a bounded function on [1, ∞) and t ? τ₁(t) → ∞ if t → ∞. Then $\text{y}\text{?}\text{(t) + q(t) y(t ? τ}{}_1\text{(t)) = 0}$ is oscillatory if and only if $\text{y}\text{?}\text{(t) + q(t) y(t ? τ}{}_2\text{(t)) = 0}$ is oscillatory.