Skip to main content
added 349 characters in body
Source Link
Leonid Petrov
  • 1.8k
  • 12
  • 25

I'm trying to set straight various $q$-deformations of the standard geometric distribution.

The geometric distribution on $\left\{ 0,1,\ldots \right\}$ is well-known, it has $$ \mu_1(X=j)=(1-p)p^j,\qquad j=0,1,2,\ldots. $$ Here $0<p<1$ is the parameter.

This distribution can be $q$-deformed in at least two ways.


(1) One way uses the Heine's $q$-binomial theorem and has $$ \mu_2(X=j)=p^j\frac{(a;q)_{j}^{}}{(q;q)_{j}^{}}\frac{(p;q)_{\infty}^{}}{(ap;q)_{\infty}^{}},\qquad j=0,1,2,\ldots. $$ where $0<q<1$ is the main $q$-deformation parameter, and $0<a<1$ is an additional parameter. Here a$(z;q)_{k}^{}=(1-z)(1-zq)\ldots(1-zq_{}^{k-1})$ is the $q$-Pochhammer symbol, and it makes sense for $k=\infty$, too. The distribution $\mu_2$ should not be viewed as a $q$-deformation of $\mu_1$ because if one sets $q=0$ then $\mu_2$ does not become $\mu_1$.

EDIT: But when $a=q$ and for any $q$ $\mu_2$ does not depend on $q$ and becomes $\mu_1$.

$\mu_2$ is the orthogonality weight of the little $q$-Jacobi polynomials.


(1a) For $a=0$ the above distribution simplifies to $$ \mu_3(X=j)=\frac{p^j}{(q;q)_{j}^{}}(p;q)_{\infty}^{},\qquad j=0,1,2,\ldots. $$ And this for $q=0$ turns into $\mu_1$.

$\mu_1$ is the orthogonality weight of the little $q$-Laguerre / Wall polynomials or maybe $q$-Charlier polynomials.


(2) Now take another (probably more naive) way to $q$-deform $\mu_1$, and define $$ \mu_4(j)\propto\frac{p^j}{1-q^j},\qquad j=1,2,\ldots. $$ The normalization constant in $\mu_4$ is not that nice, it can be expressed through the $q$-digamma function. The distribution $\mu_4$ can in fact be obtained from $\mu_2$ by taking $a\to1$ and conditioning $\mu_2$ on $\left\{ 1,2,\ldots \right\}$. Clearly, for $q=0$ the distribution $\mu_4$ also becomes the standard geometric distribution (but on $\left\{ 1,2,\ldots \right\}$).

After a brief skimming through Koekoek et al ("Hypergeometric Orthogonal Polynomials and Their q-Analogues") I could not find orthogonal polynomials with the weight $\mu_4$.


My main questions are:

Are there any more or less standard names for $\mu_2,\mu_3$, and $\mu_4$? And which of $\mu_3$ or $\mu_4$ should be more naturally called the $q$-geometric distribution?

EDIT: I would like to have distributions which become the original ones as $q\to0$ and not $q\to1$, this is related to how the $q$-Whittaker polynomials (same as $t=0$ Macdonald polynomials) turn into the classical Schur polynomials when $q=0$.


PS. I do not even start with taking analogous distributions on a finite lattice, where there are more numerous interesting $q$-deformations of the binomial distribution. For a rather general $q$-deformation of the binomial distribution e.g., see formula (1.3.1) in https://arxiv.org/abs/1401.3321 - this is the orthogonality weight of the $q$-Hahn orthogonal polynomials.

I'm trying to set straight various $q$-deformations of the standard geometric distribution.

The geometric distribution on $\left\{ 0,1,\ldots \right\}$ is well-known, it has $$ \mu_1(X=j)=(1-p)p^j,\qquad j=0,1,2,\ldots. $$ Here $0<p<1$ is the parameter.

This distribution can be $q$-deformed in at least two ways.


(1) One way uses the Heine's $q$-binomial theorem and has $$ \mu_2(X=j)=p^j\frac{(a;q)_{j}^{}}{(q;q)_{j}^{}}\frac{(p;q)_{\infty}^{}}{(ap;q)_{\infty}^{}},\qquad j=0,1,2,\ldots. $$ where $0<q<1$ is the main $q$-deformation parameter, and $0<a<1$ is an additional parameter. Here a$(z;q)_{k}^{}=(1-z)(1-zq)\ldots(1-zq_{}^{k-1})$ is the $q$-Pochhammer symbol, and it makes sense for $k=\infty$, too. The distribution $\mu_2$ should not be viewed as a $q$-deformation of $\mu_1$ because if one sets $q=0$ then $\mu_2$ does not become $\mu_1$.

$\mu_2$ is the orthogonality weight of the little $q$-Jacobi polynomials.


(1a) For $a=0$ the above distribution simplifies to $$ \mu_3(X=j)=\frac{p^j}{(q;q)_{j}^{}}(p;q)_{\infty}^{},\qquad j=0,1,2,\ldots. $$ And this for $q=0$ turns into $\mu_1$.

$\mu_1$ is the orthogonality weight of the little $q$-Laguerre / Wall polynomials or maybe $q$-Charlier polynomials.


(2) Now take another (probably more naive) way to $q$-deform $\mu_1$, and define $$ \mu_4(j)\propto\frac{p^j}{1-q^j},\qquad j=1,2,\ldots. $$ The normalization constant in $\mu_4$ is not that nice, it can be expressed through the $q$-digamma function. The distribution $\mu_4$ can in fact be obtained from $\mu_2$ by taking $a\to1$ and conditioning $\mu_2$ on $\left\{ 1,2,\ldots \right\}$. Clearly, for $q=0$ the distribution $\mu_4$ also becomes the standard geometric distribution (but on $\left\{ 1,2,\ldots \right\}$).

After a brief skimming through Koekoek et al ("Hypergeometric Orthogonal Polynomials and Their q-Analogues") I could not find orthogonal polynomials with the weight $\mu_4$.


My main questions are:

Are there any more or less standard names for $\mu_2,\mu_3$, and $\mu_4$? And which of $\mu_3$ or $\mu_4$ should be more naturally called the $q$-geometric distribution?

PS. I do not even start with taking analogous distributions on a finite lattice, where there are more numerous interesting $q$-deformations of the binomial distribution. For a rather general $q$-deformation of the binomial distribution e.g., see formula (1.3.1) in https://arxiv.org/abs/1401.3321 - this is the orthogonality weight of the $q$-Hahn orthogonal polynomials.

I'm trying to set straight various $q$-deformations of the standard geometric distribution.

The geometric distribution on $\left\{ 0,1,\ldots \right\}$ is well-known, it has $$ \mu_1(X=j)=(1-p)p^j,\qquad j=0,1,2,\ldots. $$ Here $0<p<1$ is the parameter.

This distribution can be $q$-deformed in at least two ways.


(1) One way uses the Heine's $q$-binomial theorem and has $$ \mu_2(X=j)=p^j\frac{(a;q)_{j}^{}}{(q;q)_{j}^{}}\frac{(p;q)_{\infty}^{}}{(ap;q)_{\infty}^{}},\qquad j=0,1,2,\ldots. $$ where $0<q<1$ is the main $q$-deformation parameter, and $0<a<1$ is an additional parameter. Here a$(z;q)_{k}^{}=(1-z)(1-zq)\ldots(1-zq_{}^{k-1})$ is the $q$-Pochhammer symbol, and it makes sense for $k=\infty$, too. The distribution $\mu_2$ should not be viewed as a $q$-deformation of $\mu_1$ because if one sets $q=0$ then $\mu_2$ does not become $\mu_1$.

EDIT: But when $a=q$ and for any $q$ $\mu_2$ does not depend on $q$ and becomes $\mu_1$.

$\mu_2$ is the orthogonality weight of the little $q$-Jacobi polynomials.


(1a) For $a=0$ the above distribution simplifies to $$ \mu_3(X=j)=\frac{p^j}{(q;q)_{j}^{}}(p;q)_{\infty}^{},\qquad j=0,1,2,\ldots. $$ And this for $q=0$ turns into $\mu_1$.

$\mu_1$ is the orthogonality weight of the little $q$-Laguerre / Wall polynomials or maybe $q$-Charlier polynomials.


(2) Now take another (probably more naive) way to $q$-deform $\mu_1$, and define $$ \mu_4(j)\propto\frac{p^j}{1-q^j},\qquad j=1,2,\ldots. $$ The normalization constant in $\mu_4$ is not that nice, it can be expressed through the $q$-digamma function. The distribution $\mu_4$ can in fact be obtained from $\mu_2$ by taking $a\to1$ and conditioning $\mu_2$ on $\left\{ 1,2,\ldots \right\}$. Clearly, for $q=0$ the distribution $\mu_4$ also becomes the standard geometric distribution (but on $\left\{ 1,2,\ldots \right\}$).

After a brief skimming through Koekoek et al ("Hypergeometric Orthogonal Polynomials and Their q-Analogues") I could not find orthogonal polynomials with the weight $\mu_4$.


My main questions are:

Are there any more or less standard names for $\mu_2,\mu_3$, and $\mu_4$? And which of $\mu_3$ or $\mu_4$ should be more naturally called the $q$-geometric distribution?

EDIT: I would like to have distributions which become the original ones as $q\to0$ and not $q\to1$, this is related to how the $q$-Whittaker polynomials (same as $t=0$ Macdonald polynomials) turn into the classical Schur polynomials when $q=0$.


PS. I do not even start with taking analogous distributions on a finite lattice, where there are more numerous interesting $q$-deformations of the binomial distribution. For a rather general $q$-deformation of the binomial distribution e.g., see formula (1.3.1) in https://arxiv.org/abs/1401.3321 - this is the orthogonality weight of the $q$-Hahn orthogonal polynomials.

deleted 30 characters in body
Source Link
Leonid Petrov
  • 1.8k
  • 12
  • 25

I'm trying to set straight various $q$-deformations of the standard geometric distribution.

The geometric distribution on $\left\{ 0,1,\ldots \right\}$ is well-known, it has $$ \mu_1(X=j)=(1-p)p^j,\qquad j=0,1,2,\ldots. $$ Here $0<p<1$ is the parameter.

This distribution can be $q$-deformed in at least two ways.


(1) One way uses the Heine's $q$-binomial theorem and has $$ \mu_2(X=j)=p^j\frac{(a;q)_{j}^{}}{(q;q)_{j}^{}}\frac{(p;q)_{\infty}^{}}{(ap;q)_{\infty}^{}},\qquad j=0,1,2,\ldots. $$ where $0<q<1$ is the main $q$-deformation parameter, and $0<a<1$ is an additional parameter. Here a$(z;q)_{k}^{}=(1-z)(1-zq)\ldots(1-zq_{}^{k-1})$ is the $q$-Pochhammer symbol, and it makes sense for $k=\infty$, too. The distribution $\mu_2$ should not be viewed as a $q$-deformation of $\mu_1$ because if one sets $q=0$ then $\mu_2$ does not become $\mu_1$.

$\mu_2$ is the orthogonality weight of the little $q$-Jacobi polynomials.


(1a) For $a=0$ the above distribution simplifies to $$ \mu_3(X=j)=\frac{p^j}{(q;q)_{j}^{}}(p;q)_{\infty}^{},\qquad j=0,1,2,\ldots. $$ And this for $q=0$ turns into $\mu_1$.

$\mu_1$ is the orthogonality weight of the little $q$-Laguerre / Wall polynomials or maybe $q$-Charlier polynomials.


(2) Now take another (probably more naive) way to $q$-deform $\mu_1$, and define $$ \mu_4(j)\propto\frac{p^j}{1-q^j},\qquad j=1,2,\ldots. $$ The normalization constant in $\mu_4$ is not that nice, it can be expressed through the $q$-digamma function. The distribution $\mu_4$ can in fact be obtained from $\mu_2$ by taking $a\to1$ and conditioning $\mu_2$ on $\left\{ 1,2,\ldots \right\}$. Clearly, for $q=0$ the distribution $\mu_4$ also becomes the standard geometric distribution (but on $\left\{ 1,2,\ldots \right\}$).

After a brief skimming through Koekoek et al ("Hypergeometric Orthogonal Polynomials and Their q-Analogues") I could not find orthogonal polynomials with the weight $\mu_4$.


Orthogonal polynomials aside, myMy main questions are:

Are there any more or less standard names for $\mu_2,\mu_3$, and $\mu_4$? And which of $\mu_3$ or $\mu_4$ should be more naturally called the $q$-geometric distribution?

PS. I do not even start with taking analogous distributions on a finite lattice, where there are more numerous interesting $q$-deformations of the binomial distribution. For a rather general $q$-deformation of the binomial distribution e.g., see formula (1.3.1) in https://arxiv.org/abs/1401.3321 - this is the orthogonality weight of the $q$-Hahn orthogonal polynomials.

I'm trying to set straight various $q$-deformations of the standard geometric distribution.

The geometric distribution on $\left\{ 0,1,\ldots \right\}$ is well-known, it has $$ \mu_1(X=j)=(1-p)p^j,\qquad j=0,1,2,\ldots. $$ Here $0<p<1$ is the parameter.

This distribution can be $q$-deformed in at least two ways.


(1) One way uses the Heine's $q$-binomial theorem and has $$ \mu_2(X=j)=p^j\frac{(a;q)_{j}^{}}{(q;q)_{j}^{}}\frac{(p;q)_{\infty}^{}}{(ap;q)_{\infty}^{}},\qquad j=0,1,2,\ldots. $$ where $0<q<1$ is the main $q$-deformation parameter, and $0<a<1$ is an additional parameter. Here a$(z;q)_{k}^{}=(1-z)(1-zq)\ldots(1-zq_{}^{k-1})$ is the $q$-Pochhammer symbol, and it makes sense for $k=\infty$, too. The distribution $\mu_2$ should not be viewed as a $q$-deformation of $\mu_1$ because if one sets $q=0$ then $\mu_2$ does not become $\mu_1$.

$\mu_2$ is the orthogonality weight of the little $q$-Jacobi polynomials.


(1a) For $a=0$ the above distribution simplifies to $$ \mu_3(X=j)=\frac{p^j}{(q;q)_{j}^{}}(p;q)_{\infty}^{},\qquad j=0,1,2,\ldots. $$ And this for $q=0$ turns into $\mu_1$.

$\mu_1$ is the orthogonality weight of the little $q$-Laguerre / Wall polynomials or maybe $q$-Charlier polynomials.


(2) Now take another (probably more naive) way to $q$-deform $\mu_1$, and define $$ \mu_4(j)\propto\frac{p^j}{1-q^j},\qquad j=1,2,\ldots. $$ The normalization constant in $\mu_4$ is not that nice, it can be expressed through the $q$-digamma function. The distribution $\mu_4$ can in fact be obtained from $\mu_2$ by taking $a\to1$ and conditioning $\mu_2$ on $\left\{ 1,2,\ldots \right\}$. Clearly, for $q=0$ the distribution $\mu_4$ also becomes the standard geometric distribution (but on $\left\{ 1,2,\ldots \right\}$).

After a brief skimming through Koekoek et al ("Hypergeometric Orthogonal Polynomials and Their q-Analogues") I could not find orthogonal polynomials with the weight $\mu_4$.


Orthogonal polynomials aside, my main questions are:

Are there any more or less standard names for $\mu_2,\mu_3$, and $\mu_4$? And which of $\mu_3$ or $\mu_4$ should be more naturally called the $q$-geometric distribution?

PS. I do not even start with taking analogous distributions on a finite lattice, where there are more numerous interesting $q$-deformations of the binomial distribution. For a rather general $q$-deformation of the binomial distribution e.g., see formula (1.3.1) in https://arxiv.org/abs/1401.3321 - this is the orthogonality weight of the $q$-Hahn orthogonal polynomials.

I'm trying to set straight various $q$-deformations of the standard geometric distribution.

The geometric distribution on $\left\{ 0,1,\ldots \right\}$ is well-known, it has $$ \mu_1(X=j)=(1-p)p^j,\qquad j=0,1,2,\ldots. $$ Here $0<p<1$ is the parameter.

This distribution can be $q$-deformed in at least two ways.


(1) One way uses the Heine's $q$-binomial theorem and has $$ \mu_2(X=j)=p^j\frac{(a;q)_{j}^{}}{(q;q)_{j}^{}}\frac{(p;q)_{\infty}^{}}{(ap;q)_{\infty}^{}},\qquad j=0,1,2,\ldots. $$ where $0<q<1$ is the main $q$-deformation parameter, and $0<a<1$ is an additional parameter. Here a$(z;q)_{k}^{}=(1-z)(1-zq)\ldots(1-zq_{}^{k-1})$ is the $q$-Pochhammer symbol, and it makes sense for $k=\infty$, too. The distribution $\mu_2$ should not be viewed as a $q$-deformation of $\mu_1$ because if one sets $q=0$ then $\mu_2$ does not become $\mu_1$.

$\mu_2$ is the orthogonality weight of the little $q$-Jacobi polynomials.


(1a) For $a=0$ the above distribution simplifies to $$ \mu_3(X=j)=\frac{p^j}{(q;q)_{j}^{}}(p;q)_{\infty}^{},\qquad j=0,1,2,\ldots. $$ And this for $q=0$ turns into $\mu_1$.

$\mu_1$ is the orthogonality weight of the little $q$-Laguerre / Wall polynomials or maybe $q$-Charlier polynomials.


(2) Now take another (probably more naive) way to $q$-deform $\mu_1$, and define $$ \mu_4(j)\propto\frac{p^j}{1-q^j},\qquad j=1,2,\ldots. $$ The normalization constant in $\mu_4$ is not that nice, it can be expressed through the $q$-digamma function. The distribution $\mu_4$ can in fact be obtained from $\mu_2$ by taking $a\to1$ and conditioning $\mu_2$ on $\left\{ 1,2,\ldots \right\}$. Clearly, for $q=0$ the distribution $\mu_4$ also becomes the standard geometric distribution (but on $\left\{ 1,2,\ldots \right\}$).

After a brief skimming through Koekoek et al ("Hypergeometric Orthogonal Polynomials and Their q-Analogues") I could not find orthogonal polynomials with the weight $\mu_4$.


My main questions are:

Are there any more or less standard names for $\mu_2,\mu_3$, and $\mu_4$? And which of $\mu_3$ or $\mu_4$ should be more naturally called the $q$-geometric distribution?

PS. I do not even start with taking analogous distributions on a finite lattice, where there are more numerous interesting $q$-deformations of the binomial distribution. For a rather general $q$-deformation of the binomial distribution e.g., see formula (1.3.1) in https://arxiv.org/abs/1401.3321 - this is the orthogonality weight of the $q$-Hahn orthogonal polynomials.

edited title
Link
Leonid Petrov
  • 1.8k
  • 12
  • 25

Versions of the q-geometricversions of the geometric distribution and their names

Source Link
Leonid Petrov
  • 1.8k
  • 12
  • 25
Loading