{"id":"c9fa18be-7e49-4c51-b6f4-6cc690058265","arxiv_id":"1908.05696","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The one-loop determinants for vector multiplets scale as (v1 chi_V)^{1/4} per multiplet, physical hypermultiplets give the inverse, and these combine into logarithmic corrections to AdS4 black hole entropy with an undetermined gravity-multiplet coefficient a0.","lead":"This paper computes one-loop quantum corrections for vector and hypermultiplets on the non-compact near-horizon geometry H2 x Sigma_g in 4d N=2 gauged supergravity. The results feed into the quantum entropy function and determine part of the logarithmic corrections to Bekenstein-Hawking entropy for AdS4 black holes.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The non-compact index-theorem assumption is load-bearing for the hypermultiplet and higher-genus determinants, which lack the mode-analysis cross-check that supports the vector-multiplet result.","rationale":"The reader identified the non-compact extension of the index theorem as the weakest assumption, and my read agrees. I sharpen the point: the vector-multiplet sector is protected by the explicit mode analysis in Appendix B, so the assumption is not load-bearing there. The physical hypermultiplet determinant, by contrast, rests entirely on the index-theorem argument and on the contour choice (3.11), with no mode-level check. That makes it the weakest link in the technical claim that the full one-loop determinant is (v1 chi_V)^{1/4(n_V+1-n_H)}. I do not treat the localization-measure scaling as the primary concern because the paper does not claim to derive Z_measure; it explicitly conditions equation (4.16) on Z_measure ~ Lambda^0 and states that the measure remains the least understood part. The determinant claim is presented as the main result, and the unverified part of that claim is the hypermultiplet and higher-genus sector. A mode analysis for D_hyp would settle whether the non-compact boundary-condition replacement changes the index; until then, the conditional verdict is appropriate. I also note that the paper's own limitation statements in Section 1 and around (2.55) flag this gap, which supports rather than undermines the conditional assessment.","tokens_in":37025,"tokens_out":6399,"duration_ms":68727,"concrete_test":"Perform the explicit mode analysis for a physical hypermultiplet on H2 x S2, in exact analogy with Appendix B: expand A_i_alpha and Xi_i_alpha in SU(2)_R-charged spherical harmonics with the boundary conditions (2.29)-(2.33), form the kernel and cokernel ODEs for D_hyp from (3.20), and count normalizable solutions for each mode number n. Verify that the resulting multiplicities are exactly the negative of those in (2.58), with the n = 0 constant modes discarded. If a non-empty kernel or a different cokernel count appears, equation (3.23) and hence the vector/hypermultiplet balance in (4.16) would need revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The vector-multiplet determinant is not the main vulnerability: although the Atiyah-Singer computation (2.55) is applied to the non-compact space H2 x S2, Section 2.4 supplies an independent mode-level kernel/cokernel analysis with the same boundary conditions, so the vector result (2.86) has support beyond the compact-index assumption. The load-bearing gap is in the physical hypermultiplet result (3.23) and its higher-genus extension. There the one-loop determinant is read off entirely from the symbol of D_hyp and the statement that at eta = 0 it reduces to the ASD complex; no mode expansion with the normalizable boundary conditions of Section 2.4.1 is provided. If the equivariant index on H2 x Sigma_g differs from the compact-manifold value after the boundary-condition replacement, the multiplicity entering (3.23) changes and the inverse vector determinant is not established. Since n_H enters k2 in (4.16), the entropy prediction would shift accordingly. The paper explicitly acknowledges the compactness assumption (footnote 2 and the paragraph below (2.55)); the concern is therefore not hidden, but it is unresolved precisely for the sector with no independent cross-check.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript computes one-loop determinants for abelian vector multiplets and hypermultiplets on the non-compact near-horizon geometry H2 x Sigma_g in 4d N=2 gauged supergravity, as required for the quantum entropy function of BPS black holes. For a vector multiplet the determinant is obtained by three independent methods: an explicit mode analysis with the boundary conditions of Section 2.4, an equivariant Atiyah-Singer index computation, and an Atiyah-Bott fixed-point computation. All three give Z_vec = (v1 chi_V)^{1/4} for a spherical horizon and (v1 chi_V)^{chi(Sigma_g)/8} for higher genus. A physical hypermultiplet is argued, from the symbol of its D10 operator and its reduction to the anti-self-dual complex, to contribute the inverse factor, while the compensating hypermultiplet is argued to be trivial. Combining these results, the full one-loop determinant is written as (v1 chi_V)^{1/4(n_V+1-n_H)+a0}, with a0 parametrizing the uncomputed Weyl-multiplet and Kaluza-Klein contributions. The paper then derives logarithmic corrections to the black hole entropy with coefficients k1 = -(n_V - n_H)/2 and k2 = (1-g)(1/4(n_V+1-n_H)+a0), assuming a charge-independent localization measure.","tokens_in":37458,"tokens_out":10773,"duration_ms":103549,"significance":"If the assumptions are justified, this is a substantial step forward: it provides the first systematic one-loop determinant computations on H2 x Sigma_g in gauged supergravity, gives a three-way cross-check for the vector multiplet, and produces concrete logarithmic corrections that can be compared with topologically twisted index results and with 11d supergravity calculations. The separation into k1 and k2 and the topology dependence through chi(Sigma_g) are interesting and physically well motivated. The paper is also commendably transparent about the unresolved a0 and measure issues. However, the central entropy formula is conditional on two unproven inputs: the extension of index theorems from compact to non-compact spaces, and the assumed Lambda^0 scaling of the localization measure. Since the hypermultiplet result lacks an independent mode-level check, the n_H-dependence of the final coefficient is not yet established to the same standard as the vector multiplet result.","major_comments":[{"comment":"The central technical assumption appears in footnote 2 and in the paragraph below Eq. (2.55): the Atiyah-Singer index theorem, stated for smooth compact manifolds, is applied to the non-compact space H2 x Sigma_g with the assertion that the boundary and smoothness conditions of Section 2.4.1 make the space effectively compact. No proof, reference, or counterexample is given for this replacement. For the vector multiplet the mode analysis of Section 2.4 provides an independent check of the resulting determinant, so the vector result (2.86) is robust. For the physical hypermultiplet (3.23) and the higher-genus formulas (2.88) and (4.16), there is no independent mode-level check, and a boundary correction to the equivariant index would change the n_H-dependent coefficient in (4.16). This assumption should either be proved or the hypermultiplet result should be derived by a method that does not rely on it.","section":"§2.5 and footnote 2"},{"comment":"Eq. (3.23) is derived entirely from the symbol of D_hyp, whose reduction at eta=0 is identified with the ASD complex. In contrast to Section 2.4, no mode expansion of the hypermultiplet fields with the normalizable boundary conditions (2.29)-(2.33) is presented; the paper states in the last paragraph of Section 3.2 that such an analysis 'should still be possible in principle' but is not given. Since the equivariant index on H2 x Sigma_g is only known under the compactness assumption flagged above, the inverse vector determinant for each physical hypermultiplet is not established to the same standard as the vector result. Because n_H enters k2 in (4.16), this is a load-bearing gap, not a mere presentation issue.","section":"§3.2, Eq. (3.23)"},{"comment":"The asymptotic argument intended to prove kernel emptiness does not close. From (B.31), the requirement that u*(eta) not grow at infinity only forces c1=c3=0; the remaining terms with c2 and c4 decay and are compatible with the normalizable boundary conditions (2.29). The paper does not show that the smoothness conditions at eta=0 force c2=c4=0. The sentence 'A numerical analysis (which we will not present here) hints at the absence...' is not a substitute for a proof. This gap affects the completeness of Method I, though not the final vector determinant, which is independently supported by Methods II and III.","section":"Appendix B.1, case (n≠0, l≠0)"},{"comment":"Eq. (4.14) and the final formula (4.16) depend on the assumption Z_measure ~ Lambda^0 below (4.12). The paper acknowledges this and notes that a nonzero exponent a_m would add a term to the coefficient of log(1/(g^2 G_N)). The cited results for ungauged supergravity ([5,9]) do not automatically apply to the gauged theory considered here. Since the log-correction formula is the main physics output, this assumption is load-bearing; the entropy formula should be stated as conditional on the measure scaling, or the scaling should be derived.","section":"§4, below (4.12)"}],"minor_comments":[{"comment":"The n=0 constant ghost and anti-ghost modes are discarded because they are not normalizable on the non-compact space. This is plausible, but since the index theorem is being assumed to hold after a boundary-condition replacement, it would be useful to spell out why these modes are not part of the determinant under those boundary conditions and how they are removed in the Atiyah-Singer and Atiyah-Bott treatments.","section":"§2.4.4 and (2.58)"},{"comment":"The zeta-function regularization step should state the explicit values zeta(0)=-1/2 and -zeta'(0)=1/2 log(2pi) (or cite the convention), since the exponent 1/4 depends on the regularization of sum_{n>=1} 1.","section":"§2.7, Eq. (2.81)"},{"comment":"The replacement sum_{n2>=0} 1 = zeta_R(0) = -1/2 is a regularization choice rather than a topological input; this should be flagged as such, because different q2-expansions with the same zeta-function convention would give different finite pieces.","section":"§2.6, around (2.75)-(2.76)"},{"comment":"The phrase 'extracted a factor of (1-g) from the unknown coefficient a0' is ambiguous; clarify whether a0 in (4.16) denotes the genus-zero coefficient rescaled by (1-g) or a genus-independent constant.","section":"§4, Eq. (4.16)"},{"comment":"The symbol matrix (3.20) uses the notation X^P_0, X^P_1 that was defined for vector multiplets in (2.47); redefine these for hypermultiplets to avoid confusion.","section":"§3.2, Eq. (3.20)"}],"recommendation":"major_revision","confidential_remarks":"The vector multiplet section is careful and internally checked, and the paper is transparent about the unresolved a0 and measure issues. My main concern is that the hypermultiplet determinant, which enters the final entropy coefficient through n_H, is supported only by the compact-manifold index theorem plus a symbol-level identification. I would like the authors either to provide a mode-level analysis for the hypermultiplet with the stated boundary conditions, or to prove (or cite a proof) that the equivariant index is invariant under the boundary-condition replacement. Without one of these, Eq. (3.23) and the n_H-dependence of (4.16) are not fully established. A secondary concern is the measure scaling, which is explicitly assumed rather than derived; the final entropy formula should be presented as conditional on that assumption unless it can be justified in the gauged supergravity context."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the vector multiplet part of this paper is in good shape, the hypermultiplet part is a genuine gap that the authors flag but do not close, and the final entropy formula is explicitly conditional on the localization measure. This paper deserves a serious referee, but the referee should not let the hypermultiplet claim through without an independent check.\n\nWhat is actually new: the one-loop determinants for vector and hypermultiplets on H2 x Sigma_g, and the resulting two-scale logarithmic correction structure for AdS4 black holes. The vector multiplet determinant is computed three ways—direct mode analysis, Atiyah-Singer, and Atiyah-Bott with refinement—and all three agree. The mode analysis is real work: explicit kernel/cokernel equations, boundary conditions from normalization of the path integral and from supersymmetry, and explicit solution of the radial ODEs in the special cases. The n, l nonzero kernel case is handled by an asymptotic argument, not just numerics. So the vector result has support independent of the compact-index assumption. I am fairly confident in (2.86) and its higher-genus generalization.\n\nWhere the soft spots are: the physical hypermultiplet determinant (3.23) is read off from the symbol of D_hyp and the statement that it reduces to the ASD complex at eta=0. There is no mode analysis with the same boundary conditions, so the non-compact index-theorem assumption is load-bearing precisely where there is no cross-check. The paper acknowledges this (footnote 2 and the paragraph below (2.55)), and says a mode analysis would be more involved; that is honest, but it means the n_H dependence of k2 is a plausible conjecture rather than an established result. The other assumption is Z_measure ~ Lambda^0, used to get (4.15). They also flag this. So the final formula is a conditional prediction, not a closed one. Those are the two things a referee should push on.\n\nThe citation pattern is fine; self-citations to [1] supply the localization locus and algebra, not the one-loop determinant. The paper is clearly written, technically serious, and honest about its open points. I would send it to peer review. A good referee will ask for either a mode-level treatment of the physical hypermultiplet or a precise statement of the boundary-condition replacement for the index theorem. If the vector determinant were the only claim, I would be ready to accept; as is, it is a solid paper with one under-supported sector.","headline":"Solid vector-multiplet determinants with three internal checks; the hypermultiplet result and the final entropy formula rest on assumptions that need referee attention.","tokens_in":37773,"tokens_out":2942,"would_cite":true,"duration_ms":30559,"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 one-loop determinant for a vector multiplet on H2 x Sigma_g equals (v1 chi_V)^(1/4), and physical hypermultiplets contribute its inverse.","keywords":["quantum entropy function","gauged supergravity","one-loop determinant","supersymmetric localization","equivariant index","logarithmic corrections","vector multiplets","hypermultiplets"],"falsifier":"Solve the radial ODE system (B.14)-(B.16) numerically on a regulated version of H2 x Sigma_g with the stated boundary and smoothness conditions; any normalizable kernel mode with n or l non-zero would change the multiplicities in (2.44) and therefore the v1 power in (2.86). Alternatively, repeat the n=0 analysis with a compact regulator that keeps the constant ghost modes, and check whether ghost-for-ghost zero-modes cancel them exactly.","tokens_in":36835,"feed_emoji":"🕳️","tokens_out":10791,"duration_ms":92890,"temperature":0.7,"pith_summary":"This paper tries to establish the one-loop determinants that control the logarithmic corrections to the Bekenstein-Hawking entropy of supersymmetric black holes in four-dimensional $\\mathcal{N}=2$ gauged supergravity. Working on the non-compact near-horizon geometry $\\mathbb{H}_2 \\times \\Sigma_g$, it derives that each abelian vector multiplet contributes $Z_{\\text{vec}}^{1\\text{-loop}} = (v_1\\chi_V)^{1/4}$, each physical hypermultiplet contributes the inverse, and the combined one-loop factor entering the localized quantum entropy function is $(v_1\\chi_V)^{\\frac{1}{4}(n_V+1-n_H)+a_0}$. Three independent methods---an explicit mode analysis, the equivariant Atiyah-Singer index theorem, and the Atiyah-Bott fixed-point theorem with refinement---give the same determinant. If the claims hold, the entropy expansion is $\\log d = \\frac{A_H}{4G_N} - \\frac{1}{2}(n_V-n_H)\\log\\frac{A_H}{4G_N} + (1-g)\\left(\\frac{1}{4}(n_V+1-n_H)+a_0\\right)\\log\\frac{1}{g^2 G_N} + \\cdots$, where $a_0$ stands for the not-yet-computed Weyl and Kaluza-Klein multiplet contributions. The result matters because it turns the localization program from reproducing the area law into a concrete prediction for the first subleading correction that holographic counting can test.","feed_headline":"Black hole entropy logs traced to a quarter-power determinant","feed_subtitle":"Vector multiplets give (v1 chi_V)^(1/4); hypermultiplets invert it, setting the k2 log term.","key_machinery":"The load-bearing object is the differential operator $D_{10}$ that appears when the localizing supercharge is put in cohomological form: for a vector multiplet it maps the bosonic set $X_0 = \\{\\sigma, \\widetilde{W}_\\mu\\}$ to the fermionic and ghost set $X_1 = \\{c,b,\\lambda_{ij}\\}$ through the symbol shown in (2.23), and the one-loop determinant is $\\sqrt{\\det \\mathrm{Coker}\\,D_{10} / \\det \\mathrm{Ker}\\,D_{10}}$ evaluated on the eigenvalues $2in/\\sqrt{v_1}$ of $\\widehat{Q}^2$. Three methods fix the equivariant index of $D_{10}$: direct solution of the kernel and cokernel radial ODEs under the paper's boundary conditions, the Atiyah-Singer index theorem applied to the fixed codimension-two locus $\\mathbb{S}^2$ (where the symbol reduces to the self-dual complex), and the Atiyah-Bott fixed-point theorem after refining the Hamiltonian so the fixed points are isolated. All three agree on cokernel multiplicities $m^{(1)}_n = 1$ for $n\\neq 0$ and $2$ for $n=0$, with the two $n=0$ constant ghost modes discarded, which produces the product $\\prod_{n\\geq 1}(4n^2/v_1)^{1/2}$ and, after zeta-function regularization, $(v_1\\chi_V)^{1/4}$. For physical hypermultiplets the same symbol at the fixed point is the anti-self-dual complex, explaining the inverse determinant.","core_discovery":"The central claim, stated on the paper's own terms, is that the one-loop determinant of a single abelian vector multiplet on $\\mathbb{H}_2 \\times \\Sigma_g$, with the paper's normalizable boundary conditions and gauge choice, is exactly $Z_{\\text{vec}}^{1\\text{-loop}} = (v_1\\chi_V)^{1/4}$ for a spherical horizon, generalizing to $(v_1\\chi_V)^{\\chi(\\Sigma_g)/8}$ for a genus-$g$ horizon; the compensating hypermultiplet contributes a trivial factor, while each physical hypermultiplet contributes the inverse $(v_1\\chi_V)^{-1/4}$. Assembling these pieces with the classical attractor action, and assuming the localization measure scales as $\\Lambda^0$ in the large-charge limit, the localized quantum entropy function gives $\\log d = \\frac{A_H}{4G_N} - \\frac{1}{2}(n_V-n_H)\\log\\frac{A_H}{4G_N} + (1-g)\\left(\\frac{1}{4}(n_V+1-n_H)+a_0\\right)\\log\\frac{1}{g^2 G_N} + \\cdots$. The coefficient $k_1$ is fixed by the Legendre/Hessian conversion between canonical and microcanonical ensembles, while the newly computed $k_2$ is traced to the one-loop determinants and carries the horizon topology through the factor $(1-g)$; the unknown $a_0$ parametrizes the still-missing Weyl and massive Kaluza-Klein contributions.","pith_inferences":["Extension beyond the paper: the same vector and hypermultiplet determinants should hold for rigidly supersymmetric four-dimensional $\\mathcal{N}=2$ theories placed on $\\mathbb{H}_2\\times\\Sigma_g$, since these multiplets are the basic matter building blocks; a direct rigid localization would test the $\\pm 1/4$ exponents independently of gravity.","Extension beyond the paper: the fact that the vector and hypermultiplet contributions are inverses suggests a supersymmetric matter content with $n_H = n_V + 1$ would make the full one-loop factor topology-independent; checking whether any holographic dual realizes this spectrum would either sharpen or falsify the cancellation pattern.","Extension beyond the paper: the refinement trick used in Section 2.6 points to rotating near-horizon geometries as a regulator; one could test whether the unreffined determinant is independent of the order in which the $q_2$ expansion is taken, which would give a consistency condition on the regularization.","Extension beyond the paper: because $k_2$ multiplies $\\log(1/(g^2G_N))$ while $k_1$ multiplies $\\log(A_H/4G_N)$, a holographic test could separate the two coefficients by computing the entropy at fixed charges while varying the AdS radius, a distinction that does not exist for asymptotically flat black holes."],"forward_implications":["If the central claim is right, the logarithmic term in the entropy depends on the horizon genus through $(1-g)$: spherical horizons receive the full one-loop contribution, a torus horizon ($g=1$) receives none, and higher-genus horizons flip its sign.","The coefficient of the $\\log(1/(g^2G_N))$ term is set by the vector/hypermultiplet count ($n_V+1-n_H$) and the undetermined $a_0$, so matter content alone decides whether this correction is positive, negative, or zero.","The ensemble-conversion coefficient $k_1 = -\\tfrac12(n_V-n_H)$ is independent of horizon topology, while the one-loop coefficient $k_2$ is not, so the two logarithms can be told apart by measuring their dependence on the AdS$_4$ scale versus the horizon area.","For higher-genus horizons the vector-multiplet determinant becomes $(v_1\\chi_V)^{\\chi(\\Sigma_g)/8}$, making the one-loop factor a topological quantity through the Euler characteristic.","If future work fixes $a_0$ by computing the Weyl multiplet determinant, equation (4.16) becomes a complete macroscopic prediction for the subleading entropy that can be compared directly with the topologically twisted index on the field-theory side."],"supporting_citations":[{"why":"establishes the localization locus, classical action, and the near-horizon background on which the one-loop computation is built.","marker":"[1]"},{"why":"supplies the localization determinant formalism and the cohomological split that reduces the one-loop determinant to an equivariant index.","marker":"[6]"},{"why":"defines the quantum entropy function, the object whose one-loop evaluation gives the logarithmic corrections.","marker":"[8]"},{"why":"provides the functional-determinant and index-theorem technology, together with boundary-condition treatment, that the paper adapts from compact to non-compact backgrounds.","marker":"[9]"},{"why":"gives the AdS2 x S1 mode analysis and boundary conditions whose vector-multiplet kernel and cokernel structure the paper extends to H2 x Sigma_g.","marker":"[11]"},{"why":"supplies the on-shell half-BPS near-horizon attractor solution that fixes the localizing background fields.","marker":"[27]"},{"why":"gives the algorithmic cohomological split and BRST/equivariant framework used to identify the D10 operator.","marker":"[30]"},{"why":"provides the equivariant Atiyah-Singer index formula used in Method II for the fixed codimension-two locus.","marker":"[32]"}],"fun_headline_variants":["Vector multiplet determinant powers black hole entropy logs","Hypermultiplet inversion sets black hole log correction","One-loop determinants yield topology-dependent log entropy","Exact determinants: (v1 chi_V)^(1/4) for spherical horizon"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that index theorems proven for compact manifolds stay valid on the non-compact H2 x Sigma_g once the paper's boundary and smoothness conditions are imposed, and that the localization measure is scale-free in the large-charge limit.","fun_headline_variants_meta":{"raw":{"variants":["Vector multiplet determinant powers black hole entropy logs","Hypermultiplet inversion sets black hole log correction","One-loop determinants yield topology-dependent log entropy","Exact determinants: (v1 chi_V)^(1/4) for spherical horizon"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000419,"raw_usage":{"total_tokens":2176,"prompt_tokens":982,"completion_tokens":1194,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":598,"completion_tokens_details":{"reasoning_tokens":1126}},"tokens_in":598,"tokens_out":1194,"duration_ms":10292,"temperature":1.0,"reasoning_tokens":1126,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:06:52.374350+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the radial ODE system (B.14)-(B.16) numerically on a regulated version of H2 x Sigma_g with the stated boundary and smoothness conditions; any normalizable kernel mode with n or l non-zero would change the multiplicities in (2.44) and therefore the v1 power in (2.86). Alternatively, repeat the n=0 analysis with a compact regulator that keeps the constant ghost modes, and check whether ghost-for-ghost zero-modes cancel them exactly.","supporting_citations":[{"cited_title":"Functional determinants, index theorems, and exact quantum black hole entropy","cited_arxiv_id":"1504.01400","evidence_quote":"provides the functional-determinant and index-theorem technology, together with boundary-condition treatment, that the paper adapts from compact to non-compact backgrounds."},{"cited_title":"Electric and magnetic charges in N=2 conformal supergravity theories","cited_arxiv_id":"1107.3305","evidence_quote":"supplies the on-shell half-BPS near-horizon attractor solution that fixes the localizing background fields."},{"cited_title":"Twisting and localization in supergravity: equivariant cohomology of BPS black holes","cited_arxiv_id":"1806.04479","evidence_quote":"gives the algorithmic cohomological split and BRST/equivariant framework used to identify the D10 operator."},{"cited_title":"The Atiyah-Singer Index Theorem: An Introduction,","cited_arxiv_id":null,"evidence_quote":"provides the equivariant Atiyah-Singer index formula used in Method II for the fixed codimension-two locus."}],"review_version":1}