Deep Ridgelet Transform: Voice with Koopman Operator Constructively Proves Universality of Formal Deep Networks
Abstract
We identify hidden layers inside a deep neural network (DNN) with group actions on the data domain, and formulate a formal deep network as a dual voice transform with respect to the Koopman operator, a linear representation of the group action. Based on the group theoretic arguments, particularly by using Schur's lemma, we show a simple proof of the universality of DNNs.
Cite
Text
Sonoda et al. "Deep Ridgelet Transform: Voice with Koopman Operator Constructively Proves Universality of Formal Deep Networks." NeurIPS 2023 Workshops: NeurReps, 2023.Markdown
[Sonoda et al. "Deep Ridgelet Transform: Voice with Koopman Operator Constructively Proves Universality of Formal Deep Networks." NeurIPS 2023 Workshops: NeurReps, 2023.](https://mlanthology.org/neuripsw/2023/sonoda2023neuripsw-deep/)BibTeX
@inproceedings{sonoda2023neuripsw-deep,
title = {{Deep Ridgelet Transform: Voice with Koopman Operator Constructively Proves Universality of Formal Deep Networks}},
author = {Sonoda, Sho and Hashimoto, Yuka and Ishikawa, Isao and Ikeda, Masahiro},
booktitle = {NeurIPS 2023 Workshops: NeurReps},
year = {2023},
url = {https://mlanthology.org/neuripsw/2023/sonoda2023neuripsw-deep/}
}