Pith. sign in

REVIEW 4 major objections 5 minor 17 references

An exact way to verify whether n is a congruent number using Heegner points

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper establishes an exact sufficient criterion for a square-free integer $n$ to be congruent: if the Heegner-point sum $U=\Phi(\omega_1)+\cdots+\Phi(\omega_h)$ lies outside the torsion set $S_n$, then $E_n:y^2=x^3-n^2x$ has a…

desk verdict Unproved modular-parametrization identity and an internally inconsistent n=5 example sink the paper's exactness claim, despite some correct standard background. read the letter →

arxiv 2411.14188 v1 pith:NWPUR52V submitted 2024-11-21 math.NT

Heng Chen , Rong Ma , Tuoping Du This is my paper · ORCID
classification math.NT MSC 11G1814G22
keywords congruentnumbersHeegnerpointsellipticcurvesmodularparametrizationL-seriescoefficientsperiodlatticeq-expansionGauss'sconstant
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper claims an exact, constructive criterion for deciding that a square-free integer $n$ is a congruent number without invoking the Birch--Swinnerton-Dyer conjecture. The criterion runs through the elliptic curve $E_n:y^2=x^3-n^2x$: the curve is uniformized by the lattice $\pi/\sqrt{n}\,G\mathbb{Z}[i]$, and the paper computes a modular parametrization $\Phi:X_0(2^5n^2)\to E_n$ as an explicit q-series. For a negative discriminant $D$ with Heegner points $\omega_1,\dots,\omega_h$ on $X_0(2^5n^2)$, the paper forms $U=\Phi(\omega_1)+\cdots+\Phi(\omega_h)$ and proves (Theorem 6.1) that if $U\notin S_n$, the set of four torsion lattice points, then $(\wp(U),\wp'(U))$ is a rational non-torsion point, so $n$ is congruent. The method is carried out for $n=5$ and $n=13$, yielding explicit rational points and, for $n=5$, a rational right triangle of area 5. Along the way the paper computes the conductor $N=2^5n^2$ and proves that the L-series coefficient $a_m$ vanishes whenever $m\equiv3\pmod4$.

What carries the argument

The load-bearing object is the modular parametrization $\Phi:X_0(N)\to E_n$ realized as a q-series with rational coefficients; for $n=5$ it is $q-\frac13q^9-\frac6{13}q^{13}-\frac2{17}q^{17}-\cdots$. A Heegner point is a quadratic irrational $\omega$ in the upper half-plane satisfying $A\omega^2+B\omega+C=0$ with $A\equiv0\pmod N$ and $D=B^2-4AC\equiv r^2\pmod{4N}$. The paper evaluates the q-series at these points, sums the values, and applies the Weierstrass map for the lattice $\Lambda=\pi/\sqrt{n}\,G\mathbb{Z}[i]$, with $G$ Gauss's constant, to land on $E_n$. The test set $S_n$ consists of the four preimages of the rational 2-torsion points, namely $0$, $(1-i)\pi G/\sqrt{n}$, $\pi G/(2\sqrt{n})$, and $-i\pi G/(2\sqrt{n})$ modulo $\Lambda$; membership in $S_n$ is what the criterion checks.

What would settle it

Compute the modular parametrization by integrating the normalized newform for $E_5$ along geodesics from the cusp to the three Heegner points, compare the result with the paper's $U\approx-0.874107405430+1.726197864i$ modulo $\Lambda=\pi/\sqrt{5}\,G\mathbb{Z}[i]$, and verify that $\wp(U)$ satisfies $y^2=x^3-25x$ to full precision; a mismatch by a nonzero lattice element would show the q-series substitution is not the true modular map.

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.1: for the curve $E_n:y^2=x^3-n^2x$ with sign $\varepsilon=-1$, choose Heegner points $\omega_i$ of the same discriminant on $X_0(2^5n^2)$, form $U=\sum_i\Phi(\omega_i)$ under the modular parametrization written as a rational q-series, and test $U$ modulo the period lattice $\Lambda=\frac{\pi}{\sqrt{n}}G\mathbb{Z}[i]$. The rational 2-torsion points of $E_n$ correspond under the Weierstrass map to the four elements of $S_n$. If $U\notin S_n$, then $(\wp(U),\wp'(U))$ is a rational point of infinite order on $E_n$, and that is equivalent to $n$ being a congruent number. The paper applies the criterion to $n=5$ and $n=13$; for $n=5$ it also extracts the rational right triangle with sides $4920/1519$, $1519/492$, and $3344161/747348$.

Load-bearing premise

The load-bearing premise is that the displayed q-series in Proposition 5.2 is genuinely the modular parametrization of $E_n$, and that substituting the Heegner points into it gives values directly in the period lattice $\pi/\sqrt{n}\,G\mathbb{Z}[i]$ with no missing period scaling or integration factor; if either half of that identification fails, the numbers $U$ are not coordinates of points on the elliptic curve and the torsion test proves nothing.

Editorial extensions

If this is right

  • For any $n$ whose modular q-expansion and Heegner points can be computed, Theorem 6.1 provides a finite, exact certificate that $n$ is congruent, with no reliance on the Birch--Swinnerton-Dyer conjecture for the positive direction.
  • The vanishing of $a_m$ for $m\equiv3\pmod4$ means only the $m\equiv1\pmod4$ coefficients of the q-series need to be computed, streamlining the parametrization.
  • The test is one-directional: if $U$ lands in $S_n$, Theorem 6.1 is silent, so the method does not by itself certify that $n$ is not a congruent number.
  • The conductor identity $N=2^5n^2$ fixes the level $X_0(N)$ where the Heegner points must be sought for each $n$.
  • For $n=5$, the method recovers a rational point on $E_5$ and the rational right triangle with sides $4920/1519$, $1519/492$, and $3344161/747348$; for $n=13$, it produces the rational point $(11432100241/375584400,\,1105240264347961/7278825672000)$ on $E_{13}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An editorial extension the paper leaves implicit: the same Heegner-point construction should apply to any modular elliptic curve with sign $-1$, not just $E_n$; a sum outside the torsion subgroup would yield an explicit rational point of infinite order.
  • Because the displayed q-expansions are truncated at order $q^{97}$, the numerical estimates of $U$ carry no proven error bound; bounding the tail would upgrade the verification from numerical to fully rigorous.
  • The paper does not state explicitly whether the q-expansion is evaluated at $\omega$ or at $q=e^{2\pi i\omega}$; checking this normalization is a natural first test of the machinery.
  • The criterion's one-way character suggests a testable extension: combine a check of $U\in S_n$ with Selmer or descent computations to try to certify non-congruence, which the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The manuscript proposes an 'exact way' to verify whether a positive integer n is a congruent number. It computes the conductor of E(n): y^2 = x^3 - n^2 x, proves that the L-series coefficient a_m vanishes for m ≡ 3 mod 4, identifies the complex period lattice of E(n) with (π/√n) G Z[i], and then invokes modularity to define a map Φ: X_0(N) → E(n). The central criterion is Theorem 6.1: if a sum U of Φ-values at Heegner points is not one of the four 2-torsion cosets S_n, then n is congruent. The paper illustrates the method with n = 5 and n = 13, giving explicit rational points on the corresponding elliptic curves.

Significance. If the modular-parametrization identity and the period-lattice identification were rigorously established, the proposed criterion would be a potentially interesting computational approach to the congruent number problem. The paper does contain some correct or standard components: the conductor value 32 n^2 is correct for squarefree n, the vanishing statement a_m = 0 for m ≡ 3 mod 4 is essentially correct, the period lattice formula is standard, and the displayed rational points for n = 5 and n = 13 are independently checkable. However, the load-bearing step — the assertion that a specific truncated q-series is a modular parametrization of E(5) and that evaluating it at Heegner points gives points of C/(π/√n G Z[i]) — is unproved, and the n = 5 example is internally inconsistent with the stated framework. As it stands, the paper does not establish the promised exact verification method.

major comments (4)
  1. [§5.2, Proposition 5.2] The modular parametrization Φ(q) = q - (1/3)q^9 - (6/13)q^13 - ... is asserted without derivation. The paper gives no construction from the newform of E(5), no discussion of the Manin constant or the period normalization, and no proof that this q-series arises from a map X_0(800) → E(5) with the normalization that makes evaluation at Heegner points land in C/(π/√5 G Z[i]). The displayed modular form f(q) = q - 3q^9 - 6q^13 - ... has coefficients multiplied by 3 relative to Φ(q), so the relation between the two normalizations is itself unexplained. Without this identification, the complex numbers U in Sections 6 and 7 are not known to be coordinates of points on E(n), and Theorem 6.1 is not instantiated.
  2. [§6, n = 5 example] The computation gives U ≈ -0.874107405430 + 1.726197864 i, which is not real. Proposition 6.1, however, requires ε = -1 and states in its proof that 'then U = U ∈ R'. No explanation is offered for how a non-real lattice point can map under the Weierstrass map to the real rational point (1050625/90000, 62279/1728). Moreover, the sentence 'Because 1/2 π/√5 ... is not in S5' is false: the half-period 1/2 π/√5 mod Λ is explicitly one of the four elements of S5. The n = 5 example therefore does not follow the algorithm of Theorem 6.1 and cannot be used as a demonstration of the method.
  3. [§6, Theorem 6.1] The proof that U not in S_n implies that U is a non-torsion point is incomplete. S_n lists only the four 2-torsion cosets; to conclude non-torsion one must know both that U is a point of E(Q) and that E(n)(Q)_tors has no elements outside those cosets. The latter is stated in Proposition 6.2, but the former depends entirely on the unproved Proposition 5.2. In addition, Theorem 6.1 gives no rigorous method for deciding 'not in S_n' from approximate numerical values; without error bounds, the claimed exactness of the criterion is unsupported.
  4. [§7, Proposition 7.1 and Theorem 7.1] For n = 13, the conductor 5408 and the modular form are asserted without proof, and the value U ≈ -2.3665268305 + 4.23177966E-37 i is reported to about ten decimal places with no error analysis. The conclusion that U is not in S_13 is a numerical statement, not a rigorous exclusion. The displayed rational point (11432100241/375584400, 1105240264347961/7278825672000) may be verified independently, but its equality with (℘(U),℘'(U)) is not demonstrated. Thus the n = 13 proof has the same gap as the n = 5 proof.
minor comments (5)
  1. [§2] The conductor computation is not rigorous as written: from the existence of a cusp at (0,0) one cannot directly read off the local conductor exponents. The stated result N_E(n) = 2^5 n^2 is correct for squarefree n and should be proved with a standard conductor formula.
  2. [§3.2, Lemma 3.1] The pairing argument in the proof of Lemma 3.1 is written in a confusing way and the symbol 'a' is overloaded; the statement itself is standard and can be proved more cleanly by counting points on y^2 = x^3 - n^2 x mod p.
  3. [§4, Proposition 4.2] The period integrals in Proposition 4.2 require a choice of square-root branch; the paper does not specify the branch, which matters for the signs of ω1 and ω2 in Theorem 4.1.
  4. [§6] The statement that Q(j(ω), j_N(ω)) ⊂ Q(ω, j(ω)) is written in the wrong direction and the surrounding class-field argument is too compressed to verify; the inclusion should be reversed or justified carefully.
  5. [General] There are numerous typographical errors, including 'A EXACT W AY' in the title, 'Heegn er' in the abstract, and 'congruence' for 'congruent' in Section 1.4; the references also contain duplicates and inconsistent formatting.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the paper's criterion and examples do not reduce to their inputs, though the n=5 application has internal errors that are correctness problems, not circular reasoning.

full rationale

The paper's load-bearing criterion, Theorem 6.1, uses the standard theorem that n is congruent if and only if E(n): y^2=x^3-n^2x has a non-torsion rational point. That equivalence is not the paper's conclusion; it is an external, independently established result. The actual work is the computation of U=ΣΦ(ω_i) through the claimed modular parametrization in Proposition 5.2 and the subsequent Weierstrass evaluation, producing explicit rational points for n=5 and n=13. These points can be verified directly in the curve equation, so the proof does not assume the congruency it sets out to prove. There are no self-citations by the authors, and the cited theorems (Silverman, Gross-Zagier, Knapp, Smith) are independent standard results; no uniqueness or ansatz is imported from the authors' prior work. The serious weaknesses are gaps in justification, not circularity: Proposition 5.2 asserts the q-expansion of the modularity map without deriving it, and the n=5 passage contains factual inconsistencies (U is computed as non-real although the claimed rational point is real, and the text says 1/2 π/√5 is not in S5 although that half-period is listed in S5). These are correctness objections and do not constitute a reduction of the paper's prediction to its inputs.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new mathematical objects beyond the notation S_n. Its method rests on standard theorems from Silverman, Knapp, Gross-Zagier, and class field theory. The two hand-chosen discriminants and the unproven q-expansion truncation are the only free choices, and they are not backed by error estimates.

free parameters (2)
  • q-expansion truncation order = 100 (O(q^100))
    The estimates of U use q-expansions truncated at O(q^100). The paper gives no error bound, so the exactness claim depends on this arbitrary cutoff.
  • Heegner discriminants D = -31 for n=5, -55 for n=13
    The discriminant D is chosen by hand for each example; the paper gives no rule for choosing a valid D for a general input n, which is essential for the claimed verification method.
assumptions (4)
  • standard math A squarefree integer n is congruent if and only if E_n(Q) contains a rational point of infinite order.
    Used implicitly throughout Theorem 6.1 and the examples; it is a standard equivalence for the congruent number curve.
  • standard math Every elliptic curve over Q is modular, so there exists a rational map Φ: X0(N) → E for the curve's conductor N.
    Proposition 5.1 relies on the modularity theorem; the paper does not prove it.
  • standard math The Gross-Zagier formula and class field theory imply that the sum of Heegner points of the same discriminant on X0(N) projects to a rational point on E, with the uniformization given by the period map.
    Proposition 6.1 is invoked as a known theorem from Gross and Zagier to justify that U corresponds to a point in E(Q).
  • standard math The recurrence relations a_p a_{p^k} = a_{p^{k+1}} + p a_{p^{k-1}} for p not dividing the conductor and the multiplicative property a_{mn}=a_m a_n for coprime m,n hold for the L-series coefficients of an elliptic curve.
    Used in Section 3 to compute a_w and prove Theorem 3.2; these are standard properties of elliptic curve L-series.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An exact way to verify whether n is a congruent number using Heegner points." pith.science (2026). https://pith.science/paper/NWPUR52V

@misc{pith2026241114188,
  author       = {Pith},
  title        = {Pith review of: An exact way to verify whether n is a congruent number using Heegner points},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NWPUR52V}},
  note         = {Machine review of arXiv:2411.14188}
}
abstract

We introduce the relationship between congruent numbers and elliptic curves, and compute the conductor of the elliptic curve $y^2 = x^3 - n^2 x$ associated with it. Furthermore, we prove that its $L$-series coefficient $a_m = 0$ when $m \equiv 3 \mod 4$.By using the invariants of the elliptic curve introduced above, we calculate Heegner points to quickly verify whether $n$ is a congruent number.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Milne, Algebraic number theory (v3) , https://www

    James S. Milne, Algebraic number theory (v3) , https://www. jmilne. org/math/, 2008

    work page 2008

  2. [2]

    Some remarks on Heegner point computations

    Mark Watkins, Some remarks on Heegner point computations , https: //arxiv. org/pdf/math/0506325, 2005

    work page Pith review arXiv 2005

  3. [3]

    Buell, Binary quadratic forms - Classical theory and modern comput ations, Springer-Verlag, New York, 1989

    D.A. Buell, Binary quadratic forms - Classical theory and modern comput ations, Springer-Verlag, New York, 1989

    work page 1989

  4. [4]

    Mordell, On the Riemann hypothesis and imaginary quadratic fields wit h a given class number , J

    L.J. Mordell, On the Riemann hypothesis and imaginary quadratic fields wit h a given class number , J. London Math. Soc., 9 (1934), 534-537

    work page 1934

  5. [5]

    Benedict Gross, Heegner Points on X0(N ), chapter 5, Ellis Horwood, 1984

    work page 1984

  6. [6]

    Smith, The Congruent Numbers Have Positive Natural Density , https://arxiv.org/pdf/1603

    A. Smith, The Congruent Numbers Have Positive Natural Density , https://arxiv.org/pdf/1603. 08479, 2016. 10 HENG CHEN & RONG MA & TUOPING DU

    work page 2016

  7. [7]

    Silverman, The arithmetic of elliptic curves , Graduate texts in mathematics 106, Springer- Verlag, New York, 1986

    J.H. Silverman, The arithmetic of elliptic curves , Graduate texts in mathematics 106, Springer- Verlag, New York, 1986

    work page 1986

  8. [8]

    Henri Darmon, Rational points on modular elliptic curves , Department of Mathematics, McGill University, Montreal, Quebec, Canada, H3A-2K6, Montreal, Queb ec, Canada H3A-2K6,

    work page

Show all 17 references
  1. [9]

    B. J. Birch, Elliptic curves and modular functions , in Symposia Mathematica , Vol. IV (INDAM, Rome, 1968/69), Academic Press, London, 1970

    1968

  2. [10]

    Cohen, A course in computational algebraic number theory , Graduate Texts in Mathematics, Springer-Verlag, New York Inc., 1993

    H. Cohen, A course in computational algebraic number theory , Graduate Texts in Mathematics, Springer-Verlag, New York Inc., 1993

    1993

  3. [11]

    Diamond and J

    F. Diamond and J. Shurman, A first course in modular forms , volume 228 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2005

    2005

  4. [12]

    Gross and D

    B. Gross and D. Zagier, Heegner points and derivatives of L-series , C. R. Acad. Sci. Paris 297 (1983), 85-87

    1983

  5. [13]

    Buell, Binary quadratic forms-Classical theory and modern comput ations, Springer-Verlag New York Inc., 1989

    D.A. Buell, Binary quadratic forms-Classical theory and modern comput ations, Springer-Verlag New York Inc., 1989

    1989

  6. [14]

    Birch and H.P.F Swinnerton-Dyer, Notes on elliptic curves , J

    B.J. Birch and H.P.F Swinnerton-Dyer, Notes on elliptic curves , J. R (1963), 79-108

    1963

  7. [15]

    B. Birch, Heegner Points: The Beginnings , in Heegner Points and Rankin L-Series, edited by Henri Darmon and Shouwu Zhang, MSRI Publications, Volume 49, Cambridge University Press, 2004

    2004

  8. [16]

    Gross, W

    B. Gross, W. Kohnen, and D. Zagier, Heegner points and derivatives of L-series II , Math. Ann. 278 (1987), 497–562

    1987

  9. [17]

    Knapp, Elliptic curves , Princeton University Press, Princeton, N.J., 1992

    A.W. Knapp, Elliptic curves , Princeton University Press, Princeton, N.J., 1992. Heng Chen, School of Mathematics and Statistics, Northwest ern Polytechnical Uni- versity, Xi’an, Shaanxi 710072, China Email address : ch3242352050@163.com Rong Ma, School of Mathematics and Stat...

    1992

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.