Multivariable Congruence Jumping: Periodic States, Integral Realizations, and Descent
Abstract
Congruence jumping replaces coordinates by integer quotients and updates polynomial divisibility relations. We extend this procedure to several variables and retain integer coefficients by recording their common factor separately. For three-variable systems of divisibilities with signed binomial numerators, we classify all positive integer exponent tuples of period at most two under three successive coordinate jumps: seven fixed tuples and twenty-two cycles of exact period two. No odd period greater than one occurs. At the chosen representatives of the twenty-two exponent two-cycles, there are eighty-four returning sign assignments. All have realizations with nonzero pairwise-coprime integer coordinates, and exactly seventy-four have such realizations with every coordinate positive throughout the six jumps. Explicit constructions and congruence arguments establish this classification. We also study jumps that decrease a specified height, distinguishing points that admit no immediate decrease from minima of entire connected components of the jump graph. For the four-variable family Qλ(x,y,z,w)=kxyzw, where Qλ is the sum of the four squares plus λ times the six pairwise products, finite bounds give complete classifications for λ=1,2,3. For λ=1, positive integer solutions exist exactly for k=2,8,10. These results distinguish returns of the polynomial data from integrality and positivity of the coordinate sequences.
Related
- Reciprocal Dynamics in Polynomial Congruence Jumping: Integral Orbits and Valuation Cones
- Congruence Jumping in Polynomial Divisibility Systems: Arithmetic Structure and Solution Sets
- Contour-integral and Fourier transform based multivariable quantum eigenvalue transformation for commuting matrices
- Elementary cellular automata: spectral properties of Koopman operator for finite periodic realizations
- Structural Characterizations and Algebraic Realizations of a Family of Regular Integral Graphs
BibTeX
@misc{alekseyev2026multivariable,
title = {{Multivariable Congruence Jumping: Periodic States, Integral Realizations, and Descent}},
author = {Max A. Alekseyev and Dmitry I. Khomovsky},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.07625},
eprint = {2611.07625},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.07625},
}
RIS
TY - UNPB
TI - Multivariable Congruence Jumping: Periodic States, Integral Realizations, and Descent
AU - Max A. Alekseyev
AU - Dmitry I. Khomovsky
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.07625
UR - https://arxiv.org/abs/2611.07625
AB - Congruence jumping replaces coordinates by integer quotients and updates polynomial divisibility relations. We extend this procedure to several variables and retain integer coefficients by recording their common factor separately. For three-variable systems of divisibilities with signed binomial numerators, we classify all positive integer exponent tuples of period at most two under three successive coordinate jumps: seven fixed tuples and twenty-two cycles of exact period two. No odd period greater than one occurs. At the chosen representatives of the twenty-two exponent two-cycles, there are eighty-four returning sign assignments. All have realizations with nonzero pairwise-coprime integer coordinates, and exactly seventy-four have such realizations with every coordinate positive throughout the six jumps. Explicit constructions and congruence arguments establish this classification. We also study jumps that decrease a specified height, distinguishing points that admit no immediate decrease from minima of entire connected components of the jump graph. For the four-variable family Q_λ(x,y,z,w)=kxyzw, where Q_λ is the sum of the four squares plus λ times the six pairwise products, finite bounds give complete classifications for λ=1,2,3. For λ=1, positive integer solutions exist exactly for k=2,8,10. These results distinguish returns of the polynomial data from integrality and positivity of the coordinate sequences.
ER -