The mutually recursive normalized query and gradient-accumulator trajectories of the below-two dual phase.

@[irreducible]

noncomputable def V7.Stage3BelowTwoS3F.dualQ {d : ℕ} (p : ℝ) (n : ℕ) (oracle : PairOracle d) : ℕ → Point d

The recursively generated normalized query points of the below-two dual phase.

Equations

• One or more equations did not get rendered due to their size.
• V7.Stage3BelowTwoS3F.dualQ p n oracle 0 = 0

@[irreducible]

noncomputable def V7.Stage3BelowTwoS3F.dualR {d : ℕ} (p : ℝ) (n : ℕ) (oracle : PairOracle d) : ℕ → Point d

The recursively accumulated dual vectors in the below-two dual phase.

Equations

• One or more equations did not get rendered due to their size.
• V7.Stage3BelowTwoS3F.dualR p n oracle 0 = -V7.Stage3BelowTwoS3F.coeffB n n n • oracle.gradient 0