Pith. sign in

REVIEW 3 major objections 2 minor 44 references

Fr\'echet Means of Periodic Orbits in Dynamical Systems: Geometry, Dynamics, and Diagnostics

T0 review · 3 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Fréchet means of periodic orbits depend strongly on parametrization and require a decoupled geometric-dynamic reconstruction.

desk verdict The paper offers a quotient-space Fréchet mean for periodic orbits that separates geometric shape from dynamical speed, with practical diagnostics, though the infinite-dimensional existence result is the least detailed part. read the letter →

arxiv 2606.10748 v1 pith:KAWTXFXL submitted 2026-06-09 math.DS

Paulina Hering , Christian Kuehn This is my paper · ORCID
classification math.DS
keywords Fréchetmeanperiodicorbitsdynamicalsystemsquotientspaceshapeanalysisarclengthparametrizationharmonicaveragingdiagnostics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper develops a framework for averaging families of periodic orbits by treating them as closed curves in a quotient space that identifies out circular phase shifts. It proves existence of empirical Fréchet means in this infinite-dimensional space. The central observation is that the mean changes with parametrization: time parametrization keeps the original speed information from the flow, while arc-length parametrization isolates the geometric shape. To use both aspects, the authors first compute a geometric mean on arc-length parametrized curves and then recover representative dynamics by harmonic averaging of the aligned speed profiles. They add curvature and medoid diagnostics to flag when the average distorts the ensemble and test the procedure on three standard oscillator models.

What carries the argument

Quotient-space metric on closed curves that quotients out circular phase shifts, together with the decoupled procedure of arc-length geometric Fréchet mean followed by harmonic averaging of speed profiles.

What would settle it

A concrete finite collection of periodic orbits for which the Fréchet functional on the quotient space has no minimizer would disprove the existence claim.

Watch

Extended reading notes

Core claim

Within the metric structure on the quotient space of closed curves that accounts for circular phase shifts, empirical Fréchet means exist. The resulting mean depends strongly on the chosen parametrization: time parametrization preserves dynamical information, whereas arc length parametrization emphasizes geometric structure. To reconcile these viewpoints, a geometric Fréchet mean is computed using arc length parametrization and representative dynamics are reconstructed through harmonic averaging of aligned speed profiles. Curvature- and medoid-based diagnostic measures quantify the representativeness of the resulting mean and identify situations in which averaging produces geometric artifact

Load-bearing premise

Empirical Fréchet means exist in the infinite-dimensional quotient space that accounts for circular phase shifts via the introduced metric structure.

Editorial extensions

If this is right

  • The decoupled procedure yields both a geometric summary curve and a consistent averaged speed profile for any family of periodic orbits.
  • Curvature- and medoid-based diagnostics can detect when the mean introduces artifacts or fails on heterogeneous ensembles.
  • The framework applies directly to parameter-dependent families in the Van der Pol oscillator, Rosenzweig-MacArthur model, and Morris-Lecar model.
  • Numerical experiments confirm that the method produces robust geometric summaries together with consistent averaged dynamics.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The separation of geometry and dynamics may improve uncertainty quantification when model parameters vary continuously.
  • The same diagnostics could be applied to limit-cycle data extracted from experiments to decide whether a single representative orbit is justified.
  • Testing whether the harmonic speed averaging step remains stable under small perturbations of the original speed profiles would be a direct next check.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 2 minor

Summary. The paper develops a framework for Fréchet means of periodic orbits by representing trajectories as closed curves in a quotient space that identifies phase shifts via a suitable metric. It claims to establish existence of empirical Fréchet means in the resulting infinite-dimensional space, shows that the mean depends on parametrization (time vs. arc-length), proposes a decoupled procedure (arc-length geometric mean followed by harmonic averaging of aligned speed profiles), introduces curvature- and medoid-based diagnostics for representativeness, and demonstrates the method on the Van der Pol oscillator, Rosenzweig-MacArthur model, and Morris-Lecar model.

Significance. If the existence result and the decoupled reconstruction are placed on firm footing, the work supplies a principled geometric-dynamical averaging tool useful for uncertainty quantification in families of periodic orbits. The explicit separation of geometry and dynamics, together with the diagnostic measures, addresses a practical need in dynamical systems that standard shape-analysis techniques do not directly resolve.

major comments (3)
  1. [framework / existence statement] The central existence claim for empirical Fréchet means in the infinite-dimensional quotient space (abstract and the framework section) is asserted but not secured in detail. The manuscript must state the precise theorem invoked (e.g., a reference to a result on lower semi-continuity and coercivity in a complete metric space) and verify that the quotient metric remains a length metric and that the circle action does not destroy completeness or coercivity; without this verification the claim that existence “is established within the framework” is load-bearing and unsupported.
  2. [decoupled approach] § on the decoupled approach: the reconstruction of dynamics via harmonic averaging of aligned speed profiles after computing the arc-length geometric mean lacks a justification that the resulting time-parametrized orbit remains a critical point of the original Fréchet functional or at least a consistent approximation; a counter-example or error bound relating the two parametrizations would be needed to support the claim that the procedure reconciles the geometric and dynamical viewpoints.
  3. [numerical experiments] Numerical experiments section: the reported results on the three models provide no quantitative error analysis, convergence diagnostics, or comparison against ground-truth means when they exist; without these the assertion that the methodology “yields robust geometric summaries together with consistent averaged dynamics” cannot be assessed for the central claim of practical utility.
minor comments (2)
  1. [framework] Notation for the quotient metric and the circle action should be introduced once with a clear diagram or equation reference rather than repeated inline.
  2. [numerical experiments] Figure captions for the model trajectories should include the precise parameter values and integration tolerances used.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which will help improve the clarity and rigor of the manuscript. We address each major comment below and indicate the revisions we will undertake.

read point-by-point responses

  1. Referee: [framework / existence statement] The central existence claim for empirical Fréchet means in the infinite-dimensional quotient space (abstract and the framework section) is asserted but not secured in detail. The manuscript must state the precise theorem invoked (e.g., a reference to a result on lower semi-continuity and coercivity in a complete metric space) and verify that the quotient metric remains a length metric and that the circle action does not destroy completeness or coercivity; without this verification the claim that existence “is established within the framework” is load-bearing and unsupported.

    Authors: We agree that the existence statement requires explicit justification. In the revised manuscript we will cite the standard theorem guaranteeing existence of Fréchet means via lower semi-continuity and coercivity on complete metric spaces, and we will add a short verification that the quotient metric is a length metric whose completeness and coercivity are preserved under the circle action. These additions will be placed in the framework section immediately after the definition of the quotient space. revision: yes

  2. Referee: [decoupled approach] § on the decoupled approach: the reconstruction of dynamics via harmonic averaging of aligned speed profiles after computing the arc-length geometric mean lacks a justification that the resulting time-parametrized orbit remains a critical point of the original Fréchet functional or at least a consistent approximation; a counter-example or error bound relating the two parametrizations would be needed to support the claim that the procedure reconciles the geometric and dynamical viewpoints.

    Authors: The decoupled procedure is presented as a practical heuristic that separates geometric shape from speed profiles rather than as an exact critical point of the joint Fréchet functional. We will revise the section to state this distinction explicitly, supply a brief error-bound discussion under the assumption of small phase misalignment, and include a simple analytic counter-example (two orbits with differing speed profiles) illustrating the approximation gap. This will clarify the scope of the method without overstating its optimality properties. revision: partial

  3. Referee: [numerical experiments] Numerical experiments section: the reported results on the three models provide no quantitative error analysis, convergence diagnostics, or comparison against ground-truth means when they exist; without these the assertion that the methodology “yields robust geometric summaries together with consistent averaged dynamics” cannot be assessed for the central claim of practical utility.

    Authors: We accept that quantitative diagnostics are needed to substantiate the practical-utility claim. The revised numerical section will include (i) Fréchet-distance error tables for each model, (ii) convergence plots of the optimization routines, and (iii) comparisons against analytically known means for the symmetric Van der Pol case. These additions will allow readers to evaluate robustness directly. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; framework adapts standard Fréchet means without self-referential reduction.

full rationale

The paper constructs a quotient metric space for closed curves modulo phase shifts and claims to establish existence of empirical Fréchet means inside that space. This is a standard existence argument in metric geometry (completeness + lower semi-continuity + coercivity) applied to a new but explicitly defined object; it does not reduce to a fitted parameter renamed as prediction, a self-definition, or a load-bearing self-citation. The central result (dependence on parametrization and the decoupled geometric+dynamics procedure) follows from the explicit metric definitions rather than from any input that already encodes the output. No equations or claims in the provided abstract or skeptic notes exhibit the forbidden patterns.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Based solely on the abstract, the framework rests on the existence of Fréchet means in an infinite-dimensional quotient space and the validity of the introduced metric for circular shifts; no free parameters or invented entities are explicitly listed.

assumptions (1)
  • domain assumption Existence of empirical Fréchet means holds in the infinite-dimensional quotient space equipped with the phase-shift metric.
    Stated as a central result of the framework development in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fr\'echet Means of Periodic Orbits in Dynamical Systems: Geometry, Dynamics, and Diagnostics." pith.science (2026). https://pith.science/paper/KAWTXFXL

@misc{pith2026260610748,
  author       = {Pith},
  title        = {Pith review of: Fr\'echet Means of Periodic Orbits in Dynamical Systems: Geometry, Dynamics, and Diagnostics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KAWTXFXL}},
  note         = {Machine review of arXiv:2606.10748}
}
read the original abstract

In many dynamical systems applications, one seeks representative trajectories summarizing families of periodic orbits arising from parameter variation or uncertainty. While the Fr\'echet mean provides a natural notion of averaging in nonlinear metric spaces, its application to periodic trajectories is complicated by the interplay between geometric shape and temporal dynamics. Inspired by ideas from shape analysis, we develop a framework for computing Fr\'echet means of periodic orbits by representing trajectories as closed curves and introducing a metric structure on a quotient space that accounts for circular phase shifts. Within this framework, we establish the existence of empirical Fr\'echet means in the resulting infinite-dimensional quotient space. A central finding is that the resulting Fr\'echet mean depends strongly on the chosen parametrization: time parametrization preserves dynamical information, whereas arc length parametrization emphasizes geometric structure. To reconcile these viewpoints, we propose a decoupled approach that computes a geometric Fr\'echet mean using arc length parametrization and subsequently reconstructs representative dynamics through harmonic averaging of aligned speed profiles. We further introduce curvature- and medoid-based diagnostic measures that quantify the representativeness of the resulting mean and identify situations in which averaging produces geometric artifacts or fails to capture heterogeneous ensembles. Numerical experiments for the Van der Pol oscillator, the Rosenzweig-MacArthur predator-prey model, and the Morris-Lecar neuronal model demonstrate that the proposed methodology yields robust geometric summaries together with consistent averaged dynamics. The framework provides a principled approach for constructing representative periodic trajectories and assessing their validity in uncertainty quantification and dynamical systems.

Figures

Figures reproduced from arXiv: 2606.10748 by the authors.

Figure 1
Figure 1. Effect of phase alignment on pointwise averaging of closed curves. (a) Two periodic curves [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Comparison of arithmetic and harmonic averaging for dynamical reconstruction. (a) Speed [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Illustration of a failure mode of the Fréchet mean in a geometrically heterogeneous dataset. [PITH_FULL_IMAGE:figures/full_fig_p016_3.png] view at source ↗
Figures from the paper (11 more)
Figure 4
Figure 4. Figure 4: Curvature-based diagnostics for the synthetic bimodal dataset. The distributions of total [PITH_FULL_IMAGE:figures/full_fig_p016_4.png]
Figure 5
Figure 5. Figure 5: Dynamics of the van der Pol oscillator in the fast–slow regime with [PITH_FULL_IMAGE:figures/full_fig_p017_5.png]
Figure 6
Figure 6. Figure 6: The geometric Fréchet mean computed from [PITH_FULL_IMAGE:figures/full_fig_p019_6.png]
Figure 7
Figure 7. Figure 7: Dynamical reconstruction of the geometric Fréchet mean for the van der Pol system. [PITH_FULL_IMAGE:figures/full_fig_p020_7.png]
Figure 8
Figure 8. Figure 8: Fréchet mean for the Rosenzweig–MacArthur model under variation of the predator loss [PITH_FULL_IMAGE:figures/full_fig_p021_8.png]
Figure 9
Figure 9. Figure 9: Geometric Fréchet means for the Rosenzweig–MacArthur model under different parameter [PITH_FULL_IMAGE:figures/full_fig_p022_9.png]
Figure 10
Figure 10. Figure 10: Bursting dynamics in the Morris–Lecar system. (a) Number of fast oscillations per global [PITH_FULL_IMAGE:figures/full_fig_p023_10.png]
Figure 11
Figure 11. Figure 11: Fréchet mean and reconstructed dynamics for the homogeneous Morris–Lecar bursting [PITH_FULL_IMAGE:figures/full_fig_p025_11.png]
Figure 12
Figure 12. Figure 12: Fréchet mean and reconstructed dynamics for the heterogeneous Morris–Lecar bursting [PITH_FULL_IMAGE:figures/full_fig_p026_12.png]
Figure 13
Figure 13. Figure 13: Curvature-based diagnostics for the Morris–Lecar system in homogeneous and heteroge [PITH_FULL_IMAGE:figures/full_fig_p027_13.png]
Figure 14
Figure 14. Figure 14: Comparison of the Fréchet mean and Fréchet medoid for the homogeneous and hetero [PITH_FULL_IMAGE:figures/full_fig_p028_14.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 3 canonical work pages

  1. [1]

    Chapman and Hall/CRC, 2024

    Steven H Strogatz.Nonlinear dynamics and chaos: with applications to physics, biology, chem- istry, and engineering. Chapman and Hall/CRC, 2024

    2024

  2. [2]

    Springer Science & Business Media, 2013

    John Guckenheimer and Philip Holmes.Nonlinear oscillations, dynamical systems, and bifur- cations of vector fields. Springer Science & Business Media, 2013

    2013

  3. [3]

    Springer, 1998

    Yuri A Kuznetsov.Elements of applied bifurcation theory. Springer, 1998

    1998

  4. [4]

    Timothy John Sullivan.Introduction to uncertainty quantification. Vol. 63. Springer, 2015

    2015

  5. [5]

    SIAM, 2024

    Ralph C Smith.Uncertainty quantification: theory, implementation, and applications. SIAM, 2024

    2024

  6. [6]

    Springer Science & Business Media, 2010

    Olivier Le Maître and Omar M Knio.Spectral methods for uncertainty quantification: with applications to computational fluid dynamics. Springer Science & Business Media, 2010

    2010

  7. [7]

    A Survey on Uncertainty Quantification in Dynamical Systems

    Arash Latifi and Caterina M. Scoglio. “A Survey on Uncertainty Quantification in Dynamical Systems”. In:IEEE Transactions on Systems, Man, and Cybernetics: Systems55.8 (2025), pp. 5137–5151.doi:10.1109/TSMC.2025.3564984

    work page doi:10.1109/tsmc.2025.3564984 2025

  8. [8]

    Computing invariant sets of random differential equa- tions using polynomial chaos

    Maxime Breden and Christian Kuehn. “Computing invariant sets of random differential equa- tions using polynomial chaos”. In:SIAM Journal on Applied Dynamical Systems19.1 (2020), pp. 577–618

    2020

Show all 44 references
  1. [9]

    A posteriori validation of generalized polynomial chaos expansions

    M. Breden. “A posteriori validation of generalized polynomial chaos expansions”. In:SIAM J. Appl. Dyn. Syst.22.2 (2023), pp. 765–801

    2023

  2. [10]

    Uncertaintyquantificationofbifurcationsinrandomordinarydifferential equations

    C.KuehnandK.Lux.“Uncertaintyquantificationofbifurcationsinrandomordinarydifferential equations”. In:SIAM J. Appl. Dyn. Syst.20.4 (2021), pp. 2295–2334

    2021

  3. [11]

    Assessing the impact of parametric uncertainty on tipping points of the Atlantic meridional overturning circulation

    K. Lux et al. “Assessing the impact of parametric uncertainty on tipping points of the Atlantic meridional overturning circulation”. In:Environmental Research Letters17 (2022), p. 075002

    2022

  4. [12]

    Uncertainty quantification analysis of bifurcations of the Allen-Cahn equation with random coefficients

    C. Kuehn, C. Piazzola, and E. Ullmann. “Uncertainty quantification analysis of bifurcations of the Allen-Cahn equation with random coefficients”. In:Physica D470 (2024), p. 134390

    2024

  5. [13]

    An equatorial ocean recharge paradigm for ENSO. Part I: Conceptual model

    Fei-Fei Jin. “An equatorial ocean recharge paradigm for ENSO. Part I: Conceptual model”. In: Journal of the atmospheric sciences54.7 (1997), pp. 811–829

    1997

  6. [14]

    Graphical representation and stability con- ditions of predator-prey interactions

    Michael L Rosenzweig and Robert H MacArthur. “Graphical representation and stability con- ditions of predator-prey interactions”. In:The American Naturalist97.895 (1963), pp. 209–223

    1963

  7. [15]

    Voltage oscillations in the barnacle giant muscle fiber

    Catherine Morris and Harold Lecar. “Voltage oscillations in the barnacle giant muscle fiber”. In:Biophysical journal35.1 (1981), pp. 193–213

    1981

  8. [16]

    Springer, 1997

    James O Ramsay and Bernard W Silverman.Functional data analysis. Springer, 1997

    1997

  9. [17]

    Anuj Srivastava and Eric P Klassen.Functional and shape data analysis. Vol. 1. Springer, 2016

    2016

  10. [18]

    Les éléments aléatoires de nature quelconque dans un espace distancié

    Maurice Fréchet. “Les éléments aléatoires de nature quelconque dans un espace distancié”. In: Annales de l’Institut Henri Poincaré10 (1948), pp. 215–310

    1948

  11. [19]

    Riemannian center of mass and mollifier smoothing

    Hermann Karcher. “Riemannian center of mass and mollifier smoothing”. In:Communications on pure and applied mathematics30.5 (1977), pp. 509–541

    1977

  12. [20]

    Intrinsic statistics on Riemannian manifolds: Basic tools for geometric mea- surements

    Xavier Pennec. “Intrinsic statistics on Riemannian manifolds: Basic tools for geometric mea- surements”. In:Journal of Mathematical Imaging and Vision25.1 (2006), pp. 127–154

    2006

  13. [21]

    Largesampletheoryofintrinsicandextrinsicsample means on manifolds

    RabiBhattacharyaandVicPatrangenaru.“Largesampletheoryofintrinsicandextrinsicsample means on manifolds”. In:The Annals of Statistics31.1 (2003), pp. 1–29. 32

    2003

  14. [22]

    RiemannianL p center of mass: existence, uniqueness, and convexity

    Bijan Afsari. “RiemannianL p center of mass: existence, uniqueness, and convexity”. In:Pro- ceedings of the American Mathematical Society139.2 (2011), pp. 655–673

    2011

  15. [23]

    Springer, 2005

    Ilya Molchanov.Theory of random sets. Springer, 2005

    2005

  16. [24]

    Springer Science & Business Media, 2012

    Eugene L Allgower and Kurt Georg.Numerical continuation methods: an introduction. Springer Science & Business Media, 2012

    2012

  17. [25]

    Springer, 2008

    Bernard Dacorogna.Direct methods in the calculus of variations. Springer, 2008

    2008

  18. [26]

    Haim Brezis.Functional analysis, Sobolev spaces and partial differential equations. Vol. 2. 3. Springer, 2011

    2011

  19. [27]

    Probability, convexity, and harmonic maps with small image I: uniqueness and fine existence

    Wilfrid S Kendall. “Probability, convexity, and harmonic maps with small image I: uniqueness and fine existence”. In:Proceedings of the London Mathematical Society3.2 (1990), pp. 371–406

    1990

  20. [28]

    Locating Fréchet means with application to shape spaces

    Huiling Le. “Locating Fréchet means with application to shape spaces”. In:Advances in Applied Probability33.2 (2001), pp. 324–338

    2001

  21. [29]

    On expected figures and a strong law of large numbers for random elements in quasi-metric spaces

    Herbert Ziezold. “On expected figures and a strong law of large numbers for random elements in quasi-metric spaces”. In:Transactions of the Seventh Prague Conference on Information Theory, Statistical Decision Functions, Random Processes and of the 1974 European Meeting of Sta...

    1974

  22. [30]

    Springer Science & Business Media, 2010

    Andrew N Pressley.Elementary differential geometry. Springer Science & Business Media, 2010

    2010

  23. [31]

    Average speed bumps: Four perspectives on averaging speeds

    Ruma Falk, Avital Lann, and Shmuel Zamir. “Average speed bumps: Four perspectives on averaging speeds”. In:Chance18.1 (2005), pp. 25–32

    2005

  24. [32]

    John Wiley & Sons Hoboken, NJ, USA, 2009

    Elvezio M Ronchetti and Peter J Huber.Robust statistics. John Wiley & Sons Hoboken, NJ, USA, 2009

    2009

  25. [33]

    Trevor Hastie, Robert Tibshirani, Jerome Friedman, et al.The elements of statistical learning. 2009

    2009

  26. [34]

    Kristopher Tapp.Differential geometry of curves and surfaces. Vol. 3. Springer, 2016

    2016

  27. [35]

    Über Krümmung und Windung geschlossener Raumkurven

    W. Fenchel. “Über Krümmung und Windung geschlossener Raumkurven”. In:Mathematische Annalen101 (1929), pp. 238–252.url:http://eudml.org/doc/159330

    1929

  28. [36]

    Tatsuya Miura.Elastic curves and self-intersections. 2025. arXiv:2408.03020 [math.AP].url: https://arxiv.org/abs/2408.03020

    2025

  29. [37]

    John Wiley & Sons, 2009

    Leonard Kaufman and Peter J Rousseeuw.Finding groups in data: an introduction to cluster analysis. John Wiley & Sons, 2009

    2009

  30. [38]

    Matthieu Bulté and Helle Sørensen.Medoid splits for efficient random forests in metric spaces

  31. [39]

    arXiv:2306.17031 [stat.ME].url:https://arxiv.org/abs/2306.17031

  32. [40]

    Christian Kuehn et al.Multiple time scale dynamics. Vol. 191. Springer, 2015

    2015

  33. [41]

    Cambridge University Press, 2001

    Mark Kot.Elements of mathematical ecology. Cambridge University Press, 2001

    2001

  34. [42]

    Largesampletheoryofintrinsicandextrinsicsample means on manifolds—II

    RabiBhattacharyaandVicPatrangenaru.“Largesampletheoryofintrinsicandextrinsicsample means on manifolds—II”. In: (2005)

    2005

  35. [43]

    Sur la moyenne d’un élément aléatoire dans un espace distancié

    Shafik Doss. “Sur la moyenne d’un élément aléatoire dans un espace distancié”. In:Bull. Sci. Math73.2 (1949), pp. 48–72

    1949

  36. [44]

    SFB 611, 2003

    Karl-Theodor Sturm.Probability measures on metric spaces of nonpositive curvature. SFB 611, 2003. 33

    2003

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.