arXiv subjects

Chatchawan Panraksa

Publications and source records attributed to Chatchawan Panraksa.

15 recordsLinked to original sources

arXiv2026

Fixed points and exact periods of Chebyshev polynomials modulo odd prime powers

Passing from a prime modulus to a higher prime power can change both the lengths and the number of cycles of a polynomial map. We determine these changes for Chebyshev polynomials $T_n$ modulo $p^k$, for every degree $n\ge2$, every odd prime $p$, and every $k\ge1$. The results apply whether or not $T_n$ permutes the residue classes. We give explicit formulas for the number of fixed points, all possible cycle lengths, and the number of cycles of each length. The fixed-point formula involves four greatest common divisors and a correction specific to $p=3$. We explain this exception by showing how distinct rational fixed points become congruent modulo $3$. When $p\mid n$, each cycle modulo $p$ corresponds to exactly one cycle of the same length modulo every $p^k$. When $p\nmid n$, we determine how many cycles arise from each cycle modulo $p$ and when longer cycles first appear. The proofs combine the classical relation between Chebyshev polynomials and power maps with $p$-adic arithmetic.

math.NT↗

arXiv2026

Integer group determinants for abelian groups of order 24

We determine the integer group determinant sets for $C_{24}$, $C_2\times C_{12}$ and $C_2^2\times C_6$, the three abelian groups of order $24$. Character factorization expresses each determinant as a product of cyclotomic norms, whose components must satisfy integral compatibility conditions. The classifications are constructive and reduce each nonzero signed integer to valuation conditions at $2$ and $3$ and a finite test on its remaining prime factors. The tests use conductor quotients and norm-preserving global units. Each prime contribution has a uniform bound independent of its multiplicity, and successful tests yield integer coefficients realizing the prescribed determinant. The critical cyclic strata share one compatibility group. For $C_2^2\times C_6$, a normalized rational--Eisenstein pair settles the odd values and most even strata; target stabilizers reduce the remaining tests. We also prove that the odd determinant set of $C_2^2\times C_6$ is properly contained in that of $C_2\times C_{12}$, exhibit an infinite family in the difference, and determine the signed powers of two in all three sets. Exact arithmetic certificates and coefficient constructors accompany the proofs.

math.NT↗

arXiv2026

Integer group determinants for the elementary abelian group of order 49

Let $G=C_7\times C_7$, and let $S(G)$ denote the set of integer values of its group determinant. We determine $S(G)$ by classifying the values divisible by $7$; the coprime values are already known. Every nonzero divisible value has valuation at least $10$, and every multiple of $7^{12}$ occurs. At valuations $10$ and $11$, we give necessary and sufficient conditions on the cofactor in terms of two additive invariants of ideals in $\mathbb{Z}[ζ_7]$. The first condition is a bounded signed sum of prime-ideal invariants. The second requires a prime ideal with nonzero invariant pair whose norm divides the cofactor. Neither cofactor set is a union of congruence classes modulo any positive integer. The least positive divisible value is $43\cdot7^{10}$, and the least positive value of valuation $11$ is $8\cdot7^{11}$. The proof combines integral reconstruction from character values with a calculation of the global-unit image modulo $7$. We conclude by identifying the additional local conditions and realization problems that arise at primes at least $11$.

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↗

arXiv2026

The $5$-divisible integer group determinants for the elementary abelian group of order 25

Let $G=C_5\times C_5$, and let $S(G)$ denote the set of integer values of its group determinant. Previous work determines the values in $S(G)$ coprime to $5$ and proves that every $5$-divisible value is divisible by $5^8$. We prove the converse inclusion $5^8\mathbb{Z}\subseteq S(G)$. Consequently, $S(G)=\{m\in\mathbb{Z}:m\equiv\pm1\text{ or }\pm7\pmod{25}\}\cup5^8\mathbb{Z}$. The proof uses a general shift criterion and three explicit polynomials whose group determinants are $5^8$, $2\cdot5^8$, and $5^9$. Together with the known classification for $C_{25}$, this completes the Taussky--Todd integer group determinant problem for all groups of order $25$.

math.NT↗

arXiv2026

Finite-sample Borel--Cantelli inequalities under mixing conditions

We prove explicit one-lag, finite-$N$ lower bounds for $\mathbb P(\bigcup_{k=1}^{N}A_{k})$ that use only the marginal probabilities $\mathbb P(A_{k})$ and a single selected-lag dependence coefficient of the event-generated $σ$-fields. A residue-class blocking argument gives, under $φ$-mixing, a bound with a free spacing parameter $L\ge 0$, spacing constant $1/(L+1)$, and residual governed by $φ(L+1)$; a strong-mixing covariance argument gives an $α$-mixing analogue with an additive residual $\lceil N/(L+1)\rceil\,α(L+1)$. When the lag-$(L+1)$ coefficient vanishes, both reduce to the finite-sample $m$-dependent bound of Panraksa (2026), and the spacing constant $1/(L+1)$ is sharp in this zero-residual sense. A second-order Bonferroni refinement and a worked geometrically $φ$-mixing example are included. The estimates are non-asymptotic one-lag tools, complementary to second-moment and variance criteria rather than competitors to them.

math.PR↗

arXiv2026

Wetzel's 30-60-90 Triangle Covers Unit Arcs

John E. Wetzel conjectured that the 30-60-90 triangle T obtained by placing a square of side 1/3 on the hypotenuse covers every unit arc in the plane. We give a computer-assisted proof of this conjecture with independently checkable interval certificates. The proof reduces a hypothetical noncovered arc to a finite family of 599 closed second-order cone models, covering all representative and raw tail-order branches, and certifies a polygonal-chain lower bound greater than one in every model by interval validation of stored dual certificates. Since every certified lower endpoint exceeds 1.0048, the homothetic copy T/1.0048 still covers every unit arc. Its area is 0.260956..., below the area pi/12 approx. 0.261799 of the 30-degree unit sector, a certified area improvement over the sector cover within this convex Wetzel-cover setting.

math.MG↗

arXiv2026

Integrality of Averages of Roots of Unity and Perfect Isometries

We establish a criterion for the integrality of averages of roots of unity and apply it to settle a conjecture regarding the linearity of functions on $\mathbb{Z}_n$. Specifically, we prove that for any modulus $n \ge 1$, if a function $f: \mathbb{Z}_n \to \mathbb{Z}_n$ satisfies that the averages $\frac{1}{n} \sum_{x=0}^{n-1} ω^{f(x)+bx}$ (where $ω=e^{2πi/n}$) are algebraic integers for all $b \in \mathbb{Z}_n$, then $f$ is necessarily linear modulo $n$. This provides a short, elementary proof that works uniformly for all $n$ and avoids the finite-field machinery used in previous partial results. Furthermore, when $n=p^r$, we utilize a local-global integrality argument to show that any normalized sum of $p^r$-th roots of unity that is $p$-adically integral must be either $0$ or a single root of unity. As an application, we completely characterize the perfect isometries of the cyclic group $C_{p^r}$: they are precisely those induced by affine permutations $x \mapsto αx + β$ with $\gcd(α, p^r)=1$.

math.NT↗

arXiv2026

A finite-sample Borel--Cantelli inequality under $m$-dependence

We prove an explicit finite-sample version of the Borel--Cantelli lemma under $m$-dependence. Given any $m$-dependent sequence of events $(A_k)_{1\leq k\leq N}$, we show that \[ \mathbb{P}\Bigl(\bigcup_{k=1}^N A_k\Bigr) \ge 1 - \exp\Bigl(-\frac{1}{m+1} \sum_{k=1}^{N} \mathbb{P}(A_k)\Bigr). \] The proof splits the index set into residue classes modulo $m+1$, so that each class consists of mutually independent events, and then applies an elementary product--to--exponential bound. We further derive a quantitative windowed corollary: if the partial sums satisfy $\sum_{k=1}^{ϕ(n)}\mathbb{P}(A_k)\ge n$ for all $n\ge1$, then for every $N\ge1$ and $i\ge0$, \[ \mathbb{P}\Bigl(\bigcup_{k=i+1}^{ϕ(i+N)} A_k\Bigr) \ge 1-\exp\Bigl(-\frac{N}{m+1}\Bigr). \] Finally, we present a complementary second-order refinement involving local pairwise intersection probabilities. These results complement the asymptotic and rate results of Lu, Shi and Zhao (2026) by providing explicit finite-$N$ bounds and a simple comparison framework for the baseline and second-order estimates.

math.PR↗

arXiv2026

Arithmetic exceptionality of Lattès maps

Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on some computational results, Odabaş conjectured that for each $k\in \mathbb{N}$, the $k$-th Lattès map attached to an elliptic curve $E/\mathbb{Q}$ is arithmetically exceptional if and only if $E$ has no $k$-torsion point whose $x$-coordinate is rational. In this paper, we prove that this conjecture is true for any elliptic curve $E/\mathbb{Q}$ having complex multiplication by an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-11}).$ On the other hand, we show that the conjecture becomes invalid if $E$ has CM by $\mathbb{Q}(\sqrt{-11})$ and $6\mid k$. Partial results for non-CM elliptic curves are also given.

math.NT↗

arXiv2024

Orbits of Second Order Linear Recurrences over Finite Fields

Let $Q$ be the matrix $\displaystyle \begin{pmatrix} a & b \\ 1 & 0 \end{pmatrix}$ in $GL_2(\mathbb{F}_q)$ where $\mathbb{F}_q$ is a finite field, and let $G$ be the finite cyclic group generated by $Q$. We consider the action of $G$ on the set $\mathbb{F}_q \times \mathbb{F}_q$. In particular, we study certain relationships between the lengths of the non-trivial orbits of $G$, and their frequency of occurrence. This is done in part by investigating the order of elements of a product in an abelian group when the product has prime power order. For $q$ a prime and $b=1$, the orbits correspond to Fibonacci type linear recurrences modulo $q$ for different initial conditions. We also derive certain conditions under which the roots of the characteristic polynomial of $Q$ are generators of $\mathbb{F}_q^\times$. Examples are included to illustrate the theory.

math.NT↗

arXiv2023

A dynamical system proof of Niven's theorem and its extensions

Niven's theorem asserts that $\{\cos(rπ) \mid r\in \mathbb{Q}\}\cap \mathbb{Q}=\{0,\pm 1,\pm 1/2\}.$ In this paper, we use elementary techniques and results from arithmetic dynamics to obtain an algorithm for classifying all values in the set $\{\cos(rπ) \mid r\in \mathbb{Q}\}\cap K$, where $K$ is an arbitrary number field.

math.NT↗

arXiv2021

Rational Periodic Points of $x^d+c$ and Fermat-Catalan Equations

We study rational periodic points of polynomial $f_{d,c}(x)=x^d+c$ over the field of rational numbers, where $d$ is an integer greater than 2. For period 2, we classify all possible periodic points for degrees $d=4,6$. We also demonstrate the nonexistence of rational periodic points of exact period 2 for $d=2k$ such that $3\mid 2k-1$ and $k$ has a prime factor greater than 3. Moreover, assuming the $abc$-conjecture, we prove that $f_{d,c}$ has no rational periodic point of exact period greater than 1 for sufficiently large integer $d$ and $c\neq -1$.

math.NT↗

arXiv2019

Wetzel's sector covers unit arcs

We settle J. Wetzel's 1970's conjecture and show that a 30{^\circ} circular sector of unit radius can accommodate every planar arc of unit length. Leo Moser asked in 1966 for the smallest (convex) region in the plane that can accommodate each arc of unit length. With area π/12, this sector is the smallest such set presently known. Moser's question has prompted a multitude of papers on related problems over the past 50 years, most remaining unanswered.

math.MG↗

arXiv2016

A Note on Average of Roots of Unity

We consider the problem of characterizing all functions $f$ defined on the set of integers modulo $n$ with the property that an average of some $n$th roots of unity determined by $f$ is always an algebraic integer. Examples of such functions with this property are linear functions. We show that, when $n$ is a prime number, the converse also holds. That is, any function with this property is representable by a linear polynomial. Finally, we give an application of the main result to the problem of determining self perfect isometries for the cyclic group of prime order $p$.

math.NT↗