Result · D-TANGENT-SCREENING
A tangent bound safely screens D moves
Proved herepublication: internal
Meaning
A tangent upper bound can exclude unprofitable moves before exact gain evaluation.
Statement
For G=I^{-1}, a non-positive weighted tangent gain guarantees non-positive exact D gain.
Relationships
Rests on
The full chain beneath it
Open next door
Local graph
Proof
G2. General concavity/supergradient screening
For a concave criterion , let be any supergradient at the current information matrix. For an exact finite relocation
concavity gives
Therefore:
- if the weighted tangent gain is , the exact move cannot improve;
- weighted-tangent stability is a sufficient certificate of one-point exchange stability;
- expensive exact move evaluation can be restricted to screened-in candidates.
This applies to D, , A, and E (using a supergradient for E).
Measured audit: zero screening-direction violations in the reported randomized suites (including 4,886 D/A/ moves and the E suite).