{"id":"2af5c119-f8eb-4d43-aeb3-5691d575f988","arxiv_id":"2411.14177","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Invariant sublinear expectations decompose into periodic components; strongly ergodic continuous ones have a finite period p_E and p_E-step time averages attain the upper expectation.","lead":"Invariant sublinear expectations, a way of making decisions under uncertainty by taking the best expectation over a set of probability measures, are shown to decompose into periodic pieces. Under a strong ergodicity condition, this yields a finite period and a new ergodic theorem where long-run averages reach the upper expectation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.6's final 'contradiction by Remark 2.1' omits the disjoint-full-measure-set construction; the gap is fillable but should be stated before the theorem is accepted.","rationale":"The paper is a serious contribution: Section 3's decomposition and period divisibility are clean, Example 5.1 is illuminating, and the conditional statement of Corollary 4.8 is plausible. The reader identified the correct weak point: the proof of Theorem 4.6 does not connect the cardinality increase to the continuity contradiction. I confirm that the connection is precisely a missing disjoint-support construction. It is fillable with standard measure theory, so I do not regard the theorem as false; however, because the central conclusion (existence of a maximal Θ^(d), hence finite period under periodic decomposition) depends entirely on this step, the manuscript should not be accepted without the gap being closed in print. I also note that the abstract drops the periodic-decomposition assumption that the Introduction and Corollary 4.8 explicitly require; this should be corrected for accuracy. These are presentation and rigor issues, not indications of a fundamentally flawed argument.","tokens_in":11167,"tokens_out":24331,"duration_ms":229652,"concrete_test":"Re-derive the final paragraph of Theorem 4.6 with an explicit recursive construction: let n_k|n_{k+1}, and for each k choose P_{k+1} ∈ ext Θ^(n_{k+1}) \\ ext Θ^(n_k). Prove that P_{k+1} is T^{p_{n_{k+1}}}-ergodic and singular to P_1,...,P_k (using ext Θ^(n_k) ⊆ ext Θ^(n_{k+1}) and Theorem 3.6 to get p_{n_k}|p_{n_{k+1}}). Then set A_1 = B_1, A_k = B_k \\ ∪_{j<k} A_j, where P_k(B_k)=1 and P_j(B_k)=0 for j≠k; check that V(A_k) ≥ P_k(A_k)=1 for every k, contradicting Remark 2.1. If the nesting ext Θ^(n_k) ⊆ ext Θ^(n_{k+1}) cannot be established, the cardinality contradiction is invalid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4, Theorem 4.6: after proving card(ext Θ^(d)) < card(ext Θ^(l)) for a chain with proper inclusions, the proof says this 'is a contradiction by Remark 2.1 since E is continuous.' To invoke Remark 2.1 one must supply disjoint A_k with V(A_k) ≥ ε > 0. This requires three unstated steps: (i) at each level k, choose P_k ∈ ext Θ^(n_k) \\ ext Θ^(n_{k-1}); (ii) show P_k is mutually singular with all P_j, j<k, which depends on proving ext Θ^(n_{k-1}) ⊆ ext Θ^(n_k) (or otherwise deriving singularity from the T^{p_{n_k}}-ergodicity of the extremes); (iii) apply the standard lemma that countably many pairwise singular probability measures admit pairwise disjoint sets of full measure. The manuscript states none of this; without it, the contradiction is an assertion, not a proof. The missing lemma is standard and the argument is likely repairable, but as printed the central stabilization of Θ^(d) — and hence the finite period in Corollary 4.8 — rests on an uncompleted step. A referee should require the construction to be written out.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies T-invariant sublinear expectations E = sup_{P in Θ} E_P. It first decomposes E into components E^(d) obtained by Cesàro averaging along T^d, proves that each E^(d) is periodic with period p_d dividing d, and derives divisibility relations among the periods. For continuous sublinear expectations on (Ω, B_b(Ω)), it introduces strong T-ergodicity and proves Theorem 4.6, which asserts that the chain Θ^(d) stabilizes in the sense that Θ^(l) ⊂ Θ^(d) for some d and every l. As a consequence, Corollary 4.8 shows that a strongly T-ergodic continuous sublinear expectation with a periodic decomposition has a finite period p_E, and that the p_E-step time means are bounded above and below by E[f] and -E[-f] for every P in Θ, with some P_f attaining E[f] a.s. The paper ends with three examples: an i.i.d. sequence on R^∞, a countable state-space example, and a rotation example without a periodic decomposition.","tokens_in":11426,"tokens_out":18267,"duration_ms":166314,"significance":"If the proof gap identified below is repaired, the paper gives a clean structural result: under strong ergodicity and a periodic decomposition, the family of invariant sublinear components collapses to a single finite-period component, and an ergodic theorem attains the upper expectation. This is a natural and worthwhile extension of the Sheng–Song characterization of continuous ergodic capacities, and the divisibility lemmas in Section 3 are useful tools. The paper is honest about its use of [8] as a black box, and the new arguments are not circular. The examples are concrete and help delineate the boundary of the class of sublinear expectations admitting periodic decompositions.","major_comments":[{"comment":"The final step of the proof is incomplete. The strict increase card(ext Θ^(n_k)) < card(ext Θ^(n_{k+1})) for all k does not by itself contradict continuity. To invoke Remark 2.1, one must exhibit disjoint measurable sets A_k with V(A_k) ≥ ε > 0 for all k. This requires choosing P_k ∈ ext Θ^(n_k) \\ ext Θ^(n_{k-1}), proving that P_k is mutually singular with all previously chosen P_j, and then applying the standard lemma that countably many pairwise singular probability measures admit pairwise disjoint full-measure sets. The manuscript states none of these steps; without them the contradiction is an assertion rather than a proof. The missing lemma is standard and the gap appears repairable, but because Corollary 4.8's finite-period conclusion rests on this stabilization, the construction should be written out explicitly.","section":"Section 4, Theorem 4.6"},{"comment":"The assertion that the sets A_j = {i : α_j^i > 0} are disjoint because the probabilities in ext Θ(k), k = d, l, are mutually singular is too terse and, read literally, asks for cross-singularity between ext Θ(d) and ext Θ(l), which is not generally true: a T^{p_d}-ergodic measure and a T^{p_l}-ergodic measure need not be mutually singular. The needed argument is that the Q_i are pairwise singular, and that if two P_j shared a Q_i with positive coefficient, then both P_j and P_j' would assign positive mass to every set of Q_i-measure one, contradicting their mutual singularity; hence the A_j are disjoint. Moreover, because each P_j is extreme, each A_j is a singleton, so ext Θ(d) ⊂ ext Θ(l). This nested-extreme-point fact is also needed to make the sequence of new extreme measures in the final contradiction mutually singular with all previous ones. Please supply this argument.","section":"Section 4, Theorem 4.6, extreme-point paragraph"}],"minor_comments":[{"comment":"There are numerous typos and misspellings: \"Genenrally\", \"Theroem\", \"probablity\", \"euqal\", \"domonated\", \"contradition\", \"fucntion\", \"divider\" for gcd, \"invairant\", \"consenquently\". A careful proofreading pass is needed.","section":"Throughout"},{"comment":"Equation (4.2) writes the time mean with a plain \"lim\" even though the inequality is between -E[-f] and E[f]. Since P ∈ Θ = Θ^(p_E), every P is T^{p_E}-invariant and the usual pointwise ergodic theorem gives P-a.s. convergence, so the notation is defensible, but the reason should be stated; alternatively, replace \"lim\" by liminf/limsup and note that the limit exists a.s.","section":"Corollary 4.8, Eq. (4.2)"},{"comment":"The proof uses a partition {E_k}_{k=1}^m ⊂ I with P_i(E_i) = 1. This follows from the standard lemma that finitely many pairwise singular probability measures admit pairwise disjoint sets of full measure; please state or cite this fact so the argument is self-contained.","section":"Proposition 4.2"},{"comment":"The phrase \"root of unitary\" should read \"root of unity\". Also, the proof of continuity of V relies on the uniform integrability of the translates φ ∘ T^{-k}; a brief justification would help the reader.","section":"Example 5.3"},{"comment":"Reference [1] lists the second author as \"Boeder\"; the correct name is \"Border\".","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and the central idea is sound. The gap in Theorem 4.6 is localized and appears fillable, so I do not see grounds for rejection. I would ask the author to write out the disjoint-set construction, to justify the nested-extreme-point step, and to clarify the limit notation in Corollary 4.8. The reliance on the author's own published work [8] is normal black-box use and not circular."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper has one genuinely good idea and one genuine hole. The good idea is the periodic decomposition E = sup_d E^(d) in Section 3: each component is periodic, and the divisibility properties of periods (Theorem 3.6) are clean and convincing. Example 5.3 is also worth having—it gives a continuous, strongly ergodic ISE on the circle with no periodic decomposition, which proves the decomposition condition in Corollary 4.8 isn't vacuous.\n\nThe hole is Theorem 4.6. The proof asserts that a strictly increasing chain of card(ext Θ^(n_k)) contradicts continuity by Remark 2.1. To invoke Remark 2.1 you need disjoint sets A_k with V(A_k) bounded below by a positive constant. The manuscript never constructs them. And the natural construction doesn't work: a T-ergodic measure can split into two T^2-ergodic components that both overlap the original measure, so a 'new' extreme point at a later level need not be singular to the old ones. The paper gives no replacement argument. This matters because Corollary 4.8 and the advertised finite-period result sit directly on this theorem. The abstract overstates further by omitting the periodic-decomposition assumption from the finite-period claim.\n\nI don't think the paper is beyond repair. The theorem is likely true—continuity probably does rule out infinite splitting—and the rest of the paper is solid. The gap is a missing proof step, not a wrong idea. Sections 2 and 3 are written carefully. The use of Sheng-Song [8] as a black box is normal cumulative work, not circular.\n\nRecommendation: send it to a referee, but ask specifically for the proof of Theorem 4.6 to be completed and the abstract corrected. The paper deserves referee time; it just should not be accepted as is.","headline":"The periodic decomposition is a real contribution, but Theorem 4.6's proof as written does not establish the claimed contradiction, so the finite-period corollary rests on an unstated argument.","tokens_in":11909,"tokens_out":16401,"would_cite":true,"duration_ms":157999,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A12","28D05","37A30"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a continuous invariant sublinear expectation that is strongly T-ergodic, the family of periodic components stabilizes: there is some d such that Θ^(l) ⊆ Θ^(d) for every l, and with a periodic decomposition the whole expectation has a…","keywords":["invariant sublinear expectation","periodic decomposition","strong ergodicity","upper probability","ergodic theorem","extreme points","Banach-Mazur limit","T-invariant"],"falsifier":"Construct a continuous, strongly T-ergodic invariant sublinear expectation on a countable state space with a periodic decomposition whose component periods p_d grow unboundedly along a divisibility chain; Theorem 4.6 and Corollary 4.8 predict this is impossible, so finding such an example would refute the central theorem.","tokens_in":10957,"feed_emoji":"🔄","tokens_out":4297,"duration_ms":40477,"temperature":0.7,"pith_summary":"The paper establishes a structural decomposition for T-invariant sublinear expectations, i.e. upper expectations defined as suprema over a set of probability measures. Each component E^(d), built from time averages along T^d, is shown to be periodic: there is a finite p_d with E^(d)[f] = E^(d)[f∘$T^{{p_d}}$] for all f. The main result is that a continuous, strongly T-ergodic invariant sublinear expectation has a stabilizing top component, so whenever the expectation admits a periodic decomposition, it has a finite period p_E. From this, the paper derives an ergodic theorem: along the p_E-step dynamics, the time means converge to the upper expectation E[f] almost surely under at least one probability from the defining set Θ. This answers a natural question left open by earlier ergodic-capacity results, where time means were only bounded by E[f] rather than attaining it.","feed_headline":"Finite period emerges for strongly ergodic sublinear expectations","feed_subtitle":"The paper proves the upper expectation is reached by time means along that period, for each bounded function.","key_machinery":"The workhorse is the family E^(d)[f] = lim_{n→∞} (1/n) E[∑_{k=0}^{n-1} f∘$T^{{kd}}$] of subadditive time averages, with Θ^(d) the set of T^d-invariant probabilities dominated by E. These components satisfy a gcd lattice law — if Θ^(l) ⊆ Θ^(d) then Θ^(l) = Θ^(gcd(l,d)) (Lemma 3.3) — which forces the periods p_d to divide each other along divisibility chains. The stabilization proof uses the mutual singularity of extreme points: if ext Θ^(d) ⊆ co(ext Θ^(l)), then the supports of the extreme measures form disjoint sets, and a strictly increasing chain of cardinalities would produce infinitely many disjoint measurable sets of positive upper probability, contradicting continuity.","core_discovery":"The central discovery is the stabilization theorem (Theorem 4.6): given a continuous sublinear expectation E = sup_{P∈Θ} E_P on B_b(Ω) that is strongly T-ergodic, there exists a single d ∈ N such that Θ^(l) ⊆ Θ^(d) for every l ∈ N. Combined with the periodic decomposition E[f] = sup_{d∈N} E^(d)[f], this forces E itself to be periodic with a finite period p_E, and every component Θ^(d) to be the convex hull of finitely many $T^{{p_d}}$-ergodic probabilities. The paper then proves the limit of the p_E-step time means attains the upper expectation: for each bounded f there is a P_f ∈ Θ with lim_{n→∞} (1/n)∑_{k=0}^{n-1} f∘$T^{{kp_E}}$ = E[f], P_f-a.s.","pith_inferences":["The stabilization theorem suggests a general dichotomy for continuous invariant sublinear expectations: either the component chain Θ^(1) ⊆ Θ^(2) ⊆ ... stabilizes at a finite level, or the upper probability fails continuity by admitting infinitely many singular extreme measures.","One testable extension is whether the attainment result can be strengthened to simultaneous attainment: a single P ∈ Θ making the p_E-step time means converge to E[f] for every f in a dense subspace, rather than a separate P_f for each f.","The gcd lattice structure (Lemma 3.3) points to an analogous period-group structure for continuous-time flows; under an R-action, strongly ergodic invariant sublinear expectations might have a group of periods either {0} or a discrete lattice.","A concrete computational check would be to compute component periods for finite-state Markov chains with a sublinear expectation and see whether the stabilized period p_E matches the gcd of the periods of the ergodic classes, as the theorems predict."],"forward_implications":["If E has a periodic decomposition and is continuous strongly T-ergodic, then E = E^(p_E) and Θ^(d) = Θ^(gcd(d,p_E)); the whole structure is determined by finitely many T^{p_E}-ergodic probabilities.","For each bounded f, the p_E-step ergodic average converges P_f-a.s. to E[f] for some P_f ∈ Θ, so the upper expectation is exactly attainable as a long-run time mean.","For i.i.d. sequences under a regular sublinear expectation, the component periods satisfy p_d = d whenever E is not linear, recovering the known strong law of large numbers as a special case.","If Ω is countable, every continuous T-invariant sublinear expectation has a periodic decomposition (Example 5.2), so the finite-period and attainment results apply whenever strong ergodicity holds."],"supporting_citations":[{"why":"Supplies the characterization of continuous ergodic capacities (Theorem 2.3) and the ergodic theorem used to bound time means by E^(1)[f], which the paper extends to attaining E[f].","marker":"[8]"},{"why":"Provides the ergodic theorems for lower probabilities and the invariant-probability approximation argument adapted in Lemma 4.1.","marker":"[2]"},{"why":"Gives the Banach–Mazur limits needed to construct T-invariant probabilities in Lemma 4.1 and in the countable-space example.","marker":"[1]"}],"fun_headline_variants":["Strong ergodicity forces finite period in sublinear expectations","Sublinear expectations: finite period from strong ergodicity","Finite period for strongly ergodic sublinear expectations","Ergodic sublinear expectations achieve upper expectation periodically","Decomposition reveals finite period in invariant sublinear expectations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the component chain stabilizes assumes that the extreme probabilities chosen at successive levels are mutually singular, so their supports form countably many disjoint measurable sets; if this singular-support separation fails, the contradiction with continuity no longer follows.","fun_headline_variants_meta":{"raw":{"variants":["Strong ergodicity forces finite period in sublinear expectations","Sublinear expectations: finite period from strong ergodicity","Finite period for strongly ergodic sublinear expectations","Ergodic sublinear expectations achieve upper expectation periodically","Decomposition reveals finite period in invariant sublinear expectations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1294,"prompt_tokens":891,"completion_tokens":403,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":325}},"tokens_in":507,"tokens_out":403,"duration_ms":4186,"temperature":1.0,"reasoning_tokens":325,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:27:16.547350+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a continuous, strongly T-ergodic invariant sublinear expectation on a countable state space with a periodic decomposition whose component periods p_d grow unboundedly along a divisibility chain; Theorem 4.6 and Corollary 4.8 predict this is impossible, so finding such an example would refute the central theorem.","supporting_citations":[{"cited_title":"Sheng and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the characterization of continuous ergodic capacities (Theorem 2.3) and the ergodic theorem used to bound time means by E^(1)[f], which the paper extends to attaining E[f]."},{"cited_title":"Cerreia–Vioglio, F","cited_arxiv_id":null,"evidence_quote":"Provides the ergodic theorems for lower probabilities and the invariant-probability approximation argument adapted in Lemma 4.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Banach–Mazur limits needed to construct T-invariant probabilities in Lemma 4.1 and in the countable-space example."}],"review_version":1}