{"id":"e90537d0-0ea6-4bba-8823-d723a5f2e2ed","arxiv_id":"1908.03976","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Surface states appear in defect-free polyatomic tight-binding chains when each unit cell has at least three atoms and the surface-site energy differs from the other species.","lead":"A finite chain of atoms with three or more atoms per unit cell shows localized surface states even when the surface atom has the same on-site energy as its matching bulk atoms. The effect is a second-order hopping correction that makes surface atoms act as weak impurities, useful for designing photonic or electronic lattices with edge localization.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed lower bound of three atoms per unit cell is false for general nearest-neighbor hopping: a binary chain with alternating hoppings and A-terminated ends has an exact Tamm-type surface state at E=εA.","rationale":"The most load-bearing point is not the termination issue raised by the reader, although that is also real. The paper's central claim is a lower bound of three atoms per unit cell for any defect-free polyatomic lattice with nearest-neighbor hopping. Its own perturbation formalism admits arbitrary dimensionless hoppings αr, and Eqs. (7)-(11) are used to conclude that b=2 never gives surface states. That conclusion fails when α1≠αb: the second-order effective A-sublattice Hamiltonian is a finite chain with one end potential exceeding the effective hopping, which is precisely the standard condition for a Tamm bound state. I verified this by an exact eigenstate of the full Hamiltonian, not just perturbation theory: for εA=-2, εB=0, α1=1, α2=2, the state a_m=(-1/2)^{m-1} on A, b_m=0 on B is an eigenstate at E=-2 for any length and any t. The chain is periodic and defect-free with basis two. Hence the abstract's unconditional lower bound is incorrect; it must be restricted to uniform hopping αr=1, or the binary case with unequal hoppings must be acknowledged as an exception. The numerical results for equal hopping (Figs. 2 and 4) appear correct and remain the defensible core. I therefore keep the conditional verdict, but the condition is now that the theorem's hypotheses be stated precisely; the reader's termination concern is secondary.","tokens_in":6534,"tokens_out":25970,"duration_ms":278677,"concrete_test":"Numerically diagonalize the tight-binding Hamiltonian (1) for the finite chain with L=4 A sites, εA=-2, εB=0, t=1, α1=1, α2=2, unit cell A-B, and both ends terminated on A. Check whether the spectrum contains E=-2 with eigenvector a_m=(-1/2)^{m-1} on A-sites and b_m=0 on B-sites; equivalently, compute the decay rate of the probability density across the chain. If this eigenstate is present, the asserted three-atom lower bound fails for general nearest-neighbor hopping and the theorem must be restricted to uniform hoppings.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (abstract and §1) is that no surface states exist for a two-atom basis under nearest-neighbor hopping. The perturbation analysis in §3 concludes this from Eq. (6), but the argument is incomplete: for b=2 the second-order effective Hamiltonian is a uniform chain with end-site potentials. Setting ε1=εA, ε2=εB, α1=1, α2=2, and Δ=εB-εA, Eqs. (7)-(11) give a bulk diagonal shift of -t²(α1²+α2²)/Δ, a left-end shift of -t²α1²/Δ, and an effective inter-A hopping of -t²α1α2/Δ. After referencing the bulk shift, the left end has potential V=t²α2²/Δ while the hopping is J=t²α1α2/Δ; since V>J when α2>α1, this effective chain has a bound surface state. In fact, the full Hamiltonian has the exact eigenstate with all B amplitudes zero and a_m=(-α1/α2)^{m-1} at energy E=εA for arbitrary t, decaying from the left A surface. The lattice is periodic, defect-free, and has basis size two, yet it supports a Tamm-type surface state. Thus the statement 'if b=2... no surface states split off' and the abstract's lower bound of three are not correct for general nearest-neighbor hopping. The equal-hopping examples in Figs. 2 and 4 are not affected, so the result becomes valid only with an explicit uniform-hopping assumption, which the paper does not state.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies single-particle tight-binding chains and lattices with a periodic polyatomic basis, terminated on the A species. It claims a lower bound of three atoms per unit cell for Tamm-type surface states under nearest-neighbor hopping, provided the local energy of the surface atom differs from the rest of the unit cell. The argument uses degenerate second-order perturbation theory and numerical diagonalization for ABA (b=2) and ABBA (b=3) chains, and it asserts an extension to two dimensions with corner and edge surface states. The paper presents no fitted parameters and reports numerical spectra that match the second-order energies for the specific equal-hopping chains shown.","tokens_in":6782,"tokens_out":8710,"duration_ms":86685,"significance":"If the claimed lower bound were true for general nearest-neighbor tight-binding models, it would be a simple and broadly applicable design principle for defect-free surface localization. The paper is self-contained, and the equal-hopping examples in one dimension are supported by a transparent perturbative calculation and independent numerical diagonalization. However, the central claim as stated is false: a defect-free binary chain with alternating hoppings and A-terminated ends supports an exact Tamm-type surface state at E=epsilon_A, contradicting the asserted minimum basis size of three. The two-dimensional section is also asserted without derivation or numerical verification. The significance of the reported mechanism is therefore limited to a uniform-hopping special case unless the claims are substantially revised.","major_comments":[{"comment":"The central claim that no surface states exist for a two-atom basis under nearest-neighbor hopping is false for the general model defined by Eqs. (1)-(3). Consider a b=2 chain with on-site energies epsilon_A and epsilon_B, alternating hoppings t1 and t2, and A atoms at both ends as in the paper. The state with amplitudes only on A sites, a_m = (-t1/t2)^{m-1}, and zero B-site amplitudes has energy epsilon_A and satisfies every Schrödinger equation, because the B-site equation reduces to -t1 a_m - t2 a_{m+1} = 0. For |t1|<|t2| this state decays exponentially from the left A surface, is normalizable in the thermodynamic limit, and lies in the band gap for epsilon_A != epsilon_B. This is exactly a Tamm-type surface state in a periodic defect-free lattice with basis size two. The same conclusion already follows from the paper's own second-order effective Hamiltonian: Eqs. (7)-(8) give an end-site potential step of t^2 alpha_2^2/(epsilon_2-epsilon_1) relative to the bulk and a hopping t^2 alpha_1 alpha_2/(epsilon_2-epsilon_1), which supports a bound state when alpha_2 > alpha_1. Thus the uniform-hopping assumption used in the figures, but absent from the abstract and from Eq. (3), is load-bearing; the claimed lower bound of three is incorrect for general nearest-neighbor hopping.","section":"Abstract and §3, after Eq. (11)"},{"comment":"The two-dimensional section consists entirely of assertions: the corner-state energy E_corner, the edge-state energy E_edge, and the four-fold degeneracies are stated without a derivation, without a definition of the finite two-dimensional lattice and its termination, and without numerical spectra. Furthermore, the claimed degeneracy of the edge states is ambiguous and likely incorrect for a finite square lattice, where each of the four edges hosts multiple A sites and should give more than one edge state per edge when L > 3. Since the abstract and conclusion advertise 'other kinds of surface states' identified in two dimensions, this section needs a real perturbative calculation or numerical confirmation before the claims can be accepted.","section":"§4, 'Surface states in two-dimensions'"}],"minor_comments":[{"comment":"The curve labels in Figure 4 do not match Eqs. (9)-(11). For epsilon_A=-2, epsilon_B=0 and alpha_r=1, Eq. (9) gives E = epsilon_A + t^2/epsilon_A, while Eq. (11) gives E = epsilon_A + 2t^2/epsilon_A; the label 'E = epsilon_A + t^2/(2 epsilon_A)' corresponds to neither. The labels should be corrected so the comparison to the perturbation formulas is unambiguous.","section":"Figure 4 caption and text"},{"comment":"The caption of Figure 3 reads 'Energy spectrum of the binary BH chain with two bosons vs eigenstate index,' which describes neither the two-dimensional lattice geometry shown in the figure nor the content of the paper; it appears to be a copy-paste error and must be replaced.","section":"Figure 3 caption"},{"comment":"The phrase 'degenerated perturbation theory' should be 'degenerate perturbation theory,' and the reference to 'Shokley' should be 'Shockley.'","section":"Throughout"},{"comment":"The termination condition is not stated: the mechanism relies on both ends of the chain being A atoms, and the abstract should explicitly say that the lattice is terminated on the surface species A. As written, the condition 'provided the local energy of the surface atom is different from the rest' is insufficient without specifying which species terminates the finite lattice.","section":"Abstract and Introduction"}],"recommendation":"reject","confidential_remarks":"The paper's main universal claim is false, and the error cannot be fixed by a local correction within the manuscript's current scope: the abstract and §3 claim a lower bound of three for general nearest-neighbor hopping, but an exact counterexample with b=2 and alternating hoppings exists. A revision that restricts the claim to uniform hopping, corrects the perturbation-theory conclusion for b=2, and either derives or removes the two-dimensional assertions would be a different and much weaker paper. I therefore recommend rejection, though the equal-hopping numerical and perturbative results in Figs. 2 and 4 are sound as special cases."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is not as broken as the stress-test makes it sound, but the stress-test is right: the central claim is false as stated. Take an A-terminated binary chain with alternating hoppings t1 and t2. The state with all B amplitudes zero and A amplitudes a_m = (-t1/t2)^{m-1} is an exact eigenstate at E=εA. It is localized at one end and, for t1≠t2, lies in the gap. So a two-atom basis can support a Tamm-type surface state. The paper's own perturbation theory contains the seed of this: for b=2, the second-order effective Hamiltonian for the A-sublattice is a chain with end-site potentials. If the end potential exceeds the effective hopping, it binds. The author only looked at the lifting of degeneracy and concluded no surface states, but never solved that effective chain for localized states. The fix is simple: the 'minimum basis three' statement holds only for uniform hopping, which is not stated in the abstract or summary.\n\nWhat is actually good: the perturbative derivation for the uniform-hopping case is clean, the numerics in Figs. 2 and 4 match the second-order energies, and the renormalization picture—surface atoms have different coordination, so their effective on-site shifts differ—is a genuinely useful way to see why surface states appear. For equal hoppings, the b≥3 criterion is likely correct and is a worthwhile observation for photonic waveguide arrays and superlattices.\n\nSoft spots beyond the main one: the 2D section asserts corner and edge state energies with no derivation or numerics, just renormalization intuition; that is thin. The 'hidden for eighty years' framing is overclaimed—this is a natural extension of known Tamm physics once you allow polyatomic unit cells. Minor: the figure caption naming (ABA vs. ABBA) is confusing.\n\nBottom line: the core derivation is fine, but the headline result needs to be restricted or the b=2 case properly handled. As written, the paper should not be accepted, but it deserves a serious referee who can help the author fix the generality claim. I would not cite it in its current form. The uniform-hopping piece is salvageable.","headline":"The paper's core claim is too broad: with alternating hoppings, a binary chain already has an exact Tamm-type surface state, so the 'minimum basis three' result requires a uniform-hopping assumption.","tokens_in":7345,"tokens_out":8959,"would_cite":false,"duration_ms":87941,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["73.20.At","42.25.Gy"],"model":"deepseek-v4-flash","headline":"Tamm-type surface states appear in defect-free polyatomic lattices once the unit cell has at least three atoms, with the effect entering at second order in the hopping.","keywords":["surface states","Tamm states","tight-binding model","polyatomic lattice","degenerate perturbation theory","defect-free lattice","corner states","edge states"],"falsifier":"Diagonalize the tight-binding Hamiltonian exactly for a finite binary chain with two atoms per unit cell (sites alternating A and B, both ends A), with $\\epsilon_A \\neq \\epsilon_B$ and uniform hopping $t$, and check whether any eigenstate has probability density decaying exponentially away from an end. The paper's claim predicts no such surface states for $b=2$; finding one would disprove the lower bound of three atoms per cell.","tokens_in":6250,"feed_emoji":"⚛️","tokens_out":7100,"duration_ms":73543,"temperature":0.7,"pith_summary":"This paper claims that Tamm-type surface states can arise in finite, defect-free polyatomic lattices described by a tight-binding model, without any surface impurity, as long as the unit cell contains at least three atoms. The mechanism is a second-order hopping effect: the surface atom has fewer neighbors than bulk atoms, so its local energy is renormalized differently, turning it into an effective impurity. For a two-atom basis, second-order hybridization lifts the degeneracy completely and no surface state splits off; for three or more atoms per cell, the surface states separate from the band and decay exponentially into the chain. The same criterion carries over to two dimensions, where corner states and edge states appear when the basis has at least three atoms along each direction. The result matters because it provides a simple, defect-free route to surface localization in electronic and photonic lattices.","feed_headline":"Defect-free lattices get surface states with three atoms per cell","feed_subtitle":"The surface atom's energy shifts differently from the bulk, so two end states split off from the band.","key_machinery":"The central object is the second-order effective Hamiltonian obtained by degenerate perturbation theory on the tight-binding model $\\hat H = \\hat H_0 + t\\hat V$. Starting from the $L$-fold degenerate subspace of sites with on-site energy $\\epsilon_1$, the second-order correction produces an $(M+1)\\times(M+1)$ matrix $H$ whose diagonal entries give the renormalized surface and bulk energies and whose off-diagonal entries $H_{m',m'\\pm 2/b}$ are nonzero only for $b=2$; for $b>2$ they vanish, leaving the two surface sites with distinct energy shifts. This matrix, defined by Eqs. (7)-(8), is what carries the argument: its zero off-diagonal structure for $b>2$ is exactly why surface states can split off from the band.","core_discovery":"The central claim is that in a finite tight-binding chain with $b$ atoms per unit cell and nearest-neighbor hopping, Tamm-type surface states exist without any surface defect if and only if $b \\ge 3$, provided the on-site energy $\\epsilon_1$ of the surface atom differs from the other species in the cell. At second order in the hopping $t$, the $L$ degenerate states built from the $\\epsilon_1$ sites split into two surface levels with energies $E_1 \\simeq \\epsilon_1 - \\alpha_1^2 t^2/(\\epsilon_2-\\epsilon_1)$ and $E_N \\simeq \\epsilon_1 - \\alpha_b^2 t^2/(\\epsilon_b-\\epsilon_1)$, separated from the remaining bulk levels $E \\simeq \\epsilon_1 - (\\alpha_b^2/(\\epsilon_b-\\epsilon_1)+\\alpha_1^2/(\\epsilon_2-\\epsilon_1)) t^2$. For $b=2$, off-diagonal matrix elements of the effective Hamiltonian hybridize the bulk levels, and no surface states appear; for $b>2$ the off-diagonal elements vanish, so the surface states split off. In two dimensions, the same condition yields fourfold-degenerate corner states with energy shift $-2t^2/(\\epsilon_B-\\epsilon_A)$ and edge states with shift $-3t^2/(\\epsilon_B-\\epsilon_A)$, consistent with the different coordination numbers of corners, edges, and bulk.","pith_inferences":["The paper's perturbative picture is built on chains terminated at both ends on the special species; for other terminations the surface-state condition may change, so the abstract's unqualified statement likely needs that extra condition.","The same coordination-number argument suggests three-dimensional lattices will show face, edge, and corner states with energy shifts set by the number of missing nearest neighbors, a case the paper only conjectures.","One could test the mechanism directly in coupled waveguide arrays with three waveguides per cell: the two split-off modes should appear at the second-order energies and remain localized at the ends over long propagation distances."],"forward_implications":["Any one-dimensional polyatomic chain with at least three atoms per unit cell, terminated on the low-energy species, will show two exponentially localized end states even though the lattice is periodic and defect-free.","The surface-state energies are captured quantitatively by the second-order formulas and vary as $t^2$, so the states persist at weak hopping and can be predicted before full diagonalization.","In two-dimensional arrays, the same three-atom-per-direction criterion produces two distinct classes of surface localization, corner states and edge states, with different energies set by coordination number.","The mechanism works for both electrons (tight-binding solids) and light (photonic crystals and waveguide arrays) because it relies only on the structure of the hopping and on-site energies.","For a two-atom basis there are no surface states in this model, so the transition from $b=2$ to $b=3$ is sharp and testable."],"supporting_citations":[{"why":"Defines Tamm surface states as arising from a surface defect in a tight-binding lattice; this is the baseline phenomenon the paper extends to defect-free polyatomic lattices.","marker":"[1]"},{"why":"Introduces Shockley states in defect-free broad-band solids; the paper contrasts its defect-free mechanism with this established classification.","marker":"[5]"},{"why":"Prior many-particle model reduced to a polyatomic-lattice effective model via perturbative arguments; the paper's second-order effective-matrix approach follows the same strategy.","marker":"[17]"},{"why":"Shows Tamm-type interface modes in periodic photonic media, establishing the photonic context the paper expects its results to transfer to.","marker":"[10]"},{"why":"Experimental demonstration of defect-induced Tamm modes in optics, providing the contrast case: the new mechanism needs no defect.","marker":"[14]"}],"fun_headline_variants":["Defect-free surface states need at least 3 atoms per cell","Surface states without defects appear at 3 atoms per cell","Second-order hopping creates defect-free surface states","3 atoms per cell trigger surface states in clean lattices","No-defect surface states: minimum 3 atoms per unit cell"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the finite chain is terminated on the special surface species at both ends, so both end sites carry the same on-site energy $\\epsilon_1$; if the chain ends on a different atom, the surface-state criterion may change or disappear.","fun_headline_variants_meta":{"raw":{"variants":["Defect-free surface states need at least 3 atoms per cell","Surface states without defects appear at 3 atoms per cell","Second-order hopping creates defect-free surface states","3 atoms per cell trigger surface states in clean lattices","No-defect surface states: minimum 3 atoms per unit cell"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000256,"raw_usage":{"total_tokens":1568,"prompt_tokens":934,"completion_tokens":634,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":550,"completion_tokens_details":{"reasoning_tokens":552}},"tokens_in":550,"tokens_out":634,"duration_ms":7291,"temperature":1.0,"reasoning_tokens":552,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:57:04.797183+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Diagonalize the tight-binding Hamiltonian exactly for a finite binary chain with two atoms per unit cell (sites alternating A and B, both ends A), with $\\epsilon_A \\neq \\epsilon_B$ and uniform hopping $t$, and check whether any eigenstate has probability density decaying exponentially away from an end. The paper's claim predicts no such surface states for $b=2$; finding one would disprove the lower bound of three atoms per cell.","supporting_citations":[{"cited_title":"Tamm, Phys","cited_arxiv_id":null,"evidence_quote":"Defines Tamm surface states as arising from a surface defect in a tight-binding lattice; this is the baseline phenomenon the paper extends to defect-free polyatomic lattices."},{"cited_title":"Shokley, Phys","cited_arxiv_id":null,"evidence_quote":"Introduces Shockley states in defect-free broad-band solids; the paper contrasts its defect-free mechanism with this established classification."},{"cited_title":"Pinto, Masudul Haque, and Sergej Flach, Phys","cited_arxiv_id":null,"evidence_quote":"Prior many-particle model reduced to a polyatomic-lattice effective model via perturbative arguments; the paper's second-order effective-matrix approach follows the same strategy."},{"cited_title":"Kossel, J","cited_arxiv_id":null,"evidence_quote":"Shows Tamm-type interface modes in periodic photonic media, establishing the photonic context the paper expects its results to transfer to."},{"cited_title":"Suntsov, K","cited_arxiv_id":null,"evidence_quote":"Experimental demonstration of defect-induced Tamm modes in optics, providing the contrast case: the new mechanism needs no defect."}],"review_version":1}