{"id":"e974cfe7-152a-4ac9-b6f6-6c2933f60b08","arxiv_id":"2505.16910","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every number field K and every 3-generic elliptic curve E/K with full rational 2-torsion, there are infinitely many quadratic twists of E with rank exactly 1.","lead":"For every number field (a finite extension of the rational numbers), the paper proves there are infinitely many elliptic curves with Mordell-Weil rank exactly 1. The method uses additive combinatorics to control Selmer groups, and it applies to almost all elliptic curves with full rational 2-torsion, though the corollary was already proved independently by Zywina.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The descent in Theorem 1.3 depends on the omitted proof of (3.11); without verifying that Sel_{L_{s+2,t}} equals ⟨(z9,z10)⟩, the claimed rank-one conclusion does not follow.","rationale":"The paper's central claim is Theorem 1.3, and its proof goes through Theorems 3.3 and 3.5. The most concrete load-bearing gap is the explicitly omitted proof of (3.11), which is the step that lowers the Selmer dimension from 3 to 1. The reader's weakest_assumption pointed to Theorem 3.9, the existence of the auxiliary twist; that construction relies on repeated Mitsui/Chebotarev applications and on linear disjointness of the relevant Kummer and ray-class extensions, which is plausible and can be checked. The omitted (3.11), by contrast, is an unverified computation inside the main descent and is acknowledged by the authors. It is likely routine but is essential: if wrong, the final Selmer rank would not be 1. No formal verification is provided, and the proof chain is long, so conditional acceptance is appropriate. I do not see an internal contradiction; the concern is about completeness, not soundness. Therefore the reader's CONDITIONAL verdict should stand.","tokens_in":25492,"tokens_out":20340,"duration_ms":151179,"concrete_test":"Complete the omitted verification of (3.11): for each basis vector (z_{2i-1},z_{2i}) of Sel_{L_{s+1,t}} in (3.10), compute res_{q2} via Hilbert reciprocity from (3.5)-(3.6), as was done for q1 in (3.12)-(3.16); then apply Lemma 2.6 with the chosen local condition at q2. If the resulting Selmer group is exactly ⟨(z9,z10)⟩, the gap is closed. If any other class survives, recompute (3.9) and check whether the rank conclusion in Theorem 3.3 still holds; a failure here would invalidate Theorem 1.3 as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 3.3, the reduction from a 5-dimensional Selmer group to a 1-dimensional one requires the intermediate identity (3.11): Sel_{L_{s+2,t}}(G_K,E[2]) = ⟨(z9,z10)⟩. The text states that the proof 'proceeds among the same lines as the proof of the first intermediate claim (3.10), and is omitted.' This is the pivotal descent step: it must show that the local condition at q2 removes (z5,z6) and (z7,z8) while preserving (z9,z10), using the cup-product sums in (P3). If the surviving one-dimensional subspace were spanned by a different combination (for example (z5,z6)+(z9,z10)), then the subsequent application of q3 would not reduce the dimension to 1 as claimed in (3.9), and the final rank would not be forced to be 1. The parallel with (3.10) is not automatic: the restriction map at q2 and the equality A_{q2}=L_{s+2,t,q2} in Lemma 2.6 must be checked with the specific symbols from (3.5)-(3.6). As it stands, this is an acknowledged gap in the central argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that for every number field K there are infinitely many elliptic curves over K of Mordell–Weil rank exactly 1. The main theorem, Theorem 1.3, gives this for every 3-generic elliptic curve E/K with E(K)[2] ≅ F_2^2, by exhibiting infinitely many quadratic twists E^t with rank 1. A corollary, Corollary 1.1, removes the genericity hypothesis by constructing an explicit 3-generic curve, and the authors note that this corollary was already independently proved by Zywina [29]. The proof combines a Markov-chain description of 2-Selmer ranks with additive combinatorics: Theorem 3.3 reduces the desired rank-1 conclusion to the existence of infinitely many 'suitable twists'; Theorem 3.5 reduces the construction of suitable twists to the existence of a single 'auxiliary twist'; and Theorem 3.9 constructs that auxiliary twist using Chebotarev/Mitsui-style prime choices. The main technical novelty advertised is replacing the real places used in the authors' earlier work [14] by places of split multiplicative reduction, allowing the method to work over arbitrary number fields.","tokens_in":25731,"tokens_out":4091,"duration_ms":37189,"significance":"If the proof is completed, this is a significant result: it resolves a folklore conjecture that every number field admits an elliptic curve of rank 1, and it does so with a method that applies to a generic family of elliptic curves with full rational 2-torsion. The paper is clearly structured and makes good use of the existing machinery from [14], especially the Markov-chain description of Selmer ranks and the additive combinatorics input. The authors are explicit about the relation to Zywina's independent proof of Corollary 1.1 and about the different scope of their Theorem 1.3. A notable strength is that the reduction steps are modular: once the auxiliary-twist existence is established, the additive-combinatorics mechanism produces infinitely many twists with controlled Selmer rank. However, the current version contains an explicitly omitted derivation of the key intermediate claim (3.11), and the existence proof for the auxiliary twist proceeds partly by assertion rather than by a complete descent/Chebotarev verification. These points are load-bearing for the central claim, so the paper is not yet ready for acceptance in its present form.","major_comments":[{"comment":"The statement after Definition 1.2 that 'it is readily shown' that almost all (a1,a2,a3) ∈ O_K^3 are n-generic when ordered by height is not proved or referenced. This density claim is used implicitly to motivate the terminology and the scope of Theorem 1.3, although it is not strictly needed for Corollary 1.1, where an explicit 3-generic curve is constructed in Section 4. The paper should either provide a proof or cite a precise statement, and should clarify whether the density claim is used anywhere in the proof.","section":"Introduction, Definition 1.2"}],"minor_comments":[{"comment":"The formula w(E/K)=(-1)^{⌊v(Δ)|k|/12⌋} for additive potentially good reduction should be checked against the cited source [4, Theorem 2.3]: the factor |k| in the exponent looks unusual and may be a typographical artifact.","section":"§2.2, Lemma 2.2(ii)"},{"comment":"The phrase 'It is clearly possible to find such prime elements by repeatedly applying Mitsui's prime ideal theorem' overstates the matter; the compatibility issue raised in the major comments above applies already at this point.","section":"§3.2, after (C7)"},{"comment":"The sentence 'We finally choose π_s in such a way to enforce that n_{s-1}=0' is potentially confusing: n_{s-1} denotes the change in Selmer dimension when adding p_s, so the choice of π_s is correct, but the notation should be clarified.","section":"§3.2, end of Theorem 3.9"},{"comment":"Equation (3.27) states q4 ≡ λ mod 8Nκ; since λ was chosen coprime to κ in (3.23), the congruence notation with the ideal κ should be explained to avoid ambiguity about whether κ denotes the element or the ideal.","section":"§3.1, verification of (P3)"},{"comment":"The proof of Lemma 2.7 refers to '[24, p. 186]' for minimality of the given model; a precise proposition number would be more helpful.","section":"§2.3, Lemma 2.7"}],"recommendation":"major_revision","confidential_remarks":"The omitted proof of (3.11) and the assertion-style existence arguments in Theorem 3.9 are substantial enough that the current version cannot be accepted. I expect the authors can supply the missing derivations, since the surrounding structure is coherent and the omitted steps are of the same flavor as existing arguments in [14]. The paper's novelty relative to Zywina's Corollary 1.1 should be framed carefully in the introduction, but the broader applicability of Theorem 1.3 to 3-generic curves is a genuine contribution if the proof is completed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague —\n\nThe thing to know: Theorem 1.3 is a real new result — infinitely many rank-one twists for every 3-generic full-2-torsion curve over every number field. Corollary 1.1 (infinitely many rank-one curves over every number field) is not new; Zywina proved it independently, and the paper says so clearly. The methodological content is the interesting part: the authors replace the real places that did the work in their earlier [14] with places of split multiplicative reduction, and combine pre-twisting with additive combinatorics. That is a genuine modification, and it buys something new: the theorem applies to almost all curves with full rational 2-torsion rather than to a constructed family.\n\nI read the proof of Theorem 1.3 through the descent chain. The structure is coherent: sufficient local conditions (P1)–(P4), then additive combinatorics to produce infinitely many suitable twists, then a long construction of an auxiliary twist via Mitsui/Chebotarev. The self-citation load is heavy — Lemmas 2.1, 2.3, 2.5, 2.6 and Theorem A.8 come from [14] — but those are prior theorems, not the target conclusion, so I do not see circularity. The auxiliary twist kappa is constructed, not fitted.\n\nThe soft spot is real and exactly where the stress-test note points. Equation (3.11) is the step where the Selmer group drops from 3-dimensional to 1-dimensional, and it is explicitly omitted: “proceeds among the same lines … and is omitted.” That is load-bearing. The parallel with (3.10) is not automatic, because at q2 one has to check that the local condition kills precisely (z5,z6) and (z7,z8) while preserving (z9,z10), using the specific symbols from (P3). If the surviving line were a different combination, the later application of q3 would not force rank 1. Nothing in the text rules that out except the unstated calculation. I cannot certify the main theorem without that calculation.\n\nTwo smaller issues. The density claim for n-genericity (“readily shown … almost all”) is stated without proof; it is probably standard but should be written down. And the construction in Theorem 3.9, especially the simultaneous choice of primes with prescribed Legendre symbols, is verified by assertion after repeated Mitsui applications; again plausible, but a fully expanded descent argument would make the paper much easier to check.\n\nWho is this for: specialists in arithmetic statistics, Selmer groups, and descent. The paper should be refereed, not desk-rejected; but I would send it back with the request that (3.11) be supplied in full, and the genericity density argument included. If the omitted step checks out, this is a solid paper. If it does not, the main theorem hangs in the air. My own verdict: conditional.","headline":"A genuinely new conditional result on rank-one twists, properly credited, but with a load-bearing omitted descent step that must be supplied before the main theorem is fully certified.","tokens_in":26276,"tokens_out":2269,"would_cite":false,"duration_ms":14746,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11G05","11R45","11N32"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every number field has infinitely many elliptic curves of rank exactly 1.","keywords":["elliptic curves","rank one","number fields","quadratic twists","Selmer groups","2-descent","additive combinatorics","Hilbert's tenth problem"],"falsifier":"Run the construction of Theorem 3.9 for a fixed number field K and a fixed 3-generic elliptic curve E with full rational 2-torsion, checking at each of the seven steps that a prime ideal with the required quadratic-residue pattern and principalization condition can be found; failure of any step would falsify the central claim.","tokens_in":25280,"feed_emoji":"1️⃣","tokens_out":10905,"duration_ms":81605,"temperature":0.7,"pith_summary":"This paper proves that every number field K has infinitely many elliptic curves of rank exactly 1, settling a folklore conjecture. The engine is a sharper theorem: any elliptic curve over K with full rational 2-torsion that is '3-generic' has infinitely many quadratic twists of rank 1. The proof introduces a non-archimedean analogue of the real places that earlier additive-combinatorics methods required, using places of split multiplicative reduction to flexibly swap quadratic symbols. This lets the authors perform simultaneous descent and rank growth on a family of twists over an arbitrary number field, pinning the 2-Selmer rank down to 3 while an explicit point guarantees positive rank.","feed_headline":"Rank-1 elliptic curves exist over every number field","feed_subtitle":"The proof replaces real places with split multiplicative primes, settling the folklore conjecture.","key_machinery":"The central mechanism is a Markov-chain model for 2-Selmer ranks: a sequence of Selmer structures L_{i,π} on E[2], indexed by the places v1,...,vi that ramify in a twist and by local uniformizers π_j. A lemma giving explicit generators for the local Selmer space at a place of split multiplicative reduction (Lemma 2.7), together with a rank-change rule for adding a new ramified place (Lemma 2.6), lets the authors compute how the Selmer dimension changes step by step. The paper's key insight is to use the five prime ideals w1,...,w5 of split multiplicative reduction carried by a 2-generic curve as 'non-archimedean infinite places': they provide the quadratic-symbol degrees of freedom that, in the earlier method of [14], came from 32 real embeddings. The rest of the machinery is the additive combinatorics input applied to four admissible linear forms whose prime values become the ramified primes q_i of a suitable twist.","core_discovery":"Over a fixed number field K, let E be an elliptic curve with E(K)[2] ≅ $F2^{2}$ that is 3-generic in the sense of Definition 1.2. Theorem 1.3 asserts that infinitely many quadratic twists E^t of E have Mordell–Weil rank exactly 1. The proof works by first finding an auxiliary twist κ (Definition 3.4) whose Selmer group has a basis with a prescribed pattern of local behavior at five split multiplicative primes, then applying an additive combinatorics theorem to four admissible linear forms to produce infinitely many prime elements q1,...,q4. For each such quadruple, the twist t = κ q1 q2 q3 q4 is 'suitable' (Definition 3.2): its Selmer rank is forced to 3 through a sequence of steps where the local conditions at the new primes successively cut a 5-dimensional Selmer group down to 1 dimension, while a rational point on E^t constructed from the values of the linear forms guarantees that the rank is at least 1. Since a 3-generic curve exists over every number field (Section 4), Corollary 1.1 follows: infinitely many rank-one curves over K.","pith_inferences":["Because the only elliptic-curve-specific ingredient is the description of local Selmer spaces at split multiplicative primes, the same strategy should adapt to higher Selmer groups or to abelian varieties with suitable local conditions.","If the 3-generic condition can be weakened to 'full rational 2-torsion', as the authors suggest in the introduction, the rank-one conclusion would hold for every such curve without a genericity sieve.","The construction of the auxiliary twist κ is modular—it builds a Selmer group of prescribed shape one prime at a time—and a similar one-prime-at-a-time control could force exact Selmer ranks other than 1 in any family where the Markov-chain ranks are known."],"forward_implications":["The ring-theoretic applications to Hilbert's tenth problem that earlier work made conditional on the existence of rank-one curves now hold unconditionally for every number field.","The method removes the previous requirement of many real places, replacing them with places of split multiplicative reduction, so the descent strategy is now available over arbitrary number fields.","The 3-genericity hypothesis is satisfied by almost all curves with full rational 2-torsion when ordered by height, so Theorem 1.3 applies to a positive-density family of twists.","The folklore conjecture that every number field has at least one elliptic curve of rank 1 is settled, and in fact every number field has infinitely many such curves."],"supporting_citations":[{"why":"Supplies the Markov-chain Selmer formalism, Lemma 2.6 for rank changes, and the additive-combinatorics theorem used to produce the prime values of the linear forms.","marker":"[14]"},{"why":"Provides the underlying additive combinatorics result on linear patterns of prime elements in number fields that the linear-form step invokes.","marker":"[11]"},{"why":"Supplies the local root number facts used to control parity of the 2-Selmer ranks via the 2-parity conjecture.","marker":"[4]"},{"why":"Gives Tate's parametrization and the split multiplicative reduction criterion used to write explicit generators for the local Selmer spaces at split multiplicative primes.","marker":"[24]"},{"why":"Provides the basis for the model of 2-Selmer groups as maximal isotropic subspaces, from which the Markov chain description is derived.","marker":"[20]"},{"why":"Introduces the Markov model for Selmer ranks in families of quadratic twists that the Selmer-structure sequence adapts.","marker":"[13]"},{"why":"Establishes rank 0 over every number field, the contrast that makes rank 1 the open folklore case and underpins the Hilbert-tenth-problem applications.","marker":"[16]"}],"fun_headline_variants":["Every number field hosts infinitely many rank-1 elliptic curves","Rank-one elliptic curves: now proven in abundance over all number fields","Folklore conjecture settled: rank-1 curves exist for any number field","Infinitely many rank-1 curves per number field: proof complete"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction relies on the assumption that one can always pick a finite collection of prime ideals with a fully prescribed pattern of quadratic residues and with principal product; if any of those simultaneous choices is impossible, the Selmer-group basis that forces rank one would not exist.","fun_headline_variants_meta":{"raw":{"variants":["Every number field hosts infinitely many rank-1 elliptic curves","Rank-one elliptic curves: now proven in abundance over all number fields","Folklore conjecture settled: rank-1 curves exist for any number field","Infinitely many rank-1 curves per number field: proof complete"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000803,"raw_usage":{"total_tokens":3450,"prompt_tokens":785,"completion_tokens":2665,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":401,"completion_tokens_details":{"reasoning_tokens":2591}},"tokens_in":401,"tokens_out":2665,"duration_ms":13403,"temperature":1.0,"reasoning_tokens":2591,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:52:47.392113+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the construction of Theorem 3.9 for a fixed number field K and a fixed 3-generic elliptic curve E with full rational 2-torsion, checking at each of the seven steps that a prime ideal with the required quadratic-residue pattern and principalization condition can be found; failure of any step would falsify the central claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the underlying additive combinatorics result on linear patterns of prime elements in number fields that the linear-form step invokes."},{"cited_title":"Root numbers and parity phenomena","cited_arxiv_id":"2303.07883","evidence_quote":"Supplies the local root number facts used to control parity of the 2-Selmer ranks via the 2-parity conjecture."},{"cited_title":"Silverman","cited_arxiv_id":null,"evidence_quote":"Gives Tate's parametrization and the split multiplicative reduction criterion used to write explicit generators for the local Selmer spaces at split multiplicative primes."},{"cited_title":"Poonen and E","cited_arxiv_id":null,"evidence_quote":"Provides the basis for the model of 2-Selmer groups as maximal isotropic subspaces, from which the Markov chain description is derived."},{"cited_title":"Klagsbrun, B","cited_arxiv_id":null,"evidence_quote":"Introduces the Markov model for Selmer ranks in families of quadratic twists that the Selmer-structure sequence adapts."},{"cited_title":"Mazur and K","cited_arxiv_id":null,"evidence_quote":"Establishes rank 0 over every number field, the contrast that makes rank 1 the open folklore case and underpins the Hilbert-tenth-problem applications."}],"review_version":1}