Conjecture on modular identities relating two parameter values

About 14 years old · traced to

Let q=e−πtq=e^{-\pi t} with t>0t>0, and let z(t)z(t), τ(t)\tau(t), and k(t)k(t) be the functions used in the source. Write τj=τ(tj)\tau_j=\tau(t_j) and kj=k(tj)k_j=k(t_j) for j=1,2j=1,2.

Modular-identity conjecture. If one of the relations

z(t2)=z(t1),z(t_2)=z(t_1), τ2=τc2⋅4τ14τ12−k12,k2=−τc2⋅4k14τ12−k12,t2=t1⋅2τ1−k12τ1+k1\tau_2=\tau_c^2 \cdot \frac{4\tau_1}{4\tau_1^2-k_1^2},\qquad k_2=-\tau_c^2 \cdot \frac{4k_1}{4\tau_1^2-k_1^2},\qquad t_2=t_1\cdot\frac{2\tau_1-k_1}{2\tau_1+k_1}

holds, then all the other relations hold as well.

The text supplies no proof or resolution status for these identities; the surrounding material presents them as a new conjecture and reports numerical support for the related calculations.

References

Primary source

Jesús Guillera, “Kind of proofs of Ramanujan-like series”, arXiv:1203.1255 (2012).

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.