{"id":"7af1ba4f-5093-4ad5-b07c-976d3e4a7b44","arxiv_id":"2502.02256","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"A scan of over 350,000 Type IIB string compactifications finds explicit models where a fuzzy axion and a QCD axion together match the observed dark matter abundance.","lead":"String theory models called Calabi-Yau compactifications can produce an ultralight 'fuzzy' axion that makes up dark matter, and a scan of over 350,000 such models finds many where it coexists with the QCD axion. A generalist should read this because it gives cosmologists concrete, testable dark matter targets derived from a string-theory census.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The headline examples assume moduli stabilization without constructing it, so the claimed existence of explicit string vacua at t★ is not yet established.","rationale":"The reader's weakest assumption correctly identifies the missing moduli-stabilization construction as the main obstacle to the central claim. The paper's own text acknowledges this gap, so the critique is not manufactured. The concern is load-bearing but not fatal: a feasibility claim in string model building can legitimately proceed under a stated stabilization assumption, provided the reader understands that the examples are not yet fully realized vacua. The proposed concrete test would close the gap by checking whether an explicit potential can stabilize the moduli at the advertised Kähler parameters with the required mass hierarchy. I do not see an internal inconsistency in the axion mass/decay-constant values, and the reliance on companion paper [1] is stated transparently. Therefore the conditional verdict stands as appropriate for this conference proceedings.","tokens_in":4807,"tokens_out":5241,"duration_ms":54872,"concrete_test":"Using the GitHub dataset for [1], take the h11=7 example's t★ and compute the F-term equations for an explicit moduli potential (e.g., a KKLT or LVS-type superpotential with a chosen flux W0 and the same Euclidean D3-instanton data) and require ∂_τ V = 0 at t★ with all τ_i ≥ 1 and Hessian moduli masses larger than the lightest axion mass. If no such potential exists, or if the resulting minimum is displaced so that Ω_fuzzy/Ω_DM moves off 1, the landscape-realization claim is falsified; if a minimum exists, the conditional is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Sec. 3) is that there are explicit Type IIB CY orientifold compactifications with a QCD axion and a fuzzy axion whose untuned misalignment gives the full dark matter density. The examples in Eqs. (2)-(3) are evaluated at chosen Kähler parameters t★, but the paper does not construct V_moduli. Sec. 2 says only 'we assume that moduli can be stabilised everywhere inside the Kähler cone via V_moduli, with masses larger than those of all axions,' and later concedes 'not explicitly incorporating moduli stabilisation.' This assumption is load-bearing because every quantity in Eqs. (2)-(3) — τ_QCD, m_i, f_i, and hence Ω_fuzzy — is a function of the stabilized moduli. Without a concrete potential with a minimum at t★, the examples are candidate EFTs rather than realized string vacua: the claimed 'certain regions of the landscape' may contain no stationary point with the required mass hierarchy. This does not make the framework impossible, but it is the gap between the computed axion sector and the existence claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This proceedings contribution summarizes a search for fuzzy axion dark matter in type IIB Calabi-Yau orientifold compactifications with h^{1,1} up to 7, within the Kreuzer-Skarke axiverse. The axion sector is governed by Euclidean D3-instanton corrections to a potential with an assumed, unmodeled moduli-stabilization term. The author computes axion masses, decay constants, and misalignment relic abundances, and presents two explicit examples: an h^{1,1}=2 orientifold with a QCD axion and a fuzzy axion that together give Omega_i/Omega_DM = (0.5, 0.5) with misalignment angles (0.0063, 1), and an h^{1,1}=7 model in which the fuzzy axion with theta = 1 yields Omega_fuzzy/Omega_DM = 1. The text also announces a topological ensemble of more than 350,000 compactifications, dark-photon statistics, and automatic-differentiation optimization, with detailed derivations and additional results deferred to Ref. [1].","tokens_in":4994,"tokens_out":4436,"duration_ms":41799,"significance":"If the construction were fully realized, the central claim that string compactifications can produce fuzzy dark matter with the observed relic density would be a valuable step beyond purely statistical axiverse studies, and the use of the Kreuzer-Skarke database with explicit orientifold involutions is a strength. The paper ships a GitHub repository with reproducing data, and the two worked examples are internally consistent given the stated assumptions. However, the significance is currently qualified: the existence claim rests on an unconstructed moduli-stabilization potential, and the ensemble-level statements are not demonstrated in this text. The result is better characterized as a set of candidate axion EFTs consistent with present constraints than as established string vacua.","major_comments":[{"comment":"The assumption that moduli can be stabilized everywhere inside the Kaehler cone by V_moduli with masses larger than those of all axions is load-bearing, but no concrete V_moduli is constructed or implemented. All physical quantities in Eqs. (2) and (3) — tau_QCD, m_i, f_i, and hence Omega_i — are evaluated at the Kaehler parameters t* and therefore depend on the stabilized moduli values. The manuscript itself concedes 'not explicitly incorporating moduli stabilisation.' Consequently, the claim in Sec. 3 of 'explicit Type IIB CY orientifold compactifications' with a fuzzy axion reproducing the observed dark matter abundance is not yet established. To support the existence claim, the author should either construct a moduli-stabilization potential with a minimum at the quoted t* and with the required mass hierarchy, or reframe the results as candidate axion EFTs satisfying necessary conditions.","section":"Sec. 2, Eq. (1)"},{"comment":"The abstract and Sec. 2 state as results a 'topologically exhaustive ensemble of more than 350,000 Calabi-Yau compactifications', 'dark photons frequently emerge', and a systematic analysis of fuzzy dark matter production, but none of these are derived or quantified in this text; they are deferred to Ref. [1]. Since this is a standalone published proceedings paper, the ensemble size, dark-photon statistics, and the exact relic-abundance formulas for Omega_i are unexplained. The paper should either include the relevant definitions and statistics or explicitly state, at each occurrence, that these are results from the companion work [1] rather than demonstrated here.","section":"Abstract and Sec. 2"},{"comment":"The h^{1,1}=7 example is found by gradient-based optimization of the Kaehler parameters until the 'untuned' misalignment abundance matches Omega_DM with theta_fuzzy = 1. This is a selection over the landscape rather than an independent prediction: the misalignment angle is set to unity, but the Kaehler parameters are tuned to force Omega_fuzzy = Omega_DM. Similarly, in Sec. 2.1 the angles theta_i = (0.0063, 1) are chosen to reproduce the half-and-half dark matter composition. The word 'untuned' is therefore misleading in this context. A concrete test of the robustness of the claim would be to scan over all Kaehler-cone points and report the fraction for which theta_i = 1 gives the correct abundance, rather than only the optimized point.","section":"Sec. 2.2 and Eq. (3)"}],"minor_comments":[{"comment":"The phrase 'the h11=2 most relevant instantons associated to D2, D6' is unclear; 'h11=2' is likely a typo for 'h^{1,1}=2', and 'most relevant instantons' should be replaced by a precise statement about which divisors are wrapped and why they are selected.","section":"Sec. 2.1"},{"comment":"The 'tip of the stretched Kaehler cone ray' is not defined in the text; please define the stretched Kaehler cone (or give a reference) and explain why the ray is chosen as a benchmark in the left and right panels.","section":"Fig. 1"},{"comment":"The KK scale m_KK = 6.9 x 10^16 GeV is quoted without explanation; state the formula used and the input data (for example, the volume normalization and the relation between divisor volumes and the KK scale).","section":"Sec. 2.2"},{"comment":"The relic-abundance ratios Omega_i/Omega_DM are used throughout without giving the misalignment abundance formula; if the formula is not included, the text should at least specify the approximation used (e.g., radiation-dominated or matter-dominated onset of oscillations) and how Omega_DM is normalized.","section":"Sec. 2, Eq. (1) and Secs. 2.1-2.2"},{"comment":"The term 'topologically exhaustive' is not defined; please clarify whether it means all triangulations of all four-dimensional reflexive polytopes with 2 <= h^{1,1} <= 7 under the specified orientifold projections.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"This is a proceedings contribution that leans heavily on the companion paper arXiv:2412.12012. If the journal's policy permits proceedings that are essentially extended abstracts of prior or concurrent work, the major-revision path is appropriate; if the journal expects a self-contained research article, the extent of deferral to a companion work may be a scope concern. The author is the sole author of this proceedings text, while the companion work has multiple authors; no attribution issue is apparent from the manuscript itself."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this as a summary of the companion paper (2412.12012), not as a self-contained result. The central claims — the 350k ensemble, the dark photon statistics, the exact relic formulas — are deferred to that paper. What is actually new here is the h11=7 example, the AD-based optimization method, and the comparison with Cicoli et al. The two examples are concrete, the geometry is standard, and the companion has a GitHub repo with the data. These are real strengths.\n\nThe soft spots are proportionally serious but not fatal. The abundance matching is partly by construction: in the h11=2 model theta is tuned to 0.0063, and in h11=7 the Kähler parameters are selected so that theta=1 gives Omega=Omega_DM. That is selection over the landscape, not a prediction. The larger gap is that no moduli stabilization potential V_moduli is constructed. The paper assumes it after Eq. (1), and the author is upfront about this. But without a concrete minimum at t★, these are candidate EFTs, not demonstrated string vacua. The phrase 'explicit Type IIB compactifications' in the conclusions overstates the evidence. Also W0, g_s, and Pfaffians are hand-set, so the numbers are illustrative.\n\nStill, the feasibility claim — that in some regions of the landscape the fuzzy axion can give a large relic density alongside a QCD axion — holds as a statement about the scan, provided the companion really contains the analysis. The author is honest about the limitations, and the examples are checkable.\n\nWho is this for? Someone who wants a quick overview of the KS-axiverse fuzzy-DM program and pointers to the detailed paper. It is not a contribution that stands alone.\n\nRecommendation: if this is a proceedings submission, send it to review as a faithful summary; a light referee should check the numbers against the companion and the GitHub data. As a research article, it is not novel relative to [1], and I would not cite it separately. But it deserves a serious referee as a conference proceeding because the underlying work is substantial and the examples matter.","headline":"A honest, self-aware conference summary of a larger paper: the examples are concrete but the strong 'explicit vacua' claim rests on assumed moduli stabilization, so read it as a pointer to [1].","tokens_in":5571,"tokens_out":3735,"would_cite":false,"duration_ms":35165,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that explicit Type IIB string compactifications can make a fuzzy axion whose untuned misalignment reproduces all of the observed dark matter.","keywords":["fuzzy dark matter","string axiverse","Type IIB string theory","Calabi-Yau orientifold","QCD axion","misalignment mechanism","ultralight axion","dark photon"],"falsifier":"Carry out an explicit moduli-stabilisation calculation at the claimed Kähler point of the $h^{1,1}=7$ example: if it finds no minimum with $\\tau_{\\mathrm{QCD}}\\approx35.6$ and the spectrum $m_{\\mathrm{fuzzy}}\\simeq1.7\\times10^{-20}$ eV, $f_{\\mathrm{fuzzy}}\\simeq2.2\\times10^{16}$ GeV, then the claimed untuned $\\Omega_{\\mathrm{fuzzy}}/\\Omega_{\\mathrm{DM}}=1$ is not realised.","tokens_in":4496,"feed_emoji":"🌌","tokens_out":10345,"duration_ms":88267,"temperature":0.7,"pith_summary":"This paper aims to establish that fuzzy dark matter can be produced with an observably large relic abundance in explicit Type IIB string theory compactifications. It works with the Ramond-Ramond four-form axions of Calabi-Yau orientifold hypersurfaces, scanning a topologically exhaustive ensemble of more than 350,000 geometries with up to seven axions and computing each axion's mass, decay constant, and misalignment-produced abundance. The main concrete result is a $h^{1,1}=7$ orientifold in which a fuzzy axion with $m=1.7\\times10^{-20}$ eV and $f=2.2\\times10^{16}$ GeV, at an untuned initial angle $\\theta_i=1$, supplies $\\Omega_{\\mathrm{fuzzy}}/\\Omega_{\\mathrm{DM}}=1$. Because this connects the string axiverse to a specific, cosmologically testable candidate for all of dark matter, the paper makes the case that full landscape scans can identify viable fuzzy-dark-matter models rather than only toy examples.","feed_headline":"String theory can make a fuzzy axion that is all the dark matter","feed_subtitle":"An explicit string compactification yields a fuzzy axion that matches the full dark matter abundance.","key_machinery":"The argument is carried by the instanton-generated axion potential $V(\\tau_i,\\phi_i)=V_{\\mathrm{moduli}}(\\tau_i)+\\sum_A\\Lambda_A^4\\,(1-\\cos(2\\pi Q^i_A\\phi_i))$, with $\\Lambda_A^4\\sim e^{K/2}|W|\\,Q^i_A\\tau_i/\\mathcal{V}\\,e^{-2\\pi Q^i_A\\tau_i}$, from Euclidean D3-instantons wrapping divisors in the Calabi-Yau. These terms break the continuous shift symmetry of the Ramond-Ramond four-form axions to a discrete symmetry, and the paper treats the instanton scales hierarchically ($\\Lambda_A^4\\gg\\Lambda_{A+1}^4$) to extract axion masses $m_i$ and decay constants $f_i$ order by order. The QCD axion is singled out by fixing a divisor volume $\\tau_{\\mathrm{QCD}}$ so that the D7-brane gauge coupling matches the measured $\\alpha_{\\mathrm{QCD}}(m_Z)$, and relic abundances are computed from vacuum misalignment. Restrictions to the geometric regime $\\tau_i\\ge1$ keep the $\\alpha'$ expansion under control.","core_discovery":"The central discovery is that certain regions of the string landscape can realise a fuzzy axion whose vacuum-misalignment abundance matches the observed dark matter density without tuning the initial angle. The paper obtains this by combining the Euclidean D3-instanton potential with a hierarchical treatment of axion masses and decay constants, while requiring that the divisor hosting the Standard-Model D7-stack reproduces the observed QCD gauge coupling. In the $h^{1,1}=7$ example, the two lightest axions are a QCD axion at $m=7.7\\times10^{-10}$ eV and a fuzzy axion at $m=1.7\\times10^{-20}$ eV with $f=2.2\\times10^{16}$ GeV; with $\\theta_i=1$ for the fuzzy axion, $\\Omega_{\\mathrm{fuzzy}}/\\Omega_{\\mathrm{DM}}=1$. The paper also reports an $h^{1,1}=2$ model splitting dark matter evenly between a QCD axion and a fuzzy axion. Heavier axions in the same constructions typically overproduce dark matter, so the viable points are those with hierarchical decay constants or with reduced reheating temperature and misalignment angles.","pith_inferences":["The paper demonstrates feasibility, not prevalence; a natural quantitative extension is to compute the fraction of the 350,000+ compactifications (with a measure on Kähler moduli space) that allow $\\Omega_{\\mathrm{fuzzy}}/\\Omega_{\\mathrm{DM}}=1$ at $\\theta_i=1$.","The differentiable pipeline used to find optimal Kähler parameters could be redirected to other axion observables, such as birefringence, axion-photon coupling, or isocurvature bounds, turning the same scan into a tool for selecting among surviving compactifications.","If explicit moduli stabilisation later confirms the $h^{1,1}=7$ point, the construction becomes a concrete target for astrophysical probes of ultralight axions in the $10^{-20}$ eV window, including pulsar-timing and Lyman-alpha searches for fuzzy dark matter."],"forward_implications":["There exist explicit Calabi-Yau orientifold compactifications in which a fuzzy axion and a QCD axion together account for dark matter, with the $h^{1,1}=2$ example giving a $(0.5,0.5)$ split.","The $h^{1,1}=7$ example shows a fuzzy axion at $m\\simeq1.7\\times10^{-20}$ eV reproducing 100% of the observed dark matter at $\\theta_i=1$, making untuned misalignment sufficient in this construction.","Heavier axions in these models generically overproduce dark matter, so viable cosmologies require either hierarchical decay constants ($f_{\\mathrm{other}}\\ll f_{\\mathrm{fuzzy}}$) or reductions of initial misalignment angles and the reheating temperature.","The orientifold projection generically yields dark photon fields, so the dark sector in this part of the landscape is typically multi-component rather than axion-only.","Two-dimensional scans of Kähler moduli space can find fuzzy-plus-QCD axion coexistence, whereas the one-dimensional ray generated by the tip of the stretched Kähler cone would miss it."],"supporting_citations":[{"why":"Supplies the detailed relic-abundance expressions, the example data, and the companion cosmological analysis used to define the models.","marker":"[1]"},{"why":"Introduces axions in string theory and the expectation of many axion-like particles from compactification.","marker":"[2]"},{"why":"Establishes the axiverse concept of a spectrum of ultralight axions and their dark-matter role.","marker":"[3]"},{"why":"Provides the type IIB string axiverse and its low-energy phenomenology underlying the axion effective theories.","marker":"[4]"},{"why":"Supplies the ensemble of axion theories from Calabi-Yau orientifold hypersurfaces that the scan uses.","marker":"[5]"},{"why":"Provides the complete classification of four-dimensional reflexive polytopes from which the geometries are built.","marker":"[6]"},{"why":"Provides the orientifold involutions and projections used to define the compactifications.","marker":"[7]"},{"why":"Justifies placing the Standard Model on intersecting D7-branes and setting the QCD gauge coupling by a divisor volume.","marker":"[8]"},{"why":"Gives the earlier fuzzy-dark-matter abundance predictions from canonical moduli stabilisation used for comparison.","marker":"[9]"}],"fun_headline_variants":["String theory yields fuzzy axion as all dark matter","Fuzzy axion from string theory explains entire dark matter","Exact fuzzy axion dark matter from string compactification","String theory's fuzzy axion can be all of dark matter","No-tuning fuzzy axion from string theory matches all dark matter"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the assumption that a moduli-stabilising potential exists, with masses above all axions, at the Kähler moduli points used; the paper does not construct or implement such a potential.","fun_headline_variants_meta":{"raw":{"variants":["String theory yields fuzzy axion as all dark matter","Fuzzy axion from string theory explains entire dark matter","Exact fuzzy axion dark matter from string compactification","String theory's fuzzy axion can be all of dark matter","No-tuning fuzzy axion from string theory matches all dark matter"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001361,"raw_usage":{"total_tokens":5516,"prompt_tokens":937,"completion_tokens":4579,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":553,"completion_tokens_details":{"reasoning_tokens":4497}},"tokens_in":553,"tokens_out":4579,"duration_ms":28884,"temperature":1.0,"reasoning_tokens":4497,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T12:47:28.278485+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Carry out an explicit moduli-stabilisation calculation at the claimed Kähler point of the $h^{1,1}=7$ example: if it finds no minimum with $\\tau_{\\mathrm{QCD}}\\approx35.6$ and the spectrum $m_{\\mathrm{fuzzy}}\\simeq1.7\\times10^{-20}$ eV, $f_{\\mathrm{fuzzy}}\\simeq2.2\\times10^{16}$ GeV, then the claimed untuned $\\Omega_{\\mathrm{fuzzy}}/\\Omega_{\\mathrm{DM}}=1$ is not realised.","supporting_citations":[],"review_version":1}