90
$\begingroup$

I will use a specific example, but I mean in general. I went to a number theory conference and I saw one thing that surprised me: Nearly half the talks began with "Assuming the generalized Riemann Hypothesis..." Almost always, the crux of their argument depended on this conjecture.

Why would mathematicians perform research assuming a conjecture? By definition, it is not known to be true yet. In the off-chance that it turns out to be false, wouldn't all of the papers that assumed the conjecture be invalidated? I may be answering my own question, but I speculate that:

  1. There is such strong evidence in support of the particular conjecture (Riemann Hypothesis in particular) and lack of evidence against it, that it is "safe" to assume it.

  2. It's not so much about result obtained, but the methods and techniques used to prove it. Perhaps by assuming the conjecture, in the case of the Riemann Hypothesis, it leads to development of new techniques in analytic number theory.

$\endgroup$
12
  • 59
    $\begingroup$ 3. It can always be that the research leads to a disproof of the conjecture. :) $\endgroup$ Apr 28, 2014 at 0:31
  • 11
    $\begingroup$ I'm not an expert, but using the Riemann Hypothesis as an example, there's strong evidence in support of it, and why wait for it to be proved when you can already build new results upon it? $\endgroup$
    – qwr
    Apr 28, 2014 at 0:33
  • 4
    $\begingroup$ Part of the reason they're famous conjectures is because we believe they are likely to be true. $\endgroup$
    – user14972
    Apr 28, 2014 at 5:32
  • 9
    $\begingroup$ There is also research that leads to practical applications and algorithms that just work well in practice, even when (partly) based on unproved hypothesis. Who would not use an O(n) algorithm to factor numbers whos runtime assesment depends on the riemann hypothesis, just because of that? $\endgroup$
    – PlasmaHH
    Apr 28, 2014 at 10:29
  • 27
    $\begingroup$ It's an anecdote, but I remember some theorem was proven this way: "Assume RH is true [...] then $P$. Assume RH is not true [...] then $P$. Therefore $P$". $\endgroup$ Apr 28, 2014 at 12:28

9 Answers 9

111
$\begingroup$

For four main reasons:

  1. If the famous conjecture is proven true, the demonstrated results are proven true too.

  2. If the reasoning is correct but demonstrated results are proven false, the famous conjecture is proven false too.

  3. Others may be able to prove further results based on the demonstrated results which may themselves be proven false, thus again proving the famous conjecture false.

  4. Showing interesting consequences of the famous conjecture and surprising connections into other areas of research generates interest in proving that the famous conjecture is true.

$\endgroup$
10
  • 29
    $\begingroup$ 5. Conjectures become famous because mathematicians believe they are true. Mathematicians tend to be pretty smart. So the conditional proof provides circumstantial evidence for your conjecture until you find a real proof or a counter example. $\endgroup$ Apr 28, 2014 at 5:11
  • 5
    $\begingroup$ @DanielMahler: 5 is the least reputable though. Where that is the reason you're employing proof by academic reputation in place of real proof. I think it could not stand as the only reason for a particular paper, whereas any of David's four could stand as the only reason for a particular paper. $\endgroup$ Apr 28, 2014 at 9:17
  • 8
    $\begingroup$ Assertion #2 above is dangerously incorrect...the results can be proven false for another reason. $\endgroup$ Apr 28, 2014 at 14:28
  • 9
    $\begingroup$ @AlexFeinman Only if there is a mistake in the proof. If "if A then B" has been proven and you then find "not B", then it is certain that "not A". However - and I think this is what you're getting at - it is possible that there was a mistake in the second proof, meaning that "if A then B" was actually not true. $\endgroup$ Apr 28, 2014 at 15:13
  • 3
    $\begingroup$ If you prove Z taking X and Y as your conjectures, it's hard to know whether X or Y was the false conjecture. That's what I meant. $\endgroup$ Apr 28, 2014 at 17:48
36
$\begingroup$

The results would not be invalidated but would be rendered vacuous, i.e. true but no longer informative.

A result says If the Riemann hypothesis is true, then blah blah blah mumbo jumbo.

If the Riemann hypothesis ultimately is seen to be false, then it is still true that if the Riemann hypothesis is true, then blah blah blah mumbo jumbo.

"Are all cell phones in the classroom turned off?", asks the instructor. If it happens that there are no cell phones in the classroom, then the correct answer is "yes". That's "vacuous truth". This is one example showing how the concept of vacuous truth can be quite practical. The "yes" answer would no longer be informative if it were learned that no cell phones are in the classroom. And if no cell phones are in the classroom, it is quite probable that no one even knows that. You would only know that you don't have a cell phone; you wouldn't know that about all your classmates.

$\endgroup$
6
  • 2
    $\begingroup$ I don't disagree, but one should note that all statements of the form "if the Riemann hypothesis is true then ..." become trivially true should the Riemann hypothesis be disproven. If $T \vdash \lnot P$, then $T \vdash P \rightarrow \varphi$ for every possible $\varphi$, simply because $\bot \rightarrow \varphi$ is a tautology for every $\varphi$. $\endgroup$
    – fgp
    Apr 28, 2014 at 0:54
  • 34
    $\begingroup$ Unless you're in a logic class. Then , if there were no cell phones on, the students would answer the question about cell phones, "I don't know", "I don't know", ..., "I don't know", "Yes, all the cell phones are turned off." :) $\endgroup$ Apr 28, 2014 at 1:23
  • 3
    $\begingroup$ @fgp : It seems to me that your comment says the same thing that my posted answer says. $\endgroup$ Apr 28, 2014 at 2:36
  • 20
    $\begingroup$ @MichaelJoyce: you ignore the possibility that one of the students has answered "I don't know" because they haven't checked their own phone at all. So, suppose that (without looking at it) each student places their own phone on their head... $\endgroup$ Apr 28, 2014 at 9:20
  • 3
    $\begingroup$ . . . anyway the cell phone example is an immensely better example than stuff about unicorns and about all mountains made of pure gold and so forth. Those examples make the concept of vacuous truth appear disconnected from reality and not practical. They fail to illustrate its value. So much so that their use in pedagogy borders on malpractice. $\endgroup$ Apr 30, 2014 at 18:11
32
$\begingroup$

One possible reason for assuming a conjecture and generating results is if you don't believe the conjecture and hope to eventually shoot it down.

A great historical example of this is the parallel postulate. This states:

Given a line and a point not on that line, there is exactly one line passing through this point which is also parallel to the given line.

It was widely believed that the part of Euclidean geometry presented by Euclid before this parallel postulate implied the postulate. In other words, many mathematicians believed that the parallel postulate was a redundant axiom. For over a thousand years, many mathematicians battled with this "conjecture".

Some started assuming that the parallel postulate was false and tried to get a contradiction. These researchers were led into a "weird" world where there are infinitely many parallel lines through the given point and triangles' angles add up to less than $180^\circ$.

It wasn't until the work of János Bolyai and Nikolai Lobachevsky (Gauss anticipated both of them but didn't publish his findings) that it started to become clear that the parallel postulate did not depend on the other axioms and that it's negation could lead to other perfectly equally consistent kinds of geometry (i.e. hyperbolic and spherical geometry).

That's research. If you don't know something is true or not. Assume it or assume its negation and see where it takes you. Sometimes this answers your original question. Sometimes you get an answer you weren't expecting!

$\endgroup$
1
  • 3
    $\begingroup$ I particularly like the example of the parallel postulate because it shows another reason: what if it turns out the result you are assuming is in fact unprovable one way or the other? Then you might as well assume it as an axiom. $\endgroup$ Apr 28, 2014 at 16:14
16
$\begingroup$

To provide a bit of a counterpoint to the other answers, here is an example of a similar situation, which might provide a better picture, since the conjecture in question has turned out to be false (so we are better able to get to a conclusion).

The conjecture in question is the Lusztig conjecture, which provides a formula for the character of a simple module for a reductive algebraic group in terms of the characters of certain "standard" modules (I will not go into details of the conjecture itself, other than to note that it is a characteristic $p$ analogue of the Kazhdan-Lusztig conjecture, which is known to be true).

This conjecture has been expected to be true for at least 20 years, so quite a few people have been working on consequences of the conjecture. A further reason a lot of work has been done assuming the conjecture is that it is known to hold when the characteristic is large enough relative to the Coxeter number of the group (due to work of Andersen, Jantzen and Soergel), so it seemed like just a matter of lowering this bound.

More precisely, the conjecture states that a certain formula should hold when $p\geq 2h-2$ (or possible $p\geq h$). This was then disproven in 2013 by Williamson, who in fact showed that it is not possible to provide any linear bound on $p$ in terms of the Coxeter number, such that the formula holds. Also, it seems that probably not even a polynomial bound will be possible, though as far as I know this still relies on some number theoretic conjectures (such as the existence of infinitely many primes among the Finonacci numbers).

About the work that assumed the conjecture: A large part of this work has not been at all wasted, and in fact much of it played into the disproof of the conjecture, which goes via a long chain of reasoning starting from the conjecture and using a lot of the work that had been done assuming it.
Also, while the results themselves might turn out not to be true, the methods used by them may well turn out to still be applicable, since it seems like the conjecture will still be "close" to being true (ie, it might only fail for a small number of the simple modules). So now a large amount of effort is going into understanding more precisely how the conjecture fails.

This is not to say that there are not plenty of results that must be viewed in a slightly different light now, since any assumption of the conjecture will severely limit the power of the results.

$\endgroup$
14
$\begingroup$

I can give an individual perspective...first, Rh is a very, very special case. Hilbert thought it might still be unresolved in 1,000 years.

Now, I wrote a paper with Irving Kaplansky and Alexander Schiemann. We found all possible, umm, widgets, there being 913 of them. We had no proofs that some 22 of them really were genuine widgets. Maybe about 2012, a graduate student named Oliver sent me a preprint about that. It has perhaps appeared by now. Anyway, it is pdf number 9 at OLIVER. I guess it was originally a chapter in his dissertation. I liked it; it says that GRH implies the remaining 14 things really are widgets. To me, it says i was not stupid; it will take a massive result to disprove the widgetness of those things.

Meanwhile, I have written three or four papers with Alex. At dinner at a conference in early 2013, he said if I mentioned results implied by RH again he would lose all respect for me. So, I don't bring it up any more.

EEDDIITT: most of the information anyone could want on the widgets are at TERNARY. They are regular ternary quadratic forms. The oldest example is $$ f(x,y,z) = x^2 + y^2 + z^2. $$ Gauss showed that we can solve $n=x^2 + y^2 + z^2 $ as long as $n \neq 4^k (8w + 7).$ This is often called the Three Square Theorem, which I think is clever. there are a total of 102 such "regular" forms in the list i called Dickson_Diagonal; these are of the type $f(x,y,z) = a x^2 + b y^2 + c z^2$ with $1 \leq a \leq b \leq c$ and $\gcd(a,b,c) = 1.$ Dickson also wrote in the numbers not represented. Very handy.

One of the remaining unproven is $$ f(x,y,z) = 3 x^2 + 6 y^2 + 14 z^2 + 4 y z + 2 z x + 2 x y. $$ This form, with integer arguments, is never equal to $4m+1, 16m+4, 16m+10, 64m+40, 4^k(16m+2) $ but appears to represent everything else, checked very high by computer. Maybe, maybe not, but a GRH implies it.

$\endgroup$
4
  • 2
    $\begingroup$ Out of curiosity, for the more technical, what are the widgets? $\endgroup$ Apr 28, 2014 at 1:01
  • $\begingroup$ @StevenStadnicki, I will put in something short $\endgroup$
    – Will Jagy
    Apr 28, 2014 at 1:02
  • 1
    $\begingroup$ Maybe I need to be more math literate... But I like the word "widgetness" it made me chuckle. $\endgroup$
    – corsiKa
    Apr 30, 2014 at 19:52
  • 1
    $\begingroup$ @CarstenS I updated the link to my ternary page. Lemke-Oliver's article has surely appeared by now. If I find a link to a preprint later I will adjust that one also. $\endgroup$
    – Will Jagy
    Dec 25, 2018 at 17:23
4
$\begingroup$

In general, mathematicians are interested in proving conjectures, but some of them, like RH, have (ahem) proven resistant to this stratagem. Again in general, a problem whose truth cannot be established is uninteresting, but sometimes, it acquires connections that inspire curiosity. Then, even in the absence of a proof, people will put a lot of effort into building intuition about the importance of such a problem, with the goal of expanding mathematics until it can contain a proof, or expanding their conception of mathematics until it can contain an assessment of the truth.

For example, legend has it that the attempts to prove Fermat's last theorem (famously dismissed by Gauss as being just such a problem that's boring but hard) resulted in the development of algebraic number theory. This is the classic example of the first goal: building a theory that eventually leads to a proof.

RH is an example of the second goal (though there has been plenty of the first going on as well). It appears to be at the center of a lot of phenomena but, since no proof is forthcoming, one way to understand the problem is to understand its consequences. There are also generalizations, all equally (or even more so) conjectural, that live at the heart of big theories and conjectural mathematical programs. The point is that this conceptual activity is at least as important to mathematics as an intellectual pursuit as concrete progress, because without a narrative to give meaning to the theorems we prove, they are just boring.

$\endgroup$
2
$\begingroup$

The difference between a famous conjecture and an axiom is not that large. An axiom is just an even older and more famous assumption than a famous conjecture.

In mathematics, you are just expected to be very clear what your assumptions are. Other mathematicians may be using different assumptions; it does not matter very much whether we say that they are working in a different theory, or that they have different famous conjectures in antecedents of their theorems.

Philosophically, each "axiom candidate" also needs some justification. There must be a reason why people tend to believe it, apart from a historical tradition. A large part of justification both for and against each axiom candidate is in the consequences that it would have if accepted. So somebody needs to research those consequences first and that's why one would explicitly assume Riemann Hypothesis before it's clear how it fits into established theories (or into the reality of the world in which we live).

An assumption can eventually be found to have a particular relation to a "base theory" that people do not even care to mention in their theorems.

  • The assumption may be a theorem.
  • The assumption may be a negation of a theorem.
  • Independence of the assumption on the base theory may be provable, assuming the base theory is consistent. (Example: Axiom of Choice over ZF.)
  • Independence of the assumption on the base theory may be impossible to prove, assuming the base theory is consistent. (Example: Axiom of Determinacy over ZF. The reason is that ZF+AD can prove the consistency of ZF, so the claim follows by the Second Goedel Incompleteness Theorem.)

We don't know (yet) whether Riemann Hypothesis falls into any of these categories; but that's not preventing anyone from assuming that it is likely true and publishing its interesting consequences.

$\endgroup$
11
  • 2
    $\begingroup$ This isn't quite right. An axiom should be independent of the other axioms. For example, in set theory the axiom of choice is independent of the axioms of ZF, as is the continuum hypothesis. So we can take them as axioms. Assuming that the Riemann Hypothesis is true is different - we do not know if it is independent of our axioms or not! Something cannot be both true and not true. This is inconsistent. $\endgroup$
    – user1729
    Apr 29, 2014 at 13:34
  • $\begingroup$ (Interestingly, if you did prove that the RH was independent of our axioms then it would be true. If it was false then there would be a counter-example, and so would be dependent which is a constriction. I suppose that this assumes the law of the excluded middle, but that is a sensible thing to assume...) $\endgroup$
    – user1729
    Apr 29, 2014 at 13:49
  • 1
    $\begingroup$ @user1729 I don't think that your requirement that the axioms of a system be independent is universally accepted. The axioms of ZF, as usually stated, are not independent of each other: the separation axioms follow from the replacement axioms (in the context of the other axioms,) and moreover some of the replacement axioms follow from other replacement axioms, and some of the separation axioms follow from other separation axioms. $\endgroup$ Apr 29, 2014 at 18:58
  • 1
    $\begingroup$ @user1729 - Independence of axioms is just a technicality. Cantor's letters to Dedekind care to list power set and pairing as basic set theoretic axioms, even though he assumed unrestricted comprehension as well at that time. But a power set axiom is just a trivial application of unrestricted comprehension. He must have noticed and he certainly didn't care in the least. He just wanted the basic assumptions to be non-controversial. $\endgroup$ Apr 29, 2014 at 22:11
  • 2
    $\begingroup$ @user1729 - Relative consistency is not a holy cow either. ZF cannot prove the relative consistency of ZF + AD (the Axiom of Determinacy). Still, AD is customarily referred to as an axiom, while RH as a hypothesis. Work done with assuming either has basically the same status; a considerable amount of mathematics shares one or the other, and is valuable in identifying what AD or RH really means. $\endgroup$ Apr 30, 2014 at 14:39
1
$\begingroup$

You can't expect a mathematician to find proof of a conjecture directly. Assuming that a conjecture is true is a creative approach to understanding the conjecture. There is no pretty systematic way to solve a problem.

$\endgroup$
1
$\begingroup$

Stated assumptions allows one to focus other areas of research without getting bogged down in proving the assumption.

By stating "Assuming the generalized Riemann Hypothesis.." at the beginning, they are not stating that the generalized Riemann Hypothesis is fact. They are merely informing the reader/viewer that this research is based on that idea and that the research might be invalidated if the assumption is shown to be false.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .