arXiv Science⌕ Search

subject

cs.IT

cs.IT: explore 333 source-linked works published from 2015 to 2026, with original documents and citations.

This collection is a preview while coverage and quality are evaluated.

Search within this collection

Coverage and selection

Includes records with this source-supplied label or an explicit phrase match in their metadata. Matches indicate a mention, not proof that a paper uses a method or tests a material. Source versions are consolidated by DOI.

Sources: arxiv. Collection updated 2026-09-15. Counts describe this index, not the complete source archives.

arXiv2025

On the Optimality of Gaussian Code-books for Signaling over a Two-Users Weak Gaussian Interference Channel

This article establishes that the capacity region of the two-user weak Gaussian interference channel can be achieved using single-letter Gaussian codebooks. The converse is established by showing that successive decoding can be employed for at least one of the receivers. It is further shown that the upper concave envelope of the achievable rate region can be attained using at most two time-sharing phases. In one phase, both users transmit simultaneously, while in the second phase, when present, only one user is active. Furthermore, the boundary of the capacity region can be traversed continuously through incremental reallocations of power between the two messages transmitted by each user. Finally, it is proven that the Han-Kobayashi achievable rate region with single-letter Gaussian codebooks attains the optimal boundary of the capacity region.

cs.IT↗
arXiv2025

Condense to Conduct and Conduct to Condense

In this paper, we present the first explicit examples of low-conductance permutations. The notion of conductance of permutations was introduced by Dodis et al. in "Indifferentiability of Confusion-Diffusion Networks", where the search for low-conductance permutations was first initiated and motivated. As part of our contribution, we not only provide these examples, but also offer a general characterization of the problem: we show that low-conductance permutations are equivalent to permutations possessing the information-theoretic properties of Multi-Source-Somewhere-Condensers, a specific variant of somewhere condensers.

cs.CR↗
arXiv2025

Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control

We introduce mathematical tools and fixed point algorithms for optimal statistical max-min power control in cellular and cell-less massive MIMO systems. Unlike previous studies that rely on the use-and-then-forget (UatF) lower bound on Shannon achievable (ergodic) rates, our proposed framework can deal with alternative bounds that explicitly consider perfect or imperfect channel state information (CSI) at the decoder. In doing so, we address limitations of UatF-based power control algorithms, which inherit the shortcomings of the UatF bound. For example, the UatF bound can be overly conservative: in extreme cases, under fully statistical (nonadaptive) beamforming in zero-mean channels, the UatF bound produces trivial (zero) rate bounds. It also lacks scale invariance: a realization-dependent random scaling of the beamformers can change the bound drastically. In contrast, our framework is compatible with information-theoretic bounds that do not suffer from the above drawbacks. We illustrate the framework by solving a max-min power control problem considering a standard bound that exploits instantaneous CSI at the decoder.

eess.SP↗
arXiv2026

Delay-Doppler Domain Channel Estimation: What if Sparsity is Unknown?

Sparsity in the delay-Doppler (DD) domain enables efficient channel estimation, but the realization-wise sparsity level is rarely known in advance, and it fluctuates. What if we could estimate the channel without ever knowing how many delays or Dopplers are active? This paper answers that question. We propose a sparsity-agnostic structured estimator that requires no prior knowledge of delay or Doppler sparsity budgets. The key idea is to exploit the Cartesian-product structure of DD support (active delays share a common Doppler set) and to select the support dimensions directly from the data via the Bayesian information criterion. We instantiate the framework on an affine frequency division multiplexing system, where the observation model naturally admits an on-grid DD representation. Numerical results demonstrate that it recovers the exact support with high probability and achieves near-oracle channel reconstruction accuracy, consistently outperforming fixed-budget baselines and sparse Bayesian learning. The approach is waveform-agnostic and offers a practical, adaptive solution for DD-domain channel estimation under unknown and time-varying sparsity.

cs.IT↗
arXiv2026

Information Rate Decomposition for Noisy Nanopore Channels with Geometric Duplication

This paper studies information rates of noisy duplication channels with memory, motivated by nanopore DNA sequencing. In nanopore sequencing, the measured signal is affected by both inter-symbol interference (ISI), caused by multiple DNA bases residing in the pore, and random sample duplications, where variable translocation speed causes each base to generate a random number of samples. These two effects make direct theoretical analysis difficult. To address this, we derive a new decomposition of the information rate into two interpretable terms: one capturing the channel memory through an auxiliary ISI channel, and another capturing the uncertainty in the segment boundaries caused by random duplications. This decomposition separates the dominant channel distortions and replaces the direct analysis of the full channel with two more readily tractable components. We then study the second term through a soft alignment functional closely related to Soft-DTW, which yields a strong asymptotic equipartition property result and an alternative proof of the Markov-constrained coding theorem. Finally, we develop a lower bound on the information rate that depends on the distribution of jump distances between adjacent nanopore levels. This bound gives a simple geometric explanation of channel synchronisability and provides a tractable framework for computing achievable rates of Oxford nanopore sequencers.

cs.IT↗
arXiv2026

Resolving a conjecture on quadratic APN functions and a new quadratic $(n,n)$-function associated to crooked functions

We say an $(n,n)$-function $F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ is a crooked function if for any nonzero $a \in \mathbb{F}_2^n$, the image of $D_aF(x)=F(x)+F(x+a)$ is an affine hyperplane. The only known examples of crooked functions are all quadratic almost perfect nonlinear (APN), or equivalently, for every known crooked function, $D_aF$ is affine for all $a \in \mathbb{F}_2^n$. The ortho-derivative $\pi_F \colon\mathbb{F}_2^n \to \mathbb{F}_2^n$ of a crooked function $F$ is the function such that $\pi_F(0)=0$, and for any nonzero $a$, the set $\{0,\pi_F(a)\}^\perp$ is the underlying vector space of $\mathrm{Im}(D_aF)$. We prove that for $n \geq 4$ and a crooked function $F$, if $k$ is a non-negative integer such that $F$ has $2^k-1$ quadratic component functions, $\pi_F$ has at least $2^n-2^{n-k}$ component functions of algebraic degree $n-2$. In particular, we resolve Gorodilova's conjecture that every component function of $\pi_F$ has algebraic degree $n-2$ when $F$ is quadratic APN. As a second main result, for $n \geq 4$, we associate to a crooked function $F$ a quadratic function $\varepsilon_F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ that satisfies a strong geometric-combinatorial condition regarding the sums of $F$ over $2$-dimensional linear subspaces. As a corollary to both of our main results, we prove that for any even $n \geq 4$, any quadratic APN $(n,n)$-function has at least $n$ semi-bent components. Furthermore, we obtain a congruence result on a problem on $m$-sequences introduced by Johansen, Helleseth, and Kholosha, and we determine the exact algebraic degrees of some Boolean functions associated to the bent and near-bent components of particular classes of plateaued vectorial functions.

math.CO↗
arXiv2026

Sharp Minimax Regret for Infinite-Memory Logistic Prediction

We determine the minimax cumulative log-loss regret of a finite-alphabet, exogenously driven source with genuinely infinite input memory: independent Rademacher inputs $(U_t)$ are observed sequentially and the next binary mark has logit $\sum_{j\ge1}\theta_jU_{t+1-j}$, the unknown coefficients obeying a summable envelope $|\theta_j|\le r_j$, $\sum_jr_j\le B$. At horizon $T$, lag $j$ can move the logit by at most $r_j$ and is exercised in only $n_{T,j}=(T-j+1)_+$ rounds, and the two limitations combine into the sum $\Gamma_T(r)=\sum_{j\le T}\log(1+n_{T,j}r_j^{2})$. One coordinate-localised Bayesian mixture achieves $R_T(r)\le C\Gamma_T(r)$ for \emph{every} summable envelope with $C$ universal. Our main result is a matching nonasymptotic converse for the canonical exponential and polynomial envelopes; its new ingredients are a modular finite-sample information bound for logistic experiments with an exogenous random design, and a conditioning estimate for the overlapping Toeplitz lag matrix obtained by exhibiting each off-diagonal Gram sum as a sum of independent Rademacher variables indexed by the edges of a forest, needing neither local asymptotic normality nor any spectral theorem for random Toeplitz matrices. So $\Gamma_T(r)$ is the minimax regret scale here, giving $\Theta(\alpha^{-1}\log^{2}T)$ for $r_j=Ae^{-\alpha j}$ and $\Theta(T^{1/(2s)})$ for $r_j=Aj^{-s}$, $s>1$ --- the latter without the extra $(\log T)^{1-1/(2s)}$ factor any window-truncation analysis pays. We also show memory decay cannot determine regret, and that a profile-scaled online Newton predictor attains $O_B(\Gamma_T(r))$ in polynomial time per round.

cs.IT↗
arXiv2026

Capacity Achieving Torn Paper Codes

In the torn paper channel, a codeword is cut at random locations, and the resulting error-free fragments are delivered to the decoder as an unordered multiset. Although the capacity of this channel can be achieved using random code, decoding such codes generally requires exponential time. The interleaved-pilot construction of Shomorony and Vahid embeds a De Bruijn sequence among the symbols of a shifted erasure code and aligns only fragments that are sufficiently long through global statistical uniqueness. A subsequent local-alignment scheme by Liu and Raviv employs run-length-limited constraints and exclusive all-zero markers to identify pilot positions from local structure, substantially reducing the minimum fragment length that can be aligned. We further improve the method of Liu and Raviv by replacing its fixed pilot sequence with a multilevel successive local alignment and pilot-recycling procedure. In Liu and Raviv, the pilot sequence is chosen once and must simultaneously balance the length of the pilot sequence against the ability to align short fragments. Our construction removes this limitation by reusing pilot sequences across successive decoding levels. A pilot sequence with an independent random linear code is first used to align and decode the longest fragments. The information recovered at this stage is then recycled as a larger pilot sequence for the next stage.This process is repeated over multiple levels, so that progressively shorter fragments are recovered while the length of the pilot sequence remains small. Our construction depends on choosing a series of random linear codes, and we show that for any $\varepsilon>0$, there exists a choice of such codes which attains rate of at least $\varepsilon$ below the capacity, with high probability as the block length goes to infinity. Therefore, our construction achieves the capacity of the torn-paper channel.

cs.IT↗
arXiv2026

Synchronization Strings over the Optimal Alphabet

Synchronization strings provide deterministic position labels for recovering coordinates after insertions and deletions. Haeupler and Shahrasbi introduced these objects, and subsequent work proved that four symbols suffice for some fixed parameter epsilon < 1, whereas two symbols cannot support arbitrarily long synchronization strings. We resolve the remaining ternary case: every length admits a ternary 2001/2002-synchronization string. Thus three is the exact minimum constant alphabet size. A computer-assisted refinement based on a larger 54-uniform family yields ternary epsilon-synchronization strings for every epsilon > 215/216. The previous four-symbol construction uses a ternary square-free backbone to exclude short repetitions and a fourth symbol to carry long-range synchronization marks. Our main technical contribution is a local-entropy transfer theorem: every square-free block-local source with a positive interval conditional min-entropy rate supports synchronization strings with a fixed gap. We instantiate this theorem using occurrence-wise branching in a Brinkhuis family. Every outcome remains ternary and square-free, while every long interval retains linear conditional min-entropy after all choices outside it are exposed. A deletion-ball estimate converts this entropy into an exponentially small probability of a near-complete common subsequence between adjacent intervals, and an asymmetric Lovasz Local Lemma enforces all interval constraints simultaneously. The same framework also yields exponentially many valid words, synchronization circles, and synchronization within a class of extremal square-free words. Adding constraints on distant intervals gives a Las Vegas construction in expected O(n^2 log^3(n+2)) time.

cs.IT↗
arXiv2026

Minimum Schubert Codewords and Second-Minimum Grassmann Codewords

In this paper, we give a classification of the minimum weight codewords of Schubert codes $C_\alpha(\ell, m)$ by settling the conjecture proposed by Ghorpade and Singh in 2018, for all values of $q$ and all $\alpha$. We use this classification to prove that a codeword of the Grassmann code $C(\ell, m)$ has the second minimum weight if and only if it is indexed by an element of $\bigwedge^{m-\ell}V$ that can be written as the product of a decomposable $(m-\ell-2)$-vector and an alternating $2$-vector of rank $4$. Finally, we give an enumeration of the second minimum weight codewords of the Grassmann code.

cs.IT↗
arXiv2026

Equivalence of Fixed-Rank and Rank-One Even-Order Symmetric Tensor Factorization

In the recent work of Barbier, Ko, and the second present author on sublinear-rank symmetric matrix factorization [Math. Stat. Learn. 9 (2026), 1-68], a key result is that, in the Bayes-optimal setting, the large-size limit of the free entropy of the finite-rank spiked Wigner model is the same as in the rank-one case when the signal has centered i.i.d. entries. In this paper, we show that this rank-one equivalence result extends to the case of finite-rank, even-order, symmetric tensor factorization. Moreover, we give a natural reformulation of a hypothesis that was stated in the aforementioned work to be necessary for this result. As in the matrix case, we use information-theoretic identities and replica symmetry to reduce a known multi-dimensional variational formula for the limiting free entropy to its one-dimensional analog. The novelty stems from the fact that said formula involves a replica symmetric potential containing Hadamard (entrywise) powers, rather than squares, of the matrix-valued variational parameter, so the eigenvalue-based approach used in the matrix case must be adjusted.

cs.IT↗
arXiv2026

Spatial-Code-Domain Grouped Index Modulation: Fluid-Antenna-Assisted System Design and BER Performance Analysis

Fluid antenna systems (FASs) provide reconfigurable spatial resources within compact apertures. In this paper, we introduce code-domain grouped index modulation (CGIM) and its spatial-code-domain extension, termed SCGIM, for FA-assisted transceivers. CGIM partitions the available orthogonal spreading codes into multiple subsets and jointly maps information onto their in-phase and quadrature indices and constellation symbols. In an Rx-FAS-assisted single-input multiple-output (SIMO) link, group-wise despreading separates the orthogonal code groups for parallel detection, while receive-port selection provides spatial diversity. SCGIM further associates interleaved Tx-FA port subsets with the code subsets, with the Tx-FAS conveying spatial-index information and the Rx-FAS providing selection diversity in a multiple-input multiple-output (MIMO) link. For SCGIM, we develop maximum-likelihood (ML), staged greedy (GD), and cross-domain index message-passing (CD-IMPD) detectors. CD-IMPD exchanges soft information over a cycle-free factor graph to account for the coupling between the spatial and code indices, requiring only one inward and one outward message pass. For CGIM, the BER is derived from the joint decision regions of the despread-domain observations and averaged over the Rx-FAS selected-gain distribution under Rayleigh, Nakagami-m, and additive white Gaussian noise channels. For SCGIM, an average-BER approximation is derived from a full-pair union bound using the selected-gain density ratio and exponentially tilted quadratic-form Laplace transforms. Simulation results validate the BER analysis and show that the proposed schemes achieve lower BER and higher throughput than the considered IM schemes, while CD-IMPD achieves near-ML BER performance with lower detection complexity.

cs.IT↗
arXiv2026

Conditional Fisher-Information Central Limit Theorems under Log-Concavity with Information-Theoretic Consequences

We establish conditional central limit theorems in Fisher information under log-concavity in every fixed dimension. For conditionally centered normalized sums, after whitening by the averaged conditional covariance, the averaged conditional Fisher information converges to the dimension if and only if it is finite at one convolution level. The scalar criterion follows as the one-dimensional case; we also provide an independent scalar proof based on a second-order continuity theorem for Fisher production on Gaussian-smoothed, tail-controlled classes. For the original sums, the averaged Fisher information matrix converges in operator norm to the inverse averaged conditional covariance. Consequently, the conditional relative Fisher information with respect to the limiting Gaussian law vanishes, and the Gaussian logarithmic Sobolev inequality yields convergence in conditional relative entropy and conditional entropy. We give two operational consequences. For any fixed finite-constellation low-power input, the first-order conditional mutual-information slope converges to the Gaussian-noise benchmark. For Gaussian signaling at any fixed signal covariance, the mutual-information gap from that benchmark is bounded by the conditional relative Fisher deficit and hence vanishes asymptotically.

cs.IT↗
arXiv2026

Cyclic Codes of Length 7_p^s over F_p^m + uF_p^m : Characterization, Duals, and Applications to Quantum and LCD Codes

Let $R_2 = \mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$ ($u^2 = 0$), where $p$ is an odd prime and $m, s \in \mathbb{N}$. For $p \equiv 3, 5 \pmod 7$ with $\gcd(m, 6) = 1$, the cyclotomic polynomial $\Phi_7(x)$ is irreducible over $\mathbb{F}_{p^m}$. This yields a direct sum decomposition $C = C_1 \oplus C_2$ for any cyclic code $C$ of length $7p^s$ over $R_2$, where $C_1$ has length $p^s$ and $C_2$ is a $7$-cyclotomic code of length $6p^s$. We classify $7$-cyclotomic codes into four disjoint generator-based types and calculate exact cardinalities using residue and torsion subcodes. Furthermore, explicit generators for the Euclidean dual codes $C^\perp$ are determined. As operational applications of these classified codes, we construct new families of quantum stabilizer codes via the CSS framework and establish parameter criteria for linear codes with complementary duals (LCD codes).

cs.IT↗
arXiv2026

A Fundamental Limit in Decentralized Decision-Making

In decentralized decision-making, several agents connected according to a network graph aim at solving a classification problem by collecting streaming observations. Due to decentralization, they run an iterative algorithm where, at each iteration, they can only exchange information locally with their neighbors. While decentralized estimation solutions have been shown to match the performance of optimal centralized systems, we show here that surprisingly this conclusion does not hold for decentralized decision-making. Specifically, we prove that the error probability for the best decentralized decision strategy exhibits an irreducible loss with respect to the optimal centralized classifier. This result establishes a fundamental limit for the performance of any decentralized decision strategy. We obtain an analytical relation showing that this limit is related to the interplay between decentralization and classification. The first aspect appears through the distances between the nodes in the graph, while the second aspect plays through the moment generating functions of the likelihood ratios that describe the decision problem. By applying the derived closed-form relation to different network topologies and inference problems, we observe some interesting and perhaps unexpected behavior emerging. In particular, we characterize the scaling law (with the network size) for the loss over popular network topologies, showing that the error probabilities might differ by orders of magnitude; and we examine how performance is affected by the relative distance between informative and uninformative agents over the graph.

cs.IT↗
arXiv2026

Resolving the Discontinuity of Continuous-Time AFDM Waveforms

Continuous-time affine frequency division multiplexing (AFDM) waveforms, constructed via frequency wrapping and phase correction, are known to be sample-wise equivalent to the widely adopted discrete AFDM framework. In this paper, we uncover a fundamental and previously overlooked flaw in this construction: its complex envelope is inherently discontinuous for generic chirp parameters. We show that these discontinuities are the direct cause of the high out-of-band emission (OOBE). To resolve this issue, we propose a fundamentally different continuous-time waveform, termed stepped frequency division multiplexing (SFDM). Unlike conventional approaches that allow continuous frequency variation, SFDM freezes the instantaneous frequency at the midpoint of the underlying chirp trajectory within each Nyquist sampling interval. This design yields a complex envelope that is strictly continuous over the entire symbol duration while preserving exact sample-wise equivalence with discrete AFDM. A unified spectral analysis reveals that the superior OOBE performance of SFDM stems from the absence of internal jump discontinuities, which otherwise dominate the far-out spectral roll-off. Numerical results confirm that SFDM consistently achieves significantly lower OOBE across a wide range of chirp rates.

eess.SP↗
arXiv2026

Resource-Constrained Semantic-Aware Remote Estimation with Overlapping Sensor Coverage

We study semantic-aware remote estimation of multiple finite-state Markov sources observed by K sensors with overlapping coverage. The sensors share a time-division multiple-access uplink and differ in transmission reliability, delivery delay, and transmission budget. In each slot, the scheduler jointly selects a source and one of its monitoring sensors, or remains idle, to minimize the long-run average cost of actuation error subject to global and per-sensor transmission-frequency constraints. We formulate this problem as a finite average-cost constrained Markov decision process. We show that the transmission resource functions have rank at most K, although the global constraint may still restrict the feasible region. Consequently, the Lagrangian depends only on K effective transmission costs, and an optimal constrained solution can be represented using at most K+1 deterministic policy-recurrent-class components. We further characterize the piecewise-affine concave Lagrangian value function and derive projected dual subgradient ascent over an explicitly bounded multiplier set. Numerical results illustrate the value-function structure, the need for policy randomization in a representative instance, and the interaction between global and per-sensor transmission budgets.

cs.IT↗
Compare source metadata on this page
WorkPublishedSource identifierSource
On the Optimality of Gaussian Code-books for Signaling over a Two-Users Weak Gaussian Interference Channel2025-01-242501.14941arxiv
Key exchange protocol based on circulant matrix action over congruence-simple semiring2025-05-012505.00664arxiv
Condense to Conduct and Conduct to Condense2025-08-292508.21602arxiv
Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control2025-10-132510.11582arxiv
Delay-Doppler Domain Channel Estimation: What if Sparsity is Unknown?2026-04-292605.00049arxiv
Information Rate Decomposition for Noisy Nanopore Channels with Geometric Duplication2026-06-052606.06808arxiv
Resolving a conjecture on quadratic APN functions and a new quadratic $(n,n)$-function associated to crooked functions2026-08-242608.23888arxiv
Sharp Minimax Regret for Infinite-Memory Logistic Prediction2026-08-272608.26515arxiv
Capacity Achieving Torn Paper Codes2026-09-012609.00522arxiv
Synchronization Strings over the Optimal Alphabet2026-09-032609.04122arxiv
Minimum Schubert Codewords and Second-Minimum Grassmann Codewords2026-09-042609.04916arxiv
Equivalence of Fixed-Rank and Rank-One Even-Order Symmetric Tensor Factorization2026-09-072609.06971arxiv
Spatial-Code-Domain Grouped Index Modulation: Fluid-Antenna-Assisted System Design and BER Performance Analysis2026-09-072609.07087arxiv
Conditional Fisher-Information Central Limit Theorems under Log-Concavity with Information-Theoretic Consequences2026-09-072609.07150arxiv
Cyclic Codes of Length 7_p^s over F_p^m + uF_p^m : Characterization, Duals, and Applications to Quantum and LCD Codes2026-09-072609.07181arxiv
A Fundamental Limit in Decentralized Decision-Making2026-09-072609.07479arxiv
Resolving the Discontinuity of Continuous-Time AFDM Waveforms2026-09-072609.07480arxiv
Resource-Constrained Semantic-Aware Remote Estimation with Overlapping Sensor Coverage2026-09-072609.07563arxiv

These are bibliographic comparisons, not experimental rankings. Follow the original document for methods and conditions.