N conjecture explained

In number theory, the n conjecture is a conjecture stated by as a generalization of the abc conjecture to more than three integers.

Formulations

Given

n\ge3

, let

a1,a2,...,an\inZ

satisfy three conditions:

(i)

\gcd(a1,a2,...,an)=1

(ii)

a1+a2+...+an=0

(iii) no proper subsum of

a1,a2,...,an

equals

0

First formulation

The n conjecture states that for every

\varepsilon>0

, there is a constant

C

depending on

n

and

\varepsilon

, such that:

\operatorname{max}(|a1|,|a2|,...,|an|)<Cn,\varepsilon\operatorname{rad}(|a1||a2|\ldots

2n-5+\varepsilon
|a
n|)
where

\operatorname{rad}(m)

denotes the radical of an integer

m

, defined as the product of the distinct prime factors of

m

.

Second formulation

Define the quality of

a1,a2,...,an

as

q(a1,a2,...,an)=

log(\operatorname{max
(|a

1|,|a2|,...,|an|))}{log(\operatorname{rad}(|a1||a2|...|an|))}

The n conjecture states that

\limsupq(a1,a2,...,an)=2n-5

.

Stronger form

proposed a stronger variant of the n conjecture, where setwise coprimeness of

a1,a2,...,an

is replaced by pairwise coprimeness of

a1,a2,...,an

.

There are two different formulations of this strong n conjecture.

Given

n\ge3

, let

a1,a2,...,an\inZ

satisfy three conditions:

(i)

a1,a2,...,an

are pairwise coprime

(ii)

a1+a2+...+an=0

(iii) no proper subsum of

a1,a2,...,an

equals

0

First formulation

The strong n conjecture states that for every

\varepsilon>0

, there is a constant

C

depending on

n

and

\varepsilon

, such that:

\operatorname{max}(|a1|,|a2|,...,|an|)<Cn,\varepsilon\operatorname{rad}(|a1||a2|\ldots

1+\varepsilon
|a
n|)

Second formulation

Define the quality of

a1,a2,...,an

as

q(a1,a2,...,an)=

log(\operatorname{max
(|a

1|,|a2|,...,|an|))}{log(\operatorname{rad}(|a1||a2|...|an|))}

The strong n conjecture states that

\limsupq(a1,a2,...,an)=1

.

References