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 at a law , let . When , its gross-error sensitivity is the extended nonnegative number
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
- P. B. Stark, Statistics 240 Lecture Notes, Part 9: Robustness and Related Topics, §1.3.3, PDF pp. 15–16 (standard reference, not scraped)
- Elvezio Ronchetti, Introduction to Robust Statistics, slides 12 and 17 (standard reference, not scraped)