2409.14948
On the periodic decompositions of multidimensional configurations
Pyry Herva, Jarkko Kari
correcthigh confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves both targets cleanly: (A) a k-periodic decomposition criterion from periodizers with support avoiding every (k−1)-subspace (Theorem 8), and (B) a sparse-product decomposition into periodic fibers (Theorem 12). Key steps include converting a suitable periodizer to an annihilator with the same support constraint (Lemma 7) and then extracting non-parallel difference factors via Theorem 2, followed by a controlled decomposition (Lemma 6) . For the sparse case, the authors handle n=1,2 and then proceed by induction using orbit-closure limits, avoiding any hard “inversion” of operators on fiber-sums (Lemmas 15–16, then Theorem 12) . By contrast, the model’s Part (A) is explicitly incomplete (it lacks the extraction step that the paper supplies via Lemma 7 + Theorem 2), and Part (B) relies on an unjustified invertibility/lifting argument on sums of v-fibers, which the paper circumvents with a different, rigorous method.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} strong field \textbf{Justification:} The manuscript provides two substantial refinements of the periodic decomposition theorem with clear statements and coherent proofs. The techniques used are sound and adapted thoughtfully from prior algebraic approaches. Minor presentation enhancements would improve readability, but the results are of solid technical merit and likely interest to researchers in multidimensional symbolic dynamics and algebraic combinatorics on words.