arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.08202

Graph-Theoretic Bounds for Non-Linear Function Computation Broadcast

Derya Malak·Vijith Kumar K. P.·M. Reza Deylam Salehi
View original source ↗Read source document ↗Export metadata ↓

Abstract

This work studies non-linear function computation broadcast (NFCB), in which a sender with access to $N$ datasets $(X_1,\dots,X_N)$ broadcasts a common message to $K$ users, each possessing side information and requesting a function of the datasets. The goal is to minimize the rate required for asymptotically lossless recovery of all demands. We introduce a broadcast graph that jointly captures the source distribution, side information, and demanded functions. Using Körner's characteristic-graph framework, we develop an achievable scheme for arbitrary $K$, general source distributions, and general finite-field demands, including linear, non-separable, and non-linear functions, without restricting the encoding or decoding operations to be linear. We also present a side-information-assisted independent-set scheme and characterize the optimal graph-based achievable rate for compatible functions. For the converse, we derive a multi-letter response-profile bound that strengthens a basic side-information converse, zero-error and asymptotically lossless clique-entropy bounds based on the operational block broadcast graph, and a genie-aided lower bound. For binary NFCB with $N=K$ and side information $X_i$ at user $i$, we characterize the optimal rate in several special cases and bound the worst-case and average additive gaps between the proposed achievable rate and the genie-aided converse for $K=3$ and $K=4$. Finally, three-user examples with Boolean and linear demands illustrate the proposed bounds and show that non-linear encoding can strictly outperform the best scalar and vector linear schemes.

Explore related subjects

cs.ITmath.IT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Derya Malak, Vijith Kumar K. P., M. Reza Deylam Salehi. 2026-10-06. Graph-Theoretic Bounds for Non-Linear Function Computation Broadcast. https://arxiv.org/abs/2610.08202

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

A Spectral Representation Of The Simple Hypothesis Testing Problem

The minimum Type II error probability (or volume) of simple hypothesis tests with randomized detectors is expressed as a Riemann integral of the (cumulative) distribution function of the likelihood ratio for all non-negative Type I error probability (or volume) values: $β(\varepsilon)=\int_{0}^{\infty}|F(1/τ)-\varepsilon|^{+}dτ$ for all $\varepsilon\geq0$. The derivation relies on convex conjugation (the Legendre transform) and level set integration, and is sufficiently general to extend to tests between $σ$-finite measures. Measure change identities relating the $β(\cdot)$ functions of different hypothesis testing problems are established. Approximations for Type II and Type I volumes are derived under two different hypotheses concerning the Kolmogorov distance to normality for the log-likelihood ratio distributions. In both the Central Limit Theorem and the large deviations regimes, the resulting non-asymptotic expressions recover and extend state-of-the-art characterizations of optimal performance in the memoryless case, and improve and generalize them in the Markovian case. Finally, The distinction between the implications of the Central Limit Theorem and the Berry--Esseen Theorem for the asymptotic simple hypothesis testing problem is clarified.

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↗