Ma's conjecture on squares in exponential expressions

From papers

Let pp be an odd prime and let b,t,rNb,t,r\in\mathbb{N}. Define

Y=22bp2t22bpt+r+1,Y=2^{2b}p^{2t}-2^{2b}p^{t+r}+1,

and

Z=22b+2p2t2b+2pt+r+1.Z=2^{2b+2}p^{2t}-2^{b+2}p^{t+r}+1.

Ma's conjecture. The following assertions hold:

(A) YY is a square if and only if t=rt=r, equivalently, if and only if Y=1Y=1.

(B) ZZ is a square if and only if p=5p=5, b=3b=3, t=1t=1, and r=2r=2, equivalently, if and only if Z=2401Z=2401.

This conjecture, presented by S. L. Ma in 1992, concerns the occurrence of squares in exponential expressions involving an odd prime. The source introduces it as an application of the Størmer theorem; no resolution status is supplied here.

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

Pingzhi Yuan, Jiagui Luo and Alain Togbé, “On The Stormer Theorem And Its Applications”, arXiv:2210.12576 (2022).

Solutions 0

No solutions have been posted yet.