Searcharxiv⌕ Search

arXiv · 2610.09421

Physics-Aware Power Optimization for Rydberg Quantum Arrays via Barankin Bound Minimization

Abstract

Rydberg-atom quantum uniform linear arrays (RAQ-ULAs) offer a promising sensing architecture for direction-of-arrival (DOA) estimation in terahertz (THz) beam alignment. Existing studies often model the quantum receiver as a macroscopic linear block and rely on the Cramer-Rao bound (CRB) for array evaluation or power allocation. However, as a local variance bound, the CRB cannot capture threshold breakdown caused by spatial ambiguities in low-signal-to-noise-ratio (SNR) regimes. This paper proposes a physics-aware power optimization framework for RAQ-ULAs based on stochastic Barankin bound minimization. We derive a closed-form stochastic multipoint Barankin bound (BRB) matrix under a low-SNR integrability condition and introduce an arcsine-prior calibration to characterize bounded-domain error saturation. By incorporating a Lindblad-guided electromagnetically induced transparency (EIT) readout model, we couple the ambiguity-sensitive BRB with photon shot noise, power broadening, and laser Rabi frequencies. A CRB-optimized analytical baseline is further derived to expose the limitation of local-SNR-based allocation. To solve the resulting nonconvex problem, we develop a backtracking majorization-minimization (MM) algorithm with a Lipschitz-based quadratic surrogate. The algorithm ensures monotonic decrease and converges to a feasible stationary point. Simulations show that the proposed framework predicts threshold breakdown more accurately than the CRB and enlarges the reliable operating region under severe THz attenuation.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yixiao Li, Jiayi Zhang, Bokai Xu, Yin Zhang. 2026-10-07. Physics-Aware Power Optimization for Rydberg Quantum Arrays via Barankin Bound Minimization. https://arxiv.org/abs/2610.09421

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

KEEP EXPLORING

Related papers

New Quaternary codes with small Plotkin-defects from two-generator simplicial complexes

A recent characterization of all lengths of Plotkin-optimal quaternary (that is, over the ring $\mathbb{Z}_4$) codes of arbitrary type \cite{tang2025plotkin} also pins down the parameters for which no Plotkin-optimal code exists. In this article, we determine the best achievable parameters in several of these cases, obtaining codes whose minimum Lee distance is one less than the Plotkin bound, namely the codes with Plotkin-defect 1. To the best of our knowledge, this is the first attempt to study quaternary codes with Plotkin-defects. Precisely, we construct infinite families of quaternary $\mathcal{C}_{D}$-codes, where the defining set $D$ is derived utilizing a two-generator simplicial complex, and determine their Lee weight distributions. As a result, we find two quaternary linear code families with Plotkin-defect 1 and report at least 23 new or improved parameters having small (upto 4) Plotkin-defects, including 13 projective and 7 optimal parameters. We additionally report 4 quaternary linear codes with best-known parameters that are also projective. Further, their linear Gray images give two infinite families of distance-optimal, one infinite family of at least almost dimension-optimal binary linear codes and five infinite families of minimal binary linear codes.

cs.IT↗

Distributed Hypothesis Testing Against Dependence

We study distributed hypothesis testing and establish the exact error exponent in single-letter form for new testing problems. In distributed hypothesis testing, a receiver decides between $\mathcal{H}_0:P_{XY}$ and $\mathcal{H}_1:Q_{XY}$ based on $Y^n$ and a rate-limited description of $X^n$. So far, such single-letter forms are known only for testing against independence, studied by Ahlswede and Csiszár, and testing against conditional independence, studied by Rahman and Wagner. In this paper, we study testing against dependence, where $P_{XY}=P_XP_Y$, and show that its error exponent is given by Han's exponent, which is established by single-letterizing a multi-letter version of Han's exponent. We also disprove a previous conjecture of Han claiming that the error exponent is given by the lautum information, as we show that Han's exponent can strictly exceed the latter. We then consider the Cartesian product of testing against dependence and testing against independence, and derive a single-letter characterization of its error exponent. We next study testing against conditional dependence, which is the dependence-testing counterpart of the setting studied by Rahman and Wagner. We derive a single-letter converse bound for the error exponent by introducing and solving a related setting where the side information is also available to the transmitter. We show that our converse bound is tight in some cases by using a conditional-coding version of the quantization scheme. Finally, we extend our converse method for testing against dependence to the general setting, and recover a recently established single-letter converse bound.

cs.IT↗

Language Modeling is Monotone Compression

A long-standing hypothesis in artificial intelligence and neuroscience posits that intelligence is closely related to compression: the ability to compress information efficiently intuitively reflects capacities associated with intelligence and learning. Indeed, recent experimental works verify this intuition by showing connections between the capabilities of large language models (LLMs) and their ability as compressors: for instance, Deletang et al. (ICLR'24) demonstrate that LLMs can be used as powerful compressors, and Huang et al. (COLM'24) show that the compression ability of LLMs is highly correlated with their performance on benchmarks for knowledge and reasoning. In this work, we initiate a theoretical study of this connection. Our main result is that LLMs (formally modeled as next-token predictors) are equivalent to monotone (a.k.a. order-preserving) compression algorithms---namely, compression algorithms where the encoding process preserves the ordering of the inputs---in the sense that the one can be constructed from the other while preserving the same error up to an additive gap of 2. We next show that the monotonicity is required for this equivalence to hold if and only if cryptographic (infinitely-often) one-way functions exist. As a direct corollary, we get a cryptographic result of independent interest: the notion of next-bit pseudoentropy (a computational analogue of entropy) of a distribution is equivalent to monotone incompressibility of the distribution. (Previously, it was only known (Haitner et al., ITCS'23) that incompressibility implies next-bit pseudoentropy.)

cs.IT↗