Independent-Kernel Heuristic for Refined abc Bounds

Definitions and mathematical statement

Let $a,b\in{\mathbb{Z}}_{>0}$ satisfy $\gcd(a,b)=1$, and put $c=a+b$. The supplied passage proposes the following heuristic assumption for an unspecified refinement of the $abc$ conjecture: the three kernels $k(a),k(b),k(c)$ may be modeled as independent random variables.

The supplied record does not define $k$. If "kernel" denotes the squarefree kernel, its definition would be \[ k(n)=\operatorname{rad}(n)=\prod_{\substack{p\text{ prime}\\p\mid n}}p \qquad(n\in{\mathbb{Z}}_{>0}),\qquad k(1)=1. \] This interpretation is conditional and requires source confirmation.

For fixed $a,b$, these kernels are deterministic quantities. To formulate probabilistic independence meaningfully, one must specify a probability space, a sampling rule for coprime pairs, and the associated random variables. None is supplied; nor is any limiting regime, approximation criterion, or resulting refined $abc$ bound stated. Consequently, the passage records a heuristic modeling assumption, not a precisely specified independence conjecture or mathematical problem. The supplied verification explicitly identifies it as a heuristic used to derive a proposed refinement.

Short English statement

For coprime positive integers $a,b$, the source suggests treating the kernels of $a$, $b$, and $a+b$ as independent random variables in a heuristic refinement of the $abc$ conjecture. The kernel definition, probability model, and intended refined bound are missing, so a precise conjecture cannot be recovered from this record.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30002433$, title "Independent-Kernel Heuristic for Refined abc Bounds," source code catalogue entry, in the Oberwolfach Reports Open Problems collection. No individual proposer is supplied; the proposed year is recorded as 2013.
• Supplied report citation: Analytic Number Theory (2014), Oberwolfach Reports, pp. 2963--3037, DOI 10.4171/owr/2013/51. Source URL and supplied literature reference labeled "original OWR report": https://doi.org/10.4171/owr/2013/51.
• Literature assessment dated 2026-08-21: supplied dated curation, not independently verified here. It labels the record open and describes the passage as an unfinished heuristic refinement of the $abc$ conjecture, rather than a verified theorem, with an unresolved underlying claim. The supplied background requests independent verification of time-sensitive status and cited claims.
• The supplied statement-verification field reports comparison with the official report and says that independence is explicitly a heuristic assumption, not a separate mathematical question or conjecture. It promotes no clean statement and retains the original record for provenance; the supplied statement status is unrecoverable. These are attributed curation statements, not verification performed for this draft.