Task-Sufficient Contraction: Source Selection for Machine Information Interfaces

Joss Armstrong

Home/Archive/arXiv

arXiv · 2610.08884

Task-Sufficient Contraction: Source Selection for Machine Information Interfaces

Joss Armstrong

View original source ↗Read source document ↗Export metadata ↓

Abstract

A declared task can sometimes certify a reduced source before a downstream encoder, codebook, rate, distortion target, or optimizer is chosen. This paper studies when one such reduction preserves the complete downstream problem family, a property termed Task-Sufficient Contraction. The reduced source is fixed by the task before the later operating point is selected. An exact contraction allows the later problem to be solved on that source with the same result as if the full source had been retained. For a machine with a fixed set of possible actions and a fixed loss, the paper identifies a consumer-specific source by merging states only when every available action has the same regret in both. For finite action sets, replacing the richer source by this reduced source preserves the complete one-step rate-regret curve, even though the reduction is fixed before the distortion target is chosen. A second result gives an exact characterization for quadratic loss on affine feasible-action sets: the canonical reduced source is the projection onto the directions in which feasible actions can differ. Under a fixed energy budget, this becomes centered load, while retaining only the optimal water-filled action is too coarse. Earlier Information Bottleneck, semantic rate-distortion, and goal-oriented quantization results are then used to distinguish exact, architecture-conditioned, approximate, failed, and corrected contractions. The framework suggests a way for heterogeneous machines to exchange what a receiving task needs without first aligning their full internal representations.

Explore related subjects

cs.IT cs.LG math.IT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Joss Armstrong. 2026-10-06. Task-Sufficient Contraction: Source Selection for Machine Information Interfaces. https://arxiv.org/abs/2610.08884

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Symmetry-Enforced Quadratic Approximate-Degradability Bounds for Noisy Landau-Streater Channels

Understanding the limits of quantum communication is a central problem in quantum information theory. Structural properties of quantum channels provide tools for analyzing these limits. In particular, approximate degradability links quantum-capacity bounds to the accuracy with which a channel's environment can be reconstructed from its output. We study this reconstruction problem for noisy Landau-Streater channels across finite-spin representations. For spin $j$ and noise probability $p$, we construct an explicit degrading map with diamond-norm error at most $[2+8/(j(j+1))]p^2\le(38/3)p^2$ on the common interval $0\le p\le1/8$. A lower bound establishes quadratic order for this construction at each fixed spin. Floating-point semidefinite optimization places its error within $2.48\%$ of the numerical optimum on the sampled grid for four spins. Covariance and conditional-entropy concavity yield explicit two-sided quantum-capacity bounds for this family with a spin-uniform remainder. Building on the low-noise Pauli cancellation strategy, we formulate a sufficient condition based on a common scalar adjoint action on fixed, possibly nonunitary noise Kraus operators. The resulting reconstruction-error bound is uniform in system dimension and Kraus count. The criterion applies to irreducible $SU(N)$ generator channels and noisy Werner-Holevo channels, with the $SU(3)$ adjoint representation providing an example outside the mixed-unitary class.

cs.IT↗

arXiv2026

Out-of-Air Computation: Enabling Structured Function Extraction from Wireless Superposition

Over-the-air computation (AirComp) broadly exploits the superposition property of wireless multiple-access channels (MACs) to compute functions of distributed data. Within this broad class, dominant conventional designs are embedding-oriented: they pre-shape transmitted signals or mitigate channel effects so that the received superposition directly realizes the prescribed computation, often requiring the MAC to approximate an ideal computational medium. This paper introduces out-of-air computation (AirCPU) and establishes an extraction-oriented paradigm for AirComp. Built on joint source-channel coding, AirCPU creates a structured wireless superposition from which the receiver extracts the target function. AirCPU operates directly on continuous-valued device data, avoiding the need for a separate source quantization stage, and employs a multi-layer nested lattice architecture that enables progressive resolution by decomposing each input into hierarchically scaled components, all transmitted over a common bounded digital constellation under a fixed power constraint. We formalize the notion of decoupled resolution, showing that in operating regimes where the decoding error probability is sufficiently small, the impact of channel noise and finite constellation constraints on distortion becomes negligible, and the resulting computation error is primarily determined by the target resolution set by the finest lattice. For fading MACs, we further introduce collective and successive computation mechanisms, in addition to the proposed direct computation, which exploit multiple decoded integer-coefficient functions and side-information functions as structural representations of the wireless superposition to significantly expand the reliable operating regime.

cs.IT↗

arXiv2026

Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem

We determine the exact local second-order rate region of the finite-alphabet Wyner--Ahlswede--Körner problem under full support, at informative boundary points exposed by a finite supporting slope. The characterization permits nonunique optimizing test channels with unequal information variances and requires no neighborhood smoothness of the optimized first-order value. The optimal success function is a conditional Gaussian envelope averaged over the fluctuation of the helper's observed source type. For each type, the helper selects the minimum or maximum conditional variance according to the remaining description budget, while preserving both first-order rates. The converse follows from a uniform Gaussian bound for ordinary channel images. An exact posterior score decomposition separates a common source score, a nonnegative optimality gap, a negligible source residual on low-cost histories, and a conditionally independent channel fluctuation. Conditional-type covering with two endpoint optimizers and one common binning map attains the bound. Under a strict first-order benefit from the helper, a separate limiting-rate argument also gives the unrestricted weighted second-order optimum. A strictly positive finite source exhibits a strict gain over every fixed-optimizer Gaussian expression, and an exact binary image calculation illustrates the limiting coefficient.

cs.IT↗