ScoreQuant

Result · A-TANGENT-SCREENING

A tangent bound safely screens A moves

Proved herepublication: internal

Read the proof and evidence →

Meaning

A tangent bound can reject moves that cannot improve the exact A objective.

Statement

A inherits the generic concavity screening rule, with G=I^{-2}.

Relationships

Rests on

The full chain beneath it

Enables

Raises

Open next door

Local graph
Local map of Safe A tangent screening1 prerequisites to the left, 1 results it enables or questions it raises to the right, 0 boundary cases below.Concavity/supergradient finite-move screeningConcavity/supergradie…Quantitative A finite-geometry necessity boundQuantitative A finite…Safe A tangent screeningSafe A tangent screen…
Prerequisites to the left, what it enables or raises to the right, boundary cases below. Open in the map.

Proof

A3. Concavity screening remains valid

G2 supplies a sound tangent rejection rule for A.

From A-optimality · chapter contents