Re-Rooting-Based Fault-Tolerant Broadcasting in Dense Gaussian Networks

2026-06-15T16:55:15Z

Dense Gaussian networks provide degree-4 interconnection topologies with small diameter and regular structure, making them suitable for efficient one-to-all broadcasting. However, node failures can disrupt the broadcast process when faulty nodes occupy internal forwarding positions. This paper proposes a lightweight fault-tolerant broadcasting method based on dynamic source relocation, or re-rooting. Instead of constructing redundant spanning trees or backup routing structures, the proposed method selects a new source node so that the faulty nodes are located at graph distance $k$, the network diameter, from the new source. Consequently, faulty nodes become leaf-level nodes in the broadcast process and are not required to forward the message. For the single-fault case, the new source is selected directly from the graph-distance-$k$ boundary of the faulty node. For the two-fault case, we prove that for any pair of faulty nodes in $G(k+(k+1)i)$, there exists a node whose graph distance from both faulty nodes is exactly $k$. The source-selection procedure requires $O(k)$ time. Since the original one-to-all broadcast completes in $k$ parallel steps and the relocation distance is at most $k$, the proposed method completes in at most $2k$ steps in the worst case. We also show that the two-fault guarantee does not generally extend to arbitrary three-fault configurations by giving a counterexample in $G(3+4i)$. Simulation results confirm complete delivery to all non-faulty nodes under the tested one- and two-node failure scenarios, while the baseline broadcast may fail when faulty nodes occur at internal forwarding positions.

A Unified Constant-Time Switch Rule for Constructing Edge-Disjoint Hamiltonian Cycles in Gaussian Networks

2026-06-15T16:02:36Z

Gaussian networks are degree-four symmetric interconnection networks defined over residue classes of Gaussian integers. Earlier work showed that when the generator $α=a+bi$ satisfies $\gcd(a,b)=1$, the real and imaginary dimensions directly form two edge-disjoint Hamiltonian cycles. A later construction extended the result to the non-coprime case $\gcd(a,b)=d>1$, but its proof used long node-sequence tables and separate odd/even cases for $d$. This paper gives a unified closed-form construction that covers both $d=1$ and $d>1$, and also covers both odd and even $d$, without separate case tables. In the rectangular representation with $d$ rows and $r=(a^2+b^2)/d$ columns, the construction uses a constant-time local switch rule for each $q=1,2,\ldots,d-1$ at column $a_q=q-1$. Each switch removes two horizontal edges and inserts two vertical edges. The switched horizontal structure forms the first Hamiltonian cycle, while its edge-complement in the Gaussian network forms the second Hamiltonian cycle. Thus, the full edge set is partitioned into two edge-disjoint Hamiltonian cycles. The construction requires $O(d)$ switch-generation time and $O(N)$ time to list the two cycles, where $N=a^2+b^2$. Exhaustive validation for all $1\leq a\leq b\leq 100$, excluding only the degenerate $N=2$ network, and large-scale validation up to $N=3{,}250{,}000$ confirm the construction.

Quantum uniformity norms are pullbacks of matrix-valued uniformity norms

2026-06-15T15:36:21Z

We show that the quantum uniformity norms recently introduced by Bu, Gu, and Jaffe are the pullbacks, under the Weyl orbit embedding, of the matrix-valued uniformity norms of Gowers and Hatami. This identification yields the Gowers-Cauchy-Schwarz inequality and the triangle inequality for the quantum uniformity norms, answering a question of Bu, Gu, and Jaffe. In the extremal regime, it describes the Clifford levels of Gottesman and Chuang in terms of certain unitary-valued Leibman polynomial maps on finite vector spaces.

Reducing Turbulence-Induced Outages in a Deployed Terrestrial Free-Space Optical Communication Link via Interleaving

2026-06-15T15:31:04Z

We present an experimental study of data interleaving for terrestrial free-space optical communication over a 4.6~km urban testbed. Results demonstrate a two-order-of-magnitude reduction in outage probability. A dependency between measured turbulence strength, interleaver length, and achievable data rate is revealed, enabling robust system design.

Mixed Block Markov Superposition Transmission Codes

2026-06-15T15:10:58Z

Block Markov superposition transmission (BMST) codes provide a flexible framework for constructing codes with near-capacity performance and low-complexity sliding-window decoding. However, existing BMST variants show contrasting performance limitations: recursive BMST (rBMST) codes suffer from error propagation but avoid high error floors, whereas non-recursive BMST codes exhibit the opposite behavior. Motivated by these complementary characteristics, we combine recursive and non-recursive components through parallel and serial concatenation, yielding mixed BMST (mBMST) codes. The proposed framework subsumes existing BMST variants and enables new BMST structures. Simulations show that these structures improve FER and BER performance with lower memory requirements than rBMST.

How Controlling the Variance can Improve Training Stability of Sparsely Activated DNNs and CNNs

2026-06-15T14:28:05Z

The Edge-of-Chaos (EoC) theory developed for the random initialization of deep networks allows more efficient training by both preserving information in the initial outputs of the network and minimising exploding or vanishing gradients through characterisation of the intermediate layers as Gaussian processes. This EoC theory provides formulae for the choice of the initialisation distribution variances of the weights and biases. For activations which are approximately linear around the origin, the EoC theory typically encourages the Gaussian process variance to converge towards zero with increasing depth. Here we consider the less studied setting of highly sparsity inducing activations where a large region of values near the origin are set to zero. In this setting we prove a new phenomenon whereby initialisations leading to larger fixed Gaussian processes are beneficial to training stability. This theory informs a new, yet simple, initialisation strategy that allows training DNNs and CNNs with as large as 90\% sparsity in the hidden layers.

Cross-Silo De-Anonymization Under Local Differential Privacy: Threat Model, Phase Transition, and Coordination Necessity

2026-06-15T14:15:08Z

When a person's records appear in k independent data silos, each protected by (epsilon, delta)-differential privacy, standard composition yields a valid (k*epsilon, k*delta)-DP guarantee for the joint output. This worst-case bound, however, does not answer the concrete inference question: at what k can an adversary actually identify a target person? This paper develops the information-theoretic framework needed to answer that question. We introduce cross-silo person-level DP (XSP-DP), a Pufferfish-style privacy notion whose adjacency relation captures all records of a single person across all silos simultaneously, and verify that the standard basic composition bound carries over to this adjacency model. Within this framework we prove that de-anonymization undergoes a phase transition at k* = Theta(log n / epsilon^2) (population size n, per-silo RR parameter epsilon): a Fano lower bound shows any estimator fails for k << k*, while a matching maximum-likelihood upper bound shows the attack succeeds for k >> k*. An explicit XOR + randomized-response construction demonstrates information synergy: each silo's output is individually uninformative about the target, yet the joint mutual information is strictly positive. For non-coordinated binary randomized-response mechanisms, we prove that de-anonymization is inevitable once k exceeds the threshold, establishing that cross-silo coordination is necessary. These results provide a baseline threat model and Theta-level threshold for cross-silo inference attacks under local DP.

Set Shaping Theory Applied to Universal Coding

2026-06-15T14:07:24Z

Universal coders process individual sequences without assuming that the source distribution is known. In this setting, uniformly generated sequences represent the most difficult test case: the source simulates pure randomness, contains no exploitable bias, and forces a frequency-estimating universal coder to infer the empirical composition entirely from the sequence itself. This paper reports that a Set Shaping Theory (SST) transformation systematically reduces the average universal coding length of uniformly generated sequences below the Krichevsky-Trofimov baseline N H_0(s) + R_KT(s). The transformation maps each input sequence s in A^N into an expanded sequence f(s) in A^(N+1), while storing the transformation index in the additional symbol in order to preserve reversibility. The comparison evaluates the exact Krichevsky-Trofimov baseline N H_0(s) + R_KT(s) against the shaped score (N+1)H_0(f(s)) + R_KT(f(s)), where H_0 is computed from the empirical frequencies of the individual sequence. A single unified transformation also yields reductions across distinct compression architectures, including adaptive arithmetic coding, enumerative coding, LZ78, adaptive Huffman coding, and adaptive ANS. These results support the interpretation of SST as a representation-level preprocessing layer that can structurally improve existing universal coders without requiring internal modifications to their coding mechanisms. All results reported in the article can be reproduced with the simulator available at https://sst-simulator.github.io/Set-Shaping-Theory-Simulator/.

An Information Theory of Finite Abstractions and their Fundamental Scalability Limits

2026-06-15T14:05:21Z

Finite abstractions are discrete approximations of dynamical systems, such that the set of abstraction trajectories contains all system trajectories. There is a consensus that abstractions suffer from the curse of dimensionality: for the same ``accuracy" (how closely the abstraction represents the system), the abstraction size scales poorly with system dimensions. And yet, after decades of research on abstractions, there are no formal results on their accuracy-size tradeoff. In this work, we derive a statistical, quantitative theory of abstractions' accuracy-size tradeoff and uncover fundamental limits on their scalability, through rate-distortion theory -- the information theory of lossy compression. Abstractions are viewed as encoder-decoder pairs, encoding trajectories of dynamical systems. Rate measures abstraction size, while distortion describes accuracy, defined as the spatial average deviation between abstract trajectories and system ones. We obtain a fundamental lower bound on the minimum achievable abstraction distortion, given the system dynamics and the abstraction size; and vice-versa a lower bound on the minimum size, for given distortion. The bound depends on the complexity of the dynamics, through trajectory entropy. We demonstrate its tightness on some dynamical systems. Finally, we showcase how this new theory enables constructing minimal abstractions, optimizing the size-accuracy tradeoff, through an example on a chaotic system.

Testing for a Hidden Geometry in Random Graphs

2026-06-15T13:42:33Z

We study the problem of detecting a faint geometric signal hidden in an otherwise random graph. Formally, we consider a hypothesis testing problem in which, under the null, the observed graph is an Erdős--Rényi random graph $\mathcal{G}(n,q)$, while under the alternative a random geometric graph $\mathcal{G}(k,q,d)$ is planted on $k\le n$ vertices. The planted subgraph is generated from independent random points on the unit sphere $\mathbb{S}^{d-1}$, with edges determined by latent geometric proximity and calibrated to have edge density $q$. Our goal is to characterize the statistical and computational limits of detecting this hidden geometry. We derive sharp information-theoretic lower bounds that identify regimes where detection is impossible and provide algorithms that achieve these limits whenever detection is feasible. We further investigate the computational complexity of the problem and determine when efficient polynomial-time tests exist. The model exhibits an \emph{easy--hard--impossible} phase transition: some regimes allow efficient detection, others permit detection only with computationally intractable procedures, and still others render detection impossible even with unlimited computational power. As evidence for the computational barrier, we prove that all low-degree polynomial algorithms fail throughout the conjecturally hard regime, demonstrating a sharp gap between statistical and computational feasibility.

A Lean-Certified Proof of $K_8(4, 2) = 23$

2026-06-15T13:22:24Z

We prove the exact octonary covering-code value $K_8(4, 2) = 23$ in Lean 4. The upper bound is given by an explicit 23-word radius-two code in $(Fin\:8)^4$ , checked over all $8^4$ ambient words. The lower bound excludes covers with at most 22 words. A fiber-counting and missing-pair argument first rules out covers with at most 21 words. In the remaining 22-word case, the proof reduces a hypothetical cover to six missing-pair graphs coming from the coordinate-pair projections. Fiber-counting arguments constrain these graphs, and two Lean-checked Linear RAT (LRAT) refutations of stored conjunctive-normal-form (CNF) instances force a common 3 + 3 + 2 block structure. This structure is incompatible with a 22-word cover: the two three-symbol components already force 18 codewords, while the remaining two-symbol component would require a binary strength-two array of length four with at most four rows, which is impossible. The result is packaged as a proof-carrying Lean artifact: the explicit upper bound, structural lower bound, CNF instances, and LRAT refutations are checked inside Lean, with no external SAT solver used during proof replay.

Superdirectivity as Boundary Concentration under Spectral Collision

2026-06-15T13:08:06Z

Array superdirectivity is traditionally derived through singular optimization of densely spaced antenna arrays. In this paper, we show that the phenomenon admits a geometric interpretation as a concentration effect induced by spectral collision. As the spacing of an $M$-element linear array tends to zero, the exponential family generated by a linear array undergoes a spectral collision, and the associated finite-dimensional subspaces converge in reproducing kernel to a polynomial jet space. The maximum achievable array gain equals the diagonal evaluation of the reproducing kernel, and is therefore governed by the reciprocal Christoffel function. For the classical flat $L^2([-1,1])$ geometry, the Christoffel--Darboux kernel exhibits boundary concentration, yielding the quadratic $M^2$ superdirective law as a direct consequence of kernel asymptotics. This viewpoint separates intrinsic gain limits from numerical conditioning and identifies superdirectivity as a manifestation of a more general concentration mechanism. The framework further shows that the classical $M^2$ scaling is not universal: alternative spectral geometries produce different concentration laws through their associated Christoffel asymptotics. The results establish a direct connection between superdirectivity, reproducing kernels, orthogonal polynomials, and concentration phenomena arising from singular spectral limits.

A geometric approach to generalized covering radii of linear codes

2026-06-15T13:04:33Z

Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.

Enhancing Secret Key Generation for UAV Communications via Codeword Reconstruction

2026-06-15T12:35:39Z

With the rapid advancement of unmanned aerial vehicle (UAV), ensuring the security of communication links among UAVs has become crucial. In this paper, we propose a novel physical layer key generation scheme based on channel codeword reconstruction. In UAV communications, the high mobility of aerial nodes leads to short channel coherence time, which together with noise causes inevitable channel estimation errors. These errors significantly degrades the performance of wireless channel-based key generation. Therefore, we propose a codeword construction algorithm that achieves a polarization characteristic, which effectively segregates reliable keys from unreliable ones. Compared to the existing quantization-based key generation scheme, our approach maximize the utilization of raw channel information and employ soft-decision decoding to generate key. Simulation results demonstrate that the proposed scheme reduces the key disagreement rate for legitimate users and increases the number of consistently generated keys. Furthermore, our method ensures a lower key consistency rate for eavesdropper, which guarantees system security.

Context-Aware Markov VAE for CSI Compression in Wireless Systems

2026-06-15T11:56:43Z

This paper considers neural channel state information (CSI) compression for time-varying massive multiple-input multiple-output (MIMO) channels in frequency division duplex (FDD) systems with limited feedback resources. The main challenge lies in obtaining a compact and efficient representation of the CSI given that it exhibits strong temporal correlation across successive snapshots. Existing memoryless compression models do not exploit this property, while simple temporal extensions often incorporate multiple observations without explicitly modeling the latent dynamics. We propose a context-aware compression framework based on a k-memory Markov variational autoencoder (k-MMVAE), which uses a finite temporal window to capture the evolution of CSI in the latent space. The model introduces Markov-structured latent dynamics with finite memory, enabling efficient use of temporal dependencies for compression. Simulation results show that the proposed approach improves target CSI reconstruction performance compared to memoryless and weakly sequential baselines, particularly at low and moderate compression rates. These results suggest that explicit latent temporal modeling can provide an effective mechanism for CSI compression under limited feedback constraints.