{"id":"34649888-b5c2-47dc-995a-47130ef51177","arxiv_id":"2601.18863","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Effective field theories consistent with quantum gravity are conjectured to have uniformly bounded 'tame complexity', a quantitative measure of the information needed to specify them.","lead":"This paper introduces a mathematical notion of 'tame complexity' for effective field theories and conjectures that every quantum-gravity-consistent theory has finite, uniformly bounded complexity instead of infinitely many free parameters. If correct, it turns qualitative finiteness claims about the string landscape into quantitative, computable bounds and a new way to count theories.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The local Finite Complexity Conjecture leans on the unproven assumption that Wegner-Houghton RG flow preserves tameness; the paper explicitly leaves this open, so the central claim lacks a mechanism for generic interacting EFTs.","rationale":"The reader identifies the same weakest spot: exact RG flow and o-minimality. I agree. The manuscript is internally coherent and explicitly flags the unresolved mathematical inputs, so there is no demonstrated contradiction. The examples are real supporting evidence, but none of them exercises the mechanism of Eq. (28) in a generic interacting setting. The proposed concrete test targets exactly the step that separates 'supported conjecture' from 'established claim': preservation of tameness under the Wilsonian flow. I keep the reader's CONDITIONAL verdict because the concern is present but not fatal; the paper itself would need either a proof of tameness preservation (even in LPA) or an explicit elevation of this step to a stated assumption rather than a hope. No ad hominem and no theatrical language are intended.","tokens_in":34397,"tokens_out":9297,"duration_ms":119329,"concrete_test":"Analytic/numerical test: in the local potential approximation, take a polynomial initial condition V_Λ0(φ)=m^2φ^2/2+λφ^4/4 and integrate Eq. (28) to fixed Λ<Λ0. Compute the Wilson coefficients c_n(Λ) of V_Λ(φ) to high order and test whether the generating function V_Λ(φ) satisfies a finite-order polynomial differential equation in φ whose format and degree are independent of the number of coefficients used. Equivalently, search for a finite Pfaffian/Log-Noetherian chain (as in §2.2) for the sequence of coefficients; if the minimal complexity of such a chain grows without bound as n increases, the RG flow has broken tameness and the Local Finite Complexity Conjecture fails for this minimal interacting example. A positive control is the 0d example (25), which should pass the same test.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1 introduces exact RG flow as the general mechanism that would repackage infinitely many Wilson coefficients into a finite-complexity object, via the Wegner-Houghton equation (28). The authors state: 'Precise details on partial differential equations of this type and o-minimality are presently not known, and it is likely that a non-trivial mathematical extension is required to describe the tameness of exact RG flows.' This is the point on which the Local Finite Complexity Conjecture depends for any generic interacting EFT consistent with quantum gravity. The worked examples are either zero-dimensional (where path integrals are finite-dimensional integrals and tameness follows from Pfaffian closure) or supersymmetric (Seiberg-Witten), where holomorphy/geometry supplies the finite description. Neither mechanism covers a non-supersymmetric, interacting 4d EFT. If the solution operator of (28) can map a tame initial potential to a non-tame effective potential at finite Λ, then the local conjecture fails for that EFT, and the global conjecture fails with it. This is not a contradiction with existing mathematics—it is an open problem—but it is exactly the place where the framework's central claim is least secure. The additional reliance on the still-conjectural sharp o-minimality of R_LN (§2.2) for period integrals is a second unresolved premise, and it compounds the risk when periods are used as the complexity model in §4.2.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a quantitative notion of 'tame complexity' for effective field theories, using sharp o-minimal structures to assign a pair of integers (format, degree) to tame sets and functions. It proposes a local Finite Complexity Conjecture: every EFT consistent with quantum gravity admits a finite-complexity description of its two-derivative Lagrangian; and a global Finite Complexity Conjecture: for fixed dimension and cutoff Λ, the set M_QG;Λ of such EFTs is definable in a sharply o-minimal structure with finite complexity (F_Λ,D_Λ), and every such EFT has complexity bounded by (F_Λ,D_Λ). The supporting evidence consists of a 0d QFT example with Pfaffian effective potential, the Seiberg-Witten prepotential as a Log-Noetherian function, and arithmetic quotients Γ\\G/K from supergravity as semi-algebraic tame manifolds. The paper also introduces EFT domains and coverings to handle moduli-space locality, and connects complexity bounds to volume growth and counting of vacua. The authors are explicit that several key mathematical ingredients — tameness of exact RG flow and sharp o-minimality of R_LN — remain open.","tokens_in":34754,"tokens_out":3143,"duration_ms":39390,"significance":"If the conjectures hold, the framework would give a precise, quantitative form of finiteness in the quantum gravity landscape, unifying spectrum finiteness, Wilson-coefficient constraints, and moduli-space volume bounds under a single definability/complexity principle. The paper's definitions are careful, and the worked examples are genuinely non-trivial: the 0d Pfaffian resummation, the Seiberg-Witten differential-equation description, and the tameness of arithmetic quotients are concrete and independently checkable. The connection to counting via Hausdorff measure and the polynomial-in-log-Λ bound is a useful step toward making swampland finiteness quantitative. The main value is as a well-formulated conjecture framework with illustrative evidence rather than a proof; its significance depends on the conjectural mathematical foundations being eventually supplied.","major_comments":[{"comment":"The local Finite Complexity Conjecture applies to every EFT consistent with quantum gravity, including generic non-supersymmetric interacting 4d theories. The only mechanism proposed for such cases is preservation of tameness under the Wegner-Houghton exact RG flow, but the paper states that 'precise details on partial differential equations of this type and o-minimality are presently not known'. The worked examples are 0d (where the path integral is finite-dimensional) or supersymmetric (where holomorphy controls the effective action). Neither covers the generic interacting case. As stated, the central claim lacks a demonstrated mechanism; this is not a contradiction, but it is load-bearing. The authors should either prove tameness preservation for a non-trivial class (e.g. LPA Wegner-Houghton with polynomial initial potentials) or explicitly narrow the local conjecture to the classes f","section":"§3.1, Eq. (28); §4.1"},{"comment":"The finite-complexity statement for period integrals and for the Seiberg-Witten prepotential depends on the conjecture that R_LN is sharply o-minimal and admits an FD-filtration. The paper itself notes that the proper FD-filtration 'is not currently known' and that only an effective format exists. Consequently, the Seiberg-Witten example does not yet establish definability in a sharply o-minimal structure with a finite (F,D) pair; it establishes Log-Noetherian definability in an o-minimal sense and an effective complexity. The conjectures in §4.1 require sharp o-minimality. Please state this gap explicitly in the example and in §4.2, and separate the conditional conclusion from the proven part.","section":"§2.2, §4.2; §3.1 Seiberg-Witten example"},{"comment":"Part (i) is not a fully well-posed mathematical statement because M_QG;Λ is not defined with a precise equivalence relation on EFTs, nor with a construction of the space as a definable object. The paper acknowledges that 'its precise definition will require to address several important points, e.g. when two EFTs are considered to be equivalent'. Without such a definition, the conjecture cannot be tested or refuted in specific examples. The authors should provide a formal definition of M_QG;Λ (or at least a concrete inductive definition for a restricted class, e.g. scalar EFTs with a fixed field content) and specify the equivalence relation, so that the conjecture has definite content.","section":"§4.1, Finite Complexity Conjecture part (i)"}],"minor_comments":[{"comment":"Several typos and formatting issues: 'T riangulation' in §2.1, 'arisng' in the Introduction, 'mininum' in §4.1, 'taken the slice' in §2.2, and inconsistent use of 'F_EFT' vs 'F_EFT' in the conjecture statement.","section":"Throughout"},{"comment":"The expression for a_{2n} is described as an asymptotic series but is written in terms of an infinite sum over k; clarify whether the equality is formal, and specify the sense in which the sequence is reorganized by the exact expression (25).","section":"§3.1, Eq. (23)"},{"comment":"The notation C(F,D) and C(F,D) is used for different coefficients; the distinction is not always clear. Please use distinct symbols, for example C and \\tilde C.","section":"§4.3, Eq. (49)"},{"comment":"Reference [97] is a Master's thesis; if a published version exists, it would be preferable. Also, reference [98] appears twice (once as [98] and once as [95] with the same title); please merge or differentiate.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its conjectural foundations, and the examples are valuable. My main concern is scope: the title and abstract advertise a framework for the quantum gravity landscape, but the load-bearing mechanism for generic interacting EFTs is explicitly left open. This is acceptable for a conjecture paper if the authors carefully delineate what is proven and what is conditional; the current text sometimes blurs this line, e.g. in the Seiberg-Witten example. A revision that (1) states the conditional nature of the RG-flow and R_LN premises in the conjecture statements, and (2) sharpens the definition of M_QG;Λ, would make the contribution much stronger. I would not recommend rejection: the definitions and examples are a solid foundation for future work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a serious framework paper. It does what it claims — it gives a sharp-o-minimality-based complexity measure for EFTs and packages it into local and global Finite Complexity Conjectures. The EFT-domain and EFT-covering construction is a real contribution. But the global conjecture is riding on two open mathematical inputs — tameness of exact RG flows and sharp o-minimality of R_LN — and the authors know it. Treat the paper as a research program, not a proof.\n\nWhat is actually new: the use of the (F,D) tame-complexity pair for Wilsonian expansions, the local/global conjectures, and the counting/volume prescriptions built on EFT coverings. The examples are well chosen and non-vacuous: the 0d QFT resummed into a Pfaffian/Bessel description, the Seiberg-Witten prepotential via Matone recursion, arithmetic quotients definable in R_alg, and the Type IIB moduli-space discussion. The paper is careful to label conjectures as conjectures, and it does not hide its own weak spots. The definitions are precise enough to build on.\n\nThe soft spots, in proportion. First and largest: the mechanism that would give finite complexity for a generic interacting 4d EFT is missing. The paper’s own Section 3.1 says that PDE/o-minimality for exact RG flow is not known. If the Wegner-Houghton flow can take a tame potential to a non-tame one, the local conjecture fails; the authors have no proof that cannot happen. The 0d and supersymmetric examples rely on structures — finite-dimensional integrals, holomorphy — that do not generalize. Second, the global conjecture assumes sharp o-minimality of R_LN, itself conjectural; the period-integral evidence inherits that. Third, the counting section includes speculative steps around isometric embeddings and volume bounds; these are flagged as future work, so they are not fatal, but they keep that part at the level of a proposal.\n\nNone of this is a reason to reject. The paper is honest about what is proven and what is conjecture, the definitions are rigorous, and the examples are real. The main risk is that the global conjecture is treated as established; the text mostly avoids that, though the title overstates slightly. This paper deserves a serious referee. It should be sent to peer review so the conjectures can be attacked or extended, and the authors should be asked to make the line between established example and open conjecture even sharper in the final version.","headline":"A genuinely useful framework paper that packages sharp o-minimality into finite-complexity conjectures for EFTs; the global version rests on openly flagged open problems, so read it as a program, not a proof.","tokens_in":35219,"tokens_out":2925,"would_cite":true,"duration_ms":36297,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03C64","14P10","83E30"],"pacs":["11.25.-w","04.60.-m"],"model":"deepseek-v4-flash","headline":"Quantum gravity may impose a finite information ceiling on every consistent effective field theory.","keywords":["effective field theory","quantum gravity landscape","swampland","tame geometry","o-minimal structures","tame complexity","finiteness","string compactification"],"falsifier":"Take a tame initial potential and run the exact Wilsonian RG equation in the local potential approximation; if for some finite Λ the effective potential develops infinitely many oscillations in a bounded field interval, it is not definable in any o-minimal structure and the local conjecture fails for generic interacting scalars. Equivalently, exhibit any string- or M-theory vacuum whose exactly resummed two-derivative Lagrangian is provably non-definable in every sharply o-minimal structure.","tokens_in":34312,"feed_emoji":"🌌","tokens_out":8130,"duration_ms":90931,"temperature":0.7,"pith_summary":"Effective field theories consistent with quantum gravity are usually presented as infinite lists of Wilson coefficients; this paper argues that the expansion is an artifact of presentation and that the underlying theory can be repackaged into finitely much information. It introduces tame complexity — a pair of integers (format and degree) measuring the information content of a tame set or function — and proposes the Finite Complexity Conjecture in a local form (each such EFT has finite tame complexity) and a global form (at fixed dimension and cutoff Λ, the whole landscape of valid EFTs has a uniform complexity bound and the set itself is tame). The claim would matter because it upgrades qualitative finiteness expectations in the quantum-gravity landscape into quantitative, computable bounds, and because it makes counting EFTs and defining volume-weighted measures on parameter spaces mathematically well-defined. The paper supports the conjecture with exact examples where infinite series are resummed by differential equations, and it is explicit that the preservation of tameness under exact renormalization-group flow is not yet proven.","feed_headline":"Quantum gravity caps EFT complexity","feed_subtitle":"A pair of integers may encode every low-energy theory in the landscape up to a cutoff.","key_machinery":"The load-bearing object is the tame-complexity pair (F,D) from sharp o-minimality: F counts the basic format of the logical description, D controls polynomial-like complexity, and axioms ensure that numbers of connected components and other geometric features are bounded by a polynomial in D depending on F. The mechanism that compresses infinite Wilson data is a finite system of differential constraints — a Pfaffian or Log-Noetherian chain — through which all higher-order couplings are determined by finitely many parameters. Because a single EFT action need not be valid globally over moduli space, the paper introduces EFT domains and EFT coverings: finitely many regions, each with a local La","core_discovery":"The central claim, the Finite Complexity Conjecture, says that quantum-gravity-consistent EFTs are information-finite. Locally, every such EFT has a description in which the two-derivative Lagrangian is definable in a sharply o-minimal structure, meaning it carries a finite tame complexity (F,D). Globally, for fixed spacetime dimension d and cutoff Λ, the set M_{QG;Λ} of all such EFTs is itself definable with finite complexity (F_Λ,D_Λ), and each member has a description with complexity bounded by that same pair. The evidence includes a zero-dimensional quantum field theory whose exact effective Lagrangian resums into a Pfaffian function, an N=2 supersymmetric gauge theory whose infinitely m","pith_inferences":["If correct, the conjecture offers a practical swampland test: try to resum a candidate EFT's Wilson coefficients via a finite-order differential equation; failure to find any finite-complexity description would mark the theory as suspect.","A natural next step, left open by the paper, is to compute effective complexity for one-modulus Calabi-Yau compactifications and check the expected at-most-polynomial/logarithmic growth in 1/Λ.","The framework suggests a broader principle: whenever a physical description appears to need infinite data at finite resolution, the right dual description has not yet been found — a perspective that extends the argument beyond gravity.","If sharp o-minimality of Log-Noetherian functions fails, the period-integral examples would lose their complexity assignments, while the semi-algebraic and Pfaffian examples would still support a weakened, structure-dependent version of the conjecture."],"forward_implications":["An infinite Wilsonian expansion does not force infinite information: hidden differential or recursion relations can resum a landscape EFT into a finite-complexity object.","At fixed cutoff Λ, a single pair (F_Λ,D_Λ) bounds the complexity of every landscape EFT, sharpening finiteness-of-spectrum claims into quantitative bounds on fields and couplings.","The landscape set M_{QG;Λ} admits a finite EFT covering, so counting EFTs by minimal number of domains, and volume-weighted counts of flat directions, become finite and well-defined.","Infinite discrete vacuum families such as AdS5 × S5 with arbitrary flux N evade the global statement only in the Λ→0 limit; at any fixed cutoff only finitely many contribute, clarifying where tameness requires a cutoff.","Volume of any geodesic ball in a tame moduli space grows at most as C(F,D) r^κ, giving a complexity-controlled version of Euclidean growth and the compactifiability criterion."],"fun_headline_variants":["Quantum gravity caps EFT complexity via two integers","Tame geometry reveals finite complexity in EFTs","Finite complexity conjecture tames EFT landscape","A pair of integers bounds EFT complexity in QG"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that exact renormalization-group flow sends tame potentials to tame potentials in a sharply o-minimal structure, plus the sharp o-minimality of Log-Noetherian period integrals; the paper explicitly flags the RG-flow part as not-yet-known, so the conjecture is hostage to a non-trivial extension of o-minimality to PDEs.","fun_headline_variants_meta":{"raw":{"variants":["Quantum gravity caps EFT complexity via two integers","Tame geometry reveals finite complexity in EFTs","Finite complexity conjecture tames EFT landscape","A pair of integers bounds EFT complexity in QG"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000237,"raw_usage":{"total_tokens":1334,"prompt_tokens":724,"completion_tokens":610,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":468,"completion_tokens_details":{"reasoning_tokens":548}},"tokens_in":468,"tokens_out":610,"duration_ms":6400,"temperature":1.0,"reasoning_tokens":548,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T07:52:17.781380+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a tame initial potential and run the exact Wilsonian RG equation in the local potential approximation; if for some finite Λ the effective potential develops infinitely many oscillations in a bounded field interval, it is not definable in any o-minimal structure and the local conjecture fails for generic interacting scalars. Equivalently, exhibit any string- or M-theory vacuum whose exactly resummed two-derivative Lagrangian is provably non-definable in every sharply o-minimal structure.","supporting_citations":[],"review_version":1}