{"id":"57b88c43-a68d-4fd9-b579-7bd76351da16","arxiv_id":"2504.17957","paper_version":4,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For orders with prime conductor, elasticity equals half the Davenport constant of the class group, except when the conductor is principal and a lifting condition holds, where it is half plus one half.","lead":"This paper proves a formula for how non-unique factorization can be in number theory rings called orders, when a certain special ideal is prime. The formula uses only the size and shape of the ring's class group, with one exceptional case that adds one half.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"I read the proof of Theorem 3.2 carefully, including the lower-bound construction in Proposition 2.4, the prime-ideal counting arguments in Theorem 2.8 and the main proof, and the exceptional case handled by Lemma 3.1. The argument appears internally consistent. The only assumption that is genuinely external is Lemma 2.3, but for orders in number fields this is a standard consequence of the correspondence between invertible ideals of the order and ideals of the integral closure coprime to the conductor, together with Chebotarev density; the paper cites [14] for it. The proof also correctly avoids a potential pitfall with units of the integral closure: if an element of R is a unit in the integral closure, then its inverse is integral over R, and the determinant trick forces the inverse to lie in R, so no irreducible of R can be a unit in the integral closure without being a unit in R. The subtle bookkeeping around the integer a in Theorem 3.2 is explained by the requirement that the auxiliary element beta lie outside R; with that interpretation the inequalities r(d-a+1)+d(m-r) >= k >= 2n-r and the subsequent maximization are valid. The remaining issues are typographical or reliance on an author-cited dissertation for a peripheral base case, none of which is load-bearing for the elasticity formula. Thus the reader's ACCEPT verdict is unchanged.","tokens_in":12441,"tokens_out":44440,"duration_ms":429318,"concrete_test":"Verify the conductor-relative version of Lemma 2.3 by identifying Cl(R) with a suitable ray class group of the integral closure and applying Chebotarev, or by consulting the cited source [14] directly; if the statement fails for some non-maximal order, recompute the lower-bound construction in Proposition 2.4 to see whether the elasticity bound D(Cl(R))/2 still holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central theorem is supported by a detailed proof, and the external inputs are standard. The reader's flagged Lemma 2.3, that every ideal class of an order contains infinitely many prime ideals relatively prime to the conductor, is a standard distribution statement for orders and is correctly used to obtain the lower bound in Proposition 2.4. The proof's upper-bound bookkeeping is also sound: irreducible factors of R that are units in the integral closure cannot occur, since an element of an order that is a unit in the integral closure is already a unit of the order by the determinant trick. The definition of the integer a in Theorem 3.2 requires the auxiliary element beta to be chosen outside R, and with that reading the dichotomy a = 1 versus a >= 2 is coherent. The main caveats are minor: Proposition 2.5 contains a notational typo in the exact sequence, and the base case |Cl(R)| = 1 is cited from an author's dissertation, but that case is standard and does not affect the central claim.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies factorization in nonmaximal orders R of number fields whose conductor ideal P is prime in the integral closure \\bar R. The main result, Theorem 3.2, asserts that the elasticity of such an R is either D(Cl(R))/2 or (D(Cl(R))+1)/2, with the larger value occurring exactly when P is principal in \\bar R and a certain auxiliary existence condition from Lemma 3.1 holds. The proof combines a lower bound from minimal zero-sequences of ideal classes (Proposition 2.4), an upper bound on the number of prime ideal factors of irreducible elements (Theorem 2.8), and a case analysis based on whether the conductor ideal is principal. The paper also gives applications to computing the structure of class groups of orders, with several worked examples.","tokens_in":12620,"tokens_out":29861,"duration_ms":291175,"significance":"If correct, Theorem 3.2 is a clean and useful result: for a broad class of orders, elasticity is completely determined by the Davenport constant of the class group plus one exceptional half-integer case. The proof is largely self-contained, and the paper gives credit where due to standard distribution results for ideal classes in orders. The lower bound in Proposition 2.4 is proved directly, and the upper-bound bookkeeping in Theorem 2.8 is intricate but sound. The worked examples, especially Example 4.3, demonstrate how the theorem can be used to determine the full structure of a class group rather than just its order. The main weaknesses are notational: the integral closure is frequently printed as R, which makes some statements hard to parse.","major_comments":[],"minor_comments":[{"comment":"The integral closure is frequently printed as R instead of \\bar R, which makes it difficult to distinguish the order from its integral closure; this is particularly confusing in Proposition 2.5, Lemma 3.1, and the proof of Theorem 3.2, and should be fixed throughout.","section":"Throughout, especially Proposition 2.5 and Theorem 3.2"},{"comment":"The exact sequence as printed, 1 -> U(R) -> U(R) x U(R/I) -> U(R/I) -> Cl(R) -> Cl(R) -> 1, is garbled: it should be 1 -> U(R) -> U(\\bar R) x U(R/I) -> U(\\bar R/I) -> Cl(R) -> Cl(\\bar R) -> 1, and the class-number formula immediately below should be corrected to match.","section":"Proposition 2.5"},{"comment":"The claim that any beta in \\bar R \\setminus R with no nonunit divisors in R has beta \\bar R factoring into at most d-1 prime ideals is asserted with the phrase \"as seen previously,\" but the preceding text does not spell out the argument; adding the short proof that pi beta is irreducible in R and then applying Theorem 2.8 to pi beta would make the step fully transparent.","section":"Theorem 3.2 proof, paragraph defining a"},{"comment":"The conductor ideal is written as P := (R:R) in the abstract and as P := (R:\\bar R) in Section 1; the missing overline in the abstract should be repaired.","section":"Abstract and Section 1"},{"comment":"In the proof of irreducibility, the sentence \"A similar argument shows that b and each pi_i must be irreducible\" should read \"beta and each pi_i,\" since the element in question was called beta.","section":"Proposition 2.4"},{"comment":"The displayed unit \"409 - 2743 alpha - 9 alpha 2 + 61\" appears to have a missing alpha term or a formatting error; it should be checked against the SageMath output.","section":"Example 3.7"}],"recommendation":"minor_revision","confidential_remarks":"The central theorem appears correct, and the proofs are largely self-contained. The only substantive gap is a compressed but repairable step in the proof of Theorem 3.2; the rest is notation. I would be happy to see the revision accepted once the authors clarify the beta-bound argument and fix the ubiquitous overline ambiguity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The quick take: this paper gives the complete elasticity formula for orders in number fields whose conductor is a prime ideal in the integral closure. The formula is rho(R) = D(Cl(R))/2, with one exceptional case where it is (D(Cl(R))+1)/2. That exceptional case is the genuinely new part, and it is real mathematics, not a repackaging of known results.\n\nWhat the paper does well: it extends Narkiewicz's theorem for rings of integers, and the recent quadratic-order work of Choi and Kettinger, to arbitrary number fields with prime conductor. The main theorem requires controlling the prime ideal factorization of irreducibles in the order, and the construction in Section 3 that achieves the half-integer is the hardest piece. I checked the step where they show an element of the form pi*alpha is irreducible in the order. It looks like there is a gap when they pass from a factorization in the integral closure to a factorization in the order, but the conductor property fills it: if alpha = (r/pi)s with r, pi, s in the order and s nonunit, then (r/pi)R is an integral ideal of the integral closure because sR divides alphaR, and that forces r/pi into the conductor, hence into the order. So the argument is correct, just compressed.\n\nSection 4 is a nice payoff: the elasticity formula, combined with the exact sequence for class groups of orders, gives a way to determine the group structure of Cl(R). The worked examples, including a SageMath computation, are concrete and useful.\n\nSoft spots: Proposition 2.5 is hard to read--the exact sequence is garbled in places and the class number formula is easy to misstate. Theorem 2.8 is intricate and the bookkeeping around the integer a in the proof of Theorem 3.2 could be more explicit; the referee should ask for a cleaner write-up there. The base case |Cl(R)| = 1 is cited from the second author's dissertation, which is a self-citation, but the result is standard and does not affect the central claim.\n\nWho should read it: people in factorization theory and anyone working with non-maximal orders. It deserves a serious referee; I would send it to a good commutative algebra journal and expect it to be accepted after revisions. The mathematics is sound, the novelty is clear, and the examples are helpful.","headline":"A solid generalization of Narkiewicz's elasticity theorem to orders with prime conductor; the exceptional (D+1)/2 case is genuinely new and the proof, though compressed, holds up.","tokens_in":13105,"tokens_out":20441,"would_cite":true,"duration_ms":180463,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11R27","11R29","13F15"],"pacs":[],"model":"deepseek-v4-flash","headline":"For an order in a number field whose conductor ideal is prime, elasticity is exactly half the Davenport constant of the class group, with a single exceptional case in which it is one half larger.","keywords":["elasticity","orders in number fields","conductor ideal","Davenport constant","ideal class group","irreducible factorizations","prime conductor","atomic domains"],"falsifier":"Take an explicit prime-conductor order covered by the theorem and compute the lengths of irreducible factorizations of all small elements. For the order $R=\\mathbb{Z}[17\\sqrt{10}]$ discussed as Example 3.4, the theorem predicts $\\rho(R)=2$; exhibiting an element whose two irreducible factorizations have lengths whose ratio exceeds $2$ would disprove the formula for that order. The computation is finite in principle because both the class group and the conductor are explicit.","tokens_in":12258,"feed_emoji":"🧮","tokens_out":11251,"duration_ms":96329,"temperature":0.7,"pith_summary":"The paper studies atomic domains known as orders: subrings of a number field whose fraction field is the whole field, which need not be integrally closed. It tries to establish that whenever the conductor ideal $P=(R:\\overline{R})$ is prime in the integral closure $\\overline{R}$, the elasticity $\\rho(R)$ is completely determined by the Davenport constant $D(\\mathrm{Cl}(R))$ of the class group. The answer is $D(\\mathrm{Cl}(R))/2$ in the generic case, and $(D(\\mathrm{Cl}(R))+1)/2$ in exactly one exceptional case governed by a divisibility condition in $R$. This matters because it moves the classical elasticity formula for rings of integers over to a large class of non-maximal orders, and it makes elasticity a practical tool for identifying the isomorphism type of class groups.","feed_headline":"Prime-conductor order elasticity equals half Davenport constant","feed_subtitle":"For prime-conductor orders, elasticity is half the class-group Davenport constant, with a single exceptional half-integer case.","key_machinery":"Two objects carry the argument. First, the Davenport constant of the order's class group, which measures how long a sequence of ideal classes can run before a subset sums to zero; it controls both upper and lower bounds on factorization length. Second, the conductor ideal $P=(R:\\overline{R})$, together with the extension-contraction correspondence of Lemma 2.6, which transfers prime ideals between $R$ and $\\overline{R}$ while preserving principality and invertibility. The proof isolates the parameter $a$: the smallest number of prime ideal factors by which an element of $R$ with no nonunit divisors falls short of the Davenport bound. The value of $a$ separates the exceptional case $a=1$, which adds the extra $1/2$, from the generic case $a\\ge 2$, where the ordinary bound $D(\\mathrm{Cl}(R))/2$ prevails.","core_discovery":"On its own terms, the paper proves Theorem 3.2. Let $R$ be an order in a number field $K$ with conductor ideal $P=(R:\\overline{R})$, and suppose $P$ is prime as an ideal of $\\overline{R}$. If $P$ is principal in $\\overline{R}$ and the equivalent conditions of Lemma 3.1 hold, then $\\rho(R)=(D(\\mathrm{Cl}(R))+1)/2$; otherwise $\\rho(R)=D(\\mathrm{Cl}(R))/2$. Here $D(G)$ denotes the Davenport constant, the smallest integer such that every sequence of that many elements of $G$ contains a nonempty zero-sum subsequence. The proof works by bounding the number of prime ideal factors of irreducibles and then producing explicit irreducible factorizations that attain the bound; the exceptional $1/2$ arises exactly when an element with no nonunit divisors in $R$ can split into $D(\\mathrm{Cl}(R))-1$ prime ideals.","pith_inferences":["The exceptional $1/2$ can be read as the signature of a single lost prime ideal factor: the only way the conductor raises elasticity beyond the integral-closure value is when a divisor-free element falls exactly one factor short of the Davenport bound, suggesting a general principle that conductor effects on elasticity are governed by how many prime ideal factors can be missing.","Since composite conductors can already produce infinite elasticity, the finite-elasticity dichotomy for prime conductors may be the special case of a broader characterization in which finite elasticity forces the conductor to be prime; testing conductors that are powers of a prime would be a direct next step.","The examples suggest an algorithmic pathway: combine the unit-group quotient $U(\\overline{R})/U(R)$ with the unit groups modulo the conductor, use the exact sequence of Proposition 2.5, and then apply Theorem 3.2 to pin down $\\mathrm{Cl}(R)$ up to isomorphism in explicit families of orders."],"forward_implications":["For every order with prime conductor, $\\rho(R)$ is one of two numbers determined entirely by $\\mathrm{Cl}(R)$, so no other arithmetic of the field affects the elasticity beyond deciding the one exceptional case.","When the conductor ideal is non-principal in the integral closure, the formula reduces to $\\rho(R)=D(\\mathrm{Cl}(R))/2$, matching the classical ring-of-integers formula and showing that non-principality suppresses the extra half-integer.","For orders of the form $R=\\mathbb{Z}+P$ with $P$ a non-principal prime ideal of the integral closure, the theorem gives $\\rho(R)=D(\\mathrm{Cl}(R))/2$, covering a family of examples not accessible through half-factoriality alone.","Because $\\rho(R)$ can be computed from explicit factorizations, the theorem can force the structure of $\\mathrm{Cl}(R)$: a lower bound on elasticity rules out all candidate groups whose Davenport constant is too small."],"supporting_citations":[{"why":"Supplies Lemmas 2.1 and 2.2: ideals relatively prime to the conductor are invertible and admit unique factorization into prime ideals.","marker":"[3]"},{"why":"Supplies Lemma 2.3, that every ideal class contains infinitely many prime ideals, used to realize ideal-class zero-sequences by irreducible elements.","marker":"[14]"},{"why":"Provides the ring-of-integers elasticity formula and the exact sequence that enters Proposition 2.5 for class-group orders.","marker":"[13]"},{"why":"Source of the porism behind Proposition 2.4, giving the lower bound $\\rho(R)\\ge D(\\mathrm{Cl}(R))/2$.","marker":"[4]"},{"why":"Supplies results relating elasticity among orders and the trivial-class-group case used in the proof of Theorem 3.2.","marker":"[11]"},{"why":"Introduces elasticity and supplies the original upper bound in terms of the Davenport constant that Theorem 3.2 refines.","marker":"[16]"}],"fun_headline_variants":["Elasticity of prime-conductor orders: half Davenport constant","Prime-conductor orders: class group Davenport constant sets elasticity","Prime-conductor order elasticity: D/2, with exceptional (D+1)/2","Elasticity formula for prime-conductor orders via class group","Prime-conductor elasticity aids class group computation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The lower-bound construction requires that every ideal class in $\\mathrm{Cl}(R)$ contain infinitely many prime ideals that are relatively prime to the conductor, so that the minimal zero-sum sequence of classes can be realized by distinct irreducible elements of $R$; this is imported as Lemma 2.3 from the literature.","fun_headline_variants_meta":{"raw":{"variants":["Elasticity of prime-conductor orders: half Davenport constant","Prime-conductor orders: class group Davenport constant sets elasticity","Prime-conductor order elasticity: D/2, with exceptional (D+1)/2","Elasticity formula for prime-conductor orders via class group","Prime-conductor elasticity aids class group computation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002245,"raw_usage":{"total_tokens":8606,"prompt_tokens":801,"completion_tokens":7805,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":417,"completion_tokens_details":{"reasoning_tokens":7718}},"tokens_in":417,"tokens_out":7805,"duration_ms":50810,"temperature":1.0,"reasoning_tokens":7718,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:32:45.338334+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an explicit prime-conductor order covered by the theorem and compute the lengths of irreducible factorizations of all small elements. For the order $R=\\mathbb{Z}[17\\sqrt{10}]$ discussed as Example 3.4, the theorem predicts $\\rho(R)=2$; exhibiting an element whose two irreducible factorizations have lengths whose ratio exceeds $2$ would disprove the formula for that order. The computation is finite in principle because both the class group and the conductor are explicit.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces elasticity and supplies the original upper bound in terms of the Davenport constant that Theorem 3.2 refines."}],"review_version":1}