https://arxiv.org/api/x4pZ2QlCVXJLjXfbgdLpmYZaXR4 2026-06-22T03:19:34Z 54841 300 15 http://arxiv.org/abs/2606.15563v1 2026-06-04T22:29:45Z

AI systems increasingly delegate decisions to specialized models, evaluators, tools, and supervisory controllers. The central AI problem is no longer only model accuracy, but uncertainty-aware governance: how much autonomy to grant, which evidence should calibrate trust, what performance ceiling a delegated AI system can sustain, and when human intervention becomes necessary. We propose the Minimum Sufficient Oversight Principle (MSO), a variational principle for principled autonomy delegation: minimize governance burden on the Fisher information manifold subject to a delivery constraint. The resulting Euler-Lagrange solution yields a water-filling allocation of governed delegation across the task space. Building on a revealed-action governed delegation channel model, we prove a capacity theorem for stationary symbolwise review policies, derive a local first-order approximation relating workflow complexity to quality degradation, and give a drift-dominated autonomy-time scaling law linking intervention timing to effective capacity, complexity, and drift. Within this framework, masking appears as a structural AI-governance pathology: corrected performance can hide the competence signal needed to calibrate trust. Synthetic simulations and a semi-real reconstructed workflow support design prescriptions including upstream-first correction, sensitivity-based intervention, and explicit feasibility checks before autonomy is expanded. The result is a computable framework for uncertainty, planning, and oversight in delegated AI systems. A companion Python package is available at https://github.com/crbazevedo/delegation-lab.

2026-06-04T22:29:45Z Companion Python package: pip install minimal-oversight | Code: https://github.com/crbazevedo/delegation-lab | 26 pages, 1 figure, 5 tables Carlos R. B. Azevedo http://arxiv.org/abs/2606.06736v1 2026-06-04T21:43:20Z

Quantum locally recoverable codes (QLRCs) have recently gained attention as a framework for achieving efficient quantum storage with local recovery capabilities. Analogous to their classical counterparts, QLRCs allow a lost qudit to be reconstructed using only a small subset of other qudits, thereby reducing the resource and operational overhead in recovery. In this work, we extend the study of QLRCs by considering $(r,δ)$ QLRCs characterized by locality parameter $r$ and local distance $δ\geq 2$. We present constructions of both random and explicit $(r,δ)$ QLRCs, including explicit families based on the quantum Tamo--Barg construction. We also present an efficient decoding algorithm for these quantum Tamo--Barg codes. Furthermore, we introduce quantum \emph{hierarchical} locally recoverable codes (QHLRCs), which extend local recovery to multiple hierarchical levels. For any integer $h\geq 2$, we construct both random and explicit $h$-level QHLRCs, the latter being $h$-level quantum Tamo--Barg codes, and establish a Singleton-like bound for these codes using a CSS framework built from dual-containing classical codes. These results advance the theoretical foundations of quantum erasure recovery and contribute to the design of efficient quantum storage architectures.

2026-06-04T21:43:20Z Venkatesan Guruswami Rutuja Kshirsagar Pranav Trivedi http://arxiv.org/abs/2606.04003v2 2026-06-04T20:32:57Z

Root-MUSIC is a spectral estimation algorithm that approximates the unknown signal frequencies by constructing a high-degree polynomial and finding a subset of roots which are closest to the complex unit circle. Previous works found asymptotic expectation formulas for the performance of Root-MUSIC under the implicit assumption that the aforementioned root selection criterion does not select extraneous roots -- those which are unrelated to the correct parameters. This paper removes the need for this assumption by showing all extraneous roots lie outside an annulus of a certain thickness and therefore are not selected by the algorithm. This paper also provides sharp, non-asymptotic, and explicit error bounds for the correct roots in terms of fundamental model parameters. All results hold under a natural separation condition on the correct signal frequencies and are applicable in both the single- and multi-snapshot models. More specifically, in the multi-snapshot model, we prove that Root-MUSIC estimates the frequencies with error at most $O(σ/(m \sqrt n))$, where $σ^2$ is the noise variance, $m$ is the number of sensors, and $n$ is the number of snapshots. A novelty of this non-asymptotic bound is the explicit $1/m$ decay, which indicates that there is a significant advantage in utilizing additional sensors. Numerical simulations confirm our theory. The main mathematical insight of this paper is a geometric property of the Root-MUSIC polynomial: its correct roots are highly stable to noise while its extraneous roots must lie outside of an annulus.

2026-05-26T11:57:23Z 27 pages, 3 figures; same as V1, fixed cleveref issues Hana Huber Weilin Li http://arxiv.org/abs/2605.21727v2 2026-06-04T20:08:44Z

Block codes are considered for improving the reliability of messages stored in a computer memory with both stuck-at defects and random errors. It is assumed that the side information about the state of the defects is available to the encoder, but not to the decoder. A novel recursive construction of a set of masks is developed such that it can satisfy any $s$ stuck-at errors in a $2^m$ binary sequence, when $s \leq m$. We prove that the masks generated in this way are codewords in a Reed-Muller $RM(s-1, m)$ code. The constructed set contains no more than $2^s m^{s-1}$ masks. We provide the lower and the upper bound on the size of the stuck-at redundancy, a fixed subset of mask bits that uniquely represents each mask in the set. The stuck-at code constructed in this way is a non-linear code. It is also a subcode of an $RM(r,m)$ code, with $ r \geq s-1$, that can be used for additional random error correction. The encoding requires no mask search and is straightforward based on the description of the recursive construction. The decoding is done in a single attempt and requires almost no additional complexity or latency.

2026-05-20T20:37:45Z 9 pages, 6 figures Ivana Djurdjevic Robert Mateescu Cyril Guyot http://arxiv.org/abs/2307.15657v3 2026-06-04T19:01:07Z

Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.

2023-07-28T16:38:38Z 38 pages Daniel J. Katz Kathleen R. O'Connor Kyle Pacheco Yakov Sapozhnikov http://arxiv.org/abs/2606.06652v1 2026-06-04T18:58:48Z

This paper develops a binary-gamble framework for characterizing risk sensitivity and loss aversion in Cumulative Prospect Theory (CPT). The proposed probabilistic risk-sensitivity metric is defined as a probability-threshold ratio that determines acceptance and preference thresholds in choice problems involving either a certain outcome and a binary gamble or two binary gambles. We show how standard notions of symmetric and non-symmetric bet aversion can be recovered within this framework, and we compare the resulting threshold-based conditions with utility premia, probability premia, and Arrow--Pratt curvature measures. The analysis clarifies when these criteria coincide and when they diverge, particularly for increasing aversion conditions, binary gambles with unequal probability distributions, and settings involving probability weighting functions. We also identify technical restrictions that arise when CPT-utility functions are used to represent loss aversion at the reference point. The resulting framework provides a decision-theoretic interpretation of risk sensitivity that is directly tied to probability thresholds and complements existing premium-based approaches.

2026-06-04T18:58:48Z This paper has been submitted for publication Symeon Vaidanis Marios Kountouris http://arxiv.org/abs/2606.06455v1 2026-06-04T17:49:27Z

High-rate quantum low-density parity-check (qLDPC) codes are a leading candidate for fault-tolerant quantum computing. They feature higher encoding rates than planar alternatives such as the surface code, but their implementation often entails significant hardware hurdles like the need for long-range couplers. We leverage the flexibility of a trapped-ion quantum computer to demonstrate nine quantum error-correcting codes with starkly different qubit connectivity requirements on a single device without any hardware reconfiguration. These experiments span three families of quantum error-correcting codes: qLDPC codes, topological codes, and concatenated codes. With a qLDPC code encoding 4 logical qubits into 18 physical qubits, we achieve a logical error rate up to $9\times$ better than a previous demonstration of a similar code on superconducting solid-state qubits. Moreover, our implementation exhibits breakeven performance, with some instances achieving qubit lifetimes comparable to or slightly exceeding that of our trapped-ion qubits. We use a novel implementation of the optical-metastable-ground (OMG) architecture for addressable mid-circuit measurement and reset, which enables us to perform these experiments without any ion transport or dedicated coolant ions, requirements that typically consume a large fraction of the runtime or ion count of trapped-ion quantum computers.

2026-06-04T17:49:27Z Edwin Tham Michael L. Goldman Shantanu Debnath Ashay N. Patel Jyothi Saraladevi Jason Nguyen Erik Nielsen Neal Pisenti Kenneth Wright John Gamble Nicolas Delfosse http://arxiv.org/abs/2606.06367v1 2026-06-04T16:36:11Z

In this paper, we study the structure of double cyclic codes of length $(γ,δ)$ over $\mathbb F_q+u\mathbb F_q, u^2=0$. We also study the dual of double cyclic code of length $(γ,δ)$ and give a minimal spanning set of double cyclic codes. Moreover, we study the necessary and sufficient conditions for a double cyclic code to be reversible and reversible-complement double cyclic code and with the help of these codes, we constructed DNA codes over $\mathbb F_4+u\mathbb F_4, u^2=0$. We also constructed some optimal codes to support our results.

2026-06-04T16:36:11Z Mohd Anwar Mohd Arif Raza Mohd Rashid Muzibur Rahman Mozumder http://arxiv.org/abs/2606.06307v1 2026-06-04T15:47:14Z

This paper develops a stochastic-geometry framework for high-altitude platform station (HAPs) networks in which platforms execute cyclic patrol trajectories anchored to designated service regions. We introduce two small-circle ring Cox process models on the spherical Earth. In the small-circle ring Poisson Cox process (SCR-PCP), platforms form one-dimensional Poisson point processes on localized patrol rings, whereas in the small-circle ring binomial Cox process (SCR-BCP), each ring contains a fixed number of uniformly distributed platforms. We establish the isotropy of both models and derive spatial statistics, including the distributions of the nearest-anchor, nearest-ring, and nearest-HAPs distances, together with the joint serving distance and serving ring angle distribution required for SCR-BCP analysis. Building on these results, we derive coverage probability expressions under nearest-HAPs association by decomposing aggregate interference into same-ring and other-ring components and characterizing their conditional Laplace transforms. To account for the flight dynamics of patrol-based HAPs, we integrate a steady circular flight propulsion model with the communication analysis and introduce a coverage energy efficiency (CEE) metric. This yields an analytical condition for the energy-optimal patrol radius that balances coverage performance against the propulsion cost of circular flight. Numerical results reveal fundamental differences between intensity-driven (SCR-PCP) and finite-fleet (SCR-BCP) deployments and demonstrate that patrol geometry, platform density, and cruising velocity should be jointly optimized to achieve energy-efficient HAPs operation.

2026-06-04T15:47:14Z Mohammad Taha Shah Mohamed-Slim Alouini http://arxiv.org/abs/2606.06273v1 2026-06-04T15:14:31Z

Lossless pixel-level image transmission is a fundamental regime beyond semantic communications, because exact recovery requires both accurate symbol probability modeling and reliable delivery over noisy channels. This paper proposes DDM-SSCC, a discrete-diffusion-model-based separate source-channel coding framework for lossless image transmission. Different from raster-order autoregressive coding, the proposed source codec adapts a diffusion language model to pixel-token restoration and performs synchronized reverse arithmetic coding under bidirectional attention, allowing multiple masked tokens to be coded within one reverse denoising step. This progressive restoration process also yields a more favorable source representation for noisy transmission, since newly restored tokens can serve as bidirectional context in subsequent denoising steps. To bridge the gap between generation-oriented masked denoising and lossless arithmetic coding, we further introduce a Halton-guided denoising order, a mask-ratio-aware cosine schedule, and a lightweight temperature calibration module. These designs respectively improve spatial coverage, adapt the denoising pace to context reliability, and calibrate the probability tables used by arithmetic coding. Experiments on CIFAR10, DIV2K-LR-X4, and Kodak over additive white Gaussian noise and Rayleigh fading channels show that DDM-SSCC achieves better exact-recovery performance than representative lossless and semantic communication baselines, while ablation studies verify the effectiveness of the proposed denoising order, schedule, and calibration modules.

2026-06-04T15:14:31Z Tianqi Ren Rongpeng Li Xianfu Chen Yingyu Li Zhifeng Zhao http://arxiv.org/abs/2507.06232v4 2026-06-04T15:02:02Z

In this work, we prove a one-shot random coding bound for classical-quantum channel coding, a problem conjectured by Burnashev and Holevo in 1998. By choosing the optimal input distribution, the bound implies the optimal error exponent (i.e., the reliability function) of classical-quantum channels for rates above the critical rate, even in infinite-dimensional Hilbert spaces. Our result extends to various quantum packing-type problems, including classical communication over any fully quantum channel with or without entanglement-assistance, constant composition codes, and classical data compression with quantum side information via fixed-length or variable-length coding. Our technical ingredient is to establish an operator layer cake theorem - the directional derivative of an operator logarithm admits an integral representation of certain projections. This shows that a kind of pretty-good measurement is equivalent to a randomized Holevo-Helstrom measurement, which provides an operational explanation of why the pretty-good measurement is pretty good.

2025-07-08T17:59:58Z v4: some proofs simplified; v3: new added §3.1: Extension to Infinite Dimensions; v2: tables and references added Hao-Chung Cheng Po-Chieh Liu http://arxiv.org/abs/2606.06246v1 2026-06-04T14:49:12Z

We consider Bayesian discrimination among multiple quantum states and establish a dimension-free one-shot upper bound on the minimum probability of error in terms of the sum of pairwise errors. This resolves a conjecture of Audenaert and Mosonyi [J. Math. Phys. 55 (2014)] and improves the multiple quantum Chernoff bound of Li [Ann. Statist. 44 (2016)] by removing its dimension-dependent prefactor. In the asymptotic many-copy regime, our bound proves the achievability of the multiple quantum Chernoff distance for arbitrary separable Hilbert spaces, thereby settling the previously open infinite-dimensional case, and further yields constant-factor sharp asymptotics for the optimal error probability. In binary quantum hypothesis testing, we prove that the minimum error probability is characterized, up to universal constants, by a trace harmonic-mean quantity. Consequently, the optimal binary quantum error probability is within a factor of two of the optimal classical error probability for the associated Nussbaum-Szkoła distributions, complementing the lower bound of Nussbaum and Szkoła [Ann. Statist. 37 (2009)].

2026-06-04T14:49:12Z arXiv:1401.7658, arXiv:1508.06624, arXiv:quant-ph/0607216. We are sorry if the accented character "ł" does not display properly through arXiv's TeX encoding of Metadata Hao-Chung Cheng Po-Chieh Liu http://arxiv.org/abs/2606.06107v1 2026-06-04T12:53:46Z

Quantum key distribution (QKD) is increasingly considered for deployment in realistic communication networks, where long distances, heterogeneous fiber infrastructure, and coexistence with classical traffic present substantial challenges. Here, we demonstrate trusted-node QKD between Linköping University and the Stockholm hub of the Swedish national quantum communication infrastructure over 270 km of deployed single-mode fiber, extended by a 33 km multi-core fiber (MCF) segment emulating a metropolitan access link, for a total distance of 303 km. The two sub-links use commercial QKD systems whose receivers are interfaced with external superconducting nanowire single-photon detectors, enabling operation at losses beyond those supported by standard internal gated-mode detectors. We operate the link while actively switching the QKD channel between two MCF cores, with co-propagating Ethernet traffic and injected broadband optical noise in the other cores. The results demonstrate the integration of commercial QKD into demanding, dynamically reconfigurable fiber infrastructure relevant to future hybrid quantum-classical networks. Finally, using the generated secret keys, we illustrate how limited and time-varying QKD throughput affects one-time-pad-protected image transmission: image fidelity depends strongly on the available QKD-generated key budget and the choice of compression algorithm, highlighting application-level challenges for QKD-based encryption in realistic scenarios.

2026-06-04T12:53:46Z 11 pages, 4 figures Martin Clason Joakim Argillander Didrik Bergström Daniel Spegel-Lexne Giulio Foletto Ashraf El Hassan Mohamed Bourennane Onur Günlü Katia Gallo Rui Lin Guilherme B. Xavier http://arxiv.org/abs/2503.10133v2 2026-06-04T12:39:38Z

This paper deals with shape irregularity issues in discrete topology optimization algorithms whereby the design is created using the automated distribution of material in the design region. Graph theory is employed to derive appropriate regularity measures for any discrete optimization algorithm. Shape regularity is quantified by scalar figures ready to evaluate design choices in the form of Pareto-frontiers. Developed metrics deal with information concerning material usage, problematic distribution, and features that complicate manufacturing. The theory is verified by several examples demonstrating the treatment of isolated islands of materials, point connections between material segments, or homogeneity.

2025-03-13T07:47:30Z Vojtech Neuman Miloslav Capek Lukas Jelinek http://arxiv.org/abs/2606.09895v1 2026-06-04T11:55:18Z

We identify a previously unrecognised structure in the finite-temperature geometry of Blahut--Arimoto (BA) rate-distortion optimisation. The starting point is an exact partition identity. For every source density (p) and every inverse temperature $β>0$, the BA partition function $Z(x)=\int q^*(y)e^{-β|x-y|^2}dy$ satisfies $$ Z(x)=\left(\fracπβ\right)^{d/2}p(x). $$ This identity, obtained from the BA fixed-point equation, implies that the BA effective score $g_β=-\nabla\log Z$ coincides exactly with the classical Fisher score $s=-\nabla\log p$ for all temperatures. Moreover, if $v=-\nabla\log q^*$ denotes the translation mode generated by the quadratic-distortion symmetry, then its BA projection satisfies $\mathcal P v=-s$. These observations lead to the central identity $$ J(p)=\mathcal R(v):=\langle v,\mathcal G v\rangle_{L^2(q^*)}, $$ where $\mathcal G$ is the BA relaxation kernel. Thus Fisher information is exactly the Rayleigh quotient of the translation mode and is therefore a temperature-invariant spectral quantity in the BA framework. This yields a geometric interpretation of the Fisher information inequality: the inequality $$ J(X+Y)^{-1}\ge J(X)^{-1}+J(Y)^{-1} $$ becomes the parallel-combination law of a Rayleigh quotient under convolution. The entropy power inequality then follows through the standard heat-flow argument. The contribution is not a new proof of the entropy power inequality, but the identification of a hidden geometric structure: Fisher information as the spectral charge of the translation mode in BA rate-distortion geometry, with the entropy power inequality emerging as a consequence of this temperature-invariant fact.

2026-06-04T11:55:18Z This is a noval explanation to information inequalities according to my paper "Relaxation kernel, spectral dissipation, and global convergence of {B}lahut--{A}rimoto dynamics" at arXiv:2604.25106 Qiao Wang