Alphabeta Math
AlgorithmAlgorithm: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Proximal-gradient, FISTA, and fixed-period restarted FISTA

Definition

Assume f:Rn→R is convex and continuously differentiable with L-Lipschitz gradient, L>0, and g:Rn→(−∞,+∞] is proper, closed and convex. For a finite iteration budget N≥1, initial point x0∈Rn, and exact evaluations of TL from Proximal-gradient mapping and projected-gradient mapping, the proximal-gradient mode returns xk=TL(xk−1),k=1,…,N.

The FISTA mode sets t1=1, y1=x0, and for k=1,…,N computes xk=TL(yk),tk+1=1+1+4tk22,yk+1=xk+tk−1tk+1(xk−xk−1). It returns xN. A fixed-period restart with period m∈N, m≥1, runs this FISTA recurrence for at most m updates per block and, after each full block, resets t1=1, y1 to the block's last iterate, and the previous iterate to that same point. A final shorter block stops at the budget. Each call uses the exact proximal point; no inexact call is covered by this algorithm definition. The finite budget makes the output a finite iterate even when no convergence or monotonicity of consecutive accelerated objective values is asserted.

Depends on

Used by

Dependency tree · two levels

18 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources