{"id":"36f5063a-5c4f-4577-a6cd-156ce35cae2f","arxiv_id":"2505.10626","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For toric AdS4 black holes, the geometric entropy extremization of Gauntlett, Martelli and Sparks is shown to be equivalent to I-extremization with a generalized free energy built from the master volume, including baryonic charges.","lead":"This paper proves that the entropy of a wide class of black holes in M-theory can be written as a single extremization problem, including the baryonic charges that had resisted previous quantum field theory treatments. The proof turns a geometric quantity, the master volume of the internal seven-manifold, into a universal building block for black hole entropy and free energy predictions.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"For singular toric CY4 fans the master volume is resolution-dependent in the baryonic sector (Eqs. 3.4, 3.32), so the entropy function is not well-defined for all toric SE7 until a physical resolution is specified; the paper's own limitations state this.","rationale":"Verdict unchanged. The reader's conditional verdict is appropriate and my read does not move it. The strongest evidence is the algebraic identity (2.71) and the exact matches with the supergravity attractor for Q^{1,1,1} and M^{1,1,1} (Eqs. 4.22, 4.36), including the M^{1,1,1} baryonic entropy (3.94) previously found in [70]. These checks are independent and parameter-free after charge identification. The most load-bearing unresolved assumption is not the identification of the generalized free energy with the large-N S3 free energy for chiral quivers: that identification (2.39) is explicitly a conjecture and is not needed for the gravitational entropy theorem in the smooth examples. The resolution dependence is more central because it affects the entropy function itself. The authors themselves flag it in Section 3 and Section 5, and it is absent from the tested examples. The proposed check settles whether the on-shell entropy inherits the off-shell ambiguity (3.4)/(3.32). Because the paper is explicit about the limitation and the core proof is sound where the master volume is well defined, rejection is not warranted; the conditional verdict stands.","tokens_in":43057,"tokens_out":9542,"duration_ms":100546,"concrete_test":"Recompute the C x C purely baryonic static entropy using the second resolution of the facet (1253), namely the triangulation with edge v1 -> v5 (resolution ii), instead of the edge v2 -> v3 used in Eq. (3.3). Construct V^(ii)(lambda, b), perform the Legendre transform (2.20)-(2.21), impose the baryonic twist (3.14)-(3.16), and evaluate the entropy function (3.21) at the critical point (3.22) for a fixed charge pair (p1, p2). Compare the result with Eq. (3.23). If the entropies differ, the claimed baryonic black hole entropy is resolution-dependent and the central claim fails for singular toric SE7. If they coincide on-shell, repeat the comparison for the flavored C3 fan, where two resolutions differ by (3.32); a coincidence there would show the ambiguity cancels on-shell, while a mismatch would confirm that an explicit physical-resolution input is required.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that for a general toric SE7 and arbitrary magnetic fluxes and baryonic charges, the entropy is obtained by extremizing S(Delta_a, n_a, epsilon) = (4 pi/epsilon)[V(N, Delta_+, b1) - V(N, Delta_-, b1)] (Eq. 2.66), with the baryonic directions made stationary by the identity (2.71). This requires the Legendre transform V(N, Delta, b1) to be a well-defined function of the toric data alone. The paper explicitly states this is not the case when a CY4 fan has facets with worse-than-orbifold singularities: 'the master volume depends on the choice of resolution' (Section 3). Concretely, V_res(i)-V_res(ii) is proportional to the cube of a baryonic Kahler modulus, X^3/b4 in Eq. (3.4) and (X^(1))^3 in Eq. (3.32), for C x C and flavored C3, respectively. Baryonic black holes have nonzero X in general (e.g. Eq. 3.17), so this difference does not vanish in the sector the paper newly covers. The paper explicitly says the ambiguity arises only for black holes carrying baryonic charges and that no baryonic black holes have been studied in such singular geometries. The independent checks in Section 4 use the smooth/regular manifolds Q^{1,1,1} and M^{1,1,1}, where the master volume is resolution-independent, so those checks do not probe this failure. Thus the universal statement is not established for the full class of toric SE7; the construction is at best a prescription whose dependence on the choice of crepant resolution, and the physical selection among resolutions, is left open.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes to prove that the entropy of a broad class of BPS black holes asymptotic to AdS4×SE7 can be obtained from an I-extremization principle built from the master volume of the internal toric Calabi-Yau four-fold cone. The central object is a constrained Legendre transform V(N, Δa, b1) of the master volume, which the authors conjecture to equal the large-N S3 free energy, now including baryonic directions. For horizons of topology AdS2×Σ×SE7, the supersymmetric action of the geometric approach of [33,34] is recast as S(Δa, na, ε) = (4π/ε)[V(N, Δ+, b1) − V(N, Δ−, b1)], with Δ± related to Δ and the magnetic fluxes. The paper proves an identity, Eq. (2.71), stating that the derivative of S along the baryonic charge directions vanishes identically, so extremization over all Δa automatically includes the baryonic directions. The bulk of the paper computes the generalized free energy for five toric geometries (C×C, flavored C3, Q^{1,1,1}, M^{1,1,1}, and the complex cone over SPP), constructs purely baryonic and half-baryonic twists, and then shows that for dyonic black holes in Q^{1,1,1} and M^{1,1,1} the resulting entropy functions reproduce the independent supergravity attractor computations of [27] and [70] exactly.","tokens_in":43387,"tokens_out":25033,"duration_ms":255865,"significance":"If the construction is valid, it resolves a long-standing puzzle in three-dimensional holography: the gravitational block that enters the entropy function can depend on all chemical potentials, including baryonic ones, and it provides concrete predictions for the large-N free energy of chiral quiver theories and for the entropy of baryonic black holes. The paper has several real strengths: the baryonic extremization identity (2.71)-(2.72) is derived algebraically from the Legendre-transform relation (2.28); the purely baryonic entropy functions in Section 4 match the independent supergravity attractor results of [27] and [70] exactly (Eqs. (4.22), (4.32), (4.36)); and the paper supplies streamlined derivations of the equivalences between a-, c-, and F-extremization and their gravitational counterparts. The main unresolved issue is the resolution dependence of the master volume for toric fans with worse-than-orbifold facet singularities, which the authors candidly acknowledge but which limits the claimed universality of the construction.","major_comments":[{"comment":"The master volume is not a well-defined function of the toric data alone for fans with worse-than-orbifold facet singularities. The paper's own computations show V_res(i) − V_res(ii) = −8π^4 X^3/(3 b4) for C×C and V_here − V_there = 8π^4 r1 (X^{(1)})^3/(3 b3 r2^3) for flavored C3. These differences are nonzero precisely when the baryonic Kähler modulus is nonzero, i.e., exactly in the baryonic sector that this paper newly covers. Since the entropy function (2.66) is built from V, the predicted baryonic black hole entropy is resolution-dependent for these geometries, and the paper does not supply a physical principle that selects one resolution over the other. The checks in Section 4 use the smooth manifolds Q^{1,1,1} and M^{1,1,1}, where the ambiguity is absent, so those checks do not probe the problematic regime. The universal statement for 'a general toric SE7' is therefore not established; the authors should either restrict the theorem to smooth/regular toric fans or provide a physical selection criterion (for example, from the attractor flow) and verify it in a singular example.","section":"§3, Eqs. (3.4), (3.32); §5"},{"comment":"The identification of the constrained Legendre transform V7(N, Δ, b1) with (√b1/(4π)^3) F_S3(Δ), including baryonic directions, is stated as a conjecture and remains untested for chiral quivers, which are precisely the theories where the new baryonic dependence is most relevant. The explicit checks in Section 4 compare the master-volume side with supergravity attractor computations, not with an independent field-theory computation of F_S3. Since the title and abstract advertise predictions for the large-N limit of partition functions, the conjectural status of (2.39) should be stated prominently, and a nontrivial test in a chiral quiver, or a sharper argument for why the master volume must coincide with the large-N free energy, is needed before those predictions can be regarded as established.","section":"§2.2.2, Eq. (2.39)"}],"minor_comments":[{"comment":"The displayed chain of equalities in Eq. (2.72) is missing the key justification. The Kähler parameters of the two poles are related by λ±_a = λ_a + c± with c± independent of a, so Σ_a B_a (λ+_a − λ−_a) = 0 because Σ_a B_a = 0; as printed, the step writing λ+ = λ− looks like an error. Please revise this step to make the proof transparent.","section":"Eq. (2.72) and Eq. (2.53)"},{"comment":"There are small typos: 'contrained' should be 'constrained' in §2.2.1, and 't’Hooft' should be ''t Hooft' in §2.2.2. In addition, Section 3.5 says 'The toric diagram is given in Figure 1' but the relevant figure is Figure 5.","section":"§2.2.1 and §2.2.2"},{"comment":"Several master-volume formulas contain uncorrelated square-root sign ambiguities. The paper notes that these are sometimes fixed by physical arguments, but for the new predictions involving baryonic charges a systematic rule for selecting the physical branch would be helpful.","section":"Eqs. (3.8), (3.36), (3.79)"},{"comment":"The parameterization of Δ± in terms of a reference R-symmetry r_a is said to be non-canonical. It would be useful to state explicitly that the final extremum of the entropy function is independent of the choice of r_a, or to give the argument showing this invariance, since the statement is not immediate from the definition.","section":"Eq. (2.69)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is technically strong and the algebraic core in Sections 2 and 4 is convincing. The main substantive gap is the resolution dependence of the master volume for singular toric fans, which the authors acknowledge but which prevents the paper from delivering on its title-level claim of a universal toric SE7 statement. I would encourage the editor to request a revision that either narrows the claim to smooth/regular geometries or supplies a physical resolution-selection mechanism. The relation to the companion Letter [31] should also be clarified for the record, since this paper provides the proof and examples that the Letter presumably announced."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my read on Hosseini-Zaffaroni's I-extremization paper. The headline: they prove the geometric extremization of Gauntlett-Martelli-Sparks for toric AdS4 x SE7 black holes is equivalent to I-extremization using a generalized free energy built from the master volume, for arbitrary magnetic fluxes including baryonic directions. The key step is the identity (2.71): the baryonic derivatives of the entropy function vanish identically, so extremizing over all R-charges reproduces the supersymmetry conditions. That is a genuine advance over the mesonic-twist equivalence in [23,24].\n\nThe paper does good work in the examples. The purely baryonic M^{1,1,1} entropy (3.94) matches Kim-Kim [70], and the dyonic comparisons with the attractor mechanism of Halmagyi-Petrini-Zaffaroni [27] are exact, with no free parameters after charge identification. That is real evidence. The simplified derivation of the a-, c-, F-extremization equivalences is a nice byproduct.\n\nNow the soft spots, in proportion. The stress-test concern is legitimate: the master volume is resolution-dependent when the CY4 fan has worse-than-orbifold facet singularities, and the difference is cubic in baryonic moduli (Eqs. 3.4, 3.32). This means the entropy function for baryonic black holes is not well-defined for that class of geometries until a preferred resolution is specified. The paper says this explicitly and notes no baryonic black holes are known there. So the universal statement is not established for all toric SE7; it is a prescription with an open physical selection problem. The independent checks in Section 4 are all on smooth manifolds, so they do not test the ambiguous regime. Second, the identification of the generalized free energy with the large-N S3 free energy for chiral quivers remains a conjecture (Eq. 2.39). That is clearly labeled, but it means the field-theory predictions are unverified.\n\nNeither of these is a hidden flaw; the authors state them. The central equivalence is a mathematical result conditional on the master volume being a well-defined function. For the regular/smooth geometries where the master volume is resolution-independent, the paper's claims hold up. I'd send it to a serious referee. The referee should push on whether a physical resolution can be selected and whether the conjecture can be tested further, but the core is solid.","headline":"Solid proof of the baryonic I-extremization equivalence for smooth toric SE7, with an acknowledged resolution-dependence gap for singular fans.","tokens_in":44112,"tokens_out":1802,"would_cite":true,"duration_ms":17138,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83E50","81T60","83C57"],"pacs":["04.65.+e","04.70.-s","11.25.Tq"],"model":"deepseek-v4-flash","headline":"The entropy of AdS4 black holes is an I-extremization problem over all charges, including baryonic ones.","keywords":["I-extremization","master volume","baryonic charges","AdS4 black holes","toric Sasaki-Einstein manifolds","gravitational blocks","S3 free energy","attractor mechanism"],"falsifier":"Compute the large-N supersymmetric partition function for the chiral quiver dual to $M^{{1,1,1}}$ with generic baryonic fluxes; if its extremum does not equal the I-extremization result in Eqs. (3.94)-(3.95), the master-volume identification is wrong. Alternatively, construct a baryonic black hole in a toric geometry with a worse-than-orbifold facet singularity and check whether the entropy depends on the chosen resolution.","tokens_in":42646,"feed_emoji":"🕳️","tokens_out":5461,"duration_ms":49711,"temperature":0.7,"pith_summary":"The paper proves that, for any toric Sasaki-Einstein seven-manifold, the full supersymmetry conditions determining the entropy of AdS4 black holes can be rewritten as an I-extremization over all chemical potentials, including baryonic ones. The entropy function is assembled from two copies of the master volume, one for each pole of the horizon, with a relative shift set by magnetic fluxes. Extremization along baryonic directions is not an extra step: it is automatically enforced by the supersymmetric Killing data. The same master volume, after a constrained Legendre transform, is claimed to be the large-N three-sphere free energy of the dual field theory, extending known results that were independent of baryonic charges. If right, this gives a gravitational-block prescription for all such black holes and predictions for partition functions whose saddle points have not yet been found.","feed_headline":"Black hole entropy is an extremization over all charges","feed_subtitle":"The master volume of the internal toric manifold builds a universal gravitational block for AdS4 black holes.","key_machinery":"The master volume V2n−1(λa,bi), defined as the (n−1)-th order term in the expansion of the equivariant volume of the toric Calabi-Yau cone, is a purely topological quantity fixed by the toric data; it is the object that carries the argument. Its constrained Legendre transform with respect to the Kähler parameters λa gives the generalized free energy F(Δa) that serves as the gravitational block, and gluing two copies with shifted R-charges Δ±a = Δa ∓ εna/2 builds the entropy function. The relation (2.28), which expresses baryonic Kähler moduli as derivatives of V with respect to baryonic Δ's, is what makes the baryonic extremization automatic.","core_discovery":"The central claim is that the entropy function for M-theory black holes asymptotic to AdS4 × SE7, with a general toric SE7 and arbitrary magnetic fluxes and baryonic charges, takes the gravitational-block form S(Δa, na, ε) = (4π/ε)[V(N,Δ+,b1) − V(N,Δ−,b1)], where V(N,Δ,b1) is the constrained Legendre transform of the master volume of the internal Calabi-Yau cone. The identity Σa B(r)_a ∂S/∂Δa = 0 holds identically, so supersymmetry itself imposes extremization along the baryonic directions; extremizing S over all Δa therefore reproduces the black hole entropy. The paper verifies the proposal by matching the purely baryonic $M^{{1,1,1}}$ entropy with known results and by showing that the dyonic $Q^{{1,1,1}}$ and $M^{{1,1,1}}$ entropy functions coincide with the supergravity attractor equations.","pith_inferences":["If the identification holds, the master volume should also control the giant-graviton expansion of the superconformal index for these backgrounds, since the equivariant volume already appears in that context.","The resolution-dependence of the master volume for fans with worse-than-orbifold facet singularities suggests that baryonic black holes in such geometries select a preferred resolution; this could be tested by classifying which resolutions admit regular horizon solutions.","A natural extension is to non-toric SE7 manifolds, where a suitably generalized volume functional might still provide the gravitational block, but the baryonic directions would require a new characterization."],"forward_implications":["The entropy of any AdS4 black hole with a toric SE7 horizon, including those with baryonic fluxes, can be computed by extremizing the I-functional instead of solving the full supergravity supersymmetry conditions.","The large-N three-sphere free energy of three-dimensional SCFTs is predicted to depend on baryonic charges through the generalized free energy; existing localization results that found no baryonic dependence are reinterpreted as saddle-point artifacts.","The R-charges of baryonic operators can be read off directly from extremization of F(Δa), without the indirect methods previously needed.","The same master-volume construction yields streamlined proofs of the equivalence between a-, c-, and F-extremization and their gravitational duals.","Because the construction uses only topological data, it makes concrete predictions for partition functions of chiral quivers whose large-N saddle points have not yet been found."],"supporting_citations":[{"why":"Supplies the master volume and the supersymmetry conditions that the paper recasts as I-extremization.","marker":"[34]"},{"why":"Defines the equivariant volume from which the master volume is extracted by localization.","marker":"[18]"},{"why":"Established the mesonic-twist equivalence between gravitational extremization and I-extremization that this paper extends to baryonic charges.","marker":"[23]"},{"why":"Provides the supersymmetry conditions and toric-geometry setup used for the general proof.","marker":"[24]"},{"why":"Proposed the original entropy function with baryonic charges that this paper proves and generalizes.","marker":"[31]"},{"why":"Provides the gauged-supergravity prepotential and attractor equations used to verify the dyonic black hole entropies.","marker":"[27]"},{"why":"Is the earlier computation of the M^{1,1,1} baryonic black hole entropy that the paper reproduces from the master volume.","marker":"[70]"}],"fun_headline_variants":["Master volume fixes black hole entropy","Entropy from extremization of master volume","Baryonic charges extremized in AdS4 black holes","Gravitational block from toric geometry"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the constrained Legendre transform of the master volume, a quantity fixed by toric data alone, equals the large-N three-sphere free energy including baryonic directions (conjectured at Eq. (2.39)); if that identification fails, the baryonic entropy predictions have no anchor.","fun_headline_variants_meta":{"raw":{"variants":["Master volume fixes black hole entropy","Entropy from extremization of master volume","Baryonic charges extremized in AdS4 black holes","Gravitational block from toric geometry"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000441,"raw_usage":{"total_tokens":2213,"prompt_tokens":898,"completion_tokens":1315,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":514,"completion_tokens_details":{"reasoning_tokens":1258}},"tokens_in":514,"tokens_out":1315,"duration_ms":9760,"temperature":1.0,"reasoning_tokens":1258,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:07:48.750227+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the large-N supersymmetric partition function for the chiral quiver dual to $M^{{1,1,1}}$ with generic baryonic fluxes; if its extremum does not equal the I-extremization result in Eqs. (3.94)-(3.95), the master-volume identification is wrong. Alternatively, construct a baryonic black hole in a toric geometry with a worse-than-orbifold facet singularity and check whether the entropy depends on the chosen resolution.","supporting_citations":[{"cited_title":"$\\mathcal{I}$-extremization with baryonic charges","cited_arxiv_id":"2503.08591","evidence_quote":"Proposed the original entropy function with baryonic charges that this paper proves and generalizes."}],"review_version":1}