<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>On associated q-orthogonal polynomials with a class of discrete q-distributions</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Andreas Kyriakoussis</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Harokopion University, Department of Informatics and Telematics</institution>
          ,
          <addr-line>Athens</addr-line>
          ,
          <country country="GR">Greece</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Malvina Vamvakari</institution>
        </aff>
      </contrib-group>
      <fpage>172</fpage>
      <lpage>178</lpage>
      <abstract>
        <p>The aim of this work is twofold, on the one hand the associated qorthogonal polynomials with a class of discrete q-distributions, by their weight functions are derived and on the other hand the combinatorial interpretation of these q-orthogonal polynomials is presented. Speci cally, we derive the associated q-orthogonal polynomials with some deformed types of the q-negative Binomial of the second kind, q-binomial of the second kind and Euler distributions. The derived q-orthogonal polynomials are based on the little q-Jacobi, a ne q-Krawtchouk and little q-Laguerre/Wall orthogonal polynomials, respectively. Also, we provide a combinatorial interpretation of these q-orthogonal polynomials, as applications of a generalization of matching extensions in paths, already presented by the authors.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>Kemp [Kem92a, Kem92b], introduced Heine and Euler, q-Poisson distributions, with probability functions given
respectively by
fXH (x) = eq(
; x = 0; 1; 2; : : : ; 0 &lt; q &lt; 1; 0 &lt;
&lt; 1
and
where
and
fXE (x) = Eq(
; x = 0; 1; 2; : : : ; 0 &lt; q &lt; 1; 0 &lt; (1</p>
      <p>q) &lt; 1;
eq(z) :=</p>
      <p>X1 (1
n=0</p>
      <p>q)nzn
(q; q)n</p>
      <p>1
= X</p>
      <p>zn
n=0 [n]q!
((1
1
q)z; q)1
; jzj &lt; 1
Eq(z) :=</p>
      <p>X1 (1
n=0</p>
      <p>z
q)nq(2)zn
(q; q)n</p>
      <p>z
X1 q(2)zn
n=0 [n]q!
= ((1
q)z; q)1; jzj &lt; 1:
[x]q!
)</p>
      <p>x
[x]q!
(1)
(2)
(3)
(4)
Charalambides [Cha10, Cha16], derived Heine as direct approximation, as n ! 1, of the q-Binomial I and the
q-negative Binomial I, with probability functions given respectively by
and
and
fXB(x) =
n
x q
j=1
n
q(x2) x Y(1 + qj 1) 1; x = 0; 1; : : : ; n;
fXNB(x) =
n + x
x
1
q</p>
      <p>n+x
q(x2) x Y (1 + qj 1) 1; x = 0; 1; : : : ;</p>
      <p>j=1
fXBS (x) =
n
x q</p>
      <p>n x
x Y (1
j=1</p>
      <p>qj 1); x = 0; 1; : : : ; n;
fXNBS (x) =
n + x
x
1
q</p>
      <p>n
x Y(1
j=1
qj 1); x = 0; 1; : : : ;
where</p>
      <p>&gt; 0, 0 &lt; q &lt; 1:</p>
      <p>Moreover, Charalambides [Cha10, Cha16], derived Euler distribution as direct approximation, as n ! 1, of
the q-Binomial II and the negative q-Binomial II, with probability functions given respectively by
where 0 &lt; &lt; 1 and 0 &lt; q &lt; 1 or 1 &lt; q &lt; 1 with qn 1 &lt; 1:
Kyriakoussis and Vamvakari [KV10] introduced deformed types of the q-negative Binomial of the rst kind,
q-binomial of the rst kind and of the Heine distributions and derived the associated q-orthogonal polynomials,
based on discrete q-Meixner, q-Krawtchouk and q-Charlier orthogonal polynomials respectively.
Moreover, Kyriakoussis and Vamvakari [KV12] established families of terminating and non-terminating q-Gauss
hypergeometric series discrete distributions and associated them with de ned classes of generalized q-Hahn and
big q-Jacobi orthogonal polynomials, respectively.</p>
      <p>Also, Kyriakoussis and Vamvakari[KV05] presented generalization of matching extensions in graphs and provided
combinatorial interpretation of wide classes of orthogonal and q-orthogonal polynomials as generating functions
of matching sets in paths.</p>
      <p>In this paper, we derive the associated q-orthogonal polynomials with some deformed types of the q-negative
Binomial of the second kind, q-binomial of the second kind and Euler distributions. The derived q-orthogonal
polynomials are based on the little q-Jacobi, a ne q-Krawtchouk and little q-Laguerre/Wall orthogonal
polynomials respectively. Also, we provide a combinatorial interpretation of these q-orthogonal polynomials, as
applications of a generalization of matching extensions in paths, already prresented by the authors.
For the needs of this paper the class of discrete q-distributions, q-negative Binomial I, q-Binomial I and Heine
will be called class of discrete q-distributions of type I, while the class of discrete q-distributions, q-negative
Binomial II, q-Binomial II and Euler will be called class of discrete q-distributions of type II.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Preliminaries</title>
      <p>Let v be a probability measure in R with nite moments of all orders</p>
      <p>Z</p>
      <p>R
sm =</p>
      <p>xmdv(x):
(5)
(6)
(7)
(8)
Then there exist a sequence of normalized orthogonal polynomials fpm(x)g with respect to the measure v
satisfying the recurrence relation
xpm(x)
=
pm+1(x) + ampm(x) + bmpm 1(x); m
1;
(9)
with initial conditions
Moreover, they satisfy the orthogonality relation
where m the Kronecker delta.</p>
      <p>The polynomials fpm(x)g depend on the moment sequence fsmgm 0 and they can be obtain from the formula
pm(x) =
s
b1b2</p>
      <p>bm
Dm 1Dm
s0 s1 : : : sm
s1 s2 : : : sm+1
: : : :
: : : :
: : : :
sm 1 sm : : : s2m 1
1 x : : : xm
;
where Dm = det(fsi+jg0 i;j m) denotes the Hankel determinant.</p>
      <p>
        Conversely, Favard's (1935) theorem ensures the existence of a probability measure v on R for which the sequence
of polynomials determined by the recurrence relation (9) are orthogonal. It can also be shown that the probability
measure v is supported only in nitely many points if and only if bm = 0 for some m on, thus the sequence of
polynomials is essentially nite. The mean value and the variance of the random variable X in R with probability
density function v(x) are given respectively by
(
        <xref ref-type="bibr" rid="ref15 ref3">10</xref>
        )
(11)
If am = 0 then all moments of odd order are zero
= a0 and
      </p>
      <p>2 = b1:</p>
      <p>Note that the probability measure v is uniquely determined if the coe cinets am and bm in the
reccurence relation (9) are bounded when m ! 1 (see Christiansen [Chr04]).</p>
      <p>The q-orthogonal polynomials Little q-Jacobi, a ne q-Krawtchouk and little q-Laguerre/Wall satisfy the
recurrence relation (9) with am and bm given in the next table respectively.
fYBS (y)
=</p>
      <p>n
g(y) q
g(y)
n g(y)</p>
      <p>Y (1
j=1
y = [0]q; [1]q; [2]q; : : : ;
qj 1); 0 &lt;</p>
      <p>&lt; 1; 0 &lt; q &lt; 1;</p>
    </sec>
    <sec id="sec-3">
      <title>Main Results 3</title>
      <p>3.1
where</p>
      <p>Associated q-Orthogonal Polynomials with the class of Discrete q-Distributions of type II
In this section we derive the associated q-orthogonal polynomials with the class of discrete q- distributions of
type II, (8),(7) and (2), in respect to their weight functions. We begin by transfering from the random variable X
of the q-negative Binomial of the second kind distribution (8) to the equal-distributed deformed random variable
Y = [X]q, and we obtain a deformed q-negative Binomial II distribution de ned in the spectrum S = f[x]q;
x = 0; 1; : : :g with p.f.</p>
      <p>f NBS (y)
Y
=
n + g(y)
g(y)
1
q</p>
      <p>n
g(y) Y(1</p>
      <p>j=1
y = [0]q; [1]q; [2]q; : : : ;
qj 1); 0 &lt;</p>
      <p>&lt; 1; 0 &lt; q &lt; 1;
Using the orthogonality relation of the normalized little q-Jacobi orthogonal polynomials [Ism05, KS98] and the
linear transformation of orthogonal polynomials [Sze59], we easily derive the following result.
Proposition 3.1. The probability distribution with p.f. f NBS (y) is induced by the normalized linear
transforY
mation of the little q-Jacobi orthogonal polynomials, say pJm(y; a; b; q), 0 &lt; q &lt; 1; given by
pJm(y; a; b; q)
=
( 1)m(abqm+1; q)m pLmitJ (y; a; b; q);
q( m2)(1 q)m(aq; q)m
where y = [x]q; x = 0; 1; : : : ; and pLmitJ (y; a; b; q) the little q-Jacobi orthogonal polynomials with parameter a = =q
and b = qn 1.</p>
      <p>Next, we transfer from the random variable X of the q-Binomial of the second kind distribution (7) to the
equal-distributed deformed random variable Y = [X]q, and we obtain a deformed q-Binomial II distribution
de ned in the spectrum S = f[x]q; x = 0; 1; : : :g with p.f.
(13)
(14)
(15)
:
Using the orthogonality relation of the normalized a ne q-Krawtchouk orthogonal polynomials [Ism05, KS98]
and the linear transformation of orthogonal polynomials [Sze59], we easily derive the following result.
Proposition 3.2. The probability distribution with p.f. f BS (y) is induced by the normalized linear
transformaY
tion of deformed a ne q-Krawtchouk orthogonal polynomials, say pAmK (y; p; q; n), 0 &lt; q &lt; 1; given by
pAmK (y; p; n; q)
=
(1</p>
      <p>q) m(pq; q n; q)mpAmff (q ny; p; n; q);
where y = [x]q; x = 0; 1; : : : ; and pAmff (q ny; p; n; q) the deformed a ne q-Krawtchouk orthogonal polynomials
with parameter p = =q.</p>
      <p>
        Finally, we transfer from the random variable X of the Euler distribution (2) to the equal-distributed deformed
random variable Y = [X]q, and we obtain a deformed Euler distribution de ned in the spectrum S = f[x]q;
x = 0; 1; : : :g with p.f.
where
where
(
        <xref ref-type="bibr" rid="ref4">16</xref>
        )
(17)
(18)
Using the orthogonality relation of the normalized little q-Laguerre/Wall orthogonal polynomials [Ism05, KS98]
and the linear transformation of orthogonal polynomials [Sze59], we easily derive the following result.
Proposition 3.3. The probability distribution with p.f. fYE (y) is induced by the normalized linear transformation
of the little q-Laguerre/Wall orthogonal polynomials, say pLm(y; a; q), 0 &lt; q &lt; 1; given by
pLm(y; a; q)
=
( 1)m(aq; q)m(1
q) mq( m2)pLmLW (y; a; q);
where y = [x]q; x = 0; 1; : : : ; and pLmLW (y; a; q) the little q-Laguerre/Wall orthogonal polynomials with parameter
a = (1 q).
      </p>
      <p>Remark 3.4. The approximation, as n ! 1; of the q-Binomial I and the q-negative Binomial I to the Heine
distribution, can alternatively be concluded by the limit of the associated q-orthogonal polynomials, q-Krawtchouk
and q-Meixner to the q-Charlier ones. Also, the approximation, as n ! 1; of the q-Binomial II and the
qnegative Binomial II to the Euler distribution, can also be concluded by the limit of the associated little q-Jacobi
and a ne q-Krawtchouk to the little q-Laguerre/Wall ones. The above mentioned conclusions can be justi ed
since the coe cients in the recurrence relation of the associated q-orthogonal polynomials are bounded in m.
3.2</p>
      <p>Combinatorial Interpetation of the Associated q-Orthogonal Polynomials
Combinatorial interpretation of orthogonal polynomials using matchings in graphs has received much attention
by several authors over the last decades. Among them we refer to Feinsilver et al [FSS96], Godsil [God81], Godsil
and Gutman [GG81], Viennot [Vie83], and Heilmann and Lieb [HL72], Kyriakoussis and Vamvakari [KV05].
Let G be a simple graph on m vertices with vertex labels 1 to m, having edge weight W (i; j) a non-negative real
number for each unordered pair of vertices &lt; i; j &gt; , i = 1; 2; : : : ; m, j = 1; 2; : : : ; m, i &lt; j and vertex weight
wi, i = 1; 2; : : : ; m. Also, let M be a matching set of G consisting of disjoint edges pairwise having no vertex in
common. Then the weight of M , say WG(M ), is de ned by
fYE (y)
=</p>
      <p>Eq(
)</p>
      <p>g(y)
[g(y)]q!
y =
and the corresponding generating function in m variables including the vertex and edge weights is de ned by
P (G; w1; w2; : : : ; wm) =</p>
      <p>X( 1)jMj
M</p>
      <p>Y
where jM j the number of edges in M , have proved the following proposition.</p>
      <p>Proposition 3.5. The generating function of matching sets in paths, Lm; satis es the recurrence relation
Lm+1 = wn+1Lm</p>
      <p>W (m; m + 1)Lm 1;
m = 0; 1; 2; : : :
with initial conditions L 1 = 0 and L0 = 1.</p>
      <p>Remark 3.6. Setting in (20) vertex weight wm = x am and edge weight W (m; m + 1) = bm, where am
and bm are bounded sequences in m, and comparing (20) with (9), we have a wide class of generating
functions of matching sets in paths identi ed with q-orthogonal polynomials. Between them the little q-Jacobi,
a ne q-Krawtchouk and little q-Laguerre/Wall polynomials where the bounded sequences am and bm are given
respectively in the Table 1.</p>
      <p>Remark 3.7. 3. Setting in (20) vertex weight wm = [x]q dm and edge weight W (m; m + 1) = gm, where
dm and gm are bounded sequences in m and comparing (20) with (9) we have a wide class of generating
functions of matching sets in paths identi ed with transformed q-orthogonal polynomials. Between them the
associated transformed little q-Jacobi, a ne q-Krawtchouk, and little q-Laguerre/Wall polynomials with the
deformed q-negative binomial of type II, q-binomial of type II and Euler distributions respectively.
(19)
(20)
[HL72]</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [And86]
          <string-name>
            <given-names>G. E.</given-names>
            <surname>Andrews.</surname>
          </string-name>
          q-Series:
          <article-title>Their Development and Application in Analysis</article-title>
          ,
          <source>Number Theory</source>
          , Combinatorics, Physics and
          <string-name>
            <given-names>Computer</given-names>
            <surname>Algebra.C.B.M.S</surname>
          </string-name>
          . Regional Conference Series in Math, No.
          <volume>66</volume>
          , American Math. Soc. Providence,
          <year>1986</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [AAR99]
          <string-name>
            <given-names>G.</given-names>
            <surname>Andrews</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Ashey</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Roy</surname>
          </string-name>
          . Special Functions. Cambridge University Press, Cambridge,
          <year>1999</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [Cha10]
          <string-name>
            <surname>Ch</surname>
            .
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Charalambides</surname>
          </string-name>
          .
          <article-title>Discrete q-distributions on Bernoulli trials with geometrically varying success probability</article-title>
          .
          <source>J. Stat. Plann. Inference</source>
          ,
          <volume>140</volume>
          :
          <fpage>2355</fpage>
          -
          <lpage>2383</lpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [Cha16]
          <string-name>
            <surname>Ch</surname>
            .
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Charalambides. Discrete</surname>
          </string-name>
          q-Distributions. John Wiley Sons, New Jersey,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [Chr04]
          <string-name>
            <given-names>J. S.</given-names>
            <surname>Christiansen</surname>
          </string-name>
          .
          <article-title>Indeterminate moment problems within the Askey-scheme.</article-title>
          <string-name>
            <surname>P.H.D.</surname>
          </string-name>
          thesis, Institute of Mathematical Sciences, University of Copenhagen,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [FSS96]
          <string-name>
            <given-names>P.</given-names>
            <surname>Feinsilver</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. McSorley</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Schott</surname>
          </string-name>
          .
          <article-title>Combinatorial interpretation and operator calculus of Lommel polynomials</article-title>
          .
          <source>Journal of Combinatorial Theory Series A</source>
          ,
          <volume>75</volume>
          :
          <fpage>163</fpage>
          -
          <lpage>171</lpage>
          ,
          <year>1996</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [God81]
          <string-name>
            <given-names>C .D.</given-names>
            <surname>Godsil</surname>
          </string-name>
          .
          <article-title>Hermite polynomials and a duality relation for matching polynomials</article-title>
          .
          <source>Combinatorica</source>
          ,
          <volume>1</volume>
          (
          <issue>3</issue>
          ):
          <fpage>257</fpage>
          -
          <lpage>262</lpage>
          ,
          <year>1981</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <string-name>
            <surname>[GG81] C D. Godsil</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Gutman</surname>
          </string-name>
          .
          <article-title>On the theory of the matching polynomial</article-title>
          .
          <source>Journal of Graph Theory</source>
          ,
          <volume>5</volume>
          :
          <fpage>37</fpage>
          -
          <lpage>144</lpage>
          ,
          <year>1981</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          <string-name>
            <surname>O. J. Heilmann</surname>
            ,
            <given-names>E.H.</given-names>
          </string-name>
          <string-name>
            <surname>Lieb</surname>
          </string-name>
          .
          <article-title>Theory of monomer-dimer systems</article-title>
          .
          <source>Communication in Mathematical Physics</source>
          ,
          <volume>25</volume>
          :
          <fpage>190</fpage>
          -
          <lpage>232</lpage>
          ,
          <year>1972</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [Ism05]
          <string-name>
            <given-names>M. E.H.</given-names>
            <surname>Ismail</surname>
          </string-name>
          .
          <article-title>Classical and Quantum Orthogonal Polynomials in One Variable</article-title>
          . Cambridge University Press, Cambridge,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [Kem92a]
          <string-name>
            <given-names>A. W.</given-names>
            <surname>Kemp</surname>
          </string-name>
          .
          <article-title>Heine Euler Extensions of the Poisson ditribution</article-title>
          .
          <source>Communication in Statistics-Theory and Methods</source>
          ,
          <volume>21</volume>
          :
          <fpage>571</fpage>
          -
          <lpage>588</lpage>
          ,
          <year>1992</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [Kem92b]
          <string-name>
            <given-names>A. W.</given-names>
            <surname>Kemp</surname>
          </string-name>
          .
          <article-title>Steady-state Markov chain models for the Heine and Euler distributions</article-title>
          .
          <source>Journal of Applied Probability</source>
          ,
          <volume>29</volume>
          :
          <fpage>869</fpage>
          {
          <fpage>876</fpage>
          ,
          <year>1992</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [KS98]
          <string-name>
            <given-names>R.</given-names>
            <surname>Koekoek</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.F.</given-names>
            <surname>Swarttouw</surname>
          </string-name>
          .
          <article-title>The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue</article-title>
          .
          <source>Report 98-17</source>
          , Technical University Delft,
          <year>1998</year>
          . http://homepage.tudelft.nl/11r49/ askey/
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [KV05]
          <string-name>
            <given-names>A.</given-names>
            <surname>Kyriakoussis</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.G.</surname>
          </string-name>
          <article-title>Vamvakari Generalization of matching extensions in graphs{Combinatorial interpretation of a class of orthogonal and q-orthogonal polynomials</article-title>
          .
          <source>Discrete Mathematics</source>
          ,
          <volume>296</volume>
          :
          <fpage>199</fpage>
          -
          <lpage>209</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [KV10]
          <string-name>
            <given-names>A.</given-names>
            <surname>Kyriakoussis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.G.</given-names>
            <surname>Vamvakari.</surname>
          </string-name>
          q
          <article-title>-Discrete distributions based on q-Meixner and q-Charlier orthogonal polynomials{Asymptotic behaviour</article-title>
          .
          <source>Journal of Statistical Planning and Inference</source>
          ,
          <volume>140</volume>
          :
          <fpage>2285</fpage>
          -
          <lpage>2294</lpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [KV12]
          <string-name>
            <given-names>A.</given-names>
            <surname>Kyriakoussis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.G.</given-names>
            <surname>Vamvakari</surname>
          </string-name>
          .
          <article-title>On terminating and non-terminating q-Gauss hypergeometric series distributions and the associated q-orthogonal polynomials</article-title>
          .
          <source>Fundamenta Informaticae</source>
          ,
          <volume>117</volume>
          :
          <fpage>229</fpage>
          -
          <lpage>248</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [Sze59]
          <string-name>
            <given-names>G. Szego. Orthogonal</given-names>
            <surname>Polynomials</surname>
          </string-name>
          . New York,
          <year>1959</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [Vie83]
          <string-name>
            <given-names>X. G.</given-names>
            <surname>Viennot</surname>
          </string-name>
          .
          <article-title>Une theory combinatoire des polyn^omes orthogonaux generaux</article-title>
          . Notes de cours,
          <source>Universite du Quebec a Montreal</source>
          ,
          <year>1983</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>