{"source":"publication/paper-iv-visual-reconstruction/pages.tex","source_sha256":"4ed68dde90c69166abf0ea2063fb0a6091b876aeb2fe002ea5e98aee4c65a501","definitions":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/atlas-definitions.tex","definitions_sha256":"de9590fc4a721f3e66d5a6b7d26d6ae99ac8fc02172bd3c47663e92fe8580c19","macro_source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/Paper_IV_Traditional_Final.tex","macros":{"CC":"\\mathbb C","NN":"\\mathbb N","ZZ":"\\mathbb Z","Bcal":"\\mathcal B","Ecal":"\\mathcal E","Pcal":"\\mathcal P","Rcal":"\\mathcal R","Zcal":"\\mathcal Z","Dfun":"\\mathsf D","Efun":"\\mathsf E","Sfun":"\\mathsf S","Tfun":"\\mathsf T","Cfun":"\\mathsf C","Thetafun":"\\symup{\\Theta}","Spec":"\\operatorname{Spec}","ord":"\\operatorname{ord}","type":"\\operatorname{type}","Log":"\\operatorname{Log}","Res":"\\operatorname{Res}","dist":"\\operatorname{dist}","sech":"\\operatorname{sech}","supp":"\\operatorname{supp}","id":"\\mathrm{id}","tr":"\\operatorname{tr}","Fdet":"\\operatorname{det}_{\\!F}","Span":"\\operatorname{span}","OO":"\\mathcal O","FF":"\\mathbb F","QQ":"\\mathbb Q","RR":"\\mathbb R","Supp":"\\operatorname{Supp}","Fitt":"\\operatorname{Fitt}","Ann":"\\operatorname{Ann}","coker":"\\operatorname{coker}","im":"\\operatorname{im}","rank":"\\operatorname{rank}","Tr":"\\operatorname{Tr}","whot":"\\mathbin{\\widehat\\otimes}","m":"\\mathfrak m","p":"\\mathfrak p","kk":"\\mathbb k","BB":"\\mathcal B","Hull":"\\operatorname{Hull}","srank":"\\operatorname{srank}","End":"\\operatorname{End}","diag":"\\operatorname{diag}","Ker":"\\operatorname{ker}","Ob":"\\operatorname{Ob}","src":"\\operatorname{src}","tgt":"\\operatorname{tgt}","norm":{"arguments":1,"body":"\\left\\lVert#1\\right\\rVert"},"mat":{"arguments":1,"body":"\\begin{pmatrix}#1\\end{pmatrix}"}},"plates":[{"number":1,"url":"read/paper-iv/atlas/v01.html","start_line":1,"end_line":19,"source_math_expressions":6,"math_expressions":30,"math_sequence_sha256":"b0d37b6adfc71ed94cf56c8f668c268c606cd4a461ca691cedd5cc52fcd78964","nodes":[{"kind":"text","id":"L2","line":2,"end_line":3},{"kind":"figure","id":"L3","line":3,"end_line":3},{"kind":"section","id":"L4","line":4,"end_line":4},{"kind":"text","id":"L5","line":5,"end_line":10},{"kind":"section","id":"L10","line":10,"end_line":10},{"kind":"tabularx","id":"L11","line":11,"end_line":16},{"kind":"readerroadmap","id":"L17","line":17,"end_line":17},{"kind":"readerroadmap","id":"L18","line":18,"end_line":18}]},{"number":2,"url":"read/paper-iv/atlas/v02.html","start_line":20,"end_line":43,"source_math_expressions":39,"math_expressions":39,"math_sequence_sha256":"5ba03a1bbc934c675f77d78c796722b1da4fda84020a0c1b3ab5e7532fb18c90","nodes":[{"kind":"text","id":"L21","line":21,"end_line":27},{"kind":"tabularx","id":"L27","line":27,"end_line":39},{"kind":"section","id":"L40","line":40,"end_line":40},{"kind":"text","id":"L41","line":41,"end_line":42},{"kind":"readerroadmap","id":"L42","line":42,"end_line":42}]},{"number":3,"url":"read/paper-iv/atlas/v03.html","start_line":44,"end_line":61,"source_math_expressions":17,"math_expressions":39,"math_sequence_sha256":"c1475946fac2ade875741ac46dbb291fd1aa544ad31e1c946464d249e96f69ef","nodes":[{"kind":"text","id":"L45","line":45,"end_line":50},{"kind":"figure","id":"L50","line":50,"end_line":50},{"kind":"section","id":"L51","line":51,"end_line":51},{"kind":"text","id":"L52","line":52,"end_line":57},{"kind":"section","id":"L57","line":57,"end_line":57},{"kind":"text","id":"L58","line":58,"end_line":59},{"kind":"readerroadmap","id":"L59","line":59,"end_line":59},{"kind":"readerroadmap","id":"L60","line":60,"end_line":60}]},{"number":4,"url":"read/paper-iv/atlas/v04.html","start_line":62,"end_line":83,"source_math_expressions":9,"math_expressions":27,"math_sequence_sha256":"790459e47a65c5fc2a6d822b739d13032b5d994a36f6f2294f41d70c06d2685e","nodes":[{"kind":"text","id":"L63","line":63,"end_line":69},{"kind":"figure","id":"L69","line":69,"end_line":69},{"kind":"text","id":"L70","line":70,"end_line":75},{"kind":"section","id":"L75","line":75,"end_line":75},{"kind":"text","id":"L76","line":76,"end_line":81},{"kind":"readerroadmap","id":"L81","line":81,"end_line":81},{"kind":"readerroadmap","id":"L82","line":82,"end_line":82}]},{"number":5,"url":"read/paper-iv/atlas/v05.html","start_line":84,"end_line":101,"source_math_expressions":14,"math_expressions":38,"math_sequence_sha256":"178644a54a4f23290fb45e0e8277b6d3d8698bf0b030c0e2435e746121095068","nodes":[{"kind":"text","id":"L85","line":85,"end_line":86},{"kind":"figure","id":"L86","line":86,"end_line":86},{"kind":"text","id":"L87","line":87,"end_line":93},{"kind":"section","id":"L93","line":93,"end_line":93},{"kind":"text","id":"L94","line":94,"end_line":99},{"kind":"readerroadmap","id":"L99","line":99,"end_line":99},{"kind":"readerroadmap","id":"L100","line":100,"end_line":100}]},{"number":6,"url":"read/paper-iv/atlas/v06.html","start_line":102,"end_line":119,"source_math_expressions":12,"math_expressions":30,"math_sequence_sha256":"28d8434bc477d175c26e4388e86fda5c20eb3fe65cabed63a66f110da5c43d7c","nodes":[{"kind":"text","id":"L103","line":103,"end_line":108},{"kind":"figure","id":"L108","line":108,"end_line":108},{"kind":"text","id":"L109","line":109,"end_line":110},{"kind":"section","id":"L110","line":110,"end_line":110},{"kind":"text","id":"L111","line":111,"end_line":117},{"kind":"readerroadmap","id":"L117","line":117,"end_line":117},{"kind":"readerroadmap","id":"L118","line":118,"end_line":118}]},{"number":7,"url":"read/paper-iv/atlas/v07.html","start_line":120,"end_line":136,"source_math_expressions":18,"math_expressions":31,"math_sequence_sha256":"c0e756ec731fc2a7b44c9ffeb320446a85026e8ba530ef04ff4a53446dab9474","nodes":[{"kind":"text","id":"L121","line":121,"end_line":126},{"kind":"figure","id":"L126","line":126,"end_line":126},{"kind":"section","id":"L127","line":127,"end_line":127},{"kind":"text","id":"L128","line":128,"end_line":134},{"kind":"readerroadmap","id":"L134","line":134,"end_line":134},{"kind":"readerroadmap","id":"L135","line":135,"end_line":135}]},{"number":8,"url":"read/paper-iv/atlas/v08.html","start_line":137,"end_line":154,"source_math_expressions":16,"math_expressions":22,"math_sequence_sha256":"68aa3ee3077ec9e69b559374295022b6469c798b02409ffc642318244f01b24b","nodes":[{"kind":"text","id":"L138","line":138,"end_line":143},{"kind":"figure","id":"L143","line":143,"end_line":143},{"kind":"text","id":"L144","line":144,"end_line":145},{"kind":"section","id":"L145","line":145,"end_line":145},{"kind":"text","id":"L146","line":146,"end_line":152},{"kind":"readerroadmap","id":"L152","line":152,"end_line":152},{"kind":"readerroadmap","id":"L153","line":153,"end_line":153}]},{"number":9,"url":"read/paper-iv/atlas/v09.html","start_line":155,"end_line":172,"source_math_expressions":11,"math_expressions":41,"math_sequence_sha256":"3a59d88559e984275343e2d9a4d1ef3989315c892e7fdade43eeeb754a316dc4","nodes":[{"kind":"text","id":"L156","line":156,"end_line":161},{"kind":"figure","id":"L161","line":161,"end_line":161},{"kind":"text","id":"L162","line":162,"end_line":168},{"kind":"section","id":"L168","line":168,"end_line":168},{"kind":"text","id":"L169","line":169,"end_line":170},{"kind":"readerroadmap","id":"L170","line":170,"end_line":170},{"kind":"readerroadmap","id":"L171","line":171,"end_line":171}]},{"number":10,"url":"read/paper-iv/atlas/v10.html","start_line":173,"end_line":196,"source_math_expressions":22,"math_expressions":29,"math_sequence_sha256":"c49fcb9ee8049bb44b4079b0eca8ce6c3b20598d1d29afa8948e93488a222da6","nodes":[{"kind":"text","id":"L174","line":174,"end_line":179},{"kind":"figure","id":"L179","line":179,"end_line":179},{"kind":"text","id":"L180","line":180,"end_line":189},{"kind":"section","id":"L189","line":189,"end_line":189},{"kind":"text","id":"L190","line":190,"end_line":194},{"kind":"readerroadmap","id":"L194","line":194,"end_line":194},{"kind":"readerroadmap","id":"L195","line":195,"end_line":195}]},{"number":11,"url":"read/paper-iv/atlas/v11.html","start_line":197,"end_line":213,"source_math_expressions":11,"math_expressions":29,"math_sequence_sha256":"33629eb06f3741505917819c60456cd561ffc6af1b6bc5087ae89b93586cfdda","nodes":[{"kind":"text","id":"L198","line":198,"end_line":203},{"kind":"figure","id":"L203","line":203,"end_line":203},{"kind":"section","id":"L204","line":204,"end_line":204},{"kind":"text","id":"L205","line":205,"end_line":211},{"kind":"readerroadmap","id":"L211","line":211,"end_line":211},{"kind":"readerroadmap","id":"L212","line":212,"end_line":212}]},{"number":12,"url":"read/paper-iv/atlas/v12.html","start_line":214,"end_line":228,"source_math_expressions":14,"math_expressions":20,"math_sequence_sha256":"8f43624404ffabaeb0c6fe4d59c4a51fdbf46823f878874352f37ff30e521f78","nodes":[{"kind":"text","id":"L215","line":215,"end_line":216},{"kind":"figure","id":"L216","line":216,"end_line":216},{"kind":"text","id":"L217","line":217,"end_line":223},{"kind":"section","id":"L223","line":223,"end_line":223},{"kind":"text","id":"L224","line":224,"end_line":226},{"kind":"readerroadmap","id":"L226","line":226,"end_line":226},{"kind":"readerroadmap","id":"L227","line":227,"end_line":227}]},{"number":13,"url":"read/paper-iv/atlas/v13.html","start_line":229,"end_line":241,"source_math_expressions":8,"math_expressions":14,"math_sequence_sha256":"af26ee1306362b40c4bc73fa8b4cb8fbea7126173d56bacdb876ef32545846e0","nodes":[{"kind":"text","id":"L230","line":230,"end_line":234},{"kind":"figure","id":"L234","line":234,"end_line":234},{"kind":"text","id":"L235","line":235,"end_line":236},{"kind":"section","id":"L236","line":236,"end_line":236},{"kind":"text","id":"L237","line":237,"end_line":239},{"kind":"readerroadmap","id":"L239","line":239,"end_line":239},{"kind":"readerroadmap","id":"L240","line":240,"end_line":240}]},{"number":14,"url":"read/paper-iv/atlas/v14.html","start_line":242,"end_line":258,"source_math_expressions":15,"math_expressions":35,"math_sequence_sha256":"95aac005052514194a960d55b1be83fa85ad76d93da98f93b17a7282df7f9134","nodes":[{"kind":"text","id":"L243","line":243,"end_line":248},{"kind":"figure","id":"L248","line":248,"end_line":248},{"kind":"section","id":"L249","line":249,"end_line":249},{"kind":"text","id":"L250","line":250,"end_line":256},{"kind":"readerroadmap","id":"L256","line":256,"end_line":256},{"kind":"readerroadmap","id":"L257","line":257,"end_line":257}]},{"number":15,"url":"read/paper-iv/atlas/v15.html","start_line":259,"end_line":280,"source_math_expressions":11,"math_expressions":24,"math_sequence_sha256":"611673c50b1a4d360d2261766a8b5c365693f78d3af449f0fad61d7c22e1684f","nodes":[{"kind":"text","id":"L260","line":260,"end_line":265},{"kind":"figure","id":"L265","line":265,"end_line":265},{"kind":"text","id":"L266","line":266,"end_line":272},{"kind":"section","id":"L272","line":272,"end_line":272},{"kind":"text","id":"L273","line":273,"end_line":278},{"kind":"readerroadmap","id":"L278","line":278,"end_line":278},{"kind":"readerroadmap","id":"L279","line":279,"end_line":279}]},{"number":16,"url":"read/paper-iv/atlas/v16.html","start_line":281,"end_line":302,"source_math_expressions":17,"math_expressions":28,"math_sequence_sha256":"0ae262406c7871d9b00863363483226ed4455f99a7be6e54c934c9dac885d6f9","nodes":[{"kind":"text","id":"L282","line":282,"end_line":288},{"kind":"figure","id":"L288","line":288,"end_line":288},{"kind":"text","id":"L289","line":289,"end_line":294},{"kind":"section","id":"L294","line":294,"end_line":294},{"kind":"text","id":"L295","line":295,"end_line":300},{"kind":"readerroadmap","id":"L300","line":300,"end_line":300},{"kind":"readerroadmap","id":"L301","line":301,"end_line":301}]},{"number":17,"url":"read/paper-iv/atlas/v17.html","start_line":303,"end_line":320,"source_math_expressions":6,"math_expressions":15,"math_sequence_sha256":"d5e62c8045afd6284cbdbc7ee81c8b7219296673c2d796c67e932e262adc7d33","nodes":[{"kind":"text","id":"L304","line":304,"end_line":309},{"kind":"figure","id":"L309","line":309,"end_line":309},{"kind":"text","id":"L310","line":310,"end_line":315},{"kind":"section","id":"L315","line":315,"end_line":315},{"kind":"text","id":"L316","line":316,"end_line":318},{"kind":"readerroadmap","id":"L318","line":318,"end_line":318},{"kind":"readerroadmap","id":"L319","line":319,"end_line":319}]},{"number":18,"url":"read/paper-iv/atlas/v18.html","start_line":321,"end_line":341,"source_math_expressions":8,"math_expressions":18,"math_sequence_sha256":"4ef98eea0534873fc31d82039f52535b28d9c237872ff7bd7aceb1568aa639a1","nodes":[{"kind":"text","id":"L322","line":322,"end_line":327},{"kind":"figure","id":"L327","line":327,"end_line":327},{"kind":"text","id":"L328","line":328,"end_line":337},{"kind":"section","id":"L337","line":337,"end_line":337},{"kind":"text","id":"L338","line":338,"end_line":339},{"kind":"readerroadmap","id":"L339","line":339,"end_line":339},{"kind":"readerroadmap","id":"L340","line":340,"end_line":340}]},{"number":19,"url":"read/paper-iv/atlas/v19.html","start_line":342,"end_line":362,"source_math_expressions":5,"math_expressions":24,"math_sequence_sha256":"8da7d26be756605a9c7b3496c6d536367693827989b93f9ee2c7eb3770f5e5c2","nodes":[{"kind":"text","id":"L343","line":343,"end_line":344},{"kind":"figure","id":"L344","line":344,"end_line":344},{"kind":"section","id":"L345","line":345,"end_line":345},{"kind":"text","id":"L346","line":346,"end_line":360},{"kind":"readerroadmap","id":"L360","line":360,"end_line":360},{"kind":"readerroadmap","id":"L361","line":361,"end_line":361}]},{"number":20,"url":"read/paper-iv/atlas/v20.html","start_line":363,"end_line":381,"source_math_expressions":9,"math_expressions":18,"math_sequence_sha256":"a38f7acd294f571aa23113a5225a1efa3933fd7deaf8acb0d33d3cd925a78da9","nodes":[{"kind":"text","id":"L364","line":364,"end_line":365},{"kind":"figure","id":"L365","line":365,"end_line":365},{"kind":"text","id":"L366","line":366,"end_line":367},{"kind":"section","id":"L367","line":367,"end_line":367},{"kind":"text","id":"L368","line":368,"end_line":379},{"kind":"readerroadmap","id":"L379","line":379,"end_line":379},{"kind":"readerroadmap","id":"L380","line":380,"end_line":380}]},{"number":21,"url":"read/paper-iv/atlas/v21.html","start_line":382,"end_line":399,"source_math_expressions":15,"math_expressions":29,"math_sequence_sha256":"9eca8366cc9cae8657f1db0ab841a4180adfa636136a91f8ce394e3580d377a0","nodes":[{"kind":"text","id":"L383","line":383,"end_line":388},{"kind":"figure","id":"L388","line":388,"end_line":388},{"kind":"section","id":"L389","line":389,"end_line":389},{"kind":"text","id":"L390","line":390,"end_line":397},{"kind":"readerroadmap","id":"L397","line":397,"end_line":397},{"kind":"readerroadmap","id":"L398","line":398,"end_line":398}]},{"number":22,"url":"read/paper-iv/atlas/v22.html","start_line":400,"end_line":422,"source_math_expressions":6,"math_expressions":15,"math_sequence_sha256":"90d1b9defe4d6424173fd1c7b840d84c1ce001ad6d349a74241280561cb1a84b","nodes":[{"kind":"text","id":"L401","line":401,"end_line":407},{"kind":"figure","id":"L407","line":407,"end_line":407},{"kind":"text","id":"L408","line":408,"end_line":414},{"kind":"section","id":"L414","line":414,"end_line":414},{"kind":"text","id":"L415","line":415,"end_line":420},{"kind":"readerroadmap","id":"L420","line":420,"end_line":420},{"kind":"readerroadmap","id":"L421","line":421,"end_line":421}]},{"number":23,"url":"read/paper-iv/atlas/v23.html","start_line":423,"end_line":436,"source_math_expressions":12,"math_expressions":27,"math_sequence_sha256":"f08ad0dc070bd6b13fb847195971dde3e1d10ca065bf2d4a8ddac89008568211","nodes":[{"kind":"text","id":"L424","line":424,"end_line":429},{"kind":"figure","id":"L429","line":429,"end_line":429},{"kind":"section","id":"L430","line":430,"end_line":430},{"kind":"text","id":"L431","line":431,"end_line":432},{"kind":"section","id":"L432","line":432,"end_line":432},{"kind":"text","id":"L433","line":433,"end_line":434},{"kind":"readerroadmap","id":"L434","line":434,"end_line":434},{"kind":"readerroadmap","id":"L435","line":435,"end_line":435}]},{"number":24,"url":"read/paper-iv/atlas/v24.html","start_line":437,"end_line":454,"source_math_expressions":13,"math_expressions":21,"math_sequence_sha256":"4cc4b290490a33263b1fd72eb2de6fdae422da7e0d8a6c42ca5bbcb00a660cc9","nodes":[{"kind":"text","id":"L438","line":438,"end_line":439},{"kind":"figure","id":"L439","line":439,"end_line":439},{"kind":"text","id":"L440","line":440,"end_line":446},{"kind":"section","id":"L446","line":446,"end_line":446},{"kind":"text","id":"L447","line":447,"end_line":452},{"kind":"readerroadmap","id":"L452","line":452,"end_line":452},{"kind":"readerroadmap","id":"L453","line":453,"end_line":453}]},{"number":25,"url":"read/paper-iv/atlas/v25.html","start_line":455,"end_line":469,"source_math_expressions":12,"math_expressions":18,"math_sequence_sha256":"6ea91fd93a324fa0856eb3728ec936e73c4ba121512bb983713dd71f55d52a09","nodes":[{"kind":"text","id":"L456","line":456,"end_line":457},{"kind":"figure","id":"L457","line":457,"end_line":457},{"kind":"section","id":"L458","line":458,"end_line":458},{"kind":"text","id":"L459","line":459,"end_line":464},{"kind":"section","id":"L464","line":464,"end_line":464},{"kind":"text","id":"L465","line":465,"end_line":467},{"kind":"readerroadmap","id":"L467","line":467,"end_line":467},{"kind":"readerroadmap","id":"L468","line":468,"end_line":468}]},{"number":26,"url":"read/paper-iv/atlas/v26.html","start_line":470,"end_line":492,"source_math_expressions":1,"math_expressions":1,"math_sequence_sha256":"070986450f68022d9588575d80039a6bf1d58b4d5551210c660372d5069ed953","nodes":[{"kind":"text","id":"L471","line":471,"end_line":474},{"kind":"tabularx","id":"L474","line":474,"end_line":482},{"kind":"section","id":"L484","line":484,"end_line":484},{"kind":"text","id":"L485","line":485,"end_line":488},{"kind":"section","id":"L488","line":488,"end_line":488},{"kind":"text","id":"L489","line":489,"end_line":491},{"kind":"readerroadmap","id":"L491","line":491,"end_line":491},{"kind":"readerroadmap","id":"L492","line":492,"end_line":492}]}],"manuscript_backlinks":{"read/paper-iv/construction-map.html#L268":[{"number":1,"title":"A coefficient can become zero data","url":"read/paper-iv/atlas/v01.html"},{"number":2,"title":"Two variables, several normalizations","url":"read/paper-iv/atlas/v02.html"},{"number":13,"title":"A complex power needs a domain","url":"read/paper-iv/atlas/v13.html"}],"read/paper-iv/reciprocal-powers.html#L918":[{"number":1,"title":"A coefficient can become zero data","url":"read/paper-iv/atlas/v01.html"}],"read/paper-iv/zero-geometry.html#L1709":[{"number":1,"title":"A coefficient can become zero data","url":"read/paper-iv/atlas/v01.html"}],"read/paper-iv/products-and-moments.html#L2261":[{"number":1,"title":"A coefficient can become zero data","url":"read/paper-iv/atlas/v01.html"}],"read/paper-iv/signed-sections.html#L696":[{"number":2,"title":"Two variables, several normalizations","url":"read/paper-iv/atlas/v02.html"},{"number":8,"title":"Four zeros become one orbit zero","url":"read/paper-iv/atlas/v08.html"}],"read/paper-iv/reciprocal-powers.html#L931":[{"number":2,"title":"Two variables, several normalizations","url":"read/paper-iv/atlas/v02.html"},{"number":13,"title":"A complex power needs a domain","url":"read/paper-iv/atlas/v13.html"}],"read/paper-iv/appell-systems.html#L1355":[{"number":2,"title":"Two variables, several normalizations","url":"read/paper-iv/atlas/v02.html"},{"number":14,"title":"Three similar reciprocals differ","url":"read/paper-iv/atlas/v14.html"}],"read/paper-iv/cyclic-projection.html#L346":[{"number":3,"title":"A root filter is an exact vote","url":"read/paper-iv/atlas/v03.html"}],"read/paper-iv/cyclic-projection.html#L380":[{"number":3,"title":"A root filter is an exact vote","url":"read/paper-iv/atlas/v03.html"}],"read/paper-iv/cyclic-projection.html#L406":[{"number":4,"title":"Products mix the residue lanes","url":"read/paper-iv/atlas/v04.html"}],"read/paper-iv/signed-sections.html#L612":[{"number":5,"title":"One signed edge determines the cycle","url":"read/paper-iv/atlas/v05.html"}],"read/paper-iv/finite-algebra.html#L809":[{"number":5,"title":"One signed edge determines the cycle","url":"read/paper-iv/atlas/v05.html"}],"read/paper-iv/finite-algebra.html#L856":[{"number":5,"title":"One signed edge determines the cycle","url":"read/paper-iv/atlas/v05.html"}],"read/paper-iv/finite-algebra.html#L893":[{"number":5,"title":"One signed edge determines the cycle","url":"read/paper-iv/atlas/v05.html"}],"read/paper-iv/signed-sections.html#L652":[{"number":6,"title":"Addition is quotient multiplication","url":"read/paper-iv/atlas/v06.html"}],"read/paper-iv/finite-algebra.html#L772":[{"number":6,"title":"Addition is quotient multiplication","url":"read/paper-iv/atlas/v06.html"}],"read/paper-iv/transfer-exponential.html#L526":[{"number":7,"title":"Why a hypergeometric name appears","url":"read/paper-iv/atlas/v07.html"}],"read/paper-iv/zero-geometry.html#L2174":[{"number":8,"title":"Four zeros become one orbit zero","url":"read/paper-iv/atlas/v08.html"},{"number":20,"title":"Counting changes under the power map","url":"read/paper-iv/atlas/v20.html"},{"number":25,"title":"One closed calculation: the number 69","url":"read/paper-iv/atlas/v25.html"}],"read/paper-iv/zero-geometry.html#L2193":[{"number":8,"title":"Four zeros become one orbit zero","url":"read/paper-iv/atlas/v08.html"}],"read/paper-iv/reciprocal-powers.html#L1002":[{"number":9,"title":"A reciprocal is a triangular solve","url":"read/paper-iv/atlas/v09.html"},{"number":11,"title":"Two recurrences reach the same answer","url":"read/paper-iv/atlas/v11.html"}],"read/paper-iv/reciprocal-powers.html#L1084":[{"number":9,"title":"A reciprocal is a triangular solve","url":"read/paper-iv/atlas/v09.html"},{"number":11,"title":"Two recurrences reach the same answer","url":"read/paper-iv/atlas/v11.html"}],"read/paper-iv/reciprocal-powers.html#L961":[{"number":10,"title":"The reciprocal order is a polynomial","url":"read/paper-iv/atlas/v10.html"}],"read/paper-iv/reciprocal-powers.html#L1148":[{"number":10,"title":"The reciprocal order is a polynomial","url":"read/paper-iv/atlas/v10.html"},{"number":25,"title":"One closed calculation: the number 69","url":"read/paper-iv/atlas/v25.html"}],"read/paper-iv/reciprocal-powers.html#L1038":[{"number":11,"title":"Two recurrences reach the same answer","url":"read/paper-iv/atlas/v11.html"}],"read/paper-iv/logarithmic-derivatives.html#L1250":[{"number":12,"title":"Compress the ODE into a tangent","url":"read/paper-iv/atlas/v12.html"}],"read/paper-iv/logarithmic-derivatives.html#L1302":[{"number":12,"title":"Compress the ODE into a tangent","url":"read/paper-iv/atlas/v12.html"},{"number":13,"title":"A complex power needs a domain","url":"read/paper-iv/atlas/v13.html"}],"read/paper-iv/logarithmic-derivatives.html#L1324":[{"number":12,"title":"Compress the ODE into a tangent","url":"read/paper-iv/atlas/v12.html"}],"read/paper-iv/appell-systems.html#L1386":[{"number":14,"title":"Three similar reciprocals differ","url":"read/paper-iv/atlas/v14.html"}],"read/paper-iv/appell-systems.html#L1581":[{"number":14,"title":"Three similar reciprocals differ","url":"read/paper-iv/atlas/v14.html"}],"read/paper-iv/appell-systems.html#L1466":[{"number":15,"title":"An infinite symbol acts finitely","url":"read/paper-iv/atlas/v15.html"}],"read/paper-iv/appell-systems.html#L1503":[{"number":15,"title":"An infinite symbol acts finitely","url":"read/paper-iv/atlas/v15.html"}],"read/paper-iv/appell-systems.html#L1525":[{"number":15,"title":"An infinite symbol acts finitely","url":"read/paper-iv/atlas/v15.html"}],"read/paper-iv/theta-polynomials.html#L1627":[{"number":16,"title":"Scale and order enter differently","url":"read/paper-iv/atlas/v16.html"}],"read/paper-iv/theta-polynomials.html#L1648":[{"number":16,"title":"Scale and order enter differently","url":"read/paper-iv/atlas/v16.html"}],"read/paper-iv/theta-polynomials.html#L1657":[{"number":16,"title":"Scale and order enter differently","url":"read/paper-iv/atlas/v16.html"}],"read/paper-iv/zero-geometry.html#L1767":[{"number":17,"title":"Growth comes from a polygon","url":"read/paper-iv/atlas/v17.html"}],"read/paper-iv/zero-geometry.html#L1784":[{"number":17,"title":"Growth comes from a polygon","url":"read/paper-iv/atlas/v17.html"}],"read/paper-iv/zero-geometry.html#L1944":[{"number":18,"title":"Two large terms nearly cancel","url":"read/paper-iv/atlas/v18.html"},{"number":19,"title":"A root estimate becomes a certificate","url":"read/paper-iv/atlas/v19.html"}],"read/paper-iv/zero-geometry.html#L2118":[{"number":18,"title":"Two large terms nearly cancel","url":"read/paper-iv/atlas/v18.html"},{"number":19,"title":"A root estimate becomes a certificate","url":"read/paper-iv/atlas/v19.html"}],"read/paper-iv/zero-geometry.html#L2066":[{"number":19,"title":"A root estimate becomes a certificate","url":"read/paper-iv/atlas/v19.html"}],"read/paper-iv/zero-geometry.html#L2218":[{"number":20,"title":"Counting changes under the power map","url":"read/paper-iv/atlas/v20.html"}],"read/paper-iv/products-and-moments.html#L2271":[{"number":21,"title":"A product and an operator share zeros","url":"read/paper-iv/atlas/v21.html"}],"read/paper-iv/products-and-moments.html#L2302":[{"number":21,"title":"A product and an operator share zeros","url":"read/paper-iv/atlas/v21.html"}],"read/paper-iv/products-and-moments.html#L2423":[{"number":22,"title":"Finite coefficients give infinite moments","url":"read/paper-iv/atlas/v22.html"},{"number":25,"title":"One closed calculation: the number 69","url":"read/paper-iv/atlas/v25.html"}],"read/paper-iv/products-and-moments.html#L2476":[{"number":22,"title":"Finite coefficients give infinite moments","url":"read/paper-iv/atlas/v22.html"}],"read/paper-iv/products-and-moments.html#L2537":[{"number":22,"title":"Finite coefficients give infinite moments","url":"read/paper-iv/atlas/v22.html"}],"read/paper-iv/products-and-moments.html#L2550":[{"number":22,"title":"Finite coefficients give infinite moments","url":"read/paper-iv/atlas/v22.html"}],"read/paper-iv/coefficient-asymptotics.html#L2592":[{"number":23,"title":"Nearest poles set coefficient growth","url":"read/paper-iv/atlas/v23.html"}],"read/paper-iv/coefficient-asymptotics.html#L2649":[{"number":23,"title":"Nearest poles set coefficient growth","url":"read/paper-iv/atlas/v23.html"}],"read/paper-iv/coefficient-asymptotics.html#L2670":[{"number":23,"title":"Nearest poles set coefficient growth","url":"read/paper-iv/atlas/v23.html"}],"read/paper-iv/coefficient-asymptotics.html#L2699":[{"number":23,"title":"Nearest poles set coefficient growth","url":"read/paper-iv/atlas/v23.html"}],"read/paper-iv/zero-zeta.html#L2732":[{"number":24,"title":"Convergence is not continuation","url":"read/paper-iv/atlas/v24.html"}],"read/paper-iv/zero-zeta.html#L2748":[{"number":24,"title":"Convergence is not continuation","url":"read/paper-iv/atlas/v24.html"}],"read/paper-iv/zero-zeta.html#L2833":[{"number":24,"title":"Convergence is not continuation","url":"read/paper-iv/atlas/v24.html"}],"read/paper-iv/scope-boundaries.html#L2947":[{"number":26,"title":"What is evidence, and for what?","url":"read/paper-iv/atlas/v26.html"}],"read/paper-iv/formalization-ledger.html#L2974":[{"number":26,"title":"What is evidence, and for what?","url":"read/paper-iv/atlas/v26.html"}]},"figures":{"three_views":{"name":"three_views","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/three_views.tex","source_sha256":"f9a9736772ec2dee7906cae31e6a8f483518b2185e2090b80244d2a9b2662eb7","image":"assets/atlas/paper-iv/three_views.png","image_sha256":"3f54aa4a88cd4f7e5e86fcac61fbc7c87d90ddfb58ef60d420af1e9ca2defe17","node_order":[0,3,4,5,6,7,8,9,10,11,12,13,14,15,1,16,17,18,19,20,21,22,23,24,25,2,26],"nodes":[{"text":"COEFFICIENT LANES","line":2},{"text":"RECIPROCAL COEFFICIENTS","line":3},{"text":"ZERO ORBITS","line":4},{"text":"$z^{0}$","line":6},{"text":"$z^{3}$","line":8},{"text":"$z^{6}$","line":10},{"text":"$z^{9}$","line":12},{"text":"$z^{1}$","line":14},{"text":"$z^{4}$","line":16},{"text":"$z^{7}$","line":18},{"text":"$z^{10}$","line":20},{"text":"$z^{2}$","line":22},{"text":"$z^{5}$","line":24},{"text":"$z^{8}$","line":26},{"text":"$z^{11}$","line":28},{"text":"$m\\equiv j\\pmod 3$","line":29},{"text":"$1$","line":31},{"text":"$0$","line":33},{"text":"$0$","line":35},{"text":"$- \\frac{1}{2}$","line":37},{"text":"$1$","line":39},{"text":"$0$","line":41},{"text":"$\\frac{1}{24}$","line":43},{"text":"$- \\frac{1}{2}$","line":45},{"text":"$1$","line":47},{"text":"$1,\\quad\\frac12,\\quad\\frac5{24},\\ldots$","line":48},{"text":"$\\{\\rho,i\\rho,-\\rho,-i\\rho\\}$","line":61}]},"root_filter":{"name":"root_filter","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/root_filter.tex","source_sha256":"c393ca1044b690017fae82c9bfe030ae02568af84b9c0994aa394726a69d7122","image":"assets/atlas/paper-iv/root_filter.png","image_sha256":"9bb471b1e3234e623ff9502aab270a85c993002f309413372f9b30e441324b78","node_order":[0,5,1,2,3,4,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22],"nodes":[{"text":"Four weighted votes for $z^m$","line":2},{"text":"$1$","line":4},{"text":"$i$","line":6},{"text":"$-1$","line":8},{"text":"$-i$","line":10},{"text":"$\\frac14\\sum_{\\ell=0}^3 i^{(m-j)\\ell}$","line":11},{"text":"$j=0$","line":12},{"text":"$z^{0}$","line":14},{"text":"$z^{4}$","line":16},{"text":"$z^{8}$","line":18},{"text":"$j=1$","line":19},{"text":"$z^{1}$","line":21},{"text":"$z^{5}$","line":23},{"text":"$z^{9}$","line":25},{"text":"$j=2$","line":26},{"text":"$z^{2}$","line":28},{"text":"$z^{6}$","line":30},{"text":"$z^{10}$","line":32},{"text":"$j=3$","line":33},{"text":"$z^{3}$","line":35},{"text":"$z^{7}$","line":37},{"text":"$z^{11}$","line":39},{"text":"only the matching phase survives","line":40}]},"cyclic_product":{"name":"cyclic_product","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/cyclic_product.tex","source_sha256":"5760802ff10528932692d31e472f3a784c3b2bafdc44d3f56b7de012c348b9de","image":"assets/atlas/paper-iv/cyclic_product.png","image_sha256":"b6a1e6918f38b21f3be74a54f0fe53ced8bd2579fad689a37b0c37d90fd31317","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"nodes":[{"text":"$2$","line":2},{"text":"$z$","line":3},{"text":"$z^{2}$","line":4},{"text":"$z^{3} + 1$","line":5},{"text":"$2 z^{3} + 2$","line":7},{"text":"$z^{4} + z$","line":9},{"text":"$z^{5} + z^{2}$","line":11},{"text":"$2 z$","line":12},{"text":"$4 z$","line":14},{"text":"$2 z^{2}$","line":16},{"text":"$2 z^{3}$","line":18},{"text":"$3 z^{2}$","line":19},{"text":"$6 z^{2}$","line":21},{"text":"$3 z^{3}$","line":23},{"text":"$3 z^{4}$","line":25},{"text":"$\\mathcal B_{3,0}(FG)=2+7z^3$","line":26},{"text":"shaded cells: $(0,0), (1,2), (2,1)$ all land in residue $0$","line":27}]},"signed_shift":{"name":"signed_shift","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/signed_shift.tex","source_sha256":"f7a845dc873d3b78fc3412e7794b675e0239a342eeec8d2b35a7fee68e30d55e","image":"assets/atlas/paper-iv/signed_shift.png","image_sha256":"0ab8df9cca4af304733df0179d32b8dd9c6fcdd68fcd042c9d099e529f4ef43e","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,23],"nodes":[{"text":"$J_3$","line":2},{"text":"$0$","line":4},{"text":"$0$","line":6},{"text":"$-1$","line":8},{"text":"$1$","line":10},{"text":"$0$","line":12},{"text":"$0$","line":14},{"text":"$0$","line":16},{"text":"$1$","line":18},{"text":"$0$","line":20},{"text":"$e^{zJ_3}$","line":21},{"text":"$D_{0}$","line":23},{"text":"$- D_{2}$","line":25},{"text":"$- D_{1}$","line":27},{"text":"$D_{1}$","line":29},{"text":"$D_{0}$","line":31},{"text":"$- D_{2}$","line":33},{"text":"$D_{2}$","line":35},{"text":"$D_{1}$","line":37},{"text":"$D_{0}$","line":39},{"text":"$J_3^3=-I$","line":40},{"text":"$\\mathbf D_3(0)=e_0$","line":41},{"text":"$\\det e^{zJ_3}=1$","line":42},{"text":"$D_0\\mapsto-D_2,\\qquad D_1\\mapsto D_0,\\qquad D_2\\mapsto D_1$","line":43}]},"signed_addition":{"name":"signed_addition","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/signed_addition.tex","source_sha256":"90a4acb9ee5a2533812c086a423086ebc16b88ce2495445e1baab7c8ef3e4065","image":"assets/atlas/paper-iv/signed_addition.png","image_sha256":"e70ee17ec08e6218578623654f6ceac99e5a5a3ee3fa1809f35e2598290250bb","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18],"nodes":[{"text":"$1$","line":2},{"text":"$\\xi$","line":3},{"text":"$\\xi^2$","line":4},{"text":"$1$","line":5},{"text":"$1$","line":7},{"text":"$\\xi$","line":9},{"text":"$\\xi^2$","line":11},{"text":"$\\xi$","line":12},{"text":"$\\xi$","line":14},{"text":"$\\xi^2$","line":16},{"text":"$-1$","line":18},{"text":"$\\xi^2$","line":19},{"text":"$\\xi^2$","line":21},{"text":"$-1$","line":23},{"text":"$-\\xi$","line":25},{"text":"$\\xi^3=-1$","line":26},{"text":"wrap once: change sign","line":27},{"text":"$\\xi^2\\xi^2=-\\xi$","line":28},{"text":"$D_{3,0}(z+w)=D_{3,0}(z)D_{3,0}(w)-D_{3,1}(z)D_{3,2}(w)-D_{3,2}(z)D_{3,1}(w)$","line":29}]},"hypergeometric":{"name":"hypergeometric","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/hypergeometric.tex","source_sha256":"a62bf6f1a6d9900c52ef6e0edb05d0d5da386c807bcffb079d83e8905449b549","image":"assets/atlas/paper-iv/hypergeometric.png","image_sha256":"59213626c24eadec8f9745f3b5b93097fcc0face0856c033b11ca62510c66bc6","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12],"nodes":[{"text":"$N=3,\\ j=1,\\ n=2:\\quad 7!=1!\\,3^6\\,2!\\,(2/3)_2(4/3)_2$","line":2},{"text":"$\\frac{2}{3}$","line":4},{"text":"$\\frac{5}{3}$","line":6},{"text":"$(2/3)_2$","line":7},{"text":"$1$","line":9},{"text":"$2$","line":11},{"text":"$(1)_2=2!$","line":12},{"text":"$\\frac{4}{3}$","line":14},{"text":"$\\frac{7}{3}$","line":16},{"text":"$(4/3)_2$","line":17},{"text":"$A_{3,1}=\\{2/3,4/3\\}$","line":18},{"text":"$\\displaystyle E_{3,1}(z)=z\\,{}_0F_2\\!\\left(;\\frac23,\\frac43;\\frac{z^3}{27}\\right)$","line":19},{"text":"The omitted unit parameter is already the hypergeometric $n!$.","line":20}]},"orbit_reduction":{"name":"orbit_reduction","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/orbit_reduction.tex","source_sha256":"e21862e825128f16a75decf2ee64261e5067b64ce3642ca16309d800fa156e78","image":"assets/atlas/paper-iv/orbit_reduction.png","image_sha256":"8c0e28d67955efb63f14ed1bfb341f679cd70c80517bdcb07a5bfc495b028682","node_order":[0,1,2,3,4,5,6,7,8],"nodes":[{"text":"$u=z/(\\sqrt2\\pi)$","line":14},{"text":"$u=\\tfrac12 i^k,\\ \\tfrac32 i^k$","line":15},{"text":"$v=u^4$","line":17},{"text":"$1/16$","line":20},{"text":"one zero","line":21},{"text":"$81/16$","line":23},{"text":"one zero","line":24},{"text":"$v=w/(4\\pi^4)$","line":25},{"text":"four points per orbit become one","line":26}]},"triangular_inverse":{"name":"triangular_inverse","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/triangular_inverse.tex","source_sha256":"cc02ce15782cb73479eb5570336f8f4f76ad612c271b589a44dbb6c278f42578","image":"assets/atlas/paper-iv/triangular_inverse.png","image_sha256":"f8da282b565b926a7a6be87a5277db3df2ed2f2a347ec394930334ee8085c2c7","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,23,24,25,26,27,28,29,30,31],"nodes":[{"text":"denominator convolution","line":2},{"text":"$1$","line":4},{"text":"$0$","line":6},{"text":"$0$","line":8},{"text":"$0$","line":10},{"text":"$- \\frac{1}{2}$","line":12},{"text":"$1$","line":14},{"text":"$0$","line":16},{"text":"$0$","line":18},{"text":"$\\frac{1}{24}$","line":20},{"text":"$- \\frac{1}{2}$","line":22},{"text":"$1$","line":24},{"text":"$0$","line":26},{"text":"$- \\frac{1}{720}$","line":28},{"text":"$\\frac{1}{24}$","line":30},{"text":"$- \\frac{1}{2}$","line":32},{"text":"$1$","line":34},{"text":"$b$","line":35},{"text":"$1$","line":37},{"text":"$\\frac{1}{2}$","line":39},{"text":"$\\frac{5}{24}$","line":41},{"text":"$\\frac{61}{720}$","line":43},{"text":"$=$","line":44},{"text":"unit series","line":45},{"text":"$1$","line":47},{"text":"$0$","line":49},{"text":"$0$","line":51},{"text":"$0$","line":53},{"text":"$b_1=\\frac12$","line":54},{"text":"$b_2=\\frac14-\\frac1{24}$","line":55},{"text":"$b_3=\\frac{61}{720}$","line":56},{"text":"$P_{2,n}(1)=(2n)!b_n:\\qquad 1,\\ 1,\\ 5,\\ 61$","line":57}]},"bell_partitions":{"name":"bell_partitions","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/bell_partitions.tex","source_sha256":"01acbf4b35a1c4b2cbdf9dc42096e6cf6e240fcdd66f19b04960587889c24a30","image":"assets/atlas/paper-iv/bell_partitions.png","image_sha256":"8e2d7d3b65fb443bb4d23a609619a9686c1e8945039c64c543b7db3bb7f95ef7","node_order":[0,1,2,3,4,5,6,7,8,9],"nodes":[{"text":"three singletons","line":2},{"text":"$r^3\\kappa_1^3$","line":9},{"text":"$15r^3$","line":10},{"text":"one pair, one singleton","line":11},{"text":"$3r^2\\kappa_1\\kappa_2$","line":17},{"text":"$30r^2$","line":18},{"text":"one triple","line":19},{"text":"$2r\\kappa_3$","line":24},{"text":"$16r$","line":25},{"text":"$P_{2,3}(r)=\\frac{6!}{3!}\\,B_3(r\\kappa_1,r\\kappa_2,2r\\kappa_3)$","line":26}]},"newton_addition":{"name":"newton_addition","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/newton_addition.tex","source_sha256":"a60d6f25334f7c0c91f4ffb04d91c741f035d2ef77ce138e58b66de1bb4b987a","image":"assets/atlas/paper-iv/newton_addition.png","image_sha256":"973fc6b5e5b4e4277e6ea3045effbad961895bc76eb331a0e28e97d53b6b673d","node_order":[0,1,2,3,4,5,6,7,8,9,10,12,11,14,13,16,15,18,17,19,20],"nodes":[{"text":"$n!b_n(r)$ for $n=3$","line":2},{"text":"$\\frac{r}{2}$","line":4},{"text":"$-1$","line":6},{"text":"$0$","line":8},{"text":"$\\frac{r}{6}$","line":10},{"text":"$\\frac{r}{2}$","line":12},{"text":"$-2$","line":14},{"text":"$\\frac{r}{15}$","line":16},{"text":"$\\frac{r}{6}$","line":18},{"text":"$\\frac{r}{2}$","line":20},{"text":"$\\det /6=P_{2,3}(r)/720$","line":21},{"text":"61","line":23},{"text":"$q=0$","line":24},{"text":"75","line":26},{"text":"$q=1$","line":27},{"text":"75","line":29},{"text":"$q=2$","line":30},{"text":"61","line":32},{"text":"$q=3$","line":33},{"text":"$P_{2,3}(2)=61+75+75+61=272$","line":34},{"text":"block weights: $1,15,15,1$","line":35}]},"riccati":{"name":"riccati","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/riccati.tex","source_sha256":"d39d2f8836fc95f4bd769c7c22277443cdf56db822e58aa7673bae78516e4261","image":"assets/atlas/paper-iv/riccati.png","image_sha256":"3aa2a4770fcb1d9e9f0d6c6d40c2120d64102f12cf0610307d87c1042a7e33fe","node_order":[0,1,2,3,4,5,6,7],"nodes":[{"text":"LINEAR EQUATION","line":2},{"text":"LOGARITHMIC DERIVATIVE","line":3},{"text":"$D_2^{\\prime\\prime}=-D_2$","line":4},{"text":"$T_2^{\\prime}=1+T_2^2$","line":5},{"text":"$D_3^{\\prime\\prime\\prime}=-D_3$","line":6},{"text":"$T_3^{\\prime\\prime}-3T_3T_3^{\\prime}+T_3^3=1$","line":7},{"text":"$T_N=-D_N^{\\prime}/D_N\\quad\\text{only where }D_N\\ne0$","line":8},{"text":"$T_4(z)=\\frac{z^3}{3!}+34\\frac{z^7}{7!}+\\cdots$","line":10}]},"branch_domain":{"name":"branch_domain","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/branch_domain.tex","source_sha256":"eae0d7a3008223ed41c7dbdb08daddd926f3ac9c4eade7cdf9dd813ded18b758","image":"assets/atlas/paper-iv/branch_domain.png","image_sha256":"26d1bd0e612fec2ba3421b5a52b69683aa136f21a9091ec68903cc52f97e9875","node_order":[0,1,2,3,4,5,6],"nodes":[{"text":"fixed-log domain about $0$","line":6},{"text":"$\\rho=\\pi/2$","line":8},{"text":"the loop is not inside the disk","line":10},{"text":"$D(z)\\sim D^{\\prime}(\\rho)(z-\\rho)$","line":11},{"text":"$\\log D\\longmapsto\\log D+2\\pi i$","line":12},{"text":"$D^{-r}\\longmapsto e^{-2\\pi i r}D^{-r}$","line":13},{"text":"$r=1/2:\\ -1\\qquad r\\in\\mathbb Z:\\ 1$","line":14}]},"different_reciprocals":{"name":"different_reciprocals","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/different_reciprocals.tex","source_sha256":"9968b0f89c484655c3c8f570bc2e28c15d36bb42cdc936b15cfe557f9990dc7d","image":"assets/atlas/paper-iv/different_reciprocals.png","image_sha256":"c9e6c2857b75525098e403cff593b72582d054135de48b250eda6239e0826e10","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],"nodes":[{"text":"function","line":3},{"text":"$1$","line":5},{"text":"$z^2/2!$","line":7},{"text":"$z^4/4!$","line":9},{"text":"$z^6/6!$","line":11},{"text":"$\\sec z$","line":13},{"text":"$1$","line":15},{"text":"$1$","line":17},{"text":"$5$","line":19},{"text":"$61$","line":21},{"text":"$\\operatorname{sech}z$","line":23},{"text":"$1$","line":25},{"text":"$-1$","line":27},{"text":"$5$","line":29},{"text":"$-61$","line":31},{"text":"$z/\\sinh z$","line":33},{"text":"$1$","line":35},{"text":"$- \\frac{1}{3}$","line":37},{"text":"$\\frac{7}{15}$","line":39},{"text":"$- \\frac{31}{21}$","line":41},{"text":"$E_{2,1}(z)=\\sinh z=z\\Phi_{2,1}(z^2),\\qquad C_{2,1}(0)=1$","line":42}]},"appell_operator":{"name":"appell_operator","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/appell_operator.tex","source_sha256":"11d6392ca85c26fdac932b69911c58c6d1e143d8c56d8cfe3588bc8fd6632aeb","image":"assets/atlas/paper-iv/appell_operator.png","image_sha256":"c93873303ec3aa4953b6b2d6f1cd4c66caa4b9e0546221fd2891fecb8f8eab54","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12],"nodes":[{"text":"$-2$","line":3},{"text":"$-1$","line":5},{"text":"$0$","line":7},{"text":"$1$","line":9},{"text":"$2$","line":11},{"text":"$-5$","line":13},{"text":"$0$","line":15},{"text":"$5$","line":17},{"text":"$10$","line":19},{"text":"$20$","line":21},{"text":"solid: $E_4(x)=x^4-6x^2+5$","line":33},{"text":"dashed: $x^4$","line":34},{"text":"$\\cosh(\\partial_x)E_4=E_4+\\frac12E_4^{\\prime\\prime}+\\frac1{24}E_4^{(4)}=x^4$","line":35}]},"theta":{"name":"theta","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/theta.tex","source_sha256":"ffcee230c3c89aa2acaaeabe2cd0d3d95509cf686ed82641fa26fbf4dae2c872","image":"assets/atlas/paper-iv/theta.png","image_sha256":"58c78366a5fdcaa1634545787e1d4e51f18c0badb9d05dc879400af6427a3e93","node_order":[0,1,2,3,4,5,6,7,8,9,10],"nodes":[{"text":"$-1$","line":3},{"text":"$0$","line":5},{"text":"$1$","line":7},{"text":"$-4$","line":9},{"text":"$-2$","line":11},{"text":"$0$","line":13},{"text":"$2$","line":15},{"text":"$4$","line":17},{"text":"solid: $\\Theta_{2,1}(u)=-u(u+1)$","line":24},{"text":"dashed: $\\Theta_{3,1}(u)=-(u^3+u)$","line":25},{"text":"at $u=-1$: even order cancels, odd order need not","line":26}]},"indicator":{"name":"indicator","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/indicator.tex","source_sha256":"23f4fa14161cdf3f7ebf509fe4e86760a6867ef6a84f9c42e1c3b368f83ae118","image":"assets/atlas/paper-iv/indicator.png","image_sha256":"a61edb26fafc3f6101dca8ab7d94cdc90e3fd6cdc8c1c631d1877586fd2803bb","node_order":[0,1,2,3,4,5,6,7,8,9,10],"nodes":[{"text":"$\\eta^4=-1$","line":9},{"text":"exponent plane","line":10},{"text":"$0$","line":12},{"text":"$\\pi/2$","line":14},{"text":"$\\pi$","line":16},{"text":"$3\\pi/2$","line":18},{"text":"$2\\pi$","line":20},{"text":"$1/\\sqrt2$","line":22},{"text":"$1$","line":24},{"text":"$h_4(\\theta)=\\frac{|\\cos\\theta|+|\\sin\\theta|}{\\sqrt2}$","line":28},{"text":"minima: two dominant exponentials tie","line":29}]},"two_term":{"name":"two_term","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/two_term.tex","source_sha256":"77f10d8e7d8aa7a8ec550eb8f1f1a4eea5e7f2b99bf00f0769a8defe1e8e5c31","image":"assets/atlas/paper-iv/two_term.png","image_sha256":"5921e1eba973fd57b90647582eea0a82e9be6ebbfc2397f9e89a4bdf1874af4b","node_order":[0,1,2,3,4,5,6,7,8,9,10],"nodes":[{"text":"$0$","line":3},{"text":"$2$","line":5},{"text":"$4$","line":7},{"text":"$6$","line":9},{"text":"$8$","line":11},{"text":"$10$","line":13},{"text":"$-1$","line":15},{"text":"$0$","line":17},{"text":"$1$","line":19},{"text":"$\\frac32e^{-t/2}D_3(t)=\\cos(\\sqrt3t/2)+\\frac12e^{-3t/2}$","line":27},{"text":"solid: full expression; dashed: two-term model; circles: model zeros","line":28}]},"cubic_certificates":{"name":"cubic_certificates","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/cubic_certificates.tex","source_sha256":"32f17f313379a5f3dbe2815bdcb9e21666ba79e8bcfb79599986c25f645f56d0","image":"assets/atlas/paper-iv/cubic_certificates.png","image_sha256":"61ba99f1d0be1adc5410aa92a278423f0932826059848118e6bc84456bed2f2f","node_order":[16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,19,20],"nodes":[{"text":"$m=0$","line":2},{"text":"$1.84981279919014347629$","line":3},{"text":"$+3.60134\\times10^{-2}$","line":4},{"text":"$-5.243\\times10^{-2}$","line":5},{"text":"$m=1$","line":6},{"text":"$5.44123335502366335540$","line":7},{"text":"$-1.64738\\times10^{-4}$","line":8},{"text":"$+2.471\\times10^{-4}$","line":9},{"text":"$m=2$","line":10},{"text":"$9.06899753487157765805$","line":11},{"text":"$+7.13700\\times10^{-7}$","line":12},{"text":"$-1.071\\times10^{-6}$","line":13},{"text":"$m=3$","line":14},{"text":"$12.69659554654675729440$","line":15},{"text":"$-3.09277\\times10^{-9}$","line":16},{"text":"$+4.639\\times10^{-9}$","line":17},{"text":"certified lower endpoint","line":18},{"text":"$\\tau_m-t_m$","line":19},{"text":"$\\delta_m/\\delta_m^{(1)}-1$","line":20},{"text":"Each upper endpoint is the displayed lower endpoint plus $10^{-20}$.","line":22},{"text":"Root intervals: exact rational certificates. Displacement columns: numerical diagnostics.","line":23}]},"counting":{"name":"counting","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/counting.tex","source_sha256":"d91242d08e55282c1dc858942c4d7ae46e05dfde127bce8b325f3312e790f0c7","image":"assets/atlas/paper-iv/counting.png","image_sha256":"16a30931e060e8ff5f9ad0b88aeb79e3022859fbcbaa75e3a3a237ffec3c7d36","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"nodes":[{"text":"$u=|z|/(\\sqrt2\\pi)$","line":2},{"text":"$1/2$","line":6},{"text":"count 4","line":7},{"text":"$3/2$","line":10},{"text":"count 8","line":11},{"text":"$5/2$","line":14},{"text":"count 12","line":15},{"text":"$v=|w|/(4\\pi^4)$","line":16},{"text":"$1/16$","line":20},{"text":"count 1","line":21},{"text":"$81/16$","line":24},{"text":"count 2","line":25},{"text":"$625/16$","line":28},{"text":"count 3","line":29},{"text":"$n_{D_4}(\\sqrt2\\pi u)=4\\lfloor u+1/2\\rfloor,\\quad n_{\\Delta_4}(4\\pi^4 v)=\\lfloor v^{1/4}+1/2\\rfloor$","line":30}]},"product":{"name":"product","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/product.tex","source_sha256":"0e69516e7f4376a0f677fb7e225de9575426a6267a744834de4b543f80803130","image":"assets/atlas/paper-iv/product.png","image_sha256":"f2e4a93da05ce70a907961b5b2a7b0814104e30191af89ae56a45949a6b66341","node_order":[0,1,2,3,4,5,6,7,8,9,10,11],"nodes":[{"text":"$0$","line":3},{"text":"$1/2$","line":5},{"text":"$1$","line":7},{"text":"$3/2$","line":9},{"text":"$2$","line":11},{"text":"$.2$","line":13},{"text":"$.4$","line":15},{"text":"$.6$","line":17},{"text":"$.8$","line":19},{"text":"$1$","line":21},{"text":"$\\Delta_2(w)=\\cos\\sqrt w,\\qquad P_L(w)=\\prod_{m=0}^{L-1}(1-w/\\lambda_m)$","line":28},{"text":"thick: entire function; dotted $L=1$; dashed $L=3$; dash-dot $L=10$","line":29}]},"moments":{"name":"moments","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/moments.tex","source_sha256":"da2cece4f5f8b7869430f31fe2e607a15569e4daa29872b7c698306b27270d1d","image":"assets/atlas/paper-iv/moments.png","image_sha256":"9b1993c0613f8df9b1e357cb6d39c5addab75ed8e816a1089c85139df71f48a7","node_order":[0,1,2,3,4,5,6],"nodes":[{"text":"$q=1$","line":2},{"text":"$\\sigma_{2,1}=\\frac{1}{2}$; first zero share $0.810569$","line":9},{"text":"$q=2$","line":10},{"text":"$\\sigma_{2,2}=\\frac{1}{6}$; first zero share $0.985534$","line":17},{"text":"$q=3$","line":18},{"text":"$\\sigma_{2,3}=\\frac{1}{15}$; first zero share $0.998555$","line":25},{"text":"five finite contributions plus the remaining tail; higher moments emphasize the nearest zero","line":26}]},"pole_asymptotic":{"name":"pole_asymptotic","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/pole_asymptotic.tex","source_sha256":"50ed5b20bebd15debcee4202ad999e7329ed239e384a64f51c87b1d1bfa5e02d","image":"assets/atlas/paper-iv/pole_asymptotic.png","image_sha256":"83c927487ecdde777f714de051056508f78e79134fbb73d2251a9cb638001b85","node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"nodes":[{"text":"$1$","line":3},{"text":"$2$","line":5},{"text":"$3$","line":7},{"text":"$4$","line":9},{"text":"$5$","line":11},{"text":"$6$","line":13},{"text":"$7$","line":15},{"text":"$8$","line":17},{"text":"$-8$","line":19},{"text":"$-6$","line":21},{"text":"$-4$","line":23},{"text":"$-2$","line":25},{"text":"$0$","line":27},{"text":"$\\log_{10}(1-R_n),\\quad R_n=\\frac{P_{2,n}(1)}{2(2n)!(2/\\pi)^{2n+1}}$","line":39},{"text":"Each ratio is enclosed with a rational Machin-formula bound for $\\pi$.","line":40}]},"zeta_plane":{"name":"zeta_plane","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/zeta_plane.tex","source_sha256":"35303b2a763102c03e001399ce022a94160122a5da6143c683704dba39a544b1","image":"assets/atlas/paper-iv/zeta_plane.png","image_sha256":"e0a5e5c7070c7ee5238fcf2d53aa9541944c3dfa31ac74f3813c998fe23f001d","node_order":[2,0,1,3,6,4,5,7],"nodes":[{"text":"$1/2$","line":7},{"text":"series converges","line":8},{"text":"$N=2$: $\\mathfrak Z_N^{\\rm red}(s)$","line":9},{"text":"single continued pole at $s=1/2$","line":10},{"text":"$1/4$","line":16},{"text":"series converges","line":17},{"text":"$N=4$: $\\mathfrak Z_N^{\\rm red}(s)$","line":18},{"text":"single continued pole at $s=1/4$","line":19}]},"worked_circuit":{"name":"worked_circuit","source":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/visual_graphics/worked_circuit.tex","source_sha256":"5d61d9c7c543cabf2c26172b84477b86b1e62c43ebafda7fa1f6f9ccd7bf6925","image":"assets/atlas/paper-iv/worked_circuit.png","image_sha256":"5231fd82d81be4057e5d1b112e2a28a5bce37e85b0583e45e9af5fe39f1a40d8","node_order":[0,1,2,3,4,5,6,7,8,9,10],"nodes":[{"text":"denominator","line":2},{"text":"$1-w/24+w^2/40320+\\cdots$","line":3},{"text":"negative logarithm","line":5},{"text":"$w/24+(17/20160)w^2+\\cdots$","line":6},{"text":"zero moments","line":8},{"text":"$\\sigma_1=1/24,\\quad\\sigma_2=17/10080$","line":9},{"text":"reciprocal","line":11},{"text":"$1+w/24+69w^2/40320+\\cdots$","line":12},{"text":"tangent","line":14},{"text":"$z^3/3!+34z^7/7!+\\cdots$","line":15},{"text":"$69=8!\\,\\frac{\\sigma_1^2+\\sigma_2}{2},\\qquad34=4\\cdot7!\\,\\sigma_2$","line":16}]}},"new_proof_review":false,"new_lean_execution":false,"new_mathematical_example_execution":false}