SciPost Submission Page
Algebraic Theory of Quantum Synchronization and Limit Cycles under Dissipation
by Berislav Buca, Cameron Booker, Dieter Jaksch
This is not the latest submitted version.
This Submission thread is now published as SciPost Phys. 12, 097 (2022)
Submission summary
As Contributors:  Cameron Booker · Berislav Buca · Dieter Jaksch 
Arxiv Link:  https://arxiv.org/abs/2103.01808v2 (pdf) 
Date submitted:  20210503 19:48 
Submitted by:  Buca, Berislav 
Submitted to:  SciPost Physics 
Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
Synchronization is a phenomenon when interacting particles lock their motion into the same phase and frequency. Despite intense efforts studying synchronization in systems without clear classical limits, no comprehensive theory has been found. We give such a general theory based on novel necessary and sufficient algebraic criteria for persistently oscillating eigenmodes (limit cycles). We show these eigenmodes must be quantum coherent and give an exact analytical solution for \emph{all} such dynamics in terms of a dynamical symmetry algebra. Using our theory we study both stable synchronization and metastable synchronization. Moreover, we give compact algebraic criteria that may be used to prove \emph{absence} of synchronization. We demonstrate synchronization in several systems relevant for various fermionic cold atom experiments.
Current status:
Submission & Refereeing History
Published as SciPost Phys. 12, 097 (2022)
You are currently on this page
Reports on this Submission
Anonymous Report 3 on 2021623 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2103.01808v2, delivered 20210623, doi: 10.21468/SciPost.Report.3106
Strengths
1 Timely topic: quantum synchronization in open systems.
2 Useful Liouvillian description, formal approach building on previous works.
3 Broad list of References
Weaknesses
1 Limits of applicability not stated, lack of counterexamples.
2 Novelty needs to be clarified referring to the literature.
Report
Quantum synchronization (QS) is a timely subject and several original approaches and results have been reported in the last years. In this context, this manuscript complements previous work of some of the authors on dynamical symmetries, as in https://doi.org/10.1088/13672630/ab60f5, and on the Liouvillian formalism in QS, as in https://doi.org/10.1103/PhysRevA.95.043807. Looking at theorems and examples in comparison with these works, it is not always clear this work novelty. As mentioned, there is a broad list of references (more than 100 cited in the first page), but pertinent citations when discussing what is new are often missing.
The attempt of a formal description is interesting even if limited to some rather specific scenario for QS. Actually a main difficulty in reading this work is that both the abstract and the overview sections do not clearly define the context of applicability of this approach and after a promise of a “general theory” on QS one finds many limitations.
After reading the whole manuscript it appears that it deals with QS of finite dimensional systems, with interaction with the environment described by a specific class of master equations, not applicable in a masterslave scenario, nor in presence of significantly different subsystems, nor to phase synchronization. Actually the analysis is restricted to the case of identical subsystems (Sect 3.2) and to weak deviations from this scenario (perturbed Liouvillian, Sect 4).
The manuscript revised following the requested changes would be suitable for publication in this journal.
Requested changes
1The main change this manuscript will benefit from is a clear initial statement about the relevance/applicability of the described framework: the authors should identify (ideally avoiding a technical language) the systems and the kind of synchronization that can be formally described by the framework described in Sections 3 and 4. The abstract claim “ […] no comprehensive theory has been found [on quantum synchronization]. We give such a general theory” should be replaced by a fair statement on the specific reported results. See also 5.
2 Section 1.1.1 should focus on the relevant synchronization context and properly refer to it. For instance, the authors claim that ref 123 (wellknown book on synchronization) considers “synchronization to be a purely periodic phenomenon” when there is even a dedicated chapter on synchronization in chaotic systems.
It is also not correct that “In contrast to identical synchronization, phase synchronization does require periodic motion in order to meaningfully define a relative phase difference between the two subsystems.” This is not the case, see for instance https://doi.org/10.1103/PhysRevLett.81.321
On the other hand, the authors long discussion about getting identical synchronization by rescaling different system observables is not really insightful.
3 The scenario of metastability of section 4 is a form of known transient synchronization http://dx.doi.org/https://doi.org/10.1007/9783030311469_6 or Ref 43, but no clear connection is discussed.
4 Complete synchronization has been already proposed in https://doi.org/10.1038/s4159801956468x This previous work should be acknowledged when presenting this concept.
5 Referring to 36 and 37, the authors claim that synchronization between spin ½ systems is possible because of nonMarkovianity. On the other hand, many works also cited in this manuscript deal with synchronization between spins ½ systems in the Markovian case. Do the authors framework predicts that no stable synchronization can be achieved there? What would “fail” if the authors considered a system of only 2 instead of 3 identical units and a common bath under Markovian dissipation?
Mentioning/discussing cases where this formalism cannot be applied while synchronization has been reported would be as useful as the already included examples, adding strength to this work.
Minor comments:
The classification presented in Section 1.1.1 is a bit misleading, mixing the form of synchronization (e.g. in phase or amplitude) with the systems configuration (autonomous vs driven). Also, the very first definition of synchronization in the abstract is not the generally accepted one. Same criticism for the definition in sect.3.2 “Recall, that the crucial feature of quantum synchronization is that the various parts of the subsystem lock into the same phase, frequency and amplitude.” Synchronization is a broader phenomenon.
The physical ground of the strong coupling case described in Eq 21 should be commented and related to possible microscopic derivation.
Also the assumption after eq 25 of L_1 anticommuting with the permutation operator should be clarified.
Anonymous Report 2 on 2021621 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2103.01808v2, delivered 20210621, doi: 10.21468/SciPost.Report.3082
Strengths
1  novel, well motivated conjecture for a definition and measure of synchronization of multipartite open quantum systems
2Clear and well defined mathematical model and conjectures in terms of the Lindblad master equation framework
3instructive set of well worked out examples
4 comprehensive but concise introuction with a very helpful presentation of the state of the art
Weaknesses
1 relation to some older work (Haken) on master slave dynamics or atomic dipole synchronization e.g. in lasers or a bit vague
2 definition seems a bit restrictive in particular for applications on coupled systems of different physical nature, where hamonics of a synchronization frequency could appear in different subsystems
3connection between phase diffusion and metastable synchronization could be worked out better
Report
The paper well meets the quality standards and scope of the journal
Requested changes
1 the seminal works of Haken on synchronization (Synergetics) 50 years ago should be better represented in the inroduction and definition section
( e.g. https://www.researchgate.net/profile/PeterTass/publication/301232987_Synchronization_in_networks_of_limit_cycle_oscillators/links/53da7fc80cf2631430c82735/Synchronizationinnetworksoflimitcycleoscillators.pdf )
2to clarify: does phase locking in a rotating basis as often used for coupled atomic dipoles qualify for synronization as time does not appear explicitly any more ?
e.g:
https://ui.adsabs.harvard.edu/abs/2014APS..DMP.D1022Z/abstract
3how about the Dicke superadiant qunatum phase transition ? Is there a atomfield sychronization even in the ground state ?
https://www.sciencedirect.com/science/article/abs/pii/0003491673900390
4 how about the appearance of several cycle frequencies in a system ?
Author: Berislav Buca on 20211112 [id 1933]
(in reply to Report 2 on 20210621)
We thank the referee for their consideration of our work and the useful recommendations and questions. Here we respond to their requested changes directly and outline how we have improved the manuscript accordingly.
 “The seminal works of Haken on synchronization (Synergetics) 50 years ago should be better represented in the introduction and definition section.”
We have now included a discussion of Haken's work in our introduction.
 “To clarify: does phase locking in a rotating basis as often used for coupled atomic dipoles qualify for synchronization as time does not appear explicitly any more? (e.g. https://ui.adsabs.harvard.edu/abs/2014APS..DMP.D1022Z/abstract)”
Our theory can be used to analyze the behaviour of this system in the rotating frame where time dependence has been removed. It allows for the longtime dynamics to be analyzed in this rotating basis precisely as we do for timehomogeneous systems studied in our paper.
 “How about the Dicke superadiant quantum phase transition? Is there a atomfield synchronization even in the ground state? (e.g. https://www.sciencedirect.com/science/article/abs/pii/0003491673900390)”
We are not completely clear what the referee means by synchronization \emph{in the ground state}. The synchronization we are considering is explicitly synchronicity of observables in time. If the system is in the ground state, then the various observables will not evolve in time, and so there will be no synchronization of the kind we study.
 “How about the appearance of several cycle frequencies in a system?”
Our theory explicitly allows for multiple cycle frequencies through the existence of multiple $A$ operators, each corresponding to different purely imaginary eigenvalues. This has now been made more evident to the reader in the new subsection (3.3) about multiple frequencies and commensurability.
Anonymous Report 1 on 202161 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2103.01808v2, delivered 20210531, doi: 10.21468/SciPost.Report.3002
Strengths
1  Elegant and illuminating theory of quantum synchronisation using the Liouvillian formalism including perturbative results for metastable synchronisation, linking many results of the field together.
2  Thorough introduction into the field of synchronisation, strong overview of both the field's history as well as recent results in the literature.
3  Manuscript provides several examples for theoretical results provided, good experimental relevance.
4  Extensive appendix provides detailed proofs of all theorems and corollaries including additional examples which provide further context to the main results.
Weaknesses
(see Report for details)
1  Problematic clarity in several places due to, e.g., use of highly specialised terminology.
2  Introduction and discussion of Liouvillian formalism is flawed.
3  Structure of manuscript not streamlined optimally in some places.
Report
 General Remarks 
This manuscript provides a novel theory of quantum synchronisation using the Liouvillian formalism. By associating the emergence of synchronisation with imaginary eigenvalues of the Liouvillian and symmetries of the dynamical generator, the authors are able to prove general results which are applicable to a wide variety of physical systems. In particular the importance of the evolution's unitality is interesting and noteworthy. The authors both embed their findings in a detailed discussion of the field's history as well as illustrate their main results with several experimentally relevant examples.
Unfortunately, the text suffers from a very high level of specialised language. Furthermore several technical aspects are often not explained in a clear manner. While the results themselves are intriguing and certainly warrant publication, it would be highly desirable if the manuscript could be made more accessible and if the discussion of some key concepts could be corrected and/or clarified. In the following I will provide further details on a sectionbysection basis.
 Section 1 
 I very much appreciate the detailed overview of the field, starting from classical considerations and moving to the quantum domain. However, reading through pages 46 I became a little lost as to the relevance of many of the discussed topics to the subject of the paper  quantum synchronisation. For example the listing of classes of synchronicity are quickly supplanted with the definitions from Sec. 2. It might be helpful to keep the introduction slightly more streamlined to the paper's central theme and remind the reader of the implication for the quantum domain regularly and clearly.
 On page 8 the sentence "Indeed, even when the stationary state can be found analytically diagonalizing it, as is required to find its support, is still an open problem." needs to be entirely reworked.
 Section 2 
 There is a brief mention on page 9 regarding "alternative cases" which refers to synchronised signals that differ by a phase or a scale factor. This discussion should be expanded to make clear in how far and in which places the results of this work need to be altered to account for them.
 The remark on page 10 regarding the fact that all definitions are understood as equalities up to exponentially small terms in time is very important and could be emphasised more (e.g. by giving it its own paragraph). I also feel like calling it "commonplace in physics" is overstating how customary it actually is.
 The Lindblad formalism is not well introduced and explained on page 11. First of all it is not true that all smooth oneparameter families of completelypositive and tracepreserving (CPTP) maps have Lindblad form. This can be seen by considering a general, potentially nonMarkovian evolution which originates from partial tracing a unitary evolution of a larger system (which is still a convolution of continuous operations). It is the semigroup property that is crucial which is unfortunately not mentioned at all when refering to the original work by Lindblad. As such the Lindblad formalism is not the most general form of a quantum evolution (even though it is correct that as a pointtopoint map for a single point in time, CPTP maps are general). This misconception is present in several parts of the paper which is particularly puzzling since in Sec. 5.1 the authors very explicitly make use of a nonMarkovian environment themselves. While I do agree that the Lindblad formalism is a sensible framework for this study, its generality should not be overstated and in particular the role of nonMarkovian environments should be discussed since they are explicitly exploited in the manuscript after all. Finally it should be mentioned that the Lindblad formalism can also be employed for strong systemenvironment coupling and not only in the weakcoupling limit as the authors claim.
 The use of "trivial Jordan form" on page 12 seems overly convoluted and I only was able to understand the meaning by referencing the appendix. In fact, "(block)diagonalisable" would be a nomenclature that is more easily accessible to a wide audience I think.
 Section 3 
 I was not quite able to understand in how far Theorem 1 neccessarily implicates a nonequilibrium steadystate. If I consider a Liouvillian that is trivial, e.g. the zero operator, then clearly all states are eigenstates with eigenvalue zero which would fall under the conditions for the theorem. However no state is a nonequilibrium steady state in this case since expectation values of all observables are constant in time because no actual evolution takes place. I seem to be missing an argument as to the sufficiency of the theorem in this and related special cases.
 On page 14 the sentence "In order to have \omega \neq 0 we can see by taking the trace of equation (15) that A must not be unitary but additionally must be traceless.". To my understanding of the previous discussion A still can be unitary but does not have to be. As such I suspect in this sentence it should be "A need not be unitary" instead of "A must not be unitary".
 The discussion at the end of Sec. 3.1 as to the commensurability was not quite clear to me. The authors claim there is a danger in having "too many incommensurable purely imaginary eigenvalues" and state that "it should be understood that considerations regarding commensurability must be made in addition to the results provided.". I do not quite understand the scope to which these statements should be interpreted since the phrasing used here is very vague.
 Section 4 
 While I do like the general discussion in Secs. 4.1  4.3 it took me several rereads to properly place them into the big picture of the section. It might be better to start with the general statements in 4.3 and Theorem 3 (to my understanding this theorem should capture all other cases since \omega = 0 is not excluded from its scope) and move from there to the more specialised cases of 4.1 and 4.2 and see how they emerge from Theorem 3.
 On page 17 and 18 I have trouble to understand the use of the nomenclature "explicity breaking the exchange symmetry". If I understand it well this corresponds to a vanishing anticommutator of the Liouvillian with the operator of exchange symmetry. While this does indeed break the exchange symmetry, so would any scenario in which the commutator does not vanish and one might even argue that a vanishing anticommutator is a kind of very specific breaking of the symmetry that preserves some structure.
 Section 5 
 As mentioned above, the fact that a nonMarkovian bath is employed for antisynchronisation seems very important to me and should not be properly put into the bigger scope of the whole paper.
 The connection between decoherencefree subspaces and synchronisation mentioned at the bottom of page 20 is quite intriguing and might warrant further discussion and/or future study.
 On page 21 the vanishing anticommutator of A with P_{2,3} is called "antisymmetry" which seems to me more appropriate than the "explicit symmetry breaking" nomenclature used in Sec. 4.
 The discussion regarding a general framework of quantum synchronization of the model in Sec. 5.2. was very hard to follow. It also uses several concepts that might not be too familiar to most readers with a background in physics (e.g. the Cartan subalgebra).
 Section 6 
 This section feels somewhat out of place. It might be a good idea to move Theorem 4 and the corresponding discussion to the end of Section 3 where all general results and theorems are collected and discussed.
 Final Remarks 
The science presented in the manuscript is intriguing and original. However, there are some flaws that still need to be amended before publication, most notably the clarity of the presentation. Once the authors address these weaknesses in a revision, I would recommend this paper for publication in SciPost Physics.
Requested changes
(see Report for details)
1  Improve clarity and accessibility of manuscript.
2  Amend discussion of Liouvillian formalism by, e.g., mentioning the role of nonMarkovianity in quantum evolutions, in particular with respect to its direct application in Sec. 5.1.
Author: Berislav Buca on 20211112 [id 1932]
(in reply to Report 1 on 20210601)
We thank the referee for their careful consideration of our work and detailed comments. Here we respond to their requested changes directly and outline how we have improved the manuscript accordingly.
Section 1
1.1. “I very much appreciate the detailed overview of the field, starting from classical considerations and moving to the quantum domain. However, reading through pages 46 I became a little lost as to the relevance of many of the discussed topics to the subject of the paper  quantum synchronization. For example the listing of classes of synchronicity are quickly supplanted with the definitions from Sec. 2. It might be helpful to keep the introduction slightly more streamlined to the paper's central theme and remind the reader of the implication for the quantum domain regularly and clearly.”
As suggested, this section has been streamlined. This is along with other modifications to the introduction, as suggested by the other referees.
1.2 “On page 8 the sentence ``Indeed, even when the stationary state can be found analytically diagonalizing it, as is required to find its support, is still an open problem.'' needs to be entirely reworked”
This sentence has now been replaced with ``Although in some cases analytic tools can be used to find nonequilibrium steady states, it remains an open problem to efficiently find the support of a generic stationary state.''
Section 2
2.1 “There is a brief mention on page 9 regarding ``alternative cases'' which refers to synchronized signals that differ by a phase or a scale factor. This discussion should be expanded to make clear in how far and in which places the results of this work need to be altered to account for them.”
We have now indicated what needs to be altered in Cor. 2 of Sec 3.2 to apply our results to phase synchronization. This clarifies how casebycase considerations need to be made for similar generalized modes of synchronization (i.e. differing by a scale factor/constant).
2.2 “The remark on page 10 regarding the fact that all definitions are understood as equalities up to exponentially small terms in time is very important and could be emphasized more (e.g. by giving it its own paragraph). I also feel like calling it ``commonplace in physics'' is overstating how customary it actually is.”
As suggested, we have made this remark its own paragraph to emphasize it more.
2.3 “The Lindblad formalism is not well introduced and explained on page 11. First of all it is not true that all smooth oneparameter families of completelypositive and tracepreserving (CPTP) maps have Lindblad form. This can be seen by considering a general, potentially nonMarkovian evolution which originates from partial tracing a unitary evolution of a larger system (which is still a convolution of continuous operations). It is the semigroup property that is crucial, which is unfortunately not mentioned at all when referring to the original work by Lindblad. As such the Lindblad formalism is not the most general form of a quantum evolution (even though it is correct that as a pointtopoint map for a single point in time, CPTP maps are general). This misconception is present in several parts of the paper which is particularly puzzling since in Sec. 5.1 the authors very explicitly make use of a nonMarkovian environment themselves. While I do agree that the Lindblad formalism is a sensible framework for this study, its generality should not be overstated, and in particular the role of nonMarkovian environments should be discussed since they are explicitly exploited in the manuscript after all. Finally it should be mentioned that the Lindblad formalism can also be employed for strong systemenvironment coupling and not only in the weakcoupling limit as the authors claim.”
We have now amended this discussion in our manuscript to avoid confusion. We had initially inferred the semigroup property by assuming timehomogeneity and smoothness, but we have now made it explicit that the semigroup property is required. We also did not intend to claim that the Lindblad formalism can only be used for weak systems. Indeed this is why we explain that the Lindblad master equation can describe a 1parameter family of CPTP maps with the semigroup property. We only intended to point out that the intuition regarding jump operators is only valid for weak coupling.
We have also explained that our theory is not limited to Markovian environments as we can, in principle, use the Hamiltonian to describe the full systemenvironment interactions. This has been explained more clearly in a new appendix.
2.4 “The use of ``trivial Jordan form'' on page 12 seems overly convoluted and I only was able to understand the meaning by referencing the appendix. In fact, ``(block) diagonalizable'' would be a nomenclature that is more easily accessible to a wide audience I think.”
As suggested, this wording has changed to be more accessible.
Section 3
3.1 “I was not quite able to understand in how far Theorem 1 necessarily implicates a nonequilibrium steadystate. If I consider a Liouvillian that is trivial, e.g. the zero operator, then clearly all states are eigenstates with eigenvalue zero which would fall under the conditions for the theorem. However, no state is a nonequilibrium steady state in this case since expectation values of all observables are constant in time because no actual evolution takes place. I seem to be missing an argument as to the sufficiency of the theorem in this and related special cases.”
We work with the definition that a density operator $\rho_\infty$ is a NESS if $\mathcal{L}[\rho_\infty] = 0$. This is the definition that is generally used in the literature as most nontrivial systems only have a small number of such states, and thus a general initial state will evolve until it reaches some superposition of NESS's. We agree with the referee that this terminology does not make complete sense in some special cases, as the referee has pointed out, but we reiterate that this is the general definition taken by the community and is the most straightforward terminology for our work.
With regards to the question of applying our theorems to trivial Liouvillian case, the conditions of Thm 1. are still necessary and sufficient for there to exist a purely imaginary eigenvalue, although they are satisfied trivially for any operator $A$ with eigenvalue $\lambda = 0$ since $ H = L_\mu = 0$. In this case, there will be no $A$ which satisfies the conditions for $\lambda \ne 0$. However, we emphasize that this system would not be classified as synchronized in our work since our definitions require there to be some form of dynamics.
3.2 “On page 14 the sentence ``In order to have $\omega \neq 0$ we can see by taking the trace of equation (15) that $A$ must not be unitary but additionally must be traceless.'' To my understanding of the previous discussion $A$ still can be unitary but does not have to be. As such I suspect in this sentence it should be ``$A$ need not be unitary'' instead of ``$A$ must not be unitary''
Consider the following
\begin{align*}
&[H, A] = \omega A\\
&A^{1}H A  H = \omega {I} \ \ \ \text{Assuming $A$ is invertible} \\
&0 = \omega \text{Tr}(I) \ \ \ \text{Taking trace}
\end{align*}
where $I$ is the identity. Thus we cannot have $A$ invertible and $\omega \ne 0$. Hence since $A$ cannot be invertible, it certainly cannot be unitary. This manipulation has now been included in the manuscript to avoid confusion.
3.3 “The discussion at the end of Sec. 3.1 as to the commensurability was not quite clear to me. The authors claim there is a danger in having ``too many incommensurable purely imaginary eigenvalues'' and state that ``it should be understood that considerations regarding commensurability must be made in addition to the results provided.'' I do not quite understand the scope to which these statements should be interpreted since the phrasing used here is very vague.”
The discussion regarding commensurability has been clarified and made into its own subsection at the end of section 3.
Section 4
4.1 “While I do like the general discussion in Secs. 4.1  4.3 it took me several rereads to properly place them into the big picture of the section. It might be better to start with the general statements in 4.3 and Theorem 3 (to my understanding this theorem should capture all other cases since $\omega = 0$ is not excluded from its scope) and move from there to the more specialized cases of 4.1 and 4.2 and see how they emerge from Theorem 3.”
The referee is correct that Thm. 3 does capture the case $\omega = 0$. However, the sections were presented in this order to \emph{avoid} the reader considering the case of 4.1 somehow emerging from Thm. 3. The two cases should be thought of a physically distinct: 4.1 takes a system without longlived oscillations and shows that ultralow frequency dynamics can be induced by perturbation, while 4.3 takes a system with longlived oscillations and shows that under perturbation, the oscillations are stable to first order. We have made this distinction more clear in the text. The ideas were also presented in this manner to clearly accredit the work on the $\omega = 0$ case to Macieszczak et al.
4.2 “On page 17 and 18 I have trouble to understand the use of the nomenclature ``explicitly breaking the exchange symmetry''. If I understand it well, this corresponds to a vanishing anticommutator of the Liouvillian with the operator of exchange symmetry. While this does indeed break the exchange symmetry, so would any scenario in which the commutator does not vanish and one might even argue that a vanishing anticommutator is a kind of very specific breaking of the symmetry that preserves some structure.”
As suggested in a later comment, we have now used the term ``antisymmetric'' to indicate the specific symmetry breaking we are considering.
Section 5
5.1 “As mentioned above, the fact that a nonMarkovian bath is employed for antisynchronization seems very important to me and should not be properly put into the bigger scope of the whole paper.”
We have now explained more precisely how our theory can be used for both Markovian and nonMarkovian environments as per the comment above.
5.2 “The connection between decoherencefree subspaces and synchronization mentioned at the bottom of page 20 is quite intriguing and might warrant further discussion and/or future study.”
This is indeed an intriguing connection which we intend to explore further in future work.
5.3 “On page 21 the vanishing anticommutator of $A$ with $P_{2,3}$ is called ``antisymmetry'' which seems to be more appropriate than the ``explicit symmetry breaking'' nomenclature used in Sec. 4.”
We have updated Sec. 4 to use this more appropriate terminology.
5.4 “The discussion regarding a general framework of quantum synchronization of the model in Sec. 5.2. was very hard to follow. It also uses several concepts that might not be too familiar to most readers with a background in physics (e.g. the Cartan subalgebra).”
We have now moved the explanation of the more general framework to the appendices to lighten the main text and make it more accessible to a broader readership without losing any detail.
Section 6
6.1 “This section feels somewhat out of place. It might be a good idea to move Theorem 4 and the corresponding discussion to the end of Section 3 where all general results and theorems are collected and discussed.”
We have now moved section 6 to before discussing examples where we agree it fits more naturally.
Author: Berislav Buca on 20211112 [id 1934]
(in reply to Report 3 on 20210623)Please see attached file for our reply.
Attachment:
Reply_to_Referee_3.pdf