Efficient Quantum Fourier Transforms For Semisimple Algebras
Pith reviewed 2026-05-08 16:45 UTC · model grok-4.3
The pith
Quantum algorithms can efficiently approximate the Fourier transform over semisimple algebras like the partition and Brauer algebras by a unitary when d is large.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We generalize the quantum Fourier transform to finite-dimensional semisimple algebras and give quantum algorithms that approximate the Fourier transform over the partition algebra P_n(d), the Brauer algebra B_n(d), and the walled Brauer algebra B_{r,s}(d). When d is sufficiently large the transform is close to unitary, and each of these algebras admits an efficient circuit implementation with gate complexity poly(n, log d, log(1/ε)) that achieves error (d^{-1/2} + ε) poly(|A|). Several structural properties of the Fourier basis are established along the way.
What carries the argument
The approximate unitary Fourier transform over a semisimple algebra, realized by explicit quantum circuits whose complexity is polynomial in the rank n and log d.
If this is right
- Quantum algorithms that rely on representation theory or Schur-Weyl duality can now invoke an efficient Fourier transform step over these algebras.
- Simulations of statistical-mechanical models whose Hamiltonians are expressed in Brauer or partition algebra bases become feasible on quantum hardware.
- The same circuit techniques may be reused whenever a new semisimple algebra satisfies the large-d unitary approximation condition.
- Properties of the Fourier basis derived in the paper can be used to design further quantum primitives such as convolution or sampling algorithms over these algebras.
Where Pith is reading between the lines
- The approximation strategy may extend to other families of semisimple algebras that appear in quantum information but are not treated here.
- When d is too small for the unitary approximation to hold, one could explore quantum dilation or embedding techniques to implement the exact non-unitary map.
- Classical precomputation of the circuit descriptions for fixed small n could be combined with the quantum part to yield hybrid algorithms for algebraic problems.
Load-bearing premise
When the parameter d is sufficiently large, the Fourier transform over the semisimple algebra is well approximated by a unitary operator.
What would settle it
For a concrete small-n instance of the partition algebra with large d, compute the exact Fourier matrix, measure its distance to the nearest unitary matrix, and check whether that distance exceeds the claimed error bound (d^{-1/2} + ε) poly(|A|).
Figures
read the original abstract
The quantum Fourier transform (QFT) is a fundamental primitive in quantum computation and quantum information. In this work, we generalize the QFT for finite groups to a QFT for finite-dimensional semisimple algebras, and give efficient quantum Fourier transforms for the partition algebra $P_n(d)$, Brauer algebra $B_n(d)$, and walled Brauer algebra $B_{r,s}(d)$. These algebras play important roles in generalized Schur-Weyl duality, statistical physics and many-body systems, and have recently found several applications in quantum algorithms. Unlike the group case, the Fourier transform over a semisimple algebra can be non-unitary. Nevertheless, we show that when the parameter $d$ is sufficiently large, the Fourier transform is well approximated by a unitary operator. Furthermore, we show that for each of the algebras $A$ from above, such an approximate Fourier transform can be implemented efficiently: we give a quantum algorithm with gate complexity $\mathrm{poly}(n,\log d,\log(1/\varepsilon))$ for approximating the Fourier transform to error $(d^{-1/2} + \varepsilon) \cdot \mathrm{poly}(|A|)$. Along the way, we establish several properties of the Fourier basis of semisimple algebras that may be of independent interest.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes the quantum Fourier transform from finite groups to finite-dimensional semisimple algebras. It establishes properties of the Fourier basis and gives quantum algorithms for approximating the (possibly non-unitary) Fourier transform over the partition algebra P_n(d), Brauer algebra B_n(d), and walled Brauer algebra B_{r,s}(d) to error (d^{-1/2} + ε) · poly(|A|) with gate complexity poly(n, log d, log(1/ε)), provided d is large enough that the transform is well approximated by a unitary.
Significance. If the approximation result holds with a useful (sub-constant) error bound, this would be a significant extension of the QFT primitive to algebraic structures arising in generalized Schur-Weyl duality, statistical physics, and many-body systems. The efficient implementations for these concrete algebras and the auxiliary properties of the Fourier basis could support new quantum algorithms in those domains.
major comments (1)
- [Abstract] Abstract (main complexity and approximation claim): the stated error is (d^{-1/2} + ε) · poly(|A|). For P_n(d) the algebra dimension |A| equals the Bell number B(2n) ∼ exp(Θ(n log n)); the same exponential growth holds for the Brauer and walled Brauer algebras. Consequently poly(|A|) is exponential in n, so the product exceeds 1 (and grows unbounded) for any fixed d and ε once n is large. This renders the approximation guarantee vacuous and supplies no nontrivial guarantee that the output is close to the Fourier transform.
minor comments (1)
- [Abstract] The abstract asserts that 'several properties of the Fourier basis of semisimple algebras' are established but does not enumerate them; a short list or forward reference to the relevant theorem would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for highlighting this issue with the error bound. We address the comment point by point below.
read point-by-point responses
-
Referee: [Abstract] Abstract (main complexity and approximation claim): the stated error is (d^{-1/2} + ε) · poly(|A|). For P_n(d) the algebra dimension |A| equals the Bell number B(2n) ∼ exp(Θ(n log n)); the same exponential growth holds for the Brauer and walled Brauer algebras. Consequently poly(|A|) is exponential in n, so the product exceeds 1 (and grows unbounded) for any fixed d and ε once n is large. This renders the approximation guarantee vacuous and supplies no nontrivial guarantee that the output is close to the Fourier transform.
Authors: We agree that the referee's observation is correct: as written, the factor of poly(|A|) renders the stated error bound greater than 1 for sufficiently large n and therefore vacuous as a guarantee of closeness in operator norm. The poly(|A|) term arises in our current proof from a loose bound on the maximum matrix-element size combined with a union bound over the (exponentially many) basis elements when controlling the deviation between the non-unitary Fourier transform and its unitary approximation. We will revise the abstract, the statement of the main theorem, and the error analysis in Section 4 to replace this factor with a polynomial in n and log d (specifically, we expect a revised bound of the form (d^{-1/2} + ε) poly(n, log d)). The gate complexity poly(n, log d, log(1/ε)) is unaffected. These changes will make the approximation guarantee nontrivial and restore the claimed utility for the target algebras. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The paper generalizes the known group QFT to semisimple algebras via explicit algebraic constructions and quantum circuit implementations for the partition, Brauer, and walled Brauer algebras. The approximation result (unitary approximation to the possibly non-unitary Fourier transform for large d) and the gate-complexity bound poly(n, log d, log(1/ε)) are derived from properties of the Fourier basis and standard quantum algorithmic techniques rather than from any fitted parameter, self-definition, or load-bearing self-citation that reduces the central claim to its inputs by construction. The error expression (d^{-1/2} + ε) · poly(|A|) is an explicit (if loose) bound obtained from norm estimates; it does not constitute a tautological renaming or a prediction forced by prior fitting. The derivation therefore remains self-contained against external algebraic and quantum-computing benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Finite-dimensional semisimple algebras admit a Fourier transform that can be approximated by a unitary operator when the parameter d is sufficiently large
Reference graph
Works this paper leans on
-
[1]
The cycle structure of compositions of random involutions , author=. 2009 , eprint=
work page 2009
-
[2]
Alcove geometry and a translation principle for the Brauer algebra , author=. 2008 , eprint=
work page 2008
- [3]
-
[4]
Gradings on walled Brauer algebras and Khovanov's arc algebra , author=. 2011 , eprint=
work page 2011
-
[5]
Journal of the American Mathematical Society , volume =
Persi Diaconis and Daniel Rockmore , title =. Journal of the American Mathematical Society , volume =. 1990 , doi =
work page 1990
- [6]
-
[7]
Journal of Combinatorial Theory, Series A , volume =
Heping Rui , title =. Journal of Combinatorial Theory, Series A , volume =. 2005 , doi =
work page 2005
-
[8]
Transactions of the American Mathematical Society , volume =
Paul Martin and Maud De Visscher , title =. Transactions of the American Mathematical Society , volume =. 2010 , doi =. 0908.1500 , archivePrefix =
-
[9]
NIST Digital Library of Mathematical Functions , year =
-
[10]
Efficient Qudit Circuits , author=
The Quantum Schur Transform: I. Efficient Qudit Circuits , author=. 2005 , eprint=
work page 2005
-
[11]
The efficient computation of Fourier transforms on semisimple algebras , author=. 2016 , eprint=
work page 2016
-
[12]
Annals of Mathematics , volume =
David Harvey and Joris van der Hoeven , title =. Annals of Mathematics , volume =
- [13]
- [14]
-
[15]
Mixed Schur-Weyl duality in quantum information , author=. 2025 , school=
work page 2025
-
[16]
Young's orthogonal form for Brauer's centralizer algebra
Maxim Nazarov. Young's orthogonal form for Brauer's centralizer algebra. Journal of Algebra. 1996. doi:10.1006/jabr.1996.0195
-
[17]
Jucys–Murphy elements and a presentation for partition algebras , volume=
Enyang, John , year=. Jucys–Murphy elements and a presentation for partition algebras , volume=. Journal of Algebraic Combinatorics , publisher=. doi:10.1007/s10801-012-0370-4 , number=
-
[18]
A seminormal form for partition algebras , volume=
Enyang, John , year=. A seminormal form for partition algebras , volume=. Journal of Combinatorial Theory, Series A , publisher=. doi:10.1016/j.jcta.2013.06.001 , number=
-
[19]
Gelfand-Tsetlin basis for partially transposed permutations, with applications to quantum information , author=. 2023 , eprint=
work page 2023
-
[20]
Vivek V. Shende and Stephen S. Bullock and Igor L. Markov , title =. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , volume =. 2006 , doi =
work page 2006
-
[21]
Ryan Babbush and Dominic W. Berry and Ian D. Kivlichan and Ann Arbor Wei and Al. Low-Depth Quantum Simulation of Materials , journal =. 2018 , doi =
work page 2018
-
[22]
SIAM Journal on Computing , volume =
Sean Hallgren and Alexander Russell and Amnon Ta-Shma , title =. SIAM Journal on Computing , volume =. 2003 , doi =
work page 2003
-
[23]
Peter W. Shor , title =. Proceedings 35th Annual Symposium on Foundations of Computer Science , pages =. 1994 , doi =
work page 1994
-
[24]
Dalzell and Alessandro Achille and Martin Suchara and Frederic T
Kaiwen Gui and Alexander M. Dalzell and Alessandro Achille and Martin Suchara and Frederic T. Chong , title =. Quantum , volume =. 2024 , doi =
work page 2024
-
[25]
Pacific Journal of Mathematics , volume =
Tom Halverson , title =. Pacific Journal of Mathematics , volume =. 1996 , pages =
work page 1996
-
[26]
Advances in Mathematics , volume =
Kazuhiko Koike , title =. Advances in Mathematics , volume =. 1989 , pages =
work page 1989
-
[27]
Beals, Robert , title =. 1997 , isbn =. doi:10.1145/258533.258548 , booktitle =
- [28]
- [29]
-
[30]
Pittel, Boris , TITLE =. Electron. J. Combin. , FJOURNAL =. 2000 , PAGES =. doi:10.37236/1483 , URL =
-
[31]
Stam, A. J. , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 1983 , NUMBER =. doi:10.1016/0097-3165(83)90009-2 , URL =
- [32]
-
[33]
Molev, A. I. and Rozhkovskaya, N. , year=. Characteristic maps for the Brauer algebra , volume=. Journal of Algebraic Combinatorics , publisher=. doi:10.1007/s10801-012-0388-7 , number=
-
[34]
A log-depth in-place quantum Fourier transform that rarely needs ancillas , author=. 2025 , eprint=
work page 2025
-
[35]
An efficient high dimensional quantum schur transform
Krovi, Hari , year=. An efficient high dimensional quantum Schur transform , volume=. doi:10.22331/q-2019-02-14-122 , journal=
-
[36]
Littlewood, D. E. and Richardson, A. R. , title =. Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character , volume =. 1934 , doi =
work page 1934
-
[37]
Kostka, Carl , title =. J. Reine Angew. Math. , volume =
-
[38]
Littlewood, D. E. , title =. Canadian Journal of Mathematics , volume =. 1958 , doi =
work page 1958
-
[39]
Christandl, Matthias and Mitchison, Graeme , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00220-005-1435-1 , URL =
-
[40]
Quantum marginal problem and representations of the symmetric group , author=. 2004 , eprint=
work page 2004
-
[41]
Murnaghan, F. D. , title =. American Journal of Mathematics , volume =. 1938 , doi =
work page 1938
- [42]
-
[43]
Frame, J. S. and Robinson, G. de B. and Thrall, R. M. , year=. The Hook Graphs of the Symmetric Group , volume=. doi:10.4153/CJM-1954-030-1 , journal=
- [44]
-
[45]
Ikenmeyer, Christian and Mulmuley, Ketan D. and Walter, Michael , year=. On vanishing of Kronecker coefficients , volume=. computational complexity , publisher=. doi:10.1007/s00037-017-0158-y , number=
-
[46]
Jozsa, R. , year=. Quantum factoring, discrete logarithms, and the hidden subgroup problem , volume=. Computing in Science and Engineering , publisher=. doi:10.1109/5992.909000 , number=
-
[47]
Brouwer, Andries E and Veldman, Henk J , journal=. Contractibility and. 1987 , publisher=
work page 1987
-
[48]
Proceedings of the 42nd ACM Symposium on Theory of Computing , pages =
Scott Aaronson , title =. Proceedings of the 42nd ACM Symposium on Theory of Computing , pages =. 2010 , doi =
work page 2010
-
[49]
Graph Isomorphism Is in the Low Hierarchy , journal =
Uwe Sch. Graph Isomorphism Is in the Low Hierarchy , journal =. 1988 , doi =
work page 1988
-
[50]
Groups, Graphs, Algorithms: The Graph Isomorphism Problem , booktitle =
L. Groups, Graphs, Algorithms: The Graph Isomorphism Problem , booktitle =
-
[51]
The quantum query complexity of the hidden subgroup problem is polynomial , volume=
Ettinger, Mark and Høyer, Peter and Knill, Emanuel , year=. The quantum query complexity of the hidden subgroup problem is polynomial , volume=. Information Processing Letters , publisher=. doi:10.1016/j.ipl.2004.01.024 , number=
-
[52]
Quantum algorithms for algebraic problems , author =. Rev. Mod. Phys. , volume =. 2010 , month =. doi:10.1103/RevModPhys.82.1 , url =
- [53]
-
[54]
On Quantum Algorithms for Noncommutative Hidden Subgroups , journal =
Mark Ettinger and Peter H. On Quantum Algorithms for Noncommutative Hidden Subgroups , journal =. 2000 , eprint =
work page 2000
-
[55]
Hidden Translation and Orbit Coset in Quantum Computing , journal =
Katalin Friedl and G. Hidden Translation and Orbit Coset in Quantum Computing , journal =. 2003 , eprint =
work page 2003
- [56]
-
[57]
Trends in Computer Algebra , pages =
Thomas Beth , title =. Trends in Computer Algebra , pages =
-
[58]
Mathematics of Computation , volume =
Michael Clausen and Ulrich Baum , title =. Mathematics of Computation , volume =. 1993 , doi =
work page 1993
-
[59]
Mixed state tomography reduces to pure state tomography , author=. 2025 , eprint=
work page 2025
-
[60]
Keyl, M. and Werner, R. F. , year=. Estimating the spectrum of a density operator , volume=. Physical Review A , publisher=. doi:10.1103/physreva.64.052311 , number=
-
[61]
G. Chiribella and G. M. D'Ariano and P. Perinotti and M. F. Sacchi , title =. Physical Review Letters , volume =. 2004 , doi =
work page 2004
-
[62]
Journal of Physics A: Mathematical and General , volume =
Feng Pan and Lianrong Dai , title =. Journal of Physics A: Mathematical and General , volume =. 1996 , doi =
work page 1996
-
[63]
R. W. Haase and R. Dirl , title =. Journal of Mathematical Physics , volume =. 1986 , doi =
work page 1986
-
[64]
Issai Schur , title =. Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, Physikalisch-Mathematische Klasse , pages =
-
[65]
Hermann Weyl , title =
-
[66]
Applications of coherent classical communication and the Schur transform to quantum information theory , author=. 2005 , eprint=
work page 2005
-
[67]
Zhandry, Mark , booktitle=. How to. 2019 , organization=
work page 2019
-
[68]
Asymptotics of quantum relative entropy from a representation theoretical viewpoint,
Hayashi, Masahito , year=. Asymptotics of quantum relative entropy from a representation theoretical viewpoint , volume=. Journal of Physics A: Mathematical and General , publisher=. doi:10.1088/0305-4470/34/16/309 , number=
-
[69]
Universal Quantum Information Compression , volume=
Jozsa, Richard and Horodecki, Michał and Horodecki, Paweł and Horodecki, Ryszard , year=. Universal Quantum Information Compression , volume=. Physical Review Letters , publisher=. doi:10.1103/physrevlett.81.1714 , number=
-
[70]
and Rudolph, Terry and Spekkens, Robert W
Bartlett, Stephen D. and Rudolph, Terry and Spekkens, Robert W. , year=. Classical and Quantum Communication without a Shared Reference Frame , volume=. Physical Review Letters , publisher=. doi:10.1103/physrevlett.91.027901 , number=
-
[71]
Optimal Compression for Identically Prepared Qubit States , volume=
Yang, Yuxiang and Chiribella, Giulio and Hayashi, Masahito , year=. Optimal Compression for Identically Prepared Qubit States , volume=. Physical Review Letters , publisher=. doi:10.1103/physrevlett.117.090502 , number=
-
[72]
Paul Martin , title =. Journal of Algebra , volume =. 1996 , doi =
work page 1996
-
[73]
Quantum Simulation of Random Unitaries from Clebsch-Gordan Transforms , author=. 2025 , eprint=
work page 2025
- [74]
-
[75]
John Watrous , title =
-
[76]
Perfectly Recording Queries to Random Unitaries and Other Groups, or How to Lazy-Sample Any Group , author=. 2026 , note=
work page 2026
-
[77]
Annals of Mathematics , series =
Richard Brauer , title =. Annals of Mathematics , series =. 1937 , doi =
work page 1937
-
[78]
Majorana Loop Models for Measurement-Only Quantum Circuits , author =. Phys. Rev. X , volume =. 2023 , month =. doi:10.1103/PhysRevX.13.041028 , url =
-
[79]
Candu, Constantin and Saleur, Hubert , title =. Nuclear Physics B , volume =. 2009 , doi =
work page 2009
-
[80]
Journal of High Energy Physics , volume =
Kimura, Yusuke and Ramgoolam, Sanjaye , title =. Journal of High Energy Physics , volume =. 2007 , doi =
work page 2007
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.