{"id":"b1da5097-8602-433a-ad00-5d4fb25483dd","arxiv_id":"2505.19814","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Definable sets in equicharacteristic zero valued fields with analytic structure admit uniform T^r Yomdin-Gromov parametrizations with bound s times b_r^m.","lead":"This paper proves uniform Yomdin-Gromov parametrizations for definable sets over any equicharacteristic zero valued field with analytic structure, extending a theorem previously known for complete and local fields. It builds on a definable desingularization algorithm to produce strong stratifications, then uses them to parametrize definable families with a controlled number of charts.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Paper invokes 1-h-minimal cell decomposition (Theorem 2.1) without proving or citing that T_A is 1-h-minimal; failure of this Hensel minimality would undercut Section 5 and Theorems 6.1/6.4.","rationale":"The paper contains substantial independent work: the desingularization and strong stratification sections are nontrivial, and the term description is plausible. However, the proof of the main quantitative result depends on Theorem 2.1, a 1-h-minimal cell decomposition, without establishing that T_A is 1-h-minimal. The reader's weakest assumption identifies exactly this point, and I agree. The concern is not a stylistic preference: without 1-h-minimality, Section 5's cell decomposition and the strong T^1-parametrizations in Theorem 6.1 lack a foundation, and Theorem 6.4 consequently lacks its key input. The paper even admits in Remark 6.5 that general Hensel minimal settings are an open problem, which makes the silent reliance on 1-h-minimality for T_A more serious. This warrants a conditional verdict: the main theorem should be explicitly stated as conditional on Hensel minimality of T_A, or the author should prove or cite a proof of 1-h-minimality for separated analytic structures. No internal contradiction or evidence of a false claim was found beyond this gap; the result may well be true, but the proof as written is incomplete at a load-bearing step.","tokens_in":19394,"tokens_out":16428,"duration_ms":177196,"concrete_test":"Verify 1-h-minimality of T_A directly: check whether every L_A-definable subset of the value-field sort K in a model with a separated analytic structure is a finite union of balls and points, uniformly in parameters. A natural test case is the zero set of a restricted power series with infinitely many isolated zeros in the open unit disk, e.g. constructed via a Weierstrass product over the points ζ_{p^n}-1 in C_p. If such a definable set is not a finite union of balls and points, T_A is not 1-h-minimal and Theorem 2.1 cannot be applied; if no counterexample exists, produce a proof of 1-h-minimality from [13, Theorem 6.3.7] and [10, Definition 2.1].","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 2.1 is the sole source of Lipschitz cell decomposition with RV-preparation used in the proof of Theorem 5.5, and through Proposition 5.8 and Corollary 5.9 it underpins both cases of Theorem 6.1. The theorem is stated to hold generally in any 1-h-minimal structure, and the paper applies it to L^†_A-definable sets after RV and Skolem expansions. Resplendency from [10, Theorem 4.1.19] only preserves Hensel minimality under RV-expansions, so the base theory T_A must already be 1-h-minimal. No proof or explicit citation establishes this for T_A. The paper's Section 2 only notes that RV(K)-definable sets are purely algebraic and cites [10,30] for tame topology, neither of which is shown to cover separated analytic structures. Remark 6.5 even states that general Hensel minimal settings are 'a problem unsolved as yet,' undercutting the implicit assumption. If T_A is not 1-h-minimal, the parametrized cells with 1-Lipschitz centers from Theorem 2.1 need not exist; then the ordinary cell decomposition of Theorem 5.5, the Henselian-term center decomposition of Proposition 5.8, and the strong T^1-parametrization of Theorem 6.1 collapse. This is load-bearing because Theorem 6.4 is built on this chain.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops strong analytic stratifications and a term description of definable functions over Henselian valued fields of equicharacteristic zero with separated analytic structure, and applies them to prove uniform Yomdin–Gromov parametrizations. The central tool chain is: desingularization of terms (Section 4), term structure after algebraic Skolemization (Section 5), Lipschitz cell decomposition with Henselian term centers (Theorem 5.5, Proposition 5.8), and then strong T^1-parametrization (Theorem 6.1), from which T^r-parametrizations with a quantitative bound on the number of charts are derived (Theorem 6.4). The main theorem claims that for every L_A-definable family X_w of subsets of O_K^n of dimension m, if the congruence invariant b_r = [r]RV(K) is finite, then there are finitely many definable maps f_{w,i}: O_K^m -> X_w satisfying T^r-approximation, with the number of maps bounded by s(X) * b_r^m, uniformly in w.","tokens_in":19632,"tokens_out":9962,"duration_ms":98723,"significance":"If the technical gaps identified below are closed, the paper would significantly extend the Cluckers–Forey–Loeser parametrization theorem from the settings of complete discretely valued fields and local fields to arbitrary equicharacteristic zero Henselian fields with separated analytic structure. The strong stratification theorem (Theorem 4.5) and the term-description results (Proposition 5.4, Theorem 5.5) are valuable tools in their own right, and the explicit dependence of the number of charts on the congruence invariant is a useful quantitative feature. The paper is honest about the origin of many ingredients, citing the author's own desingularization work [28] and the Hensel-minimality framework [10,30]. However, the central proof depends on an unstated and unproved assumption that the theory T_A is 1-h-minimal; this is a load-bearing gap, not a cosmetic one.","major_comments":[{"comment":"Theorem 2.1 (Lipschitz cell decomposition preparing RV-parametrized sets) is stated to hold in any 1-h-minimal structure, and it is later applied to L^†_A-definable sets after RV and Skolem expansions. However, the paper never proves or cites that the theory T_A of separated analytic structures is 1-h-minimal. The resplendency property invoked in Proposition 5.3 and Remark 4.6 only preserves Hensel minimality under RV-expansions once the base theory is already 1-h-minimal. This assumption is load-bearing: Theorem 5.5, Proposition 5.8, Corollary 5.9, and Theorem 6.1 all rely on Theorem 2.1, and Theorem 6.4 is built on this chain. The closing remark of Section 6, noting that Yomdin–Gromov parametrizations in general Hensel minimal structures are 'a problem unsolved as yet,' further indicates that this is not an established fact. The author must either supply a proof or a precise reference that T_A is 1-h-minimal, or replace Theorem 2.1 with a cell decomposition theorem proved directly for T_A.","section":"Section 2, Theorem 2.1; Section 5, Theorem 5.5; Section 6, Theorem 6.1"},{"comment":"The proof of the strong T^1-parametrization in the discrete value-group case is only an outline. After the strong stratification is invoked, the text asserts: 'Making use of Propositions 5.8 and 5.6, throwing away pieces of lower dimension and treating them by induction, we can assume that M' is the graph of a tuple of 1-Lipschitz Henselian L^*_A-terms over an open cell P' in K^m_alg with centers given by 1-Lipschitz Henselian terms.' This step is not justified in detail: it passes from a finite cell decomposition to a single global graph representation, and the inductive dimension reduction is described only in words. Since Theorem 6.1 is the key to the main theorem, this transition needs a complete proof. The subsequent uniformity over the family via a 'routine model-theoretic compactness argument' should also be made explicit, because the stratification and term description are themselves asserted to be uniform in models and in definable families.","section":"Section 6, proof of Theorem 6.1, case (V2)"},{"comment":"The paper states that the Cauchy-estimate arguments of [8,9] 'carry over verbatim' to the present general setting, and that the supremum norm on boxes over K equals the Gauss norm under conditions on the residue field and value group. This is a non-trivial analytic claim, especially for non-algebraically-closed K and for the boxes B^as over the algebraic closure used in the definition of strong T^1-approximation in case (V2). The author should spell out the exact hypotheses and provide the required verification, rather than referring only to [13, Remark 5.2.8] and to [8,9].","section":"Section 6, passage from T^1 to T^r (after Lemma 6.3)"}],"minor_comments":[{"comment":"The manuscript contains numerous typos and grammatical errors that should be corrected, e.g., 'Slolemization' for 'Skolemization' in Section 5, 'finetely' for 'finitely' in the proof of Theorem 5.5, 'firelds' in reference [9], 'transendental' and 'Vemeulen' in reference [39], and inconsistent use of 'parametrized' vs. 'parameterized'.","section":"Throughout"},{"comment":"The definition of 'Henselian terms' appears in a paragraph beginning 'We shall still need the concept of K-valued Henselian terms...' and is not presented as a numbered definition, which makes it easy to miss. It would help to give it a displayed definition, especially because it is used crucially in Proposition 5.8 and in the definition of strong T^1-approximation.","section":"Section 5, paragraph before Proposition 5.8"},{"comment":"The sentence 'For the theory of analytic structures, the reader is referred to.' is incomplete; it should cite [13] and [14] as intended.","section":"Section 2, paragraph on the analytic structure"},{"comment":"The phrase 'for each a in P there is an n-tuple T^{<r}_{f,a} of (unique) polynomials' is confusing: uniqueness is not a property of existence, and the notation T^{<r}_{f,a} is not defined as a tuple before being used. Please clarify.","section":"Section 6, definition of T^r-approximation"}],"recommendation":"major_revision","confidential_remarks":"The paper leans heavily on the author's own earlier work [28] for desingularization and on [10,30] for Hensel minimality. The editor may wish to verify that the cited results indeed cover the theories T_A used here, since the manuscript does not demonstrate the 1-h-minimality of T_A. This is the main risk in the paper's correctness. If the author can close this gap, the result would be a solid contribution to the model theory of valued fields and to Diophantine geometry."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe big question: does the paper actually prove uniform Yomdin-Gromov parametrizations for all Henselian equicharacteristic zero valued fields with separated analytic structure? It gives a coherent route—strong stratifications from the author's desingularization, term description after Skolemization, Lipschitz cell decomposition—and the main theorem is genuinely new, extending Cluckers-Forey-Loeser to non-complete, non-locally compact fields. That's important.\n\nThe tool development is real: Theorem 4.5 (strong stratification) and the piecewise term description after algebraic Skolemization (Section 5) are substantial contributions in their own right. The T^r counting bound is imported from [8,9], and the author says the Cauchy-estimate arguments carry over verbatim. That's fine if true, but it means the quantitative heart of the result isn't re-proved here. I'd want a referee to check that \"almost verbatim\" claim.\n\nThe soft spot that could be fatal: the paper uses Theorem 2.1, a cell decomposition that holds in any 1-h-minimal structure, without ever establishing that T_A is 1-h-minimal. [10, Theorem 4.1.19] only gives resplendency under RV-expansions, not the base case. I checked the references and the text; there's no proof or citation for T_A being 1-h-minimal. The stress-test note's reading of Remark 6.5 as undercutting the assumption is off—that remark is about general Hensel minimal structures, not about T_A—but the underlying gap is real. If T_A fails to be 1-h-minimal, Section 5 collapses and with it Theorems 6.1 and 6.4. That's load-bearing.\n\nSmaller issues: the proof of Theorem 6.1 in case (V2) is an outline, and the desingularization of terms (Theorem 4.2) is sketched, not fully formal. They look fixable.\n\nWho should read this? Model theorists and Diophantine geometers working on Pila-Wilkie counting over valued fields. It deserves a serious referee, but the referee's first task should be to resolve the Hensel minimality status of T_A. If that's a known fact, the author needs to cite it; if not, the paper needs a proof.","headline":"Genuinely new uniform Yomdin-Gromov parametrizations for analytic valued fields, but the proof leans on an unjustified assumption that T_A is 1-h-minimal.","tokens_in":20232,"tokens_out":5998,"would_cite":true,"duration_ms":57683,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14B05","32S45","32S60","03C98","32B20","32P05","14G22","03C10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Uniform Yomdin–Gromov parametrizations with controlled chart counts are proved for all equicharacteristic zero valued fields with analytic structure.","keywords":["Yomdin–Gromov parametrizations","valued fields","analytic structures","strong stratification","desingularization","Hensel minimality","term description","definable sets"],"falsifier":"Concretely, one could try to construct a definable family in a model of T_A whose RV-parametrized fibers do not admit any finite Lipschitz cell decomposition with Henselian-term centers, or exhibit an RV-expansion of a T_A model that breaks Hensel minimality; either would collapse the cell decomposition and hence Theorem 6.1. A more targeted check is whether separated analytic structures satisfy the 1-h-minimality axioms from [10].","tokens_in":19116,"feed_emoji":"📐","tokens_out":8314,"duration_ms":149360,"temperature":0.7,"pith_summary":"The paper proves that every definable subset of a valued field with analytic structure can be stratified into finitely many smooth pieces and uniformly parametrized by 1-Lipschitz maps given by explicit terms. From this it derives Yomdin–Gromov parametrizations of any order r for definable families, with the number of charts bounded by a constant s(X) times b_r^m, where b_r is the size of the r-th congruence invariant of the leading-term group RV. A sympathetic reader should care because these parametrizations are the standard engine for counting rational points of bounded height and for transferring classical Yomdin–Gromov estimates from real and p-adic settings to all equicharacteristic zero Henselian valued fields with separated analytic structure.","feed_headline":"Uniform Yomdin–Gromov parametrizations over analytic valued fields","feed_subtitle":"Definable families are covered by finitely many smooth charts, with a bound depending on the congruence invariant.","key_machinery":"The central objects are strong stratifications: a definable set X is written as a finite disjoint union of strong analytic submanifolds S_k = sigma_k(W_k), where each sigma_k is a multi-blowup with smooth centers and W_k is a strong analytic submanifold of a T-analytic manifold minus the exceptional divisor. These strata come from a definable non-Archimedean version of Bierstone–Milman's canonical desingularization. The companion mechanism is term description: after adjoining very limited algebraic Skolem functions for roots and for polynomial equations in the residue-field sort, every definable function is expressed piecewise by Henselian terms, i.e. terms built from analytic functions, Henselian witness functions, and rv-constant coefficients on cells. The Lipschitz cell decomposition with Henselian-term centers then turns these terms into 1-Lipschitz parametrizations of cells, and precomposing with powers upgrades them to T^r-parametrizations.","core_discovery":"The central claim is Theorem 6.4: for every L_A-definable family X_w of subsets of O_K^n of dimension m over a model K of T_A, and every positive integer r, if the congruence invariant b_r = [r]RV(K) is finite, then the family admits a uniform T^r-parametrization with at most s(X) b_r^m maps, where s(X) depends only on the family and not on w. The proof builds a strong analytic stratification of definable sets using a definable, non-Archimedean adaptation of the Bierstone–Milman canonical desingularization by blowing up smooth centers. It then establishes a term description of definable functions after adding only algebraic Skolem functions for roots and Henselian witnesses, which yields piecewise representations by Henselian terms with good Lipschitz behavior. In the discrete-valuation case, the stratification is used to transfer a parametrization from the algebraic closure back to the ground field; in all cases the final T^r-parametrization is obtained by precomposing strong $T^{1}$-maps with r-th powers and applying Cauchy estimates.","pith_inferences":["If the needed Hensel-minimality property is verified for T_A, the same parametrization scheme would likely work in any 1-h-minimal structure, suggesting that Yomdin–Gromov parametrizations are a general phenomenon of tame valued fields rather than a special feature of analytic structures.","The finite-congruence condition appears necessary rather than merely technical: without finiteness of b_r or [p]RV(K), the paper only obtains parametrizations into infinitely many cosets of r-th powers, so quantitative rational-point counting would need a different invariant.","A natural testable extension is to mixed-characteristic Hensel minimal fields; the analytic-stratification machinery would have to be rebuilt, but the term-description and power-precomposition steps may transfer.","The stratification-based transfer from the algebraic closure to the ground field in the discrete case could be formulated as a general principle: finite-to-one projections of smoothly parametrized sets inherit uniform parametrizations under suitable Lipschitz conditions."],"forward_implications":["Uniform T^r-parametrizations with an explicit chart-count estimate hold for every equicharacteristic zero Henselian valued field with separated analytic structure, generalizing the discretely valued and local-field cases.","The number of charts in the parametrization grows at most like a family-dependent constant times b_r^m, so the dependence on the smoothness order r and dimension m is explicit and uniform in definable families.","If the prime invariant [p]RV(K) is finite, the same conclusion holds with b_r replaced by [p]RV(K), and the estimate becomes s(X) times ([p]RV(K))^{lm} with r < p^l.","The strong stratification itself provides a piecewise-smooth, one-to-one parametrization of definable sets by multi-blowups, which is a new structural tool for dimension theory and for counting points of bounded height in analytic valued fields."],"supporting_citations":[{"why":"Supplies the Lipschitz cell decomposition preparing RV-parametrized sets and the resplendency of Hensel minimality under RV-expansions, which Theorem 2.1 and Section 5 rely on.","marker":"[10]"},{"why":"Provides the definable non-Archimedean adaptation of Bierstone–Milman desingularization by blowing up smooth centers, used to build strong stratifications in Sections 3 and 4.","marker":"[28]"},{"why":"Supplies the closedness theorem and the RV-sort language and topology used throughout, including ultraparacompactness and the tameness results for Hensel minimal structures.","marker":"[30]"},{"why":"Provides the theory of separated Weierstrass systems, quantifier elimination for T_A, and the Henselian functions and roots machinery that underpin the term description.","marker":"[13]"},{"why":"Is the uniform Yomdin–Gromov parametrization theorem being generalized, and supplies the power-precomposing method and Cauchy-estimate arguments used in Section 6.","marker":"[9]"},{"why":"Is the original canonical desingularization algorithm which the paper adapts to the definable non-Archimedean setting.","marker":"[5]"},{"why":"Supplies the analytic cell decomposition and term-structure results for definable functions that Section 5 refines after algebraic Skolemization.","marker":"[12]"}],"fun_headline_variants":["Strong stratifications yield uniform Yomdin-Gromov parametrizations","Uniform parametrizations for analytic valued fields via stratifications","Definable families get uniform parametrizations in analytic valued fields","Generalizing Yomdin-Gromov: uniform parametrizations in analytic valued fields","New uniform parametrization bounds for definable sets in valued fields"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the analytic-structure theory T_A is 1-h-minimal, so that the Lipschitz cell decomposition preparing RV-parametrized sets and the resplendency property under RV-expansions hold; this property is imported from earlier references and is never proved in the paper.","fun_headline_variants_meta":{"raw":{"variants":["Strong stratifications yield uniform Yomdin-Gromov parametrizations","Uniform parametrizations for analytic valued fields via stratifications","Definable families get uniform parametrizations in analytic valued fields","Generalizing Yomdin-Gromov: uniform parametrizations in analytic valued fields","New uniform parametrization bounds for definable sets in valued fields"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00027,"raw_usage":{"total_tokens":1605,"prompt_tokens":903,"completion_tokens":702,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":608}},"tokens_in":519,"tokens_out":702,"duration_ms":6650,"temperature":1.0,"reasoning_tokens":608,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:06:16.178886+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Concretely, one could try to construct a definable family in a model of T_A whose RV-parametrized fibers do not admit any finite Lipschitz cell decomposition with Henselian-term centers, or exhibit an RV-expansion of a T_A model that breaks Hensel minimality; either would collapse the cell decomposition and hence Theorem 6.1. A more targeted check is whether separated analytic structures satisfy the 1-h-minimality axioms from [10].","supporting_citations":[{"cited_title":"Cluckers, I","cited_arxiv_id":null,"evidence_quote":"Supplies the Lipschitz cell decomposition preparing RV-parametrized sets and the resplendency of Hensel minimality under RV-expansions, which Theorem 2.1 and Section 5 rely on."},{"cited_title":"Nowak,Definable transformation to normal crossings over Henselian fields with separated analytic structure, Symmetry11(7) (2019), 934","cited_arxiv_id":null,"evidence_quote":"Provides the definable non-Archimedean adaptation of Bierstone–Milman desingularization by blowing up smooth centers, used to build strong stratifications in Sections 3 and 4."},{"cited_title":"Nowak,Tame topology in Hensel minimal structures, Ann","cited_arxiv_id":null,"evidence_quote":"Supplies the closedness theorem and the RV-sort language and topology used throughout, including ultraparacompactness and the tameness results for Hensel minimal structures."},{"cited_title":"Cluckers, L","cited_arxiv_id":null,"evidence_quote":"Provides the theory of separated Weierstrass systems, quantifier elimination for T_A, and the Henselian functions and roots machinery that underpin the term description."},{"cited_title":"Cluckers, A","cited_arxiv_id":null,"evidence_quote":"Is the uniform Yomdin–Gromov parametrization theorem being generalized, and supplies the power-precomposing method and Cauchy-estimate arguments used in Section 6."},{"cited_title":"Bierstone, P.D Milman,Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Inventiones Math.128 (1997), 207–302","cited_arxiv_id":null,"evidence_quote":"Is the original canonical desingularization algorithm which the paper adapts to the definable non-Archimedean setting."},{"cited_title":"Cluckers, L","cited_arxiv_id":null,"evidence_quote":"Supplies the analytic cell decomposition and term-structure results for definable functions that Section 5 refines after algebraic Skolemization."}],"review_version":1}