Alphabeta Math
AlgorithmAlgorithm: Literature-sourcedProof: Not applicablePipeline-generated
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.

Lossless or midpoint-conductive Yee leapfrog update

Definition

Choose a finite complex and boundary closure as in Oriented Maxwell cochains, masses, and the Yee grid, step size Δt>0, initial e0∈RNe and b−1/2∈RNf, and source rows jn+1/2∈RNe. The output is a sequence en at integer times and bn+1/2 at half-integer times. For each n≥0, perform the ordered instructions

  1. Update the face flux by bn+1/2=bn−1/2−Δt Cen.

  2. Solve the electric row (Me+Δt2S)en+1=(Me−Δt2S)en+Δt CTMbbn+1/2−Δt jn+1/2.

For S=0 this is the lossless Yee leapfrog scheme. For S⪰0, the midpoint term is the specified trapezoidal treatment of conductivity. The row is well defined for every input because its matrix is invertible by The midpoint-conductivity Yee electric solve is well defined. This procedure makes no stability claim; the lossless stability condition is proved separately.

Depends on

Used by

Dependency tree · two levels

3 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