{"id":"eb00e17b-5fb3-44e7-8dba-169924de49e8","arxiv_id":"2508.09480","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":3,"one_line_summary":"A fully explicit refinement of Lagarias and Odlyzko's effective Chebotarev theorem for all non-rational number fields, with a sharper error term for small-degree extensions.","lead":"This paper gives an explicit, fully quantified version of Chebotarev's density theorem: the error in the distribution of prime ideals among Galois conjugacy classes is bounded by constants written directly in terms of the field's degree and discriminant, for all number fields except Q. Such bounds are the tools that turn qualitative equidistribution into usable estimates in arithmetic geometry and number theory computations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Exceptional-zero handling is the unmatched risk: a real zero β in the zero-free region would inject an x^β term into the error estimate, and the abstract does not say how the promised explicit constants absorb it.","rationale":"The reader's abstract-only verdict of UNVERDICTED is driven by unreadable full text, and this stress-test does not change that. The most load-bearing risk is the exceptional-zero term, because it is the standard obstruction to fully explicit uniform constants in effective Chebotarev theorems. The abstract's silence on exceptional zeros means the strongest claim cannot be assessed from the available copy. This is a concern about the argument, not about the authors: the cited inputs are legitimate prior work, and the intended method is standard. However, until the text is readable and the exceptional-zero handling is explicitly checked, UNVERDICTED remains the correct verdict. I therefore recommend no change to the reader's verdict.","tokens_in":14226,"tokens_out":15268,"duration_ms":175112,"concrete_test":"Obtain a readable copy and locate both the stated zero-free-region input and the final main theorem. Check whether the zero-free-region statement contains a clause such as 'apart from possibly one real zero β' or 'exceptional zero.' If it does, trace how the term x^β/β is bounded in the proof of the main theorem. The concern is settled only if the final bound contains either a numerical lower bound for 1-β or an explicit elimination of β using only listed field invariants; it is not settled if the bound is of the form x^β ≤ x·C(β) with C depending on β, or if β remains as an unevaluated parameter.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that every constant in the Chebotarev error term is explicit in the field invariants. The most load-bearing point is how the proof handles the possible exceptional real zero in the Dedekind zeta function (equivalently, in an Artin L-function appearing through the factorization of ζ_K). Standard unconditional zero-free regions for Dedekind zeta functions allow at most one real zero β in σ > 1 - c/(n log d_K); this β is not constrained by the usual region, and unconditional number theory does not give a numerical lower bound for 1-β that is uniform over all fields. In the explicit formula, such a zero contributes a term of size x^β/β. Unless the paper either (i) proves this term is uniformly bounded by an explicit function of the field invariants, or (ii) shows such a zero cannot occur for the fields under consideration, the phrase 'every implicit constant expressed explicitly' is not justified. The restriction to non-rational base fields does not remove this issue, since quadratic base fields already carry the same exceptional-zero phenomenon. The corrupted text prevents confirming whether the authors address this, but this is the precise point where the advertised claim would fail if it fails.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript claims an explicit effective version of Chebotarev's density theorem for Galois extensions K/k of number fields with k ≠ Q, refining Lagarias–Odlyzko by expressing every implicit constant explicitly in terms of field invariants (e.g., degree and discriminant), and additionally giving a sharper bound for extensions of sufficiently small degree. According to the abstract, the proof proceeds via an explicit formula for a smoothed prime-ideal counting function, using recent zero-free regions for Dedekind zeta functions, improved estimates on the number of low-lying zeros, and precise bounds for sums over the nontrivial zeros. The supplied full text is, however, so severely encoding-corrupted that no section, equation, lemma, or table can be read; consequently no derivation or constant can be checked from the manuscript as provided.","tokens_in":14396,"tokens_out":2718,"duration_ms":33912,"significance":"If the advertised result is correct, it would be a valuable contribution to effective algebraic number theory: the literature contains effective Chebotarev theorems with explicit constants, but a clean statement covering all non-rational base fields with no numerically unstated constants would be a useful quantitative benchmark, and the promised small-degree improvement would be of independent interest. The announced method is coherent and is a natural extension of the Lagarias–Odlyzko framework. Because the entire payload of this genre lies in the correctness of lengthy numerical constant chasing, and because the text is unreadable, the significance cannot be converted into an assessed result. The paper does not appear to be circular; the cited inputs (zero-free regions, zero-counting estimates, zero-sum bounds) are external and, if precisely stated, would provide legitimate support. The main unresolved risk is the treatment of possible exceptional real zeros, which the abstract does not address.","major_comments":[{"comment":"The supplied manuscript text is unreadable: every section, display equation, and table appears as mojibake. For a paper whose central claim is that all constants are explicit and whose proof is a chain of explicit estimates, this is a blocking issue. I cannot verify any lemma, the smoothing construction, the explicit formula, the zero-sum estimates, or the final constants. I therefore cannot distinguish a sound paper from one with a local error. A clean, compilable copy is required before substantive review can proceed.","section":"Full text (encoding corruption)"},{"comment":"The abstract states that the proof relies on zero-free regions and that all constants are explicit, but it does not state how a possible exceptional real zero β near 1 in ζ_K is handled. In the standard smoothed explicit formula, such a zero contributes a term of order x^β/β. Unconditional zero-free regions for Dedekind zeta functions generally permit at most one such zero, with no numerical lower bound for 1−β uniform over all fields. The restriction k ≠ Q does not remove this issue, since quadratic base fields already exhibit the same phenomenon. The paper must either prove a uniform explicit bound for the x^β contribution, show that the cited zero-free regions exclude such zeros, or state that the final theorem is conditional on a suitable Deuring–Heilbronn phenomenon. Since the relevant section is unreadable, this load-bearing point cannot be confirmed.","section":"Abstract and explicit formula (unreadable in full text)"},{"comment":"The final constants inherit the strength of the cited inputs: the zero-free region width, the low-lying zero count, and the zero-sum bounds must be stated with all numerical exponents and constants. For example, if the zero-free region is of the form σ > 1 − c/(n_K log d_K), the value of c and any exceptional-zero caveat directly affect every displayed main-term constant. The abstract gives no widths or exponents. I request explicit statements of the exact theorems imported from the prior literature, with the constants, so that the claim 'every implicit constant expressed explicitly' can be checked rather than assumed.","section":"Input hypotheses for cited estimates (abstract; unreadable in full text)"},{"comment":"The abstract promises 'a sharper bound for extensions of sufficiently small degree' but does not specify the threshold or the form of the improvement. This is not itself a correctness defect, but it is load-bearing for the paper's advertised contribution. The threshold must be an explicit numerical condition on n_K and d_K, and the improvement must be compared with the main theorem to show it is genuinely sharper in the stated regime.","section":"Small-degree improvement (abstract)"}],"minor_comments":[{"comment":"The phrase 'all non-rational fields' is unusual; effective Chebotarev statements usually include k = Q as a special case. A sentence explaining why k = Q is excluded, or whether the same method degenerates there, would help the reader.","section":"Title/abstract wording"},{"comment":"Once a clean text is available, the paper should define all notation for number field invariants (n_K, d_K, and the Galois group normalization) in one place, since the abstract uses these without formal definitions.","section":"General presentation"}],"recommendation":"uncertain","confidential_remarks":"To the editor: I was unable to perform a substantive review because the provided file is corrupted and unreadable. The announced result is plausible and the route is coherent, but this genre of paper lives or dies on verifiable constant chasing. The exceptional-zero point identified in the stress-test note is the key correctness risk and must be explicitly addressed. I recommend requesting a clean, compilable source file from the authors before assigning any further verdict; at that stage the paper may turn out to be excellent, but at present I cannot responsibly recommend anything other than uncertainty."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this looks like a credible and useful refinement of effective Chebotarev, but the copy I have is corrupted to the point of gibberish, so I can only judge the abstract. The announced content is real: an explicit version of Lagarias–Odlyzko with every constant written out in terms of the field invariants, valid for all non-rational base fields, plus a sharper bound for small-degree extensions. That is exactly the kind of tool arithmetic statisticians want to plug in, and the method — smoothed explicit formula, recent zero-free regions, low-zero bounds, zero-sum bounds — is the standard and sensible way to get there. The authors are experienced at constant-chasing, so the prior is decent.\n\nThe main thing I'd want checked is the exceptional zero. A Dedekind zeta function can have one real zero β close to 1; in the explicit formula it contributes x^β/β. The abstract promises every constant explicit in field invariants, but it doesn't say how this term is absorbed. There is no uniform unconditional lower bound for 1−β from the standard zero-free region, so they either need a separate argument bounding that term or a reason such a zero can't occur in the cases they handle. Note that k≠Q doesn't save you: quadratic base fields already admit the phenomenon. This is the spot where the claim would break if it breaks.\n\nI can't verify the constants, because the full text is unreadable in this copy. That's an access problem, not evidence of a flaw. The same goes for the input estimates — the final constants inherit the strength of the zero-free regions and zero-counting they cite, and the abstract doesn't state the widths, so the practical quality of the bounds is unknown until I see numbers.\n\nWhat is genuinely good: the project is honest about its inputs, the small-degree improvement suggests they're thinking about actual applications, and there's no sign of circularity — citing their own earlier parameter-free theorems would be legitimate support, not circular. I agree with the reader that significance and novelty are moderate: it's a refinement of a cornerstone theorem, not a new landscape.\n\nWho this is for: explicit number theorists, people doing arithmetic statistics, anyone who needs uniform effective Chebotarev with visible constants. It deserves a serious referee. My own verdict is unverdictable due to the corrupted text, but that's a practical limitation, not a negative one.\n\nRecommendation: send it to peer review. When the readable manuscript is available, the referee should be explicitly asked to pin down (1) the exceptional-zero term and (2) the widths of the zero-free region inputs, and to spot-check one full explicit formula derivation. If those check out, this is a useful paper.","headline":"Credible explicit-Chebotarev refinement, but the exceptional-zero term is the load-bearing thing to verify; full text unreadable in this copy.","tokens_in":15024,"tokens_out":2817,"would_cite":false,"duration_ms":28692,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11R44","11R42","11M26"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves an explicit, fully constant-effective version of Chebotarev's density theorem for all Galois extensions of number fields whose base field is not the rationals, with every error term written in terms of field invariants.","keywords":["Chebotarev density theorem","effective Chebotarev","Dedekind zeta function","prime ideal counting","Artin symbol","explicit formula","zero-free region","number fields"],"falsifier":"Take a concrete Galois extension, for example the splitting field of $x^3-2$ over $k=\\mathbb{Q}(i)$, fix a conjugacy class $C$, and compute the paper's stated upper bound together with the actual smoothed count of unramified prime ideals of $k$ with Frobenius symbol in $C$ up to some $x$. If the actual discrepancy exceeds the paper's bound for any such $K$, $C$, and $x$, the central claim is false.","tokens_in":13967,"feed_emoji":"🧮","tokens_out":5361,"duration_ms":56563,"temperature":0.7,"pith_summary":"Chebotarev's density theorem says that prime ideals in a number field are equidistributed among the conjugacy classes of the Galois group. Lagarias and Odlyzko's 1977 effective version gave a quantitative error term, but with some constants left implicit. This paper removes those implicit constants for every Galois extension whose base field is not $\\mathbb{Q}$, expressing each term explicitly in terms of the degree, discriminant, and related invariants. It also gives a sharper bound when the extension degree is small. The proof works through an explicit formula for a smoothed count of prime ideals with a prescribed Artin symbol, then bounds the resulting sums over zeros of Dedekind zeta functions using recent zero-free-region estimates and precise low-lying zero counts.","feed_headline":"Chebotarev error bounds made explicit for all non-rational fields","feed_subtitle":"Every hidden constant becomes field data, with sharper bounds when the extension degree is small.","key_machinery":"The central mechanism is an explicit formula for a smoothed version of the prime-ideal counting function associated to an Artin symbol, namely a sum over prime ideals $\\mathfrak{p}$ with $[ (K/k)/\\mathfrak{p} ] = C$, weighted by $\\log N\\mathfrak{p}$ and a test function. This formula separates the dominant term from contributions coming from the nontrivial zeros of the Dedekind zeta function and from a well-controlled remainder. The final effective Chebotarev bound is obtained by inserting recent explicit zero-free regions for Dedekind zeta functions, estimates on the number of low-lying zeros, and explicit bounds for sums over the nontrivial zeros, then optimizing the resulting constants.","core_discovery":"The central claim is that for a Galois extension $K/k$ with $k\\neq \\mathbb{Q}$, the discrepancy between the weighted count of unramified prime ideals of $k$ whose Frobenius symbol lies in a fixed conjugacy class $C$, and the expected proportion $|C|/|G|$ of such primes, is bounded by an expression that contains no hidden or numerically unspecified constants. Every term in the bound is an explicit function of the degree $n$, the discriminant $d_K$, the size of the conjugacy class, and the counting parameter $x$. For extensions of sufficiently small degree, the paper states a separate, sharper estimate. The proof derives this from an explicit formula for a smoothed prime-ideal counting functio","pith_inferences":["A natural stress test would be to take a small explicit extension, for instance the splitting field of $x^3-2$ over $\\mathbb{Q}(i)$, compute both sides of the paper's bound for moderate $x$, and compare the actual error with the allowed error; the paper itself does not run such a numerical benchmark.","The restriction to $k\\neq \\mathbb{Q}$ likely exists because the rational case involves the Riemann zeta function itself and its exceptional-zero behavior, so the cited zero-free-region inputs for Dedekind zeta functions do not automatically transfer; extending the method to $k=\\mathbb{Q}$ would require a separate treatment of that case.","The sharper small-degree bound suggests a pattern: for a fixed degree $n$, the best possible effective Chebotarev constant should scale roughly with $\\sqrt{\\log d_K}$ or a similar discriminant term, and the paper's explicit constants could be used to test such a scaling law numerically."],"forward_implications":["Every constant in the error term can be evaluated numerically for any concrete Galois extension $K/k$ with $k\\neq \\mathbb{Q}$, so the bound can be used in computer-assisted number theory without asymptotic caveats.","The sharper small-degree estimate makes the error term practically usable for extensions of moderate degree, where prior explicit bounds were too weak to apply at reasonable values of $x$.","The explicit formula for the smoothed counting function is a reusable template: analogous constant-perfect bounds for other prime-counting problems, such as primes in arithmetic progressions or Artin $L$-functions, would follow from matching zero-input estimates.","Any future strengthening of the zero-free region for Dedekind zeta functions will feed directly into these constants, improving the effective Chebotarev bound without changing the structure of the proof."],"supporting_citations":[{"why":"The effective Chebotarev theorem whose implicit constants this paper replaces with fully explicit expressions in field invariants; it supplies the baseline statement and the general framework being refined.","marker":"Lagarias and Odlyzko (1977)"}],"fun_headline_variants":["Chebotarev's theorem now with fully explicit error bounds","Explicit Chebotarev error bounds for every non-rational field","No hidden constants in this Chebotarev density theorem","Sharper Chebotarev bounds for small-degree extensions too","Fully explicit prime distribution error for Galois fields"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The cited zero-free regions for Dedekind zeta functions and the bounds on their low-lying zeros are strong enough, uniformly for all fields covered by the theorem, to keep every explicit error term positive and valid; if any of those inputs falls short, the advertised constants would have to be weakened or the theorem becomes conditional.","fun_headline_variants_meta":{"raw":{"variants":["Chebotarev's theorem now with fully explicit error bounds","Explicit Chebotarev error bounds for every non-rational field","No hidden constants in this Chebotarev density theorem","Sharper Chebotarev bounds for small-degree extensions too","Fully explicit prime distribution error for Galois fields"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000679,"raw_usage":{"total_tokens":2887,"prompt_tokens":673,"completion_tokens":2214,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":417,"completion_tokens_details":{"reasoning_tokens":2129}},"tokens_in":417,"tokens_out":2214,"duration_ms":15804,"temperature":1.0,"reasoning_tokens":2129,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T21:02:13.483111+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete Galois extension, for example the splitting field of $x^3-2$ over $k=\\mathbb{Q}(i)$, fix a conjugacy class $C$, and compute the paper's stated upper bound together with the actual smoothed count of unramified prime ideals of $k$ with Frobenius symbol in $C$ up to some $x$. If the actual discrepancy exceeds the paper's bound for any such $K$, $C$, and $x$, the central claim is false.","supporting_citations":[],"review_version":1}