Weak form of the Main Conjecture for circuit-array rows

From papers

Let CrX(j)C^X_r(j) and CrM(j)C^M_r(j) denote the entries in rows rr of the corresponding circuit arrays, and let NumNum and DenDen denote their numerators and denominators. A sequence satisfies a recursion when it has an associated annihilator polynomial in the shift operator. For each row r{2(c1),2(c1)1}r \in \{2(c-1),2(c-1)-1\}, consider the sequences indexed by jcj \ge c. Weak form of the Main Conjecture. Each of the sequences Num[CrX(j)]Num[C^X_r(j)], Den[CrX(j)]Den[C^X_r(j)], Num[CrM(j)]Num[C^M_r(j)], and Den[CrM(j)]Den[C^M_r(j)] satisfies a recursion whose corresponding annihilator is a product, possibly with repetition, of linear factors of the form X9kX-9^k with k0k \ge 0. This is the weaker formulation of the paper's proposed description of the recursions governing the circuit-array rows; the source gives no general proof or resolution, although the stronger form would imply it.

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

Emily J. Evans and Russell J. Hendel, “Recursions and characteristic polynomials of the Rows of the Circuit Array”, arXiv:2305.12456 (2024).

Solutions 0

No solutions have been posted yet.