Talk:Quadratic sieve

The paragraph named "Data processing" needs a serious rewrite. I just fixed an error that was introduced six(!) months ago, but even though it does not contain any more "logical errors", it does not show what happens at all. The 350^2 = (-90)^2 example is a very, very bad one, because actually 350 *is* -90 (mod 55). It only happens to prove the result because 350-90 = 2*350 has factor 5 common with 55, which itself is true only because 350 contains factor 5. This is nonsense! I really believe a less contrived example would be welcome, as it would decrease the probability of such errors and would help readers get a better grasp of the concept.

OK, I wrote a new example, with a bigger n and more strictly following the procedure outlined in the article (this example uses sieving). Decrypt3 23:44, Dec 13, 2004 (UTC)

New stuff

I tried to add a more approachable introduction to the ideas behind the algorithm, based roughly on the presentation from Prime Numbers: A Computational Perspective. Please scan my contributions for errors - number theory isn't quite my forte. Thanks. Deco 22:05, 8 October 2005 (UTC)[reply]

Corrections

I'm not familiar with how to edit these pages, but with the example of 1817, you should also produce the term (5,392) with 392=2^3*7^2 being smooth.

Also the line ...

   $x^{2}\equiv 1817{\pmod {p}}$

should read $(x+42)^{2}\equiv 1817{\pmod {p}}$

I just made a change. The original article said it was an extension of Dixon's algorithm, but I don't think this is a good analogy for two reasons: (i) Pomerance himself described it as a simple change to Schroeppel's algorithm (not Dixon's), and (ii) Dixon's algorithm and Quadratic Sieve are in two different categories: the former is a provable algorithm, the latter is heuristic. Scott contini (talk) 11:39, 12 August 2010 (UTC)[reply]

The pseudocode currently ends with

           if  $x\not \equiv -y{\bmod {n}}$  and  $x\not \equiv y$  then return to main loop.
           else if  $x\equiv -y{\bmod {n}}$ :
               return  gcd(x - y, n) , gcd(x + y, n)

I think the conditions are swapped: if $x\equiv -y{\bmod {n}}$ , then $\gcd(x+y,n)=n$ so the factorization is the trivial one.ATC2 (talk) 01:30, 18 June 2019 (UTC)[reply]

Space complexity

I'm not yet sure whether the recent correction to the space complexity is correct or not. The optimal choice of the smoothness bound B is indeed the square root of the time complexity. On the other hand, if the bit matrix is represented explicitly, it requires B² space. On the other other hand, we don't normally represent it explicitly - we use a sparse matrix representation that only stores a small number of factors per row, and reduce it using the Lanczos method for large sparse linear systems. We can't guarantee that the matrix will be sparse, but in practice it is. The cited reference referred to Number Field Sieve and so does not apply. Until someone finds an explicit reference describing the space complexity, I've removed any mention of it, since I'm uncertain myself. Deco 18:53, 26 November 2006 (UTC)[reply]

I searched high and low, but I couldn't find anything on the space complexity, either. Perhaps it's time to ask someone with more knowledge in number theory. On another note, I'd imagine that each main step of the quadratic sieve would have different complexities, with the sieving and matrix-solving steps being particularly large when compared to the other three. Personally, I think that there are still many things that can be added to the article. --Ixfd64 11:55, 27 November 2006 (UTC)[reply]

- My computational number theory book (already referenced in the article) has the following to say in section 6.1.3:
  - There have been suggested at least three alternative sparse-matrix methods intended to replace Gaussian elimination [...] the space required is O(N ln B). Since our factorization matrices have at most O(ln n) nonzero entries per row, the space requirement for the matrix stage of the algorithm, using a sparse encoding, is O(B ln² n).
- If you put this together with the optimal choice of B being $O\left(\exp {\frac {1}{2}}\left({\sqrt {\log n\log \log n}}\right)\right)$ $O\left(\exp {\frac {1}{2}}\left({\sqrt {\log n\log \log n}}\right)\right)$ , this means the space in the matrix stage is:
  - $O\left(\log ^{2}n\exp {\frac {1}{2}}\left({\sqrt {\log n\log \log n}}\right)\right)$
- On the other hand, my book also says that "there are hidden costs for increasing the list of primes p with which we sieve. One is that it is unlikely we can fit the entire sieve array into memory on a computer, so we segment it [...]". It seems difficult to establish which stage dominates in space, although in practice the space issues of the sieve are more easily overcome. As always, little is rigorous when it comes to QS. I suggest that we say that the matrix stage requires the amount of memory shown above, and leave it at that. Deco 12:21, 27 November 2006 (UTC)[reply]

It all becomes a lot simpler if you use L-notation. The matrix has

L_{n}[1/2,1/2]

rows each of which have at most (actually less than)

\ln n

entries. This implies the size of the matrix is at most

\left(\ln n\right)L_{n}[1/2,1/2]=L_{n}[1/2,1/2]

-- the little o in the exponent of the

L_{n}[1/2,1/2]

swallows the

\left(\ln n\right)=e^{\left(\ln \ln n\right)}

that is multiplied by it. So the memory is indeed square root of the running time. Also, memory during sieve stage is dominated by storing the factor base which is again

L_{n}[1/2,1/2]

size. Scott contini (talk) 11:53, 12 August 2010 (UTC)[reply]

To do

Some stuff that needs to be done in this article:

Explain how the asymptotically optimal value of the smoothness bound B is chosen.
Explain better the "sign" bit of the vectors and why it's needed.
Talk about multiple polynomial variations.
Talk about sparse matrix representations and solution methods and their applicability.
Talk about how large a region needs to be sieved.
Talk about the use of approximate logarithms to speed up calculations.
Similarities and differences with number field sieve.
Lots more stuff.

Just some things to keep in mind for future expansion. There is plenty to add here. Deco 01:13, 29 November 2006 (UTC)[reply]

In the German Article http://de.wikipedia.org/wiki/Quadratisches_Sieb some of thoose questions (like multiple polynomials, approximate logarithms) were discussed. An Example is also given. 87.234.198.146 11:42, 6 February 2007 (UTC)[reply]

Implementing a Quadratic Sieve

Hey, as part of my 3rd year project, one of the things I am doing is implementing this. I think I have found an error in the selection of the Factor Base, could someone please check that 13 should not be in the factor base? Also should 23 be? It's a factor of 1817. I will be further correcting this description if I find what I feel is a mistake, but could people possibly review my changes? Cheers, Tompsci 16:01, 18 January 2007 (UTC)[reply]

I don't see why 13 shouldn't be in the factor base. (1817/13) = (10/13) and 6^2 = 10 mod 13. Thus the Legendre symbol is 1. And you can't exclude 23 unless you know in advance that it is a factor of 1817. But you can't know that without factoring the number, which is the object of the exercise. In practice a quadratic sieve implementation will trial divide by all primes upto the largest prime in the factor base, it will check that the number being factored is not prime and it will check that the number being factored is not a perfect power. In all these situations the quadratic sieve will fail to find a factor otherwise. Someone ought to remove the thing about the article being factually incorrect (apart from my comments below), and perhaps the talk page shouldn't be used as a means of asking questions for a 3rd year project. :-) Anyhow, 23 is not mentioned as an element in the factor base in the article is it? wbhart 86.20.38.38 03:45, 11 February 2007 (UTC)[reply]

I think the error in question has been sufficiently addressed by wbhart, so I am going to remove the tag. Schneau 17:25, 25 June 2007 (UTC)[reply]

crossover with NFS

In various experiments using best-available-free implementations (ggnfs for the NFS, msieve for MPQS) I found the crossover was nearer 100 than 110 digits; a 102-digit number was 17hrs msieve and 8hrs ggnfs on the same hardware Fivemack 11:42, 7 February 2007 (UTC)[reply]

- This is a moving target dependent on:

* the architecture of the hardware used, memory throughput vs processor clock speed vs hard disk speed, etc
* the amount of time invested in optimizing the number field sieve and quadratic sieve
* the "goodness" of the polynomials used with the number field sieve (still an open research problem)
* the particular numbers being factored - wbhart 86.20.38.38 03:45, 11 February 2007 (UTC)[reply]

Fastest factoring method?

The statement that the quadratic sieve is the fastest factoring method for numbers of less than 100 digits and that the number field sieve is the fastest otherwise is factually incorrect. Many numbers of hundreds of decimal digits have been factored with the elliptic curve algorithm and yet the sun would die of heat death before the quadratic sieve or number field sieve would factor them. Also, below about 40 digits, the quadratic sieve is not usually the best algorithm. In practice a cocktail of one or more of SQUFOF, P-1, P+1, elliptic curve method, Pollard-Rho, trial factoring and the Brent variant are used.

The *only* correct statement is that the number field sieve is asymptotically the fastest known algorithm for factoring general integers. The quadratic sieve held this title until the NFS was invented. The elliptic curve method has the same asymptotics, but depends only on the size of the factor, not the number being factored. This makes the elliptic curve algorithm your only hope in certain situations.

For numbers of a special form, many faster algorithms exist, e.g: Zhang's sieve, hybrid QS-GNFS's, the special number field sieve, certain variants of Fermat's algorithm (even special numbers of thousands of digits can be factored with these), etc, etc. Thus the qualifier of "general integer" is required when talking about comparative times. - wbhart 86.20.38.38 04:02, 11 February 2007 (UTC)[reply]

Heat death refers to the death of the universe, and according to current models will take 10¹⁰⁰⁰ years, which is more than enough time to factor numbers with 100s of digits. I think you meant to say the Sun would die of gravitational collapse. Arvindn 06:15, 12 February 2007 (UTC)[reply]

It is the second fastest (randomized) algorithm for general inputs, as stated in the third sentence: "It is a general-purpose factorization algorithm, meaning that its running time depends solely on the size of the integer to be factored, and not on special structure or properties." No other algorithms can ensure a better running time on all possible inputs (except the NFS for big inputs). It is a Las Vegas algorithm, which can ensure the running time under certain mathematical conditions (which hold with a high probability). Of course for some specific Inputs there were faster algorithms. The running time of these algorithms depend on certain conditions of the number to factorize. The running time of the ECM depends on the (length) of the factors. --87.234.198.146 14:45, 20 February 2007 (UTC)[reply]

Right, but that is not what the article says in the first sentence. wbhart —The preceding unsigned comment was added by 86.20.36.114 (talk) 12:17, 6 April 2007 (UTC).[reply]

Partial Relations & Cycles = Large Primes?

As I see it the section labeled "partial relations and cycles" is identical to the methods described in section "large primes." The latter seems to do a much more concise job with the description. Am I right or wrong on this?

I am curious about this statement:

11⁻¹ modulo 91 is 58

Could someone explain how 1/11th can be 58 (mod 91)? Admittedly I may be missing something, but this statement makes no sense to me. 192.54.144.229 (talk) 16:57, 14 September 2009 (UTC)[reply]

I know you asked a long time ago, but anyway the answer is that "1/11 is 58" (mod 91) because 58×11 is 1 (mod 91). See modular multiplicative inverse. (BTW, I sympathize with your suffering; the article as a whole seems pretty confusing to me.) --Quuxplusone (talk) 04:00, 10 February 2010 (UTC)[reply]

Numbers of primes and relations

The algorithm description talks about π(B) (the number of primes less than B) which is ok. However, the statement "use sieving to locate π(B) + 1 [relations]..." seems incorrect (i.e. misleading) to me for two reasons:

1) not every prime actually contributes to the factorization (only those which give quadratic residues)

2) because not every congruence of squares leads to a solution, it is common to gather a few more relations (not only 1)

So, something like "π(B)/2 + c" (for some constant c, e.g. 10) might be more accurate. —Preceding unsigned comment added by 79.215.96.81 (talk) 20:57, 8 January 2009 (UTC)[reply]

I believe you're correct - rather than just substituting the formula this could probably afford to be explained in more detail. Dcoetzee 23:48, 8 January 2009 (UTC)[reply]

General Optimization to the Matrix Processing of QS-Algorithm

The matrix processing is not only a basic part of the Quadratic-Sieve-Algorithm but it is a basic part of all variants of the Dixon-Algorithm. For this reason the following general optimization to the matrix processing of QS-Algorithm is valid also for all the other variants of the Dixon-Algorithm. With this general optimization to the matrix processing it is possible to speed up the execution time of the QS-Algorithm nearly about the factor 3/4 to 2.

Let be N the odd and composite number which is to factorize, S the defined smoothness bound and B = {-1, p₁, p₂, p₃, ... p_K-1} the factor base. The factor base contains the factor p₀ = -1 and all the primes p which are not greater than the smoothness bound S and where N is a quadratic residue of the prime p. Because the factor base B contains exactly K different factors, the binary quadratic matrix which is to process has K rows and K colums. It's true, to get any linear dependent combination of vectors of a K dimensional linear independent system you need at least K+1 vectors. It's also true that not each linear dependent combination of vectors leads us to a nontrivial factor of N. For this reason you will need some times significant more than K+1 vectors even in the case if K the number of factors in the factor base is relatively small.

If the two phases of the QS-Algorithm - the data collection phase (DCP) and the data processing phase (DPP) - are strictly separated and the DPP is executed after than the DCP is completed then there exist the following problem. Because at the DCP you don't know exactly how many S-smooth values you will really need in the DPP, you must generate in each case enough S-smooth values. That means in the DCP you have to generate not only K+1 but significant more than K+1 different S-smooth values. But it's very difficult to find enough S-smooth values even in the case if the values are not relatively small.

For this reason I would suggest a repeated pipelining of the DCP and the DPP. That means each time if a new S-smooth value was found in the DCP this new S-smooth value should be processed in the DPP at the same time. With other words: Now the DCP and the DPP are no more two different phases of the QS-Algorithm but now they are two different parts of the QS-Algorithm which can be executed as a pipeline, executable as often as needed. If the processing of any new S-smooth value leads us to a nontrivial factor of N, the QS-Algorithm can be terminated at this point, otherwise the next S-smooth value must be found an processed. By this way it is very often possible to terminate the QS-Algorithm successfully even if significant less than K different S-smooth values were found an processed.

A simple test implementation of the QS-Algorithm with a pipelining of the DCP and the DPP leads to the following results: Some times there were needed only about (75% of K) different S-smooth values, often there were needed only about (90% of K) different S-smooth values, and only in very rare cases there were needed more then (100% of K) different S-smooth values to get a nontrivial factor of N.

Because now is no more need in the QS-Algorithm to generate each time significant more then K different S-smooth values, you can successive increase S the smoothness bound. This increases K - the number of factors in the factor base, which leads to a lot more of relatively small S-smooth values, which further increases the execution time of the QS-Algorithm, ...

To achive such a pipelining of the DCP and the DPP you start with an empty binary quadratic Matrix M and you must fill it step by step. Each time if any new S-smooth value Y_i was found, you determine its binary exponent vector E_i = (e_i,0, e_i,1, ..., e_i,k-1) where all the e_i,j are binary values {0,1}. While the new E_i is not completely zero, determine d the degree of this binary vector E_i. The degree of a binary vector is defined as the index of the most significant bit which is equal to 1. If the row with the index d in the matrix M is still empty - that means completely zero, save the new binary exponent vector E_i unchanged into the row with the index d of the matrix M. Otherwise xor the existing binary vector E_d of the Matrix M to the new binary vector E_i. Now as the result of the xor operation the changed binary vector E_i may be completely zero then try to find a nontrivial factor of N by determining of the gcd(X_i-Y_i, N). If the changed binary vector E_i was not completely zero, it has a new degree definitely less than the old degree d. By this way you create step by step a binary triangle matrix where the right upper triangle part of the matrix is completely zero. Its very unlikely that all the binary values at the main diagonal of the matrix M are equal to 1. Even for this reason its possible to find a linear dependent combination of binary vectors and a nontrivial factor of N even in the case if the matrix M is not completely filled.

Please correct me if I am wrong and correct my terrible English, because I am not a native English speaker. Aragorn321 (talk) 10:28, 1 July 2013 (UTC)[reply]

How QS optimizes finding congruences

I'm not sure I'm right and my English is not very good, but I think there's something wrong in this section:

y(x)=\left(\left\lfloor {\sqrt {n}}\right\rfloor +x\right)^{2}-n{\hbox{ (where }}x{\hbox{ is a small integer)}}

y(x)\approx 2x\left\lfloor {\sqrt {n}}\right\rfloor

I think the second line should read

y(x)\approx x^{2}+2x\left\lfloor {\sqrt {n}}\right\rfloor

That's because $y(x)=\left(\left\lfloor {\sqrt {n}}\right\rfloor +x\right)^{2}-n=x^{2}+2x\left\lfloor {\sqrt {n}}\right\rfloor +\left\lfloor {\sqrt {n}}\right\rfloor ^{2}-n\approx x^{2}+2x\left\lfloor {\sqrt {n}}\right\rfloor$

The Handbook of Applied Cryptography (Chapter 3, page 95, equation (3.1)) seems to agree. If I'm correct, then the conclusion

This implies that y is on the order of 2x[√n]. However, it also implies that y grows linearly with x times the square root of n.

is also wrong. —Preceding unsigned comment added by 85.180.69.155 (talk) 21:50, 2 July 2009 (UTC)[reply]

Asymptotically you are right. The

x^{2}

term only becomes sigificant if

x

is comparable with

n^{1/4}

. But in practice when n is large then x will always be much smaller than

n^{1/4}

and hence the approximation in the article is ok. 62.203.19.143 (talk) 09:32, 4 July 2009 (UTC)[reply]

Oh. You're right. Thanks for clarifying this. —Preceding unsigned comment added by 85.180.67.55 (talk) 23:29, 4 July 2009 (UTC)[reply]

Example correction

Shouldn't the line about finding quadratic residues be 15347 (mod p) instead of √15347 (mod p)? 66.245.72.198 (talk) 21:27, 26 November 2011 (UTC)[reply]

The line in question spoke of the existence of a square root of 15347 mod p, which is equivalent to 15347 being a quadratic residue mod p. I rewrote it to try to clarify things. Dcoetzee 22:48, 26 November 2011 (UTC)[reply]

Error in "the approach

The subheading "the approach" includes the following:

To factorise the integer n, Fermat's method entails a search for a single number a such that a2 mod n is a square. But these a are hard to find.

That's nonsense of course. Its very easy to find such a. For example -a will work in all cases as will 2 for n larger than 4 and so on. What is meant is something like "a single number a ... is a square of a number other than itself or -a". I'm not sure how to word this neatly and wondered if someone else could do so? Francis Davey (talk) 11:57, 14 April 2012 (UTC)[reply]

Implementations

I added my new open source PSIQS package coming with basic QS, MPQS, SIQS and a few other algorithms. Cheers, Tilman Neumann 93.193.186.99 (talk) 14:12, 15 January 2016 (UTC)[reply]
I know GAP also has a MPQS function, though I'm unsure if it's not derived from one of the others.Billymac00 (talk) 01:47, 31 March 2021 (UTC)[reply]

The simple consistency check of the classical quadratic factorization algorithm (Lehman) with the prime number theorem is historically lacking.

Wikipedia is not a venue for you to publish original research.—Jasper Deng (talk) 12:01, 22 November 2021 (UTC)[reply]

The following discussion has been closed. Please do not modify it.

Historically, there is no simple consistency checking with the prime number theorem. It's completely lacking in the literature. Nobody knows the exact proof whether Lehman's algorithm is really consistent with the prime number theorem.

I can safely say that historically there is no such explicit proof, but because there is no such proof in the literature, you can never prove it from any sources.

^[1] Classical quadratic factorization is the mother of many other quadratic algorithms, including the quadratic sieving, so it's theoretically related.

The main difference between Lehman and sieving is that Lehman uses linear cusp height |c| and sieving uses logarithmic vector height |c log p|.

The string length must be at least linearly correlated to the target string in order to find divisors (if scalable), and the memory size is exponential to this length.

 — Preceding unsigned comment added by Aquahabitant (talk • contribs) 04:32, 25 December 2020 (UTC)[reply]

p.s.

The sampling cost of quadratic sieving is invariantly exponential because of the exponential Dirichlet unit group. ^[2]

No matter how you change the relative sieve size B,this exponential cost is invariant.

The definition of the Quadratic Sieving is well-known as

x²-D=Gz²

which is directly rewritten as

x²-Gz²=D

which is a well-known very simple Pell's equation.

The Dirichlet unit ^[3]sampling cost of the divisor class G=G(a) is given by the linear distance

, G(a)=G(b)=G

which is a well-known exponentially sparse distribution.

In order to increase the Dirichlet unit density 1/|a-b|, you have to shrink the sieve string length log(B), which in turn decreases the small (granule) prime filtering density

This is a very simple zero-sum geometric cost; Dirichlet units and small primes cancel the advantages of each other.

This joint probability is always invariant no matter how you change the sieve size log B.

0.5x Sample density = Dirichlet unit density x Small divisor density < 1/p

The smallest sieve dim B=1 and the largest sieve log(B) ~log(D)/2 ~log(p) have no optimization gain at all, and the sampling cost is always invariant( at best.)

Recall that this is not a uniform distribution, because the Legendre symbols give monotonic disadvantage to smaller primes. Use the biased exact counting instead of the uniform Landau distribution.

By definition, the Legendre symbol density is directly correlated to the Galois tensor and the rational point density.

Legendre symbol density x Galois tensor volume /h < Integer point density x Orbit volume.
h²~D

Typically , the sieve size log B is the 1/4 (quarter string) of the prime p, which means there are strictly at most only 8 Dirichlet units between p< and <D.

(Gaussian primes must be strictly disallowed, because you want to isolate the hyperbolic orbit and simplify the bothersome counting.)

It is absurd to think (except for rare success cases used for this algorithm) at least one sample has a small divisor z,because the small prime filtering cost log(z) is much larger than 16.

The natural distance between two identical divisors G grows exponentially, because the Dirichlet unit group is exponential. For example, the first unit may be as small as B, but the second unit is the square, and the 4th unit is as large as the prime p. It is very unlikely that one of these four samples has a small divisor z.

To summarize, almost all divisor classes G are practically singletons, which appear only once in any sampling.

— Preceding unsigned comment added by Aquahabitant (talk • contribs) 07:26, 18 March 2021 (UTC)[reply]

Typically, the first 8 fundamental domains are simply written as

ω²=G
1< |ξ+ζω| < p < |x+zω| < D
1< Norm(ξ+ζω)< D
1< Norm(x+zω)< D²

There are at most only 2 ideals in each domain, because the target D=pq is a semiprime, which means the real density never exceeds the 200% of what is defined here. You must completely skip this bothersome distribution, because this algorithm is actually based on an abstract irrational class K/Q, which means that the 50% of the smallest ideals are destroyed as soon as sampled since ξ(σξ)=Norm(ξ)=1∈Q

The divisors you have constructed are randomly destroyed. The construction speed must be faster than the destruction speed.

By writing

x = exp(a log(ξ) + b log(σξ))

You can easily see that this algorithm needs two independent conditions for each ξ.

They are

a-b =0 mod 2

>1

The destruction speed 1/δ (the destructor density 1/δ) in K/Q is defined by a very simple destructor equation.

ξ∈ K/Q

ξ+δ =0 mod σξ , σ∈Gal(K/Q)
δ<Norm(ξ)

Intuitively, the average lifetime of the (small) ideal ξ is strictly as small as Norm(ξ).

The total destructor density is computed from the height-restricted Dirichlet-L partial expansion.

In order for the cost function to be consistently defined, it must be monotonic. And in order for it to be monotonic,ξ and σξ could be independently squared.

Recall that any post-selection algorithm requires an exhaustive sorting, and any exhaustive sorting requires a quadratic physical cost (the physical measurement of the self-tensor SxS). This quadratic cost is the quadratic swapping cost of static lists, or the quadratic queries(quadratic position measurements) of dynamic lists.

In order to simplify the bothersome counting, you can simply assume that each domain has exactly 2(or 1 if you like) samples.

The Dirichlet unit density is always too sparse,because

=|Ua-a|=|(U-1)a|>|a|>p

The density of the allowed norms {D} is sparse, and basically, all the sampled ideals (x+zω) are in these last 4 domains.

The 1-d norm sampling cost is at least

(z+1)²G - z²G = 2zG

The density of the allowed norm D is

Norm density < 1/2zG < B/p
2Bp~z²G
B<G

which is a relative density.

The total (abosolute) sampling cost is restored as

p/B x B = p

which is identical to the fundamental geometric cost.

Because the density of allowed norm D is too sparse, practically the largest size of G is limited to the square root of p, which means that the largestst subprimes ~ B² are (almost always) never sampled, and because of this same reason, any sieve strings larger than 1/3 (of the normalized prime string length log p) has no optimization gain at all.

 — Preceding unsigned comment added by Aquahabitant (talk • contribs) 10:15, 2 April 2021 (UTC)[reply]

Because the direct computing of the Legendre symbol density is bothersome, you can exclude the first three cases.

The prime density (asymptotically) is always 1/2log(n), which is too sparse.

The half-string square-free subprime density is always 1/2!(2log(n)/2)², which is too sparse.

The sub-sub-prime(three-prime) density is sparse.

Because all the other square-free divisors k have more than 4 primes, the density is less than 1/16,if you simply assume 50% of the primes are mapped to the Legendre symbol -1.

The full-string square-free sub-prime Legendre symbol density is divided into many width-1 domains.

n-0.5<R<n+0.5
g=(1/A)(1/4)(1/2!)Σ∬dπ(t)dπ(R/t)=(0.125/A)∬dπ(x)dπ(y)
1<xy<A+0.5

subprime Legendre symbol density ~ (1/A)(1/4)(1/2!)∫dπ(x)dπ(y)dR (2<R<A,R-0.5<xy<R+0.5)

Because |x+ωz|>|x+iωz|,the exponential Ja1cobi Θ mapping^[4]^[5] between the two elliptic curves

Θ:[log(unit),2πi]→[1,iω]

Θ:[log |unit| + πi,2πi] →[1,iω]

corresponds to the relative density |(1+i)/(1+1)|. The Dirichlet unit group geometry is linearly correlated to this exponential Θ mapping.

— Preceding unsigned comment added by Aquahabitant (talk • contribs) 03:19, 11 May 2021 (UTC)[reply]

The Legendre symbol density has a very simple trivial density bound,which is

Legendre symbol density < (4/2ª)

which is directly derived from the very simple trivial decomposition, which is

total density = prime density + subprime density +....

From this (asymptotically) rather tight but simple upper bound, you get the trivial sample density limit

0.5x Sample density ~ Dirichlet unit density x Legendre symbol density < (1/p)(2/2ª)

This trivial sampling cost is almost optimal for the smallest and the largest sieves, which is invariant no matter how you change the sieve sring length log(B),except the fundamental exponential Legendre symbol density decay.

The smallest sieve dim B=1 has a very simple sampling cost, which is almost identical to this trivial cost bound.

The largest sieve log B ~ log p has an error term for filtering large primes,but basically the real sampling cost is almost identical to this trivial bound.

References

Example correction

In the "Data collection" section of the example X=2 should also work. Then we get X+124=126 and X^2-N=529=23^2, which is 29-smooth. But in the section the 23 only gets divided away once leaving one factor of 23 such that the result is not equal to one and 126 gets sieved away. 134.76.61.21 (talk) 14:36, 23 June 2024 (UTC)[reply]

[1] ttp://www.ams.org/journals/mcom/1974-28-126/S0025-5718-1974-0340163-2/S0025-5718-1974-0340163-2.pdf

[2] ttps://www.mit.edu/classes/18.785/2015fa/LectureNotes14.pdf

[3] ttps://www.cmi.ac.in/~arpan/dirichlet.pdf

[4] ttp://people.math.harvard.edu/~siu/math213a/elliptic_function_jacobi_approach_part1.pdf

[5] ttps://people.reed.edu/~jerry/311/jacobitheta.pdf

[1]

[2]

[3]

[4]

[5]