Further clarification on the theoretical results and hyperbolic regularization.
Dear reviewer, thanks for your quick reply and valuable comments, which help us a lot to improve our submission. Thanks for recognizing our theoretical contribution on improving the constant of the optimal bound and novel hyperbolic regularization for model aggregation.
**-Q1:The $\sum_{t=1}^{T} d_t \ge T$ is indeed an interesting observation, however this also indicates that the rate of convergence in theory is the same as MoFedSAM algorithm in the worst case. Also one point I forgot to mention is that the function $F$ is the regularized function, not the original function in the FL setting in equation (1), whereas the $F$ in MoFedSAM is the original FL problem (they didn't do any regularization), therefore the convergence theory in this paper seems flawed to me.**
-A1: Firstly, in the worst case, the convergence rates of the current first-order optimizers are all optimal including FedAgv, FedProx, MoFedSAM, etc., and the only thing that has changed for all of them is the difference in some constant terms. Theoretically, we can see that there is some improvement in the constant terms for our proposed method, as the reviewer said. In fact, the convergence rates of FedSAM and MoFedSAM, and FedAvg are also in the same order, because all of them are optimal, and it is not possible to have an improvement in the order unless some stronger assumptions are adopted.
Secondly, the regular term is due to hyperbolic regularization, not due to normalized aggregation, and we have theoretically verified the role of normalized aggregation to some extent, even if normalized aggregation is used in MoFedSAM. This contribution is also highly nontrivial and demonstrates the benefit of the normalized aggregation technique.
Thirdly, we also record the values of $\frac{\sum_{t=1}^T d_t}{T}$ over different $T$ during FL training on the CIFAR100 dataset with Dirichlet 0.3 and the results are as follows:
| T | 100 | 200 | 300 | 400 | 500 | 600 | 700 | 800 | 900 | 1000 | 1100 | 1200 | 1300 | 1400 | 1500 | 1600 |
|:--: | :--: | :-: | :--:| :--:|:--: | :-: | :--:| :--:| :--:| :--: | :--: | :--: | :--: | :--: | :--: | :--: |
|value| 1.110|1.195|1.313|1.406|1.470|1.514|1.545|1.568|1.586| 1.601|1.613 |1.623 |1.632 |1.639 |1.645 |1.650 |
From this result, we can find that $\forall T$, $\frac{\sum_{t=1}^T d_t}{t} > 1$ and $\frac{\sum_{t=1}^T d_t}{t}$ is increasing as $T$ increasing, which also empirically verifies the improved constant of our proposed approach.
**-Q2: Again I still believe that the testing accuracy comparison between Euclidean and Hyperbolic regularizations not adequate to support the claim of the authors. The hyperbolic regularization is incorporated with a neural network which may lead to some complication in parameter tuning and algorithm design for general applications. I think I could better appreciate the beauty of the regularization if there isn't a complicated neural network embedding.**
-A2: First of all, we also agree with the reviewer's opinion on the philosophy of Occam's Razor in machine learning, i.e., the simpler it is, the closer it tends to be to the truth. However, it is also valuable to design appropriate algorithms according to the structure of the problem. Although hyperbolic regularization involves some complicated mathematics, it is not a disadvantage, but an advantage in model aggregation for FL with complex deep neural networks, because the neural network itself can be considered as a very high-dimensional graph, and it is difficult for the naive model aggregation to achieve neural network embedding well; while hyperbolic regularization used in our work can solve this problem well. Our experiments and ablation study can also illustrate its benefits.
At last, thank you for your kind effort in helping us improve our submission. If you have further comments, please let us know.