Summary
This paper studies placing a kernel function inside of a neural network architecture to facilitate interaction of features/dimensional expansion. They consider deep convolutional networks with parallel pathway features $x$ and $x'$ and a kernel function computed with both pathways' features as inputs $k(x,x')$. Standard kernel mathematics is used to explain feature expansion. The main novel results are empirical performance of these "InfiNet" architectures, which are shown to perform well in a number of computer vision tests.
Strengths
The idea of unifying different orders of interaction embodied in various neural network architectures, including Transformers is appealing and probably important. The accuracy of the InfiNet experiments is impressive, with a moderate reduction in FLOPs. The paper is easy to read and well-organized, although suggestions are given for how it could be improved.
Weaknesses
My main concerns with the paper are a lack of context for the approach as well as missing important explanations. I also think a good amount of the math that's included could be considered "filler" material that could go into the appendix, since it doesn't represent new results. (I am referring to sections 4.1 and 4.2, most of which can be found in most textbooks which cover kernel methods.)
* Notation which is commonly used in the paper $\oplus$, $\otimes$, * is not explained. You should _explicitly_ define it somewhere, at least in the appendix (and refer people there). In particular, people may be confused by * for elementwise/Hadamard multiplication, since in convnet literature this is often the convolution operator. You call this the "Star Operation" in line 124, but I think it is just elementwise multiplication.
* The authors seem to have missed the vast literature on the connections between random features, neural networks at init, and kernel methods. (CKNs are mentioned but without any discussion of the topics I mention here.) In particular, one way that you could approximate the InfiNet architecture would be to take the two feature streams and pass them each into the same wide, random network/layer and compute the dot product of features at the next level. That would only approximate the kernel function in the InfiNet architecture, and is likely less efficient, but it provides a way to perform dimensionality expansion with a more traditional layer. The authors should discuss these connections.
* Different order of interactions have been studied in random feature and kernel settings already. In random features, interaction order is connected to the sparsity of weights, see e.g. https://arxiv.org/abs/2103.03191 and https://arxiv.org/abs/1909.02603. In kernels, this were referred to as additive kernels https://arxiv.org/abs/1602.00287, also studied in multiple kernel learning https://arxiv.org/abs/0809.1493 (these are just some examples among a larger literature).
* The authors do not seem to want to release their code. They have said "Yes" on Question 5, stating that the code and data are open, but there is no link or indication in the text that the code is available or will be when the paper is published. That seems deceptive.
Questions
* There is a tension between dimensional expansion, which leads to expressivity in networks, and generalization, which is typically better in low-dimensional settings. Can you discuss this?
* When queries and keys in a transformer are computed using a multilayer network with nonlinearities (rather than a single linear layer, as you've considered), aren't the effective order of interactions higher?
* You claim that the kernel map applied to inputs with $C$ channels takes constant $O(1)$ time (section 4 intro). Wouldn't evaluating the kernel still take $O(C)$ i.e. linear time?
* Can you please include the matrix/tensor shapes and layer sizes explicitly in section 5.1? They could be put into the appendix. It is unclear how many kernel evaluations are performed and on what shape input.
Minor points:
* Sentence lines 45-47 is confusing and should be reworded. Also, the combinatorial expression with the limit is unexplained, not obvious, and doesn't seem to contribute anything here. I suggest removing it.
* Line 61, the expression for span of a certain space is unclear. The main point seems to be that this is an infinite-dimensional function space. Does using this math really add anything?
* Line 61: "as low-overhead as exponential operations" is unclear. Do you mean "evaluating an exponential function"?
* Line 91: "Kernel Method" -> "Kernel Methods" typo
* Line 106: "isotropic" here is unclear to me, suggest removing
* Line 110: "medium" for the intermediate layer connotes different size, suggest changing to "intermediate" or "middle"
* Line 130: Without saying it, are you assuming that the image inputs span the pixel space vector?
* Line 149: "two element-wise multiplication" typo -> "multiplications"
* Notation $W_a \mathbf{x}$ is confusing: In equation (1) this seems to output a scalar. Is that the same in Eqn (6)? What are the shapes of the W matrices?
* What is a "feature branch"? Unclear throughout.
* You say the input is passed through "STEM" and refer people to the ConvNeXT paper https://arxiv.org/pdf/2201.03545. There is more than one "stem" in that paper. Can you be explicit about what you did?
Limitations
I would strongly prefer that the limitations be included in the main text during the discussion. With movement of some of the standard math, there would be space.
The authors only consider the squared exponential kernel with bandwidth parameter equal to 1. Other kernels might work better. In particular, the effective dimensionality of the RKHS (related to the kernel decay rates) would be higher with a "less smooth" kernel like the exponential/Laplace kernel.
The results are likely not reproducible unless the authors release their code.
The results are also limited only to supervised vision tasks, rather than other modalities or unsupervised settings.