Alphabeta Math
AlgorithmAlgorithm: AI-adaptedProof: 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.

Finite-budget positive-tube forward Euler loop

Definition

Fix the periodic SBP data and semidiscrete vector field Lh of Periodic diagonal-norm SBP compressible viscous scheme. Let C⊂G be a specified compact set, let the initial nodal vector U0=(Ui0)i∈I satisfy Ui0∈C for every node, let Δt>0, and let N∈N∪{0} be a finite step budget. The algorithm returns a nodal vector, a status, and an accepted-step count.

  1. For n=0,…,N−1, compute the candidate Un+1,∗=Un+Δt Lh(Un).

  2. If Uin+1,∗∈C for every node i, accept it by setting Un+1=Un+1,∗ and continue.

  3. If any candidate node lies outside C, return (Un,left_positive_tube,n) immediately. Here Un is the last accepted vector and n is the number of accepted steps; the rejected candidate is the one-based stage n+1.

  4. If all N candidates are accepted, return (UN,completed,N). For N=0, return (U0,completed,0).

The membership test is applied nodewise to the compact positive-state tube. A returned left_positive_tube status records a failed candidate and makes no claim that the prescribed step budget was completed.

Depends on

Used by

Dependency tree · two levels

5 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