On Restricted Ternary Words and Insets 3

Total Page:16

File Type:pdf, Size:1020Kb

On Restricted Ternary Words and Insets 3 ON RESTRICTED TERNARY WORDS AND INSETS MILAN JANJIC´ Department for Mathematics and Informatics, University of Banja Luka, Abstract. We investigate combinatorial properties of a kind of insets we defined in an earlier paper, interpreting them now in terms of restricted ternary words. This allows us to give new combinatorial interpretations of a number of known integer sequences, namely the coefficients of Chebyshev polynomials of both kinds, Fibonacci numbers, Delannoy numbers, asymmetric Delannoy numbers, Sulanke numbers, coordinating sequences for some cubic lattices, crystal ball sequences for some cubic lattices, and others. We also obtain several new properties of said insets. In particular, we derive three generating functions when two of three variables are constant. At the end, we state 40 combinatorial configurations counted by our words. 1. Introduction In M. Janji´cand B. Petkovi´c[2], we defined the notion of inset in the following way. Let m,k,n be nonnegative integers. Let q1, q2,...,qn be positive integers. Consider the set X consisting of blocks X1,X2,...,Xn, Y such that |Xi| = qi, (i = m,n 1, 2,...,n), |Y | = m. Then, k,Q equals the number of (n + k)-subsets of X intersecting each block Xi, (i =1 , 2,...,n ). We call such subsets the (n + k)-insets of X. m,n We investigate the properties of the function k,2 in which qi =2, (i =1, 2,...,n). m,n m,n To simplify our notation, we write k instead of k,2 . Thus, we consider the three-dimensional array m,n A = :0 ≤ m, 0 ≤ n, 0 ≤ k ≤ m + n . k, 2 m,n arXiv:1905.04465v1 [math.CO] 11 May 2019 The following two explicit formulae for k are proved in [2, Equations(8) and (11)]. n m,n n m +2n − 2i (1) = (−1)i . k i n + k Xi=0 m,n m m n (2) =2n−k 2i . k i k − i Xi=0 0,0 In particular, we have 0 = 1. Date: May 14, 2019. 1 2 MILAN JANJIC´ m,n Remark 1. We note that k are even if n > k. In the case n = k, Equation (2) becomes m,n m m n = 2i , n i i Xi=0 which is the well-known formula for the Delannoy numbers D(m,n). From [2, Eq. (11)], we obtain the following identity: m,n m,n − 1 m +1,n − 1 (3) = + , k k k Using this identity, we easily express the Fibonacci numbers in terms of insets. Corollary 1. For m ≥ 0, we have m ⌊ +1 ⌋ 2 m − i, 1 Fm = . +3 i Xi=0 Proof. From (3), we obtain m m ⌊ +1 ⌋ ⌊ +1 ⌋ 2 m − i, 1 2 m − i m − i − 1 = + , i i i Xi=0 Xi=0 and the proof follows from the well-known expression of the Fibonacci numbers in terms of the binomial coefficients. From [2, Eq. (13)], we obtain the following identity: m,n m,n − 1 m,n − 1 (4) =2 + . k k k − 1 m,n We proceed by deriving some new properties of the function k . Proposition 1. For 0 ≤ p ≤ m;0 <n, the following formula holds: p m +1,n − 1 p m − p +1,n + p − 1 − i (5) = (−1)i . k i k Xi=0 Proof. The formula is obviously true for p = 0. We next write (3) in the following form: m +1,n − 1 m,n m,n − 1 (6) = − . k k k This means that (5) holds for p = 1. Applying (6) on the right-hand side of the same formula yields m +1,n − 1 m − 1,n +1 m − 1,n m − 1,n − 1 = − 2 + . k k k k This means that (6) holds for p = 2. Repeating the same procedure, we obtain that (5) is true for each p ≤ m. Proposition 2. The following formula holds: m m +1,n n i,n (7) =2n−k−1 + . k +1 k +1 k Xi=0 ON RESTRICTED TERNARY WORDS AND INSETS 3 In particular, for n ≤ k ≤ m + n, we have m m +1,n i,n (8) = . k +1 k Xi=0 Proof. From [2, Proposition 10], it follows that m +1,n m,n m,n m,n m − 1,n m − 1,n = + = + + k +1 k k +1 k k k +1 m,n 0,n 0,n = + ··· + + . k k k +1 0,n n−k−1 n Taking m = 0 in (2), we obtain k+1 = 2 k+1 , which proves (7). The statement (8) is obvious. Remark 2. The equation (8) is an analog of the horizontal recurrence for the binomial coefficients. Proposition 3. Let p be a positive integer such that 1 ≤ p ≤ min{n, k}. Then, p m,n − p m,n m,n − i (9) − =2 · . k − p k k − i +1 Xi=1 Proof. From Equation (4), we obtain the following sequence of equalities: m,n m,n − 1 m,n − 1 − =2 , k k − 1 k m,n − 1 m,n − 2 m,n − 2 − =2 , k − 1 k − 2 k − 1 . m,n − p +1 m,n − p m,n − p − =2 . k − p +1 k − p k − p +1 The sum of the expressions on the left-hand side and the sum of the expressions on the right-hand side of the preceding equations produces Equation (9). m,n−p m,n Corollary 2. The numbers k−p and k are of the same parity. Remark 3. Note that for n = 0, the array A is the standard Pascal triangle. m,n Proposition 4. For a fixed positive n, the array { k : (m, k = 0, 1,...)} is a Pascal trapeze. The elements of the leftmost diagonal equal 2n, the rightmost n−k n diagonal consists of ones, and the first row consists of 2 k , (k =0, 1,...,m+n). m,n Proof. In the case k = 0, we have 0 , which is the number of insets of n elements. In such an inset, we must choose exactly one element from each main block. We have 2n such insets. We conclude that the leftmost diagonal of the array A is a n m,n constant sequence consisting of 2 . Furthermore, if n+k>m+2n, then k = 0, since there is no inset having more than m +2n elements. If k + n = m +2 n, that m,n is, if k = m + n, then k = 1. Hence, the rightmost diagonal consists of ones. 0,n n−k n Since the first row is obtained for m = 0, Proposition 2 yields k =2 k , (k = 4 MILAN JANJIC´ 0, 1,...,m + n). Finally, from [2, Proposition 10], the following (Pascal) recurrence holds: m,n m − 1,n m − 1,n (10) = + . k k − 1 k A combinatorial interpretation of m,n 2. k In this section, we relate the array A to restricted ternary words. We firstly 0,n 0,n consider the insets counted by k . Note that k = 0, if k>n. Also, we have 0,n n = 1. Let X be the set 0,n Proposition 5. The number k equals the number of ternary words of length n having k letters equal to 2. Proof. Assume that k ≤ n. From each (n + k)-inset of X, we form a ternary word of length n in the following way. Put 2 in the place of every main block from which both elements are in X. Then, insert 1 in the place of every main block from which the only first element is in X, and fill all other places with zeros. It is clear that this correspondence is bijective. We now consider the case m> 0. m,n Proposition 6. For k ≤ m + n, the number k is the number of ternary words of length m + n having k letters equal to 2 and none of the first m letters is equal to 0. Proof. The following formula is proved in [2, Proposition 11]: m m,n m 0,n = . k i k − i Xi=0 0,n Take i ∈{0, 1,...,m}. According to Proposition 5, k−i is the number of ternary m words of length n having k − i letters equal to 2. On the other hand, i is the m 0,n number of words of length m over {1, 2} having i letters equal to 2. Hence, i k−i is the number of ternary words of length m + n, having k letters equal to 2, and beginning with a subword of length m over {1, 2}. Summing over all i, we obtain the assertion. 1,3 Example 1. (1) For m = 1,n = 3, and k = 2, we have 2 = 18. The corresponding words counted by this number are 1022, 1122, 1202, 1212, 1220, 1221, 2200, 2211, 2210, 2201, 2020, 2121, 2021, 2120, 2002, 2112, 2012, 2102. 1,3 (2) For m =1,n = 3, and k = 3, we have 3 = 7. The corresponding words are 1222, 2122, 2022, 2212, 2202, 2221, 2220. 2,3 (3) For m = 2,n = 3, and k = 4, we have 4 = 8. The corresponding numbers are 12222, 21222, 22122, 22212, 22221, 22220, 22202, 22022. m,n We derive a property of the function k by introducing a new parameter p. ON RESTRICTED TERNARY WORDS AND INSETS 5 Identity 1. If 0 ≤ p ≤ n, then p m,n p m + i,n − p (11) = . k i k Xi=0 Proof. The result may be proved by induction on p, using Equation (3). We add a combinatorial proof.
Recommended publications
  • Catalan Numbers Modulo 2K
    1 2 Journal of Integer Sequences, Vol. 13 (2010), 3 Article 10.5.4 47 6 23 11 Catalan Numbers Modulo 2k Shu-Chung Liu1 Department of Applied Mathematics National Hsinchu University of Education Hsinchu, Taiwan [email protected] and Jean C.-C. Yeh Department of Mathematics Texas A & M University College Station, TX 77843-3368 USA Abstract In this paper, we develop a systematic tool to calculate the congruences of some combinatorial numbers involving n!. Using this tool, we re-prove Kummer’s and Lucas’ theorems in a unique concept, and classify the congruences of the Catalan numbers cn (mod 64). To achieve the second goal, cn (mod 8) and cn (mod 16) are also classified. Through the approach of these three congruence problems, we develop several general properties. For instance, a general formula with powers of 2 and 5 can evaluate cn (mod k 2 ) for any k. An equivalence cn ≡2k cn¯ is derived, wheren ¯ is the number obtained by partially truncating some runs of 1 and runs of 0 in the binary string [n]2. By this equivalence relation, we show that not every number in [0, 2k − 1] turns out to be a k residue of cn (mod 2 ) for k ≥ 2. 1 Introduction Throughout this paper, p is a prime number and k is a positive integer. We are interested in enumerating the congruences of various combinatorial numbers modulo a prime power 1Partially supported by NSC96-2115-M-134-003-MY2 1 k q := p , and one of the goals of this paper is to classify Catalan numbers cn modulo 64.
    [Show full text]
  • Triangular Numbers /, 3,6, 10, 15, ", Tn,'" »*"
    TRIANGULAR NUMBERS V.E. HOGGATT, JR., and IVIARJORIE BICKWELL San Jose State University, San Jose, California 9111112 1. INTRODUCTION To Fibonacci is attributed the arithmetic triangle of odd numbers, in which the nth row has n entries, the cen- ter element is n* for even /?, and the row sum is n3. (See Stanley Bezuszka [11].) FIBONACCI'S TRIANGLE SUMS / 1 =:1 3 3 5 8 = 2s 7 9 11 27 = 33 13 15 17 19 64 = 4$ 21 23 25 27 29 125 = 5s We wish to derive some results here concerning the triangular numbers /, 3,6, 10, 15, ", Tn,'" »*". If one o b - serves how they are defined geometrically, 1 3 6 10 • - one easily sees that (1.1) Tn - 1+2+3 + .- +n = n(n±M and (1.2) • Tn+1 = Tn+(n+1) . By noticing that two adjacent arrays form a square, such as 3 + 6 = 9 '.'.?. we are led to 2 (1.3) n = Tn + Tn„7 , which can be verified using (1.1). This also provides an identity for triangular numbers in terms of subscripts which are also triangular numbers, T =T + T (1-4) n Tn Tn-1 • Since every odd number is the difference of two consecutive squares, it is informative to rewrite Fibonacci's tri- angle of odd numbers: 221 222 TRIANGULAR NUMBERS [OCT. FIBONACCI'S TRIANGLE SUMS f^-O2) Tf-T* (2* -I2) (32-22) Ti-Tf (42-32) (52-42) (62-52) Ti-Tl•2 (72-62) (82-72) (9*-82) (Kp-92) Tl-Tl Upon comparing with the first array, it would appear that the difference of the squares of two consecutive tri- angular numbers is a perfect cube.
    [Show full text]
  • Total Positivity of Narayana Matrices Can Also Be Obtained by a Similar Combinatorial Approach?
    Total positivity of Narayana matrices Yi Wanga, Arthur L.B. Yangb aSchool of Mathematical Sciences, Dalian University of Technology, Dalian 116024, P.R. China bCenter for Combinatorics, LPMC, Nankai University, Tianjin 300071, P.R. China Abstract We prove the total positivity of the Narayana triangles of type A and type B, and thus affirmatively confirm a conjecture of Chen, Liang and Wang and a conjecture of Pan and Zeng. We also prove the strict total positivity of the Narayana squares of type A and type B. Keywords: Totally positive matrices, the Narayana triangle of type A, the Narayana triangle of type B, the Narayana square of type A, the Narayana square of type B AMS Classification 2010: 05A10, 05A20 1. Introduction Let M be a (finite or infinite) matrix of real numbers. We say that M is totally positive (TP) if all its minors are nonnegative, and we say that it is strictly totally positive (STP) if all its minors are positive. Total positivity is an important and powerful concept and arises often in analysis, algebra, statistics and probability, as well as in combinatorics. See [1, 6, 7, 9, 10, 13, 14, 18] for instance. n Let C(n, k)= k . It is well known [14, P. 137] that the Pascal triangle arXiv:1702.07822v1 [math.CO] 25 Feb 2017 1 1 1 1 2 1 P = [C(n, k)]n,k≥0 = 13 31 14641 . . .. Email addresses: [email protected] (Yi Wang), [email protected] (Arthur L.B. Yang) Preprint submitted to Elsevier April 12, 2018 is totally positive.
    [Show full text]
  • Motzkin Paths, Motzkin Polynomials and Recurrence Relations
    Motzkin paths, Motzkin polynomials and recurrence relations Roy Oste and Joris Van der Jeugt Department of Applied Mathematics, Computer Science and Statistics Ghent University B-9000 Gent, Belgium [email protected], [email protected] Submitted: Oct 24, 2014; Accepted: Apr 4, 2015; Published: Apr 21, 2015 Mathematics Subject Classifications: 05A10, 05A15 Abstract We consider the Motzkin paths which are simple combinatorial objects appear- ing in many contexts. They are counted by the Motzkin numbers, related to the well known Catalan numbers. Associated with the Motzkin paths, we introduce the Motzkin polynomial, which is a multi-variable polynomial “counting” all Motzkin paths of a certain type. Motzkin polynomials (also called Jacobi-Rogers polyno- mials) have been studied before, but here we deduce some properties based on recurrence relations. The recurrence relations proved here also allow an efficient computation of the Motzkin polynomials. Finally, we show that the matrix en- tries of powers of an arbitrary tridiagonal matrix are essentially given by Motzkin polynomials, a property commonly known but usually stated without proof. 1 Introduction Catalan numbers and Motzkin numbers have a long history in combinatorics [19, 20]. 1 2n A lot of enumeration problems are counted by the Catalan numbers Cn = n+1 n , see e.g. [20]. Closely related to Catalan numbers are Motzkin numbers M , n ⌊n/2⌋ n M = C n 2k k Xk=0 similarly associated to many counting problems, see e.g. [9, 1, 18]. For example, the number of different ways of drawing non-intersecting chords between n points on a circle is counted by the Motzkin numbers.
    [Show full text]
  • Input for Carnival of Math: Number 115, October 2014
    Input for Carnival of Math: Number 115, October 2014 I visited Singapore in 1996 and the people were very kind to me. So I though this might be a little payback for their kindness. Good Luck. David Brooks The “Mathematical Association of America” (http://maanumberaday.blogspot.com/2009/11/115.html ) notes that: 115 = 5 x 23. 115 = 23 x (2 + 3). 115 has a unique representation as a sum of three squares: 3 2 + 5 2 + 9 2 = 115. 115 is the smallest three-digit integer, abc , such that ( abc )/( a*b*c) is prime : 115/5 = 23. STS-115 was a space shuttle mission to the International Space Station flown by the space shuttle Atlantis on Sept. 9, 2006. The “Online Encyclopedia of Integer Sequences” (http://www.oeis.org) notes that 115 is a tridecagonal (or 13-gonal) number. Also, 115 is the number of rooted trees with 8 vertices (or nodes). If you do a search for 115 on the OEIS website you will find out that there are 7,041 integer sequences that contain the number 115. The website “Positive Integers” (http://www.positiveintegers.org/115) notes that 115 is a palindromic and repdigit number when written in base 22 (5522). The website “Number Gossip” (http://www.numbergossip.com) notes that: 115 is the smallest three-digit integer, abc, such that (abc)/(a*b*c) is prime. It also notes that 115 is a composite, deficient, lucky, odd odious and square-free number. The website “Numbers Aplenty” (http://www.numbersaplenty.com/115) notes that: It has 4 divisors, whose sum is σ = 144.
    [Show full text]
  • Algebra & Number Theory Vol. 7 (2013)
    Algebra & Number Theory Volume 7 2013 No. 3 msp Algebra & Number Theory msp.org/ant EDITORS MANAGING EDITOR EDITORIAL BOARD CHAIR Bjorn Poonen David Eisenbud Massachusetts Institute of Technology University of California Cambridge, USA Berkeley, USA BOARD OF EDITORS Georgia Benkart University of Wisconsin, Madison, USA Susan Montgomery University of Southern California, USA Dave Benson University of Aberdeen, Scotland Shigefumi Mori RIMS, Kyoto University, Japan Richard E. Borcherds University of California, Berkeley, USA Raman Parimala Emory University, USA John H. Coates University of Cambridge, UK Jonathan Pila University of Oxford, UK J-L. Colliot-Thélène CNRS, Université Paris-Sud, France Victor Reiner University of Minnesota, USA Brian D. Conrad University of Michigan, USA Karl Rubin University of California, Irvine, USA Hélène Esnault Freie Universität Berlin, Germany Peter Sarnak Princeton University, USA Hubert Flenner Ruhr-Universität, Germany Joseph H. Silverman Brown University, USA Edward Frenkel University of California, Berkeley, USA Michael Singer North Carolina State University, USA Andrew Granville Université de Montréal, Canada Vasudevan Srinivas Tata Inst. of Fund. Research, India Joseph Gubeladze San Francisco State University, USA J. Toby Stafford University of Michigan, USA Ehud Hrushovski Hebrew University, Israel Bernd Sturmfels University of California, Berkeley, USA Craig Huneke University of Virginia, USA Richard Taylor Harvard University, USA Mikhail Kapranov Yale University, USA Ravi Vakil Stanford University,
    [Show full text]
  • A86 INTEGERS 21 (2021) on SOME P -ADIC PROPERTIES AND
    #A86 INTEGERS 21 (2021) ON SOME p -ADIC PROPERTIES AND SUPERCONGRUENCES OF DELANNOY AND SCHRODER¨ NUMBERS Tam´asLengyel Department of Mathematics, Occidental College, USA [email protected] Received: 2/27/21, Revised: 6/7/21, Accepted: 8/13/21, Published: 8/27/21 Abstract The Delannoy number d(n) is defined as the number of paths from (0; 0) to (n; n) with steps (1,0), (1,1), and (0,1), which is equal to the number of paths from (0; 0) to (2n; 0) using only steps (1; 1), (2; 0) and (1; −1). The Schr¨odernumber s(n) counts only those paths that never go below the x-axis. We discuss some p-adic properties n n of the sequences fd(p )gn!1, and fd(ap + b)gn!1 with a 2 N,(a; p) = 1, b 2 Z, and prime p. We also present similar p-adic properties of the Schr¨odernumbers. We provide several supercongruences for these numbers and their differences. Some conjectures are also proposed. 1. Introduction The central Delannoy number d(n) is defined as the number of paths from (0; 0) to (n; n) in an n × n grid using only steps north, northeast and east (i.e., steps (1,0), (1,1), and (0,1)). With n ≥ 0 the first few values are: 1, 3, 13, 63, 321, 1683, 8989, cf. A001850,[8]. It is also the number of paths from (0; 0) to (2n; 0) using only steps (1; 1), (2; 0) and (1; −1). The corresponding paths are called Delannoy paths.
    [Show full text]
  • Asymptotics of Multivariate Sequences, Part III: Quadratic Points
    Asymptotics of multivariate sequences, part III: quadratic points Yuliy Baryshnikov 1 Robin Pemantle 2,3 ABSTRACT: We consider a number of combinatorial problems in which rational generating func- tions may be obtained, whose denominators have factors with certain singularities. Specifically, there exist points near which one of the factors is asymptotic to a nondegenerate quadratic. We compute the asymptotics of the coefficients of such a generating function. The computation requires some topological deformations as well as Fourier-Laplace transforms of generalized functions. We apply the results of the theory to specific combinatorial problems, such as Aztec diamond tilings, cube groves, and multi-set permutations. Keywords: generalized function, Fourier transform, Fourier-Laplace, lacuna, multivariate generating function, hyperbolic polynomial, amoeba, Aztec diamond, quantum random walk, random tiling, cube grove. Subject classification: Primary: 05A16 ; Secondary: 83B20, 35L99. 1Bell Laboratories, Lucent Technologies, 700 Mountain Avenue, Murray Hill, NJ 07974-0636, [email protected] labs.com 2Research supported in part by National Science Foundation grant # DMS 0603821 3University of Pennsylvania, Department of Mathematics, 209 S. 33rd Street, Philadelphia, PA 19104 USA, pe- [email protected] Contents 1 Introduction 1 1.1 Background and motivation . 1 1.2 Methods and organization . 4 1.3 Comparison with other techniques . 7 2 Notation and preliminaries 8 2.1 The Log map and amoebas . 9 2.2 Dual cones, tangent cones and normal cones . 10 2.3 Hyperbolicity for homogeneous polynomials . 11 2.4 Hyperbolicity and semi-continuity for log-Laurent polynomials on the amoeba boundary 14 2.5 Critical points . 20 2.6 Quadratic forms and their duals .
    [Show full text]
  • Generalized Catalan Numbers and Some Divisibility Properties
    UNLV Theses, Dissertations, Professional Papers, and Capstones December 2015 Generalized Catalan Numbers and Some Divisibility Properties Jacob Bobrowski University of Nevada, Las Vegas Follow this and additional works at: https://digitalscholarship.unlv.edu/thesesdissertations Part of the Mathematics Commons Repository Citation Bobrowski, Jacob, "Generalized Catalan Numbers and Some Divisibility Properties" (2015). UNLV Theses, Dissertations, Professional Papers, and Capstones. 2518. http://dx.doi.org/10.34917/8220086 This Thesis is protected by copyright and/or related rights. It has been brought to you by Digital Scholarship@UNLV with permission from the rights-holder(s). You are free to use this Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/ or on the work itself. This Thesis has been accepted for inclusion in UNLV Theses, Dissertations, Professional Papers, and Capstones by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact [email protected]. GENERALIZED CATALAN NUMBERS AND SOME DIVISIBILITY PROPERTIES By Jacob Bobrowski Bachelor of Arts - Mathematics University of Nevada, Las Vegas 2013 A thesis submitted in partial fulfillment of the requirements for the Master of Science - Mathematical Sciences College of Sciences Department of Mathematical Sciences The Graduate College University of Nevada, Las Vegas December 2015 Thesis Approval The Graduate College The University of Nevada, Las Vegas November 13, 2015 This thesis prepared by Jacob Bobrowski entitled Generalized Catalan Numbers and Some Divisibility Properties is approved in partial fulfillment of the requirements for the degree of Master of Science – Mathematical Sciences Department of Mathematical Sciences Peter Shive, Ph.D.
    [Show full text]
  • Newsletter 91
    Newsletter 9 1: December 2010 Introduction This is the final nzmaths newsletter for 2010. It is also the 91 st we have produced for the website. You can have a look at some of the old newsletters on this page: http://nzmaths.co.nz/newsletter As you are no doubt aware, 91 is a very interesting and important number. A quick search on Wikipedia (http://en.wikipedia.org/wiki/91_%28number%29) will very quickly tell you that 91 is: • The atomic number of protactinium, an actinide. • The code for international direct dial phone calls to India • In cents of a U.S. dollar, the amount of money one has if one has one each of the coins of denominations less than a dollar (penny, nickel, dime, quarter and half dollar) • The ISBN Group Identifier for books published in Sweden. In more mathematically related trivia, 91 is: • the twenty-seventh distinct semiprime. • a triangular number and a hexagonal number, one of the few such numbers to also be a centered hexagonal number, and it is also a centered nonagonal number and a centered cube number. It is a square pyramidal number, being the sum of the squares of the first six integers. • the smallest positive integer expressible as a sum of two cubes in two different ways if negative roots are allowed (alternatively the sum of two cubes and the difference of two cubes): 91 = 6 3+(-5) 3 = 43+33. • the smallest positive integer expressible as a sum of six distinct squares: 91 = 1 2+2 2+3 2+4 2+5 2+6 2.
    [Show full text]
  • The Q , T -Catalan Numbers and the Space of Diagonal Harmonics
    The q, t-Catalan Numbers and the Space of Diagonal Harmonics with an Appendix on the Combinatorics of Macdonald Polynomials J. Haglund Department of Mathematics, University of Pennsylvania, Philadel- phia, PA 19104-6395 Current address: Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104-6395 E-mail address: [email protected] 1991 Mathematics Subject Classification. Primary 05E05, 05A30; Secondary 05A05 Key words and phrases. Diagonal harmonics, Catalan numbers, Macdonald polynomials Abstract. This is a book on the combinatorics of the q, t-Catalan numbers and the space of diagonal harmonics. It is an expanded version of the lecture notes for a course on this topic given at the University of Pennsylvania in the spring of 2004. It includes an Appendix on some recent discoveries involving the combinatorics of Macdonald polynomials. Contents Preface vii Chapter 1. Introduction to q-Analogues and Symmetric Functions 1 Permutation Statistics and Gaussian Polynomials 1 The Catalan Numbers and Dyck Paths 6 The q-Vandermonde Convolution 8 Symmetric Functions 10 The RSK Algorithm 17 Representation Theory 22 Chapter 2. Macdonald Polynomials and the Space of Diagonal Harmonics 27 Kadell and Macdonald’s Generalizations of Selberg’s Integral 27 The q,t-Kostka Polynomials 30 The Garsia-Haiman Modules and the n!-Conjecture 33 The Space of Diagonal Harmonics 35 The Nabla Operator 37 Chapter 3. The q,t-Catalan Numbers 41 The Bounce Statistic 41 Plethystic Formulas for the q,t-Catalan 44 The Special Values t = 1 and t =1/q 47 The Symmetry Problem and the dinv Statistic 48 q-Lagrange Inversion 52 Chapter 4.
    [Show full text]
  • On Ternary Cubic Equation
    ISSN: 2277-3754 ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Volume 3, Issue 9, March 2014 ON TERNARY CUBIC EQUATION P. Thirunavukarasu, S. Sriram Assistant Professor -P.G & Research Department of Mathematics, Periyar E.V.R College Tiruchirappalli – 620 023, Tamilnadu, India Assistant Professor–P.G & Research Department of Mathematics, National College, Tiruchirappalli – 620 001, Tamilnadu, India equations are analyzed for the non-trivial integral Abstract we obtain the non-trivial integral solutions for the solutions. These results have motivated us to search for ternary cubic equation non-trivial integral solutions of their varieties of ternary cubic Diophantine equation. This paper concerns with the problem of determining non-trivial integral solutions of . the equation with three unknowns given by A few interesting relations among the solutions are presented. Index Terms: Ternary Cubic, integral solutions, Pell’s explicit integral solutions of the above equation are form, nasty numbers presented. A few interesting relations among the solutions Notations are obtained. Oblong number of rank n obln n n 1 II. METHOD OF ANALYSIS Tetrahedral number of rank The ternary cubic equation under consideration is n n12 n n Tet n 6 Triangular number of rank (1) Taking (2) Polygonal number of rank n with sides nm12 (3) m tnmn, 1 2 We get Square pyramidal number of rank n n1 2 n 1 (4) Again taking the transformation n Sqpn 6 Pentagonal pyramidal number of rank Star number = and apply in (4) we get (5) 2 Stella Octangula number = St. oct n 2 n 1 n It is well known that the general form of the integral solutions of the Pellian equation.
    [Show full text]