Generalization of the prime-power characteristic-polynomial formula

From papers

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

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

If qq is a power of a prime pp and 0kq/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 k0k\geq0, there exists such a polynomial ck(t)c_k(t) for which

χq+k(t)(t2+t+1)(qϵ(q))/3k(t1)(q+2ϵ(q))/3kck(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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.