{"id":"007e8ece-d28e-4ee1-b047-7cbee463d6e6","arxiv_id":"2608.09598","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In the bosonic IKKT matrix model, the exact two-body force between D-instantons is repulsive at short distance, producing a stable minimum and preventing collapse.","lead":"The paper computes the exact two-body interaction between D-instantons in the bosonic IIB matrix model and finds a short-distance repulsion that prevents the collapse predicted by one-loop calculations. The result suggests the bosonic model can support an extended emergent spacetime without supersymmetry, though the full many-body picture is left open.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Non-collapse conclusion rests on selecting the maximal Gribov copy as the physical frame; this gauge choice is an interpretive assumption, not derived from the gauge-invariant path integral.","rationale":"The reader's weakest assumption correctly identifies the maximal diagonal gauge as the load-bearing interpretive step. The two-body computation itself is internally well-supported: the closed form for Z(p) is cross-checked numerically, the identity I_max - I_saddle + I_min = const * Z_Lorenz is verified at d=10, and the SVD measure and Jacobian are standard. The genuinely unprotected step is the claim that the maximal Gribov copy is the physically correct frame for D-instanton positions, on which the non-collapse conclusion depends. This is an assumption about what the diagonal components mean, not a consequence of the gauge-invariant path integral. My proposed test uses a gauge-invariant observable (the largest singular value of the 3-by-d matrix) to check whether the non-collapsed peak is a real property of the model; if it is, the maximal-gauge interpretation is vindicated as the natural physical frame, and if not, the central claim fails. Since the reader's conditional verdict already incorporates this concern, no change to the verdict is needed.","tokens_in":38271,"tokens_out":16476,"duration_ms":158815,"concrete_test":"Run a Monte Carlo simulation of the bosonic SU(2) IKKT model in d=10 without any gauge fixing, sampling the 3-by-10 real matrix A^a_mu with action S = (1/4) tr[A_mu,A_nu]^2. For each configuration, compute the three singular values of A^a_mu and histogram the largest one, a. The largest singular value is invariant under the full U(2) gauge symmetry (it is preserved by adjoint SO(3) rotations), so its distribution is a well-defined gauge-invariant observable. If the histogram vanishes as a->0 and peaks at finite a, matching the analytic prediction a^{d-1} I_max(a) from Sec. 5.4, the non-collapse phenomenon is confirmed as a property of the model independent of the gauge choice. If instead the distribution is concentrated near a=0, the maximal-gauge conclusion is an artifact of the Gribov-copy selection.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that two D-instantons do not collapse is established only after replacing the naive Lorenz-gauge result Z(p) by the maximal-diagonal-gauge contribution I_max(p). The paper shows in Sec. 5 that Z(p) = I_max(p) - I_saddle(p) + I_min(p), and that I_saddle and I_min diverge as p^{-4} at short distance while I_max vanishes as p^{2d}; the non-collapse conclusion follows from retaining I_max alone. However, the D-instanton positions p^(i)_mu are not gauge-invariant, and the selection of the maximal copy as the physical definition is justified in Sec. 5.4 by the 'classical frame' principle (the maximum contains the perturbative vacuum and bounds off-diagonal fluctuations). This is a modeling assumption, not a theorem derived from the gauge-invariant path integral. If the saddle or minimal copies were used to define the positions, the short-distance force would be divergent and attractive, and the two-instanton system would collapse. Thus the entire non-collapse conclusion is conditional on this gauge choice.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the bosonic IIB (IKKT) matrix model and the effective potential for the diagonal components p^{(i)}_μ, interpreted as D-instanton positions. The authors argue that the well-known one-loop collapse of these positions is an artifact of the leading perturbative truncation, and that the exact all-loop two-body interaction prevents collapse. The technical core is a U(2) (N=2) computation: the authors gauge-fix U(N) in a Lorenz-type condition while separating diagonal and off-diagonal sectors, handle the residual U(1)^N symmetry with an auxiliary-ghost BRST construction that generates a new four-leg ghost vertex, and then integrate out off-diagonal modes and ghosts exactly at N=2. The resulting partition function Z(p) is finite at finite separation but develops a negative region at p~O(1); this is attributed to the Gribov ambiguity of the Lorenz gauge. The paper resolves the ambiguity by selecting the maximal diagonal gauge, i.e. the Gribov copy maximizing f_A=tr(P_μP_μ), in which the short-distance behavior is Z~p^{2d} and repulsive, while the large-distance behavior reproduces the one-loop attractive logarithm. The conclusion is that two D-instantons do not collapse and the two-body potential has a stable minimum at finite separation. Full N-body stabilization and the detailed eigenvalue distribution are explicitly left to future work and framed as conjectural in Sec. 6.","tokens_in":38433,"tokens_out":18866,"duration_ms":172363,"significance":"If the central claim survives scrutiny, the paper provides a nonperturbative mechanism that stabilizes D-instanton positions in the purely bosonic IKKT model, potentially reopening a question usually settled by adding supersymmetry. The N=2 computation is a genuine strength: it is performed without fitted parameters, the closed form (4.12) is cross-checked numerically, the Gribov decomposition identity (5.16) is verified in closed form at d=10, and the paper is unusually honest in labeling the general-N extensions as conjectures. The main weakness is that the physical conclusion is tied to a specific gauge choice: the D-instanton positions are not gauge-invariant, and the maximal diagonal gauge is selected by the 'classical frame' principle of Sec. 5.4 rather than derived from the gauge-invariant path integral. The result is therefore best read as a well-defined and suggestive statement about one particular frame, not yet as a gauge-invariant proof of non-collapse. This distinction is load-bearing for the paper's central claim.","major_comments":[{"comment":"The non-collapse conclusion is conditional on the choice of the maximal Gribov copy. Equation (5.8) decomposes the Lorenz-gauge partition function as Z_Lorenz = I_max - I_saddle + I_min, and the short-distance hierarchy in Sec. 5.5 shows that I_saddle and I_min diverge as p^{-4}, while only I_max ~ p^{2d} is finite and repulsive. Since the p^{(i)}_μ are not gauge-invariant, the statement 'the two D-instantons do not collapse' is not an invariant observable statement: if one of the other Gribov copies were used to define the diagonal positions, the short-distance force would be attractive and divergent. The 'classical frame' justification in Sec. 5.4 is a physical modeling assumption, not a theorem derived from the gauge-invariant path integral. The paper should either provide an independent, gauge-invariant diagnostic of non-collapse (for example an expectation value or spectral quantity that does not require a choice of frame) or explicitly restate the abstract and conclusions so that non-collapse is presented as a property of the maximal diagonal gauge, i.e. as a proposal rather than an established result.","section":"Sec. 5.4 and Eq. (5.8)"},{"comment":"The normalization of the separation variable relative to the singular values needs clarification and checking. In Eq. (4.3) the diagonal part of A_μ is written as (1/2)Δ_μ σ_3, so the singular value associated with the diagonal block in the SVD of the coefficient matrix A^a_μ is |Δ|/2, whereas Sec. 5.3 identifies the diagonal singular value with p ≡ sqrt(Δ^2). This factor of two rescales the action S(a,b,c) in Eq. (5.12), the closed forms in Appendix C, and the location of the minimum Δ*. Please state the precise relation between p and the SVD variables and verify that Eq. (5.16) and the asymptotics of Appendix C are consistent with the action normalization in Eq. (2.1).","section":"Sec. 4.1, Eq. (4.3), and Sec. 5.3"},{"comment":"The conjectured general-N scaling Z ~ ∏_{i<j} |p^{(i)}-p^{(j)}|^{2d} is presented as the natural extrapolation of the N=2 result, but the paper itself notes that the exact Gribov horizon and the copy structure are unknown for N≥3 because the SU(2)≃SO(3) shortcut is unavailable. This conjecture is not used in the two-body proof, so it does not undermine the N=2 calculation, but the concluding sentence that the results 'are consistent with a stable, non-collapsed distribution' should be more carefully separated from what has actually been established. The distinction between the derived pairwise bound (6.3) and the conjectured measure factor is already drawn in Sec. 6; the conclusion should carry the same caution.","section":"Sec. 6, Eq. (6.2)"}],"minor_comments":[{"comment":"The prefactor of the closed form is rendered as 'π2 1−2d'; this should be a single well-defined expression such as π^{3-2d} or the equivalent, and the normalization of Z(p) relative to Eq. (4.9) should be stated explicitly.","section":"Eq. (4.12)"},{"comment":"The caption refers to coordinates (u,v,x) and a horizon equation, but these variables are not defined in the main text before the figure; please define them or refer to the appendix equation from which the horizon condition is taken.","section":"Fig. 3"},{"comment":"The claim that ∂(δ_BRST c^c)/∂c^c = 0 is only sketched; since c is Grassmann, the derivative evaluation should be shown explicitly, as the sign of this term is important for the supertrace argument.","section":"Sec. 2.2, Eq. (2.31)"},{"comment":"The notation {i,j,k,...}_Diff. and the symbol (↔) are introduced informally; a short definition before Eq. (A.22) in the main text would make the many-body decomposition substantially easier to verify.","section":"Sec. 3.1, Eqs. (A.22)-(A.28)"},{"comment":"Several references are dated 2025 or 2026 and appear to be unpublished preprints; if the journal requires published or arXiv-available sources, these should be updated or supplemented.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and addresses a well-known problem in the IKKT matrix model. The N=2 exact computation and the Gribov decomposition are valuable and largely convincing; the main risk is that the headline claim is gauge-dependent. I would like the editor to ensure that the revised version either supplies a gauge-invariant stabilisation diagnostic or clearly reframes the non-collapse statement as conditional on the maximal diagonal gauge. The self-citations are relevant and do not appear to be used for circular parameter fixing; however, the reliance on Ref. [2] to justify the maximal gauge choice should be checked against what that reference actually implements numerically."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a technically serious paper, and the exact N=2 work is worth taking seriously. The closed-form partition function (4.12) is cross-checked numerically, the d=10 Gribov decomposition identity (5.16) verifies the sign structure, and the new four-leg ghost vertex from the residual U(1)^N is a real methodological addition. The factorization of the two-body sector into copies of N=2 is clearly argued, and the large-distance expansion correctly reproduces the one-loop potential as its leading term. The authors are also honest: they label the N>=3 scalings as conjectures and state plainly that the detailed equilibrium distribution requires the higher-body potentials.\n\nThe weak point is exactly what the stress-test note identifies. The non-collapse conclusion depends on selecting the maximal diagonal Gribov copy as the physical frame. The naive Lorenz-gauge Z(p) has a negative region; the decomposition into Imax - Isaddle + Imin is exact, but keeping only Imax is justified by the 'classical frame' principle (the maximum contains the perturbative vacuum and bounds off-diagonal fluctuations). That is an interpretive choice, not a theorem derived from the gauge-invariant path integral. If the saddle or minimal copies defined the positions, the short-distance force would be divergent and attractive, and the two-instanton system would collapse. The authors are upfront about this in Secs. 5.4 and 6, but it means the central physical conclusion is conditional on a gauge-choice assumption that is plausible yet not proven.\n\nThis is not a fatal flaw, and I would not call it a takedown. The exact two-body computation and the Gribov analysis are genuinely useful, and the paper is a solid contribution to the matrix-model literature. The right framing is that the non-collapse mechanism is established in a particular gauge, and the physical relevance of that gauge remains an open question. A good referee should push on this point, and the authors should be encouraged to either strengthen the justification or soften the claim to 'conditional on the maximal diagonal gauge being the physical frame.'\n\nFor the right reader—someone working on IKKT, Gribov issues, or matrix-model effective potentials—this deserves a serious referee. I would accept it for peer review and let the community debate the gauge choice. The paper is coherent, the math is checked, and the limitations are explicit.","headline":"Solid exact N=2 computation, but the non-collapse claim rests on a gauge-choice assumption the authors themselves flag as interpretive.","tokens_in":38986,"tokens_out":2346,"would_cite":true,"duration_ms":22172,"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":"In the bosonic IKKT matrix model, the exact two-body interaction keeps D-instantons from collapsing, making the one-loop collapse an artifact.","keywords":["IKKT matrix model","D-instanton collapse","maximal diagonal gauge","Gribov ambiguity","two-body effective potential","many-body decomposition","BRST quantization","nonperturbative stabilization"],"falsifier":"Run a direct numerical evaluation of the bosonic $\\mathrm{U}(2)$ model with the maximal diagonal gauge imposed and measure the distribution of the eigenvalue separation $p$. If the effective potential $-\\log I_{\\mathrm{max}}(p)$ is monotonically decreasing as $p\\to 0$, or if the separation distribution peaks at $p=0$, the non-collapse claim fails; the paper predicts a distribution suppressed at $p=0$ with a peak at $p$ of order one, and at $d=10$ the explicit closed form of $I_{\\mathrm{max}}(p)$ can be compared against the numerics.","tokens_in":38011,"feed_emoji":"🪐","tokens_out":9684,"duration_ms":72886,"temperature":0.7,"pith_summary":"The paper challenges the long-standing claim that the bosonic IKKT matrix model cannot produce a non-collapsed spacetime because its one-loop effective potential pulls all D-instanton positions $p^{(i)}_\\mu$ to a single point. It argues that this collapse is an artifact of stopping at one loop, and that the exact, all-loop two-body interaction already prevents two D-instantons from collapsing onto each other. Since the two-body sector of the $N\\times N$ model factorizes into independent pairs, the exact $\\mathrm{U}(2)$ computation gives the complete two-body answer, and it develops a stable minimum at finite separation. The key step is the maximal diagonal gauge, which selects the Gribov copy containing the perturbative vacuum and turns the short-distance force repulsive. If correct, the result removes one of the standard motivations for adding supersymmetry to the bosonic model and points to a nonperturbative mechanism for spacetime stability.","feed_headline":"Two D-instantons stop collapsing in the bosonic IKKT model","feed_subtitle":"Exact U(2) calculation: one-loop collapse is an artifact; the real short-distance force is repulsive.","key_machinery":"The load-bearing object is the maximal diagonal gauge: the Gribov copy of the $\\mathrm{U}(N)$ gauge group that maximizes the height function $f_A=\\mathrm{tr}\\,P_\\mu P_\\mu$, meaning it packs the largest possible share of the matrix inertia into the diagonal block. In this gauge the off-diagonal fluctuation of every pair is bounded by that pair's separation, so the short-distance integration domain is compact and the Boltzmann weight becomes nearly constant, producing a finite repulsive force instead of the divergent collapse seen in the naive Lorenz gauge. The computation also relies on the exact $\\mathrm{U}(2)$ partition function, obtained after a BRST gauge fixing that introduces a new four-leg ghost vertex and organizes the Faddeev-Popov determinant into a many-body expansion whose two-body sector factorizes into copies of the $N=2$ model. At $N=2$ the Gribov-copy structure is exhibited explicitly through the singular-value decomposition of the $3\\times d$ matrix $A^a_\\mu$, where the three ordered singular values correspond to the maximal, saddle, and minimal copies.","core_discovery":"The central claim is that the apparent collapse of the D-instanton positions in the bosonic IIB matrix model is a one-loop artifact. The one-loop logarithmic potential is only the leading large-distance term of the exact Faddeev-Popov determinant expansion, and the full two-body interaction, computed exactly in the $\\mathrm{U}(2)$ model because the $N\\times N$ two-body sector factorizes into independent pairs, is finite and repulsive at short distance in the maximal diagonal gauge. In that gauge the two-body effective potential $V(\\Delta)=-\\log Z(\\Delta)$ rises both as $\\Delta\\to\\infty$, reproducing the attractive one-loop logarithm, and as $\\Delta\\to 0$, from a logarithmic repulsion generated by the finite volume inside the Gribov horizon, so it has a stable minimum at a separation of order one. The paper therefore claims that two D-instantons do not collapse onto each other, and that the negative region of the naive Lorenz-gauge $\\mathrm{U}(2)$ partition function is a Gribov artifact coming from summing over copies with negative Faddeev-Popov determinant.","pith_inferences":["Editorial inference: the same Gribov-horizon mechanism could protect the eigenvalue distribution of other bosonic matrix models, such as the BFSS-type models, from collapse even without supersymmetry.","Editorial inference: a direct Monte Carlo simulation of the bosonic $\\mathrm{U}(2)$ model in the maximal diagonal gauge should find a separation distribution peaked at $p\\sim O(1)$ and suppressed at $p=0$, a concrete testable prediction of the paper.","Editorial inference: if the conjectured general-$N$ scaling $Z\\sim\\prod_{i<j}(p^{(i)}-p^{(j)})^{2d}$ holds, the effective repulsion among D-instantons resembles a Vandermonde factor with doubled exponent, suggesting a new effective matrix model for the diagonal positions alone.","Editorial inference: the Lorentzian-signature model is left open, but the same maximal-diagonal-gauge construction formally applies with $e^{iS}$, so the non-collapse mechanism could be probed there with sign-problem-free numerical methods; the paper makes no claim about this case."],"forward_implications":["The one-loop collapse potential used to motivate supersymmetry in the IKKT model is only the leading term of a large-separation expansion, so the exact two-body force must be used to decide the fate of the D-instanton positions.","In the maximal diagonal gauge the two-body potential has a stable minimum at finite separation, so the bosonic model alone can support non-collapsed configurations of two D-instantons.","Because the two-body sector of the $N\\times N$ model factorizes into independent $\\mathrm{U}(2)$ pairs, the non-collapse mechanism extends pairwise to any $N$, although the detailed distribution still requires the higher-body potentials.","The negativity of the naive Lorenz-gauge $N=2$ partition function is a Gribov artifact rather than a physical instability; at $d=10$ the identity $I_{\\mathrm{max}}-I_{\\mathrm{saddle}}+I_{\\mathrm{min}}=Z_{\\mathrm{Lorenz}}$ holds in closed form.","The maximal diagonal gauge agrees with the perturbative one-loop result at large separation, so ordinary perturbation theory is safe there; only the short-distance regime requires the Gribov-corrected frame."],"supporting_citations":[{"why":"Defines the IKKT matrix model whose diagonal components are interpreted as D-instanton positions.","marker":"[1]"},{"why":"Supplies the one-loop effective potential that drives the collapse the paper aims to overturn.","marker":"[7]"},{"why":"Establishes finiteness of the bosonic partition function, motivating the all-loop analysis.","marker":"[10]"},{"why":"Gives the convergence threshold for the SU(2) matrix integral used as a consistency check.","marker":"[11]"},{"why":"Provides the numerical study in the maximal diagonal gauge cited as the classical frame containing the perturbative vacuum.","marker":"[2]"},{"why":"Origin of the Gribov ambiguity and the identification of the Faddeev-Popov determinant with the Hessian of the height function.","marker":"[26]"},{"why":"Supplies the Gribov-Zwanziger restriction to the region containing the perturbative vacuum, the principle behind the maximal diagonal gauge.","marker":"[27]"},{"why":"Shows that nonperturbative BRS invariance requires summing Hessian determinants over Gribov copies with signs, justifying the copy decomposition.","marker":"[30]"},{"why":"Provides the auxiliary-field ghost construction adapted here to handle the residual U(1)^N gauge symmetry.","marker":"[25]"},{"why":"Supplies the Jacobian and singular-value parametrization used to evaluate the three Gribov-copy contributions at N=2.","marker":"[32]"}],"fun_headline_variants":["D-instanton collapse is a one-loop artifact","Exact U(2) calculation shows repulsive instanton force","Gribov-free gauge yields stable D-instanton separation","Two D-instantons resist collapse in exact model","Maximal diagonal gauge prevents D-instanton collapse"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the maximal diagonal gauge, the choice that packs the largest possible amount of the matrix weight into the diagonal entries, is the physically correct frame for reading off D-instanton positions; the non-collapse conclusion is derived inside that gauge and would not follow from the gauge-invariant path integral alone.","fun_headline_variants_meta":{"raw":{"variants":["D-instanton collapse is a one-loop artifact","Exact U(2) calculation shows repulsive instanton force","Gribov-free gauge yields stable D-instanton separation","Two D-instantons resist collapse in exact model","Maximal diagonal gauge prevents D-instanton collapse"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000236,"raw_usage":{"total_tokens":1619,"prompt_tokens":1174,"completion_tokens":445,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":790,"completion_tokens_details":{"reasoning_tokens":364}},"tokens_in":790,"tokens_out":445,"duration_ms":4681,"temperature":1.0,"reasoning_tokens":364,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:21:01.105639+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a direct numerical evaluation of the bosonic $\\mathrm{U}(2)$ model with the maximal diagonal gauge imposed and measure the distribution of the eigenvalue separation $p$. If the effective potential $-\\log I_{\\mathrm{max}}(p)$ is monotonically decreasing as $p\\to 0$, or if the separation distribution peaks at $p=0$, the non-collapse claim fails; the paper predicts a distribution suppressed at $p=0$ with a peak at $p$ of order one, and at $d=10$ the explicit closed form of $I_{\\mathrm{max}}(p)$ can be compared against the numerics.","supporting_citations":[{"cited_title":"Ishibashi, H","cited_arxiv_id":null,"evidence_quote":"Defines the IKKT matrix model whose diagonal components are interpreted as D-instanton positions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the one-loop effective potential that drives the collapse the paper aims to overturn."},{"cited_title":"Monte Carlo approach to M theory.Phys","cited_arxiv_id":null,"evidence_quote":"Establishes finiteness of the bosonic partition function, motivating the all-loop analysis."},{"cited_title":"Finite Yang-Mills integrals.Phys","cited_arxiv_id":null,"evidence_quote":"Gives the convergence threshold for the SU(2) matrix integral used as a consistency check."},{"cited_title":"Dynamical aspects of large N re- duced models.Nucl","cited_arxiv_id":null,"evidence_quote":"Provides the numerical study in the maximal diagonal gauge cited as the classical frame containing the perturbative vacuum."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Origin of the Gribov ambiguity and the identification of the Faddeev-Popov determinant with the Hessian of the height function."},{"cited_title":"Vandersickel and Daniel Zwanziger","cited_arxiv_id":null,"evidence_quote":"Supplies the Gribov-Zwanziger restriction to the region containing the perturbative vacuum, the principle behind the maximal diagonal gauge."},{"cited_title":"Nonperturbative BRS Invariance and the Gribov Problem.Phys","cited_arxiv_id":null,"evidence_quote":"Shows that nonperturbative BRS invariance requires summing Hessian determinants over Gribov copies with signs, justifying the copy decomposition."},{"cited_title":"Localization of gauge theory on a four-sphere and supersymmetric Wilson loops.Commun","cited_arxiv_id":null,"evidence_quote":"Provides the auxiliary-field ghost construction adapted here to handle the residual U(1)^N gauge symmetry."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Jacobian and singular-value parametrization used to evaluate the three Gribov-copy contributions at N=2."}],"review_version":1}