On a Conjecture of Schinzel and Sierpinski - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T17:21:22Z http://mathoverflow.net/feeds/question/53736 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53736/on-a-conjecture-of-schinzel-and-sierpinski On a Conjecture of Schinzel and Sierpinski Chandrasekhar 2011-01-29T19:48:10Z 2011-07-25T20:26:05Z <p>Melvyn Nathanson, in his book <em>Elementary Methods in Number Theory</em> <strong>(Chapter 8: Prime Numbers)</strong> states the following:</p> <ul> <li>A conjecture of Schinzel and Sierpinski asserts that every positive rational number $x$ can be represented as a quotient of shifted primes, that $x=\frac{p+1}{q+1}$ for primes $p$ and $q$. It is known that the set of shifted primes, generates a subgroup of the multiplicative group of rational numbers of index at most $3$.</li> </ul> <p>I would like to know what progress has been made regarding this problem and why is this <em>conjecture</em> important. Since it generates a subgroup, does the subgroup which it generates have any special properties? </p> <p>I had actually posed a problem which asks us to prove that given any interval $(a,b)$ there is a rational of the form $\frac{p}{q}$ ($p,q$ primes) which lies inside $(a,b)$. Does, this problem have any connections with the actual conjecture? </p> <p>I had actually posed this question on <strong>MATH.SE</strong> (Link : <a href="http://math.stackexchange.com/questions/18352/a-conjecture-of-schinzel-and-sierpinski" rel="nofollow">http://math.stackexchange.com/questions/18352/a-conjecture-of-schinzel-and-sierpinski</a> ). I did get a decent answer from Andreis Caicedo, but i would like to have more opinions of Mathematicians from this community.</p> http://mathoverflow.net/questions/53736/on-a-conjecture-of-schinzel-and-sierpinski/53804#53804 Answer by Greg Kuperberg for On a Conjecture of Schinzel and Sierpinski Greg Kuperberg 2011-01-30T17:11:23Z 2011-02-10T09:59:30Z <p>The question can be written as follows: Given two positive integers $a$ and $b$, do there exist primes $p$ and $q$ such that $$aq-bp=b-a?$$ You would expect there to be not just one such pair of primes, but infinitely many pairs. For instance, if $a=2$ and $b=1$, then $q$ is a Sophie Germain prime, and everyone expects there to be infinitely many of those. Moreover, you should be able to replace the right side of the equation with a constant $c$, i.e., $$aq-bp=c.$$ The twin prime conjecture says that there are infinitely many solutions when $a=b=1$ and $c=2$. Polignac's conjecture implies infinitely many solutions when $a=b=1$ and for every even value of $c$. In general you should expect infinitely many solutions when there isn't some obvious congruence that forces finiteness; for instance obviously $a=b=c=1$ only has one solution. Moreover, it's natural to expect a specific slowly decreasing density of solutions using a heuristic estimate derived from the prime number theorem.</p> <p>This question for all suitable $a$, $b$, and $c$ is in turn a special case of yet more general questions about linear patterns in the prime numbers. For instance, the statement that there are infinitely many arithmetic progressions of length 3 in the primes is the statement that there are infinitely many solutions to $$p-q = q - r > 0.$$ Now, it's a famous theorem of Tao and Green that there are infinitely many arithmetic progressions of primes of arbitrary length. Later Tao and Green did a more systematic study that established the existence of all kinds of linear patterns in the prime numbers. However, the Sieprinski-Schnizel conjecture, and its generalization in the previous paragraph, are part of the "rank 1 case" that they did not solve. (These are just my mental notes from a survey talk by Terry Tao that I once attended.) If they could have done the rank 1 case, it would have included the twin prime conjecture and I think that it would have implied the asymptotic Goldbach conjecture too, so that would have been even more amazing than what they did accomplish.</p> <p>I have no idea whether this remaining rank 1 case is the same class of question as the Tao-Green results, but just harder; or whether it is so much harder that it is in a different class. Let's optimistically say that it's the former. If so, then what makes the Schinzel-Sierpinski conjecture interesting is that you should always expect infinitely many solutions in prime numbers to linear equations, unless there are only finitely many solutions because of a simple congruence. And I might say that the Tao-Green results are the main recent progress, even though they answered different questions.</p>