{"id":"3dfef7d6-5e1c-41ff-8be0-2784796e1ed9","arxiv_id":"2603.02199","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"A lightlike IIA/IIB domain wall is constructed at zero string coupling by gauging (−1)^{F_L} in matrix string theory, turning BPS IIA D0-branes into non-BPS IIB D0-branes.","lead":"This paper gives a way to build a lightlike wall separating the IIA and IIB versions of ten-dimensional string theory using matrix models. If correct, it turns a conjectured object of the Swampland program into an explicit construction and predicts how D0-branes change as they cross the wall.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The wall is defined through an unproven position-dependent-coupling dictionary; at finite coupling the IIB side is a 3D ABJM theory, and the half-space Z2 gauging is only shown to reproduce it at g_s=0.","rationale":"The reader's weakest_assumption already identifies the position-dependent g_s(τ) and the half-space Z2 gauging at g_s=0. My stress test sharpens this into two linked gaps: (i) the MST dictionary is not derived for position-dependent couplings, and (ii) the finite-coupling IIB side is 3D ABJM rather than an orbifold of 2D SYM, so the defect must be shown to glue the two theories, not merely to exist at the free point. These are correctness risks rather than internal contradictions; the paper is honest about leaving tension/mass computations unfinished. The reader's CONDITIONAL verdict already accounts for this, so I do not recommend changing the verdict. My agreement is 'partial' because the reader also lists the BFSS/MST conjectures as a separate assumption, whereas I view the position-dependent dictionary and the 2D/3D interface as the more immediate and testable weak point.","tokens_in":13550,"tokens_out":11840,"duration_ms":121063,"concrete_test":"Compute the interface partition function between 2D N=(8,8) U(N) SYM on R×S^1 and k=1 ABJM on R×T^2 with a common time boundary at τ=τ0, at finite g_s. Then take the double-scaling limit R2→0, g_s→0 and check whether it reduces exactly to the half-space Z2 gauging of Sym^N(R^8) described in Section 3. If the finite-g_s interface does not converge to that defect—or if the limit is singular—the wall is only a statement about free CFTs, not about IIA/IIB string theory.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The construction's central step is the promotion of the MST string coupling g_s to a position-dependent function g_s(τ) and its identification with the 10D dilaton profile φ(X^+). Section 2 only establishes the DLCQ/MST dictionary for constant g_s and flat space; Section 3 asserts that 'IIA or IIB MSTs can each be generalized from constant asymptotic boundary values ... to any smooth function φ(X^+)' without derivation. Section 3.2 explicitly concedes that the resulting supergravity profile breaks down and cannot be embedded in EFT, so the only support is the assertion itself. Independently, the equivalence between the IIB MST and the Z2 orbifold of the IIA MST is stated at g_s=0 ('the IIB MST at g_s=0 can be seen as a Z2 orbifold'); for finite g_s the IIB side is a genuinely 3D k=1 ABJM theory, not the half-line gauging of a 2D SYM theory. Thus the half-space gauging defines a defect in a free 2D CFT, but it is not demonstrated that this defect is the correct interface to the finite-coupling IIB MST. The paper itself flags the missing calculation: 'While we leave a precise calculation of this tension ... for future work' (Sec. 3.2), and the D0 mass estimate is likewise deferred. Without a derivation of the position-dependent dictionary or a computation showing the interface survives away from g_s=0, the central claim is a plausible but unverified conjecture.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a non-perturbative, DLCQ-based construction of a lightlike domain wall separating type IIA and IIB string theories. After reviewing the matrix string theory (MST) descriptions of IIA (large-N 2D N=(8,8) SYM) and IIB (large-N k=1 ABJM on T^2), the paper defines the wall by setting the string coupling g_s(τ) to zero in a neighborhood of τ0 and gauging (−1)^{F_L}_{IIA} on half of the MST spacetime. At g_s=0 this is a codimension-1 condensation defect in the symmetric orbifold CFT, and Appendix A shows the IIB worldsheet is the corresponding Z2 orbifold of the IIA worldsheet. The paper claims that fundamental strings and BPS D0-branes cross from IIA to IIB, with D0-branes becoming non-BPS, and that the wall has finite string-frame tension consistent with the cobordism conjecture.","tokens_in":13955,"tokens_out":8838,"duration_ms":78765,"significance":"Conditional on the BFSS/MST and ABJM large-N equivalences, the construction is a new and concrete proposal for an object previously only conjectured. Its strengths are that the g_s=0 core is defined precisely in a solvable symmetric orbifold CFT, the orbifold relation in Appendix A is explicit and checkable, and the construction has no fitted parameters; it also yields sharp qualitative predictions (e.g., vanishing tension at g_s=0, mass generation for (−1)^{F_L}=−1 states). However, the proposal's reach beyond the free CFT point is limited by the unproven position-dependent coupling dictionary and the missing finite-coupling interface calculation. If these gaps are filled, the paper would provide a valuable non-perturbative definition; in its present form it is best read as a well-formulated conjecture.","major_comments":[{"comment":"The construction's foundation is the assertion that the MST dictionaries (2.4) and (2.6), derived for constant asymptotic couplings, can be promoted to any smooth function φ(X^+) by making R(τ) or R2/R1(τ) position-dependent. No derivation is given, and the finite-N holographic remark does not address the strict N→∞ flat-space limit. Because the wall profile g_s(τ) is the only external input, this is load-bearing; without a proof or at least a precise conjecture for the τ-dependent dictionary, the wall is not yet defined as a 10D interface.","section":"Section 3, first paragraph"},{"comment":"The wall is defined by half-space gauging at g_s=0, where the IIB MST is a Z2 orbifold of the IIA MST. For finite g_s, the IIB side is a 3D k=1 ABJM theory (Section 2.2), and the paper does not show that the 2D half-line gauging plus the '2D→3D decompactification' deformation reproduces ABJM on T^2 with the desired R2/R1(τ). The definition is therefore a defect in a free 2D CFT; its identification with an interface to finite-coupling IIB string theory is an unverified assumption. The missing calculation is acknowledged in Section 3.2 ('we leave a precise calculation of this tension ... for future work'). This gap is central to the paper's claim.","section":"Section 3, IIA/IIB Wall Definition and Figure 1"},{"comment":"The headline consequence that BPS IIA D0-branes become non-BPS IIB D0-branes is not derived. The D0 charge and Wilson-line construction are described, but the boundary conditions (3.4) are chosen ('we choose Dirichlet') rather than shown to follow from the D0-vacuum, and the conclusion relies on the statement in [1] that (−1)^{F_L} gauging turns BPS into non-BPS boundary conditions. No computation tracks the flux sector through the wall or verifies that the resulting object is the IIB non-BPS D0 with the correct mass/charge. For a claim highlighted in the abstract, a more explicit dictionary is needed.","section":"Section 3.1, D0-brane crossing"},{"comment":"The argument that the wall has finite string-frame tension rests on the claim that g_s=0 is 'adiabatically connected' to small position-dependent g_s(τ). Since g_s=0 lies at infinite distance in dilaton moduli space, this is not self-evident; and the precise tension is left for future work. The finite-tension conclusion is used to connect to the Cobordism Conjecture, so it is not a side remark. The authors should either provide a calculation or explicitly label this as a conjecture.","section":"Section 3.2, Finite string frame tension"}],"minor_comments":[{"comment":"The interval notation is inconsistent: the definition says gauging in τ∈[0,τ0+ϵ), while the next sentence refers to half-interval (τ0−ϵ,τ0+ϵ), and Figure 1 says 'to the right of the red line.' Please clarify the intended region and coordinate ranges.","section":"Section 3, wall definition"},{"comment":"The profile has a typo ('is can be described') and the parameters c and g_{s,0} should be defined explicitly; also note that the profile is not differentiable at |τ|=c, which conflicts with the earlier requirement of a smooth φ(X^+).","section":"Eq. (3.8)"},{"comment":"The relation to the contemporaneous construction [15] is not discussed. A brief comparison of the two proposals would help the reader place the present work.","section":"Introduction/Note added"}],"recommendation":"major_revision","confidential_remarks":"The paper is an honest, well-written speculative note. The main gap is the missing derivation of the position-dependent coupling dictionary and the finite-coupling interface. I do not see grounds for suspecting circularity or misconduct; the issues are missing derivations rather than internal contradictions. A major revision that either supplies these derivations or clearly reframes the paper as a conjecture with precise open problems would make the contribution solid."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a real proposal, not a finished construction. The genuinely new move is defining the IIA/IIB wall as a half-space gauging of (−1)^{F_L} in the g_s=0 symmetric orbifold CFT, i.e. a condensation defect in the free theory. That part is precise and, as far as I can tell, new. The paper then argues—convincingly at the free point—that BPS IIA D0-branes become non-BPS IIB D0-branes across the wall, which is a concrete realization of the conjecture in [1]. Appendix A's re-derivation of IIB as a Z2 orbifold of IIA is clean and useful.\n\nWhat the paper does well: it is honest about what is missing. It explicitly says the wall tension calculation is left for future work, and the D0 mass estimate is likewise deferred. It also gives proper credit to the concurrent construction in [15]. The writing is clear and the logic at g_s=0 is sound.\n\nWhere the soft spots are: the stress-test note lands. The central claim is that a position-dependent string coupling g_s(τ) can be promoted to a spacetime dilaton profile, and that the half-space gauging extends away from the free point. That dictionary is asserted, not derived. The real tension is dimensional: at finite g_s, the IIB MST is a 3D ABJM theory, while the gauging is a defect in a 2D CFT. The passage from one to the other is exactly what needs to be established, and it isn't. Also, the D0 construction requires a choice of boundary conditions (Dirichlet vs Neumann); the paper chooses Dirichlet to get massless modes, but other choices seem allowed and would change the story. Finally, the tension argument—'adiabatically connected to zero, therefore finite'—is more of a plausibility argument than a derivation.\n\nNone of this kills the paper. The construction at g_s=0 is well-defined and the conjecture is coherent. But it should be read as a proposal with load-bearing open questions, not as a proof. I'd send it to a serious referee: it's significant, clearly written, and the gaps are stated openly rather than hidden. My recommendation would be major revision: state the position-dependent dictionary as a standing assumption, and ask for at least one calculable estimate—the D0 mass shift or the wall tension—before acceptance.\n\nWho will get value: matrix theory people, non-BPS brane people, and anyone tracking the swampland cobordism conjecture. I'd bring it to reading group.","headline":"A clean proposal for an explicit IIA/IIB wall at g_s=0; the finite-coupling dictionary is the load-bearing conjecture.","tokens_in":14452,"tokens_out":4532,"would_cite":true,"duration_ms":39702,"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":"A non-perturbative definition of the IIA/IIB domain wall is obtained by gauging left-moving fermion parity at zero string coupling in matrix string theory.","keywords":["IIA/IIB wall","matrix string theory","discrete light-cone quantization","D0-branes","non-BPS branes","fermion parity gauging","condensation defect","symmetric orbifold"],"falsifier":"Compute the ground-state energy of the defect sector (the chirally twisted sector) at small nonzero string coupling: if it is zero or negative rather than a positive string-scale mass, the paper's claim that left-moving Ramond states become massive on the other side of the wall is wrong.","tokens_in":13437,"feed_emoji":"🧱","tokens_out":6959,"duration_ms":61051,"temperature":0.7,"pith_summary":"This paper claims that the long-conjectured domain wall separating Type IIA and Type IIB superstrings can be defined exactly in a non-perturbative matrix description of string theory, rather than merely postulated from consistency arguments. The construction works by letting the string coupling vanish along a lightlike hypersurface and gauging the left-moving fermion parity symmetry of the IIA string on one side, which turns the IIA matrix string theory into the IIB matrix string theory. The paper argues that BPS D0-branes of IIA cross the wall and become non-BPS D0-branes of IIB, that the left-moving Ramond states of IIB become massive string-scale states on the IIA side, and that the wall has finite string-frame tension. If correct, this gives the first non-perturbative definition of a wall whose existence is required by the cobordism conjecture, and opens a concrete framework for studying how branes transform between the two ten-dimensional superstring theories.","feed_headline":"Half-space gauging of fermion parity builds the IIA/IIB wall","feed_subtitle":"Matrix string theory turns IIA BPS D0-branes into non-BPS IIB D0-branes at the wall.","key_machinery":"The key identity is that the IIB lightcone worldsheet is obtained from the IIA one by gauging the left-moving fermion parity (−1)^{F_L}, so at zero string coupling the IIB matrix string theory is the Z2 orbifold of the IIA symmetric-orbifold CFT. The construction's load-bearing mechanism is a codimension-one half-space gauging of this Z2 symmetry along the wall slice, combined with a position-dependent string coupling that vanishes at the wall. The defect Hilbert space of this gauging contains the states that become non-BPS IIB D0-branes and the massive (−1)^{F_L}=-1 states on the IIA side.","core_discovery":"The central discovery is that the IIB matrix string theory at zero coupling is a Z2 orbifold of the IIA matrix string theory by the left-moving spacetime fermion parity (−1)^{F_L}, and that this relation can be promoted from a global orbifold to a position-dependent, half-space gauging. When the string coupling is tuned to vanish on a neighborhood of a lightlike slice, gauging (−1)^{F_L} only on one side of that slice defines a codimension-one topological condensation defect that interpolates between the two string theories. Along this defect, the paper shows that D0-brane charge is not conserved across the wall: a BPS IIA D0-brane, represented in the symmetric-orbifold CFT by a flux sector","pith_inferences":["A natural testable extension is to compute the exact mass of the would-be non-BPS D0-brane at small nonzero string coupling; the paper argues it is string-scale, but the precise value should be calculable and may depend on the wall profile.","The same half-space gauging mechanism could be applied to construct lightlike walls between other string theories related by discrete orbifolds, or to give matrix definitions of other predicted non-BPS branes by attaching the fermion-parity line to a local operator.","If the finite-N version of the construction has a holographic dual, it predicts a concrete interface or cobordism-defect solution in the dual gravitational theory that could be searched for in supergravity.","The expected non-locality of the wall worldvolume theory suggests an explicit example where chiral fields acquire mass through a non-perturbative symmetric mass generation, which would sharpen bottom-up constraints on domain-wall tensions."],"forward_implications":["The IIA/IIB wall exists as a genuine object in the non-perturbative matrix definition of ten-dimensional string theory, not just as a formal solution to a consistency conjecture.","BPS D0-branes in IIA transmute into non-BPS D0-branes in IIB upon crossing the wall, and D0 charge is not conserved across it.","States with (−1)^{F_L}=-1, including IIB left-moving Ramond states, become string-scale massive on the other side of the wall because their ground-state energy is not protected by supersymmetry once the coupling is nonzero.","The wall's string-frame tension is finite and actually vanishes in the strictly zero-coupling core, consistent with the cobordism conjecture's requirement of a finite-tension domain wall.","The construction provides a concrete dictionary involving flux sectors and conformal interfaces for engineering D0-branes localized along a lightlike direction in matrix string theory, which can be used to track brane transmutation across the wall."],"fun_headline_variants":["Half-space fermion parity gauging builds IIA/IIB wall","IIB matrix string is Z2 orbifold of IIA by fermion parity","Half-space gauging turns IIA D0-branes into non-BPS IIB ones","Topological condensation defect interpolates IIA and IIB strings"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The construction collapses if the matrix string theories do not exactly reproduce IIA and IIB string theory in the large-N limit, or if the half-space gauging of left-moving fermion parity at the zero-coupling slice is not a well-defined, anomaly-free operation.","fun_headline_variants_meta":{"raw":{"variants":["Half-space fermion parity gauging builds IIA/IIB wall","IIB matrix string is Z2 orbifold of IIA by fermion parity","Half-space gauging turns IIA D0-branes into non-BPS IIB ones","Topological condensation defect interpolates IIA and IIB strings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000857,"raw_usage":{"total_tokens":3544,"prompt_tokens":713,"completion_tokens":2831,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":457,"completion_tokens_details":{"reasoning_tokens":2747}},"tokens_in":457,"tokens_out":2831,"duration_ms":16535,"temperature":1.0,"reasoning_tokens":2747,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T19:23:00.521652+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the ground-state energy of the defect sector (the chirally twisted sector) at small nonzero string coupling: if it is zero or negative rather than a positive string-scale mass, the paper's claim that left-moving Ramond states become massive on the other side of the wall is wrong.","supporting_citations":[],"review_version":1}