{"id":"318b4385-8f0d-4025-9681-729266be4542","arxiv_id":"2411.14188","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper proposes a Heegner point method for certifying congruent numbers, but it is neither new nor rigorous, and its examples are already known.","lead":"This paper claims a new way to prove a number is congruent, meaning it can be the area of a right triangle with rational sides, by calculating special points on the associated elliptic curve. It applies the method to 5 and 13, but the key steps are asserted without proof and the numerical checks have no error bounds.","discovery_kind":"incremental","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The unproved modular-parametrization identity in Proposition 5.2 is load-bearing, and the n=5 example is internally inconsistent: a non-real U is claimed to produce a real rational point, so Theorem 6.1 is not instantiated.","rationale":"The central claim is an exact verification method, so the chain X_0(N) -> C/Λ -> E must be correct. The only evidence for the chain is the asserted q-series in Proposition 5.2 and the numerical values of U. If the q-series is misnormalized, the U values are meaningless; if it is correct, the paper still omits the proof and any error bounds, so the exactness claim is at best conditional. The n=5 inconsistency strengthens the objection: it suggests that the authors' own computation does not instantiate Theorem 6.1, since a complex U with nonzero imaginary part cannot, under the stated rectangular lattice, produce a real rational point through the Weierstrass map unless an additional symmetry is explained. A direct computer calculation of the modular form, its period lattice, and the Heegner-point sum would settle whether the asserted identification is correct. Until then, the paper does not establish the promised exact criterion, so the reader's REJECT verdict remains appropriate.","tokens_in":8016,"tokens_out":13262,"duration_ms":129519,"concrete_test":"Use Sage/Magma to compute the actual newform f of E(5): y^2 = x^3 - 25x (conductor 800) and the period lattice L = {∫_γ 2πi f(z) dz : γ ∈ H_1(X_0(800), Z)}. Check whether L equals (π/√5)G Z[i] exactly, up to the same rectangular periods. Then compute U = Σ_{i=1}^3 ∫_{i∞}^{ω_i} 2πi f(z) dz for the three Heegner points of Section 6 (D = -31), reduce U modulo L, apply the Weierstrass function, and compare the result to the claimed rational point (1050625/90000, 62279/1728). If the comparison fails, Proposition 5.2 is not the parametrization of E(5); if it holds, the paper still needs a proof of the missing period/Manin normalization before Theorem 6.1 can be called exact.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 6.1 reduces congruent-number verification to checking whether U = Φ(ω1)+...+Φ(ωn) lies in S_n. The entire chain depends on Proposition 5.2, which asserts that the modularity map for E(5) is the formal q-series q - (1/3)q^9 - (6/13)q^13 - ... . This assertion is unproved: the paper gives no derivation from the newform, no Manin-constant or period normalization, and no verification that the period lattice attached to this q-series equals (π/√5)G Z[i] as claimed in Theorem 4.1. Without that equality, U is not a point of C/Λ, and (℘(U), ℘'(U)) is unrelated to E(5). The n=5 example then displays a concrete inconsistency: U is computed as -0.874107405430... + 1.726197864...i, which is not real, so Proposition 6.1's hypothesis ε = -1 (equivalently U = conj(U)) fails; nevertheless a real rational point (1050625/90000, 62279/1728) is claimed to equal (℘(U), ℘'(U)). No explanation is given for how a non-real lattice point maps to a real point. The sentence 'Because 1/2 π/√5 ... is not in S5' is also false, since that half-period is one of the listed elements of S5. Thus the proof that 5 is congruent does not actually follow the promised algorithm, and the general exactness claim of the paper is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":8389,"tokens_out":4905,"duration_ms":47172,"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":[{"comment":"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.","section":"§5.2, Proposition 5.2"},{"comment":"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.","section":"§6, n = 5 example"},{"comment":"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.","section":"§6, Theorem 6.1"},{"comment":"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.","section":"§7, Proposition 7.1 and Theorem 7.1"}],"minor_comments":[{"comment":"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.","section":"§2"},{"comment":"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.","section":"§3.2, Lemma 3.1"},{"comment":"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.","section":"§4, Proposition 4.2"},{"comment":"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.","section":"§6"},{"comment":"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.","section":"General"}],"recommendation":"reject","confidential_remarks":"The central modular-parametrization claim is unproved, and the n = 5 example contradicts the paper's own hypotheses. These are load-bearing issues that cannot be fixed by local revision. The explicit rational points and the standard a_m = 0 result are not enough to support the paper's advertised exact criterion."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Zhen, here's my take. The paper promises an exact Heegner-point certificate for congruent numbers, but the load-bearing step is an unproved modular-parametrization identity, and the n=5 example contradicts the paper's own theorem. I agree with the reader's reject verdict, though I'd be a bit more generous about the standard pieces.\n\nWhat's genuinely fine: the conductor computation 2^5 n^2 for y^2 = x^3 - n^2 x is correct, the vanishing of a_m for m ≡ 3 mod 4 is a standard result and the proof here is mostly right, and the period lattice C/(π/√n G Z[i]) is also correct. The rational points displayed for n=5 and n=13 appear to be genuine points on the curves; I didn't verify the exact arithmetic but they're plausible. Those are real, if not new.\n\nThe soft spots are not minor. Proposition 5.2 asserts that the modularity map for E(5) is the q-series q - 1/3 q^9 - ... with no derivation, no Manin-constant/period normalization, and no check that the attached lattice matches π/√5 G Z[i]. Everything downstream depends on this. The stress-test note is right: for n=5, U is computed as -0.874... + 1.726i, which is not real, yet Proposition 6.1 requires ε = -1 and U real to force a rational point. Claiming (℘(U), ℘'(U)) equals a real rational point is internally inconsistent unless 2U is in the lattice, which it isn't. And the sentence \"1/2 π/√5 is not in S5\" is wrong under the paper's own definition of S5. The n=5 proof does not instantiate Theorem 6.1.\n\nAlso, the citation of Smith is garbled: Smith proved that a positive proportion of n ≡ 5, 6, 7 mod 8 are congruent, not that every such n has rank 1. That is a material misstatement.\n\nNet: the paper is a collection of correct background facts plus an unverified heuristic. The advertised exact algorithm is not supported. It does not deserve a full peer-review cycle as is. A serious editor should desk reject, or at most ask for a major rewrite that proves Proposition 5.2 and fixes the examples before sending to a referee. I would not cite it.","headline":"Unproved modular-parametrization identity and an internally inconsistent n=5 example sink the paper's exactness claim, despite some correct standard background.","tokens_in":8932,"tokens_out":3411,"would_cite":false,"duration_ms":31027,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11G18","14G22"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["congruent numbers","Heegner points","elliptic curves","modular parametrization","L-series coefficients","period lattice","q-expansion","Gauss's constant"],"falsifier":"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.","tokens_in":7838,"feed_emoji":"📐","tokens_out":17126,"duration_ms":145470,"temperature":0.7,"pith_summary":"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$.","feed_headline":"Heegner points certify when n is a congruent number","feed_subtitle":"By adding Heegner-point images and checking torsion, the construction yields rational right triangles of area n.","key_machinery":"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.","core_discovery":"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$.","pith_inferences":["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."],"forward_implications":["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}$."],"supporting_citations":[{"why":"Supplies the period-lattice isomorphism $C/\\Lambda\\cong E$ and the modularity map $X_0(N)\\to E$ that the construction composes.","marker":"[7]"},{"why":"Gives the Heegner-point theorem that the sum $U=\\sum\\Phi(\\omega_i)$ is rational on $E(Q)$, the fact that makes the torsion test meaningful.","marker":"[12]"},{"why":"Provides the arithmetic-geometric-mean period integrals identifying $\\Lambda=\\pi/\\sqrt{n}\\,G\\mathbb{Z}[i]$ and the duplication criterion used to extract the rational right triangle.","marker":"[17]"}],"fun_headline_variants":["Exact congruent number test via Heegner points","Heegner point criterion certifies congruent numbers","Heegner method extracts rational right triangles","Test n as congruent with Heegner points","Heegner points verify congruent numbers exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Exact congruent number test via Heegner points","Heegner point criterion certifies congruent numbers","Heegner method extracts rational right triangles","Test n as congruent with Heegner points","Heegner points verify congruent numbers exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000432,"raw_usage":{"total_tokens":2157,"prompt_tokens":851,"completion_tokens":1306,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":467,"completion_tokens_details":{"reasoning_tokens":1236}},"tokens_in":467,"tokens_out":1306,"duration_ms":12297,"temperature":1.0,"reasoning_tokens":1236,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:28:10.287656+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Silverman, The arithmetic of elliptic curves , Graduate texts in mathematics 106, Springer- Verlag, New York, 1986","cited_arxiv_id":null,"evidence_quote":"Supplies the period-lattice isomorphism $C/\\Lambda\\cong E$ and the modularity map $X_0(N)\\to E$ that the construction composes."},{"cited_title":"Gross and D","cited_arxiv_id":null,"evidence_quote":"Gives the Heegner-point theorem that the sum $U=\\sum\\Phi(\\omega_i)$ is rational on $E(Q)$, the fact that makes the torsion test meaningful."},{"cited_title":"Knapp, Elliptic curves , Princeton University Press, Princeton, N.J., 1992","cited_arxiv_id":null,"evidence_quote":"Provides the arithmetic-geometric-mean period integrals identifying $\\Lambda=\\pi/\\sqrt{n}\\,G\\mathbb{Z}[i]$ and the duplication criterion used to extract the rational right triangle."}],"review_version":1}