arXiv subjects
Publications and source records attributed to Martin Leguil.
We show that a generic analytic strongly convex billiard is "maximally chaotic" in the sense that, for every rational number $\frac{p}{q} \in \mathbb{Q} \cap (0,1)$, all intersections between the stable and unstable manifolds of maximizing periodic orbits with rotation number $\frac{p}{q}$ are transverse.
We prove a sharp phase transition in the regularity of the extremal distribution $E^s \oplus E^u$ for $C^\infty$ volume-preserving partially hyperbolic diffeomorphisms on closed $3$-manifolds: if $E^s \oplus E^u$ is Lipschitz, then it is automatically $C^\infty$. This extends the rigidity phenomenon established by Foulon--Hasselblatt for conservative Anosov flows in dimension $3$ to the partially hyperbolic setting. This gain in regularity has several applications to rigidity problems. In particular, we study the relationship between the $\ell$-integrability condition introduced by Eskin--Potrie--Zhang and joint integrability in the conservative setting, yielding rigidity results for $u$-Gibbs measures. We also obtain several $C^\infty$ classification results for partially hyperbolic diffeomorphisms on $3$-manifolds under various assumptions.
De la Llave's examples are Anosov diffeomorphisms on the four-torus $\mathbb{T}^4$ with constant Lyapunov spectrum, yet they are not $C^{1}$-conjugate to the linear model or to each other. Nevertheless, we show that such examples are ``locally exceptional'': we prove deformation and local rigidity for generic diffeomorphisms in proximity of de la Llave's examples.
We investigate rigidity phenomena associated to the stable norm and Mather's $\beta$-function for Riemannian geodesic flows on closed manifolds. Given two metrics $g_1$ and $g_2$, we compare these objects pointwise at individual homology classes. Our main result establishes that if Mather's $\beta$-function (or the stable norm) of $g_2$ at a non-zero homology class h equals that of $g_1$ at $h$ multiplied by a suitable factor determined by the metrics, then the two metrics are homothetic on the Mather set of homology h associated to $g_1$. In the case of conformally equivalent metrics, this yields a pointwise criterion for homothety on the projected Mather set. Some consequences are discussed, including a pointwise rigidity result on the 2-torus implying that if a metric has the same Mather's $\beta$-function at some non-zero homology class as a normalized flat metric in the same conformal class, then the metric must be flat. This result can be considered a pointwise version of a similar global result by Bangert. Finally, an extension of these results to Ma\~n\'e's perturbations of general Tonelli Lagrangians is discussed.
We consider two transitive $3$-dimensional Anosov flows which do not preserve volume and which are continuously conjugate to each other. Then, disregarding certain exceptional cases, such as flows with $C^1$ regular stable or unstable distributions, we prove that either the conjugacy is smooth or it sends the positive SRB measure of the first flow to the negative SRB measure of the second flow and vice versa. We give a number of corollaries of this result. In particular, we establish local rigidity on a $C^1$-open $C^\infty$-dense subspace of transitive Anosov flows; we improve the classical de la Llave-Marco-Moriy\'on rigidity theorem for dissipative Anosov diffeomorphisms on the $2$-torus by merely assuming matching of (full) Jacobian data at periodic points; we also exhibit the first evidence that the Teichm\"uller space of smooth conjugacy classes of Anosov diffeomorphisms on the $2$-torus is well-stratified according to regularity.
We study the spectral rigidity problem for Sinai billiards with finite horizon, specifically asking whether the geometry of the billiard table can be recovered from the lengths of its (marked) periodic trajectories. To address this, we introduce an enriched marked length spectrum EL and prove that two Sinai billiards sharing the same EL must be isometric. Our approach involves approximating the billiard flow using geodesic flows on smooth Riemannian surfaces. In the limit, these flows converge to CAT(0) spaces, which encode both the lengths of periodic orbits and the geometry of the boundary. We adapt Otal's original method -- developed for marked length spectrum rigidity in negatively curved surfaces -- to this new setting. Here, the lack of curvature control is offset by metric comparison estimates. By integrating the analysis of geodesic flows with perturbative techniques for periodic orbits, we establish a rigidity theorem for Sinai billiards with finite horizon. These results extend the classical theory of marked length spectrum rigidity beyond the Riemannian setting, demonstrating that even in discontinuous dynamical systems, geometric information is rigidly encoded in spectral data.
We study the dynamics of dissipative billiard maps within planar convex domains. Such maps have a global attractor. We are interested in the topological and dynamical complexity of the attractor, in terms both of the geometry of the billiard table and of the strength of the dissipation. We focus on the study of an invariant subset of the attractor, the so-called Birkhoff attractor. On the one hand, we show that for a generic convex table with "pinched" curvature, the Birkhoff attractor is a normally contracted manifold when the dissipation is strong. On the other hand, for a mild dissipation, we prove that generically the Birkhoff attractor is complicated, both from the topological and the dynamical point of view.
We show that within a $C^1$-neighbourhood $\mathcal{U}$ of the set of volume preserving Anosov diffeomorphisms on the three-torus $\mathbb{T}^3$ which are strongly partially hyperbolic with expanding center, any $f\in\mathcal{U}\cap\operatorname{Diff}^2(\mathbb{T}^3)$ satisfies the dichotomy: either the strong stable and unstable bundles $E^s$ and $E^u$ of $f$ are jointly integrable, or any fully supported $u$-Gibbs measure of $f$ is SRB.
We show that for any integer $r \geq 2$, stable accessibility is $C^r$-dense among partially hyperbolic diffeomorphisms with two-dimensional center that satisfy some strong bunching and are stably dynamically coherent.
We show a rigidity result for 3-dimensional contact Axiom A flows: given two 3D contact Axiom A flows $\Phi_1,\Phi_2$ whose restrictions $\Phi_1|_{\Lambda_1},\Phi_2|_{\Lambda_2}$ to basic sets $\Lambda_1,\Lambda_2$ are orbit equivalent, we prove that if periodic orbits in correspondence have the same length, then the conjugacy is as regular as the flows and respects the contact structure, extending a previous result due to Feldman-Ornstein [21]. Some of the ideas are reminiscent of the work of Otal [51]. As an application, we show that the billiard maps of two open dispersing billiards without eclipse and with the same marked length spectrum are smoothly conjugated.
Given an integer $k \geq 5$, and a $C^k$ Anosov flow $Φ$ on some compact connected $3$-manifold preserving a smooth volume, we show that the measure of maximal entropy (MME) is the volume measure if and only if $Φ$ is $C^{k-\varepsilon}$-conjugate to an algebraic flow, for $\varepsilon>0$ arbitrarily small. Besides the rigidity, we also study the entropy flexibility, and show that the metric entropy with respect to the volume measure and the topological entropy of suspension flows over Anosov diffeomorphisms on the $2$-torus achieve all possible values subject to natural normalizations. Moreover, in the case of dispersing billiards, we show that if the measure of maximal entropy is the volume measure, then the Birkhoff Normal Form of regular periodic orbits with a homoclinic intersection is linear.
In this paper we study spectral properties of Schrödinger operators with quasi-periodic potentials related to quasi-periodic action minimizing trajectories for analytic twist maps. We prove that the spectrum contains a component of absolutely continuous spectrum provided that the corresponding trajectory of the twist map belongs to an analytic invariant curve.
We prove that for $r \in \mathbb{N}_{\geq 2} \cup \{\infty\}$, for any dynamically coherent, center bunched and strongly pinched volume preserving $C^r$ partially hyperbolic diffeomorphism $f \colon X \to X$, if either (1) its center foliation is uniformly compact, or (2) its center-stable and center-unstable foliations are of class $C^1$, then there exists a $C^1$-open neighbourhood of $f$ in ${\rm Diff}^r(X,\mathrm{Vol})$, in which stable ergodicity is $C^r$-prevalent in Kolmogorov's sense. In particular, we verify Pugh-Shub's stable ergodicity conjecture in this region. This also provides the first result that verifies the prevalence of stable ergodicity in the measure-theoretical sense. Our theorem applies to a large class of algebraic systems. As applications, we give affirmative answers in the strongly pinched region to: 1. an open question of Pugh-Shub in \cite{PS}; 2. a generic version of an open question of Hirsch-Pugh-Shub in \cite{HPS}; and 3. a generic version of an open question of Pugh-Shub in \cite{HPS}.
We consider billiards obtained by removing three strictly convex obstacles satisfying the non-eclipse condition on the plane. The restriction of the dynamics to the set of non-escaping orbits is conjugated to a subshift on three symbols that provides a natural labeling of all periodic orbits. We study the following inverse problem: does the Marked Length Spectrum (i.e., the set of lengths of periodic orbits together with their labeling), determine the geometry of the billiard table? We show that from the Marked Length Spectrum it is possible to recover the curvature at periodic points of period two, as well as the Lyapunov exponent of each periodic orbit.
We consider billiards obtained by removing from the plane finitely many strictly convex analytic obstacles satisfying the non-eclipse condition. The restriction of the dynamics to the set of non-escaping orbits is conjugated to a subshift, which provides a natural labeling of periodic orbits. We show that under suitable symmetry and genericity assumptions, the Marked Length Spectrum determines the geometry of the billiard table.
In this paper, we investigate the question of whether a typical vector field on a compact connected Riemannian manifold $M^d$ has a `small' centralizer. In the $C^1$ case, we give two criteria, one of which is $C^1$-generic, which guarantees that the centralizer of a $C^1$-generic vector field is indeed small, namely \textit{collinear}. The other criterion states that a $C^1$ \textit{separating} flow has a collinear $C^1$-centralizer. When all the singularities are hyperbolic, we prove that the collinearity property can actually be promoted to a stronger one, refered as \textit{quasi-triviality}. In particular, the $C^1$-centralizer of a $C^1$-generic vector field is quasi-trivial. In certain cases, we obtain the triviality of the centralizer of a $C^1$-generic vector field, which includes $C^1$-generic Axiom A (or sectional Axiom A) vector fields and $C^1$-generic vector fields with countably many chain recurrent classes. For sufficiently regular vector fields, we also obtain various criteria which ensure that the centralizer is \textit{trivial} (as small as it can be), and we show that in higher regularity, collinearity and triviality of the $C^d$-centralizer are equivalent properties for a generic vector field in the $C^d$ topology. We also obtain that in the non-uniformly hyperbolic scenario, with regularity $C^2$, the $C^1$-centralizer is trivial.
For non-critical almost Mathieu operators with Diophantine frequency, we establish exponential asymptotics on the size of spectral gaps, and show that the spectrum is homogeneous. We also prove the homogeneity of the spectrum for Schödinger operators with (measure-theoretically) typical quasi-periodic analytic potentials and fixed strong Diophantine frequency. As applications, we show the discrete version of Deift's conjecture \cite{Deift, Deift17} for subcritical analytic quasi-periodic initial data and solve a series of open problems of Damanik-Goldstein et al \cite{BDGL, DGL1, dgsv, Go} and Kotani \cite{Kot97}.
In the following we are interested in the spectral gaps of discrete quasiperiodic Schrödinger operators when the frequency is Diophantine, the potential is analytic, and in the subcritical regime. The gap-labelling theorem asserts in this context that each gap has constant rotation number, labeled by some integer. We prove that the size of these gaps decays exponentially fast with respect to their label. This refines a subexponential bound obtained previously by Sana Ben Hadj Amor. Contrary to her approach, which is based on KAM methods, the arguments in the present paper are non-perturbative, and use quantitative reducibility estimates obtained by Artur Avila and Svetlana Jitomirskaya. As a corollary of our result, we show that under the previous assumptions, the spectrum is 1/2-homogeneous.