"""Reproduce Figure 17.1. Original CC0 diagram; no third-party graphics.""" from pathlib import Path from html import escape parts=[''' Sea patterns and the finite graph corner Four orthogonal sea patterns with exact excitation energy and trace weights, followed by four levels of the A4 corner rooted at odd vertex 1. One finite corner inside an infinite thermal factor Theorem 17.2 • modes outside the window continue the indicated sea pattern Pattern Energy Trace / u₀'''] xs=[187+70*k for k in range(7)] for n,x in zip(range(-3,4),xs): parts.append(f'{n}') for row,j in enumerate([-1,0,1,2]): y=219+58*row parts.append(f'p_{j}') parts.append(f'⋯') for n,x in zip(range(-3,4),xs): fill='#345dcc' if n') parts.append(f'⋯') energy=j*(j-1)//2 trace={-1:'λ',0:'1',1:'λ⁻¹',2:'λ⁻²'}[j] parts.append(f'{energy}') parts.append(f'{trace}') parts.append('''Filled: fₙ = 1 • hollow: fₙ = 0 • distinct rows impose incompatible occupations Sea corner q = p₀ for A₄, root r = 1 Negative pieces: rank one, root fixed • nonnegative pieces: transfer B = [[1,1],[1,0]] L = m+1 Endpoint 1 Endpoint 3 Normalized minimal traces''') for row,(a,b) in enumerate([(1,1),(2,1),(3,2),(5,3)]): y=653+48*row parts.append(f'{row+1}') parts.append(f'M_{a}') parts.append(f'M_{b}') parts.append(f'φ⁻{row+1}, φ⁻{row+2}') parts.append('''Each block count × its minimal trace sums to 1 • φ = (1+√5)/2 λ > 1: unbounded corner matrix sizes ⇒ qMq is II₁ Orthogonal pⱼ, j ≤ 0: trace sums diverge ⇒ M is II∞ Exact locators: (17.5)–(17.7), (17.10) • original CC0 figure ''') output=Path(__file__).with_suffix('.svg') output.write_text('\n'.join(parts)+'\n',encoding='utf-8') print(output.name)