Talk:Collatz conjecture
This is the talk page for discussing improvements to the Collatz conjecture article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Archives: 1, 2, 3Auto-archiving period: 50 days ![]() |
![]() | This ![]() It is of interest to the following WikiProjects: | ||||||||||||||||||||
|
![]() | Daily pageviews of this article
A graph should have been displayed here but graphs are temporarily disabled. Until they are enabled again, visit the interactive graph at pageviews.wmcloud.org |
Semi-protected edit request on 16 March 2024
[edit]![]() | This edit request has been answered. Set the |answered= or |ans= parameter to no to reactivate your request. |
BEFORE: Eliahou (1993) proved that the period p of any non-trivial cycle is of the form AFTER: Eliahou (1993) proved that the period p of the next candidate for a non-trivial cycle is of the form
Idk, im not a mathematician, but i read the paper cited and the p that is used here seems to be only the current (1993) best candidate for a loop above m=2**39, but below 2**48 . As it is earlier mentioned, this region has already been investigated, so not only the original statements "any" false, but the big letter equation is also irrelevant. 89.223.151.22 (talk) 07:55, 16 March 2024 (UTC)
Not done: From what I understand, the paper states that all non-trivial cycles (if any exist) have a cardinality of the form . Your proposed change would imply that a non-trivial cycle that is not the first one to be found might not have a cardinality of that form, which contradicts the theorem proved by the paper. Saucy[talk – contribs] 10:43, 25 April 2024 (UTC)
Collatz 2nd loop proven impossible in 5 steps of easy logic.
[edit]Wikipedia is not an appropriate venue in which to publish your original research. --JBL (talk) 17:31, 9 June 2024 (UTC) |
---|
The following discussion has been closed. Please do not modify it. |
SIMPLIFIED PROOF A LOOP IS IMPOSSIBLE IN THE 3x+1 PROBLEM USING LOGICAL DEDUCTION WITH EASY TO FOLLOW IMAGES AND VOICEOVER IN A 4 MINUTE VIDEO ON YOUTUBE https://youtu dot be/_uugKBK1-l0?si=jq0PO8q_kJLLdNdd Sean A Gilligan April 2023 refined and revised most recently on 22 May 2024 Abstract Prove the function x×3+1/2^n when repeated will always go to 1. The origin of the function is attributed to being proposed by German mathematician Lothar Collatz in 1937 [1] Take any odd number multiply it by 3 and add one then divide by 2 until one arrives at the next odd number, repeat as many times as possible, so far every number goes to one and loops between 1421. The task is to prove it always will, 2 possible exceptions have been hypothesised, one where a sequence returns to the same value of x and loops forever or where it rises eternally higher towards infinity. In this paper I prove such a hypothesised loop is impossible. Introduction In order to have a loop in the 3x+1 problem the value of all rises VR must equal the value of all falls VF between the 1st and final X(capital X) so that VR-VF=0 We can deduce whether that is possible by working backwards and using only full values of x's in 5 simple steps of logical deduction. Where any 3x+1=y y is always even. 1. the 1st rise we cancel 2X between X and y-1 (which is 3X leaving X from 0 to X and 0 from X to 3X) with 2X in the final fall between the final y(fy) and X. This leaves fy-3X in the final fall between fy and X. y is always even x is always odd so fy-3x is always odd 2. So we know we must get a net rise (between all y to x to y-1's) between the 1st y and the final y-1(fy-1) to cancel to 0 3)a) Between X and X, where any x is greater than the previous x then y=2x so we cancel 1x in the descent from y to x with 1x in the rise from x to 3x this leaves a net rise (NR) of 1x from x to 3x (or y-1) (and one value of x between 0 and x). 1x is always odd. 3. b) Where x is less than the previous x y=x×2^n(n greater than 1) in the fall we can cancel 2x in the rise from x to 2x with 2x in the fall from y to x leave a net fall (NF)=y-3x always odd (plus 1x between 0 and x). Add up all NR to a total net rise TNR of all values between x to y's and y to x's , add up all NF(not including fy-3X) to a total net fall TNF. Subtract one from the other to leave an overall net ascent ONA (from all y to x to y-1's). If ONA=fy-3X we could cancel one from the other to leave a final value of 0 between all x's and y's. 4. This would need an odd number of x's between the starting X and yf because we need an odd TNR minus an even TNF or an even TNR minus an odd TNF to leave an odd number equal to fy-3X. So when one is cancelled from the other we are left with 0 for all values between x and y's between Xand X. 5. However here arises an inescapable inequality. For a loop to happen every value of x must be linked with no breaks in the chain so calculating from the lowest odd value of x in the loop as the starting X (Xn) we know the next odd value of x must be higher so the difference between X (Xn) and the next 3x or ((Xn+1)×3) must be an even number (Eg:between 31 and 47×3 we have 110) so if we cancel this value ((Xn+1)×3) from the final y instead of 3X we are still left with an odd number in the descent from the final y. However now we have an even number of odd x's between the 2nd y ((Xn+1)×3)+1 and the final y-1, this would be either an odd number of descents subtracted from an odd number of ascents or an even number of descents subtracted from an even number of ascents, which either would leave a net rise of an even number which can't cancel with the final y(fy) and X(n+1)×3 which is an odd number, so we can't get a net rise of 0. So a 2nd loop is impossible in the 3x+1 problem, regardless of any value for X in any sequence within infinity.. This part of the conjecture is now ruled out as being impossible. Having no address, no contacts in academic institutions and no bank account the peer review system is inaccessible. So it is in the public domain since May 2024. 83.137.6.162 (talk) 08:12, 8 June 2024 (UTC)
Please feel welcome to join 'this club'. No money or other people required to create a Wikipedia account. Still, face reality:
Don't let these words deter you. Feel welcome. Join this club. Enjoy your own user page, your own talk page. Alternative: talk to local math students. They will understand you, adjudicate your proof and, once convinced, rub their hands with glee to take it up the hierarchy and rock a boat. Uwappa (talk) 12:31, 9 June 2024 (UTC) |
Different formulations as rewriting systems
[edit]![]() | This edit request has been answered. Set the |answered= or |ans= parameter to no to reactivate your request. |
Under the section "Other formulations of the conjecture", include some formulations of the Collatz conjecture as termination problems for rewriting systems. These formulations enable automated approaches to the Collatz conjecture by using methods that are developed for automatically proving termination of rewriting.
For this change, please add the following after the section "As a tag system" under "Other formulations of the conjecture".
As string rewriting systems
[edit]For this section, assume that the Collatz function is defined in the slightly modified form:
The termination of the following string rewriting system is equivalent to the Collatz conjecture:[1]
The above rewriting system represents each number in unary, and applications of its rules in any order to such a representation simulates the iterated applications of the Collatz function. Roughly speaking, this system simulates the execution of a Turing machine with cells that can be contracted or expanded, where , , indicate the position of the head along with the state, stands for the blank characters on the tape, and the symbol is the unary digit.
An alternative string rewriting system that uses mixed binary–ternary representations of numbers is as follows:[2]
In the above system, the symbols and represent the binary digits (0 and 1), while the symbols , , represent the ternary digits. The symbols and act as delimiters. The rules in the first column apply the Collatz function to a number represented in mixed base as long as the rightmost digit is binary. The remaining rules rewrite the representation (while preserving the value it represents) such that the rightmost digit is binary.
Rephrasing the Collatz conjecture as termination of string rewriting enables, at least in principle, using automated approaches to try to prove the conjecture thanks to the methods developed for automatically proving termination of rewriting.
- ^ Zantema, Hans (2005). "Termination of String Rewriting Proved Automatically". Journal of Automated Reasoning. 34 (2): 105–139. doi:10.1007/s10817-005-6545-0. ISSN 0168-7433.
- ^ Yolcu, Emre; Aaronson, Scott; Heule, Marijn J. H. (2023). "An Automated Approach to the Collatz Conjecture". Journal of Automated Reasoning. 67 (2). doi:10.1007/s10817-022-09658-8. ISSN 0168-7433.
46.196.80.203 (talk) 13:49, 17 June 2024 (UTC)
Not done: This seems a bit WP:TOOSOON to me. It's based on a paper that's less than a year old with few citations. PianoDan (talk) 22:32, 18 June 2024 (UTC)
- The paper by Zantema is from 2005, so it is ~19 years old. The other paper by Yolcu, Aaronson, and Heule is actually ~3 years old; the conference version of their paper is here: https://doi.org/10.1007/978-3-030-79876-5_27. The latter work was also featured in 2021 in popular science magazines, for instance: https://www.technologyreview.com/2021/07/02/1027475/computers-ready-solve-this-notorious-math-problem. 46.196.80.203 (talk) 09:52, 24 June 2024 (UTC)
Not done for now: please establish a consensus for this alteration before using the
{{Edit semi-protected}}
template. I still don't think it's warranted based on the level of citations it has received. Given that there is disagreement from at least one editor that this material should be included in the article, the "Edit request template" procedure no longer applies, since it's only for non-controversial edits. Instead, you can attempt to build a consensus on this page that the material should be included. PianoDan (talk) 16:29, 24 June 2024 (UTC)- I fail to see why the citation count of the source material should be a significant basis for the decision of whether to include some content on the page, but let's assume it should be: Arguably the most similar content currently visible on the page is Liesbeth De Mol's 2-tag system from the 2008 paper. According to Google Scholar, that paper has 36 citations since 2008. Zantema's paper has 64 citations since 2005, and YAH's (conference) paper has 12 citations since 2021. To my understanding, the edit decision should be made based on the significance of the content and whether it is interesting enough. I think those rewriting systems are somewhat more interesting than the tag system since they enable an entirely new approach (at least in principle) towards a proof of the conjecture. 46.196.80.203 (talk) 11:09, 25 June 2024 (UTC)
Binary number of trailing ones equals number of following increases
[edit]The chapter Collatz_conjecture#As_an_abstract_machine_that_computes_in_base_two
- already states that the number of trailing binary zeroes equals the number of next repeated divisions (/2). That is obvious.
- but it does not yet state that the number of trailing binary ones equals the next number of increments, (*3+1)/2, as the number of trailing ones decreases by one with each increment.
Example:
- 19: 10011 (2 next increments)
- 29 : 11101 (1 next increment)
- 44: 101100 (no immediate increment) The trailing 1100 indicates: after two decrements (22, 11), two increments will follow (17, 26).
The source (BOM - Beauty Of Mathematics) claims at https://www.youtube.com/watch?v=UZH3P8Ey_C8
- not to be a mathematician just working on it as a hobby, so a primary source.
- this does not proof the conjecture, but it might lead to one.
Any mathematician known to have picked this up? Any secondary source known?
The graph already shows the total number of binary ones in brackets.
Is there any graph available that shows the number of trailing ones? Uwappa (talk) 07:46, 25 June 2024 (UTC)
- There does not seem to be a graph yet that shows how a Collatz sequence impacts trailing bits of binary numbers.
- Created a graph for Collatz_conjecture#As_an_abstract_machine_that_computes_in_base_two showing how the Collatz conjecture 'nibbles' on trailing bits, binary ones and zeroes:
Uwappa (talk) 13:28, 14 July 2024 (UTC)
I am proposing a major edit to this page.
[edit]The following discussion is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.
The added text is in ALL CAPS (will be changed to sentence structure once officially added to text). The added text is from the recently published paper “Hahn, Kirk O., 2024, Analysis of Collatz Conjecture Rules, Theoretical Mathematics & Applications, Volume 14, Issue 1, 1 – 76.” I am the author of this paper, so I tried to maintain a neutral “voice” with the information. No hype or exaggeration. We are all scientists or scientists-in-training when it comes to evaluating the changes to the page, so we must adhere to the “scientific method”. Which means in this case that all disclosed information in the paper is assumed to be true, since the paper has been published in a peer-reviewed, AMS registered journal. The journal is not the most prestigious but it is good enough to be included in the thousands of mathematical journals. The disclosure is assumed true unless someone with facts or evidence shows a mistake or error in the calculations or conclusions. Opinions, beliefs or feelings have no place in science. I encourage all commenters, whether positive or negative, to read the paper first [1]. We can only have an informed discussion with everybody knowing the facts. I will answer any questions that the commenters may have for me.
--------------------------------------------
Paul Erdős said about the Collatz conjecture: "Mathematics may not be ready for such problems."[7] Jeffrey Lagarias stated in 2010 that the Collatz conjecture "is an extraordinarily difficult problem, completely out of reach of present day mathematics".[8] FORTUNATELY, THEY WERE NOT CORRECT.
IN 2024, KIRK HAHN DISCLOSED THAT THE COLLATZ CONJECTURE WAS TRUE FOR ALL POSITIVE INTEGERS.[40] THE PAPER SHOWED WITH FORMAL MATHEMATICAL PROOFS THAT THE SOLUTION INCLUDES ALL POSITIVE INTEGERS, ALL POSITIVE INTEGERS EVENTUALLY GO TO “1” WHEN THE COLLATZ RULES ARE USED TO ITERATE THE NUMBERS, IT IS MATHEMATICAL IMPOSSIBLE TO FORM LOOPS, EXCEPT FOR THE 4-2-1 MINOR LOOP AND NO POSITIVE INTEGER CONTINUOUSLY GOES UP TOWARD INFINITY WITHOUT EVENTUALLY DECREASING TO “1”.
ADDITIONALLY, THE POSITIVE INTEGERS FORM A SIMPLE AND PREDICTABLE DENDRITIC (TREE-LIKE) PATTERN WHEN APPROPRIATELY GRAPHED.
[INSERT FIGURE OF DENDRITIC PATTERN]
THIS OBSERVATION LEAD TO THE PRODUCTION OF A GENERAL EQUATION FOR THE COLLATZ CONJECTURE THAT IS ABLE TO CALCULATE ALL THE PARAMETERS. THE EQUATION IS ABLE TO CALCULATE THE NUMBER OF STEPS FROM THE INITIAL POSITIVE INTEGER TO REACHING “1”, THE INTERMEDIATE VALUES DURING ITERATION AND THEIR PRECISE LOCATION ON THE DENDRITIC PATTERN AND SHOWS ALL POSITIVE INTEGERS GOES TO “1”. IT CAN EVEN CALCULATE THE ENTIRE ITERATION WITH ONLY KNOWING THE INITIAL POSITIVE INTEGER.
[INSERT FIGURE OF GENERAL EQUATION]
------------------------------------------
Since 3n + 1 is even whenever n is odd, one may instead use the "shortcut" form of the Collatz function:
Figure of equation
This definition yields smaller values for the stopping time and total stopping time without changing the overall dynamics of the process. HOWEVER, IT SHOULD BE REMEMBERED THAT THE RULE FOR ODD NUMBERS IS NOT THIS “SHORTCUT”, BUT JUST 3N+1. COMBINING THE ODD AND EVEN STEPS MAY SHORTENED THE NUMBER OF STEPS, But IT ALSO OBSCURES THE TRUE RELATIONSHIP OF THE NUMBERS WHEN DEVELOPING A PROOF OF THE CONJECTURE.
40. HAHN, KIRK O., 2024, ANALYSIS OF COLLATZ CONJECTURE RULES, THEORETICAL MATHEMATICS & APPLICATIONS, VOLUME 14 ISSUE 1, 1 – 76 45.50.231.56 (talk) 17:20, 13 August 2024 (UTC)
- Sorry, Wikipedia is not the right place to promote your own original research.
- See above: Collatz 2nd loop proven impossible in 5 stepsof easy logic. Uwappa (talk) 17:45, 13 August 2024 (UTC)
- This is not "original research" as defined by Wikipedia. It is research that has been published in a peer-reviewed journal, as such, it is no different than any other published paper. It is true I have proposed the edit but it is from a published paper. 45.50.231.56 (talk) 19:35, 13 August 2024 (UTC)
- It is from a journal never deemed worthy of indexing in MathSciNet, and removed from indexing in zbMATH in 2017. These are indexes that aim to include all respectable mathematics journals, from which I conclude that their deliberate exclusion means they think it is not a respectable mathematics journal. —David Eppstein (talk) 21:21, 13 August 2024 (UTC)
- Unsurprisingly, the publisher (Scienpress Ltd) was on Beall's List. --JBL
- For some reason its doi prefix, 10.47260, does not appear to be marked as predatory by User:Headbomb's script for that. Maybe it should be? —David Eppstein (talk) 17:48, 14 August 2024 (UTC)
- Added. Headbomb {t · c · p · b} 18:18, 14 August 2024 (UTC)
- This is your opinion, but it is not a requirement of either Wikipedia’s policy or rules. As I mentioned, TMA is not the most prestigious Math journal; however, it meets the minimum qualifications for a reliable source for Wikipedia. Wikipedia defines a “reliable source” has being “published” [yes], peer-reviewed [yes], and not a predatory journal [yes]. Additionally, TMA is listed in the AMS Digital Mathematics Registry, the journal is deposited with the National Librarian of the National Library of New Zealand, it is published in both online and print versions, it is 1 of 14 journals in four general categories published by Scientific Press International Limited and has ISSN numbers for both print (1792-9687) and online (1792-9709). TMA is not a “predatory journal”. It only has a modest publication fee, compared to other journals that charge thousands of dollars ($3,370 for J. Number Theory). The Beall's List is just one man’s opinion of potential predatory journals and publishers. The reason for a reliable source is the conclusion that the papers in this type of journal will also have higher probability of being reliable. In this case, all the information in the published paper is self-verifiable. Any reader of the paper can determine for themselves if the information is true by repeating the disclosed math. The level of math in the paper is high school level, which most people reading this page can do without any advance math knowledge. If the information is unreliable, then point out the errors in the calculations or conclusions. Therefore, let us discuss the disclosed mathematics. Is it true or false? 45.50.231.56 (talk) 19:33, 14 August 2024 (UTC)
- "it meets the minimum qualifications for a reliable source for Wikipedia"
- As a predatory journal, it does not meet WP:RS. See WP:VANPRED in particular. Headbomb {t · c · p · b} 19:41, 14 August 2024 (UTC)
- It's largely irrelevant to our discussion here of whether we can include this material, but if you must know, I believe the arguments in the paper to be invalid. The reason is that, although the paper assumes that the arguments to the Collatz iteration are positive, it never uses that assumption. Therefore, if it provided a valid argument, that argument would apply equally well to the application of the Collatz iteration to negative integers. But we know from Collatz conjecture § Iterating on all integers that for negative integers there are at least four different Collatz cycles. —David Eppstein (talk) 19:48, 14 August 2024 (UTC)
- The conjecture only pertains to positive integers, so negative numbers are not included in the analysis of the conjecture. 45.50.231.56 (talk) 05:45, 15 August 2024 (UTC)
[...] it meets the minimum qualifications for a reliable source for Wikipedia.
No, it really doesn't.Therefore, let us discuss the disclosed mathematics.
That's not what we're here for. Like, at all. XOR'easter (talk) 22:51, 14 August 2024 (UTC)
- Unsurprisingly, the publisher (Scienpress Ltd) was on Beall's List. --JBL
- It is from a journal never deemed worthy of indexing in MathSciNet, and removed from indexing in zbMATH in 2017. These are indexes that aim to include all respectable mathematics journals, from which I conclude that their deliberate exclusion means they think it is not a respectable mathematics journal. —David Eppstein (talk) 21:21, 13 August 2024 (UTC)
only integers
[edit]The definition says: "If the previous term is even, the next term is one half of the previous term. If the previous term is odd, the next term is 3 times the previous term plus 1.". So, you can not choose non-integers for the Collatz conjecture and the sections Iterating on rationals with odd denominators, 2-adic extension and Iterating on real or complex numbers need to be removed. 94.31.89.138 (talk) 18:01, 20 August 2024 (UTC)
- C-Class vital articles
- Wikipedia level-5 vital articles
- Wikipedia vital articles in Mathematics
- C-Class level-5 vital articles
- Wikipedia level-5 vital articles in Mathematics
- C-Class vital articles in Mathematics
- C-Class mathematics articles
- High-priority mathematics articles
- C-Class Numbers articles
- Unknown-importance Numbers articles
- WikiProject Numbers articles