subject

math.IT

math.IT: explore 240 source-linked works published from 2022 to 2026, with original documents and citations.

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

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.

arXiv2026

Minimum enclosing Bregman balls made easy

In this work, we revisit the problem of computing minimum enclosing Bregman balls (Bregman MEBs) of finite sets of parameters. First, we show that Bregman MEBs are equivalent to MEBs of corresponding weighted point sets with respect to the power distance. We then report an efficient Frank--Wolfe $(1+ε)$-approximation algorithm for computing power MEBs, for any $ε>0$. This power MEB approximation algorithm coincides with the Bregman MEB approximation algorithm of Nock and Nielsen (2005) when expressed in the dual gradient space. Finally, we show that the Bregman potential lifting transforms used to construct Bregman Voronoi diagrams can be reinterpreted as the classical paraboloid lifting transform applied to corresponding weighted point sets. In particular, Bregman MEB circumcenters lie on the farthest Bregman Voronoi diagrams or equivalently on the corresponding farthest power diagrams.

cs.IT↗

arXiv2026

Four-Entropic Matroids Are Quaternary

For an integer $q\ge2$, a matroid is $q$-entropic if its rank function, multiplied by $\log q$, is the joint-entropy function of random variables on a $q$-element alphabet. We prove that a matroid is $4$-entropic if and only if it is representable over $\F_4$. The corresponding statements for alphabet sizes two and three were known. The proof combines minor closure and the excluded-minor characterization of quaternary matroids with structural properties of quasigroups of order four. Thus arbitrary four-symbol partition representations yield no matroids beyond the quaternary ones. As an application, every access structure admitting an ideal perfect scheme with a uniform four-symbol secret and four-symbol active shares also admits an ideal $\F_4$-linear scheme.

math.CO↗

arXiv2026

A Joint Power-Privacy Control Framework for Decentralized Learning over Heterogeneous Wireless Multicasting Networks

In this paper, we propose a decentralized learning framework that incorporates both power control and privacy guarantees. Specifically, we enable a set of clients in a wireless multicast network to jointly train a common model while maintaining a prescribed per-iteration maximum privacy leakage level. The communication network is represented by a rowstochastic adjacency matrix, allowing us to capture asymmetric channel gains as well as heterogeneous maximum transmit power levels. Differential privacy is enforced through an explicit powersplitting strategy that allocates each node's limited maximum transmit power between model coefficients and injected Gaussian noise, thereby jointly controlling learning performance and privacy leakage. We further prove that the proposed algorithm achieves a cumulative regret bound of O(logT), whereTdenotes the time horizon. To evaluate the practical performance of our approach, we perform comprehensive experiments on the CIFAR-10 dataset under both IID and non-IID data distributions, considering different privacy levels, diverse numbers of clients, and various graph topologies. The results demonstrate strong performance across the considered settings and improved performance over existing methods, highlighting the effectiveness of the proposed algorithm under realistic wireless communication constraints.

cs.IT↗

arXiv2026

Iterative Semantic Decoding for Short Block Codes

This paper proposes an iteratively enhanced semantic receiver for natural-language text transmission over noisy wireless channels using multiple short block codes. At the transmitter, each sentence is permuted by a character-level interleaver, partitioned into segments, and independently encoded by short block codes. At the receiver, we develop an iterative decoder consisting of a channel decoder and a language model, where a de-interleaver between them disperses the burst decoding errors within each segment across the sentence. In each iteration, the language model denoises the channel decoding output, and the denoised characters verified to be consistent with the channel observations are fed back to the channel decoder as semantic information for the next iteration. Simulation results on the Stanford Natural Language Inference (SNLI) corpus over the additive white Gaussian noise (AWGN) channel show that the proposed receiver achieves approximately 1.5 dB block error rate (BLER) gain over conventional short-block coding, while maintaining BLEU and ROUGE scores above 99% at SNRs beyond 1.0 dB.

cs.IT↗

arXiv2026

Generalized Hankel/Toeplitz matrix for array signal processing

In this paper, we introduce generalized Hankel/Toeplitz matrices (GHM/GTM) and the associated generalized Vandermonde decomposition for nonuniform array signal processing and multi-dimensional super-resolution. The proposed framework was discovered from the study of resolution limit theory and extends the classical Hankel/Toeplitz structure by allowing substantially more flexible sampling geometries while preserving the underlying low-rank Vandermonde factorization. Through devising an optimal algorithm based on this GHM framework, we derive the state-of-the-art upper bound estimate for the computational resolution limit (CRL) of source-number detection in general $d$-dimensional super-resolution problems. For segmented sampling sets, whose geometry is closely related to sparse and distributed arrays, we establish deterministic lower bounds for the minimum singular values of the associated generalized Vandermonde matrices and derive corresponding stability and number-detection guarantees for multi-clump source configurations. To address the computational bottleneck of conventional multi-level Hankel constructions in high dimensions, we further introduce randomized GHM constructions whose matrix dimensions scale with the effective degrees of freedom rather than with the full tensor-product grid, together with deterministic recovery guarantees conditional on the realized Vandermonde factors. We also extend the framework to source localization by developing GHM-based MUSIC algorithms for nonuniform measurements, with stability characterized through the conditioning of the generalized Vandermonde factors. Numerical experiments on synthetic data demonstrate that the proposed GHM-based methods achieve competitive resolution and recovery accuracy while substantially reducing matrix size and computational cost, especially in high-dimensional settings.

eess.SP↗

arXiv2026

Finite-SNR Closed Form for the Square Marčenko-Pastur MIMO Capacity

For the canonical independent and identically distributed (IID) single-user multiple-input multiple-output (MIMO) channel with full channel state information at the transmitter (CSIT), the asymptotic capacity per receive antenna is a waterfilling integral over the Marčenko-Pastur law, whose shape depends only on the ratio of transmit to receive antennas. Closed forms are known for every ratio other than the square one, and there only above a finite signal-to-noise ratio (SNR). The square ratio behaves differently because the Marčenko-Pastur support reaches the origin. The waterfilling cutoff then stays strictly inside the support at every finite SNR, and the water level has been available only numerically. This letter closes that gap with a classical trigonometric parametrization of the square law, which removes the edge singularity and replaces the moving cutoff by a single angle. Both the SNR and the capacity become explicit functions of that angle, so the capacity curve is traced by sweeping the angle rather than by solving a scalar constraint at each operating point. The same parametrization delivers the low-SNR behavior in closed form, where the slope of capacity in SNR equals the upper edge of the limiting spectrum.

cs.IT↗

arXiv2026

TokenComSR: Task-Sensitivity-Guided Token Communication for Wireless Image Super-Resolution

For resource-constrained wireless edge devices over bandwidth-limited fading channels, wireless image transmission using traditional separate coding suffers from the cliff-effect collapse. Prevailing deep joint source-channel coding (JSCC) based on convolutional neural networks can mitigate this issue but usually fail to preserve patch-level structures, thereby preventing adaptive per-token power allocation and limiting token-domain compensation for super-resolution (SR). To address these challenges, we propose a token communication framework with SR (TokenComSR). Specifically, we conceive a task-sensitive power allocation (TSPA) module and a signal-to-noise ratio (SNR)-conditioned token refinement module (TRM). TSPA distills training estimates of task sensitivity into inference token power weights, while TRM estimates an SNR-conditioned residual to correct channel-induced distortion in the token domain before decoding. Building on TSPA and TRM, the proposed TokenComSR pairs a Swin Transformer-based token transceiver with a receiver-side SR module for resource-constrained wireless image transmission. Simulation results confirm the effectiveness of the proposed TSPA and TRM, demonstrating improvements over separate coding and JSCC-SR baselines in both reconstruction fidelity and perceptual quality.

cs.IT↗

arXiv2026

The half-rate linear programming bound for binary codes is $\frac12-\frac1π$

In their work on sphere packing and the conformal bootstrap, Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini conjectured the exact high-dimensional exponent of the Cohn--Elkies sphere-packing linear program. OpenAI's Chapter 1 subsequently proved their conjecture by establishing that both Fourier sign-uncertainty radii are $(1/π+o(1))\sqrt d$. We prove the binary coding analogue: the half-rate point of the asymptotic binary Delsarte linear program is $1/2-1/π$; equivalently, \[ R_D\!\left(\frac12-\frac1π\right)=\frac12. \] We also formulate the two Krawtchouk sign-uncertainty problems and determine both of their asymptotics. If $A^{\mathrm K}_{\pm}(n)$ denotes the first radial layer after which an origin-vanishing Krawtchouk $(\pm1)$-eigenfunction can be nonnegative, then \[ \frac{A^{\mathrm K}_{\pm}(n)}n\longrightarrow \frac12-\frac1π. \] The common lower bound is the Hamming space counterpart of the mass-concentration principle in the Chapter 1 proof. The upper bound has a different source. It is the binary-code counterpart of the final spherical-code construction in OpenAI's Chapter 2. Gay, Jeronimo, and Liu improved the resulting binary bound and suggested the functional $Φ$ used here, but explicitly evaluated only a few low levels of the corresponding hierarchy. We construct and evaluate compatible binary certificates at every level, attaining the upper bound in the limit. The construction uses an $N$-qubit generalization of the pure-state channel of Alrabiah and Guruswami.

math.CO↗

arXiv2026

A Quantization Problem Posed by Adaptive Streaming

In adaptive bitrate (ABR) streaming, the delivery technology behind most Internet video, each title is encoded at several bitrates, forming an \emph{encoding ladder} of \emph{renditions}. Each client plays the highest rendition that its network bandwidth can sustain. We show that choosing the ladder is a problem of \emph{scalar quantization} of the bandwidth distribution. However, this quantization problem is of an unusual kind: the client's logic pins each quantization cell's reproduction value to the cell's \emph{left edge}, and the distortion measure is a one-sided quality loss rather than a squared error. The constraint reshapes the classical theory. The \emph{quality gap} of a ladder is the distance between its average delivered quality and the \emph{quality limit} that infinitely many renditions would attain. For optimal $n$-rendition ladders the gap $\mathcal{G}_n^*$ decays as $Θ(1/n)$, not the textbook $Θ(1/n^2)$. Moreover, with large $n$, $n\,\mathcal{G}_n^*\to C_w=\frac{1}{2}(\int\!\sqrt{p\,Q'}\,\,d B)^2$, with the limit attained when the ladder's rates follow the density $\sqrt{p\,Q'}$, which replaces Panter--Dite's $p^{1/3}$; here $p$ is the bandwidth density and $Q$ the quality--rate curve of the content. The law yields closed-form design rules: quantile rung placement, the rendition count $n(\varepsilon)\approx C_w/\varepsilon$ needed to reach tolerance $\varepsilon$, and the economic ladder size $n^*=\sqrt{λC_w/κ}$ when a rendition costs $κ$ to operate and the quality gap is priced at $λ$. The same analysis extends to the design of ladders employing different video resolutions, codecs, perceptual quality metrics, and the two-dimensional adaptation logic of modern web players.

cs.IT↗

arXiv2026

Hierarchical Beam Training and Codebook Design for Movable Antenna-Assisted Near-Field Systems

As sixth-generation (6G) communication systems evolve toward higher frequency bands and larger array apertures, the near-field range expands rapidly, making near-field channel estimation increasingly important and challenging. Beam training has been recognized as an effective approach for channel state information (CSI) acquisition. However, because of the propagation characteristics of spherical waves, beam training needs to perform a joint search in the angle and distance domains, which results in unaffordable beam training overhead. By flexibly reconfiguring antenna positions, movable antenna (MA) technology can fully exploit the spatial variations of wireless channels and achieve more accurate beam focusing, thereby providing additional flexibility for efficient beam training design. Therefore, based on MA-assisted near-field systems, we develop a hierarchical beam training strategy that combines reduced training overhead with high beam gain and design a corresponding hierarchical codebook. This codebook forms focused beams over the joint angle-distance domain, maximizing beam gain within the target region while suppressing energy leakage into non-target regions. Simulation results confirm substantial performance gains of the method over the conventional fixed-position antenna (FPA) system and the far-field beam training method.

cs.IT↗

arXiv2026

On the Impact of Site-Specific Training for a Real-World 5G NR System

Site-specific training can improve wireless receiver performance without increasing computational complexity. However, real-world results have so far focused on fully trainable neural receivers and single-layer transmissions. We study site-specific finetuning of three receiver architectures: fully trainable neural, model-driven neural, and model-based. We train and evaluate these receivers using new measurements from a standard-compliant 5G NR testbed at ETH Zurich with dual-layer uplink transmission, including measurement campaigns conducted more than six months apart. Our results show that site-specific finetuning (i) substantially improves fully trainable and model-driven neural receivers, while resulting in only marginal gains for the less tunable model-based receiver; (ii) enables a single neural receiver jointly finetuned for single- and dual-layer transmission to closely match receivers finetuned separately for each configuration; and (iii) remains effective across measurement campaigns separated by more than six months. We also investigate site-specific linear minimum mean-square error channel estimation using covariance matrices estimated from either synthetic channels or site-specific measurements. When combined with iterative detection and decoding, site-specific channel estimation achieves the lowest error rate observed in our datasets. Our finetuning code and measurement datasets are publicly available at https://github.com/IIP-Group/site_specific_training

cs.IT↗

arXiv2026

BER-PEF: Unified Human Mobility Predictability Evaluation via Bayes Error Rate Estimation

Human mobility predictability concerns the best prediction performance attainable from a given target and input information, but its ground truth is not directly observable on real mobility data. We present BER-PEF, a Bayes-error-rate-based framework that converts BER estimation into mobility predictability estimation and provides a unified protocol for comparing estimators without observable ground truth. The framework maps symbolic sequences, numeric trajectories, contextual features, and learned representations into a common feature--label space, then evaluates estimator outputs along controlled perturbation curves against a shared predictability reference interval by measuring deviations below the interval, above the interval, and across the full interval. Experiments on Foursquare NYC and TKY, GeoLife, and T-Drive show that several BER-based estimators achieve lower reference discrepancy than existing predictability methods on symbolic sequences and numeric trajectories, while their estimates track changes in empirical prediction performance under perturbation. Additional analyses show that contextual inputs and multiple structured representations can be evaluated under the same protocol, and that aggregating evidence across multiple perturbation levels provides a more reliable basis for estimator selection than relying on a single unperturbed observation. BER-PEF therefore offers a unified and verifiable path for evaluating predictability estimators on heterogeneous mobility data when ground-truth predictability is unavailable.

cs.LG↗

arXiv2026

Deep Reinforcement Learning for Optimization of STAR-RIS Phase and Energy Splitting Coefficients in OTFS-NOMA Framework

This paper considers a downlink communication framework comprising a simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS)-aided by orthogonal time frequency space (OTFS) and non-orthogonal multiple access (NOMA) technologies. Further, delay-Doppler mobility in such frameworks renders classical alternating optimization impractical for per-coherence interval reconfiguration. To mitigate such issues, the STAR-RIS phase-shift and energy-splitting design is formulated as a constrained, non-convex sum-rate maximization problem with closed-form maximum ratio transmission beamforming and fixed NOMA power allocation. To circumvent the per-interval re-optimization burden, a deep reinforcement learning (DRL) approach is adopted that maps observed channel realizations to STAR-RIS configurations through a single forward pass. Specifically, Beta-Space Soft Actor-Critic (SAC-BSE), a maximum entropy DRL agent, is proposed. Simulation results, with two NOMA-multiplexed users on each STAR-RIS branch, confirm rapid convergence, limit the sum-rate degradation to roughly 10\% across a 128-fold user-speed range, and yield consistent gains over OTFS-only, NOMA-only, STAR-RIS-only, fixed-split, and mode-switching baselines as transmit power and the number of STAR-RIS elements increase.

cs.IT↗

arXiv2026

Constructions of complete permutations over $\mathbb{F}_q^n$

Complete permutation polynomials play an important role in cryptography, particularly in the design of cryptographic primitives such as the Lai--Massey scheme and S-boxes. We generalize a result of Sun, Li, Guo, and Qu (2021) by characterizing the complete permutation behavior of the mapping $Ψ(X)=M(X+ψ(AX))$ over $\mathbb{F}_q^n$, where $\mathbb{F}_q$ is a finite field of $q$ elements with $q$ being a prime power, $M\in GL(n, \mathbb{F}_q)$, $GL(n, \mathbb{F}_q)$ is the general linear group of order $n$ over $\mathbb{F}_q$, $A_{m \times n}$ is a full-rank matrix over $\mathbb{F}_q$, and $ψ=(ψ_1,ψ_2,\ldots,ψ_n)$ with each component function $ψ_i:\mathbb{F}_q^m\to\mathbb{F}_q$. Furthermore, we establish criteria for the permutation and complete permutation properties of the mapping $F(X)=T(X+B^tf(AX))$ over $\mathbb{F}_{q}^n$, $f: \mathbb{F}_{q}^{m} \rightarrow \mathbb{F}_{q}^{n-m}$, $T \in GL(n, \mathbb{F}_q)$, $A_{m \times n}$ and $B_{(n-m)\times n}$ are full-rank matrices over $\mathbb{F}_q$, $B^t$ represents the transpose of the matrix $B$, and $0<m<n$ are integers. These results also generalize an earlier result of Gravel and Panario (2023), who showed that any arbitrary function $f$ from $\mathbb{F}_q^m$ to $\mathbb{F}_q^{\,n-m}$ can be extended to a bijection over $\mathbb{F}_{q}^n$ through the mapping $F(X)=T(X+B^tf(AX))$, under the condition $AB^t=0$. Here we do not impose the restriction that $AB^t=0$.

cs.CR↗

arXiv2026

Set Theory in the Foundation of Math; Internal Classes and External Sets

Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single set theory formula with parameters unrelated to formulas. Exotic expressions involving sets related to formulas of unbounded quantifier depth appear mostly in esoteric or foundational studies. Recognizing the internal to math (formula-specified) and external (parameter-based) aspects of math objects greatly simplifies foundations. I postulate that external sets (not internally specified, constituting the domain of quantifiable variables) are hereditarily countable and independent of purely formula-defined classes, i.e. with finite algorithmic information about them. Variables for classes are not explicitly quantified. This opens a way to eliminate all non-integer quantifiers in set theory sentences. The restrictions seem to require almost no changes in math papers, only reinterpreting some formalities.

cs.LO↗

arXiv2026

Tight Bounds for Linear and Non-Linear Contraction of Divergences via Duality

We develop a novel framework for bounding the contraction of information divergences, using duality and associated norms in Orlicz spaces. By working in the dual space, we obtain a principled approach to bounding both distribution-dependent strong data-processing inequality (SDPI) constants and $F_φ$-curves of divergences. Our bounds are either available in closed form or reducible to one-dimensional convex optimisation problems, in contrast to the infinite-dimensional optimisation problems that characterise SDPIs. These bounds depend on the densities of the reverse kernels with respect to a reference measure. To the best of our knowledge, they are the first universal closed-form bounds on distribution-dependent SDPI constants. We establish tightness for the $χ^2$-divergence on several important channel classes, including full-rank binary kernels. We apply our results to several settings. In particular, we derive bounds on the mixing times of Markov chains, including chains with heavy-tailed stationary distributions; obtain improved bounds on burn-in periods for Markov chain Monte Carlo; and strengthen concentration-of-measure bounds for dependent random variables.

cs.IT↗

arXiv2026

One-shot distillation with constant overhead using catalysts

Quantum resource distillation is a fundamental task in quantum information science and technology. Minimizing the overhead of distillation is crucial for the realization of quantum computation and other technologies. Here we explicitly demonstrate how, for general quantum resources, suitably designed quantum catalysts (i.e., auxiliary systems that remain unchanged before and after the process) enable distillation with constant overhead in the practical one-shot setting, thereby overcoming the established logarithmic lower bound for one-shot distillation overhead. In particular, for magic state distillation, our catalysis method paves a path for tackling the diverging batch size problem associated with code-based low-overhead protocols by enabling arbitrary reduction of the protocol size for any desired accuracy. Notably, this yields constant-overhead magic state distillation with controllable protocol size. Furthermore, we demonstrate a tunable spacetime trade-off between overhead and success probability enabled by catalysts which offers significant versatility for practical implementation. Finally, we extend catalysis techniques to dynamical quantum resources and show that channel mutual information determines one-shot catalytic channel transformation, thereby advancing our understanding for both dynamical catalysis and information theory.

quant-ph↗

arXiv2026

Generalized quantum asymptotic equipartition

The asymptotic equipartition property (AEP) states that in the limit of a large number of independent and identically distributed (i.i.d.) random experiments, the output sequence is virtually certain to come from the typical set, each member of which is almost equally likely. This property is a form of the law of large numbers and lies at the heart of information theory. In this work, we prove a generalized quantum AEP beyond the i.i.d. framework where the random samples are drawn from two sets of quantum states. In particular, under suitable assumptions on the sets, we prove that all operationally relevant divergences converge to the quantum relative entropy between the sets. More specifically, both the quantum hypothesis testing relative entropy and the smoothed max-relative entropy approach the regularized relative entropy between the sets. Notably, the asymptotic limit has explicit convergence guarantees and can be efficiently estimated through convex optimization programs, despite the regularization, provided that the sets have efficient descriptions. The generalized AEP directly implies a new quantum Stein's lemma for conducting quantum hypothesis testing between two sets of quantum states. Combined with the accompanying work [IEEE TIT 72(4):2330-2342 (2026)], this addresses open questions raised by Brandao et al. [IEEE TIT 66(8):5037-5054 (2020)] and Mosonyi et al. [IEEE TIT 68(2):1032-1067 (2022)], which seek a Stein's lemma with computational efficiency. Moreover, we propose a new framework for quantum resource theory in which state transformations are performed without requiring precise characterization of the states being manipulated, making it more robust to imperfections. We demonstrate the reversibility (also referred to as the second law) of such a theory and identify the regularized relative entropy as the unique measure of the resource in this new framework.

quant-ph↗

Compare source metadata on this page

Work	Published	Source identifier	Source
Minimum enclosing Bregman balls made easy	2026-09-03	2607.24197	arxiv
Four-Entropic Matroids Are Quaternary	2026-09-03	2608.20553	arxiv
A Joint Power-Privacy Control Framework for Decentralized Learning over Heterogeneous Wireless Multicasting Networks	2026-09-03	2609.03245	arxiv
Iterative Semantic Decoding for Short Block Codes	2026-09-03	2609.03256	arxiv
Generalized Hankel/Toeplitz matrix for array signal processing	2026-09-03	2609.03325	arxiv
Finite-SNR Closed Form for the Square Marčenko-Pastur MIMO Capacity	2026-09-03	2609.03356	arxiv
TokenComSR: Task-Sensitivity-Guided Token Communication for Wireless Image Super-Resolution	2026-09-03	2609.03735	arxiv
The half-rate linear programming bound for binary codes is $\frac12-\frac1π$	2026-09-03	2609.03736	arxiv
A Quantization Problem Posed by Adaptive Streaming	2026-09-03	2609.03745	arxiv
Hierarchical Beam Training and Codebook Design for Movable Antenna-Assisted Near-Field Systems	2026-09-03	2609.03776	arxiv
On the Impact of Site-Specific Training for a Real-World 5G NR System	2026-09-03	2609.04004	arxiv
BER-PEF: Unified Human Mobility Predictability Evaluation via Bayes Error Rate Estimation	2026-09-03	2609.04292	arxiv
Deep Reinforcement Learning for Optimization of STAR-RIS Phase and Energy Splitting Coefficients in OTFS-NOMA Framework	2026-09-03	2609.04536	arxiv
Constructions of complete permutations over $\mathbb{F}_q^n$	2026-09-03	2609.05564	arxiv
Set Theory in the Foundation of Math; Internal Classes and External Sets	2026-09-02	2209.07497	arxiv
Tight Bounds for Linear and Non-Linear Contraction of Divergences via Duality	2026-09-02	2402.11200	arxiv
One-shot distillation with constant overhead using catalysts	2026-09-02	2410.14547	arxiv
Generalized quantum asymptotic equipartition	2026-09-02	2411.04035	arxiv

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