© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:1501.04995

Fourier transforms from strongly complementary observables

Stefano Gogioso, William J. Zeng

Published Jan 19, 2015• 8 citations

Abstract

Ongoing work in quantum information emphasises the need for a structural understanding of quantum speedups: in this work, we focus on the quantum Fourier transform and the structures in quantum theory that enable it. We elucidate a general connection in any process theory between the Fourier transform and strongly complementary observables, i.e. Hopf algebras in dagger symmetric monoidal categories. We generalise the necessary tools of representation theory from fdHilb to arbitrary dagger symmetric monoidal categories. We define groups, characters and representations, and we prove their relation to strong complementarity. The Fourier transform is then defined in terms of pairs of strongly complementary observables, in both the abelian and non-abelian case. In the abelian case, we draw the connection with Pontryagin duality and provide categorical proofs of the Fourier Inversion Theorem, the Convolution Theory, and Pontryagin duality. Our work finds application in the novel characterisation of the Fourier transform for the category fRel of finite sets and relations. This is a result of interest for the study of categorical quantum algorithms, as the usual construction of the quantum Fourier transform in terms of Fourier matrices is shown to fail in fRel. Despite this, the process theoretic perspective on the Fourier transform is sensible in this setting. Furthermore, our categorical setting provides a generalisation of the abelian Fourier transform from finite-dimensional Hilbert spaces to finite-dimensional modules over arbitrary semirings, as well as a further generalisation to finite non-abelian groups, including a fully categorical generalisation of the Gelfand-Naimark theorem.

DOI: 10.48550/arxiv.1501.04995

Related papers

Representation theory in Categorical Quantum Mechanics

Stefano Gogioso

Building upon a number of established results on strongly complementary structures, we provide a cohesive treatment of finite representation theory in Categorical Quantum Mechanics. We identify finite groups, characters and representations in fdHilb and give an abstract formulation of Fourier transform, in both the abelian and non-abelian case. In the process, we explore the link between unitary monadic dynamics and spectra, showing that characters of the group governing a dynamic are the correct space over which to index the projectors of the corresponding spectrum.

•Jan 19, 2015•0 citations

Arithmetic, mutually unbiased bases and complementary observables

M. D. Sheppeard

Complementary observables in quantum mechanics may be viewed as Frobenius structures in a dagger monoidal category, such as the category of finite dimensional Hilbert spaces over the complex numbers. On the other hand, their properties crucially depend on the discrete Fourier transform and its associated quantum torus, requiring only the finite fields that underlie mutually unbiased bases. In axiomatic topos theory, the complex numbers are difficult to describe and should not be invoked unnecessarily. This paper surveys some fundamentals of quantum arithmetic using finite field complementary observables, with a view considering more general axiom systems.

Journal of Mathematical Physics•Feb 1, 2010•1 citation

H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics

Samson Abramsky, Chris Heunen

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*-algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

arXiv:1011.6123•Nov 29, 2010•25 citations

H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics

Chris Heunen

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

•Jan 1, 2012•26 citations

Efficient Quantum Fourier Transforms For Semisimple Algebras

Ben Foxman, Barak Nehoran, Yongshan Ding

The quantum Fourier transform (QFT) is a fundamental primitive in quantum computation and quantum information. In this work, we extend the framework for the QFT from finite groups to finite-dimensional semisimple algebras, and give efficient QFTs 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.

quant-pharXiv:2605.05337•May 8, 2026•0 citations

Categorical Semantics for Schrödinger's Equation

Stefano Gogioso

Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy observables for finite-dimensional quantum clocks, with the relevant uncertainty principle given by mutual unbias of the corresponding orthonormal bases. We show that Schrödinger's equation can be abstractly formulated as characterising the Fourier transforms of certain Eilenberg-Moore morphisms from a quantum clock to a quantum dynamical system, and we use this to obtain a generalised version of the Feynman's clock construction. We tackle the issue of synchronism of clocks and systems, prove conservation of total energy and give conditions for the existence of an internal time observable for a quantum dynamical system. Finally, we identify our treatment as part of a more general theory of simulated symmetries of quantum systems (of which our clock actions are a special case) and their conservation laws (of which energy is a special case).

arXiv:1501.06489•Jan 23, 2015•6 citations

Ongoing work in quantum information emphasises the need for a structural understanding of quantum speedups: in this work, we focus on the quantum Fourier transform and the structures in quantum theory that enable it. We elucidate a general connection in any process theory between the Fourier transform and strongly complementary observables, i.e. Hopf algebras in dagger symmetric monoidal categories. We generalise the necessary tools of representation theory from fdHilb to arbitrary dagger symmetric monoidal categories. We define groups, characters and representations, and we prove their relation to strong complementarity. The Fourier transform is then defined in terms of pairs of strongly complementary observables, in both the abelian and non-abelian case. In the abelian case, we draw the connection with Pontryagin duality and provide categorical proofs of the Fourier Inversion Theorem, the Convolution Theory, and Pontryagin duality. Our work finds application in the novel characterisation of the Fourier transform for the category fRel of finite sets and relations. This is a result of interest for the study of categorical quantum algorithms, as the usual construction of the quantum Fourier transform in terms of Fourier matrices is shown to fail in fRel. Despite this, the process theoretic perspective on the Fourier transform is sensible in this setting. Furthermore, our categorical setting provides a generalisation of the abelian Fourier transform from finite-dimensional Hilbert spaces to finite-dimensional modules over arbitrary semirings, as well as a further generalisation to finite non-abelian groups, including a fully categorical generalisation of the Gelfand-Naimark theorem.

Building upon a number of established results on strongly complementary structures, we provide a cohesive treatment of finite representation theory in Categorical Quantum Mechanics. We identify finite groups, characters and representations in fdHilb and give an abstract formulation of Fourier transform, in both the abelian and non-abelian case. In the process, we explore the link between unitary monadic dynamics and spectra, showing that characters of the group governing a dynamic are the correct space over which to index the projectors of the corresponding spectrum.

Complementary observables in quantum mechanics may be viewed as Frobenius structures in a dagger monoidal category, such as the category of finite dimensional Hilbert spaces over the complex numbers. On the other hand, their properties crucially depend on the discrete Fourier transform and its associated quantum torus, requiring only the finite fields that underlie mutually unbiased bases. In axiomatic topos theory, the complex numbers are difficult to describe and should not be invoked unnecessarily. This paper surveys some fundamentals of quantum arithmetic using finite field complementary observables, with a view considering more general axiom systems.

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*-algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

The quantum Fourier transform (QFT) is a fundamental primitive in quantum computation and quantum information. In this work, we extend the framework for the QFT from finite groups to finite-dimensional semisimple algebras, and give efficient QFTs 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.

Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy observables for finite-dimensional quantum clocks, with the relevant uncertainty principle given by mutual unbias of the corresponding orthonormal bases. We show that Schrödinger's equation can be abstractly formulated as characterising the Fourier transforms of certain Eilenberg-Moore morphisms from a quantum clock to a quantum dynamical system, and we use this to obtain a generalised version of the Feynman's clock construction. We tackle the issue of synchronism of clocks and systems, prove conservation of total energy and give conditions for the existence of an internal time observable for a quantum dynamical system. Finally, we identify our treatment as part of a more general theory of simulated symmetries of quantum systems (of which our clock actions are a special case) and their conservation laws (of which energy is a special case).