arXiv:1802.02684v1 [math.CO] 8 Feb 2018 sa ioilcecet.I atclr eetn obsinteres Loeb’s extend we particular, [ In combinator fundamental coefficients. the binomial generalized of usual these many that satisfy demonstrate they to that and showing gap, by this fill to is paper cainly h ioilcoefficient binomial the Occasionally, Introduction 1 when ihgnrlitgretishv,t h eto u nweg,n knowledge, our of best the [ to (Loeb have, entries integer general with The which arguments, applications. theoretic negative number to or coefficients combinatorial binomial many the of extension htLcs hoe a euiomygnrlzdt ohbnma c binomial both to generalized uniformly be can theorem Lucas’ that htocrntrlyi aidcnet,icuigcmiaois nu if combinatorics, instance, including For contexts, physics. generalization mathematical varied polynomial and in a theory naturally are occur polynomials) Gaussian that as to referred offiinswt eaieentries. negative with coefficients of ok[ book Loe92 ∗ k [email protected] dmninlsbpcso an of subspaces -dimensional asinbnma offiinswt eaiearguments negative with coefficients binomial Gaussian atclr eso htLcs hoe nbnma coefficie t binomial in on hold Theorem ca Lucas’ also this that coefficients of show we all binomial demonstrate particular, that we of show Moreover, properties We coefficients. arithmetic elements. binomial of Gaussian number of negative a with ioilterma ela obntra interpretation combinatorial a as well as proper fundamental theorem the binomial of many satisfy to continues entries aual otecs fngtv nre,btee oteGau the to even but entries, negative of case the to naturally < k KC02 ntrso eswt eaienmeso lmns ntearithme the On elements. of numbers negative with sets of terms in ] Loe92 obsoe htantrletnino h sa ioilco binomial usual the of extension natural a that showed Loeb seRemark (see 0 o eync nrdcint the to introduction nice very a for ] osbifl discuss briefly does ] eateto ahmtc n Statistics and Mathematics of Department 1.9 a omcel n ri Straub Armin and Formichella Sam .Hwvr sosre yLe [ Loeb by observed as However, ). nvriyo ot Alabama South of University n q dmninlvco pc vrtefiiefield finite the over space vector -dimensional bnma offiinsbtol ntecase the in only but coefficients -binomial eray7 2018 7, February n k ihitgrentries integer with , Abstract q cluu.Yt surprisingly, Yet, -calculus. 1 q sapiepwr hnte on h number the count they then power, prime a is is npriua,h aeauniform a gave he particular, In ties. q ntrso hoigsbeso sets of subsets choosing of terms in bnma coefficients -binomial sa case. ssian ecs fngtv nre.In entries. negative of case he tbe nrdcdi h literature the in introduced been ot Loe92 t modulo nts htsvrlo h well-known the of several that n a n rtmtcpoete fthe of properties arithmetic and ial q bnma offiinsaenatural, are coefficients -binomial igcmiaoilinterpretation combinatorial ting ffiin ongtv (integer) negative to efficient and eetne otecase the to extended be n sagal oentrlfor natural more arguably is ,teeeit nalternative an exists there ], brter,representation theory, mber ∗ ftebnma coefficients binomial the of k ecet and oefficients scniee ob zero be to considered is , p k q o nyextends only not ≥ bnma coefficients -binomial F ) h olo this of goal The 0). i ie eprove we side, tic q erfrt the to refer We . n k q otnalso (often q -binomial In the context of q-series, it is common to introduce the q-binomial coefficient, for n, k ≥ 0, as the quotient n (q; q) = n , (1) kq (q; q)k(q; q)n−k where (a; q)n denotes the q-Pochhammer symbol
n−1 j (a; q)n := (1 − aq ), n ≥ 0. jY=0
In particular, (a; q)0 = 1. It is not difficult to see that (1) reduces to the usual binomial coefficient in the limit q → 1. In order to extend (1) to the case of negative integers n and k, we observe that the simple relation (a; q)∞ (a; q)n = n (aq ; q)∞ can be used to extend the q-Pochhammer symbol to the case when n < 0. That is, if n < 0, it is common to define |n| 1 (a; q) := . n 1 − aq−j jY=1
Note that (q; q)n = ∞ whenever n< 0, so that (1) does not immediately extend to the case when n or k are negative. We therefore make the following definition, which clearly reduces to (1) when n, k ≥ 0. Definition 1.1. For all integers n and k, n (a; q) := lim n . (2) a→q kq (a; q)k(a; q)n−k Though not immediately obvious from (2) when n or k are negative, these generalized q-binomial coefficients are Laurent polynomials in q with integer coefficients. In particular, upon setting q = 1, we always obtain integers. Example 1.2.
a a −3 (a; q) 1 − q4 1 − q5 (1 + q2)(1 + q + q2) = lim −3 = lim = a→q a→q 7 −5q (a; q)−5(a; q)2 (1 − a)(1 − aq) q In Section 2, we observe that, for integers n and k, the q-binomial coefficients are also charac- terized by the Pascal relation n n − 1 n − 1 = + qk , (3) kq k − 1q k q provided that (n, k) 6= (0, 0) (this exceptional case excludes itself naturally in the proof of Lemma 2.1), together with the initial conditions n n = =1. 0q nq
2 In the case q = 1, this extension of Pascal’s rule to negative parameters was observed by Loeb [Loe92, Proposition 4.4]. Among the other basic properties of the generalized q-binomial coefficient are the following. All of these are well-known in the classical case n, k ≥ 0. That they extend uniformly to all integers n and k (though, as illustrated by (3) and item (c), some care has to be applied when generalizing certain properties) serves as a first indication that the generalized q-binomial coefficients are natural objects. For (c), the sign function sgn(k) is defined to be 1 if k ≥ 0, and −1 if k< 0. Lemma 1.3. For all integers n and k,
n k(n−k) n (a) k q = q k q−1 , (b) n = n , k q n−k q 1 n k 2 k(2n−k+1) k−n−1 (c) k q = (−1) sgn(k)q k q,