{"id":"40f49e5f-8796-4311-b2bd-f04b6773e073","arxiv_id":"2411.18678","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Exact localization results for polarized IKKT reveal a divergence in the Ω to 0 limit that is distinct from IKKT, and the large-N eigenvalue dynamics match the electrostatic problem underlying the dual IIB supergravity geometries.","lead":"The paper computes the exact partition function of the polarized IKKT matrix model using supersymmetric localization and shows it does not reduce to the original IKKT model when the mass deformation goes to zero. It then shows that in the large-N limit the matrix model's eigenvalue densities satisfy the same electrostatic equations that define its proposed gravity dual.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The recovery of the electrostatic gravity dual hinges on the unproven validity of the large-J and continuum approximations in Section 5.2; the paper's own criterion (5.36) is not verified for the gravity-side configurations.","rationale":"The reader's CONDITIONAL verdict and weakest assumption identify the same load-bearing concern: the large-N continuum reduction in Section 5.2. The localization result itself appears well-supported: it has multiple independent cross-checks (N=2 exact evaluation, Ω→∞ matching with Hartnoll-Liu, Ω→0 direct off-diagonal integration, and the N=2,3 contour-prescription check), and no internal inconsistency is apparent in the BRST+SUSY localization setup. The truly central and weakest step is the passage from the matrix model saddle equations (5.24) to the electrostatic equations (5.10)-(5.12). That passage requires two uncontrolled approximations, and the paper's own validity estimate (5.36) is not derived from the gravity-side data. Because the main title claim (Einstein gravity from a matrix integral) depends on this step, the verdict should remain CONDITIONAL until the approximation is either proven in the relevant regime or checked numerically for representative configurations. Our proposed test would directly settle whether the concern lands. We therefore keep the reader's verdict unchanged.","tokens_in":47045,"tokens_out":12884,"duration_ms":111197,"concrete_test":"Numerically solve the exact saddle-point equation (5.24) using the closed-form kernel k_st(x) from (5.20) for a single-ball configuration with parameters chosen according to the gravity matching (5.41), for instance N_s = 32, n_s = 10^5 and Ω fixed by ξ = n_s/(Ω^4 N_s^5) = 1. Compare the resulting continuous density ρ^(s)(x) and its endpoint x^(s) to the solution of the approximate electrostatic equation (5.25) (equivalently (5.10)) for the same parameters. If the relative difference in x^(s) or in the integrated density profile exceeds a few percent, the reduction of the matrix-model saddle to the electrostatic problem is not valid in the claimed regime. As a companion check, evaluate the ratio n_s/((x^(s))^2 log x^(s)) for the parameters used in Section 5.3 to see whether (5.36) is actually satisfied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the large-N eigenvalue densities of the localized partition function satisfy the same electrostatic equations as the gravity dual rests on two approximations made in Section 5.2: (i) replacing the exact two-body potential k_st(x-y) in the saddle equation (5.24) by its large-J asymptotic form (5.21), and (ii) replacing the discrete eigenvalue density (5.22) by a smooth continuous density. The paper provides a heuristic error estimate leading to the validity condition (5.36), n_s >> (x^(s))^2 log(x^(s)), but it does not demonstrate that this condition holds for the saddles that correspond to the supergravity configurations of [5]. The quantization conditions (5.41) relate n_s and N_s to the charges and positions of the conducting balls; in the natural large-N scaling with ξ ≡ n_s/(Ω^4 N_s^5) held fixed, (5.36) requires n_s >> (x^(s))^2 log x^(s), i.e. for a single ball N = n_s N_s gives N_s << (N/log N)^{1/3}. The paper does not show that the geometry-building configurations fall in this range, nor that the corrections from the omitted O(1/(3J±8ix)^4) terms in (5.21) vanish fast enough when (5.36) is saturated. If these approximations fail, the matched equations (5.25) and (5.10) are not the actual saddle equations of the matrix model, and the claimed recovery of Einstein gravity is unsupported. The separate factor-of-two mismatch in the on-shell action (§5.4) is acknowledged by the authors and further indicates the gravity-side comparison is incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper computes the partition function and protected correlators of the polarized IKKT matrix model by supersymmetric localization, reducing them to a sum over SU(2) representations with one-loop determinants and Gaussian-like moduli integrals, Eqs. (1.6)-(1.8) and (3.63). The authors find that the Ω→0 limit diverges, Z(Ω)→∞ ≠ Z_IKKT, due to fermion mass terms, and conjecture a contour prescription in the moduli integrals that reproduces the known IKKT partition function for N=2,3. In the large-N limit they argue that the eigenvalue densities of the localized partition function obey integral equations identical to the electrostatic equations defining the gravity dual constructed in the companion paper [5], with an explicit dictionary (5.44). The on-shell action comparison with gravity is also discussed, with a factor-of-two mismatch left for future work.","tokens_in":47401,"tokens_out":4904,"duration_ms":52769,"significance":"If the central claims hold, this is a significant step toward a concrete microscopic derivation of Einstein gravity from a zero-dimensional matrix integral: the localization result is exact and the gravity-side equations are derived from the matrix model rather than fitted. The paper contains several strong cross-checks that support the localization computation: explicit N=2 results, agreement with the Ω→∞ limit of [12], agreement with direct off-diagonal integration in the Ω→0 limit, and reproduction of the IKKT partition function for N=2,3 via the contour conjecture. The electrostatic matching in Section 5 is a nontrivial consistency check involving kernels and densities, not a one-parameter fit. The main weakness is that the passage from the exact saddle equations to the electrostatic equations relies on large-J and continuum approximations whose validity is not demonstrated for the gravity-side configurations, and the on-shell action check is explicitly incomplete. These issues are local to the gravity-recovery section but are load-bearing for the paper's title claim.","major_comments":[{"comment":"The claim that the large-N eigenvalue densities satisfy the electrostatic equations of the gravity dual is not yet established, because the validity condition (5.36) is not verified for the configurations matched in Section 5.3. The derivation of (5.25) from the exact saddle equation (5.24) uses both the large-J approximation (5.21) and the replacement of discrete densities by smooth ones; the paper's own estimate requires n_s >> (x^(s))^2 log(x^(s)). The matching identification (5.41) relates n_s and N_s to the charges and heights of the conducting balls, but no argument is given that the supergravity configurations of [5] obey this hierarchy. In the fixed-ξ scaling discussed in Section 5.2, the condition amounts to N_s << (N/log N)^{1/3}, which is not implied by the macroscopicity of the geometry. Unless this condition, or a separate control of the omitted O((3J±8ix)^{-4}) terms in (5.21), is demonstrated for the saddles in question, the equivalence of (5.25) and (5.10) is conditional and the central claim of Section 5.3 is not fully supported.","section":"Section 5.2-5.3, Eqs. (5.21), (5.24)-(5.25), (5.36), (5.41)"},{"comment":"The comparison of the on-shell action with the gravity result is left incomplete: the term proportional to ∑ Q_s V_s matches only up to a factor of 2, and the boundary terms proportional to ∑ q_{3,s} are not matched. The authors state that the gravitational computation would need to be finished. This is an acknowledged gap in a quantitative check of the gravity recovery; it should either be resolved or the claims of Section 5 should be softened accordingly.","section":"Section 5.4, after Eq. (5.49)"}],"minor_comments":[{"comment":"The statement lim_{Ω→0} Z(Ω)=∞ is stated in the abstract and introduction, but the precise power of the divergence, 1/Ω^{2(N-1)} for the SU(N) partition function, appears only later; stating it upfront would help the reader.","section":"Section 4.2, around Eq. (4.12)"},{"comment":"The contour prescription is verified only for N=2 and N=3. Since this is a conjecture, its conjectural status could be made more prominent in the abstract and introduction, where the recovery of IKKT is announced.","section":"Section 4.4, Eqs. (4.42)-(4.56)"},{"comment":"The plot shows the exact and approximate two-body potentials, but the text does not quantify the error of the approximation or state its region of validity in terms of J and x; adding this would make the error estimate in Section 5.2 more concrete.","section":"Figure 6 and Eq. (5.21)"},{"comment":"The asymptotic behaviors x^(s)/N_s ~ ξ^{1/5} and ξ^{1/4} are quoted without derivation in the main text; the derivation in Appendix D is helpful, but a short sentence pointing to the relevant equations in Appendix D would improve readability.","section":"Section 5.2, Eq. (5.34)"},{"comment":"The notation ⟨Trϕ^{2n}⟩ in the U(N) relation is used both for the U(N) and SU(N) correlators; distinguishing the trace parts explicitly in the displayed formula would avoid confusion.","section":"Section 3.6, Eq. (3.67)"}],"recommendation":"major_revision","confidential_remarks":"The localization computation appears solid and is well cross-checked; the main obstacle to acceptance is the unverified validity of the approximations leading to the electrostatic matching in Section 5.2. I recommend requiring the authors to either prove that the gravity-side configurations satisfy the validity condition (5.36) or to restrict the matching claim to a class of saddles where this condition is demonstrated. The factor-of-two mismatch in the on-shell action is an additional unresolved point that should be addressed or explicitly deferred in the conclusions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is worth reading and worth a serious referee. The exact partition function (1.6)-(1.8) and the observation that the Ω→0 limit diverges are genuinely new. The cross-checks are unusually thorough for a paper this long: explicit N=2 evaluation, Ω→∞ agreement with Hartnoll-Liu, Ω→0 agreement with direct off-diagonal integration, and the contour prescription reproducing the known IKKT partition function for N=2,3. The localization machinery follows BMN and the Asano et al. formalism, but the application to polarized IKKT is not a copy-paste. The contour conjecture is explicitly verified in small cases, and the divergence mechanism in Appendix B is convincing.\n\nThe soft spot is Section 5. The recovery of the electrostatic problem replaces the exact two-body kernel k_st by its large-J asymptotic form and replaces discrete sums by smooth densities. The authors give the validity estimate (5.36), ns >> (x^(s))^2 log(x^(s)), and note it can be satisfied by taking ns→∞ at fixed Ns and Ω, but they never show that the supergravity configurations of Part I actually sit in that regime. The text leans on \"we expect\" and \"it is useful to think of this as,\" while the equality between the matrix-model saddle equations (5.25) and the electrostatic equations (5.10) is the central holographic claim. That is a real gap, not a cosmetic one. The factor-of-two mismatch in the on-shell action is acknowledged and presumably fixable, so I treat it as a minor open issue. None of this undermines the localization result, which stands on its own. The gravity part is conditional, as the reader's verdict says; I do not think the stress-test overstates it, and it is the right question to put to the authors.\n\nThe citation pattern is fine: heavy self-citation to Part I is legitimate because Part I is the companion paper containing the gravity construction. No code or data is provided, but for a theory paper of this kind that is not a defect.\n\nThis paper is for matrix-model and holography people, especially those working on BMN, IKKT, and emergent geometry. I would cite it for the exact partition function, and probably not for the gravity match until the validity question is settled. Recommendation: send it to peer review. Ask the referees to push for a sharper argument in Section 5.2, either proving that the relevant saddles satisfy (5.36) or stating explicitly what parameter range the gravity match covers.","headline":"Strong localization result for polarized IKKT with honest checks, but the advertised gravity match rests on a large-J approximation whose validity for the relevant saddles is asserted rather than shown.","tokens_in":47910,"tokens_out":1557,"would_cite":true,"duration_ms":77090,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Supersymmetric localization gives exact formulas for the polarized IKKT matrix model, whose zero-mass limit diverges rather than recovering IKKT, and whose large-N eigenvalue densities reproduce the gravity dual's electrostatic equations.","keywords":["IKKT matrix model","supersymmetric localization","matrix integral","holographic duality","emergent gravity","electrostatic problem","SU(2) representations","partition function"],"falsifier":"Compute the polarized IKKT partition function directly for N=2 at small $\\Omega$ (numerical quadrature or Monte Carlo) and compare with the localization formula (1.6): because the formula is claimed exact, any deviation in the $1/\\Omega^2$ divergence would falsify it. Separately, in a parameter regime where the paper's condition $n_s\\gg (x^{(s)})^2\\log x^{(s)}$ fails, solve the full saddle equations with the exact kernel $k_{st}(x)$ and test whether the densities still satisfy the electrostatic equations (5.10)-(5.12).","tokens_in":46821,"feed_emoji":"🧮","tokens_out":12218,"duration_ms":102838,"temperature":0.7,"pith_summary":"This paper gives exact, finite-dimensional formulas for the partition function and for correlation functions of supersymmetry-invariant operators in the polarized IKKT matrix model, a zero-dimensional matrix integral with sixteen supercharges that is the simplest known setting in which Einstein gravity is claimed to emerge holographically. The partition function is a sum over all SU(2) representations of the matrix rank, each term being an ordinary integral over the eigenvalues of a commuting set of matrices, with a one-loop determinant built from fuzzy-sphere data. The paper shows that the zero-mass-deformation limit of this exact result diverges, so polarized IKKT does not reduce to the original IKKT model in that limit; a contour-integral prescription is conjectured, and verified for N=2 and N=3, to recover the IKKT partition function. In the large-N limit the localization formulas imply that the eigenvalue densities obey exactly the integral equations of an electrostatic problem with conducting balls and image charges, which is precisely the electrostatic problem defining the dual supergravity geometry. If this is right, the paper closes the loop between a matrix integral and a gravitational geometry on both sides of the correspondence.","feed_headline":"Localization exactly solves the polarized IKKT matrix model","feed_subtitle":"Exact sums over SU(2) representations reproduce the electrostatic equations that define the model's gravity dual.","key_machinery":"The machinery that carries the argument is supersymmetric localization with an off-shell supersymmetry algebra. Auxiliary fields close the algebra, a supercharge preserving $\\phi=X^3-iX^{10}$ is chosen, and the action is deformed by a Q-exact term built from a combined BRST+supersymmetry operator Q, making the saddle-point approximation exact. The saddles are fuzzy spheres $X^i=\\frac{3\\Omega}{8}L^i$, so each saddle's moduli space is parameterized by a reducible SU(2) representation and by eigenvalues $m_{si}$ of the commuting matrix M; the one-loop determinant is obtained by diagonalizing $R_0=-i\\Omega\\delta_{U(1)}-i[M+\\frac{3\\Omega}{8}L_3,\\cdot]$ on fuzzy-sphere harmonics, and the resulting factors cancel between bosons and fermions except for the product $f_{st}(x)$. For the gravity matching, the central object is the effective two-body potential $k_{st}(x)$ of the eigenvalue ensemble; after replacing it by its large-J asymptotic form and passing to continuum densities, the saddle equations become the electrostatic integral equations for the linear charge densities of conducting balls, with the parameter identifications given above.","core_discovery":"The paper's central claim is that the U(N) polarized IKKT partition function is exactly $$Z=\\sum_R C_R e^{\\frac{9\\$\\Omega$^4}{$2^{{15}}$}\\sum_s n_s($N_s^{3}$-N_s)}\\int\\prod_{s,i}dm_{si}\\,Z_{\\rm 1-loop}\\,e^{-\\frac{3\\$\\Omega$^4}{$2^{7}$}\\sum_s N_s\\sum_i m_{si}^2},$$ with the sum over inequivalent N-dimensional representations R of SU(2) (irrep dimensions $N_s$, multiplicities $n_s$), and $Z_{\\rm 1-loop}=\\prod_{(si,tj)}f_{st}(m_{si}-m_{tj})$ a product of rational functions of differences of Cartan eigenvalues labeled by fuzzy-sphere angular-momentum levels J. Protected correlators of $\\phi=X^3-iX^{10}$ are obtained by inserting the same function of $\\frac{3\\Omega}{8}L_3-i\\Omega M$ into the integral. From this exact result the paper derives that $\\lim_{\\Omega\\to0}Z(\\Omega)=\\infty\\ne Z_{\\rm IKKT}$, traces the divergence to fermion mass terms, matches the $\\Omega\\to\\infty$ limit to earlier results, and in the continuum large-N limit converts the saddle-point equation for eigenvalue densities into the electrostatic equation for the charge densities of conducting balls, with parameters identified as $x=r/(2\\pi\\mu\\alpha')$ and $\\rho^{(s)}(x)=64 f_s(r)/(\\pi^3\\mu^5\\alpha'^2 g_s)$.","pith_inferences":["If the localization formula is exact, subleading corrections in $1/N$ to the electrostatic equations should correspond to stringy corrections on the gravity side; computing those corrections would give a precision test of this holographic duality that the paper does not carry out.","The conjectured contour prescription implies that the divisor sum $\\sum_{m|N}1/m^2$ appearing in the IKKT partition function should emerge from residues of the one-loop determinant; this could be checked for N=4 or N=5 by explicit residue evaluation.","The Ω→0 discontinuity is a general caution: mass deformations of matrix models with fermions are not automatically continuous regularizations, so other 'polarized' limits may silently change the theory.","Because the electrostatic problem is analytically solvable in its extremes, the localization result may allow analytic computation of the density beyond the planar limit, connecting to scaling-similarity analyses of brane geometries."],"forward_implications":["For every N and Ω, the exact formula reduces the model to ordinary integrals, so protected correlators and the partition function become computable quantities rather than formal path integrals.","The limit Ω→0 is discontinuous: polarized IKKT diverges, and the original IKKT partition function is recovered only through a pole-picking contour prescription that works for N=2,3 and is conjectured for all N.","In the large-N continuum limit, the matrix model and the supergravity dual are governed by the same electrostatic equations, giving a quantitative dictionary between the fuzzy-sphere data $(n_s,N_s)$ and the gravity data $(Q_s,z_s)$.","The strong-coupling limit exhibits factorization into decoupled bound states, one per irreducible SU(2) block, similar to particles in a harmonic trap; this structure follows directly from the localization result.","The on-shell action of the eigenvalue densities reproduces the expected scaling of the dual gravitational on-shell action, including the electrostatic octopole contribution."],"supporting_citations":[{"why":"Constructs the Euclidean IIB supergravity solutions whose electrostatic problem Section 5 recovers.","marker":"[5]"},{"why":"Supplies the off-shell SU(2|4) localization formalism used to reduce the path integral to saddle integrals.","marker":"[28]"},{"why":"Establishes the Q-exact deformation argument that makes the saddle-point approximation exact.","marker":"[30]"},{"why":"Defines the polarized IKKT model and its fuzzy-sphere vacua, and provides the comparison for the Ω→∞ limit.","marker":"[12]"},{"why":"Proves convergence of the original IKKT integral, the property that the Ω→0 divergence result must be reconciled with.","marker":"[15]"},{"why":"Derives the closed-form IKKT partition function that the N=2,3 contour-prescription sums reproduce.","marker":"[22]"},{"why":"Shows how large-N eigenvalue densities of a matrix model reproduce an electrostatic bubbling geometry, the template for the matching.","marker":"[17]"}],"fun_headline_variants":["Exact localization solves polarized IKKT matrix model","Localization yields exact partition function for polarized IKKT","From matrix integral to gravity: exact localization","Polarized IKKT partition function exactly computed","Exact sums reproduce electrostatic gravity equations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claimed recovery of Einstein gravity rests on assuming that, once the number of eigenvalues is large, replacing the exact pairwise interaction between eigenvalues by its simple large-distance asymptotic form does not change the saddle-point densities; the paper's own validity condition for this replacement is not guaranteed to hold in every regime.","fun_headline_variants_meta":{"raw":{"variants":["Exact localization solves polarized IKKT matrix model","Localization yields exact partition function for polarized IKKT","From matrix integral to gravity: exact localization","Polarized IKKT partition function exactly computed","Exact sums reproduce electrostatic gravity equations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000748,"raw_usage":{"total_tokens":3314,"prompt_tokens":909,"completion_tokens":2405,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":525,"completion_tokens_details":{"reasoning_tokens":2333}},"tokens_in":525,"tokens_out":2405,"duration_ms":17902,"temperature":1.0,"reasoning_tokens":2333,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:59:19.384203+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the polarized IKKT partition function directly for N=2 at small $\\Omega$ (numerical quadrature or Monte Carlo) and compare with the localization formula (1.6): because the formula is claimed exact, any deviation in the $1/\\Omega^2$ divergence would falsify it. Separately, in a parameter regime where the paper's condition $n_s\\gg (x^{(s)})^2\\log x^{(s)}$ fails, solve the full saddle equations with the exact kernel $k_{st}(x)$ and test whether the densities still satisfy the electrostatic equations (5.10)-(5.12).","supporting_citations":[{"cited_title":"Convergent Yang-Mills Matrix Theories","cited_arxiv_id":"hep-th/0103159","evidence_quote":"Proves convergence of the original IKKT integral, the property that the Ω→0 divergence result must be reconciled with."},{"cited_title":"Emergent bubbling geometries in gauge theories with SU(2|4) symmetry","cited_arxiv_id":"1406.1337","evidence_quote":"Shows how large-N eigenvalue densities of a matrix model reproduce an electrostatic bubbling geometry, the template for the matching."}],"review_version":1}