… -space quantum circuits, and stateQIP, which contains states that a … that statePSPACE
$\subseteq$ stateQIP.Our main result is the reverse inclusion, stateQIP $\subseteq$ statePSPACE, …

… of whether there exists a statePSPACE ⊆ stateQIP protocol with a … , where stateQIP(6) is
defined similarly to stateQIP but for … In Section 5 we define statePSPACE and stateQIP(6) and …

… We introduce the class stateQIP, which consists of all state … be succinctly recast as stating
that statePSPACE ⊆ stateQIP. … family of states in statePSPACE has a stateQIP protocol. This …

… the inclusion statePSPACE ⊆ stateQIP by presenting a constant-message stateQIP protocol…
technique counterpart for stateQIP, highlighting that the behavior of stateQIP aligns more …

This work investigates the relationships between quantum state synthesis complexity classes
(a recent concept in computational complexity that focuses on the complexity of preparing …

Understanding the computational complexity of learning efficient classical programs in
various learning models has been a fundamental and important question in classical …

… We also define stateQIP(m) as the m-message version of stateQIP, and statePSPACE as
the … We define unitaryQIP and unitaryPSPACE analogously to stateQIP and statePSPACE …

… For example, [RY22] defined the class statePSPACE as the set of all state sequences (𝜌𝑥)𝑥…
synthesis class stateQIP introduced by [RY22]; the only difference is that a stateQIP verifier …

The famous no-cloning principle has been shown recently to enable a number of uncloneable
functionalities. Here we address for the first time unkeyed quantum uncloneablity, via the …

… )stateQIP = Statepspace 1349 Tony Metger (ETH Zurich, Switzerland) and Henry Yuen (Columbia
University, USA)xii Session 8BConstant-Factor Approximation Algorithms for Convex …