[{"source":"monographs/special-functions/monograph/monograph-design.tex","url":"read/monographs-special-functions/preface.html","title":"Preface","start_line":108,"end_line":120,"parent":"read/monographs-special-functions/index.html","source_sha256":"39c993200341a1d3d97b2d6e6053ed1d05badd9a2289a58d2308edd1a189dcc7","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L108","line":108,"end_line":108,"kind":"section"},{"id":"L109","line":109,"end_line":109,"kind":"section"},{"id":"L110","line":110,"end_line":121,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/reading-map.html","title":"Reading map","start_line":29,"end_line":77,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":2,"math_sequence_sha256":"7c8ec0a93ea2c6a8a7d46d43c679aaddcdb86d8a530545b44ae383c55c5a12cf","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L29","line":29,"end_line":29,"kind":"section"},{"id":"L30","line":30,"end_line":30,"kind":"section"},{"id":"L31","line":31,"end_line":37,"kind":"text"},{"id":"L37","line":37,"end_line":37,"kind":"section"},{"id":"L38","line":38,"end_line":41,"kind":"text"},{"id":"L41","line":41,"end_line":58,"kind":"longtable"},{"id":"L60","line":60,"end_line":60,"kind":"paragraph"},{"id":"L61","line":61,"end_line":67,"kind":"text"},{"id":"L67","line":67,"end_line":67,"kind":"paragraph"},{"id":"L68","line":68,"end_line":77,"kind":"text"},{"id":"L77","line":77,"end_line":77,"kind":"section"},{"id":"L77-2","line":77,"end_line":78,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/contracted-feedback.html","title":"Contracted nonlinear feedback","start_line":78,"end_line":226,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":89,"math_sequence_sha256":"35a1f75bd8f4feeb8a99afd64e97557b789e038389752a32e7b0423b3ec63775","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L78","line":78,"end_line":78,"kind":"section"},{"id":"L79","line":79,"end_line":79,"kind":"subsection"},{"id":"L80","line":80,"end_line":86,"kind":"text"},{"id":"L86","line":86,"end_line":88,"kind":"figure"},{"id":"L89","line":89,"end_line":107,"kind":"text"},{"id":"L107","line":107,"end_line":107,"kind":"subsection"},{"id":"L108","line":108,"end_line":113,"kind":"text"},{"id":"L113","line":113,"end_line":115,"kind":"figure"},{"id":"L116","line":116,"end_line":122,"kind":"longtable"},{"id":"L124","line":124,"end_line":124,"kind":"paragraph"},{"id":"L125","line":125,"end_line":140,"kind":"text"},{"id":"L140","line":140,"end_line":140,"kind":"subsection"},{"id":"L141","line":141,"end_line":141,"kind":"paragraph"},{"id":"L142","line":142,"end_line":164,"kind":"text"},{"id":"L164","line":164,"end_line":164,"kind":"paragraph"},{"id":"L165","line":165,"end_line":174,"kind":"text"},{"id":"L174","line":174,"end_line":174,"kind":"paragraph"},{"id":"L175","line":175,"end_line":187,"kind":"text"},{"id":"L187","line":187,"end_line":187,"kind":"subsection"},{"id":"L188","line":188,"end_line":206,"kind":"text"},{"id":"L206","line":206,"end_line":209,"kind":"figure"},{"id":"L210","line":210,"end_line":226,"kind":"text"},{"id":"L226","line":226,"end_line":226,"kind":"section"},{"id":"L226-2","line":226,"end_line":227,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/dilation_growth.tex","url":"read/monographs-special-functions/dilation-growth.html","title":"Positive type and tap continuity","parent":"read/monographs-special-functions/contracted-feedback.html","source_sha256":"894a423387e865d30823e868ceb7bb0d50035c94d22926eb4bfe80df7a7454c3","math_expressions":41,"math_sequence_sha256":"9633ba31e0f3dad8374b177fe53a4071001d494825349c83eb661f543eb58df2","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":20,"kind":"text"},{"id":"L20","line":20,"end_line":23,"kind":"figure"},{"id":"L24","line":24,"end_line":24,"kind":"paragraph"},{"id":"L25","line":25,"end_line":38,"kind":"text"},{"id":"L38","line":38,"end_line":38,"kind":"subsection"},{"id":"L39","line":39,"end_line":62,"kind":"text"},{"id":"L62","line":62,"end_line":62,"kind":"paragraph"},{"id":"L63","line":63,"end_line":79,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/dilation_parameters.tex","url":"read/monographs-special-functions/dilation-parameters.html","title":"Recovering dilation parameters","parent":"read/monographs-special-functions/contracted-feedback.html","source_sha256":"f8059eab92379f6ea169043eb493e03634f0ec1177b05e9998b4f171906f056f","math_expressions":34,"math_sequence_sha256":"7801b6611c2ce97d0b254d50e9948ea0dc34801aa4654262df9359b55122f8f3","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":10,"kind":"text"},{"id":"L10","line":10,"end_line":12,"kind":"figure"},{"id":"L13","line":13,"end_line":22,"kind":"text"},{"id":"L22","line":22,"end_line":22,"kind":"subsection"},{"id":"L23","line":23,"end_line":36,"kind":"text"},{"id":"L36","line":36,"end_line":36,"kind":"paragraph"},{"id":"L37","line":37,"end_line":48,"kind":"text"},{"id":"L48","line":48,"end_line":48,"kind":"paragraph"},{"id":"L49","line":49,"end_line":57,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/arithmetic-depth.html","title":"Arithmetic at complex depth","start_line":227,"end_line":356,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":55,"math_sequence_sha256":"10701468a9adcba9df2e21915bfd3ef4c8a58752a05ebfaae803a5b794c8d695","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L227","line":227,"end_line":227,"kind":"section"},{"id":"L228","line":228,"end_line":228,"kind":"subsection"},{"id":"L229","line":229,"end_line":242,"kind":"text"},{"id":"L242","line":242,"end_line":245,"kind":"figure"},{"id":"L246","line":246,"end_line":263,"kind":"text"},{"id":"L263","line":263,"end_line":263,"kind":"subsection"},{"id":"L264","line":264,"end_line":281,"kind":"text"},{"id":"L281","line":281,"end_line":281,"kind":"paragraph"},{"id":"L282","line":282,"end_line":296,"kind":"text"},{"id":"L296","line":296,"end_line":296,"kind":"paragraph"},{"id":"L297","line":297,"end_line":303,"kind":"text"},{"id":"L303","line":303,"end_line":303,"kind":"subsection"},{"id":"L304","line":304,"end_line":326,"kind":"text"},{"id":"L326","line":326,"end_line":326,"kind":"paragraph"},{"id":"L327","line":327,"end_line":340,"kind":"text"},{"id":"L340","line":340,"end_line":340,"kind":"paragraph"},{"id":"L341","line":341,"end_line":357,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/arithmetic_inverse.tex","url":"read/monographs-special-functions/arithmetic-inverse.html","title":"Arithmetic inverse and character resolution","parent":"read/monographs-special-functions/arithmetic-depth.html","source_sha256":"36cbcf2fa16e7dd85bb0520fad324f9955d11051ace59a3597265fcbd73536b4","math_expressions":49,"math_sequence_sha256":"f38314a36d5635e7e5d0cdd51912fb174adece56244b0d782097ab67110579b0","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":44,"kind":"text"},{"id":"L44","line":44,"end_line":44,"kind":"subsection"},{"id":"L45","line":45,"end_line":48,"kind":"figure"},{"id":"L49","line":49,"end_line":70,"kind":"text"},{"id":"L70","line":70,"end_line":70,"kind":"subsection"},{"id":"L71","line":71,"end_line":80,"kind":"text"},{"id":"L80","line":80,"end_line":83,"kind":"figure"},{"id":"L84","line":84,"end_line":91,"kind":"text"},{"id":"L91","line":91,"end_line":91,"kind":"subsection"},{"id":"L92","line":92,"end_line":103,"kind":"text"},{"id":"L103","line":103,"end_line":103,"kind":"paragraph"},{"id":"L104","line":104,"end_line":117,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/prime-sieves.html","title":"Prime sieves and signed measures","start_line":357,"end_line":476,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":66,"math_sequence_sha256":"4beb478cc80c0c71499e4d1f5ba5b9159c8f0ea999d1fe24d40045d0f0c37ad8","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L357","line":357,"end_line":357,"kind":"section"},{"id":"L358","line":358,"end_line":358,"kind":"subsection"},{"id":"L359","line":359,"end_line":368,"kind":"text"},{"id":"L368","line":368,"end_line":370,"kind":"figure"},{"id":"L371","line":371,"end_line":388,"kind":"text"},{"id":"L388","line":388,"end_line":388,"kind":"subsection"},{"id":"L389","line":389,"end_line":403,"kind":"text"},{"id":"L403","line":403,"end_line":405,"kind":"figure"},{"id":"L406","line":406,"end_line":425,"kind":"text"},{"id":"L425","line":425,"end_line":425,"kind":"subsection"},{"id":"L426","line":426,"end_line":441,"kind":"text"},{"id":"L441","line":441,"end_line":441,"kind":"paragraph"},{"id":"L442","line":442,"end_line":460,"kind":"text"},{"id":"L460","line":460,"end_line":460,"kind":"paragraph"},{"id":"L461","line":461,"end_line":476,"kind":"text"},{"id":"L476","line":476,"end_line":476,"kind":"section"},{"id":"L476-2","line":476,"end_line":477,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/multi_prime.tex","url":"read/monographs-special-functions/multi-prime.html","title":"Multiple-prime geometry","parent":"read/monographs-special-functions/prime-sieves.html","source_sha256":"8e96c96ba9c4f5defff3dd67ae33e3dc626546e34397c8385a3c657b63224de1","math_expressions":56,"math_sequence_sha256":"a4f0187c658831a3e7cf5b9d501c36f1f7d3a25d3e069aca553af607e775a5eb","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":35,"kind":"text"},{"id":"L35","line":35,"end_line":35,"kind":"subsection"},{"id":"L36","line":36,"end_line":38,"kind":"figure"},{"id":"L39","line":39,"end_line":54,"kind":"text"},{"id":"L54","line":54,"end_line":54,"kind":"paragraph"},{"id":"L55","line":55,"end_line":66,"kind":"text"},{"id":"L66","line":66,"end_line":66,"kind":"subsection"},{"id":"L67","line":67,"end_line":77,"kind":"text"},{"id":"L77","line":77,"end_line":79,"kind":"figure"},{"id":"L80","line":80,"end_line":92,"kind":"text"},{"id":"L92","line":92,"end_line":92,"kind":"subsection"},{"id":"L93","line":93,"end_line":120,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/orbit-spectra.html","title":"Spectral functions of zero orbits","start_line":477,"end_line":552,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":43,"math_sequence_sha256":"526eba7899c78a65be98c59792edc5ee01e878cbcbc0aceabf57cb115109f4a2","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L477","line":477,"end_line":477,"kind":"section"},{"id":"L478","line":478,"end_line":478,"kind":"subsection"},{"id":"L479","line":479,"end_line":490,"kind":"text"},{"id":"L490","line":490,"end_line":492,"kind":"figure"},{"id":"L493","line":493,"end_line":509,"kind":"text"},{"id":"L509","line":509,"end_line":509,"kind":"subsection"},{"id":"L510","line":510,"end_line":518,"kind":"text"},{"id":"L518","line":518,"end_line":524,"kind":"longtable"},{"id":"L526","line":526,"end_line":526,"kind":"paragraph"},{"id":"L527","line":527,"end_line":544,"kind":"text"},{"id":"L544","line":544,"end_line":544,"kind":"paragraph"},{"id":"L545","line":545,"end_line":553,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/spectral_continuation.tex","url":"read/monographs-special-functions/spectral-continuation.html","title":"Spectral continuation and regularized products","parent":"read/monographs-special-functions/orbit-spectra.html","source_sha256":"cff0869ef94746d45b5c6d409aab94cffee6f6e2b8ec0c9bf3882e1ab6bafae5","math_expressions":54,"math_sequence_sha256":"e98b19cad8b648c927c6f172bffc7a59f96ba01c0eab4de8a498ded74693dce3","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":15,"kind":"text"},{"id":"L15","line":15,"end_line":17,"kind":"figure"},{"id":"L18","line":18,"end_line":21,"kind":"text"},{"id":"L21","line":21,"end_line":21,"kind":"subsection"},{"id":"L22","line":22,"end_line":34,"kind":"text"},{"id":"L34","line":34,"end_line":36,"kind":"figure"},{"id":"L37","line":37,"end_line":37,"kind":"paragraph"},{"id":"L38","line":38,"end_line":46,"kind":"text"},{"id":"L46","line":46,"end_line":46,"kind":"subsection"},{"id":"L47","line":47,"end_line":80,"kind":"text"},{"id":"L80","line":80,"end_line":80,"kind":"subsection"},{"id":"L81","line":81,"end_line":112,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/sequences-and-polyphase.html","title":"Sequences, trees, and polyphase","start_line":553,"end_line":557,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L553","line":553,"end_line":553,"kind":"section"},{"id":"L554","line":554,"end_line":557,"kind":"text"},{"id":"L557","line":557,"end_line":557,"kind":"section"},{"id":"L557-2","line":557,"end_line":558,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/sequence_polyphase.tex","url":"read/monographs-special-functions/sequence-polyphase.html","title":"Exact sequences, trees, and polyphase laws","parent":"read/monographs-special-functions/sequences-and-polyphase.html","source_sha256":"fe31042d97754cdba86918dfc85051e6f9f9367007b0ef74166feb49d9f2af65","math_expressions":54,"math_sequence_sha256":"d1c6b59f1ce50265f956c5e5777eb8b646f3daf7dbef159502709306490b29b9","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":24,"kind":"text"},{"id":"L24","line":24,"end_line":26,"kind":"figure"},{"id":"L27","line":27,"end_line":35,"kind":"text"},{"id":"L35","line":35,"end_line":35,"kind":"subsection"},{"id":"L36","line":36,"end_line":38,"kind":"figure"},{"id":"L39","line":39,"end_line":58,"kind":"text"},{"id":"L58","line":58,"end_line":58,"kind":"subsection"},{"id":"L59","line":59,"end_line":85,"kind":"text"},{"id":"L85","line":85,"end_line":85,"kind":"subsection"},{"id":"L86","line":86,"end_line":88,"kind":"figure"},{"id":"L89","line":89,"end_line":99,"kind":"text"},{"id":"L99","line":99,"end_line":99,"kind":"paragraph"},{"id":"L100","line":100,"end_line":112,"kind":"text"},{"id":"L112","line":112,"end_line":112,"kind":"subsection"},{"id":"L113","line":113,"end_line":123,"kind":"text"},{"id":"L123","line":123,"end_line":131,"kind":"longtable"},{"id":"L133","line":133,"end_line":133,"kind":"paragraph"},{"id":"L134","line":134,"end_line":148,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/coupled-contractions.html","title":"Coupled contraction functions","start_line":558,"end_line":560,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L558","line":558,"end_line":558,"kind":"section"},{"id":"L559","line":559,"end_line":561,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/extension_overview.tex","url":"read/monographs-special-functions/coupled-extension-overview.html","title":"The coupled family and its scope","parent":"read/monographs-special-functions/coupled-contractions.html","source_sha256":"463190f579605f2e852f45d0816be9fcbbc65948bebdd8c6ee64df0bfe8c60ce","math_expressions":2,"math_sequence_sha256":"ab746416691550ec3ff767aa29f5a16c22423de7721d2cc1a2b4705c2913b606","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":13,"kind":"text"},{"id":"L13","line":13,"end_line":13,"kind":"paragraph"},{"id":"L14","line":14,"end_line":19,"kind":"text"},{"id":"L19","line":19,"end_line":19,"kind":"paragraph"},{"id":"L20","line":20,"end_line":25,"kind":"text"},{"id":"L25","line":25,"end_line":32,"kind":"longtable"},{"id":"L35","line":35,"end_line":41,"kind":"text"},{"id":"L41","line":41,"end_line":41,"kind":"paragraph"},{"id":"L42","line":42,"end_line":45,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/coupled_visual.tex","url":"read/monographs-special-functions/coupled-coupled-visual.html","title":"Coupled growth and inverse geometry","parent":"read/monographs-special-functions/coupled-contractions.html","source_sha256":"b0ee5a63976c25de54ca678d23f2932a68f1438bd09c3216c8b3fa23227e9f89","math_expressions":103,"math_sequence_sha256":"08ebf57efdceca19ab3a49f0e783f5ba15a32c1f6da2c4fdb2b3f5fdcbbbbb0b","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L5","line":5,"end_line":5,"kind":"subsection"},{"id":"L6","line":6,"end_line":18,"kind":"text"},{"id":"L18","line":18,"end_line":20,"kind":"figure"},{"id":"L22","line":22,"end_line":33,"kind":"text"},{"id":"L33","line":33,"end_line":33,"kind":"subsection"},{"id":"L34","line":34,"end_line":44,"kind":"text"},{"id":"L44","line":44,"end_line":48,"kind":"figure"},{"id":"L50","line":50,"end_line":63,"kind":"text"},{"id":"L63","line":63,"end_line":63,"kind":"subsection"},{"id":"L64","line":64,"end_line":68,"kind":"text"},{"id":"L68","line":68,"end_line":71,"kind":"figure"},{"id":"L73","line":73,"end_line":91,"kind":"text"},{"id":"L91","line":91,"end_line":91,"kind":"subsection"},{"id":"L92","line":92,"end_line":100,"kind":"text"},{"id":"L100","line":100,"end_line":102,"kind":"figure"},{"id":"L104","line":104,"end_line":117,"kind":"text"},{"id":"L117","line":117,"end_line":117,"kind":"subsection"},{"id":"L118","line":118,"end_line":122,"kind":"text"},{"id":"L122","line":122,"end_line":125,"kind":"figure"},{"id":"L127","line":127,"end_line":145,"kind":"text"},{"id":"L145","line":145,"end_line":145,"kind":"subsection"},{"id":"L146","line":146,"end_line":155,"kind":"text"},{"id":"L155","line":155,"end_line":157,"kind":"figure"},{"id":"L159","line":159,"end_line":175,"kind":"text"},{"id":"L175","line":175,"end_line":175,"kind":"subsection"},{"id":"L176","line":176,"end_line":183,"kind":"text"},{"id":"L183","line":183,"end_line":186,"kind":"figure"},{"id":"L188","line":188,"end_line":206,"kind":"text"},{"id":"L206","line":206,"end_line":206,"kind":"subsection"},{"id":"L207","line":207,"end_line":212,"kind":"text"},{"id":"L212","line":212,"end_line":215,"kind":"figure"},{"id":"L217","line":217,"end_line":236,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/finite-observation.html","title":"Limits of finite observation","start_line":561,"end_line":563,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L561","line":561,"end_line":561,"kind":"section"},{"id":"L562","line":562,"end_line":564,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/resolution_visual.tex","url":"read/monographs-special-functions/coupled-resolution-visual.html","title":"The resolution atlas","parent":"read/monographs-special-functions/finite-observation.html","source_sha256":"67671494e925d0f380e4f27d737ab7b26fec64263d1b1806f480c62bce745dd2","math_expressions":77,"math_sequence_sha256":"42fb85d4042670c981505418cd139ffce73be0d8928d3b405c22fee70aa2a7e2","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":13,"kind":"text"},{"id":"L13","line":13,"end_line":17,"kind":"figure"},{"id":"L19","line":19,"end_line":19,"kind":"paragraph"},{"id":"L20","line":20,"end_line":37,"kind":"text"},{"id":"L37","line":37,"end_line":37,"kind":"subsection"},{"id":"L38","line":38,"end_line":49,"kind":"text"},{"id":"L49","line":49,"end_line":53,"kind":"figure"},{"id":"L55","line":55,"end_line":55,"kind":"paragraph"},{"id":"L56","line":56,"end_line":73,"kind":"text"},{"id":"L73","line":73,"end_line":73,"kind":"subsection"},{"id":"L74","line":74,"end_line":85,"kind":"text"},{"id":"L85","line":85,"end_line":89,"kind":"figure"},{"id":"L91","line":91,"end_line":91,"kind":"paragraph"},{"id":"L92","line":92,"end_line":108,"kind":"text"},{"id":"L108","line":108,"end_line":108,"kind":"subsection"},{"id":"L109","line":109,"end_line":122,"kind":"text"},{"id":"L122","line":122,"end_line":126,"kind":"figure"},{"id":"L128","line":128,"end_line":133,"kind":"text"},{"id":"L133","line":133,"end_line":133,"kind":"paragraph"},{"id":"L134","line":134,"end_line":145,"kind":"text"},{"id":"L145","line":145,"end_line":145,"kind":"subsection"},{"id":"L146","line":146,"end_line":157,"kind":"text"},{"id":"L157","line":157,"end_line":161,"kind":"figure"},{"id":"L163","line":163,"end_line":163,"kind":"paragraph"},{"id":"L164","line":164,"end_line":183,"kind":"text"},{"id":"L183","line":183,"end_line":183,"kind":"subsection"},{"id":"L184","line":184,"end_line":189,"kind":"text"},{"id":"L189","line":189,"end_line":193,"kind":"figure"},{"id":"L195","line":195,"end_line":195,"kind":"paragraph"},{"id":"L196","line":196,"end_line":219,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/proofs.html","title":"Proofs and mathematical evidence","start_line":564,"end_line":572,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L564","line":564,"end_line":564,"kind":"section"},{"id":"L564-2","line":564,"end_line":573,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/proof_map.tex","url":"read/monographs-special-functions/proof-map.html","title":"The proof architecture","parent":"read/monographs-special-functions/proofs.html","source_sha256":"5dd77cbc25ee8e6d8e55b6e38d3643cdf4e2389cccfab227303c169202dc3fd3","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"section"},{"id":"L2","line":2,"end_line":5,"kind":"text"},{"id":"L5","line":5,"end_line":18,"kind":"longtable"},{"id":"L21","line":21,"end_line":26,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/dilation_full.tex","url":"read/monographs-special-functions/dilation-full.html","title":"Appendix A. Dilation type and continuity","parent":"read/monographs-special-functions/proof-map.html","source_sha256":"82e6f0d01ba7f74e57c7aa8c5e72b08fdd105740835799b57c9829ad39851bd1","math_expressions":111,"math_sequence_sha256":"3fdd519e9ab8c86074805223a97b4044dd89fdabc4bf0fa59a561ca55bb61d9b","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L5","line":5,"end_line":8,"kind":"text"},{"id":"L8","line":8,"end_line":9,"kind":"section"},{"id":"L11","line":11,"end_line":28,"kind":"text"},{"id":"L28","line":28,"end_line":28,"kind":"paragraph"},{"id":"L28-2","line":28,"end_line":47,"kind":"text"},{"id":"L47","line":47,"end_line":48,"kind":"subsection"},{"id":"L50","line":50,"end_line":106,"kind":"text"},{"id":"L106","line":106,"end_line":107,"kind":"subsection"},{"id":"L109","line":109,"end_line":174,"kind":"text"},{"id":"L174","line":174,"end_line":175,"kind":"section"},{"id":"L177","line":177,"end_line":210,"kind":"text"},{"id":"L210","line":210,"end_line":211,"kind":"section"},{"id":"L213","line":213,"end_line":222,"kind":"text"},{"id":"L222","line":222,"end_line":222,"kind":"paragraph"},{"id":"L222-2","line":222,"end_line":255,"kind":"text"},{"id":"L255","line":255,"end_line":256,"kind":"subsection"},{"id":"L258","line":258,"end_line":289,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/arithmetic_full.tex","url":"read/monographs-special-functions/arithmetic-full.html","title":"Appendix B. Arithmetic inverse and characters","parent":"read/monographs-special-functions/proof-map.html","source_sha256":"9be2b7608113ddd8c999b354a514260d7d0ad8ed6d82fdcc84f0d341e4cc4077","math_expressions":183,"math_sequence_sha256":"ace505834d75ef9a69c5a2e313e94380b5d63e39518ad607b7bf3e6104a6405b","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":4,"kind":"section"},{"id":"L8","line":8,"end_line":15,"kind":"text"},{"id":"L15","line":15,"end_line":15,"kind":"section"},{"id":"L17","line":17,"end_line":43,"kind":"text"},{"id":"L43","line":43,"end_line":43,"kind":"section"},{"id":"L45","line":45,"end_line":58,"kind":"text"},{"id":"L58","line":58,"end_line":59,"kind":"subsection"},{"id":"L61","line":61,"end_line":92,"kind":"text"},{"id":"L92","line":92,"end_line":94,"kind":"subsection"},{"id":"L96","line":96,"end_line":143,"kind":"text"},{"id":"L143","line":143,"end_line":144,"kind":"subsection"},{"id":"L146","line":146,"end_line":161,"kind":"text"},{"id":"L161","line":161,"end_line":162,"kind":"subsection"},{"id":"L164","line":164,"end_line":182,"kind":"text"},{"id":"L182","line":182,"end_line":183,"kind":"subsection"},{"id":"L185","line":185,"end_line":218,"kind":"text"},{"id":"L218","line":218,"end_line":219,"kind":"section"},{"id":"L221","line":221,"end_line":244,"kind":"text"},{"id":"L244","line":244,"end_line":244,"kind":"paragraph"},{"id":"L244-2","line":244,"end_line":263,"kind":"text"},{"id":"L263","line":263,"end_line":264,"kind":"subsection"},{"id":"L266","line":266,"end_line":291,"kind":"text"},{"id":"L291","line":291,"end_line":292,"kind":"subsection"},{"id":"L294","line":294,"end_line":312,"kind":"text"},{"id":"L312","line":312,"end_line":313,"kind":"section"},{"id":"L315","line":315,"end_line":329,"kind":"text"},{"id":"L329","line":329,"end_line":329,"kind":"paragraph"},{"id":"L329-2","line":329,"end_line":357,"kind":"text"},{"id":"L357","line":357,"end_line":358,"kind":"section"},{"id":"L360","line":360,"end_line":408,"kind":"text"},{"id":"L408","line":408,"end_line":409,"kind":"section"},{"id":"L411","line":411,"end_line":452,"kind":"text"},{"id":"L452","line":452,"end_line":452,"kind":"paragraph"},{"id":"L452-2","line":452,"end_line":492,"kind":"text"},{"id":"L492","line":492,"end_line":493,"kind":"section"},{"id":"L495","line":495,"end_line":511,"kind":"text"},{"id":"L511","line":511,"end_line":511,"kind":"section"},{"id":"L513","line":513,"end_line":540,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/sieve_full.tex","url":"read/monographs-special-functions/sieve-full.html","title":"Appendix C. Multiple-prime geometry and detectors","parent":"read/monographs-special-functions/proof-map.html","source_sha256":"6782798e9c965e4e73ca5c819fa0afd44a66324b214cd1d2af8bc86ba08e1478","math_expressions":167,"math_sequence_sha256":"37dcf15576ec48fe0d6f2e81d6abafab34b2f29c296f57a46b5aed63bdf3133a","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L5","line":5,"end_line":10,"kind":"text"},{"id":"L10","line":10,"end_line":11,"kind":"section"},{"id":"L13","line":13,"end_line":76,"kind":"text"},{"id":"L76","line":76,"end_line":77,"kind":"section"},{"id":"L79","line":79,"end_line":79,"kind":"paragraph"},{"id":"L79-2","line":79,"end_line":84,"kind":"text"},{"id":"L84","line":84,"end_line":84,"kind":"paragraph"},{"id":"L84-2","line":84,"end_line":107,"kind":"text"},{"id":"L107","line":107,"end_line":108,"kind":"section"},{"id":"L110","line":110,"end_line":139,"kind":"text"},{"id":"L139","line":139,"end_line":139,"kind":"paragraph"},{"id":"L139-2","line":139,"end_line":161,"kind":"text"},{"id":"L161","line":161,"end_line":161,"kind":"paragraph"},{"id":"L161-2","line":161,"end_line":183,"kind":"text"},{"id":"L183","line":183,"end_line":184,"kind":"section"},{"id":"L186","line":186,"end_line":202,"kind":"text"},{"id":"L202","line":202,"end_line":202,"kind":"paragraph"},{"id":"L202-2","line":202,"end_line":226,"kind":"text"},{"id":"L226","line":226,"end_line":226,"kind":"paragraph"},{"id":"L226-2","line":226,"end_line":263,"kind":"text"},{"id":"L263","line":263,"end_line":264,"kind":"section"},{"id":"L266","line":266,"end_line":313,"kind":"text"},{"id":"L313","line":313,"end_line":314,"kind":"section"},{"id":"L316","line":316,"end_line":341,"kind":"text"},{"id":"L341","line":341,"end_line":342,"kind":"section"},{"id":"L344","line":344,"end_line":348,"kind":"text"},{"id":"L348","line":348,"end_line":370,"kind":"longtable"},{"id":"L372","line":372,"end_line":381,"kind":"text"},{"id":"L381","line":381,"end_line":401,"kind":"longtable"},{"id":"L403","line":403,"end_line":420,"kind":"text"},{"id":"L420","line":420,"end_line":420,"kind":"section"},{"id":"L422","line":422,"end_line":451,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/spectral_full.tex","url":"read/monographs-special-functions/spectral-full.html","title":"Appendix D. Orbit continuation and shifts","parent":"read/monographs-special-functions/proof-map.html","source_sha256":"b44d7c4d943f4b96aec9f0e60ccacf9013e6ba4e48de7182fcf818056893a827","math_expressions":163,"math_sequence_sha256":"a02015bf0ee12abe215df4d21b0ef11663f91707b17910a36b7b5258af81cc3f","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L5","line":5,"end_line":9,"kind":"text"},{"id":"L9","line":9,"end_line":9,"kind":"section"},{"id":"L11","line":11,"end_line":53,"kind":"text"},{"id":"L53","line":53,"end_line":54,"kind":"section"},{"id":"L56","line":56,"end_line":98,"kind":"text"},{"id":"L98","line":98,"end_line":99,"kind":"section"},{"id":"L101","line":101,"end_line":155,"kind":"text"},{"id":"L155","line":155,"end_line":156,"kind":"section"},{"id":"L158","line":158,"end_line":204,"kind":"text"},{"id":"L204","line":204,"end_line":205,"kind":"section"},{"id":"L207","line":207,"end_line":270,"kind":"text"},{"id":"L270","line":270,"end_line":271,"kind":"section"},{"id":"L273","line":273,"end_line":319,"kind":"text"},{"id":"L319","line":319,"end_line":320,"kind":"section"},{"id":"L322","line":322,"end_line":351,"kind":"text"},{"id":"L351","line":351,"end_line":352,"kind":"section"},{"id":"L354","line":354,"end_line":500,"kind":"text"},{"id":"L500","line":500,"end_line":501,"kind":"section"},{"id":"L503","line":503,"end_line":524,"kind":"text"},{"id":"L524","line":524,"end_line":525,"kind":"section"},{"id":"L527","line":527,"end_line":540,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/sequence_full.tex","url":"read/monographs-special-functions/sequence-full.html","title":"Appendix E. Integer sequences and polyphase laws","parent":"read/monographs-special-functions/proof-map.html","source_sha256":"89fd6815d44a5a22a5b53e6bfd42ef8d15e224be6b5d4d7355bcf46086678066","math_expressions":185,"math_sequence_sha256":"fa87382a4a0485f27c6369d640fd54b98bef58ce226de0d6355ad9d0a38d9e3d","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L7","line":7,"end_line":17,"kind":"text"},{"id":"L17","line":17,"end_line":18,"kind":"section"},{"id":"L20","line":20,"end_line":42,"kind":"text"},{"id":"L42","line":42,"end_line":42,"kind":"paragraph"},{"id":"L42-2","line":42,"end_line":55,"kind":"text"},{"id":"L55","line":55,"end_line":55,"kind":"paragraph"},{"id":"L55-2","line":55,"end_line":86,"kind":"text"},{"id":"L86","line":86,"end_line":87,"kind":"subsection"},{"id":"L89","line":89,"end_line":115,"kind":"text"},{"id":"L115","line":115,"end_line":116,"kind":"section"},{"id":"L118","line":118,"end_line":122,"kind":"text"},{"id":"L122","line":122,"end_line":122,"kind":"paragraph"},{"id":"L122-2","line":122,"end_line":126,"kind":"text"},{"id":"L126","line":126,"end_line":126,"kind":"paragraph"},{"id":"L126-2","line":126,"end_line":149,"kind":"text"},{"id":"L149","line":149,"end_line":174,"kind":"longtable"},{"id":"L176","line":176,"end_line":184,"kind":"text"},{"id":"L184","line":184,"end_line":185,"kind":"subsection"},{"id":"L187","line":187,"end_line":235,"kind":"text"},{"id":"L235","line":235,"end_line":255,"kind":"longtable"},{"id":"L257","line":257,"end_line":262,"kind":"text"},{"id":"L262","line":262,"end_line":263,"kind":"section"},{"id":"L265","line":265,"end_line":307,"kind":"text"},{"id":"L307","line":307,"end_line":308,"kind":"section"},{"id":"L310","line":310,"end_line":326,"kind":"text"},{"id":"L326","line":326,"end_line":326,"kind":"paragraph"},{"id":"L326-2","line":326,"end_line":353,"kind":"text"},{"id":"L353","line":353,"end_line":354,"kind":"section"},{"id":"L356","line":356,"end_line":369,"kind":"text"},{"id":"L369","line":369,"end_line":369,"kind":"paragraph"},{"id":"L369-2","line":369,"end_line":389,"kind":"text"},{"id":"L389","line":389,"end_line":389,"kind":"section"},{"id":"L391","line":391,"end_line":393,"kind":"text"},{"id":"L393","line":393,"end_line":397,"kind":"lstlisting"},{"id":"L399","line":399,"end_line":413,"kind":"text"},{"id":"L413","line":413,"end_line":439,"kind":"text"},{"id":"L441","line":441,"end_line":459,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/coupled_growth_full.tex","url":"read/monographs-special-functions/coupled-coupled-growth-full.html","title":"Appendix F. Coupled entire growth and type","parent":"read/monographs-special-functions/proofs.html","source_sha256":"f57be25d0f0995bc917246bfecdd0e3ca096fbdd5d8a04f67d4efa602ac7a55e","math_expressions":161,"math_sequence_sha256":"ebbc952d54076d6994d39afb5cb8590c7c645daf345074fd8616061ad2b9158c","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L6","line":6,"end_line":7,"kind":"section"},{"id":"L9","line":9,"end_line":25,"kind":"text"},{"id":"L25","line":25,"end_line":25,"kind":"paragraph"},{"id":"L25-2","line":25,"end_line":45,"kind":"text"},{"id":"L45","line":45,"end_line":45,"kind":"paragraph"},{"id":"L45-2","line":45,"end_line":108,"kind":"text"},{"id":"L108","line":108,"end_line":109,"kind":"section"},{"id":"L111","line":111,"end_line":160,"kind":"text"},{"id":"L160","line":160,"end_line":161,"kind":"section"},{"id":"L163","line":163,"end_line":180,"kind":"text"},{"id":"L180","line":180,"end_line":180,"kind":"paragraph"},{"id":"L180-2","line":180,"end_line":200,"kind":"text"},{"id":"L200","line":200,"end_line":201,"kind":"subsection"},{"id":"L203","line":203,"end_line":267,"kind":"text"},{"id":"L267","line":267,"end_line":268,"kind":"subsection"},{"id":"L270","line":270,"end_line":354,"kind":"text"},{"id":"L354","line":354,"end_line":355,"kind":"section"},{"id":"L357","line":357,"end_line":360,"kind":"text"},{"id":"L360","line":360,"end_line":360,"kind":"paragraph"},{"id":"L360-2","line":360,"end_line":382,"kind":"text"},{"id":"L382","line":382,"end_line":382,"kind":"paragraph"},{"id":"L382-2","line":382,"end_line":425,"kind":"text"},{"id":"L425","line":425,"end_line":426,"kind":"section"},{"id":"L428","line":428,"end_line":516,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/coupled_inverse_full.tex","url":"read/monographs-special-functions/coupled-coupled-inverse-full.html","title":"Appendix G. Component reduction and exact inverse","parent":"read/monographs-special-functions/proofs.html","source_sha256":"30baa4f5be97ed2e057e239e48172bc4586729a8c338ded226b30cc4acaf5ec6","math_expressions":76,"math_sequence_sha256":"dd46b8d0eec71714df55bc52c84823a6e95ef4b0581c0e58c740a01550bff028","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L5","line":5,"end_line":38,"kind":"text"},{"id":"L38","line":38,"end_line":39,"kind":"section"},{"id":"L41","line":41,"end_line":41,"kind":"paragraph"},{"id":"L41-2","line":41,"end_line":43,"kind":"text"},{"id":"L43","line":43,"end_line":53,"kind":"text"},{"id":"L55","line":55,"end_line":69,"kind":"text"},{"id":"L69","line":69,"end_line":69,"kind":"paragraph"},{"id":"L69-2","line":69,"end_line":105,"kind":"text"},{"id":"L105","line":105,"end_line":105,"kind":"section"},{"id":"L107","line":107,"end_line":107,"kind":"paragraph"},{"id":"L107-2","line":107,"end_line":113,"kind":"text"},{"id":"L113","line":113,"end_line":113,"kind":"paragraph"},{"id":"L113-2","line":113,"end_line":164,"kind":"text"},{"id":"L164","line":164,"end_line":165,"kind":"section"},{"id":"L167","line":167,"end_line":181,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/coupled_structure_full.tex","url":"read/monographs-special-functions/coupled-coupled-structure-full.html","title":"Appendix H. Constant linear operator structure","parent":"read/monographs-special-functions/proofs.html","source_sha256":"6fb71b94c4680fc8ef2b22e310bed9220d8820fdce107ddd9a4d1c145538cf21","math_expressions":80,"math_sequence_sha256":"9c95aee18304fe7c1bf9dbb8ea2ba54737146b9fca1ae124702317ded7a4c942","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L6","line":6,"end_line":7,"kind":"section"},{"id":"L9","line":9,"end_line":41,"kind":"text"},{"id":"L41","line":41,"end_line":42,"kind":"section"},{"id":"L44","line":44,"end_line":44,"kind":"paragraph"},{"id":"L44-2","line":44,"end_line":59,"kind":"text"},{"id":"L59","line":59,"end_line":59,"kind":"paragraph"},{"id":"L59-2","line":59,"end_line":119,"kind":"text"},{"id":"L119","line":119,"end_line":120,"kind":"section"},{"id":"L122","line":122,"end_line":158,"kind":"text"},{"id":"L158","line":158,"end_line":159,"kind":"section"},{"id":"L161","line":161,"end_line":215,"kind":"text"},{"id":"L215","line":215,"end_line":215,"kind":"section"},{"id":"L217","line":217,"end_line":223,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/resolution_full.tex","url":"read/monographs-special-functions/coupled-resolution-full.html","title":"Appendix I. Quantitative resolution atlas","parent":"read/monographs-special-functions/proofs.html","source_sha256":"ae9e2b3182ba293a9fc5fbff799382b1e55d5b1414ecaa687dba46112c5911c0","math_expressions":149,"math_sequence_sha256":"1bf478fdc44a4ec7c0175f9b876c3b89d3a0338dc832d7084bd808659d9468f6","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L5","line":5,"end_line":18,"kind":"text"},{"id":"L18","line":18,"end_line":46,"kind":"longtable"},{"id":"L50","line":50,"end_line":51,"kind":"section"},{"id":"L53","line":53,"end_line":74,"kind":"text"},{"id":"L74","line":74,"end_line":75,"kind":"subsection"},{"id":"L77","line":77,"end_line":139,"kind":"text"},{"id":"L139","line":139,"end_line":140,"kind":"subsection"},{"id":"L142","line":142,"end_line":183,"kind":"text"},{"id":"L183","line":183,"end_line":203,"kind":"longtable"},{"id":"L205","line":205,"end_line":215,"kind":"text"},{"id":"L215","line":215,"end_line":216,"kind":"section"},{"id":"L218","line":218,"end_line":237,"kind":"text"},{"id":"L237","line":237,"end_line":238,"kind":"subsection"},{"id":"L240","line":240,"end_line":268,"kind":"text"},{"id":"L268","line":268,"end_line":278,"kind":"longtable"},{"id":"L280","line":280,"end_line":283,"kind":"text"},{"id":"L283","line":283,"end_line":284,"kind":"subsection"},{"id":"L286","line":286,"end_line":322,"kind":"text"},{"id":"L322","line":322,"end_line":341,"kind":"longtable"},{"id":"L343","line":343,"end_line":347,"kind":"text"},{"id":"L347","line":347,"end_line":349,"kind":"subsection"},{"id":"L351","line":351,"end_line":373,"kind":"text"},{"id":"L373","line":373,"end_line":374,"kind":"section"},{"id":"L376","line":376,"end_line":392,"kind":"text"},{"id":"L392","line":392,"end_line":394,"kind":"subsection"},{"id":"L396","line":396,"end_line":445,"kind":"text"},{"id":"L445","line":445,"end_line":446,"kind":"subsection"},{"id":"L448","line":448,"end_line":521,"kind":"text"},{"id":"L521","line":521,"end_line":522,"kind":"section"},{"id":"L524","line":524,"end_line":542,"kind":"text"},{"id":"L542","line":542,"end_line":543,"kind":"section"},{"id":"L545","line":545,"end_line":547,"kind":"text"},{"id":"L547","line":547,"end_line":550,"kind":"lstlisting"},{"id":"L552","line":552,"end_line":576,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/coupled_lab_full.tex","url":"read/monographs-special-functions/coupled-coupled-lab-full.html","title":"Appendix J. Coupled exact laboratory","parent":"read/monographs-special-functions/proofs.html","source_sha256":"c8c069de5c5aa4638021c87e2e56a7ce3c77a983a112cec4d95fd5b5aa932ec7","math_expressions":42,"math_sequence_sha256":"45388e87315152d71c87192ef98465c36204e49bf946695ebc531918b34d0fe1","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":3,"kind":"section"},{"id":"L5","line":5,"end_line":13,"kind":"text"},{"id":"L13","line":13,"end_line":14,"kind":"section"},{"id":"L16","line":16,"end_line":44,"kind":"text"},{"id":"L44","line":44,"end_line":45,"kind":"section"},{"id":"L47","line":47,"end_line":88,"kind":"text"},{"id":"L88","line":88,"end_line":88,"kind":"section"},{"id":"L90","line":90,"end_line":105,"kind":"lstlisting"},{"id":"L107","line":107,"end_line":115,"kind":"text"},{"id":"L115","line":115,"end_line":118,"kind":"lstlisting"},{"id":"L120","line":120,"end_line":126,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/main.tex","url":"read/monographs-special-functions/evidence.html","title":"Evidence and limitations","start_line":573,"end_line":592,"parent":"read/monographs-special-functions/index.html","source_sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L573","line":573,"end_line":573,"kind":"section"},{"id":"L574","line":574,"end_line":593,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/proofread_verification.tex","url":"read/monographs-special-functions/proofread-verification.html","title":"Reading-edition verification record","parent":"read/monographs-special-functions/evidence.html","source_sha256":"7e512565b7bc8f74d437404ed210cd139b34b0a27a4546653455ae62c6cc45e9","math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"section"},{"id":"L2","line":2,"end_line":27,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections_v11/release_status.tex","url":"read/monographs-special-functions/coupled-release-status.html","title":"Coupled-family release record","parent":"read/monographs-special-functions/evidence.html","source_sha256":"61233e1c060f1b3e5dd2f29dec2f71a82749130f514fb14a30ff03561e34d626","math_expressions":3,"math_sequence_sha256":"a174d0f4181b5b1271ae761963cc54f2d8ed9b3477c3e02db8c0895f1150ab74","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L3","line":3,"end_line":13,"kind":"longtable"},{"id":"L15","line":15,"end_line":15,"kind":"paragraph"},{"id":"L16","line":16,"end_line":29,"kind":"text"},{"id":"L29","line":29,"end_line":29,"kind":"paragraph"},{"id":"L30","line":30,"end_line":39,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/sections/release_status.tex","url":"read/monographs-special-functions/release-status.html","title":"Foundational release record","parent":"read/monographs-special-functions/evidence.html","source_sha256":"da0a261fc5fec8bb5f5570005da2f86bfe6b041a37e130f1fe860db8c9be94c1","math_expressions":1,"math_sequence_sha256":"555fedff110b3606b061a8a28635988217132ce9cbcbbabf68a1b77bebbfc326","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"subsection"},{"id":"L2","line":2,"end_line":4,"kind":"text"},{"id":"L4","line":4,"end_line":13,"kind":"longtable"},{"id":"L15","line":15,"end_line":15,"kind":"paragraph"},{"id":"L16","line":16,"end_line":24,"kind":"text"},{"id":"L24","line":24,"end_line":24,"kind":"paragraph"},{"id":"L25","line":25,"end_line":33,"kind":"text"},{"id":"L33","line":33,"end_line":33,"kind":"subsection"},{"id":"L34","line":34,"end_line":55,"kind":"text"},{"id":"L55","line":55,"end_line":55,"kind":"paragraph"},{"id":"L56","line":56,"end_line":68,"kind":"text"},{"id":"L68","line":68,"end_line":68,"kind":"subsection"},{"id":"L69","line":69,"end_line":77,"kind":"text"},{"id":"L77","line":77,"end_line":77,"kind":"paragraph"},{"id":"L78","line":78,"end_line":96,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/evidence_notes.tex","url":"read/monographs-special-functions/evidence-notes.html","title":"Evidence notes and open questions","parent":"read/monographs-special-functions/evidence.html","source_sha256":"25130f2a92de1ced440c928f1c7da26b1a3c77f8c975e774604c11b4d8d422a9","math_expressions":8,"math_sequence_sha256":"393ecaab0c1706d1866cfc15b122a80afa2a25ad1f1d5c35084996e21b08af19","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L2","line":2,"end_line":2,"kind":"section"},{"id":"L4","line":4,"end_line":28,"kind":"text"},{"id":"L28","line":28,"end_line":28,"kind":"section"},{"id":"L30","line":30,"end_line":61,"kind":"text"},{"id":"L61","line":61,"end_line":61,"kind":"section"},{"id":"L63","line":63,"end_line":73,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/notation.tex","url":"read/monographs-special-functions/notation.html","title":"Notation and glossary","parent":"read/monographs-special-functions/evidence.html","source_sha256":"00b1eda5c5132be83352c6e7343c34ebb101e22e9165a1089c1ce390de2c0abe","math_expressions":67,"math_sequence_sha256":"1e33aa8b202400ec08097ebf2e428c867458ed9512539e9960946d16b4ba830d","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"section"},{"id":"L2","line":2,"end_line":7,"kind":"text"},{"id":"L7","line":7,"end_line":74,"kind":"text"},{"id":"L76","line":76,"end_line":79,"kind":"text"}],"new_proof_review":false,"new_lean_execution":false},{"source":"monographs/special-functions/monograph/references.tex","url":"read/monographs-special-functions/references.html","title":"References","parent":"read/monographs-special-functions/evidence.html","source_sha256":"0106397376047888dcafb202d88a599c2be7cfd3169fc8adb4e2e1275350b955","math_expressions":2,"math_sequence_sha256":"e639f1d116d74aade4a89f9ab6733f3cf7ec983d4981096d3c6670813092d27b","macros":{"dd":"\\,d","A":"A_{a,\\beta,Q}","Z":"Z_Q","tightlist":"\\setlength{\\itemsep}{1pt}\\setlength{\\parskip}{0pt}"},"nodes":[{"id":"L1","line":1,"end_line":1,"kind":"section"},{"id":"L2","line":2,"end_line":11,"kind":"text"},{"id":"L11","line":11,"end_line":110,"kind":"thebibliography"}],"new_proof_review":false,"new_lean_execution":false}]