Open question · OPEN-A-QUANTITATIVE-BOUND

How far can stable A geometry deviate?

Openpublication: open

Read the full question →

Meaning

Seek a quantitative necessity bound despite the failure of an exact exchange-to-geometry theorem.

Statement

Derive or disprove an A analogue of the Ds O(w) first-order violation bound.

Relationships

Related settled results

The full chain beneath it

Where it comes from

Raised by

Local graph
Local map of Quantitative A finite-geometry necessity bound3 prerequisites to the left, 0 results it enables or questions it raises to the right, 0 boundary cases below.Exact finite A move oracleExact finite A move o…D-style finite exchange-to-geometry theorem fails for AD-style finite exchan…Safe A tangent screeningSafe A tangent screen…Quantitative A finite-geometry necessity boundQuantitative A finite…
Prerequisites to the left, what it enables or raises to the right, boundary cases below. Open in the map.

The question in full

Quantitative finite-geometry bound for A

Derive or disprove an A analogue of the DsD_s O(wi(1/Wa+1/Wb))O(w_i(1/W_a+1/W_b)) necessity bound. Known: exact O(d2)O(d^2) A move oracle, concavity screening, and CE-A-DSTYLE-001 refuting the exact D-style geometry theorem.

From OPEN_PROBLEMS.md