Practical Low-Weight Codes for Energy-Efficient Bus Encoding

2026-06-12T07:36:49Z

We consider the transmission of data encoded into binary messages, with the goal of minimizing the Hamming distance, i.e., the number of bit-flips, between consecutive messages. This problem is relevant for enhancing the longevity of Non-Volatile Memories and reducing transition-induced energy consumption in data buses. Known as Write-Efficient Memory coding in the literature, this challenge has traditionally been addressed using optimal but complex schemes. In low-power computer systems the same topic is known as bus encoding. In this paper, we derive closed-form expressions to evaluate the average number of bit-flips for practical, sub-optimal encoding schemes, and propose two new schemes assisted by predefined random codebooks. We demonstrate that low-complexity solutions achieve performance very close to the optimal schemes, making them attractive for implementation in energy-sensitive and memory-critical applications. For instance, by adding 8 extra bits to 64-bits data, sub-optimal schemes can achieve a bit-flip reduction (related to energy saving) of approximately 24.7%, compared to the 26.4% reduction offered by the significantly more complex optimal scheme.

Harnessing Rydberg Atomic Receivers: From Quantum Physics to Wireless Communications

2026-06-12T06:14:39Z

The intrinsic integration of Rydberg atomic receivers into wireless communication systems is proposed, by harnessing the principles of quantum physics in wireless communications. More particularly, we conceive a pair of Rydberg atomic receivers, one incorporates a local oscillator (LO), referred to as an LO-dressed receiver, while the other operates without an LO and is termed an LO-free receiver. The appropriate wireless model is developed for each configuration, elaborating on the receiver's responses to the radio frequency (RF) signal, on the potential noise sources, and on the signal-to-noise ratio (SNR) performance. The developed wireless model conforms to the classical RF framework, facilitating compatibility with established signal processing methodologies. Next, we investigate the associated distortion effects that might occur, specifically identifying the conditions under which distortion arises and demonstrating the boundaries of linear dynamic ranges. This provides critical insights into its practical implementations in wireless systems. Finally, extensive simulation results are provided for characterizing the performance of wireless systems, harnessing this pair of Rydberg atomic receivers. Our results demonstrate that LO-dressed systems achieve a significant SNR gain of approximately 40~50 dB over conventional RF receivers in the standard quantum limit regime. This SNR head-room translates into reduced symbol error rates, enabling efficient and reliable transmission with higher-order constellations.

Explainable Task-Oriented Token Communication for AI-Native 6G Networks

2026-06-12T05:52:08Z

The integration of Foundation Models (FMs) and wireless communications is driving the evolution of image communication from bit-accurate transmission toward task-oriented transmission. However, existing task-oriented image communication methods still face three major challenges: insufficient task-oriented Token representation, inadequate collaboration between Visual Tokens and Task Tokens, and limited interpretability of task decisions. To address these challenges, we propose an Explainable Task-Oriented Token Communication (ET-TokenCom) framework. By treating Tokens as unified units for information representation and transmission, the proposed framework constructs an end-to-end communication link that spans visual perception, wireless transmission, and task reasoning. At the transmitter, the ET-TokenCom framework extracts Visual Tokens from images to preserve low-level visual information. Meanwhile, Task Tokens generated by the FM are introduced to represent the target information and decision intent required by the current task. A Cross-Modal Attention (CMA) fusion mechanism is further designed, enabling Task Tokens to explicitly guide the selection, weighting, and transmission of Visual Tokens. At the receiver, the framework integrates Token decoding with an explainable output mechanism, where attention heatmaps are generated to highlight critical perceptual regions under different task objectives and reveal the influence of Task Tokens on the outputs. Finally, simulation results validate the effectiveness and robustness of the proposed ET-TokenCom framework.

Hierarchical Identity-Based Signature with Designated Aggregator from Lattices

2026-06-12T04:06:17Z

In hierarchical organizations, authenticating data from multiple users can be complex and resource-intensive. Hierarchical Identity-Based Signature with Designated Aggregator (HIBS-DA) provides an efficient solution by allowing users at different levels to generate signatures that can be combined into a single, compact signature. We first introduce the HIBS-DA framework and present the {\em{first}} lattice-based construction of HIBS-DA. Our scheme allows users at different hierarchical levels to generate individual signatures that can be aggregated into a single, compact signature, reducing communication and verification costs. The proposed construction is secure, correct, and resistant to forgery, making it suitable for large-scale environments such as universities, corporations, and government agencies.

Mitigating Heterogeneity-Induced Drift in Hierarchical Sign-Based Federated Learning

2026-06-11T23:20:52Z

Hierarchical federated learning (HFL) is well suited for large-scale wireless and Internet of Things systems, where devices communicate with nearby edge servers before reaching the cloud. In these environments, uplink bandwidth and latency impose strict communication constraints, making aggressive gradient compression essential. One-bit sign-based stochastic gradient descent methods provide an attractive solution in flat federated settings, but their behavior in hierarchical edge--cloud architectures remains insufficiently understood, especially under inter-cluster data heterogeneity. To address this gap, we develop a sign-based HFL framework in which devices transmit binary stochastic-gradient signs to edge servers, edge servers apply majority voting, and the cloud periodically aggregates edge models. Our analysis reveals that inter-cluster heterogeneity induces a persistent bias term in the convergence bound, reflecting the drift of edge models toward local objectives. This term cannot be removed by increasing the number of training rounds or by tuning standard hyperparameters alone. We therefore propose $\mathtt{DC\text{-}HierSignSGD}$, a drift-corrected sign-based HFL algorithm in which devices apply a cloud-assisted gradient correction before taking the sign. We show that this pre-sign correction mitigates the non-vanishing heterogeneity-induced bias while preserving binary device--edge communication during the repeated local sign-update steps. Experiments under severe inter-cluster heterogeneity demonstrate that $\mathtt{DC\text{-}HierSignSGD}$ improves the stability and accuracy of sign-based HFL and achieves performance comparable to full-precision hierarchical SGD with substantially lower device--edge communication.

A $q$-Caputo Fractional Generalization of Tsallis Entropy

2026-06-11T21:51:26Z

In this work we build a $q$-Caputo fractional generalization of the Tsallis entropy functional $S_q$. The construction starts from the already known Jackson derivative representation of $S_q$ and replaces the Jackson derivative with a Caputo type $q$-fractional operator ${}^{C}D_q^α$. The parameter $q$ keeps its standard role as the nonextensive index, while the fractional parameter $α$ gives a nonlocal, memory like contribution in the entropy generating procedure. The resulting functional, denoted by $S_q^α$, is written as a convergent series of logarithms in the probabilities and is defined for $0<α<1$, $q>0$, and $p_i>0$. We show explicitly that the standard Tsallis entropy is recovered in the local limit $α\to 1$. We then start rewriting $S_q^α$ in trace form and analyze its main structural properties. Non-negativity is tested numerically in a binary and ternary probability distributions. These tests show positive values in the respective domains, but they are interpreted just as numerical evidence rather than as a global/formal proof. Concavity is studied through the second derivative of the trace form contribution yielding to a parameter dependent condition. A global statement requires control over the full probability domain. We also discuss Lesche stability and expansibility. Both properties depend on the behavior of the fully resumed functional near its boundary $p\to 0^+$, because the entropy contains powers of $\ln p_i$. Finally, we derive the composition rule for statistically independent subsystems. The logarithmic structure produces mixed moments, so the standard Tsallis pseudo-additive law is not directly inherited for $0<α<1$. As an illustration, we evaluate the proposed entropy in a two-state fractional relaxation process with memory.

Degree-Four Vector-Coordinate SoS Cannot Detect the MUB Upper Bound

2026-06-11T20:49:30Z

We prove a degree-four Sum-of-Squares lower bound for the standard vector-coordinate formulations of mutually unbiased bases. For every dimension $d$ and every proposed number $m$ of bases, we construct a degree-four pseudoexpectation satisfying the orthonormality constraints and the cross-unbiasedness constraints in the quartic equality formulation. The construction is expectation over $m$ independent Haar-random orthonormal bases. We also prove that the same pseudoexpectation satisfies the degree-four localizing constraints for the natural $2\times 2$ Hermitian semidefinite formulation of the cross-coherence inequalities. Consequently, degree-four vector-coordinate SoS cannot refute the existence of $m$ mutually unbiased bases, even when $m>d+1$. In particular, under the two vector-coordinate encodings explicitly described in Randomstrasse101 Open Problem 23, degree-four SoS cannot prove that seven mutually unbiased bases do not exist in $\mathbb C^6$. We contrast this with a centered projector-coordinate Gram formulation, where degree-four SoS already recovers the elementary upper bound $m\le d+1$, giving a simple separation between vector-coordinate and projector-coordinate degree-four relaxations.

Stability of a Generalized Debiased Lasso with Applications to Resampling-Based Variable Selection

2026-06-11T18:17:23Z

We propose a generalized debiased Lasso estimator based on a stability principle. When a single column of the design matrix is perturbed, the estimator admits a simple update formula that can be computed from the original solution. Under sub-Gaussian designs with well-conditioned covariance, this approximation is asymptotically accurate for all but a vanishing fraction of coordinates in the proportional growth regime. The proof relies on concentration and anti-concentration arguments to control error terms and sign changes. In contrast, establishing comparable distributional limits (e.g., Gaussianity) under similar assumptions remains open. As an application, we show that the approximation significantly reduces the computational cost of resampling-based variable selection procedures, including the conditional randomization test and a local knockoff filter.

Beyond LoRA: Is Sparsity-Induced Adaptation Better?

2026-06-11T17:59:01Z

Low-rank adaptation (LoRA) and its variants provide a memory- and compute-efficient alternative to full fine-tuning of pre-trained models. However, questions remain about the comparative generalizability of these approaches and how the structural restrictions on low-rank updates preserve effective adaptation performance. We present a historical framing, covering the past (full fine-tuning and original LoRA), the present (different variants of LoRA), and propose simpler, cheaper, parameter-efficient extensions by inducing sparsity within existing LoRA variants: Cheap LoRA (cLA), training a single low-rank factor with the other fixed (deterministically or, in its randomized variant, stochastically), and the chained circulant variant, ${c}^3$LA. We frame cLA as a structured instance of asymmetric LoRA, serving as a controlled column-subspace restriction of full fine-tuning. We derive information-theoretic generalization error bounds for these variants, marking one of the first endeavors in this area. Empirically, we evaluate 11 fine-tuning methods across 10 pre-trained models and 14 datasets, analyzing the fine-tuned models' performance and generalization using tools such as loss landscapes and spectral analysis. Despite the sensitivity of fine-tuned models to the pre-trained model, datasets, and other factors, our study suggests that restricting LoRA-based PEFT methods' adaptation to a sparse, structured column space remains competitive across tasks with their parameter-matched baselines while reducing up to 10% training time and peak GPU memory up to 15%, even with a naïve, non-optimized, sparse implementation. Our theoretical and empirical generalization measures provide a more consistent and principled approach to their cost-effective adaptation than commonly used analytical tools. Overview and code are available at: https://elicaden.github.io/Beyond_LoRA/.

Non-Simple T-Prescriptions Yield T-Complexity Gains Infinitely Often

2026-06-11T17:42:08Z

Titchener et al. (2005) asked whether non-simple T-prescriptions can achieve larger T-complexity than simple T-prescriptions for infinitely many finite values of the maximum codeword length. We answer this question affirmatively for every fixed alphabet of size at least two. In fact, we prove a stronger upper-envelope statement: for infinitely many lengths $N$, there exists a valid non-simple T-prescription of exact maximum codeword length $N$ whose T-complexity exceeds the best value attainable by any simple prescription with maximum codeword length at most $N$. Hence the unrestricted exact-length maximum over prescriptions is strictly larger than the corresponding simple exact-length maximum for infinitely many $N$. The proof is elementary. Once a copy pattern has been used, it cannot be selected again. Thus simple prescriptions with more and more steps must use ever more distinct words, which forces the minimal simple length thresholds to have infinitely many strict upward jumps. At each such jump, changing the last copy factor of a minimal simple prescription from $1$ to $2$ yields a valid non-simple prescription, thereby increasing T-complexity by $\log_2 3-1$ while staying below the next simple threshold.

Sharp Detection Threshold for Correlation among Multiple Unlabeled Gaussian Networks

2026-06-11T17:22:37Z

This paper studies the hypothesis testing problem of deciding whether $m \geq 2$ complete weighted graphs with Gaussian edge weights are mutually correlated after unknown relabelings of their vertices. Under the null model all edge weights are independent standard Gaussians, whereas under the planted model the graphs share a latent vertex alignment and each pair of corresponding edge weights has correlation $ρ$. For fixed $m$, we identify the sharp information-theoretic threshold for detection. Above the threshold, a generalized likelihood-ratio test achieves strong detection, whereas even weak detection is impossible below the threshold. The result extends the two-graph detection threshold of Wu, Xu, and Yu to any fixed number of graphs, exhibits a side-information regime in which two graphs alone are insufficient but multiple graphs enable detection, and, together with the recovery threshold of Vassaux and Massoulié, shows that this Gaussian multi-graph model has no detection--recovery gap.

Max-Min Secrecy Rate Optimization for Secure ISAC Networks: Global Optimization and Low-Complexity Algorithm

2026-06-11T17:05:46Z

In this paper, we investigate a secure integrated sensing and communication (ISAC) system in which multiple communication users (CUs) coexist with multiple untrusted sensing users (SUs) that may eavesdrop on the confidential information intended for the CUs. To promote security fairness among users, we formulate a max-min secrecy rate optimization problem subject to a transmit power budget and sensing quality requirements characterized by beampattern matching error constraints. The resulting design problem is highly non-convex due to the secrecy rate expressions and non-convex sensing constraints. To address these challenges, we first reformulate the problem using semidefinite relaxation (SDR). Based on the reformulated problem, we develop a branch-and-bound (BB) framework combined with convex relaxations to obtain the globally optimal solution within a prescribed accuracy. To further reduce computational complexity, we propose a low-complexity algorithm based on successive convex approximation (SCA), which iteratively solves a sequence of convex subproblems and converges to a local solution. Numerical results demonstrate that the proposed BB algorithm achieves the global optimum and provides a benchmark for performance evaluation. Moreover, the proposed SCA-based algorithm attains near-optimal secrecy performance with significantly lower computational complexity, making it attractive for practical ISAC deployments.

Fundamental Limits of Hypergraph Edge Partitioning under Independent Edge Sampling

2026-06-11T15:39:55Z

Hypergraph edge partitioning is a central problem in theoretical and applied computer science, with broad impact on distributed computation, communications, optimization, and machine learning. In this setting, one is given a collection of hyperedges -- each consisting of up to $d$ vertices from a ground set of size $n$ -- and seeks to assign these hyperedges across $N$ partitions so as to minimize, for example, the vertex footprint, i.e., the maximum number of vertices that appear in any partition. We here identify the fundamental limits of hypergraph edge partitioning -- optimized over all conceivable algorithms -- for a broad class of probabilistic hypergraph models where each hyperedge may appear independently with \emph{its own} probability; a model sufficiently general to encompass well-known models such as the Degree-Corrected or Mixed-Membership models, the Hypergraph Stochastic Block model, the Latent-Space/Geometric or Kernel Models, and others. By pairing our deterministic partitioner with a new converse, we first show that, for any $n,d$, and under the very mild condition of $N \leq \binom{\lfloor\sqrt{\frac{nd}{2}}\rfloor}{d}$, as long as the hyperedge set $\mathbf{X}$ satisfies $|\mathbf{X}| \gtrsim n N \log N$, then with probability at least $1-2/3n^z$, no algorithm can provide a footprint $π_{\mathbf{X}}$ less than $$π^{\bigstar}_{\mathbf{X}} = \frac{1}{2\sqrt{2}}\frac{n}{N^{1/d}}. $$ We then show that our hypergraph partitioner comes to within a small constant factor from $π^{\bigstar}_{\mathbf{X}}$, for each $\mathbf{X}$. This optimality captures dense and sparse hypergraphs alike (with sizes down to linear in $n$), and it additionally entails a near-optimally balanced allocation of hyperedges across partitions.

$W-δ-μ$ dual codes and LCD codes

2026-06-11T15:19:31Z

We introduce a new product on the ambient space $F_q^n$ as a generalization of Euclidean, Hermitian and $δ$ products. We give some general properties of the dual codes, relation with Euclidean duals, definition and characterization of self orthogonal, self dual, dual containing and LCD codes along with certain existence conditions. Also, we calculate the dual codes of some classes of codes like repetition, binary and $λ$-constacyclic codes with respect to this product. Further, we extend and analyse this notion of the product for codes over semisimple rings.

Fixed-Threshold One-Bit Toeplitz Covariance Estimation under Sparse-Ruler Sampling

2026-06-11T14:09:20Z

We study Toeplitz covariance estimation when fixed-threshold one-bit quantization is combined with deterministic sparse-ruler sampling, so that each observed bit is reused across many lag products. At a nonzero threshold the signs have nonzero mean, and this reuse gives raw sign products a coherent one-vertex variance component governed by weighted row sums; centering removes it and leaves a degenerate sparse-pair statistic. We prove a Gaussian variance contraction theorem for hollow quadratic forms of bounded coordinate transforms, including hard threshold signs: the variance is bounded by the squared correlation operator norm times the squared Frobenius norm of the edge weights, with constants independent of dimension, support size and maximum degree. For the oracle centered sparse-ruler estimator, the leading operator-norm term is $γ_0L_1κ_{\rm obs}\sqrt{\varphi(Ω)\log d/n}$, where $\varphi(Ω)=\sum_{s=1}^{d-1}q_s^{-1}$ is the coverage coefficient of the ruler; pooled marginal calibration from the $n|Ω|$ observed bits adds a plug-in term. A spectral-packing lower bound in a known-scale identity-neighborhood submodel shows that this dependence is intrinsic under balanced coverage geometry; in the non-saturated regime where the coverage term dominates, the oracle estimator is minimax rate optimal over this submodel.