87

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.

Joseph DiNatale
  • 2,741
  • 19
  • 31
  • 58
    3. It can always be that the research leads to a disproof of the conjecture. :) – darij grinberg Apr 28 '14 at 00:31
  • 11
    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? – qwr Apr 28 '14 at 00:33
  • 4
    Part of the reason they're famous conjectures is because we believe they are likely to be true. –  Apr 28 '14 at 05:32
  • 9
    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? – PlasmaHH Apr 28 '14 at 10:29
  • 27
    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$". – Najib Idrissi Apr 28 '14 at 12:28
  • 3
    @NajibIdrissi There are some [examples on Wikipedia](http://en.wikipedia.org/wiki/Riemann_hypothesis#Excluded_middle). – Jeppe Stig Nielsen Apr 28 '14 at 22:50
  • conjectures are something like "theoretical hubs" and math is a large graph of conditional/"if/then" statements connecting them. if many conditional statements can be connected to a hub, that is an "interesting" and "significant" node either way whether true or false. – vzn Apr 29 '14 at 15:02
  • 1
    Besides the technical aspects, assuming conjectures can be really interesting and fun. For example, negating the parallel postulate brings about hyperbolic geometry. This is how new branches of math are invented, even though the keep piece (conjecture) remains to be proved. – user60887 Apr 30 '14 at 00:31
  • These days a lot of mathematicians do research so they can publish their results, so they can get money and other benefits. The mathematical community considers it acceptable to publish interesting results relying on an assumption of a famous conjecture. Thus, this increases the set of potential topics one can do research on and then write about: you can prove a new theorem, or you can prove a new theorem while assuming a famous conjecture. Given the number of people who do research these days, many available niches end up being filled. – osa May 01 '14 at 03:01
  • @NajibIdrissi What is meant under $P''$? ($P$ may still hold) – Antoine May 01 '14 at 15:41
  • @Antoine: These are quotation marks. I'm saying that the author proved the theorem first by assuming that RH was true, then assuming that it was false. Since at least one holds, the theorem was true regardless of whether RH was true. – Najib Idrissi May 01 '14 at 17:33
  • @NajibIdrissi Quotation marks! Now it makes perfect sense :) – Antoine May 01 '14 at 17:45

9 Answers9

110

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.

David Schwartz
  • 1,679
  • 1
  • 11
  • 12
  • 29
    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. – Daniel Mahler Apr 28 '14 at 05:11
  • 5
    @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. – Steve Jessop Apr 28 '14 at 09:17
  • 8
    Assertion #2 above is dangerously incorrect...the results can be proven false for another reason. – Alex Feinman Apr 28 '14 at 14:28
  • 9
    @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. – starsplusplus Apr 28 '14 at 15:13
  • If that's what Alex meant then (1) is incorrect by the same test. Although presumably less dangerously so since the consequence is an error in dealing with the topic of this paper, not an error in dealing with the conjecture. – Steve Jessop Apr 28 '14 at 15:58
  • 1
    I think reasons 2 and 3 are equivalent. I also think you missed a reason: if the famous conjecture is proven *independent of the axioms*, then the demonstrated results might as well be true (with additional axioms in place). – 6005 Apr 28 '14 at 16:17
  • 1
    @AlexFeinman Regardless of how you prove something false, once something is proven false, anything that has that something as a consequence is proven false as well. – David Schwartz Apr 28 '14 at 17:46
  • 3
    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. – Alex Feinman Apr 28 '14 at 17:48
  • @DanielMahler Not every false statement can be proven to be false by counter example. – Martin Thoma May 03 '14 at 13:33
  • 'Showing interesting consequences of the famous theorem' You mean *conjecture* ? – BCLC Jan 17 '16 at 19:15
36

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.

Michael Hardy
  • 1
  • 30
  • 276
  • 565
  • 2
    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$. – fgp Apr 28 '14 at 00:54
  • 34
    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." :) – Michael Joyce Apr 28 '14 at 01:23
  • 3
    @fgp : It seems to me that your comment says the same thing that my posted answer says. – Michael Hardy Apr 28 '14 at 02:36
  • 20
    @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... – Steve Jessop Apr 28 '14 at 09:20
  • 3
    . . . 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. – Michael Hardy Apr 30 '14 at 18:11
  • That is what is so lovely about "troolean" logic. It would map the lack of cellphone -> lack of observable predicates cleanly – Sebastian Godelet May 01 '14 at 09:33
32

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!

Bill Cook
  • 27,291
  • 61
  • 83
  • 3
    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. – 6005 Apr 28 '14 at 16:14
16

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.

Tobias Kildetoft
  • 20,063
  • 1
  • 59
  • 88
14

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.

Will Jagy
  • 130,445
  • 7
  • 132
  • 248
4

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.

Ryan Reich
  • 6,080
  • 20
  • 30
2

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.

Jirka Hanika
  • 131
  • 5
  • 2
    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. – user1729 Apr 29 '14 at 13:34
  • (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...) – user1729 Apr 29 '14 at 13:49
  • 1
    @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. – Trevor Wilson Apr 29 '14 at 18:58
  • 1
    @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. – Jirka Hanika Apr 29 '14 at 22:11
  • @Trevor Sorry, I really mean that the axioms should be consistent (or at least, not provably inconsistent). That was the point of my comment - not independence! – user1729 Apr 30 '14 at 10:09
  • 2
    @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. – Jirka Hanika Apr 30 '14 at 14:39
  • @JirkaHanika That was what I meant by "not provably consistent". If your axiom system is inconsistent then you might as well have that $0=1$, no? – user1729 Apr 30 '14 at 16:15
  • @JirkaHanika Ah, right, I think I see your point. That we have been using axioms not knowing (certainly at the time) whether the systems are consistent or not for a long time, and this is no different. Is that roughly what you are saying? – user1729 May 01 '14 at 08:24
  • @JirkaHanika I think summarising this would definitely help others! – user1729 May 06 '14 at 12:01
  • @user1729 - I've edited the answer and deleted most of my comments. I wasn't sure about the "independence" subthread but I'm ready to delete it as well unless it is essential for the answer. If you think that the answer now covers your points, please delete the ones that you think are no longer needed and tell me so that I can delete the rest of mine. I'm trying to end up with a shorter (or empty) set of comments but we need to cooperate. – Jirka Hanika May 06 '14 at 14:58
  • @user1729 - While I'm not sure what more to add as an answer to *this* question (feel free to edit it if you'd like to), you might find some additional points regarding the lack of mutual independence of axioms of ZF [here](https://mathoverflow.net/questions/192067/axiomatic-zfc-set-theory/192072#192072). Basically, independence of axioms is interesting/achievable primarily for finitely axiomatizable theories, which ZF isn't. – Jirka Hanika Feb 24 '15 at 14:48
1

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.

toplel32
  • 111
  • 1
1

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.

Grax32
  • 111
  • 2