Conjecture on the inverse matrix of the degenerate LGF Lf(1,0,2,1;q)L_f(1,0,2,1;q)

At least 3 years old · documented by

Let p(n)p(n) denote the partition function, and let sn,k−1(1,0,2,1)s_{n,k}^{-1}(1,0,2,1) denote the entries of the inverse factorization matrix associated with the degenerate Lambert generating function Lf(1,0,2,1;q)L_f(1,0,2,1;q). For integers 1≤k≤n1\leq k\leq n, define the Iverson bracket [P]δ[P]_{\delta} to be 11 when the statement PP holds and 00 otherwise.

Inverse-matrix conjecture. For 1≤k≤n1\leq k\leq n, the entries satisfy

sn,k−1(1,0,2,1)=p(n−k)−∑i=1np(n−i2i+1−k)[n≡i mod 2i+1]δs_{n,k}^{-1}(1,0,2,1)=p(n-k)-\sum_{i=1}^n p\left(\frac{n-i}{2i+1}-k\right)[n\equiv i\bmod 2i+1]_{\delta} +∑m=2n∑i=1np(n−p(m+1)i−p(m−1)p(m+1)(2i+1)−k)[n≡p(m+1)i+p(m−1) mod p(m+1)(2i+1)]δ.\qquad+\sum_{m=2}^n\sum_{i=1}^n p\left(\frac{n-p(m+1)i-p(m-1)}{p(m+1)(2i+1)}-k\right)[n\equiv p(m+1)i+p(m-1)\bmod p(m+1)(2i+1)]_{\delta}.

The claim is presented as a numerically observed property for this degenerate case; the source gives no proof or resolution, and generalizations for larger parameters are described only as preliminary computational observations.

References

Primary source

Maxie Dion Schmidt, “Factorization theorems and canonical representations for generating functions of special sums”, arXiv:2209.12287 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.