Chapter 17: Problem 6
Let \(x, a_{0}, \ldots, a_{\ell-1} \in R,\) and let \(k\) be an integer with \(0
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 17: Problem 6
Let \(x, a_{0}, \ldots, a_{\ell-1} \in R,\) and let \(k\) be an integer with \(0
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
Let \(n\) be a large, positive integer. We can factor \(n\) using trial division in time \(n^{1 / 2+o(1)} ;\) however, using fast polynomial arithmetic in \(\mathbb{Z}_{n}[X],\) one can get a simple, deterministic, and rigorous algorithm that factors \(n\) in time \(n^{1 / 4+o(1)} .\) Note that all of the factoring algorithms discussed in Chapter \(15,\) while faster, are either probabilistic, or deterministic but heuristic. Assume that we can multiply polynomials in \(\mathbb{Z}_{n}[X]\) of length at most \(\ell\) using \(M(\ell)\) operations in \(\mathbb{Z}_{n},\) where \(M\) is a well-behaved complexity function, and \(M(\ell)=\ell^{1+o(1)}\) (the algorithm from Exercise 17.24 would suffice). (a) Let \(\ell\) be a positive integer, and for \(i=1, \ldots, \ell,\) let $$ a_{i}:=\prod_{j=0}^{\ell-1}(i \ell-j) \bmod n $$ Using fast polynomial arithmetic, show how to compute \(\left(a_{1}, \ldots, a_{\ell}\right)\) in time \(\ell^{1+o(1)} \operatorname{len}(n)^{O(1)}\) (b) Using the result of part (a), show how to factor \(n\) in time \(n^{1 / 4+o(1)}\) using a deterministic algorithm.
Let \(F\) be a field. Show that given polynomials \(s, t \in F[X]\) and integer \(k,\) with \(\operatorname{deg}(s)<\operatorname{deg}(t)\) and \(k>0,\) we can compute the \(k\) th coefficient in the reversed Laurent series representing \(s / t\) using \(O\left(\operatorname{len}(k) \operatorname{len}(t)^{2}\right)\) operations in \(F\)
Suppose you are given three polynomials \(f, g, h \in \mathbb{Z}_{p}[X],\) where
\(p\) is a large prime, in particular, \(p \geq 2 \operatorname{deg}(g)
\operatorname{deg}(h) .\) Design an efficient probabilistic algorithm that
tests if \(f=g(h)\) (i.e., if \(f\) equals \(g\) composed with \(h\) ). Your algorithm
should have the following properties: if \(f=g(h),\) it
\(\begin{array}{ll}468 & \text { Polynomial arithmetic and applications
}\end{array}\)
should always output "true," and otherwise, it should output "false" with
probability at least \(0.999 .\) The expected running time of your algorithm
should be
\(O\left((\operatorname{len}(f)+\operatorname{len}(g)+\operatorname{len}(h))
\operatorname{len}(p)^{2}\right)\)
EXERCISE 17.6. Let \(x, a_{0}, \ldots, a_{\ell-1} \in R,\) and let \(k\) be an
integer with \(0
Let \(g, h \in R[X, Y]\) with \(g=\sum_{i=0}^{m-1} g_{i} Y^{i}\) and \(h=\sum_{i=0}^{m-1} h_{i} Y^{i},\) where each \(g_{i}\) and \(h_{i}\) is a polynomial in \(X\) of degree less than \(k .\) The product \(f:=g h \in R[X, Y]\) may be written \(f=\sum_{i=0}^{2 m-2} f_{i} Y^{i},\) where each \(f_{i}\) is a polynomial in \(X .\) Show how to compute \(f,\) given \(g\) and \(h,\) using \(O(M(k m))\) operations in \(R\). Hint: for an appropriately chosen integer \(t>0,\) first convert \(g, h\) to \(\tilde{g}, \tilde{h} \in R[X],\) where \(\tilde{g}:=\sum_{i=0}^{m-1} g_{i} X^{t i}\) and \(\tilde{h}:=\sum_{i=0}^{m-1} h_{i} X^{t i} ;\) next, compute \(\tilde{f}:=\tilde{g} \tilde{h} \in R[X] ;\) finally, "read off" the \(f_{i}\) 's from the coefficients of \(\tilde{f}\).
This problem is the analog of Exercise 3.48 for \(R[X] .\) Let us first define the notion of a "floating point" reversed Laurent series \(\hat{z},\) which is represented as a pair \((g, e),\) where \(g \in R[X]\) and \(e \in \mathbb{Z}-\) the value of \(\hat{z}\) is \(g X^{e} \in R\left(\left(X^{-1}\right)\right),\) and we call len \((g)\) the precision of \(\hat{z} .\) We say that \(\hat{z}\) is a length \(k\) approximation of \(z \in R\left(\left(X^{-1}\right)\right)\) if \(\hat{z}\) has precision \(k\) and \(\hat{z}=(1+\varepsilon) z\) for \(\varepsilon \in R\left(\left(X^{-1}\right)\right)\) with \(\operatorname{deg}(\varepsilon) \leq-k,\) which is the same as saying that the high-order \(k\) coefficients of \(\hat{z}\) and \(z\) are equal. Show that given \(h \in R[X]\) with \(\operatorname{lc}(h) \in R^{*},\) and positive integer \(k,\) we can compute a length \(k\) approximation of \(1 / h \in R\left(\left(X^{-1}\right)\right)\) using \(O(M(k))\) operations in \(R\). Hint: using Newton iteration, show how to go from a length \(t\) approximation of \(1 / h\) to a length \(2 t\) approximation, making use of just the high-order \(2 t\) coefficients of \(h,\) and using \(O(M(t))\) operations in \(R\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.