 face of ${\mathrm{Newt}}_p(f)$ with inner normal $(v,1)$. [$\blacksquare$]{}

In Example \[ex:newt\] earlier, note that the $3$ lower edges have respective horizontal lengths $2$, $3$, and $1$, and inner normals $(1,1)$, $(0,1)$, and $(-5,1)$. Lemma \[lemma:newt\] then tells us that $f$ has exactly $6$ roots in ${\mathbb{C}}_3$: $2$ with $3$-adic valuation $1$, $3$ with $3$-adic valuation $0$, and $1$ with $3$-adic valuation $-5$. Indeed, one can check that the roots of $f$ are exactly $6$, $1$, and $\frac{1}{243}$, with respective multiplicities $2$, $3$, and $1$. [$\diamond$]{}

The Proof of Assertion (2) of Theorem \[thm:qp\] {#sub:proof2}
------------------------------------------------

The existence of $0$ as a root is clearly checkable in constant time so we may again assume that $f$ is not divisible by $x_1$. Via the reciprocal polynomial $f^*(x_1)\!:=\!x_1^{\deg f}f(1/x_1)$, it is then enough to show that, for most $f$, having a root in ${\mathbb{Z}}_p$ admits a succinct certificate. As observed in the proof of Assertion (2), ${\mathrm{Newt}}_p(f)$ can be computed in polynomial-time. Since ${{\mathrm{ord}}}_pc_i\!\leq\!\log_pc_i\!\leq\!{\mathrm{size}}(c_i)$, note also that that every root $\zeta\!\in\!{\mathbb{C}}_p$ of $f$ satisfies $|{{\mathrm{ord}}}_p\zeta|\!\leq\!2\max_i{\mathrm{size}}(c_i)\!\leq\!2{\mathrm{size}}(f)\!<\!
2{\mathrm{size}}_p(f)$.

Since ${{\mathrm{ord}}}_p({\mathbb{Z}}_p)\!=\!{\mathbb{N}}\cup\{0\}$, we can clearly assume that ${\mathrm{Newt}}_p(f)$ has an edge with non-positive integral slope, for otherwise $f$ would have no roots in ${\mathbb{Z}}_p
face of $ { \mathrm{Newt}}_p(f)$ with inner normal $ (v,1)$. [ $ \blacksquare$ ] { } 

 In Example \[ex: newt\ ] earlier, note that the $ 3 $ low edge have respective horizontal lengths $ 2 $, $ 3 $, and $ 1 $, and inner convention $ (1,1)$, $ (0,1)$, and $ (-5,1)$. Lemma \[lemma: newt\ ] then tells us that $ f$ has exactly $ 6 $ solution in $ { \mathbb{C}}_3 $: $ 2 $ with $ 3$-adic valuation $ 1 $, $ 3 $ with $ 3$-adic valuation $ 0 $, and $ 1 $ with $ 3$-adic evaluation $ -5$. Indeed, one can match that the roots of $ f$ are precisely $ 6 $, $ 1 $, and $ \frac{1}{243}$, with respective multiplicities $ 2 $, $ 3 $, and $ 1$. [ $ \diamond$ ] { } 

 The Proof of Assertion (2) of Theorem \[thm: qp\ ] { # sub: proof2 } 
 ------------------------------------------------ 

 The being of $ 0 $ as a root is clearly checkable in constant time so we may again assume that $ f$ is not divisible by $ x_1$. Via the reciprocal polynomial $ f^*(x_1)\!:=\!x_1^{\deg f}f(1 / x_1)$, it is then adequate to show that, for most $ f$, having a solution in $ { \mathbb{Z}}_p$ admits a succinct security. As observed in the validation of Assertion (2), $ { \mathrm{Newt}}_p(f)$ can be computed in polynomial - time. Since $ { { \mathrm{ord}}}_pc_i\!\leq\!\log_pc_i\!\leq\!{\mathrm{size}}(c_i)$, note also that that every root $ \zeta\!\in\!{\mathbb{C}}_p$ of $ f$ satisfies $ |{{\mathrm{ord}}}_p\zeta|\!\leq\!2\max_i{\mathrm{size}}(c_i)\!\leq\!2{\mathrm{size}}(f)\!<\! 
 2{\mathrm{size}}_p(f)$. 

 Since $ { { \mathrm{ord}}}_p({\mathbb{Z}}_p)\!=\!{\mathbb{N}}\cup\{0\}$, we can clearly wear that $ { \mathrm{Newt}}_p(f)$ has an edge with non - positive integral slope, for otherwise $ f$ would have no roots in $ { \mathbb{Z}}_p
 fafe of ${\mathrm{Newt}}_p(f)$ with lnner normal $(v,1)$. [$\blacksquere$]{}

In Esample \[eb:newt\] earlier, note that the $3$ liwer tbges have respective horizontwl lengtys $2$, $3$, qnd $1$, and iiher normals $(1,1)$, $(0,1)$, wnd $(-5,1)$. Oemma \[lemma:newj\] then tells us that $f$ has ebaetly $6$ roots in ${\mathbb{C}}_3$: $2$ with $3$-adic vajuation $1$, $3$ with $3$-adic valoatiom $0$, ans $1$ with $3$-adic valuation $-5$. Indeed, one can chtck that the roots of $f$ are exactly $6$, $1$, and $\frwc{1}{243}$, wlth respective mulhiplicities $2$, $3$, age $1$. [$\diamond$]{}

Thd Proof of Assertion (2) kf Theorem \[thm:qp\] {#sub:proof2}
------------------------------------------------

The exkstenee of $0$ as a riot hs clearly rheckafle in constant time so we kay again assuke vhat $f$ is not divisible bb $x_1$. Via the reciprocwl polynokicl $f^*(x_1)\!:=\!x_1^{\deg f}f(1/x_1)$, it is tyeb enoogh tm shuq tfat, fpr most $v$, heving a roof in ${\mathbb{Z}}_p$ admits a succincu cqgyificate. As kbservqd in the proof of Assertion (2), ${\mathrm{Newt}}_p(x)$ czn be computed in polynimial-time. Since ${{\mathrl{ord}}}_pc_i\!\lez\!\log_pc_i\!\leq\!{\mathrm{size}}(c_i)$, note also that that every soot $\vega\!\iu\!{\nathbc{X}}_p$ of $f$ satisfies $|{{\mathrm{ord}}}_p\zeta|\!\leq\!2\max_i{\mathrm{siss}}(c_o)\!\lvq\!2{\mathrm{size}}(f)\!<\!
2{\mathvm{size}}_p(f)$.

Since ${{\mathtm{lrc}}}_k({\mathbb{Z}}_p)\!=\!{\mathbc{N}}\cup\{0\}$, cs dan clearly assume that ${\mwthrm{Bewt}}_p(f)$ haf an edge with non-positive intetral slope, fje otherwise $f$ woulb have no routs on ${\mayhbb{Z}}_p
face of ${\mathrm{Newt}}_p(f)$ with inner normal $(v,1)$. Example earlier, note the $3$ lower $2$, and $1$, and normals $(1,1)$, $(0,1)$, $(-5,1)$. Lemma \[lemma:newt\] then tells us $f$ has exactly $6$ roots in ${\mathbb{C}}_3$: $2$ with $3$-adic valuation $1$, $3$ $3$-adic valuation $0$, and $1$ with $3$-adic valuation $-5$. Indeed, one can check the of are $6$, $1$, and $\frac{1}{243}$, with respective multiplicities $2$, $3$, and $1$. [$\diamond$]{} The Proof of Assertion of Theorem \[thm:qp\] {#sub:proof2} ------------------------------------------------ The existence of as a root is checkable in constant time so may assume that is divisible $x_1$. Via the polynomial $f^*(x_1)\!:=\!x_1^{\deg f}f(1/x_1)$, it is then enough to show that, for most $f$, having a root in admits a As observed the of (2), ${\mathrm{Newt}}_p(f)$ can in polynomial-time. Since ${{\mathrm{ord}}}_pc_i\!\leq\!\log_pc_i\!\leq\!{\mathrm{size}}(c_i)$, note also root $\zeta\!\in\!{\mathbb{C}}_p$ of $f$ satisfies $|{{\mathrm{ord}}}_p\zeta|\!\leq\!2\max_i{\mathrm{size}}(c_i)\!\leq\!2{\mathrm{size}}(f)\!<\! 2{\mathrm{size}}_p(f)$. Since we can assume that ${\mathrm{Newt}}_p(f)$ has an edge non-positive integral slope, for otherwise $f$ would have roots in ${\mathbb{Z}}_p
 face of ${\mathrm{Newt}}_p(f)$ with innEr normal $(v,1)$. [$\bLacksQuaRe$]{}

IN EXampLe \[ex:Newt\] earlier, notE That The $3$ lower edges have respeCtive HoRIzonTAl LengtHs $2$, $3$, and $1$, anD InNER noRmAlS $(1,1)$, $(0,1)$, anD $(-5,1)$. LEMmA \[lemmA:neWt\] then tElls us that $F$ haS eXactly $6$ roots iN ${\MaThbb{C}}_3$: $2$ with $3$-aDic Valuation $1$, $3$ witH $3$-adIc valuAtIon $0$, ANd $1$ witH $3$-adIc valUation $-5$. iNdeed, oNe can checK tHAt the rOOts of $f$ aRE ExActlY $6$, $1$, and $\frac{1}{243}$, with respeCTiVE multiplicitieS $2$, $3$, and $1$. [$\diAmONd$]{}

tHE PrOof Of AssertioN (2) oF TheoREm \[thm:qp\] {#SUb:PROOf2}
------------------------------------------------

THE existence of $0$ aS a root is cleARly CheckaBlE in COnstanT time So WE maY again assumE thaT $f$ is not diVisiblE By $x_1$. Via tHE reciprOcal poLynOmiAl $f^*(x_1)\!:=\!X_1^{\DeG f}F(1/x_1)$, iT iS TheN EnOugH To sHow that, fOr MoSt $f$, haVing A ROOT in ${\mAthBb{Z}}_p$ AdmitS a succinct cerTifIcatE. as oBservEd in tHe prOoF of AsSertioN (2), ${\mathRm{newt}}_p(f)$ can be compUted In polynomIal-TiMe. SInCe ${{\matHRm{ord}}}_pC_i\!\lEq\!\lOg_pc_i\!\leQ\!{\mathrm{SIze}}(C_i)$, NOTE aLso that that every roOt $\ZETa\!\In\!{\mathbb{c}}_p$ of $f$ sATiSfIEs $|{{\mathrm{OrD}}}_p\zEta|\!\lEQ\!2\Max_i{\mAthrM{SiZe}}(c_i)\!\leq\!2{\mAthrm{sIZe}}(F)\!<\!
2{\mAthrm{siZe}}_P(f)$.

SincE ${{\mAthRm{oRd}}}_p({\maTHbb{Z}}_P)\!=\!{\mathbB{N}}\cup\{0\}$, we cAn cleARly assume that ${\mAThrm{Newt}}_p(f)$ has AN eDGE wITh noN-poSitive integRal sLOpe, fOr otHErWisE $F$ woulD have No ROoTS in ${\mathbb{Z}}_p
 face of ${\mathrm{Newt}}_ p(f)$ with  inne r n orm al  $(v ,1)$ . [$\blacksqua r e$]{ }

In Example \[ex:new t\] e ar l ier, no te th at the$ 3$ l owe red ges  h a ve  resp ect ive hor izontal le ngt hs  $2$, $3$, a n d$1$, and i nne r normals $( 1,1 )$, $( 0, 1)$ ,  and$(- 5,1)$ . Lemm a  \[lem ma:newt\]  t h en tel l s us th a t  $ f$ h as exactly $6$ ro o ts in ${\mathbb{C }}_3$:  $ 2 $w i th$3$ -adic valu at ion $ 1 $, $3$w it h $ 3$- a dic valuation  $0$, and $ 1 $ w ith $3 $- adi c  valua tion$- 5 $.Indeed, one  can  check th at the roots o f  $f$ ar e exac tly  $6 $, $ 1 $,  a nd$\ f rac { 1} {24 3 }$,  with re sp ec tivemult i p l i citi es$2$,  $3$,  and $1$. [$\ dia mond $ ]{} 

The  Proo f of  A ssert ion (2 ) ofTh eorem \[thm:qp\ ] {# sub:proof 2}-- --- -- ----- - ------ --- --- ------- ------- - --- -- - - - 
The existence of $ 0$ a sa root i s clea r ly  c h eckablein  co nsta n t  time  sow emay agai n assu m eth at $f$is  not d iv isi ble  by $ x _1$.  Via t he recip rocal polynomial $f^ * (x_1)\!:=\!x_ 1 ^{ \ d eg f}f( 1/x _1)$, it is  the n  eno ught osho w  that , for  m o st $f$, having a rootin  ${\ma thbb{ Z}}_p$ admits  a succinc t c ertifica te.A so bserved in the  proo f of Asser t ion (2),  ${\m athrm{Ne wt}}_p(f) $ can be c omp ute d i n p o l yn omial-time. S i n ce $ {{ \mathrm {or d}}}_pc _i\ !\l eq\ !\l og _pc_i\!\l eq\!{\ma th rm {s iz e}} (c_i) $ , note a ls o t ha t t hat e v ery ro ot $\ zeta \! \i n \!{ \mathbb { C} } _ p$ o f$f $ sa tis fi es $| {{\m a thr m{ord}} }_p\zeta| \!\ l eq\! 2\ ma x_i{\ma thrm{size}}(c _i )\!\leq\!2 {\ mat hrm{si z e }}(f)\!< \!
2{\mathrm{size}}_p(f ) $.

Sin ce${{\m athr m{ord}}}_ p({ \mathb b{Z } }_p)\! =\!{\m athbb {N }}\ c u p\{0\ } $ ,weca n clearlya s sum e tha t${\m athrm{N ewt}}_p(f)$ has an edg e with non-po sit ivei n te gra l  s l ope ,f oro t herwise $f$ wou ld have no  r o ot s in ${\ma t hbb {Z }}_p
 face_of ${\mathrm{Newt}}_p(f)$_with inner normal $(v,1)$._[$\blacksquare$]{}

In Example_\[ex:newt\]_earlier, note_that_the $3$ lower_edges have respective_horizontal lengths $2$, $3$,_and $1$, and_inner_normals $(1,1)$, $(0,1)$, and $(-5,1)$. Lemma \[lemma:newt\] then tells us that $f$ has exactly_$6$_roots in_${\mathbb{C}}_3$:_$2$_with $3$-adic valuation $1$, $3$_with $3$-adic valuation $0$, and_$1$ with_$3$-adic valuation $-5$. Indeed, one can check that_the_roots of $f$_are exactly $6$, $1$, and $\frac{1}{243}$, with respective multiplicities_$2$, $3$, and $1$. [$\diamond$]{}

The Proof_of Assertion (2)_of_Theorem_\[thm:qp\] {#sub:proof2}
------------------------------------------------

The existence of_$0$ as a root is clearly_checkable in constant time so we_may again assume that $f$ is not_divisible by $x_1$. Via the reciprocal_polynomial $f^*(x_1)\!:=\!x_1^{\deg f}f(1/x_1)$, it is_then enough_to show that, for most_$f$, having a_root in_${\mathbb{Z}}_p$ admits a_succinct certificate. As observed in the_proof of Assertion_(2), ${\mathrm{Newt}}_p(f)$ can be computed in_polynomial-time._Since ${{\mathrm{ord}}}_pc_i\!\leq\!\log_pc_i\!\leq\!{\mathrm{size}}(c_i)$, note_also_that_that every_root $\zeta\!\in\!{\mathbb{C}}_p$ of_$f$_satisfies $|{{\mathrm{ord}}}_p\zeta|\!\leq\!2\max_i{\mathrm{size}}(c_i)\!\leq\!2{\mathrm{size}}(f)\!<\!
2{\mathrm{size}}_p(f)$.

Since_${{\mathrm{ord}}}_p({\mathbb{Z}}_p)\!=\!{\mathbb{N}}\cup\{0\}$,_we can clearly assume that ${\mathrm{Newt}}_p(f)$_has_an edge with non-positive integral slope, for_otherwise $f$ would have_no_roots in ${\mathbb{Z}}_p