Recent comments from SciRate

Craig Gidney May 03 2022 08:08 UTC

What are the advantages of this method over rejection sampling, which also scales inversely in the filling ratio and requires one call to the oracle per attempt?

Victory Omole May 02 2022 18:18 UTC

Ah, that makes sense. Thank you for the detailed answer. I will try Qermit out!

Dan Mills Apr 28 2022 08:49 UTC

Hi Victory, many thanks for your message! Mitiq is great, and you're quite right that it breaks down the implementations of each protocol. In the case of Mitiq this could be seen as a result of the attentive development of the software. In the case of Qermit this breakdown of protocols into submodul

...(continued)
Dominik Hangleiter Apr 26 2022 18:07 UTC

Thanks, Lorenzo, for your reply. That makes sense, and I fully agree with everything you say :).

Maybe it's worth to stress that point then: your result applies to *families of states* that are defined by their amount of magic rather than individual states, correct?

Victory Omole Apr 26 2022 15:58 UTC

Thanks for this package! The paper says

> Qermit is complementary to Mitiq [23], which is an opensource Python toolkit that implements an overlapping set of error mitigation schemes. Qermit takes a different approach that
breaks-down the implementation of each protocol into standalone modular un

...(continued)
Lorenzo Leone Apr 26 2022 15:44 UTC

Dear Dominik, happy to hear from you. We are sorry for the late response.

The answer is yes and no. From the one hand, what you say is true. You can perform direct fidelity estimation on the state $(U_{1}\otimes\ldots U_{n})|\psi\rangle $ by expanding the fidelity between the theoretical state an

...(continued)
Jon Tyson Apr 26 2022 07:27 UTC

What is referred to as "dual unitaries" was previously called "maximally entangled unitaries" in https://arxiv.org/abs/quant-ph/0306144, and more such operators were constructed there from biunimodular functions. They are maximally entangled in the sense of Mike Nielsen's operator schmidt decomposi

...(continued)
Dominik Hangleiter Apr 20 2022 21:33 UTC

Hi Lorenzo, Salvatore and Alioscia,

consider an $n$-qubit stabilizer state $| \psi \rangle$ with stabilizers $S_1,\ldots, S_n$. Then the state $U | \psi \rangle$ with $U = U_1 \otimes \cdots \otimes U_n$ for *arbitrary* single qubit unitaries $U_1, \ldots, U_n$ is stabilized by $U S_1 U^\dagger

...(continued)
Robin Blume-Kohout Apr 13 2022 16:29 UTC

*I've removed the text of this comment, because it addressed a prior comment that has since been deleted. Absent the prior comment, there is no need for my words to appear here. However, I've chosen not to delete the comment entirely in order to leave a record that there was once a discussion here

...(continued)
Shawn Geller Apr 05 2022 14:40 UTC

Comments are welcome!

Blake Stacey Apr 04 2022 02:23 UTC

This is an interesting development!

Up until this point, it has seemed to me that while the RQM literature endorsed up front a strong form of relationalism, when one dug into the details, the writing backed away from it. For example, measurement outcomes were treated as relative to an observer, b

...(continued)
Tom O Mar 30 2022 14:59 UTC

Hey Hong-Ye, yes thank you for the reply!

Hsin-Yuan Huang Mar 26 2022 17:46 UTC

Hi Jerome,

Thank you so much for the additional references! We will include these works in the next update.

Best regards,

Robert (Hsin-Yuan Huang)

Jerome Gonthier Mar 24 2022 13:14 UTC

Very interesting! Regarding Section III.G about variational quantum-classical algorithms, it could be worth mentioning grouping methods that are not directly related to randomized measurements. Indeed, these methods seem to outperform classical shadow methods in several examples. See Fig. 3 in http

...(continued)
Alex Meiburg Mar 23 2022 20:53 UTC

I enjoyed this paper! One question, on equation (3) and the immediately preceding definition of P_n(U), is the a_n supposed to be a_{n+1}?

Hong-Ye Hu Mar 21 2022 19:10 UTC

Hi Tom, thanks for your interest. In the second case you mentioned, it is still a $[[N=nk,k]]$ error correction code.

If one uses global Clifford group for shadow tomography, the sample complexity for predicting O scales as the rank of operator, here it would be P*O, where P is the projection op

...(continued)
Tom O Mar 20 2022 22:50 UTC

Really nice! One thing I'm not sure about after reading is whether the $k$ in the $4^k$ in the bound for sample complexity refers to either:

1. the $k$ in the stabiliser code definition i.e. $[n,k]$ indicates you can encode $k$ logical qubits in $n$ physical qubits.
2. The total number of logi

...(continued)
Kaelan Donatella Mar 11 2022 09:45 UTC

Hi,

I found your work quite interesting and original in the way you change the storage of an operator. Maybe you would be interested in this somewhat similar work, that also works for weakly dissipative bosonic systems https://arxiv.org/abs/2102.04265 (see appendix I.5 and figure 6)

Best

Sevag Gharibian Mar 04 2022 17:44 UTC

This was an important conversation to start, thank you for doing it.

Robin Blume-Kohout Mar 03 2022 12:27 UTC

This looks like a nice result, but it might be worth referencing the main result of "[Efficient Method for Computing the Maximum-Likelihood Quantum State from Measurements with Additive Gaussian Noise][1]" (PRL 108, 070502 (2012)). It seems closely related, albeit focused on removing the negative p

...(continued)
Nikolas Breuckmann Mar 03 2022 10:33 UTC

Hey Anthony, no worries! The connection is not obvious and we do not mention local testability in our paper.

Anthony Leverrier Mar 01 2022 07:57 UTC

Hi Niko.
Really sorry for that! We cited your paper when we mentioned recent constructions of good quantum LDPC codes, but it's completely true that we should have mentioned that your balanced product codes were also giving the codes of Dinur et al. We'll acknowledge that in a revision of the paper

...(continued)
Nikolas Breuckmann Mar 01 2022 07:50 UTC

I do not want to be *that guy*, but I would like to point out that the codes of Dinur et al. are the balanced product codes we conjectured to be good LDPC quantum codes in https://arxiv.org/abs/2012.09271 .
Dinur et al. point this out in a revised version of their paper https://arxiv.org/abs/2111.0

...(continued)
Aram Harrow Feb 22 2022 22:02 UTC

Daochen Wang pointed out that Lemma 4.3 is false. In fact, discarding registers 1 and 2 yields a mixture of |z(f(a))> for uniformly random $a\in A$

Jahan Claes Feb 22 2022 04:33 UTC

Interesting work! I was under the impression that any imaginary time evolution algorithm had to fail for some local Hamiltonians, as finding the ground state of gapped local Hamiltonians is NP complete. If you try to do the imaginary time evolution with LCU, you could see the success probability of

...(continued)
Henry Yuen Jan 29 2022 00:20 UTC

I also would like to point out that Gregory Rosenthal also has a paper from November that shows how to construct arbitrary n-qubit states in depth O(n) with exponentially many ancillas. (https://arxiv.org/pdf/2111.07992.pdf).

Guojing Tian Jan 28 2022 14:54 UTC

The result of this Theorem 1 was actually a special case of a more general result in arXiv:2108.06150v2 in November of last year, where the authors showed how to achieve the optimal depth for an anbitrary number of ancillary qubits, among other results.

Filip Maciejewski Jan 28 2022 13:56 UTC

Indeed, that's what Theorem 1 states:

Theorem 1 (Arbitrary quantum state preparation). With only
single- and two-qubit gates, an arbitrary 𝑛-qubit quantum state
can be deterministically prepared with a circuit depth Θ(𝑛)
and 𝑂(𝑁) ancillary qubits.

where N = 2^n.

Aram Harrow Jan 28 2022 13:11 UTC

I haven't read the paper but the abstract says they use ancilla, presumably exponentially many in the worst case.

Martin Kliesch Jan 28 2022 10:25 UTC

Arbitrary quantum states cannot be prepared with poly sized quantum circuits in the sense of https://arxiv.org/abs/1102.1360. How is this compatible with these results?

Blake Stacey Jan 24 2022 20:05 UTC

Parikh and Verlinde's "De Sitter Holography with a Finite Number of States" is cited three times in the bibliography (references 38, 39 and 40 are isomorphic). In addition, reference 45 replicates reference 44.

Apropos: Does anyone know the *first* time that the Bekenstein bound was reinterpreted

...(continued)
Michal Oszmaniec Jan 21 2022 09:44 UTC

Thanks for clarification David! In my thinking I was "fixated" on density matrices and channels and it was harder to see this.

Craig Gidney Jan 21 2022 05:58 UTC

I have been wondering about this 2018 ( https://quantumcomputing.stackexchange.com/q/4912/119 ) and finally someone did it.

Raz Firanko Jan 20 2022 14:01 UTC

Hi, nice results!

You a small typo on your proof of Theorem 17:
To minimize over P.S.D operators you need to switch to
$A=\rho^{1/4}B\rho^{1/4}$ and not $A=\rho^{1/2}B$ which is generally not positive.

Alex Meiburg Jan 19 2022 18:57 UTC

Is the Appendix currently available anywhere? :)

David Gosset Jan 19 2022 14:04 UTC

Thanks, Michal! To answer your question, say we are interested in the marginal probability for obtaining $x\in \{0,1\}^{|A|}$ when measuring a subset $A\subseteq [n]$ of the qubits in the computational basis, starting from a state $U|0^n\rangle$ where $U$ is a depth-$d$ circuit. We can write this m

...(continued)
Markus Heinrich Jan 19 2022 08:51 UTC

We have made another update to our paper. This is a complete rewrite with simplified proofs and extended discussions. We have added the two-qubit case as a minimal version of our main result with shorter proofs. Additionally, we now give a normal form for the Kraus representation of stabiliser opera

...(continued)
Michal Oszmaniec Jan 18 2022 09:03 UTC

Magnificent paper!

I have one small question. On page 3, when comparing gate-by-gate and qubit-by-qubit simulations you state that the estimated cost of computing the marginal probability is f(n,2d), where f(n,d) is the cost of computing an amplitude of depth d circuit acting on n qubits. Why is

...(continued)
Mankei Tsang Jan 12 2022 05:08 UTC

I received some criticisms of this work on generalized conditional expectations (GCEs), most likely from someone who has a fundamentalist attitude about the Belavkin nondemolition principle. I think there may be other people who have similar questions and it's now very difficult to travel or attend

...(continued)
Blake Stacey Jan 02 2022 18:06 UTC

In this connection, see also section 6 ("Decoupling of the cyclotomic field") in [SIC-POVMs from Stark units](https://scirate.com/arxiv/2112.05552).

Shozab Qasim Dec 20 2021 18:22 UTC

It works now! :)

Ivan Savov Dec 19 2021 15:33 UTC

Here is a binder link if you want to try the notebooks: https://mybinder.org/v2/gh/vsiddhu/SDP-Quantum-OR/HEAD (this will launch an interactive jupyter-lab environment in the cloud)

GitHub repo is here: https://github.com/vsiddhu/SDP-Quantum-OR

Armando Angrisani Dec 14 2021 11:58 UTC

I've been informed that our information-theoretic bounds might overlap with the results presented in this paper:
https://arxiv.org/abs/1304.2336.
I'll go through it and then update the preprint with the correct references.

On the other hand, the applications to learning theory and crypto should

...(continued)
Adam Bene Watts Dec 01 2021 19:19 UTC

It's definitely a universal problem, but I'm pretty sure I know what's causing it and it *should* be fixed with an update tomorrow. Thanks for spotting it!

Matt Hagan Dec 01 2021 18:44 UTC

I was able to replicate this, no pdf available for me

Shozab Qasim Dec 01 2021 08:10 UTC

I don't know if this is a universal problem, but for some reason, no PDF is generated. Here or on the arXiv.

Yang Dec 01 2021 07:20 UTC

Dear authors, the paper looks quite interesting to us. Personally, we quite believe in applying distributed learning techniques into the variational quantum algorithms. Thanks for pushing forward this idea! What a coincidence, our preprint "Accelerating variational quantum algorithms with multiple q

...(continued)
Mankei Tsang Nov 30 2021 17:28 UTC

In this paper, Madsen, Valdetaro, and Moelmer wrote

> in [12–14] probing of time dependent perturbations with Gaussian
> noise correlations by quantum systems restricted to Gaussian states
> was shown to closely follow the classical theory of
> Mayne-Fraser-Potter two-filter smoothers [15]. Here, w

...(continued)
Sevag Gharibian Nov 29 2021 12:43 UTC

Upvoted! Is this going to be a trend now, where we each post older and older theses? :-) (Kidding of course, always good to have it on the public record.)

Mankei Tsang Nov 18 2021 16:09 UTC

Thanks Hsin-Yuan Huang!