Title: Controlling arbitrary nxn unitaries with a complete graph of n+1 qubits: Beyond the single-excitation subspace

Abstract: Quantum computation and simulation with a complete graph of superconducting qubits has been proposed [PRA 91, 062309 (2015)]. The method does not require error correction and is practical now. By controlling the vertices (qubits) and edges (couplers) appropriately, and working in the single-excitation subspace (SES), a real but otherwise arbitrary nxn Hamiltonian can be directly programmed into the chip. The SES method, however, requires a physical qubit for every basis state in the computer's Hilbert space. This imposes large resource costs for algorithms using registers of ancillary qubits, as each ancilla doubles the required graph size. Here we show how to circumvent this doubling by leaving the SES and reintroducing a tensor product structure in the computational subspace. Specifically, we implement the tensor product of an SES register holding "data" with one or more ancilla qubits, which are able to independently control arbitrary nxn unitary operations on the data in a constant number of steps. This enables a hybrid form of quantum computation where fast SES operations are performed on the data, traditional logic gates and measurements are performed on the ancillas, and controlled-unitaries act between. As an application we give an ancilla-assisted SES implementation of the quantum linear system solver of Harrow, Hassidim, and Lloyd, and estimate that reasonably accurate symmetric matrix inversions up to dimension 10 would be possible before running out of coherence time.