Uniqueness of the uniform norm and adjoining identity in Banach algebras

LetA _e be the algebra obtained by adjoining identity to a non-unital Banach algebra (A, ∥ · ∥). Unlike the case for aC*-norm on a Banach *-algebra,A _e admits exactly one uniform norm (not necessarily complete) if so doesA. This is used to show that the spectral extension property carries over fromA to A _e . Norms onA _e that extend the given complete norm ∥ · ∥ onA are investigated. The operator seminorm ∥ · ∥_op onA _e defined by ∥ · ∥ is a norm (resp. a complete norm) iffA has trivial left annihilator (resp. ∥ · ∥_op restricted toA is equivalent to ∥ · ∥).     

The ultrametric corona problem

Let K be a complete ultrametric algebraically closed field and let A be the K-Banach algebra of bounded analytic functions in the disk D: |x| < 1. Let Mult(A, ∥ · ∥) be the set of continuous multiplicative semi-norms of A, let Mult _m (A, ∥ · ∥) be the subset of the ϕ ∈ Mult(A, ∥ · ∥) whose kernel is a maximal ideal and let Mult _a (A, ∥ · ∥) be the subset of the ϕ ∈ Mult _m (A, ∥ · ∥) whose kernel is of the form (x − a)A, a ∈ D ( if ϕ ∈ Mult _m (A, ∥ · ∥) \ Mult _a (A, ∥ · ∥), the kernel of ϕ is then of infinite codimension). We examine whether Mult _a (A, ∥ · ∥) is dense inside Mult _m (A, ∥ · ∥) with respect to the topology of simple convergence. This a first step to the conjecture of density of Mult _a (A, ∥ · ∥) in the whole set Mult(A, ∥ · ∥): this is the corresponding problem to the well-known complex corona problem. We notice that if ϕ ∈ Mult _m (A, ∥ · ∥) is defined by an ultrafilter on D, then ϕ lies in the closure of Mult _a (A, ∥ · ∥). Particularly, we show that this is case when a maximal ideal is the kernel of a unique ϕ ∈ Multm(A, ∥ · ∥). Particularly, when K is strongly valued all maximal ideals enjoy this property. And we can prove this is also true when K is spherically complete, thanks to the ultrametric holomorphic functional calculus. More generally, we show that if ψ ∈ Mult(A, ∥ · ∥) does not define the Gauss norm on polynomials (∥ · ∥), then it is defined by a circular filter, like on rational functions and analytic elements. As a consequence, if ψ ∈ Multm(A, ∥ · ∥) \ Multa(A, ∥ · ∥) or if φ does not lie in the closure of Mult _a (A, ∥ · ∥), then its restriction to polynomials is the Gauss norm. The first situation does happen. The second is unlikely. The text was submitted by the authors in English.     

Sur les a Algèbres Préhilbertiennes Vérifiant ∥a 2∥ ≤ ∥a∥2

Résumé.  Soit A une algèbre réelle sans diviseurs de zéro. On suppose que l’espace vectoriel A est muni d’une norme ∥.∥ préhilbertienne vérifiant ∥a ²∥ ≤ ∥a∥² pour tout . Alors A est de dimension finie dans chacun des quatre cas suivants :

A Characterization and the Intersection of the Maximal Compatible Extensions of a Partial Order

We present a characterization of the maximal compatible extensions of a given compatible partial order ≤  _r on a unary algebra (A,f ). These extensions can be constructed by using the compatible linear extensions of ≤  _r*, where (A*,f*) is the so called contracted quotient algebra of (A,f) and the compatible partial order ≤  _r* on (A*,f*) is naturally induced by ≤  _r . Using this characterization, we determine the intersection of the maximal compatible extensions of ≤  _r .      

Testing linear operators—An average case study

Given a specification linear operatorS, we want to test an implementation linear operatorA and determine whether it conforms to the specification operator according to an error criterion. In an earlier paper [3], we studied a worst case error in which we test whether the error is no more than a given bound ε>0 for all elements in a given setF, i.e., sup _{fεf∥Sf—Af∥≤ε}. In this work, we study the average error instead, i. e., ∫ _F ∥Sf-Af∥²μ(df)ɛ≤², where μ is a probability measure onF. We assume that an upper boundK on the norm of the difference ofS andA is given a priori. It turns out that any finite number of tests is in general inconclusive with the average error. Therefore, as in the worst case, we allow a relaxation parameter α>0 and test for weak conformance with an error bound (1+α)ε. Then a finite number of tests from an arbitrary orthogonal complete sequence is conclusive. Furthermore, the eigenvectors of the covariance operatorC _μ of the probability measure μ provide an almost optimal test sequence. This implies that the test set isuniversal; it only depends on the set of valid inputsF and the measure μ, and is independent ofS, A, and the other parameters of the problem. However, the minimal number of tests does depend on all the parameters of the testing problem, i.e., ε, α,K, and the eigenvalues ofC _μ. In contrast to the worst case setting, it also depends on the dimensiond of the range space ofS andA. This work was done while consulting at Bell Laboratories, and is partially supported by the National Science Foundation and the Air Force Office of Scientific Research.     

Quelques Résultats sur les Algèbres Flexibles Préhilbertiennes sans Diviseurs de Zéro Vérifiant ∥a 2∥ = ∥a∥2

Résumé. Soit A une algèbre réelle. On suppose que l’espace vectoriel A est muni d’une norme ∥.∥ préhilbertienne vérifiant ∥a ²∥ = ∥a∥² pour tout . Si A est flexible, sans diviseurs de zéro et de dimension ≤ 4, alors A est isomorphe à ou , ce qui généralise un théorème d’El-Mallah [1]. Si A est flexible, sans diviseurs de zéro, contenant un idempotent central et vérifiant la propriété d’Osborn, alors A est de dimension finie et isomorphe à , ou . Enfin nous montrons qu’une algèbre normée préhilbertienne unitaire d’unité e telle que ∥e∥ = 1 est flexible et vérifie ∥a ²∥ = ∥ a∥².

---

Let A be a real algebra. Assuming that a vector space A is endowed with a pre-Hilbert norm ∥.∥ satisfying ∥a ²∥ = ∥a∥² for all . If A is flexible, without divisor of zero and of a dimension ≤ 4, then A is isomorphic to or , which generalize El-Mallah’s theorem [1]. If A is flexible, without divisor of zero, containing a central idempotent and satisfying Osborn’s properties, then A is finite dimensional and isomorphic to , or . Finally we prove that a normed pre-Hilbert algebra with unit e such that ∥e∥ = 1 is flexible and satisfies ∥a ²∥ = ∥a∥².

     

Von Neumann-Jordan Constants of Absolute Normalized Norms on C^n

In this note, we give some estimations of the Von Neumann-Jordan constant C _{N J} (∥·∥_ψ) of Banach space (ℂ ⁿ , ∥·∥_ψ), where ∥·∥_ψ is the absolute normalized norm on ℂ ⁿ given by function ψ. In the case where ψ and φ are comparable, n=2 and C _{N J} (∥·∥_ψ)=1, we obtain a formula of computing C _{N J} (∥·∥_ψ). Our results generalize some results due to Saito and others. Received May 11, 2002, Accepted November 20, 2002 This work is partly supported by NNSF of China (No. 19771056)     

Integral inequalities with weights for maxiamal operators

Let μ be a measure on the upper half-space R ₊ ⁿ⁺¹ , and v a weight onR ⁿ, we give a characterization for the pair (v, μ) such that ∥M(fv)∥_{L Θ (μ}) ⩽ c ∥f∥_{L Θ (μ}), where Φ is an N-function satisfying Δ₂ condition andMf(x,t), is the maximal function onR ₊ ⁿ⁺¹ , which was introduced by Ruiz, F. and Torrea, J.. Supported by NSFC.     

Approximating the complexity measure of Vavasis-Ye algorithm is NP-hard

Given an m×n integer matrix A of full row rank, we consider the problem of computing the maximum of ∥B ^-1 A∥₂ where B varies over all bases of A. This quantity appears in various places in the mathematical programming literature. More recently, logarithm of this number was the determining factor in the complexity bound of Vavasis and Ye’s primal-dual interior-point algorithm. We prove that the problem of approximating this maximum norm, even within an exponential (in the dimension of A) factor, is NP-hard. Our proof is based on a closely related result of L. Khachiyan [1]. Received November 13, 1998 / Revised version received January 20, 1999? Published online May 12, 1999     

L P boundedness of area function associated with operators on product spaces

Let L be the infinitesimal generator of an analytic semigroup on L2 (Rn) with suitable upper bounds on its heat kernels. Assume that L has a bounded holomorphic functional calculus on L2(Rn). In this paper,we define the Littlewood- Paley g function associated with L on Rn × Rn, denoted by GL(f)(x1, x2), and decomposition, we prove that ‖SL(f)‖p ≈‖GL(f)‖p ≈‖f‖p for 1 ＜ p ＜∞.     

L^p-gradient Estimates of Symmetric Markov Semigroups for 1 〈 p ≤ 2

For 1 〈 p ≤2, an L^p-gradient estimate for a symmetric Markov semigroup is derived in a general framework, i.e. ‖Γ^/2（Ttf）‖p≤Cp/√t‖p, where F is a carre du champ operator. As a simple application we prove that F1/2（（I- L） ^-α） is a bounded operator from L^p to L^v provided that 1 〈 p 〈 2 and 1/2〈α〈1. For any 1 〈 p 〈 2, q 〉 2 and 1/2 〈α 〈 1, there exist two positive constants cq,α,Cp,α such that ‖Df‖p≤ Cp,α‖（I - L）^αf‖p,Cq,α（I-L）^（1-α）‖Df‖q＋‖f‖q, where D is the Malliavin gradient （[2]） and L the Ornstein-Uhlenbeck operator.     

Commuting extensions and cubature formulae

Based on a novel point of view on 1-dimensional Gaussian quadrature, we present a new approach to d-dimensional cubature formulae. It is well known that the nodes of 1-dimensional Gaussian quadrature can be computed as eigenvalues of the so-called Jacobi matrix. The d-dimensional analog is that cubature nodes can be obtained from the eigenvalues of certain mutually commuting matrices. These are obtained by extending (adding rows and columns to) certain noncommuting matrices A₁,...,A_d, related to the coordinate operators x₁,...,x_d, in R^d. We prove a correspondence between cubature formulae and “commuting extensions” of A₁,...,A_d, satisfying a compatibility condition which, in appropriate coordinates, constrains certain blocks in the extended matrices to be zero. Thus, the problem of finding cubature formulae can be transformed to the problem of computing (and then simultaneously diagonalizing) commuting extensions. We give a general discussion of existence and of the expected size of commuting extensions and briefly describe our attempts at computing them.     

Toeplitz condition numbers as an <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript> interpolation problem

The condition numbers CN(T) = ∥T∥ · ∥T⁻¹∥ of Toeplitz and analytic n × n matrices T are studied. It is shown that the supremum of CN(T) over all such matrices with ∥T∥ ≤ 1 and the given minimum of eigenvalues r = min |λ_i| > 0 behaves as the corresponding supremum over all n × n matrices (i.e., as (Kronecker)), and this equivalence is uniform in n and r. The proof is based on a use of the Sarason-Sz.Nagy-Foias commutant lifting theorem. Bibliography: 2 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 355, 2008, pp. 173–179.     

Approximation of unbounded operators by bounded operators in a Hilbert space

We determine the best approximation of an arbitrary power A ^k of an unbounded self-adjoint operator A in a Hilbert space H on the class {x ∈ D(A ^r ) : ∥A ^r x∥ ≤ 1}, k < r.     

On one class of extreme extensions of a measure

We consider a relationship between two sets of extensions of a finite finitely additive measure μ defined on an algebra \mathfrakB \mathfrak{B} of sets to a broader algebra \mathfrakA \mathfrak{A} . These sets are the set ex S _μ of all extreme extensions of the measure μ and the set H _μ of all extensions defined as l(A) = [^(m)]( h(A) ),   A ? \mathfrakA \lambda (A) = \hat{\mu }\left( {h(A)} \right),\,\,\,A \in \mathfrak{A} , where [^(m)] \hat{\mu } is a quotient measure on the algebra \mathfrakB

Doubly stochastic matrix equations

It is shown that for real,m x n matricesA andB the system of matrix equationsAX=B, BY=A is solvable forX andY doubly stochastic if and only ifA=BP for some permutation matrixP. This result is then used to derive other equations and to characterize the Green’s relations on the semigroup Ω _n of alln x n doubly stochastic matrices. The regular matrices in Ω _n are characterized in several ways by use of the Moore-Penrose generalized inverse. It is shown that a regular matrix in Ω _n is orthostochastic and that it is unitarily similar to a diagnonal matrix if and only if it belongs to a subgroup of Ω _n . The paper is concluded with extensions of some of these results to the convex setS _n of alln x n nonnegative matrices having row and column sums at most one. His research was supported by the N. S. F. Grant GP-15943.     

Minimal entropy and simplicial volume

We prove that MinEnt (Y) ∥Y∥ = MinEnt(X) ∥X∥, for manifolds Y whose fundamental group is a subexponential extension of the fundamental group of some negatively curved, locally symmetric manifold X. This is a particular case of a more general result holding for an arbitrary representation ρ : π₁ (Y) →π₁ (X), which relates the minimal entropy and the simplicial volume of X to some invariants of the couple (Y, ker (ρ)). Then, we discuss some applications to the minimal volume problem and to Einstein metrics. Received: 23 December 1998     

Inner Radius of Univalence for a Strongly Starlike Domain

 The inner radius of univalence of a domain D with Poincaré density ρ _D is the possible largest number σ such that the condition ∥ S _f ∥ _D  = sup _{w∈ D} ρ _D (w) ⁻²∥ S _f (z) ∥ ≤ σ implies univalence of f for a nonconstant meromorphic function f on D, where S _f is the Schwarzian derivative of f. In this note, we give a lower bound of the inner radius of univalence for strongly starlike domains of order α in terms of the order α.     

Projection methods for the solution of Fredholm integral equations of the first kind with (ϕ, β)-differentiable kernels and random errors

We estimate errors of projection methods for the solution of the Fredholm equaitons of the first kindAx=y+ζ with random perturbation ζ under the assumption that the integral operatorA has a (ϕ, β)-differentiable kernel and the mathematical expectation of ∥ξ∥² does not exceed σ². Under these assumptions, we obtain an estimate that is a complete analog of the well-known result by Vainikko and Plato for the deterministic case where ∥ξ∥≤σ. Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 5, pp. 713–717, May, 1999.     

The Kakeya maximal operator with a special base

LetM _ℛ f be the Kakeya maximal function in d-dimensional Euclidean space with some base ℛ, consisting of cylinders of eccentricity N. The inequality ∥M _ℛ f∥ _d ⩽c(logN)^ε∥ is shown for a base ℛ satisfying a direction condition, where ε and c are constants depending only on d. to the memory of Professor Ruilin Long The author is partly supported by the Grants-in-Aid for Scientific Research, The Ministry of Education, Science and Culture, Japan.