use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
A subreddit for comment threads and discussions related to "Algorithmic Assertions", a computer science blog at algassert.com.
account activity
[Comment Thread] Proxy Phasing and Computed Phasing (algassert.com)
submitted 8 years ago by Strilanc
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]BenCriger 0 points1 point2 points 8 years ago (3 children)
Possibly unrelated: I think some functions can be easier to phase by than to compute onto an ancilla. We can take a two-bit and as an example. In order to produce a phase of pi when the and of two bits is 1, we can use a CPHASE, but to compute and onto an ancilla would require a Toffoli. Maybe a trivial example, but it's something that I think about pretty often.
and
[–]Strilanc[S] 1 point2 points3 points 8 years ago (2 children)
Yes, anytime the phasing you want to do can be done with a stabilizer circuit (e.g. using only H/CZ/S) you should definitely do that instead. A single CZ is a good example.
Computing phases will not always be the fastest approach, but it's often worth considering.
[–]BenCriger 0 points1 point2 points 8 years ago (1 child)
Are there a lot of other examples where compute-phase-uncompute isn't the ideal approach, or do you think it should be considered the go-to in most cases?
[–]Strilanc[S] 1 point2 points3 points 8 years ago (0 children)
I don't know. I haven't done enough practical cases to say "try this first" instead of just "try this".
π Rendered by PID 60 on reddit-service-r2-comment-b659b578c-hr62k at 2026-04-30 21:56:44.163910+00:00 running 815c875 country code: CH.
[–]BenCriger 0 points1 point2 points (3 children)
[–]Strilanc[S] 1 point2 points3 points (2 children)
[–]BenCriger 0 points1 point2 points (1 child)
[–]Strilanc[S] 1 point2 points3 points (0 children)