{"collection_revision":"3e7d9d0b80d3d7bc7a38a7bee161f7edd52e299e","source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","source_inputs":{"papers/paper-viii/current/editable/visual_guide/source/pages.tex":"823b8c7a08a1e9e204ff7fdf8e66ee424b553c3ed1dd313c58c258e62304121d","papers/paper-viii/current/editable/visual_guide/source/extended_pages.tex":"64381afcbd64a29b42fa92b41626b926638ecb68993db63771386ac2216a4512","publication/paper-viii-visual-crosswalk/VISUAL_TO_TRADITIONAL_CROSSWALK_v2.json":"7227f8f643e430acb5cd66dfd16d3ca35c5d0d8757022ae026dc768b9ce8bfe6"},"source_sha256":"823b8c7a08a1e9e204ff7fdf8e66ee424b553c3ed1dd313c58c258e62304121d","definitions":"papers/paper-viii/current/editable/visual_guide/source/visual_macros.tex","definitions_sha256":"50931bacf6b4257c2d44566a8e0c2495316e85a5992fde2a05df57c0ec15faec","macro_source":"papers/paper-viii/current/editable/traditional/Paper_VIII_Traditional_Final.tex","macros":{"DoNotLoadEpstopdf":"","CC":"\\mathbb C","RR":"\\mathbb R","NN":"\\mathbb N","C":"\\mathbb C","R":"\\mathbb R","Q":"\\mathbb Q","Acal":"\\mathcal A","Bcal":"\\mathcal B","Ccal":"\\mathcal C","Dcal":"\\mathcal D","Ecal":"\\mathcal E","Fcal":"\\mathcal F","Gcal":"\\mathcal G","Hcal":"\\mathcal H","Ical":"\\mathcal I","Kcal":"\\mathcal K","Lcal":"\\mathcal L","Mcal":"\\mathcal M","Pcal":"\\mathcal P","Qcal":"\\mathcal Q","Rcal":"\\mathcal R","Scal":"\\mathcal S","Tcal":"\\mathcal T","Ucal":"\\mathcal U","Vcal":"\\mathcal V","End":"\\operatorname{End}","Ran":"\\operatorname{Ran}","Ker":"\\operatorname{Ker}","Spec":"\\operatorname{Spec}","Tr":"\\operatorname{Tr}","tr":"\\operatorname{tr}","rank":"\\operatorname{rank}","diag":"\\operatorname{diag}","cond":"\\operatorname{cond}","supp":"\\operatorname{supp}","flop":"\\operatorname{flop}","bytes":"\\operatorname{bytes}","cost":"\\operatorname{cost}","err":"\\operatorname{err}","dist":"\\operatorname{dist}","e":"\\mathrm e","ii":"\\mathrm i","id":"\\mathrm{id}","one":"\\bm 1","eps":"\\varepsilon","IR":"\\mathsf{IR}","DP":"\\mathsf{DP}","OO":"\\mathcal O","FF":"\\mathbb F","QQ":"\\mathbb Q","ZZ":"\\mathbb Z","Supp":"\\operatorname{Supp}","Fitt":"\\operatorname{Fitt}","Ann":"\\operatorname{Ann}","coker":"\\operatorname{coker}","im":"\\operatorname{im}","whot":"\\mathbin{\\widehat\\otimes}","m":"\\mathfrak m","p":"\\mathfrak p","kk":"\\mathbb k","BB":"\\mathcal B","Hull":"\\operatorname{Hull}","srank":"\\operatorname{srank}","Span":"\\operatorname{span}","Ob":"\\operatorname{Ob}","src":"\\operatorname{src}","tgt":"\\operatorname{tgt}","Res":"\\operatorname{Res}","sech":"\\operatorname{sech}","Dfun":"\\mathsf D","Efun":"\\mathsf E","Tfun":"\\mathsf T","Sfun":"\\mathsf S","Cfun":"\\mathsf C","Thetafun":"\\symup{\\Theta}","ones":"\\mathbf{1}","EE":"\\mathbb{E}","Var":"\\operatorname{Var}","HH":"\\mathcal H","dd":"\\mathrm d","norm":{"arguments":1,"body":"\\left\\lVert#1\\right\\rVert","token_arguments":true},"mat":{"arguments":1,"body":"\\begin{pmatrix}#1\\end{pmatrix}","token_arguments":true},"abs":{"arguments":1,"body":"\\left\\lvert#1\\right\\rvert","token_arguments":true},"ket":{"arguments":1,"body":"\\lvert #1\\rangle","token_arguments":true},"bra":{"arguments":1,"body":"\\langle #1\\rvert","token_arguments":true},"ip":{"arguments":2,"body":"\\left\\langle#1,#2\\right\\rangle","token_arguments":true},"code":{"arguments":1,"body":"\\texttt{#1}","token_arguments":true},"bm":{"arguments":1,"body":"\\boldsymbol{#1}","unbraced":true}},"source_pdf":"papers/paper-viii/current/papers/Paper_VIII_Visual_Guide_Final.pdf","source_pdf_sha256":"a78f1c18c7c36cecbaf9484bc6dc643300c3b5054df338f48be6390af5e520c7","index":"read/paper-viii/atlas/index.html","total_plates":32,"html_plates":[{"number":1,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v01.html","start_line":1,"end_line":13,"math_expressions":46,"math_sequence_sha256":"0040d9b967f620973c4e7c20a7c271d3bcb9997d65ecd4a4bf40b755c9a0ea9c","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":"text","id":"L11","line":11,"end_line":12},{"kind":"readerroadmap","id":"L12","line":12,"end_line":12}]},{"number":2,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v02.html","start_line":14,"end_line":37,"math_expressions":14,"math_sequence_sha256":"102e77eb7399fd773ad6743749cd3e105682b3617bda81a8ecc38ac4d671d010","nodes":[{"kind":"text","id":"L15","line":15,"end_line":17},{"kind":"tabularx","id":"L17","line":17,"end_line":29},{"kind":"section","id":"L30","line":30,"end_line":30},{"kind":"text","id":"L31","line":31,"end_line":34},{"kind":"section","id":"L34","line":34,"end_line":34},{"kind":"text","id":"L35","line":35,"end_line":36},{"kind":"readerroadmap","id":"L36","line":36,"end_line":36}]},{"number":3,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v03.html","start_line":38,"end_line":53,"math_expressions":41,"math_sequence_sha256":"b7d65d04a0bc8b3adfc09188e43da4dec90881b378760224bd9b1bbaf32f9f69","nodes":[{"kind":"text","id":"L39","line":39,"end_line":43},{"kind":"figure","id":"L43","line":43,"end_line":43},{"kind":"section","id":"L44","line":44,"end_line":44},{"kind":"text","id":"L45","line":45,"end_line":48},{"kind":"section","id":"L48","line":48,"end_line":48},{"kind":"text","id":"L49","line":49,"end_line":52},{"kind":"readerroadmap","id":"L52","line":52,"end_line":52}]},{"number":4,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v04.html","start_line":54,"end_line":71,"math_expressions":32,"math_sequence_sha256":"211a4194b433a4af09df604cb2ddaeae491865fbd6fd46f3f4eed919df4a7161","nodes":[{"kind":"text","id":"L55","line":55,"end_line":60},{"kind":"figure","id":"L60","line":60,"end_line":60},{"kind":"text","id":"L61","line":61,"end_line":62},{"kind":"section","id":"L62","line":62,"end_line":62},{"kind":"text","id":"L63","line":63,"end_line":70},{"kind":"readerroadmap","id":"L70","line":70,"end_line":70}]},{"number":5,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v05.html","start_line":72,"end_line":85,"math_expressions":38,"math_sequence_sha256":"a1ed898e752574a01a93a213b8fb63eb2aac3d01706e69adf9b9e8b3f70943a4","nodes":[{"kind":"text","id":"L73","line":73,"end_line":77},{"kind":"figure","id":"L77","line":77,"end_line":77},{"kind":"section","id":"L78","line":78,"end_line":78},{"kind":"text","id":"L79","line":79,"end_line":82},{"kind":"section","id":"L82","line":82,"end_line":82},{"kind":"text","id":"L83","line":83,"end_line":84},{"kind":"readerroadmap","id":"L84","line":84,"end_line":84}]},{"number":6,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v06.html","start_line":86,"end_line":104,"math_expressions":42,"math_sequence_sha256":"9c6646f4ce5907e58133557cb703b16e13c30ec1e0cd8cd34b7d82d7a231a7ca","nodes":[{"kind":"text","id":"L87","line":87,"end_line":92},{"kind":"figure","id":"L92","line":92,"end_line":92},{"kind":"section","id":"L93","line":93,"end_line":93},{"kind":"text","id":"L94","line":94,"end_line":99},{"kind":"section","id":"L99","line":99,"end_line":99},{"kind":"text","id":"L100","line":100,"end_line":103},{"kind":"readerroadmap","id":"L103","line":103,"end_line":103}]},{"number":7,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v07.html","start_line":105,"end_line":123,"math_expressions":34,"math_sequence_sha256":"ac0ba71dc2e8747f66b7ff009416c391290790d761c49ae08eb58447c1245e51","nodes":[{"kind":"text","id":"L106","line":106,"end_line":111},{"kind":"figure","id":"L111","line":111,"end_line":111},{"kind":"section","id":"L112","line":112,"end_line":112},{"kind":"text","id":"L113","line":113,"end_line":118},{"kind":"section","id":"L118","line":118,"end_line":118},{"kind":"text","id":"L119","line":119,"end_line":122},{"kind":"readerroadmap","id":"L122","line":122,"end_line":122}]},{"number":8,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v08.html","start_line":124,"end_line":140,"math_expressions":9,"math_sequence_sha256":"14506d0b038b1d92b0b4a1d0ac25dbde896eb56ceaa733155b8933d3ac64c0ab","nodes":[{"kind":"text","id":"L125","line":125,"end_line":130},{"kind":"figure","id":"L130","line":130,"end_line":130},{"kind":"section","id":"L131","line":131,"end_line":131},{"kind":"text","id":"L132","line":132,"end_line":135},{"kind":"section","id":"L135","line":135,"end_line":135},{"kind":"text","id":"L136","line":136,"end_line":139},{"kind":"readerroadmap","id":"L139","line":139,"end_line":139}]},{"number":9,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v09.html","start_line":141,"end_line":160,"math_expressions":41,"math_sequence_sha256":"47cdebf5e1ee1b4bb821e1be2c74459a8c3ab3ae62fd41e9d0b993460362a484","nodes":[{"kind":"text","id":"L142","line":142,"end_line":147},{"kind":"figure","id":"L147","line":147,"end_line":147},{"kind":"section","id":"L148","line":148,"end_line":148},{"kind":"text","id":"L149","line":149,"end_line":157},{"kind":"section","id":"L157","line":157,"end_line":157},{"kind":"text","id":"L158","line":158,"end_line":159},{"kind":"readerroadmap","id":"L159","line":159,"end_line":159}]},{"number":10,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v10.html","start_line":161,"end_line":179,"math_expressions":30,"math_sequence_sha256":"89249e32012457796f3cb7335dd70b902ad756557e3e1065a7f60c3908f534ee","nodes":[{"kind":"text","id":"L162","line":162,"end_line":171},{"kind":"figure","id":"L171","line":171,"end_line":171},{"kind":"section","id":"L172","line":172,"end_line":172},{"kind":"text","id":"L173","line":173,"end_line":176},{"kind":"section","id":"L176","line":176,"end_line":176},{"kind":"text","id":"L177","line":177,"end_line":178},{"kind":"readerroadmap","id":"L178","line":178,"end_line":178}]},{"number":11,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v11.html","start_line":180,"end_line":199,"math_expressions":42,"math_sequence_sha256":"ca02d58f86a7a39147713d738015faca0ce013bc680551af4f479b88f17b3b02","nodes":[{"kind":"text","id":"L181","line":181,"end_line":188},{"kind":"figure","id":"L188","line":188,"end_line":188},{"kind":"text","id":"L189","line":189,"end_line":194},{"kind":"section","id":"L194","line":194,"end_line":194},{"kind":"text","id":"L195","line":195,"end_line":198},{"kind":"readerroadmap","id":"L198","line":198,"end_line":198}]},{"number":12,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v12.html","start_line":200,"end_line":214,"math_expressions":39,"math_sequence_sha256":"17a2b81f76361a21d6602fc69ffb4a19a6672c17a55f2c4c8c7d8ccbb091d210","nodes":[{"kind":"text","id":"L201","line":201,"end_line":206},{"kind":"figure","id":"L206","line":206,"end_line":206},{"kind":"section","id":"L207","line":207,"end_line":207},{"kind":"text","id":"L208","line":208,"end_line":213},{"kind":"readerroadmap","id":"L213","line":213,"end_line":213}]},{"number":13,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v13.html","start_line":215,"end_line":229,"math_expressions":16,"math_sequence_sha256":"69eaf083dd8f2c4e891aa00ab9d66f7eb635042dba2cf3b78409ae4816441990","nodes":[{"kind":"text","id":"L216","line":216,"end_line":221},{"kind":"figure","id":"L221","line":221,"end_line":221},{"kind":"section","id":"L222","line":222,"end_line":222},{"kind":"text","id":"L223","line":223,"end_line":226},{"kind":"section","id":"L226","line":226,"end_line":226},{"kind":"text","id":"L227","line":227,"end_line":228},{"kind":"readerroadmap","id":"L228","line":228,"end_line":228}]},{"number":14,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v14.html","start_line":230,"end_line":243,"math_expressions":48,"math_sequence_sha256":"961cd8b1aefda1aafbc9e800867d97d992bdc9db234b0870ae46a140fbabb245","nodes":[{"kind":"text","id":"L231","line":231,"end_line":232},{"kind":"figure","id":"L232","line":232,"end_line":232},{"kind":"text","id":"L233","line":233,"end_line":238},{"kind":"section","id":"L238","line":238,"end_line":238},{"kind":"text","id":"L239","line":239,"end_line":242},{"kind":"readerroadmap","id":"L242","line":242,"end_line":242}]},{"number":15,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v15.html","start_line":244,"end_line":259,"math_expressions":19,"math_sequence_sha256":"3f372aa901e07f84b31255926b20580024ef6f9911b9b2a13acb48e6c0396e73","nodes":[{"kind":"text","id":"L245","line":245,"end_line":246},{"kind":"figure","id":"L246","line":246,"end_line":246},{"kind":"section","id":"L247","line":247,"end_line":247},{"kind":"text","id":"L248","line":248,"end_line":254},{"kind":"section","id":"L254","line":254,"end_line":254},{"kind":"text","id":"L255","line":255,"end_line":258},{"kind":"readerroadmap","id":"L258","line":258,"end_line":258}]},{"number":16,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v16.html","start_line":260,"end_line":280,"math_expressions":29,"math_sequence_sha256":"e1645c3525e8d191f70a4e759fc24c5ab9709ce0c94d7ecc6973e5f4faf9259a","nodes":[{"kind":"text","id":"L261","line":261,"end_line":270},{"kind":"figure","id":"L270","line":270,"end_line":270},{"kind":"section","id":"L271","line":271,"end_line":271},{"kind":"text","id":"L272","line":272,"end_line":275},{"kind":"section","id":"L275","line":275,"end_line":275},{"kind":"text","id":"L276","line":276,"end_line":279},{"kind":"readerroadmap","id":"L279","line":279,"end_line":279}]},{"number":17,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v17.html","start_line":281,"end_line":298,"math_expressions":15,"math_sequence_sha256":"52418a686804f04c5c05da5ad3f0a4901417842794efbb38e1fde32e86969be8","nodes":[{"kind":"text","id":"L282","line":282,"end_line":286},{"kind":"figure","id":"L286","line":286,"end_line":286},{"kind":"text","id":"L287","line":287,"end_line":288},{"kind":"section","id":"L288","line":288,"end_line":288},{"kind":"text","id":"L289","line":289,"end_line":290},{"kind":"section","id":"L290","line":290,"end_line":290},{"kind":"text","id":"L291","line":291,"end_line":297},{"kind":"readerroadmap","id":"L297","line":297,"end_line":297}]},{"number":18,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v18.html","start_line":299,"end_line":319,"math_expressions":13,"math_sequence_sha256":"994ec169a8764f57b526117b230e8d19259f485579ebe8622ac61ff19754ee20","nodes":[{"kind":"text","id":"L300","line":300,"end_line":306},{"kind":"figure","id":"L306","line":306,"end_line":306},{"kind":"section","id":"L307","line":307,"end_line":307},{"kind":"text","id":"L308","line":308,"end_line":316},{"kind":"section","id":"L316","line":316,"end_line":316},{"kind":"text","id":"L317","line":317,"end_line":318},{"kind":"readerroadmap","id":"L318","line":318,"end_line":318}]},{"number":19,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v19.html","start_line":320,"end_line":340,"math_expressions":32,"math_sequence_sha256":"29d47f05b2760866883acfa3b9457103ad3b6e63144009f0ef8bccb452c4bc6a","nodes":[{"kind":"text","id":"L321","line":321,"end_line":326},{"kind":"figure","id":"L326","line":326,"end_line":326},{"kind":"section","id":"L327","line":327,"end_line":327},{"kind":"text","id":"L328","line":328,"end_line":331},{"kind":"section","id":"L331","line":331,"end_line":331},{"kind":"text","id":"L332","line":332,"end_line":339},{"kind":"readerroadmap","id":"L339","line":339,"end_line":339}]},{"number":20,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v20.html","start_line":341,"end_line":360,"math_expressions":18,"math_sequence_sha256":"64da08ac21f1904725f862704ba4d016118057e1fc26f24cacc62594b2e3c73a","nodes":[{"kind":"text","id":"L342","line":342,"end_line":347},{"kind":"figure","id":"L347","line":347,"end_line":347},{"kind":"section","id":"L348","line":348,"end_line":348},{"kind":"text","id":"L349","line":349,"end_line":357},{"kind":"section","id":"L357","line":357,"end_line":357},{"kind":"text","id":"L358","line":358,"end_line":359},{"kind":"readerroadmap","id":"L359","line":359,"end_line":359}]},{"number":21,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v21.html","start_line":361,"end_line":379,"math_expressions":26,"math_sequence_sha256":"232f8b572b6a960ff8140fafca9d9d6732b9211bbc8fc8955c897ed50b2fc1e7","nodes":[{"kind":"text","id":"L362","line":362,"end_line":371},{"kind":"figure","id":"L371","line":371,"end_line":371},{"kind":"section","id":"L372","line":372,"end_line":372},{"kind":"text","id":"L373","line":373,"end_line":376},{"kind":"section","id":"L376","line":376,"end_line":376},{"kind":"text","id":"L377","line":377,"end_line":378},{"kind":"readerroadmap","id":"L378","line":378,"end_line":378}]},{"number":22,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v22.html","start_line":380,"end_line":393,"math_expressions":20,"math_sequence_sha256":"18ea750247f96003cc74567e35de80fa5a74339c2533c47660f4873618d97276","nodes":[{"kind":"text","id":"L381","line":381,"end_line":382},{"kind":"figure","id":"L382","line":382,"end_line":382},{"kind":"text","id":"L383","line":383,"end_line":388},{"kind":"section","id":"L388","line":388,"end_line":388},{"kind":"text","id":"L389","line":389,"end_line":392},{"kind":"readerroadmap","id":"L392","line":392,"end_line":392}]},{"number":23,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v23.html","start_line":394,"end_line":404,"math_expressions":15,"math_sequence_sha256":"26e8b9d2dd7feabaf1634348497c8f10812df20007067fb3f6914ca818c238f2","nodes":[{"kind":"text","id":"L395","line":395,"end_line":396},{"kind":"figure","id":"L396","line":396,"end_line":396},{"kind":"section","id":"L397","line":397,"end_line":397},{"kind":"text","id":"L398","line":398,"end_line":399},{"kind":"section","id":"L399","line":399,"end_line":399},{"kind":"text","id":"L400","line":400,"end_line":403},{"kind":"readerroadmap","id":"L403","line":403,"end_line":403}]},{"number":24,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v24.html","start_line":405,"end_line":419,"math_expressions":46,"math_sequence_sha256":"bf7ed801143680034eb16d530b3970dbee63fac27ea61bb55b2132e98d943053","nodes":[{"kind":"text","id":"L406","line":406,"end_line":407},{"kind":"figure","id":"L407","line":407,"end_line":407},{"kind":"section","id":"L408","line":408,"end_line":408},{"kind":"text","id":"L409","line":409,"end_line":410},{"kind":"section","id":"L410","line":410,"end_line":410},{"kind":"text","id":"L411","line":411,"end_line":418},{"kind":"readerroadmap","id":"L418","line":418,"end_line":418}]},{"number":25,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v25.html","start_line":420,"end_line":436,"math_expressions":9,"math_sequence_sha256":"66d4acf8ca50a16668da50cca4bbd630fce95a8330569dfa9ada58cb2a8be71b","nodes":[{"kind":"text","id":"L421","line":421,"end_line":425},{"kind":"figure","id":"L425","line":425,"end_line":425},{"kind":"text","id":"L426","line":426,"end_line":431},{"kind":"section","id":"L431","line":431,"end_line":431},{"kind":"text","id":"L432","line":432,"end_line":435},{"kind":"readerroadmap","id":"L435","line":435,"end_line":435}]},{"number":26,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v26.html","start_line":437,"end_line":449,"math_expressions":1,"math_sequence_sha256":"dd5e8e8d8e56f77630c363aa22a898c0fa956d48b17674b33098261f23b56b2a","nodes":[{"kind":"text","id":"L438","line":438,"end_line":439},{"kind":"figure","id":"L439","line":439,"end_line":439},{"kind":"section","id":"L440","line":440,"end_line":440},{"kind":"text","id":"L441","line":441,"end_line":444},{"kind":"section","id":"L444","line":444,"end_line":444},{"kind":"text","id":"L445","line":445,"end_line":448},{"kind":"readerroadmap","id":"L448","line":448,"end_line":448}]},{"number":27,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v27.html","start_line":450,"end_line":468,"math_expressions":34,"math_sequence_sha256":"c255039b4a911b138cedd308222ec0d23899c48f2240bb9d080edf8788ea6c5c","nodes":[{"kind":"text","id":"L451","line":451,"end_line":456},{"kind":"figure","id":"L456","line":456,"end_line":456},{"kind":"section","id":"L457","line":457,"end_line":457},{"kind":"text","id":"L458","line":458,"end_line":463},{"kind":"section","id":"L463","line":463,"end_line":463},{"kind":"text","id":"L464","line":464,"end_line":467},{"kind":"readerroadmap","id":"L467","line":467,"end_line":467}]},{"number":28,"source":"papers/paper-viii/current/editable/visual_guide/source/pages.tex","url":"read/paper-viii/atlas/v28.html","start_line":469,"end_line":486,"math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","nodes":[{"kind":"text","id":"L470","line":470,"end_line":472},{"kind":"tabularx","id":"L472","line":472,"end_line":479},{"kind":"section","id":"L480","line":480,"end_line":480},{"kind":"text","id":"L481","line":481,"end_line":482},{"kind":"section","id":"L482","line":482,"end_line":482},{"kind":"text","id":"L483","line":483,"end_line":484},{"kind":"section","id":"L484","line":484,"end_line":484},{"kind":"text","id":"L485","line":485,"end_line":486},{"kind":"readerroadmap","id":"L486","line":486,"end_line":486}]},{"number":29,"source":"papers/paper-viii/current/editable/visual_guide/source/extended_pages.tex","url":"read/paper-viii/atlas/v29.html","start_line":1,"end_line":20,"math_expressions":20,"math_sequence_sha256":"7ab2b7ea20d5d1e6e15510d5dde0999e752524b9333959bc26fbaad8375a318a","nodes":[{"kind":"text","id":"L2","line":2,"end_line":12},{"kind":"figure","id":"L12","line":12,"end_line":12},{"kind":"section","id":"L13","line":13,"end_line":13},{"kind":"text","id":"L14","line":14,"end_line":17},{"kind":"section","id":"L17","line":17,"end_line":17},{"kind":"text","id":"L18","line":18,"end_line":19},{"kind":"readerroadmap","id":"L19","line":19,"end_line":19}]},{"number":30,"source":"papers/paper-viii/current/editable/visual_guide/source/extended_pages.tex","url":"read/paper-viii/atlas/v30.html","start_line":21,"end_line":40,"math_expressions":20,"math_sequence_sha256":"87af296be8fb7eee343c2c68bad81ada05fcc244a9d51f83d7e6c263d32ef614","nodes":[{"kind":"text","id":"L22","line":22,"end_line":30},{"kind":"figure","id":"L30","line":30,"end_line":30},{"kind":"section","id":"L31","line":31,"end_line":31},{"kind":"text","id":"L32","line":32,"end_line":35},{"kind":"section","id":"L35","line":35,"end_line":35},{"kind":"text","id":"L36","line":36,"end_line":39},{"kind":"readerroadmap","id":"L39","line":39,"end_line":39}]},{"number":31,"source":"papers/paper-viii/current/editable/visual_guide/source/extended_pages.tex","url":"read/paper-viii/atlas/v31.html","start_line":41,"end_line":63,"math_expressions":18,"math_sequence_sha256":"26f21e9f3441829561e97b34c76e1e165778625c9ab43d2eba8911f1a41ad9cf","nodes":[{"kind":"text","id":"L42","line":42,"end_line":44},{"kind":"tabular","id":"L44","line":44,"end_line":49},{"kind":"figure","id":"L51","line":51,"end_line":51},{"kind":"text","id":"L52","line":52,"end_line":58},{"kind":"section","id":"L58","line":58,"end_line":58},{"kind":"text","id":"L59","line":59,"end_line":60},{"kind":"section","id":"L60","line":60,"end_line":60},{"kind":"text","id":"L61","line":61,"end_line":62},{"kind":"readerroadmap","id":"L62","line":62,"end_line":62}]},{"number":32,"source":"papers/paper-viii/current/editable/visual_guide/source/extended_pages.tex","url":"read/paper-viii/atlas/v32.html","start_line":64,"end_line":79,"math_expressions":23,"math_sequence_sha256":"b3c7ee899a56bd3675c38ae8588352e5a0cca952982ac9cd3e5efb5380278e91","nodes":[{"kind":"text","id":"L65","line":65,"end_line":70},{"kind":"figure","id":"L70","line":70,"end_line":70},{"kind":"section","id":"L71","line":71,"end_line":71},{"kind":"text","id":"L72","line":72,"end_line":75},{"kind":"section","id":"L75","line":75,"end_line":75},{"kind":"text","id":"L76","line":76,"end_line":79},{"kind":"readerroadmap","id":"L79","line":79,"end_line":79}]}],"figures":{"three_views":{"name":"three_views","plate":1,"source":"papers/paper-viii/current/editable/visual_guide/graphics/three_views.tex","source_sha256":"72fc54eb5ac155f70b827885c3ac90f1ca3ff68c49efbc61eaf1bf39a4834eba","image":"assets/atlas/paper-viii/three_views.png","image_sha256":"fa2d2adc88eabce9367f6e6972a86c31c4de2b35e661d672e729c28eb736622b","pdf_page":3,"crop_pdf_points":[85,177,514,328],"nodes":[{"text":"$A$: 36 visible entries","source_text":"$A$: 36 visible entries","position":[1.76,4.5],"line":3},{"text":"$4$","source_text":"$4$","position":[0.46,3.54],"line":5},{"text":"$2$","source_text":"$2$","position":[0.98,3.54],"line":7},{"text":"$1$","source_text":"$1$","position":[1.5,3.54],"line":9},{"text":"$1$","source_text":"$1$","position":[2.02,3.54],"line":11},{"text":"$1$","source_text":"$1$","position":[2.54,3.54],"line":13},{"text":"$1$","source_text":"$1$","position":[3.06,3.54],"line":15},{"text":"$2$","source_text":"$2$","position":[0.46,3.02],"line":17},{"text":"$4$","source_text":"$4$","position":[0.98,3.02],"line":19},{"text":"$1$","source_text":"$1$","position":[1.5,3.02],"line":21},{"text":"$1$","source_text":"$1$","position":[2.02,3.02],"line":23},{"text":"$1$","source_text":"$1$","position":[2.54,3.02],"line":25},{"text":"$1$","source_text":"$1$","position":[3.06,3.02],"line":27},{"text":"$1$","source_text":"$1$","position":[0.46,2.5],"line":29},{"text":"$1$","source_text":"$1$","position":[0.98,2.5],"line":31},{"text":"$4$","source_text":"$4$","position":[1.5,2.5],"line":33},{"text":"$2$","source_text":"$2$","position":[2.02,2.5],"line":35},{"text":"$1$","source_text":"$1$","position":[2.54,2.5],"line":37},{"text":"$1$","source_text":"$1$","position":[3.06,2.5],"line":39},{"text":"$1$","source_text":"$1$","position":[0.46,1.98],"line":41},{"text":"$1$","source_text":"$1$","position":[0.98,1.98],"line":43},{"text":"$2$","source_text":"$2$","position":[1.5,1.98],"line":45},{"text":"$4$","source_text":"$4$","position":[2.02,1.98],"line":47},{"text":"$1$","source_text":"$1$","position":[2.54,1.98],"line":49},{"text":"$1$","source_text":"$1$","position":[3.06,1.98],"line":51},{"text":"$1$","source_text":"$1$","position":[0.46,1.46],"line":53},{"text":"$1$","source_text":"$1$","position":[0.98,1.46],"line":55},{"text":"$1$","source_text":"$1$","position":[1.5,1.46],"line":57},{"text":"$1$","source_text":"$1$","position":[2.02,1.46],"line":59},{"text":"$4$","source_text":"$4$","position":[2.54,1.46],"line":61},{"text":"$2$","source_text":"$2$","position":[3.06,1.46],"line":63},{"text":"$1$","source_text":"$1$","position":[0.46,0.94],"line":65},{"text":"$1$","source_text":"$1$","position":[0.98,0.94],"line":67},{"text":"$1$","source_text":"$1$","position":[1.5,0.94],"line":69},{"text":"$1$","source_text":"$1$","position":[2.02,0.94],"line":71},{"text":"$2$","source_text":"$2$","position":[2.54,0.94],"line":73},{"text":"$4$","source_text":"$4$","position":[3.06,0.94],"line":75},{"text":"stored scalars","source_text":"stored scalars","position":[6.25,4.15],"line":78},{"text":"dense","source_text":"dense","position":[5.325,0.6],"line":80},{"text":"$36$","source_text":"$36$","position":[5.325,3.62],"line":81},{"text":"factors","source_text":"factors","position":[7.175,0.6],"line":83},{"text":"$24$","source_text":"$24$","position":[7.175,2.786667],"line":84},{"text":"0","source_text":"0","position":[9.0,0.54],"line":87},{"text":"2","source_text":"2","position":[10.466667,0.54],"line":90},{"text":"4","source_text":"4","position":[11.933333,0.54],"line":93},{"text":"6","source_text":"6","position":[13.4,0.54],"line":96},{"text":"0","source_text":"0","position":[8.84,0.8],"line":98},{"text":"5","source_text":"5","position":[8.84,2.2],"line":100},{"text":"10","source_text":"10","position":[8.84,3.6],"line":102},{"text":"error budget","source_text":"error budget","position":[11.2,0.25],"line":105},{"text":"toy compilation cost","source_text":"toy compilation cost","position":[9.0,4.0],"line":106}],"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,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50],"reading_aid":{"alt":"An array, storage counts and toy compilation costs","description":"The panels show a dense array, storage counts for dense and factored forms, and toy compilation costs under different error budgets. The cost plot uses declared model values rather than measured timings.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3","Column 4","Column 5","Column 6"],"rows":[["Row 1",1,2,3,4,5,6],["Row 2",7,8,9,10,11,12],["Row 3",13,14,15,16,17,18],["Row 4",19,20,21,22,23,24],["Row 5",25,26,27,28,29,30],["Row 6",31,32,33,34,35,36]]},{"kind":"text","nodes":[37,38,39,40,41,42,43,44,45,46,47,48,49,50]}]}},"factored_application":{"name":"factored_application","plate":3,"source":"papers/paper-viii/current/editable/visual_guide/graphics/factored_application.tex","source_sha256":"0b45a0d35b3fd9028bedbbba77e4bb88ebeb74086f29f1a1a6f92792968080a0","image":"assets/atlas/paper-viii/factored_application.png","image_sha256":"329377fb60a10bbb5a03411300097741eb7077c1e2d04fc1e66fb44fe62b2bdf","pdf_page":5,"crop_pdf_points":[104,208,456,368],"nodes":[{"text":"$x$","source_text":"$x$","position":[1.06,4.5],"line":3},{"text":"$1$","source_text":"$1$","position":[1.06,3.54],"line":5},{"text":"$-1$","source_text":"$-1$","position":[1.06,3.02],"line":7},{"text":"$2$","source_text":"$2$","position":[1.06,2.5],"line":9},{"text":"$0$","source_text":"$0$","position":[1.06,1.98],"line":11},{"text":"$-2$","source_text":"$-2$","position":[1.06,1.46],"line":13},{"text":"$3$","source_text":"$3$","position":[1.06,0.94],"line":15},{"text":"$Dx$","source_text":"$Dx$","position":[4.51,4.5],"line":16},{"text":"$2$","source_text":"$2$","position":[4.51,3.54],"line":18},{"text":"$-2$","source_text":"$-2$","position":[4.51,3.02],"line":20},{"text":"$6$","source_text":"$6$","position":[4.51,2.5],"line":22},{"text":"$2$","source_text":"$2$","position":[4.51,1.98],"line":24},{"text":"$-3$","source_text":"$-3$","position":[4.51,1.46],"line":26},{"text":"$7$","source_text":"$7$","position":[4.51,0.94],"line":28},{"text":"$u(v^Tx)$","source_text":"$u(v^Tx)$","position":[7.96,4.5],"line":29},{"text":"$3$","source_text":"$3$","position":[7.96,3.54],"line":31},{"text":"$3$","source_text":"$3$","position":[7.96,3.02],"line":33},{"text":"$3$","source_text":"$3$","position":[7.96,2.5],"line":35},{"text":"$3$","source_text":"$3$","position":[7.96,1.98],"line":37},{"text":"$3$","source_text":"$3$","position":[7.96,1.46],"line":39},{"text":"$3$","source_text":"$3$","position":[7.96,0.94],"line":41},{"text":"$Ax$","source_text":"$Ax$","position":[11.41,4.5],"line":42},{"text":"$5$","source_text":"$5$","position":[11.41,3.54],"line":44},{"text":"$1$","source_text":"$1$","position":[11.41,3.02],"line":46},{"text":"$9$","source_text":"$9$","position":[11.41,2.5],"line":48},{"text":"$5$","source_text":"$5$","position":[11.41,1.98],"line":50},{"text":"$0$","source_text":"$0$","position":[11.41,1.46],"line":52},{"text":"$10$","source_text":"$10$","position":[11.41,0.94],"line":54},{"text":"$+$","source_text":"$+$","position":[5.15,2.1],"line":55},{"text":"$=$","source_text":"$=$","position":[9.0,2.1],"line":56},{"text":"$v^Tx=3$ is shared by all six output coordinates.","source_text":"$v^Tx=3$ is shared by all six output coordinates.","position":[7.0,0.1],"line":57}],"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],"reading_aid":{"alt":"A block diagonal action plus a thin correction","description":"The local block action and the low-rank correction contribute to the same output vector. The correction uses the complete input rather than independent packet-local inputs.","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,23,24,25,26,27,28,29,30]}]}},"work_storage":{"name":"work_storage","plate":4,"source":"papers/paper-viii/current/editable/visual_guide/graphics/work_storage.tex","source_sha256":"c63e417e2f2bbf49c91bddaf9e094e5d8319dbc54ee77cbcea0d61f8cc01910f","image":"assets/atlas/paper-viii/work_storage.png","image_sha256":"4cf7f95973f8edd32aeeca820f58a0adb93798b0a118cc22cef0d1ec7a5f365a","pdf_page":6,"crop_pdf_points":[102,233,504,382],"nodes":[{"text":"$n/(b+2r)$ with $b=2,r=1$","source_text":"$n/(b+2r)$ with $b=2,r=1$","position":[3.75,4.2],"line":4},{"text":"6","source_text":"6","position":[1.5,0.5],"line":6},{"text":"$\\frac{3}{2}$","source_text":"$\\frac{3}{2}$","position":[1.5,1.35125],"line":7},{"text":"12","source_text":"12","position":[3.0,0.5],"line":9},{"text":"$3$","source_text":"$3$","position":[3.0,1.6825],"line":10},{"text":"24","source_text":"24","position":[4.5,0.5],"line":12},{"text":"$6$","source_text":"$6$","position":[4.5,2.345],"line":13},{"text":"48","source_text":"48","position":[6.0,0.5],"line":15},{"text":"$12$","source_text":"$12$","position":[6.0,3.67],"line":16},{"text":"ambient dimension $n$","source_text":"ambient dimension $n$","position":[3.75,0.1],"line":17},{"text":"Six-dimensional running operator","source_text":"Six-dimensional running operator","position":[10.55,3.8],"line":18},{"text":"dense: $36$ scalars, $72q$ work","source_text":"dense: $36$ scalars, $72q$ work","position":[10.55,2.85],"line":19},{"text":"BDLR: $24$ scalars, $48q$ work","source_text":"BDLR: $24$ scalars, $48q$ work","position":[10.55,1.9],"line":20},{"text":"ratio: $3/2$, not a timing result","source_text":"ratio: $3/2$, not a timing result","position":[10.55,0.95],"line":21}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13],"reading_aid":{"alt":"Arithmetic work and stored data","description":"The displayed counts compare declared representations of the same operator. They are model counts rather than measured device timings.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13]}]}},"circulant":{"name":"circulant","plate":5,"source":"papers/paper-viii/current/editable/visual_guide/graphics/circulant.tex","source_sha256":"0c97d523ad649edff0a8ee65174722d4eaed003cc1b4fdc405a0692a97ef46cf","image":"assets/atlas/paper-viii/circulant.png","image_sha256":"5726e5a483aa80969803b12c1e15a91b576f7359f72b58fb2e972d5913e0f8e5","pdf_page":7,"crop_pdf_points":[101,193,477,357],"nodes":[{"text":"$C(c)$","source_text":"$C(c)$","position":[2.16,4.4],"line":3},{"text":"$2$","source_text":"$2$","position":[1.065,3.335],"line":5},{"text":"$-1$","source_text":"$-1$","position":[1.795,3.335],"line":7},{"text":"$0$","source_text":"$0$","position":[2.525,3.335],"line":9},{"text":"$1$","source_text":"$1$","position":[3.255,3.335],"line":11},{"text":"$1$","source_text":"$1$","position":[1.065,2.605],"line":13},{"text":"$2$","source_text":"$2$","position":[1.795,2.605],"line":15},{"text":"$-1$","source_text":"$-1$","position":[2.525,2.605],"line":17},{"text":"$0$","source_text":"$0$","position":[3.255,2.605],"line":19},{"text":"$0$","source_text":"$0$","position":[1.065,1.875],"line":21},{"text":"$1$","source_text":"$1$","position":[1.795,1.875],"line":23},{"text":"$2$","source_text":"$2$","position":[2.525,1.875],"line":25},{"text":"$-1$","source_text":"$-1$","position":[3.255,1.875],"line":27},{"text":"$-1$","source_text":"$-1$","position":[1.065,1.145],"line":29},{"text":"$0$","source_text":"$0$","position":[1.795,1.145],"line":31},{"text":"$1$","source_text":"$1$","position":[2.525,1.145],"line":33},{"text":"$2$","source_text":"$2$","position":[3.255,1.145],"line":35},{"text":"$\\sqrt4\\,Fc$","source_text":"$\\sqrt4\\,Fc$","position":[5.675,4.4],"line":36},{"text":"$2$","source_text":"$2$","position":[5.675,3.335],"line":38},{"text":"$2 - 2 i$","source_text":"$2 - 2 i$","position":[5.675,2.605],"line":40},{"text":"$2$","source_text":"$2$","position":[5.675,1.875],"line":42},{"text":"$2 + 2 i$","source_text":"$2 + 2 i$","position":[5.675,1.145],"line":44},{"text":"$F_{jk}=\\frac12\\,\\mathrm i^{-jk}$","source_text":"$F_{jk}=\\frac12\\,\\mathrm i^{-jk}$","position":[10.7,3.4],"line":45},{"text":"$C=F^*\\diag(\\sqrt4 Fc)F$","source_text":"$C=F^*\\diag(\\sqrt4 Fc)F$","position":[10.7,2.2],"line":46},{"text":"$\\sqrt4=2$ is essential.","source_text":"$\\sqrt4=2$ is essential.","position":[10.7,1.0],"line":47},{"text":"A unitary transform changes the normalization of the convolution eigenvalues.","source_text":"A unitary transform changes the normalization of the convolution eigenvalues.","position":[7.0,0.05],"line":48}],"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],"reading_aid":{"alt":"A finite circulant and its coordinate description","description":"The displayed finite arrays retain the cyclic boundary convention and exact coefficients. A structured representation changes the calculation without changing the requested map.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3","Column 4"],"rows":[["Row 1",1,2,3,4],["Row 2",5,6,7,8],["Row 3",9,10,11,12],["Row 4",13,14,15,16]]},{"kind":"text","nodes":[17,18,19,20,21,22,23,24,25]}]}},"toeplitz":{"name":"toeplitz","plate":6,"source":"papers/paper-viii/current/editable/visual_guide/graphics/toeplitz.tex","source_sha256":"02d783e40d82e068c97bea073a4129b5c7ded2219150439e82e499c31d4449b0","image":"assets/atlas/paper-viii/toeplitz.png","image_sha256":"c15f8adb077a0d9233fcd4d02206af18eb650b65869d954f95a23bd1b7ac4b62","pdf_page":8,"crop_pdf_points":[90,218,502,377],"nodes":[{"text":"$T$","source_text":"$T$","position":[1.52,4.5],"line":3},{"text":"$2$","source_text":"$2$","position":[0.74,3.41],"line":5},{"text":"$-1$","source_text":"$-1$","position":[1.52,3.41],"line":7},{"text":"$5$","source_text":"$5$","position":[2.3,3.41],"line":9},{"text":"$3$","source_text":"$3$","position":[0.74,2.63],"line":11},{"text":"$2$","source_text":"$2$","position":[1.52,2.63],"line":13},{"text":"$-1$","source_text":"$-1$","position":[2.3,2.63],"line":15},{"text":"$4$","source_text":"$4$","position":[0.74,1.85],"line":17},{"text":"$3$","source_text":"$3$","position":[1.52,1.85],"line":19},{"text":"$2$","source_text":"$2$","position":[2.3,1.85],"line":21},{"text":"circulant column $g$","source_text":"circulant column $g$","position":[4.355,4.5],"line":22},{"text":"$2$","source_text":"$2$","position":[4.355,3.545],"line":24},{"text":"$3$","source_text":"$3$","position":[4.355,3.035],"line":26},{"text":"$4$","source_text":"$4$","position":[4.355,2.525],"line":28},{"text":"$0$","source_text":"$0$","position":[4.355,2.015],"line":30},{"text":"$5$","source_text":"$5$","position":[4.355,1.505],"line":32},{"text":"$-1$","source_text":"$-1$","position":[4.355,0.995],"line":34},{"text":"padded input","source_text":"padded input","position":[7.355,4.5],"line":35},{"text":"$1$","source_text":"$1$","position":[7.355,3.545],"line":37},{"text":"$2$","source_text":"$2$","position":[7.355,3.035],"line":39},{"text":"$-1$","source_text":"$-1$","position":[7.355,2.525],"line":41},{"text":"$0$","source_text":"$0$","position":[7.355,2.015],"line":43},{"text":"$0$","source_text":"$0$","position":[7.355,1.505],"line":45},{"text":"$0$","source_text":"$0$","position":[7.355,0.995],"line":47},{"text":"six outputs","source_text":"six outputs","position":[10.855,4.5],"line":48},{"text":"$-5$","source_text":"$-5$","position":[10.855,3.545],"line":50},{"text":"$8$","source_text":"$8$","position":[10.855,3.035],"line":52},{"text":"$8$","source_text":"$8$","position":[10.855,2.525],"line":54},{"text":"$5$","source_text":"$5$","position":[10.855,2.015],"line":56},{"text":"$1$","source_text":"$1$","position":[10.855,1.505],"line":58},{"text":"$9$","source_text":"$9$","position":[10.855,0.995],"line":60},{"text":"keep\\newline first three","source_text":"keep\\\\first three","position":[12.5,2.95],"line":62},{"text":"Padding is part of the operator identity, not optional workspace.","source_text":"Padding is part of the operator identity, not optional workspace.","position":[7.0,0.05],"line":63}],"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,32],"reading_aid":{"alt":"A Toeplitz action with explicit boundaries","description":"The diagonals share coefficients, while the finite input and output boundaries remain explicit. The picture does not silently replace the map by periodic convolution.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",1,2,3],["Row 2",4,5,6],["Row 3",7,8,9]]},{"kind":"text","nodes":[10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32]}]}},"kronecker":{"name":"kronecker","plate":7,"source":"papers/paper-viii/current/editable/visual_guide/graphics/kronecker.tex","source_sha256":"3094db5576178b529ffef32aa8ddfe81db8b48dc6f05aa6712fe98cb1518f39b","image":"assets/atlas/paper-viii/kronecker.png","image_sha256":"e5c2cff48c2aecb41c0062e8ecf9c35b24340ef26471505756e4c48a35b11336","pdf_page":9,"crop_pdf_points":[96,220,489,369],"nodes":[{"text":"$X$","source_text":"$X$","position":[1.5,4.3],"line":3},{"text":"$1$","source_text":"$1$","position":[1.025,3.125],"line":5},{"text":"$2$","source_text":"$2$","position":[1.975,3.125],"line":7},{"text":"$3$","source_text":"$3$","position":[1.025,2.175],"line":9},{"text":"$4$","source_text":"$4$","position":[1.975,2.175],"line":11},{"text":"$\\operatorname{vec}(X)$","source_text":"$\\operatorname{vec}(X)$","position":[4.46,4.65],"line":12},{"text":"$1$","source_text":"$1$","position":[4.46,3.59],"line":14},{"text":"$3$","source_text":"$3$","position":[4.46,2.87],"line":16},{"text":"$2$","source_text":"$2$","position":[4.46,2.15],"line":18},{"text":"$4$","source_text":"$4$","position":[4.46,1.43],"line":20},{"text":"$BXA^T$","source_text":"$BXA^T$","position":[8.7,4.3],"line":21},{"text":"$5 + 8 i$","source_text":"$5 + 8 i$","position":[7.95,3.15],"line":23},{"text":"$2$","source_text":"$2$","position":[9.45,3.15],"line":25},{"text":"$9 + 12 i$","source_text":"$9 + 12 i$","position":[7.95,2.25],"line":27},{"text":"$6$","source_text":"$6$","position":[9.45,2.25],"line":29},{"text":"$A^T$\\newline not $A^*$","source_text":"$A^T$\\\\not $A^*$","position":[12.2,3.25],"line":30},{"text":"$(A\\otimes B)\\operatorname{vec}(X)=\\operatorname{vec}(BXA^T)$","source_text":"$(A\\otimes B)\\operatorname{vec}(X)=\\operatorname{vec}(BXA^T)$","position":[7.0,0.55],"line":31}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"reading_aid":{"alt":"A tensor product acting on a vectorized matrix","description":"The factor matrices determine the two-sided matrix action. The vectorization convention fixes the order and the transpose in the displayed identity.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",1,2],["Row 2",3,4]]},{"kind":"text","nodes":[5,6,7,8,9,10]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",11,12],["Row 2",13,14]]},{"kind":"text","nodes":[15,16]}]}},"walsh":{"name":"walsh","plate":8,"source":"papers/paper-viii/current/editable/visual_guide/graphics/walsh.tex","source_sha256":"cc1a8cf903a608eb50790fb9004f6683c506da5e86929743dafb8f059f4eed1b","image":"assets/atlas/paper-viii/walsh.png","image_sha256":"a7dcde044504f29630aa0f01ee2a8966d0ec4bd60adcf3aeed2a5f0dc304a3f1","pdf_page":10,"crop_pdf_points":[92,241,493,383],"nodes":[{"text":"input","source_text":"input","position":[0.3,3.47],"line":3},{"text":"1","source_text":"1","position":[2.575,3.455],"line":5},{"text":"2","source_text":"2","position":[3.955,3.455],"line":7},{"text":"3","source_text":"3","position":[5.335,3.455],"line":9},{"text":"4","source_text":"4","position":[6.715,3.455],"line":11},{"text":"5","source_text":"5","position":[8.095,3.455],"line":13},{"text":"6","source_text":"6","position":[9.475,3.455],"line":15},{"text":"7","source_text":"7","position":[10.855,3.455],"line":17},{"text":"8","source_text":"8","position":[12.235,3.455],"line":19},{"text":"stage 1","source_text":"stage 1","position":[0.3,2.44],"line":20},{"text":"3","source_text":"3","position":[2.575,2.425],"line":22},{"text":"-1","source_text":"-1","position":[3.955,2.425],"line":24},{"text":"7","source_text":"7","position":[5.335,2.425],"line":26},{"text":"-1","source_text":"-1","position":[6.715,2.425],"line":28},{"text":"11","source_text":"11","position":[8.095,2.425],"line":30},{"text":"-1","source_text":"-1","position":[9.475,2.425],"line":32},{"text":"15","source_text":"15","position":[10.855,2.425],"line":34},{"text":"-1","source_text":"-1","position":[12.235,2.425],"line":36},{"text":"stage 2","source_text":"stage 2","position":[0.3,1.41],"line":37},{"text":"10","source_text":"10","position":[2.575,1.395],"line":39},{"text":"-2","source_text":"-2","position":[3.955,1.395],"line":41},{"text":"-4","source_text":"-4","position":[5.335,1.395],"line":43},{"text":"0","source_text":"0","position":[6.715,1.395],"line":45},{"text":"26","source_text":"26","position":[8.095,1.395],"line":47},{"text":"-2","source_text":"-2","position":[9.475,1.395],"line":49},{"text":"-4","source_text":"-4","position":[10.855,1.395],"line":51},{"text":"0","source_text":"0","position":[12.235,1.395],"line":53},{"text":"stage 3","source_text":"stage 3","position":[0.3,0.38],"line":54},{"text":"36","source_text":"36","position":[2.575,0.365],"line":56},{"text":"-4","source_text":"-4","position":[3.955,0.365],"line":58},{"text":"-8","source_text":"-8","position":[5.335,0.365],"line":60},{"text":"0","source_text":"0","position":[6.715,0.365],"line":62},{"text":"-16","source_text":"-16","position":[8.095,0.365],"line":64},{"text":"0","source_text":"0","position":[9.475,0.365],"line":66},{"text":"0","source_text":"0","position":[10.855,0.365],"line":68},{"text":"0","source_text":"0","position":[12.235,0.365],"line":70},{"text":"$8\\log_2 8=24$ additions/subtractions; $H_8H_8^T=8I$.","source_text":"$8\\log_2 8=24$ additions/subtractions; $H_8H_8^T=8I$.","position":[7.0,-0.25],"line":71}],"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,32,33,34,35,36],"reading_aid":{"alt":"A Walsh transform factored into stages","description":"Successive butterfly stages retain all intermediate coordinates. The diagram describes the supplied finite transform and its arithmetic structure.","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,23,24,25,26,27,28,29,30,31,32,33,34,35,36]}]}},"bdlr_product":{"name":"bdlr_product","plate":9,"source":"papers/paper-viii/current/editable/visual_guide/graphics/bdlr_product.tex","source_sha256":"e547cde0957094852e0e7b3cfd8dabf7ea488baa0ff3d0c2909921076d7cba74","image":"assets/atlas/paper-viii/bdlr_product.png","image_sha256":"3cb960ca32ba1d790f347e159fde8726d375f08b2172179d6c8834c1d74d586f","pdf_page":11,"crop_pdf_points":[104,197,466,355],"nodes":[{"text":"$U_C$","source_text":"$U_C$","position":[1.32,4.5],"line":3},{"text":"$6$","source_text":"$6$","position":[1.06,3.54],"line":5},{"text":"$1$","source_text":"$1$","position":[1.58,3.54],"line":7},{"text":"$4$","source_text":"$4$","position":[1.06,3.02],"line":9},{"text":"$1$","source_text":"$1$","position":[1.58,3.02],"line":11},{"text":"$6$","source_text":"$6$","position":[1.06,2.5],"line":13},{"text":"$1$","source_text":"$1$","position":[1.58,2.5],"line":15},{"text":"$4$","source_text":"$4$","position":[1.06,1.98],"line":17},{"text":"$1$","source_text":"$1$","position":[1.58,1.98],"line":19},{"text":"$6$","source_text":"$6$","position":[1.06,1.46],"line":21},{"text":"$1$","source_text":"$1$","position":[1.58,1.46],"line":23},{"text":"$4$","source_text":"$4$","position":[1.06,0.94],"line":25},{"text":"$1$","source_text":"$1$","position":[1.58,0.94],"line":27},{"text":"$V_C$","source_text":"$V_C$","position":[5.62,4.5],"line":28},{"text":"$0$","source_text":"$0$","position":[5.36,3.54],"line":30},{"text":"$1$","source_text":"$1$","position":[5.88,3.54],"line":32},{"text":"$1$","source_text":"$1$","position":[5.36,3.02],"line":34},{"text":"$2$","source_text":"$2$","position":[5.88,3.02],"line":36},{"text":"$0$","source_text":"$0$","position":[5.36,2.5],"line":38},{"text":"$3$","source_text":"$3$","position":[5.88,2.5],"line":40},{"text":"$1$","source_text":"$1$","position":[5.36,1.98],"line":42},{"text":"$4$","source_text":"$4$","position":[5.88,1.98],"line":44},{"text":"$0$","source_text":"$0$","position":[5.36,1.46],"line":46},{"text":"$5$","source_text":"$5$","position":[5.88,1.46],"line":48},{"text":"$1$","source_text":"$1$","position":[5.36,0.94],"line":50},{"text":"$6$","source_text":"$6$","position":[5.88,0.94],"line":52},{"text":"$AB=D_AD_B+U_CV_C^T$","source_text":"$AB=D_AD_B+U_CV_C^T$","position":[10.3,3.45],"line":53},{"text":"$U_A(V_A^TU_B)V_B^T$","source_text":"$U_A(V_A^TU_B)V_B^T$","position":[10.3,2.15],"line":54},{"text":"must be retained","source_text":"must be retained","position":[10.3,1.35],"line":55},{"text":"Two input rank-one corrections produce at most rank two, not three.","source_text":"Two input rank-one corrections produce at most rank two, not three.","position":[7.0,0.1],"line":56}],"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],"reading_aid":{"alt":"Every term of a factored operator product","description":"The blocks and thin factors show the local product and all correction terms. Keeping the factors avoids materializing a dense product but does not remove cross interactions.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",1,2],["Row 2",3,4],["Row 3",5,6],["Row 4",7,8],["Row 5",9,10],["Row 6",11,12]]},{"kind":"text","nodes":[13]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",14,15],["Row 2",16,17],["Row 3",18,19],["Row 4",20,21],["Row 5",22,23],["Row 6",24,25]]},{"kind":"text","nodes":[26,27,28,29]}]}},"woodbury":{"name":"woodbury","plate":10,"source":"papers/paper-viii/current/editable/visual_guide/graphics/woodbury.tex","source_sha256":"39c4638969eef009ed945348856c1985660130a764ce63dbc6d6fc6fd79bc10a","image":"assets/atlas/paper-viii/woodbury.png","image_sha256":"4c09a1a1e32270a08aac4ed8b2a4c92d0e33da935fd85b13361d79e85d85dc54","pdf_page":12,"crop_pdf_points":[89,264,480,407],"nodes":[{"text":"one block of $D^{-1}$","source_text":"one block of $D^{-1}$","position":[1.65,4.5],"line":3},{"text":"$\\frac{3}{8}$","source_text":"$\\frac{3}{8}$","position":[1.225,3.375],"line":5},{"text":"$- \\frac{1}{8}$","source_text":"$- \\frac{1}{8}$","position":[2.075,3.375],"line":7},{"text":"$- \\frac{1}{8}$","source_text":"$- \\frac{1}{8}$","position":[1.225,2.525],"line":9},{"text":"$\\frac{3}{8}$","source_text":"$\\frac{3}{8}$","position":[2.075,2.525],"line":11},{"text":"$D^{-1}u=\\tfrac14 u$","source_text":"$D^{-1}u=\\tfrac14 u$","position":[6.25,3.5],"line":12},{"text":"$S=1+u^TD^{-1}u=\\tfrac52$","source_text":"$S=1+u^TD^{-1}u=\\tfrac52$","position":[6.25,2.25],"line":13},{"text":"$A^{-1}=D^{-1}-\\tfrac1{40}uu^T$","source_text":"$A^{-1}=D^{-1}-\\tfrac1{40}uu^T$","position":[6.25,0.9],"line":14},{"text":"$I-e_1e_1^T$","source_text":"$I-e_1e_1^T$","position":[11.45,4.25],"line":15},{"text":"$0$","source_text":"$0$","position":[11.025,3.125],"line":17},{"text":"$0$","source_text":"$0$","position":[11.875,3.125],"line":19},{"text":"$0$","source_text":"$0$","position":[11.025,2.275],"line":21},{"text":"$1$","source_text":"$1$","position":[11.875,2.275],"line":23},{"text":"invertible $D$\\newline singular update","source_text":"invertible $D$\\\\singular update","position":[11.45,0.7],"line":24}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13],"reading_aid":{"alt":"An inverse represented through a small correction","description":"The supplied inverse conditions and thin factors identify the small system that remains. The diagram does not assert that every low-rank update is invertible.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",1,2],["Row 2",3,4]]},{"kind":"text","nodes":[5,6,7,8]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",9,10],["Row 2",11,12]]},{"kind":"text","nodes":[13]}]}},"compact_core":{"name":"compact_core","plate":11,"source":"papers/paper-viii/current/editable/visual_guide/graphics/compact_core.tex","source_sha256":"ef0de17556685cfa02b56ac92593e4468855f3d4310053458801507ef79ef842","image":"assets/atlas/paper-viii/compact_core.png","image_sha256":"007420c083875cfa532e8342faa31b703bc6298f02090a66b6e4f133aab49315","pdf_page":13,"crop_pdf_points":[93,247,454,402],"nodes":[{"text":"$L$: rank $2$","source_text":"$L$: rank $2$","position":[1.425,4.5],"line":3},{"text":"$\\frac{3}{5}$","source_text":"$\\frac{3}{5}$","position":[0.775,3.475],"line":5},{"text":"$0$","source_text":"$0$","position":[1.425,3.475],"line":7},{"text":"$\\frac{3}{5}$","source_text":"$\\frac{3}{5}$","position":[2.075,3.475],"line":9},{"text":"$\\frac{4}{5}$","source_text":"$\\frac{4}{5}$","position":[0.775,2.825],"line":11},{"text":"$0$","source_text":"$0$","position":[1.425,2.825],"line":13},{"text":"$\\frac{4}{5}$","source_text":"$\\frac{4}{5}$","position":[2.075,2.825],"line":15},{"text":"$0$","source_text":"$0$","position":[0.775,2.175],"line":17},{"text":"$1$","source_text":"$1$","position":[1.425,2.175],"line":19},{"text":"$0$","source_text":"$0$","position":[2.075,2.175],"line":21},{"text":"$0$","source_text":"$0$","position":[0.775,1.525],"line":23},{"text":"$0$","source_text":"$0$","position":[1.425,1.525],"line":25},{"text":"$0$","source_text":"$0$","position":[2.075,1.525],"line":27},{"text":"$R$: rank $3$","source_text":"$R$: rank $3$","position":[5.525,4.5],"line":28},{"text":"$3$","source_text":"$3$","position":[4.875,3.475],"line":30},{"text":"$0$","source_text":"$0$","position":[5.525,3.475],"line":32},{"text":"$2$","source_text":"$2$","position":[6.175,3.475],"line":34},{"text":"$0$","source_text":"$0$","position":[4.875,2.825],"line":36},{"text":"$2$","source_text":"$2$","position":[5.525,2.825],"line":38},{"text":"$0$","source_text":"$0$","position":[6.175,2.825],"line":40},{"text":"$1$","source_text":"$1$","position":[4.875,2.175],"line":42},{"text":"$0$","source_text":"$0$","position":[5.525,2.175],"line":44},{"text":"$-1$","source_text":"$-1$","position":[6.175,2.175],"line":46},{"text":"$G$: $2\\times3$","source_text":"$G$: $2\\times3$","position":[10.055,4.5],"line":47},{"text":"$5$","source_text":"$5$","position":[9.185,3.365],"line":49},{"text":"$0$","source_text":"$0$","position":[10.055,3.365],"line":51},{"text":"$0$","source_text":"$0$","position":[10.925,3.365],"line":53},{"text":"$0$","source_text":"$0$","position":[9.185,2.495],"line":55},{"text":"$2$","source_text":"$2$","position":[10.055,2.495],"line":57},{"text":"$0$","source_text":"$0$","position":[10.925,2.495],"line":59},{"text":"$LR^T=Q_LG$","source_text":"$LR^T=Q_LG$","position":[10.1,0.85],"line":60},{"text":"The stored width is three; the left range has only two independent directions.","source_text":"The stored width is three; the left range has only two independent directions.","position":[6.8,0.15],"line":61}],"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],"reading_aid":{"alt":"A product compressed to its range coordinates","description":"The outer range factors carry a smaller core into the ambient space. The displayed dimensions distinguish redundant inner coordinates from the actual range dimensions.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",1,2,3],["Row 2",4,5,6],["Row 3",7,8,9],["Row 4",10,11,12]]},{"kind":"text","nodes":[13]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",14,15,16],["Row 2",17,18,19],["Row 3",20,21,22]]},{"kind":"text","nodes":[23]},{"kind":"table","caption":"Drawing grid 3 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",24,25,26],["Row 2",27,28,29]]},{"kind":"text","nodes":[30,31]}]}},"optimality":{"name":"optimality","plate":12,"source":"papers/paper-viii/current/editable/visual_guide/graphics/optimality.tex","source_sha256":"093a5fc6b2e638179fc88a9a5a367bf400bcd887886215b25479cd7717475e92","image":"assets/atlas/paper-viii/optimality.png","image_sha256":"4f9bd98c7e9be83aae55c6d8c4c4f96e5b48e6fe92351a295b1bc601e9ad7a4a","pdf_page":14,"crop_pdf_points":[99,249,515,407],"nodes":[{"text":"$LR^T$","source_text":"$LR^T$","position":[1.73,4.5],"line":3},{"text":"$3$","source_text":"$3$","position":[1.01,3.44],"line":5},{"text":"$0$","source_text":"$0$","position":[1.73,3.44],"line":7},{"text":"$0$","source_text":"$0$","position":[2.45,3.44],"line":9},{"text":"$4$","source_text":"$4$","position":[1.01,2.72],"line":11},{"text":"$0$","source_text":"$0$","position":[1.73,2.72],"line":13},{"text":"$0$","source_text":"$0$","position":[2.45,2.72],"line":15},{"text":"$0$","source_text":"$0$","position":[1.01,2.0],"line":17},{"text":"$2$","source_text":"$2$","position":[1.73,2.0],"line":19},{"text":"$0$","source_text":"$0$","position":[2.45,2.0],"line":21},{"text":"$0$","source_text":"$0$","position":[1.01,1.28],"line":23},{"text":"$0$","source_text":"$0$","position":[1.73,1.28],"line":25},{"text":"$0$","source_text":"$0$","position":[2.45,1.28],"line":27},{"text":"rank-one output","source_text":"rank-one output","position":[6.13,4.5],"line":28},{"text":"$3$","source_text":"$3$","position":[5.41,3.44],"line":30},{"text":"$0$","source_text":"$0$","position":[6.13,3.44],"line":32},{"text":"$0$","source_text":"$0$","position":[6.85,3.44],"line":34},{"text":"$4$","source_text":"$4$","position":[5.41,2.72],"line":36},{"text":"$0$","source_text":"$0$","position":[6.13,2.72],"line":38},{"text":"$0$","source_text":"$0$","position":[6.85,2.72],"line":40},{"text":"$0$","source_text":"$0$","position":[5.41,2.0],"line":42},{"text":"$0$","source_text":"$0$","position":[6.13,2.0],"line":44},{"text":"$0$","source_text":"$0$","position":[6.85,2.0],"line":46},{"text":"$0$","source_text":"$0$","position":[5.41,1.28],"line":48},{"text":"$0$","source_text":"$0$","position":[6.13,1.28],"line":50},{"text":"$0$","source_text":"$0$","position":[6.85,1.28],"line":52},{"text":"spectral error","source_text":"spectral error","position":[11.6,4.25],"line":54},{"text":"rank 0","source_text":"rank 0","position":[10.333333,0.6],"line":56},{"text":"$5$","source_text":"$5$","position":[10.333333,3.72],"line":57},{"text":"rank 1","source_text":"rank 1","position":[11.6,0.6],"line":59},{"text":"$2$","source_text":"$2$","position":[11.6,2.16],"line":60},{"text":"rank 2","source_text":"rank 2","position":[12.866667,0.6],"line":62},{"text":"$0$","source_text":"$0$","position":[12.866667,1.12],"line":63},{"text":"Frobenius errors: $\\sqrt{29},\\ 2,\\ 0$. The rank-one choice loses only the second mode.","source_text":"Frobenius errors: $\\sqrt{29},\\ 2,\\ 0$. The rank-one choice loses only the second mode.","position":[7.0,0.1],"line":64}],"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,32,33],"reading_aid":{"alt":"A small-core approximation lifted isometrically","description":"The core and ambient spaces are linked by the supplied isometric range factors. The comparison preserves the stated norms and rank constraints under those hypotheses.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",1,2,3],["Row 2",4,5,6],["Row 3",7,8,9],["Row 4",10,11,12]]},{"kind":"text","nodes":[13]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",14,15,16],["Row 2",17,18,19],["Row 3",20,21,22],["Row 4",23,24,25]]},{"kind":"text","nodes":[26,27,28,29,30,31,32,33]}]}},"error_chain":{"name":"error_chain","plate":13,"source":"papers/paper-viii/current/editable/visual_guide/graphics/error_chain.tex","source_sha256":"57db254aa8769f0945d2c90ab356bfd8ba4b67b2e6df19877b75a8d763dcf30d","image":"assets/atlas/paper-viii/error_chain.png","image_sha256":"1def0d3c756bc7aa540a6dd59b706eb7a95aadc9f14574f4d936900b9128a65c","pdf_page":15,"crop_pdf_points":[104,213,499,367],"nodes":[{"text":"local injected errors","source_text":"local injected errors","position":[3.3,4.35],"line":4},{"text":"1","source_text":"1","position":[1.633333,0.6],"line":6},{"text":"$\\frac{1}{10}$","source_text":"$\\frac{1}{10}$","position":[1.633333,1.345],"line":7},{"text":"2","source_text":"2","position":[3.3,0.6],"line":9},{"text":"$\\frac{1}{5}$","source_text":"$\\frac{1}{5}$","position":[3.3,1.57],"line":10},{"text":"3","source_text":"3","position":[4.966667,0.6],"line":12},{"text":"$\\frac{1}{20}$","source_text":"$\\frac{1}{20}$","position":[4.966667,1.2325],"line":13},{"text":"final contributions","source_text":"final contributions","position":[10.5,4.35],"line":15},{"text":"1","source_text":"1","position":[8.833333,0.6],"line":17},{"text":"$\\frac{6}{5}$","source_text":"$\\frac{6}{5}$","position":[8.833333,3.82],"line":18},{"text":"2","source_text":"2","position":[10.5,0.6],"line":20},{"text":"$\\frac{4}{5}$","source_text":"$\\frac{4}{5}$","position":[10.5,2.92],"line":21},{"text":"3","source_text":"3","position":[12.166667,0.6],"line":23},{"text":"$\\frac{1}{20}$","source_text":"$\\frac{1}{20}$","position":[12.166667,1.2325],"line":24},{"text":"$\\widehat p_j=a_j\\widehat p_{j-1}+e_j$, with $(a_1,a_2,a_3)=(2,3,4)$.","source_text":"$\\widehat p_j=a_j\\widehat p_{j-1}+e_j$, with $(a_1,a_2,a_3)=(2,3,4)$.","position":[7.0,0.05],"line":25}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"reading_aid":{"alt":"Local perturbations propagated through a product","description":"Each local error is surrounded by the factors on both sides. The displayed contributions show why a local error bound needs the later transport factors.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14]}]}},"cancellation":{"name":"cancellation","plate":14,"source":"papers/paper-viii/current/editable/visual_guide/graphics/cancellation.tex","source_sha256":"82b20c8bc29ff100fe30a0da49ac378546b24433028ba60782b692b30389472a","image":"assets/atlas/paper-viii/cancellation.png","image_sha256":"8b74a1f3293e38c1a5dc326417c6a99291498ced47e5c6bfc0cf6cc7dd286f57","pdf_page":16,"crop_pdf_points":[101,170,493,320],"nodes":[{"text":"$K$","source_text":"$K$","position":[2.3,4.3],"line":3},{"text":"$0$","source_text":"$0$","position":[1.1,3.2],"line":5},{"text":"$0$","source_text":"$0$","position":[1.9,3.2],"line":7},{"text":"$0$","source_text":"$0$","position":[2.7,3.2],"line":9},{"text":"$0$","source_text":"$0$","position":[3.5,3.2],"line":11},{"text":"$1$","source_text":"$1$","position":[1.1,2.4],"line":13},{"text":"$0$","source_text":"$0$","position":[1.9,2.4],"line":15},{"text":"$0$","source_text":"$0$","position":[2.7,2.4],"line":17},{"text":"$0$","source_text":"$0$","position":[3.5,2.4],"line":19},{"text":"$1$","source_text":"$1$","position":[1.1,1.6],"line":21},{"text":"$0$","source_text":"$0$","position":[1.9,1.6],"line":23},{"text":"$0$","source_text":"$0$","position":[2.7,1.6],"line":25},{"text":"$0$","source_text":"$0$","position":[3.5,1.6],"line":27},{"text":"$0$","source_text":"$0$","position":[1.1,0.8],"line":29},{"text":"$1$","source_text":"$1$","position":[1.9,0.8],"line":31},{"text":"$-1$","source_text":"$-1$","position":[2.7,0.8],"line":33},{"text":"$0$","source_text":"$0$","position":[3.5,0.8],"line":35},{"text":"path counts at length two","source_text":"path counts at length two","position":[7.2,4.3],"line":36},{"text":"$0$","source_text":"$0$","position":[6.0,3.2],"line":38},{"text":"$0$","source_text":"$0$","position":[6.8,3.2],"line":40},{"text":"$0$","source_text":"$0$","position":[7.6,3.2],"line":42},{"text":"$0$","source_text":"$0$","position":[8.4,3.2],"line":44},{"text":"$0$","source_text":"$0$","position":[6.0,2.4],"line":46},{"text":"$0$","source_text":"$0$","position":[6.8,2.4],"line":48},{"text":"$0$","source_text":"$0$","position":[7.6,2.4],"line":50},{"text":"$0$","source_text":"$0$","position":[8.4,2.4],"line":52},{"text":"$0$","source_text":"$0$","position":[6.0,1.6],"line":54},{"text":"$0$","source_text":"$0$","position":[6.8,1.6],"line":56},{"text":"$0$","source_text":"$0$","position":[7.6,1.6],"line":58},{"text":"$0$","source_text":"$0$","position":[8.4,1.6],"line":60},{"text":"$2$","source_text":"$2$","position":[6.0,0.8],"line":62},{"text":"$0$","source_text":"$0$","position":[6.8,0.8],"line":64},{"text":"$0$","source_text":"$0$","position":[7.6,0.8],"line":66},{"text":"$0$","source_text":"$0$","position":[8.4,0.8],"line":68},{"text":"$1+(-1)=0$","source_text":"$1+(-1)=0$","position":[11.85,3.0],"line":69},{"text":"$K^2=0$","source_text":"$K^2=0$","position":[11.85,1.65],"line":70},{"text":"Structural support is an upper bound. It does not encode destructive cancellation.","source_text":"Structural support is an upper bound. It does not encode destructive cancellation.","position":[7.0,0.1],"line":71}],"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,32,33,34,35,36],"reading_aid":{"alt":"Support permits an interaction that cancels","description":"Two contributions share an output address. Their signed values cancel, so structural support is an upper bound on the realized nonzero pattern.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3","Column 4"],"rows":[["Row 1",1,2,3,4],["Row 2",5,6,7,8],["Row 3",9,10,11,12],["Row 4",13,14,15,16]]},{"kind":"text","nodes":[17]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3","Column 4"],"rows":[["Row 1",18,19,20,21],["Row 2",22,23,24,25],["Row 3",26,27,28,29],["Row 4",30,31,32,33]]},{"kind":"text","nodes":[34,35,36]}]}},"triangular":{"name":"triangular","plate":15,"source":"papers/paper-viii/current/editable/visual_guide/graphics/triangular.tex","source_sha256":"37e1637777e795551228007c4112b18afcb143af274853c256a674670e26ac6b","image":"assets/atlas/paper-viii/triangular.png","image_sha256":"ae8a1558f6679b211e5a188ae40bd92f2ecf696f55bfed012b793c651b0dd40b","pdf_page":17,"crop_pdf_points":[94,152,471,315],"isolated_drawing_objects":{"scale":1.12102,"objects":48},"nodes":[{"text":"0","source_text":"0","position":[1.725,4.075],"line":4},{"text":"1","source_text":"1","position":[1.725,3.595],"line":6},{"text":"2","source_text":"2","position":[3.575,3.115],"line":8},{"text":"3","source_text":"3","position":[3.575,2.635],"line":10},{"text":"4","source_text":"4","position":[5.425,2.155],"line":12},{"text":"5","source_text":"5","position":[5.425,1.675],"line":14},{"text":"6","source_text":"6","position":[7.275,1.195],"line":16},{"text":"stage 1","source_text":"stage 1","position":[1.72,0.25],"line":17},{"text":"stage 2","source_text":"stage 2","position":[3.57,0.25],"line":18},{"text":"stage 3","source_text":"stage 3","position":[5.42,0.25],"line":19},{"text":"stage 4","source_text":"stage 4","position":[7.27,0.25],"line":20},{"text":"$x=(2I+K)^{-1}\\mathbf1$","source_text":"$x=(2I+K)^{-1}\\mathbf1$","position":[10.84,4.8],"line":21},{"text":"$\\frac{1}{2}$","source_text":"$\\frac{1}{2}$","position":[10.84,3.86],"line":23},{"text":"$\\frac{1}{2}$","source_text":"$\\frac{1}{2}$","position":[10.84,3.38],"line":25},{"text":"$1$","source_text":"$1$","position":[10.84,2.9],"line":27},{"text":"$\\frac{3}{4}$","source_text":"$\\frac{3}{4}$","position":[10.84,2.42],"line":29},{"text":"$\\frac{11}{8}$","source_text":"$\\frac{11}{8}$","position":[10.84,1.94],"line":31},{"text":"$\\frac{7}{8}$","source_text":"$\\frac{7}{8}$","position":[10.84,1.46],"line":33},{"text":"$\\frac{13}{8}$","source_text":"$\\frac{13}{8}$","position":[10.84,0.98],"line":35},{"text":"packet task","source_text":"packet task","position":[0.35,4.42],"line":36}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],"reading_aid":{"alt":"A triangular solve organized by dependency levels","description":"Bars place packet tasks into four dependency stages. Later stages follow the declared predecessor dependencies. The vector at right gives the supplied solve’s exact output.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19]}]}},"schur_fill":{"name":"schur_fill","plate":16,"source":"papers/paper-viii/current/editable/visual_guide/graphics/schur_fill.tex","source_sha256":"15b0e6736a12ae1f391b02e6288f6b5997dfd071c99570ddf3ea96088194ea38","image":"assets/atlas/paper-viii/schur_fill.png","image_sha256":"c9b17ccb088fab1020e26891db86d21f618d74b4b893b983e817da4ebf3ff4a2","pdf_page":18,"crop_pdf_points":[93,259,485,392],"nodes":[{"text":"$A$ before elimination","source_text":"$A$ before elimination","position":[2.04,4.3],"line":3},{"text":"$2$","source_text":"$2$","position":[1.18,3.17],"line":5},{"text":"$0$","source_text":"$0$","position":[2.04,3.17],"line":7},{"text":"$1$","source_text":"$1$","position":[2.9,3.17],"line":9},{"text":"$0$","source_text":"$0$","position":[1.18,2.31],"line":11},{"text":"$2$","source_text":"$2$","position":[2.04,2.31],"line":13},{"text":"$1$","source_text":"$1$","position":[2.9,2.31],"line":15},{"text":"$1$","source_text":"$1$","position":[1.18,1.45],"line":17},{"text":"$1$","source_text":"$1$","position":[2.04,1.45],"line":19},{"text":"$2$","source_text":"$2$","position":[2.9,1.45],"line":21},{"text":"$S=A_{RR}-A_{RH}A_{HH}^{-1}A_{HR}$","source_text":"$S=A_{RR}-A_{RH}A_{HH}^{-1}A_{HR}$","position":[6.6,4.3],"line":22},{"text":"$\\frac{3}{2}$","source_text":"$\\frac{3}{2}$","position":[6.125,3.125],"line":24},{"text":"$- \\frac{1}{2}$","source_text":"$- \\frac{1}{2}$","position":[7.075,3.125],"line":26},{"text":"$- \\frac{1}{2}$","source_text":"$- \\frac{1}{2}$","position":[6.125,2.175],"line":28},{"text":"$\\frac{3}{2}$","source_text":"$\\frac{3}{2}$","position":[7.075,2.175],"line":30},{"text":"cancelling variant","source_text":"cancelling variant","position":[11.2,4.3],"line":31},{"text":"$\\frac{3}{2}$","source_text":"$\\frac{3}{2}$","position":[10.725,3.125],"line":33},{"text":"$0$","source_text":"$0$","position":[11.675,3.125],"line":35},{"text":"$0$","source_text":"$0$","position":[10.725,2.175],"line":37},{"text":"$\\frac{3}{2}$","source_text":"$\\frac{3}{2}$","position":[11.675,2.175],"line":39},{"text":"A hidden route creates $-1/2$; adding $+1/2$ in the original block cancels it.","source_text":"A hidden route creates $-1/2$; adding $+1/2$ in the original block cancels it.","position":[7.0,0.7],"line":40}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],"reading_aid":{"alt":"Elimination creates a new interaction","description":"The eliminated variables connect previously separate blocks through the Schur term. Signed contributions can cancel even when the structural fill pattern permits an entry.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",1,2,3],["Row 2",4,5,6],["Row 3",7,8,9]]},{"kind":"text","nodes":[10]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",11,12],["Row 2",13,14]]},{"kind":"text","nodes":[15]},{"kind":"table","caption":"Drawing grid 3 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",16,17],["Row 2",18,19]]},{"kind":"text","nodes":[20]}]}},"krylov":{"name":"krylov","plate":17,"source":"papers/paper-viii/current/editable/visual_guide/graphics/krylov.tex","source_sha256":"58f6cf193436a8a78d6d854cd5e9bc8ebfac3ff87b608e4259f1b23a81a2e112","image":"assets/atlas/paper-viii/krylov.png","image_sha256":"5b27c8ea87fce04ee0a8cf970aa8239bc0de57145ccf8823915193393d68b123","pdf_page":19,"crop_pdf_points":[92,205,494,352],"nodes":[{"text":"-1","source_text":"-1","position":[1.725,0.49],"line":5},{"text":"0","source_text":"0","position":[3.275,0.49],"line":8},{"text":"1","source_text":"1","position":[4.825,0.49],"line":11},{"text":"-1","source_text":"-1","position":[0.79,1.266667],"line":13},{"text":"0","source_text":"0","position":[0.79,2.3],"line":15},{"text":"1","source_text":"1","position":[0.79,3.333333],"line":17},{"text":"packet 1","source_text":"packet 1","position":[3.275,0.2],"line":20},{"text":"packet 2","source_text":"packet 2","position":[0.95,4.25],"line":21},{"text":"$A=I_2,\\ v=(1,1)^T$","source_text":"$A=I_2,\\ v=(1,1)^T$","position":[3.25,4.25],"line":23},{"text":"$p(A)v=p(1)(1,1)^T$","source_text":"$p(A)v=p(1)(1,1)^T$","position":[9.5,3.3],"line":24},{"text":"$\\dim\\mathcal K_m(A,v)=1$","source_text":"$\\dim\\mathcal K_m(A,v)=1$","position":[9.5,2.1],"line":25},{"text":"Independent local spans have dimension $2$.","source_text":"Independent local spans have dimension $2$.","position":[9.5,0.9],"line":26}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11],"reading_aid":{"alt":"A Krylov orbit inside its packetwise extension","description":"The two spaces use different permitted operations. Invariance under one operator does not give independent access to each packet component.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11]}]}},"preconditioning":{"name":"preconditioning","plate":18,"source":"papers/paper-viii/current/editable/visual_guide/graphics/preconditioning.tex","source_sha256":"286bedf11de1d96755c07813a150f2f73a4383472e61995963fab7b9105074a2","image":"assets/atlas/paper-viii/preconditioning.png","image_sha256":"18b330e6e7aaef87d7f13c390f09902f5ee97b342ca4f58662a0c54e02c076d6","pdf_page":20,"crop_pdf_points":[92,212,497,372],"nodes":[{"text":"-1","source_text":"-1","position":[2.020588,0.44],"line":5},{"text":"0","source_text":"0","position":[3.55,0.44],"line":8},{"text":"1","source_text":"1","position":[5.079412,0.44],"line":11},{"text":"-1","source_text":"-1","position":[0.79,1.369118],"line":13},{"text":"0","source_text":"0","position":[0.79,2.325],"line":15},{"text":"1","source_text":"1","position":[0.79,3.280882],"line":17},{"text":"before: $x^TAx=1$","source_text":"before: $x^TAx=1$","position":[3.55,4.3],"line":21},{"text":"-1","source_text":"-1","position":[8.720588,0.44],"line":24},{"text":"0","source_text":"0","position":[10.25,0.44],"line":27},{"text":"1","source_text":"1","position":[11.779412,0.44],"line":30},{"text":"-1","source_text":"-1","position":[7.49,1.369118],"line":32},{"text":"0","source_text":"0","position":[7.49,2.325],"line":34},{"text":"1","source_text":"1","position":[7.49,3.280882],"line":36},{"text":"after: $y^T(I+E)y=1$","source_text":"after: $y^T(I+E)y=1$","position":[10.25,4.3],"line":40},{"text":"Exact normalized eigenvalues: $1/2,3/2$. Hence $\\kappa_2=3$.","source_text":"Exact normalized eigenvalues: $1/2,3/2$. Hence $\\kappa_2=3$.","position":[7.0,-0.1],"line":41}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"reading_aid":{"alt":"Coupling measured after block normalization","description":"The displayed normalization separates the block diagonal part from the residual coupling. The estimate is tied to the specified operator norm and hypotheses.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14]}]}},"block_error":{"name":"block_error","plate":19,"source":"papers/paper-viii/current/editable/visual_guide/graphics/block_error.tex","source_sha256":"6714c087ca906102792ea14bd87c13db3c7510e8403431f6a3a4530c283f2b82","image":"assets/atlas/paper-viii/block_error.png","image_sha256":"3b9d28e8d201b3c985399abed418c981b3e369133a421cd3bcc7f3e60c9bcbfa","pdf_page":21,"crop_pdf_points":[79,221,494,379],"nodes":[{"text":"$100E$: twelve omitted entries","source_text":"$100E$: twelve omitted entries","position":[2.26,4.5],"line":3},{"text":"$0$","source_text":"$0$","position":[1.09,3.41],"line":5},{"text":"$1$","source_text":"$1$","position":[1.87,3.41],"line":7},{"text":"$1$","source_text":"$1$","position":[2.65,3.41],"line":9},{"text":"$1$","source_text":"$1$","position":[3.43,3.41],"line":11},{"text":"$1$","source_text":"$1$","position":[1.09,2.63],"line":13},{"text":"$0$","source_text":"$0$","position":[1.87,2.63],"line":15},{"text":"$1$","source_text":"$1$","position":[2.65,2.63],"line":17},{"text":"$1$","source_text":"$1$","position":[3.43,2.63],"line":19},{"text":"$1$","source_text":"$1$","position":[1.09,1.85],"line":21},{"text":"$1$","source_text":"$1$","position":[1.87,1.85],"line":23},{"text":"$0$","source_text":"$0$","position":[2.65,1.85],"line":25},{"text":"$1$","source_text":"$1$","position":[3.43,1.85],"line":27},{"text":"$1$","source_text":"$1$","position":[1.09,1.07],"line":29},{"text":"$1$","source_text":"$1$","position":[1.87,1.07],"line":31},{"text":"$1$","source_text":"$1$","position":[2.65,1.07],"line":33},{"text":"$0$","source_text":"$0$","position":[3.43,1.07],"line":35},{"text":"error norms, in units of $1/100$","source_text":"error norms, in units of $1/100$","position":[10.1,4.25],"line":37},{"text":"one block","source_text":"one block","position":[8.266667,0.55],"line":39},{"text":"$1$","source_text":"$1$","position":[8.266667,1.7325],"line":40},{"text":"spectral","source_text":"spectral","position":[10.1,0.55],"line":42},{"text":"$3$","source_text":"$3$","position":[10.1,3.0575],"line":43},{"text":"Frobenius","source_text":"Frobenius","position":[11.933333,0.55],"line":45},{"text":"$2 \\sqrt{3}$","source_text":"$2 \\sqrt{3}$","position":[11.933333,3.364967],"line":46},{"text":"$\\|E\\|_F^2=12/10^4$, while $E\\mathbf1=(3/100)\\mathbf1$.","source_text":"$\\|E\\|_F^2=12/10^4$, while $E\\mathbf1=(3/100)\\mathbf1$.","position":[7.0,0.1],"line":47}],"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],"reading_aid":{"alt":"Blocks and coherent error contributions","description":"Block addresses identify output rows and input columns. The displayed example retains the contributions needed to distinguish individual block sizes from the assembled operator error.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3","Column 4"],"rows":[["Row 1",1,2,3,4],["Row 2",5,6,7,8],["Row 3",9,10,11,12],["Row 4",13,14,15,16]]},{"kind":"text","nodes":[17,18,19,20,21,22,23,24]}]}},"precision":{"name":"precision","plate":20,"source":"papers/paper-viii/current/editable/visual_guide/graphics/precision.tex","source_sha256":"25decf724f188e69a151c7ded0ead2f757c06f6169c6672b06282b61e103605a","image":"assets/atlas/paper-viii/precision.png","image_sha256":"80356339fb6c6cc62e48ac4d4be9e4ccfbb0454ae7cca419e5b989290fa828c6","pdf_page":22,"crop_pdf_points":[101,201,505,352],"nodes":[{"text":"unclipped contributions $s_e\\epsilon_e$","source_text":"unclipped contributions $s_e\\epsilon_e$","position":[3.4,4.25],"line":4},{"text":"edge 1","source_text":"edge 1","position":[1.6,0.5],"line":6},{"text":"$\\frac{1}{4}$","source_text":"$\\frac{1}{4}$","position":[1.6,2.145],"line":7},{"text":"edge 2","source_text":"edge 2","position":[3.4,0.5],"line":9},{"text":"$\\frac{1}{4}$","source_text":"$\\frac{1}{4}$","position":[3.4,2.145],"line":10},{"text":"edge 3","source_text":"edge 3","position":[5.2,0.5],"line":12},{"text":"$\\frac{1}{2}$","source_text":"$\\frac{1}{2}$","position":[5.2,3.27],"line":13},{"text":"clipped contributions","source_text":"clipped contributions","position":[10.5,4.25],"line":15},{"text":"edge 1","source_text":"edge 1","position":[8.7,0.5],"line":17},{"text":"$\\frac{1}{10}$","source_text":"$\\frac{1}{10}$","position":[8.7,1.47],"line":18},{"text":"edge 2","source_text":"edge 2","position":[10.5,0.5],"line":20},{"text":"$\\frac{3}{10}$","source_text":"$\\frac{3}{10}$","position":[10.5,2.37],"line":21},{"text":"edge 3","source_text":"edge 3","position":[12.3,0.5],"line":23},{"text":"$\\frac{3}{5}$","source_text":"$\\frac{3}{5}$","position":[12.3,3.72],"line":24},{"text":"Both allocations spend exactly one unit of error budget.","source_text":"Both allocations spend exactly one unit of error budget.","position":[7.0,0.05],"line":25}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"reading_aid":{"alt":"A continuous error budget and clipped choices","description":"The plotted allocation follows the declared error model and cost data. Bounds on allowable choices clip the continuous solution and must remain part of the optimization.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14]}]}},"discrete":{"name":"discrete","plate":21,"source":"papers/paper-viii/current/editable/visual_guide/graphics/discrete.tex","source_sha256":"271916c099efe4745b625ef237519cb84b16da8c9dd7d41d2669f478e4a983c2","image":"assets/atlas/paper-viii/discrete.png","image_sha256":"25f22e06fcbda89c6cbe8a093e1d0c2aaefc94f4993fabb9c8fec03f93a319a6","pdf_page":23,"crop_pdf_points":[99,258,485,400],"nodes":[{"text":"edges 0","source_text":"edges 0","position":[0.5,3.5],"line":3},{"text":"0","source_text":"0","position":[2.2,3.5],"line":5},{"text":"$\\infty$","source_text":"$\\infty$","position":[3.4,3.5],"line":7},{"text":"$\\infty$","source_text":"$\\infty$","position":[4.6,3.5],"line":9},{"text":"$\\infty$","source_text":"$\\infty$","position":[5.8,3.5],"line":11},{"text":"$\\infty$","source_text":"$\\infty$","position":[7.0,3.5],"line":13},{"text":"$\\infty$","source_text":"$\\infty$","position":[8.2,3.5],"line":15},{"text":"$\\infty$","source_text":"$\\infty$","position":[9.4,3.5],"line":17},{"text":"$\\infty$","source_text":"$\\infty$","position":[10.6,3.5],"line":19},{"text":"$\\infty$","source_text":"$\\infty$","position":[11.8,3.5],"line":21},{"text":"edges 1","source_text":"edges 1","position":[0.5,2.66],"line":22},{"text":"7","source_text":"7","position":[2.2,2.66],"line":24},{"text":"$\\infty$","source_text":"$\\infty$","position":[3.4,2.66],"line":26},{"text":"3","source_text":"3","position":[4.6,2.66],"line":28},{"text":"$\\infty$","source_text":"$\\infty$","position":[5.8,2.66],"line":30},{"text":"1","source_text":"1","position":[7.0,2.66],"line":32},{"text":"$\\infty$","source_text":"$\\infty$","position":[8.2,2.66],"line":34},{"text":"$\\infty$","source_text":"$\\infty$","position":[9.4,2.66],"line":36},{"text":"$\\infty$","source_text":"$\\infty$","position":[10.6,2.66],"line":38},{"text":"$\\infty$","source_text":"$\\infty$","position":[11.8,2.66],"line":40},{"text":"edges 2","source_text":"edges 2","position":[0.5,1.82],"line":41},{"text":"13","source_text":"13","position":[2.2,1.82],"line":43},{"text":"11","source_text":"11","position":[3.4,1.82],"line":45},{"text":"9","source_text":"9","position":[4.6,1.82],"line":47},{"text":"7","source_text":"7","position":[5.8,1.82],"line":49},{"text":"7","source_text":"7","position":[7.0,1.82],"line":51},{"text":"4","source_text":"4","position":[8.2,1.82],"line":53},{"text":"$\\infty$","source_text":"$\\infty$","position":[9.4,1.82],"line":55},{"text":"2","source_text":"2","position":[10.6,1.82],"line":57},{"text":"$\\infty$","source_text":"$\\infty$","position":[11.8,1.82],"line":59},{"text":"edges 3","source_text":"edges 3","position":[0.5,0.98],"line":60},{"text":"22","source_text":"22","position":[2.2,0.98],"line":62},{"text":"20","source_text":"20","position":[3.4,0.98],"line":64},{"text":"18","source_text":"18","position":[4.6,0.98],"line":66},{"text":"16","source_text":"16","position":[5.8,0.98],"line":68},{"text":"14","source_text":"14","position":[7.0,0.98],"line":70},{"text":"12","source_text":"12","position":[8.2,0.98],"line":72},{"text":"12","source_text":"12","position":[9.4,0.98],"line":74},{"text":"9","source_text":"9","position":[10.6,0.98],"line":76},{"text":"8","source_text":"8","position":[11.8,0.98],"line":78},{"text":"0","source_text":"0","position":[2.2,4.12],"line":79},{"text":"1","source_text":"1","position":[3.4,4.12],"line":80},{"text":"2","source_text":"2","position":[4.6,4.12],"line":81},{"text":"3","source_text":"3","position":[5.8,4.12],"line":82},{"text":"4","source_text":"4","position":[7.0,4.12],"line":83},{"text":"5","source_text":"5","position":[8.2,4.12],"line":84},{"text":"6","source_text":"6","position":[9.4,4.12],"line":85},{"text":"7","source_text":"7","position":[10.6,4.12],"line":86},{"text":"8","source_text":"8","position":[11.8,4.12],"line":87},{"text":"Columns are exact weights; the budget optimum is the minimum across allowed columns.","source_text":"Columns are exact weights; the budget optimum is the minimum across allowed columns.","position":[7.0,0.1],"line":88}],"node_order":[40,41,42,43,44,45,46,47,48,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,36,37,38,39,49],"reading_aid":{"alt":"Dynamic-programming costs by exact integer weight","description":"Columns are exact integer weights and rows are successive numbers of processed edges. Each cell gives the minimum declared cost at that exact weight; infinity marks an unreachable state. The budget optimum is the minimum across the allowed columns.","blocks":[{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column",40,41,42,43,44,45,46,47,48],"rows":[[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,36,37,38,39]]},{"kind":"text","nodes":[49]}]}},"tree_frontier":{"name":"tree_frontier","plate":22,"source":"papers/paper-viii/current/editable/visual_guide/graphics/tree_frontier.tex","source_sha256":"290527707fec32e4f996dabb1826318d12bc20b6b68327bb9cdf7ff0395bfabd","image":"assets/atlas/paper-viii/tree_frontier.png","image_sha256":"c113dfaf08646b4b9973a0526cc3a2e306508ff92b55adcf3f8356c341b27a53","pdf_page":24,"crop_pdf_points":[87,181,492,328],"nodes":[{"text":"0","source_text":"0","position":[0.85,0.54],"line":5},{"text":"2","source_text":"2","position":[2.696154,0.54],"line":8},{"text":"4","source_text":"4","position":[4.542308,0.54],"line":11},{"text":"6","source_text":"6","position":[6.388462,0.54],"line":14},{"text":"1","source_text":"1","position":[0.69,1.090909],"line":16},{"text":"5","source_text":"5","position":[0.69,2.254545],"line":18},{"text":"10","source_text":"10","position":[0.69,3.709091],"line":20},{"text":"error","source_text":"error","position":[3.85,0.25],"line":23},{"text":"cost","source_text":"cost","position":[0.85,4.4],"line":24},{"text":"Budget $B=2$: cost $8$","source_text":"Budget $B=2$: cost $8$","position":[10.1,3.6],"line":31},{"text":"Penalty optimum: root or full split","source_text":"Penalty optimum: root or full split","position":[10.1,2.35],"line":32},{"text":"$8+2\\lambda\\le1+6\\lambda$\\newline and $8+2\\lambda\\le10$\\newline cannot both hold.","source_text":"$8+2\\lambda\\le1+6\\lambda$\\\\and $8+2\\lambda\\le10$\\\\cannot both hold.","position":[10.1,1.0],"line":33}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11],"reading_aid":{"alt":"Five legal prunings and their cost-error frontier","description":"The finite candidate tree determines which subsets are legal prunings. The frontier compares all five choices and shows the declared budget optimum.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11]}]}},"local_update":{"name":"local_update","plate":23,"source":"papers/paper-viii/current/editable/visual_guide/graphics/local_update.tex","source_sha256":"86f0825faa42d1f5c306239fb3308aea46846d93f8a0f93c2b2f3735340e5026","image":"assets/atlas/paper-viii/local_update.png","image_sha256":"94d9ce15def6f79039d9670e76a52e43d8ebfdab595d040bbe9759c1afcf7cd0","pdf_page":25,"crop_pdf_points":[104,178,518,309],"nodes":[{"text":"$a0$","source_text":"$a0$","position":[1.5,4.0],"line":3},{"text":"2","source_text":"2","position":[1.5,2.75],"line":5},{"text":"3","source_text":"3","position":[1.5,1.6],"line":7},{"text":"$a1$","source_text":"$a1$","position":[3.4,4.0],"line":8},{"text":"2","source_text":"2","position":[3.4,2.75],"line":10},{"text":"2","source_text":"2","position":[3.4,1.6],"line":12},{"text":"$a$","source_text":"$a$","position":[5.3,4.0],"line":13},{"text":"4","source_text":"4","position":[5.3,2.75],"line":15},{"text":"5","source_text":"5","position":[5.3,1.6],"line":17},{"text":"$b0$","source_text":"$b0$","position":[7.2,4.0],"line":18},{"text":"2","source_text":"2","position":[7.2,2.75],"line":20},{"text":"2","source_text":"2","position":[7.2,1.6],"line":22},{"text":"$b1$","source_text":"$b1$","position":[9.1,4.0],"line":23},{"text":"3","source_text":"3","position":[9.1,2.75],"line":25},{"text":"3","source_text":"3","position":[9.1,1.6],"line":27},{"text":"$b$","source_text":"$b$","position":[11.0,4.0],"line":28},{"text":"5","source_text":"5","position":[11.0,2.75],"line":30},{"text":"5","source_text":"5","position":[11.0,1.6],"line":32},{"text":"$r$","source_text":"$r$","position":[12.9,4.0],"line":33},{"text":"10","source_text":"10","position":[12.9,2.75],"line":35},{"text":"11","source_text":"11","position":[12.9,1.6],"line":37},{"text":"Top: old values. Bottom: new values. Only a0, a, and r change.","source_text":"Top: old values. Bottom: new values. Only a0, a, and r change.","position":[7.0,0.45],"line":38}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],"reading_aid":{"alt":"Node costs before and after a local change","description":"The upper row shows old node costs and the lower row the new costs. Only the named leaf, its parent and the root change. The other displayed node values are reused.","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]}]}},"batch_shapes":{"name":"batch_shapes","plate":24,"source":"papers/paper-viii/current/editable/visual_guide/graphics/batch_shapes.tex","source_sha256":"1b555147f9ecebcb86d1342759c00b9a4786a742dbce846477f53a6bd8870edd","image":"assets/atlas/paper-viii/batch_shapes.png","image_sha256":"f4a5e2f456f6f6da4f6ef888be167ae0a57f112a249f705254a7213243620560","pdf_page":26,"crop_pdf_points":[102,173,499,333],"nodes":[{"text":"2$\\times$2","source_text":"2$\\times$2","position":[1.17,4.6],"line":3},{"text":"$1$","source_text":"$1$","position":[0.96,3.69],"line":5},{"text":"$1$","source_text":"$1$","position":[1.38,3.69],"line":7},{"text":"$1$","source_text":"$1$","position":[0.96,3.27],"line":9},{"text":"$1$","source_text":"$1$","position":[1.38,3.27],"line":11},{"text":"task 1","source_text":"task 1","position":[1.3,1.8],"line":12},{"text":"2$\\times$3","source_text":"2$\\times$3","position":[3.58,4.6],"line":13},{"text":"$1$","source_text":"$1$","position":[3.16,3.69],"line":15},{"text":"$1$","source_text":"$1$","position":[3.58,3.69],"line":17},{"text":"$1$","source_text":"$1$","position":[4.0,3.69],"line":19},{"text":"$1$","source_text":"$1$","position":[3.16,3.27],"line":21},{"text":"$1$","source_text":"$1$","position":[3.58,3.27],"line":23},{"text":"$1$","source_text":"$1$","position":[4.0,3.27],"line":25},{"text":"task 2","source_text":"task 2","position":[3.5,1.8],"line":26},{"text":"3$\\times$2","source_text":"3$\\times$2","position":[5.57,4.6],"line":27},{"text":"$1$","source_text":"$1$","position":[5.36,3.69],"line":29},{"text":"$1$","source_text":"$1$","position":[5.78,3.69],"line":31},{"text":"$1$","source_text":"$1$","position":[5.36,3.27],"line":33},{"text":"$1$","source_text":"$1$","position":[5.78,3.27],"line":35},{"text":"$1$","source_text":"$1$","position":[5.36,2.85],"line":37},{"text":"$1$","source_text":"$1$","position":[5.78,2.85],"line":39},{"text":"task 3","source_text":"task 3","position":[5.7,1.8],"line":40},{"text":"2$\\times$2","source_text":"2$\\times$2","position":[7.77,4.6],"line":41},{"text":"$1$","source_text":"$1$","position":[7.56,3.69],"line":43},{"text":"$1$","source_text":"$1$","position":[7.98,3.69],"line":45},{"text":"$1$","source_text":"$1$","position":[7.56,3.27],"line":47},{"text":"$1$","source_text":"$1$","position":[7.98,3.27],"line":49},{"text":"task 4","source_text":"task 4","position":[7.9,1.8],"line":50},{"text":"3$\\times$2","source_text":"3$\\times$2","position":[9.97,4.6],"line":51},{"text":"$1$","source_text":"$1$","position":[9.76,3.69],"line":53},{"text":"$1$","source_text":"$1$","position":[10.18,3.69],"line":55},{"text":"$1$","source_text":"$1$","position":[9.76,3.27],"line":57},{"text":"$1$","source_text":"$1$","position":[10.18,3.27],"line":59},{"text":"$1$","source_text":"$1$","position":[9.76,2.85],"line":61},{"text":"$1$","source_text":"$1$","position":[10.18,2.85],"line":63},{"text":"task 5","source_text":"task 5","position":[10.1,1.8],"line":64},{"text":"2$\\times$3","source_text":"2$\\times$3","position":[12.38,4.6],"line":65},{"text":"$1$","source_text":"$1$","position":[11.96,3.69],"line":67},{"text":"$1$","source_text":"$1$","position":[12.38,3.69],"line":69},{"text":"$1$","source_text":"$1$","position":[12.8,3.69],"line":71},{"text":"$1$","source_text":"$1$","position":[11.96,3.27],"line":73},{"text":"$1$","source_text":"$1$","position":[12.38,3.27],"line":75},{"text":"$1$","source_text":"$1$","position":[12.8,3.27],"line":77},{"text":"task 6","source_text":"task 6","position":[12.3,1.8],"line":78},{"text":"Three shape classes, six independent tasks.","source_text":"Three shape classes, six independent tasks.","position":[7.0,0.95],"line":79},{"text":"Grouping does not remove arithmetic, data transfer, or shared-output dependencies.","source_text":"Grouping does not remove arithmetic, data transfer, or shared-output dependencies.","position":[7.0,0.1],"line":80}],"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,32,33,34,35,36,37,38,39,40,41,42,43,44,45],"reading_aid":{"alt":"Shape batches and declared memory traffic","description":"Matrices of compatible shapes can share launches. The diagram keeps launch counts and data movement as separate costs in the stated model.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",1,2],["Row 2",3,4]]},{"kind":"text","nodes":[5,6]},{"kind":"table","caption":"Drawing grid 2 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",7,8,9],["Row 2",10,11,12]]},{"kind":"text","nodes":[13,14]},{"kind":"table","caption":"Drawing grid 3 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",15,16],["Row 2",17,18],["Row 3",19,20]]},{"kind":"text","nodes":[21,22]},{"kind":"table","caption":"Drawing grid 4 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",23,24],["Row 2",25,26]]},{"kind":"text","nodes":[27,28]},{"kind":"table","caption":"Drawing grid 5 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2"],"rows":[["Row 1",29,30],["Row 2",31,32],["Row 3",33,34]]},{"kind":"text","nodes":[35,36]},{"kind":"table","caption":"Drawing grid 6 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3"],"rows":[["Row 1",37,38,39],["Row 2",40,41,42]]},{"kind":"text","nodes":[43,44,45]}]}},"amortization":{"name":"amortization","plate":25,"source":"papers/paper-viii/current/editable/visual_guide/graphics/amortization.tex","source_sha256":"a4a63d154ef1df3904bb7ca67d21dfbb29265ffd266c89a5e09fbd6ae1cb7b11","image":"assets/atlas/paper-viii/amortization.png","image_sha256":"de53a1e1893137c07796e90f19c8779718330d891cd861f15567ac60e8e53054","pdf_page":27,"crop_pdf_points":[89,204,495,351],"nodes":[{"text":"0","source_text":"0","position":[0.9,0.54],"line":5},{"text":"3","source_text":"3","position":[2.9,0.54],"line":8},{"text":"6","source_text":"6","position":[4.9,0.54],"line":11},{"text":"9","source_text":"9","position":[6.9,0.54],"line":14},{"text":"12","source_text":"12","position":[8.9,0.54],"line":17},{"text":"0","source_text":"0","position":[0.74,0.8],"line":19},{"text":"30","source_text":"30","position":[0.74,1.85],"line":21},{"text":"60","source_text":"60","position":[0.74,2.9],"line":23},{"text":"90","source_text":"90","position":[0.74,3.95],"line":25},{"text":"reuse count $R$","source_text":"reuse count $R$","position":[4.9,0.25],"line":28},{"text":"toy time units","source_text":"toy time units","position":[0.9,4.35],"line":29},{"text":"solid: $7R$","source_text":"solid: $7R$","position":[11.6,3.4],"line":33},{"text":"dashed: $30+2R$","source_text":"dashed: $30+2R$","position":[11.6,2.3],"line":34},{"text":"tie at $6$\\newline first win at $7$","source_text":"tie at $6$\\\\first win at $7$","position":[11.6,1.2],"line":35}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13],"reading_aid":{"alt":"Setup cost and the first reuse win","description":"The two affine cost models are compared at integer reuse counts. A tie is separate from the first strict win; these lines are modeled costs rather than timings.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13]}]}},"contract_match":{"name":"contract_match","plate":26,"source":"papers/paper-viii/current/editable/visual_guide/graphics/contract_match.tex","source_sha256":"48ce14e39e95ce8ab1678be786e81518966085dffd98b9fcd347a36abddcbf81","image":"assets/atlas/paper-viii/contract_match.png","image_sha256":"2b9281e0375f541ad0a195a297994249e37cc6d227a50daccfd725259f5e9314","pdf_page":28,"crop_pdf_points":[93,188,497,339],"nodes":[{"text":"row","source_text":"row","position":[1.1,4.1],"line":3},{"text":"output","source_text":"output","position":[3.95,4.1],"line":4},{"text":"scope","source_text":"scope","position":[8.55,4.1],"line":5},{"text":"time","source_text":"time","position":[11.95,4.1],"line":6},{"text":"A","source_text":"A","position":[1.1,3.2],"line":8},{"text":"explicit matrix","source_text":"explicit matrix","position":[3.95,3.2],"line":10},{"text":"materialization included","source_text":"materialization included","position":[8.55,3.2],"line":12},{"text":"12","source_text":"12","position":[11.95,3.2],"line":14},{"text":"B","source_text":"B","position":[1.1,2.4],"line":16},{"text":"low-rank factors","source_text":"low-rank factors","position":[3.95,2.4],"line":18},{"text":"factor product only","source_text":"factor product only","position":[8.55,2.4],"line":20},{"text":"2","source_text":"2","position":[11.95,2.4],"line":22},{"text":"C","source_text":"C","position":[1.1,1.6],"line":24},{"text":"explicit matrix","source_text":"explicit matrix","position":[3.95,1.6],"line":26},{"text":"factor product + decode","source_text":"factor product + decode","position":[8.55,1.6],"line":28},{"text":"14","source_text":"14","position":[11.95,1.6],"line":30},{"text":"D","source_text":"D","position":[1.1,0.8],"line":32},{"text":"explicit matrix","source_text":"explicit matrix","position":[3.95,0.8],"line":34},{"text":"different input precision","source_text":"different input precision","position":[8.55,0.8],"line":36},{"text":"1","source_text":"1","position":[11.95,0.8],"line":38},{"text":"Synthetic times: A versus C is contract-aligned. A versus B is not a sixfold speedup.","source_text":"Synthetic times: A versus C is contract-aligned. A versus B is not a sixfold speedup.","position":[7.0,-0.1],"line":39}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],"reading_aid":{"alt":"Matching output contracts before comparing methods","description":"Each route identifies the object it returns. A timing comparison requires the same requested output, validation target and measurement conditions.","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]}]}},"end_to_end":{"name":"end_to_end","plate":27,"source":"papers/paper-viii/current/editable/visual_guide/graphics/end_to_end.tex","source_sha256":"12fa24c590b3a61503f1283e22f3a319a5dfd468db42c27a987fb435ace57358","image":"assets/atlas/paper-viii/end_to_end.png","image_sha256":"9be080d999b5c92210985e56f6924211b47cdf8bc7f11519cf8a125f6bcd855e","pdf_page":29,"crop_pdf_points":[101,195,472,356],"nodes":[{"text":"$V_C^Tx$","source_text":"$V_C^Tx$","position":[1.075,4.35],"line":3},{"text":"$2$","source_text":"$2$","position":[1.075,3.275],"line":5},{"text":"$13$","source_text":"$13$","position":[1.075,2.525],"line":7},{"text":"$D_AD_Bx$","source_text":"$D_AD_Bx$","position":[4.355,4.55],"line":8},{"text":"$1$","source_text":"$1$","position":[4.355,3.595],"line":10},{"text":"$-5$","source_text":"$-5$","position":[4.355,3.085],"line":12},{"text":"$18$","source_text":"$18$","position":[4.355,2.575],"line":14},{"text":"$6$","source_text":"$6$","position":[4.355,2.065],"line":16},{"text":"$-12$","source_text":"$-12$","position":[4.355,1.555],"line":18},{"text":"$44$","source_text":"$44$","position":[4.355,1.045],"line":20},{"text":"$U_C(V_C^Tx)$","source_text":"$U_C(V_C^Tx)$","position":[7.555,4.55],"line":21},{"text":"$25$","source_text":"$25$","position":[7.555,3.595],"line":23},{"text":"$21$","source_text":"$21$","position":[7.555,3.085],"line":25},{"text":"$25$","source_text":"$25$","position":[7.555,2.575],"line":27},{"text":"$21$","source_text":"$21$","position":[7.555,2.065],"line":29},{"text":"$25$","source_text":"$25$","position":[7.555,1.555],"line":31},{"text":"$21$","source_text":"$21$","position":[7.555,1.045],"line":33},{"text":"$(AB)x$","source_text":"$(AB)x$","position":[10.805,4.55],"line":34},{"text":"$26$","source_text":"$26$","position":[10.805,3.595],"line":36},{"text":"$16$","source_text":"$16$","position":[10.805,3.085],"line":38},{"text":"$43$","source_text":"$43$","position":[10.805,2.575],"line":40},{"text":"$27$","source_text":"$27$","position":[10.805,2.065],"line":42},{"text":"$13$","source_text":"$13$","position":[10.805,1.555],"line":44},{"text":"$65$","source_text":"$65$","position":[10.805,1.045],"line":46},{"text":"Two intermediate scalars and six output coordinates, with an exact dense reference.","source_text":"Two intermediate scalars and six output coordinates, with an exact dense reference.","position":[7.0,0.1],"line":47}],"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],"reading_aid":{"alt":"Local and thin contributions to one exact output","description":"The displayed calculation follows the running input through the local product and low-rank correction. Their sum is compared with an independent dense reference.","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,23,24]}]}},"complex_core":{"name":"complex_core","plate":29,"source":"papers/paper-viii/current/editable/visual_guide/graphics/complex_core.tex","source_sha256":"c450ffe53b9cd22c690656bf7a734522b166250447c543e4d8c8ef9db0b176e3","image":"assets/atlas/paper-viii/complex_core.png","image_sha256":"e7ed1e321325f48aba95791a22d0d3152eb717167ea9eb7421019ae18416dae9","pdf_page":31,"crop_pdf_points":[83,293,526,460],"nodes":[{"text":"$A^*A=\\operatorname{diag}(25,4)$","source_text":"$A^*A=\\operatorname{diag}(25,4)$","position":[0.0,3.4],"line":2},{"text":"retained singular directions","source_text":"retained singular directions","position":null,"line":3},{"text":"squared error","source_text":"squared error","position":null,"line":4},{"text":"$0$","source_text":"$0$","position":[1.0,0.0],"line":7,"loop_bindings":{"\\x":"1","\\y":"2.03","\\n":"0","\\v":"29"}},{"text":"$29$","source_text":"$29$","position":[1.0,2.03],"line":7,"loop_bindings":{"\\x":"1","\\y":"2.03","\\n":"0","\\v":"29"}},{"text":"$1$","source_text":"$1$","position":[3.5,0.0],"line":7,"loop_bindings":{"\\x":"3.5","\\y":".28","\\n":"1","\\v":"4"}},{"text":"$4$","source_text":"$4$","position":[3.5,0.28],"line":7,"loop_bindings":{"\\x":"3.5","\\y":".28","\\n":"1","\\v":"4"}},{"text":"$2$","source_text":"$2$","position":[6.0,0.0],"line":7,"loop_bindings":{"\\x":"6","\\y":"0","\\n":"2","\\v":"0"}},{"text":"$0$","source_text":"$0$","position":[6.0,0.0],"line":7,"loop_bindings":{"\\x":"6","\\y":"0","\\n":"2","\\v":"0"}},{"text":"$Q_L^*Q_L=I\\qquad Q_L^TQ_L=\\operatorname{diag}(-7/25,1)$","source_text":"$Q_L^*Q_L=I\\qquad Q_L^TQ_L=\\operatorname{diag}(-7/25,1)$","position":[0.0,-0.9],"line":8}],"node_order":[0,1,2,3,4,5,6,7,8,9],"reading_aid":{"alt":"Complex range coordinates and squared approximation error","description":"The plotted errors correspond to retaining zero, one or two singular directions. The matrix labels distinguish Hermitian isometry from an incorrect transpose convention.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9]}]}},"inverse_closure":{"name":"inverse_closure","plate":30,"source":"papers/paper-viii/current/editable/visual_guide/graphics/inverse_closure.tex","source_sha256":"f461bedc7a5d0028880b148623363a187081a08d60cbe2b95476c97125de0cd4","image":"assets/atlas/paper-viii/inverse_closure.png","image_sha256":"18600b1c2fcb8d64e1b0ea3ceffa25eebe105e3319a74ba5b6ee3cc6afa7cbef","pdf_page":32,"crop_pdf_points":[176,311,428,438],"nodes":[{"text":"$0$","source_text":"$0$","position":[0.0,1.0],"line":3,"loop_bindings":{"\\x":"0","\\y":"1","\\n":"0"}},{"text":"$1$","source_text":"$1$","position":[2.0,2.0],"line":3,"loop_bindings":{"\\x":"2","\\y":"2","\\n":"1"}},{"text":"$2$","source_text":"$2$","position":[2.0,0.0],"line":3,"loop_bindings":{"\\x":"2","\\y":"0","\\n":"2"}},{"text":"$3$","source_text":"$3$","position":[4.0,1.0],"line":3,"loop_bindings":{"\\x":"4","\\y":"1","\\n":"3"}},{"text":"$1$","source_text":"$1$","position":null,"line":4},{"text":"$1$","source_text":"$1$","position":null,"line":5},{"text":"$1$","source_text":"$1$","position":null,"line":6},{"text":"$-1$","source_text":"$-1$","position":null,"line":7},{"text":"closure permits $0\\to3$","source_text":"closure permits $0\\to3$","position":[2.0,2.8],"line":9},{"text":"$K^2=0$","source_text":"$K^2=0$","position":[5.0,1.8],"line":10},{"text":"$A^{-1}=I-K$","source_text":"$A^{-1}=I-K$","position":[5.0,1.0],"line":11},{"text":"$(A^{-1})_{30}=0$","source_text":"$(A^{-1})_{30}=0$","position":[5.0,0.2],"line":12}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11],"reading_aid":{"alt":"A closure-allowed inverse entry that vanishes","description":"The graph has two signed routes to the final vertex. The dashed closure edge permits that address structurally, while the exact inverse entry is zero by cancellation.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11]}]}},"shared_family":{"name":"shared_family","plate":31,"source":"papers/paper-viii/current/editable/visual_guide/graphics/shared_family.tex","source_sha256":"410487aef8b94ad23e06d2734d38ed2115bc1bb4a2d5b106c6b4d886858d2f47","image":"assets/atlas/paper-viii/shared_family.png","image_sha256":"b9024054e27b3f3574fd9f7589cd0886382b22d1fc34ff371914bd8dffcb2959","pdf_page":33,"crop_pdf_points":[196,259,413,401],"nodes":[{"text":"$r_2$","source_text":"$r_2$","position":null,"line":2},{"text":"modeled cost","source_text":"modeled cost","position":null,"line":3},{"text":"$6+7r_2$ : keep","source_text":"$6+7r_2$ : keep","position":null,"line":4},{"text":"$10+2r_2$ : split","source_text":"$10+2r_2$ : split","position":null,"line":5},{"text":"$4/5$","source_text":"$4/5$","position":[0.8,0.0],"line":7},{"text":"$0$","source_text":"$0$","position":[0.0,-0.1],"line":8,"loop_bindings":{"\\x":"0"}},{"text":"$2$","source_text":"$2$","position":[2.0,-0.1],"line":8,"loop_bindings":{"\\x":"2"}},{"text":"$3$","source_text":"$3$","position":[3.0,-0.1],"line":8,"loop_bindings":{"\\x":"3"}},{"text":"$4$","source_text":"$4$","position":[4.0,-0.1],"line":8,"loop_bindings":{"\\x":"4"}},{"text":"$27$","source_text":"$27$","position":[3.0,2.7],"line":10},{"text":"$16$","source_text":"$16$","position":[3.0,1.6],"line":10}],"node_order":[0,1,2,3,4,5,6,7,8,9,10],"reading_aid":{"alt":"One common pruning under changing reuse weights","description":"Solid and dashed affine cost lines compare keeping and splitting the same supplied tree. Their crossing and the marked integer samples determine the declared shared optimum.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10]}]}},"quantization":{"name":"quantization","plate":32,"source":"papers/paper-viii/current/editable/visual_guide/graphics/quantization.tex","source_sha256":"064730e54c926564642da3f558b5d17cc994c35ccfbebd7aa8254ce1766ee577","image":"assets/atlas/paper-viii/quantization.png","image_sha256":"5e730e7a595b2a89463e0beef427e452c85eb2b984800c1f02755d14e8f5a37d","pdf_page":34,"crop_pdf_points":[85,213,523,445],"nodes":[{"text":"actual error sum\\quad versus\\quad ceiling envelope","source_text":"actual error sum\\quad versus\\quad ceiling envelope","position":[0.0,3.2],"line":2},{"text":"error","source_text":"error","position":null,"line":3},{"text":"$0$","source_text":"$0$","position":[0.0,-0.1],"line":4,"loop_bindings":{"\\x":"0","\\v":"0"}},{"text":"$1/10$","source_text":"$1/10$","position":[2.0,-0.1],"line":4,"loop_bindings":{"\\x":"2","\\v":"1/10"}},{"text":"$1/5$","source_text":"$1/5$","position":[4.0,-0.1],"line":4,"loop_bindings":{"\\x":"4","\\v":"1/5"}},{"text":"budget","source_text":"budget","position":[2.0,2.2],"line":5},{"text":"$7/50>1/10$","source_text":"$7/50>1/10$","position":[4.3,1.6],"line":7},{"text":"$2/25\\le1/10$","source_text":"$2/25\\le1/10$","position":[4.3,0.8],"line":9},{"text":"Both ceiling envelopes are $h(1+1)=1/5$.","source_text":"Both ceiling envelopes are $h(1+1)=1/5$.","position":[0.0,-1.1],"line":11}],"node_order":[0,1,2,3,4,5,6,7,8],"reading_aid":{"alt":"Actual error sums and conservative ceiling envelopes","description":"Solid segments show the actual sums and dashed segments their ceiling envelopes. A sound integer budget can reject a feasible real assignment; rounding down can instead give a false certificate.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8]}]}}},"included_sources":{},"manuscript_references":{"1":[["Section 2","read/paper-viii/packet-operators.html#L56"],["Section 3","read/paper-viii/arithmetic-storage-and-movement.html#L245"],["Section F","read/paper-viii/appendix-small-core-recompression.html#L1"]],"2":[["Definition 2.1","read/paper-viii/packet-operators.html#L60"],["Definition 2.2","read/paper-viii/packet-operators.html#L78"],["Definition 2.7","read/paper-viii/packet-operators.html#L221"],["Section 8","read/paper-viii/mixed-precision.html#L1250"],["Section 9","read/paper-viii/exact-compilation.html#L1459"],["Section 11","read/paper-viii/benchmark-contracts.html#L1808"]],"3":[["Theorem 2.3","read/paper-viii/packet-operators.html#L101"],["Theorem 3.4","read/paper-viii/arithmetic-storage-and-movement.html#L315"]],"4":[["Theorem 3.1","read/paper-viii/arithmetic-storage-and-movement.html#L249"],["Corollary 3.2","read/paper-viii/arithmetic-storage-and-movement.html#L282"],["Theorem 3.4","read/paper-viii/arithmetic-storage-and-movement.html#L315"],["Corollary 3.9","read/paper-viii/arithmetic-storage-and-movement.html#L426"],["Proposition 4.1","read/paper-viii/structured-primitives.html#L457"]],"5":[["Theorem 4.3","read/paper-viii/structured-primitives.html#L516"]],"6":[["Corollary 4.4","read/paper-viii/structured-primitives.html#L563"]],"7":[["Theorem 4.5","read/paper-viii/structured-primitives.html#L586"],["Corollary 4.6","read/paper-viii/structured-primitives.html#L613"]],"8":[["Theorem 4.7","read/paper-viii/structured-primitives.html#L627"]],"9":[["Theorem 5.1","read/paper-viii/low-rank-algebra.html#L667"],["Corollary 5.2","read/paper-viii/low-rank-algebra.html#L714"]],"10":[["Theorem 5.3","read/paper-viii/low-rank-algebra.html#L737"],["Corollary 5.4","read/paper-viii/low-rank-algebra.html#L763"]],"11":[["Theorem 5.6","read/paper-viii/low-rank-algebra.html#L803"],["Subsection F.1","read/paper-viii/appendix-small-core-recompression.html#L4"]],"12":[["Theorem 5.6","read/paper-viii/low-rank-algebra.html#L803"],["Subsection F.2","read/paper-viii/appendix-small-core-recompression.html#L42"],["Subsection F.3","read/paper-viii/appendix-small-core-recompression.html#L86"],["Subsection F.4","read/paper-viii/appendix-small-core-recompression.html#L122"]],"13":[["Theorem 5.8","read/paper-viii/low-rank-algebra.html#L858"],["Theorem 5.9","read/paper-viii/low-rank-algebra.html#L899"]],"14":[["Theorem 2.5","read/paper-viii/packet-operators.html#L152"],["Theorem 6.1","read/paper-viii/transfer-graphs.html#L950"],["Corollary 6.3","read/paper-viii/transfer-graphs.html#L992"]],"15":[["Theorem 6.5","read/paper-viii/transfer-graphs.html#L1016"],["Corollary 6.6","read/paper-viii/transfer-graphs.html#L1036"],["Theorem 10.3","read/paper-viii/device-scheduling.html#L1742"]],"16":[["Theorem 6.7","read/paper-viii/transfer-graphs.html#L1053"],["Proposition 6.8","read/paper-viii/transfer-graphs.html#L1070"]],"17":[["Proposition 7.2","read/paper-viii/krylov-and-preconditioning.html#L1104"],["Theorem 7.3","read/paper-viii/krylov-and-preconditioning.html#L1142"]],"18":[["Theorem 7.4","read/paper-viii/krylov-and-preconditioning.html#L1178"],["Corollary 7.6","read/paper-viii/krylov-and-preconditioning.html#L1237"],["Standard fact 7.5","read/paper-viii/krylov-and-preconditioning.html#L1209"]],"19":[["Theorem 8.1","read/paper-viii/mixed-precision.html#L1254"],["Proposition 9.2","read/paper-viii/exact-compilation.html#L1467"]],"20":[["Theorem 8.4","read/paper-viii/mixed-precision.html#L1335"],["Theorem 8.5","read/paper-viii/mixed-precision.html#L1371"]],"21":[["Theorem 8.7","read/paper-viii/mixed-precision.html#L1425"],["Remark 8.8","read/paper-viii/mixed-precision.html#L1455"]],"22":[["Theorem 9.4","read/paper-viii/exact-compilation.html#L1527"],["Corollary 9.7","read/paper-viii/exact-compilation.html#L1643"],["Theorem 9.8","read/paper-viii/exact-compilation.html#L1657"]],"23":[["Theorem 9.11","read/paper-viii/exact-compilation.html#L1702"],["Theorem 9.12","read/paper-viii/exact-compilation.html#L1710"]],"24":[["Proposition 3.6","read/paper-viii/arithmetic-storage-and-movement.html#L365"],["Theorem 3.8","read/paper-viii/arithmetic-storage-and-movement.html#L396"],["Proposition 10.2","read/paper-viii/device-scheduling.html#L1730"]],"25":[["Theorem 10.4","read/paper-viii/device-scheduling.html#L1752"],["Corollary 10.5","read/paper-viii/device-scheduling.html#L1783"],["Corollary 10.6","read/paper-viii/device-scheduling.html#L1795"]],"26":[["Proposition 2.9","read/paper-viii/packet-operators.html#L229"],["Section 11","read/paper-viii/benchmark-contracts.html#L1808"],["Section 12","read/paper-viii/recorded-measurements.html#L1857"]],"27":[["Theorem 2.3","read/paper-viii/packet-operators.html#L101"],["Theorem 3.4","read/paper-viii/arithmetic-storage-and-movement.html#L315"],["Theorem 5.1","read/paper-viii/low-rank-algebra.html#L667"]],"28":[["Section 13","read/paper-viii/implementation.html#L2030"],["Section 14","read/paper-viii/boundaries.html#L2066"],["Subsection F.6","read/paper-viii/appendix-small-core-recompression.html#L200"],["Subsection F.7","read/paper-viii/appendix-small-core-recompression.html#L235"]],"29":[["Theorem 5.6","read/paper-viii/low-rank-algebra.html#L803"],["Subsection F.1","read/paper-viii/appendix-small-core-recompression.html#L4"],["Subsection F.2","read/paper-viii/appendix-small-core-recompression.html#L42"]],"30":[["Theorem 6.7","read/paper-viii/transfer-graphs.html#L1053"],["Theorem 6.1","read/paper-viii/transfer-graphs.html#L950"],["Corollary 6.3","read/paper-viii/transfer-graphs.html#L992"]],"31":[["Corollary 9.5","read/paper-viii/exact-compilation.html#L1578"],["Theorem 9.4","read/paper-viii/exact-compilation.html#L1527"]],"32":[["Theorem 8.7","read/paper-viii/mixed-precision.html#L1425"],["Theorem 9.8","read/paper-viii/exact-compilation.html#L1657"],["Corollary 9.9","read/paper-viii/exact-compilation.html#L1675"]]},"new_proof_review":false,"new_lean_execution":false,"new_mathematical_example_execution":false,"new_tex_build":false,"edition_checks":{"inherited_crosswalk_pdf_sha256":"63d0a88a9f5e055c9ddb4e862cb8ee7549342c8bb890c2f15c1c035423097801","retained_pdf_sha256":"a78f1c18c7c36cecbaf9484bc6dc643300c3b5054df338f48be6390af5e520c7","crosswalk_pdf_checksum_current":true,"current_crosswalk_source":"publication/paper-viii-visual-crosswalk/VISUAL_TO_TRADITIONAL_CROSSWALK_v2.json","pdf_page_checks":[{"plate":1,"pdf_page":3,"title":"Compute the representation first","locator":"Traditional pp. 7, 10, 79 / Section 2, Section 3, Appendix F."},{"plate":2,"pdf_page":4,"title":"The objects and their contracts","locator":"Traditional pp. 7, 9, 26, 30, 36 / Definition 2.1, Definition 2.2, Definition 2.7, Section 8, Section 9, Section 11."},{"plate":3,"pdf_page":5,"title":"A dense-looking matrix, one scalar coupling","locator":"Traditional pp. 7, 11 / Theorem 2.3, Theorem 3.4."},{"plate":4,"pdf_page":6,"title":"Work removed is not time measured","locator":"Traditional pp. 10, 11, 12, 13 / Theorem 3.1, Corollary 3.2, Theorem 3.4, Corollary 3.9, Proposition 4.1."},{"plate":5,"pdf_page":7,"title":"Four coefficients, four exact frequencies","locator":"Traditional p. 14 / Theorem 4.3."},{"plate":6,"pdf_page":8,"title":"Padding is part of the theorem","locator":"Traditional p. 15 / Corollary 4.4."},{"plate":7,"pdf_page":9,"title":"A transpose, not an adjoint","locator":"Traditional p. 15 / Theorem 4.5, Corollary 4.6."},{"plate":8,"pdf_page":10,"title":"See every butterfly value","locator":"Traditional p. 16 / Theorem 4.7."},{"plate":9,"pdf_page":11,"title":"The cross term has somewhere to go","locator":"Traditional pp. 16, 17 / Theorem 5.1, Corollary 5.2."},{"plate":10,"pdf_page":12,"title":"A large inverse, a small denominator","locator":"Traditional p. 18 / Theorem 5.3, Corollary 5.4."},{"plate":11,"pdf_page":13,"title":"Stored width is not intrinsic rank","locator":"Traditional pp. 18, 79 / Theorem 5.6, Section F.1."},{"plate":12,"pdf_page":14,"title":"Why a core optimum is global","locator":"Traditional pp. 18, 80, 81 / Theorem 5.6, Section F.2, Section F.3, Section F.4."},{"plate":13,"pdf_page":15,"title":"Errors enter at different places","locator":"Traditional pp. 19, 20 / Theorem 5.8, Theorem 5.9."},{"plate":14,"pdf_page":16,"title":"Two routes can cancel exactly","locator":"Traditional pp. 8, 21 / Theorem 2.5, Theorem 6.1, Corollary 6.3."},{"plate":15,"pdf_page":17,"title":"A solve has a dependency clock","locator":"Traditional pp. 22, 35 / Theorem 6.5, Corollary 6.6, Theorem 10.3."},{"plate":16,"pdf_page":18,"title":"Elimination creates new interactions","locator":"Traditional p. 23 / Theorem 6.7, Proposition 6.8."},{"plate":17,"pdf_page":19,"title":"Invariant does not mean independently addressable","locator":"Traditional p. 24 / Proposition 7.2, Theorem 7.3."},{"plate":18,"pdf_page":20,"title":"Measure coupling after normalization","locator":"Traditional p. 25 / Theorem 7.4, Corollary 7.6, Classical input 7.5."},{"plate":19,"pdf_page":21,"title":"Twelve small blocks, one coherent error","locator":"Traditional pp. 26, 30 / Theorem 8.1, Proposition 9.2."},{"plate":20,"pdf_page":22,"title":"Spend error where it is cheapest","locator":"Traditional pp. 27, 28 / Theorem 8.4, Theorem 8.5."},{"plate":21,"pdf_page":23,"title":"An exact budget is not a greedy choice","locator":"Traditional p. 29 / Theorem 8.7, Remark 8.8."},{"plate":22,"pdf_page":24,"title":"A penalty can miss the budget optimum","locator":"Traditional pp. 31, 32, 33 / Theorem 9.4, Corollary 9.7, Theorem 9.8."},{"plate":23,"pdf_page":25,"title":"Recompile the changed part, not everything","locator":"Traditional pp. 33, 34 / Theorem 9.11, Theorem 9.12."},{"plate":24,"pdf_page":26,"title":"Batch shapes, account for traffic","locator":"Traditional pp. 11, 12, 35 / Proposition 3.6, Theorem 3.8, Proposition 10.2."},{"plate":25,"pdf_page":27,"title":"The first win comes after the tie","locator":"Traditional pp. 35, 36 / Theorem 10.4, Corollary 10.5, Corollary 10.6."},{"plate":26,"pdf_page":28,"title":"Same output before comparing times","locator":"Traditional pp. 9, 36, 37 / Proposition 2.9, Section 11, Section 12."},{"plate":27,"pdf_page":29,"title":"Close the loop on the running example","locator":"Traditional pp. 7, 11, 16 / Theorem 2.3, Theorem 3.4, Theorem 5.1."},{"plate":28,"pdf_page":30,"title":"What this edition certifies","locator":"Traditional pp. 41, 42, 83, 84 / Section 13, Section 14, Section F.6, Section F.7."},{"plate":29,"pdf_page":31,"title":"A complex range needs an adjoint","locator":"Traditional pp. 18, 79, 80 / Theorem 5.6, Section F.1, Section F.2."},{"plate":30,"pdf_page":32,"title":"Inverse reachability is still an inclusion","locator":"Traditional pp. 21, 23 / Theorem 6.7, Theorem 6.1, Corollary 6.3."},{"plate":31,"pdf_page":33,"title":"One tree can serve a weighted family","locator":"Traditional p. 31 / Corollary 9.5, Theorem 9.4."},{"plate":32,"pdf_page":34,"title":"Safe integers can still be conservative","locator":"Traditional pp. 29, 33 / Theorem 8.7, Theorem 9.8, Corollary 9.9."}],"inherited_reference_kind_translation":{"fact:cg":{"crosswalk":"Classical input","manuscript":"Standard fact"}},"isolated_drawing_objects":{"triangular":{"scale":1.12102,"objects":48}},"manuscript_targets":"Stable labels, statement numbers, kinds and titles independently rechecked against the retained manuscript source"}}