DOCSLIB.ORG

Mathematische Annalen Digital Object Identifier (DOI) 10.1007/S002080100153

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Mathematische Annalen Digital Object Identifier (DOI) 10.1007/S002080100153 Math. Ann. (2001) Mathematische Annalen Digital Object Identifier (DOI) 10.1007/s002080100153 Pfaff τ-functions M. Adler · T. Shiota · P. van Moerbeke Received: 20 September 1999 / Published online: ♣ – © Springer-Verlag 2001 Consider the two-dimensional Toda lattice, with certain skew-symmetric initial condition, which is preserved along the locus s =−t of the space of time variables. Restricting the solution to s =−t, we obtain another hierarchy called Pfaff lattice, which has its own tau function, being equal to the square root of the restriction of 2D-Toda tau function. We study its bilinear and Fay identities, W and Virasoro symmetries, relation to symmetric and symplectic matrix integrals and quasiperiodic solutions. 0. Introduction Consider the set of equations ∂m∞ n ∂m∞ n = Λ m∞ , =−m∞(Λ ) ,n= 1, 2,..., (0.1) ∂tn ∂sn on infinite matrices m∞ = m∞(t, s) = (µi,j (t, s))0≤i,j<∞ , M. Adler∗ Department of Mathematics, Brandeis University, Waltham, MA 02454–9110, USA (e-mail: [email protected]) T. Shiota∗∗ Department of Mathematics, Kyoto University, Kyoto 606–8502, Japan (e-mail: [email protected]) P. van Moerbeke∗∗∗ Department of Mathematics, Universit´e de Louvain, 1348 Louvain-la-Neuve, Belgium Brandeis University, Waltham, MA 02454–9110, USA (e-mail: [email protected] and @math.brandeis.edu) ∗ The support of a National Science Foundation grant # DMS-98-4-50790 is gratefully ac- knowledged. ∗∗ The support of Japanese ministry of education’s grant-in-aid for scientific research, and the hospitality of the University of Louvain and Brandeis University are gratefully acknowledged. ∗∗∗ The support of a National Science Foundation grant # DMS-98-4-50790, a Nato, a FNRS and a Francqui Foundation grant is gratefully acknowledged. 2 M. Adler et al. where t = (t1,t2,...)and s = (s1,s2,...)are two sequences of scalar indepen- dent variables, Λ = (δi,j−1)0≤i,j<∞ is the shift matrix, and Λ its transpose. In 1 [2,4], it was shown that Borel decomposing m∞ into lower- and upper-triangular matrices S1 = S1(t, s) and S2 = S2(t, s): −1 ∞ m∞(t, s) = µij = S S , t s ∈ C , 0≤i,j<∞ 1 2 for “generic” , (0.2) L := S ΛS−1 leads to a two-Toda (two-dimensional Toda) system for 1 1 1 and L = S ΛS−1 2 2 2 , ∂L ∂L i =[(Ln) ,L ] , i =[(Ln) ,L ] ,i= , , 1 + i 2 − i 1 2 ∂tn ∂sn with A = A− + A+ being the decomposition into lower- and strictly upper- triangular matrices. The solution L1 and L2 can be expressed entirely in terms of a sequence of τ-functions τ = (τ0,τ1,...)given by τn(t, s) = det mn(t,s), mn(t, s) = (µi,j (t, s))0≤i,j<n , (0.3) for n ∈ Z≥0 := {0, 1,...}. As readily seen from formula (0.1), the 2-Toda flow then maintains the relation m∞(t, s) =−m∞(−s,−t) , and hence, by formula (0.3) n τn(t, s) = (−1) τn(−s,−t). (0.4) The main point of this paper is to study equation (0.1) with skew-symmetric initial condition m∞(0, 0) and the restriction of the system to s =−t. When s →−t, formula (0.4) shows that in the limit the odd τ-functions vanish, whereas the even τ-functions are determinants of skew-symmetric matrices. In particular, the factorization (0.2) fails; in fact in the limit the system leaves the main stratum to penetrate a deeper stratum in the Borel decomposition. In this paper we show this specialization s =−t leads to its own system, the Pfaff lattice on a successor L to the 2-Toda Lax pair (L1,L2), whereas in [7], we have shown this system is integrable by producing a Lax pair ∂L i i = −πkL ,L = πnL ,L , ∂ti ∞ 1 Here “t, s ∈ C ” is an informal way of saying that t and s are two sequences of independent ∞ scalar variables. Under suitable assumptions, m∞(t, s) exists for all t, s ∈ C and the decompo- ∞ sition holds for “generic” t, s ∈ C , but in general a function of those variables may be defined ∞ ∞ only in an open subset of C × C , or may even be a formal power series in t and s. Pfaff τ-functions 3 on semi-infinite matrices of the form 01 −d1 a1 O d1 1 L = . −d2 a2 d 2 1 . ∗ .. .. The projections πk and πn correspond to the Lie algebra splitting (in the formula below, lower-triangular with special diagonal means: the diagonal consists of 2 × 2 blocks, each of them proportional to the 2 × 2 identity) k ={ } gl(∞) = k ⊕ n lower-triangular matrices, with special diagonal n = sp(∞) ={a such that JaJ = a}, where 01 O − 10 01 − J := 10 with J 2 =−I. O 01 − 10 . .. The precise projections take on the following form2 a = (a) + (a) k n 1 = (a− − J(a+) J)+ (a0 − J(a0) J) 2 1 + (a+ + J(a+) J)+ (a + J(a ) J) . 2 0 0 The solution to the Pfaff lattice can be expressed in terms of “Pfaff τ-functions" τ(t)˜ as follows: L(t) = Q(t)ΛQ(t)−1, 2 a± refers to projection onto strictly upper (strictly lower) triangular matrices, with all 2 × 2 diagonal blocks equal zero. a0 refers to projection onto the “diagonal", consisting of 2 × 2 blocks. 4 M. Adler et al. where Q(t) is the lower-triangular matrix whose entries are given by the coeffi- cients of the polynomials in λ: 2n j q2n(t, λ) := Q2n,j (t)λ j=0 λ2n −1 = τ˜2n(t −[λ ]) τ˜2nτ˜2n+2 2n+1 j q2n+1(t, λ) := Q2n+1,j (t)λ j=0 λ2n ∂ = (λ + )τ˜ (t −[λ−1]) ∂t 2n τ˜2nτ˜2n+2 1 where τ˜2n(t) are Pfaffians: 1/2 1/2 τ˜2n(t) := Pf m2n(t, −t) = (det m2n(t, −t)) = τ2n(t, −t) , (0.5) for every even n ∈ Z≥0. The qi are skew-orthonormal polynomials with respect to a skew inner-product , , namely qi,qj =Jij in terms of the J -matrix defined earlier; see [7]. The “Pfaffian τ˜-function” is itself not a 2-Toda τ-function, but it ties up remarkably with the 2-Toda τ-function τ (see (0.3)) as follows3: τ2n(t, −t −[α]+[β]) =˜τ2n(t)τ˜2n(t +[α]−[β]) (0.6) τ2n+1(t, −t −[α]+[β]) = (β − α)τ˜2n(t −[β])τ˜2n+2(t +[α]). When β → α, we approach the deeper stratum in the Borel decomposition of m∞ in a very specific way. It shows that the odd τ-functions τ2n+1(t, −t −[α]+[β]) approach zero linearly as β → α, at the rate depending on α: lim τ n+ (t, −t −[α]+[β])/(β − α) =˜τ n(t −[α])τ˜ n+ (t +[α]). β→α 2 1 2 2 2 Equations (0.6) are crucial in establishing bilinear relations for Pfaffian τ˜-func- tions: for all t,t ∈ C∞ and m, n positive integers ∞ i −1 −1 i= (ti −ti )z 2n−2m−2 τ˜2n(t −[z ])τ˜2m+2(t +[z ])e 0 z dz z=∞ ∞ −i i= (ti −ti )z 2n−2m + τ˜2n+2(t +[z])τ˜2m(t −[z])e 0 z dz = 0 , (0.7) z=0 3 [α]:=(α, α2/2,α3/3,...). Pfaff τ-functions 5 This bilinear identity leads to different types of relations, involving nearest neighbors, like the “differential Fay identity”, {˜τ (t −[u]), τ˜ (t −[v])} 2n 2n −1 −1 + (u − v ) τ˜2n(t −[u])τ˜2n(t −[v]) −˜τ2n(t)τ˜2n(t −[u]−[v]) = uv(u − v)τ˜2n−2(t −[u]−[v])τ˜2n+2(t) , (0.8) and the Hirota bilinear equations4, ˜ 1 ˜ pk+ (D) − D Dk+ τ˜ n ·˜τ n = pk(D)τ˜ n+ ·˜τ n− . (0.9) 4 2 1 3 2 2 2 2 2 2 For k = 0, this equation can be viewed as an inductive expression of τ˜2n+2 in terms of τ˜2n−2 and derivatives of τ˜2n. In analogy with the 2-Toda or KP theory, we establish Fay identities for the Pfaff τ˜-functions. In this instance, they involve Pfaffians rather than determinants: (zj − zi)τ˜2n−2(t −[zi]−[zj ]) Pf τ˜ (t) 2n 1≤i,j≤2k τ˜ t − 2k [z ] 2n−2k i=1 i = ∆(z) , (0.10) τ˜2n(t) In particular for k = 2, (z1 − z0)(z2 − z3)τ˜2n(t −[z0]−[z1])τ˜2n(t −[z2]−[z3]) 1→2→3→1 =− (zi − zj ) τ˜2n+2(t)τ˜2n−2(t −[z0]−[z1]−[z2]−[z3]) 0≤i<j≤3 which has a useful interpretation in terms of the Pfaffians of Christoffel-Darboux kernels of the form Kn(µ, λ) n−1 ∞ i i i= ti (µ +λ ) = e 1 q2k(t, λ)q2k+1(t, µ) − q2k(t, µ)q2k+1(t, λ) , (0.11) k=0 4 ˜ ˜ ∂ = (∂/∂t1,(1/2)∂/∂t2,(1/3)∂/∂t3,...), D = (D1,(1/2)D2,(1/3)D3,...) is the corre- P(D)f˜ · g := P(∂/∂y ,( / )∂/∂y ,...)f(t + y)g(t − y)| sponding Hirota symbol: 1 1 2 2 y=0, and p ∞ p (t)zk := ( ∞ t zi) k are the elementary Schur functions: k=0 k exp i=1 i . 6 M. Adler et al. where the qm(t, λ) form the system of skew-orthogonal polynomials, mentioned above (see [7]). This is the analogue of the Christoffel-Darboux kernel for or- thogonal polynomials.
Load more

Recommended publications
  • THREE STEPS on an OPEN ROAD Gilbert Strang This Note Describes
    Inverse Problems and Imaging doi:10.3934/ipi.2013.7.961 Volume 7, No. 3, 2013, 961{966 THREE STEPS ON AN OPEN ROAD Gilbert Strang Massachusetts Institute of Technology Cambridge, MA 02139, USA Abstract. This note describes three recent factorizations of banded invertible infinite matrices 1. If A has a banded inverse : A=BC with block{diagonal factors B and C. 2. Permutations factor into a shift times N < 2w tridiagonal permutations. 3. A = LP U with lower triangular L, permutation P , upper triangular U. We include examples and references and outlines of proofs. This note describes three small steps in the factorization of banded matrices. It is written to encourage others to go further in this direction (and related directions). At some point the problems will become deeper and more difficult, especially for doubly infinite matrices. Our main point is that matrices need not be Toeplitz or block Toeplitz for progress to be possible. An important theory is already established [2, 9, 10, 13-16] for non-Toeplitz \band-dominated operators". The Fredholm index plays a key role, and the second small step below (taken jointly with Marko Lindner) computes that index in the special case of permutation matrices. Recall that banded Toeplitz matrices lead to Laurent polynomials. If the scalars or matrices a−w; : : : ; a0; : : : ; aw lie along the diagonals, the polynomial is A(z) = P k akz and the bandwidth is w. The required index is in this case a winding number of det A(z). Factorization into A+(z)A−(z) is a classical problem solved by Plemelj [12] and Gohberg [6-7].
    [Show full text]
  • Polynomials and Hankel Matrices
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Polynomials and Hankel Matrices Miroslav Fiedler Czechoslovak Academy of Sciences Institute of Mathematics iitnci 25 115 67 Praha 1, Czechoslovakia Submitted by V. Ptak ABSTRACT Compatibility of a Hankel n X n matrix W and a polynomial f of degree m, m < n, is defined. If m = n, compatibility means that HC’ = CfH where Cf is the companion matrix of f With a suitable generalization of Cr, this theorem is gener- alized to the case that m < n. INTRODUCTION By a Hankel matrix [S] we shall mean a square complex matrix which has, if of order n, the form ( ai +k), i, k = 0,. , n - 1. If H = (~y~+~) is a singular n X n Hankel matrix, the H-polynomial (Pi of H was defined 131 as the greatest common divisor of the determinants of all (r + 1) x (r + 1) submatrices~of the matrix where r is the rank of H. In other words, (Pi is that polynomial for which the nX(n+l)matrix I, 0 0 0 %fb) 0 i 0 0 0 1 LINEAR ALGEBRA AND ITS APPLICATIONS 66:235-248(1985) 235 ‘F’Elsevier Science Publishing Co., Inc., 1985 52 Vanderbilt Ave., New York, NY 10017 0024.3795/85/$3.30 236 MIROSLAV FIEDLER is the Smith normal form [6] of H,. It has also been shown [3] that qN is a (nonzero) polynomial of degree at most T. It is known [4] that to a nonsingular n X n Hankel matrix H = ((Y~+~)a linear pencil of polynomials of degree at most n can be assigned as follows: f(x) = fo + f,x + .
    [Show full text]
  • (Hessenberg) Eigenvalue-Eigenmatrix Relations∗
    (HESSENBERG) EIGENVALUE-EIGENMATRIX RELATIONS∗ JENS-PETER M. ZEMKE† Abstract. Explicit relations between eigenvalues, eigenmatrix entries and matrix elements are derived. First, a general, theoretical result based on the Taylor expansion of the adjugate of zI − A on the one hand and explicit knowledge of the Jordan decomposition on the other hand is proven. This result forms the basis for several, more practical and enlightening results tailored to non-derogatory, diagonalizable and normal matrices, respectively. Finally, inherent properties of (upper) Hessenberg, resp. tridiagonal matrix structure are utilized to construct computable relations between eigenvalues, eigenvector components, eigenvalues of principal submatrices and products of lower diagonal elements. Key words. Algebraic eigenvalue problem, eigenvalue-eigenmatrix relations, Jordan normal form, adjugate, principal submatrices, Hessenberg matrices, eigenvector components AMS subject classifications. 15A18 (primary), 15A24, 15A15, 15A57 1. Introduction. Eigenvalues and eigenvectors are defined using the relations Av = vλ and V −1AV = J. (1.1) We speak of a partial eigenvalue problem, when for a given matrix A ∈ Cn×n we seek scalar λ ∈ C and a corresponding nonzero vector v ∈ Cn. The scalar λ is called the eigenvalue and the corresponding vector v is called the eigenvector. We speak of the full or algebraic eigenvalue problem, when for a given matrix A ∈ Cn×n we seek its Jordan normal form J ∈ Cn×n and a corresponding (not necessarily unique) eigenmatrix V ∈ Cn×n. Apart from these constitutional relations, for some classes of structured matrices several more intriguing relations between components of eigenvectors, matrix entries and eigenvalues are known. For example, consider the so-called Jacobi matrices.
    [Show full text]
  • Elementary Invariants for Centralizers of Nilpotent Matrices
    J. Aust. Math. Soc. 86 (2009), 1–15 doi:10.1017/S1446788708000608 ELEMENTARY INVARIANTS FOR CENTRALIZERS OF NILPOTENT MATRICES JONATHAN BROWN and JONATHAN BRUNDAN ˛ (Received 7 March 2007; accepted 29 March 2007) Communicated by J. Du Abstract We construct an explicit set of algebraically independent generators for the center of the universal enveloping algebra of the centralizer of a nilpotent matrix in the general linear Lie algebra over a field of characteristic zero. In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova. 2000 Mathematics subject classification: primary 17B35. Keywords and phrases: nilpotent matrices, centralizers, symmetric invariants. 1. Introduction Let λ D (λ1; : : : ; λn/ be a composition of N such that either λ1 ≥ · · · ≥ λn or λ1 ≤ · · · ≤ λn. Let g be the Lie algebra glN .F/, where F is an algebraically closed field of characteristic zero. Let e 2 g be the nilpotent matrix consisting of Jordan blocks of sizes λ1; : : : ; λn in order down the diagonal, and write ge for the centralizer of e in g. g Panyushev et al. [PPY] have recently proved that S.ge/ e , the algebra of invariants for the adjoint action of ge on the symmetric algebra S.ge/, is a free polynomial algebra on N generators. Moreover, viewing S.ge/ as a graded algebra as usual so that ge is concentrated in degree one, they show that if x1;:::; xN are homogeneous generators g for S.ge/ e of degrees d1 ≤ · · · ≤ dN , then the sequence .d1;:::; dN / of invariant degrees is equal to λ1 1’s λ2 2’s λn n’s z }| { z }| { z }| { .1;:::; 1; 2;:::; 2;:::; n;:::; n/ if λ1 ≥ · · · ≥ λn, .1;:::; 1; 2;:::; 2;:::; n;:::; n/ if λ1 ≤ · · · ≤ λn.
    [Show full text]
  • Matrix Algebraic Properties of the Fisher Information Matrix of Stationary Processes
    Entropy 2014, 16, 2023-2055; doi:10.3390/e16042023 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article Matrix Algebraic Properties of the Fisher Information Matrix of Stationary Processes Andre´ Klein Rothschild Blv. 123 Apt.7, 65271 Tel Aviv, Israel; E-Mail: [email protected] or [email protected]; Tel.: 972.5.25594723 Received: 12 February 2014; in revised form: 11 March 2014 / Accepted: 24 March 2014 / Published: 8 April 2014 Abstract: In this survey paper, a summary of results which are to be found in a series of papers, is presented. The subject of interest is focused on matrix algebraic properties of the Fisher information matrix (FIM) of stationary processes. The FIM is an ingredient of the Cramer-Rao´ inequality, and belongs to the basics of asymptotic estimation theory in mathematical statistics. The FIM is interconnected with the Sylvester, Bezout and tensor Sylvester matrices. Through these interconnections it is shown that the FIM of scalar and multiple stationary processes fulfill the resultant matrix property. A statistical distance measure involving entries of the FIM is presented. In quantum information, a different statistical distance measure is set forth. It is related to the Fisher information but where the information about one parameter in a particular measurement procedure is considered. The FIM of scalar stationary processes is also interconnected to the solutions of appropriate Stein equations, conditions for the FIM to verify certain Stein equations are formulated. The presence of Vandermonde matrices is also emphasized. Keywords: Bezout matrix; Sylvester matrix; tensor Sylvester matrix; Stein equation; Vandermonde matrix; stationary process; matrix resultant; Fisher information matrix MSC Classification: 15A23, 15A24, 15B99, 60G10, 62B10, 62M20.
    [Show full text]
  • The Synthesis of a Quantum Circuit
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Ghent University Academic Bibliography The synthesis of a quantum circuit Alexis De Vos Cmst, Vakgroep elektronika en informatiesystemen Imec v.z.w. / Universiteit Gent Sint Pietersnieuwstraat 41, B - 9000 Gent, Belgium email: [email protected] Stijn De Baerdemacker∗ Center for Molecular Modeling, Vakgroep fysica en sterrenkunde Universiteit Gent Technologiepark 903, B - 9052 Gent, Belgium email: [email protected] Abstract As two basic building blocks for any quantum circuit, we consider the 1-qubit NEGATOR(θ) circuit and the 1-qubit PHASOR(θ) circuit, extensions of the NOT gate and PHASE gate, respec- tively: NEGATOR(π)= NOT and PHASOR(π)= PHASE. Quantum circuits (acting on w qubits) w consisting of controlled NEGATORs are represented by matrices from XU(2 ); quantum cir- cuits (acting on w qubits) consisting of controlled PHASORs are represented by matrices from ZU(2w). Here, XU(n) and ZU(n) are subgroups of the unitary group U(n): the group XU(n) consists of all n × n unitary matrices with all line sums equal to 1 and the group ZU(n) consists of all n × n unitary diagonal matrices with first entry equal to 1. We con- iα jecture that any U(n) matrix can be decomposed into four parts: U = e Z1XZ2, where w both Z1 and Z2 are ZU(n) matrices and X is an XU(n) matrix. For n = 2 , this leads to a decomposition of a quantum computer into simpler blocks. 1 Introduction A classical reversible logic circuit, acting on w bits, is represented by a permutation matrix, i.e.
    [Show full text]
  • Symmetry of Cyclic Weighted Shift Matrices with Pivot-Reversible Weights∗
    Electronic Journal of Linear Algebra, ISSN 1081-3810 A publication of the International Linear Algebra Society Volume 36, pp. 47-54, January 2020. SYMMETRY OF CYCLIC WEIGHTED SHIFT MATRICES ∗ WITH PIVOT-REVERSIBLE WEIGHTS y z MAO-TING CHIEN AND HIROSHI NAKAZATO Abstract. It is proved that every cyclic weighted shift matrix with pivot-reversible weights is unitarily similar to a complex symmetric matrix. Key words. Cyclic weighted shift, Pivot-reversible weights, Symmetric matrices, Numerical range. AMS subject classifications. 15A60, 15B99, 47B37. 1. Introduction. Let A be an n×n complex matrix. The numerical range of A is defined and denoted by ∗ n ∗ W (A) = fξ Aξ : ξ 2 C ; ξ ξ = 1g: Toeplitz [16] and Hausdorff [9] firstly introduced this set, and proved the fundamental convex theorem of the numerical range (cf. [14]). The numerical range and its related subjects have been extensively studied. From the viewpoint of algebraic curve theory, Kippenhahn [12] characterized that W (A) is the convex hull of the real affine part of the dual curve of the curve FA(x; y; z) = 0, where FA(x; y; z) is the homogeneous polynomial associated with A defined by FA(x; y; z) = det(zIn + x<(A) + y=(A)); where <(A) = (A + A∗)=2 and =(A) = (A − A∗)=2i. Fiedler [6] conjectured the inverse problem that there exists a pair of n × n Hermitian matrices H; K satisfying F (x; y; z) = det(zIn + xH + yK); whenever F (x; y; z) is a homogeneous polynomial of degree n for which the equation F (− cos θ; − sin θ; z) = 0 in z has n real roots for any angle 0 ≤ θ ≤ 2π.
    [Show full text]
  • Package 'Matrixcalc'
    Package ‘matrixcalc’ July 28, 2021 Version 1.0-5 Date 2021-07-27 Title Collection of Functions for Matrix Calculations Author Frederick Novomestky <[email protected]> Maintainer S. Thomas Kelly <[email protected]> Depends R (>= 2.0.1) Description A collection of functions to support matrix calculations for probability, econometric and numerical analysis. There are additional functions that are comparable to APL functions which are useful for actuarial models such as pension mathematics. This package is used for teaching and research purposes at the Department of Finance and Risk Engineering, New York University, Polytechnic Institute, Brooklyn, NY 11201. Horn, R.A. (1990) Matrix Analysis. ISBN 978-0521386326. Lancaster, P. (1969) Theory of Matrices. ISBN 978-0124355507. Lay, D.C. (1995) Linear Algebra: And Its Applications. ISBN 978-0201845563. License GPL (>= 2) Repository CRAN Date/Publication 2021-07-28 08:00:02 UTC NeedsCompilation no R topics documented: commutation.matrix . .3 creation.matrix . .4 D.matrix . .5 direct.prod . .6 direct.sum . .7 duplication.matrix . .8 E.matrices . .9 elimination.matrix . 10 entrywise.norm . 11 1 2 R topics documented: fibonacci.matrix . 12 frobenius.matrix . 13 frobenius.norm . 14 frobenius.prod . 15 H.matrices . 17 hadamard.prod . 18 hankel.matrix . 19 hilbert.matrix . 20 hilbert.schmidt.norm . 21 inf.norm . 22 is.diagonal.matrix . 23 is.idempotent.matrix . 24 is.indefinite . 25 is.negative.definite . 26 is.negative.semi.definite . 28 is.non.singular.matrix . 29 is.positive.definite . 31 is.positive.semi.definite . 32 is.singular.matrix . 34 is.skew.symmetric.matrix . 35 is.square.matrix . 36 is.symmetric.matrix .
    [Show full text]
  • On Some Properties of Positive Definite Toeplitz Matrices and Their Possible Applications
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector On Some Properties of Positive Definite Toeplitz Matrices and Their Possible Applications Bishwa Nath Mukhexjee Computer Science Unit lndian Statistical Institute Calcutta 700 035, Zndia and Sadhan Samar Maiti Department of Statistics Kalyani University Kalyani, Nadia, lndia Submitted by Miroslav Fiedler ABSTRACT Various properties of a real symmetric Toeplitz matrix Z,,, with elements u+ = u,~_~,, 1 Q j, k c m, are reviewed here. Matrices of this kind often arise in applica- tions in statistics, econometrics, psychometrics, structural engineering, multichannel filtering, reflection seismology, etc., and it is desirable to have techniques which exploit their special structure. Possible applications of the results related to their inverse, determinant, and eigenvalue problem are suggested. 1. INTRODUCTION Most matrix forms that arise in the analysis of stationary stochastic processes, as in time series data, are of the so-called Toeplitz structure. The Toeplitz matrix, T, is important due to its distinctive property that the entries in the matrix depend only on the differences of the indices, and as a result, the elements on its principal diagonal as well as those lying within each of its subdiagonals are identical. In 1910, 0. Toeplitz studied various forms of the matrices ((t,_,)) in relation to Laurent power series and called them Lforms, without assuming that they are symmetric. A sufficiently well-structured theory on T-matrix LINEAR ALGEBRA AND ITS APPLICATIONS 102:211-240 (1988) 211 0 Elsevier Science Publishing Co., Inc., 1988 52 Vanderbilt Ave., New York, NY 10017 00243795/88/$3.50 212 BISHWA NATH MUKHERJEE AND SADHAN SAMAR MAITI also existed in the memoirs of Frobenius [21, 221.
    [Show full text]
  • Numerical Range: (In) a Matrix Nutshell
    Numerical range: (in) a matrix nutshell Panayiotis J. Psarrakos∗ Michael J. Tsatsomeros† August 12, 2002 ∗Department of Mathematics, National Technical University, Zografou Campus, Athens 15780, Greece. †Mathematics Department, Washington State University, Pullman, Washington 99164-3113. 1 The definition and a name The numerical range, field of values, Wertovorrat, Hausdorff domain, range of values have been, among others, competing names for the same notion. The first two have outlived the competition but the advantage goes decisively to the first: The numerical range of an operator T in a complex Hilbert space H. This is the term coined by Marshall Stone in 1932 [29] for the subset of the complex plane C given by W (T ) = Tx,x : x H, x = 1 . {h i ∈ k k } In technical terms here, ‘T is a bounded linear operator on a separable Hilbert space H with inner product , and induced norm x = x,x ’. But to keep our lives simple1, let’s confine our h · · i k k h i discussion to finite dimensions and talk aboutp the numerical range of an n n complex matrix A ∗ ×n ∗ (we write A n(C)), where x = √x x is the Euclidean length of x C and x its conjugate transpose; that∈ M is, k k ∈ W (A) = x∗Ax : x Cn, x∗x = 1 . { ∈ } This is a remarkable set for many reasons. It succinctly captures information about A as a transfor- mation, particularly about the eigenvalues and, perhaps more importantly, about the eigenspaces of A. The shape of W (A) (more accurately its boundary) is also related to the combinatorial structure of A, by which we mean the pattern of signs of its entries or the pattern of its nonzero entries, some- times represented by a graph.
    [Show full text]
  • Arxiv:2007.02618V4 [Math.SP] 19 Aug 2020 1
    NONCONCAVITY OF THE SPECTRAL RADIUS IN LEVINGER'S THEOREM LEE ALTENBERG INFORMATION AND COMPUTER SCIENCES, UNIVERSITY OF HAWAI`I AT MANOA¯ [email protected] AND JOEL E. COHEN LABORATORY OF POPULATIONS, ROCKEFELLER UNIVERSITY & DEPARTMENT OF STATISTICS, COLUMBIA UNIVERSITY, NEW YORK DEPARTMENT OF STATISTICS, UNIVERSITY OF CHICAGO [email protected] n n Abstract. Let A R × be a nonnegative irreducible square matrix and let r(A) be its spectral2 radius and Perron-Frobenius eigenvalue. Levinger asserted and several have proven that r(t) := r((1 t)A + tA>) increases over t [0; 1=2] and decreases over t [1=2; 1]. It has further− been stated that r(t) is concave2 over t (0; 1). Here we show2 that the latter claim is false in general through a number 2 2 2 of counterexamples, but prove it is true for A R × , weighted shift matrices (but not cyclic weighted shift matrices), tridiagonal2 Toeplitz matrices, and the 3- parameter Toeplitz matrices from Fiedler, but not Toeplitz matrices in general. A general characterization of the range of t, or the class of matrices, for which the spectral radius is concave in Levinger's homotopy remains an open problem. Dedicated to the memory of Bernard Werner Levinger (1928{2020) Keywords: circuit matrix, convexity, direct sum, homotopy, nonuniform convergence, skew symmetric MSC2010: 15A18, 15A42, 15B05, 15B48, 15B57 arXiv:2007.02618v4 [math.SP] 19 Aug 2020 1. Introduction The variation of the spectrum of a linear operator as a function of variation in the operator has been extensively studied, but even in basic situations like a linear homotopy (1 t)X+tY between two matrices X; Y, the variational properties of the − Date: August 20, 2020.
    [Show full text]
  • The Numerical Radius of a Weighted Shift Operator∗ 1
    Electronic Journal of Linear Algebra ISSN 1081-3810 A publication of the International Linear Algebra Society Volume 30, pp. 944-963, December 2015 ELA THE NUMERICAL RADIUS OF A WEIGHTED SHIFT OPERATOR∗ BATZORIG UNDRAKH†, HIROSHI NAKAZATO‡, ADIYASUREN VANDANJAV§, AND MAO-TING CHIEN¶ Abstract. In this paper, the point spectrum of the real Hermitian part of a weighted shift operator with weight sequence a1, a2,...,an, 1, 1,... is investigated and the numerical radius of the weighted shift operator in terms of the weighted shift matrix with weights a1, a2,...,an is formulated explicitly. Key words. Numerical radius, Weighted shift operator, Weighted shift matrix. AMS subject classifications. 47A12, 15A60. 1. Introduction. Let A be an operator on a separable Hilbert space H. The numerical range of A is defined to be the set W (A)= Ax, x : x =1, x H . {h i k k ∈ } The numerical radius w(A) is the supremum of the modulus of W (A). It is a classical result due to Toeplitz and Hausdorff that the numerical range is a convex set. For references on the theory of numerical range, see, for instance, [1, 10, 11, 12]. We consider a weighted shift operator A with weights (a1,a2,...) on the Hilbert space ∗Received by the editors on December 7, 2014. Accepted for publication on November 28, 2015. Handling Editor: Michael Tsatsomeros. †Institute of Mathematics, National University of Mongolia, Ulaanbaatar, Mongolia. Current address: School of Mathematics and Statistics, Newcastle University, Newcastle upon and Tyne, NE1 7RU, United Kingdom (batzorig [email protected]). ‡Department of Mathematical Sciences, Faculty of Science and Technology, Hirosaki University, Hirosaki 036-8561, Japan ([email protected]).
    [Show full text]