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.     

On the convergence of the Neumann series in interval analysis

Let $\text{A}$ be a real or complex n × n interval matrix. Then it is shown that the Neumann series $\text{Σ}{}^{\mathrm{\infty }}{}_{\mathrm{k=0}}\text{A}{}^{\mathrm{k}}$ is convergent iff the sequence {$\text{A}$^k} converges to the null matrix $\text{O}$, i.e., iff the spectral radius of the real comparison matrix $\text{B}$ constructed in [2] is less than one.     

Sur la compatibilité des extensions ponctuelles d'un matroïde

A natural sufficient condition for a finite family of single element extensions of a matroid to be compatible is given. Characterizations of all the finite extensions N of a matroid M(E) are given for which the rank function satisfies

$\text{ρ}{}_{\mathrm{N}}\text{(X)=}\text{Min}\text{Z?E}\text{{ρ}{}_{\mathrm{M}}\text{(Z)+|X?}\text{Z}{}^{\mathrm{N}}\text{|}}$

or equivalently the closure operator satisfies $\text{X}{}^{\mathrm{N}}\text{=}\text{X}{}^{\mathrm{N}}\text{? E}{}^{\mathrm{N}}\text{? X}$. The single element extensions and the principal extensions are examples of such matroids. The notion of a sheaf of flats of M. Las Vergnas is used in the proof of a new necessary and sufficient condition for two single element extensions of a matroid to be compatible. An initial announcement of part of these results appeared in R. Cordovil (C. R. Acad. Sci. Paris. A284 (1977), 1249–1252).     

Subproper splitting for rectangular matrices

In this paper iterative schemes for approximating a solution to a rectangular but consistent linear system Ax = b are studied. Let A?C^{m × n}_r. The splitting A = M ? N is called subproper if R(A) ? R(M) and $\text{R(A}{}^1\text{) ?R(M}{}^1\text{)}$. Consider the iteration $\text{x}{}_{\mathrm{i}}\text{= M}{}^2\text{Nx}{}_{\mathrm{i}}{}_{\mathrm{?1}}\text{+ M}{}^2\text{b}$. We characterize the convergence of this scheme to a solution of the linear system. When A?R^m×ⁿ_r, monotonicity and the concept of subproper regular splitting are used to determine a necessary and a sufficient condition for the scheme to converge to a solution.     

Sur la compacité des multimesures (I)On compactness of set-valued measures (I)

Let $\text{M}{}_{\mathrm{+}}\text{(T,}\text{K}\text{,}\text{ck}\text{(E))}$ be the space of positive $\text{K}$-regular set-valued measures defined on a σ-algebra $\text{B}$ with values in the space of all compact non empty convex subsets of a Banach space E. We characterize the compact subsets of $\text{M}{}_{\mathrm{+}}\text{(T,}\text{K}\text{,}\text{ck}\text{(E))}$ endowed with the weakest topology for which all mappings M→M(A), $\text{A∈}\text{B}$ are continuous. The case of real nonnegative measures has been investigated by Topsøe [6], Grothendieck [3] and others. To cite this article: K.K. Siggini, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 949–952.     

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.     

On a conjecture by D. Ž. D̄okovic

It is shown that if $\text{A?Ω}{}_{\mathrm{n}}\text{?{J}{}_{\mathrm{n}}\text{}}$ satisfies

$\text{nkσ}{}_{\mathrm{k}}\text{(A)?(n?k+1)}{}^2\text{σ}{}_{\mathrm{k?1}}\text{(A)}$

$\text{(k=1,2,…,n)}$

, where σ_k(A) denotes the sum of all kth order subpermanent of A, then Per[λJ_n+(1?λ)A] is strictly decreasing in the interval 0<λ<1.     

Spectral theory of commuting self-adjoint partial differential operators

Let Ω denote a connected and open subset of $\text{R}$ⁿ. The existence of n commuting self-adjoint operators H₁,…, H_n on $\text{L}{}^2\text{(Ω)}$ such that each H_j is an extension of $\text{−}\text{i∂}\text{∂x}{}_{\mathrm{j}}$ (acting on $\text{C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(Ω))}$ is shown to be equivalent to the existence of a measure μ on $\text{R}$ⁿ such that f → $\text{}\text{̂}$tf (the Fourier transform of f) is unitary from $\text{L}{}^2\text{(Ω)}$ onto Ω. It is shown that the support of μ can be chosen as a subgroup of $\text{R}$ⁿ iff H₁,…, H_n can be chosen such that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$. This happens iff Ω (after correction by a null set) forms a system of representatives for the quotient of $\text{R}$ⁿ by some subgroup, i.e., iff Ω is essentially a fundamental domain.     

Positive operators on the n-dimensional ice cream cone

Let $\text{K}{}_{\mathrm{n}}\text{= {x ? R}{}^{\mathrm{n}}\text{: (x}{}_1{}^2\text{+ · +x}{}^2{}_{\mathrm{n?1}}\text{)}\text{1}\text{2}\text{? x}{}_{\mathrm{n}}\text{}}$ be the n-dimensional ice cream cone, and let Γ(K_n) be the cone of all matrices in $\text{R}$ⁿⁿ mapping K_n into itself. We determine the structure of Γ(K_n), and in particular characterize the extreme matrices in Γ(K_n).     

Limit distributions for the maxima of stationary Gaussian processes

Let {X_n} be a stationary Gaussian sequence with E{X₀} = 0, {X²₀} = 1 and E{X₀X_n} = rⁿ_n Let c_n = (2ln n)^{$\text{built1}\text{2}$}, b_n = c_n? $\text{1}\text{2}$c^-1_n ln(4π ln n), and set M_n = max_{0 ?k?n}X_k. A classical result for independent normal random variables is that

$\text{P[c}{}_{\mathrm{n}}\text{(M}{}_{\mathrm{n}}\text{?b}{}_{\mathrm{n}}\text{)?x]→exp[-e}{}^{\mathrm{-x}}\text{] as n → ∞ for all x.}$

Berman has shown that (1) applies as well to dependent sequences provided r_nlnn = o(1). Suppose now that {r_n} is a convex correlation sequence satisfying r_n = o(1), (r_nlnn)^-1 is monotone for large n and o(1). Then

$\text{P[r}{}_{\mathrm{n}}{}^{\mathrm{<mtext>-1</mtext><mtext>2</mtext>}}\text{(M}{}_{\mathrm{n}}\text{? (1?r}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{b}{}_{\mathrm{n}}\text{)?x] → Ф(x)}$

for all x, where Ф is the normal distribution function. While the normal can thus be viewed as a second natural limit distribution for {M_n}, there are others. In particular, the limit distribution is given below when r_n is (sufficiently close to) γ/ln n. We further exhibit a collection of limit distributions which can arise when r_n decays to zero in a nonsmooth manner. Continuous parameter Gaussian processes are also considered. A modified version of (1) has been given by Pickands for some continuous processes which possess sufficient asymptotic independence properties. Under a weaker form of asymptotic independence, we obtain a version of (2).     

Measuring flatness in linear spaces

Let L be a finite-dimensional normed linear space and let M be a compact subset of L lying on one side of a hyperplane through 0. A measure of flatness for M is the number $\text{D(M) =}\text{inf}\text{{}\text{sup}\text{f(x)}\text{f(y)}\text{: x, y ? M}}$, where the infimum is over all f in $\text{L}{}^1$ which are positive on M. Thus D(M) = 1 if M is flat, but otherwise D(M) > 1. On the other hand, let E(M) be a second measure on M defined as follows: If M is linearly independent, E(M) = 1. If M is linearly dependent, then (1) let Z be a minimal, linearly dependent subset of M; (2) partition Z into mutually exclusive subsets U = {u₁, …, u_p} and V = {v₁, …, v_q} such that there exist positive coefficients a_i and b_i for which Σ_{i = 1}^pa_iu_i = Σ_{i = 1}^qb_iv_i; (3) let $\text{r =}\text{max}\text{{}\text{Σ}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{p}}\text{a}{}_{\mathrm{i}}\text{Σ}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{q}}\text{b}{}_{\mathrm{i}}\text{,}\text{Σ}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{p}}\text{b}{}_{\mathrm{i}}\text{Σ}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{q}}\text{a}{}_{\mathrm{i}}\text{}}$; (4) let E(M) be the supremum of all ratios r which can be formed by steps (1), (2) and (3). The main result of this paper is that these two measures are the same: D(M) = E(M). This result is then used to obtain results concerning the Banach distance-coefficient between an arbitrary finite-dimensional normed linear space and Hilbert space.     

Duality in hypercomplex function theory

Let $\text{A}$ be the Clifford algebra constructed over a quadratic n-dimensional real vector space with orthogonal basis {e₁,…, e_n}, and e₀ be the identity of $\text{A}$. Furthermore, let M_k(Ω;$\text{A}$) be the set of $\text{A}$-valued functions defined in an open subset Ω of R^m+1 (1 ? m ? n) which satisfy D^kf = 0 in Ω, where D is the generalized Cauchy-Riemann operator $\text{D = ∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{m}}\text{e}{}_{\mathrm{i}}\text{(}\text{?}\text{?x}{}_{\mathrm{i}}\text{)}$ and k? N. The aim of this paper is to characterize the dual and bidual of M_k(Ω;$\text{A}$). It is proved that, if M_k(Ω;$\text{A}$) is provided with the topology of uniform compact convergence, then its strong dual is topologically isomorphic to an inductive limit space of Fréchet modules, which in its turn admits M_k(Ω;$\text{A}$) as its dual. In this way, classical results about the spaces of holomorphic functions and analytic functionals are generalized.     

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.     

Canonical forms for linear systems

This paper considers canonical forms for the similarity action of Gl(n) on $\text{∑}{}_{\mathrm{n,m}}\text{={(A,B)∈}\text{C}{}^{\mathrm{n}}\text{·}{}^{\mathrm{n}}\text{×}\text{C}{}^{\mathrm{n}}\text{·}{}^{\mathrm{m}}\text{}}$:

$\text{Gl(n×∑}{}_{\mathrm{n,m}}\text{→∑}{}_{\mathrm{n,m}}$

,

$\text{(H,(A,B))?(HAH}{}^{-1}\text{,HB)}$

Those canonical forms are obtained as an application of a more general method to select canonical elements M_c in the orbits $\text{O}{}_{\mathrm{M}}$ of a matrix group G acting on a set of matrices $\text{M}\text{?}\text{C}{}^{\mathrm{l}}\text{·}{}^{\mathrm{p}}$. We define a total order (?) on $\text{C}{}^{\mathrm{l}}\text{·}{}^{\mathrm{p}}$, different from the lexicographic order ^l? [0^l?x ? x <0, but $\text{0?x≠0 for x∈}\text{R}\text{]}$ and consider normalized $\text{O}{}_{\mathrm{M}}$-elements with a minimal number of parameters:

$\text{min{}\text{M}\text{?}\text{∈}\text{O}{}_{\mathrm{M}}\text{:}\text{M}\text{?}\text{normalized}}$

It is shown that the row and column echelon forms, the Jordan canonical form, and “nice” control canonical forms for reachable (A,B)-pairs have a homogeneous interpretation as such (?)-minimal orbit elements. Moreover new canonical forms for the general action (?) are determined via this method.     

On Lp-spectrum of elliptic operators

For elliptic operators $\text{A = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{a}{}_{\mathrm{\alpha }}\text{(x) D}{}^{\mathrm{\alpha }}$ on Rⁿ and certain of their singular perturbations $\text{B = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{b}{}_{\mathrm{\alpha }}\text{(x)D}{}^{\mathrm{\alpha }}$ relative compactness of B with respect to A is established. This result applies to the study of L^p-spectra of elliptic operators for different p.     

Algebras containing a divisible unimodular sequence with dense self adjoint span

We characterize the uniform algebras A on a compact Hausdorff space X which contain a sequence {u_j}_{j = 0}^∞ of unimodular elements with $\text{u}{}_{\mathrm{j}}\text{u}{}_{\mathrm{j\; ?\; 1}}\text{? A}$ and closed span $\text{{u}{}_{\mathrm{j}}\text{u}\text{}}{}_{\mathrm{j\; =\; 0}}{}^{\mathrm{\infty }}\text{= C(X)}$ in terms of the maximal ideal space of A. Roughly, the essential set of A looks like (at most) countably many copies of the boundary of the unit disk, and A looks like the disk algebra on each.     

Radial bounds for perturbations of elliptic operators

Elliptic operators $\text{A = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{b}{}_{\mathrm{\alpha }}\text{(x) D}{}^{\mathrm{\alpha }}$, α a multi-index, with leading term positive and constant coefficient, and with lower order coefficients defined on $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}$ or a quotient space $\text{R}{}^{\mathrm{n}}\text{R}{}^{\mathrm{n}}\text{U}{}_{\mathrm{\alpha }}\text{, U}{}_{\mathrm{\alpha }}\text{? R}{}^{\mathrm{n}}$ are considered. It is shown that the L^p-spectrum of A is contained in a “parabolic region” Ω of the complex plane enclosing the positive real axis, uniformly in p. Outside Ω, the kernel of the resolvent of A is shown to be uniformly bounded by an L¹ radial convolution kernel. Some consequences are: A can be closed in all L^p (1 ? p ? ∞), and is essentially self-adjoint in L² if it is symmetric; A generates an analytic semigroup e^?tA in the right half plane, strongly L^p and pointwise continuous at t = 0. A priori estimates relating the leading term and remainder are obtained, and summability $\text{φ(εA)?→}{}_{\mathrm{\epsilon \; \to \; 0}}\text{φ(0) ?}$, with φ analytic, is proved for $\text{? ? L}{}^{\mathrm{p}}$, with convergence in L^p and on the Lebesgue set of ?. More comprehensive summability results are obtained when A has constant coefficients.     

A Feynman-Kac gauge for solvability of the Schrödinger equation

Let {X_t, t ≥ 0} be Brownian motion in $\text{R}$^d (d ≥ 1). Let D be a bounded domain in $\text{R}$^d with C² boundary, ?D, and let q be a continuous (if d = 1), Hölder continuous (if d ≥ 2) function in D?. If the Feynman-Kac “gauge” E_x{exp(∝₀^τ_Dq(X_t)dt)1_A(X_τD)}, where τ_D is the first exit time from D, is finite for some non-empty open set A on ?D and some x?D, then for any $\text{? ? C}{}^0\text{(?D}$), is the unique solution in $\text{C}{}^2\text{(D) ∩ C}{}^0\text{(}\text{D}\text{?}\text{)}$ of the Schrödinger boundary value problem $\text{(}\text{1}\text{2}\text{Δ}\text{+ q)φ = 0}\text{in}\text{D, φ = ?}\text{on}\text{?D}$.     

Generalized Schur complements

Let A be an n×n complex matrix. For a suitable subspace $\text{M}$ of Cⁿ the Schur compression A _$\text{M}$ and the (generalized) Schur complement A_/$\text{M}$ are defined. If A is written in the form

$\text{A=}\text{B}\text{C}\text{S}\text{T}$

according to the decomposition $\text{C}{}^{\mathrm{n}}\text{=}\text{M}\text{⊕}\text{M}{}^{\mathrm{\perp }}$ and if B is invertible, then

$\text{A}{}_{\mathrm{<mtext>M</mtext>}}\text{=}\text{B}\text{C}\text{S}\text{SB}{}^{\mathrm{?1}}\text{C}$

and

$\text{A}{}_{\mathrm{<mtext>/</mtext><mtext>M</mtext>}}\text{=}\text{0}\text{0}\text{0}\text{T?SB}{}^{\mathrm{?1}}\text{C}\text{·}$

The commutativity rule for Schur complements is proved:

$\text{(A}{}_{\mathrm{<mtext>/</mtext><mtext>M</mtext>}}\text{)}{}_{\mathrm{<mtext>/</mtext><mtext>N</mtext>}}\text{=(A)}{}_{\mathrm{<mtext>/</mtext><mtext>N</mtext>}}\text{)}{}_{\mathrm{<mtext>/</mtext><mtext>M</mtext>}}\text{·}$

This unifies Crabtree and Haynsworth's quotient formula for (classical) Schur complements and Anderson's commutativity rule for shorted operators. Further, the absorption rule for Schur compressions is proved:

$\text{(A}{}_{\mathrm{<mtext>/</mtext><mtext>M</mtext>}}\text{)}{}_{\mathrm{<mtext>N</mtext>}}\text{=(A}{}_{\mathrm{<mtext>N</mtext>}}\text{)}{}_{\mathrm{<mtext>M</mtext>}}\text{=A}{}_{\mathrm{<mtext>M</mtext>}}\text{whenever}\text{M}\text{?}\text{N}$

.     

A short elementary proof of Grothendieck's theorem on algebraic vectorbundles over the projective line

Let E be an algebraic (or holomorphic) vectorbundle over the Riemann sphere $\text{P}$¹($\text{C}$). Then Grothendieck proved that E splits into a sum of line bundles E = ⊕L_i and the isomorphism classes of the L_i are (up to order) uniquely determined by E. The L_i in turn are classified by an integer (their Chern numbers) so that m-dimensional vectorbundles over $\text{P}$¹$\text{C}$ are classified by an m-tuple of integers

$\text{κ(E) = (κ}{}_1\text{(E),…,κ}{}_{\mathrm{m}}\text{(E)), κ}{}_1\text{(E)≥?≥κ}{}_{\mathrm{m}}\text{(E), κ}{}_{\mathrm{i}}\text{(E)∈}\text{Z}$

.In this short note we present a completely elementary proof of these facts which, as it turns out, works over any field k.