The upper-bound conjecture for the Ova-Ova-Prime-Ova construction

From papers

Let the preceding Ova-Ova-Prime-Ova construction be given, and let NN denote the number of primes it produces. The Ova-Ova-Prime-Ova counting conjecture. Although the preceding theorem guarantees at least one resulting prime, one has N10N\leq 10. The source supplies examples and asserts this as a bound, but gives no independent resolution evidence.

Progress summary

Open

No public proof or disproof of the ten-output limit was found, so the conjecture remains open.

The conjecture asserts that the construction produces no more than ten primes. The only related source located describes the construction and its guarantee of at least one output, but does not address this upper bound.

Known results

  • A 2021 preprint establishes the existence of at least one prime representation for the relevant even inputs, without proving or refuting the bound N10N\le 10.

Current status (as of August 2026): The at-least-one-output result is recorded, but the upper-bound conjecture N10N\le 10 remains open with no publicly documented proof or counterexample.

Sources
Sources & referencesView supporting material

Primary source

Yeisson Alexis Acevedo Agudelo, “Prime numbers. An alternative study using ova-angular rotations”, arXiv:2104.04522 (2021).

Solutions 1

Counterexample

Take the primes

ρ1=677=317+3601,ρ2=401=41+3601.\rho_1=677=317+360\cdot1, \qquad \rho_2=401=41+360\cdot1.

Their residues are kρ1=317k_{\rho_1}=317 and kρ2=41k_{\rho_2}=41, and both rotation frequencies are 11. Thus a residue rr contributes an output of the prescribed construction precisely when

gcd(r,360)=1,kρ1+kρ2+2r=360r is prime,r+360(1+1)=720+r is prime.\gcd(r,360)=1,\qquad k_{\rho_1}+k_{\rho_2}+2-r=360-r\ \text{is prime}, \qquad r+360(1+1)=720+r\ \text{is prime}.

The following 3838 distinct residues satisfy all three conditions:

r{7,13,23,49,53,67,77,89,91,103,109,119,133,137,161,163,167,187,209,221,233,247,251,257,263,271,277,289,293,299,301,313,319,329,331,341,343,349}.\begin{aligned} r\in\{& 7,13,23,49,53,67,77,89,91,103,109,119,133,137,161,163,167,187,209,\\ &221,233,247,251,257,263,271,277,289,293,299,301,313,319,329,331,341,343,349 \}. \end{aligned}

For example, the first eleven give

r360r720+rhline73537271334773323337743493117695330777367293787772837978927180991269811103257823109251829\begin{array}{c|c|c} r&360-r&720+r\\hline 7&353&727\\ 13&347&733\\ 23&337&743\\ 49&311&769\\ 53&307&773\\ 67&293&787\\ 77&283&797\\ 89&271&809\\ 91&269&811\\ 103&257&823\\ 109&251&829 \end{array}

and every entry in the last two columns is prime.

Consequently this single pair of input primes produces N=38N=38 prime outputs, contradicting the stated bound N10N\le10. The earlier published version of the construction proposed the weaker bound N13N\le13; the same example disproves that original bound as well.

0 endorsements
Shivam Patel ·