{"collection_revision":"2f443f44c190a64c713d6ea71c3d99ce48f78252","source":"papers/paper-i/current/editable/traditional/visual_atlas.tex","source_sha256":"9cb5d74db19cc0fb788921e8068d4a3af7e0a199932bc982cad6bd1ddb161b6e","definitions":"papers/paper-i/current/editable/traditional/Paper_I_Monograph.tex","definitions_sha256":"70f712127d7ebad7cfde430f563cfacd4454656dbb99a43c2eee5d0416715f87","macro_source":"papers/paper-i/current/editable/traditional/Paper_I_Monograph.tex","macros":{"cA":"\\mathcal A","cB":"\\mathcal B","cP":"\\mathcal P","R":"\\mathbb R","C":"\\mathbb C","Z":"\\mathbb Z","N":"\\mathbb N","Spec":"\\operatorname{Spec}","rank":"\\operatorname{rank}","diag":"\\operatorname{diag}","bbk":"\\Bbbk","A":"\\mathcal A","B":"\\mathcal B","Ccal":"\\mathcal C","Pcal":"\\mathcal P","Qcal":"\\mathcal Q","Rcal":"\\mathcal R","Scal":"\\mathcal S","Hull":"\\operatorname{Hull}","srank":"\\operatorname{srank}","psrank":"\\operatorname{psrank}","End":"\\operatorname{End}","Hom":"\\operatorname{Hom}","im":"\\operatorname{im}","Ker":"\\operatorname{Ker}","Jac":"\\operatorname{Jac}","Irr":"\\operatorname{Irr}","Span":"\\operatorname{span}","alg":"\\operatorname{alg}","Reach":"\\operatorname{Reach}","Supp":"\\operatorname{Supp}","id":"\\mathrm{id}","OO":"\\mathcal O","FF":"\\mathbb F","QQ":"\\mathbb Q","ZZ":"\\mathbb Z","RR":"\\mathbb R","CC":"\\mathbb C","kk":"\\Bbbk","BB":"\\mathcal B","Fitt":"\\operatorname{Fitt}","Ann":"\\operatorname{Ann}","coker":"\\operatorname{coker}","Tr":"\\operatorname{Tr}","whot":"\\mathbin{\\widehat\\otimes}","m":"\\mathfrak m","p":"\\mathfrak p","cl":{"arguments":1,"body":"\\overline{#1}"},"closure":{"arguments":1,"body":"\\overline{#1}"},"norm":{"arguments":1,"body":"\\left\\lVert#1\\right\\rVert"},"mat":{"arguments":1,"body":"\\begin{pmatrix}#1\\end{pmatrix}"}},"source_pdf":"papers/paper-i/current/papers/Paper_I_Traditional_Final.pdf","source_pdf_sha256":"35f0f7511ed0fbeffac16977ec50028c0e93e5da57c1e6c7748cee89c70a5183","index":"read/paper-i/atlas/index.html","total_plates":22,"html_plates":[{"number":1,"url":"read/paper-i/atlas/v01.html","start_line":4,"end_line":27,"math_expressions":8,"math_sequence_sha256":"095437c39ccdb2ac714a2d55ee5e80df0b5fecf73bbd72075522ec21ab39ba22","nodes":[{"kind":"text","id":"L5","line":5,"end_line":14},{"kind":"figure","id":"L14","line":14,"end_line":14},{"kind":"readerroadmap","id":"L15","line":15,"end_line":15},{"kind":"section","id":"L17","line":17,"end_line":17},{"kind":"tabularx","id":"L18","line":18,"end_line":22},{"kind":"text","id":"L24","line":24,"end_line":26},{"kind":"readerroadmap","id":"L26","line":26,"end_line":26}]},{"number":2,"url":"read/paper-i/atlas/v02.html","start_line":28,"end_line":52,"math_expressions":25,"math_sequence_sha256":"a4cecd4133594312154eb5383146c0bddf25d0d02a8e00f116ab3cd544d96f9d","nodes":[{"kind":"text","id":"L29","line":29,"end_line":32},{"kind":"tabularx","id":"L32","line":32,"end_line":45},{"kind":"section","id":"L47","line":47,"end_line":47},{"kind":"text","id":"L48","line":48,"end_line":50},{"kind":"section","id":"L50","line":50,"end_line":50},{"kind":"text","id":"L51","line":51,"end_line":53}]},{"number":3,"url":"read/paper-i/atlas/v03.html","start_line":53,"end_line":81,"math_expressions":28,"math_sequence_sha256":"04f81f6e407a48ed808817bb4172dc07c94c0712516215df4be09668b7061c99","nodes":[{"kind":"text","id":"L54","line":54,"end_line":64},{"kind":"figure","id":"L64","line":64,"end_line":64},{"kind":"readerroadmap","id":"L65","line":65,"end_line":65},{"kind":"text","id":"L67","line":67,"end_line":73},{"kind":"section","id":"L73","line":73,"end_line":73},{"kind":"text","id":"L74","line":74,"end_line":80},{"kind":"readerroadmap","id":"L80","line":80,"end_line":80}]},{"number":4,"url":"read/paper-i/atlas/v04.html","start_line":82,"end_line":111,"math_expressions":33,"math_sequence_sha256":"bbf2a142b8ad6cb4cb6718c0f33213d6d9983fa62ac9b7687afe3c943a05ac98","nodes":[{"kind":"text","id":"L83","line":83,"end_line":91},{"kind":"figure","id":"L91","line":91,"end_line":91},{"kind":"readerroadmap","id":"L92","line":92,"end_line":92},{"kind":"text","id":"L94","line":94,"end_line":100},{"kind":"section","id":"L100","line":100,"end_line":100},{"kind":"text","id":"L101","line":101,"end_line":107},{"kind":"section","id":"L107","line":107,"end_line":107},{"kind":"text","id":"L108","line":108,"end_line":110},{"kind":"readerroadmap","id":"L110","line":110,"end_line":110}]},{"number":5,"url":"read/paper-i/atlas/v05.html","start_line":112,"end_line":138,"math_expressions":40,"math_sequence_sha256":"b1136196d109ac38f17a5630d94a53e3a972aa77f34bd1830e323bbfd52fde57","nodes":[{"kind":"text","id":"L113","line":113,"end_line":123},{"kind":"section","id":"L123","line":123,"end_line":123},{"kind":"text","id":"L124","line":124,"end_line":129},{"kind":"figure","id":"L129","line":129,"end_line":129},{"kind":"readerroadmap","id":"L130","line":130,"end_line":130},{"kind":"text","id":"L132","line":132,"end_line":134},{"kind":"section","id":"L134","line":134,"end_line":134},{"kind":"text","id":"L135","line":135,"end_line":137},{"kind":"readerroadmap","id":"L137","line":137,"end_line":137}]},{"number":6,"url":"read/paper-i/atlas/v06.html","start_line":139,"end_line":166,"math_expressions":46,"math_sequence_sha256":"e00cc979dba46fe5b7aac79b26a57adfe318dc506471f956fba20d2e58e8302e","nodes":[{"kind":"text","id":"L140","line":140,"end_line":152},{"kind":"figure","id":"L152","line":152,"end_line":152},{"kind":"readerroadmap","id":"L153","line":153,"end_line":153},{"kind":"section","id":"L155","line":155,"end_line":155},{"kind":"text","id":"L156","line":156,"end_line":158},{"kind":"section","id":"L158","line":158,"end_line":158},{"kind":"text","id":"L159","line":159,"end_line":165},{"kind":"readerroadmap","id":"L165","line":165,"end_line":165}]},{"number":7,"url":"read/paper-i/atlas/v07.html","start_line":167,"end_line":191,"math_expressions":21,"math_sequence_sha256":"99c55a2fb9afe54c561cb12433f1da8427c750f8f8721b5b256f81371bd13fab","nodes":[{"kind":"text","id":"L168","line":168,"end_line":174},{"kind":"figure","id":"L174","line":174,"end_line":174},{"kind":"readerroadmap","id":"L175","line":175,"end_line":175},{"kind":"text","id":"L177","line":177,"end_line":183},{"kind":"section","id":"L183","line":183,"end_line":183},{"kind":"text","id":"L184","line":184,"end_line":190},{"kind":"readerroadmap","id":"L190","line":190,"end_line":190}]},{"number":8,"url":"read/paper-i/atlas/v08.html","start_line":192,"end_line":218,"math_expressions":35,"math_sequence_sha256":"97796e598b63dcfc8cc0be69dc6012b3c32ac4433167311812ab3253e66e8b6c","nodes":[{"kind":"text","id":"L193","line":193,"end_line":195},{"kind":"figure","id":"L195","line":195,"end_line":195},{"kind":"readerroadmap","id":"L196","line":196,"end_line":196},{"kind":"section","id":"L198","line":198,"end_line":198},{"kind":"text","id":"L199","line":199,"end_line":205},{"kind":"section","id":"L205","line":205,"end_line":205},{"kind":"text","id":"L206","line":206,"end_line":217},{"kind":"readerroadmap","id":"L217","line":217,"end_line":217}]},{"number":9,"url":"read/paper-i/atlas/v09.html","start_line":219,"end_line":247,"math_expressions":40,"math_sequence_sha256":"a596edb094113ebf3a0ea1b98a4487ae4973ddc89c5436adf16b6de4081b8893","nodes":[{"kind":"text","id":"L220","line":220,"end_line":229},{"kind":"figure","id":"L229","line":229,"end_line":229},{"kind":"readerroadmap","id":"L230","line":230,"end_line":230},{"kind":"section","id":"L232","line":232,"end_line":232},{"kind":"text","id":"L233","line":233,"end_line":239},{"kind":"section","id":"L239","line":239,"end_line":239},{"kind":"text","id":"L240","line":240,"end_line":246},{"kind":"readerroadmap","id":"L246","line":246,"end_line":246}]},{"number":10,"url":"read/paper-i/atlas/v10.html","start_line":248,"end_line":273,"math_expressions":38,"math_sequence_sha256":"91cfc39a5ab2adb905d6bfb51e7095f1d0e57d5ab6bbb563f511f4d1eeb26760","nodes":[{"kind":"text","id":"L249","line":249,"end_line":251},{"kind":"figure","id":"L251","line":251,"end_line":251},{"kind":"readerroadmap","id":"L252","line":252,"end_line":252},{"kind":"text","id":"L254","line":254,"end_line":260},{"kind":"section","id":"L260","line":260,"end_line":260},{"kind":"text","id":"L261","line":261,"end_line":269},{"kind":"section","id":"L269","line":269,"end_line":269},{"kind":"text","id":"L270","line":270,"end_line":272},{"kind":"readerroadmap","id":"L272","line":272,"end_line":272}]},{"number":11,"url":"read/paper-i/atlas/v11.html","start_line":274,"end_line":296,"math_expressions":33,"math_sequence_sha256":"7f77d8d50120447b6e3e4493f91b1a1ff772d0595730e3e57702c1a5dca37c97","nodes":[{"kind":"text","id":"L275","line":275,"end_line":277},{"kind":"figure","id":"L277","line":277,"end_line":277},{"kind":"readerroadmap","id":"L278","line":278,"end_line":278},{"kind":"text","id":"L280","line":280,"end_line":288},{"kind":"section","id":"L288","line":288,"end_line":288},{"kind":"text","id":"L289","line":289,"end_line":295},{"kind":"readerroadmap","id":"L295","line":295,"end_line":295}]},{"number":12,"url":"read/paper-i/atlas/v12.html","start_line":297,"end_line":323,"math_expressions":23,"math_sequence_sha256":"3f605b8543361625ab6c612cce4b147b7828821c904acee23ed0ec5eaed396be","nodes":[{"kind":"text","id":"L298","line":298,"end_line":300},{"kind":"figure","id":"L300","line":300,"end_line":300},{"kind":"readerroadmap","id":"L301","line":301,"end_line":301},{"kind":"text","id":"L303","line":303,"end_line":311},{"kind":"section","id":"L311","line":311,"end_line":311},{"kind":"text","id":"L312","line":312,"end_line":319},{"kind":"section","id":"L319","line":319,"end_line":319},{"kind":"text","id":"L320","line":320,"end_line":322},{"kind":"readerroadmap","id":"L322","line":322,"end_line":322}]},{"number":13,"url":"read/paper-i/atlas/v13.html","start_line":324,"end_line":350,"math_expressions":62,"math_sequence_sha256":"049386fa40b3d18f24e2afd47a70d1baa2e99881b46154322eeed6b7e0f1266b","nodes":[{"kind":"text","id":"L325","line":325,"end_line":329},{"kind":"figure","id":"L329","line":329,"end_line":329},{"kind":"readerroadmap","id":"L330","line":330,"end_line":330},{"kind":"section","id":"L332","line":332,"end_line":332},{"kind":"text","id":"L333","line":333,"end_line":346},{"kind":"section","id":"L346","line":346,"end_line":346},{"kind":"text","id":"L347","line":347,"end_line":349},{"kind":"readerroadmap","id":"L349","line":349,"end_line":349}]},{"number":14,"url":"read/paper-i/atlas/v14.html","start_line":351,"end_line":373,"math_expressions":84,"math_sequence_sha256":"631dae3e2171891303bdea6f4a61df11058a5a177809d9e11bf5ee021e3b118e","nodes":[{"kind":"text","id":"L352","line":352,"end_line":358},{"kind":"figure","id":"L358","line":358,"end_line":358},{"kind":"readerroadmap","id":"L359","line":359,"end_line":359},{"kind":"section","id":"L361","line":361,"end_line":361},{"kind":"text","id":"L362","line":362,"end_line":372},{"kind":"readerroadmap","id":"L372","line":372,"end_line":372}]},{"number":15,"url":"read/paper-i/atlas/v15.html","start_line":374,"end_line":390,"math_expressions":49,"math_sequence_sha256":"07dc250648523af5215ece3a83079d1c58cba791fe2b34476e4b4a5bed7c5c58","nodes":[{"kind":"text","id":"L375","line":375,"end_line":381},{"kind":"figure","id":"L381","line":381,"end_line":381},{"kind":"readerroadmap","id":"L382","line":382,"end_line":382},{"kind":"text","id":"L384","line":384,"end_line":386},{"kind":"section","id":"L386","line":386,"end_line":386},{"kind":"text","id":"L387","line":387,"end_line":389},{"kind":"readerroadmap","id":"L389","line":389,"end_line":389}]},{"number":16,"url":"read/paper-i/atlas/v16.html","start_line":391,"end_line":412,"math_expressions":19,"math_sequence_sha256":"77c2fa7e1f60011f5147a99273cc954940ae563eb94fdf4cfff210406e89ea5b","nodes":[{"kind":"text","id":"L392","line":392,"end_line":394},{"kind":"figure","id":"L394","line":394,"end_line":394},{"kind":"readerroadmap","id":"L395","line":395,"end_line":395},{"kind":"section","id":"L397","line":397,"end_line":397},{"kind":"text","id":"L398","line":398,"end_line":404},{"kind":"section","id":"L404","line":404,"end_line":404},{"kind":"text","id":"L405","line":405,"end_line":411},{"kind":"readerroadmap","id":"L411","line":411,"end_line":411}]},{"number":17,"url":"read/paper-i/atlas/v17.html","start_line":413,"end_line":442,"math_expressions":32,"math_sequence_sha256":"0df8be84ef34f8412e6db25c6c6960405e3bc8d19a0397468920c9d29a17ba0a","nodes":[{"kind":"text","id":"L414","line":414,"end_line":420},{"kind":"figure","id":"L420","line":420,"end_line":420},{"kind":"readerroadmap","id":"L421","line":421,"end_line":421},{"kind":"section","id":"L423","line":423,"end_line":423},{"kind":"text","id":"L424","line":424,"end_line":438},{"kind":"section","id":"L438","line":438,"end_line":438},{"kind":"text","id":"L439","line":439,"end_line":441},{"kind":"readerroadmap","id":"L441","line":441,"end_line":441}]},{"number":18,"url":"read/paper-i/atlas/v18.html","start_line":443,"end_line":465,"math_expressions":24,"math_sequence_sha256":"1f4c65d73b7a803736a029fd492ec8184e7e87c753909843c50a7ef9e9b6a8e8","nodes":[{"kind":"text","id":"L444","line":444,"end_line":450},{"kind":"figure","id":"L450","line":450,"end_line":450},{"kind":"readerroadmap","id":"L451","line":451,"end_line":451},{"kind":"text","id":"L453","line":453,"end_line":461},{"kind":"section","id":"L461","line":461,"end_line":461},{"kind":"text","id":"L462","line":462,"end_line":464},{"kind":"readerroadmap","id":"L464","line":464,"end_line":464}]},{"number":19,"url":"read/paper-i/atlas/v19.html","start_line":466,"end_line":490,"math_expressions":23,"math_sequence_sha256":"232ffee81ff372c86a0960cc1a884dc8db06603f18738f6f04c8d67666076b09","nodes":[{"kind":"text","id":"L467","line":467,"end_line":472},{"kind":"figure","id":"L472","line":472,"end_line":472},{"kind":"readerroadmap","id":"L473","line":473,"end_line":473},{"kind":"section","id":"L475","line":475,"end_line":475},{"kind":"text","id":"L476","line":476,"end_line":486},{"kind":"section","id":"L486","line":486,"end_line":486},{"kind":"text","id":"L487","line":487,"end_line":489},{"kind":"readerroadmap","id":"L489","line":489,"end_line":489}]},{"number":20,"url":"read/paper-i/atlas/v20.html","start_line":491,"end_line":510,"math_expressions":9,"math_sequence_sha256":"3b24bd91464d5a508f4164609eaaabecf279883aa7b8b57931ab669d36e69634","nodes":[{"kind":"text","id":"L492","line":492,"end_line":498},{"kind":"figure","id":"L498","line":498,"end_line":498},{"kind":"readerroadmap","id":"L499","line":499,"end_line":499},{"kind":"section","id":"L501","line":501,"end_line":501},{"kind":"text","id":"L502","line":502,"end_line":504},{"kind":"section","id":"L504","line":504,"end_line":504},{"kind":"text","id":"L505","line":505,"end_line":509},{"kind":"readerroadmap","id":"L509","line":509,"end_line":509}]},{"number":21,"url":"read/paper-i/atlas/v21.html","start_line":511,"end_line":535,"math_expressions":27,"math_sequence_sha256":"c3b47d1a31e75c3badc882b03b2ef964dcf0e5c701bc30a5d9aa25231676b303","nodes":[{"kind":"text","id":"L512","line":512,"end_line":521},{"kind":"figure","id":"L521","line":521,"end_line":521},{"kind":"readerroadmap","id":"L522","line":522,"end_line":522},{"kind":"text","id":"L524","line":524,"end_line":526},{"kind":"section","id":"L526","line":526,"end_line":526},{"kind":"text","id":"L527","line":527,"end_line":534},{"kind":"readerroadmap","id":"L534","line":534,"end_line":534}]},{"number":22,"url":"read/paper-i/atlas/v22.html","start_line":536,"end_line":552,"math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","nodes":[{"kind":"text","id":"L537","line":537,"end_line":539},{"kind":"tabularx","id":"L539","line":539,"end_line":547},{"kind":"section","id":"L549","line":549,"end_line":549},{"kind":"text","id":"L550","line":550,"end_line":552},{"kind":"readerroadmap","id":"L552","line":552,"end_line":552}]}],"figures":{"grammar_budget":{"name":"grammar_budget","plate":1,"source":"papers/paper-i/current/editable/traditional/visual_graphics/grammar_budget.tex","source_sha256":"d19cf1bb357a4e227cbda00d771be7c1e9c1d993fa3166958381c47d2fbec5c3","image":"assets/atlas/paper-i/grammar_budget.png","image_sha256":"4d91d8201da3d013e1e0a8aebad8e521a8af74463924ee25ce4012369cd5d812","pdf_page":83,"crop_pdf_points":[55,289,557,487],"nodes":[{"text":"$\\QQ I$","source_text":"$\\QQ I$","position":[-0.3,0.0],"line":3},{"text":"6","source_text":"6","position":[4.5,0.0],"line":10},{"text":"$\\QQ[N]$","source_text":"$\\QQ[N]$","position":[-0.3,-0.86],"line":11},{"text":"2","source_text":"2","position":[4.5,-0.86],"line":18},{"text":"$\\QQ\\langle N,P_e,P_f\\rangle$","source_text":"$\\QQ\\langle N,P_e,P_f\\rangle$","position":[-0.3,-1.72],"line":19},{"text":"1","source_text":"1","position":[4.5,-1.72],"line":26},{"text":"$M_6(\\QQ)$","source_text":"$M_6(\\QQ)$","position":[-0.3,-2.58],"line":27},{"text":"1","source_text":"1","position":[4.5,-2.58],"line":34},{"text":"Minimum seeds for the same space $X=\\QQ^6$","source_text":"Minimum seeds for the same space $X=\\QQ^6$","position":[1.9,0.72],"line":35}],"node_order":[8,0,1,2,3,4,5,6,7],"reading_aid":{"alt":"Minimum seeds under four acting algebras","description":"Four rows compare the same six-dimensional space under scalar action, a single operator, the operator with chain projectors, and the full matrix algebra. Filled squares and the numbers at right give minimum seed counts; they do not show timings.","blocks":[{"kind":"table","caption":8,"headers":["Allowed algebra","Minimum seeds"],"rows":[[0,1],[2,3],[4,5],[6,7]]}]}},"linked_chains":{"name":"linked_chains","plate":3,"source":"papers/paper-i/current/editable/traditional/visual_graphics/linked_chains.tex","source_sha256":"d4277a0ff371be9e3059223fa733537e9cdb2c26871c0fd9881f2284c204dd35","image":"assets/atlas/paper-i/linked_chains.png","image_sha256":"c8e098d32a398cd98bc08a50e3c46e5255d4bc72bfe28f437333651728f7b014","pdf_page":85,"crop_pdf_points":[55,248,557,426],"nodes":[{"text":"$e_0$","source_text":"$e_0$","position":[1.0,1.5],"line":3},{"text":"$e_1$","source_text":"$e_1$","position":[4.0,1.5],"line":5},{"text":"$e_2$","source_text":"$e_2$","position":[7.0,1.5],"line":7},{"text":"$0$","source_text":"$0$","position":[9.0,1.5],"line":9},{"text":"$f_0$","source_text":"$f_0$","position":[1.0,0.0],"line":10},{"text":"$f_1$","source_text":"$f_1$","position":[4.0,0.0],"line":12},{"text":"$f_2$","source_text":"$f_2$","position":[7.0,0.0],"line":14},{"text":"$0$","source_text":"$0$","position":[9.0,0.0],"line":16},{"text":"$ae_0+af_0$","source_text":"$ae_0+af_0$","position":[1.0,-0.92],"line":18},{"text":"$be_1+bf_1$","source_text":"$be_1+bf_1$","position":[4.0,-0.92],"line":20},{"text":"$ce_2+cf_2$","source_text":"$ce_2+cf_2$","position":[7.0,-0.92],"line":22},{"text":"$N e_j=e_{j+1},\\qquad N f_j=f_{j+1}\\quad(j=0,1)$","source_text":"$N e_j=e_{j+1},\\qquad N f_j=f_{j+1}\\quad(j=0,1)$","position":[4.0,2.45],"line":23}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11],"reading_aid":{"alt":"Two length-three chains with linked coefficients","description":"The operator advances along each of two chains and then sends the last vector to zero. Dotted vertical pairings indicate equal coefficients in the orbit of the mixed seed; they are not extra operators.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11]}]}},"quotient_heads":{"name":"quotient_heads","plate":4,"source":"papers/paper-i/current/editable/traditional/visual_graphics/quotient_heads.tex","source_sha256":"fb559b0aed711dc0fa9819369e24022662b78c25e9f093bb942c828fc9e3f8b5","image":"assets/atlas/paper-i/quotient_heads.png","image_sha256":"8af4e19401d62b54b49f28840feb428fba10eb0fa3ad82d5116e00280aedf91b","pdf_page":86,"crop_pdf_points":[55,242,557,393],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.425,-0.425],"line":4},{"text":"$0$","source_text":"$0$","position":[1.275,-0.425],"line":6},{"text":"$0$","source_text":"$0$","position":[2.125,-0.425],"line":8},{"text":"$0$","source_text":"$0$","position":[2.975,-0.425],"line":10},{"text":"$0$","source_text":"$0$","position":[3.825,-0.425],"line":12},{"text":"$0$","source_text":"$0$","position":[4.675,-0.425],"line":14},{"text":"$0$","source_text":"$0$","position":[0.425,-1.275],"line":16},{"text":"$0$","source_text":"$0$","position":[1.275,-1.275],"line":18},{"text":"$0$","source_text":"$0$","position":[2.125,-1.275],"line":20},{"text":"$1$","source_text":"$1$","position":[2.975,-1.275],"line":22},{"text":"$0$","source_text":"$0$","position":[3.825,-1.275],"line":24},{"text":"$0$","source_text":"$0$","position":[4.675,-1.275],"line":26},{"text":"The quotient keeps only the two chain heads","source_text":"The quotient keeps only the two chain heads","position":[2.55,0.48],"line":28},{"text":"$e_0$","source_text":"$e_0$","position":[0.425,0.19],"line":29},{"text":"$e_1$","source_text":"$e_1$","position":[1.275,0.19],"line":30},{"text":"$e_2$","source_text":"$e_2$","position":[2.125,0.19],"line":31},{"text":"$f_0$","source_text":"$f_0$","position":[2.975,0.19],"line":32},{"text":"$f_1$","source_text":"$f_1$","position":[3.825,0.19],"line":33},{"text":"$f_2$","source_text":"$f_2$","position":[4.675,0.19],"line":34},{"text":"$q(a_0,a_1,a_2,b_0,b_1,b_2)=(a_0,b_0)$","source_text":"$q(a_0,a_1,a_2,b_0,b_1,b_2)=(a_0,b_0)$","position":[2.55,-2.18],"line":35}],"node_order":[12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,19],"reading_aid":{"alt":"A quotient retaining two independent chain heads","description":"The columns of the two-by-six quotient matrix follow the displayed basis labels. Each output retains one chain head and discards its advanced positions.","blocks":[{"kind":"table","caption":12,"headers":["Output",13,14,15,16,17,18],"rows":[["First output",0,1,2,3,4,5],["Second output",6,7,8,9,10,11]]},{"kind":"text","nodes":[19]}]}},"left_ideal":{"name":"left_ideal","plate":5,"source":"papers/paper-i/current/editable/traditional/visual_graphics/left_ideal.tex","source_sha256":"89990c9e5812fdadd2ddb3e357407d3736d04a7253e1c7e1fbc5872bc5919de7","image":"assets/atlas/paper-i/left_ideal.png","image_sha256":"a5dffd514d029d31ad27c8e4717d9d3508ee503759d6ad689ea6f0008d43c783","pdf_page":87,"crop_pdf_points":[55,358,557,510],"nodes":[{"text":"$0$","source_text":"$0$","position":[0.425,-0.425],"line":4},{"text":"$1$","source_text":"$1$","position":[1.275,-0.425],"line":6},{"text":"$0$","source_text":"$0$","position":[0.425,-1.275],"line":8},{"text":"$0$","source_text":"$0$","position":[1.275,-1.275],"line":10},{"text":"$C=E_{12}$","source_text":"$C=E_{12}$","position":[0.85,0.48],"line":12},{"text":"$0$","source_text":"$0$","position":[3.625,-0.425],"line":14},{"text":"$0$","source_text":"$0$","position":[4.475,-0.425],"line":16},{"text":"$1$","source_text":"$1$","position":[3.625,-1.275],"line":18},{"text":"$0$","source_text":"$0$","position":[4.475,-1.275],"line":20},{"text":"$B=E_{21}$","source_text":"$B=E_{21}$","position":[4.05,0.48],"line":22},{"text":"$1$","source_text":"$1$","position":[6.825,-0.425],"line":24},{"text":"$0$","source_text":"$0$","position":[7.675,-0.425],"line":26},{"text":"$0$","source_text":"$0$","position":[6.825,-1.275],"line":28},{"text":"$0$","source_text":"$0$","position":[7.675,-1.275],"line":30},{"text":"$CB=E_{11}$","source_text":"$CB=E_{11}$","position":[7.25,0.48],"line":32},{"text":"$\\times$","source_text":"$\\times$","position":[2.48,-0.8],"line":33},{"text":"$=$","source_text":"$=$","position":[5.65,-0.8],"line":34},{"text":"$Ce_1=0$","source_text":"$Ce_1=0$","position":[0.85,-2.1],"line":35},{"text":"$CBe_1=e_1$","source_text":"$CBe_1=e_1$","position":[7.25,-2.1],"line":36}],"node_order":[4,0,1,2,3,9,5,6,7,8,14,10,11,12,13,15,16,17,18],"reading_aid":{"alt":"Right multiplication can destroy a seed relation","description":"Three matrices display C, B and their product in that order. The source labels show that C kills the seed while CB returns the seed, illustrating the difference between a left ideal and a two-sided ideal.","blocks":[{"kind":"table","caption":4,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",0,1],["Row 2",2,3]]},{"kind":"table","caption":9,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",5,6],["Row 2",7,8]]},{"kind":"table","caption":14,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",10,11],["Row 2",12,13]]},{"kind":"text","nodes":[15,16,17,18]}]}},"typed_spaces":{"name":"typed_spaces","plate":6,"source":"papers/paper-i/current/editable/traditional/visual_graphics/typed_spaces.tex","source_sha256":"308c142bbeed39c40381bd22f7f5333791b4a32c773127e5e3bd474872a8c956","image":"assets/atlas/paper-i/typed_spaces.png","image_sha256":"f537c20d131b8b3a60d049e07854f09c8a214d63a021ca1127b712a5931cac09","pdf_page":88,"crop_pdf_points":[55,290,557,412],"nodes":[{"text":"Seed at $U$","source_text":"Seed at $U$","position":[-0.35,0.0],"line":3},{"text":"$u_1$","source_text":"$u_1$","position":[0.4,0.0],"line":5},{"text":"$u_2$","source_text":"$u_2$","position":[1.35,0.0],"line":7},{"text":"$v_1$","source_text":"$v_1$","position":[2.3,0.0],"line":9},{"text":"$v_2$","source_text":"$v_2$","position":[3.25,0.0],"line":11},{"text":"$v_3$","source_text":"$v_3$","position":[4.2,0.0],"line":13},{"text":"$\\dim H=4$","source_text":"$\\dim H=4$","position":[4.95,0.0],"line":14},{"text":"Add $v_3$","source_text":"Add $v_3$","position":[-0.35,-0.85],"line":15},{"text":"$u_1$","source_text":"$u_1$","position":[0.4,-0.85],"line":17},{"text":"$u_2$","source_text":"$u_2$","position":[1.35,-0.85],"line":19},{"text":"$v_1$","source_text":"$v_1$","position":[2.3,-0.85],"line":21},{"text":"$v_2$","source_text":"$v_2$","position":[3.25,-0.85],"line":23},{"text":"$v_3$","source_text":"$v_3$","position":[4.2,-0.85],"line":25},{"text":"$\\dim H=5$","source_text":"$\\dim H=5$","position":[4.95,-0.85],"line":26},{"text":"One mixed seed","source_text":"One mixed seed","position":[-0.35,-1.7],"line":27},{"text":"$u_1$","source_text":"$u_1$","position":[0.4,-1.7],"line":29},{"text":"$u_2$","source_text":"$u_2$","position":[1.35,-1.7],"line":31},{"text":"$v_1$","source_text":"$v_1$","position":[2.3,-1.7],"line":33},{"text":"$v_2$","source_text":"$v_2$","position":[3.25,-1.7],"line":35},{"text":"$v_3$","source_text":"$v_3$","position":[4.2,-1.7],"line":37},{"text":"$\\dim H=5$","source_text":"$\\dim H=5$","position":[4.95,-1.7],"line":38},{"text":"$U$","source_text":"$U$","position":[0.875,0.6],"line":40},{"text":"$V$","source_text":"$V$","position":[3.3,0.6],"line":41}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],"reading_aid":{"alt":"Type reachability and missing directions","description":"Three rows show the basis directions at U and V. With the seed supported at U, the v3 slot is unfilled and the hull has dimension four. Adding the pure v3 seed, or using the displayed mixed seed, fills all five directions.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]}]}},"oblique_vectors":{"name":"oblique_vectors","plate":7,"source":"papers/paper-i/current/editable/traditional/visual_graphics/oblique_vectors.tex","source_sha256":"21e887cee7569ec3274caef4179b096e7849cd424630ad4c80bd7bf0c40b4b77","image":"assets/atlas/paper-i/oblique_vectors.png","image_sha256":"e836725ec47c7cec21f01fdc4626a714087818cff9272582aca0da2fcbfbadbd","pdf_page":89,"crop_pdf_points":[55,240,557,453],"nodes":[{"text":"1","source_text":"1","position":[1.0,-0.21],"line":8},{"text":"2","source_text":"2","position":[2.0,-0.21],"line":10},{"text":"3","source_text":"3","position":[3.0,-0.21],"line":12},{"text":"$Px=(1,0)$","source_text":"$Px=(1,0)$","position":[1.0,-0.58],"line":18},{"text":"$Qx=(2,2)$","source_text":"$Qx=(2,2)$","position":[1.47,2.2],"line":19},{"text":"$x=(3,2)$","source_text":"$x=(3,2)$","position":[3.08,2.17],"line":20},{"text":"$\\operatorname{im}P$","source_text":"$\\operatorname{im}P$","position":[3.6,0.28],"line":21},{"text":"$\\operatorname{im}Q$","source_text":"$\\operatorname{im}Q$","position":[2.95,2.85],"line":22}],"node_order":[0,1,2,3,4,5,6,7],"reading_aid":{"alt":"Exact reconstruction from oblique components","description":"A horizontal line and a diagonal line are the two packet images. The vectors Px and Qx add to x through the displayed parallelogram; their geometry is not that of perpendicular projections.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7]}]}},"block_square":{"name":"block_square","plate":8,"source":"papers/paper-i/current/editable/traditional/visual_graphics/block_square.tex","source_sha256":"d3e88d6e1167c8ce566a1ad2009b3b6ed36b87c00210488d8de8f7f56d35c599","image":"assets/atlas/paper-i/block_square.png","image_sha256":"e8d50abd32e13afc61c02b36ee8401920c7c5beabf96fb9874ec63b1e52eb519","pdf_page":90,"crop_pdf_points":[55,193,557,385],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.41,-0.41],"line":4},{"text":"$2$","source_text":"$2$","position":[1.23,-0.41],"line":6},{"text":"$0$","source_text":"$0$","position":[2.05,-0.41],"line":8},{"text":"$0$","source_text":"$0$","position":[0.41,-1.23],"line":10},{"text":"$1$","source_text":"$1$","position":[1.23,-1.23],"line":12},{"text":"$3$","source_text":"$3$","position":[2.05,-1.23],"line":14},{"text":"$4$","source_text":"$4$","position":[0.41,-2.05],"line":16},{"text":"$0$","source_text":"$0$","position":[1.23,-2.05],"line":18},{"text":"$1$","source_text":"$1$","position":[2.05,-2.05],"line":20},{"text":"$T$","source_text":"$T$","position":[1.23,0.48],"line":22},{"text":"$1$","source_text":"$1$","position":[5.01,-0.41],"line":24},{"text":"$4$","source_text":"$4$","position":[5.83,-0.41],"line":26},{"text":"$6$","source_text":"$6$","position":[6.65,-0.41],"line":28},{"text":"$12$","source_text":"$12$","position":[5.01,-1.23],"line":30},{"text":"$1$","source_text":"$1$","position":[5.83,-1.23],"line":32},{"text":"$6$","source_text":"$6$","position":[6.65,-1.23],"line":34},{"text":"$8$","source_text":"$8$","position":[5.01,-2.05],"line":36},{"text":"$8$","source_text":"$8$","position":[5.83,-2.05],"line":38},{"text":"$1$","source_text":"$1$","position":[6.65,-2.05],"line":40},{"text":"$T^2$","source_text":"$T^2$","position":[5.83,0.48],"line":42},{"text":"$T\\cdot T$","source_text":"$T\\cdot T$","position":[3.55,-1.13],"line":43},{"text":"input column; output row","source_text":"input column; output row","position":[1.23,-3.0],"line":44},{"text":"sum over intermediate packets","source_text":"sum over intermediate packets","position":[5.83,-3.0],"line":45}],"node_order":[9,0,1,2,3,4,5,6,7,8,19,10,11,12,13,14,15,16,17,18,20,21,22],"reading_aid":{"alt":"An operator and its exact square","description":"Two matrices show T and T squared. Rows are outputs and columns are inputs; each entry of the square sums over intermediate packet indices.","blocks":[{"kind":"table","caption":9,"headers":["Row","Column 1","Column 2","Column 3"],"rows":[["Row 1",0,1,2],["Row 2",3,4,5],["Row 3",6,7,8]]},{"kind":"table","caption":19,"headers":["Row","Column 1","Column 2","Column 3"],"rows":[["Row 1",10,11,12],["Row 2",13,14,15],["Row 3",16,17,18]]},{"kind":"text","nodes":[20,21,22]}]}},"cancelled_paths":{"name":"cancelled_paths","plate":9,"source":"papers/paper-i/current/editable/traditional/visual_graphics/cancelled_paths.tex","source_sha256":"80aabca8c6df8efd66fe5aae3c23f23441c66b0e53640dc974ad779bbc966239","image":"assets/atlas/paper-i/cancelled_paths.png","image_sha256":"855707a416d309a3789e584b4b1210b5c119e352fb30b3a287fa2556e0910510","pdf_page":91,"crop_pdf_points":[55,246,557,448],"nodes":[{"text":"$e_1$","source_text":"$e_1$","position":[0.0,0.0],"line":3},{"text":"$e_2$","source_text":"$e_2$","position":[2.0,1.25],"line":4},{"text":"$e_3$","source_text":"$e_3$","position":[2.0,-1.25],"line":5},{"text":"$e_4$","source_text":"$e_4$","position":[4.0,0.0],"line":6},{"text":"$+1$","source_text":"$+1$","position":null,"line":7},{"text":"$+1$","source_text":"$+1$","position":null,"line":8},{"text":"$+1$","source_text":"$+1$","position":null,"line":9},{"text":"$-1$","source_text":"$-1$","position":null,"line":10},{"text":"$1$","source_text":"$1$","position":[6.415,1.335],"line":12},{"text":"$0$","source_text":"$0$","position":[7.045,1.335],"line":14},{"text":"$0$","source_text":"$0$","position":[7.675,1.335],"line":16},{"text":"$0$","source_text":"$0$","position":[6.415,0.705],"line":18},{"text":"$1$","source_text":"$1$","position":[7.045,0.705],"line":20},{"text":"$0$","source_text":"$0$","position":[7.675,0.705],"line":22},{"text":"$0$","source_text":"$0$","position":[6.415,0.075],"line":24},{"text":"$1$","source_text":"$1$","position":[7.045,0.075],"line":26},{"text":"$0$","source_text":"$0$","position":[7.675,0.075],"line":28},{"text":"$0$","source_text":"$0$","position":[6.415,-0.555],"line":30},{"text":"$0$","source_text":"$0$","position":[7.045,-0.555],"line":32},{"text":"$0$","source_text":"$0$","position":[7.675,-0.555],"line":34},{"text":"$[e_1,De_1,D^2e_1]$","source_text":"$[e_1,De_1,D^2e_1]$","position":[7.045,2.13],"line":36},{"text":"rank $=2$","source_text":"rank $=2$","position":[7.045,-1.35],"line":37},{"text":"$(D^2)_{41}=1-1=0$","source_text":"$(D^2)_{41}=1-1=0$","position":[2.0,-2.05],"line":38}],"node_order":[0,1,2,3,4,5,6,7,20,8,9,10,11,12,13,14,15,16,17,18,19,21,22],"reading_aid":{"alt":"Two weighted paths cancel in one transfer block","description":"A weighted diamond gives two routes from the first vertex to the fourth. Their signed contributions cancel. The adjacent Krylov matrix records the resulting orbit and its rank.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7]},{"kind":"table","caption":20,"headers":["Row","Column 1","Column 2","Column 3"],"rows":[["Row 1",8,9,10],["Row 2",11,12,13],["Row 3",14,15,16],["Row 4",17,18,19]]},{"kind":"text","nodes":[21,22]}]}},"support_closure":{"name":"support_closure","plate":10,"source":"papers/paper-i/current/editable/traditional/visual_graphics/support_closure.tex","source_sha256":"c07e1cda7ec78d75f3985e73d0d842a5f18030a3565703bdd0298e0d61b04f15","image":"assets/atlas/paper-i/support_closure.png","image_sha256":"cfd000c18bdc4fe5328f16e21a1f080abd5f1ebe7af60aa5903bacaecfa5944e","pdf_page":92,"crop_pdf_points":[55,203,557,346],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.35,-0.35],"line":4},{"text":"$0$","source_text":"$0$","position":[1.05,-0.35],"line":6},{"text":"$0$","source_text":"$0$","position":[1.75,-0.35],"line":8},{"text":"$1$","source_text":"$1$","position":[0.35,-1.05],"line":10},{"text":"$1$","source_text":"$1$","position":[1.05,-1.05],"line":12},{"text":"$0$","source_text":"$0$","position":[1.75,-1.05],"line":14},{"text":"$0$","source_text":"$0$","position":[0.35,-1.75],"line":16},{"text":"$1$","source_text":"$1$","position":[1.05,-1.75],"line":18},{"text":"$1$","source_text":"$1$","position":[1.75,-1.75],"line":20},{"text":"Allowed support","source_text":"Allowed support","position":[1.05,0.48],"line":22},{"text":"$0$","source_text":"$0$","position":[4.05,-0.35],"line":24},{"text":"$0$","source_text":"$0$","position":[4.75,-0.35],"line":26},{"text":"$0$","source_text":"$0$","position":[5.45,-0.35],"line":28},{"text":"$0$","source_text":"$0$","position":[4.05,-1.05],"line":30},{"text":"$0$","source_text":"$0$","position":[4.75,-1.05],"line":32},{"text":"$0$","source_text":"$0$","position":[5.45,-1.05],"line":34},{"text":"$1$","source_text":"$1$","position":[4.05,-1.75],"line":36},{"text":"$0$","source_text":"$0$","position":[4.75,-1.75],"line":38},{"text":"$0$","source_text":"$0$","position":[5.45,-1.75],"line":40},{"text":"$E_{32}E_{21}$","source_text":"$E_{32}E_{21}$","position":[4.75,0.48],"line":42},{"text":"$1$","source_text":"$1$","position":[7.75,-0.35],"line":44},{"text":"$0$","source_text":"$0$","position":[8.45,-0.35],"line":46},{"text":"$0$","source_text":"$0$","position":[9.15,-0.35],"line":48},{"text":"$1$","source_text":"$1$","position":[7.75,-1.05],"line":50},{"text":"$1$","source_text":"$1$","position":[8.45,-1.05],"line":52},{"text":"$0$","source_text":"$0$","position":[9.15,-1.05],"line":54},{"text":"$1$","source_text":"$1$","position":[7.75,-1.75],"line":56},{"text":"$1$","source_text":"$1$","position":[8.45,-1.75],"line":58},{"text":"$1$","source_text":"$1$","position":[9.15,-1.75],"line":60},{"text":"Transitive closure","source_text":"Transitive closure","position":[8.45,0.48],"line":62},{"text":"missing $(3,1)$","source_text":"missing $(3,1)$","position":[1.05,-2.6],"line":63},{"text":"outside the pattern","source_text":"outside the pattern","position":[4.75,-2.6],"line":64},{"text":"closed under products","source_text":"closed under products","position":[8.45,-2.6],"line":65}],"node_order":[9,0,1,2,3,4,5,6,7,8,19,10,11,12,13,14,15,16,17,18,29,20,21,22,23,24,25,26,27,28,30,31,32],"reading_aid":{"alt":"A support pattern and its transitive closure","description":"Three matrices show the allowed support, a product that escapes it, and the transitive closure. Ones in the support arrays mean allowed positions; the middle array is an actual matrix product.","blocks":[{"kind":"table","caption":9,"headers":["Row","Column 1","Column 2","Column 3"],"rows":[["Row 1",0,1,2],["Row 2",3,4,5],["Row 3",6,7,8]]},{"kind":"table","caption":19,"headers":["Row","Column 1","Column 2","Column 3"],"rows":[["Row 1",10,11,12],["Row 2",13,14,15],["Row 3",16,17,18]]},{"kind":"table","caption":29,"headers":["Row","Column 1","Column 2","Column 3"],"rows":[["Row 1",20,21,22],["Row 2",23,24,25],["Row 3",26,27,28]]},{"kind":"text","nodes":[30,31,32]}]}},"transported_packets":{"name":"transported_packets","plate":11,"source":"papers/paper-i/current/editable/traditional/visual_graphics/transported_packets.tex","source_sha256":"fed3b28cd2abb875209571fce7ec1ab63e630871d440eff33871536bd6549a8e","image":"assets/atlas/paper-i/transported_packets.png","image_sha256":"2fb9d06de63f4bb8ba355a62ad46daf4a7099a8a2a8128df60dece1a6375b5f1","pdf_page":93,"crop_pdf_points":[55,192,557,417],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.4,-0.4],"line":4},{"text":"$0$","source_text":"$0$","position":[1.2,-0.4],"line":6},{"text":"$0$","source_text":"$0$","position":[0.4,-1.2],"line":8},{"text":"$2$","source_text":"$2$","position":[1.2,-1.2],"line":10},{"text":"$T$","source_text":"$T$","position":[0.8,0.48],"line":12},{"text":"$1$","source_text":"$1$","position":[3.5,-0.4],"line":14},{"text":"$1$","source_text":"$1$","position":[4.3,-0.4],"line":16},{"text":"$0$","source_text":"$0$","position":[3.5,-1.2],"line":18},{"text":"$1$","source_text":"$1$","position":[4.3,-1.2],"line":20},{"text":"$U$","source_text":"$U$","position":[3.9,0.48],"line":22},{"text":"$1$","source_text":"$1$","position":[6.6,-0.4],"line":24},{"text":"$1$","source_text":"$1$","position":[7.4,-0.4],"line":26},{"text":"$0$","source_text":"$0$","position":[6.6,-1.2],"line":28},{"text":"$2$","source_text":"$2$","position":[7.4,-1.2],"line":30},{"text":"$UTU^{-1}$","source_text":"$UTU^{-1}$","position":[7.0,0.48],"line":32},{"text":"$1$","source_text":"$1$","position":[1.95,-3.3],"line":34},{"text":"$-1$","source_text":"$-1$","position":[2.75,-3.3],"line":36},{"text":"$0$","source_text":"$0$","position":[1.95,-4.1],"line":38},{"text":"$0$","source_text":"$0$","position":[2.75,-4.1],"line":40},{"text":"$Q_1=UP_1U^{-1}$","source_text":"$Q_1=UP_1U^{-1}$","position":[2.35,-2.42],"line":42},{"text":"$0$","source_text":"$0$","position":[5.05,-3.3],"line":44},{"text":"$1$","source_text":"$1$","position":[5.85,-3.3],"line":46},{"text":"$0$","source_text":"$0$","position":[5.05,-4.1],"line":48},{"text":"$1$","source_text":"$1$","position":[5.85,-4.1],"line":50},{"text":"$Q_2=UP_2U^{-1}$","source_text":"$Q_2=UP_2U^{-1}$","position":[5.45,-2.42],"line":52}],"node_order":[4,0,1,2,3,9,5,6,7,8,14,10,11,12,13,19,15,16,17,18,24,20,21,22,23],"reading_aid":{"alt":"An operator transported with its packet projectors","description":"The upper row shows T, the shear U and the conjugated operator. The lower row shows both transported projectors. The changed matrix entries are read relative to the changed packet coordinates.","blocks":[{"kind":"table","caption":4,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",0,1],["Row 2",2,3]]},{"kind":"table","caption":9,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",5,6],["Row 2",7,8]]},{"kind":"table","caption":14,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",10,11],["Row 2",12,13]]},{"kind":"table","caption":19,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",15,16],["Row 2",17,18]]},{"kind":"table","caption":24,"headers":["Row","Column 1","Column 2"],"rows":[["Row 1",20,21],["Row 2",22,23]]}]}},"shared_independent":{"name":"shared_independent","plate":12,"source":"papers/paper-i/current/editable/traditional/visual_graphics/shared_independent.tex","source_sha256":"73bd72be054ca57a0bb196c321442b03238aa0bea7077c8f939b205db7cc92de","image":"assets/atlas/paper-i/shared_independent.png","image_sha256":"1d8f60e9eca7e8059ea0e530ff3e920d95939e7dd96b9b07648397c379a28300","pdf_page":94,"crop_pdf_points":[55,192,557,355],"nodes":[{"text":"Shared scalar action","source_text":"Shared scalar action","position":[1.5,2.6],"line":3},{"text":"$(1,1)$","source_text":"$(1,1)$","position":[1.46,1.32],"line":8},{"text":"$\\{(a,a):a\\in\\RR\\}$","source_text":"$\\{(a,a):a\\in\\RR\\}$","position":[1.5,-0.68],"line":9},{"text":"Independent coordinate action","source_text":"Independent coordinate action","position":[6.8,2.6],"line":10},{"text":"$(1,1)$","source_text":"$(1,1)$","position":[6.76,1.32],"line":15},{"text":"$\\{(a,b):a,b\\in\\RR\\}$","source_text":"$\\{(a,b):a,b\\in\\RR\\}$","position":[6.8,-0.68],"line":16}],"node_order":[0,1,2,3,4,5],"reading_aid":{"alt":"Shared and independent scalar actions","description":"Two panels start from the vector (1,1). Shared scalar control generates the diagonal line. Independent coordinate control generates the plane; the shaded region is only a finite window.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5]}]}},"row_budget":{"name":"row_budget","plate":13,"source":"papers/paper-i/current/editable/traditional/visual_graphics/row_budget.tex","source_sha256":"b4a57be45c59d332cc9a7eaa7f2d9152ea927ed0cc57d80c02ff9a24a924d463","image":"assets/atlas/paper-i/row_budget.png","image_sha256":"56067f2835555dfb688eeaa147b37b76c238e756cf76b11718b4388d9f0aa885","pdf_page":95,"crop_pdf_points":[55,236,557,355],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.24,-0.24],"line":4},{"text":"$0$","source_text":"$0$","position":[0.72,-0.24],"line":6},{"text":"$0$","source_text":"$0$","position":[1.2,-0.24],"line":8},{"text":"$0$","source_text":"$0$","position":[1.68,-0.24],"line":10},{"text":"$0$","source_text":"$0$","position":[2.16,-0.24],"line":12},{"text":"$0$","source_text":"$0$","position":[0.24,-0.72],"line":14},{"text":"$1$","source_text":"$1$","position":[0.72,-0.72],"line":16},{"text":"$0$","source_text":"$0$","position":[1.2,-0.72],"line":18},{"text":"$0$","source_text":"$0$","position":[1.68,-0.72],"line":20},{"text":"$0$","source_text":"$0$","position":[2.16,-0.72],"line":22},{"text":"$V_1$","source_text":"$V_1$","position":[1.2,0.48],"line":24},{"text":"$0$","source_text":"$0$","position":[3.54,-0.24],"line":26},{"text":"$0$","source_text":"$0$","position":[4.02,-0.24],"line":28},{"text":"$1$","source_text":"$1$","position":[4.5,-0.24],"line":30},{"text":"$0$","source_text":"$0$","position":[4.98,-0.24],"line":32},{"text":"$0$","source_text":"$0$","position":[5.46,-0.24],"line":34},{"text":"$0$","source_text":"$0$","position":[3.54,-0.72],"line":36},{"text":"$0$","source_text":"$0$","position":[4.02,-0.72],"line":38},{"text":"$0$","source_text":"$0$","position":[4.5,-0.72],"line":40},{"text":"$1$","source_text":"$1$","position":[4.98,-0.72],"line":42},{"text":"$0$","source_text":"$0$","position":[5.46,-0.72],"line":44},{"text":"$V_2$","source_text":"$V_2$","position":[4.5,0.48],"line":46},{"text":"$0$","source_text":"$0$","position":[6.84,-0.24],"line":48},{"text":"$0$","source_text":"$0$","position":[7.32,-0.24],"line":50},{"text":"$0$","source_text":"$0$","position":[7.8,-0.24],"line":52},{"text":"$0$","source_text":"$0$","position":[8.28,-0.24],"line":54},{"text":"$1$","source_text":"$1$","position":[8.76,-0.24],"line":56},{"text":"$0$","source_text":"$0$","position":[6.84,-0.72],"line":58},{"text":"$0$","source_text":"$0$","position":[7.32,-0.72],"line":60},{"text":"$0$","source_text":"$0$","position":[7.8,-0.72],"line":62},{"text":"$0$","source_text":"$0$","position":[8.28,-0.72],"line":64},{"text":"$0$","source_text":"$0$","position":[8.76,-0.72],"line":66},{"text":"$V_3$","source_text":"$V_3$","position":[7.8,0.48],"line":68},{"text":"cumulative rank $4$","source_text":"cumulative rank $4$","position":[1.2,-1.55],"line":69},{"text":"cumulative rank $8$","source_text":"cumulative rank $8$","position":[4.5,-1.55],"line":70},{"text":"cumulative rank $10$","source_text":"cumulative rank $10$","position":[7.8,-1.55],"line":71},{"text":"Each row is one direction in the five-dimensional multiplicity space.","source_text":"Each row is one direction in the five-dimensional multiplicity space.","position":[4.5,0.95],"line":72}],"node_order":[10,0,1,2,3,4,5,6,7,8,9,21,11,12,13,14,15,16,17,18,19,20,32,22,23,24,25,26,27,28,29,30,31,33,34,35,36],"reading_aid":{"alt":"Three seeds covering five multiplicity directions","description":"Three two-by-five seed matrices show the row directions supplied in sequence. Their labeled cumulative orbit dimensions are four, eight and ten.","blocks":[{"kind":"table","caption":10,"headers":["Row","Column 1","Column 2","Column 3","Column 4","Column 5"],"rows":[["Row 1",0,1,2,3,4],["Row 2",5,6,7,8,9]]},{"kind":"table","caption":21,"headers":["Row","Column 1","Column 2","Column 3","Column 4","Column 5"],"rows":[["Row 1",11,12,13,14,15],["Row 2",16,17,18,19,20]]},{"kind":"table","caption":32,"headers":["Row","Column 1","Column 2","Column 3","Column 4","Column 5"],"rows":[["Row 1",22,23,24,25,26],["Row 2",27,28,29,30,31]]},{"kind":"text","nodes":[33,34,35,36]}]}},"primary_krylov":{"name":"primary_krylov","plate":14,"source":"papers/paper-i/current/editable/traditional/visual_graphics/primary_krylov.tex","source_sha256":"482e7de60a0349911165d7cd9cc3630ad32f897a9001d3427b6f638fd140d45e","image":"assets/atlas/paper-i/primary_krylov.png","image_sha256":"d0fe6e19b604dd0cf693571e111cbb716c2735a0c102694eb9929130eea07cdf","pdf_page":96,"crop_pdf_points":[55,221,557,437],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.27,-0.27],"line":4},{"text":"$0$","source_text":"$0$","position":[0.81,-0.27],"line":6},{"text":"$0$","source_text":"$0$","position":[1.35,-0.27],"line":8},{"text":"$0$","source_text":"$0$","position":[1.89,-0.27],"line":10},{"text":"$0$","source_text":"$0$","position":[2.43,-0.27],"line":12},{"text":"$0$","source_text":"$0$","position":[2.97,-0.27],"line":14},{"text":"$0$","source_text":"$0$","position":[0.27,-0.81],"line":16},{"text":"$1$","source_text":"$1$","position":[0.81,-0.81],"line":18},{"text":"$0$","source_text":"$0$","position":[1.35,-0.81],"line":20},{"text":"$0$","source_text":"$0$","position":[1.89,-0.81],"line":22},{"text":"$0$","source_text":"$0$","position":[2.43,-0.81],"line":24},{"text":"$0$","source_text":"$0$","position":[2.97,-0.81],"line":26},{"text":"$0$","source_text":"$0$","position":[0.27,-1.35],"line":28},{"text":"$0$","source_text":"$0$","position":[0.81,-1.35],"line":30},{"text":"$1$","source_text":"$1$","position":[1.35,-1.35],"line":32},{"text":"$0$","source_text":"$0$","position":[1.89,-1.35],"line":34},{"text":"$0$","source_text":"$0$","position":[2.43,-1.35],"line":36},{"text":"$0$","source_text":"$0$","position":[2.97,-1.35],"line":38},{"text":"$1$","source_text":"$1$","position":[0.27,-1.89],"line":40},{"text":"$0$","source_text":"$0$","position":[0.81,-1.89],"line":42},{"text":"$0$","source_text":"$0$","position":[1.35,-1.89],"line":44},{"text":"$0$","source_text":"$0$","position":[1.89,-1.89],"line":46},{"text":"$0$","source_text":"$0$","position":[2.43,-1.89],"line":48},{"text":"$0$","source_text":"$0$","position":[2.97,-1.89],"line":50},{"text":"$0$","source_text":"$0$","position":[0.27,-2.43],"line":52},{"text":"$1$","source_text":"$1$","position":[0.81,-2.43],"line":54},{"text":"$0$","source_text":"$0$","position":[1.35,-2.43],"line":56},{"text":"$0$","source_text":"$0$","position":[1.89,-2.43],"line":58},{"text":"$0$","source_text":"$0$","position":[2.43,-2.43],"line":60},{"text":"$0$","source_text":"$0$","position":[2.97,-2.43],"line":62},{"text":"$0$","source_text":"$0$","position":[0.27,-2.97],"line":64},{"text":"$0$","source_text":"$0$","position":[0.81,-2.97],"line":66},{"text":"$1$","source_text":"$1$","position":[1.35,-2.97],"line":68},{"text":"$0$","source_text":"$0$","position":[1.89,-2.97],"line":70},{"text":"$0$","source_text":"$0$","position":[2.43,-2.97],"line":72},{"text":"$0$","source_text":"$0$","position":[2.97,-2.97],"line":74},{"text":"Equal primary labels","source_text":"Equal primary labels","position":[1.62,0.48],"line":76},{"text":"$1$","source_text":"$1$","position":[5.27,-0.27],"line":78},{"text":"$0$","source_text":"$0$","position":[5.81,-0.27],"line":80},{"text":"$0$","source_text":"$0$","position":[6.35,-0.27],"line":82},{"text":"$0$","source_text":"$0$","position":[6.89,-0.27],"line":84},{"text":"$0$","source_text":"$0$","position":[7.43,-0.27],"line":86},{"text":"$0$","source_text":"$0$","position":[7.97,-0.27],"line":88},{"text":"$0$","source_text":"$0$","position":[5.27,-0.81],"line":90},{"text":"$1$","source_text":"$1$","position":[5.81,-0.81],"line":92},{"text":"$0$","source_text":"$0$","position":[6.35,-0.81],"line":94},{"text":"$0$","source_text":"$0$","position":[6.89,-0.81],"line":96},{"text":"$0$","source_text":"$0$","position":[7.43,-0.81],"line":98},{"text":"$0$","source_text":"$0$","position":[7.97,-0.81],"line":100},{"text":"$0$","source_text":"$0$","position":[5.27,-1.35],"line":102},{"text":"$0$","source_text":"$0$","position":[5.81,-1.35],"line":104},{"text":"$1$","source_text":"$1$","position":[6.35,-1.35],"line":106},{"text":"$0$","source_text":"$0$","position":[6.89,-1.35],"line":108},{"text":"$0$","source_text":"$0$","position":[7.43,-1.35],"line":110},{"text":"$0$","source_text":"$0$","position":[7.97,-1.35],"line":112},{"text":"$1$","source_text":"$1$","position":[5.27,-1.89],"line":114},{"text":"$2$","source_text":"$2$","position":[5.81,-1.89],"line":116},{"text":"$4$","source_text":"$4$","position":[6.35,-1.89],"line":118},{"text":"$8$","source_text":"$8$","position":[6.89,-1.89],"line":120},{"text":"$16$","source_text":"$16$","position":[7.43,-1.89],"line":122},{"text":"$32$","source_text":"$32$","position":[7.97,-1.89],"line":124},{"text":"$0$","source_text":"$0$","position":[5.27,-2.43],"line":126},{"text":"$1$","source_text":"$1$","position":[5.81,-2.43],"line":128},{"text":"$4$","source_text":"$4$","position":[6.35,-2.43],"line":130},{"text":"$12$","source_text":"$12$","position":[6.89,-2.43],"line":132},{"text":"$32$","source_text":"$32$","position":[7.43,-2.43],"line":134},{"text":"$80$","source_text":"$80$","position":[7.97,-2.43],"line":136},{"text":"$0$","source_text":"$0$","position":[5.27,-2.97],"line":138},{"text":"$0$","source_text":"$0$","position":[5.81,-2.97],"line":140},{"text":"$1$","source_text":"$1$","position":[6.35,-2.97],"line":142},{"text":"$6$","source_text":"$6$","position":[6.89,-2.97],"line":144},{"text":"$24$","source_text":"$24$","position":[7.43,-2.97],"line":146},{"text":"$80$","source_text":"$80$","position":[7.97,-2.97],"line":148},{"text":"Distinct primary labels","source_text":"Distinct primary labels","position":[6.62,0.48],"line":150},{"text":"Krylov rank $3$","source_text":"Krylov rank $3$","position":[1.62,-3.85],"line":151},{"text":"Krylov determinant $512$","source_text":"Krylov determinant $512$","position":[6.62,-3.85],"line":152}],"node_order":[36,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,73,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,74,75],"reading_aid":{"alt":"Krylov matrices with equal and distinct primary labels","description":"Two six-by-six matrices use the same mixed seed with different operators. Equal primary labels give rank three; distinct labels give the displayed nonzero determinant. Matrix rows run from top to bottom in the fixed chain basis.","blocks":[{"kind":"table","caption":36,"headers":["Row","Column 1","Column 2","Column 3","Column 4","Column 5","Column 6"],"rows":[["Row 1",0,1,2,3,4,5],["Row 2",6,7,8,9,10,11],["Row 3",12,13,14,15,16,17],["Row 4",18,19,20,21,22,23],["Row 5",24,25,26,27,28,29],["Row 6",30,31,32,33,34,35]]},{"kind":"table","caption":73,"headers":["Row","Column 1","Column 2","Column 3","Column 4","Column 5","Column 6"],"rows":[["Row 1",37,38,39,40,41,42],["Row 2",43,44,45,46,47,48],["Row 3",49,50,51,52,53,54],["Row 4",55,56,57,58,59,60],["Row 5",61,62,63,64,65,66],["Row 6",67,68,69,70,71,72]]},{"kind":"text","nodes":[74,75]}]}},"path_walks":{"name":"path_walks","plate":15,"source":"papers/paper-i/current/editable/traditional/visual_graphics/path_walks.tex","source_sha256":"d1a5314ab80727b1346c0daa87b31f8b2af580cf15ccc9f59914198f960ef238","image":"assets/atlas/paper-i/path_walks.png","image_sha256":"2ce4548074caea6074e79b831ba198fc5f8d534bda3b66098993d9a1b6073329","pdf_page":97,"crop_pdf_points":[55,217,557,487],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.0,1.8],"line":3},{"text":"$2$","source_text":"$2$","position":[1.25,1.8],"line":5},{"text":"$3$","source_text":"$3$","position":[2.5,1.8],"line":7},{"text":"$4$","source_text":"$4$","position":[3.75,1.8],"line":9},{"text":"$5$","source_text":"$5$","position":[5.0,1.8],"line":11},{"text":"$1$","source_text":"$1$","position":[1.2,0.375],"line":13},{"text":"$0$","source_text":"$0$","position":[1.85,0.375],"line":15},{"text":"$1$","source_text":"$1$","position":[2.5,0.375],"line":17},{"text":"$0$","source_text":"$0$","position":[3.15,0.375],"line":19},{"text":"$2$","source_text":"$2$","position":[3.8,0.375],"line":21},{"text":"$0$","source_text":"$0$","position":[1.2,-0.275],"line":23},{"text":"$1$","source_text":"$1$","position":[1.85,-0.275],"line":25},{"text":"$0$","source_text":"$0$","position":[2.5,-0.275],"line":27},{"text":"$2$","source_text":"$2$","position":[3.15,-0.275],"line":29},{"text":"$0$","source_text":"$0$","position":[3.8,-0.275],"line":31},{"text":"$0$","source_text":"$0$","position":[1.2,-0.925],"line":33},{"text":"$0$","source_text":"$0$","position":[1.85,-0.925],"line":35},{"text":"$1$","source_text":"$1$","position":[2.5,-0.925],"line":37},{"text":"$0$","source_text":"$0$","position":[3.15,-0.925],"line":39},{"text":"$3$","source_text":"$3$","position":[3.8,-0.925],"line":41},{"text":"$0$","source_text":"$0$","position":[1.2,-1.575],"line":43},{"text":"$0$","source_text":"$0$","position":[1.85,-1.575],"line":45},{"text":"$0$","source_text":"$0$","position":[2.5,-1.575],"line":47},{"text":"$1$","source_text":"$1$","position":[3.15,-1.575],"line":49},{"text":"$0$","source_text":"$0$","position":[3.8,-1.575],"line":51},{"text":"$0$","source_text":"$0$","position":[1.2,-2.225],"line":53},{"text":"$0$","source_text":"$0$","position":[1.85,-2.225],"line":55},{"text":"$0$","source_text":"$0$","position":[2.5,-2.225],"line":57},{"text":"$0$","source_text":"$0$","position":[3.15,-2.225],"line":59},{"text":"$1$","source_text":"$1$","position":[3.8,-2.225],"line":61},{"text":"$0$","source_text":"$0$","position":[1.2,0.89],"line":63},{"text":"$1$","source_text":"$1$","position":[1.85,0.89],"line":64},{"text":"$2$","source_text":"$2$","position":[2.5,0.89],"line":65},{"text":"$3$","source_text":"$3$","position":[3.15,0.89],"line":66},{"text":"$4$","source_text":"$4$","position":[3.8,0.89],"line":67},{"text":"$k$","source_text":"$k$","position":[0.57,0.89],"line":68},{"text":"unit diagonal; no entries below it","source_text":"unit diagonal; no entries below it","position":[2.5,-3.07],"line":69}],"node_order":[35,30,31,32,33,34,0,5,6,7,8,9,1,10,11,12,13,14,2,15,16,17,18,19,3,20,21,22,23,24,4,25,26,27,28,29,36],"reading_aid":{"alt":"Walk counts from an endpoint of a five-vertex path","description":"The dark endpoint is the seed. The matrix rows correspond to graph vertices and its columns to powers of the adjacency operator. Its entries count walks and expose the unit triangular structure.","blocks":[{"kind":"table","caption":"Endpoint Krylov matrix: vertices by walk length","headers":[35,30,31,32,33,34],"rows":[[0,5,6,7,8,9],[1,10,11,12,13,14],[2,15,16,17,18,19],[3,20,21,22,23,24],[4,25,26,27,28,29]]},{"kind":"text","nodes":[36]}]}},"cycle_multiplicity":{"name":"cycle_multiplicity","plate":16,"source":"papers/paper-i/current/editable/traditional/visual_graphics/cycle_multiplicity.tex","source_sha256":"470fd8ec8b9a8b47bbd6ca2bfb04c26e6fa00415223407f18d0c63e87843d065","image":"assets/atlas/paper-i/cycle_multiplicity.png","image_sha256":"d2e564d0ed5ac88734c0564884867aae0b233f0b8cfd23873fe122ffcbca0df2","pdf_page":98,"crop_pdf_points":[55,190,557,358],"nodes":[{"text":"0","source_text":"0","position":[0.0,1.8],"line":9},{"text":"1","source_text":"1","position":[1.5588,0.9],"line":10},{"text":"2","source_text":"2","position":[1.5588,-0.9],"line":11},{"text":"3","source_text":"3","position":[0.0,-1.8],"line":12},{"text":"4","source_text":"4","position":[-1.5588,-0.9],"line":13},{"text":"5","source_text":"5","position":[-1.5588,0.9],"line":14},{"text":"$-2$","source_text":"$-2$","position":[4.375,-1.56],"line":16},{"text":"$1$","source_text":"$1$","position":[4.375,-0.16],"line":17},{"text":"$-1$","source_text":"$-1$","position":[5.325,-1.56],"line":19},{"text":"$2$","source_text":"$2$","position":[5.325,0.64],"line":20},{"text":"$1$","source_text":"$1$","position":[6.275,-1.56],"line":22},{"text":"$2$","source_text":"$2$","position":[6.275,0.64],"line":23},{"text":"$2$","source_text":"$2$","position":[7.225,-1.56],"line":25},{"text":"$1$","source_text":"$1$","position":[7.225,-0.16],"line":26},{"text":"Exact eigenspace dimensions","source_text":"Exact eigenspace dimensions","position":[5.8,1.72],"line":27},{"text":"eigenvalue","source_text":"eigenvalue","position":[5.8,-2.05],"line":28}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"reading_aid":{"alt":"A six-cycle and its exact eigenspace dimensions","description":"Two dark vertices identify the displayed generating pair on the six-cycle. The bars at right give exact eigenspace dimensions at the labeled eigenvalues; they are not a sampled frequency spectrum.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]}]}},"normal_form":{"name":"normal_form","plate":17,"source":"papers/paper-i/current/editable/traditional/visual_graphics/normal_form.tex","source_sha256":"3bc0519fba7cdb61d8244d0a668cf4cc238d0127f3b12829e6ae6bba2bfa5f59","image":"assets/atlas/paper-i/normal_form.png","image_sha256":"423c7a99e83df391680a180c79bb6dc4721089bada335ed7e05ff3e28c2bde7c","pdf_page":99,"crop_pdf_points":[55,228,557,411],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.575,-0.315],"line":4},{"text":"$x$","source_text":"$x$","position":[1.875,-0.315],"line":6},{"text":"$x^2$","source_text":"$x^2$","position":[3.175,-0.315],"line":8},{"text":"$x^3$","source_text":"$x^3$","position":[4.475,-0.315],"line":10},{"text":"$x^4$","source_text":"$x^4$","position":[5.775,-0.315],"line":12},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[6.95,-0.315],"line":13},{"text":"$y$","source_text":"$y$","position":[0.575,-1.115],"line":15},{"text":"$xy$","source_text":"$xy$","position":[1.875,-1.115],"line":17},{"text":"$x^2y$","source_text":"$x^2y$","position":[3.175,-1.115],"line":19},{"text":"$x^3y$","source_text":"$x^3y$","position":[4.475,-1.115],"line":21},{"text":"$x^4y$","source_text":"$x^4y$","position":[5.775,-1.115],"line":23},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[6.95,-1.115],"line":24},{"text":"Independent coefficient slots: $a(x)$ and $b(x)$","source_text":"Independent coefficient slots: $a(x)$ and $b(x)$","position":[3.2,0.52],"line":25},{"text":"$y^2=x^3-x\\quad\\Longrightarrow\\quad y^3=(x^3-x)y$","source_text":"$y^2=x^3-x\\quad\\Longrightarrow\\quad y^3=(x^3-x)y$","position":[3.2,-2.18],"line":26}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13],"reading_aid":{"alt":"Two coefficient lanes in a coordinate ring","description":"Two rows retain independent polynomial coefficient slots for a(x) and b(x). The final relation rewrites higher powers of y into these lanes rather than discarding them.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13]}]}},"shift_tail":{"name":"shift_tail","plate":18,"source":"papers/paper-i/current/editable/traditional/visual_graphics/shift_tail.tex","source_sha256":"4fcdcdabaf2cdc9601804f3555ebdc62e72a600059ee34c1544c5c41c8086d9c","image":"assets/atlas/paper-i/shift_tail.png","image_sha256":"681c127e6ee29a2a771aceaac094cbed214b8503b7d65efd3daab6845ea23667","pdf_page":100,"crop_pdf_points":[55,235,557,447],"nodes":[{"text":"$-6$","source_text":"$-6$","position":[0.5,-0.28],"line":9},{"text":"$-3$","source_text":"$-3$","position":[2.0,-0.28],"line":16},{"text":"$0$","source_text":"$0$","position":[3.5,-0.28],"line":23},{"text":"$3$","source_text":"$3$","position":[5.0,-0.28],"line":30},{"text":"$6$","source_text":"$6$","position":[6.5,-0.28],"line":37},{"text":"$x[n]=2^{-|n|}$","source_text":"$x[n]=2^{-|n|}$","position":[3.5,2.99],"line":40},{"text":"shaded window: $|n|\\le3$","source_text":"shaded window: $|n|\\le3$","position":[3.5,-0.82],"line":41},{"text":"$n$","source_text":"$n$","position":[7.72,0.0],"line":42}],"node_order":[0,1,2,3,4,5,6,7],"reading_aid":{"alt":"An infinite sequence viewed through a finite window","description":"Stems display part of the nonzero sequence indexed by all integers. Shading marks the truncation window with absolute index at most three. The omitted tail remains present in the infinite sequence.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7]}]}},"residue_carry":{"name":"residue_carry","plate":19,"source":"papers/paper-i/current/editable/traditional/visual_graphics/residue_carry.tex","source_sha256":"7feb54375762a5ee2f8d49b2d6c4792d6e79deff0c37628ed50e143cc6997aaf","image":"assets/atlas/paper-i/residue_carry.png","image_sha256":"308ed5ad6ce77421695b723328b266ac3d1751c42eb5ed729eab7085fdc0948a","pdf_page":101,"crop_pdf_points":[55,222,557,395],"nodes":[{"text":"$j=0$","source_text":"$j=0$","position":[-0.45,0.0],"line":3},{"text":"-6","source_text":"-6","position":[0.24,0.0],"line":5},{"text":"-3","source_text":"-3","position":[1.92,0.0],"line":9},{"text":"0","source_text":"0","position":[3.6,0.0],"line":13},{"text":"3","source_text":"3","position":[5.28,0.0],"line":17},{"text":"6","source_text":"6","position":[6.96,0.0],"line":21},{"text":"$j=1$","source_text":"$j=1$","position":[-0.45,-0.85],"line":22},{"text":"-5","source_text":"-5","position":[0.8,-0.85],"line":25},{"text":"-2","source_text":"-2","position":[2.48,-0.85],"line":29},{"text":"1","source_text":"1","position":[4.16,-0.85],"line":33},{"text":"4","source_text":"4","position":[5.84,-0.85],"line":37},{"text":"$j=2$","source_text":"$j=2$","position":[-0.45,-1.7],"line":40},{"text":"-4","source_text":"-4","position":[1.36,-1.7],"line":44},{"text":"-1","source_text":"-1","position":[3.04,-1.7],"line":48},{"text":"2","source_text":"2","position":[4.72,-1.7],"line":52},{"text":"5","source_text":"5","position":[6.4,-1.7],"line":56},{"text":"Every integer belongs to exactly one residue packet.","source_text":"Every integer belongs to exactly one residue packet.","position":[3.55,0.66],"line":58},{"text":"$n=2=3\\cdot0+2\\quad\\mapsto\\quad n=3=3\\cdot1+0$","source_text":"$n=2=3\\cdot0+2\\quad\\mapsto\\quad n=3=3\\cdot1+0$","position":[3.55,-2.5],"line":59}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"reading_aid":{"alt":"Three residue packets on the integer lattice","description":"Rows zero, one and two contain their respective integer addresses modulo three. The bottom example follows address two to address three, carrying one step into the coarse index.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]}]}},"hull_iteration":{"name":"hull_iteration","plate":20,"source":"papers/paper-i/current/editable/traditional/visual_graphics/hull_iteration.tex","source_sha256":"a58b09ecd018f1546f46f04cc768c897678af61b8848d1a380b1b63e1a6dd69c","image":"assets/atlas/paper-i/hull_iteration.png","image_sha256":"dfc82ba31da366fc8ca10486ec930c02bf2d38440680178ec3c5d3dab48c5531","pdf_page":102,"crop_pdf_points":[55,253,557,481],"nodes":[{"text":"0","source_text":"0","position":[-0.23,0.0],"line":6},{"text":"1","source_text":"1","position":[-0.23,0.65],"line":8},{"text":"2","source_text":"2","position":[-0.23,1.3],"line":10},{"text":"3","source_text":"3","position":[-0.23,1.95],"line":12},{"text":"4","source_text":"4","position":[-0.23,2.6],"line":14},{"text":"5","source_text":"5","position":[-0.23,3.25],"line":16},{"text":"6","source_text":"6","position":[-0.23,3.9],"line":18},{"text":"0","source_text":"0","position":[0.0,-0.26],"line":19},{"text":"1","source_text":"1","position":[1.1,-0.26],"line":20},{"text":"2","source_text":"2","position":[2.2,-0.26],"line":21},{"text":"3","source_text":"3","position":[3.3,-0.26],"line":22},{"text":"4","source_text":"4","position":[4.4,-0.26],"line":23},{"text":"5","source_text":"5","position":[5.5,-0.26],"line":24},{"text":"with $P_e,P_f$","source_text":"with $P_e,P_f$","position":[5.55,4.15],"line":39},{"text":"$N$ only","source_text":"$N$ only","position":[5.55,2.2],"line":40},{"text":"iteration $n$","source_text":"iteration $n$","position":[3.0,-0.83],"line":41},{"text":"$\\dim W_n$","source_text":"$\\dim W_n$","position":[-0.18,4.65],"line":42}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"reading_aid":{"alt":"Dimensions of successive generated subspaces","description":"The horizontal axis is iteration and the vertical axis is subspace dimension. The dashed curve permits only N; the solid curve also permits both chain projectors. Repeated plateau values indicate the checked stopping condition.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]}]}},"tensor_rectangle":{"name":"tensor_rectangle","plate":21,"source":"papers/paper-i/current/editable/traditional/visual_graphics/tensor_rectangle.tex","source_sha256":"c99902bcb7d22fa498636d10a9803299c6e050a375f0be09d233362467e4569b","image":"assets/atlas/paper-i/tensor_rectangle.png","image_sha256":"8e67f997281cb822ff16d28b9cb377cda8a2a206e8a2e9434016f68321a632fc","pdf_page":103,"crop_pdf_points":[55,278,557,414],"nodes":[{"text":"$10$","source_text":"$10$","position":[0.5,-0.5],"line":4},{"text":"$14$","source_text":"$14$","position":[1.5,-0.5],"line":6},{"text":"$15$","source_text":"$15$","position":[0.5,-1.5],"line":8},{"text":"$21$","source_text":"$21$","position":[1.5,-1.5],"line":10},{"text":"The coefficient rectangle","source_text":"The coefficient rectangle","position":[1.0,0.48],"line":12},{"text":"$5f_1$","source_text":"$5f_1$","position":[0.5,0.19],"line":13},{"text":"$7f_2$","source_text":"$7f_2$","position":[1.5,0.19],"line":14},{"text":"$2e_1$","source_text":"$2e_1$","position":[-0.25,-0.5],"line":15},{"text":"$3e_2$","source_text":"$3e_2$","position":[-0.25,-1.5],"line":16},{"text":"$10(e_1\\otimes f_1)+14(e_1\\otimes f_2)$","source_text":"$10(e_1\\otimes f_1)+14(e_1\\otimes f_2)$","position":[4.7,-0.5],"line":17},{"text":"$+15(e_2\\otimes f_1)+21(e_2\\otimes f_2)$","source_text":"$+15(e_2\\otimes f_1)+21(e_2\\otimes f_2)$","position":[4.7,-1.3],"line":18}],"node_order":[4,5,6,7,0,1,8,2,3,9,10],"reading_aid":{"alt":"All four coefficients in a tensor expansion","description":"Row and column labels give the factors in the two linear combinations. The rectangular table retains both diagonal and cross coefficients; the displayed expansion below it uses all four terms.","blocks":[{"kind":"table","caption":4,"headers":["Factors",5,6],"rows":[[7,0,1],[8,2,3]]},{"kind":"text","nodes":[9,10]}]}}},"manuscript_references":{"1":[["Definition 4.1","read/paper-i/foundations-and-seed-rank.html#L370"],["Proposition 4.3","read/paper-i/foundations-and-seed-rank.html#L400"],["Theorem 7.5","read/paper-i/packets-and-transfer-graphs.html#L86"]],"2":[["Definition 2.1","read/paper-i/foundations-and-seed-rank.html#L37"],["Definition 2.6","read/paper-i/foundations-and-seed-rank.html#L145"],["Definition 4.1","read/paper-i/foundations-and-seed-rank.html#L370"],["Definition 7.1","read/paper-i/packets-and-transfer-graphs.html#L10"],["Definition 8.1","read/paper-i/packets-and-transfer-graphs.html#L492"]],"3":[["Theorem 6.2","read/paper-i/foundations-and-seed-rank.html#L893"]],"4":[["Proposition 4.13","read/paper-i/foundations-and-seed-rank.html#L638"],["Theorem 6.2","read/paper-i/foundations-and-seed-rank.html#L893"]],"5":[["Theorem 3.2","read/paper-i/foundations-and-seed-rank.html#L226"],["Corollary 3.4","read/paper-i/foundations-and-seed-rank.html#L283"],["Proposition 3.5","read/paper-i/foundations-and-seed-rank.html#L302"]],"6":[["Proposition 13.1","read/paper-i/worked-models.html#L40"],["Definition 9.4","read/paper-i/packets-and-transfer-graphs.html#L1011"]],"7":[["Theorem 7.5","read/paper-i/packets-and-transfer-graphs.html#L86"],["Corollary 8.5","read/paper-i/packets-and-transfer-graphs.html#L579"]],"8":[["Theorem 8.2","read/paper-i/packets-and-transfer-graphs.html#L502"],["Theorem 8.3","read/paper-i/packets-and-transfer-graphs.html#L529"],["Corollary 8.4","read/paper-i/packets-and-transfer-graphs.html#L559"]],"9":[["Corollary 8.4","read/paper-i/packets-and-transfer-graphs.html#L559"],["Proposition 9.3","read/paper-i/packets-and-transfer-graphs.html#L977"]],"10":[["Theorem 8.13","read/paper-i/packets-and-transfer-graphs.html#L800"]],"11":[["Theorem 10.1","read/paper-i/transport-and-realization.html#L7"],["Corollary 4.5","read/paper-i/foundations-and-seed-rank.html#L464"],["Theorem 10.4","read/paper-i/transport-and-realization.html#L87"]],"12":[["Proposition 4.7","read/paper-i/foundations-and-seed-rank.html#L506"],["Theorem 4.8","read/paper-i/foundations-and-seed-rank.html#L524"]],"13":[["Theorem 5.6","read/paper-i/foundations-and-seed-rank.html#L759"],["Corollary 5.7","read/paper-i/foundations-and-seed-rank.html#L809"]],"14":[["Theorem 6.2","read/paper-i/foundations-and-seed-rank.html#L893"],["Corollary 6.3","read/paper-i/foundations-and-seed-rank.html#L951"]],"15":[["Path graphs","read/paper-i/worked-models.html#L326"]],"16":[["Cycle graphs","read/paper-i/worked-models.html#L366"]],"17":[["Worked algebraic model: an elliptic coordinate ring","read/paper-i/worked-models.html#L59"],["Exact product law","read/paper-i/worked-models.html#L137"]],"18":[["Proposition 15.1","read/paper-i/worked-models.html#L211"],["Theorem 3.6","read/paper-i/foundations-and-seed-rank.html#L333"]],"19":[["Theorem 7.10","read/paper-i/packets-and-transfer-graphs.html#L267"]],"20":[["Construction 19.1","read/paper-i/worked-models.html#L523"]],"21":[["Proposition 4.9","read/paper-i/foundations-and-seed-rank.html#L557"]],"22":[["Proof dependency spine","read/paper-i/reference-and-concordance.html#L28"],["Stable statement concordance","read/paper-i/reference-and-concordance.html#L79"]]},"new_proof_review":false,"new_lean_execution":false,"new_mathematical_example_execution":false,"new_tex_build":false}