On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes
Pith reviewed 2026-05-24 04:21 UTC · model grok-4.3
The pith
The n-dimensional locally twisted cube admits floor(n/2) completely edge-independent spanning trees.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In LTQ_n the largest possible collection of completely edge-independent spanning trees has size floor(n/2), and an algorithm exists that produces precisely that many trees whose edge sets are pairwise disjoint.
What carries the argument
Recursive construction algorithm that assigns edges from paired dimensions of the twisted-cube definition to separate spanning trees without overlap.
If this is right
- Broadcasting latency drops when the floor(n/2) trees are used in parallel rather than a single tree.
- The construction saturates the upper bound on the number of CEISTs.
- Any two nodes remain connected by floor(n/2) edge-disjoint paths inside the chosen trees.
- Network functions that rely on edge-disjoint routes, such as load-balanced routing, become feasible up to that multiplicity.
Where Pith is reading between the lines
- The same recursive pairing technique may extend to other hypercube variants whose edge rules preserve similar dimension independence.
- The achieved multiplicity floor(n/2) supplies a concrete lower bound on the edge-connectivity usable for simultaneous message passing.
- In a faulty LTQ_n the remaining trees continue to span after up to floor(n/2)-1 edge failures that hit distinct trees.
Load-bearing premise
The twisting rules that connect vertices across dimensions in LTQ_n leave enough unused edges at each recursive step to complete floor(n/2) edge-disjoint spanning trees.
What would settle it
An explicit listing, for some n greater than 2, of fewer than floor(n/2) pairwise edge-disjoint spanning trees in LTQ_n, or a proof that no larger set exists.
Figures
read the original abstract
A network can contain numerous spanning trees. If two spanning trees $T_i,T_j$ do not share any common edges, $T_i$ and $T_j$ are said to be pairwisely edge-disjoint. For spanning trees $T_1, T_2, ..., T_m$, if every two of them are pairwisely edge-disjoint, they are called completely edge-independent spanning trees (CEISTs for short). CEISTs can facilitate many network functionalities, and constructing CEISTs as maximally allowed as possible in a given network is a worthy undertaking. In this paper, we establish the maximal number of CEISTs in the locally twisted cube network, and propose an algorithm to construct $\lfloor \frac{n}{2} \rfloor$ CEISTs in $LTQ_n$, the $n$-dimensional locally twisted cube. The proposed algorithm has been actually implemented, and we present the outputs. Network broadcasting in the $LTQ_n$ was simulated using $\lfloor\frac{n}{2}\rfloor$ CEISTs, and the performance compared with broadcasting using a single tree.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the maximum number of completely edge-independent spanning trees (CEISTs) in the n-dimensional locally twisted cube LTQ_n is floor(n/2). It proposes and implements an algorithm to construct exactly this number of pairwise edge-disjoint spanning trees, presents the algorithm outputs, and simulates network broadcasting performance using floor(n/2) CEISTs versus a single spanning tree.
Significance. If the maximality claim and construction hold, the result supplies an explicit, linear-size set of edge-disjoint spanning trees for a standard hypercube variant used in interconnection networks, together with an implemented construction and a concrete broadcasting simulation; these elements directly support improved fault tolerance and communication primitives in distributed systems.
major comments (2)
- [Abstract] Abstract: the assertion that floor(n/2) is both the maximal number and achievable via the proposed algorithm is stated without any proof sketch, edge-counting argument, or pointer to the section containing the upper-bound derivation; the maximality claim therefore cannot be checked against the manuscript's derivations.
- [Construction section (presumed §3)] The recursive definition of LTQ_n and the inductive construction of the floor(n/2) CEISTs are invoked to support achievability, yet no inductive step, edge-disjointness verification, or spanning-tree coverage argument is visible; this leaves the central construction claim load-bearing but unverifiable from the supplied text.
minor comments (1)
- [Abstract] The adverb 'pairwisely' (Abstract) is nonstandard; replace with 'pairwise'.
Simulated Author's Rebuttal
We thank the referee for the detailed comments on our manuscript. We address each major comment below and will make the indicated revisions to improve clarity and verifiability of the claims.
read point-by-point responses
-
Referee: [Abstract] Abstract: the assertion that floor(n/2) is both the maximal number and achievable via the proposed algorithm is stated without any proof sketch, edge-counting argument, or pointer to the section containing the upper-bound derivation; the maximality claim therefore cannot be checked against the manuscript's derivations.
Authors: We agree that the abstract lacks pointers to the relevant sections. In the revised version we will add explicit references to the section proving the upper bound (via edge-counting argument) and the section presenting the construction, so that the maximality claim can be directly located and verified. revision: yes
-
Referee: [Construction section (presumed §3)] The recursive definition of LTQ_n and the inductive construction of the floor(n/2) CEISTs are invoked to support achievability, yet no inductive step, edge-disjointness verification, or spanning-tree coverage argument is visible; this leaves the central construction claim load-bearing but unverifiable from the supplied text.
Authors: The manuscript contains a recursive definition of LTQ_n and an inductive construction in Section 3. However, we acknowledge that the inductive step, the explicit verification of pairwise edge-disjointness, and the argument that each constructed tree spans all vertices are not presented with sufficient detail or separation. We will revise Section 3 to include a clear inductive proof, a separate lemma establishing edge-disjointness, and a coverage argument for each tree. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper establishes maximality of floor(n/2) CEISTs in LTQ_n and supplies an explicit construction algorithm based on the standard recursive definition of the locally twisted cube. No load-bearing step reduces a claimed result to a fitted parameter, self-citation chain, or definitional tautology; the argument proceeds by direct inductive construction on the graph's edge rules and is externally verifiable via the stated implementation and simulation.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We propose a recursive algorithm, named CEISTs LTQ, that constructs floor(n/2) CEISTs T1,... in the LTQn
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
LTQn is built from two disjoint copies of LTQn-1 ... connected by an edge where ui = vi and ui-1 = vi-1 ⊕ u0
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Optimal broadcasting and personalized communication in hypercubes
Johnsson SL, Ho CT. Optimal broadcasting and personalized communication in hypercubes. IEEE Trans- actions on Computing, 1989, 38(9):1249-1268. doi:10.1109/12.29465
-
[2]
Edge-disjoint spanning trees on the star network with applications to fault toler- ance
Fragopoulou P, Akl SG. Edge-disjoint spanning trees on the star network with applications to fault toler- ance. IEEE Transactions on Computing, 1996, 45(2):174-185. doi:10.1109/12.485370
-
[3]
Reliable broadcasting and secure distributing in channel networks
Bao F, Funyu Y , Hamada Y , Igarashi Y . Reliable broadcasting and secure distributing in channel networks. Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN’97), 1997, pp. 472-478
work page 1997
-
[4]
Independent spanning trees in networks: A survey
Cheng B, Wang D, Fan J. Independent spanning trees in networks: A survey. ACM Computing Surveys, 2023, 55(14s):1-29. doi:10.1145/3591110
-
[5]
A survey of the theory of hypercube graphs
Harary F, Hayes JP, Wu HJ. A survey of the theory of hypercube graphs. Computers & Mathematics with Applications, 1988, 15(4):277-289
work page 1988
-
[6]
Parallel construction of optimal independent spanning trees on hypercubes
Yang J-S, Tang S-M, Chang J-M, Wang Y-L. Parallel construction of optimal independent spanning trees on hypercubes. Parallel Computing, 2007, 33(1):73-79. doi:10.1016/j.parco.2006.12.001. 24 X. Li et al. / On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes
-
[7]
Optimal independent spanning trees on hypercubes
Tang S-M, Wang Y-L, Leu Y . Optimal independent spanning trees on hypercubes. Journal of Information Science and Engineering, 2004, 20(1):143-155
work page 2004
-
[8]
On edge-disjoint spanning trees in hypercubes
Barden B, Libeskind-Hadas R, Davis J, Williams W. On edge-disjoint spanning trees in hypercubes. In- formation Processing Letters, 1999, 70(1):13-16. doi:10.1016/S0020-0190(99)00033-2
-
[9]
Ku S-C, Wang B-E, Hung T-K. Constructing edge-disjoint spanning trees in product networks. IEEE Transactions on Parallel and Distributed Systems, 2003, 14(3):213-221. doi:10.1109/TPDS. 2003.1189580
-
[10]
Edge-disjoint spanning trees and forests of graphs
Zhou J, Bu C, Lai H-J. Edge-disjoint spanning trees and forests of graphs. Discrete Applied Mathematics, 2021, 299:74-81. doi:10.1016/j.dam.2021.04.024
-
[11]
Edge-disjoint spanning trees for the generalized butterfly networks and their applications
Touzene A, Day K, Monien B. Edge-disjoint spanning trees for the generalized butterfly networks and their applications. Journal of Parallel and Distributed Computing, 2005, 65(11):1384-1396. doi:10.1016/j.jpdc.2005.05.009
-
[12]
Oliva G, Cioaba S, Hadjicosyis CN. Distributed calculation of edge-disjoint spanning trees for robustify- ing distributed algorithms against Man-in-the-Middle attacks. IEEE Transactions on Control of Network Systems, 2018, 5(4):1646-1656. doi:10.1109/TCNS.2017.2746344
-
[13]
Edge-disjoint spanning trees and the number of maximum state circles of a graph
Ma X, Wu B, Jin X. Edge-disjoint spanning trees and the number of maximum state circles of a graph. Journal of Combinatorial Optimization, 2018, 35(4):997-1008. doi:10.1007/s10878-018-0249-y
-
[14]
Edge-disjoint spanning trees, edge connectivity, and eigenvalues in graphs
Gu X, Lai H-J, Li P, Yao S. Edge-disjoint spanning trees, edge connectivity, and eigenvalues in graphs. Journal of Graph Theory, 2016, 81(1):16-29. doi:10.1002/jgt.21857
-
[15]
An algorithm to construct completely independent spanning trees in line graphs
Wang Y , Cheng B, Fan J, Qian Y , Jiang R. An algorithm to construct completely independent spanning trees in line graphs. The Computer Journal, 2022, 65(12):2979-2990. doi:10.1093/comjnl/bxab120
-
[16]
Fan J, Jia X, Cheng B, Yu J. An efficient fault-tolerant routing algorithm in bijective connection net- works with restricted faulty edges. Theoretical Computer Science, 2011, 412(29):3440-3450. doi:10.1016/ j.tcs.2011.02.014
work page 2011
-
[17]
Dimensional-permutation-based independent spanning trees in bijective connection networks
Cheng B, Fan J, Jia K. Dimensional-permutation-based independent spanning trees in bijective connection networks. IEEE Transactions on Parallel and Distributed Systems, 2015, 26(1):45-53. doi:10.1109/TPDS.2014.2307871
-
[18]
Zhang H, Wang Y , Fan J, Han Y , Cheng B. Constructing edge-disjoint spanning trees in several cube- based networks with applications to edge fault-tolerant communication. The Journal of Supercomputing, doi:10.1007/s11227-023-05546-z
-
[19]
Yang X, Evans DJ, Megson GM. The locally twisted cubes. International Journal of Computer Mathemat- ics, 2005, 82(4):401-413. doi:10.1080/0020716042000301752
-
[20]
Fault-free Hamiltonian cycles in locally twisted cubes under conditional edge faults
Hsieh S-Y , Wu C-Y , Lee C-W. Fault-free Hamiltonian cycles in locally twisted cubes under conditional edge faults. Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007, pp. 1-8
work page 2007
-
[21]
Constructing edge-disjoint spanning trees in locally twisted cubes
Hsieh S-Y , Tu C-J. Constructing edge-disjoint spanning trees in locally twisted cubes. Theoretical Com- puter Science, 2009, 410(8):926-932. doi:10.1016/j.tcs.2008.12.025
-
[22]
Lin J-C, Yang J-S, Hsu C-C, Chang J-M. Independent spanning trees vs. edge-disjoint spanning trees in locally twisted cubes. Information Processing Letters, 2010, 110(10):414-419. doi:10.1016/ j.ipl.2010.03.012. X. Li et al. / On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes 25
work page 2010
-
[23]
Pai K-J, Wu R-J, Peng S-L, Chang J-M. Three edge-disjoint Hamiltonian cycle in crossed cubes with applications to fault-tolerant data broadcasting. The Journal of Supercomputing, 2023, 79:4126-4145. doi:10.1007/s11227-022-04825-5
-
[24]
Constructive algorithm of independent spanning trees on M¨obius cubes
Cheng B, Fan J, Jia X, Zhang S, Chen B. Constructive algorithm of independent spanning trees on M¨obius cubes. The Compute Journal, 2013, 56(11):1347-1362. doi:10.1093/comjnl/bxs123
-
[25]
Reliability assessment of the divide-and-swap cube in terms of generalized con- nectivity
Zhao S-L, Chang J-M. Reliability assessment of the divide-and-swap cube in terms of generalized con- nectivity. Theoretical Computer Science, 2023, 943:1-15. doi:10.1016/j.tcs.2022.12.005
-
[26]
Relationship between extra connectivity and component connectivity in networks
Li X, Lin C-K, Fan J, Jia X, Cheng B, Zhou J. Relationship between extra connectivity and component connectivity in networks. The Compute Journal, 2021, 833:41-55
work page 2021
-
[27]
Lin J-C, Yang J-S, Hsu C-C, Chang J-M. Independent spanning trees vs. edge-disjoint spanning trees in locally twisted cubes. Information Processing Letters, 2010, 110(10):414-419. doi:10.1016/ j.ipl.2010.03.012
work page 2010
-
[28]
BC interconnection networks and their properties
Fan J, He L. BC interconnection networks and their properties. Chinese Journal of Computers, 2003, 26(1):84-90. 26 X. Li et al. / On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes (a) T1 (b) T2 (c) T3 Figure 6. Three CEISTs T1, T2 and T3 in LT Q6. X. Li et al. / On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes 27...
work page 2003
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.