-
$\left(p,q\right)$-adic Analysis and the Collatz Conjecture
Authors:
Maxwell Charles Siegel
Abstract:
What use can there be for a function from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes? The traditional answer, courtesy of the half-century old theory of non-archimedean functional analysis: not much. It turns out this judgment was premature. '$\left(p,q\right)$-adic analysis' of this sort appears to be naturally suited for studying the infamous Collatz map…
▽ More
What use can there be for a function from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes? The traditional answer, courtesy of the half-century old theory of non-archimedean functional analysis: not much. It turns out this judgment was premature. '$\left(p,q\right)$-adic analysis' of this sort appears to be naturally suited for studying the infamous Collatz map and similar arithmetical dynamical systems. Given such a map $H:\mathbb{Z}\rightarrow\mathbb{Z}$, one can construct a function $χ_{H}:\mathbb{Z}_{p}\rightarrow\mathbb{Z}_{q}$ for an appropriate choice of distinct primes $p,q$ with the property that $x\in\mathbb{Z}\backslash\left\{ 0\right\} $ is a periodic point of $H$ if and only if there is a $p$-adic integer $\mathfrak{z}\in\left(\mathbb{Q}\cap\mathbb{Z}_{p}\right)\backslash\left\{ 0,1,2,\ldots\right\} $ so that $χ_{H}\left(\mathfrak{z}\right)=x$. By generalizing Monna-Springer integration theory and establishing a $\left(p,q\right)$-adic analogue of the Wiener Tauberian Theorem, one can show that the question 'is $x\in\mathbb{Z}\backslash\left\{ 0\right\} $ a periodic point of $H$?' is essentially equivalent to 'is the span of the translates of the Fourier transform of $χ_{H}\left(\mathfrak{z}\right)-x$ dense in an appropriate non-archimedean function space?' This presents an exciting new frontier in Collatz research, and these methods can be used to study Collatz-type dynamical systems on the lattice $\mathbb{Z}^{d}$ for any $d\geq1$.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Infinite Series Whose Topology of Convergence Varies From Point to Point
Authors:
Maxwell C. Siegel
Abstract:
This paper catalogues a variety of examples concerning a type of function of a $p$-adic integer variable defined by a formal series expression we have dubbed "$\mathcal{F}$-series". These series exhibit a new, previously undocumented form of point-wise convergence, one where the topology in which the limit of a sequence of functions $\left\{ f_{n}\right\}_{n\geq1}$ converges depends on the point a…
▽ More
This paper catalogues a variety of examples concerning a type of function of a $p$-adic integer variable defined by a formal series expression we have dubbed "$\mathcal{F}$-series". These series exhibit a new, previously undocumented form of point-wise convergence, one where the topology in which the limit of a sequence of functions $\left\{ f_{n}\right\}_{n\geq1}$ converges depends on the point at which the sequence is evaluated. In a manner comparable to the adele ring of a number field, functions defined by $\mathcal{F}$-series require considering different metric completions of an underlying field in order to be properly understood.
△ Less
Submitted 1 July, 2023;
originally announced July 2023.
-
The Collatz Conjecture & Non-Archimedean Spectral Theory -- Part II -- $\left(p,q\right)$-Adic Fourier Analysis and Wiener's Tauberian Theorem
Authors:
Maxwell C. Siegel
Abstract:
This paper gives an overview of $\left(p,q\right)$-adic Fourier theory - the Fourier theory of functions from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes - which we then use to prove a novel $\left(p,q\right)$-adic generalization of Norbert Wiener's celebrated Tauberian Theorem. Letting $K$ be a metrically complete, algebraically closed local field of residu…
▽ More
This paper gives an overview of $\left(p,q\right)$-adic Fourier theory - the Fourier theory of functions from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes - which we then use to prove a novel $\left(p,q\right)$-adic generalization of Norbert Wiener's celebrated Tauberian Theorem. Letting $K$ be a metrically complete, algebraically closed local field of residue characteristic $q$, letting $C\left(\mathbb{Z}_{p},K\right)$ be the Banach space of continuous functions $\mathbb{Z}_{p}\rightarrow K$, and letting $dμ$ be a $\left(p,q\right)$-adic measure (a continuous linear functional $C\left(\mathbb{Z}_{p},K\right)\rightarrow K)$, the $\left(p,q\right)$-adic Wiener Tauberian Theorem (WTT) we prove establishes the equivalence of the density of the span of translates of $dμ$'s Fourier-Stieltjes Transform and the non-vanishing of the Radon-Nikodym derivative of $dμ$ at all points in $\mathbb{Z}_{p}$ where the derivative exists in $K$.
△ Less
Submitted 20 June, 2025; v1 submitted 17 August, 2022;
originally announced August 2022.
-
The Collatz Conjecture & Non-Archimedean Spectral Theory -- Part I.5 -- How To Write The (Weak) Collatz Conjecture As A Contour Integral
Authors:
M. C. Siegel
Abstract:
Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conje…
▽ More
Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conjecture. This series of papers presents a new paradigm for studying such arithmetic dynamical systems by way of a neglected area of ultrametric analysis which we have termed $\left(p,q\right)$-adic analysis, the study of functions from the $p$-adics to the $q$-adics, where $p$ and $q$ are distinct primes. In this, the first-and-a-halfth paper of the series, as a first application, we show that the numen $χ_{q}$ of $T_{q}$ can be used in conjunction with the Correspondence Principle (CP) and classic complex-analytic tools of analytic number theory to reformulate the study of periodic points of $T_{q}$ in terms of a contour integral via an application of Perron's Formula to a Dirichlet series generated by $χ_{q}$ and the function $M_{q}$ introduced in the first paper in this series, for which we establish functional equations, which we use to derive their meromorphic continuations to the left half-plane. The hypergeometric growth of the series as $\textrm{Re}\left(s\right)\rightarrow-\infty$ seems to preclude direct evaluation of the contour integrals via residues, but asymptotic results may still be achievable.
△ Less
Submitted 14 December, 2023; v1 submitted 10 November, 2021;
originally announced November 2021.
-
Functional Equations Associated to Collatz-Type Maps on Integer Rings of Algebraic Number Fields
Authors:
M. C. Siegel
Abstract:
In 1995, Meinardus & Berg presented a reformulation of the Collatz Conjecture in terms of a functional equation in a single complex variable over the open unit disk. This paper generalizes that method to deal with not only a large class of Collatz-type maps defined on the integers, but further generalizations thereof to Collatz-type maps on the rings of integers on an arbitrary algebraic number fi…
▽ More
In 1995, Meinardus & Berg presented a reformulation of the Collatz Conjecture in terms of a functional equation in a single complex variable over the open unit disk. This paper generalizes that method to deal with not only a large class of Collatz-type maps defined on the integers, but further generalizations thereof to Collatz-type maps on the rings of integers on an arbitrary algebraic number field.
△ Less
Submitted 16 April, 2022; v1 submitted 10 November, 2021;
originally announced November 2021.
-
The Collatz Conjecture & Non-Archimedean Spectral Theory: Part I -- Arithmetic Dynamical Systems and Non-Archimedean Value Distribution Theory
Authors:
Maxwell Charles Siegel
Abstract:
Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conje…
▽ More
Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics of these maps is infamous for its difficulty, with the characterization of the dynamics of $T_{3}$ being an alternative formulation of the famous Collatz Conjecture. This series of papers presents a new paradigm for studying such arithmetic dynamical systems by way of a neglected area of ultrametric analysis which we have termed $\left(p,q\right)$-adic analysis, the study of functions from the $p$-adics to the $q$-adics, where $p$ and $q$ are distinct primes. In this, the first paper, working with the $T_{q}$ maps as a toy model for the more general theory, for each odd prime $q$, we construct a function $χ_{q}:\mathbb{Z}_{2}\rightarrow\mathbb{Z}_{q}$ (the Numen of $T_{q}$) and prove the Correspondence Principle (CP): $x\in\mathbb{Z}\backslash\left\{ 0\right\}$ is a periodic point of $T_{q}$ if and only there is a $\mathfrak{z}\in\mathbb{Z}_{2}\backslash\left\{ 0,1,2,\ldots\right\}$ so that $χ_{q}\left(\mathfrak{z}\right)=x$. Additionally, if $\mathfrak{z}\in\mathbb{Z}_{2}\backslash\mathbb{Q}$ makes $χ_{q}\left(\mathfrak{z}\right)\in\mathbb{Z}$, then the iterates of $χ_{q}\left(\mathfrak{z}\right)$ under $T_{q}$ tend to $+\infty$ or $-\infty$.
△ Less
Submitted 23 April, 2023; v1 submitted 18 July, 2020;
originally announced July 2020.
-
Fourier Analysis of the Parity-Vector Parameterization of the Generalized Collatz px+1 maps
Authors:
Maxwell C. Siegel
Abstract:
Let p be an odd prime, and consider the map H_p which sends an integer x to either x/2 or (px+1)/2 depending on whether x is even or odd. The values at x=0 of arbitrary composition sequences of the maps x/2 and (px+1)/2 can be parameterized over the 2-adic integers (Z2) leading to a continuous function from Z2 to Zp which the author calls the "characteristic function" (or "numen") of H_p. Lipschit…
▽ More
Let p be an odd prime, and consider the map H_p which sends an integer x to either x/2 or (px+1)/2 depending on whether x is even or odd. The values at x=0 of arbitrary composition sequences of the maps x/2 and (px+1)/2 can be parameterized over the 2-adic integers (Z2) leading to a continuous function from Z2 to Zp which the author calls the "characteristic function" (or "numen") of H_p. Lipschitz-type estimates are given for the characteristic function when p-1 is a power of 2 and 2 is a primitive root mod p, and it is shown that the set of periodic points of H_p is equal to the set of (rational) integer values attained by the characteristic function over Z2. Additionally, although the pre-image of R under the characteristic function has zero Haar measure in the Z2, by pre-composing the characteristic function with an appropriately selected self-embedding of Z2, one can perform Fourier analysis of the aforementioned composite. Using this approach, explicit upper bounds are computed for the absolute value of a periodic point of H_p whose parity vector contains at least ceil(ln(p)/ln2)-1 zeroes between any two consecutive ones
△ Less
Submitted 14 December, 2023; v1 submitted 23 February, 2020;
originally announced February 2020.
-
Conservation of Singularities in Functional Equations Associated to Collatz-Type Dynamical Systems; or, Dreamcatchers for Hydra Maps
Authors:
Maxwell Charles Siegel
Abstract:
It is known that the Collatz Conjecture (and the study of similar maps, here called "Hydra maps") can be stated in terms of solution sets of functional equations; or, equivalently, the fixed points of linear operators on spaces of analytic functions. Rather than studying potential fixed points of such operators, we examine their effect on the singularities of functions. To that end, we introduce t…
▽ More
It is known that the Collatz Conjecture (and the study of similar maps, here called "Hydra maps") can be stated in terms of solution sets of functional equations; or, equivalently, the fixed points of linear operators on spaces of analytic functions. Rather than studying potential fixed points of such operators, we examine their effect on the singularities of functions. To that end, we introduce the notion of a "dreamcatcher", an object which encodes the location and "virtual residue" of the singularities of an analytic function of a specified growth rate along the boundary of the function's region of convergence. Dreamcatchers can be given rigorous footing as elements of the Hilbert space L2(Q/Z) of complex-valued functions on Q/Z which are square-integrable with respect to the counting measure on Q/Z. The aforementioned linear operators (called here "permutation operators") are shown to "conserve" the singularities of their fixed points, in the sense that the dreamcatcher of a fixed point is itself the fixed point of the operator induced on L2(Q/Z) (the "dreamcatcher operator") by the permutation operator. Using Pontryagin duality and p-adic analysis, the fixed points of the operators acting on dreamcatchers for simple-pole-like singularities are completely determined for a large class of Hydra maps in the case where the fixed points are finitely supported on Q/Z. This enables qualitative conclusions to be made about those Hydra maps' orbit classes in the non-negative integers.
△ Less
Submitted 19 October, 2019; v1 submitted 20 September, 2019;
originally announced September 2019.
