×

A matricial view of the Collatz conjecture. (English) Zbl 1543.15025

The Collatz function \(f\) on \(\mathbb{N}\) is defined by \(f(n)=n/2\) for even \(n\), and \(f(n)=(3n+1)/2\) for odd \(n\). Let \(A=(a_{ij})\) be the infinite matrix with \(a_{ij}=\delta_{f(i),j}\), where \(\delta\) is the Kronecker delta, and let \(A_n\) be its leading \(n\times n\) principal submatrix. For \(n\ge 3\), let \(C_n\) be the \((n-2)\times (n-2)\) principal submatrix of \(A_n\) with entries \(a_{ij}\) for \(3\le i,j\le n\). The author proves that the conjecture stating the nilpotence of any \(C_n\) is equivalent to the Collatz conjecture. This extends the work of J. F. Alves et al. [Linear Algebra Appl. 394, 277–289 (2005; Zbl 1116.11012)] and simplifies a conjecture by D. A. Cardon and B. Tuckfield [Linear Algebra Appl. 435, 2942–2954 (2011; Zbl 1229.15013)].

MSC:

15B34 Boolean and Hadamard matrices
11C20 Matrices, determinants in number theory
11B83 Special sequences and polynomials
40A05 Convergence and divergence of series and sequences

References:

[1] Alves, J. F.; Graça, M. M.; Dias, M. E. Sousa; Ramos, J. Sousa, A linear algebra approach to the conjecture of Collatz, Linear Algebra Appl., 394, 277-289, 2005 · Zbl 1116.11012
[2] Cardon, D. A.; Tuckfield, B., The Jordan canonical form for a class of zero-one matrices, Linear Algebra Appl., 435, 11, 2942-2954, 2011 · Zbl 1229.15013
[3] Horn, R. A.; Johnson, C. R., Matrix Analysis, 2013, Cambridge University Press: Cambridge University Press Cambridge · Zbl 1267.15001
[4] Lagarias, J. C., The \(3 x + 1\) problem and its generalizations, Am. Math. Mon., 92, 1, 3-23, 1985 · Zbl 0566.10007
[5] Lagarias, J. C., The \(3 x + 1\) Problem: An Annotated Bibliography (1963-1999) (Sorted by Author), 2011
[6] Lagarias, J. C., The \(3 x + 1\) Problem: An Annotated Bibliography II (2000-2009), 2012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.