Algébres topologiquement uniformes et algébres fortement topologiquement uniformes

We characterize locally convex topological algebrasA satisfying: a sequence (x _n) inA converges to 0 if, and only if, (x _n ²) converges to 0. We also show that a real Banach algebra such thatx _n ²+y _n ²→0 if, and only if,x _n → 0 andy _n → 0, for every sequences (x _n) and (y _n) inA, is isomorphic to, whereX is a compact space.      

Extremal eigenvalue problems for convex sets of symmetric matrices and operators

LetA ₁,...,A_n andK bem×m symmetric matrices withK positive definite. Denote byC the convex hull of {A ₁,...A_n}. Let {λ _p (KA)} ₁ ⁿ be then real eigenvalues ofKA arranged in decreasing order. We show that maxλ _p (KA) onC is attained for someA ^*=Σ _i ^{= 1/n} for which at mostp(p+1)/2 of α _i ^* do not vanish. We extend this result in several directions and consider applications to classes of integral equations. This paper is based mainly on the author’s doctoral dissertation written at the Technion—Israel Institute of Technology, March 1971, under the direction of Professor B. Schwarz. I wish to thank Professor Schwarz for his advice and encouragement. I am also grateful to Professor S. Karlin for supplying simplifications of several of my arguments. Some extensions discussed here are joint results of Karlin and the author.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

Asymptotic convergence of degree‐raising

It is well known that the degree‐raised Bernstein–Bézier coefficients of degree n of a polynomial g converge to g at the rate 1/n. In this paper we consider the polynomial A _n(g) of degree ⩼ n interpolating the coefficients. We show how A _n can be viewed as an inverse to the Bernstein polynomial operator and that the derivatives A _n(g)(^r) converge uniformly to g(^r) at the rate 1/n for all r. We also give an asymptotic expansion of Voronovskaya type for A _n(g) and discuss some shape preserving properties of this polynomial. This revised version was published online in June 2006 with corrections to the Cover Date.     

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

Deformation of certain quadratic algebras and the corresponding quantum semigroups

LetV be a finite-dimensional vector space. Given a decompositionV⊗V=⊕ _i=1,…n I _i , definen quadratic algebrasQ(V, J _(m)) whereJ _(m)=⊕ _i≠m I _i . There is also a quantum semigroupM(V; I ₁, …,I _n ) which acts on all these quadratic algebras. The decomposition determines as well a family of associative subalgebras of End (V ^⊗k ), which we denote byA _k =A _k (I ₁,…,I _n ),k≥2. In the classical case, whenV⊗V decomposes into the symmetric and skewsymmetric tensors,A _k coincides with the image of the representation of the group algebra of the symmetric groupS _k in End(V ^⊗k ). LetI _i,h be deformations of the subspacesI _i . In this paper we give a criteria for flatness of the corresponding deformations of the quadratic algebrasQ(V, J _(m),h ) and the quantum semigroupM(V;I _1,h ,…,I _n,h ). It says that the deformations will be flat if the algebrasA _k (I ₁, …,I _n ) are semisimple and under the deformation their dimension does not change. Usually, the decomposition intoI _i is defined by a given semisimple operatorS onV⊗V, for whichI _i are its eigensubspaces, and the deformationsI _i,h are defined by a deformationS _h ofS. We consider the cases whenS _h is a deformation of Hecke or Birman-Wenzl symmetry, and also the case whenS _h is the Yang-Baxter operator which appears by a representation of the Drinfeld-Jimbo quantum group. Applying the flatness criteria we prove that in all these cases we obtain flat deformations of the quadratic algebras and the corresponding quantum semigroups. Partially supported by a grant from the Israel Science Foundation administered by the Israel Academy of Sciences.     

A congruence for the Fourier coefficients of a modular form and its application to quadratic forms

Let F(z)=∑ _n=1^∞ A(n)q ⁿ denote the unique weight 6 normalized cuspidal eigenform on Γ₀(4). We prove that A(p)≡0,2,−1(mod 11) when p≠11 is a prime. We then use this congruence to give an application to the number of representations of an integer by quadratic form of level 4.      

Some basic inequalities in higher dimensional non-Euclid space

In this paper, the concept of a finite mass-points system∑N(H(A))(N>n) being in a sphere in an n-dimensional hyperbolic space Hn and a finite mass-points system∑N(S(A))(N>n) being in a hyperplane in an n-dimensional spherical space Sn is introduced, then, the rank of the Cayley-Menger matrix AN(H)(or a AN(S)) of the finite mass-points system∑∑N(S(A))(or∑N(S(A))) in an n-dimensional hyperbolic space Hn (or spherical space Sn) is no more than n 2 when∑N(H(A))(N>n) (or∑N(S(A))(N>n)) are in a sphere (or hyperplane). On the one hand, the Yang-Zhang's inequalities, the Neuberg-Pedoe's inequalities and the inequality of the metric addition in an n-dimensional hyperbolic space Hn and in an n-dimensional spherical space Sn are established by the method of characteristic roots. These are basic inequalities in hyperbolic geometry and spherical geometry. On the other hand, some relative problems and conjectures are brought.     

Playing with admissibility spectra

Jensen showed that any countable sequenceA ofA-admissibles is the initial part of the admissibility spectrum of a realR. His construction generalizes straightforwardly to Σ _n -admissibles. This adaptation makes admissibles not inA R-inadmissible. We strengthen Jensen’s theorem by requiring that Σ _n (A)-admissibles not inA be Σ _m (R)-admissible or Σ _m (R)-non-projectible, form <n. The contents of this paper formed part of the author’s doctoral thesis. He would like to thank Professor Sy Friedman for his capable advising, and the NSF and MIT for their financial support.     

A note on the coefficient rings of polynomial rings

LetA andB be two reduced commutative rings with finitely many minimal prime ideals. If the polynomial algebrasA[X ₁ …X _n ]=B[Y ₁ …Y _n ] whereX _i ,Y _iF are variables overA andB respectively, then there exists an injective ring homomorphism ϕ:A→B such thatB is finitely generated over ϕ(A).     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Extensions of the Hadamard determinant theorem

Denote byH _n the set ofn byn, positive definite hermitian matrices. Hadamard proved thath(A)≧det(A) for allA∈H _n, whereh(A) is the product of the main diagonal elements ofA. Subsequently, M. Marcus showed that per(A)≧h(A) for allA∈H _n. This article contains a result for all generalized matrix functions from which it follows thath(A)≧(per(A^1/n )) ⁿ ,A∈H _n.     

A generalization of adjoint crystals for the quantized affine algebras of type An(1) , Cn(1) and Dn+1(2)

We generalize Benkart-Frenkel-Kang-Lee’s adjoint crystals and describe their crystal structure for type A _n ⁽¹⁾, C _n ⁽¹⁾ and D _n+1⁽²⁾.     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

Computing an Eigenvector of a Monge Matrix in Max-Plus Algebra

The problem of finding one eigenvector of a given Monge matrix A in a max-plus algebra is considered. For a general matrix, the problem can be solved in O(n ³) time by computing one column of the corresponding metric matrix Δ(A _λ), where λ is the eigenvalue of A. An algorithm is presented, which computes an eigenvector of a Monge matrix in O(n ²) time.     

On eigenvalues of symmetric (+1, −1) matrices

To every symmetric matrixA with entries ±1, we associate a graph G(A), and ask (for two different definitions of distance) for the distance ofG(A) to the nearest complete bipartite graph (cbg). Letλ ₁(A),λ ¹ (A) be respectively the algebraically largest and least eigenvalues ofA. The Frobenius distance (see Section 4) to the nearest cbg is bounded above and below by functions ofn −λ ₁ (A), wheren=ord A. The ordinary distance (see Section 1) to the nearest cbg is shown to be bounded above and below by functions ofλ ¹ (A). A curious corollary is: there exists a functionf (independent ofn, and given by (1.1)), such that |λ _i (A) | ≦f(λ ¹(A), whereλ _i (A) is any eigenvalue ofA other thanλ _i (A). This work was supported (in part) by the U.S. Army under contract #DAHC04-C-0023.     

Sudakov-type minoration for gaussian chaos processes

Consider a setA of symmetricn×n matricesa=(a _i,j) _i,j≤n . Consider an independent sequence (g _i) _i≤n of standard normal random variables, and letM=Esup_a∈A|Σ_i,j⪯na_i,jg_ig_j|. Denote byN ₂(A, α) (resp.N _t(A, α)) the smallest number of balls of radiusα for thel ₂ norm ofR ^{n 2} (resp. the operator norm) needed to coverA. Then for a universal constantK we haveα(logN ₂(A, α))^1/4≤KM. This inequality is best possible. We also show that forδ≥0, there exists a constantK(δ) such thatα(logN _t≤K(δ)M. Work partially supported by an N.S.F. grant.     

Regev’s and Amitsur’s conjectures for codimensions of generalized polynomial identities

Let A be a finite-dimensional associative algebra over a field of characteristic 0. Then there exist C ∈ ℚ₊ and t ∈ ℤ₊ such that gc _n (A) ∼ Cn ^t d ⁿ as n → ∞, where d = PIexp(A). In particular, Amitsur’s and Regev’s conjectures hold for the codimensions gc _n (A) of generalized polynomial identities.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).