-
Does provable absence of barren plateaus imply classical simulability? Or, why we need to rethink variational quantum computing
Authors:
M. Cerezo,
Martin Larocca,
Diego García-Martín,
N. L. Diaz,
Paolo Braccia,
Enrico Fontana,
Manuel S. Rudolph,
Pablo Bermejo,
Aroosa Ijaz,
Supanut Thanasilp,
Eric R. Anschuetz,
Zoë Holmes
Abstract:
A large amount of effort has recently been put into understanding the barren plateau phenomenon. In this perspective article, we face the increasingly loud elephant in the room and ask a question that has been hinted at by many but not explicitly addressed: Can the structure that allows one to avoid barren plateaus also be leveraged to efficiently simulate the loss classically? We present strong e…
▽ More
A large amount of effort has recently been put into understanding the barren plateau phenomenon. In this perspective article, we face the increasingly loud elephant in the room and ask a question that has been hinted at by many but not explicitly addressed: Can the structure that allows one to avoid barren plateaus also be leveraged to efficiently simulate the loss classically? We present strong evidence that commonly used models with provable absence of barren plateaus are also classically simulable, provided that one can collect some classical data from quantum devices during an initial data acquisition phase. This follows from the observation that barren plateaus result from a curse of dimensionality, and that current approaches for solving them end up encoding the problem into some small, classically simulable, subspaces. Thus, while stressing quantum computers can be essential for collecting data, our analysis sheds serious doubt on the non-classicality of the information processing capabilities of parametrized quantum circuits for barren plateau-free landscapes. We end by discussing caveats in our arguments, the role of smart initializations and the possibility of provably superpolynomial, or simply practical, advantages from running parametrized quantum circuits.
△ Less
Submitted 19 March, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Spacetime quantum and classical mechanics with dynamical foliation
Authors:
N. L. Diaz,
J. M. Matera,
R. Rossignoli
Abstract:
The conventional phase space of classical physics treats space and time differently, and this difference carries over to field theories and quantum mechanics (QM). In this paper, the phase space is enhanced through two main extensions. First, we promote the time choice of the Legendre transform to a dynamical variable. Second, we extend the Poisson brackets of matter fields to a spacetime symmetri…
▽ More
The conventional phase space of classical physics treats space and time differently, and this difference carries over to field theories and quantum mechanics (QM). In this paper, the phase space is enhanced through two main extensions. First, we promote the time choice of the Legendre transform to a dynamical variable. Second, we extend the Poisson brackets of matter fields to a spacetime symmetric form. The ensuing "spacetime phase space" is employed to obtain an explicitly covariant version of Hamilton equations for relativistic field theories. A canonical-like quantization of the formalism is then presented in which the fields satisfy spacetime commutation relations and the foliation is quantum. In this approach, the classical action is also promoted to an operator and retains explicit covariance through its non-separability in the matter-foliation partition. The problem of establishing a correspondence between the new noncausal framework (where fields at different times are independent) and conventional QM is solved through a generalization of spacelike correlators to spacetime. In this generalization, the Hamiltonian is replaced by the action, and conventional particles by off-shell particles. When the foliation is quantized, the previous map is recovered by conditioning on foliation eigenstates, in analogy with the Page and Wootters mechanism. We also provide an interpretation of the correspondence in which the causal structure of a given theory emerges from the quantum correlations between the system and an environment. This idea holds for general quantum systems and allows one to generalize the density matrix to an operator containing the information of correlators both in space and time.
△ Less
Submitted 13 May, 2024; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Showcasing a Barren Plateau Theory Beyond the Dynamical Lie Algebra
Authors:
N. L. Diaz,
Diego García-Martín,
Sujay Kazi,
Martin Larocca,
M. Cerezo
Abstract:
Barren plateaus have emerged as a pivotal challenge for variational quantum computing. Our understanding of this phenomenon underwent a transformative shift with the recent introduction of a Lie algebraic theory capable of explaining most sources of barren plateaus. However, this theory requires either initial states or observables that lie in the circuit's Lie algebra. Focusing on parametrized ma…
▽ More
Barren plateaus have emerged as a pivotal challenge for variational quantum computing. Our understanding of this phenomenon underwent a transformative shift with the recent introduction of a Lie algebraic theory capable of explaining most sources of barren plateaus. However, this theory requires either initial states or observables that lie in the circuit's Lie algebra. Focusing on parametrized matchgate circuits, in this work we are able to go beyond this assumption and provide an exact formula for the loss function variance that is valid for arbitrary input states and measurements. Our results reveal that new phenomena emerge when the Lie algebra constraint is relaxed. For instance, we find that the variance does not necessarily vanish inversely with the Lie algebra's dimension. Instead, this measure of expressiveness is replaced by a generalized expressiveness quantity: The dimension of the Lie group modules. By characterizing the operators in these modules as products of Majorana operators, we can introduce a precise notion of generalized globality and show that measuring generalized-global operators leads to barren plateaus. Our work also provides operational meaning to the generalized entanglement as we connect it with known fermionic entanglement measures, and show that it satisfies a monogamy relation. Finally, while parameterized matchgate circuits are not efficiently simulable in general, our results suggest that the structure allowing for trainability may also lead to classical simulability.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Parallel-in-time quantum simulation via Page and Wootters quantum time
Authors:
N. L. Diaz,
Paolo Braccia,
Martin Larocca,
J. M. Matera,
R. Rossignoli,
M. Cerezo
Abstract:
In the past few decades, researchers have created a veritable zoo of quantum algorithm by drawing inspiration from classical computing, information theory, and even from physical phenomena. Here we present quantum algorithms for parallel-in-time simulations that are inspired by the Page and Wooters formalism. In this framework, and thus in our algorithms, the classical time-variable of quantum mec…
▽ More
In the past few decades, researchers have created a veritable zoo of quantum algorithm by drawing inspiration from classical computing, information theory, and even from physical phenomena. Here we present quantum algorithms for parallel-in-time simulations that are inspired by the Page and Wooters formalism. In this framework, and thus in our algorithms, the classical time-variable of quantum mechanics is promoted to the quantum realm by introducing a Hilbert space of "clock" qubits which are then entangled with the "system" qubits. We show that our algorithms can compute temporal properties over $N$ different times of many-body systems by only using $\log(N)$ clock qubits. As such, we achieve an exponential trade-off between time and spatial complexities. In addition, we rigorously prove that the entanglement created between the system qubits and the clock qubits has operational meaning, as it encodes valuable information about the system's dynamics. We also provide a circuit depth estimation of all the protocols, showing an exponential advantage in computation times over traditional sequential in time algorithms. In particular, for the case when the dynamics are determined by the Aubry-Andre model, we present a hybrid method for which our algorithms have a depth that only scales as $\mathcal{O}(\log(N)n)$. As a by product we can relate the previous schemes to the problem of equilibration of an isolated quantum system, thus indicating that our framework enable a new dimension for studying dynamical properties of many-body systems.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Path Integrals from Spacetime Quantum Actions
Authors:
N. L. Diaz,
J. M. Matera,
R. Rossignoli
Abstract:
The possibility of extending the canonical formulation of quantum mechanics (QM) to a space-time symmetric form has recently attracted wide interest. In this context, a recent proposal has shown that a spacetime symmetric many-body extension of the Page and Wootters mechanism naturally leads to the so-called Quantum Action (QA) operator, a quantum version of the action of classical mechanics. In t…
▽ More
The possibility of extending the canonical formulation of quantum mechanics (QM) to a space-time symmetric form has recently attracted wide interest. In this context, a recent proposal has shown that a spacetime symmetric many-body extension of the Page and Wootters mechanism naturally leads to the so-called Quantum Action (QA) operator, a quantum version of the action of classical mechanics. In this work, we focus on connecting the QA with the well-established Feynman's Path Integral (PI). In particular, we present a novel formalism which allows one to identify the "sum over histories" with a quantum trace, where the role of the classical action is replaced by the corresponding QA. The trace is defined in the extended Hilbert space resulting from assigning a conventional Hilbert space to each time slice and then taking their tensor product. The formalism opens the way to the application of quantum computation protocols to the evaluation of PIs and general correlation functions, and reveals that different representations of the PI arise from distinct choices of basis in the evaluation of the same trace expression. The Hilbert space embedding of the PIs also discloses a new approach to their continuum time limit. Finally, we discuss how the ensuing canonical-like version of QM inherits many properties from the PI formulation, thus allowing an explicitly covariant treatment of spacetime symmetries.
△ Less
Submitted 6 June, 2024; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Spacetime Quantum Actions
Authors:
N. L. Diaz,
J. M. Matera,
R. Rossignoli
Abstract:
We propose a formulation of quantum mechanics in an extended Fock space in which a tensor product structure is applied to time. Subspaces of histories consistent with the dynamics of a particular theory are defined by a direct quantum generalization of the corresponding classical action. The diagonalization of such quantum actions enables us to recover the predictions of conventional quantum mecha…
▽ More
We propose a formulation of quantum mechanics in an extended Fock space in which a tensor product structure is applied to time. Subspaces of histories consistent with the dynamics of a particular theory are defined by a direct quantum generalization of the corresponding classical action. The diagonalization of such quantum actions enables us to recover the predictions of conventional quantum mechanics and reveals an extended unitary equivalence between all physical theories. Quantum correlations and coherent effects across time and between distinct theories acquire a rigorous meaning, which is encoded in the rich temporal structure of physical states. Connections with modern relativistic schemes and the path integral formulation also emerge.
△ Less
Submitted 20 February, 2021; v1 submitted 18 October, 2020;
originally announced October 2020.
-
History state formalism for scalar particles
Authors:
N. L. Diaz,
J. M. Matera,
R. Rossignoli
Abstract:
We present a covariant quantum formalism for scalar particles based on an enlarged Hilbert space. The particular physical theory can be introduced through a timeless Wheeler DeWitt-like equation, whose projection onto four-dimensional coordinates leads to the Klein Gordon equation. The standard quantum mechanical product in the enlarged space, which is invariant and positive definite, implies the…
▽ More
We present a covariant quantum formalism for scalar particles based on an enlarged Hilbert space. The particular physical theory can be introduced through a timeless Wheeler DeWitt-like equation, whose projection onto four-dimensional coordinates leads to the Klein Gordon equation. The standard quantum mechanical product in the enlarged space, which is invariant and positive definite, implies the usual Klein Gordon product when applied to its eigenstates. Moreover, the standard three-dimensional invariant measure emerges naturally from the flat measure in four dimensions when mass eigenstates are considered, allowing a rigorous identification between definite mass history states and the standard Wigner representation. Connections with the free propagator of scalar field theory and localized states are subsequently derived. The formalism also allows the superposition of different theories and remains valid in the presence of a fixed external field, revealing special orthogonality relations. Other details such as extended identities for the current density, the quantization of parameterized theories and the nonrelativistic limit, with its connection to the Page and Wootters formalism, are discussed. A related consistent second quantization formulation is also introduced.
△ Less
Submitted 30 December, 2019; v1 submitted 9 October, 2019;
originally announced October 2019.
-
History state formalism for Dirac's theory
Authors:
N. L. Diaz,
R. Rossignoli
Abstract:
We propose a history state formalism for a Dirac particle. By introducing a reference quantum clock system it is first shown that Dirac's equation can be derived by enforcing a timeless Wheeler-DeWitt-like equation for a global state. The Hilbert space of the whole system constitutes a unitary representation of the Lorentz group with respect to a properly defined invariant product, and the proper…
▽ More
We propose a history state formalism for a Dirac particle. By introducing a reference quantum clock system it is first shown that Dirac's equation can be derived by enforcing a timeless Wheeler-DeWitt-like equation for a global state. The Hilbert space of the whole system constitutes a unitary representation of the Lorentz group with respect to a properly defined invariant product, and the proper normalization of global states directly ensures standard Dirac's norm. Moreover, by introducing a second quantum clock, the previous invariant product emerges naturally from a generalized continuity equation. The invariant parameter $τ$ associated with this second clock labels history states for different particles, yielding an observable evolution in the case of an hypothetical superposition of different masses. Analytical expressions for both space-time density and electron-time entanglement are provided for two particular families of electron's states, the former including Pryce localized particles.
△ Less
Submitted 15 February, 2019; v1 submitted 4 June, 2018;
originally announced June 2018.