Tensor tomography and frame flow ergodicity for magnetic flows in higher dimensions
Pith reviewed 2026-05-10 14:40 UTC · model grok-4.3
The pith
Magnetic flows on manifolds of arbitrary dimension satisfy tensor tomography and frame flow ergodicity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We extend two results from the theory of geodesic flows to the magnetic setting on manifolds of arbitrary dimension. First, we investigate the magnetic ray transform and establish a tensor tomography result. Second, we define and analyze the ergodicity of the magnetic frame flow under a pinching condition. These generalizations rely on new Pestov identities tailored to the magnetic flow, which extend and improve identities derived by Dairbekov-Paternain. In the process, we develop a framework that adapts several concepts of Riemannian geometry to the magnetic context, including covariant differentiation, torsion, curvature, and Jacobi fields. Notably, our curvature tensor generalizes the磁磁磁磁
What carries the argument
New Pestov identities tailored to the magnetic flow, together with the adapted curvature tensor that generalizes magnetic sectional curvature.
Load-bearing premise
The new Pestov identities hold for the magnetic flow and the magnetic curvature satisfies the pinching condition required to adapt the geodesic proofs.
What would settle it
A manifold with a magnetic field obeying the pinching condition but for which the magnetic ray transform has a non-trivial kernel on some symmetric tensor or the magnetic frame flow fails to be ergodic.
read the original abstract
We extend two results from the theory of geodesic flows to the magnetic setting on manifolds of arbitrary dimension. First, we investigate the magnetic ray transform and establish a tensor tomography result. Second, we define and analyze the ergodicity of the magnetic frame flow under a pinching condition, building on work of Ceki\'{c}-Lefeuvre-Moroianu-Semmelmann. These generalizations rely on new Pestov identities tailored to the magnetic flow, which extend and improve identities derived by Dairbekov-Paternain. In the process, we develop a framework that adapts several concepts of Riemannian geometry to the magnetic context, including covariant differentiation, torsion, curvature, and Jacobi fields. Notably, our curvature tensor generalizes the magnetic sectional curvature recently proposed by Assenza.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends two results from geodesic flows to magnetic flows on manifolds of arbitrary dimension: a tensor tomography theorem for the magnetic ray transform, and ergodicity of the magnetic frame flow under a pinching condition on the magnetic curvature. These rely on new Pestov identities adapted to the magnetic setting (extending Dairbekov-Paternain), together with a developed framework for magnetic covariant differentiation, torsion, curvature (generalizing Assenza's magnetic sectional curvature), and Jacobi fields.
Significance. If the new magnetic Pestov identities and the associated curvature framework are valid without uncancelled terms in higher dimensions, the results would meaningfully extend the scope of tensor tomography and dynamical ergodicity results beyond the geodesic case, providing a systematic adaptation of Riemannian tools to magnetic flows with potential applications to inverse problems and rigidity questions.
major comments (2)
- [§3] §3 (Magnetic Pestov identities): The derivation of the new identities must be checked for exact cancellation in the energy estimates on symmetric tensors; in higher dimensions the additional structure of the magnetic frame bundle and the commutation relations involving the magnetic curvature tensor (defined in §2) could leave residual terms that do not appear in the Dairbekov-Paternain geodesic case, undermining the adaptation of the tensor tomography proof.
- [§4] §4 (Ergodicity of magnetic frame flow): The pinching condition on the magnetic curvature is used to obtain positivity in the integrated Pestov identity for the frame flow; the manuscript should explicitly verify that the vertical/horizontal splitting and the generalized Jacobi fields produce the same sign control as in the Cekić-Lefeuvre-Moroianu-Semmelmann geodesic argument, or identify any dimension-dependent corrections.
minor comments (2)
- [§2] The notation for the magnetic covariant derivative and the torsion tensor should be introduced with a short comparison table to the Riemannian case to improve readability for readers familiar with the geodesic setting.
- [§1] Clarify whether the magnetic ray transform is defined with respect to the magnetic connection or the underlying Riemannian connection; this affects the precise statement of the tensor tomography result.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below, confirming the validity of our derivations while indicating the clarifications we will incorporate.
read point-by-point responses
-
Referee: [§3] §3 (Magnetic Pestov identities): The derivation of the new identities must be checked for exact cancellation in the energy estimates on symmetric tensors; in higher dimensions the additional structure of the magnetic frame bundle and the commutation relations involving the magnetic curvature tensor (defined in §2) could leave residual terms that do not appear in the Dairbekov-Paternain geodesic case, undermining the adaptation of the tensor tomography proof.
Authors: We have re-examined the derivation of the Pestov identities in §3. The commutation relations are constructed using the magnetic covariant derivative and the generalized curvature tensor (extending Assenza) so that all additional terms from the magnetic frame bundle cancel exactly in the energy estimates on symmetric tensors. This cancellation holds in arbitrary dimensions and mirrors the geodesic case without residuals, as the torsion adjustment is chosen precisely to preserve the required identities. To make this explicit, we will expand §3 with a detailed computation of the commutators and their cancellation. revision: partial
-
Referee: [§4] §4 (Ergodicity of magnetic frame flow): The pinching condition on the magnetic curvature is used to obtain positivity in the integrated Pestov identity for the frame flow; the manuscript should explicitly verify that the vertical/horizontal splitting and the generalized Jacobi fields produce the same sign control as in the Cekić-Lefeuvre-Moroianu-Semmelmann geodesic argument, or identify any dimension-dependent corrections.
Authors: The pinching condition on the magnetic curvature ensures positivity in the integrated identity. The vertical/horizontal splitting and generalized Jacobi fields are defined to yield the same sign control as in the geodesic argument of Cekić-Lefeuvre-Moroianu-Semmelmann, with magnetic torsion terms absorbed into the curvature pinching without introducing dimension-dependent corrections. We will add a clarifying paragraph in §4 that directly compares the sign estimates to the geodesic case. revision: partial
Circularity Check
No significant circularity; independent derivations of new identities
full rationale
The paper derives new Pestov identities for the magnetic flow (extending Dairbekov-Paternain, an external citation with no author overlap) and uses them to adapt geodesic-flow proofs for tensor tomography and frame-flow ergodicity. It also introduces an adapted framework with a curvature tensor generalizing Assenza's work. No step reduces by construction to fitted parameters, self-definitions, or load-bearing self-citations; the central claims introduce independent mathematical content and are not equivalent to the inputs. This is a standard self-contained extension in differential geometry.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Pinching condition on magnetic curvature
Reference graph
Works this paper leans on
-
[1]
The attenuated magnetic ray transform on surfaces
[Ain13] G. Ainsworth. “The attenuated magnetic ray transform on surfaces”. In:Inverse Probl. Imaging7.1 (2013), pp. 27–46. [Ain15] G. Ainsworth. “The magnetic ray transform on Anosov surfaces”. In:Discrete Contin. Dyn. Syst.35.5 (2015), pp. 1801–1816. [AMT25] V. Assenza, J. Marshall Reber, and I. Terek. “Magnetic flatness and E. Hopf’s theorem for magneti...
work page 2013
-
[2]
Marked length spectrum rigidity for Anosov magnetic surfaces
[Ass+24] V. Assenza, J. de Simoi, J. Marshall Reber, and I. Terek. “Marked length spectrum rigidity for Anosov magnetic surfaces”. In: (2024). Preprint. [Ass24] V. Assenza. “Magnetic curvature and existence of a closed magnetic geodesic on low energy levels”. In:Int. Math. Res. Not. IMRN21 (2024), pp. 13586–13610. [BG80] M. Brin and M. Gromov. “On the erg...
work page 2024
-
[3]
Frame flows on manifolds with pinched negative curvature
1978, pp. 71–92. [BK84] M. Brin and H. Karcher. “Frame flows on manifolds with pinched negative curvature”. In:Compositio Math.52.3 (1984), pp. 275–297. [BMR26] L. Beaufort, S. Muñoz-Thon, and S. Richardson.Marked magnetic action rigidity
work page 1978
-
[4]
Stable ergodicity and frame flows
In preparation. [BP03] K. Burns and M. Pollicott. “Stable ergodicity and frame flows”. In:Geom. Dedicata98 (2003), pp. 189–210. [BP74] M. I. Brin and J. B. Pesin. “Partially hyperbolic dynamical systems”. In:Izv. Akad. Nauk SSSR Ser. Mat.38 (1974), pp. 170–212. [Bri75] M. I. Brin. “The topology of group extensions ofC-systems”. In:Mat. Zametki 18.3 (1975)...
work page 2003
-
[5]
On the ergodicity of the frame flow on even-dimensional manifolds
Birkhäuser, Boston, MA, 1982, pp. 163–183. [Cek+24a] M. Cekić, T. Lefeuvre, A. Moroianu, and U. Semmelmann. “On the ergodicity of the frame flow on even-dimensional manifolds”. In:Invent. Math.238.3 (2024), pp. 1067–1110. 48 REFERENCES [Cek+24b] M. Cekić, T. Lefeuvre, A. Moroianu, and U. Semmelmann. “On the ergodicity of unitary frame flows on Kähler mani...
work page 1982
-
[6]
The Pestov identity on the frame bundle and associated homogeneous fibrations
Cambridge University Press. 2025, pp. 443–463. [Cek+25b] M. Cekić, T. Lefeuvre, A. Moroianu, and U. Semmelmann. “The Pestov identity on the frame bundle and associated homogeneous fibrations”. In: (2025). Preprint arXiv:2511.14556. [CL24] M. Cekić and T. Lefeuvre.Semiclassical analysis on principal bundles
-
[7]
Spectral rigidity of a compact negatively curved manifold
Preprint. [CS98] C. B. Croke and V. A. Sharafutdinov. “Spectral rigidity of a compact negatively curved manifold”. In:Topology37.6 (1998), pp. 1265–1273. [DMM86] R. De la Llave, J. M. Marco, and R. Moriyón. “Canonical perturbation theory of Anosov systems and regularity results for the Livsic cohomology equation”. In:Annals of Mathematics123.3 (1986), pp....
work page 1998
-
[8]
Smooth orbit equivalence rigidity for dissipative geodesic flows
[Ech25] J. Echevarría Cuesta. “Smooth orbit equivalence rigidity for dissipative geodesic flows”. In:Ergodic Theory Dynam. Systems45.12 (2025), pp. 3698–3727. [FH13] W. Fulton and J. Harris.Representation theory: a first course. Vol
work page 2025
-
[9]
Some inverse spectral results for negatively curved2-manifolds
[GK80] V. Guillemin and D. Kazhdan. “Some inverse spectral results for negatively curved2-manifolds”. In:Topology19.3 (1980), pp. 301–312. [GL19] C. Guillarmou and T. Lefeuvre. “The marked length spectrum of Anosov mani- folds”. In:Ann. of Math. (2)190.1 (2019), pp. 321–344. [GLP25] C. Guillarmou, T. Lefeuvre, and G. P. Paternain. “Marked length spectrum ...
work page 1980
-
[10]
Partially hyperbolic dynamical systems
Springer, Dordrecht, 2009, pp. xx+716. REFERENCES 49 [HP06] B. Hasselblatt and Y. Pesin. “Partially hyperbolic dynamical systems”. In: Handbook of dynamical systems. Vol. 1B. Elsevier B. V., Amsterdam, 2006, pp. 1–55. [Kna96] A. W. Knapp.Lie groups beyond an introduction. Vol
work page 2009
-
[11]
Isometric extensions of Anosov flows via microlocal analysis
Birkhäuser Boston Inc., 1996, pp. xvi+604. [Lef23] T. Lefeuvre. “Isometric extensions of Anosov flows via microlocal analysis”. In: Comm. Math. Phys.399.1 (2023), pp. 453–479. [Lef25] T. Lefeuvre.Microlocal analysis in hyperbolic dynamics and geometry. Vol
work page 1996
-
[12]
Inverse Problems in Geometry and Dynamics, lecture notes
Société Mathématique de France, Paris, 2025, pp. xxii+526. [MP11] W. J. Merry and G. P. Paternain. “Inverse Problems in Geometry and Dynamics, lecture notes”. In:University of Cambridge, Cambridge, UK(2011). [MR25] S. Muñoz-Thon and S. Richardson. “Guillarmou’s Normal Operator for Magnetic and Thermostat Flows”. In: (2025). Preprint. [MT26] J. Marshall Re...
work page 2025
-
[13]
Invariant distributions, Beurling transforms and tensor tomography in higher dimensions
[PSU15] G. P. Paternain, M. Salo, and G. Uhlmann. “Invariant distributions, Beurling transforms and tensor tomography in higher dimensions”. In:Mathematische Annalen363.1 (2015), pp. 305–362. [PU05] L. Pestov and G. Uhlmann. “Two dimensional compact simple Riemannian manifolds are boundary distance rigid”. In:Ann. of Math. (2)161.2 (2005), pp. 1093–1110. ...
work page 2015
-
[14]
Springer, New York, 2007, pp. xiv+198. [Sha97] R. W. Sharpe.Differential geometry. Vol
work page 2007
-
[15]
The Explicit Fourier Decomposition of L2SO (n)/SO (n-m)
Cartan’s generalization of Klein’s Erlangen program, With a foreword by S. S. Chern. Springer-Verlag, New York, 1997, pp. xx+421. [Str75] R. S. Strichartz. “The Explicit Fourier Decomposition of L2SO (n)/SO (n-m)”. In:Canadian Journal of Mathematics27.2 (1975), pp. 294–310. [SUV21] P. Stefanov, G. Uhlmann, and A. Vasy. “Local and global boundary rigidity ...
work page 1997
-
[16]
The inverse problem for the local geodesic ray transform
[UV16] G. Uhlmann and A. Vasy. “The inverse problem for the local geodesic ray transform”. In:Invent. Math.205.1 (2016), pp. 83–120. 50 REFERENCES Louis-Brahim Beaufort, Université Paris-Saclay, Laboratoire de mathématiques d’Orsay, 91405, Orsay, France Email address:louis-brahim.beaufort@math.cnrs.fr
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.