On construction of finite averaging sets for $SL(2, \mathbb{C})$ via its
Cartan decomposition
- URL: http://arxiv.org/abs/2010.15783v3
- Date: Fri, 9 Apr 2021 10:25:49 GMT
- Title: On construction of finite averaging sets for $SL(2, \mathbb{C})$ via its
Cartan decomposition
- Authors: Marcin Markiewicz and Janusz Przewocki
- Abstract summary: Averaging physical quantities over Lie groups appears in many contexts like quantum information science or quantum optics.
In this work we investigate the problem of constructing finite averaging sets for averaging over general non-compact matrix Lie groups.
We provide an explicit calculation of such sets for the group $SL(2, mathbbC)$, although our construction can be applied to other cases.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Averaging physical quantities over Lie groups appears in many contexts across
the rapidly developing branches of physics like quantum information science or
quantum optics. Such an averaging process can be always represented as
averaging with respect to a finite number of elements of the group, called a
finite averaging set. In the previous research such sets, known as $t$-designs,
were constructed only for the case of averaging over unitary groups (hence the
name unitary $t$-designs). In this work we investigate the problem of
constructing finite averaging sets for averaging over general non-compact
matrix Lie groups, which is much more subtle task due to the fact that the the
uniform invariant measure on the group manifold (the Haar measure) is infinite.
We provide a general construction of such sets based on the Cartan
decomposition of the group, which splits the group into its compact and
non-compact components. The averaging over the compact part can be done in a
uniform way, whereas the averaging over the non-compact one has to be endowed
with a suppresing weight function, and can be approached using generalised
Gauss quadratures. This leads us to the general form of finite averaging sets
for semisimple matrix Lie groups in the product form of finite averaging sets
with respect to the compact and non-compact parts. We provide an explicit
calculation of such sets for the group $SL(2, \mathbb{C})$, although our
construction can be applied to other cases. Possible applications of our
results cover finding finite ensambles of random operations in quantum
information science and quantum optics, which can be used in constructions of
randomised quantum algorithms, including optical interferometric
implementations.
Related papers
- Sample Complexity Bounds for Estimating Probability Divergences under Invariances [31.946304450935628]
Group-invariant probability distributions appear in many data-generative models in machine learning.
In this work, we study how the inherent invariances, with respect to any smooth action of a Lie group on a manifold, improve sample complexity.
Results are completely new for groups of positive dimension and extend recent bounds for finite group actions.
arXiv Detail & Related papers (2023-11-06T04:45:21Z) - Lie Group Decompositions for Equivariant Neural Networks [12.139222986297261]
We show how convolution kernels can be parametrized to build models equivariant with respect to affine transformations.
We evaluate the robustness and out-of-distribution generalisation capability of our model on the benchmark affine-invariant classification task.
arXiv Detail & Related papers (2023-10-17T16:04:33Z) - Instance-Optimal Cluster Recovery in the Labeled Stochastic Block Model [79.46465138631592]
We devise an efficient algorithm that recovers clusters using the observed labels.
We present Instance-Adaptive Clustering (IAC), the first algorithm whose performance matches these lower bounds both in expectation and with high probability.
arXiv Detail & Related papers (2023-06-18T08:46:06Z) - Adaptive constant-depth circuits for manipulating non-abelian anyons [65.62256987706128]
Kitaev's quantum double model based on a finite group $G$.
We describe quantum circuits for (a) preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement.
arXiv Detail & Related papers (2022-05-04T08:10:36Z) - An exact quantum hidden subgroup algorithm and applications to solvable
groups [2.5204420653245245]
We present a time exact quantum algorithm for the hidden subgroup problem in $Z_mkn$.
We also present applications to compute the structure of abelian and solvable groups whose order has the same (but possibly unknown) prime factors solvable as m.
arXiv Detail & Related papers (2022-02-08T18:22:35Z) - Accessible maps in a group of classical or quantum channels [0.0]
We study the problem of accessibility in a set of classical and quantum channels admitting a group structure.
Group properties of the set of channels, and the closure of the analyzed group $G structure are studied.
arXiv Detail & Related papers (2022-01-29T08:06:21Z) - Lattice-Based Methods Surpass Sum-of-Squares in Clustering [98.46302040220395]
Clustering is a fundamental primitive in unsupervised learning.
Recent work has established lower bounds against the class of low-degree methods.
We show that, perhaps surprisingly, this particular clustering model textitdoes not exhibit a statistical-to-computational gap.
arXiv Detail & Related papers (2021-12-07T18:50:17Z) - Exclusive Group Lasso for Structured Variable Selection [10.86544864007391]
A structured variable selection problem is considered.
A composite norm can be properly designed to promote such exclusive group sparsity patterns.
An active set algorithm is proposed that builds the solution by including structure atoms into the estimated support.
arXiv Detail & Related papers (2021-08-23T16:55:13Z) - Fuzzy Clustering with Similarity Queries [56.96625809888241]
The fuzzy or soft objective is a popular generalization of the well-known $k$-means problem.
We show that by making few queries, the problem becomes easier to solve.
arXiv Detail & Related papers (2021-06-04T02:32:26Z) - A Practical Method for Constructing Equivariant Multilayer Perceptrons
for Arbitrary Matrix Groups [115.58550697886987]
We provide a completely general algorithm for solving for the equivariant layers of matrix groups.
In addition to recovering solutions from other works as special cases, we construct multilayer perceptrons equivariant to multiple groups that have never been tackled before.
Our approach outperforms non-equivariant baselines, with applications to particle physics and dynamical systems.
arXiv Detail & Related papers (2021-04-19T17:21:54Z) - Distributed, partially collapsed MCMC for Bayesian Nonparametrics [68.5279360794418]
We exploit the fact that completely random measures, which commonly used models like the Dirichlet process and the beta-Bernoulli process can be expressed as, are decomposable into independent sub-measures.
We use this decomposition to partition the latent measure into a finite measure containing only instantiated components, and an infinite measure containing all other components.
The resulting hybrid algorithm can be applied to allow scalable inference without sacrificing convergence guarantees.
arXiv Detail & Related papers (2020-01-15T23:10:13Z)
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.