Alphabeta Math
DefinitionDefinition: 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.

Gross-error sensitivity of a functional

Definition

For a statistical functional T at a law F, let DT,F:={x∈X:IF⁡(x;T,F) exists as a finite vector}. When DT,F≠∅, its gross-error sensitivity is the extended nonnegative number

γ∗(T,F):=sup⁡x∈DT,F∥IF⁡(x;T,F)∥2.

For a real-valued functional the norm is absolute value. This supremum only ranges over directions where the influence function exists; it makes no claim that the derivative exists in every direction.

Remarks

Finite gross-error sensitivity is a local pointwise stability bound. It does not, without a uniform remainder hypothesis, bound the maximum bias over an entire contamination neighborhood.

Depends on

Used by

Dependency tree · two levels

4 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