Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Certifying Numerical Decompositions of Compact Group Representations   We present a performant and rigorous algorithm for certifying that a matrix
is close to being a projection onto an irreducible subspace of a given group
representation. This addresses a problem arising when one seeks solutions to
semi-definite programs (SDPs) with a group symmetry. Indeed, in this context,
the dimension of the SDP can be significantly reduced if the irreducible
representations of the group action are explicitly known. Rigorous numerical
algorithms for decomposing a given group representation into irreps are known,
but fairly expensive. To avoid this performance problem, existing software
packages -- e.g. RepLAB, which motivated the present work -- use randomized
heuristics. While these seem to work well in practice, the problem of to which
extent the results can be trusted arises. Here, we provide rigorous guarantees
applicable to finite and compact groups, as well as a software implementation
that can interface with RepLAB. Under natural assumptions, a commonly used
previous method due to Babai and Friedl runs in time O(n^5) for n-dimensional
representations. In our approach, the complexity of running both the heuristic
decomposition and the certification step is O(max{n^3 log n, D d^2 log d}),
where d is the maximum dimension of an irreducible subrepresentation, and D is
the time required to multiply elements of the group. A reference implementation
interfacing with RepLAB is provided.

27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph