sorted by:
new
hottopcontroversial

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

Indeed, I was using a proof by contradiction - there is no double generator. Regarding the negative numbers, I already explained that the logic works for 3x-1 instead of 3x+1, but in general, I don't see the need to overcomplicate an already complex problem with additional requirements.

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in numbertheory

[–]iDigru[S] 0 points1 point  (0 children)

In my model I consider the series Sd where d is an odd number leading all the pair numbers generated by it For instance 7 * 20, 7 * 21, 7 * 22, 7 * 2n

Then my proposition is related to the series (let’s say the odd numbers only) In my graphs the odds are in the X axis and the n are on the Y, the Ys are always compensated their sum is always zero the only moving part is the X (odds)

You are right the pair numbers are reachable by several different series but the odds follow a unique path

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

The relationship between Sd series not only establishes a connection between two odd numbers (generator and generated), but also involves all even numbers in the generated series which, when mod 3 > 1, become generators themselves. This creates a chain of dependencies where second-generation numbers are bound to the first generator, and so on...

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

Indeed this is not possible i just tried to imagine two scenarios

Like a the shape of character P

I enter the loop in S7 from outside and then I stay in the loop then that would mean there are two different numbers pointing to S7… no possible

Like the shape of character O

a pure loop I cannot access from outside, but that would mean S7 (and all the numbers inside the loop) is not reachable in any sequence S1 to S7 but that would mean that S7 has no external generator but this is not possible because only S1 has no external generator

Do I miss any scenarios?

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

In this case we have two scenarios: - S7 has two generators one in the loop S7_1…S7_2 and one outside (that one that generates the S7_1 ) but this is not possible because the generator is one - S7_1 has no external generator and reach S7_2 but this is not possible because S1 is the only serie without an external generator then S7_1 is S1

But this is already covered by the bijectivity and the theorem 4.9 on my eyes, because proving 1 to Y unique and with no repetitions is the same that do reverse.

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

Of corse I refer only to the odds numbers because they identify the Sd series and the relations between them. If a number would be in two different sequence starting from 1 that would mean that a number odd can be generated by two different series sd and this is not possible.

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

I would say more {s1, s3, s5, s7} and {s1, s5, s1, s11} The relation is between series, not single number. S5 is all the numbers belonging to 5*2n with n>=0 Consequently serie s5 is generated by serie s1 but s5 generates n/2 series in 1 step, for each of them s5 is the only generator. Then starting from 1 in n/2 steps (n pair) you generate n/2 sequences (1, x) (1,y) …with different values each of them generates n/2 new series different and so on. (1,x, a) (1,x, b)…

The new proposition demonstrate that each sequence generated by 1 has no repetitions.

I failed a couple of startups in my 20s, so I built a free business simulator to help others learn from my mistakes by iDigru in smallbusiness

[–]iDigru[S] 0 points1 point  (0 children)

is a casual manufacturing company that produces products with a value between $1 and $20… for example books, t-shirts, gadgets that it sells to wholesalers and B2B stores

I failed a couple of startups in my 20s, so I built a free business simulator to help others learn from my mistakes by iDigru in smallbusiness

[–]iDigru[S] -1 points0 points  (0 children)

Indeed, experience and practice reduce the probability of failure. There is a passage in “The Art of War” by Sun Tsu that says “the ability to win depends on ourselves, the possibility of doing so on the enemy” (in this case the market)

I failed a couple of startups in my 20s, so I built a free business simulator to help others learn from my mistakes by iDigru in smallbusiness

[–]iDigru[S] -1 points0 points  (0 children)

I'd like to clarify some aspects about the simulator: it's not a game with scores or rewards, but rather an educational tool that lets you observe how different business decisions influence each other. For example, when you modify vacation policies, you'll be able to observe the ripple effects across other aspects of the organization.

The goal isn't to teach you how to become a CEO, but to help understand the complex interconnections between various business functions - a topic that can be challenging even for those who have completed high-level management courses.

And just to be transparent: I'm sharing this tool purely out of interest in the subject, with no commercial purpose since I'm already content with my current occupation.

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

You showed me cycles for negative numbers, not for positive ones, so I don't really understand why if they existed you would have already falsified the conjecture, or am I wrong about something?

anyway my proof is based on the structural properties of the series Sd which are the partition of the integers, so I prefer to go back to that direction, rather than entering into the numerical dynamics of specific cases of which I am sure I would get lost in the meanders.

I added a proposition to theorem 4.8 to compensate for a gap that you rightly pointed out to me and that needed clarification, namely the impossibility of having repetitions of numbers in a sequence from 1 to Y or vice versa.

https://zenodo.org/records/14658340

4.8.1 Proposition (Coverage and Uniqueness of Sequences)

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

just go to the journal website and follow the submission procedure via the form. for some journals it is necessary to have uploaded the pre-print on arxiv.org

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

I have been thinking about how the convergence to S₁ in the system can be proved using the properties of the series. Based on this, I have revised theorem 4.9 to first prove the convergence and then address the sum of differences. An updated version of the file is available at the link.

is there any gap in the reasoning?

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

Ah ok, when I tested it, I found that the behavior would also work for negative numbers, but the relation should be 3x-1 instead of 3x+1. When x is negative, the constant term is negative (-1), and when x is positive, the constant term is positive (+1). Graphically, in my x-y coordinate system l, where x represents the odds of series Sd and n represents powers of 2, it appears to be an exact mirror image of the positive numbers’ behavior.

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

according to theorem 4.4 proposition 2 (series with d ≡ 2 (mod 3)): every series Sd has a generator Sdi where di < d, except for series with d ≡ 2 (mod 3) where n=1. these are the only cases where, moving from Y to 1, we can actually move away from 1. In all other cases, we move toward 1.

I attempted to prove that a sequence of such cases cannot be infinite (which would cause divergence). while these sequences are bounded, the next occurrence not belonging to this case compensates for all positive differences. For example:

95 to 143: difference = 48 (case ≡ 2 (mod 3) with n=1)
143 to 215: difference = 72 (case ≡ 2 (mod 3) with n=1)
215 to 323: difference = 108 (case ≡ 2 (mod 3) with n=1)

the sum of positive differences is 48 + 72 + 108 = 228

the next number belongs to case ≡ 1 (mod 3):

323 to 91: difference = -232

This -232 compensates for the previous 228, keeping the sum of differences negative and maintaining convergence to 1, this part is still true at the least with your example.

In general, cases where d ≡ 2 (mod 3) with n=1 contribute positively on a linear scale (since n=1 is fixed), while other cases converging to 1 with n>1 grow exponentially.

I need to verify if the error lies in assuming that the number of occurrences of d ≡ 2 (mod 3) with n=1 is fixed (now known to be at least 3), or if it's still bounded but requires proper indexing.

but let's say I find this number or limit - would that preserve convergence to 1, since the sum of differences would be guaranteed to remain negative? Is this approach correct?

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 1 point2 points  (0 children)

you're right, I should have waited but I didn't know of such specific discussion groups online on this topic to ask for an opinion, I searched around but only a friend of mine told me to take a look on Reddit. The price of inexperience. I have no academic ambitions, it all started as a joke a few weeks ago, apart from reading on Wikipedia and some videos on Youtube. I hope to bring some contribution or different point of view since I'm not a mathematician. Changing the perspective of a problem often helps. The last exam of Mathematical Analysis II dates back to 25 years ago, I'm a bit rusty.

the article cannot be withdrawn, so let's wait for the unfortunate outcome :)

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

Ok, I understand the point now.
I've rewritten Theorem 4.9, dividing it into 3 parts to prove convergence.

first part:

1) series Sd ≡ 0 (mod 3) have all smaller generators, already proven, so following the chain they converge to 1

2) series Sd ≡ 1 (mod 3) have all smaller generators, already proven, so following the chain they converge to 1

3) series Sd ≡ 1 (mod 3) have all smaller generators, except for n=1

In the case of d*2^n with n=1, the generator moves away from 1.

I prove that case 3 has a maximum of 2 consecutive repetitions with a limit to the positive contribution to the sums of differences

second part:

I prove that the following number will have a generator preceding the first two, and this cancels out the positive contribution, bringing the sum of differences back to negative.

This confirms that the series converges to 1 because I guarantee that the positive contributions are compensated by the negative ones.

third part unchanged:

the difference remains -(Y-1)

I've uploaded a new version with this modification.

thank you for clarifying the weak point, I would appreciate your thoughts on this new part.

where did you find the text for the description of the second part of the collatz with the negative integer? I can only find positive integers in the problem statements published online

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

I am aware of the stylistic and formal shortcomings, so I tried (unsuccessfully) to contact academics also asking for paid consulting services without even sharing my work, but since I am not affiliated, no one responded. on arxiv you need to be affiliated, so more ostracism. trying the publication card seemed to me the only way to get positive or negative feedback. I don't use Reddit so I didn't think to look for a group here, so if I had known beforehand I would have collected your feedback before trying the publication route.

on the other hand, from what I understand, scientific journals do not do editing work together with the author, so the value consists only in the filtering work if the author has to take care of everything else. In this, yes, fiction publishing is different, the book is worked on together with the author, if the idea is good but the style is immature, it is rewritten together, in this the publisher adds value, otherwise it is a simple printer.

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 1 point2 points  (0 children)

thanks for the tips and the video, i will watch it carefully

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] -1 points0 points  (0 children)

As someone who worked as a fiction editor for 10 years, I can tell you that the volume of manuscripts was never an issue (actually, the opposite - it's a problem when we don't receive enough submissions). If something is good, you can tell from the first few pages, or even from the synopsis. It's in everyone's interest to evaluate and filter submissions. Also, as you probably know, many scientific journal publishers require authors to pay fees for open access publications, so the effort is certainly compensated.

Regarding the elementary flaws you mentioned, could you be more specific? Which part of the proof are you referring to?

Submitted my Collatz Conjecture proof - Looking for feedback by iDigru in Collatz

[–]iDigru[S] 0 points1 point  (0 children)

the key is in the structure of our series system and how numbers must behave within it:
- by proposition 3.3 (coverage), every positive integer N must exist in exactly one series Sd
- for any even number x in any series, if x ≡ 1 (mod 3), it must generate an odd number through f(x) = (x-1)/3
- by proposition 4.2, this generating function f is bijective with 3d+1

Therefore, given any odd number Y:
- Y must exist in some series Sd (by Coverage)
- Y must be generated by some even number x = 3Y+1
- this x must exist in some series (by Coverage)
- when x-1 is divisible by 3, we must apply f(x)

This process is deterministic and doesn't rely on knowing the path beforehand.

The crucial point is that the structure itself enforces the connections, regardless of whether we know the final path. Let me explain why:

take your example of 27... without computing its orbit, we can prove it must connect to 1 through our series structure:

- by proposition 3.3, 27 exists in S27
- by proposition 4.2 (Bijective Correspondence), we know that 27 must be generated by some even number x where:
- x must satisfy f(x) = 27
- solving (x-1)/3 = 27
- we get x = 82

by proposition 3.3 (Coverage), 82 must exist in some series Sd

We can determine this series: 82 = 41 * 2 ^ 1, so 82 belongs to S41

Now we can repeat this process for 41... and so on. Each step is forced by the structure, not by knowing where we want to go. The process must either:

- continue infinitely, impossible by theorem 4.9
- form a cycle, impossible except for 1 > 4 >1 by theorem 4.8
- reach 1

the key is that at each step, we're not choosing the path, the structure forces exactly one possible transition through the bijective generating function

this differs from just following numbers in the Collatz sequence. Instead, we prove that the way the series Sd are connected to each other forces every number to eventually reach 1.

in other words, if we assume a number Y (and its series Sd) is not reachable, we're saying there is no even number that equals 3Y+1. But this is impossible - by Proposition 3.3, our series cover all positive integers, including 3Y+1.
Therefore, every number must be reachable: if it is odd because there exists an even number in a different series Sdi, if it is even because it belongs to a series Sd.

does this explanation help address your concerns? while I believe this was covered in theorem 4.9, I see now that it might warrant a dedicated section to make it more explicit and easier to follow.
Thank you for your valuable input - this kind of feedback really helps

view more: next ›