{"version":1,"work":"addmul-arithmetic-reconstruction","title":"AddMul Arithmetic Reconstruction","source_revision":"a12c6b2d9ac68b73031075180f51a8c98d38ee1e","sources":[{"repository_path":"research/addmul-arithmetic-reconstruction/README.md","file_url":"documents/files/7315f19b61f295e8ba49406dc74e9c116912e8a0/README.md","url":"read/addmul-arithmetic-reconstruction/readme-7fdf5707e1d3.html","sha256":"a80856f19a64ba68b9429869b6776bc23545124b2bc8872d853d197d648973cd","git_blob_sha1":"7315f19b61f295e8ba49406dc74e9c116912e8a0","size":2144,"source_url":"read/addmul-arithmetic-reconstruction/readme-7fdf5707e1d3-source.html","passages":0,"macros":{}},{"repository_path":"research/addmul-arithmetic-reconstruction/RESEARCH_NOTE.md","file_url":"documents/files/b7888c912a8b21930658a45031de912bc176223d/RESEARCH_NOTE.md","url":"read/addmul-arithmetic-reconstruction/research-note-1fbbccab6327.html","sha256":"709e91c2aa0d49476f8cdf0d1ef6ace07a08049f71cc046fdfcf16ff026d1edb","git_blob_sha1":"b7888c912a8b21930658a45031de912bc176223d","size":13784,"source_url":"read/addmul-arithmetic-reconstruction/research-note-1fbbccab6327-source.html","passages":16,"macros":{}}],"pdfs":[],"passages":[{"line":18,"start":1865,"end":1927,"expression":"\n\\mathscr R(n)=\\lambda n+F(\\operatorname{rad}(n),\\,n\\bmod M),\n","context":"\\[\n\\mathscr R(n)=\\lambda n+F(\\operatorname{rad}(n),\\,n\\bmod M),\n\\]","kind":"use","source":1},{"line":24,"start":2132,"end":2170,"expression":"\ne_k=q^k-\\lambda p^k-F(p,p^k\\bmod M).\n","context":"\\[\ne_k=q^k-\\lambda p^k-F(p,p^k\\bmod M).\n\\]","kind":"use","source":1},{"line":36,"start":2733,"end":2761,"expression":"\np^{k+jL}\\equiv p^k\\pmod M.\n","context":"\\[\np^{k+jL}\\equiv p^k\\pmod M.\n\\]","kind":"use","source":1},{"line":44,"start":2989,"end":3035,"expression":"\nr_j=Bv^j-\\lambda Au^j-\\kappa,\\qquad j=0,1,2.\n","context":"\\[\nr_j=Bv^j-\\lambda Au^j-\\kappa,\\qquad j=0,1,2.\n\\]","kind":"use","source":1},{"line":50,"start":3135,"end":3167,"expression":"\nur_0-(u+1)r_1+r_2=B(v-1)(v-u).\n","context":"\\[\nur_0-(u+1)r_1+r_2=B(v-1)(v-u).\n\\]","kind":"use","source":1},{"line":56,"start":3252,"end":3310,"expression":"\n\\boxed{E\\ge\\frac{q^k(q^L-1)(q^L-p^L)}{2(p^L+1)}.}\\tag{1}\n","context":"\\[\n\\boxed{E\\ge\\frac{q^k(q^L-1)(q^L-p^L)}{2(p^L+1)}.}\\tag{1}\n\\]","kind":"use","source":1},{"line":62,"start":3336,"end":3433,"expression":"\nt=\\frac{B(v-1)(v-u)}{2(u+1)},\\quad\n\\lambda=\\frac{B(v-1)+2t}{A(u-1)},\\quad\n\\kappa=B-t-\\lambda A.\n","context":"\\[\nt=\\frac{B(v-1)(v-u)}{2(u+1)},\\quad\n\\lambda=\\frac{B(v-1)+2t}{A(u-1)},\\quad\n\\kappa=B-t-\\lambda A.\n\\]","kind":"use","source":1},{"line":80,"start":4841,"end":4881,"expression":"\nQ(z)=(z-p)P(z)=\\sum_{j=0}^{d+1}a_jz^j.\n","context":"\\[\nQ(z)=(z-p)P(z)=\\sum_{j=0}^{d+1}a_jz^j.\n\\]","kind":"use","source":1},{"line":86,"start":4926,"end":4949,"expression":"\nQ(E)q^k=q^k(q-p)P(q).\n","context":"\\[\nQ(E)q^k=q^k(q-p)P(q).\n\\]","kind":"use","source":1},{"line":92,"start":5014,"end":5111,"expression":"\n\\boxed{\n\\max_{0\\le j\\le d+1}|r_{k+j}|\\ge\n\\frac{q^k|q-p||P(q)|}{\\sum_{j=0}^{d+1}|a_j|}.\n}\\tag{2}\n","context":"\\[\n\\boxed{\n\\max_{0\\le j\\le d+1}|r_{k+j}|\\ge\n\\frac{q^k|q-p||P(q)|}{\\sum_{j=0}^{d+1}|a_j|}.\n}\\tag{2}\n\\]","kind":"use","source":1},{"line":111,"start":6894,"end":6989,"expression":"\n\\boxed{ E_{s,d,k}^{\\mathrm{sharp}}=\n\\frac{q^k(q^s-p^s)(q^s-1)^{d+1}}{2^{d+1}(p^s+1)}.}\\tag{3}\n","context":"\\[\n\\boxed{ E_{s,d,k}^{\\mathrm{sharp}}=\n\\frac{q^k(q^s-p^s)(q^s-1)^{d+1}}{2^{d+1}(p^s+1)}.}\\tag{3}\n\\]","kind":"use","source":1},{"line":124,"start":7770,"end":7802,"expression":"\nt_N(x)=x^{p^{N-1}}\\pmod {p^N}.\n","context":"\\[\nt_N(x)=x^{p^{N-1}}\\pmod {p^N}.\n\\]","kind":"use","source":1},{"line":130,"start":7895,"end":7962,"expression":"\nC_{p,N}(x,y)=\\frac{t_N(x)+t_N(y)-t_N(x+y)}p \\quad\\pmod {p^{N-1}},\n","context":"\\[\nC_{p,N}(x,y)=\\frac{t_N(x)+t_N(y)-t_N(x+y)}p \\quad\\pmod {p^{N-1}},\n\\]","kind":"use","source":1},{"line":136,"start":8148,"end":8203,"expression":"\nt_N(x)+t_N(y)\\equiv t_N(x+y)+pC_{p,N}(x,y)\\pmod{p^N}.\n","context":"\\[\nt_N(x)+t_N(y)\\equiv t_N(x+y)+pC_{p,N}(x,y)\\pmod{p^N}.\n\\]","kind":"use","source":1},{"line":142,"start":8257,"end":8310,"expression":"\nC(x,y)+C(x+y,z)=C(y,z)+C(x,y+z)\\quad\\pmod{p^{N-1}}.\n","context":"\\[\nC(x,y)+C(x+y,z)=C(y,z)+C(x,y+z)\\quad\\pmod{p^{N-1}}.\n\\]","kind":"use","source":1},{"line":150,"start":8566,"end":8627,"expression":"\n\\boxed{\\sum_{i=0}^{p-1} C_{p,N}(1,i)\\equiv 1\\pmod{p^{N-1}}}\n","context":"\\[\n\\boxed{\\sum_{i=0}^{p-1} C_{p,N}(1,i)\\equiv 1\\pmod{p^{N-1}}}\n\\]","kind":"use","source":1}],"entries":[{"id":"symbol-a318c24216defe20","tex":"+","aliases":"+","display":"+","kind":"use","occurrences":[0,2,4,5,6,7,9,10,12,13,14]},{"id":"symbol-380918b946a52664","tex":"=","aliases":"=","display":"=","kind":"use","occurrences":[0,1,3,4,6,7,8,9,10,11,12,14,15]},{"id":"symbol-559aead08264d579","tex":"A","aliases":"A","display":"A","kind":"use","occurrences":[3,6]},{"id":"symbol-ca978112ca1bbdca","tex":"a","aliases":"a","display":"a","kind":"use","occurrences":[7,9]},{"id":"symbol-7435dd184fb65352","tex":"a_j","aliases":"a_j","display":"a_j","kind":"use","occurrences":[7,9]},{"id":"symbol-df7e70e5021544f4","tex":"B","aliases":"B","display":"B","kind":"use","occurrences":[3,4,6]},{"id":"symbol-a155fd0fa9678db2","tex":"\\bmod","aliases":"bmod","display":"\\bmod","kind":"use","occurrences":[0,1]},{"id":"symbol-6b23c0d5f35d1b11","tex":"C","aliases":"C","display":"C","kind":"use","occurrences":[12,13,14,15]},{"id":"symbol-0a16420067935080","tex":"C_{p,N}","aliases":"C_p,N","display":"C_{p,N}","kind":"use","occurrences":[12,13,15]},{"id":"symbol-18ac3e7343f01689","tex":"d","aliases":"d","display":"d","kind":"use","occurrences":[7,9,10]},{"id":"symbol-a9f51566bd6705f7","tex":"E","aliases":"E","display":"E","kind":"use","occurrences":[5,8,10]},{"id":"symbol-3f79bb7b435b0532","tex":"e","aliases":"e","display":"e","kind":"use","occurrences":[1]},{"id":"symbol-542812c54fe5f147","tex":"e_k","aliases":"e_k","display":"e_k","kind":"use","occurrences":[1]},{"id":"symbol-ee050fc029fc874a","tex":"E_{s,d,k}^{\\mathrm{sharp}}","aliases":"E_s,d,k^sharp mathrm","display":"E_{s,d,k}^{\\mathrm{sharp}}","kind":"use","occurrences":[10]},{"id":"symbol-f67ab10ad4e4c531","tex":"F","aliases":"F","display":"F","kind":"use","occurrences":[0,1]},{"id":"symbol-de7d1b721a1e0632","tex":"i","aliases":"i","display":"i","kind":"use","occurrences":[15]},{"id":"symbol-189f40034be7a199","tex":"j","aliases":"j","display":"j","kind":"use","occurrences":[2,3,7,9]},{"id":"symbol-8254c329a92850f6","tex":"k","aliases":"k","display":"k","kind":"use","occurrences":[1,2,5,8,9,10]},{"id":"symbol-72dfcfb0c470ac25","tex":"L","aliases":"L","display":"L","kind":"use","occurrences":[2,5]},{"id":"symbol-08f271887ce94707","tex":"M","aliases":"M","display":"M","kind":"use","occurrences":[0,1,2]},{"id":"symbol-1a4ee77b1419e30a","tex":"\\mathscr","aliases":"mathscr","display":"\\mathscr","kind":"use","occurrences":[0]},{"id":"symbol-e481658e9c6ce30a","tex":"\\max","aliases":"max","display":"\\max","kind":"use","occurrences":[9]},{"id":"symbol-c442a5f2ec45eefc","tex":"\\max_{0\\le j\\le d+1}","aliases":"max_0≤ j≤ d+1 max le le","display":"\\max_{0\\le j\\le d+1}","kind":"use","occurrences":[9]},{"id":"symbol-8ce86a6ae65d3692","tex":"N","aliases":"N","display":"N","kind":"use","occurrences":[11,12,13,14,15]},{"id":"symbol-1b16b1df538ba12d","tex":"n","aliases":"n","display":"n","kind":"use","occurrences":[0]},{"id":"symbol-5c62e091b8c0565f","tex":"P","aliases":"P","display":"P","kind":"use","occurrences":[7,8,9]},{"id":"symbol-148de9c5a7a44d19","tex":"p","aliases":"p","display":"p","kind":"use","occurrences":[1,2,5,7,8,9,10,11,12,13,14,15]},{"id":"symbol-b7f360bb2799a8d5","tex":"p^k","aliases":"p^k","display":"p^k","kind":"use","occurrences":[1,2]},{"id":"symbol-3820fdb23b991225","tex":"p^{k+jL}","aliases":"p^k+jL","display":"p^{k+jL}","kind":"use","occurrences":[2]},{"id":"symbol-704b220b0886246a","tex":"p^L","aliases":"p^L","display":"p^L","kind":"use","occurrences":[5]},{"id":"symbol-d6c9282569aea3fa","tex":"p^N","aliases":"p^N","display":"p^N","kind":"use","occurrences":[11,13]},{"id":"symbol-d8c718c94ae01fc0","tex":"p^{N-1}","aliases":"p^N-1","display":"p^{N-1}","kind":"use","occurrences":[11,12,14,15]},{"id":"symbol-360f794da8094012","tex":"p^s","aliases":"p^s","display":"p^s","kind":"use","occurrences":[10]},{"id":"symbol-1cc1c79952eb4cf2","tex":"\\pmod","aliases":"pmod","display":"\\pmod","kind":"use","occurrences":[2,11,12,13,14,15]},{"id":"symbol-4ae81572f06e1b88","tex":"Q","aliases":"Q","display":"Q","kind":"use","occurrences":[7,8]},{"id":"symbol-8e35c2cd3bf6641b","tex":"q","aliases":"q","display":"q","kind":"use","occurrences":[1,5,8,9,10]},{"id":"symbol-6386a60ab12436a6","tex":"q^k","aliases":"q^k","display":"q^k","kind":"use","occurrences":[1,5,8,9,10]},{"id":"symbol-04992c0930a894b0","tex":"q^L","aliases":"q^L","display":"q^L","kind":"use","occurrences":[5]},{"id":"symbol-e7e5525bc1e1d3e7","tex":"q^s","aliases":"q^s","display":"q^s","kind":"use","occurrences":[10]},{"id":"symbol-8c2574892063f995","tex":"R","aliases":"R","display":"R","kind":"use","occurrences":[0]},{"id":"symbol-454349e422f05297","tex":"r","aliases":"r","display":"r","kind":"use","occurrences":[3,4,9]},{"id":"symbol-a6be10a383c0ff11","tex":"r_0","aliases":"r_0","display":"r_0","kind":"use","occurrences":[4]},{"id":"symbol-7c77127f7fae6fe1","tex":"r_1","aliases":"r_1","display":"r_1","kind":"use","occurrences":[4]},{"id":"symbol-6d6362ab00b61fc6","tex":"r_2","aliases":"r_2","display":"r_2","kind":"use","occurrences":[4]},{"id":"symbol-35e4b1420672d392","tex":"r_j","aliases":"r_j","display":"r_j","kind":"use","occurrences":[3]},{"id":"symbol-c22b2dfad278c9e3","tex":"r_{k+j}","aliases":"r_k+j","display":"r_{k+j}","kind":"use","occurrences":[9]},{"id":"symbol-79ff2dd3f60f35b4","tex":"\\operatorname{rad}","aliases":"rad operatorname","display":"\\operatorname{rad}","kind":"use","occurrences":[0]},{"id":"symbol-043a718774c572bd","tex":"s","aliases":"s","display":"s","kind":"use","occurrences":[10]},{"id":"symbol-1c1b6af81578bab6","tex":"\\mathrm{sharp}","aliases":"sharp mathrm","display":"\\mathrm{sharp}","kind":"use","occurrences":[10]},{"id":"symbol-e3b98a4da31a127d","tex":"t","aliases":"t","display":"t","kind":"use","occurrences":[6,11,12,13]},{"id":"symbol-163dd25fe6cb484d","tex":"t_N","aliases":"t_N","display":"t_N","kind":"use","occurrences":[11,12,13]},{"id":"symbol-0bfe935e70c321c7","tex":"u","aliases":"u","display":"u","kind":"use","occurrences":[3,4,6]},{"id":"symbol-df29459720bd9419","tex":"u^j","aliases":"u^j","display":"u^j","kind":"use","occurrences":[3]},{"id":"symbol-4c94485e0c21ae6c","tex":"v","aliases":"v","display":"v","kind":"use","occurrences":[3,4,6]},{"id":"symbol-3a313f6772645c4e","tex":"v^j","aliases":"v^j","display":"v^j","kind":"use","occurrences":[3]},{"id":"symbol-2d711642b726b044","tex":"x","aliases":"x","display":"x","kind":"use","occurrences":[11,12,13,14]},{"id":"symbol-664f40df69e929ed","tex":"x^{p^{N-1}}","aliases":"x^p^N-1","display":"x^{p^{N-1}}","kind":"use","occurrences":[11]},{"id":"symbol-a1fce4363854ff88","tex":"y","aliases":"y","display":"y","kind":"use","occurrences":[12,13,14]},{"id":"symbol-594e519ae499312b","tex":"z","aliases":"z","display":"z","kind":"use","occurrences":[7,14]},{"id":"symbol-38e30a14620f14a0","tex":"z^j","aliases":"z^j","display":"z^j","kind":"use","occurrences":[7]},{"id":"symbol-cbe5cfdf7c2118a9","tex":"|","aliases":"|","display":"|","kind":"use","occurrences":[9]},{"id":"symbol-055de4ec3d8e4886","tex":"\\kappa","aliases":"κ kappa","display":"\\kappa","kind":"use","occurrences":[3,6]},{"id":"symbol-583cf6290785d72c","tex":"\\lambda","aliases":"λ lambda","display":"\\lambda","kind":"use","occurrences":[0,1,3,6]},{"id":"symbol-56dadbdf217ad92b","tex":"\\sum","aliases":"∑ sum","display":"\\sum","kind":"use","occurrences":[7,9,15]},{"id":"symbol-24b8da302aa3a7d3","tex":"\\sum_{i=0}^{p-1}","aliases":"∑_i=0^p-1 sum","display":"\\sum_{i=0}^{p-1}","kind":"use","occurrences":[15]},{"id":"symbol-e925b1f977fed8dc","tex":"\\sum_{j=0}^{d+1}","aliases":"∑_j=0^d+1 sum","display":"\\sum_{j=0}^{d+1}","kind":"use","occurrences":[7,9]},{"id":"symbol-ea7ef77bf7563068","tex":"\\equiv","aliases":"≡ equiv","display":"\\equiv","kind":"use","occurrences":[2,13,15]},{"id":"symbol-7a03384e6e8b8519","tex":"\\le","aliases":"≤ le","display":"\\le","kind":"use","occurrences":[9]},{"id":"symbol-d38f53421f824a97","tex":"\\ge","aliases":"≥ ge","display":"\\ge","kind":"use","occurrences":[5,9]}]}