No Arabic abstract
The computation of the ground state (i.e. the eigenvector related to the smallest eigenvalue) is an important task in the simulation of quantum many-body systems. As the dimension of the underlying vector space grows exponentially in the number of particles, one has to consider appropriate subsets promising both convenient approximation properties and efficient computations. The variational ansatz for this numerical approach leads to the minimization of the Rayleigh quotient. The Alternating Least Squares technique is then applied to break down the eigenvector computation to problems of appropriate size, which can be solved by classical methods. Efficient computations require fast computation of the matrix-vector product and of the inner product of two decomposed vectors. To this end, both appropriate representations of vectors and efficient contraction schemes are needed. Here approaches from many-body quantum physics for one-dimensional and two-dimensional systems (Matrix Product States and Projected Entangled Pair States) are treated mathematically in terms of tensors. We give the definition of these concepts, bring some results concerning uniqueness and numerical stability and show how computations can be executed efficiently within these concepts. Based on this overview we present some modifications and generalizations of these concepts and show that they still allow efficient computations such as applicable contraction schemes. In this context we consider the minimization of the Rayleigh quotient in terms of the {sc parafac} (CP) formalism, where we also allow different tensor partitions. This approach makes use of efficient contraction schemes for the calculation of inner products in a way that can easily be extended to the mps format but also to higher dimensional problems.
We describe a general methodology for enhancing the efficiency of adiabatic quantum computations (AQC). It consists of homotopically deforming the original Hamiltonian surface in a way that the redistribution of the Gaussian curvature weakens the effect of the anti-crossing, thus yielding the desired improvement. Our approach is not pertubative but instead is built on our previous global description of AQC in the language of Morse theory. Through the homotopy deformation we witness the birth and death of critical points whilst, in parallel, the Gauss-Bonnet theorem reshuffles the curvature around the changing set of critical points. Therefore, by creating enough critical points around the anti-crossing, the total curvature--which was initially centered at the original anti-crossing--gets redistributed around the new neighbouring critical points, which weakens its severity and so improves the speedup of the AQC. We illustrate this on two examples taken from the literature.
We import the tools of Morse theory to study quantum adiabatic evolution, the core mechanism in adiabatic quantum computations (AQC). AQC is computationally equivalent to the (pre-eminent paradigm) of the Gate model but less error-prone, so it is ideally suitable to practically tackle a large number of important applications. AQC remains, however, poorly understood theoretically and its mathematical underpinnings are yet to be satisfactorily identified. Through Morse theory, we bring a novel perspective that we expect will open the door for using such mathematics in the realm of quantum computations, providing a secure foundation for AQC. Here we show that the singular homology of a certain cobordism, which we construct from the given Hamiltonian, defines the adiabatic evolution. Our result is based on E. Wittens construction for Morse homology that was derived in the very different context of supersymmetric quantum mechanics. We investigate how such topological description, in conjunction with Gauss-Bonnet theorem and curvature based reformulation of Morse lemma, can be an obstruction to any computational advantage in AQC. We also explore Conley theory, for the sake of completeness, in advance of any known practical Hamiltonian of interest. We conclude with the instructive case of the ferromagnetic $p-$spin where we show that changing its first order quantum transition (QPT) into a second order QPT, by adding non-stoquastic couplings, amounts to homotopically deform the initial surface accompanied with birth of pairs of critical points. Their number reaches its maximum when the system is fully non-stoquastic. In parallel, the total Gaussian curvature gets redistributed (by the Gauss--Bonnet theorem) around the new neighbouring critical points, which weakens the severity of the QPT.
We show that the Davies generator associated to any 2D Kitaevs quantum double model has a non-vanishing spectral gap in the thermodynamic limit. This validates rigorously the extended belief that those models are useless as self-correcting quantum memories, even in the non-abelian case. The proof uses recent ideas and results regarding the characterization of the spectral gap for parent Hamiltonians associated to Projected Entangled Pair States in terms of a bulk-boundary correspondence.
We give an alternative derivation for the explicit formula of the effective Hamiltonian describing the evolution of the quantum state of any number of photons entering a linear optics multiport. The description is based on the effective Hamiltonian of the optical system for a single photon and comes from relating the evolution in the Lie group that describes the unitary evolution matrices in the Hilbert space of the photon states to the evolution in the Lie algebra of the Hamiltonians for one and multiple photons. We give a few examples of how a group theory approach can shed light on some properties of devices with two input ports.
Quantum networks are a new paradigm of complex networks, allowing us to harness networked quantum technologies and to develop a quantum internet. But how robust is a quantum network when its links and nodes start failing? We show that quantum networks based on typical noisy quantum-repeater nodes are prone to discontinuous phase transitions with respect to the random loss of operating links and nodes, abruptly compromising the connectivity of the network, and thus significantly limiting the reach of its operation. Furthermore, we determine the critical quantum-repeater efficiency necessary to avoid this catastrophic loss of connectivity as a function of the network topology, the network size, and the distribution of entanglement in the network. In particular, our results indicate that a scale-free topology is a crucial design principle to establish a robust large-scale quantum internet.