arXiv subjects

Sompong Chuysurichay

Publications and source records attributed to Sompong Chuysurichay.

4 recordsLinked to original sources

arXiv2026

The local Dold congruence for Fibonacci and Lucas sequences

We discuss local properties of the classical Fibonacci and Lucas sequences, characterising in both cases those primes~$p$ for which the~$p$-part satisfies the Dold congruences or is realizable. We calculate an exact `repair' multiplier in each case and determine the relative prime densities of the Dold, realizable, almost Dold, and almost realizable prime sets. In that order, the four densities are~$(\frac34,\frac13,1,\frac13)$ for the Lucas sequence and~$(\frac12,\frac12,1,1)$ for the Fibonacci sequence.

math.NT↗

arXiv2026

Torsion and Positive Rank in an Elliptic Family Arising from Cubic 2-Cycles

We study the elliptic family $E_t:Y^2=X^3+4X^2+16t^2$ arising from rational $2$-cycles of $x^3+bx+a$. For every $t\in\mathbb{Q}^\times$, we prove that $P_t=(0,-4t)$ has infinite order, so every nonsingular rational fiber has positive rank. We determine its rational torsion subgroup: it is cyclic of order $2$ precisely when $t=u(u^2+4)/4$ for some $u\in\mathbb{Q}^\times$, and is trivial otherwise. No such fiber admits a rational $3$- or $5$-isogeny. An explicit birational dictionary then shows that, for every fixed $a\in\mathbb{Q}^\times$, infinitely many $b\in\mathbb{Q}$ yield a rational $2$-cycle of $x^3+bx+a$. The uniform non-torsion assertion follows from Nagell--Lutz integrality. The torsion exclusions combine elementary $2$-descent with explicit genus-$3$ curves, an unconditional rank-zero Prym argument, and two-cover descent with elliptic Chabauty. Exact Magma and SageMath certificates accompany the computer-assisted steps.

math.NT↗

arXiv2017

The Mapping Class Group of a Shift of Finite Type

We study the mapping class group of a nontrivial irreducible shift of finite type: the group of flow equivalences of its mapping torus modulo isotopy. This group plays for flow equivalence the role that the automorphism group plays for conjugacy. It is countable; not residually finite; acts faithfully (and n-transitively, for all n) by permutations on the set of circles in the mapping torus; has solvable word problem and trivial center; etc. There are many open problems.

math.DS↗

arXiv2014

Strong Shift Equivalence and Positive Doubly Stochastic Matrices

We give sufficient conditions for a positive stochastic matrix to be similar and strong shift equivalent over $\mathbb{R}_+$ to a positive doubly stochastic matrix through matrices of the same size. We also prove that every positive stochastic matrix is strong shift equivalent over $\mathbb{R}_+$ to a positive doubly stochastic matrix. Consequently, the set of nonzero spectra of primitive stochastic matrices over $\mathbb{R}$ with positive trace and the set of nonzero spectra of positive doubly stochastic matrices over $\mathbb{R}$ are identical. We exhibit a class of $2\times 2$ matrices, pairwise strong shift equivalent over $\mathbb R_+$ through $2\times 2$ matrices, for which there is no uniform upper bound on the minimum lag of a strong shift equivalence through matrices of bounded size. In contrast, we show for any $n\times n$ primitive matrix of positive trace that the set of positive $n\times n$ matrices similar to it contains only finitely many SSE-$\mathbb R_+$ classes.

math.DS↗