{"id":"ce1b8755-ab53-4d4e-a7fb-e1f30fbb16c1","arxiv_id":"2606.27129","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":2.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Survey presenting the quantitative uniformity theorem for the Mordell conjecture proved by Yu--Yuan--Zhou, building on Vojta, Dimitrov--Habegger--Gao and Kuhne.","lead":"This survey introduces a quantitative version of the uniform Mordell problem, which supplies explicit upper bounds on the number of rational points on high-genus curves over number fields. A smart generalist might read it to see how recent arithmetic geometry results turn the qualitative Mordell conjecture into something with concrete size estimates.","discovery_kind":"review","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the dependence on prior uniformity results. Because the present work is only a survey, that dependence is not an assumption internal to an argument made here; the survey's claim stands or falls with the referenced paper. No additional load-bearing gap is visible from the given material.","tokens_in":1580,"tokens_out":232,"duration_ms":34031,"concrete_test":"Locate the original Yu--Yuan--Zhou paper and confirm that its quantitative estimates are explicitly combined with the uniformity theorems of Vojta, Dimitrov--Habegger--Gao and Kuhne in the manner described in the survey abstract.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The manuscript is a survey that attributes the quantitative version of the uniformity problem to the cited work of Yu--Yuan--Zhou without advancing an original argument or derivation. The central claim therefore reduces to the existence and correctness of that external proof; no internal assumption of this paper (such as a novel estimate or combination step) is load-bearing for the claim as stated.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript is a survey on the Mordell conjecture, which asserts finiteness of rational points on smooth projective curves of genus at least 2 over number fields. It recalls that the uniform Mordell problem (uniform upper bounds on the number of such points) has been solved by combining Vojta's work with results of Dimitrov--Habegger--Gao and Kuhne. The paper then introduces a quantitative version of this uniformity problem, attributing its proof to the recent work of Yu--Yuan--Zhou.","tokens_in":1608,"tokens_out":255,"duration_ms":21312,"significance":"If the summary of the cited external results is accurate, the survey offers a concise overview of progress toward quantitative bounds in Diophantine geometry. It explicitly credits the combination of uniformity theorems with the additional estimates supplied by Yu--Yuan--Zhou, providing a clear pointer to the literature for readers interested in effective versions of the Mordell conjecture.","major_comments":[],"minor_comments":[{"comment":"The abstract refers to 'the recent work of Yu--Yuan--Zhou' without a citation; adding the arXiv or journal reference in the introduction would improve traceability.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report correctly captures the scope of the survey as an overview of the uniform Mordell problem and its quantitative strengthening due to Yu--Yuan--Zhou.","responses":[],"tokens_in":1083,"tokens_out":56,"duration_ms":10686,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper is a short survey that states the Mordell conjecture, recalls the uniform version solved by combining Vojta, Dimitrov-Habegger-Gao and Kuhne, and then points to the quantitative version proved in the recent Yu-Yuan-Zhou work. It adds no new estimates or arguments itself.\n\nWhat it does well is to frame the problem cleanly and identify the key prior results that get combined. For a reader who already knows the uniformity theorems, the survey serves as a compact pointer to where the effective bounds come from.\n\nThe soft spot is straightforward: there is no original mathematics here, so the paper's value is entirely expository and depends on how accurately and clearly it summarizes the cited work. The abstract gives no indication of errors, but without deeper checks on the full text one cannot confirm whether the combination steps are made explicit or left as black boxes.\n\nThis is for arithmetic geometers who want a quick overview of recent progress on bounding rational points rather than a research contribution. It shows honest engagement with the literature and deserves a serious referee to assess the quality of the exposition, even though the central claim is borrowed from the external paper.","headline":"This is a survey recapping the Yu-Yuan-Zhou quantitative uniformity result for the Mordell conjecture, with no new proofs or derivations of its own.","tokens_in":2077,"tokens_out":313,"would_cite":false,"duration_ms":22773,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Yu-Yuan-Zhou establish explicit quantitative bounds for the number of rational points on curves of genus at least two.","keywords":["Mordell conjecture","rational points","uniform bounds","quantitative estimates","algebraic curves","number fields","Faltings theorem"],"falsifier":"An explicit curve of genus at least two over a number field whose number of rational points exceeds the quantitative upper bound stated in the Yu-Yuan-Zhou theorem.","tokens_in":2456,"feed_emoji":"","tokens_out":633,"duration_ms":36737,"temperature":0.7,"pith_summary":"This survey presents the quantitative version of the uniform Mordell problem. The Mordell conjecture, proved by Faltings, asserts only finitely many rational points exist on a smooth projective curve of genus at least two over a number field. The uniform version supplies bounds on this number that depend only on the genus and the degree of the number field, and was settled by combining Vojta's work with results of Dimitrov-Habegger-Gao and Kühne. Yu-Yuan-Zhou add explicit size estimates to these uniform bounds. A sympathetic reader cares because the result turns a statement of finiteness into one with concrete, usable upper limits.","feed_headline":"Explicit bounds proved for rational points on high-genus curves","feed_subtitle":"Yu-Yuan-Zhou turn the solved uniform Mordell problem into concrete size estimates by adding new estimates to prior uniformity results.","key_machinery":"The quantitative uniformity problem for rational points on curves of genus at least two, which produces explicit bounds by merging prior uniformity results with new estimates.","core_discovery":"The recent work of Yu-Yuan-Zhou proves a quantitative refinement of the uniform Mordell problem by supplying explicit upper bounds on the number of rational points, obtained by combining the uniformity theorems of Vojta, Dimitrov-Habegger-Gao and Kühne with additional estimates.","pith_inferences":["The explicit bounds may permit practical enumeration algorithms for rational points on individual curves once the constants are computed.","The approach could extend to give quantitative statements for other uniform finiteness results in arithmetic geometry.","Height functions and their distribution on moduli spaces become more directly usable for bounding point counts."],"forward_implications":["The number of rational points on such curves is bounded by an explicit function of the genus and the degree of the number field.","These bounds are effective and in principle allow computation of all rational points once the bound is known.","Finiteness statements in the Mordell conjecture become effective rather than purely existential.","The same combination of uniformity and estimates applies to related Diophantine finiteness problems."],"fun_headline_variants":["Yu-Yuan-Zhou prove explicit bounds on Mordell rational points","Quantitative Mordell gains explicit point estimates from uniformity","Explicit upper bounds for rational points on genus two curves","Yu-Yuan-Zhou add concrete sizes to solved uniform Mordell","Combined theorems yield explicit Mordell point counts"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The uniformity theorems of Vojta, Dimitrov-Habegger-Gao and Kühne can be combined with the estimates supplied by Yu-Yuan-Zhou to yield explicit bounds.","fun_headline_variants_meta":{"raw":{"variants":["Yu-Yuan-Zhou prove explicit bounds on Mordell rational points","Quantitative Mordell gains explicit point estimates from uniformity","Explicit upper bounds for rational points on genus two curves","Yu-Yuan-Zhou add concrete sizes to solved uniform Mordell","Combined theorems yield explicit Mordell point counts"]},"model":"grok-4.3","cost_usd":0.007044,"raw_usage":{"total_tokens":3177,"prompt_tokens":504,"num_sources_used":0,"completion_tokens":77,"cost_in_usd_ticks":70437000,"prompt_tokens_details":{"text_tokens":504,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2596,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":504,"tokens_out":77,"duration_ms":44700,"temperature":1.0,"reasoning_tokens":2596,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T02:51:00.768387+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit curve of genus at least two over a number field whose number of rational points exceeds the quantitative upper bound stated in the Yu-Yuan-Zhou theorem.","supporting_citations":[],"review_version":1}