Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Metadata
bibkey: kimstanton2021qlommel
authors: Jang Soo Kim and Dennis Stanton
year: 2021
title: Three families of q-Lommel polynomials
doi: 10.48550/arXiv.2105.10096
url: https://arxiv.org/abs/2105.10096v3
claim: Conjectures 8.3 and 8.4 prescribe integer polynomial numerators for contiguous basic hypergeometric ratios with the stated floor exponent denominator.
strata_touched:
  - D5/S3/Combinatorics/MotzkinHankel/KimStantonDenominatorCore
  - D5/S3/Combinatorics/MotzkinHankel/KimStantonSingleDenominator
  - D5/S3/Combinatorics/MotzkinHankel/KimStantonSimultaneousDenominator
license: citation-only
triage: anchor

Three families of q-Lommel polynomials

Verified locator

DOI: 10.48550/arXiv.2105.10096

Source: https://arxiv.org/abs/2105.10096v3

Conjecture 8.3

Printed page 22:

\begin{conj}
  Let
  \[
     \sum_{n\ge0} \gamma_n(a,b,c) z^n =  \frac{\qhyper21{aq,bq}{cq}{q,z}}{\qhyper21{a,b}{c}{q,z}}.
    \]
Then
  \[
    \frac{\gamma_{n}(a,b,c)}{1-c} = \frac{P_n(a,b,c)}{\prod_{k=0}^n(1-cq^k)^{\flr{\frac{n+1}{k+1}}}},
  \]
  for some polynomial $P_n(a,b,c)$ in $a,b,c,q$ with integer coefficients.
\end{conj}

The variables a, b, c, q are algebraically independent. The series is interpreted as the standard Gasper–Rahman basic hypergeometric series, including the factor (q;q) in its coefficient denominator. Natural-number division is floor division. The coefficient index includes zero; its numerator is P₀ = 1.

Conjecture 8.4

Printed pages 22–23:

\begin{conj}
  Let
  \[
     \sum_{n\ge0} \gamma'_n(a,b,c) z^n =  \frac{\qhyper21{aq,b}{cq}{q,z}}{\qhyper21{a,b}{c}{q,z}}.
    \]
Then
  \[
    \frac{\gamma'_{n}(a,b,c)}{1-c} = \frac{P'_n(a,b,c)}{\prod_{k=0}^n(1-cq^k)^{\flr{\frac{n+1}{k+1}}}},
  \]
  for some polynomial $P'_n(a,b,c)$ in $a,b,c,q$ with integer coefficients.
\end{conj}

Scope

The reference is arXiv v3. Journal-version equivalence and exhaustive literature completeness remain ASSUMED-UNVERIFIED. The formal polynomial membership assertions do not assert numerator positivity, denominator minimality, or values at singular parameter specializations.