{"id":"ca915608-f40b-44e8-97f5-a81d876f31da","arxiv_id":"2411.19437","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A spectroscopy scheme combining transfer matrices, HOTRG coarse graining, impurity tensor networks, and Luescher's formula is demonstrated on the (1+1)d Ising model, reproducing low-lying energy gaps and the elastic phase shift.","lead":"This paper proposes using the tensor renormalization group to compute the energy spectrum of a lattice model from transfer-matrix eigenvalues, and to classify states by quantum number and momentum using operator matrix elements. The scheme is demonstrated on the (1+1)d Ising model, reproducing known energy gaps and the elastic scattering phase shift.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim depends on HOTRG matrix elements B[hotrg] to classify quantum numbers, momenta, and two-particle states, yet B[hotrg] is never validated against exact transfer-matrix matrix elements and the zero/nonzero criterion is unquantified.","rationale":"I agree with the reader's weakest assumption. The strongest evidence in the paper is the energy-gap comparison in Fig. 3c and the elastic-region phase shift δ = -π/2, which is a nontrivial consistency check. However, the phase-shift agreement is not an independent validation of B[hotrg], because the same B[hotrg] was used to select which states enter Eqs. (27)-(28). The missing L_t and the internal repetition of |3> in the momentum list are additional reporting problems, but the load-bearing risk is narrower: the entire classification pipeline (Z2 quantum number, momentum, P=0 two-particle selection) reduces to reading zero versus nonzero values out of an approximated matrix element with no error bars. HOTRG truncation affects eigenvalues and eigenvectors differently, so the accurate gaps in Fig. 3c do not imply accurate B[hotrg]. A direct exact-diagonalization comparison for small Lx would settle this. If it passes for the reported χ and L_t, the conditional verdict can be upgraded; if it fails, the scheme needs error-controlled thresholds or better eigenvector accuracy. I therefore keep the reader's CONDITIONAL verdict unchanged.","tokens_in":7233,"tokens_out":14858,"duration_ms":136425,"concrete_test":"For Lx = 8 and Lx = 16 at T = 2.44 with the paper's L_t and χ, construct the exact 2^{Lx} × 2^{Lx} Ising transfer matrix (4), block-diagonalize it by momentum and Z2 parity (largest block is about 4096 for Lx = 16), and compute B_exact = U† O U for O = s0, O1(p) from Eq. (25), and O2(P,p) from Eq. (26). Recompute B[hotrg] from Eq. (24) using identical L_t, χ, and explicit reuse of the pure-network isometries. Compare entries for all states a up to 20: check that the exact zero/nonzero pattern matches the B[hotrg] pattern under a stated threshold, e.g., |B[hotrg]| < 10^{-8} for exact zeros and relative error < 10% for nonzeros. If the patterns match, the classification is validated; if they do not, the phase-shift claim lacks the needed eigenvector control.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2.2 defines the quantum-number classification through B_ba = (U† O_q U)_ba and approximates it by Eq. (24): B[hotrg] = λ^{-m+1/2} W[n]† A'[n] W[n] λ^{-m-1/2}. The selection of q_a, of one-particle momenta, and of P=0 two-particle states in Section 3 all use this object, and the two-particle energies then feed Lüscher's formula (28). The energy-gap comparison in Fig. 3c is strong evidence for the eigenvalues λ[n], but it says nothing about the accuracy of the eigenvectors W[n] or of the coarse-grained impurity tensor A'[n]. HOTRG truncation error can be small for eigenvalues and still produce O(1) errors in small matrix elements, or mix near-degenerate sectors. The paper reports no threshold or uncertainty for treating a value as zero: it says 'carefully examining' and 'extremely small or considered as zero', and Figure 3b is not tabulated. There is also a technical gap in Eq. (24): A'[n] and W[n] come from separate coarse-graining passes, and the formula is only valid if the impurity network is contracted with the same isometries as the pure network; the text does not state that this is done. Since a classification error propagates directly into the phase shift, the full pipeline is not yet established without a direct test of B[hotrg].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a spectroscopy scheme for lattice field theories based on the transfer matrix and tensor renormalization group. The partition function is expressed as a product of transfer matrices, HOTRG is used to approximate the transfer-matrix eigenvalues, and energy gaps are computed from logarithms of eigenvalue ratios. Quantum numbers and momenta are assigned from matrix elements of impurity tensor-network operators, and two-particle states with zero total momentum are identified in the same way. The method is demonstrated on the (1+1)-dimensional Ising model at T=2.44; the extracted two-particle energies are converted through Lüscher's formula into a scattering phase shift, which is reported to agree with the exact value δ=-π/2 in the elastic region. The strongest numerical evidence is the comparison of the HOTRG energy gaps with exact transfer-matrix results in Fig. 3c, which shows relative errors of order 10^-2.","tokens_in":7552,"tokens_out":8124,"duration_ms":63738,"significance":"If fully validated, the proposed pipeline would be a useful alternative to Monte Carlo spectroscopy because it extracts excited states and phase shifts from a Lagrangian tensor network without a large time extent. The eigenvalue part is externally benchmarked against exact transfer-matrix results, and the phase shift is compared with an exact Ising result, so the logic is falsifiable rather than circular. The paper does not ship code or data, but the external benchmarks partly compensate. The central weakness is that the quantum-number, momentum, and two-particle assignments all rely on matrix elements that are never validated against exact transfer-matrix matrix elements and are classified with an unquantified zero/nonzero criterion; therefore the energy-gap part is established, but the full pipeline from matrix elements to phase shift is not yet.","major_comments":[{"comment":"The passage from Eq. (23) to Eq. (24) is not justified in the text: Eq. (23) contains the factors A^{m-1} and A^m together with powers of λ, whereas Eq. (24) uses only the coarse-grained impurity tensor A'[n] and powers of λ[n]. This simplification can only hold if the pure and impurity networks are coarse-grained with the same isometries and if the powers of A cancel after the λ normalization; neither condition is stated or demonstrated. Because Eq. (24) is the object used for every quantum-number and momentum assignment in Section 3, this is a load-bearing gap in the derivation.","section":"Section 2.2, Eq. (24)"},{"comment":"The classification of states as q=-1, as one-particle states with a given momentum, and as P=0 two-particle states depends on deciding whether the matrix elements B[hotrg] are zero or nonzero, but no threshold, no uncertainty estimate, and no comparison with exact transfer-matrix matrix elements are given. In Table 1 the values in the column B_{0a}(0,2π/Lx) are not numerically negligible (e.g., 0.12364 and 0.04844 for Lx=8), so the statement that P≠0 matrix elements are 'extremely small or considered as zero' is not supported by the table as printed. Since an incorrect zero/nonzero decision changes the state assignment and hence the input to Lüscher's formula, the phase-shift claim is not established without a direct test of Eq. (24).","section":"Section 3, Fig. 3b and Table 1"},{"comment":"The list of momentum assignments in Section 3 is internally inconsistent: the state |3⟩ is assigned both |p|=2π/Lx and |p|=4π/Lx, and the state |6⟩ is classified as having q=+1 in the quantum-number paragraph but is assigned momentum 6π/Lx in the one-particle list. The matrix elements behind these assignments are not tabulated, so the dispersion relation in Fig. 4a cannot be checked from the text. These inconsistencies need to be corrected before the momentum-classification claim can be evaluated.","section":"Section 3, momentum assignments"},{"comment":"The phase-shift extraction uses the exact infinite-volume Ising mass m=0.12621870 in Eq. (27) rather than a mass determined from the same HOTRG data, and no systematic uncertainty from this choice or from the fixed bond dimension χ=80 is estimated. The agreement δ≈-π/2 is the central quantitative result of the paper, so the authors should either demonstrate insensitivity of the phase shift to these choices or provide error estimates; as written, the plot in Fig. 4b has no error bars or χ-dependence information.","section":"Section 3, Eqs. (27)-(28)"}],"minor_comments":[{"comment":"In the last factor of Eq. (4), exp[β/2 (t,x+1)s(t,x)] appears to be missing a spin variable; it should presumably read exp[(β/2) s(t,x+1) s(t,x)].","section":"Eq. (4)"},{"comment":"The symbol m is used for the exponent in Eq. (23) and later for the particle mass in Eq. (27); these two uses should be distinguished to avoid confusion.","section":"Section 2.2"},{"comment":"The matrix elements B[hotrg]_{0a} shown only graphically in Fig. 3b are the sole evidence for the quantum-number classification; a table of the values would make the zero/nonzero judgment reproducible.","section":"Fig. 3b"},{"comment":"Reference [1] contains the typo 'Frrontier', and the formatting of reference [5] is inconsistent with the other entries; these should be corrected in the final version.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"This is a proceedings-style contribution with a promising method and a clean external benchmark for the eigenvalues. The main obstacle is not the energy-gap extraction but the unvalidated matrix-element classification, which is the linchpin of the quantum-number, momentum, and phase-shift claims. I recommend major revision rather than rejection because the problems are fixable within the manuscript's scope: validate B[hotrg] against exact transfer-matrix matrix elements for small Lx, quantify the zero/nonzero threshold, correct the momentum list, and add error estimates to the phase shift."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know this paper as the first (to my knowledge) to combine HOTRG transfer-matrix eigenvalues, impurity-tensor operator matrix elements, and Lüscher's formula into one spectroscopy pipeline. The Ising demonstration is genuinely useful: the energy gaps match exact results to a few percent, and the phase shift in the elastic region comes out at δ = -π/2 as it should. Those comparisons are against independent exact calculations, so the headline numbers are credible.\n\nWhat's new is the specific assembly of known ingredients. Prior tensor-network spectroscopy [2] used Hamiltonian formalism and [3] got ground-state energy; here they get excited states, quantum numbers, and momenta from the Lagrangian transfer matrix. That's a step forward, and the method should generalize to models with sign problems.\n\nThe soft spots are all in the classification step. The states are assigned quantum numbers and momenta by inspecting B[hotrg] matrix elements and deciding what counts as zero. No threshold is given, and Figure 3b is not tabulated. The momentum paragraph has an internal inconsistency: state 3 is assigned both p=2π/L and p=4π/L, and the list of q=-1 states doesn't match the momentum list. That could be a typo, but you shouldn't have to guess.\n\nThere's also a technical point the paper should clarify. Equation (24) combines W[n] and λ[n] from coarse-graining the pure network with A'[n] from coarse-graining the impurity network. That only makes sense if both coarse-grainings used the same isometries; the text doesn't say so. If they didn't, the matrix elements are in the wrong basis. The authors probably did this, but it needs to be explicit.\n\nAlso, they feed the exact infinite-volume mass into eq. (27) to get k. That's fine as a benchmark, but it means the phase-shift extraction isn't fully self-contained yet.\n\nThese are real gaps, but they're not fatal for a proceedings proof of principle. The overall scheme is coherent, and the agreement with exact energies and phase shift gives me some confidence the classification is roughly right. I'd like to see B[hotrg] validated against exact transfer-matrix matrix elements for a small system, and a concrete zero/nonzero criterion.\n\nIf this showed up in my inbox, I'd send it to review. The method is worth referee time, and the classification issues are fixable in a longer paper.","headline":"A plausible tensor-network spectroscopy proof of principle; the energies and phase shift are right, but the state-identification step lacks quantitative criteria and a couple of technical details are underdocumented.","tokens_in":8069,"tokens_out":3410,"would_cite":true,"duration_ms":28921,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T25","82B20"],"pacs":["05.10.Cc","05.50.+q","11.15.Ha"],"model":"deepseek-v4-flash","headline":"This paper claims that a tensor-network coarse-graining of the transfer matrix yields the complete low-lying energy spectrum of a lattice model, identifies each state's quantum number and momentum from impurity-tensor matrix elements, and…","keywords":["tensor renormalization group","transfer matrix","spectroscopy","Ising model","scattering phase shift","Lüscher's formula","impurity tensor network","quantum numbers"],"falsifier":"Take one system size, say $L_x=64$ at $T=2.44$, and recompute the matrix elements $B^{\\mathrm{hotrg}}$ with a larger bond dimension, for example $\\chi=120$ instead of $80$; if any state changes its zero/nonzero assignment, or if the phase shift extracted from the two-particle energy shifts by more than the $O(10^{-2})$ energy uncertainty, the classification scheme is not reliable.","tokens_in":7036,"feed_emoji":"🧮","tokens_out":8361,"duration_ms":61866,"temperature":0.7,"pith_summary":"This paper proposes a spectroscopy scheme for lattice models that avoids the large time extent and large statistics demanded by Monte Carlo. The energy spectrum is obtained from the eigenvalues of the transfer matrix after the tensor network is coarse-grained with the higher-order tensor renormalization group (HOTRG), and quantum numbers and momenta are read off from matrix elements computed with an impurity tensor network. As a demonstration on the $(1+1)$-dimensional Ising model, the scheme reproduces the energy gaps up to $a=20$ with largest relative error $O(10^{-2})$, identifies the $\\mathbb{Z}_2$ quantum numbers and momenta of the low-lying states, and converts the two-particle energy at zero total momentum through Lüscher's formula into a scattering phase shift that agrees with the known result $\\delta=-\\pi/2$ in the elastic region. If correct, the method shows that spectroscopy and scattering information can be extracted from a single coarse-grained tensor network.","feed_headline":"Tensor network extracts Ising spectrum and phase shift","feed_subtitle":"Coarse-grained transfer-matrix eigenvalues match exact gaps to 1% and give the known −π/2 phase shift.","key_machinery":"The transfer matrix $T$ factorizes as $T=YY^\\dagger$, and the tensor network $A=Y^\\dagger Y$ has the same eigenvalues as $T$, so coarse-graining the square tensor network with HOTRG yields approximate eigenvalues $\\lambda^{[n]}$ and eigenvectors $W^{[n]}$. The energy gap of state $a$ is $\\omega^{\\mathrm{hotrg}}_a = (1/L_t)\\log(\\lambda^{[n]}_0/\\lambda^{[n]}_a)$. To identify quantum numbers and momenta, a local operator (single spin, momentum-projected spin, or double spin) is inserted into one time slice to form an impurity tensor $A'$, and coarse-graining the pure and impurity networks in the same way gives the matrix element $B^{\\mathrm{hotrg}}_{ba} = ((\\lambda^{[n]})^{-m+1/2} W^{[n]\\dagger} A'^{[n]} W^{[n]} (\\lambda^{[n]})^{-m-1/2})_{ba}$. The $\\mathbb{Z}_2$ selection rule then assigns $q_a=-1$ to states with $B^{\\mathrm{hotrg}}_{0a}\\neq 0$, momentum $p$ to states whose projected matrix element does not vanish, and a two-particle state with total momentum $P$ to states whose double-spin matrix element is nonzero only at that $P$.","core_discovery":"The paper's central claim is that a coarse-grained tensor network retains enough information to do spectroscopy: after HOTRG reduces the transfer matrix dimension, its eigenvalues give the energy gaps $\\omega^{\\mathrm{hotrg}}_a$ that match exact Ising values to $O(10^{-2})$ up to $a=20$, and the eigenvectors, combined with an impurity tensor network carrying a local operator, give matrix elements $B^{\\mathrm{hotrg}}$ from which the $\\mathbb{Z}_2$ quantum number and the momentum of each state can be assigned. The assignments are made by the selection rule that $B^{\\mathrm{hotrg}}$ vanishes when the symmetry labels do not match, and by checking which momentum projector has a nonzero vacuum-to-state matrix element. For two-particle states with total momentum zero, the same criterion identifies the right states at several volumes, and the corresponding energies fed into Lüscher's formula produce a phase shift that in the elastic region matches the theoretical value $\\delta=-\\pi/2$.","pith_inferences":["The zero/nonzero classification of matrix elements is the real bottleneck; a principled threshold based on $\\chi$-convergence or a norm-based criterion would turn the state assignment into a quantitative statement.","Because the impurity network is general, the same machinery could compute other finite-volume matrix elements, such as form factors or correlation functions, by inserting different local operators into $A'$.","The phase-shift result is a single-point proof-of-concept; a scan over temperatures and volumes, with error propagation from the energy uncertainties, would show how far the $O(10^{-2})$ energy error carries into the phase shift.","The method's dependence on the HOTRG approximation suggests that bond-weighted or variational tensor renormalization group schemes could extend the reach to higher excited states and inelastic regions."],"forward_implications":["Energy spectra of lattice models can be extracted without large time extent or large Monte Carlo statistics, because all eigenstates come from one diagonalization of the coarse-grained transfer matrix.","Quantum numbers and momenta of eigenstates can be obtained from the same coarse-grained data via impurity tensor networks, so the symmetry content of the spectrum is determined without separate calculations.","Two-particle energies at zero total momentum can be converted into scattering phase shifts with Lüscher's formula, making phase shifts accessible from a pure tensor-network computation.","Because the largest relative error is $O(10^{-2})$ at $a=20$, the scheme is presently reliable for low-lying states; higher excitations will need larger bond dimension or a more accurate coarse-graining.","The same pipeline can be applied to any model whose partition function is a tensor network, including the $(1+1)$d scalar field theory and moving-frame phase shifts mentioned as future work."],"supporting_citations":[{"why":"Supplies the higher-order tensor renormalization group algorithm used to coarse-grain the transfer-matrix tensor network.","marker":"[4]"},{"why":"Provides the exact energy gaps for the (1+1)d Ising model that the numerical gaps are compared against.","marker":"[5]"},{"why":"Gives the theoretical phase shift $\\delta=-\\pi/2$ and the lattice dispersion relation used as benchmarks.","marker":"[6]"},{"why":"Lüscher's formula that converts the two-particle energy at zero total momentum into the scattering phase shift.","marker":"[7]"}],"fun_headline_variants":["Tensor network spectroscopy matches Ising gaps to 1%","Tensor-network eigenvalues give Ising gaps and phase shift","Ising spectrum and phase shift from tensor network","HOTRG eigenvalues reproduce Ising gaps and phase shift","Coarse-grained tensor network yields Ising gaps and phase shift"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole classification of states rests on being able to distinguish zero from nonzero in the approximate matrix elements $B^{\\mathrm{hotrg}}$ without a stated threshold or uncertainty, so if the coarse-grained eigenvectors are not accurate enough the quantum numbers and momenta could be misassigned even when the energy gaps look correct.","fun_headline_variants_meta":{"raw":{"variants":["Tensor network spectroscopy matches Ising gaps to 1%","Tensor-network eigenvalues give Ising gaps and phase shift","Ising spectrum and phase shift from tensor network","HOTRG eigenvalues reproduce Ising gaps and phase shift","Coarse-grained tensor network yields Ising gaps and phase shift"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000765,"raw_usage":{"total_tokens":3343,"prompt_tokens":847,"completion_tokens":2496,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":463,"completion_tokens_details":{"reasoning_tokens":2417}},"tokens_in":463,"tokens_out":2496,"duration_ms":13635,"temperature":1.0,"reasoning_tokens":2417,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:11:51.746371+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take one system size, say $L_x=64$ at $T=2.44$, and recompute the matrix elements $B^{\\mathrm{hotrg}}$ with a larger bond dimension, for example $\\chi=120$ instead of $80$; if any state changes its zero/nonzero assignment, or if the phase shift extracted from the two-particle energy shifts by more than the $O(10^{-2})$ energy uncertainty, the classification scheme is not reliable.","supporting_citations":[{"cited_title":"76 (1946) 1232","cited_arxiv_id":null,"evidence_quote":"Provides the exact energy gaps for the (1+1)d Ising model that the numerical gaps are compared against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Lüscher's formula that converts the two-particle energy at zero total momentum into the scattering phase shift."}],"review_version":1}