Deterministic $k$-server conjecture

Lineage and corrections

This event attributed to GPT 6 Astra

VibeMathed record: Deterministic $k$-server conjecture evidence for this event

This event attributed to Elias Koutsoupias

This event attributed to Christian Coester

Deterministic $k$-server conjecture evidence for this event

Deterministic $k$-server conjecture parent of this event

This event attributed to Marek Zbysiński

K-server problem evidence for this event

The paper proves the work function algorithm (WFA) is $k$-competitive for the $k$-server problem on every metric space. Specifically, for initial configuration $C_0$ and every finite request sequence $\sigma$, $$\mathrm{WFA}_{C_0}(\sigma)\leq k\,\mathrm{OPT}_{C_0}(\sigma)+\mathrm{cl}(C_0).$$ Since a competitive ratio below $k$ is impossible in general, this settles the deterministic $k$-server conjecture with the optimal ratio. The proof represents work-function values as valuations of determinants over a formal field and constructs a potential from quadratic products of the determinant columns. Its increase at each request pays the extended cost of WFA, yielding the global bound. This does not concern the separate randomized $k$-server conjecture, which was previously refuted. parent of this event