{"id":"52032e89-b515-4c93-ad06-611613e262b9","arxiv_id":"1908.01754","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For stationary measures on the flags of R^d, the conditional measures along each one-dimensional flag foliation are exact dimensional with dimension equal to an entropy divided by the Lyapunov gap.","lead":"This paper proves that conditional measures on one-dimensional slices of flag spaces, produced by random matrix products, have a well-defined fractal dimension given by an entropy divided by a Lyapunov exponent gap. It extends a known two-dimensional result to all dimensions and all natural foliations of the flag space.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5 asserts without proof that Fi(n) is measurable with respect to the past matrices; this step is load-bearing for the conditional independence of the Oseledets subspaces, and the alternative justification via the natural extension is not supplied.","rationale":"The central claim—that conditional measures on the one-dimensional flag foliation are exact dimensional with dimension κ_i/(χ_i−χ_{i+1})—is substantial and the proof is mostly coherent. The approximation argument in Theorem 1, the use of conditional mutual information and the Orlicz/maximal-function estimates in Section 6 are detailed and plausible. The weak point is indeed in Lemma 5: the past-measurability of Fi(n) is asserted without proof, and it is used to get the conditional independence of the two Oseledets directions, on which the random circle construction rests. I do not see the assertion as obviously false under the theorem's hypotheses, but it is not established, and no citation is given. The concern is partially mitigated because the natural extension supplies a weaker and sufficient property (independence from the future increments), so the gap is repairable in principle. For that reason I would keep the reader's CONDITIONAL verdict rather than escalate to REJECT. A single check—re-deriving the independence step from the natural-extension property—would settle whether the proof needs only a clarifying sentence or a new argument. No other issues of comparable weight emerged: no circularity, no fitted parameters, and the known d=2 results are cited appropriately.","tokens_in":19998,"tokens_out":56783,"duration_ms":574624,"concrete_test":"Re-derive the conditional independence of Eu(n) and Es(n) given Fi(n) in Lemma 5 using only the natural-extension property that Fi(n) is independent of σ(A(n), A(n+1), ...), without assuming past measurability; if the derivation succeeds, the gap is a missing standard justification, and if it fails, the proof of Theorem 2 lacks an essential step.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Lemma 5 contains the unproved assertion that Fi(n) is σ(A(n−1), A(n−2), ...)-measurable, which is then used to conclude that the past and future matrix sequences are conditionally independent given Fi(n), and hence that the Oseledets subspaces Eu(n) and Es(n) are conditionally independent. This is the step that makes Lemma 6 valid (x_n independent of y_n given F_n) and underpins the stationary interval construction in Section 6. For an arbitrary stationary sequence satisfying the cocycle relation, this measurability is not true in general: a stationary solution may carry an extra initial condition independent of the noise. The hypotheses of uniqueness of the stationary lift and κ_i>0 may rule out such examples, but no argument is given. A repair exists: in the natural extension of the one-sided Markov chain, Fi(n) is independent of the future increments, and this weaker property is sufficient for the conditional independence conclusion. However, the paper neither states nor proves this, so the proof as written has a genuine gap at a load-bearing point.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies µ-stationary probabilities ν on the space of complete flags in R^d. For each i, the conditional measures ν_{F_i} on the one-dimensional fiber obtained by forgetting the i-dimensional subspace are considered. Theorem 1 establishes an inequality 0 ≤ κ_i ≤ χ_i − χ_{i+1}, where κ_i is the entropy of the conditional measures, and characterizes κ_i = 0 by invariance of the disintegration. Theorem 2 states that, under ergodicity, uniqueness of the stationary lift, and κ_i > 0, the conditional measures are almost surely exact dimensional with dimension κ_i/(χ_i − χ_{i+1}). The proof of Theorem 1 proceeds by approximation with absolutely continuous conditional measures and conditional mutual information; the proof of Theorem 2 uses Oseledets subspaces in a two-dimensional quotient and a construction of random intervals on the circle, with estimates obtained by Maker's theorem and an Orlicz maximal inequality.","tokens_in":20156,"tokens_out":28311,"duration_ms":288000,"significance":"If the results are correct, this is a substantial extension of the Ledrappier–Hochman–Solomyak dimension formula from SL_2(R) to disintegrations of stationary measures on flag manifolds of GL(R^d). The formula κ_i/(χ_i − χ_{i+1}) gives a parameter-free prediction for the fractal dimension of these conditional measures, and Theorem 1 connects the entropy κ_i to simplicity of the Lyapunov spectrum. The paper is careful and self-contained, with detailed proofs of the mutual-information identities, the perturbation argument, and the ergodic-theoretic estimates; it also acknowledges an earlier error and an anonymous referee's contribution. The main weakness is a missing justification at a load-bearing point in Lemma 5.","major_comments":[{"comment":"The assertion that Fi(n) is σ(A(n−1), A(n−2), . . .)-measurable is not proved and is not true for an arbitrary two-sided stationary sequence satisfying the cocycle relation; a stationary solution may carry an extra initial condition that is not a function of the past matrices. This assertion is load-bearing: it is used to infer that the past block (A(n−1), A(n−2), ...) and the future block (A(n), A(n+1), ...) are conditionally independent given Fi(n), and hence that the Oseledets subspaces Eu(n) and Es(n) are conditionally independent. That conditional independence is in turn used in Lemma 6 to obtain P(ν_n(I_n) ≥ 1/2) ≥ 1/2 and in the construction of the stationary intervals in Section 6.2. The paper needs to either prove the measurability under the stated hypotheses (unique stationary lift and κ_i > 0) or explicitly use the natural extension of the one-sided Markov chain, where Fi(n) is independent of the future increments and the past and future increments are independent; this weaker property is sufficient for the conditional-independence conclusion. As written, the proof has a genuine gap at a load-bearing step.","section":"Section 5, Lemma 5"}],"minor_comments":[{"comment":"The displayed formula for the lower local dimension is garbled; it should be a fraction with log(ν(B_r(x))) divided by log(r).","section":"Section 1.1"},{"comment":"The sentence 'By ergodicity and one has' should read 'By ergodicity one has'.","section":"Section 5, Lemma 4 proof"},{"comment":"The notation 'eo(n)' is not defined; it should be written as e^{o(n)}.","section":"Section 5, Lemma 5"},{"comment":"The statement 'taking a subsequence we may assume n_k = 2k + o(k)' is terse; a short justification via the ergodic theorem and a thinning argument would improve readability.","section":"Section 6.5"},{"comment":"The phrase 'there is an associated action of Pt on the space of probability measures' should refer to the adjoint operator P_t^*.","section":"Section 3.2.2"},{"comment":"There is a typo: 'random varaible' should be 'random variable'.","section":"Section 6.4.2, Lemma 10 proof"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and is likely to be influential if the gap in Lemma 5 is repaired. The missing measurability/independence argument is the only serious obstacle I see; it is plausibly fixable by a natural-extension argument, but the current text does not supply it. I would be willing to reconsider a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my read of Lessa's paper. The reader's report is basically right, and I want to underline that the main issue is localized, not systemic.\n\nWhat is new: for a stationary measure on complete flags in R^d, the paper defines entropies kappa_i from the Radon-Nikodym derivatives of the pushed conditional measures, proves kappa_i <= chi_i - chi_{i+1}, and—under a uniqueness assumption and kappa_i>0—proves the conditional measures on the relevant circle fibers are exact dimensional with dimension kappa_i/(chi_i - chi_{i+1}). The d=2 case was known; the full flag generality and the entropy-gap inequality are new. The proof strategy is good: approximate by absolutely continuous stationary measures, compare mutual informations, then use Oseledets theory and Orlicz/maximal-function estimates to get dimension. The paper is self-contained enough, cites Ledrappier, Hochman-Solomyak, Furstenberg, Guivarc'h-Raugi appropriately, and explicitly acknowledges and fixes an earlier error. No fitted parameters, no circularity.\n\nThe soft spot: Lemma 5 contains the assertion that Fi(n) is sigma(A(n-1), A(n-2), ...)-measurable. That does not follow from the stated hypotheses. One can build the two-sided stationary process with an initial flag independent of the whole matrix sequence; then Fi(n) is not a function of the past matrices. The line is used to get conditional independence of the two Oseledets directions, and that is what makes the stationary intervals and the circle diffeomorphism argument work. So the proof as written has a genuine gap at a load-bearing point.\n\nI do not think the gap is fatal. A repair is available: in the natural extension with the independent seed, the past and future matrix blocks remain conditionally independent given Fi(n) once the intervening matrices are fixed, and that is enough to get the conditional independence of E^u(n) and E^s(n). But that argument is not in the manuscript, and the current text needs it or a reference that supplies it. The author should be asked to add a lemma or replace the false measurability claim.\n\nWho should read this: people working on random matrix products, Furstenberg measures, entropy and dimension of stationary measures. The result is important enough to referee seriously. I would send it to a good ergodic theory referee and request a revision addressing Lemma 5; if the repair goes through, the paper is publishable.","headline":"A substantial and plausible extension of Ledrappier/Hochman-Solomyak to all dimensions, with one unproved measurability step in Lemma 5 that needs repairing before the proof is complete.","tokens_in":20745,"tokens_out":9126,"would_cite":true,"duration_ms":102581,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37H15","37A35","28A80","60B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for ergodic stationary measures on complete flags of $\\mathbb{R}^d$, each one-dimensional conditional measure is exact dimensional, with dimension equal to the quotient of a foliation entropy by the corresponding…","keywords":["stationary measures","flag manifolds","exact dimensionality","Lyapunov exponents","conditional measures","disintegration","random matrix products","entropy"],"falsifier":"For a concrete stationary measure on flags of $\\mathbb{R}^3$ with $\\kappa_2>0$, estimate numerically the local dimensions of the conditional measures on the circle of flags sharing a line and a plane and compare them with $\\kappa_2/(\\chi_2-\\chi_3)$; a single example where the local dimensions differ or fail to be constant would refute Theorem 2. The unproved measurability in Lemma 5 can also be tested by constructing a stationary flag process in which $F_i(n)$ is not a function of the past matrices, which would break the proof.","tokens_in":19719,"feed_emoji":"📐","tokens_out":16068,"duration_ms":142509,"temperature":0.7,"pith_summary":"This paper aims to prove that the one-dimensional conditional measures obtained by disintegrating a stationary probability on the complete flag space of $\\mathbb{R}^d$ (the space of nested subspaces $S_0\\subset S_1\\subset\\cdots\\subset S_d$) are exact dimensional: almost surely each such measure has a well-defined fractal dimension, and that dimension is $\\kappa_i/(\\chi_i-\\chi_{i+1})$, where $\\kappa_i$ is the entropy of the action along the foliation and $\\chi_i-\\chi_{i+1}$ is the gap between consecutive Lyapunov exponents. A companion inequality, $0\\le\\kappa_i\\le\\chi_i-\\chi_{i+1}$, with $\\kappa_i=0$ exactly when the conditional family is invariant, relates the entropy to simplicity of the Lyapunov spectrum. The result extends the known two-dimensional projective-space theorem to all dimensions and to the flag foliations obtained by forgetting a single subspace, and it gives a concrete mechanism for why fractal dimensions of such measures are controlled by the Lyapunov spectrum.","feed_headline":"Entropy and Lyapunov gap fix conditional flag dimensions","feed_subtitle":"In any dimension, the fractal dimension of conditional flag measures is set by a quotient of entropy and Lyapunov gap.","key_machinery":"The argument is carried by three pieces. First, conditional mutual information between the random matrix $A$ and the flag $AF$ given the base point $AF_i$ is shown, via the theorem identifying mutual information with the expected logarithm of a Radon-Nikodym derivative, to equal the entropy $\\kappa_i$ and to force $A\\nu_{F_i}\\ll\\nu_{AF_i}$ almost surely. Second, an exact Jacobian identity for the rotationally invariant fiber measure $\\eta_{F_i}$, namely $\\frac{dA\\eta_{F_i}}{d\\eta_{AF_i}}(AF)=\\frac{|\\det_{S_i}A|^2}{|\\det_{S_{i-1}}A||\\det_{S_{i+1}}A|}$, identifies the Lyapunov gap $\\chi_i-\\chi_{i+1}$ as the asymptotic logarithmic cost of pushing measures along the foliation. Third, the multiplicative ergodic theorem applied to the two-dimensional quotients $S_{i+1}/S_{i-1}$ produces, for each time $n$, a complementary subspace $S_i'(n)$ whose angle with $S_i(n)$ has logarithm $o(n)$; translating the flag action into random circle diffeomorphisms and using a maximal inequality together with an ergodic theorem for triangular arrays shows that carefully chosen intervals shrink at rate $e^{-(\\chi_i-\\chi_{i+1})n}$ while their conditional probability decays at rate $e^{-\\kappa_i n}$. These two exponential rates are exactly what pins the local dimension to the ratio.","core_discovery":"The central claim is Theorem 2: if $\\nu$ is an ergodic stationary probability on the space of complete flags and is the unique stationary probability projecting to a fixed incomplete-flag distribution, and if the associated entropy $\\kappa_i$ is positive, then almost surely the conditional measure $\\nu_{F_i}$ on the circle of flags sharing all subspaces except the $i$-dimensional one is exact dimensional, with dimension $\\kappa_i/(\\chi_i-\\chi_{i+1})$. The paper also proves Theorem 1, which bounds $0\\le\\kappa_i\\le\\chi_i-\\chi_{i+1}$ and characterizes $\\kappa_i=0$ as the case where the conditional family is invariant under almost every matrix. Together these theorems give a complete answer, in the uniqueness regime, to the question of what determines the dimension of disintegrations of stationary measures on complete flags in $\\mathbb{R}^d$.","pith_inferences":["A natural quantity the paper leaves implicit is the defect $\\chi_i-\\chi_{i+1}-\\kappa_i$; it may measure how singular the conditional measures are relative to the rotationally invariant fiber measure, and numerical experiments on random matrix products could reveal whether it is positive exactly when the conditional measures are singular.","The circle-diffeomorphism machinery may transfer to other settings with one-dimensional fibers over a base space, such as non-complete flag varieties or other homogeneous spaces, whenever an analogous Jacobian cocycle and a Lyapunov splitting are available.","A testable algorithmic consequence of Theorem 1 is that estimating $\\kappa_i$ from simulations of a random matrix product gives a lower bound on the corresponding Lyapunov gap, so a strictly positive estimate certifies simplicity of the spectrum in practice."],"forward_implications":["Where the hypotheses hold, the dimension of the conditional measures is a deterministic function of the Lyapunov spectrum and the entropy, so no finer data about the measure or the group action enters.","The strict inequality $\\kappa_i>0$ forces $\\chi_i>\\chi_{i+1}$, so positive entropy on an $i$-foliation is a certificate that the $i$-th Lyapunov gap is open.","Absence of invariant conditional families, for every $i$, implies the Lyapunov spectrum is simple, giving a purely measure-theoretic route to spectral simplicity.","The theorem extends the two-dimensional projective-space result to every one-dimensional foliation of complete flag space obtained by forgetting a single subspace."],"supporting_citations":[{"why":"Establishes the d=2 entropy-gap inequality and the dimension formula for a related notion of dimension, the base case being extended.","marker":"[Led84]"},{"why":"Proves exact dimensionality of stationary measures for $\\mathrm{SL}_2(\\mathbb{R})$, providing the target notion of dimension in the base case.","marker":"[HS17]"},{"why":"Introduces stationary probabilities and supplies the projective-space Jacobian computation and the approximation idea used in Theorem 1.","marker":"[Fur63]"},{"why":"Provides the multiplicative ergodic theorem that yields the Lyapunov exponents and the complementary subspace in Lemma 5.","marker":"[Ose68]"},{"why":"Part of the mutual-information theorem used to identify the entropy with an expected Radon-Nikodym logarithm in Lemma 1.","marker":"[GfY59]"},{"why":"Companion result used for the same mutual-information identification in Lemma 1 and Claim 4.","marker":"[Per59]"},{"why":"Komlos' theorem is used in Claim 1 to produce Cesaro convergent subsequences of approximating conditional measures.","marker":"[Kom67]"},{"why":"Supplies the maximal inequality adapted in Lemma 8 to control the densities needed for the probability estimates.","marker":"[Ste70]"},{"why":"Maker's ergodic theorem is used to turn pointwise Jacobians into the interval length and probability asymptotics of Lemmas 7 and 11.","marker":"[Mak40]"}],"fun_headline_variants":["Exact flag dimensions from entropy and Lyapunov gap","Conditional flag dimension equals entropy over Lyapunov gap","Entropy and Lyapunov gap determine exact flag dimensions","Flag disintegration dimension equals entropy over Lyapunov gap","Exact conditional dimension from entropy-to-gap ratio"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof relies on the unproved claim that the incomplete flag at each time is already determined by the past random matrices; the conditional independence of two subspaces, and with it the whole circle-diffeomorphism construction, depends on this.","fun_headline_variants_meta":{"raw":{"variants":["Exact flag dimensions from entropy and Lyapunov gap","Conditional flag dimension equals entropy over Lyapunov gap","Entropy and Lyapunov gap determine exact flag dimensions","Flag disintegration dimension equals entropy over Lyapunov gap","Exact conditional dimension from entropy-to-gap ratio"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000846,"raw_usage":{"total_tokens":3633,"prompt_tokens":846,"completion_tokens":2787,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":2708}},"tokens_in":462,"tokens_out":2787,"duration_ms":19401,"temperature":1.0,"reasoning_tokens":2708,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:04:56.661873+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete stationary measure on flags of $\\mathbb{R}^3$ with $\\kappa_2>0$, estimate numerically the local dimensions of the conditional measures on the circle of flags sharing a line and a plane and compare them with $\\kappa_2/(\\chi_2-\\chi_3)$; a single example where the local dimensions differ or fail to be constant would refute Theorem 2. The unproved measurability in Lemma 5 can also be tested by constructing a stationary flag process in which $F_i(n)$ is not a function of the past matrices, which would break the proof.","supporting_citations":[],"review_version":1}