Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

Necessary and sufficient condition in Lyapunov robust control: Multi-input case

We consider a linear time-invariant finite-dimensional system x=Ax+Bu with multi-inputu, in which the matricesA andB are in canonical controller form. We assume that the system is controllable andB has rankm. We study the Lyapunov equationPA+A ^T P+Q=0, withQ>0, and investigate the properties thatP must satisfy in order that the canonical controller matrixA be Hurwitz. We show that, for the matrixA being Hurwitz, it is necessary and sufficient thatB ^T PB>0 and that the determinant ofB ^T PW be Hurwitz, whereW=block diag[w ₁,...,w _m ], with elementw _i =[s ^k _i –1,s ^k _i –2,...,s, 1] ^T ; here, the symbolsk _i ,i=1, 2, ...,m, denote the Kronecker invariants with respect to the pair {A, B}. This result has application in designing robust controllers for linear uncertain systems.     

Complements to the Almost Complete Tilting A (m)-Modules

Let A be a finite dimensional hereditary algebra over an algebraically closed field and A ^(m) be the mth replicated algebra of A. We prove that if T is a faithful almost complete tilting A ^(m)-module with pd _{A ^(m)} T ≤ m, then T has exactly m + 1 indecomposable nonisomorphic complements with projective dimensions at most m. Moreover, we give an explicit distribution of the complements to T.     

A direct method for the general solution of a system of linear equations

A computationally stable method for the general solution of a system of linear equations is given. The system isA ^Tx–B=0, where then-vectorx is unknown and then×q matrixA and theq-vectorB are known. It is assumed that the matrixA ^T and the augmented matrix [A ^T,B] are of the same rankm, wheremn, so that the system is consistent and solvable. Whenm<n, the method yields the minimum modulus solutionx _m and a symmetricn ×n matrixH _m of rankn–m, so thatx=x _m+H _my satisfies the system for ally, ann-vector. Whenm=n, the matrixH _m reduces to zero andx _m becomes the unique solution of the system.The method is also suitable for the solution of a determined system ofn linear equations. When then×n coefficient matrix is ill-conditioned, the method can produce a good solution, while the commonly used elimination method fails.This research was supported by the National Science Foundation, Grant No. GP-41158.     

Existence d’un generateur suivant une sous-suite de densite superieure nulle

Ergodic theory: for every dynamical system (X,A,T, μ), totally ergodic and of finite entropy, there exist a sequenceS of integers, of upper density zero, and a partitionQ ofX, such that V _i∈S T ⁻ⁱ Q is the whole σ-algebraA. Furthermore, there is a “universal” sequenceS ⁰ for which this property is true if we restrict ourselves to the class of strongly mixing systems.      

Semiclassical Spectral Asymptotics on Foliated Manifolds

We consider a (hypo)elliptic pseudodifferential operator A_h on a closed foliated manifold (M,ℱ), depending on a parameterh > 0, of the form A_h = A+h^mB, where A is a formally self–adjoint tangentially elliptic operator of orderμ > 0 with the nonnegative principal symbol and B is a formally self–adjoint classical pseudodi.erential operator of orderm > 0 on M with the holonomy invariant transversal principal symbol such that its principal symbol is positive, if μ < m, and its transversal principal symbol is positive, if μ ≥ m. We prove an asymptotic formula for the eigenvalue distribution function N_h(λ) of the operator A_h when h tends to 0 and λ is constant.     

A new look at the doubling algorithm for a structured palindromic quadratic eigenvalue problem

Recently, Guo and Lin [SIAM J. Matrix Anal. Appl., 31 (2010), 2784–2801] proposed an efficient numerical method to solve the palindromic quadratic eigenvalue problem (PQEP) (λ²A^T+λQ + A)z = 0 arising from the vibration analysis of high speed trains, where have special structures: both Q and A are, among others, m × m block matrices with each block being k × k (thus, n = mk), and moreover, Q is block tridiagonal, and A has only one nonzero block in the (1,m)th block position. The key intermediate step of the method is the computation of the so‐called stabilizing solution to the n × n nonlinear matrix equation X + A^TX⁻¹A = Q via the doubling algorithm. The aim of this article is to propose an improvement to this key step through solving a new nonlinear matrix equation having the same form but of only k × k in size. This new and much smaller matrix equation can also be solved by the doubling algorithm. For the same accuracy, it takes the same number of doubling iterations to solve both the larger and the new smaller matrix equations, but each doubling iterative step on the larger equation takes about 4.8 as many flops than the step on the smaller equation. Replacing Guo's and Lin's key intermediate step by our modified one leads to an alternative method for the PQEP. This alternative method is faster, but the improvement in speed is not as dramatic as just for solving the respective nonlinear matrix equations and levels off as m increases. Numerical examples are presented to show the effectiveness of the new method. Copyright © 2014 John Wiley & Sons, Ltd.     

Lie algebras generated by bounded linear operators on Hilbert spaces

It is proved that the operator Lie algebra ε(T,T^∗) generated by a bounded linear operator T on Hilbert space H is finite-dimensional if and only if T=N+Q, N is a normal operator, [N,Q]=0, and dimA(Q,Q^∗)<+∞, where ε(T,T^∗) denotes the smallest Lie algebra containing T,T^∗, and A(Q,Q^∗) denotes the associative subalgebra of B(H) generated by Q,Q^∗. Moreover, we also give a sufficient and necessary condition for operators to generate finite-dimensional semi-simple Lie algebras. Finally, we prove that if ε(T,T^∗) is an ad-compact E-solvable Lie algebra, then T is a normal operator.     

Singular value decompositions of complex symmetric matrices

If the complex square matrix A is symmetric, i.e. A=A^T, then it has a symmetric singular value decomposition A=Q∑Q^T. An algorithm is presented for the computation of this decomposition.     

Spline approximation methods for multidimensional periodic pseudodifferential equations

We investigate several numerical methods for solving the pseudodifferential equationAu=f on the n-dimensional torusT ⁿ . We examine collocation methods as well as Galerkin-Petrov methods using various periodical spline functions. The considered spline spaces are subordinated to a uniform rectangular or triangular grid. For given approximation method and invertible pseudodifferential operatorA we compute a numerical symbol ^C , resp. ^G , depending onA and on the approximation method. It turns out that the stability of the numerical method is equivalent to the ellipticity of the corresponding numerical symbol. The case of variable symbols is tackled by a local principle. Optimal error estimates are established.The second author has been supported by a grant of Deutsche Forschungsgemeinschaft under grant namber Ko 634/32-1.     

On the sequence of powers of a stochastic matrix with large exponent

We consider the class of primitive stochastic n×n matrices A, whose exponent is at least (n²−2n+2)/2+2. It is known that for such an A, the associated directed graph has cycles of just two different lengths, say k and j with k>j, and that there is an α between 0 and 1 such that the characteristic polynomial of A is λⁿ−αλ^n−j−(1−α)λ^n−k. In this paper, we prove that for any mn, if α1/2, then A^m+k−A^m_∞A^m−1w^T_∞, where 1 is the all-ones vector and w^T is the left-Perron vector for A, normalized so that w^T1=1. We also prove that if jn/2, n31 and , then A^m+j−A^m_∞A^m−1w^T_∞ for all sufficiently large m. Both of these results lead to lower bounds on the rate of convergence of the sequence A^m.     

Computing the nearest stable matrix pairs

In this paper, we study the nearest stable matrix pair problem: given a square matrix pair (E,A), minimize the Frobenius norm of (Δ_E,Δ_A) such that (E+Δ_E,A+Δ_A) is a stable matrix pair. We propose a reformulation of the problem with a simpler feasible set by introducing dissipative Hamiltonian matrix pairs: A matrix pair (E,A) is dissipative Hamiltonian if A=(J−R)Q with skew‐symmetric J, positive semidefinite R, and an invertible Q such that Q^TE is positive semidefinite. This reformulation has a convex feasible domain onto which it is easy to project. This allows us to employ a fast gradient method to obtain a nearby stable approximation of a given matrix pair.     

Bijective linear maps on semimodules spanned by Boolean matrices of fixed rank

Let M_m,n(B) be the semimodule of all m×n Boolean matrices where B is the Boolean algebra with two elements. Let k be a positive integer such that 2?k?min(m,n). Let B(m,n,k) denote the subsemimodule of M_m,n(B) spanned by the set of all rank k matrices. We show that if T is a bijective linear mapping on B(m,n,k), then there exist permutation matrices P and Q such that T(A)=PAQ for all A∈B(m,n,k) or m=n and T(A)=PA^tQ for all A∈B(m,n,k). This result follows from a more general theorem we prove concerning the structure of linear mappings on B(m,n,k) that preserve both the weight of each matrix and rank one matrices of weight k². Here the weight of a Boolean matrix is the number of its nonzero entries.     

Elliptic operators with general Wentzell boundary conditions,analytic semigroups and the angle concavity theorem

We prove a very general form of the Angle Concavity Theorem, which says that if (T (t)) defines a one parameter semigroup acting over various L^p spaces (over a fixed measure space), which is analytic in a sector of opening angle θ_p, then the maximal choice for θ_p is a concave function of 1 – 1/p. This and related results are applied to give improved estimates on the optimal L^p angle of ellipticity for a parabolic equation of the form ?u /?t = Au, where A is a uniformly elliptic second order partial differential operator with Wentzell or dynamic boundary conditions. Similar results are obtained for the higher order equation ?u /?t = (–1)^{m +l}A^mu, for all positive integers m.     

A note on the error analysis of classical Gram–Schmidt

An error analysis result is given for classical Gram–Schmidt factorization of a full rank matrix A into A = QR where Q is left orthogonal (has orthonormal columns) and R is upper triangular. The work presented here shows that the computed R satisfies R ^T R = A ^T A + E where E is an appropriately small backward error, but only if the diagonals of R are computed in a manner similar to Cholesky factorization of the normal equations matrix. At the end of the article, implications for classical Gram–Schmidt with reorthogonalization are noted.A similar result is stated in Giraud et al. (Numer Math 101(1):87–100, 2005). However, for that result to hold, the diagonals of R must be computed in the manner recommended in this work.Jesse Barlow’s research was supported by the National Science Foundation under grant no. CCF-0429481.     

Dimensions of Formal Fibers of Height One Prime Ideals

Let T be a complete local (Noetherian) ring with maximal ideal M, P a nonmaximal ideal of T, and C = {Q ₁, Q ₂,…} a (nonempty) finite or countable set of nonmaximal prime ideals of T. Let {p ₁, p ₂,…} be a set of nonzero regular elements of T, whose cardinality is the same as that of C. Suppose that p _i  ∈ Q _j if and only if i = j. We give conditions that ensure there is an excellent local unique factorization domain A such that A is a subring of T, the maximal ideal of A is M ∩ A, the (M ∩ A)-adic completion of A is T, and so that the following three conditions hold: (1) p _i  ∈ A for every i; (2) A ∩ P = (0), and if J is a prime ideal of T with J ∩ A = (0), then J ? P or J ? Q _i for some i; (3) for each i, p _i A is a prime ideal of A, Q _i ∩ A = p _i A, and if J is a prime ideal of T with J ? Q _i , then J ∩ A ≠ p _i A.     

On the Classification of Twisting Maps Between Kn and Km

We define the notion of admissible pair for an algebra A, consisting on a couple (Γ, R), where Γ is a quiver and R a unital, splitted and factorizable representation of Γ, and prove that the set of admissible pairs for A is in one to one correspondence with the points of the variety of twisting maps T_Aⁿ:=T(Kⁿ,A)\mathcal{T}_A^n:=\mathcal{T}(K^n,A). We describe all these representations in the case A = K ^m .     

Asymptotic Behavior of Poisson Kernels on NA Groups

On a Lie group S = NA, that is a split extension of a nilpotent Lie group N by a one-parameter group of automorphisms A, a probability measure μ is considered and treated as a distribution according to which transformations s ∈ S acting on N = S/A are sampled. Under natural conditions, formulated some over thirty years ago, there is a μ-invariant measure m on N. Properties of m have been intensively studied by a number of authors. The present article deals with the situation when μ(A) = ?(s _t  ∈ A), where ?⁺ ? t → s _t  ∈ S is the diffusion on S generated by a second order subelliptic, hypoelliptic, left-invariant operator on S. In this article the most general operators of this kind are considered. Precise asymptotic for m at infinity and for the Green function of the operator are given. To achieve this goal a pseudodifferential calculus for operators with coefficients of finite smoothness is formulated and applied.     

Complex Powers and Non-compact Manifolds

Abstract

We study the complex powers A ^z of an elliptic, strictly positive pseudodifferential operator A using an axiomatic method that combines the approaches of Guillemin and Seeley. In particular, we introduce a class of algebras, called “Guillemin algebras, ” whose definition was inspired by Guillemin [Guillemin, V. (1985). A new proof of Weyl's formula on the asymptotic distribution of eigenvalues. Adv. in Math. 55:131–160]. A Guillemin algebra can be thought of as an algebra of “abstract pseudodifferential operators.” Most algebras of pseudodifferential operators belong to this class. Several results typical for algebras of pseudodifferential operators (asymptotic completeness, construction of Sobolev spaces, boundedness between appropriate Sobolev spaces,…) generalize to Guillemin algebras. Most important, this class of algebras provides a convenient framework to obtain precise estimates at infinity for A ^z , when A > 0 is elliptic and defined on a non-compact manifold, provided that a suitable ideal of regularizing operators is specified (a submultiplicative Ψ*-algebra). We shall use these results in a forthcoming paper to study pseudodifferential operators and Sobolev spaces on manifolds with a Lie structure at infinity (a certain class of non-compact manifolds that has emerged from Melrose's work on geometric scattering theory [Melrose, R. B. (1995). Geometric Scattering Theory. Stanford Lectures. Cambridge: Cambridge University Press]).     

Some results on symplectic matrices

The principal results are that if A is an integral matrix such that AA^T is symplectic then A = CQ, where Q is a permutation matrix and C is symplectic; and that if A is a hermitian positive definite matrix which is symplectic, and B is the unique hermitian positive definite pth.root of A, where p is a positive integer, then B is also symplectic.