Improved bounds on the AN-complexity of $$O(1)$$-linear functions

Goldreich, Oded

doi:10.1007/s00037-022-00224-7

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Follow the same technicality used in Refs. [20,24], in the reminder of this paper we will consider promise problems, [25] instead of decision problems. A promise problem Π = (Π YES , Π NO ) is a pair of disjoint sets of strings where the strings in the sets Π YES and Π NO are called YES and NO instances of the problem, and have answers YES and NO, respectively.…”

Section: Resultsmentioning

confidence: 99%

Efficient self-testing system for quantum computations based on permutations*

Ma¹,

Zhu²,

Nie³

et al. 2021

Chinese Phys. B

View full text Add to dashboard Cite

Verification in quantum computations is crucial since quantum systems are extremely vulnerable to the environment. However, verifying directly the output of a quantum computation is difficult since we know that efficiently simulating a large-scale quantum computation on a classical computer is usually thought to be impossible. To overcome this difficulty, we propose a self-testing system for quantum computations, which can be used to verify if a quantum computation is performed correctly by itself. Our basic idea is using some extra ancilla qubits to test the output of the computation. We design two kinds of permutation circuits into the original quantum circuit: one is applied on the ancilla qubits whose output indicates the testing information, the other is applied on all qubits (including ancilla qubits) which is aiming to uniformly permute the positions of all qubits. We show that both permutation circuits are easy to achieve. By this way, we prove that any quantum computation has an efficient self-testing system. In the end, we also discuss the relation between our self-testing system and interactive proof systems, and show that the two systems are equivalent if the verifier is allowed to have some quantum capacity.

show abstract

Section: Resultsmentioning

confidence: 99%