On Aubry's completeness conjecture

Jinxin Xue, Tianqi Shi

Pith reviewed 2026-05-09 19:17 UTC · model grok-4.3

classification 🧮 math.DS

keywords twist mapsAubry conjecturedevil's staircaseminimal configurationsuniform hyperbolicityrotation numberscohomology classesFrenkel-Kontorova model

0 comments

The pith

For twist maps with uniformly hyperbolic minimal configurations, the rotation number graph versus cohomology classes forms a complete devil's staircase.

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

The paper proves Aubry's completeness conjecture for twist maps. It establishes that when every minimal configuration is uniformly hyperbolic, the function mapping cohomology classes to rotation numbers is purely singularly continuous, which Aubry named a complete devil's staircase. A sympathetic reader would care because this property determines whether a chain of atoms insulates in the Frenkel-Kontorova model and parallels phase locking in critical circle maps or the fractional quantum Hall effect. The authors also prove the opposite: a positive-measure set of KAM tori renders the staircase incomplete.

Core claim

We prove that for a twist map, when the set of all minimal configurations is uniformly hyperbolic, the rotation number as a function of the cohomology class is a purely singularly continuous function, which Aubry termed a complete devil's staircase. In the presence of a positive measure set of KAM tori, we prove that this devil's staircase is incomplete.

What carries the argument

Uniform hyperbolicity of the set of minimal configurations, which forces the rotation number function to have derivative zero almost everywhere while still increasing on a Cantor set of full measure in the interval.

Load-bearing premise

The set of all minimal configurations is uniformly hyperbolic.

What would settle it

A specific twist map in which all minimal configurations are uniformly hyperbolic yet the rotation number function remains constant on some positive-length interval of cohomology classes or admits an absolutely continuous part.

read the original abstract

In this paper, we prove Aubry's completeness stating conjecture that for a twist map the graph of rotation numbers as a function of the cohomology classes is a purely singularly continuous function (called complete devil's staircase by Aubry) when the set of all minimal configurations is uniformly hyperbolic. Such a phenomenon is crucial for characterizing the chain of atoms being an insulator for the Frenkel-Kontorova model, and can be considered as the analogue of the phase locking phenomenon in critical circle maps as well as the fractional quantum Hall effect. In contrast, in the presence of a positive measure set of KAM tori, we prove that the devil's staircase is incomplete.

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

Shi and Xue prove Aubry's completeness conjecture for twist maps when minimal configurations are uniformly hyperbolic, while showing the staircase is incomplete with positive-measure KAM tori.

read the letter

The key takeaway is that this paper resolves Aubry's completeness conjecture in the uniformly hyperbolic case for twist maps. The rotation-number graph versus cohomology classes becomes a purely singular continuous function, the complete devil's staircase. They also establish the contrasting result that positive-measure KAM tori make the staircase incomplete. This conditional framing is stated clearly from the start and matches the physical motivation in the Frenkel-Kontorova model plus the analogies to phase locking and the fractional quantum Hall effect. The distinction between the two regimes organizes existing phenomena without overclaiming generality. The proof appears to rest on standard properties of twist maps and hyperbolicity rather than new machinery, which keeps the argument focused. The paper earns credit for delivering an explicit resolution of a named conjecture and for spelling out why the hyperbolicity assumption matters for applications like atomic chains behaving as insulators. The main soft spot is the strength of the uniform-hyperbolicity assumption itself. It rules out KAM tori by construction, but checking when the full set of minimal configurations satisfies it in concrete examples may still require work. No obvious circularity or invented entities show up in the statement, and the scope is honest about the limitation. The citation pattern looks standard for Aubry-Mather theory. This paper is aimed at researchers in dynamical systems who already know twist maps and minimal measures. Readers interested in the devil's staircase or its condensed-matter links will get direct value from the case separation. It deserves a serious referee because the claim is precise, the contrast is useful, and the conjecture has been open. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper proves Aubry's completeness conjecture for twist maps: when the set of all minimal configurations is uniformly hyperbolic, the graph of rotation numbers versus cohomology classes is a purely singularly continuous function (a complete devil's staircase). It further shows that the devil's staircase is incomplete in the presence of a positive-measure set of KAM tori. The result is motivated by applications to the Frenkel-Kontorova model as an insulator and analogies to phase locking in critical circle maps and the fractional quantum Hall effect.

Significance. If the derivation holds, the work resolves a long-standing conditional form of Aubry's conjecture in Aubry-Mather theory, providing a precise characterization of when the rotation-number graph is complete. The explicit contrast between the uniformly hyperbolic case and the KAM case is valuable, as is the connection to physical models of atomic chains. The manuscript clearly states its assumptions and avoids claiming an unconditional result.

minor comments (3)

[Abstract and §1] The abstract and introduction should include a brief statement of the precise definition of uniform hyperbolicity for the set of minimal configurations (e.g., a uniform bound on the derivative of the lift or on the Lyapunov exponents) to make the hypothesis self-contained for readers unfamiliar with the specific formulation used in the proofs.
[Section contrasting KAM tori] In the section contrasting the hyperbolic and KAM cases, add a short remark on whether the incomplete staircase can still be singular continuous on a Cantor set of positive measure or whether it necessarily acquires absolutely continuous parts; this would clarify the precise sense in which the staircase is 'incomplete'.
[Notation and main theorem] Ensure that all references to 'cohomology classes' are accompanied by the standard identification with the rotation number or the flux, and that the notation for the graph (rotation number as a function of cohomology) is introduced before its first use in the main theorem statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our work, including the recognition that it resolves a long-standing conditional form of Aubry's completeness conjecture. The referee's summary correctly reflects the main theorems: a complete devil's staircase when minimal configurations are uniformly hyperbolic, and incompleteness in the presence of positive-measure KAM tori. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states a conditional proof of Aubry's completeness conjecture: the rotation-number graph is a complete devil's staircase precisely when the full set of minimal configurations is uniformly hyperbolic. The abstract explicitly contrasts this with the incomplete case under positive-measure KAM tori. No load-bearing step in the provided abstract or summary reduces by the paper's own equations to a fitted parameter, self-definition, or self-citation chain; the result is framed as a derivation from hyperbolicity assumptions using standard twist-map properties. The derivation chain therefore remains self-contained against external benchmarks and does not exhibit the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of Aubry-Mather theory for twist maps together with the additional domain assumption of uniform hyperbolicity of the minimal set; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Standard properties of twist maps and minimal configurations in Aubry-Mather theory
Invoked implicitly as the setting in which the conjecture is stated and proved.
domain assumption Uniform hyperbolicity of the set of all minimal configurations
Explicitly required for the completeness statement; the paper contrasts it with the KAM-tori case.

pith-pipeline@v0.9.0 · 5396 in / 1480 out tokens · 38018 ms · 2026-05-09T19:17:58.929736+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

32 extracted references · 1 canonical work pages

[1]

Large anomalous hall effect in spin fluctuating devil’s staircase.npj quantum materials, 9(1):41, 2024

Naoki Abe, Yuya Hano, Hiroaki Ishizuka, Yusuke Kozuka, Terumasa Tadano, Yoshihiro Tsujimoto, Kazunari Yamaura, Shintaro Ishiwata, and Jun Fujioka. Large anomalous hall effect in spin fluctuating devil’s staircase.npj quantum materials, 9(1):41, 2024

2024
[2]

The new concept of transitions by breaking of analyticity in a crystallographic model

Serge Aubry. The new concept of transitions by breaking of analyticity in a crystallographic model. InSolitons and Condensed Matter Physics: Proceedings of the Symposium on Nonlinear (Soliton) Structure and Dynamics in Condensed Matter, Oxford, England, June 27–29, 1978, pages 264–277. Springer, 1978

1978
[3]

The devil’s stair case transformation in incommensurate lattices

Serge Aubry. The devil’s stair case transformation in incommensurate lattices. InThe Riemann Problem, Complete Integrability and Arithmetic Applications, pages 221–245. Springer Berlin Heidelberg, 1982

1982
[4]

Complete devil’s staircase in the one-dimensional lattice gas.Journal de Physique Lettres, 44(7):247–250, 1983

Serge Aubry. Complete devil’s staircase in the one-dimensional lattice gas.Journal de Physique Lettres, 44(7):247–250, 1983

1983
[5]

Exact models with a complete devil’s staircase.Journal of Physics C: Solid State Physics, 16(13):2497, may 1983

Serge Aubry. Exact models with a complete devil’s staircase.Journal of Physics C: Solid State Physics, 16(13):2497, may 1983

1983
[6]

The twist map, the extended Frenkel-Kontorova model and the devil’s staircase.Phys

Serge Aubry. The twist map, the extended Frenkel-Kontorova model and the devil’s staircase.Phys. D, 7(1- 3):240–258, 1983

1983
[7]

The concept of anti-integrability: definition, theorems and applications to the standard map

Serge Aubry. The concept of anti-integrability: definition, theorems and applications to the standard map. InTwist mappings and their applications, volume 44 ofIMA Vol. Math. Appl., pages 7–54. Springer, New York, 1992

1992
[8]

Serge Aubry and P. Y . Le Daeron. The discrete Frenkel-Kontorova model and its extensions. I. Exact results for the ground-states.Phys. D, 8(3):381–422, 1983

1983
[9]

Differentiability of the stable norm in codimension one.Amer

Franz Auer and Victor Bangert. Differentiability of the stable norm in codimension one.Amer. J. Math., 128(1):215–238, 2006

2006
[10]

Commensurate phases, incommensurate phases and the devil’s staircase.Rep

Per Bak. Commensurate phases, incommensurate phases and the devil’s staircase.Rep. Progr. Phys., 45(6):587– 629, 1982

1982
[11]

Bruinsma

Per Bak and R. Bruinsma. One-dimensional Ising model and the complete devil’s staircase.Phys. Rev. Lett., 49(4):249–251, 1982

1982
[12]

Mather sets for twist maps and geodesics on tori

Victor Bangert. Mather sets for twist maps and geodesics on tori. InDynamics reported, Vol. 1, volume 1 of Dynam. Report. Ser. Dynam. Systems Appl., pages 1–56. Wiley, Chichester, 1988

1988
[13]

On minimal laminations of the torus.Ann

Victor Bangert. On minimal laminations of the torus.Ann. Inst. H. Poincaré Anal. Non Linéaire, 6(2):95–138, 1989

1989
[14]

Geodesic rays, Busemann functions and monotone twist maps.Calc

Victor Bangert. Geodesic rays, Busemann functions and monotone twist maps.Calc. Var. Partial Differential Equations, 2(1):49–63, 1994

1994
[15]

Symplectic aspects of Mather theory.Duke Math

Patrick Bernard. Symplectic aspects of Mather theory.Duke Math. J., 136(3):401–420, 2007

2007
[16]

S. E. Burkov and Ya. G. Sinai. Phase diagrams of one-dimensional lattice models with long-range antiferromag- netic interaction.Uspekhi Mat. Nauk, 38(4(232)):205–225, 1983

1983
[17]

Birkhäuser Boston, Inc., Boston, MA, 2004

Piermarco Cannarsa and Carlo Sinestrari.Semiconcave functions, Hamilton-Jacobi equations, and optimal con- trol, volume 58 ofProgress in Nonlinear Differential Equations and their Applications. Birkhäuser Boston, Inc., Boston, MA, 2004

2004
[18]

Evans and Ronald F

Lawrence C. Evans and Ronald F. Gariepy.Measure theory and fine properties of functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1992

1992
[19]

Critical circle maps near bifurcation.Comm

Jacek Graczyk and Grzegorz ´Swia ¸tek. Critical circle maps near bifurcation.Comm. Math. Phys., 176(2):227–260, 1996

1996
[20]

Grundlehren Text Edi- tions

Jean-Baptiste Hiriart-Urruty and Claude Lemaréchal.Fundamentals of convex analysis. Grundlehren Text Edi- tions. Springer-Verlag, Berlin, 2001

2001
[21]

The devil’s staircase in an ising chain with spin-lattice coupling.Journal of the Physical Society of Japan, 54(3):1131–1138, 1985

Norikazu Ishimura. The devil’s staircase in an ising chain with spin-lattice coupling.Journal of the Physical Society of Japan, 54(3):1131–1138, 1985. ON AUBRY’S COMPLETENESS CONJECTURE 25

1985
[22]

The stable norm on the 2-torus at irrational directions.Nonlinearity, 30(3):912–942, 2017

Stefan Klempnauer and Jan Philipp Schröder. The stable norm on the 2-torus at irrational directions.Nonlinearity, 30(3):912–942, 2017

2017
[23]

Generic properties and problems of minimizing measures of Lagrangian systems.Nonlinearity, 9(2):273–310, 1996

Ricardo Mañé. Generic properties and problems of minimizing measures of Lagrangian systems.Nonlinearity, 9(2):273–310, 1996

1996
[24]

Uni- versity of Warwick, 1985

Robert Sinclair Mackay and Jaroslav Stark.Lectures on orbits of minimal action for area-preserving maps. Uni- versity of Warwick, 1985

1985
[25]

John N. Mather. Destruction of invariant circles.Ergodic Theory Dynam. Systems, 8 ∗:199–214, 1988

1988
[26]

John N. Mather. Action minimizing invariant measures for positive definite Lagrangian systems.Math. Z., 207(2):169–207, 1991

1991
[27]

John N. Mather. Variational construction of connecting orbits.Ann. Inst. Fourier (Grenoble), 43(5):1349–1386, 1993

1993
[28]

Mather and Giovanni Forni

John N. Mather and Giovanni Forni. Action minimizing orbits in Hamiltonian systems. InTransition to chaos in classical and quantum mechanics (Montecatini Terme, 1991), volume 1589 ofLecture Notes in Math., pages 92–186. Springer, Berlin, 1994

1991
[29]

Minimal solutions of variational problems on a torus.Ann

Jürgen Moser. Minimal solutions of variational problems on a torus.Ann. Inst. H. Poincaré Anal. Non Linéaire, 3(3):229–272, 1986

1986
[30]

Monotone twist mappings and the calculus of variations.Ergodic Theory Dynam

Jürgen Moser. Monotone twist mappings and the calculus of variations.Ergodic Theory Dynam. Systems, 6(3):401–413, 1986

1986
[31]

Devil’s staircase phase diagram of the fractional quantum hall effect in the thin-torus limit.Physical Review Letters, 116(25):256803, 2016

Pietro Rotondo, Luca Guido Molinari, Piergiorgio Ratti, and Marco Gherardi. Devil’s staircase phase diagram of the fractional quantum hall effect in the thin-torus limit.Physical Review Letters, 116(25):256803, 2016

2016
[32]

Hidden devil’s staircase in a two-dimensional elastic model of spin crossover materials.arXiv preprint arXiv:2008.08738, 2020

Gian Ruzzi, Jace Cruddas, Ross H McKenzie, and Ben J Powell. Hidden devil’s staircase in a two-dimensional elastic model of spin crossover materials.arXiv preprint arXiv:2008.08738, 2020. (Tianqi Shi) Department ofMathematicalSciences, TsinghuaUniversity, Beijing100084, China Email address:tqshi.math@gmail.com (Jinxin Xue) NewCornerstoneSciencesLaboratary...

work page arXiv 2008