{"id":"b23af290-677e-4d53-987e-45731e9d3bc9","arxiv_id":"2506.18662","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The paper constructs dictionaries equating the vacuum equations of 4D N=1 BCD-type gauge theories on D^2×T^2 with the Bethe ansatz equations of open XYZ spin chains by fixing mass and boundary parameters to force the match.","lead":"A preprint claims a new correspondence between four-dimensional supersymmetric gauge theories and the XYZ spin chain with general boundaries. The match is engineered by choosing gauge theory masses and spin chain boundary parameters so that both sides' equations coincide, and part of the claimed novelty overlaps with a cited 2024 paper.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 4D vacuum equation (37) is imported from 3D without derivation; if it is not the exact extremum condition on D^2×T^2, the claimed BCD/XYZ dictionaries in §4 collapse.","rationale":"The reader's weakest assumption identifies the same load-bearing gap: Eq. (37) is assumed to describe exact 4D vacua on D^2×T^2 without derivation, and the entire BCD comparison rests on it. The paper's own text confirms this: Section 3.2 explicitly says the vacuum equation is inherited from the 3D D^2×S^1 setup, and only one-loop determinants are used for the 4D effective superpotential. This is not merely an issue of presentation; if the true vacuum condition involves additional contributions, the equality between gauge vacuum equations and Bethe ansatz equations in Eqs. (56), (63), and (68) has no demonstrated basis. The other concerns raised by the reader, such as overlap with [27] for B/D cases and tuning of mass parameters, are secondary to this correctness risk. A direct derivation from the localization result would settle whether the claimed exact duality holds; until then, rejection remains appropriate.","tokens_in":19708,"tokens_out":3515,"duration_ms":39088,"concrete_test":"Derive the 4D vacuum equation from the exact D^2×T^2 localization result of [15]: take the NS limit ϵ→0 of the full partition function, including one-loop determinants and any non-perturbative sectors, extremize with respect to Φ^(0), and check whether the result equals Eq. (37) with the coefficient 2/α². If extra terms, a different coefficient, or unremoved instanton corrections appear, recompute the BCD dictionaries and assess whether the correspondence survives only in a perturbative or special-boundary limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central comparison uses Eq. (37), exp(σ δW_eff/δΦ)=1, as the vacuum condition for 4D N=1 theory on D^2×T^2. Section 3.2 states 'We apply the method to 4D parallelly' and then says the equation 'is derived from the 3D N=2 gauge theory vacuum configuration on D^2×S^1'; no derivation from the D^2×T^2 partition function is supplied. The effective superpotential is only assembled from one-loop determinants, and non-perturbative corrections to the vacuum condition are not assessed. Since §4 identifies gauge vacuum equations (56), (63), and (68) with BAEs (24) solely through (37), an incomplete or incorrect vacuum equation directly invalidates the claimed exact duality. The subsequent fixing of boundary parameters to the special values (59) also means the realized boundary is a restricted subfamily rather than the full six-parameter general boundary advertised in the abstract.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to establish an exact duality between 4D N=1 supersymmetric gauge theories on D^2×T^2 and open XYZ spin chains with general boundary conditions, for gauge groups of type B, C, and D (and A-type with closed boundaries). The spin-chain side uses Bethe ansatz equations (BAE) taken from prior work on the XYZ model with non-diagonal boundaries. The gauge side constructs an effective superpotential from one-loop determinants of the localized partition function, postulates a vacuum equation exp(σ δW_eff/δΦ)=1, and derives vacuum equations for each gauge group. The correspondence is then implemented by parameter dictionaries mapping gauge theory masses and ranks to spin-chain parameters, and by fixing the boundary parameters to special values. The paper also includes an appendix giving a similar correspondence for 3D XXZ chains with fixed boundary parameters.","tokens_in":19881,"tokens_out":9406,"duration_ms":92144,"significance":"If the claimed duality were established rigorously, it would be a notable step in the Bethe/gauge correspondence program, extending the known 2D/XXX and 3D/XXZ dualities to 4D/XYZ with non-diagonal boundaries. The paper engages with a technically active literature and proposes explicit dictionaries, which is useful. However, the central claim is far stronger than what the evidence supports: the vacuum equation is imported from 3D without derivation, the boundary parameters are not general, and the phase conditions used to match the equations are imposed on dynamical variables rather than derived. As it stands, the paper does not provide a rigorous construction of the advertised duality.","major_comments":[{"comment":"The vacuum equation exp(σ δW_eff/δΦ)=1 is stated as 'derived from the 3D N=2 gauge theory vacuum configuration on D^2×S^1', and the text says the method is applied to 4D 'parallelly'. No derivation from the D^2×T^2 partition function is supplied, and non-perturbative corrections are not assessed. Since every vacuum equation in Section 4 is obtained from this equation, the claimed exact duality is conditional on an unjustified assumption. This is a load-bearing point that needs to be either derived or explicitly flagged as a conjecture.","section":"Sec. 3.2, Eq. (37)"},{"comment":"The phase functions PhB, PhC, and PhD contain explicit dependence on the dynamical variables Φ_i (e.g., terms like 16πi Φ_i m_adj/τ and sums over j of 8πi Φ_i m_adj/τ). The paper 'imposes' Ph=2πik with k∈Z and then drops the phase factor to obtain the clean vacuum equations (56), (63), and (68). This is not a choice of free parameters; it is a set of additional equations that the Bethe roots must satisfy, which would over-constrain or trivialize the system unless the dictionaries make the coefficients of Φ_i vanish identically. No such identity is shown. The derivation of the final vacuum equations is therefore not justified.","section":"Sec. 4.2, Eq. (55); Sec. 4.3, Eq. (62); Sec. 4.4, Eq. (67)"},{"comment":"The advertised 'general-boundary' XYZ spin chain has six free boundary parameters α_l^± according to the Hamiltonian (10) and BAE (24). However, the correspondence constructed in Section 4 fixes these parameters to the special values (59): α_1^±=1/2, α_2^±=τ/2, α_3^±=(1+τ)/2. The same happens in Appendix A with (A3), (A6), and (A8). Thus the realized duality covers only a measure-zero subfamily of boundary conditions, contradicting the abstract's claim of 'general-boundary XYZ spin chains' and the conclusion's statement that the paper treats 'the most generic boundary conditions'.","section":"Sec. 2.2, Eq. (24); Sec. 4.2, Eq. (56)"},{"comment":"The dictionary Φ_i ↔ i u_i and m_adj ↔ η leads to an apparent sign mismatch between the gauge vacuum equations and the BAE. For example, the BAE (24) contains factors σ(i(u_j-u_l-ηi)) = σ(i(u_j-u_l)+η), while the B-type vacuum equation (56) becomes σ(i u_i ± i u_j - η) = σ(i(u_i ± u_j)-η) under the same dictionary. The signs of the η-shifts differ, and no elliptic identity is invoked to reconcile them. Without a consistent identification of spectral parameters, the claimed equivalence of (56) and (24) is not demonstrated.","section":"Sec. 4.2, dictionaries (57)-(58) and BAE (24)"},{"comment":"The vacuum equations are presented after the phrase 'Using formula (37)' without showing the differentiation of the lengthy superpotentials (45), (52), (60), and (66). Because the central claim is an exact equality between gauge vacuum equations and BAE, the algebra should be checkable. The omission makes it impossible to verify that the vacuum equations are correctly derived, and the subsequent match is therefore not rigorous. A detailed appendix or at least the key intermediate steps are needed.","section":"Sec. 4, Eqs. (45)-(68)"}],"minor_comments":[{"comment":"There are typos in the Li3 arguments: 'p.q' should be 'p,q', and in the second line of (35) the notation 'Li3(pqe−2πi(...);p,q)' should probably be 'Li3(pq e^{−2πi(...)};p,q)'.","section":"Sec. 3.2, Eq. (35)"},{"comment":"The expression for PhB contains the term '4πiΦ' without a subscript; it should be '4πiΦ_i' to be consistent with the surrounding terms.","section":"Sec. 4.2, Eq. (55)"},{"comment":"The condition on the sign factors ε_j^γ is written as a product over γ=± and j=1..3; the notation is ambiguous about whether ε_j^γ are constants or can depend on the index j in the BAE. Please clarify.","section":"Sec. 2.2, Eq. (22)"},{"comment":"The sentence 'The effective superpotentials come from the partition function in supersymmetric gauge theories' appears to be a fragment and the following sentence about exceptional gauge groups is not developed; the conclusion would benefit from a clearer statement of what is actually proven versus conjectured.","section":"Sec. 5, Conclusion"}],"recommendation":"reject","confidential_remarks":"The manuscript's central result is not established. The vacuum equation (37) is assumed from 3D, the phase conditions are imposed on dynamical variables, and the boundary parameters are fixed to a special subfamily, so the advertised 'general-boundary' duality is not realized. These are load-bearing issues rather than presentation problems. I would not recommend acceptance even after minor revision; the authors would need to provide a genuine derivation of the 4D vacuum equation, a correct treatment of the phase conditions, and a honest re-scoping of the boundary parameters. The sign mismatch under the dictionary also needs to be resolved. Given the paper's stated goal of rigorous construction, rejection is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead it. Main thing you should know: this is not a breakthrough, but it is a real, checkable extension of the Bethe/gauge dictionary. The C-type Sp(2N) dictionary (64)-(65), plus the 3D off-diagonal XXZ dictionaries in Appendix A, are new relative to the cited literature. The A-type closed chain is Nekrasov-Shatashvili, the 4D B/D open XYZ match is already in [27], and the authors say so. So the abstract's \"first exact duality\" overstates; what is first is the C-type entry and the unified presentation across ABCD.\n\nWhat I liked: the paper is concrete. Dictionaries are explicit. Boundary parameters are stated. You can take (56), (63), (68), plug in (57)/(64)/(69) and (59), and see the BAE (24) come out. That is a real computation, not a vague analogy. The appendix does the same for the XXZ limits. Citation pattern is honest; prior work is credited.\n\nSoft spots, in order:\n\n1. The load-bearing assumption is equation (37): exp(σ δW/δΦ)=1 as the exact 4D vacuum condition on D^2×T^2. Section 3.2 says \"we apply the method to 4D parallelly\" and says it is derived from the 3D D^2×S^1 configuration. No derivation from the D^2×T^2 partition function, no discussion of non-perturbative corrections. If (37) is not exact, all four dictionaries collapse because the comparison is built entirely on it. This is a genuine gap, not manufactured. The stress-test note is right.\n\n2. The \"general boundary\" language is too generous. The boundary parameters are fixed to the special values (59), alpha's at half-periods and epsilon signs to one choice. That is a valid restricted subfamily, but not the six-parameter general boundary advertised.\n\n3. The phase factors Ph=2πik are imposed, not derived. \"Choosing suitable mass parameters\" is parameter fitting unless a selection rule is given. The mass dictionaries are engineered to reproduce the BAE; that's how Bethe/gauge dictionaries normally work, but it means the duality is an identification, not a prediction.\n\n4. Some algebra is skipped: Section 4 states vacuum equations \"using formula (37)\" without showing the differentiation of the long superpotentials. Annoying but checkable; I spot-checked a few terms and they are consistent.\n\nMinor: the text has typos and the conclusion's \"rigorously identify\" is doing heavy lifting.\n\nWho this is for: people working on Bethe/gauge correspondence, especially elliptic integrable systems. They will want the C-type dictionary and the boundary parameter values. The paper deserves a serious referee; a desk reject would lose the new content. My own verdict would be \"major revision\" rather than reject: fix the abstract, prove or carefully state the status of (37), and reword the general-boundary claim.\n\nRecommendation: send to peer review.","headline":"A workmanlike extension of the Bethe/gauge dictionary with one genuinely new entry (C-type 4D) and an honest limitation: the 4D vacuum equation is imported from 3D without proof, so the headline 'first exact' claim is too strong.","tokens_in":20502,"tokens_out":2479,"would_cite":false,"duration_ms":24704,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T60","82B23","81R12","81T13"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims to construct the first exact duality between 4D BCD-type supersymmetric gauge theories on $D^2\\times T^2$ and open XYZ spin chains, with gauge vacuum equations matching the elliptic Bethe ansatz equations under explicit…","keywords":["supersymmetric gauge theory","spin chain","Bethe ansatz","XYZ spin chain","Bethe/gauge correspondence","elliptic R-matrix","Omega-background","localization"],"falsifier":"Compute the next correction to the effective superpotential of a small B-type theory (for instance $SO(5)$ with $N_f=2L+12$) directly from the exact $D^2\\times T^2$ partition function and check whether the vacuum equation remains $\\exp(\\sigma\\,\\partial W_{\\rm eff}/\\partial\\Phi)=1$; if any correction survives, the equality with BAE (24) fails. A cheaper check is to test the phase conditions $P_{hB}=2\\pi i k$, $P_{hC}=2\\pi i k$, $P_{hD}=2\\pi i k$ at generic masses: if they can only be satisfied by fine-tuning the dictionaries (57), (64), (69), the correspondence holds only on a parameter locus rather than as a duality.","tokens_in":19448,"feed_emoji":"⚛️","tokens_out":10183,"duration_ms":94720,"temperature":0.7,"pith_summary":"This paper aims to establish an exact duality between four-dimensional $\\mathcal{N}=1$ supersymmetric gauge theories on $D^2\\times T^2$ and the open XYZ spin chain, the fully anisotropic integrable spin chain built from the elliptic eight-vertex $R$-matrix. The paper derives effective superpotentials for gauge groups of type A, B, C, and D and shows that the vacuum equations $\\exp(\\sigma\\,\\partial W_{\\rm eff}/\\partial\\Phi_i)=1$ coincide, term by term, with the Bethe ansatz equations of the XYZ chain: closed-boundary equations for A-type groups, and open-boundary equations with fixed boundary parameters for B/C/D-type groups. The claimed pay-off is a universal dimensional ladder — 2D $\\mathcal{N}=(2,2)$ theories map to XXX chains, 3D $\\mathcal{N}=2$ theories to XXZ chains, and 4D $\\mathcal{N}=1$ theories to XYZ chains — with the $\\Omega$-deformation parameter interpolating between dimensions. If correct, the result gives the first 4D realization of the Bethe/gauge correspondence for general-boundary XYZ chains and makes the non-perturbative vacuum structure of these gauge theories solvable through the integrable system.","feed_headline":"4D gauge vacua equal XYZ spin-chain Bethe equations","feed_subtitle":"Dictionaries map B/C/D-type vacuum equations to open-boundary elliptic Bethe ansatz equations.","key_machinery":"The central object is the elliptic function $\\sigma(u)=\\theta_{1/2,1/2}(u,\\tau)$, together with the effective superpotential $W_{\\rm eff}^{4d,R}(\\Phi)$ obtained from the $D^2\\times T^2$ one-loop determinants. The identity that carries the argument is the vacuum equation $\\exp(\\sigma\\,\\partial W_{\\rm eff}/\\partial\\Phi_i)=1$: it is the bridge that converts the gauge-theory partition function into the Bethe ansatz equations of the spin chain. The second mechanism is the root normalization $2/\\alpha^2$ inserted into the vector-multiplet superpotential: it makes the root-system data of the Lie algebra appear in the vacuum products with the precise powers needed to reproduce the three $\\sigma$-function factors of the open XYZ BAE, and it is the feature that makes the B/C/D root systems select open boundary conditions while the A-type root system selects periodic ones.","core_discovery":"On the gauge side, the paper uses the localized one-loop partition function on $D^2\\times T^2$, with Robin-like boundary conditions for matter, to write the effective superpotential $W_{\\rm eff}^{4d}(\\Phi)$ as sums of cubic polynomials and dilogarithm/trilogarithm towers. Differentiating through the vacuum equation $\\exp(\\sigma\\,\\partial W_{\\rm eff}/\\partial\\Phi_i)=1$ turns those sums into products of elliptic $\\sigma$-functions. The paper then shows that for B-type ($SO(2N+1)$), C-type ($Sp(2N)$), and D-type ($SO(2N)$) gauge groups these products are exactly the open XYZ Bethe ansatz equations (24), provided the boundary parameters are fixed to $\\alpha^\\pm_1=1/2$, $\\alpha^\\pm_2=\\tau/2$, $\\alpha^\\pm_3=(1+\\tau)/2$ and the sign choices (59); for A-type groups the same procedure gives the closed-chain Bethe ansatz (20). The identification is organized by explicit dictionaries: $\\Phi_i\\leftrightarrow i u_i$, $m_{\\rm adj}\\leftrightarrow\\eta$, $N\\leftrightarrow L$, and flavor masses shifted by $\\eta$ and half-periods, with $N_f$ fixed to $2L+12$, $2L+5$, or $2L+4$ for B, C, D respectively.","pith_inferences":["The boundary parameters in (59) are locked to the half-periods $1/2$, $\\tau/2$, $(1+\\tau)/2$, so the 'general boundary' realized here is the most general off-diagonal $K$-matrix at a discrete, measure-zero set of boundary couplings; varying the $\\alpha$ parameters freely should break the equality, a point the paper does not discuss.","The same mechanism with the coefficient $2/\\alpha^2$ suggests a uniform normalization that unifies the 3D ($4/\\alpha^2$) and 4D ($2/\\alpha^2$) computations; one testable extension is to check whether exceptional gauge groups, which have multiple root lengths, require a separate normalization per root orbit.","Since the conclusion asserts the method extends to exceptional groups and quiver gauge theories without showing the dictionaries, the natural next check is to derive the E-type analogues of (57), (64), (69) and verify that the same half-period boundary parameters appear.","If the correspondence is exact, it implies a numerical prediction: for small $L$, the number of solutions of the gauge vacuum equations should equal the number of Bethe roots counted by the XYZ off-diagonal Bethe ansatz completeness; counting solutions on both sides would test the duality without computing any correlation function."],"forward_implications":["For B-, C-, and D-type 4D $\\mathcal{N}=1$ gauge theories with the specified matter content, the space of supersymmetric vacua is parameterized by the Bethe roots of the open XYZ spin chain, so exact results from the spin chain become statements about the gauge theory.","The parameter dictionaries fix the matter content of the gauge theory: for a chain of length $L$, the number of flavors must be $N_f=2L+12$ (B-type), $N_f=2L+5$ (C-type), or $N_f=2L+4$ (D-type), so the duality predicts which theories have integrable vacuum structure.","For A-type gauge groups the same construction reproduces the closed-boundary XYZ Bethe ansatz, so the 4D correspondence covers periodic chains as well as open ones, with the gauge group determining the boundary condition.","Taking $\\tau\\to i\\infty$ in the dictionaries should reproduce the 3D XXZ correspondence with generic off-diagonal boundaries, and further reduction to the XXX case, making the dimensional ladder a single family.","The elliptic modulus $\\tau$ is identified with the torus modulus of $T^2$, so varying the geometry of the gauge-theory spacetime changes the anisotropy of the spin chain continuously."],"supporting_citations":[{"why":"supplies the localized 4D partition function and one-loop determinants on $D^2\\times T^2$ from which the effective superpotential is built","marker":"[15]"},{"why":"supplies the open XYZ spin chain Bethe ansatz equations (24) that the B/C/D vacuum equations are matched against","marker":"[28]"},{"why":"established the preceding 4D BD-type gauge/open-XYZ correspondence that this paper extends to BCD with general boundaries","marker":"[27]"},{"why":"provides the off-diagonal Bethe ansatz solution of the XYZ model underlying the closed-chain BAE (20)","marker":"[4]"},{"why":"developed the 3D BCD Bethe/gauge correspondence and effective-superpotential method that the 4D derivation follows","marker":"[5]"},{"why":"supplies the prior 3D BCD-type XXZ/open-chain dictionaries and the method for comparing gauge vacuum equations with spin-chain BAEs","marker":"[7]"},{"why":"established Bethe/gauge correspondence for SO/Sp gauge theories and open spin chains that the BCD analysis builds on","marker":"[13]"},{"why":"introduced the supersymmetric-vacua/Bethe-ansatz correspondence that motivates identifying gauge vacuum equations with BAE","marker":"[18]"}],"fun_headline_variants":["4D gauge vacua map to open XYZ Bethe equations","New 4D duality: BCD gauge ↔ XYZ spin","From 3D to 4D: Bethe/gauge duality extended","Elliptic R-matrix duality for 4D gauge theories","Open XYZ spin chains from 4D N=1 gauge vacua"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole comparison rests on the assumption that the one-loop vacuum equation $\\exp(\\sigma\\,\\partial W_{\\rm eff}/\\partial\\Phi)=1$, imported from the three-dimensional analysis, is the complete and exact vacuum condition for the four-dimensional theory on $D^2\\times T^2$; any higher-loop or non-perturbative correction would add extra factors and break the matching with the Bethe ansatz equations.","fun_headline_variants_meta":{"raw":{"variants":["4D gauge vacua map to open XYZ Bethe equations","New 4D duality: BCD gauge ↔ XYZ spin","From 3D to 4D: Bethe/gauge duality extended","Elliptic R-matrix duality for 4D gauge theories","Open XYZ spin chains from 4D N=1 gauge vacua"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000823,"raw_usage":{"total_tokens":3620,"prompt_tokens":987,"completion_tokens":2633,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":603,"completion_tokens_details":{"reasoning_tokens":2542}},"tokens_in":603,"tokens_out":2633,"duration_ms":18843,"temperature":1.0,"reasoning_tokens":2542,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:45:52.681194+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the next correction to the effective superpotential of a small B-type theory (for instance $SO(5)$ with $N_f=2L+12$) directly from the exact $D^2\\times T^2$ partition function and check whether the vacuum equation remains $\\exp(\\sigma\\,\\partial W_{\\rm eff}/\\partial\\Phi)=1$; if any correction survives, the equality with BAE (24) fails. A cheaper check is to test the phase conditions $P_{hB}=2\\pi i k$, $P_{hC}=2\\pi i k$, $P_{hD}=2\\pi i k$ at generic masses: if they can only be satisfied by fine-tuning the dictionaries (57), (64), (69), the correspondence holds only on a parameter locus rather than as a duality.","supporting_citations":[{"cited_title":"Longhi, F","cited_arxiv_id":null,"evidence_quote":"supplies the localized 4D partition function and one-loop determinants on $D^2\\times T^2$ from which the effective superpotential is built"},{"cited_title":"Bethe/Gauge Correspondence for ABCDEFG-type 3d Gauge Theories","cited_arxiv_id":"2303.03102","evidence_quote":"supplies the open XYZ spin chain Bethe ansatz equations (24) that the B/C/D vacuum equations are matched against"},{"cited_title":"Wang, R.-D Zhu,Bethe/Gauge correspondence forA N spin chains with integrable boundaries,J","cited_arxiv_id":null,"evidence_quote":"established the preceding 4D BD-type gauge/open-XYZ correspondence that this paper extends to BCD with general boundaries"},{"cited_title":"Cao, W.-L","cited_arxiv_id":null,"evidence_quote":"provides the off-diagonal Bethe ansatz solution of the XYZ model underlying the closed-chain BAE (20)"},{"cited_title":"Langlands Dualities through Bethe/Gauge Correspondence for 3d Gauge Theories","cited_arxiv_id":"2312.13080","evidence_quote":"supplies the prior 3D BCD-type XXZ/open-chain dictionaries and the method for comparing gauge vacuum equations with spin-chain BAEs"},{"cited_title":"Bethe/Gauge Correspondence for SO/Sp Gauge Theories and Open Spin Chains","cited_arxiv_id":"2012.14197","evidence_quote":"established Bethe/gauge correspondence for SO/Sp gauge theories and open spin chains that the BCD analysis builds on"}],"review_version":2}