Geometric Origin of Exact Mean-Field Reductions: M{\"o}bius Symmetry and the Lorentzian Ansatz

Hugues Berry (AISTROSIGHT); Leonardo Trujillo (AISTROSIGHT)

arxiv: 2605.23669 · v1 · pith:TNNDMYXTnew · submitted 2026-05-22 · ⚛️ physics.bio-ph · q-bio.NC

Geometric Origin of Exact Mean-Field Reductions: M{\"o}bius Symmetry and the Lorentzian Ansatz

Hugues Berry (AISTROSIGHT) , Leonardo Trujillo (AISTROSIGHT) This is my paper

Pith reviewed 2026-05-25 02:19 UTC · model grok-4.3

classification ⚛️ physics.bio-ph q-bio.NC

keywords Lorentzian ansatzRiccati dynamicsprojective transportmean-field reductionOtt-Antonsen reductionCauchy-Lorentz familyMöbius symmetryoscillator networks

0 comments

The pith

The Cauchy-Lorentz family is the unique connected two-dimensional family of densities invariant under Riccati-induced projective transport.

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

The paper establishes that the Lorentzian ansatz for mean-field reductions in oscillator networks arises from geometry rather than convenience. For transport induced by Riccati dynamics, the only connected two-dimensional family of continuous probability densities that stays invariant under the induced projective action is the Cauchy-Lorentz family. The proof maps the dynamics to the circle, where the unique rotation-invariant measure is known, then recovers the Cauchy law by stereographic projection and the full Lorentzian family by the projective group action. This accounts for why the Ott-Antonsen and Montbrió-Pazó-Roxin reductions close exactly while Gaussian closures do not.

Core claim

For the transport induced by Riccati dynamics, the Cauchy-Lorentz family emerges as the unique connected two-dimensional family of continuous probability densities that is invariant under the induced projective transport. The key step is to reformulate the dynamics on the circle, reducing the problem to the uniqueness of the rotation-invariant probability measure. Under stereographic projection this yields the standard Cauchy law, and under the full projective action the Lorentzian family. This gives a unified geometric foundation for the Ott-Antonsen and Montbrió-Pazó-Roxin reductions.

What carries the argument

Reformulation of Riccati dynamics as rotation on the circle, whose unique invariant measure projects via stereographic projection to the Cauchy-Lorentz family under the Möbius group action.

If this is right

The Ott-Antonsen and Montbrió-Pazó-Roxin reductions close exactly because the Lorentzian family is preserved by the transport.
Gaussian closures fail because the Gaussian family is not invariant under the projective action.
Exact two-parameter reductions require the structural condition that the ansatz family be invariant under the full projective group.
The geometric selection applies to any system whose evolution induces Riccati-type transport on densities.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The circle reformulation may extend to other phase-oscillator problems if the same projective structure can be identified.
Different symmetry groups could select alternative invariant families for reductions in higher-dimensional or non-projective settings.
Numerical checks on small networks could verify whether distributions remain Lorentzian precisely when the invariance condition holds.

Load-bearing premise

The Riccati dynamics admit an exact reformulation as rotations on the circle for which the invariant probability measure is unique.

What would settle it

An explicit construction of any other connected two-dimensional family of continuous densities that remains invariant under the same Riccati-induced projective transport would falsify the uniqueness claim.

Figures

Figures reproduced from arXiv: 2605.23669 by Hugues Berry (AISTROSIGHT), Leonardo Trujillo (AISTROSIGHT).

read the original abstract

Low-dimensional descriptions of large systems of coupled oscillators and spiking neurons rely heavily on the Lorentzian Ansatz. We show that its privileged role is geometric rather than heuristic: for the transport induced by Riccati dynamics, the Cauchy-Lorentz family indeed emerges as the unique connected two-dimensional family of continuous probability densities that is invariant under the induced projective transport. The key step of the demonstration is to reformulate the dynamics on the circle, where the problem reduces to the uniqueness of the rotation-invariant probability measure. Under stereographic projection, this yields the standard Cauchy law and, under the full projective action, the Lorentzian family. This result gives a unified geometric foundation for the Ott-Antonsen [Chaos 18, 037113 (2008)] and Montbri{\'o}-Paz{\'o}-Roxin [Phys. Rev. X 5, 021028 (2015)] reductions, explains the failure of Gaussian closures, and identifies the structural condition underlying exact two-parameter reductions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper derives the Lorentzian family as the unique invariant 2D density family under Riccati transport by mapping to circle rotations, unifying the OA and MPR reductions.

read the letter

The main takeaway is that the Lorentzian ansatz is not just convenient but the only connected two-parameter family of continuous densities preserved by the projective maps induced by Riccati dynamics. They reach this by lifting the problem to the circle via stereographic projection, turning the transport into rotations, so invariance forces the uniform measure whose preimage is Cauchy-Lorentz. This supplies a geometric reason that covers both the Ott-Antonsen and Montbrió-Pazó-Roxin reductions at once and shows why Gaussian closures cannot be exact in the same way. That unification and the uniqueness statement are the actual new pieces; they are not in the original reduction papers. The argument rests on standard facts about rotation-invariant measures and the projection, with no fitted parameters. The derivation appears clean on the abstract level and the citation pattern is appropriate. The load-bearing step is the claim that the pulled-back vector field on the circle is exactly constant-speed rotation with no residual θ dependence; if that holds exactly, uniqueness follows directly. The stress-test concern would only bite if the conjugation introduced extra terms, but the paper states the reduction is exact, so the central claim stands or falls on that step being verified in the full text. This work is for people already using or extending mean-field reductions in coupled oscillators or spiking networks who want a structural explanation rather than another application. A reader focused on exact closures or geometric methods in dynamical systems would find it worth their time. It is coherent on its own terms and shows honest engagement with the literature, so it deserves a serious referee even if revisions are needed on the circle step.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that for transport induced by Riccati dynamics, the Cauchy-Lorentz family is the unique connected two-dimensional family of continuous probability densities invariant under the induced projective transport. The argument proceeds by conjugating the flow to the circle via stereographic projection, reducing invariance to that under the full rotation group (whose unique continuous probability measure is the uniform Haar measure), and pulling back to obtain the Cauchy law and the two-parameter Lorentzian family. This is presented as providing a geometric foundation for the Ott-Antonsen and Montbrió-Pazó-Roxin reductions while explaining the failure of Gaussian closures.

Significance. If the central uniqueness result holds, the work supplies a structural, symmetry-based explanation for why certain exact low-dimensional reductions succeed in oscillator and neural population models. It identifies Möbius/projective invariance as the distinguishing geometric feature and unifies previously separate ansatz-based derivations under a single invariance principle.

major comments (2)

[Circle reformulation / stereographic projection step] Circle reformulation (the section deriving the pulled-back vector field): the claim that Riccati transport becomes exactly constant-angular-speed rotation requires an explicit calculation showing that the angular velocity on the circle is independent of θ. If residual θ-dependent terms remain after the change of variables, the invariance condition does not reduce to full rotation-group invariance and the uniqueness argument fails to apply.
[Uniqueness argument] Uniqueness statement (the paragraph asserting that the Cauchy-Lorentz family is the unique connected 2D family): the reduction to Haar-measure uniqueness on the circle is standard, but the manuscript must verify that every connected 2D family of continuous densities on the line that is invariant under the actual (possibly non-exact) projective maps is necessarily the image of a rotation-invariant measure. Without this step, other families could satisfy the invariance without corresponding to the Lorentzian family.

minor comments (2)

[Introduction / setup] Notation for the projective group action should be introduced once and used consistently; the relation between the Möbius transformations and the Riccati vector field is mentioned but not displayed as an explicit group homomorphism in the early sections.
[Abstract] The abstract states the result for 'the transport induced by Riccati dynamics' but the precise class of Riccati equations (e.g., the form of the coefficients) should be stated at the outset so that the scope of the invariance is clear.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which help strengthen the geometric argument. We address each major comment below and will revise the manuscript to incorporate explicit verifications and clarifications.

read point-by-point responses

Referee: [Circle reformulation / stereographic projection step] Circle reformulation (the section deriving the pulled-back vector field): the claim that Riccati transport becomes exactly constant-angular-speed rotation requires an explicit calculation showing that the angular velocity on the circle is independent of θ. If residual θ-dependent terms remain after the change of variables, the invariance condition does not reduce to full rotation-group invariance and the uniqueness argument fails to apply.

Authors: We agree that an explicit calculation is needed for rigor. The stereographic projection conjugates the Riccati flow to uniform rotation on the circle because Möbius transformations act as rotations under this map. In the revised manuscript we will add the detailed computation of the pulled-back vector field, confirming that the angular velocity is constant (equal to the appropriate component of the complex coefficient) with no residual θ dependence. This establishes the reduction to full rotation-group invariance. revision: yes
Referee: [Uniqueness argument] Uniqueness statement (the paragraph asserting that the Cauchy-Lorentz family is the unique connected 2D family): the reduction to Haar-measure uniqueness on the circle is standard, but the manuscript must verify that every connected 2D family of continuous densities on the line that is invariant under the actual (possibly non-exact) projective maps is necessarily the image of a rotation-invariant measure. Without this step, other families could satisfy the invariance without corresponding to the Lorentzian family.

Authors: The stereographic projection is a diffeomorphism inducing a group isomorphism between the projective (Möbius) action on the line and the rotation group on the circle. Consequently, a family of densities on the line is invariant under the induced projective transport if and only if its push-forward to the circle is invariant under rotations. The unique continuous rotation-invariant probability measure is the Haar measure; its pull-back under the inverse stereographic map is precisely the Cauchy-Lorentz family. No other connected two-dimensional family satisfies the invariance, as any such family would have to correspond to a rotation-invariant measure on the circle. We will add an explicit remark on this equivalence in the revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses external facts on circle invariance and stereographic projection

full rationale

The paper's central claim follows from mapping Riccati dynamics to the circle via stereographic projection, reducing invariance of the 2D family to uniqueness of the rotation-invariant (Haar) measure on the circle—a standard external result in Lie groups and measure theory—then projecting back to obtain the Cauchy-Lorentz family. This step invokes no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations; the cited Ott-Antonsen and Montbrió-Pazó-Roxin works are the target phenomena being unified, not the justification for the uniqueness theorem. The argument is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard facts from projective geometry and measure theory on the circle; no free parameters or invented entities are introduced in the abstract.

axioms (1)

standard math Uniqueness of the rotation-invariant probability measure on the circle
Central step in the reformulation on the circle.

pith-pipeline@v0.9.0 · 5722 in / 1133 out tokens · 26154 ms · 2026-05-25T02:19:52.149228+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

the classification problem reduces to identifying which continuous probability density on S¹ is compatible with the Möbius action... only elliptic/rigid rotation class preserves a continuous, strictly positive density... the only continuous probability density that is invariant under a nontrivial rigid rotation on S¹ is the uniform (Haar) measure

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Watanabe and S

S. Watanabe and S. H. Strogatz, Integrability of a glob- ally coupled oscillator array, Physical Review Letters70, 2391 (1993)

work page 1993
[2]

Watanabe and S

S. Watanabe and S. H. Strogatz, Constants of motion for superconducting Josephson arrays, Physica D: Nonlinear Phenomena 74, 197 (1994)

work page 1994
[3]

C. J. Goebel, On the oscillatory dynamics of the Ku- ramoto model, Physica D: Nonlinear Phenomena80, 18 (1995)

work page 1995
[4]

S. A. Marvel, R. E. Mirollo, and S. H. Strogatz, Identical phase oscillators with global sinusoidal coupling evolve by Möbius group action, Chaos19, 043104 (2009)

work page 2009
[5]

Ott and T

E. Ott and T. M. Antonsen, Low dimensional behavior of large systems of globally coupled oscillators, Chaos18, 037113 (2008)

work page 2008
[6]

Montbrió, D

E. Montbrió, D. Pazó, and A. Roxin, Macroscopic de- scription for networks of spiking neurons, Physical Re- view X 5, 021028 (2015)

work page 2015
[7]

Cestnik and E

R. Cestnik and E. A. Martens, Integrability of a globally coupled complex Riccati array: Quadratic integrate-and- fire neurons, phase oscillators, and all in between, Phys. Rev. Lett. 132, 057201 (2024)

work page 2024
[8]

Pazó and R

D. Pazó and R. Cestnik, Low-dimensional dynamics of globally coupled complex riccati equations: Exact firing-rate equations for spiking neurons with clustered substructure, Physical Review E 111, L052201 (2025), [arXiv:2503.15537]. 5

work page arXiv 2025
[9]

V. V. Kisil,Geometry of Möbius transformations(World Scientific, 2012)

work page 2012
[10]

P. R. Halmos,Measure Theory, Graduate Texts in Math- ematics, Vol. 18 (Springer-Verlag, New York, 1974) see Chapter XI on Haar Measure

work page 1974
[11]

See Supplemental Material at [URL will be inserted by publisher] for the linearization of the Riccati equation, the explicit Möbius covariance of the Cauchy–Lorentz family, the full proof of the uniqueness theorem, and nu- merical validation against Gaussian initial conditions

work page
[12]

Hille, Ordinary Differential Equations in the Com- plex Domain, A Wiley-Interscience publication (Wiley- Interscience, New York, 1976) see Chapter 4 for Riccati equations

E. Hille, Ordinary Differential Equations in the Com- plex Domain, A Wiley-Interscience publication (Wiley- Interscience, New York, 1976) see Chapter 4 for Riccati equations

work page 1976
[13]

Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften, Vol

C. Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften, Vol. 338 (Springer, Berlin, Heidelberg, 2009) see Chapter 5 for the dynamical formulation of the push forward

work page 2009
[14]

F.B.Knight,AcharacterizationoftheCauchytype,Pro- ceedings of the American Mathematical Society55, 130 (1976)

work page 1976
[15]

Letac, Which functions preserve Cauchy laws?, Pro- ceedings of the American Mathematical Society67, 277 (1977)

G. Letac, Which functions preserve Cauchy laws?, Pro- ceedings of the American Mathematical Society67, 277 (1977)

work page 1977
[16]

Ratas and K

I. Ratas and K. Pyragas, Symmetry breaking in two in- teracting populations of quadratic integrate-and-fire neu- rons, Physical Review E96, 042212 (2017)

work page 2017
[17]

I. V. Tyulkina, D. S. Goldobin, L. S. Klimenko, and A. Pikovsky, Dynamics of noisy oscillator populations beyond the Ott-Antonsen ansatz, Phys. Rev. Lett.120, 264101 (2018)

work page 2018
[18]

Klinshov, S

V. Klinshov, S. Kirillov, and V. Nekorkin, Reduction of the collective dynamics of neural populations with re- alistic forms of heterogeneity, Physical Review E 103, L040302 (2021)

work page 2021
[19]

D. S. Goldobin, M. Di Volo, and A. Torcini, Reduction methodology for fluctuation driven population dynamics, Physical Review Letters127, 038301 (2021)

work page 2021

[1] [1]

Watanabe and S

S. Watanabe and S. H. Strogatz, Integrability of a glob- ally coupled oscillator array, Physical Review Letters70, 2391 (1993)

work page 1993

[2] [2]

Watanabe and S

S. Watanabe and S. H. Strogatz, Constants of motion for superconducting Josephson arrays, Physica D: Nonlinear Phenomena 74, 197 (1994)

work page 1994

[3] [3]

C. J. Goebel, On the oscillatory dynamics of the Ku- ramoto model, Physica D: Nonlinear Phenomena80, 18 (1995)

work page 1995

[4] [4]

S. A. Marvel, R. E. Mirollo, and S. H. Strogatz, Identical phase oscillators with global sinusoidal coupling evolve by Möbius group action, Chaos19, 043104 (2009)

work page 2009

[5] [5]

Ott and T

E. Ott and T. M. Antonsen, Low dimensional behavior of large systems of globally coupled oscillators, Chaos18, 037113 (2008)

work page 2008

[6] [6]

Montbrió, D

E. Montbrió, D. Pazó, and A. Roxin, Macroscopic de- scription for networks of spiking neurons, Physical Re- view X 5, 021028 (2015)

work page 2015

[7] [7]

Cestnik and E

R. Cestnik and E. A. Martens, Integrability of a globally coupled complex Riccati array: Quadratic integrate-and- fire neurons, phase oscillators, and all in between, Phys. Rev. Lett. 132, 057201 (2024)

work page 2024

[8] [8]

Pazó and R

D. Pazó and R. Cestnik, Low-dimensional dynamics of globally coupled complex riccati equations: Exact firing-rate equations for spiking neurons with clustered substructure, Physical Review E 111, L052201 (2025), [arXiv:2503.15537]. 5

work page arXiv 2025

[9] [9]

V. V. Kisil,Geometry of Möbius transformations(World Scientific, 2012)

work page 2012

[10] [10]

P. R. Halmos,Measure Theory, Graduate Texts in Math- ematics, Vol. 18 (Springer-Verlag, New York, 1974) see Chapter XI on Haar Measure

work page 1974

[11] [11]

See Supplemental Material at [URL will be inserted by publisher] for the linearization of the Riccati equation, the explicit Möbius covariance of the Cauchy–Lorentz family, the full proof of the uniqueness theorem, and nu- merical validation against Gaussian initial conditions

work page

[12] [12]

Hille, Ordinary Differential Equations in the Com- plex Domain, A Wiley-Interscience publication (Wiley- Interscience, New York, 1976) see Chapter 4 for Riccati equations

E. Hille, Ordinary Differential Equations in the Com- plex Domain, A Wiley-Interscience publication (Wiley- Interscience, New York, 1976) see Chapter 4 for Riccati equations

work page 1976

[13] [13]

Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften, Vol

C. Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften, Vol. 338 (Springer, Berlin, Heidelberg, 2009) see Chapter 5 for the dynamical formulation of the push forward

work page 2009

[14] [14]

F.B.Knight,AcharacterizationoftheCauchytype,Pro- ceedings of the American Mathematical Society55, 130 (1976)

work page 1976

[15] [15]

Letac, Which functions preserve Cauchy laws?, Pro- ceedings of the American Mathematical Society67, 277 (1977)

G. Letac, Which functions preserve Cauchy laws?, Pro- ceedings of the American Mathematical Society67, 277 (1977)

work page 1977

[16] [16]

Ratas and K

I. Ratas and K. Pyragas, Symmetry breaking in two in- teracting populations of quadratic integrate-and-fire neu- rons, Physical Review E96, 042212 (2017)

work page 2017

[17] [17]

I. V. Tyulkina, D. S. Goldobin, L. S. Klimenko, and A. Pikovsky, Dynamics of noisy oscillator populations beyond the Ott-Antonsen ansatz, Phys. Rev. Lett.120, 264101 (2018)

work page 2018

[18] [18]

Klinshov, S

V. Klinshov, S. Kirillov, and V. Nekorkin, Reduction of the collective dynamics of neural populations with re- alistic forms of heterogeneity, Physical Review E 103, L040302 (2021)

work page 2021

[19] [19]

D. S. Goldobin, M. Di Volo, and A. Torcini, Reduction methodology for fluctuation driven population dynamics, Physical Review Letters127, 038301 (2021)

work page 2021