Result · E-TANGENT-SCREENING

Supergradients safely screen E moves

Proved herepublication: internal

Read the proof and evidence →

Meaning

A valid supergradient gives a safe bound for rejecting finite moves.

Statement

For any valid E supergradient, non-positive weighted tangent gain safely rejects an exact finite move.

Relationships

Rests on

Concavity/supergradient finite-move screeningGENERAL-SUPERGRADIENT-SCREENING
E-optimality supergradient structureE-SUPERGRADIENT

The full chain beneath it

Exact weighted rank-two relocationD-RANK2-MOVEdepth 2

Open next door

Characterize criteria with finite exchange => first-order geometryOPEN-CRITERION-CHARACTERIZATION
Quantitative E necessity bound under spectral gapOPEN-E-SPECTRAL-GAP-BOUND

Local graph

Prerequisites to the left, what it enables or raises to the right, boundary cases below. Open in the map.

Proof

E5. Safe E screening and B&B

G2 gives a sound rejection rule. Exact post-move $\lambda_{\min}$ evaluation can be reserved for screened-in candidates. Refinement B&B applies because $\lambda_{\min}$ is Loewner-monotone.

From E-optimality · chapter contents