https://arxiv.org/api/kkYZA7qI/NOpEp45lcVSILAJLnE 2026-06-21T13:02:15Z 54841 120 15 http://arxiv.org/abs/2502.07242v2 2026-06-12T15:34:59Z

This article explores nonlinear analogues of skew quasi-cyclic codes of index~$\ell$, i.e., $\mathbb{F}_{q^m}[X;σ]$-submodules of $\left(\mathbb{F}_{q^m}[X;σ]/(X^n - 1)\right)^\ell$. After introducing nonlinear skew quasi-cyclic codes, we then determine the module structure of these codes by using a two-fold iteration of the Smith normal form of matrices over skew polynomial rings. We show that actually a single use of the Smith normal form will suffice to determine the elementary divisors of the code. Along the way, we also describe duals of our codes with respect to appropriately chosen inner products.

2025-02-11T04:16:54Z 20 Pages Daniel Bossaller Daniel Herden Indalecio Ruiz-Bolanos http://arxiv.org/abs/2508.00542v5 2026-06-12T15:28:45Z

Many complex systems - be they financial, natural, or social - are composed of units - such as stocks, neurons, or agents - whose joint activity can be represented as a multivariate time series. An issue of both practical and theoretical importance concerns the possibility of inferring the presence of a static relationship between any two units solely from their dynamic behaviour. The present contribution aims at tackling such an issue within the framework of traditional hypothesis testing: briefly speaking, our suggestion is that of linking any two units if behaving in a sufficiently similar way. To achieve such a goal, we project a multivariate time series onto a signed graph by i) comparing the empirical properties of the former with those expected under a suitable benchmark and ii) linking any two units with a positive (negative) edge in case the corresponding series shares a significantly large number of concordant (discordant) values. To define our benchmarks, we adopt an information-theoretic approach that is rooted into the constrained maximisation of Shannon entropy, a procedure inducing an ensemble of multivariate time series that preserves some of the empirical properties on average, while randomising everything else. We showcase the possible applications of our method by addressing one of the most timely issues in the domain of neurosciences, i.e. that of determining if brain networks are frustrated or not, and, if so, to what extent. As our results suggest, this is indeed the case, with the major contribution to the underlying negative subgraph coming from the subcortical regions (and, to a lesser extent, from the limbic ones). At the mesoscopic level, the minimisation of the Bayesian Information Criterion, instantiated with the Signed Stochastic Block Model, reveals that brain regions gather into modules aligning with the statistical variant of the Relaxed Balance Theory.

2025-08-01T11:30:24Z 44 pages, 19 figures, 1 table Marzio Di Vece Emanuele Agrimi Samuele Tatullo Tommaso Gili Miguel Ibáñez-Berganza Tiziano Squartini http://arxiv.org/abs/2606.14488v1 2026-06-12T14:24:28Z

Recent finite-time analyses of nonlinear two-time-scale stochastic approximation show that under contractive assumptions the slow iterate $Y_k$ with stepsizes $β_k=Θ(k^{-1})$ and $α_k=Θ(k^{-a})$, $a\in(1/2,1)$, generally satisfies a mean-square rate of order $k^{-a}$; decoupled $k^{-1}$ rates require strong local linearity. We identify a sharp regularity-dependent boundary. In a rate-determining normal form where the slow drift contains a locally linear leakage and a nonlinear remainder of order $1+ρ$ ($ρ\in[0,1]$), the uncorrected recursion satisfies \[ \mathbb{E}\|Y_k\|^2 \le C\bigl(k^{-1}+k^{-a(1+ρ)}\bigr), \] and a matching scalar Gaussian lower bound shows that the slower term is unavoidable without modifying the update. Thus the decoupled $k^{-1}$ rate is guaranteed for the uncorrected recursion exactly when $a(1+ρ)\ge 1$. This lower bound concerns only the naive update; it is not an information-theoretic obstruction. We demonstrate this by equipping the normal-form recursion with an auxiliary online bias estimator \[ M_{k+1}=M_k+γ_k(R(X_k)-M_k),\qquad β_k\llγ_k\llα_k, \] and subtracting $M_k$ from the slow update. Under the same stability, moment, and remainder assumptions, the corrected recursion achieves $\mathbb{E}\|\widetilde Y_k\|^2=O(k^{-1})$ for every $ρ\in[0,1]$, including regimes where the uncorrected update provably suffers the slower rate. Finally, we prove localized transfer theorems that extend the phase-transition mechanism to general nonlinear TTSA in fast-manifold coordinates. The proofs are non-asymptotic and rely on two Abel-transform cancellations: one for the locally linear fast-error leakage, and one for the tracked nonlinear bias.

2026-06-12T14:24:28Z Dhruv Sarkar Vaneet Aggarwal http://arxiv.org/abs/2606.14448v1 2026-06-12T13:31:51Z

Cooperative massive multiple-input multiple-output (MIMO) promises large gains over cellular deployments, but existing comparisons of different architectures often mix antenna distribution, inter-site coordination, and processing assumptions. This paper introduces a graph-based framework for fair comparison of cellular, coordinated, and cell-free massive-MIMO systems. We differentiate between two key properties, namely antenna distribution and inter-site cooperation, which yields seven representative system types. We derive compatible uplink and downlink spectral efficiency (SE) expressions, including an uplink bound for detectors with mixed instantaneous and statistical effective channel state information (CSI), and adapt scalable user association and processing rules to all considered architectures. We evaluate these systems using extensive numerical simulations and show that for a fair comparison much larger simulation areas (at least 2.5 $\times$ 2.5 km2) than commonly used are required. We introduce the relative capacity, which measures how closely each architecture approaches centralized cell-free processing. The results show that coordinated, phase-aligned beamforming across spatially distributed antennas is the main source of cooperation gains. In dense deployments with few antennas per access point (AP), coordinated Distributed Antenna System (DAS) and hybrid cell-free architectures achieve much of the centralized cell-free performance while requiring substantially weaker midhaul assumptions.

2026-06-12T13:31:51Z This work has been submitted to the IEEE for possible publication Leonard Paul Schulz Stefan Schwarz Gerhard Bauch http://arxiv.org/abs/2606.14412v1 2026-06-12T12:47:09Z

Reciprocity-based downlink beamforming is imperative for a scalable time-division duplex massive multiple-input multiple-output~(MIMO) deployment. Specifically, for a dual-antenna repeater-assisted massive MIMO system, a mismatch between forward and reverse path gains at the repeater can exacerbate the overall calibration error between the user equipments (UEs) and the base station (BS), which potentially also contains calibration errors of their individual radio-frequency chains. This paper models the effects of such calibration errors, underpins the relations between the uplink and downlink channels for repeater-assisted systems with calibration errors clubbed with the over-the-air channel estimation errors, and derives analytical expressions of the downlink spectral efficiency. The presented results can then be simplified to several special cases, underscoring situations wherein such errors can become pronounced.

2026-06-12T12:47:09Z 5 pages, 3 figures, Accepted to the 34th European Signal Processing Conference (EUSIPCO 2026) Kohei Ueda Anubhab Chowdhury Koji Ishibashi Erik G. Larsson http://arxiv.org/abs/2606.14400v1 2026-06-12T12:37:04Z

This paper investigates the fundamental limits and optimal signal distribution design for Integrated Sensing and Communication (ISAC) systems operating under strictly noncoherent conditions. Unlike conventional coherent frameworks that rely on perfect channel state information, we consider a block-fading MIMO channel where the channel realizations are unknown to both the transmitter and the receiver. We adopt a realization-wise perspective to characterize the noncoherent performance tradeoff across different signal-to-noise ratio (SNR) regimes. In the high-SNR regime, we derive a lower bound for the noncoherent mutual information and define a metric, termed sensing-induced rate loss, to quantify the communication penalty incurred by sensing-oriented beamforming. We then employ a projected gradient algorithm to optimize the spatial power allocation, balancing the conflict between the unitary space-time modulation-based structure for communication and the task-oriented spatial power allocation for sensing. Conversely, in the low-SNR regime, we perform a first-order asymptotic analysis of the ergodic minimum mean squared error (EMMSE). Our theoretical derivation reveals a fundamental synergy: the sensing-optimal strategy collapses to a rank-one transmission along the dominant eigenvector of the target response, which incurs no first-order communication loss in the low-SNR regime. This result demonstrates that the conflicting tradeoff observed at high SNR vanishes asymptotically at low SNR, enabling perfect alignment between sensing and communication objectives.

2026-06-12T12:37:04Z Accepted for presentation at the 2026 IEEE International Symposium on Information Theory (ISIT) Hao Yang Kai Wan Giuseppe Caire http://arxiv.org/abs/2604.04674v2 2026-06-12T11:46:41Z

We study the identification capacity of discrete-time Gaussian channels impaired by correlated noise and inter-symbol interference (ISI). Our analysis is formulated for deterministic encoding functions subject to a peak power constraint and colored noise whose covariance matrix features a polynomially bounded singular value spectrum, i.e., $\sim [n^{-μ} , n^{μ/2}]$ where $n$ is the codeword length and $μ\in [0,1/2)$ is the spectrum rate. A central result establishes that, even when the ISI memory length grows sub-linearly with $n,$ i.e., $\sim n^κ$ where $κ\in [0,1/2)$ and $κ+ μ\in [0,1/2),$ the codebook size continues to exhibit super-exponential growth in $n$, i.e., $\sim 2^{(n \log n)R},$ with $R$ representing the associated coding rate. Moreover, by employing the well-known Mahalanobis-distance decoder induced by colored Gaussian noise statistics, we characterize bounds on the identification capacity, with the resulting bounds parameterized by $κ$ and $μ.$

2026-04-06T13:39:23Z 28 pages, 3 figures; added new Section IV on interpretation of capacity bounds Mohammad Javad Salariseddigh Christian Deppe http://arxiv.org/abs/2107.07441v2 2026-06-12T11:32:33Z

In this article, we consider a random access scheme for an indoor Internet of Things (IoT) framework that uses optical wireless communication (OWC). We focus on a Slotted ALOHA (SA)-based solution where a number of OWC IoT users contend to send data to a central OWC receiver. In any given slot, and for a randomly selected active user, we consider the reliability of decoding the user's data packet at the receiver. This is done by deriving the signal-to-noise-and-interference-ratio (SINR) statistics from a randomly chosen user and evaluating the probability that the user's SINR is below a given threshold. By placing our analysis in the context of an indoor OWC IoT uplink setup, and employing the standard OWC channel model, we investigate the trade-offs between the reliability and the OWC system parameters such as the cell area or the transmitter's semi-angle. We obtain valuable insights into the design of an SA-based random access solution for a typical indoor OWC cell.

2021-07-15T16:38:43Z 2021 17th International Symposium on Wireless Communication Systems (ISWCS), Berlin, Germany, 2021, pp. 1-6 Milica Petkovic Tijana Devaja Dejan Vukobratovic Francisco J. Escribano Cedomir Stefanovic 10.1109/ISWCS49558.2021.9562172 http://arxiv.org/abs/1906.07435v5 2026-06-12T10:47:03Z

Following the trends of index modulated (IM) techniques for optical communications, in the last few years several new waveform proposals have been made, aiming at conveying a higher density of information by driving different signal properties. One of these proposals mixes multi-pulse pulse-position modulation (MPPM) and quadrature amplitude modulation (QAM) in a system called QAM-MPPM. We present here a new way to demodulate its compound waveform, and, for the non-turbulent free space optical (FSO) channel, we provide accurate analytical expressions for its error probabilities, both in the case of the traditional and the new detector. Based on these analytical derivations, we also provide simplified expressions for the estimation of the error probabilities. We show that the new detector offers a gain of some tenths of dB in signal-to-noise ratio with respect to the previously defined one without an increase in complexity, and that our error probability estimations are more accurate than previously published results. To the best of our knowledge, this work is the first to provide simulation results validating the study of the error probability performance of QAM-MPPM.

2019-06-18T08:16:31Z 11 pages, 6 figures IEEE Systems Journal, vol. 15, no. 2, pp. 1753-1763, Jun. 2021 Francisco J. Escribano Alexandre Wagemakers 10.1109/JSYST.2020.2986680 http://arxiv.org/abs/2606.14335v1 2026-06-12T10:44:19Z

Recovering structural information from noisy high-dimensional data is a fundamental task in statistical inference. We investigate the recovery thresholds for a graph hidden in a randomly weighted complete graph. Specifically, an unknown graph $H^* \in H_n$ is chosen uniformly at random, and hidden in a complete graph of $n$ vertices as follows: the weight of an edge $e \in H$ is distributed independently according to $P_n$; otherwise the weight is distributed independently according to $Q_n$. The goal is to recover almost all of $H$ from these edge weights. Assuming a local Lipschitzness of the Rényi divergence between distributions $P_n$ and $Q_n$, and a mild density condition for the graphs $H_n$, we give a unified characterization of the information-theoretic limit for recovering almost all of $H$ (also known as almost exact recovery). Our characterization connects the KL divergence between $P_n$ and $Q_n$ to the logarithm of the first moment threshold of $H$ in the Erdős-Rényi random graph model $G(n,p)$. Our lower bound also extends to the task of partial recovery, in which only a constant $λ$-fraction of $H$ needs to be recovered. Last but not least, for certain Bernoulli and Exponential regimes, and for Gaussian distributions, we are able to show an All-or-Nothing (AoN) threshold phenomenon at the exponential scale.

2026-06-12T10:44:19Z 34 pages, 4 figures Zhe Hou Jingcheng Liu http://arxiv.org/abs/2606.14296v1 2026-06-12T09:33:26Z

This short paper has two goals. First, explaining a simple procedure (which is essentially folklore) that, sometimes, makes it possible to obtain a formula for the number of solutions to a system of multivariate polynomial inequalities over a finite field. Second, applying that procedure to prove a formula for the number of contiguous superregular $4 \times 4$ matrices over a finite field. The formula was previously conjectured by Appuswamy, Bazzani, Connelly, Ekaireb, Congero, and Zeger [Probability of super-regular matrices and MDS codes over finite fields, arXiv:2603.20983]. In addition, the same procedure is used to provide formulas for the number of contiguous superregular $3 \times 4$, $3 \times 5$, and $3 \times 6$ matrices over a finite field.

2026-06-12T09:33:26Z Carlo Sanna http://arxiv.org/abs/2601.09196v2 2026-06-12T08:44:03Z

In two-sampling testing, one observes two independent sequences of independent and identically distributed random variables distributed according to the distributions $P_1$ and $P_2$ and wishes to decide whether $P_1=P_2$ (null hypothesis) or $P_1\neq P_2$ (alternative hypothesis). The Gutman test for this problem compares the empirical distributions of the observed sequences and decides on the null hypothesis if the Jensen-Shannon (JS) divergence between these empirical distributions is below a given threshold. This paper proposes a generalization of the Gutman test, termed \emph{divergence test}, which replaces the JS divergence by an arbitrary divergence. For this test, the exponential decay of the type-II error probability for a fixed type-I error probability is studied. First, it is shown that the divergence test achieves the optimal first-order exponent, irrespective of the choice of divergence. Second, it is demonstrated that divergence tests with invariant divergences achieve the same second-order asymptotics as the Gutman test. In addition, a connection between two-sample testing and robust goodness-of-fit testing is established.

2026-01-14T05:59:18Z To be presented at the 2026 IEEE International Symposium on Information Theory K V Harsha Jithin Ravi Tobias Koch http://arxiv.org/abs/2606.14225v1 2026-06-12T08:06:40Z

The paper studies the existence of \emph{polynomial} measures of dependence between two random variables: polynomial functions of the joint distribution that (i) vanish on independence and (ii) cannot increase under post-processing of either variable (the data processing inequality, DPI). Mutual information satisfies both properties but is transcendental in the joint distribution, making it impossible to estimate without bias from finitely many samples. A polynomial alternative would admit an exact finite-sample unbiased estimator, with the polynomial degree controlling the required sample size. The main result is negative: in the asymmetric setting where the variables have different alphabet sizes (\(|X| > |Y|\)), no nonzero polynomial can simultaneously satisfy DPI on the larger-alphabet side and vanish on independence. In the symmetric case \(|X| = |Y| = n\), we establish a structural result: every such polynomial is divisible by \((\det U)^2\), where \(U\) denotes the \(n \times n\) joint distribution matrix. Consequently, any nontrivial candidate must have degree at least \(2n\). The determinant-based mutual information attains this lower bound. These algebraic results have direct consequences for \emph{multi-task peer prediction}, a mechanism-design problem in which a principal incentivizes honest reports from agents who observe correlated signals but no ground truth. Every such mechanism running on \(\ell\) independent tasks gives rise to a polynomial measure of dependence of degree at most \(\ell\), so our lower bounds on polynomial degree translate directly into lower bounds on the number of tasks: in the asymmetric case no finite-task mechanism exists on the larger-alphabet side at all, while the symmetric case requires at least \(\ell \geq 2n\) tasks.

2026-06-12T08:06:40Z Yuqing Kong http://arxiv.org/abs/2606.03011v2 2026-06-12T07:40:43Z

We study single-error detection and correction for analog codes over $\mathbb{R}$. The key performance measures are the parameters $Γ_1(\mathcal{C})$ and $Γ_2(\mathcal{C})$, which quantify, respectively, the minimum separation required between large outlying errors that must be detected or located and the magnitude of tolerable perturbations. First, we prove that every real linear $[n,k]$ code $\mathcal{C}$ satisfies \[ Γ_1(\mathcal{C})\ge 2\left\lceil\frac{n}{n-k}\right\rceil. \] Moreover, when $k=n-2$, we prove that every real linear $[n,n-2]$ code $\mathcal{C}$ satisfies \[ Γ_2(\mathcal{C})\ge \frac{1}{\sin^2(π/2n)}. \] Together, these two lower bounds settle all four open problems of Roth concerning the optimality of single-error-detecting and single-error-correcting analog codes. The proof of the first bound is based on a double-induction argument, while the proof of the second combines a zonotope-based geometric characterization of $Γ_2(\mathcal{C})$ with a cyclic sine-product inequality. In addition, we construct analog codes with higher fixed redundancy and show that, for every fixed $r\ge 2$, there exists a class of linear $[n,\ge n-r]$ codes over $\mathbb{R}$ such that \[ Γ_2(\mathcal{C})\le O\left(n^{1+\frac{1}{r-1}}\right). \] This gives a new upper bound in the fixed-redundancy regime, which was not covered by previously known constructions.

2026-06-02T01:32:39Z 21 pages, 4 figures Hengzhuo Li Zhengjie Jian Xin Wang Hengjia Wei http://arxiv.org/abs/2606.14205v1 2026-06-12T07:38:41Z

Sum-rank codes provide a generalized framework for Hamming and rank-metric codes, with codewords represented as tuples of matrices and weight given by the sum of the block ranks. In this paper, we introduce and study a block-tensor-rank invariant for sum-rank metric codes. To each code, we associate its \emph{block tensor rank}: the smallest number of block-simple tensors, namely rank-one matrices supported inside single blocks, whose linear span contains the code. In general, determining the block tensor rank of a sum-rank code is challenging. Our main structural result shows that the block tensor rank decomposes additively across the blocks of the code, thereby reducing its computation to a tensor-rank problem on each block projection. Consequently, we derive two complementary lower bounds on the block tensor rank, referred to as the \emph{projection-wise bound} and the \emph{coordinate-code bound}. Moreover, by combining the coordinate-code bound with the classical Singleton and Griesmer bounds for codes in the Hamming metric, we obtain explicit lower bounds, called the \emph{Singleton coordinate-code bound} and the \emph{Griesmer coordinate-code bound}, respectively. We further construct families of sum-rank codes whose block tensor ranks attain the Singleton or Griesmer coordinate-code bounds. These constructions are based on Hamming-metric codes achieving the corresponding classical bounds. Finally, we show that, in certain cases, the block tensor ranks of two known families of sum-rank codes in the literature do not attain the Singleton coordinate-code bound.

2026-06-12T07:38:41Z Huimin Lao Huy Pham Hoang Ta Van Khu Vu