Singular-value-like decomposition for complex matrix triples

The classical singular value decomposition for a matrix A∈C^m×n is a canonical form for A that also displays the eigenvalues of the Hermitian matrices AA^∗ and A^∗A. In this paper, we develop a corresponding decomposition for A that provides the Jordan canonical forms for the complex symmetric matrices and . More generally, we consider the matrix triple , where are invertible and either complex symmetric or complex skew-symmetric, and we provide a canonical form under transformations of the form , where X,Y are nonsingular.     

A classification of sharp tridiagonal pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider a pair of linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W, A^∗W⊆W, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide. The pair A,A^∗ is called sharp whenever . It is known that if F is algebraically closed then A,A^∗ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the μ-conjecture.     

Extension of Fourier algebra homomorphisms to duals of algebras of uniformly continuous functionals

For a locally compact group G, let XG be one of the following introverted subspaces of VN(G): , the C^∗-algebra of uniformly continuous functionals on A(G); , the space of weakly almost periodic functionals on A(G); or , the C^∗-algebra generated by the left regular representation on the measure algebra of G. We discuss the extension of homomorphisms of (reduced) Fourier-Stieltjes algebras on G and H to cb-norm preserving, weak^∗-weak^∗-continuous homomorphisms of into , where (XG,XH) is one of the pairs , , or . When G is amenable, these extensions are characterized in terms of piecewise affine maps.     

The structure of a tridiagonal pair

Let K denote a field and let V denote a vector space over K with finite positive dimension.We consider a pair of K-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W,A^∗W⊆W,W≠0,W≠V.We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide.In this paper we show that the following (i)-(iv) hold provided that K is algebraically closed: (i) Each of has dimension 1.(ii) There exists a nondegenerate symmetric bilinear form 〈,〉 on V such that 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.(iii) There exists a unique anti-automorphism of End(V) that fixes each of A,A^∗.(iv) The pair A,A^∗ is determined up to isomorphism by the data , where θ_i (resp.) is the eigenvalue of A (resp.A^∗) on V_i (resp.), and is the split sequence of A,A^∗ corresponding to and .     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

Critical points between varieties generated by subspace lattices of vector spaces

We denote by the semilattice of all compact congruences of an algebra A. Given a variety V of algebras, we denote by the class of all semilattices isomorphic to for some A∈V. Given varieties V and W of algebras, the critical point of V under W is defined as . Given a finitely generated variety V of modular lattices, we obtain an integer ?, depending on V, such that for any n≥? and any field F.In a second part, using tools introduced in Gillibert (2009) [5], we prove that:

     

Solution of a nonsymmetric algebraic Riccati equation from a two-dimensional transport model

For the steady-state solution of an integral-differential equation from a two-dimensional model in transport theory, we shall derive and study a nonsymmetric algebraic Riccati equation B^--XF^--F⁺X+XB⁺X=0, where , and with a nonnegative matrix P, positive diagonal matrices D^±, and nonnegative parameters f, and . We prove the existence of the minimal nonnegative solution X^∗ under the physically reasonable assumption , and study its numerical computation by fixed-point iteration, Newton’s method and doubling. We shall also study several special cases; e.g. when and P is low-ranked, then is low-ranked and can be computed using more efficient iterative processes in U and V. Numerical examples will be given to illustrate our theoretical results.     

Fonction asymptotique de Samuel des sections hyperplanes et multiplicité

Let (A,m_A,k) be a local noetherian ring and I an m_A-primary ideal. The asymptotic Samuel function (with respect to I) : A?R∪{+∞} is defined by , ∀x∈A. Similarly, one defines, for another ideal J, as the minimum of as x varies in J. Of special interest is the rational number . We study the behavior of the asymptotic Samuel function (with respect to I) when passing to hyperplane sections of A as one does for the theory of mixed multiplicities.     

All-derivable points in nest algebras

Suppose that A is an operator algebra on a Hilbert space H. An element V in A is called an all-derivable point of A for the strong operator topology if every strong operator topology continuous derivable mapping φ at V is a derivation. Let N be a complete nest on a complex and separable Hilbert space H. Suppose that M belongs to N with {0}≠M≠H and write for M or M^⊥. Our main result is: for any with , if is invertible in , then Ω is an all-derivable point in for the strong operator topology.     

How to play the Majority game with a liar

The Majority game is played by a questioner () and an answerer (). holds n elements, each of which can be labeled as 0 or 1. is trying to identify some element holds as having the Majority label or, in the case of a tie, claim there is none. To do this asks questions comparing whether two elements have the same or different label. ’s goal is to ask as few questions as possible while ’s goal is to delay as much as possible. Let q^∗ denote the minimal number of questions needed for to identify a Majority element regardless of ’s answers.In this paper we investigate upper and lower bounds for q^∗ in a variation of the Majority game, where is allowed to lie up to t times. We consider two versions of the game, the adaptive (where questions are asked sequentially) and the oblivious (where questions are asked in one batch).     

Quantifications des algèbres de Hopf d'arbres plans décorés et lien avec les groupes quantiques

We introduce a functor from the category of braided spaces into the category of braided Hopf algebras which associates to a braided space V a braided Hopf algebra of planar rooted trees . We show that the Nichols algebra of V is a subquotient of . We construct a Hopf pairing between and , generalising one of the results of [Bull. Sci. Math. 126 (2002) 193-239]. When the braiding of c is given by c(v_i⊗v_j)=q_i,jv_j⊗v_i, we obtain a quantification of the Hopf algebras introduced in [Bull. Sci. Math. 126 (2002) 193-239; 126 (2002) 249-288]. When q_i,j=q^a_i,j, with q an indeterminate and (a_i,j)_i,j the Cartan matrix of a semi-simple Lie algebra , then is a subquotient of . In this case, we construct the crossed product of with a torus and then the Drinfel'd quantum double of this Hopf algebra. We show that is a subquotient of .     

Higher power moments of the Riesz mean error term of symmetric square L-function

Let be the error term of the Riesz mean of the symmetric square L-function. We give the higher power moments of and show that if there exists a real number A₀:=A₀(ρ)>3 such that , then we can derive asymptotic formulas for , 3?h<A₀, h∈N. Particularly, we get asymptotic formulas for , h=3,4,5 unconditionally.     

Quartic, octic residues and Lucas sequences

Let be a prime and a,b∈Z with a²+b²≠p. Suppose p=x²+(a²+b²)y² for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1). We also pose many conjectures concerning , or .     

Balanced Leonard pairs

Let K denote a field, and let V denote a vector space over K with finite positive dimension. By a Leonard pair on V we mean an ordered pair of linear transformations A : V → V and A^∗ : V → V that satisfy the following two conditions:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

Let (respectively v₀, v₁, … , v_d) denote a basis for V that satisfies (i) (respectively (ii)). For 0 ? i ? d, let a_i denote the coefficient of , when we write as a linear combination of , and let denote the coefficient of v_i, when we write A^∗v_i as a linear combination of v₀, v₁, … , v_d.In this paper we show a₀ = a_d if and only if . Moreover we show that for d ? 1 the following are equivalent; (i) a₀ = a_d and a₁ = a_d−1; (ii) and ; (iii) a_i = a_d−i and for 0 ? i ? d. These give a proof of a conjecture by the second author. We say A, A^∗ is balanced whenever a_i = a_d−i and for 0 ? i ? d. We say A,A^∗ is essentially bipartite (respectively essentially dual bipartite) whenever a_i (respectively ) is independent of i for 0 ? i ? d. Observe that if A, A^∗ is essentially bipartite or dual bipartite, then A, A^∗ is balanced. For d ≠ 2, we show that if A, A^∗ is balanced then A, A^∗ is essentially bipartite or dual bipartite.     

Lawvere theories enriched over a general base

We generalise the correspondence between Lawvere theories and finitary monads on in two ways. First, we allow our theories to be enriched in a category V that is locally finitely presentable as a symmetric monoidal closed category: symmetry is convenient but not necessary. And second, we allow the arities of our theories to be finitely presentable objects of a locally finitely presentable V-category A. We call the resulting notion that of a Lawvere A-theory. We extend the correspondence for ordinary Lawvere theories to one between Lawvere A-theories and finitary V-monads on A. We illustrate this with examples leading up to that of the Lawvere -theory for cartesian closed categories, i.e., the -enriched theory on the category for which the models are all small cartesian closed categories. We also briefly investigate change-of-base.     

Characterizations of Besov-type and Triebel-Lizorkin-type spaces via maximal functions and local means

Let s∈R. In this paper, the authors first establish the maximal function characterizations of the Besov-type space with and τ∈[0,∞), the Triebel-Lizorkin-type space with p∈(0,∞), q∈(0,∞] and τ∈[0,∞), the Besov-Hausdorff space with p∈(1,∞), q∈[1,∞) and and the Triebel-Lizorkin-Hausdorff space with and , where t^′ denotes the conjugate index of t∈[1,∞]. Using this characterization, the authors further obtain the local mean characterizations of these function spaces via functions satisfying the Tauberian condition and establish a Fourier multiplier theorem on these spaces. All these results generalize the existing classical results on Besov and Triebel-Lizorkin spaces by taking τ=0 and are also new even for Q spaces and Hardy-Hausdorff spaces.     

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L^′ be R-modules. We investigate the properties of the functors and . For instance, we show the following:

(a)

if L and L^′ are artinian, then is artinian, and is noetherian over the completion ;

(b)

if L is artinian and L^′ is Matlis reflexive, then , , and are Matlis reflexive.

Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.     

Well-posedness for the Navier-Stokes-Nernst-Planck-Poisson system in Triebel-Lizorkin space and Besov space with negative indices

This paper is concerned with the well-posedness of the Navier-Stokes-Nerst-Planck-Poisson system (NSNPP). Let sp=−2+n/p. We prove that the NSNPP has a unique local solution for in a subspace, i.e., Vu1×Vv1×Vv1, of with . We also prove that there exists a unique small global solution for any small initial data with .