Showcasing a Barren Plateau Theory Beyond the Dynamical Lie Algebra
- URL: http://arxiv.org/abs/2310.11505v1
- Date: Tue, 17 Oct 2023 18:04:43 GMT
- Title: Showcasing a Barren Plateau Theory Beyond the Dynamical Lie Algebra
- Authors: N. L. Diaz, Diego Garc\'ia-Mart\'in, Sujay Kazi, Martin Larocca, M.
Cerezo
- Abstract summary: Barren plateaus have emerged as a pivotal challenge for variational quantum computing.
We provide an exact formula for the loss function variance that is valid for arbitrary input states and measurements.
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.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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 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.
Related papers
- Nonparametric Partial Disentanglement via Mechanism Sparsity: Sparse
Actions, Interventions and Sparse Temporal Dependencies [58.179981892921056]
This work introduces a novel principle for disentanglement we call mechanism sparsity regularization.
We propose a representation learning method that induces disentanglement by simultaneously learning the latent factors.
We show that the latent factors can be recovered by regularizing the learned causal graph to be sparse.
arXiv Detail & Related papers (2024-01-10T02:38:21Z) - Deciding finiteness of bosonic dynamics with tunable interactions [0.0]
We study the corresponding Lie algebras, which can potentially be infinite dimensional.
Our work paves the way for better understanding factorization of bosonic dynamics relevant to quantum control and quantum technology.
arXiv Detail & Related papers (2023-12-29T20:33:01Z) - The Adjoint Is All You Need: Characterizing Barren Plateaus in Quantum
Ans\"atze [3.2773906224402802]
We formulate a theory of Barren Plateaus for parameterized quantum circuits whose observables lie in their Lie algebra (DLA)
For the first time, our theory provides, for the first time, the ability to compute the variance of the variance of the gradient cost function of the quantum compound ansatz.
arXiv Detail & Related papers (2023-09-14T17:50:04Z) - Third quantization of open quantum systems: new dissipative symmetries
and connections to phase-space and Keldysh field theory formulations [77.34726150561087]
We reformulate the technique of third quantization in a way that explicitly connects all three methods.
We first show that our formulation reveals a fundamental dissipative symmetry present in all quadratic bosonic or fermionic Lindbladians.
For bosons, we then show that the Wigner function and the characteristic function can be thought of as ''wavefunctions'' of the density matrix.
arXiv Detail & Related papers (2023-02-27T18:56:40Z) - Instance-Dependent Generalization Bounds via Optimal Transport [51.71650746285469]
Existing generalization bounds fail to explain crucial factors that drive the generalization of modern neural networks.
We derive instance-dependent generalization bounds that depend on the local Lipschitz regularity of the learned prediction function in the data space.
We empirically analyze our generalization bounds for neural networks, showing that the bound values are meaningful and capture the effect of popular regularization methods during training.
arXiv Detail & Related papers (2022-11-02T16:39:42Z) - Equivariant Disentangled Transformation for Domain Generalization under
Combination Shift [91.38796390449504]
Combinations of domains and labels are not observed during training but appear in the test environment.
We provide a unique formulation of the combination shift problem based on the concepts of homomorphism, equivariance, and a refined definition of disentanglement.
arXiv Detail & Related papers (2022-08-03T12:31:31Z) - Newton Cradle Spectra [0.0]
We prove nonperturbative results on the behavior of eigenvalues and eigenvectors.
We apply these results to quantum computing and information theory.
arXiv Detail & Related papers (2022-06-20T18:00:02Z) - Causal Expectation-Maximisation [70.45873402967297]
We show that causal inference is NP-hard even in models characterised by polytree-shaped graphs.
We introduce the causal EM algorithm to reconstruct the uncertainty about the latent variables from data about categorical manifest variables.
We argue that there appears to be an unnoticed limitation to the trending idea that counterfactual bounds can often be computed without knowledge of the structural equations.
arXiv Detail & Related papers (2020-11-04T10:25:13Z) - Sub-bosonic (deformed) ladder operators [62.997667081978825]
We present a class of deformed creation and annihilation operators that originates from a rigorous notion of fuzziness.
This leads to deformed, sub-bosonic commutation relations inducing a simple algebraic structure with modified eigenenergies and Fock states.
In addition, we investigate possible consequences of the introduced formalism in quantum field theories, as for instance, deviations from linearity in the dispersion relation for free quasibosons.
arXiv Detail & Related papers (2020-09-10T20:53:58Z) - At the Interface of Algebra and Statistics [0.0]
This thesis takes inspiration from quantum physics to investigate mathematical structure that lies at the interface of algebra and statistics.
Every joint probability distribution on a finite set can be modeled as a rank one density operator.
We show it is akin to conditional probability, and then investigate the extent to which the eigenvectors capture "concepts" inherent in the original joint distribution.
arXiv Detail & Related papers (2020-04-12T15:22:07Z) - Non-Gaussian Entanglement Renormalization for Quantum Fields [0.0]
The icMERA circuit nonperturbatively implements a set of scale dependent nonlinear transformations on the fields of the theory.
We show that icMERA wavefunctionals encode proper non-Gaussian correlations of the theory, thus providing a new variational tool to study phenomena related with strongly interacting field theories.
arXiv Detail & Related papers (2020-03-18T19:00:02Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.