Matrix functions afforded by entries of unitary representations

Let G be a permutation group of degree m. Suppose $\text{σ→A(σ)=(ɑ}{}_{\mathrm{ij}}\text{(σ))}$ is an irreducible, unitary representation of G. If B=(b_ij) is an m-square matrix, define

$\text{d}{}_{\mathrm{ij}}\text{(B)=}\text{∑}\text{σ∈G}\text{ɑ}{}_{\mathrm{ij}}\text{(σ)}\text{π}\text{t=1}\text{m}\text{b}{}_{\mathrm{t\sigma (t)}}\text{.}$

The article reports the results of an investigation into the properties of these matrix functions.     

Eigenvalues of p-summing and lp-type operators in Banach spaces

This paper is a study of the distribution of eigenvalues of various classes of operators. In Section 1 we prove that the eigenvalues (λ_n(T)) of a p-absolutely summing operator, p ? 2, satisfy

$\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{?π}{}_{\mathrm{p}}\text{(T).}$

This solves a problem of A. Pietsch. We give applications of this to integral operators in L_p-spaces, weakly singular operators, and matrix inequalities.In Section 2 we introduce the quasinormed ideal Π₂⁽ⁿ⁾, P = (p₁, …, p_n) and show that for T ∈ Π₂⁽ⁿ⁾, 2 = (2, …, 2) ∈ Nⁿ, the eigenvalues of T satisfy

$\text{∑}\text{i∈N}\text{|λ}{}_{\mathrm{i}}\text{(T)|}{}^{\mathrm{<mtext>2</mtext><mtext>n</mtext>}}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}\text{?π}{}^{\mathrm{n}}{}_2\text{(T).}$

More generally, we show that for T ∈ Π_p⁽ⁿ⁾, P = (p₁, …, p_n), pi ? 2, the eigenvalues are absolutely p-summable,

$\text{1}\text{p}\text{=}\text{∑}\text{i=1}\text{n}\text{1}\text{p}{}_{\mathrm{i}}\text{and}\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{?C}{}_{\mathrm{p}}\text{π}{}^{\mathrm{n}}{}_{\mathrm{P}}\text{(T).}$

We also consider the distribution of eigenvalues of p-nuclear operators on L_r-spaces.In Section 3 we prove the Banach space analog of the classical Weyl inequality, namely

$\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}\text{? C}{}_{\mathrm{p}}\text{∑}\text{n∈N}\text{α}{}_{\mathrm{n}}\text{(T)}{}^{\mathrm{p}}$

, 0 < p < ∞, where α_n denotes the Kolmogoroff, Gelfand of approximation numbers of the operator T. This solves a problem of Markus-Macaev.Finally we prove that Hilbert space is (isomorphically) the only Banach space X with the property that nuclear operators on X have absolutely summable eigenvalues. Using this result we show that if the nuclear operators on X are of type l₁ then X must be a Hilbert space.     

On matrix functions which commute with their derivative

We improve several results published from 1950 up to 1982 on matrix functions commuting with their derivative, and establish two results of general interest. The first one gives a condition for a finite-dimensional vector subspace E(t) of a normed space not to depend on t, when t varies in a normed space. The second one asserts that if A is a matrix function, defined on a set ?, of the form A(t)= U diag(B₁(t),…,B_p(t)) U^-1, t ∈ ?, and if each matrix function B_k has the polynomial form

$\text{B}{}_{\mathrm{k}}\text{(t)=}\text{∑}\text{i=0}\text{α}{}_{\mathrm{k}}\text{f}{}_{\mathrm{ki}}\text{(t)C}{}_{\mathrm{k}}{}^{\mathrm{i}}\text{, t∈ ?, k∈{1,…,p}}$

then A itself has the polynomial form

$\text{A(t)=}\text{∑}\text{i=0}\text{d?1}\text{f}{}_{\mathrm{i}}\text{(t)C}{}^{\mathrm{i}}\text{,t∈?}$

, where

$\text{d=}\text{∑}\text{k=1}\text{p}\text{d}{}_{\mathrm{k}}$

, d_k being the degree of the minimal polynomial of the matrix C_k, for every k ∈ {1,…,p}.     

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.     

Parallel calculation of a linear mapping on a computer network

We are interested in the parallel computation of a linear mapping of n real variables by a network of computers with restricted means of communication between them and without any common memory. Let $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ denote the algebra of n×n real matrices, and let G be the graph associated with a binary, reflexive and symmetric relation R over {1,2, …,n}. We define

$\text{A}{}_{\mathrm{R}}\text{= {A?M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{):a}{}_{\mathrm{ij}}\text{≠ 0}\text{implies}\text{iRj}}$

A matrix $\text{M∈M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ is said to be realizable on G if it can be expressed as a product of elements of A_R. Therefore, every matrix of $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ is realizable on G if and only if A_R generates $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$. We show that A_R generates $\text{M}{}_{\mathrm{n\times n}}\text{(}\text{R}\text{)}$ if and only if G is connected.     

Smoothness and absolute convergence of Fourier series in compact totally disconnected groups

In this paper we study in the context of compact totally disconnected groups the relationship between the smoothness of a function and its membership in the Fourier algebra $\text{G}$G. Specifically, we define a notion of smoothness which is natural for totally disconnected groups. This in turn leads to the notions of Lipshitz condition and bounded variation. We then give a condition on α which if satisfied implies Lip_α(G) ? $\text{R}$(G). On certain groups this condition becomes: $\text{α >}\text{1}\text{2}$ (Bernstein's theorem). We then give a similar condition on α which if satisfied implies that Lip_α(G) ∈ BV(G) ? $\text{R}$(G). On certain groups this condition becomes: α > 0 (Zygmund's theorem). Moreover we show that $\text{α >}\text{1}\text{2}$ is best possible by showing that $\text{Lip}{}_{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(G)}$ ? $\text{R}$(G).     

Group structure and the pointwise ergodic theorem for connected amenable groups

Let G be a connected amenable group (thus, an extension of a connected normal solvable subgroup R by a connected compact group $\text{K =}\text{G}\text{R}$). We show how to explicitly construct sequences {U_n} of compacta in G in terms of the structural features of G which have the following property: For any “reasonable” action G × L^p(X, μ) ↓ L^p(X, μ) on an L^p space, 1 <p < ∞, and any f ∈ L^p(X, μ), the averages

$\text{A}{}_{\mathrm{n}}\text{f=}\text{1}\text{|U}{}_{\mathrm{n}}\text{|}\text{∫}\text{U}{}_{\mathrm{n}}\text{T}{}_{\mathrm{g}}{}^{\mathrm{?1f}}\text{dg (|E|=}\text{left Haar measure in}\text{G)}$

converge in L^p norm, and pointwise μ-a.e. on X, to G-invariant functions $\text{f1}$ in L^p(X, μ). A single sequence {U_n} in G works for all L^p actions of G. This result applies to many nonunimodular groups, which are not handled by previous attempts to produce noncommutative generalizations of the pointwise ergodic theorem.     

Perturbation theory for eigenvalues and resonances of Schrödinger hamiltonians

Suppose that e^2_?|x|V ∈ ReL^P(R³) for some p > 2 and for g ∈ R, H(g) = ? Δ + gV, H(g) = ?Δ + gV. The main result, Theorem 3, uses Puiseaux expansions of the eigenvalues and resonances of H(g) to study the behavior of eigenvalues λ(g) as they are absorbed by the continuous spectrum, that is $\text{λ(g) ↗6 0}\text{as}\text{g ↘5 g}{}_0\text{> 0}$. We find a series expansion in powers of $\text{(g ? g}{}_0\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{, λ(g) = ∑}{}_{\mathrm{n\; =\; 2}}{}^{\mathrm{\infty }}\text{a}{}_{\mathrm{n}}\text{(g ? g}{}_0\text{)}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}$ whose values for g < g₀ correspond to resonances near the origin. These resonances can be viewed as the traces left by the just absorbed eigenvalues.     

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

Asymptotic behavior of nonoscillatory solutions of nonlinear differential equations with retarded arguments

For nonlinear retarded differential equations $\text{y}{}^{\mathrm{2n}}\text{(t)?}\text{∑}\text{i=1}\text{m}\text{f}{}_{\mathrm{i}}\text{(t,y(t),y(g}{}_{\mathrm{i}}\text{(t)))=0}$ and $\text{y}{}^{\mathrm{n}}\text{(t)?}\text{∑}\text{i=1}\text{m}\text{P}{}_{\mathrm{i}}\text{(t)F}{}_{\mathrm{i}}\text{(y(g}{}_{\mathrm{i}}\text{(t)))=h(t),}$ the sufficient conditions are given on f_i, p_i, F_i, and h under which every bounded nonoscillatory solution of (${}^1$) or (${}^7$) tends to zero as t → ∞.     

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.     

The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

Polynomials which take Gaussian integer values at Gaussian integers

A factorial set for the Gaussian integers is a set G = {g₁, g₂ … g_n} of Gaussian integers such that $\text{G(z) =}\text{Π}{}_{\mathrm{k}}\text{(z ? g}{}_{\mathrm{k}}\text{)}\text{g}{}_{\mathrm{k}}$ takes Gaussian integer values at Gaussian integers. We characterize factorial sets and give a lower bound for $\text{max}{}_{\mathrm{<mtext>\parallel z\parallel 2=</mtext><mtext>n</mtext><mtext>\pi </mtext>}}\text{∥ G(z)∥}$. It is conjectured that there are infinitely many factorial sets. A Gaussian integer valued polynomial (GIP) is a polynomial with the title property. A bound similar to the above is given for max_∥z∥2=n ∥ G(z)∥ if G(z) is a GIP. There is a relation between factorial sets and testing for GIP's. We discuss this and close with some examples of factorial sets, and speculate on how to find more.     

A complete set of invariants for finite groups and other results

For a finite group G and a set I ? {1, 2,…, n} let

${}_{\mathrm{G}}\text{(n,I) = ∑}{}_{\mathrm{g\; \in \; G}}\text{ε}{}_1\text{(g)?ε}{}_2\text{(g)???ε}{}_{\mathrm{n}}\text{(g)}$

,where

$\text{ε}{}_{\mathrm{i}}\text{(g)=g}\text{if}\text{i=∈ I,}$

$\text{ε}{}_{\mathrm{l}}\text{(g)=l}\text{if}\text{i=∈ I.}$

We prove, among other results, that the positive integers

$\text{tr}\text{(e}{}_{\mathrm{G}}\text{(n,I}{}_1\text{)+?+e}{}_{\mathrm{G}}\text{(n,I}{}_{\mathrm{r}}\text{))}{}^{\mathrm{k}}\text{:n,r,k,?1, I}{}_{\mathrm{j}}\text{?{1,…,n}, 1?|i}{}_{\mathrm{j}}\text{|?3}$

for 1 ? j ? r, I_j1 ∩ I_j2 ∩ I_j3 ∩ I_j4 = Ø for any 1 ? j₁ <j₂ <j₃ <j₄ ? r, determine G up to isomorphism. We also show that under certain assumptions finite groups are determined up to isomorphism by the number of their subgroups.     

Scalar irreducibility of certain eigenspace representations

A sufficient condition for scalar irreducibility of a representation of a group on a topological vector space of the form $\text{{? ∈ C}{}^{\mathrm{\infty }}\text{(R}{}^{\mathrm{\infty }}\text{)∣p}{}_{\mathrm{\infty }}\text{(?)? = 0}\text{for}\text{j=1,…,r}}$ where p₁,…,p_r are polynomials is given. Applications include the differential operators that are invariant under the Cartan motion group of a symmetric space and the Laplace operator.     

Operator properties of Sobolev imbeddings over unbounded domains

For an open set Ω ? $\text{R}$^N, 1 ? p ? ∞ and λ ∈ $\text{R}$⁺, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm (cf. A. Pietsch, “r-nukleare Sobol. Einbett. Oper., Ellipt. Dgln. II,” Akademie-Verlag, Berlin, 1971, pp. 203–215). Choose a Banach ideal of operators $\text{U}$, 1 ? p, q ? ∞ and a quasibounded domain Ω ? $\text{R}$^N. Theorem 1 of the note gives sufficient conditions on λ such that the Sobolev-imbedding map $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the given Banach ideal $\text{U}$: Assume the quasibounded domain fulfills condition C_k^l for some l > 0 and 1 ? k ? N. Roughly this means that the distance of any $\text{x ? Ω}$ to the boundary ?Ω tends to zero as $\text{O(¦ x ¦}{}^{\mathrm{?l}}\text{)}$ for $\text{¦ x ¦ → ∞}$, and that the boundary consists of sufficiently smooth ?(N ? k)-dimensional manifolds. Take, furthermore, 1 ? p, q ? ∞, p > k. Then, if μ, ν are real positive numbers with λ = μ + v ∈ $\text{N}$, μ > λ _S($\text{U}$; p,q:N) and v > N/l · λ_D($\text{U}$;p,q), one has that $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ belongs to the Banach ideal $\text{U}$. Here λ_D($\text{U}$;p,q;N)∈$\text{R}$⁺ and λ_S($\text{U}$;p,q;N)∈$\text{R}$⁺ are the D-limit order and S-limit order of the ideal $\text{U}$, introduced by Pietsch in the above mentioned paper. These limit orders may be computed by estimating the ideal norms of the identity mappings l_pⁿ → l_qⁿ for n → ∞. Theorem 1 in this way generalizes results of R. A. Adams and C. Clark for the ideals of compact resp. Hilbert-Schmidt operators (p = q = 2) as well as results on imbeddings over bounded domains.Similar results over general unbounded domains are indicated for weighted Sobolev spaces.As an application, in Theorem 2 an estimate is given for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω fulfills condition C₁^l.For an open set Ω in $\text{R}$^N, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm, see below. Taking a fixed Banach ideal of operators and 1 ? p, q ? ∞, we consider quasibounded domains Ω in $\text{R}$^N and give sufficient conditions on λ such that the Sobolev imbedding operator $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the Banach ideal. This generalizes results of C. Clark and R. A. Adams for compact, respectively, Hilbert-Schmidt operators (p = q = 2) to general Banach ideals of operators, as well as results on imbeddings over bounded domains. Similar results over general unbounded domains may be proved for weighted Sobolev spaces. As an application, we give an estimate for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded open set in $\text{R}$^N.     

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.     

The chromatic polynomial of an unlabeled graph

We investigate the chromatic polynomial χ(G, λ) of an unlabeled graph G. It is shown that $\text{χ(G, λ) = (}\text{1}\text{|A(g)|}\text{) Σ}{}_{\mathrm{\pi \; \in \; A(g)}}\text{χ(g, π, λ)}$, where g is any labeled version of G, A(g) is the automorphism group of g and χ(g, π, λ) is the chromatic polynomial for colorings of g fixed by π. The above expression shows that χ(G, λ) is a rational polynomial of degree n = |V(G)| with leading coefficient $\text{1}\text{|A(g)|}$. Though χ(G, λ) does not satisfy chromatic reduction, each polynomial χ(g, π, λ) does, thus yielding a simple method for computing χ(G, λ). We also show that the number N(G) of acyclic orientations of G is related to the argument λ = ?1 by the formula $\text{N(G) = (}\text{1}\text{|A(g)|}\text{) Σ}{}_{\mathrm{\pi \; \in \; A(g)}}\text{(?1)}{}^{\mathrm{s(\pi )}}\text{χ(g, π, ?1)}$, where s(π) is the number of cycles of π. This information is used to derive Robinson's (“Combinatorial Mathematics V” (Proc. 5th Austral. Conf. 1976), Lecture Notes in Math. Vol. 622, pp. 28–43, Springer-Verlag, New York/Berlin, 1977) cycle index sum equations for counting unlabeled acyclic digraphs.     

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

The construction of stationary two-dimensional Markoff fields with an application to quantum field theory

It is shown that if φ(f)  ∝_R^dφ(y) f(y) dy is a Markoff random field and X_α are multiplicative functionals of φ (with E(X_α) = 1) which converge locally in L₁, then there exists a locally Markoff random field $\text{φ}{}_1$ such that $\text{E(exp(iφ}{}_1\text{(f))) =}\text{lim}{}_{\mathrm{\alpha }}\text{E(X}{}_{\mathrm{<mtext>\alpha </mtext>}}\text{exp}\text{(iφ(φ)))}$. We choose φ to be the two-dimensional generalization of the Ornstein-Uhlenbeck velocity process and take X_α proportional to exp(?λ∝_R² : P(φ(y)) : g_α(y) dy), where: P(φ(y)) : is a regularized even degree polynomial in φ(y). It is then proved that for an appropriate choice of g_α → 1 and small λ, {X_α} does converge locally in L₁ and that the corresponding $\text{φ}{}_1$ is stationary.