{"id":"arxiv/2608.00900","url":"https://arxiv.org/abs/2608.00900","tags":["math.CO","cs.DM"],"score":0,"title":"An explicit construction of two completely independent spanning trees in the four-dimensional dual-cube","domain":"math.CO","source":"arxiv","authors":["Jitendra Prajapati"],"reviews":0,"subject":"math.CO","summary":"Lalou, Mbarek, Skender and Togni (arXiv:2607.25917) proved that the $n$-dimensional dual-cube $F_n$ admits two completely independent spanning trees for every $n\\ge 5$, observed that none exist for $n\\le 3$, and identified $F_4$ as the first unresolved case, reporting more than 700 hours of inconclusive computation. We settle this case affirmatively by an explicit construction, completing the classification: $F_n$ admits two completely independent spanning trees if and only if $n\\ge 4$. The internal-vertex sets of the two trees are the level sets of a single ten-term cubic polynomial over…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-02","reactions":{}}