Showing 1–3 of 3 results for author: Kindler, G

Towards a quantum-inspired proof for IP = PSPACE

Authors: Ayal Green, Guy Kindler, Yupan Liu

Abstract: We explore quantum-inspired interactive proof systems where the prover is limited. Namely, we improve on a result by [AG17] showing a quantum-inspired interactive protocol ($\sf IP$) for $\sf PreciseBQP$ where the prover is only assumed to be a $\sf PreciseBQP$ machine, and show that the result can be strengthened to show an $\sf IP$ for $\sf NP^{PP}$ with a prover which is only assumed to be an… ▽ More We explore quantum-inspired interactive proof systems where the prover is limited. Namely, we improve on a result by [AG17] showing a quantum-inspired interactive protocol ($\sf IP$) for $\sf PreciseBQP$ where the prover is only assumed to be a $\sf PreciseBQP$ machine, and show that the result can be strengthened to show an $\sf IP$ for $\sf NP^{PP}$ with a prover which is only assumed to be an $\sf NP^{PP}$ machine - which was not known before. We also show how the protocol can be used to directly verify $\sf QMA$ computations, thus connecting the sum-check protocol by [AAV13] with the result of [AG17, LFKN90]. Our results shed light on a quantum-inspired proof for ${\sf IP} = {\sf PSPACE}$, as $\sf PreciseQMA$ captures the full $\sf PSPACE$ power. △ Less

Submitted 5 November, 2021; v1 submitted 25 December, 2019; originally announced December 2019.

Comments: 10 pages. Minor changes and corrections compared to v2

Journal ref: Quantum Inf. Comput. 21(5&6): 377-386 (2021)

Quantum automata cannot detect biased coins, even in the limit

Authors: Guy Kindler, Ryan O`Donnell

Abstract: Aaronson and Drucker (2011) asked whether there exists a quantum finite automaton that can distinguish fair coin tosses from biased ones by spending significantly more time in accepting states, on average, given an infinite sequence of tosses. We answer this question negatively. Aaronson and Drucker (2011) asked whether there exists a quantum finite automaton that can distinguish fair coin tosses from biased ones by spending significantly more time in accepting states, on average, given an infinite sequence of tosses. We answer this question negatively. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Comments: preprint

Gaussian Noise Sensitivity and BosonSampling

Authors: Gil Kalai, Guy Kindler

Abstract: We study the sensitivity to noise of |permanent(X)|^2 for random real and complex n x n Gaussian matrices X, and show that asymptotically the correlation between the noisy and noiseless outcomes tends to zero when the noise level is ω(1)/n. This suggests that, under certain reasonable noise models, the probability distributions produced by noisy BosonSampling are very sensitive to noise. We also s… ▽ More We study the sensitivity to noise of |permanent(X)|^2 for random real and complex n x n Gaussian matrices X, and show that asymptotically the correlation between the noisy and noiseless outcomes tends to zero when the noise level is ω(1)/n. This suggests that, under certain reasonable noise models, the probability distributions produced by noisy BosonSampling are very sensitive to noise. We also show that when the amount of noise is constant the noisy value of |permanent(X)|^2 can be approximated efficiently on a classical computer. These results seem to weaken the possibility of demonstrating quantum-speedup via BosonSampling without quantum fault-tolerance. △ Less

Submitted 8 November, 2014; v1 submitted 10 September, 2014; originally announced September 2014.

Comments: Version 2: A few corrections and additions