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

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.     

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.     

t-designs on hypergraphs

A $\text{t-}\text{design}\text{T=(X,}\text{B}\text{)}$, denoted by (λ; t, k, v), is a system $\text{B}$ of subsets of size k from a v-set X, such that each t-subset of X is contained in exactly λ elements of $\text{B}$. A hypergraph $\text{H=(Y,}\text{E}\text{)}$ is a finite set Y where $\text{E}\text{=(E}{}_{\mathrm{i}}\text{: i?I)}$ is a family of subsets (which we assume here are distinct) of Y such that E_i≠Ø, i?l, and ?E_i=Y. Let G be an automorphism group of $\text{H=(Y,}\text{E}\text{)}$ where O^l_i is the ith orbit of l-subsets of $\text{E}$. Let A(G; H; t, k)= (a_ij) be an m by n matrix, where a_ij is the number of copies of O^t_i that occur in the system of all t-subsets of all elements of O^k_j. Then there is a t-design $\text{T=(X,}\text{B}\text{)}$ with $\text{X=}\text{E}$, with parameters (λ; t, k, v), and with G an automorphism groupof T iff there is an m by s submatrix M of A(G; H; t, k) where M has uniform row sums λ. The calculus for applying this theorem is illustrated and numerous t-designs for 10?v?16 are found and presented. Using a theorem of Alltop on our (12; 4, 6, 13) and (60; 4, 7, 15) we obtain a (12; 5, 7, 14) and a (60; 5, 8, 16).     

Unbounded derivations tangential to compact groups of automorphisms,II

Let G be a compact abelian group, and τ an action of G on a C¹-algebra $\text{U}$, such that $\text{U}$^τ(γ)$\text{U}$^τ(γ)¹ = $\text{U}$^τ(0) $\text{U}$^τ for all $\text{γ ?}\text{G}\text{?}$, where $\text{U}$^τ(γ) is the spectral subspace of $\text{U}$ corresponding to the character γ on G. Derivations δ which are defined on the algebra $\text{U}$_F of G-finite elements are considered. In the special case δ¦_{$\text{U}$^τ} = 0 these derivations are characterized by a cocycle on $\text{G}\text{?}$ with values in the relative commutant of $\text{U}$^τ in the multiplier algebra of $\text{U}$, and these derivations are inner if and only if the cocycles are coboundaries and bounded if and only if the cocycles are bounded. Under various restrictions on G and τ properties of the cocycle are deduced which again give characterizations of δ in terms of decompositions into generators of one-parameter subgroups of τ(G) and approximately inner derivations. Finally, a perturbation technique is devised to reduce the case δ($\text{U}$_F) ? $\text{U}$_F to the case δ($\text{U}$_F) ? $\text{U}$_F and δ¦_{$\text{U}$^τ} = 0. This is used to show that any derivation δ with D(δ) = $\text{U}$_F is wellbehaved and, if furthermore G = T¹ and δ($\text{U}$_F) ? $\text{U}$_F the closure of δ generates a one-parameter group of ¹-automorphisms of $\text{U}$. In the case G = T^d, d = 2, 3,… (finite), and δ($\text{U}$_F) ? $\text{U}$_F it is shown that δ extends to a generator of a group of ¹-automorphisms of the σ-weak closure of $\text{U}$ in any G-covariant representation.     

Applications of the Connes spectrum to C1-dynamical systems,II

We show that for a C¹-dynamical system (A, G, α) with G discrete (abelian) the Connes spectrum Γ(α) is equal to $\text{G}\text{?}$ if and only if every nonzero closed ideal in G × _αA has a nonzero intersection with A. Denote by G_J the closed subgroup of G that leaves fixed the primitive ideal J of A. We show for a general group G that if all isotropy groups G_J are discrete, then GX_αA is simple if and only if A is G-simple and $\text{Γ(}\text{α}\text{) =}\text{G}\text{?}$. This result is applicable not only when G is discrete but also when G?$\text{R}$ or G?$\text{T}$ provided that A is not primitive. Specializing to single automorphisms (i.e., G=$\text{Z}$) we show that if (the transposed of) α acts freely on a dense set of points in $\text{A}\text{?}$, then Λ(α)=$\text{T}$. The converse is only proved when A is of type I.     

Complete cohomological functors on groups

If Λ is a ring and A is a Λ-module, then a terminal completion of Ext^1_Λ(A, ) is shown to exist if, and only if, Ext^j_Λ(A, P)=0 for all projective Λ-modules P and all sufficiently large j. Such a terminal completion exists for every A if, and only if, the supremum of the injective lengths of all projective Λ-modules, silp Λ, is finite. Analogous results hold for Ext^1_Λ(,A) and involve spli Λ, the supremum of the projective lengths of the injective Λ-modules. When Λ is an integral group ring $\text{Z}$G, spli$\text{Z}$G is finite implies silp $\text{Z}$G is finite. Also the finiteness of spli is preserved under group extensions. If G is a countable soluble group, the spli $\text{Z}$G is finite if, and only if, the Hirsch number of G is finite.     

Rectangular arrays

In this paper we studied m×n arrays with row sums $\text{nr}\text{(n,m)}$ and column sums $\text{mr}\text{(n,m)}$ where (n,m) denotes the greatest common divisor of m and n. We were able to show that the function H_m,n(r), which enumerates m×n arrays with row sums and column sums $\text{nr}\text{(m,n)}$ and $\text{mr}\text{(n,m)}$ respectively, is a polynomial in r of degree (m?1)(n?1). We found simple formulas to evaluate these polynomials for negative values, ?r, and we show that certain small negative integers are roots of these polynomials. When we considered the generating function G_m,n(y) = Σ_r?0H_m,n(r)y^r, it was found to be rational of degree less than zero. The denominator of G_m,n(y) is of the form (1?y)^(m?1)(n?1)+3, and the coefficients of the numerator are non-negative integers which enjoy a certain symmetric relation.     

Oscillatory properties of strongly superlinear differential equations with deviating arguments

We regard a graph G as a set {1,…, v} together with a nonempty set E of two-element subsets of {1,…, v}. Let p = (p₁,…, p_v) be an element of $\text{R}$^nv representing v points in $\text{R}$ⁿ and consider the realization G(p) of G in $\text{R}$ⁿ consisting of the line segments [p_i, p_j] in $\text{R}$ⁿ for {i, j} ?E. The figure G(p) is said to be rigid in $\text{R}$ⁿ if every continuous path in $\text{R}$^nv, beginning at p and preserving the edge lengths of G(p), terminates at a point q ? $\text{R}$^nv which is the image (Tp₁,…, Tp_v) of p under an isometry T of $\text{R}$ⁿ. We here study the rigidity and infinitesimal rigidity of graphs, surfaces, and more general structures. A graph theoretic method for determining the rigidity of graphs in $\text{R}$² is discussed, followed by an examination of the rigidity of convex polyhedral surfaces in $\text{R}$³.     

On a duality for crossed products of C1-algebras

Let $\text{U}$ be a C¹-algebra, and G be a locally compact abelian group. Suppose α is a continuous action of G on $\text{U}$. Then there exists a continuous action $\text{}\text{?}$ga of the dual group $\text{G}\text{?}$ of G on the C¹-crossed product by α such that the C¹-crossed product is isomorphic to the tensor product and the C¹-algebra of all compact operators on L²(G).     

Some tree-star Ramsey Numbers

The Ramsey Number r(G₁, G₂) is the least integer N such that for every graph G with N vertices, either G has the graph G₁ as a subgraph or $\text{G}$, the complement of G, has the graph G₂ as a subgraph.In this paper we embed the paths P_m in a much larger class $\text{T}$ of trees and then show how some evaluations by T. D. Parsons of Ramsey numbers r(P_m, K_1,n), where K_1,n is the star of degree n, are also valid for r(T_m, K_1,n) where T_m ∈ $\text{T}$.     

Hyperspaces of compact sets in metric linear spaces

We write 2^x for the hyperspace of all non-empty compact sets in a complete metric linear space X topologized by the Hausdorff metric. Using the notation $\text{F}$(X) = {A ϵ 2^X: A is finite}, l^f₂ = {x} = (x_i) ϵ l₂: x_i = 0 for almost all i}, and l^σ₂ = {x = (x _i) ϵ l₂:σ^∞_i=1 (ix_i)² < ∞}, we have the following theorem:A family $\text{G}$ ⊂$\text{F}$(X) is homeomorphic to l^f₂ if $\text{G}$ is σ-fd-compact, the closure $\text{G}$ of $\text{G}$ in 2^x is not locally compact and if whenever A, B ∈ $\text{G}$, λ ∈ [0, 1] and C ⊂ λA + (1 - λ)B with card C⩽ max{card A, card B} then C ϵ $\text{G}$.Moreover, for any G_δ-AR-set $\text{G}$$\text{G}$ of $\text{G}$ with $\text{G}$$\text{G}$ ⊃ $\text{G}$ we have ($\text{G}$$\text{G}$, $\text{G}$)≅(l₂, l^ƒ₂).Similar conditions for hyperspaces to be homeomorphic to l^σ₂ are also established.     

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}$.     

A multiplication of distributions

If Ω denotes an open subset of $\text{R}$ⁿ (n = 1, 2,…), we define an algebra $\text{g}$ (Ω) which contains the space $\text{D}$′(Ω) of all distributions on Ω and such that $\text{C}{}^{\mathrm{\infty }}\text{(Ω)}$ is a subalgebra of $\text{G}$ (Ω). The elements of $\text{G}$ (Ω) may be considered as “generalized functions” on Ω and they admit partial derivatives at any order that generalize exactly the derivation of distributions. The multiplication in $\text{G}$(Ω) gives therefore a natural meaning to any product of distributions, and we explain how these results agree with remarks of Schwartz on difficulties concerning a multiplication of distributions. More generally if q = 1, 2,…, and $\text{?∈O}{}_{\mathrm{M}}\text{(}\text{R}{}^{\mathrm{2q}}\text{)}$—a classical Schwartz notation—for any G₁,…,G_q∈G(σ), we define naturally an element $\text{?G}{}_1\text{,…,G}{}_{\mathrm{q}}\text{∈G(σ)}$. These results are applied to some differential equations and extended to the vector valued case, which allows the multiplication of vector valued distributions of physics.     

On the existence of a free subgroup of finite index

Let G be a finitely generated accessible group. We will study the homology of G with coefficients in the left G-module H¹(G;$\text{Z}$[G]). This G-module may be identified with the G-module of continuous functions with values in $\text{Z}$ on the G-space of ends of G, quotiented by the constant functions. The main result is as follows: Suppose G is infinite, then the abelian group H₁(G;H¹(G;$\text{Z}$[G])) has rank 1 if G has a free subgroup of finite index and it has rank 0 if G has not.     

Hamiltonicity in (0–1)-polyhedra

The graph G(P) of a polyhedron P has a node corresponding to each vertex of P and two nodes are adjacent in G(P) if and only if the corresponding vertices of P are adjacent on P. We show that if P ? $\text{R}$ⁿ is a polyhedron, all of whose vertices have (0–1)-valued coordinates, then (i) if G(P) is bipartite, the G(P) is a hypercube; (ii) if G(P) is nonbipartite, then G(P) is hamilton connected. It is shown that if P ? $\text{R}$ⁿ has (0–1)-valued vertices and is of dimension d (≤n) then there exists a polyhedron P′ ? $\text{R}$^d having (0–1)-valued vertices such that $\text{G(P) ? G(P′)}$. Some combinatorial consequences of these results are also discussed.     

Automorphisms of the canonical anticommutation relations and index theory

Let H be a complex Hilbert space, P₊ an orthogonal projection on H, and P_? the complementary projection. If $\text{G}$ is any symmetrically normed ideal in the ring of bounded operators on H, then we consider the group of unitary operators on H such that P₊UP_?and P_?UP₊ lie in $\text{G}$. When $\text{G}$ is the Hilbert-Schmidt class, these unitaries define automorphisms of the C¹-algebra $\text{b}$ of the canonical anticommutation relations over H which are implementable in the representation of $\text{b}$ determined by P_?. We investigate the structure of the group $\text{U}$, proving in particular that it has infinitely many connected components, $\text{U}$_k, labelled by the Fredholm index of P₊UP₊. The connected component of the identity, $\text{U}$₀, is generated by unitaries of the form exp(iA), with A self-adjoint and P₊AP_? in $\text{G}$. Finally we consider an application of these results to two dimensional field theory, showing in particular that the charge and chiral charge quantum numbers arise as the Fredholm indices of P_±UP_± for certain unitary U on L²($\text{R}$, $\text{C}$²)     

The biweight enumerator of self-orthogonal binary codes

Let C be a binary code of length n and let J_C (a, b, c, d) be its biweight enumerator. If n is even and C is self-dual, then J_C is an element of the ring R^$\text{G}$ of absolute invariants of a certain group $\text{G}$. Under the additional assumption that all codewords of C have weight divisible by 4, a similar result holds with a different group. If n is odd and C is maximal self-orthogonal, then J_C is an element of a certain R^$\text{G}$-module. Again a similar result holds if the codewords of C have weights divisible by 4. The groups involved are related to finite groups generated by reflections. In this paper the structure of these groups is described, and polynomial bases for the rings and modules in question are obtained. This answers a question posed in The Theory of Error- correcting Codes by F.J. MacWilliams and N.J.A. Sloane.     

A class of extension properties that are not simply generated

Let $\text{P}$ be a closed-hereditary topological property preserved by products. Call a space $\text{P}$-regular if it is homeomorphic to a subspace of a product of spaces with $\text{P}$. Suppose that each $\text{P}$-regular space possesses a $\text{P}$-regular compactification. It is well-known that each $\text{P}$-regular space X is densely embedded in a unique space γ_scPX with $\text{P}$ such that if f: X → Y is continuous and Y has $\text{P}$, then f extends continuously to γ_scPX. Call $\text{P}$-pseudocompact if γ_scPX is compact.Associated with $\text{P}$ is another topological property $\text{P}$^#, possessing all the properties hypothesized for $\text{P}$ above, defined as follows: a $\text{P}$-regular space X has $\text{P}$^# if each $\text{P}$-pseudocompact closed subspace of X is compact. It is known that the $\text{P}$-pseudocompact spaces coincide with the $\text{P}$^#-pseudocompact spaces, and that $\text{P}$^# is the largest closed-hereditary, productive property for which this is the case. In this paper we prove that if $\text{P}$ is not the property of being compact and $\text{P}$-regular, then $\text{P}$^# is not simply generated; in other words, there does not exist a space E such that the spaces with $\text{P}$^# are precisely those spaces homeomorphic to closed subspaces of powers of E.