For QAOA it is known that in the large $p$ limit, the algorithm finds the minimum/maximum (see article A Quantum Approximate Optimization Algorithm).
Is there in general a proof for VQE starting from, let's say, uniform superposition state? Is there a standard construction of a circuit (ansatz preparation? not sure about the terminology) that the algorithm converges in some limit?