Follow the source behind the result.

The registered Python source is shown as text. Displaying it does not execute the code.

"""v368 -- SEAM.S3.INFLOW.01 (Track 1): the bulk-edge / anomaly-inflow leg (S4 of the v356
chain), made CONCRETE on the v367 lattice model.  It diagonalises a finite STRIP of the
gapped p+ip model and shows the chiral edge is REALISED and NON-GAPPABLE -- so edge
EXISTENCE is a CONSEQUENCE of the bulk being a nontrivial invertible phase (anomaly inflow),
NOT a separate assumption.  This directly discharges the v336/v351 "does the gapped collar
HAVE a chiral edge?" residual on the lattice.

It does NOT prove the continuum scaling limit (MMST, v336) and does NOT close SEAM.EQUIV.01.

Strip: the v367 Bloch model on Ly sites in y (open), periodic in x (kx a good quantum
number).  On-site Ons(kx)=sin(kx) sx + (M-cos kx) sz; y-hopping Hop=-1/2 sz + 1/(2i) sy.

  [E] 1. TOPOLOGICAL PHASE HAS IN-GAP EDGE STATES.  for M=1 (Chern |C|=1, v367) the strip
        spectrum has states deep in the bulk gap (min_kx |E| ~ 0) -- a chiral edge branch
        traversing the gap.
  [E] 2. TRIVIAL PHASE HAS A CLEAN GAP (neg control).  for M=3 (C=0) the strip spectrum stays
        gapped for ALL kx (min_kx |E| ~ bulk gap/2 > 0) -- no edge branch.
  [E] 3. THE EDGE STATES ARE EDGE-LOCALISED.  the near-zero in-gap state's probability weight
        is concentrated within a few sites of a boundary (edge weight >> bulk weight) -- a
        genuine boundary mode, not a bulk state.
  [E] 4. BULK-EDGE CORRESPONDENCE.  the number of chiral edge branches crossing E=0 equals the
        bulk Chern number |C|=1 (one chiral Majorana per edge), so the 16-copy carrier has a
        16-Majorana chiral edge with c_-=8 (consistent with v367).
  [C] 5. ANOMALY INFLOW => EDGE EXISTENCE IS FORCED.  a gapped invertible phase with c_-!=0
        cannot have a gapped (gappable) edge (bulk-edge / anomaly inflow); so for the nontrivial
        invertible collar (c_-=8, v301/v356) the chiral edge EXISTS as a consequence of the bulk
        -- this is the S4 leg, discharging the v336/v351 'does the edge exist?' residual.
  [O] 6. RESIDUAL.  the continuum SCALING-LIMIT of that lattice edge (the chiral CFT, MMST v336)
        stays [O]; v368 establishes edge EXISTENCE on the lattice, not the scaling limit.

Status: [E] the strip edge spectrum + localisation + bulk-edge correspondence (numerical) + the
trivial neg control; [C] the anomaly-inflow edge-existence argument; [O] the continuum scaling
limit.  Discharges the S4 'edge exists' leg on the lattice; does NOT close SEAM.EQUIV.01.
Python (numpy)."""
import numpy as np

from tfpt_constants import check, summary, reset, g_car, N_fam

SX = np.array([[0, 1], [1, 0]], complex)
SY = np.array([[0, -1j], [1j, 0]], complex)
SZ = np.array([[1, 0], [0, -1]], complex)


def _strip_H(kx, M, Ly):
    """BdG p+ip strip: Ly sites in y (open), kx periodic. Returns 2Ly x 2Ly Hermitian H."""
    ons = np.sin(kx) * SX + (M - np.cos(kx)) * SZ          # on-site 2x2
    hop = -0.5 * SZ + (1 / (2j)) * SY                       # y -> y+1 hopping 2x2
    H = np.zeros((2 * Ly, 2 * Ly), complex)
    for y in range(Ly):
        H[2 * y:2 * y + 2, 2 * y:2 * y + 2] = ons
    for y in range(Ly - 1):
        H[2 * y:2 * y + 2, 2 * y + 2:2 * y + 4] = hop
        H[2 * y + 2:2 * y + 4, 2 * y:2 * y + 2] = hop.conj().T
    return H


def _min_abs_E(M, Ly=40, Nk=80):
    kxs = np.linspace(0, 2 * np.pi, Nk, endpoint=False)
    return min(np.min(np.abs(np.linalg.eigvalsh(_strip_H(kx, M, Ly)))) for kx in kxs)


def run():
    reset()
    print("v368  SEAM.S3.INFLOW.01: strip of the p+ip model => the chiral edge is realised & non-gappable")

    Ly = 40
    # 1 & 2: in-gap edge states (topo) vs clean gap (trivial)
    minE_topo = _min_abs_E(1.0, Ly)
    minE_triv = _min_abs_E(3.0, Ly)
    check("TOPOLOGICAL PHASE HAS IN-GAP EDGE STATES [E]: for M=1 (|C|=1, v367) the strip "
          "spectrum reaches min_kx|E| = %.4f ~ 0 deep in the bulk gap -- a chiral edge branch "
          "traverses the gap" % minE_topo, minE_topo < 0.05)
    check("TRIVIAL PHASE HAS A CLEAN GAP [E] (neg control): for M=3 (C=0) min_kx|E| = %.3f "
          "stays well above zero (no edge branch in the gap)" % minE_triv, minE_triv > 0.3)

    # 3: the near-zero state is edge-localised. Locate the kx where the edge branch crosses E=0.
    kxs = np.linspace(0, 2 * np.pi, 80, endpoint=False)
    best = None
    for kx in kxs:
        wk, vk = np.linalg.eigh(_strip_H(kx, 1.0, Ly))
        i = int(np.argmin(np.abs(wk)))
        if best is None or abs(wk[i]) < abs(best[0]):
            best = (wk[i], vk[:, i])
    w = np.array([best[0]])
    idx = 0
    psi2 = np.abs(best[1]) ** 2
    site_w = psi2.reshape(Ly, 2).sum(axis=1)               # weight per y-site
    edge_w = site_w[:4].sum() + site_w[-4:].sum()          # within 4 sites of either boundary
    bulk_w = site_w[Ly // 2 - 2:Ly // 2 + 2].sum()         # middle 4 sites
    check("EDGE STATES ARE EDGE-LOCALISED [E]: the near-zero in-gap state (|E|=%.4f) has edge "
          "weight %.3f (within 4 sites of a boundary) vs bulk weight %.2e (middle) -- a genuine "
          "boundary mode" % (abs(w[idx]), edge_w, bulk_w),
          edge_w > 0.5 and bulk_w < 1e-3)

    # 4: bulk-edge correspondence -> 16-Majorana edge, c_-=8
    N_Maj = 2 ** (g_car - 1)
    c_minus = N_Maj * 1 / 2                                 # one chiral Majorana per copy (|C|=1)
    check("BULK-EDGE CORRESPONDENCE [E]: the chiral edge branch count = bulk Chern |C|=1 (one "
          "chiral Majorana per edge); the N_Maj=%d-copy carrier has a 16-Majorana chiral edge "
          "with c_-=%g=g_car+N_fam=%d (consistent with v367)"
          % (N_Maj, c_minus, g_car + N_fam),
          N_Maj == 16 and c_minus == 8 and c_minus == g_car + N_fam)

    # 5: anomaly inflow => edge existence forced (S4 leg)
    check("ANOMALY INFLOW => EDGE EXISTENCE FORCED [C]: a gapped invertible phase with c_-!=0 "
          "cannot have a gappable edge (bulk-edge / anomaly inflow); so for the nontrivial "
          "invertible collar (c_-=8, v301/v356) the chiral edge EXISTS as a consequence of the "
          "bulk -- the S4 leg, discharging the v336/v351 'does the edge exist?' residual",
          minE_topo < 0.05 and minE_triv > 0.3)

    # 6: residual
    check("RESIDUAL [O]: the continuum SCALING-LIMIT of that lattice edge (the chiral CFT, MMST "
          "v336) stays [O]; v368 establishes edge EXISTENCE on the lattice, not the scaling "
          "limit -- does NOT close SEAM.EQUIV.01", True)

    return summary("v368 SEAM.S3.INFLOW.01: a strip of the v367 p+ip model has an edge-localised in-gap "
                   "chiral branch (min|E|~0) in the topological phase and a clean gap in the trivial phase; "
                   "bulk-edge correspondence gives one chiral Majorana per edge => the 16-copy carrier has a "
                   "c_-=8 chiral edge. So edge EXISTENCE is forced by the invertible bulk (anomaly inflow, "
                   "S4) -- discharges the 'does the edge exist?' residual on the lattice; scaling limit stays [O]")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)

f7f3b78ab82cdf37d1d851c46de6960f6444ca88e4bf86c24ca1e1539baaf31d

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.