Pith. sign in

REVIEW 1 major objections 4 minor 47 references

Thermodynamic formalism for hyperbolic random dynamical systems

T0 review · 1 major / 4 minor · reviewed 2026-07-11 · grok-4.5

Pith's one-line read Random Anosov maps with random mixing times admit unique relative equilibrium states and quenched exponential decay of correlations for Hölder potentials.

desk verdict Solid, carefully written paper that fills a real gap: unique relative equilibrium states and quenched decay for random Anosov diffeomorphisms via adapted cones. read the letter →

arxiv 2607.04900 v1 pith:LWUWPZFZ submitted 2026-07-06 math.DS math.PR

classification math.DSmath.PR MSC 28D2037D2037D3537H05
keywords thermodynamicformalismrandomdynamicalsystemsAnosovmapsequilibriumstatesprojectiveconesHilbertmetricquencheddecayofcorrelationsPerron–Frobeniuscocycle
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 builds thermodynamic formalism for random Anosov systems: a base map drives a family of fibre diffeomorphisms that are uniformly hyperbolic, with one-dimensional stable directions, and that mix fibrewise on a time scale that can depend on the base point. For every uniformly Hölder random potential the authors produce a unique invariant measure that maximises relative free energy with respect to the base measure, and they show that this measure has exponential decay of correlations along almost every realisation of the base. The technical engine is a family of projective cones, adapted to stable leaves and unstable holonomies, on which the random transfer-operator cocycle contracts Hilbert metrics; the resulting spectral gap yields both the equilibrium state and the quenched mixing rates. Readers interested in random dynamics, climate-type models, or statistical properties of hyperbolic systems will care because the mixing-time hypothesis is weaker than the uniform mixing used in earlier work, yet still strong enough for uniqueness and exponential decay.

What carries the argument

Adapted projective cones for the random Perron–Frobenius cocycle, defined via averages on admissible stable leaves, leafwise Hilbert metrics, and unstable-holonomy control; the cocycle strictly contracts these cones, producing a quenched spectral decomposition.

What would settle it

Exhibit a random Anosov system satisfying the cone hyperbolicity and one-dimensional stable hypotheses for which the fibrewise mixing time is almost surely infinite, or for which two distinct P-relative equilibrium states exist for some Hölder potential.

Watch

Extended reading notes

Core claim

Under uniform fibre hyperbolicity given by deterministic cones, one-dimensional stable direction, and a fibrewise mixing condition whose first return time has positive probability of being bounded (Hypothesis H), every uniformly Hölder random potential admits a unique P-relative equilibrium state; under the exponential-tail strengthening of that mixing condition the same measure satisfies quenched exponential decay of correlations with constants in every Lp space.

Load-bearing premise

The fibrewise mixing condition that, with positive probability, every short local unstable manifold becomes dense after a uniformly bounded number of iterates (and the exponential tail on successive mixing times).

Editorial extensions

If this is right

  • Uniqueness of relative equilibrium states holds for random compositions of Anosov maps on the torus driven by mixing subshifts of finite type.
  • Quenched exponential decay of correlations is available for Hölder observables along almost every base orbit, with Lp-integrable constants under the tail hypothesis.
  • The same cone-contraction method applies, after time reversal, when the unstable direction rather than the stable direction is one-dimensional.
  • Uniform fibrewise mixing recovers the stronger uniform-in-ω decay constants previously obtained for SRB measures.

Reading between the lines

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

  • The cone construction may extend to random systems whose hyperbolicity is only non-uniform, provided the stable leaves still admit a controlled holonomy.
  • The same spectral gap should yield quenched large-deviation principles and central-limit theorems for the relative equilibrium measures.
  • Allowing the stable dimension to be higher than one would require a genuine anisotropic Banach space rather than a projective cone, reopening the question of random anisotropic norms.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper develops thermodynamic formalism for regular random dynamical systems that are uniformly hyperbolic on fibres (via deterministic invariant cone fields) with one-dimensional stable direction and a fibrewise topological mixing condition whose mixing time may depend on the base point (Hypothesis H, strengthened by an exponential tail in H'). For uniformly Hölder random potentials the authors construct adapted projective cones for the random Perron–Frobenius cocycle, prove Hilbert-metric contraction, and obtain a quenched spectral decomposition. From this they construct a unique P-relative equilibrium state (Theorem A) and, under H', quenched exponential decay of correlations with Lp constants for every p<\infty (Theorem B). The argument proceeds through geometric preliminaries, cone construction, spectral decomposition, weak-Gibbs estimates, and uniqueness via SLY partitions.

Significance. If correct, the work fills a genuine gap: thermodynamic formalism for random hyperbolic diffeomorphisms beyond the SRB setting, with quenched (rather than annealed) statistical properties and with mixing times allowed to be random. The cone-contraction approach is a natural random analogue of classical Birkhoff methods and is carried through carefully; the three examples (random toral automorphisms, random Anosov maps on T^{2}, constant Anosov) show that the hypotheses are non-vacuous. The results are of clear interest to the random dynamical systems and thermodynamic formalism communities.

major comments (1)
  1. The central chain (adapted cones → Hilbert contraction of the random PF cocycle → quenched spectral decomposition → candidate measure υϕ → weak Gibbs → uniqueness via SLY partitions) is load-bearing and appears complete. Hypothesis (H2)/(H2') is the most delicate assumption, but it is used only to guarantee almost-surely infinite returns to a set of finite projective diameter (Lemmas 6.5–6.8, Theorem 6.9); the subsequent estimates are standard and fully written. No load-bearing gap that would require a major revision was found.
minor comments (4)
  1. Notation for the corrected potential is inconsistent: the body works with ϕ̄ = ϕ − ϕJs while the proofs of Theorems A–B in §9 switch to eϕ = ϕ + ϕJs. A single convention stated once would help the reader.
  2. Several long technical arguments are deferred to Appendices A–B (Propositions 6.3 and 6.5). A short roadmap at the beginning of §6 indicating which estimates are essential for the spectral decomposition would improve readability.
  3. In Definition 5.7 and the subsequent norm (Definition 5.9) the parameters a, a1, b, c, κ, κ1, ν are introduced gradually; a single summary table or paragraph listing the admissible range of all cone parameters would make the construction easier to track.
  4. Typographical: occasional missing spaces after punctuation and a few duplicated words (e.g. near the end of the proof of Lemma 5.10) should be cleaned in copy-editing.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: equilibrium state is constructed from independent cone-contraction spectral data and verified a posteriori against the variational principle.

full rationale

The derivation chain is self-contained and non-circular. Adapted projective cones C_ω(b,c,ν) are defined geometrically from stable leaves and unstable holonomies (Definitions 5.4–5.7, 5.9), independently of any equilibrium measure. The random Perron–Frobenius cocycle L_ω is the standard weighted transfer operator. Contraction of Hilbert metrics and finite projective diameter after random returns (Proposition 6.3, Lemma 6.5, Theorem 6.9) are proved directly (with appendices), yielding a quenched spectral decomposition that produces candidate fibre measures υ_ω via dual eigenfunctionals ℓ_ω(· μ_ω). Invariance, quenched decay, weak Gibbs property, and the variational equality h_υ(F|P)+∫φ̄ dυ = P_top are established afterwards by direct estimates (Propositions 6.21, 7.7, 7.10). Uniqueness (Theorem 8.5) uses absolute continuity of conditionals along an SLY partition (from Kifer–Liu) against the spectral measures μ_ω, again proved by direct comparison of Jacobians and densities, not by importing a prior uniqueness theorem of the same authors. Geometric facts are taken from independent sources (Liu [32], Viana [44]); self-citations to related random-system papers by overlapping authors are background only and do not force the central claims. No quantity is defined in terms of the object being maximised, and no fitted parameter is renamed a prediction. The result is therefore a genuine first-principles construction under the stated hypotheses.

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

The paper works entirely inside standard smooth ergodic theory and the theory of projective cones. No free parameters are fitted; the only ‘parameters’ are geometric constants fixed by the hyperbolicity and Hölder data. The load-bearing axioms are the standing regularity of the skew product, Hypothesis H (or H'), and the uniform Hölder regularity of the potential. The adapted cones are constructed objects, not postulated entities.

assumptions (5)
  • domain assumption Standing assumptions: F is a homeomorphism, heta is a homeomorphism preserving an ergodic probability P, each T_ω is a C^{2} diffeomorphism with uniform C^{2} bounds.
    Section 2; required for the skew product to be a regular random dynamical system.
  • domain assumption Hypothesis H: deterministic continuous invariant cone fields giving uniform fibre hyperbolicity, dim Es(ω,x)=1 a.e., and fibrewise topological mixing with random mixing time N(ω) satisfying P[N≤B]>0.
    Section 2.2; the geometric and mixing hypotheses that make the cone contraction work.
  • domain assumption Hypothesis H' (optional strengthening): exponential tail on the successive mixing times Nk.
    Needed only for the Lp-integrability of the decay constants in Theorem B.
  • domain assumption Potential φ belongs to L^∞(Ω;C^β(M)), i.e., is uniformly Hölder in the fibre with essential-supremum bound.
    Definition 2.5; required for the transfer operator to map the cones into themselves.
  • standard math Standard facts on Hilbert projective metrics, Birkhoff’s contraction theorem, and the existence of SLY partitions for random hyperbolic systems.
    Cited from Liverani, Kifer–Liu, etc.; used as black boxes.
invented entities (1)
  • Adapted projective cones C_ω(b,c,ν) built from leafwise log-Hölder densities and unstable holonomies independent evidence
    purpose: Provide a Banach space and a cone on which the random Perron–Frobenius cocycle acts by Hilbert-metric contraction, yielding the spectral decomposition.
    Constructed in Section 5 from geometric data already present; not an extra physical postulate. Independent evidence is the subsequent contraction proof and the recovery of known results in the uniformly mixing case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Thermodynamic formalism for hyperbolic random dynamical systems." pith.science (2026). https://pith.science/paper/LWUWPZFZ

@misc{pith2026260704900,
  author       = {Pith},
  title        = {Pith review of: Thermodynamic formalism for hyperbolic random dynamical systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LWUWPZFZ}},
  note         = {Machine review of arXiv:2607.04900}
}
abstract

We develop thermodynamic formalism for random Anosov maps and uniformly H\"older random potentials. We assume uniform fibre hyperbolicity given by deterministic invariant cone fields, a one-dimensional stable direction, and a fibrewise mixing condition whose mixing time may depend on the base point. To do so, we construct adapted projective cones for the random Perron--Frobenius cocycle and prove that the cocycle contracts the associated Hilbert projective metrics. This allows us to construct a $\mathbb P$-relative equilibrium state, prove its uniqueness, and establish quenched exponential decay of correlations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references · 17 canonical work pages

  1. [1]

    Quenched decay of correlations for nonuniformly hyperbolic random maps with an ergodic driving system

    J. F. Alves, W. Bahsoun, M. Ruziboev, and P. Varandas. “Quenched decay of correlations for nonuniformly hyperbolic random maps with an ergodic driving system”. In:Nonlin- earity36.6 (2023), pp. 3294–3318.doi:10.1088/1361-6544/acd220

  2. [2]

    Equilibrium states for random non-uniformly expanding maps

    A. Arbieto, C. Matheus, and K. Oliveira. “Equilibrium states for random non-uniformly expanding maps”. In:Nonlinearity17.2 (2004), pp. 581–593.doi:10.1088/0951-7715/ 17/2/013

  3. [3]

    Arnold.Random dynamical systems

    L. Arnold.Random dynamical systems. Springer, 1995

  4. [4]

    Equilibrium states for non- transitive random open and closed dynamical systems

    J. Atnip, G. Froyland, C. Gonz´ alez-Tokman, and S. Vaienti. “Equilibrium states for non- transitive random open and closed dynamical systems”. In:Ergodic Theory and Dynamical Systems43.10 (2023), pp. 3193–3215.doi:10.1017/etds.2022.68

  5. [5]

    Thermodynamic Formal- ism and Perturbation Formulae for Quenched Random Open Dynamical Systems

    J. Atnip, G. Froyland, C. Gonz´ alez-Tokman, and S. Vaienti. “Thermodynamic Formal- ism and Perturbation Formulae for Quenched Random Open Dynamical Systems”. In: Dissertationes Mathematicae(2024). arXiv:2307.00774 [math.DS]

  6. [6]

    Thermodynamic Formalism for Random Weighted Covering Systems

    J. Atnip, G. Froyland, C. Gonz´ alez-Tokman, and S. Vaienti. “Thermodynamic Formalism for Random Weighted Covering Systems”. In:Communications in Mathematical Physics 386.2 (2021), pp. 819–902.doi:10.1007/s00220-021-04156-1

  7. [7]

    Quenched CLT for random toral automorphism

    A. Ayyer, C. Liverani, and M. Stenlund. “Quenched CLT for random toral automorphism”. In:Discrete Contin. Dyn. Syst.24.2 (2009), pp. 331–348.doi:10.3934/dcds.2009.24. 331

  8. [8]

    Baladi.Dynamical zeta functions and dynamical determinants for hyperbolic maps

    V. Baladi.Dynamical zeta functions and dynamical determinants for hyperbolic maps. A functional approach.Vol. 68. Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics. Springer, Cham, 2018, pp. xv+291.doi: 10.1007/978-3-319-77661-3

Show all 47 references
  1. [9]

    Baladi.Positive Transfer Operators and Decay of Correlations

    V. Baladi.Positive Transfer Operators and Decay of Correlations. Vol. 16. Advanced Series in Nonlinear Dynamics. Singapore: World Scientific, 2000. REFERENCES 65

  2. [10]

    Anisotropic H¨ older and Sobolev spaces for hyperbolic diffeo- morphisms

    V. Baladi and M. Tsujii. “Anisotropic H¨ older and Sobolev spaces for hyperbolic diffeo- morphisms”. In:Annales de l’Institut Fourier57.1 (2007), pp. 127–154

  3. [11]

    Ruelle–Perron–Frobenius spectrum for Anosov maps

    M. Blank, G. Keller, and C. Liverani. “Ruelle–Perron–Frobenius spectrum for Anosov maps”. In:Nonlinearity15.6 (2002), pp. 1905–1973

  4. [12]

    Equivalence of physical and SRB measures in random dynamical systems

    A. Blumenthal and L.-S. Young. “Equivalence of physical and SRB measures in random dynamical systems”. In:Nonlinearity32.4 (2019), pp. 1494–1524.doi:10.1088/1361- 6544/aafaa8

  5. [13]

    Entropy, pressure, and a variational principle for random dynamical systems

    T. Bogensch¨ utz. “Entropy, pressure, and a variational principle for random dynamical systems”. In:Random Comput. Dynam1.1 (1992), pp. 99–116

  6. [14]

    Ruelle’s transfer operator for random subshifts of finite type

    T. Bogensch¨ utz and V. M. Gundlach. “Ruelle’s transfer operator for random subshifts of finite type”. In:Ergodic Theory and Dynamical Systems15.3 (1995), pp. 413–447.doi: 10.1017/S0143385700008464

  7. [15]

    Bowen.Equilibrium states and the ergodic theory of Anosov diffeomorphisms

    R. Bowen.Equilibrium states and the ergodic theory of Anosov diffeomorphisms. Vol. 470. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1975, pp. i+108

  8. [16]

    Equilibrium states for center isometries

    P. D. Carrasco and F. Rodriguez-Hertz. “Equilibrium states for center isometries”. In: Journal of the Institute of Mathematics of Jussieu23.3 (2024), pp. 1295–1355

  9. [17]

    Crauel.Random probability measures on Polish spaces

    H. Crauel.Random probability measures on Polish spaces. Vol. 11. CRC press, 2002

  10. [18]

    M. F. Demers, N. Kiamari, and C. Liverani.Transfer operators in hyperbolic dynamics— an introduction. 33o Col´ oquio Brasileiro de Matem´ atica. Instituto Nacional de Matem´ atica Pura e Aplicada (IMPA), Rio de Janeiro, 2021, p. 238

  11. [19]

    Thermodynamic formalism for random countable Markov shifts

    M. Denker, Y. Kifer, and M. Stadlbauer. “Thermodynamic formalism for random countable Markov shifts”. In:Discrete and Continuous Dynamical Systems22.1-2 (2008), pp. 131– 164.doi:10.3934/dcds.2008.22.131

  12. [20]

    A spectral approach for quenched limit theorems for random hyperbolic dynamical systems

    D. Dragiˇ cevi´ c, G. Froyland, C. Gonz´ alez-Tokman, and S. Vaienti. “A spectral approach for quenched limit theorems for random hyperbolic dynamical systems”. In:Transactions of the American Mathematical Society373.1 (2020), pp. 629–664.doi:10.1090/tran/7943

  13. [21]

    Banach spaces adapted to Anosov systems

    S. Gou¨ ezel and C. Liverani. “Banach spaces adapted to Anosov systems”. In:Ergodic Theory and Dynamical Systems26.1 (2006), pp. 189–217

  14. [22]

    Random hyperbolic systems

    V. M. Gundlach and Y. Kifer. “Random hyperbolic systems”. In:Stochastic dynamics. Ed. by H. Crauel and M. Gundlach. New York: Springer, 1999, pp. 117–145.doi:10.1007/0- 387-22655-9_6

  15. [23]

    Expansiveness, specification, and equilibrium states for random bundle transformations

    V. M. Gundlach and Y. Kifer. “Expansiveness, specification, and equilibrium states for random bundle transformations”. In:Discrete and Continuous Dynamical Systems6.1 (2000), pp. 89–120

  16. [24]

    Hasselblatt and A

    B. Hasselblatt and A. Katok.Introduction to the modern theory of dynamical systems. Vol. 54. Encyclopedia of Mathematics and its Applications. With a supplementary chap- ter by Katok and Leonardo Mendoza. Cambridge University Press, Cambridge, 1995, pp. xviii+802.doi:10.1017/C...

  17. [25]

    Ergodic theory of random Anosov systems mixing on fibers

    W. Huang, Z. Lian, and K. Lu. “Ergodic theory of random Anosov systems mixing on fibers”. In:arXiv preprint arXiv:1612.08394(2016)

  18. [26]

    Equilibrium states for random expanding transformations

    Y. Kifer. “Equilibrium states for random expanding transformations”. In:Random Com- put. Dynam.1.1 (1992), pp. 1–31

  19. [27]

    On the topological pressure for random bundle transformations

    Y. Kifer. “On the topological pressure for random bundle transformations”. In:Topology, ergodic theory, real algebraic geometry. Vol. 202. Amer. Math. Soc. Transl. Ser. 2. Amer. Math. Soc., Providence, RI, 2001, pp. 197–214.doi:10.1090/trans2/202/14

  20. [28]

    Random dynamics

    Y. Kifer and P.-D. Liu. “Random dynamics”. In:Handbook of dynamical systems. Vol. 1B. Elsevier B. V., Amsterdam, 2006, pp. 379–499.doi:10.1016/S1874-575X(06)80030-5

  21. [29]

    Entropy formula for random transformations

    F. Ledrappier and L.-S. Young. “Entropy formula for random transformations”. In:Probab. Theory Related Fields80.2 (1988), pp. 217–240.doi:10.1007/BF00356103

  22. [30]

    A relativised variational principle for continuous transfor- mations

    F. Ledrappier and P. Walters. “A relativised variational principle for continuous transfor- mations”. In:Journal of the London Mathematical Societys2-16.3 (1977), pp. 568–576. doi:10.1112/jlms/s2-16.3.568

  23. [31]

    Liu and M

    P.-D. Liu and M. Qian.Smooth ergodic theory of random dynamical systems. Springer, 2006

  24. [32]

    Exponential decay of random correlations for random Anosov systems mixing on fibers

    X. Liu. “Exponential decay of random correlations for random Anosov systems mixing on fibers”. In:Journal of Differential Equations378 (2024), pp. 1–93. 66 REFERENCES

  25. [33]

    Decay of correlations

    C. Liverani. “Decay of correlations”. In:Ann. of Math. (2)142.2 (1995), pp. 239–301.doi: 10.2307/2118636

  26. [34]

    Conformal measure and decay of correlation for covering weighted systems

    C. Liverani, B. Saussol, and S. Vaienti. “Conformal measure and decay of correlation for covering weighted systems”. In:Ergodic Theory Dynam. Systems18.6 (1998), pp. 1399– 1420.doi:10.1017/S0143385798118023

  27. [35]

    Mayer, B

    V. Mayer, B. Skorulski, and M. Urba´ nski.Distance Expanding Random Mappings, Ther- modynamical Formalism, Gibbs Measures and Fractal Geometry. Vol. 2036. Lecture Notes in Mathematics. Berlin, Heidelberg: Springer, 2011.doi:10.1007/978-3-642-23650-1

  28. [36]

    Gibbs measures for hyperbolic attractors defined by densities

    D. Parmenter and M. Pollicott. “Gibbs measures for hyperbolic attractors defined by densities”. In:Discrete Contin. Dyn. Syst.42.8 (2022), pp. 3953–3977.doi:10 . 3934 / dcds.2022038

  29. [37]

    Ruelle.Thermodynamic Formalism: The Mathematical Structures of Classical Equi- librium Statistical Mechanics

    D. Ruelle.Thermodynamic Formalism: The Mathematical Structures of Classical Equi- librium Statistical Mechanics. Vol. 5. Encyclopedia of Mathematics and its Applications. Reading, MA: Addison-Wesley, 1978

  30. [38]

    Shub.Global stability of dynamical systems

    M. Shub.Global stability of dynamical systems. Springer-Verlag, New York, 1987, pp. xii+150. doi:10.1007/978-1-4757-1947-5

  31. [39]

    Generic properties of invariant measures for Axiom A-diffeomorphisms

    K. Sigmund. “Generic properties of invariant measures for Axiom A-diffeomorphisms”. In: Inventiones Mathematicae11 (1970), pp. 99–109.doi:10.1007/BF01404606

  32. [40]

    Gibbs measures in ergodic theory

    Y. G. Sinai. “Gibbs measures in ergodic theory”. In:Russian Mathematical Surveys27.4 (1972), pp. 21–69

  33. [41]

    Coupling methods for random topological Markov chains

    M. Stadlbauer. “Coupling methods for random topological Markov chains”. In:Ergodic Theory Dynam. Systems37.3 (2017), pp. 971–994.doi:10.1017/etds.2015.61

  34. [42]

    On random topological Markov chains with big images and preimages

    M. Stadlbauer. “On random topological Markov chains with big images and preimages”. In:Stoch. Dyn.10.1 (2010), pp. 77–95.doi:10.1142/S0219493710002863

  35. [43]

    Thermodynamic formalism for random non- uniformly expanding maps

    M. Stadlbauer, K. Suzuki, and P. Varandas. “Thermodynamic formalism for random non- uniformly expanding maps”. In:Communications in Mathematical Physics385.1 (2021), pp. 369–427.doi:10.1007/s00220-021-04088-w

  36. [44]

    Viana.Stochastic dynamics of deterministic systems

    M. Viana.Stochastic dynamics of deterministic systems. Vol. 21. IMPA Rio de Janeiro, 1997

  37. [45]

    Viana and K

    M. Viana and K. Oliveira.Foundations of ergodic theory. Vol. 151. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2016, pp. xvi+530.doi: 10.1017/CBO9781316422601

  38. [46]

    Relative pressure, relative equilibrium states, compensation functions and many-to-one codes between subshifts

    P. Walters. “Relative pressure, relative equilibrium states, compensation functions and many-to-one codes between subshifts”. In:Trans. Amer. Math. Soc.296.1 (1986), pp. 1– 31.doi:10.1090/S0002-9947-1986-0837796-8

  39. [47]

    On local entropy of random transformations

    Y. Zhu. “On local entropy of random transformations”. In:Stoch. Dyn8.2 (2008), pp. 197– 207. THERMODYNAMIC FORMALISM FOR HYPERBOLIC RANDOM DYNAMICAL SYSTEMS 67 AppendixA.Proof of Proposition 6.3 In this section, we prove Proposition 6.3. The proof follows the ideas of [32, Lem...

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.