mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Miscellaneous Math (https://www.mersenneforum.org/forumdisplay.php?f=56)
-   -   The new strong (extended) factoring method using the 4-square representation of an integer. (https://www.mersenneforum.org/showthread.php?t=22389)

Batalov 2017-06-24 00:41

[QUOTE=mahbel;461915]You just do it yourself. I can tell you that I used the online 4-sq reps calculator for which I provided the link before.

...if I somehow cheated...[/QUOTE]

So do the decomposition of 5068057921 by your great method using
[url="http://www.mathcelebrity.com/foursquare.php?num=5068057921&pl=Show+Lagrange+Four-Square+Notation"]http://www.mathcelebrity.com/foursquare.php?num=5068057921&pl=Show+Lagrange+Four-Square+Notation[/url]
and factor it. Just do it yourself.

Simply because you think that "people think that you are cheating" doesn't mean that you are not cheating.

CRGreathouse 2017-06-24 00:57

[QUOTE=mahbel;461918]There are algorithms that can provide the decomposition of an integer N into a sum two squares which do not require factoring N.[/QUOTE]

Are these algorithms faster than factorization? That would be a surprise to me, I was not aware of any such algorithm.

I've chosen two random semiprimes such that one is a sum of two squares and the other is not. They both have 120 decimal digits, which is designed to be large enough that they are inconvenient to factor. Can you tell, via this method, which is the sum of two squares?

212516552112132255144219181942145041853904419406206147277341101918011712262187398404745415408630814953685178049763053241

512905543662054235449961761129912643539514261930778780575803129094809217414988287315500794889688083726470478732454337581

CRGreathouse 2017-06-24 01:00

[QUOTE=a1call;461922]Expanding Fermat's factorization method:

a+b | a^n + b^n
For all positive odd integers n.

Similarly, all positive even integers n, yield imaginary integer factors.

However, while true it has little practical value for large semi primes, due to "exponential" growth of powers.[/QUOTE]

If mahbel could demonstrate a factoring method along those lines, perhaps based on a geometric version of rectangle decomposition, I would certainly consider it a success (even though it only works on a narrow set of numbers). I've seen at least one published paper on a factorization method for a special class of numbers (as far as I know it had only curio value, but it was interesting).

Dr Sardonicus 2017-06-24 12:39

[QUOTE=mahbel;461915]How I found them was described before in one of my post. You take a 4-sq rep (a,b,c,d) and you combine the elements a,b,c,d, in this case the non-squares.
a+b, a+c, a+d, b+c, b+d, a+b+c, a+b+d, b+c+d and you calculate the gcd of these combinations.

There is a really simple way to see if I somehow cheated and invented these combinations that sum up to a factor.[/QUOTE]
There [i]is[/i] a simple way: Show your work. You have to [i]find[/i] the 4-square reps before you can use them. For me, at any rate, finding 4-square reps is a lot harder than trial division. Especially for numbers less than 10,000. If you ran a script to find the reps, post it. Especially if the output shows it finding a factor.

Besides, I have said myself that your "method" is likely to stumble across factors less than 100. You haven't tried your "method" on any numbers large enough to be of interest WRT whether your "new factoring method" has any merit.

mahbel 2017-06-24 12:55

[QUOTE=CRGreathouse;461926]Are these algorithms faster than factorization? That would be a surprise to me, I was not aware of any such algorithm.

I've chosen two random semiprimes such that one is a sum of two squares and the other is not. They both have 120 decimal digits, which is designed to be large enough that they are inconvenient to factor. Can you tell, via this method, which is the sum of two squares?

212516552112132255144219181942145041853904419406206147277341101918011712262187398404745415408630814953685178049763053241

512905543662054235449961761129912643539514261930778780575803129094809217414988287315500794889688083726470478732454337581[/QUOTE]

I don't know if the algorithm is faster than factorization. I only know that such an algorithm exists. It is based on solving quadratic equations and finding values of a parameter k that makes the discriminant a perfect square. I suppose for some numbers, solutions can be found quickly and for some other numbers not so quickly.

The algorithm is described here.

[url]https://math.stackexchange.com/questions/1972771/is-this-the-general-solution-of-finding-the-two-original-squares-that-add-up-to[/url]

To answer your second question, there is no quick way to tell if a number does not admit a representation as a sum of two squares. To find out, one has to check every value of the parameter k in the discriminant until we run out of values to check before we can say the number does not admit a representation as a sum of two squares. And this may take a long time, maybe even longer than factorization.

Dr Sardonicus 2017-06-24 13:19

[QUOTE=mahbel;461957]The algorithm is described here.

[url]https://math.stackexchange.com/questions/1972771/is-this-the-general-solution-of-finding-the-two-original-squares-that-add-up-to[/url]
[/QUOTE]
Consulting this august source, we find:
[quote]The condition for a solution is that:

(2*k + 6)^2−8*(k^2 + 4*k+5 - N) = s^2[/quote]

Let's see here. Simplifying the LHS of the above equation gives

8*N - 4*(k + 1)^2 = s^2, or 8*N = s^2 + 4*(k + 1)^2.

In other words, the condition that there is a solution, is that 8*N be a sum of two squares. And how do we actually [i]find[/i] them?

[quote]We may have to try few values of k before we hit on the solution.[/quote]

In other words, trial-and-error.
:missingteeth:

science_man_88 2017-06-24 13:38

[QUOTE=Dr Sardonicus;461958]8*N - 4*(k + 1)^2 = s^2, or 8*N = s^2 + 4*(k + 1)^2.

In other words, the condition that there is a solution, is that 8*N be a sum of two squares. And how do we actually [i]find[/i] them?[/QUOTE]

This proves that s is even, because in general [TEX]2a\neq 2b + 2c+1[/TEX] . If s=2*t then s^2= 4(t^2). We can remove the factor of 4 from each side, reducing it to 2N=t^2+(k+1)^2 so the fact that 8N has to be of this form, proves 2N has to a sum of two squares.

Dr Sardonicus 2017-06-24 13:46

[QUOTE=mahbel;461915]Now, if you want to impose limitations on how one can go about combining 4 different numbers in different ways, then please post your do's and dont's.[/QUOTE]Again, it is incumbent on [i]you[/i], the claimant, to prove that your method [i]does[/i] work, rather than for others to prove it doesn't.

I think that others have already shown that your "method" is extremely unlikely to work in a reasonable amount of time with numbers of any size. The fact that you have steadfastly refused to apply your method to challenge numbers of any size lends credence to this assessment.

Besides, in your above demand, you appear to be admitting that your method is only guaranteed to work if you are allowed to combine the 4 numbers [i]without limitation[/i] -- which, as far as I can tell, could include substituting a, b, c, and d into [i]any[/i] polynomial in 4 variables with integer coefficients. If you're saying that that's what it would take to guarantee that your "method" would produce a factor, then it is as I previously described it: blazing away with a scattergun, desperately hoping that some of the buckshot will hit.

mahbel 2017-06-24 13:59

[QUOTE=science_man_88;461959]This proves that s is even, because in general [TEX]2a\neq 2b + 2c+1[/TEX] . If s=2*t then s^2= 4(t^2). We can remove the factor of 4 from each side, reducing it to 2N=t^2+(k+1)^2 so the fact that 8N has to be of this form, proves 2N has to a sum of two squares.[/QUOTE]

The answer Will Jagy gave in the thread on the statckexchange site proved that writing 2N as a sum of two squares is equivalent to writing N as a sum of two squares. And he is one of the most knowledgeable mathematician I know. He called it a bijection between the two methods.

science_man_88 2017-06-24 14:38

[QUOTE=mahbel;461962]The answer Will Jagy gave in the thread on the statckexchange site proved that writing 2N as a sum of two squares is equivalent to writing N as a sum of two squares. And he is one of the most knowledgeable mathematician I know. He called it a bijection between the two methods.[/QUOTE]

I applied even =sum of two numbers of same parity , but my result also can follow from what I stated earlier. That because 8 is not square-free ( 8=(2^2*2) ) that we can also delete that square factor from the squares that sum to it in this case. applying even =sum of two numbers of same parity again ( as well as the fact that a power has the same parity as it's base) we see that k+1 has the same parity as t. Unless we know one though I don't think we can easily find the other.

Batalov 2017-06-24 18:57

[QUOTE=mahbel;461957]The algorithm is described here.

[URL="https://math.stackexchange.com/questions/1972771/is-this-the-general-solution-of-finding-the-two-original-squares-that-add-up-to"]https://math.stackexchange.com/[SIZE="3"][B]questions[/B][/SIZE]/1972771/is-this-the-general-solution-of-finding-the-two-original-squares-that-add-up-to[/URL]
[/QUOTE]
[URL="https://math.stackexchange.com/questions/1972771/is-this-the-general-solution-of-finding-the-two-original-squares-that-add-up-to"]is-this-the-general-solution-of-finding...[/URL]
Doesn't it sound like a question, rather than an answer? Why yes! It [B]is[/B] a question, and the answer is 'No.'
There is no algorithm in that thread. Try again.


All times are UTC. The time now is 14:36.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.