7
$\begingroup$

There are many interesting open conjectures in number theory. My question is not about partial results or possible ways to prove them. It is about their interactions with the other fields of mathematics. For example consider the Fermat's conjecture (Wiles's theorem), what are the consequences and impacts of the statement "for each $n\geq 3$ there are no natural numbers like $x,y,z$ such that $x^n+y^n=z^n$" on the other fields of mathematics? Of course the tools which Wiles and others discovered to prove Fermat's conjecture have many applications in geometry and other realms but what about the result itself? My question is about these possible relations and interactions:

Question: Please introduce some references for any known theorem like the following statement:

If the conjecture C in number theory is true/false then the statement S in the field F of mathematics will be true/false.

Remark 1: Particularly the following cases are more interesting for me:

C $=$ Schanuel's conjecture, Goldbach's conjecture, Fermat's conjecture (Wiles's theorem).

F $=$ Logic, set theory, model theory.

Remark 2: Although it is not my main purpose but by the answers of the question one can find some possible non-number theoretic ways to prove or refute conjectures in number theory.

$\endgroup$
5
  • 1
    $\begingroup$ This question seems related: mathoverflow.net/questions/140459/… $\endgroup$ Commented Nov 11, 2013 at 12:08
  • $\begingroup$ @ToddTrimble: Really interesting post Todd, thank you for reference. But in this question my main stress is on Schanuel and Goldbach conjectures and those possible consequences in set theory and model theory. $\endgroup$
    – user42090
    Commented Nov 11, 2013 at 12:22
  • $\begingroup$ @JaycobColeman: It is really interesting. Please send it as an answer with more explanations and references. $\endgroup$
    – user42090
    Commented Nov 11, 2013 at 12:50
  • $\begingroup$ Are you just interested in new theorems or also in easier proofs for known theorems (e.g. a proof of the Feit-Thompson conjecture would allow to simplify the proof of the odd order theorem)? $\endgroup$
    – j.p.
    Commented Nov 11, 2013 at 13:42
  • $\begingroup$ @j.p.: I think every known relation between a conjecture in number theory and a problem in other fields of mathematics is fundamental and important. Please send what you want as an answer. There is no limitation. $\endgroup$
    – user42090
    Commented Nov 11, 2013 at 16:52

4 Answers 4

22
$\begingroup$

The Generalized Riemann Hypothesis (GRH) influences Complexity Theory. In particular, Pascal Koiran proved that the truth of the GRH implies that the problem of "whether a set of polynomial equations has a solution over the complex numbers" is in the second level of the polynomial hierarchy, in the Arthur-Merlin class. I do not know if this statement could be proven without GRH. Thus, truth of the GRH bridges between complexity theory over the complex numbers (continuous), and complexity theory modulo many primes (discrete). Koiran's result is discussed on R.J. Lipton's blog.

One significant application of Koiran's theorem was Greg Kuperberg's lovely and surprising proof that, assuming GRH, it is NP to tell whether a knot is knotted. This result is discussed in this Combinatorics and More blog post. Ian Agol also has a GRH-free proof of the same statement using normal surface theory.

$\endgroup$
5
  • 2
    $\begingroup$ Is it known whether GRH is necessary for of Koiran's result? $\endgroup$ Commented Nov 12, 2013 at 2:12
  • 3
    $\begingroup$ A straightforward connection is that, if GRH holds, then the Miller-Rabin primality test is correct in deterministic polynomial time. This would have proven the open question "PRIMES in P" ... until the AKS test was discovered and settled the question independently of GRH! $\endgroup$
    – usul
    Commented Nov 13, 2013 at 13:43
  • 1
    $\begingroup$ While primality testing is in P, there are other examples of similar sort that are unsettled. Square roots modulo primes can be computed in randomized polynomial time by the Tonelli–Shanks algorithm which can be derandomized assuming the GRH, but no unconditional deterministic polynomial-time solution is known. See also arxiv.org/abs/1207.5220 (if I may). $\endgroup$ Commented Nov 14, 2013 at 13:42
  • $\begingroup$ Similarly, polynomials over finite fields can be deterministically factored in polynomial time under GRH; unconditionally only a randomized algorithm is known. $\endgroup$ Commented Nov 20, 2013 at 12:38
  • $\begingroup$ The "citeseer" link no longer works - but after changing URL to citeseerx one can see that it was a link to the paper Pascal Koiran: Hilbert's Nullstellensatz is in the Polynomial Hierarchy. $\endgroup$ Commented Mar 5, 2023 at 3:21
10
$\begingroup$

As an example of interactions between number theoretic conjectures and model theoretic problems, Macintyre and Wilkie proved that if the Schanuel's conjecture is true then the theory of real field with exponentiation ($R_{exp}$) is decidable.

Macintyre, A. & Wilkie, A. J. (1996). "On the decidability of the real exponential field". In Odifreddi, Piergiorgio. Kreiseliana: About and Around Georg Kreisel. Wellesley: Peters. pp. 441–467.

$\endgroup$
3
$\begingroup$

This is an elaboration of a now deleted comment, written at the request of OP. I've had a couple of conjectures published on the OEIS which I really think justify some obvious numerical observations one can make about perfect numbers, harmonic divisor (Ore) numbers, and multiply-perfect numbers, whose definitions follow.

Let $\sigma(n)$ denote the sum of divisors of a positive integer $n$, and let $\sigma_0(n)$ denote the number of divisors of $n$.

$n$ is a harmonic divisor number iff $\sigma(n) \mid n\sigma_0(n)$

$n$ is multiply-perfect iff $n \mid \sigma(n)$.

$n$ is perfect iff $\sigma(n)=2n$. Every perfect number is obviously multiply-perfect, and Ore proved that every perfect number is a harmonic divisor number, which is equivalent to showing that a perfect number is never a square.

The only known odd multiply-perfect number is $1$, and the same goes for the harmonic divisor numbers. It's been conjectured that there are no further odd terms in either sequence, and earlier came the conjecture that there are no odd perfect numbers. A further sequence, the practical numbers, is required for our conjectures.

Let $p_1^{a_1}p_2^{a_2}...p_{\omega(n)}^{a_{\omega(n)}}$ be the canonical prime factorization of $n$, where $\omega(n)$ is the number of distinct divisors of $n$. Also let $p_0=a_0=1$.

$n$ is practical iff $p_i^{a_i+1}-1 \leq \sigma(p_0^{a_0}p_1^{a_1}...p_i^{a_i})$ for every $i \in [0,\omega(n)]$. This is Stewart's structure theorem, and for $i=1$, dividing both sides by $\sigma(p_1^{a_1})$ shows that $p_1\leq 2$ i.e. $n$ is even for $\omega(n)>0$, which is every $n>1$ by the fundamental theorem of arithmetic. Alternatively, $n$ is practical iff every positive integer less than $n$ has a representation as a sum of distinct divisors of $n$. It's easy to see that every practical number greater than $1$ is even, since $2$ has no representation as a sum of distinct positive integers not including itself.

The conjectures then, which are based on numerical evidence alone, are that every harmonic divisor number and every multiply-perfect number is a practical number. Part of the appeal of which, to me, is that now we don't have make the exception for $n=1$ in both of the weak conjectures with no real justification for why this would be the only odd term. These conjectures are refinements of the previous conjectures, but not of the odd perfect number conjecture specifically - since the form of every even perfect number is already known and they are easily shown to be practical, and as we've already shown in two different ways, every practical number greater than $1$ is even - though each implies the conjecture.

Of course, this is no more solid of evidence than that for the old conjectures, but seeing as how those conjectures have been perpetuated based mostly on numerical evidence, we should try looking more closely at the congruences of these numbers than just their parity. These conjectures, by the criterion of Srinivasan - every practical number greater than $2$ is divisible by $4$ or $6$ - say you will not find any terms of the form $12m\pm 2$ (since we can verify $2$ belongs to neither sequence). More generally, it is known that $n=2^a$, where $a$ is a positive integer, is neither a multiply-perfect number nor a harmonic divisor number. It is also known that every practical number not of this form and not $1$, is of the form $n=2^apm$, where $p$ is a prime such that $2^a<p<2^{a+1}$ and $a,m$ are positive integers. Thus, for every $n>1$, under our conjectures, a necessary condition for $n$ to be a multiply-perfect or harmonic divisor number is to have a divisor $d$ of the form $d=2^ap$ for some odd prime $p$ and integer $a$ such that $2^a<p<2^{a+1}$. Every integer with the form of $d$ is a practical number, and this includes the even perfect numbers.

Examining the prime factorizations of the harmonic divisor numbers or multiply-perfect numbers you would notice a tendency towards having a relatively large portion of small prime factors. This is a general characteristic of practical numbers, a sort of dual to the definition of a prime. You would also find that this imbalance seems exaggerated in further special cases of the equality $\sigma(n)=kn/2^r$, which is to say it's likely true that all of these numbers are practical. They can equivalently be defined as $n$ such that the odd part of $n$ divides $\sigma(n)$. I know the harmonic divisor numbers, multiply-perfect numbers, and this last generalization of multiply-perfect numbers are all practical for hundreds of terms at least, but I've confirmed the multiply-perfect numbers furthest - for $5261$ terms with $\sigma(n)>2n$ - from the factorizations provided in Achim Flammenkamp's database. It's very quick and straightforward from the canonical prime factorization of $n$ and Stewart's inequality to determine if $n$ is practical.

Not many mathematicians have written about practical numbers. A large portion of the papers in which they appear are linked here.

To summarize, if every every positive integer $n$ such that the odd part of $n$ divides $\sigma(n)$ is a practical number, then every multiply-perfect number is a practical number. If every multiply-perfect number or every harmonic divisor number is a practical number, then every perfect number is even.

Edit: I've found quite an incredible generalization of the previous conjectures. Let $n$ be a positive integer such that $\dfrac{\sigma(n)}n=\dfrac{k}m$, where $\gcd(k,m)==1$ and $m$ is a practical number. We conjecture that $n$ must also be practical.

$\endgroup$
5
  • $\begingroup$ It is really comprehensive and useful, Jaycob. Thanks. $\endgroup$
    – user42090
    Commented Nov 13, 2013 at 12:38
  • $\begingroup$ By the way, @JaycobColeman - $1$ is also the only known odd almost perfect number. $\endgroup$ Commented Nov 13, 2013 at 22:55
  • 3
    $\begingroup$ @J.C., this is all interesting--certainly to me; but what about "other fields of mathematics"? $\endgroup$ Commented Nov 14, 2013 at 5:19
  • $\begingroup$ @WlodzimierzHolsztynski The people who study these sorts of things would all be called elementary number theorists, but that's only because these things aren't well understood enough to be applied, I think. The practical numbers have been shown to have many significant analogies with primes, but nearly all that's been done with practical numbers is the verification of these analogous properties - or likely analogous, considering some of the analogues are unproven for primes, like the Goldbach and twin prime conjectures. I couldn't assign a specific field to these sequences from what is known. $\endgroup$ Commented Nov 14, 2013 at 5:55
  • 1
    $\begingroup$ @JoseArnaldoDris The generalized multiply-perfect numbers I mentioned actually contain the known almost perfect numbers. $\endgroup$ Commented Nov 14, 2013 at 22:26
0
$\begingroup$

The question whether there exists finite-volume hyperbolic Riemann surfaces with very few Laplaceeigenvalues is related to the conjecture that the eigenvalues of the Laplacian should have an upper bound on the multiplicity for congruence Riemann surface, i.e, $=\Gamma\backslash H$ for $\Gamma$ being a congruence subgroup.

Also Lindenstrauss proved important results in ergodic theory, which were crucial in the proof of the Quantum unique ergodicity conjecture proven Soundararajan. http://www.aimath.org/~kaur/RecentProgressQUE2(901).pdf

$\endgroup$

You must log in to answer this question.