On the decomposition of the tensor algebra of the classical Lie algebras

Let $\text{g}$_n be the Lie algebra gl_n(C), let S($\text{g}$_n) be the symmetric algebra of $\text{g}$_n, and let T($\text{g}$_n) be the tensor algebra of $\text{g}$_n. In a recent paper, R. K. Gupta studied certain sequences of representations R_∞ = (R_n)^∞_{n = 1}, where R_n is a representation of $\text{g}$_n. These sequences have the property that every irreducible representation occurring in S($\text{g}$_n) is in exactly one of these sequences. Fixing f, she considers s(R_∞, f) which is the limit on n of the multiplicity of R_n in S^f($\text{g}$_n), the fth-graded piece of S($\text{g}$_n). She and R. P. Stanley independently showed that the limit s(R_∞, f) exists and is given by an amazingly elegant formula. They call s(R_∞, f) the stable multiplicity of R_n in S^f($\text{g}$_n). In this paper, an entirely different approach is used to extend the above result in several directions. Appropriately defined sequences R_∞ for all of the classical Lie algebras $\text{g}$_n are studied, and a simple formula for the stable multiplicity m(R)_∞, ψ, f, $\text{g}$_∞) of R_n in the ψ-isotypic component of T^f($\text{g}$_n), where ψ is any irreducible character of the symmetric group tS_f, is obtained. As in the work of Gupta and Stanley, the expressions for m(R)_∞, ψ, f, $\text{g}$_∞) are amazingly simple. Special cases include the stable decomposition of the tensor algebra, the symmetric algebra and the exterior algebra of $\text{g}$_n. As a byproduct of our proof, a “stable” decomposition of every isotypic component of T($\text{g}$_n) is obtained. This combinatorial decomposition is in some sense a generalization of Kostant's decomposition of S($\text{g}$_n) into direct sum of the harmonics and the ideal generated by the invariants of positive degree. To be precise, for f <n the combinatorial decomposition of T^f($\text{g}$_n) projects onto Kostant's decomposition of S^f($\text{g}$_n).     

The interval number of a complete multipartite graph

The interval number of a graph G, denoted i(G), is the least positive integer t for which G is the intersection graph of a family of sets each of which is the union of at most t closed intervals of the real line $\text{R}$. Trotter and Harary showed that the interval number of the complete bipartite graph K(m,n) is $\text{?}\text{(mn + 1)}\text{(m + n)}\text{?}$. Matthews showed that the interval number of the complete multipartite graph K(n₁,n₂,…,n_p) was the same as the interval number of K(n₁,n₂) when n₁ = n₂ = ? = n_p. Trotter and Hopkins showed that i(K(n₁,n₂,…,n_p)) ≤ 1 + i(K(n₁,n₂)) whenever p ≥ 2 and n₁≥n₂≥ ? ≥n_p. West showed that for each n ≥ 3, there exists a constant c_n so that if p ≥ c_n,n₁ = n²?n ?1, and n₂ = n₃ = ? n_p = n, then i(K(n₁,n₂,…,n_p) = 1 + i(K(n₁, n₂)). In view of these results, it is natural to consider the problem of determining those pairs (n₁,n₂) with n₁ ≥ n₂ so that i(K(n₂,…,n_p)) = i(K(n₁,n₂)) whenever p ≥ 2 and n₂ ≥ n₃ ≥ ? ≥ n_p. In this paper, we present constructions utilizing Eulerian circuits in directed graphs to show that the only exceptional pairs are (n² ? n ? 1, n) for n ≥ 3 and (7,5).     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

Brauer groups and Amitsur cohomology for general commutative ring extensions

Exact couples are interconnected families of long exact sequences extending the short exact sequences usually derived from spectral sequences. This is exploited to give a long exact sequence connecting Amitsur cohomology groups $\text{H>}{}^{\mathrm{n}}\text{(}\text{S}\text{R}\text{, U)}$ (where U means the multiplicative group) and $\text{H}{}^{\mathrm{n}}\text{(}\text{S}\text{R}\text{, Pic)}$ and a third sequence of groups Hⁿ(J), for every faithfully flat commutative R-algebra S. This same sequence is derived in another way without assuming faithful flatness and Hⁿ(J) is identified explicitly as a certain subquotient of a group of isomorphism classes of pairs (P, α) with P a rank one, projective Sⁿ-module and α an isomorphism from the coboundary of P (inPicS^{n + 1}) toS^{n + 1}. (Here Sⁿ denotes repeated tensor product of S over R.) This last formulation allows us to construct a homomorphism of the relative Brauer group $\text{B(}\text{S}\text{R}\text{)}$ to H²(J) which is a monomorphism when S is faithfully flat over R, and an isomorphism when some S-module is faithfully projective over R. The first approach also identifies H²(J) with Ker[H²(R, U)→H²(S, U)], where H²(R, U) denotes the ordinary, Grothendieck cohomology (in the étale topology, for example).     

Spectral theory of finite volume domains in Rn

Let Ω be an arbitrary open subset of $\text{R}$ⁿ of finite positive measure, and assume the existence of a subset Λ ? $\text{R}$ⁿ such that the exponential functions e_λ = exp i(λ₁x₁ + … + λ_nx_n), λ = (λ₁,…, λ_n) ∈ Λ, form an orthonormal basis for $\text{L}{}_2\text{(Ω)}$ with normalized measure. Assume 0 ∈ Λ and define subgroups K and A of ($\text{R}$ⁿ, +) by K = Λ⁰ = {γ ∈ $\text{R}$ⁿ:γ·λ ∈ 2π$\text{Z}$}, A = {a ∈ $\text{R}$ⁿ:U_a$\text{m}$ U1_a = $\text{m}$}, where U_t is the unitary representation of $\text{R}$ⁿ on $\text{L}{}_2\text{(Ω)}$ given by U_te = e^itλe_λ, t ∈ $\text{R}$ⁿ, λ ∈ Λ, and where $\text{m}$ is the multiplication algebra of $\text{L}{}_{\mathrm{\infty }}\text{(Ω)}$ on L₂. Assume that A is discrete. Then there is a discrete subgroup D ? A of dimension n, a fundamental domain $\text{D}$ for D, and finite sets of representers R_Λ, R_Γ, $\text{R}{}_{\mathrm{\Omega }}$, each containing 0, R_Λ for $\text{A}\text{K}$ in K⁰, and $\text{R}{}_{\mathrm{\Omega }}$ for $\text{A}\text{K}$ in A such that Ω is disjoint union of translates of $\text{D}$: Ω = ∪_a∈RΩ (a + $\text{D}$), neglecting null sets, and Λ = R_Λ ⊕ D⁰. If R_Γ is a set of representers for $\text{D}\text{A}$ in D, then Γ = R_Γ ⊕ K is a translation set for Ω, i.e., Ω ⊕ Γ = $\text{R}$ⁿ, direct sum, (neglecting null sets). The case A = $\text{R}$ⁿ corresponds to Ω = $\text{D}$, Λ = D⁰ and Γ = K. This last case corresponds in turn to a function theoretic assumption of Forelli.     

On the spectral synthesis problem for hypersurfaces of RN

Let F¹(Rⁿ) denote the Fourier algebra on $\text{R}$ⁿ, and $\text{D}$($\text{R}$ⁿ) the space of test functions on $\text{R}$ⁿ. A closed subset E of $\text{R}$ⁿ is said to be of spectral synthesis if the only closed ideal J in F¹(Rⁿ) which has E as its hull

$\text{h(J)={x ? R}{}^{\mathrm{n}}\text{:f(x)=0}\text{for all}\text{f ? J}}$

is the ideal

$\text{k(E)={f?F}{}^1\text{(R}{}^{\mathrm{n}}\text{):f(E)=0}}$

. We consider sufficiently regular compact subsets of smooth submanifolds of $\text{R}$ⁿ with constant relative nullity. For such sets E we give an estimate of the degree of nilpotency of the algebra $\text{(k(E)∩D(R}{}^{\mathrm{n}}\text{))}{}^{\mathrm{?}}\text{j(E)}$, where j(E) denotes the smallest closed ideal in F¹(Rⁿ) with hull E. Especially in the case of hypersurfaces this estimate turns out to be exact. Moreover for this case we prove that k(E)∩D(Rⁿ) is dense in k(E). Together this solves the synthesis problem for such sets.     

Phase reconstruction from magnitude of band-limited multidimensional signals

In this paper, the problem of phase reconstruction from magnitude of multidimensional band-limited functions is considered. It is shown that any irreducible band-limited function f(z₁…,z_n), z_i ? $\text{C}$, i=1, …, n, is uniquely determined from the magnitude of f(x₁…,x_n): | f(x₁…,x_n)|, x_i ? $\text{R}$, i=1,…, n, except for (1) linear shifts: ^{i(α1z1+…+α_n2n+β}), β, α_i?$\text{R}$, i=1,…, n; and (2) conjugation: $\text{f}{}^1\text{(z}{}_1{}^1\text{,…,z}{}_{\mathrm{n}}{}^1\text{)}$.     

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.     

Best quadrature formulas at equally spaced nodes

It has been known for some time that the trapezoidal rule $\text{T}{}_{\mathrm{n}}\text{f =}\text{1}\text{2}\text{f(0) + f(1) + … + f(n ? 1) +}\text{1}\text{2}\text{f(n)}$ is the best quadrature formula in the sense of Sard for the space W^1,p, all functions such that f′ ?L^p. In other words, the norm of the error functional Ef = ∝₀ⁿf(x) dx ? ∑_{k = 0}ⁿλ_kf(k) in W^1,p is uniquely minimized by the trapezoidal sum. This paper deals with quadrature formulas of the form ∑_{k = 0}ⁿ ∑_l?Jc_klf^(l)(k) where J is some subset of {0, 1,…, m ? 1}. For certain index sets J we identify the best quadrature formula for the space W^m,p, all functions such that f^(m)?L^p. As a result, we show that the Euler-Maclaurin quadrature formula

$\text{T}{}_{\mathrm{n}}\text{f +}\text{∑}\text{o<2v≤m}\text{B}{}_{\mathrm{2v}}\text{(2v)!}\text{(f (2v?1)(0) ? f (2v?1) (n))}$

is the best quadrature formula of the above form with J = {0, 1, 3,…, ?m ? 1} for the space W^m,p, providing m is an odd integer.     

Some improvements in Neuberger's iteration procedure for solving partial differential equations

If m and n are positive integers then let S(m, n) denote the linear space over R whose elements are the real-valued symmetric n-linear functions on E_m with operations defined in the usual way. If $\text{U}$ is a function from some sphere S in E_m to R then let $\text{U}$⁽ⁱ⁾(x) denote the ith Frechet derivative of $\text{U}$ at x. In general $\text{U}$⁽ⁱ⁾(x)∈S(m,i). In the paper “An Iterative Method for Solving Nonlinear Partial Differential Equations” [Advances in Math. 19 (1976), 245–265] Neuberger presents an iterative procedure for solving a partial differential equation of the form

$\text{AU}{}^{\mathrm{n}}\text{(x)=F(x, U(x), U′(x),…,U}{}^{\mathrm{k}}\text{(x))}$

, where k > n, $\text{U}$ is the unknown from some sphere in E_m to R, A is a linear functional on S(m, n), and F is analytic. The defect in the theory presented there was that in order to prove that the iterates converged to a solution $\text{U}$ the condition $\text{k ?}\text{n}\text{2}$ was needed. In this paper an iteration procedure that is a slight variation on Neuberger's procedure is considered. Although the condition $\text{k ?}\text{n}\text{2}$ cannot as yet be eliminated, it is shown that in a broad class of cases depending upon the nature of the functional A the restriction $\text{k ?}\text{n}\text{2}$ may be replaced by the restriction $\text{k ?}\text{3n}\text{4}$.     

Existence and comparison theorems for nonlinear diffusion systems

In this paper we prove existence, uniqueness, and regularity results for systems of nonlinear second order parabolic equations with boundary conditions of the Dirichlet, Neumann, and regular oblique derivative types. Let K(t) consist of all functions (v¹(x), v²(x),…, v^m(x)) from $\text{Ω ? R}{}^{\mathrm{n}}$ into R^m which satisfy ψⁱ(x, t) ? vⁱ(x) ? θⁱ(x, t) for all $\text{x ? Ω}\text{and}\text{1 ? i ? m}$, where ψⁱand θⁱ are extended real-valued functions on $\text{}\text{?}\text{gW × [0, T)}$. We find conditions which will ensure that a solution U(x, t) ≡ (u¹(x, t), u²(x, t),…, u^m(x, t)) which satisfies U(x, 0) ?K(0) will also satisfy U(x, t) ?K(t) for all 0 ? t < T. This result, which has some similarity to the Gronwall Inequality, is then used to prove a global existence theorem.     

A note on the probabilistic approach to Turán's problem

The Turán number T(n, l, k) is the smallest possible number of edges in a k-graph on n vertices such that every l-set of vertices contains an edge. Given a k-graph H = (V(H), E(H)), we let X_s(S) equal the number of edges contained in S, for any s-set S?V(H). Turán's problem is equivalent to estimating the expectation E(X_l), given that min(X_l) ≥ 1. The following lower bound on the variance of X_s is proved:

$\text{Var(X}{}_{\mathrm{s}}\text{)?mm}\text{n?2k}\text{s?k}\text{n}\text{s}{}^{\mathrm{?1}}\text{n}\text{k}{}^1$

, where m = |E(H)| and $\text{m}\text{= (}{}_{\mathrm{k}}{}^{\mathrm{n}}\text{) ? m}$. This implies the following: putting t(k, l) = lim_n→∞T(n, l, k)(_kⁿ)^?1 then t(k, l) ≥ T(s, l, k)((_k^s) ? 1)^?1, whenever s ≥ l > k ≥ 2. A connection of these results with the existence of certain t-designs is mentioned.     

A bound for the number of tournaments with specified scores

Let $\text{T}$(R) denote the set of all tournaments with score vector R = (r₁, r₂,…, r_n). R. A. Brualdi and Li Qiao (“Proceedings of the Silver Jubilee Conference in Combinatorics at Waterloo,” in press) conjectured that if R is strong with r₁ ≤ r₂ ≤ … ≤ r_n, then |$\text{T}$(R)| ≥ 2^n?2 with equality if and only if R = (1, 1, 2,…, n ? 3, n ? 2, n ? 2). In this paper their conjecture is proved, and this result is used to establish a lower bound on the cardinality of $\text{T}$(R) for every R.     

Orientable and nonorientable genus of the complete bipartite graph

K_m,n is the complete bipartite graph with m and n vertices in its chromatic classes. G. Ringel has proved that the orientable genus of K_m,n is equal to $\text{{}\text{(m ? 2)(n ? 2)}\text{4}\text{}}\text{if}\text{m ≥ 2}\text{and}\text{n ≥ 2}$ and that its nonorientable genus is equal to $\text{{}\text{(m ? 2)(n ? 2)}\text{2}\text{}}\text{if}\text{m ≥ 3}\text{and}\text{n ≥ 3}$. We give new proofs of these results.     

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.     

Pointwise convergence of eigenfunction expansions associated with ordinary differential operators

With an ordinary differential expression L = ∑ⁿ_k=0P_kD^k on an open interval I?$\text{r}$ is associated a selfadjoint operator H in a Hilbert space, possibly beyond $\text{K}$=L²(l). The set $\text{D}$H∩$\text{K}$ only depends on the generalized spectral family associated with H. It is shown that the (differentiated) eigenfunction expansion given by H converges uniformly on compact subintervals of l for functions in $\text{D}$(H)∩$\text{L}$ In case H is a semibounded selfadjoint operator in $\text{K}$=L²T, a similar result is proved for functions in $\text{D}$|H|, which is the set of all $\text{K}$∈$\text{K}$ for which there exists a sequence f_n∈(H) such that f_n→f in $\text{H}$ and (H(f_n ? f_m), f_n ? f_m → 0 as n, m → ∞.     

Representations for eigenfunctions of expected value operators in the Wishart distribution

Recent articles by Kushner and Meisner (1980) and Kushner, Lebow and Meisner (1981) have posed the problem of characterising the ‘EP’ functions f(S) for which Ef(S) for which E(f(S)) = λ_nf(Σ) for some λ_n ? $\text{R}$, whenever the m × m matrix S has the Wishart distribution W(m, n, Σ). In this article we obtain integral representations for all nonnegative EP functions. It is also shown that any bounded EP function is harmonic, and that EP polynomials may be used to approximate the functions in certain L^p spaces.