mlsanityData to 14 Oct 2026

What Must Survive? Exact Task-Information--State Frontiers Under Partial Task Revelation

arXiv 2609.21523 ↗First posted 18 Sep 2026cs.LG cs.IT math.ITcited by 0

Not on the map. Why?

Abstract (arXiv)

A state may need to be compressed before its exact downstream task is known. For a finite family of linear task operators Tuu∈U, we characterize exactly how much state must survive when only one of K coarse task messages is available at compression time: p^*(K)= min_substackPcal partition of U|Pcal|≤ K maxC∈Pcalrank(TC), where TC stacks the tasks that remain unresolved within cell C. Thus task information reduces retained state precisely by separating tasks whose joint task-visible subspace is expensive. We derive the dual bit frontier, an irreducible common-core floor, and a sharp singular-value characterization for nonzero tolerance. For overlapping task families, a cumulative overlap deficit places the exact frontier within an additive Delta of weighted load balancing. Optimal partitioning is strongly NP-hard, yet direct-sum families admit classical approximation guarantees and a PTAS. We stress-test the theory on learned task operators from CIFAR-10, Fashion-MNIST, SVHN, and Burgers observables. For Burgers with K=2 and eps=0.35, a constructive partition attains p=4, while balanced random partitions require median p=6, with held-out worst standardized RMSE 0.0368. The results distinguish uniform task sufficiency from distributional and decision-level performance.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 4 of its 17 references that are in the map. First posted on arXiv 18 Sep 2026.

Builds on

4 of 17 references.

References · 4

  1. 2015Deep Residual Learning for Image Recognitioncited by 52,096
  2. 2017Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithmscited by 4,349
  3. 2014Sketching as a Tool for Numerical Linear Algebracited by 288
  4. 2024DynamicKV: Task-Aware Adaptive KV Cache Compression for Long Context LLMscited by 42

Built on by

Not cited yet.