On the hardness of cloning and connections to representation theory

TL;DR

This paper explores the computational hardness of cloning quantum witnesses, proposing a conjecture linking quantum state cloning difficulty to representation theory, specifically Kronecker coefficients, under complexity assumptions.

Contribution

It introduces a conjecture connecting quantum state cloning hardness to representation theory, suggesting no efficient cloning algorithms exist under certain complexity assumptions.

Findings

Proposes a conjecture relating cloning algorithms to Kronecker coefficients.

Links quantum state complexity to representation theory.

Suggests no efficient cloning algorithms exist assuming BQP does not contain NP.

Abstract

The states accepted by a quantum circuit are known as the witnesses for the quantum circuit's satisfiability. The assumption BQP does not equal QMA implies that no efficient algorithm exists for constructing a witness for a quantum circuit from the circuit's classical description. However, a similar complexity-theoretic lower bound on the computational hardness of cloning a witness is not known. In this note, we derive a conjecture about cloning algorithms for maximally entangled states over hidden subspaces which would imply that no efficient algorithm exists for cloning witnesses (assuming BQP does not contain NP). The conjecture and result follow from connections between quantum computation and representation theory; specifically, the relationship between quantum state complexity and the complexity of computing Kronecker coefficients.