{"id":"529bbd89-9a86-41dc-bdf4-4c2fbcc2c727","arxiv_id":"2607.17338","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":9,"one_line_summary":"A new conversion formula turns monochromatic bare-PBH microlensing bounds into extended-mass dressed-PBH bounds, and a 10^5-FRB forecast places f_PBH near 10^-4.","lead":"Astrophysicists derive a conversion that turns old single-mass black-hole lensing bounds into bounds for black holes with dark-matter halos and a spread of masses, then apply it to future fast radio burst searches. If the halo model is right, a decade of SKA-class FRB data could push the allowed dark-matter fraction down to about one part in ten thousand.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The factor-of-20 tightening from halo dressing rests on replacing the extended halo by a point mass with M_eff; the actual lens mapping, flux-ratio and time-delay cuts are not validated, so the forecast is conditional.","rationale":"The central transformation Eq. (31) is mathematically sound. It follows from the fact that τ^w_EMD(f=1)=∫ψ τ^w_MMD(f=1,m) dm and that both f-limits are inversely proportional to total optical depth; the telescoping integral in Eq. (30) is correct. This deserves credit. What makes the forecast fragile is the input f^w_MMD(M) for dressed PBHs. The paper computes it by replacing the halo+PBH with a point mass M_eff defined through Eq. (10), then uses point-mass time delays and cross sections. But for an extended lens, the Einstein radius alone does not determine the image configuration: a power-law halo has a different deflection law, so the flux-ratio and time-delay cuts in Eqs. (34)-(35) will shift. The paper explicitly notes the inner profile may deviate from ρ∝r^-9/4, yet no sensitivity analysis is provided. Thus the factor-of-20 enhancement and f_PBH~10^-4 conclusion are conditional on an unvalidated surrogate model. The abstract's wording that Eq. (31) converts bare MMD limits into dressed EMD constraints is also stronger than what is derived: Eq. (31) converts dressed MMD limits to dressed EMD limits; bare-to-dressed information enters through M_eff. This supports the reader's CONDITIONAL verdict. I see no reason to change it; a concrete numerical lensing test of the effective-mass cross section would settle whether the concern is quantitative or merely formal.","tokens_in":16256,"tokens_out":12108,"duration_ms":127726,"concrete_test":"Compute the true lensing cross section for a spherical lens with convergence κ(r)=κ_PBH(r)+κ_h(r), where κ_h follows from Eq. (4) with α=9/4 (and, as a variant, a cored profile with core radius r_c∈[0.01,0.1] r_E,tot). Numerically solve the lens equation to map source position y to image positions, magnifications, and time delays; then impose the same detection cuts (flux ratio < Rf,max=5, w ≤ Δt ≤ Tobs=1 min, w=0.1/1 ms) to obtain y_min and y_max. Compare the resulting cross section σ_extended(M) with the point-mass cross section 4πM_eff D_LD_LS/D_S [y_max^2-y_min^2] used in Eqs. (15)-(18) for the same parameters. If the cross sections agree within ~10% over M∈[1,10^3]M⊙ and z_L,z_S, the forecast is robust; if they differ by a factor ≳2, the quoted order-of-magnitude tightening needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The algebraic core (Eqs. 27-31) is internally consistent: given dressed-MMD upper limits f^w_MMD(M), the harmonic-mean conversion to EMD follows from linearity of optical depth. The load-bearing physical input is the dressed-MMD curve itself, i.e., the effective-mass treatment of §II A. Eq. (10) fixes r_E,tot by requiring the mean convergence inside r_E to be unity; this determines only the Einstein radius. Eqs. (14)-(15) then evaluate the time delay and cross section as if the whole lens were a point mass M_eff. For a halo with Σ_h ∝ r^{-5/4} (α=9/4), the deflection profile differs from a point mass, so the image separation, magnification ratio, and time delay as functions of source position differ. Consequently the selection cuts y_max (from Rf,max=5 and Tobs=1 min) and y_min (from w=0.1/1 ms) are not those of a point lens, and the optical depth in Eq. (18) is not guaranteed to equal π r_E,tot^2(y_max^2-y_min^2) with point-lens y cuts. The paper acknowledges the inner profile may deviate from r^-9/4 but gives no sensitivity analysis. Since the headline factor ~20 and the forecast f_PBH~10^-4 are driven by M_eff, this is the key unvalidated step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a transformation, Eq. (31), that converts upper limits on the abundance of monochromatic-mass-distribution (MMD) PBHs dressed by dark matter halos into upper limits for arbitrary extended mass distributions (EMDs). The derivation follows from the linearity of the lensing optical depth in the PBH number density and yields a harmonic-mean conversion, f^w_PBH,EMD = 1 / ∫ ψ / f^w_PBH,MMD dM, formally identical in structure to the known bare-PBH conversion, Eq. (32). The authors apply this to FRB microlensing, modeling the dressed PBH as a point mass with an effective mass M_eff determined by Eq. (10), and forecast for a mock sample of 10^5 FRBs that halo dressing tightens 95% upper limits from ~2.1×10^-3 (bare) to ~1.0×10^-4 (dressed MMD) and ~1.9×10^-4 (dressed log-normal EMD), for stellar to intermediate masses.","tokens_in":16655,"tokens_out":8766,"duration_ms":97297,"significance":"The algebraic core of the paper is sound and useful. Equation (31) is a clean, parameter-free conversion that is independent of the halo-formation history and of the particular FRB selection function, provided the input dressed-MMD limits are given; this extends the known bare-PBH result in a non-trivial way. If the effective point-mass treatment of the dressed halo is reliable, the forecast is significant: a decade of FRB observations could push null-search constraints to f_PBH ~ 10^-4 in the stellar-to-intermediate-mass window, a region of interest for LIGO/Virgo/KAGRA and JWST-motivated PBH scenarios. The paper contains no fitted parameters; the derivation is transparent and the conversion is exactly stated, which are notable strengths. However, the advertised scope of the transformation and the quantitative forecast both rely on assumptions that need to be stated and validated more carefully.","major_comments":[{"comment":"The abstract, introduction, and conclusion state that the paper derives a transformation converting upper limits derived for 'bare' PBHs with a monochromatic mass distribution into constraints on 'dressed' PBHs with an EMD. This is not what Eq. (31) does. Eq. (31) converts dressed-MMD limits f^w_PBH,MMD into dressed-EMD limits f^w_PBH,EMD. A bare-MMD limit cannot be converted into a dressed-EMD limit without first computing the dressed-MMD curve using the effective-mass model. The two-step recipe involving Eq. (32) plus Eq. (31) is not a direct 'bare-to-dressed' transformation. This overstatement appears in the paper's central claims and should be corrected, either by rewording or by explicitly presenting the two-step procedure.","section":"Abstract; §I; §IV"},{"comment":"The quantitative forecast replaces the extended dark matter halo by a point mass M_eff: Eq. (10) fixes only the Einstein radius r_E,tot via the mean-convergence condition, while Eqs. (14)–(15) then use the point-mass time delay and point-mass cross-section evaluated at M_eff, and Eqs. (34)–(36) use point-mass flux-ratio and time-delay selection cuts. For a halo with ρ_h ∝ r^{-9/4}, the deflection profile is not point-like; image positions, magnification ratios, and time delays as functions of source position differ, so the point-mass cross-section and y_min/y_max cuts are not guaranteed to hold. The paper acknowledges possible deviations in the inner profile but gives no quantification or sensitivity analysis (e.g., to a core radius, slope α, or truncation). Since the headline factor-of-20 tightening and the ~10^-4 endpoint are driven by M_eff, this approximation is load-bearing for the","section":"§IIA, Eqs. (10)–(18); §IIIB"}],"minor_comments":[{"comment":"The variable z_dm appears in Eq. (3) but the text defines z_md; please unify notation.","section":"Eq. (3)"},{"comment":"The integration variable is written as dχ(z_PBH); this should presumably be dχ(z_L) as in Eq. (20).","section":"Eq. (22)"},{"comment":"There is a typo 'MPBH,,' with a double comma in the argument of r_E,PBH.","section":"Eq. (13)"},{"comment":"The same symbol f^w_PBH,MMD is used both for the upper-limit value and for a generic PBH fraction in the linearity relations. Using a separate symbol for the generic fraction would improve clarity.","section":"Eqs. (26)–(29)"},{"comment":"The caption quotes contour levels for the dressed case at f_PBH = 7×10^-3 and 3×10^-3, while the text states the strongest dressed-EMD limit is 1.9×10^-4. These appear inconsistent; please check the contour levels or the quoted strongest values.","section":"Figure 4 caption"},{"comment":"The forecast uses a single FRB redshift distribution (CRD with z_cut = 0.5). Given the strong dependence of the optical depth on lens-source geometry, a brief test of the sensitivity to z_cut or to an alternative redshift distribution would strengthen the forecast.","section":"§III"}],"recommendation":"major_revision","confidential_remarks":"The algebraic derivation of Eq. (31) is correct and is the paper's main useful contribution. My recommendation of major revision is driven by two issues: the abstract's 'bare-to-dressed' claim does not match the actual transformation, and the forecast rests on an unvalidated effective point-mass approximation for extended halos. Both are fixable within the manuscript's scope; I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: Eq. (31) is real and the derivation is clean; the forecast is more conditional than the abstract admits. The harmonic-mean conversion for dressed PBHs with extended mass distributions follows directly from optical-depth definitions, so the math is solid. It is the natural dressed-PBH analogue of Carr et al. 2017 and Zhou et al. 2024, and that analogue is genuinely new. I also appreciate that the authors state limitations in the conclusion rather than burying them.\n\nThe strongest part is Section II. Eq. (31) is an identity, not a fit; no parameters are tuned. The claim that it is independent of halo formation history is correct in the narrow sense that the conversion maps dressed-MMD limits to dressed-EMD limits, with the halo enhancement entering through the effective mass. The abstract and introduction are imprecise, though: they say the transformation converts bare-MMD upper limits into dressed-EMD constraints. It doesn't. You still need Section II A to dress the PBH. That matters because the factor-of-20 tightening comes from the halo model, not from Eq. (31).\n\nThe soft spot is the effective-mass treatment. Eq. (10) fixes the Einstein radius by mean convergence, but Eqs. (14)-(15) then treat the whole lens as a point mass with M_eff for time delays, cross sections, and the y_min/y_max selection cuts. For a power-law halo, the deflection profile is not a point mass, so the image positions, flux ratio, and time delay as functions of source position differ. The authors acknowledge the inner profile may deviate from r^-9/4 in a footnote, and the conclusion mentions modeling uncertainties, but there is no sensitivity analysis. Since the headline factor-of-20 and the f_PBH ~ 1e-4 projection depend directly on M_eff, this is the load-bearing assumption. It may well be a reasonable order-of-magnitude estimate, but the paper doesn't demonstrate it.\n\nOther issues are minor: a single FRB redshift distribution, fixed halo assembly redshift, and dependence on the log-normal parameters for the EMD contours. None of that changes the validity of Eq. (31).\n\nWho is this for? People working on PBH lensing constraints from FRBs or other microlensing probes will find the conversion formula handy. It deserves referee time, with the expectation that the effective-mass step be tested against an actual extended-lens calculation.","headline":"The dressed-EMD harmonic-mean conversion (Eq. 31) is correct and cleanly derived, but the forecast's factor-of-20 halo tightening depends on an unvalidated point-mass effective-lens approximation, so read the headline numbers as conditional.","tokens_in":17155,"tokens_out":1888,"would_cite":true,"duration_ms":18813,"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":"The paper derives a single formula that turns any existing upper limit on bare primordial black holes into a limit on halo-dressed black holes, and forecasts that future FRB observations will push the dark-matter fraction below 10^-4.","keywords":["primordial black holes","dark matter halos","microlensing","fast radio bursts","extended mass distribution","monochromatic mass distribution","optical depth","dark matter abundance"],"falsifier":"A full numerical ray-tracing computation of the microlensing optical depth through the actual extended halo profile, compared with the effective point-mass approximation, would settle the central claim; if the exact cross-sections differ by more than the quoted uncertainties, the order-of-magnitude tightening is not robust. Observationally, detecting a lensed FRB whose image flux ratio and time delay cannot be reproduced by any point mass M_eff but match an extended mass profile would falsify the dressed-halo model as parametrized.","tokens_in":16134,"feed_emoji":"🔭","tokens_out":5979,"duration_ms":59371,"temperature":0.7,"pith_summary":"This paper argues that primordial black holes (PBHs) are typically draped in extended dark-matter halos, and that this halo changes the way they would appear in the microlensing of fast radio bursts (FRBs). The central result is a transformation formula, Eq. (31), that converts any upper limit on the abundance of 'bare' PBHs with a monochromatic mass distribution into a constraint on 'dressed' PBHs with an arbitrary extended mass distribution. The conversion is independent of how the halo formed and works for any microlensing probe, not just FRBs. Applying it to a simulated sample of 10^5 FRBs, the paper forecasts that halo dressing tightens the 95% upper limit on the PBH dark-matter fraction by about an order of magnitude, from roughly 2×10^-3 to about 10^-4, across stellar to intermediate masses. If this holds, a decade of FRB observations would make microlensing one of the most sensitive existing probes of sub-percent PBH dark matter.","feed_headline":"Halo-dressed black holes tighten FRB dark-matter limits to 10^-4","feed_subtitle":"A new transformation turns existing PBH limits into dressed-halo forecasts; 100,000 FRBs would probe f_PBH down to 10^-4.","key_machinery":"The central object is the effective mass M_eff defined by Eq. (10), which maps the dressed system (PBH plus halo) onto a point mass of mass M_eff, thereby reusing all standard point-lens results. The transformation of Eq. (31) is the power tool: it is a harmonic-mean-like combination of monochromatic limits that follows from the linear dependence of the optical depth on f_PBH and the fact that the EMD optical depth is a ψ-weighted average of MMD optical depths. This makes the conversion universal — independent of halo formation history and of the specific FRB selection cuts, as long as those cuts are the same for both terms.","core_discovery":"The paper treats a PBH of bare mass M_PBH surrounded by a dark-matter halo with a power-law density profile ρ ∝ r^{-9/4} and mass M_h ≈ 3(1000/(1+z_md)) M_PBH. It defines an effective point mass M_eff by requiring that the average convergence of the halo plus the PBH within the total Einstein radius equals unity (Eq. 10). With this substitution, all point-mass lensing formulas for Einstein radius, cross-section, and time delay are applied using M_eff. The key analytical step is the transformation of Eq. (31): if f^w_PBH,MMD(M) is the upper limit for a monochromatic mass M, then the upper limit for any extended mass distribution ψ(pmf,M) is the reciprocal of the integral of ψ/f^w_PBH,MMD. The","pith_inferences":["If the inner halo profile is cored instead of r^{-9/4}, the effective-mass approximation may overestimate the lensing cross-section; the order-of-magnitude tightening should be checked against full extended-lens ray-tracing before being used for survey design.","The same transformation could be run in reverse: a measured excess of lensed FRBs, combined with monochromatic limits, could be used to reconstruct the mass function ψ, offering a new handle on PBH formation models.","The superlinear effective-mass scaling implies that extended mass functions with a high-mass tail are disproportionately constrained; surveys optimized for longer time delays would be especially powerful for intermediate-mass black holes.","Should the 10^5-FRB forecast materialize, the combination of FRB lensing with existing microlensing and dynamical constraints would essentially close the stellar-to-intermediate-mass window for PBHs as a significant dark-matter component."],"forward_implications":["With 10^5 FRBs, a null search would exclude f_PBH ≳ 10^-4 for masses around 1 to 10^3 M_sun, roughly an order of magnitude stronger than the bare-PBH limit.","The transformation allows any previously published monochromatic-mass lensing limit to be immediately recast as an extended-mass limit for dressed PBHs, without redoing the survey analysis.","Because the derivation only uses the linearity of optical depth in f_PBH, the same conversion applies to other microlensing probes such as stellar microlensing or lensing of gravitational waves.","Halo dressing makes the effective mass grow super-linearly with bare mass, so the constraints are nonlinear: higher-mass PBHs are boosted more, which changes the shape of the exclusion region.","The forecast is within reach of upcoming FRB surveys, making FRB microlensing a competitive and complementary probe of PBHs in the stellar-to-intermediate-mass window."],"fun_headline_variants":["FRB microlensing maps halo-dressed PBHs down to 10^-4","Dressed PBH halos tighten FRB dark-matter limits by order of magnitude","New transform projects PBH halo effects into FRB microlensing constraints","100k FRBs could probe halo-dressed black holes to f=10^-4","Halo enhancement boosts FRB limits on primordial black holes to 10^-4"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The forecast rests on the assumption that a halo-dressed PBH behaves exactly like a point mass of effective mass M_eff for lensing cross-sections and time delays — that the halo only adds mass inside the Einstein radius according to the assumed r^{-9/4} profile and mass scaling, and that the point-lens selection cuts remain unchanged.","fun_headline_variants_meta":{"raw":{"variants":["FRB microlensing maps halo-dressed PBHs down to 10^-4","Dressed PBH halos tighten FRB dark-matter limits by order of magnitude","New transform projects PBH halo effects into FRB microlensing constraints","100k FRBs could probe halo-dressed black holes to f=10^-4","Halo enhancement boosts FRB limits on primordial black holes to 10^-4"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000319,"raw_usage":{"total_tokens":1696,"prompt_tokens":865,"completion_tokens":831,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":724}},"tokens_in":609,"tokens_out":831,"duration_ms":8849,"temperature":1.0,"reasoning_tokens":724,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T18:17:39.912490+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A full numerical ray-tracing computation of the microlensing optical depth through the actual extended halo profile, compared with the effective point-mass approximation, would settle the central claim; if the exact cross-sections differ by more than the quoted uncertainties, the order-of-magnitude tightening is not robust. Observationally, detecting a lensed FRB whose image flux ratio and time delay cannot be reproduced by any point mass M_eff but match an extended mass profile would falsify the dressed-halo model as parametrized.","supporting_citations":[],"review_version":1}