Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. MIT Open Access Articles
  3. MIT Open Access Articles
  4. Endomorphisms of the shift dynamical system, discrete derivatives, and applications

Endomorphisms of the shift dynamical system, discrete derivatives, and applications

Thumbnail Image
Download
Name

Monks-2009-Endomorphisms of the.pdf

Size

720.3 KB

Format

Adobe PDF

Checksum (MD5)

d7379f66f1217eaca1f7c54bac5114f0

Author(s)
Monks, Maria
Date Issued
May 2009
Journal
Discrete Mathematics
Publisher
Elsevier
Citation
Monks, Maria. “Endomorphisms of the Shift Dynamical System, Discrete Derivatives, and Applications.” Discrete Mathematics 309, no. 16 (August 2009): 5196–5205. © 2009 Elsevier B.V.
Version
Final published version
Abstract
All continuous endomorphisms f[subscript ∞] of the shift dynamical system S on the 2-adic integers Z[subscript 2] are induced by some f : B[subscript n]→{0,1}, where n is a positive integer, B[subscript n] is the set of n-blocks over {0, 1}, and f[subscript ∞](x)=y[subscript 0]y[subscript 1]y[subscript 2]…f[subscript ∞](x) = y[subscript 0]y[subscript 1]y[subscript 2]… where for all i∈N, yi = f(x[subscript i]x[subscript i+1]…x[subscript i+n−1]). Define D:Z[subscript 2]→Z[subscript 2] to be the endomorphism of S induced by the map {(00,0),(01,1),(10,1),(11,0)} and V:Z[subscript 2]→Z[subscript 2] by V(x)=−1−x. We prove that D, V∘DV∘D, S, and V∘S are conjugate to S and are the only continuous endomorphisms of S whose parity vector function is solenoidal. We investigate the properties of D as a dynamical system, and use D to construct a conjugacy from the 3x+1 function T:Z[subscript 2]→Z[subscript 2] to a parity-neutral dynamical system. We also construct a conjugacy R from D to T. We apply these results to establish that, in order to prove the 3x+1 conjecture, it suffices to show that for any m∈Z[superscript +], there exists some n∈N such that R[superscript −1](m) has binary representation of the form [bar over x[subscript 0]x[subscript 1]…x[subscript 2n−1]] or [bar over x[subscript 0]x[subscript 1]x[subscript 2]…x[subscript 2n]].
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
http://hdl.handle.net/1721.1/96272
DOI of Published Version
https://doi.org/10.1016/j.disc.2009.04.006
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.