Coeficiente binomial gaussiano

En matemáticas, los coeficientes binomiales gaussianos (también llamados coeficientes gaussianos, polinomios gaussianos, o coeficientes q-binomiales) son q-análogos de los coeficientes binomiales. El coeficiente gaussiano binomial, escrito como

${\binom {n}{k}}_{q}$ o ${\begin{bmatrix}n\\k\end{bmatrix}}_{q}$,

es un polinomio en q con coeficientes enteros, cuyos valores cuando q es tomada como una potencia prima cuenta el número de subespacios de dimensión k en un espacio vectorial de dimensión n sobre un cuerpo finito con q elementos.

Definiciones

Los coeficientes binomiales gaussianos se define como:​

${m \choose r}_{q}={\frac {(1-q^{m})(1-q^{m-1})\cdots (1-q^{m-r+1})}{(1-q)(1-q^{2})\cdots (1-q^{r})}}$

donde m y r son enteros no negativos. Si r > m, se evalua a 0. Para r = 0, el valor es 1 puesto que el numerador y el denominador son productos vacíos.

Aunque la fórmula en pricipio parecer ser una función racional, en realidad es un polinomio, puesto que la división es exacta en Z[q]

Todos los factores en el numerador y el denominador son divisibles por 1 − q, y el cocientes es el q-número:

$[k]_{q}=\sum _{0\leq i<k}q^{i}=1+q+q^{2}+\cdots +q^{k-1}={\begin{cases}{\frac {1-q^{k}}{1-q}}&{\text{for}}&q\neq 1\\k&{\text{for}}&q=1\end{cases}},$

Dividiendo estos factores da la fórmula equivalente

${m \choose r}_{q}={\frac {[m]_{q}[m-1]_{q}\cdots [m-r+1]_{q}}{[1]_{q}[2]_{q}\cdots [r]_{q}}}\quad (r\leq m).$

En términos del 'q factorial $[n]_{q}!=[1]_{q}[2]_{q}\cdots [n]_{q}$, la fórmula puede ser expresada como

${m \choose r}_{q}={\frac {[m]_{q}!}{[r]_{q}!\,[m-r]_{q}!}}\quad (r\leq m).$

Sustituyendo q = 1 en ${\tbinom {m}{r}}_{q}$ se obtiene el coeficiente binomial ordinario ${\tbinom {m}{r}}$.

El coeficiente binomial gaussiano tiene valores finitos como $m\rightarrow \infty$:

${\infty \choose r}_{q}=\lim _{m\rightarrow \infty }{m \choose r}_{q}={\frac {1}{(1-q)(1-q^{2})\cdots (1-q^{r})}}={\frac {1}{[r]_{q}!\,(1-q)^{r}}}$

Ejemplos

${0 \choose 0}_{q}={1 \choose 0}_{q}=1$

${1 \choose 1}_{q}={\frac {1-q}{1-q}}=1$

${2 \choose 1}_{q}={\frac {1-q^{2}}{1-q}}=1+q$

${3 \choose 1}_{q}={\frac {1-q^{3}}{1-q}}=1+q+q^{2}$

${3 \choose 2}_{q}={\frac {(1-q^{3})(1-q^{2})}{(1-q)(1-q^{2})}}=1+q+q^{2}$

${4 \choose 2}_{q}={\frac {(1-q^{4})(1-q^{3})}{(1-q)(1-q^{2})}}=(1+q^{2})(1+q+q^{2})=1+q+2q^{2}+q^{3}+q^{4}$

${6 \choose 3}_{q}={\frac {(1-q^{6})(1-q^{5})(1-q^{4})}{(1-q)(1-q^{2})(1-q^{3})}}=(1+q^{2})(1+q^{3})(1+q+q^{2}+q^{3}+q^{4})=1+q+2q^{2}+3q^{3}+3q^{4}+3q^{5}+3q^{6}+2q^{7}+q^{8}+q^{9}$

Propiedades

Reflexión

Como ocurre en el coeficientes binomiales ordinarios, los coeficientes binomiales gaussianos tienen simetría central, i.e., son invariantes bajo la reflexión $r\rightarrow m-r$:

${m \choose r}_{q}={m \choose m-r}_{q}.$

en particular,

${m \choose 0}_{q}={m \choose m}_{q}=1\,,$

${m \choose 1}_{q}={m \choose m-1}_{q}={\frac {1-q^{m}}{1-q}}=1+q+\cdots +q^{m-1}\quad m\geq 1\,.$

Límite cuando q = 1

La evaluación de un coeficiente binomial gaussiano cuando q = 1 es

$\lim _{q\to 1}{m \choose r}_{q}={m \choose r}$

i.e. la suma de los coeficientes da el corresponiente valor binomial.

Análogos del la identidad de Pascal

Los análogos de la [[identidad de Pascal] para los coeficientes binomiales gaussianos son:​

${m \choose r}_{q}=q^{r}{m-1 \choose r}_{q}+{m-1 \choose r-1}_{q}$

y

${m \choose r}_{q}={m-1 \choose r}_{q}+q^{m-r}{m-1 \choose r-1}_{q}.$

Cuando $q=1$, these ambos dan la identidad binomial usual. Se puede ver que cuando $m\to \infty$, ambas ecuaciones continuan siendo válidas.

El primer análogo de Pascal permite el cálculo recursivo de los coeficientes binomiales gaussianos (con respecto a m ) usando los valores iniciales

${m \choose m}_{q}={m \choose 0}_{q}=1$

y también muestra que los coeficientes binomiales de Gauss son de hecho polinomios (en q).

El segundo análogo de Pascal se sigue del primero usando la sustitución $r\rightarrow m-r$ y de la invarianza de los coeficientes binomiales gaussianos bajo la reflexión $r\rightarrow m-r$.

Demostraciones de los análagos

Ambos análogos pueden probarse observando primero que a partir de la definición de ${\tbinom {m}{r}}_{q}$, se tiene que:

${\binom {m}{r}}_{q}={\frac {1-q^{m}}{1-q^{m-r}}}{\binom {m-1}{r}}_{q}[1]$

${\binom {m}{r}}_{q}={\frac {1-q^{m}}{1-q^{r}}}{\binom {m-1}{r-1}}_{q}[2]$

${\frac {1-q^{r}}{1-q^{m-r}}}{\binom {m-1}{r}}_{q}={\binom {m-1}{r-1}}_{q}[3]$

como

${\frac {1-q^{m}}{1-q^{m-r}}}={\frac {1-q^{r}+q^{r}-q^{m}}{1-q^{m-r}}}=q^{r}+{\frac {1-q^{r}}{1-q^{m-r}}}$

[1] se convierte en:

${\binom {m}{r}}_{q}=q^{r}{\binom {m-1}{r}}_{q}+{\frac {1-q^{r}}{1-q^{m-r}}}{\binom {m-1}{r}}_{q}$

y sustituyendo en [3] se obtiene el primer análogo.

En un proceso similar, usando

${\frac {1-q^{m}}{1-q^{r}}}=q^{m-r}+{\frac {1-q^{m-r}}{1-q^{r}}}$

en vez de el anterior, se obtiene el segundo análogo.

Teorema q-binomial

Hay una análogo del teorema binomial para coeficientes q-binomiales:

$\prod _{k=0}^{n-1}(1+q^{k}t)=\sum _{k=0}^{n}q^{k(k-1)/2}{n \choose k}_{q}t^{k}.$

Al igual que el teorema del binomio habitual, esta fórmula tiene numerosas generalizaciones y extensiones; una de ellas, correspondiente al teorema binomial generalizado de Newton para potencias negativas, es

$\prod _{k=0}^{n-1}{\frac {1}{1-q^{k}t}}=\sum _{k=0}^{\infty }{n+k-1 \choose k}_{q}t^{k}.$

En el límite $n\rightarrow \infty$, estas fórmulas dan

$\prod _{k=0}^{\infty }(1+q^{k}t)=\sum _{k=0}^{\infty }{\frac {q^{k(k-1)/2}t^{k}}{[k]_{q}!\,(1-q)^{k}}}$

y

$\prod _{k=0}^{\infty }{\frac {1}{1-q^{k}t}}=\sum _{k=0}^{\infty }{\frac {t^{k}}{[k]_{q}!\,(1-q)^{k}}}$.

Tomando $t=q$ se obtienen las funciones generadoras para distintas partes y cualquier parte respectivamente.

Identidad q-binomial central

Con los coeficientes binomiales ordinarios, se tiene que:

$\sum _{k=0}^{n}{\binom {n}{k}}^{2}={\binom {2n}{n}}$

Con los coeficientes q-binomiales, es análogo es:

$\sum _{k=0}^{n}q^{k^{2}}{\binom {n}{k}}_{q}^{2}={\binom {2n}{n}}_{q}$

Referencias

• Exton, H. (1983), q-Hypergeometric Functions and Applications, New York: Halstead Press, Chichester: Ellis Horwood, 1983, ISBN 0853124914, ISBN 0470274530, ISBN 978-0470274538
• Mukhin, Eugene. «Symmetric Polynomials and Partitions». Archivado desde el original el March 4, 2016.  (undated, 2004 or earlier).
• Ratnadha Kolhatkar, Zeta function of Grassmann Varieties (dated January 26, 2004)
• Weisstein, Eric W. «q-Binomial Coefficient». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Gould, Henry (1969). «The bracket function and Fontene-Ward generalized binomial coefficients with application to Fibonomial coefficients». Fibonacci Quarterly 7: 23-40. MR 0242691. 
• Alexanderson, G. L. (1974). «A Fibonacci analogue of Gaussian binomial coefficients». Fibonacci Quarterly 12: 129-132. MR 0354537. 
• Andrews, George E. (1974). «Applications of basic hypergeometric functions». SIAM Rev. 16 (4): 441-484. JSTOR 2028690. MR 0352557. doi:10.1137/1016081. 
• Borwein, Peter B. (1988). «Padé approximants for the q-elementary functions». Construct. Approx. 4 (1): 391-402. MR 0956175. doi:10.1007/BF02075469. 
• Konvalina, John (1998). «Generalized binomial coefficients and the subset-subspace problem». Adv. Appl. Math. 21 (2): 228-240. MR 1634713. doi:10.1006/aama.1998.0598. 
• Di Bucchianico, A. (1999). «Combinatorics, computer algebra and the Wilcoxon-Mann-Whitney test». J. Stat. Plann. Inf. 79 (2): 349-364. doi:10.1016/S0378-3758(98)00261-4. 
• Konvalina, John (2000). «A unified interpretation of the Binomial Coefficients, the Stirling numbers, and the Gaussian coefficients». Amer. Math. Monthly 107 (10): 901-910. JSTOR 2695583. MR 1806919. doi:10.2307/2695583. 
• Kupershmidt, Boris A. (2000). «q-Newton binomial: from Euler to Gauss». J. Nonlinear Math. Phys. 7 (2): 244-262. Bibcode:2000JNMP....7..244K. MR 1763640. arXiv:math/0004187. doi:10.2991/jnmp.2000.7.2.11. 
• Cohn, Henry (2004). «Projective geometry over F₁ and the Gaussian Binomial Coefficients». Amer. Math. Monthly 111 (6): 487-495. JSTOR 4145067. MR 2076581. doi:10.2307/4145067. 
• Kim, T. (2007). «q-Extension of the Euler formula and trigonometric functions». Russ. J. Math. Phys. 14 (3): -275-278. Bibcode:2007RJMP...14..275K. MR 2341775. doi:10.1134/S1061920807030041. 
• Kim, T. (2008). «q-Bernoulli numbers and polynomials associated with Gaussian binomial coefficients». Russ. J. Math. Phys. 15 (1): 51-57. Bibcode:2008RJMP...15...51K. MR 2390694. doi:10.1134/S1061920808010068. 
• Corcino, Roberto B. (2008). «On p,q-binomial coefficients». Integers 8: #A29. MR 2425627. 
• Hmayakyan, Gevorg. «Recursive Formula Related To The Mobius Function».  (2009).