{"id":"8a2b6500-a40e-4a07-a36e-2163e990ef80","arxiv_id":"2608.11021","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"For smooth topological interfaces in inhomogeneous SSH chains, the zero mode's width scales as the square root of the system size and sets the scale for a mesoscopic critical region.","lead":"The paper studies one-dimensional quantum wires where the strength of the inter-site links varies gradually along the wire. It finds that the special zero-energy state trapped at the interface between two phases spreads over a distance that grows like the square root of the wire length, and that this length controls how quantum correlations and entanglement behave near the interface.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The √N universality rests on the rescaling assumption f_{λn,λN}=f_{n,N}; under the paper's own smoothness condition (SM S6), fixed-width interfaces give ξ=O(1), so 'arbitrary smooth hopping profiles' overstates the theorem's scope.","rationale":"The exact zero-mode formula, the saddle-point Gaussian approximation, and the two example families all support Eq. (6) within the stated model class; I see no internal algebraic inconsistency. The load-bearing point is the gap between the rescaling invariance assumed in the Spatial extension section and the broader phrase 'arbitrary smooth hopping profiles' used in the abstract and conclusion. The Supplemental Material's smoothness condition (S6) appears to include fixed-lattice-width interfaces, for which the same exact formula yields a width independent of N. A concrete numerical test with a tanh profile of fixed W would settle whether the paper's universality claim extends beyond the rescaled families. The reader's weakest assumption identifies exactly this rescaling condition; I agree. Because the fix is a scoped abstract and an explicit statement of the n/N scaling assumption rather than a change to the core derivation, the conditional verdict stands unchanged.","tokens_in":13964,"tokens_out":10453,"duration_ms":98552,"concrete_test":"Compute the exact zero-mode width σ = [Σ_n (n−⟨n⟩)^2 |ψ_{A,n}^{(0)}|^2]^{1/2} from Eq. (2) for the fixed-lattice-width profile v_n=1−δ tanh((n−n0)/W), w_n=1+δ tanh((n−n0)/W) with δ=0.5, W=10, n0=⌊N/2⌋, for N=10^2, 10^3, and 10^4. If σ saturates at O(W) rather than growing as √N, the headline universality fails for a profile satisfying the paper's own smoothness criterion; repeat with W scaling as N to confirm the √N law holds only in the rescaled case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (5b) gives ξ = sqrt(w(x0)/(a|m'(x0)|)). The universal ξ∼√N in Eq. (6) is obtained by assuming m'(x0)=O(1/ℓ), which follows only from the rescaling invariance f_{λn,λN}=f_{n,N} stated in the Spatial extension section. This assumption is doing real work and is stronger than the smoothness criterion used in the Supplemental Material, |a∂_x f/f|≪1 (Eq. S6). Consider a smooth interface of fixed width W in lattice units, v_n=1−δ tanh((n−n0)/W), w_n=1+δ tanh((n−n0)/W), with W≫1 independent of N. This satisfies Eq. S6, yet m'(x0)∼δ/(aW) is independent of N, so Eq. (5b) gives ξ∼sqrt(w W/δ), a constant that does not grow with N. The exact zero mode in Eq. (2) would confirm ξ=O(W). The power-law and Fermi–Dirac families in Eqs. (7) are constructed with the stronger n/N scaling, so they cannot falsify the distinction. The mathematical result is coherent as a statement about profiles whose physical interface width grows with the system size, but the abstract's 'arbitrary smooth hopping profiles' and 'independent of the microscopic details' are broader than what is proved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies inhomogeneous SSH chains with spatially varying hoppings v_n and w_n, odd length 2N+1, and a single interface at which the mass m(x)=v(x)-w(x) changes sign once with nonzero derivative. Using the exact lattice zero-mode formula Eq. (2) and a continuum Dirac reduction Eq. (3), it derives a Jackiw-Rebbi zero mode with a Gaussian envelope whose lattice width is xi = sqrt(w(x0)/(a|m'(x0)|)) in Eq. (5b). Assuming coupling profiles of the scaling form f(n/N), the paper argues that xi ~ sqrt(N) universally. It then presents numerical evidence that correlations near the interface collapse as a function of d/xi, decaying algebraically as d^-1 for d << xi and exponentially beyond, and that the entanglement entropy at the interface satisfies S(n0) = (1/6) log xi + 0.514, which is interpreted as a mesoscopic critical region separating two gapped phases.","tokens_in":14206,"tokens_out":6264,"duration_ms":61241,"significance":"If the result holds, the paper identifies a new emergent length scale for smooth topological interfaces and connects the spatial profile of a protected zero mode to correlation and entanglement properties of the surrounding many-body state. The exact lattice solution Eq. (2), the clean continuum reduction to Eq. (3), the scaling collapse in Fig. 2, the local topological marker in Fig. S2, and the weak-disorder checks in Figs. S4-S5 are all genuine strengths; the numerical lattice-continuum agreement is excellent. However, the universality claim is narrower than the abstract states: the xi ~ sqrt(N) result relies on the interface width growing with N, and the smoothness condition in the Supplemental Material is not sufficient to guarantee this. The paper is otherwise clearly written and the main analytical steps are standard and checkable.","major_comments":[{"comment":"The derivation of xi ~ sqrt(N) uses the rescaling invariance f_{lambda n, lambda N} = f_{n,N}, not merely the smoothness condition |a d_x f / f| << 1 stated in Eq. (S6). These are inequivalent. For example, take v_n = 1 - delta tanh((n-n0)/W) and w_n = 1 + delta tanh((n-n0)/W) with W >> 1 fixed and independent of N. This profile satisfies Eq. (S6), but m'(x0) ~ 2 delta/(a W) is independent of N, so Eq. (5b) gives xi ~ sqrt(w(x0) W/delta) = O(1) as N grows, and the exact zero mode in Eq. (2) confirms a localization width O(W). Thus the abstract's phrase 'arbitrary smooth hopping profiles' and the conclusion's 'independently of the microscopic realization of the interface' overstate the theorem. The result applies to profiles whose physical interface width scales with N, i.e. profiles of the form f(n/N). This is a load-bearing point for Eq. (6) and should be stated explicitly, with the theorem re-scoped and the examples described accordingly.","section":"Spatial extension, Eq. (6); SM Eq. (S6)"},{"comment":"The universal logarithmic law S(n0) = (1/6) log xi + 0.514 is presented as a numerical fit for two families of profiles. No derivation is given, and Fig. 3 (bottom) does not show fit errors, the number of data points per family, or the fitting range in xi. Since this equation is a central piece of the mesoscopic-critical-region interpretation, please either derive the coefficient 1/6 from the Gaussian structure of Eq. (5) or substantially expand the numerical evidence (more profile families, error bars, stated fit ranges) and state explicitly that Eq. (8) is a fitted scaling law rather than a derived one.","section":"Entanglement entropy, Eq. (8)"}],"minor_comments":[{"comment":"The phrases 'arbitrary smooth hopping profiles' and 'independently of the microscopic details' should be qualified to reflect the n/N scaling assumption; this is directly connected to the first major comment.","section":"Abstract and Conclusion"},{"comment":"Please specify the fitting ranges in d/xi and state whether the algebraic exponent 1 and the exponential rate 4.4 are fixed or free parameters in the fits shown in Fig. 2.","section":"Correlations, Fig. 2"},{"comment":"The bottom panel should state how the xi values are generated (for example, varying N at fixed alpha, beta, or varying alpha, beta at fixed N), and should include error bars for S(n0).","section":"Entanglement entropy, Fig. 3"},{"comment":"The interface position n0 = pN is used in Eq. (8) and Fig. 3, but pN need not be an integer; define n0 = round(pN) or specify the convention used for non-integer pN.","section":"Entanglement entropy, Eq. (8)"},{"comment":"The normalization constants N_latt in Eq. (2) and N in Eq. (4b) can be confused with the system size N; consider renaming them, for example Z and N_norm.","section":"Model and zero mode, Eq. (2)"},{"comment":"The statement in the main text that 'the correlations within each sublattice are entirely determined by the zero mode' is imprecise: Eq. (S22) gives C^{-,BB}_{mn} = (1/2) delta_{mn}, which does not involve the zero mode; only the AA sector is fixed by C^0.","section":"Correlations, SM Eq. (S22)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has a clean, mostly correct core, but the headline universality claim is oversold. The sqrt(N) scaling of the zero-mode extension is real for interfaces whose width grows with the system size; for a fixed-width smooth interface, the width stays O(1). That distinction is buried in the rescaling assumption f_{λn,λN}=f_{n,N}, which is stronger than the smoothness criterion in the Supplemental Material. The abstract's \"arbitrary smooth hopping profiles\" and \"independent of microscopic details\" overpromise.\n\nWhat is genuinely good: the exact zero-mode solution (Eq. 2) and the Gaussian Jackiw-Rebbi profile (Eq. 5) are handled carefully, and the derivation of Eq. (6) is transparent once the scaling assumption is stated. The lattice-versus-continuum agreement in Fig. 1 and Fig. S3 is excellent. The correlation collapse in Fig. 2 onto a single scaling function is striking, and the entanglement scaling (Eq. 8) with the 1/6 log prefactor matching the critical SSH coefficient is a nice observation. The local topological marker check that the interface separates two gapped phases is a thoughtful addition.\n\nSoft spots: both example families (power-law and Fermi–Dirac) satisfy the strong rescaling property, so they cannot probe the difference between genuine universality and an artifact of that assumption. A fixed-width tanh interface is smooth in the S6 sense but gives xi = O(W), not sqrt(N). The correlation and entanglement claims are numerical fits on two families, not derivations, and the disorder averages use only 20 realizations with no error bars. No code or data is shipped, limiting independent reproduction. These are all fixable: scope the abstract, state the n/N scaling assumption prominently, and publish the numerics.\n\nThe central argument holds up if read as a statement about a class of profiles whose physical interface width grows with system size. That class is physically relevant, especially for trapping potentials and smoothly engineered photonic or cold-atom interfaces. I would send this to a serious referee, but with a clear instruction to push on the scope and request the underlying data.\n\nWho should read it: people working on inhomogeneous topological chains, Jackiw–Rebbi physics, and entanglement in free-fermion systems. It deserves referee time.","headline":"Solid and clean where it is careful, but the sqrt(N) universality is conditional on interfaces that scale with system size, not on smoothness alone; the abstract overstates the scope.","tokens_in":14839,"tokens_out":2666,"would_cite":true,"duration_ms":24370,"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":"For smooth interfaces in inhomogeneous SSH chains, the topological zero mode is not exponentially localized: its width grows as the square root of the chain size, and this emergent length controls correlations and entanglement.","keywords":["Su-Schrieffer-Heeger chain","inhomogeneous hopping","topological zero mode","Jackiw-Rebbi mode","smooth interface","emergent length scale","entanglement entropy","algebraic correlations"],"falsifier":"Compute the zero-mode width from the exact product formula for chains in which the interface width is held fixed in lattice units as $N$ grows (for example a mass profile $m(n)=\\tanh(n/\\ell)$ with fixed $\\ell$): the paper's scaling criterion predicts the width stays $O(1)$, so observing $\\sqrt{N}$ growth would falsify the claim. For profiles that do satisfy the rescaling condition, checking numerically that the width divided by $\\sqrt{N}$ is constant across $N=100,400,1600$ settles the scaling law.","tokens_in":13668,"feed_emoji":"📏","tokens_out":9773,"duration_ms":83088,"temperature":0.7,"pith_summary":"The paper asks what happens to a topologically protected zero mode when the interface between two gapped phases is smooth rather than sharp, using inhomogeneous Su-Schrieffer-Heeger (SSH) chains, one-dimensional dimerized hopping models with two topologically distinct phases. It claims that for any smooth hopping profile whose mass $m(x)=v(x)-w(x)$ changes sign once with a nonzero slope, the zero mode spreads over a length proportional to $\\sqrt{N}$, regardless of the microscopic shape of the interface. This emergent length creates a mesoscopic critical region in which correlations decay algebraically and the entanglement entropy grows logarithmically with the interface width. The result matters because it turns the existence of a protected mode into quantitative predictions about the many-body state around smooth topological interfaces.","feed_headline":"Topological zero modes spread as square root of chain size","feed_subtitle":"Smooth interfaces create a universal mesoscopic critical region, visible in correlations and entanglement.","key_machinery":"The load-bearing object is the chiral zero-mode wavefunction, which chiral symmetry forces to be exact and sublattice-polarized in any odd open chain, with the product form of Eq. (2) built from the ratios $v_j/w_j$. In the continuum limit this envelope is the Jackiw-Rebbi Gaussian of the inhomogeneous Dirac Hamiltonian $h(x)=m(x)\\sigma_x + ia w(x)\\sigma_y\\partial_x$, whose width $\\xi$ is set by the local mass gradient. The argument that makes $\\xi$ universal is the rescaling condition $f_{\\lambda n,\\lambda N}=f_{n,N}$: it forces every smooth coupling to depend only on $n/N$, so $m'(x_0)\\sim \\ell^{-1}$, which turns the Gaussian width into $\\sqrt{N}$ regardless of the microscopic profile.","core_discovery":"The central claim is that for generic smooth inhomogeneous SSH chains with a mass $m(x)=v(x)-w(x)$ that crosses zero once at $x_0$ with $m'(x_0)\\neq 0$, the exact lattice zero mode is accurately described by a Gaussian Jackiw-Rebbi envelope. The width of that envelope is $\\xi=\\sqrt{w(x_0)/(a|m'(x_0)|)}$, and for any hopping profile admitting a continuum limit it scales as $\\xi\\sim\\sqrt{N}$, because smoothness forces the mass gradient to be of order $1/N$ rather than a fixed microscopic constant. Around the interface, the AB correlation decays as $d^{-1}$ for $d\\ll\\xi$ and exponentially for $d\\gg\\xi$, while the entanglement entropy at the interface obeys $S(n_0)=\\frac{1}{6}\\log\\xi+0.514$, matching the logarithmic form of a one-dimensional critical free-fermion system with an effective region of size $\\xi$.","pith_inferences":["The paper leaves implicit that the same argument should apply to other one-dimensional chiral topological models with smooth domain walls, for example the Majorana zero mode of a Kitaev chain should also spread as $\\sqrt{N}$.","A testable extension not performed here is that a quantum quench or transport probe across the interface should show a dynamical crossover at times and distances set by $\\xi$, since $\\xi$ is the emergent low-energy length.","In photonic or cold-atom realizations that control the mass gradient, the zero-mode envelope can be imaged directly and the predicted $d^{-1}$ to exponential crossover measured as a function of $N$."],"forward_implications":["Every smooth interface with a single sign-changing mass and nonzero slope hosts a zero mode whose width grows as $\\sqrt{N}$, independent of the functional form of the hoppings.","The same $\\sqrt{N}$ extension applies to multiple smooth interfaces in one chain, each generating its own mesoscopic critical region.","Inter-sublattice correlations near the interface collapse onto a universal curve: algebraic decay $\\sim d^{-1}$ for $d\\ll\\xi$, exponential decay for $d\\gg\\xi$, with the crossover at $d/\\xi\\sim 1$.","Entanglement entropy at the interface satisfies $S(n_0)=\\frac{1}{6}\\log\\xi+0.514$, the same logarithmic form as a critical free-fermion chain of length $\\xi$.","Weak disorder with preserved chiral symmetry leaves the zero-mode position and width essentially unchanged, so the $\\sqrt{N}$ scaling is robust."],"supporting_citations":[{"why":"Provides the Jackiw-Rebbi continuum zero mode and its Gaussian approximation around a sign-changing mass.","marker":"[12]"},{"why":"Defines the SSH model whose homogeneous gapped phases are the two sides of the interface.","marker":"[10]"},{"why":"Gives the logarithmic entanglement entropy scaling for critical free-fermion chains used to interpret S(n0).","marker":"[38]"},{"why":"Supplies the conformal-field-theory entanglement result with the 1/6 coefficient entering Eq. (8).","marker":"[39]"},{"why":"Introduces the Local Topological Marker used to verify that the interface separates distinct topological phases.","marker":"[5]"},{"why":"Motivates the smooth-interface setting and the continuum treatment of gradual domain walls in topological heterojunctions.","marker":"[13]"}],"fun_headline_variants":["Zero modes spread as sqrt of chain size","Smooth interfaces yield universal sqrt scaling","Square-root law for topological zero modes","Mesoscopic critical region from smooth SSH interfaces","Zero mode width scales with sqrt(N) universally"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result relies on the hopping profiles being smooth on the scale of the whole chain, so the mass slope at the interface is inversely proportional to the system size; a fixed-width interface would give a constant zero-mode width instead of $\\sqrt{N}$ growth.","fun_headline_variants_meta":{"raw":{"variants":["Zero modes spread as sqrt of chain size","Smooth interfaces yield universal sqrt scaling","Square-root law for topological zero modes","Mesoscopic critical region from smooth SSH interfaces","Zero mode width scales with sqrt(N) universally"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000805,"raw_usage":{"total_tokens":3512,"prompt_tokens":897,"completion_tokens":2615,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":2550}},"tokens_in":513,"tokens_out":2615,"duration_ms":18068,"temperature":1.0,"reasoning_tokens":2550,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:57:42.069526+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the zero-mode width from the exact product formula for chains in which the interface width is held fixed in lattice units as $N$ grows (for example a mass profile $m(n)=\\tanh(n/\\ell)$ with fixed $\\ell$): the paper's scaling criterion predicts the width stays $O(1)$, so observing $\\sqrt{N}$ growth would falsify the claim. For profiles that do satisfy the rescaling condition, checking numerically that the width divided by $\\sqrt{N}$ is constant across $N=100,400,1600$ settles the scaling law.","supporting_citations":[{"cited_title":"Solitons with fermion number 1/2,","cited_arxiv_id":null,"evidence_quote":"Provides the Jackiw-Rebbi continuum zero mode and its Gaussian approximation around a sign-changing mass."},{"cited_title":"Entanglement in quantum critical phenomena,","cited_arxiv_id":null,"evidence_quote":"Gives the logarithmic entanglement entropy scaling for critical free-fermion chains used to interpret S(n0)."},{"cited_title":"Entanglement entropy and quantum field theory,","cited_arxiv_id":null,"evidence_quote":"Supplies the conformal-field-theory entanglement result with the 1/6 coefficient entering Eq. (8)."},{"cited_title":"Observation of the topological Anderson insulator in disordered atomic wires,","cited_arxiv_id":null,"evidence_quote":"Introduces the Local Topological Marker used to verify that the interface separates distinct topological phases."},{"cited_title":"Two-dimensional massless electrons in an inverted contact,","cited_arxiv_id":null,"evidence_quote":"Motivates the smooth-interface setting and the continuum treatment of gradual domain walls in topological heterojunctions."}],"review_version":1}