https://arxiv.org/api/krD2htiqgUYGXqHDs7p2VFZlAf4 2026-06-25T15:23:31Z 54922 735 15 http://arxiv.org/abs/2605.21546v1 2026-05-20T10:13:55Z

The Kučera--Gács theorem is a fundamental result in algorithmic randomness. It states that every infinite sequence $X$ is Turing reducible to a Martin-Löf random $R$. This paper studies resource-bounded analogues of the Kučera-Gács Theorem, at the resource bounds of polynomial-time and finite-state computation. We prove a {quasi-polynomial-time}{ Kučera-Gács Theorem}, showing that every infinite sequence $X$ is quasi-polynomial-time reducible to a \emph{polynomial-time random} sequence $R$. We also show that for any $X$, the oracle use of $R$ is $n+o(n)$ bits for obtaining the first $n$ bits of $X$. We then study the relationship between compressibility and Turing reductions, in the polynomial-time setting. We establish that $ρ^-_{\mathsf{poly}}(X) = K_{poly}(X)$, demonstrating that the lower polynomial-time Turing decompression ratio is precisely characterized by the polynomial-time Kolmogorov complexity rate. We note that this characterization fails for the polynomial-time dimension if one-way functions exist, resolving an open problem from Doty's work. We use these results to strengthen the {quasi-polynomial-time}{ Kučera-Gács Theorem}. We show that every infinite sequence $X$ is quasi-polynomial-time reducible to a {polynomial-time random} sequence $R$, where the lower oracle use rate of the reduction is less than ${K}_{poly}(X)$. We also show that any sequence extracted from the (even larger) set of \emph{normal sequences} by a finite-state reduction must have a convergent asymptotic frequency for its symbols. Since sequences lacking this invariant property exist, they cannot be finite-state reduced from any normal sequence. Hence we show that the Kučera-Gács theorem \emph{fails} for finite-state reductions.

2026-05-20T10:13:55Z Satyadev Nandakumar Akhil S Chandra Shekhar Tiwari http://arxiv.org/abs/2403.10307v5 2026-05-20T08:59:43Z

This work investigates a privacy metric based on Chernoff information motivated by its importance in characterizing the optimal classifier's performance. Adversarial classification centers on minimizing the probability of error when deciding between two classes in the binary setting. Classical hypothesis testing treats false alarm and mis-detection probabilities separately, resulting in asymmetric optimal error exponents. Here, we instead characterize the relationship between $\varepsilon-$differential privacy (DP), the optimal error exponent of one error probability conditioned on the other, and the optimal average error exponent. Thus, we re-derive Chernoff DP in connection with $\varepsilon-$DP using the Radon-Nikodym derivative and establish its relationship with Kullback-Leibler (KL) DP to prove that Chernoff DP is sandwiched between the two. We then present numerical evaluations demonstrating that Chernoff information outperforms the KL divergence as a function of the privacy parameter, particularly in capturing the impact of adversarial attacks under Laplace mechanisms. Finally, we upper bound the adversary's advantage in membership inference attacks based on Chernoff DP and numerically compare its performance with existing bounds. We re-derive Chernoff DP in connection with $\varepsilon-$DP using the Radon-Nikodym derivative, and prove its relation with KL-DP. Subsequently, we present numerical evaluation results, which demonstrates that Chernoff information outperforms KL divergence as a function of the privacy parameter $\varepsilon$ and the impact of the adversary's attack in Laplace mechanisms. Lastly, we introduce a new upper bound on adversary's membership advantage in membership inference attacks using Chernoff DP and numerically compare its performance with existing alternatives based on $(\varepsilon,δ)-$DP in the literature.

2024-03-15T13:47:44Z Ayşe Ünsal http://arxiv.org/abs/2603.22659v2 2026-05-20T08:31:06Z

Classical energy detection (ED) methods for cognitive radio (CR) have addressed noise uncertainty as deviations in noise power and signal uncertainty as variability in signal characteristics, which use probabilistic methods and assume fixed probability distributions for both. In practical scenarios, due to the uncertainty in probability models and the significant variation of primary signals encountered by receivers across different radio technologies, wireless environments exhibit not only distributional uncertainty but also substantial signal variety. In this paper, we develop a generalized formulation of energy detection based on nonlinear expectation theory, where both the signal and noise distributions are uncertain. We utilize the $G$-normal distribution to characterize channel noise. Moreover, to capture practical signal variety, the absolute values of transmitted signal random variables are assumed to lie within a bounded range $[\underlineσ_X,\overlineσ_X]$. The worst-case detection performance is then characterized by a double supremum, meaning over all admissible distributions and all possible signal realizations. We derive estimations for the minimum and the maximum detection error probabilities, and demonstrate the validity of the results through numerical simulations. The proposed model generalizes the classical theoretical analysis of energy detection and offers a potential theoretical foundation for robust detection and information-theoretic analysis under distributional uncertainty.

2026-03-24T00:23:05Z 18 pages, 3 figures Jialiang Fu Wen-Xuan Lang http://arxiv.org/abs/2306.15758v3 2026-05-20T08:19:47Z

Noise-shaping quantization techniques are widely used for converting bandlimited signals from the analog to the digital domain. They work by ``shaping" the quantization noise so that it falls close to the reconstruction operator's null space. We investigate the compatibility of two such schemes, specifically $ΣΔ$ quantization and distributed noise-shaping quantization, with random samples of bandlimited functions. Suppose $R>1$ is a real number and assume that $\{x_i\}_{i=1}^m$ is a sequence of i.i.d random variables uniformly distributed on $[-\tilde{R},\tilde{R}]$, where $\tilde{R}>R$ is appropriately chosen. We show that by using a noise-shaping quantizer to quantize the (randomly sign flipped) values of a real-valued $π$-bandlimited function $f$ at $\{x_i\}_{i=1}^m$, a function $f^{\sharp}$ can be reconstructed from these quantized values such that $\|f-f^{\sharp}\|_{L^2[-R, R]}$ decays with high probability as $m$ and $\tilde{R}$ increase. This decay holds uniformly over all bandlimited $f$. We emphasize that the sample points $\{x_i\}_{i=1}^m$ are completely random, that is, they have no predefined structure, which makes our findings the first of their kind.

2023-06-27T19:17:41Z Rohan Joy Felix Krahmer Alessandro Lupoli Radha Ramakrishnan http://arxiv.org/abs/2605.20826v1 2026-05-20T07:20:34Z

Compression based on asymmetric numeral systems (ANS) combines high encoding and decoding speeds with a compression ratio close to Shannon entropy, while forward modeling of the information source makes it possible to obtain an estimated compressed message size that is less than the entropy. This paper proposes combining these modeling and adaptive coding methods. In addition to ensuring high data processing speeds and compression ratios, this approach enables one to implement the adaptive ANS, which has long remained an important scientific and practical problem.

2026-05-20T07:20:34Z Mykyta Kharin Igor Zavadskyi http://arxiv.org/abs/2605.20765v1 2026-05-20T06:07:19Z

We establish a quantum Fisher information (QFI) duality for distributed quantum sensor networks with local phase encoding. For any $N$-qubit probe state, where $N$ denotes the number of sensors, $F_Q(\boldsymbol{w}^\top \boldsymbolθ) + F_Q(\boldsymbol{v}^\top \boldsymbolθ) \leq N$ for all unit orthogonal sensing directions $\boldsymbol{w}$ and $\boldsymbol{v}$, with equality for all equatorial states when $N=2$ and for Greenberger--Horne--Zeilinger (GHZ) states when $N\geq 2$. Heisenberg-limited precision for direction $\boldsymbol{w}$, $F_Q(\boldsymbol{w}^\top \boldsymbolθ)=N$, saturates the bound and simultaneously forces zero QFI for all other independent directions. This can be interpreted as the condition for parameter privacy in distributed quantum sensing: attaining Heisenberg-limited precision for the sensing target renders all alternative privacy-intrusive estimations impossible.

2026-05-20T06:07:19Z Farhad Farokhi http://arxiv.org/abs/2602.10989v3 2026-05-20T03:41:51Z

We construct and analyze generative diffusions that transport a point mass to a prescribed target distribution over a finite time horizon using the stochastic interpolant framework. The drift is expressed as a conditional expectation that can be estimated from independent samples without simulating stochastic processes. We show that the diffusion coefficient can be tuned \emph{a~posteriori} without changing the time-marginal distributions. Among all such tunings, we prove that minimizing the impact of estimation error on the path-space Kullback--Leibler divergence selects, in closed form, a Föllmer process -- a diffusion whose path measure minimizes relative entropy with respect to a reference process determined by the interpolation schedules alone. This yields a new variational characterization of Föllmer processes, complementing classical formulations via Schrödinger bridges and stochastic control, and provides a conditional-expectation representation of the Föllmer drift that enables simulation-free estimation from data. We further establish that, under this optimal diffusion coefficient, the path-space Kullback--Leibler divergence becomes independent of the interpolation schedule, rendering different schedules statistically equivalent in this variational sense. We provide numerical experiments to illustrate the impact of path-space variational optimality of Föllmer's processes in probabilistic forecasting and data assimilation applications.

2026-02-11T16:15:19Z Yifan Chen Eric Vanden-Eijnden http://arxiv.org/abs/2506.15412v3 2026-05-20T02:18:41Z

In collaborative inference (CI), transmitting intermediate representations $Z$ from edge devices enables model inversion attacks (MIA) that reconstruct the original inputs $X$, while existing defenses mainly perturb shallow-layer $Z$ at the cost of utility. We instead ask where an edge-cloud model should be partitioned to obtain intrinsic resistance to MIA. We challenge the intuition that depth is the driver of MIA resistance, and show that depth is sufficient only insofar as it enables a representational transition; this transition is necessary for intrinsic resistance and is marked by an abrupt rise in the lower bound of $H(X|Z)$. Correspondingly, the decisive variance term in the entropy bound shifts from a global variance to the intra-class mean-squared radius $R_c^2$ rather than dimensionality alone, yielding an $R_c^2$-based criterion to locate the transition zone, or identify it post hoc from MIA outcomes, which we term the Golden Partition Zone (GPZ). We further explain how $R_c^2$ evolves during training and show that it can be controlled through the label distribution; we refer to this controllable dynamic behavior as the Neural Vortex, an analysis-backed explanatory concept. Across four representative deep vision models, partitioning at the GPZ yields more than 4x higher reconstruction MSE compared to shallow splits; under entropy and inversion-model enhancements, decision-level representations provide 66 percent stronger resistance than feature-level ones, and we further observe that data type affects both the transition boundary and reconstruction.

2025-06-18T12:33:01Z Accepted by ICML 2026 Rongke Liu Youwen Zhu Lei Zhou Xianglong Zhang Dong Wang http://arxiv.org/abs/2605.20535v1 2026-05-19T22:14:06Z

Flexible coupler antenna systems have recently received significant research interest due to their capability to intelligently reconfigure wireless channels by controlling coupler positions and/or rotations and dynamically exploiting mutual coupling. In this paper, we investigate a new type of flexible coupler antenna, termed rotatable coupler antenna (RCA), for enabling spectrum and energy efficient wireless communication cost-effectively. Specifically, an RCA consists of one fixed active antenna and multiple low-cost passive couplers, each of which can independently rotate in three-dimensional (3D) space, so as to collaboratively achieve mechanical beamforming without requiring additional radio-frequency (RF) chains for the couplers. We study an RCA-enhanced point-to-point communication system, where one RCA is deployed at the transmitter to serve a single user equipped with a fixed antenna. Based on multi-port circuit theory, we establish the channel model and characterize the mutual coupling coefficients as a function of coupler rotations. We formulate a new problem to maximize the received signal-to-noise ratio (SNR) at the user by optimizing the 3D rotations of all couplers, subject to practical coupler rotation constraints. To tackle this nonconvex problem, we develop a spherical-cap conditional-gradient-based algorithm with cross-entropy-method initialization. Simulation results demonstrate that the proposed RCA system can significantly improve communication performance in comparison with benchmark schemes, while requiring substantially fewer active antennas and RF chains.

2026-05-19T22:14:06Z 14 pages Xiaodan Shao Chuangye Shan Weihua Zhuang Xuemin Shen http://arxiv.org/abs/2602.23520v9 2026-05-19T22:00:17Z

Zero-error recovery under deterministic partial views is graph recovery for the induced confusability relation. A finite family of coordinate-subset observations determines a graph on latent states; $T$-ary exact recovery is graph $T$-colorability, block composition is strong powering, and asymptotic recoverability is Shannon capacity. Coordinate structure gives tractable certificates inside the graph semantics. For affine realized state families with explicit linear presentations, restricted coordinate ranks form a representable matroid certificate giving polynomial-time upper bounds on one-shot confusability and asymptotic capacity, with rank additivity matching direct-sum block composition. In the full tuple-space coordinate model, the realizable confusability relations are exactly the upward-closed coordinate-agreement families. Transitive confusability is equivalent to intersection closure of the generated agreement family, yielding a cluster graph whose capacity is determined by connected components. Host-level realizability determines when the latent state family is canonical. Verifiable rate-$1$ realizability for structural facts holds if and only if the host provides zero-delay synchronization and structural side-information; eleven representative host architectures instantiate the criterion. The same clique-size bit-budget bound governs both the graph-level and host-level layers. All cited results are mechanized in Lean 4 against a shared formalization library.

2026-02-26T21:47:11Z Main PDF: 52 pages, 1 figure, 2 tables. Supplementary: 11 pages, 2 tables. Lean 4 artifact available at https://doi.org/10.5281/zenodo.18141365 Tristan Simas http://arxiv.org/abs/2603.15842v2 2026-05-19T19:10:52Z

Modern machine learning systems increasingly rely on sensitive data, creating significant privacy, security, and regulatory risks that existing privacy-preserving machine learning (ppML) techniques, such as Differential Privacy (DP) and Homomorphic Encryption (HE), address only at the cost of degraded performance, increased complexity, or prohibitive computational overhead. This paper introduces Informationally Compressive Anonymization (ICA) and the VEIL architecture, a privacy-preserving ML framework that achieves strong privacy guarantees through architectural and mathematical design rather than noise injection or cryptography. ICA embeds a supervised, multi-objective encoder within a trusted Source Environment to transform raw inputs into low-dimensional, task-aligned latent representations, ensuring that only irreversibly anonymized vectors are exported to untrusted training and inference environments. The paper rigorously proves that these encodings are structurally non-invertible using topological and information-theoretic arguments, showing that inversion is logically impossible, even under idealized attacker assumptions, and that, in realistic deployments, the attacker conditional entropy over the original data diverges, driving reconstruction probability to zero. Unlike prior autoencoder-based ppML approaches, ICA preserves predictive utility by aligning representation learning with downstream supervised objectives, enabling low-latency, high-performance ML without gradient clipping, noise budgets, or encryption at inference time. The VEIL architecture enforces strict trust boundaries, supports scalable multi-region deployment, and naturally aligns with privacy-by-design regulatory frameworks, establishing a new foundation for enterprise ML that is secure, performant, and safe by construction, even in the face of post-quantum threats.

2026-03-16T19:17:51Z 47 pages, 29 figures Jeremy J Samuelson http://arxiv.org/abs/2605.20377v1 2026-05-19T18:25:42Z

The conventional linear scaling of beamforming gain with the number of antennas is not a fundamental physical limitation, but rather a consequence of the half-wavelength spacings that minimize mutual coupling. Relaxing this constraint facilitates beamforming gains exceeding those of uncoupled arrays along specific directions. This paper shows that, when antenna losses remain sufficiently small, mutual coupling enables the synthesis of super-beams whose endfire gain scales quadratically with the number of antennas. Notably, this quadratic scaling does not necessarily require vanishing spacings, but emerges for spacings slightly below half wavelength as the array aperture increases.

2026-05-19T18:25:42Z Andrea Pizzo Angel Lozano http://arxiv.org/abs/2605.20129v1 2026-05-19T17:15:26Z

This work develops a rate-distortion-based approach to stochastic Chase decoding of algebraic codes over binary memoryless symmetric (BMS) channels, replacing the heuristics traditionally used to determine flip probabilities with information-theoretically grounded flipping rules. In particular, we reinterpret stochastic Chase decoding as a random-coding construction for error-pattern covering codes. Our approach builds on the framework of Nguyen et al., who introduced a rate-distortion formulation of multiple-attempt decoding for Reed-Solomon codes over nonbinary channels. In their formulation, erasure patterns are generated so as to align with, and thereby mask, hard-decision errors. We adapt this framework to the design of bit-flip probabilities for Chase decoding over BMS channels. This yields an explicit characterization of the asymptotically optimal bit-flipping rule, together with the expected list size required to ensure that the transmitted codeword appears in the decoding list with high probability. Moreover, for binary and quaternary symmetric channels, we demonstrate that the optimal bit-flipping rule, determined by exhaustive search, closely matches the information-theoretic rule even at short block lengths.

2026-05-19T17:15:26Z Extended version of a submission to ISIT 2026 Amit Berman Ariel Doubchak Uri Erez Tal Philosof Ilya Shapir http://arxiv.org/abs/2605.20109v1 2026-05-19T16:58:42Z

We study the Hermitian hull-variation problem for vector rank-metric codes. Except for one parameter pair, we show that the Hermitian hull dimension of such a code can be reduced to any smaller value within its equivalence class, and in particular every such code is equivalent to a Hermitian LCD code. We then address the existence of maximum rank distance (MRD) codes with prescribed Hermitian hull dimension. To this end, we introduce the notion of a \emph{scaled trace-self-dual basis} of a finite field extension, which exists in all cases, and use it to construct Hermitian self-orthogonal generalized Gabidulin codes for every prime power. Combined with the hull-variation theorem, this yields MRD codes attaining every admissible Hermitian hull dimension.

2026-05-19T16:58:42Z Duy Ho http://arxiv.org/abs/2602.09061v2 2026-05-19T16:33:49Z

Arnold Zellner published a seminal paper on Bayes' theorem as an optimal information processing rule, a result that led to the variational formulation of Bayes' theorem, and a central idea in generalized variational inference. Almost 40 years later, we revisit these ideas, but from the perspective of information deletion. We investigate rules that update a posterior distribution into an antedata distribution when a portion of data is removed. In such context, a rule that does not destroy or create nonexistent information is called the optimal information deletion rule and we prove that it coincides with the leave-data-out posterior from Bayes' theorem.

2026-02-08T23:43:29Z Hans Montcho Håvard Rue