Closed-Form and Constant-Time New-Source Selection for Fault-Tolerant Broadcasting in Dense Eisenstein--Jacobi Networks
Abstract
Fault-tolerant broadcasting in dense Eisenstein--Jacobi networks requires efficient recovery when faulty nodes disrupt the original broadcast structure. A re-rooting-based method guarantees that, for any two faulty nodes, a valid new source exists at maximum graph distance from both faults. However, identifying such a source without scanning the network or testing all boundary candidates remains an open practical problem. This paper presents a closed-form, constant-time algorithm for counting and selecting a valid new source in dense Eisenstein--Jacobi networks under two node faults. The two-fault problem is reduced to a boundary-intersection problem involving the origin and a difference node. The distance-t boundary, where t is the network diameter, is partitioned into six directed sides of the Eisenstein--Jacobi hexagon. Since the network is a quotient structure, intersection equations are solved modulo the defining lattice, requiring evaluation of seven quotient-lattice shifts across all 6× 6 side pairs, yielding at most 252 algebraic systems. The first algorithm counts all valid new sources for faults at 0 and A. The second algorithm selects one valid new source for arbitrary fault pairs by solving translated side-pair systems, verifying each candidate, and shifting back. Each system is either a non-parallel 2× 2 linear system with at most one candidate, or a parallel system whose feasible candidates form an integer interval. Both algorithms run in O(1) time under the fixed-word arithmetic model. Computational validation over 500,000 sampled fault pairs and 40,000 re-rooting trials confirms correctness: the selector always returns a valid new source, and the recovered broadcast reaches all non-faulty nodes.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.