 I^{\otimes n-1})V|0^n\rangle,\\  
f(0^{n+1},U_2)&=&\langle0^n|V^\dagger(|0\rangle\langle0|^{\otimes 2}
\otimes I^{\otimes n-2})V|0^n\rangle.\end{aligned}$$ Now we show that calculating $f(0^{n+1},U_1)$ and $f(0^{n+1},U_2)$ with a constant multiplicative error $0\le \epsilon<1$ is postBQP-hard. Since ${\rm postBQP}={\rm PP}$ [@postBQP] and ${\rm P}^{\rm PP}={\rm P}^{\#{\rm P}}$, it means that the calculation is $\#$P-hard. Proof is as follows. Let us assume that there exists an algorithm that calculates $a$ and $b$ such that $$\begin{aligned}
|f(0^{n+1},U_1)-a|&\le& \epsilon f(0^{n+1},U_1),\\
|f(0^{n+1},U_2)-b|&\le& \epsilon f(0^{n+1},U_2).\end{aligned}$$ Let $L$ be a language in postBQP. Then, for any polynomial $r$, there exists a uniform family $\{V_x\}_x$ of polynomial-time quantum circuits such that

-   If $x\in L$ then $P_{V_x}(o=0|p=0)\ge1-2^{-r}$.

-   If $x\notin L$ then $P_{V_x}(o=0|p=0)\le2^{-r}$.

Here, $$\begin{aligned}
P_{V_x}(o=0|p=0)=\frac{P_{V_x}(o=0,p=0)}{P_{V_x}(p=0)},\end{aligned}$$ $P_{V_x}(o=0,p=0)$ is the probability that $V_x$ outputs $(o,p)=(0,0)$, and $P_{V_x}(p=0)$ is the probability that $V_x$ outputs $p=0$.

Let us construct $U_1$ and $U_2$ by using $V_
I^{\otimes n-1})V|0^n\rangle,\\  
 f(0^{n+1},U_2)&=&\langle0^n|V^\dagger(|0\rangle\langle0|^{\otimes 2 } 
 \otimes I^{\otimes n-2})V|0^n\rangle.\end{aligned}$$ Now we show that calculating $ f(0^{n+1},U_1)$ and $ f(0^{n+1},U_2)$ with a constant multiplicative mistake $ 0\le \epsilon<1 $ is postBQP - unvoiced. Since $ { \rm postBQP}={\rm PP}$   [ @postBQP ] and $ { \rm P}^{\rm PP}={\rm P}^{\#{\rm P}}$, it means that the calculation is $ \#$P - hard. Proof is as postdate. Let us assume that there exist an algorithm that forecast $ a$ and $ b$ such that $ $ \begin{aligned } 
 |f(0^{n+1},U_1)-a|&\le & \epsilon f(0^{n+1},U_1),\\ 
 |f(0^{n+1},U_2)-b|&\le & \epsilon f(0^{n+1},U_2).\end{aligned}$$ Let $ L$ be a speech in postBQP. Then, for any polynomial $ r$, there exists a uniform syndicate $ \{V_x\}_x$ of polynomial - time quantum circuits such that 

 -    If $ x\in L$ then $ P_{V_x}(o=0|p=0)\ge1 - 2^{-r}$. 

 -    If $ x\notin L$ then $ P_{V_x}(o=0|p=0)\le2^{-r}$. 

 Here, $ $ \begin{aligned } 
 P_{V_x}(o=0|p=0)=\frac{P_{V_x}(o=0,p=0)}{P_{V_x}(p=0)},\end{aligned}$$ $ P_{V_x}(o=0,p=0)$ is the probability that $ V_x$ output $ (o, p)=(0,0)$, and $ P_{V_x}(p=0)$ is the probability that $ V_x$ output signal $ p=0$. 

 Let us construct $ U_1 $ and $ U_2 $ by use $ V _
 I^{\ohimes n-1})V|0^n\rangle,\\  
f(0^{n+1},U_2)&=&\langue0^n|V^\dagger(|0\ranglg\lqngle0|^{\ovimes 2}
\ofimes I^{\ogimes n-2})V|0^n\rangle.\end{aligned}$$ Nox we show that calculating $f(0^{n+1},U_1)$ xnd $f(0^{n+1},U_2)$ wpth a conwtanu multiplicative xdror $0\le \epsilkk<1$ is 'owtBQP-hard. Sincg ${\rm postBQP}={\sm PP}$ [@postBQP] atd ${\rl P}^{\rm PP}={\rm P}^{\#{\rm P}}$, it means that the salculayiln is $\#$P-hard. Prjof ps as rollows. Let us assume that there esists ai algorithm thay calculates $a$ and $b$ such hhat $$\begin{aligned}
|f(0^{n+1},U_1)-a|&\lf& \epsilon f(0^{b+1},U_1),\\
|f(0^{n+1},T_2)-v|&\le& \epsilon w(0^{n+1},U_2).\end{aligned}$$ Let $L$ be a language in postBQP. Then, for any 'olynomial $t$, fhfte exists a nnifori family $\{V_x\}_x$ of polytomial-tome quantum civcuitv sych that

-   If $x\in L$ tien $P_{V_x}(o=0|p=0)\ge1-2^{-r}$.

-   If $x\njtin L$ than $P_{V_x}(o=0|p=0)\le2^{-r}$.

Here, $$\begun{qligngd}
P_{V_x}(m=0|p=0)=\frxx{P_{V_b}(o=0,p=0)}{K_{V_x}('=0)},\ens{alignfd}$$ $'_{V_x}(o=0,p=0)$ is ths probabiliry that $V_x$ outputs $(p,p)=(0,0)$, qnd $P_{V_x}(p=0)$ is tge profafility that $V_x$ outputs $p=0$.

Let us construcu $U_1$ ahd $U_2$ by using $V_
I^{\otimes n-1})V|0^n\rangle,\\ f(0^{n+1},U_2)&=&\langle0^n|V^\dagger(|0\rangle\langle0|^{\otimes 2} \otimes I^{\otimes n-2})V|0^n\rangle.\end{aligned}$$ show calculating $f(0^{n+1},U_1)$ $f(0^{n+1},U_2)$ with a is Since ${\rm postBQP}={\rm [@postBQP] and ${\rm PP}={\rm P}^{\#{\rm P}}$, it means that calculation is $\#$P-hard. Proof is as follows. Let us assume that there exists algorithm that calculates $a$ and $b$ such that $$\begin{aligned} |f(0^{n+1},U_1)-a|&\le& \epsilon f(0^{n+1},U_1),\\ |f(0^{n+1},U_2)-b|&\le& f(0^{n+1},U_2).\end{aligned}$$ $L$ a in postBQP. Then, for any polynomial $r$, there exists a uniform family $\{V_x\}_x$ of polynomial-time quantum such that - If $x\in L$ then $P_{V_x}(o=0|p=0)\ge1-2^{-r}$. If $x\notin L$ then Here, $$\begin{aligned} P_{V_x}(o=0|p=0)=\frac{P_{V_x}(o=0,p=0)}{P_{V_x}(p=0)},\end{aligned}$$ $P_{V_x}(o=0,p=0)$ is probability $V_x$ outputs and is probability that $V_x$ $p=0$. Let us construct $U_1$ and $U_2$ by using $V_
 I^{\otimes n-1})V|0^n\rangle,\\  
f(0^{n+1},U_2)&=&\langle0^N|V^\dagger(|0\raNgle\lAngLe0|^{\oTiMes 2}
\oTimeS I^{\otimes n-2})V|0^n\ranGLe.\enD{aligned}$$ Now we show that cAlculAtINg $f(0^{n+1},u_1)$ AnD $f(0^{n+1},U_2)$ wIth a conSTaNT MulTiPlIcaTiVE eRror $0\lE \epSilon<1$ is PostBQP-harD. SiNcE ${\rm postBQP}={\rm pp}$ [@pOstBQP] and ${\rM P}^{\rM PP}={\rm P}^{\#{\rm P}}$, it mEanS that tHe CalCUlatiOn iS $\#$P-harD. Proof IS as folLows. Let us AsSUme thaT There exISTs An alGorithm that calculATeS $A$ and $b$ such that $$\bEgin{alIgNEd}
|F(0^{N+1},u_1)-a|&\lE& \epSilon f(0^{n+1},U_1),\\
|f(0^{n+1},u_2)-b|&\Le& \epsILon f(0^{n+1},U_2).\eND{aLIGNed}$$ lEt $L$ be a languagE in postBQP. THEn, fOr any pOlYnoMIal $r$, thEre exIsTS a uNiform familY $\{V_x\}_x$ Of polynomIal-timE Quantum CIrcuits Such thAt

-   IF $x\iN L$ thEN $P_{v_x}(O=0|p=0)\gE1-2^{-r}$.

-   iF $x\nOTiN L$ tHEn $P_{v_x}(o=0|p=0)\le2^{-r}$.

HErE, $$\bEgin{aLignED}
p_{v_X}(o=0|p=0)=\fRac{p_{V_x}(o=0,P=0)}{P_{V_x}(p=0)},\End{aligned}$$ $P_{V_x}(O=0,p=0)$ iS the PRobAbiliTy thaT $V_x$ oUtPuts $(o,P)=(0,0)$, and $P_{V_X}(p=0)$ is tHe Probability that $v_x$ ouTputs $p=0$.

Let Us cOnStrUcT $U_1$ and $u_2$ By usinG $V_
 I^{\otimes n-1})V|0^n\ran gle,\\  
f (0^{n +1} ,U_ 2) &=&\ lang le0^n|V^\dagge r (|0\ rangle\langle0|^{\otim es 2} 
\ o time s  I ^{\ot imes n- 2 }) V | 0^n \r an gle .\ e nd {alig ned }$$ Now  we show t hat  c alculating $ f (0 ^{n+1},U_1 )$and $f(0^{n+ 1}, U_2)$wi tha  cons tan t mul tiplic a tive e rror $0\l e\ epsilo n <1$ isp o st BQP- hard. Since ${\rm po s tBQP}={\rm PP} $ [@po st B QP ] and  ${ \rm P}^{\r mPP}={ \ rm P}^{ \ #{ \ r m  P} } $, it means t hat the cal c ula tion i s$\# $ P-hard . Pro of isas follows.  Let  us assum e that there e x ists an  algor ith m t hatc al cu lat es $a$ an d $ b $ s uch that  $ $\ begin {ali g n e d }
|f (0^ {n+1 },U_1 )-a|&\le& \ep sil on f ( 0^{ n+1}, U_1), \\
| f( 0^{n+ 1},U_2 )-b|& \l e& \epsilon f(0 ^{n+ 1},U_2).\ end {a lig ne d}$$L et $L$  be  alanguag e in po s tBQ P. T h en , for any polynomi al $ r$ , thereexists aun i form fam il y $ \{V_ x \ }_x$of p o ly nomial-t ime qu a nt um  circui ts  suchth at
-  If$ x\in  L$ th en $P_{V _x}(o = 0|p=0)\ge1-2^{ - r}$.

-   If$ x\ n o ti n  L$the n $P_{V_x}( o=0| p =0)\ le2^ { -r }$. 
Here , $$\ be g in { aligned}
P_{V_x}(o= 0| p=0)=\ frac{ P_{V_x}(o=0,p =0)}{P_{V_ x } ( p=0)},\e nd{a l ig n ed}$$ $P_{V_x} (o=0, p=0)$ is t h e probab ility  that $V _x$ outpu t s  $(o,p)= (0, 0)$ , a nd$ P _{ V_x}(p=0)$ is t he p ro babilit y t hat $V_ x$out put s $ p= 0$.

Letus const ru ct  $ U_ 1$and $ U _2$ by u si ng$V _
 I^{\otimes_n-1})V|0^n\rangle,\\ _
f(0^{n+1},U_2)&=&\langle0^n|V^\dagger(|0\rangle\langle0|^{\otimes 2}
\otimes I^{\otimes n-2})V|0^n\rangle.\end{aligned}$$_Now we_show_that calculating_$f(0^{n+1},U_1)$_and $f(0^{n+1},U_2)$ with_a constant multiplicative_error $0\le \epsilon<1$ is_postBQP-hard. Since ${\rm_postBQP}={\rm_PP}$ [@postBQP] and ${\rm P}^{\rm PP}={\rm P}^{\#{\rm P}}$, it means that the calculation is $\#$P-hard._Proof_is as_follows._Let_us assume that there exists_an algorithm that calculates $a$_and $b$_such that $$\begin{aligned}
|f(0^{n+1},U_1)-a|&\le& \epsilon f(0^{n+1},U_1),\\
|f(0^{n+1},U_2)-b|&\le& \epsilon f(0^{n+1},U_2).\end{aligned}$$ Let_$L$_be a language_in postBQP. Then, for any polynomial $r$, there exists_a uniform family $\{V_x\}_x$ of polynomial-time_quantum circuits such_that

-__ If $x\in L$_then $P_{V_x}(o=0|p=0)\ge1-2^{-r}$.

-   If $x\notin_L$ then $P_{V_x}(o=0|p=0)\le2^{-r}$.

Here, $$\begin{aligned}
P_{V_x}(o=0|p=0)=\frac{P_{V_x}(o=0,p=0)}{P_{V_x}(p=0)},\end{aligned}$$ $P_{V_x}(o=0,p=0)$ is_the probability that $V_x$ outputs $(o,p)=(0,0)$, and_$P_{V_x}(p=0)$ is the probability that $V_x$_outputs $p=0$.

Let us construct $U_1$_and $U_2$_by using $V_