DOCSLIB.ORG

[Math.NT] 3 Dec 2016 Fractal Generalized Pascal Matrices

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
[Math.NT] 3 Dec 2016 Fractal Generalized Pascal Matrices Fractal generalized Pascal matrices E. Burlachenko Abstract Set of generalized Pascal matrices whose elements are generalized binomial coef- ficients is considered as an integral object. The special system of generalized Pascal matrices, based on which we are building fractal generalized Pascal matrices, is in- troduced. Pascal matrix (Pascal triangle) is the Hadamard product of the fractal generalized Pascal matrices whose elements equal to pk, where p is a fixed prime number, k = 0, 1, 2,... The concept of zero generalized Pascal matrices, an example of which is the Pascal triangle modulo 2, arise in connection with the system of matrices introduced. 1 Introduction Consider the following generalization of the binomial coefficients [1]. For the coefficients of the formal power series b (x), b0 =0; bn =06 , n> 0, denote n n bn! n b0!=1, bn!= bm, = ; =0, m > n. m b !b − ! m m=1 b m n m b Y Then n n − 1 b − b n − 1 = + n m . m m − 1 b − m b b n m b n-th coefficient of the series a (x), (n, m)-th element of the matrix A, n-th row and n-th column of the matrixA will be denoted respectively by n [x ] a (x) , (A)n,m, [n, →] A, [↑, n] A. We associate rows and columns of matrices with the generating functions of their elements. For the elements of the lower triangular matrices will be appreciated that (A)n,m = 0, if n < m. Consider matrix arXiv:1612.00970v1 [math.NT] 3 Dec 2016 c0c0 0 0 0 0 ... c0 c0c1 c1c0 0 0 0 ... c1 c1 c0c2 c1c1 c2c0 0 0 ... c2 c2 c2 Pc(x) = c0c3 c1c2 c2c1 c3c0 0 ... c3 c3 c3 c3 c0c4 c1c3 c2c2 c3c1 c4c0 ... c4 c4 c4 c4 c4 . . .. cmcn−m R Pc(x) n,m = , cn ∈ , cn =06 . cn Denote [↑, 1]Pc(x) = b (x). If c0 =1, then cn n c = 1 , P = . n b ! c(x) n,m m n b 1 Let c0 =1. Since Pc(x) = Pc(ϕx), we take for uniqueness that c1 =1. Matrix Pc(x) will be called generalized Pascal matrix. If c (x)= ex, it turns into Pascal matrix 10000 ... 11000 ... 12100 ... P = 13310 ... 14641 ... . . .. In Sec. 2. we consider the set of generalized Pascal matrices as a group under Hadamard multiplication and introduce a special system of matrices, which implies the concept of zero generalized Pascal matrices; as an example, we consider the matrix of the q-binomial coefficients for q = −1. In Sec. 3. we construct a fractal generalized Pascal matrices whose Hadamard product is the Pascal matrix. In Sec. 4. we consider the fractal zero generalized Pascal matrices that were previously considered in [7] – [11] (generalized Sierpinski matrices and others). 2 Special system of generalized Pascal matrices − Elements of the matrix Pc(x), – denote them Pc(x) n,m = cmcn m/cn =(n, m) for gener- ality which will be discussed later, – satisfy the identities (n, 0)=1, (n, m)=(n, n − m) , (1) (n + q, q)(n + p, m + p)(m + p,p)=(n + p,p)(n + q, m + q)(m + q, q) , (2) q, p =0, 1, 2, . It means that each matrix Pc(x) can be associated with the algebra of formal power series whose elements are multiplied by the rule n a (x) ◦ b (x)= g (x) , gn = (n, m) ambm−n, m=0 X that is, if (A)n,m = an−m (n, m), (B)n,m = bn−m (n, m), (G)n,m = gn−m (n, m), then AB = BA = G: n −1 gn =(n + p,p) (n + p, m + p)(m + p,p) an−mbm = m=0 X n −1 =(n + q, q) (n + q, m + q)(m + q, q) an−mbm. m=0 X The set of generalized Pascal matrix is a group under Hadamard multiplication (we denote this operation ×): ∞ n Pc(x) × Pg(x) = Pc(x)×g(x), c (x) × g (x)= cngnx . n=0 X Introduce the special system of matrices q−1 − xq 1 P = P (ϕ)= P , c (ϕ,q,x)= xn 1 − , q> 1. ϕ,q q c(ϕ,q,x) ϕ n=0 ! X 2 Then 1 1 c = , 0 ≤ i < q; c − = , 0 < i ≤ q, qn+i ϕn qn i ϕn−1 n n cqm+jcq(n−m)+i−j ϕ ϕ = m n−m =1, i ≥ j; = m n−m−1 = ϕ, i < j, cqn+i ϕ ϕ ϕ ϕ or (ϕ,qP )n,m =1, n (modq) ≥ m (modq); = ϕ, n (modq) < m (modq) . For example, ϕ,2P , ϕ,3P : 100000000 ... 100000000 ... 110000000 ... 110000000 ... 1 ϕ 1000000 ... 111000000 ... 111100000 ... 1 ϕ ϕ 100000 ... 1 ϕ 1 ϕ 10000 ... 1 1 ϕ 110000 ... 111111000 ... , 111111000 ... 1 ϕ 1 ϕ 1 ϕ 1 0 0 ... 1 ϕ ϕ 1 ϕ ϕ 1 0 0 ... 111111110 ... 1 1 ϕ 1 1 ϕ 1 1 0 ... 1 ϕ 1 ϕ 1 ϕ 1 ϕ 1 ... 111111111 ... . . . .. .. Elements of the matrix ϕ,qP × Pc(x) satisfy the identities (1), (2) for any values ϕ, so it makes sense to consider also the case ϕ =0 since it corresponds to a certain algebra of formal power series (which, obviously, contains zero divisors; for example, in the algebra 2 associated with the matrix 0,2P × Pc(x) the product of the series of the form xa (x ) is zero). It is clear that in this case the series c (ϕ,q,x) is not defined. Matrix 0,qP × Pc(x) and Hadamard product of such matrices will be called zero generalized Pascal matrix. Remark. Zero generalized Pascal matrix appears when considering the set of gener- alized Pascal matrices Pg(q,x): − x n 1 P = [xn] = qm, q ∈ R. g(q,x) n,1 (1 − x) (1 − qx) m=0 X − Here g (0, x)=(1 − x) 1, g (1, x)= ex. In other cases (the q-umbral calculus [2]), except q = −1, ∞ (q − 1)n n g (q, x)= xn, (qn − 1)! = (qm − 1), q0 − 1 !=1. (qn − 1)! n=0 m=1 X Y −1 Matrices Pg(q,x), Pg(q,x) also can be defined as follows: n n−1 n m −1 −1 m [↑, n]Pg(q,x) = x (1 − q x) , [n, →]Pg(q,x) = (x − q ). m=0 m=0 Y Y −1 When q = −1 we get the matrices Pg(−1,x), Pg(−1,x): 1000000 ... 1 0 0 0 000 ... 1100000 ... −11 0 0 000 ... 1010000 ... −10 1 0 000 ... 1111000 ... 1 −1 −11 000 ... 1020100 ... , 1 0 −20 100 ... , 1122110 ... −1 1 2 −2 −1 1 0 ... 1030301 ... −10 3 0 −3 0 1 ... . . . .. . .. 3 where the series g (−1, x) is not defined. Since 1−j 2m+j 2n+i (1 + x) x n Pg(−1,x) = x = , i ≥ j; =0, i<j; 2n+i,2m+j 2 m+1 m (1 − x ) i, j =0,1, then x2 Pg(−1,x) = 0,2P × Pc(x), c (x)=(1+ x) e : 1 1 c = , 0 ≤ i< 2; c − = , 0 < i ≤ 2, 2n+i n! 2n i (n − 1)! n n − 1 P = , i ≥ j; = n , i < j. c(x) 2n+i,2m+j m m A generalization of this matrix is the matrix q−1 n xq 0,qP × Pc(x), c (x)= x e , n=0 ! X n n − 1 P = , i ≥ j; = n , i<j; 0 ≤ i, j < q. c(x) qn+i,qm+j m m Each nonzero generalized Pascal matrix is the Hadamard product of the matrices ϕ,qP . Since the first column of the matrix Pc(x), – denote it b (x), – is the Hadamard product of the first columns of the matrices ϕ,qP , – denote them ϕ,qb (x): n [x ] ϕ,qb (x)=1, n (modq) =0;6 = ϕ, n (modq)=0, so that Pc(x) = 2P (b2) × 3P (b3) × 4P (b4/b2 ) × 5P (b5) × 6P (b6/b2b3 ) × 7P (b7) × ×8P (b8/b4 ) × 9P (b9/b3 ) × 10P (b10/b2b5 ) × 11P (b11) × 12P (b12b2/b4b6 ) × ... and so on. Let eq is a basis vector of an infinite-dimensional vector space. Mapping of the set of generalized Pascal matrices in an infinite-dimensional vector space such that ϕ,qP → eq log |ϕ| is a group homomorphism whose kernel consists of all involutions in the group of generalized Pascal matrices, i.e. from matrices whose non-zero elements equal to ±1. Thus, the set of generalized Pascal matrices whose elements are non-negative numbers is an infinite-dimensional vector space. Zero generalized Pascal matrices can be viewed as points at infinity of space. 3 Fractal generalized Pascal matrices Matrices, which will be discussed (precisely, isomorphic to them), are considered in [3] (p-index Pascal triangle), [4], [5, p. 80-88]. These matrices are introduced explicitly in [6] in connection with the generalization of the theorems on the divisibility of binomial coefficients. We consider them from point of view based on the system of matrices ϕ,qP . We start with the matrix [2]P = 2,2P × 2,22 P × 2,23 P × ... × 2,2k P × ... 4 1000000000000000 ... 1100000000000000 ... 1210000000000000 ... 1111000000000000 ... 1424100000000000 ... 1122110000000000 ... 1214121000000000 ... 1111111100000000 ... 1848284810000000 ... [2]P = . 1144224411000000 ... 1218242812100000 ... 1111222211110000 ... 1424184814241000 ... 1122114411221100 ... 1214121812141210 ... 1111111111111111 ... . . .. The first column of the matrix [2]P , – denote it b (x), – is the Hadamard product of the series 2,2k b (x) , k =1, 2 ,... , n k k [x ] 2,2k b (x)=1, n mod2 =0;6 =2, n mod2 =0. It is the generating function of the distribution of divisors 2kin the series of natural numbers: b (x)= x +2x2 + x3 +4x4 + x5 +2x6 + x7 +8x8 + x9 +2x10 + x11 +4x12+ +x13 +2x14 + x15 + 16x16 + x17 +2x18 + x19 +4x20 + x21 +2x22 + x23 + ..
Load more

Recommended publications
  • Stirling Matrix Via Pascal Matrix
    LinearAlgebraanditsApplications329(2001)49–59 www.elsevier.com/locate/laa StirlingmatrixviaPascalmatrix Gi-SangCheon a,∗,Jin-SooKim b aDepartmentofMathematics,DaejinUniversity,Pocheon487-711,SouthKorea bDepartmentofMathematics,SungkyunkwanUniversity,Suwon440-746,SouthKorea Received11May2000;accepted17November2000 SubmittedbyR.A.Brualdi Abstract ThePascal-typematricesobtainedfromtheStirlingnumbersofthefirstkinds(n,k)and ofthesecondkindS(n,k)arestudied,respectively.Itisshownthatthesematricescanbe factorizedbythePascalmatrices.AlsotheLDU-factorizationofaVandermondematrixof theformVn(x,x+1,...,x+n−1)foranyrealnumberxisobtained.Furthermore,some well-knowncombinatorialidentitiesareobtainedfromthematrixrepresentationoftheStirling numbers,andthesematricesaregeneralizedinoneortwovariables.©2001ElsevierScience Inc.Allrightsreserved. AMSclassification:05A19;05A10 Keywords:Pascalmatrix;Stirlingnumber;Stirlingmatrix 1.Introduction Forintegersnandkwithnk0,theStirlingnumbersofthefirstkinds(n,k) andofthesecondkindS(n,k)canbedefinedasthecoefficientsinthefollowing expansionofavariablex(see[3,pp.271–279]): n n−k k [x]n = (−1) s(n,k)x k=0 and ∗ Correspondingauthor. E-mailaddresses:[email protected](G.-S.Cheon),[email protected](J.-S.Kim). 0024-3795/01/$-seefrontmatter2001ElsevierScienceInc.Allrightsreserved. PII:S0024-3795(01)00234-8 50 G.-S. Cheon, J.-S. Kim / Linear Algebra and its Applications 329 (2001) 49–59 n n x = S(n,k)[x]k, (1.1) k=0 where x(x − 1) ···(x − n + 1) if n 1, [x] = (1.2) n 1ifn = 0. It is known that for an n, k 0, the s(n,k), S(n,k) and [n]k satisfy the following Pascal-type recurrence relations: s(n,k) = s(n − 1,k− 1) + (n − 1)s(n − 1,k), S(n,k) = S(n − 1,k− 1) + kS(n − 1,k), (1.3) [n]k =[n − 1]k + k[n − 1]k−1, where s(n,0) = s(0,k)= S(n,0) = S(0,k)=[0]k = 0ands(0, 0) = S(0, 0) = 1, and moreover the S(n,k) satisfies the following formula known as ‘vertical’ recur- rence relation: n− 1 n − 1 S(n,k) = S(l,k − 1).
    [Show full text]
  • Pascal Matrices Alan Edelman and Gilbert Strang Department of Mathematics, Massachusetts Institute of Technology [email protected] and [email protected]
    Pascal Matrices Alan Edelman and Gilbert Strang Department of Mathematics, Massachusetts Institute of Technology [email protected] and [email protected] Every polynomial of degree n has n roots; every continuous function on [0, 1] attains its maximum; every real symmetric matrix has a complete set of orthonormal eigenvectors. “General theorems” are a big part of the mathematics we know. We can hardly resist the urge to generalize further! Remove hypotheses, make the theorem tighter and more difficult, include more functions, move into Hilbert space,. It’s in our nature. The other extreme in mathematics might be called the “particular case”. One specific function or group or matrix becomes special. It obeys the general rules, like everyone else. At the same time it has some little twist that connects familiar objects in a neat way. This paper is about an extremely particular case. The familiar object is Pascal’s triangle. The little twist begins by putting that triangle of binomial coefficients into a matrix. Three different matrices—symmetric, lower triangular, and upper triangular—can hold Pascal’s triangle in a convenient way. Truncation produces n by n matrices Sn and Ln and Un—the pattern is visible for n = 4: 1 1 1 1 1 1 1 1 1 1 2 3 4 1 1 1 2 3 S4 = L4 = U4 = . 1 3 6 10 1 2 1 1 3 1 4 10 20 1 3 3 1 1 We mention first a very specific fact: The determinant of every Sn is 1. (If we emphasized det Ln = 1 and det Un = 1, you would write to the Editor.
    [Show full text]
  • Arxiv:1904.01037V3 [Math.GR]
    AN EFFECTIVE LIE–KOLCHIN THEOREM FOR QUASI-UNIPOTENT MATRICES THOMAS KOBERDA, FENG LUO, AND HONGBIN SUN Abstract. We establish an effective version of the classical Lie–Kolchin Theo- rem. Namely, let A, B P GLmpCq be quasi–unipotent matrices such that the Jordan Canonical Form of B consists of a single block, and suppose that for all k ě 0 the matrix ABk is also quasi–unipotent. Then A and B have a common eigenvector. In particular, xA, Byă GLmpCq is a solvable subgroup. We give applications of this result to the representation theory of mapping class groups of orientable surfaces. 1. Introduction Let V be a finite dimensional vector space over an algebraically closed field. In this paper, we study the structure of certain subgroups of GLpVq which contain “sufficiently many” elements of a relatively simple form. We are motivated by the representation theory of the mapping class group of a surface of hyperbolic type. If S be an orientable surface of genus 2 or more, the mapping class group ModpS q is the group of homotopy classes of orientation preserving homeomor- phisms of S . The group ModpS q is generated by certain mapping classes known as Dehn twists, which are defined for essential simple closed curves of S . Here, an essential simple closed curve is a free homotopy class of embedded copies of S 1 in S which is homotopically essential, in that the homotopy class represents a nontrivial conjugacy class in π1pS q which is not the homotopy class of a boundary component or a puncture of S .
    [Show full text]
  • The Pascal Matrix Function and Its Applications to Bernoulli Numbers and Bernoulli Polynomials and Euler Numbers and Euler Polynomials
    The Pascal Matrix Function and Its Applications to Bernoulli Numbers and Bernoulli Polynomials and Euler Numbers and Euler Polynomials Tian-Xiao He ∗ Jeff H.-C. Liao y and Peter J.-S. Shiue z Dedicated to Professor L. C. Hsu on the occasion of his 95th birthday Abstract A Pascal matrix function is introduced by Call and Velleman in [3]. In this paper, we will use the function to give a unified approach in the study of Bernoulli numbers and Bernoulli poly- nomials. Many well-known and new properties of the Bernoulli numbers and polynomials can be established by using the Pascal matrix function. The approach is also applied to the study of Euler numbers and Euler polynomials. AMS Subject Classification: 05A15, 65B10, 33C45, 39A70, 41A80. Key Words and Phrases: Pascal matrix, Pascal matrix func- tion, Bernoulli number, Bernoulli polynomial, Euler number, Euler polynomial. ∗Department of Mathematics, Illinois Wesleyan University, Bloomington, Illinois 61702 yInstitute of Mathematics, Academia Sinica, Taipei, Taiwan zDepartment of Mathematical Sciences, University of Nevada, Las Vegas, Las Vegas, Nevada, 89154-4020. This work is partially supported by the Tzu (?) Tze foundation, Taipei, Taiwan, and the Institute of Mathematics, Academia Sinica, Taipei, Taiwan. The author would also thank to the Institute of Mathematics, Academia Sinica for the hospitality. 1 2 T. X. He, J. H.-C. Liao, and P. J.-S. Shiue 1 Introduction A large literature scatters widely in books and journals on Bernoulli numbers Bn, and Bernoulli polynomials Bn(x). They can be studied by means of the binomial expression connecting them, n X n B (x) = B xn−k; n ≥ 0: (1) n k k k=0 The study brings consistent attention of researchers working in combi- natorics, number theory, etc.
    [Show full text]
  • Q-Pascal and Q-Bernoulli Matrices, an Umbral Approach Thomas Ernst
    U.U.D.M. Report 2008:23 q-Pascal and q-Bernoulli matrices, an umbral approach Thomas Ernst Department of Mathematics Uppsala University q- PASCAL AND q-BERNOULLI MATRICES, AN UMBRAL APPROACH THOMAS ERNST Abstract A q-analogue Hn,q ∈ Mat(n)(C(q)) of the Polya-Vein ma- trix is used to define the q-Pascal matrix. The Nalli–Ward–AlSalam (NWA) q-shift operator acting on polynomials is a commutative semi- group. The q-Cauchy-Vandermonde matrix generalizing Aceto-Trigiante is defined by the NWA q-shift operator. A new formula for a q-Cauchy- Vandermonde determinant with matrix elements equal to q-Ward num- bers is found. The matrix form of the q-derivatives of the q-Bernoulli polynomials can be expressed in terms of the Hn,q. With the help of a new q-matrix multiplication certain special q-analogues of Aceto- Trigiante and Brawer-Pirovino are found. The q-Cauchy-Vandermonde matrix can be expressed in terms of the q-Bernoulli matrix. With the help of the Jackson-Hahn-Cigler (JHC) q-Bernoulli polynomials, the q-analogue of the Bernoulli complementary argument theorem is ob- tained. Analogous results for q-Euler polynomials are obtained. The q-Pascal matrix is factorized by the summation matrices and the so- called q-unit matrices. 1. Introduction In this paper we are going to find q-analogues of matrix formulas from two pairs of authors: L. Aceto, & D. Trigiante [1], [2] and R. Brawer & M.Pirovino [5]. The umbral method of the author [11] is used to find natural q-analogues of the Pascal- and the Cauchy-Vandermonde matrices.
    [Show full text]
  • Relation Between Lah Matrix and K-Fibonacci Matrix
    International Journal of Mathematics Trends and Technology Volume 66 Issue 10, 116-122, October 2020 ISSN: 2231 – 5373 /doi:10.14445/22315373/IJMTT-V66I10P513 © 2020 Seventh Sense Research Group® Relation between Lah matrix and k-Fibonacci Matrix Irda Melina Zet#1, Sri Gemawati#2, Kartini Kartini#3 #Department of Mathematics, Faculty of Mathematics and Natural Sciences, University of Riau Bina Widya Campus, Pekanbaru 28293, Indonesia Abstract. - The Lah matrix is represented by 퐿푛, is a matrix where each entry is Lah number. Lah number is count the number of ways a set of n elements can be partitioned into k nonempty linearly ordered subsets. k-Fibonacci matrix, 퐹푛(푘) is a matrix which all the entries are k-Fibonacci numbers. k-Fibonacci numbers are consist of the first term being 0, the second term being 1 and the next term depends on a natural number k. In this paper, a new matrix is defined namely 퐴푛 where it is not commutative to multiplicity of two matrices, so that another matrix 퐵푛 is defined such that 퐴푛 ≠ 퐵푛. The result is two forms of factorization from those matrices. In addition, the properties of the relation of Lah matrix and k- Fibonacci matrix is yielded as well. Keywords — Lah numbers, Lah matrix, k-Fibonacci numbers, k-Fibonacci matrix. I. INTRODUCTION Guo and Qi [5] stated that Lah numbers were introduced in 1955 and discovered by Ivo. Lah numbers are count the number of ways a set of n elements can be partitioned into k non-empty linearly ordered subsets. Lah numbers [9] is denoted by 퐿(푛, 푘) for every 푛, 푘 are elements of integers with initial value 퐿(0,0) = 1.
    [Show full text]
  • Factorizations for Q-Pascal Matrices of Two Variables
    Spec. Matrices 2015; 3:207–213 Research Article Open Access Thomas Ernst Factorizations for q-Pascal matrices of two variables DOI 10.1515/spma-2015-0020 Received July 15, 2015; accepted September 14, 2015 Abstract: In this second article on q-Pascal matrices, we show how the previous factorizations by the sum- mation matrices and the so-called q-unit matrices extend in a natural way to produce q-analogues of Pascal matrices of two variables by Z. Zhang and M. Liu as follows 0 ! 1n−1 i Φ x y xi−j yi+j n,q( , ) = @ j A . q i,j=0 We also find two different matrix products for 0 ! 1n−1 i j Ψ x y i j + xi−j yi+j n,q( , ; , ) = @ j A . q i,j=0 Keywords: q-Pascal matrix; q-unit matrix; q-matrix multiplication 1 Introduction Once upon a time, Brawer and Pirovino [2, p.15 (1), p. 16(3)] found factorizations of the Pascal matrix and its inverse by the summation and difference matrices. In another article [7] we treated q-Pascal matrices and the corresponding factorizations. It turns out that an analoguous reasoning can be used to find q-analogues of the two variable factorizations by Zhang and Liu [13]. The purpose of this paper is thus to continue the q-analysis- matrix theme from our earlier papers [3]-[4] and [6]. To this aim, we define two new kinds of q-Pascal matrices, the lower triangular Φn,q matrix and the Ψn,q, both of two variables. To be able to write down addition and subtraction formulas for the most important q-special functions, i.e.
    [Show full text]
  • Euler Matrices and Their Algebraic Properties Revisited
    Appl. Math. Inf. Sci. 14, No. 4, 1-14 (2020) 1 Applied Mathematics & Information Sciences An International Journal http://dx.doi.org/10.18576/amis/AMIS submission quintana ramirez urieles FINAL VERSION Euler Matrices and their Algebraic Properties Revisited Yamilet Quintana1,∗, William Ram´ırez 2 and Alejandro Urieles3 1 Department of Pure and Applied Mathematics, Postal Code: 89000, Caracas 1080 A, Simon Bol´ıvar University, Venezuela 2 Department of Natural and Exact Sciences, University of the Coast - CUC, Barranquilla, Colombia 3 Faculty of Basic Sciences - Mathematics Program, University of Atl´antico, Km 7, Port Colombia, Barranquilla, Colombia Received: 2 Sep. 2019, Revised: 23 Feb. 2020, Accepted: 13 Apr. 2020 Published online: 1 Jul. 2020 Abstract: This paper addresses the generalized Euler polynomial matrix E (α)(x) and the Euler matrix E . Taking into account some properties of Euler polynomials and numbers, we deduce product formulae for E (α)(x) and define the inverse matrix of E . We establish some explicit expressions for the Euler polynomial matrix E (x), which involves the generalized Pascal, Fibonacci and Lucas matrices, respectively. From these formulae, we get some new interesting identities involving Fibonacci and Lucas numbers. Also, we provide some factorizations of the Euler polynomial matrix in terms of Stirling matrices, as well as a connection between the shifted Euler matrices and Vandermonde matrices. Keywords: Euler polynomials, Euler matrix, generalized Euler matrix, generalized Pascal matrix, Fibonacci matrix,
    [Show full text]
  • An Effective Lie–Kolchin Theorem for Quasi-Unipotent Matrices
    Linear Algebra and its Applications 581 (2019) 304–323 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa An effective Lie–Kolchin Theorem for quasi-unipotent matrices Thomas Koberda a, Feng Luo b,∗, Hongbin Sun b a Department of Mathematics, University of Virginia, Charlottesville, VA 22904-4137, USA b Department of Mathematics, Rutgers University, Hill Center – Busch Campus, 110 Frelinghuysen Road, Piscataway, NJ 08854, USA a r t i c l e i n f oa b s t r a c t Article history: We establish an effective version of the classical Lie–Kolchin Received 27 April 2019 Theorem. Namely, let A, B ∈ GLm(C)be quasi-unipotent Accepted 17 July 2019 matrices such that the Jordan Canonical Form of B consists Available online 23 July 2019 of a single block, and suppose that for all k 0the Submitted by V.V. Sergeichuk matrix ABk is also quasi-unipotent. Then A and B have a A, B < C MSC: common eigenvector. In particular, GLm( )is a primary 20H20, 20F38 solvable subgroup. We give applications of this result to the secondary 20F16, 15A15 representation theory of mapping class groups of orientable surfaces. Keywords: © 2019 Elsevier Inc. All rights reserved. Lie–Kolchin theorem Unipotent matrices Solvable groups Mapping class groups * Corresponding author. E-mail addresses: [email protected] (T. Koberda), fl[email protected] (F. Luo), [email protected] (H. Sun). URLs: http://faculty.virginia.edu/Koberda/ (T. Koberda), http://sites.math.rutgers.edu/~fluo/ (F. Luo), http://sites.math.rutgers.edu/~hs735/ (H.
    [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]
  • ZERO COMMUTING MATRIX with PASCAL MATRIX Eunmi Choi* 1
    JOURNAL OF THE CHUNGCHEONG MATHEMATICAL SOCIETY Volume 33, No. 4, November 2020 http://dx.doi.org/10.14403/jcms.2020.33.4.413 ZERO COMMUTING MATRIX WITH PASCAL MATRIX Eunmi Choi* Abstract. In this work we study 0-commuting matrix C(0) under relationships with the Pascal matrix C(1). Like kth power C(1)k is an arithmetic matrix of (kx + y)n with yx = xy (k ≥ 1), we express C(0)k as an arithmetic matrix of certain polynomial with yx = 0. 1. Introduction An arithmetic matrix of a polynomial f(x) is a matrix consisting of coefficients of f(x). The Pascal matrix is a famous arithmetic matrix n n P n k n−k of (x + y) = k x y , in which the commutativity yx = xy is k=0 assumed tacitly. As a generalization, with two q-commuting variables x n and y satisfying yx = qxy (q 2 Z), the arithmetic matrix of (x + y) is called a q-commuting matrix denoted by C(q) [1]. The C(q) is composed hii (1−qi)(1−qi−1)···(1−qi−j+1) of q-binomials = 2 j [7]. When q = ±1, C(1) j q (1−q)(1−q )···(1−q ) is the Pascal matrix and C(−1) is the Pauli Pascal matrix [4]. A block 2i 3 i i h1 i matrix form C(−1) = 4i2i i 5 with a 2 × 2 matrix i = 11 looks very i3i 3i i ··· "1 # 11 similar to C(1) [5]. In particular if q = 0 then C(0) = 111 .
    [Show full text]
  • Determinants Related to Dirichlet Characters Modulo 2, 4 and 8 Of
    Determinants related to Dirichlet characters modulo 2, 4 and 8 of binomial coefficients and the algebra of recurrence matrices Roland Bacher Abstract: Using recurrence matrices, defined and described with some details, we study a few determinants related to evaluations of binomial co- efficients on Dirichlet characters modulo 2, 4 and 8. 1 1 Introduction The aim of this paper is twofold: It contains computations of a few de- terminants related to binomial coefficients. The most interesting example, discovered after browsing through [7], is obtained by considering binomial coefficients modulo 4. We include two similar examples taken from [2] and [3]. The second topic discussed in this work are recurrence matrices, see [3] for a very condensed outline. They are defined as certain sequences of matri- ces involving self-similar structures and they form an algebra. Computations in the algebra of recurrence matrices are the main tool for proving the de- terminant formulae mentionned above. Recurrence matrices are however of independent interest since they are closely linked for example to automatic sequences, see [1], to rational formal power series in free noncommuting variables and to groups of automata, see [9] for the perhaps most important example. The determinant calculations of this paper can thus be considered as illustrations of some interesting features displayed by recurrence matrices. The sequel of this paper is organised as follows: arXiv:0708.1430v3 [math.NT] 12 May 2008 The next section recalls mostly well-known facts concerning binomial and q binomial coefficients and states the main results. − Section 3 defines the algebra of recurrence matrices. It describes them R with more details than necessary for proving the formulae of Section 2.
    [Show full text]