Open question · OPEN-D-UNRESTRICTED-CONSISTENCY

Does finite optimality survive the population limit?

Openpublication: open

Read the full question →

Meaning

Establish unrestricted global D consistency beyond compact rule families with imposed margins.

Scientific context

Consistency is proved only for a restricted class of rules (CONSISTENCY-RESTRICTED-AFFINE). Whether unrestricted empirical global optima converge, in value or in decision, to population optima is open. The structural theorem makes the determinant case look favourable — global optima are geometrically realizable, so the unrestricted and restricted problems have the same optimal value — but that observation falls short of a proof.

Statement

Determine whether unrestricted empirical global D optima converge in value/decision to population global hard quantizers.

Closest prior work

Nearest prior work

Relationships

Related settled results

The full chain beneath it

Where it comes from

Raised by

Local graph
Local map of Unrestricted global D consistency2 prerequisites to the left, 0 results it enables or questions it raises to the right, 0 boundary cases below.Every finite global D optimum is geometrically realizableEvery finite global D…Restricted affine-max empirical consistencyRestricted affine-max…Unrestricted global D consistencyUnrestricted global D…
Prerequisites to the left, what it enables or raises to the right, boundary cases below. Open in the map.

The question in full

Unrestricted D global consistency

Restricted compact affine-max consistency is established. Open: do unrestricted empirical global D optima converge in value and decision to population global D quantizers under natural assumptions? Finite geometric realizability may reduce this to a controlled geometric class, but the metric and centroids are data-dependent and singular boundaries must be controlled.

From OPEN_PROBLEMS.md