Generalization of the prime-power characteristic-polynomial formula

At least 23 years old · documented by

Let χn(t)\chi_n(t) denote the characteristic polynomial associated with the Pascal matrix P(n)P(n). For each integer k≥0k\geq 0, consider a monic polynomial ck(t)∈Z[t]c_k(t)\in\mathbf{Z}[t] of degree 4k4k satisfying

ck(t)=t4kck(t−1).c_k(t)=t^{4k}c_k(t^{-1}).

If qq is a power of a prime pp and 0≤k≤q/20\leq k\leq q/2, let ϵ(q)∈{−1,0,1}\epsilon(q)\in\{-1,0,1\} satisfy ϵ(q)≡q(mod3)\epsilon(q)\equiv q\pmod 3.

The prime-power generalization conjecture. For every integer k≥0k\geq0, there exists such a polynomial ck(t)c_k(t) for which

χq+k(t)≡(t2+t+1)(q−ϵ(q))/3−k(t−1)(q+2ϵ(q))/3−kck(t)(modp).\chi_{q+k}(t)\equiv(t^2+t+1)^{(q-\epsilon(q))/3-k}(t-1)^{(q+2\epsilon(q))/3-k}c_k(t)\pmod p.

This conjecture extends the paper's characteristic-polynomial formula for prime-power matrix sizes and predicts a reciprocal polynomial factor independent of qq; its status is not specified in the source.

References

Primary source

Roland Bacher and Robin Chapman, “Symmetric Pascal matrices modulo p”, arXiv:math/0212144 (2003).

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.