https://arxiv.org/api/MnhSn8vuUtjtyryH6w+rUkL7URc 2026-06-22T04:34:31Z 54841 315 15 http://arxiv.org/abs/2605.29439v2 2026-06-04T10:49:49Z

The determination of the maximal length of maximum distance separable (MDS) codes arising from elliptic curves is a central problem in coding theory. For an elliptic curve $E$ over $\mathbb{F}_q$, let $\operatorname{MEC}(k,q)$ denote the maximal length of a $q$-ary MDS elliptic code of dimension $k$. It was recently shown that $\operatorname{MEC}(k,q)\le\frac{q+1}{2}+\sqrt{q}$ for $q\ge289$ and $3\le k\le(q+1-2\sqrt{q})/10$, with equality for odd $k$ when $q$ is an odd square. This paper investigates the remaining open cases, namely even dimension $k$, non-square $q$ and fields of characteristic $2$, and provides a complete resolution of the tightness question for the two natural parity regimes of $q+1+\lfloor 2\sqrt{q}\rfloor$. We prove that if the support of $G$ (used to define the code) consists of $\mathbb{F}_q$-rational points, the bound decreases to $\frac{q+1}{2}+\sqrt{q}-1$ for even $k$. Without this restriction, we construct MDS codes attaining $\frac{q+1}{2}+\sqrt{q}$ for even $k$. More generally, we establish $\operatorname{MEC}(k,q)=\frac{q+1+\lfloor2\sqrt{q}\rfloor}{2}$ when $q+1+\lfloor2\sqrt{q}\rfloor$ is even, and $\operatorname{MEC}(k,q)=\frac{q+\lfloor2\sqrt{q}\rfloor}{2}$ when it is odd.

2026-05-28T06:33:38Z Add Reference [16] given by Wang, Liu, Luo and Zhai in this updated version Haojie Chen Chuangqiang Hu Junjie Huang Chang-An Zhao http://arxiv.org/abs/2606.05993v1 2026-06-04T10:42:08Z

The double-directional (DD) wireless channel model is important for realistic system design since it provides complete propagation information. While stochastic and deterministic channel models are widely adopted, and existing machine learning (ML) solutions mostly aim to align future channel realizations, these solutions are often limited to short time spans that may not be statistically significant. Moreover, because the number of multi-path components (MPCs) varies with spatial and temporal variation of the receiver (RX) and/or interacting objects (IOs), typical ML solutions that require fixed, predefined input and output shapes fall short. To curb these limitations, we propose a statistics-aided ML solution that relies on a fixed subset of MPCs selection. More specifically, we first select top-$M$ MPCs, where $M\in\mathbb{Z}^+$ is much smaller than the total number of MPCs, and construct learnable graphs to train our proposed hybrid TimesNet-TimeFilter (TNTF) model. We then use a channel statistics-aided training method to generate future top-M DD channel realizations such that the statistics calculated from these realizations matches closely with those of the actual statistics from the complete time-varying DD channel realizations. We validate the proposed solution using extensive simulations on both synthetic stochastic channel model (SCM)-based and deterministic ray-tracing-based datasets, and demonstrate its effectiveness relative to state-of-the-art baselines.

2026-06-04T10:42:08Z Richmond Boamah Ferdous Pervej http://arxiv.org/abs/2606.05871v1 2026-06-04T08:45:59Z

Distributed uncertainty-management systems often combine local probabilistic models along aggregation trees chosen by communication, privacy, or scheduling constraints. The final density should depend on the weighted sources, not on the particular order in which intermediate nodes combine them. We study this requirement as an algebraic compositionality problem for binary fusion of weighted probability densities. The central question is when a local fusion rule can be executed hierarchically while remaining order-invariant. We establish a compositional boundary for local segment-valued fusion rules. Within the class of continuous binary rules with additive output weights and weight-only coefficients, order-invariant hierarchical execution characterizes normalized weighted linear pooling; norm-induced segment balancing realizes the corresponding coefficient. Smooth endpoint-to-candidate $f$-divergence balancing has a different local geometry: its quadratic expansion induces square-root effective weights, showing why pairwise solvability alone is insufficient for schedule-independent fusion. We show that this obstruction is local to endpoint-to-candidate binary balancing, whereas global divergence barycenters retain additive-weight local limits. Finally, Gaussian mixtures show how the same issue appears in finite model classes: exact fusion is compositional, whereas stepwise compression is compositional only under a congruence condition on unnormalized component measures. These results distinguish exact schedule-independent fusion from global aggregation objectives and local approximation heuristics.

2026-06-04T08:45:59Z Ratan Bahadur Thapa Ali Darijani Jürgen Beyerer Steffen Staab http://arxiv.org/abs/2606.05756v1 2026-06-04T06:32:02Z

Graph Neural Networks (GNNs) have demonstrated remarkable performance across a range of applications involving graph-structured data, particularly in high-stakes domains. However, the opaque nature of their decision-making processes limits their trustworthiness and broader adoption. Existing post-hoc explanation methods aim to improve explainability by identifying subgraphs that influence GNN predictions and adopt mixup strategies to alleviate the out-of-distribution (OOD) issue caused by using subgraphs for prediction. Yet, these approaches typically rely on soft masks, which are inherently unable to fully eliminate label-irrelevant information, allowing redundant structures to leak into the mixup process and hindering the resolution of the OOD problem, thereby degrading explanation fidelity. In this work, we propose HPME, a Hard-Perturbation Mixup Explanation framework grounded in a generalized Graph Information Bottleneck, which leverages graph pooling to extract discrete explanatory subgraphs and to yield an information-capacity bound to thoroughly compress label-irrelevant components. Furthermore, we introduce a novel mixup strategy built upon structure-level replacement, generating in-distribution explanations to effectively mitigate the distribution shift. Extensive experiments on diverse tasks demonstrate that HPME achieves state-of-the-art performance in generating robust and interpretable explanations across both synthetic and real-world datasets.

2026-06-04T06:32:02Z Jialiang Yin Zheng Zhao Linsey Pang Bo Dong Bin Shi Jiaxing Zhang http://arxiv.org/abs/2606.05729v1 2026-06-04T05:43:12Z

Proving Shannon-type entropy inequalities is a fundamental task in information theory that often requires constructing non-trivial linear combinations of known constraints, which is a combinatorial search problem that scales poorly with the number of random variables. We investigate whether small-scale large language models (0.6B--1.7B parameters), fine-tuned on atomic proof steps and combined with guided beam search, can automate this process. On a held-out test set of 60 inequalities spanning n=10 to 15 variables, our 0.6B fine-tuned model achieves an 85\% proof success rate with tree search. GPT-5.5 solves 1.7\% samples under zero-shot prompting while Psitip solves 33.3\% samples. A systematic ablation study across training context length (4096 vs.\ 8192 tokens) and data distribution (n=9-skewed vs not skewed) reveals that a 4096-token not skewed training distribution yields the best performance, with extended context and skewed data providing no marginal benefit. We further identify two dominant failure modes -- format failures and step quality degradation -- and verify that the beam-scoring heuristic is essential via a controlled ablation (random scoring reduces success from 83\% to 23\%).

2026-06-04T05:43:12Z Shing Yin Wong Shaocheng Liu Linqi Song Amin Gohari Cheuk Ting Li http://arxiv.org/abs/2604.13524v2 2026-06-04T05:28:50Z

The resource-theoretic approach to quantum thermodynamics typically assumes perfect knowledge of the thermal equilibrium state, an idealization incompatible with finite experimental precision. We develop a framework for equilibrium uncertainty by representing the equilibrium reference as a set of candidate states. Under a generic geometric condition, we prove a no-go theorem that sharply limits athermality ``purification'': converting an uncertain athermal state into a definite target is either trivial or impossible. We then derive exact one-shot entropic characterizations of work extraction and formation for two work-storage models, a clean battery with known equilibrium and a dirty battery with uncertain equilibrium. Both models exhibit strong asymptotic irreversibility even under arbitrarily small uncertainty. An explicit example reveals two distinct extremes: clean batteries display a bound-entanglement-like phenomenon, with positive formation cost but zero extractable work, whereas dirty batteries allow positive work extraction but require infinite formation cost. These phenomena show that equilibrium uncertainty is not a minor perturbation of the standard theory, but a structural ingredient that fundamentally reshapes the limits of quantum thermodynamics.

2026-04-15T06:16:00Z comments are welcome Munan Zhang Kun Fang http://arxiv.org/abs/2606.05657v1 2026-06-04T03:38:01Z

Sparse recovery aims to reconstruct sparse signals from underdetermined and possibly noisy linear measurements. Existing $\ell_{1-2}$ iterative thresholding schemes are first-order methods. We propose an iterative thresholding pursuit method with continuation (ITP-C) for $\ell_{1-2}$-regularized sparse recovery. The method goes beyond first-order thresholding by combining the active-set identification capability of the $\ell_{1-2}$ proximal step with a restricted least-squares pursuit step that provides a second-order update on the identified support. The support is generated adaptively by the thresholding update, and no prior knowledge of the true sparsity level is required. To control the possible instability of the pursuit step while preserving the descent structure of the continuation scheme, we impose a strict descent check with respect to the dynamic objective. We establish convergence of the generated sequence under the Kurdyka-Lojasiewicz framework and prove a local oracle-type property after correct support identification. Numerical experiments on synthetic sparse recovery and image reconstruction illustrate the descent preservation of the proposed safeguard and demonstrate the improved recovery performance of ITP-C over the state-of-the-art baselines.

2026-06-04T03:38:01Z 23 pages, 6 figures, 2 tables Junxi Wu Zeyu Dong Jun-Feng Yin http://arxiv.org/abs/2603.16275v3 2026-06-04T02:50:38Z

In the evolving landscape of mobile edge computing (MEC), enhancing communication reliability and computation efficiency to support increasingly stringent low-latency services remains a fundamental challenge. Rotatable antenna (RA) is a promising technology that introduces new spatial degrees of freedom (DoFs) to tackle this challenge. In this letter, we investigate an RA-enabled MEC system where antenna boresight directions can be independently adjusted to proactively improve wireless channel conditions for latency-critical users. We aim to minimize the maximum computation latency by jointly optimizing the MEC server computing resource allocation, receive beamforming, and the deflection angles of all RAs. To address the resulting non-convex problem, we develop an efficient alternating optimization (AO) framework. Specifically, the optimal edge computing resource allocation is derived based on the Karush-Kuhn-Tucker (KKT) conditions. Given the computing resources, the receive beamforming is optimized using semidefinite relaxation (SDR) combined with a bisection search. Furthermore, the RA deflection angles are optimized via fractional programming (FP) and successive convex approximation (SCA). Simulation results verify that the proposed RA-enabled MEC scheme significantly reduces the maximum computation latency compared with conventional benchmark methods.

2026-03-17T09:06:47Z Submitted to IEEE Wireless Communications Letters on February 5, 2026 Qiyao Wang Beixiong Zheng Xue Xiong Weidong Mei Changsheng You Qingqing Wu Jie Tang http://arxiv.org/abs/2606.05600v1 2026-06-04T02:25:09Z

This paper investigates a rotatable antenna (RA)-enabled uplink non-orthogonal multiple access (NOMA) system, where a base station equipped with multiple independently RAs serves both ground and aerial users. Specifically, we formulate an energy efficiency (EE) maximization problem by jointly optimizing receive beamforming, user power allocation, and RA rotation. To make the problem tractable, a new block coordinate descent-based algorithm is developed, in which the receive beamforming is updated via the minimum mean square error criterion, while the power allocation and RA rotation are handled by fractional programming and successive convex approximation. Numerical results demonstrate the EE superiority of the proposed RA-NOMA scheme over several benchmarks.

2026-06-04T02:25:09Z Yixuan Li Jun Wang Hongbo Xu Ji Wang http://arxiv.org/abs/2606.05573v1 2026-06-04T01:47:13Z

We study the problem of robust repair of a single erasure in Reed--Solomon codes under low communication bandwidth. Focusing on the Guruswami--Wootters trace repair framework, we investigate whether a failed node can be correctly repaired in the presence of erroneous responses from helper nodes. Equivalently, we view the collection of downloaded traces as a code, which we call the repair-trace code. By characterizing the zero coefficients of the associated polynomial in terms of cyclotomic cosets, we derive upper bounds on the dimension $k$ that allow correction of a given number of erroneous traces $e$, as well as lower bounds on the minimum distance as a function of $k$. For the case $q=2$, we exploit explicit formulas for cyclotomic coset representatives to obtain the exact optimal dimension bound for single-error correction. We also propose two efficient robust repair schemes. Our first scheme achieves the error-correction capability guaranteed by the BCH bound. To approach a stronger bound based on character sums, we develop a second scheme that tolerates more errors at the cost of an additional factor $n$ in computational complexity.

2026-06-04T01:47:13Z Parts of this work were previously presented at IEEE ISIT 2023 (https://ieeexplore.ieee.org/document/10206718) and IEEE ISIT 2024 (https://ieeexplore.ieee.org/document/10619533) Wilton Kim Stanislav Kruglik Gaojun Luo Han Mao Kiah http://arxiv.org/abs/2602.01607v3 2026-06-04T00:07:53Z

Differentially private synthetic data enables the sharing and analysis of sensitive datasets while providing rigorous privacy guarantees for individual contributors. A central challenge is to achieve strong utility guarantees for meaningful downstream analysis. Many existing methods ensure uniform accuracy over broad query classes, such as all Lipschitz functions, but this level of generality often leads to suboptimal rates for statistics of practical interest. Since many common data analysis queries exhibit smoothness beyond what worst-case Lipschitz bounds capture, we ask whether exploiting this additional structure can yield improved utility. We study the problem of generating $(\varepsilon,δ)$-differentially private synthetic data from a dataset of size $n$ supported on the hypercube $[-1,1]^d$, with utility guarantees uniformly for all smooth queries having bounded derivatives up to order $k$. We propose a polynomial-time algorithm that achieves a minimax error rate of $O_{k,d}(n^{-\min \{1, \frac{k}{d}\}})$, up to a $\log(n)$ factor. This characterization uncovers a phase transition at $k=d$. Our results generalize the Chebyshev moment matching framework of (Musco et al., 2025; Wang et al., 2016) and strictly improve the error rates for $k$-smooth queries established in \citep{wang2016differentially}. Moreover, we establish the first minimax lower bound for the utility of $(\varepsilon,δ)$-differentially private synthetic data with respect to $k$-smooth queries, extending the Wasserstein lower bound for $\varepsilon$-differential privacy in (Boedihardjo et al., 2024).

2026-02-02T03:54:11Z COLT 2026 arXiv version. 34 pages Rundong Ding Yiyun He Yizhe Zhu http://arxiv.org/abs/2603.06534v2 2026-06-03T23:38:22Z

Coded caching (CC) can transform cache memory at network devices into an active communication resource and significantly enhance the Degrees of Freedom (DoF) of multi-input multi-output (MIMO) systems by jointly exploiting global caching and spatial multiplexing gains. Existing linearly decodable MIMO-CC designs, however, largely rely on symmetric stream allocation, where all scheduled users receive the same number of streams, which induces coarse DoF granularity and may leave spatial dimensions unused. This letter studies one-shot linearly decodable MIMO-CC delivery with arbitrary per-user stream allocations. We derive a sufficient stream-count decodability condition, expressed through per-user stream counts and multicast-codeword multiplicities, that generalizes the symmetric common-stream feasibility rule. Building on this condition, we develop a greedy multicast scheduling procedure with certified linear decodability, which redistributes coded multicast messages across transmission intervals to realize asymmetric stream allocations. Numerical results show that the proposed scheduler fills DoF-granularity gaps and improves finite-SNR symmetric rates over the state of the art.

2026-03-06T18:22:57Z Mohammad NaseriTehrani MohammadJavad Salehi Antti Tölli http://arxiv.org/abs/2604.03634v5 2026-06-03T23:29:17Z

We establish that temporal averaging over multiple observations is the degenerate case of algebraic group action with the trivial group $G=\{e\}$. A General Replacement Theorem proves that a group-averaged estimator from one snapshot achieves equivalent subspace decomposition to multi-snapshot covariance estimation. The Trivial Group Embedding Theorem proves that the sample covariance is the accumulation of trivial-group estimates, with variance governed by a $(G,L)$ continuum as $1/(|G|\cdot L)$. The processing gain $10\log_{10}(M)$ dB equals the classical beamforming gain, establishing that this gain is a property of group order, not sensor count. The DFT, DCT, and KLT are unified as group-matched special cases. We conjecture a General Algebraic Averaging Theorem extending these results to arbitrary statistics, with variance governed by the effective group order $d_{\mathrm{eff}}$. Monte Carlo experiments on the first four sample moments across five group types confirm the conjecture to four-digit precision. The framework exploits the $structure$ of information (representation-theoretic symmetry of the data object) rather than the content, complementing Shannon's theory. Five applications are demonstrated: single-snapshot MUSIC, massive MIMO, single-pulse waveform classification, graph signal processing, and analysis of transformer LLMs. Techniques for blind group matching are described.

2026-04-04T08:08:34Z 41 pages, 14 figures. v3: Retracted six quantitative findings in Section 11, transformer application, due to implementation error in spectral concentration metric. Corrected results deferred to separate publication. Remark added after Conjecture 23 on orbit-structure bias in psi criterion. All other sections unaffected v4: new result on blind group matching; v5: corrected/updated metrics Mitchell A. Thornton http://arxiv.org/abs/2604.19983v5 2026-06-03T23:12:35Z

We present principles of algebraic diversity (AD), a group-theoretic approach to signal processing exploiting signal symmetry to extract more information per observation, complementing classical methods that use temporal and spatial diversity. The transformations under which a signal's statistics are invariant form a matched group; this group determines the natural transform for analysis, and averaging an estimator over the group action reduces variance without requiring additional snapshots. The viewpoint is broadened in five directions beyond the single-observation measurement of a companion paper. Rank promotion admits AD on scalar data streams and identifies the law of large numbers as the trivial-group case of a $(G, L)$ continuum combining sample-count with group-orbit averaging. An eigentensor hierarchy handles signals with nested symmetry. A blind group-matching methodology identifies the matched group from data via a polynomial-time generalized eigenvalue problem on the unitary Lie algebra, placing the DFT, DCT, and Karhunen--Loève transforms as distinguished points on a transform manifold. A cost-symmetry matching principle then extends AD from measurement to blind and adaptive signal processing generally; blind equalization is given as a detailed example, with the Constant Modulus Algorithm's residual phase ambiguity predicted analytically and matched within two degrees on 3GPP TDL multipath channels, and other blind problems in signal processing are mapped into the framework. Four theorems formalize a structural capacity $κ$, the Rényi-2 analog of Shannon and von Neumann's Rényi-1 entropies, quantifying how a signal's information is organized rather than how much information it contains. AD relationship to prior algebraic approaches including invariant estimation, minimax robust estimation, algebraic signal processing, and compressed sensing.

2026-04-21T20:47:14Z v2: updated blind group matching results for the non-Abelian case; v3: corrected $κ$ inconsistency, added 1973 Hill citation v4: updated blind group matching results; v5: clarified metrics, new metric added Mitchell A. Thornton http://arxiv.org/abs/2606.05454v1 2026-06-03T21:23:45Z

In the sequence reconstruction problem, a codeword $\x$ is transmitted through several identical channels where each channel produces a noisy read of $\x$, and the problem is to analyze how to uniquely reconstruct $\x$ based on these noisy reads. Levenshtein has studied the minimum number of reads which guarantees unique reconstruction of $\x$, which is one sufficient condition for unique reconstruction. In this paper, we move on to a different perspective and propose a new framework for unique reconstruction. Our new sufficient condition for unique reconstruction takes both the number of reads and the distances among the reads into consideration. We offer both theoretical analysis and corresponding efficient reconstruction algorithms for our reconstruction framework.

2026-06-03T21:23:45Z Chen Wang Eitan Yaakobi Yiwei Zhang