{"id":"1a7aac1b-a4d9-4bcd-898a-1ce9be65829f","arxiv_id":"1908.00998","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives entropy-based bounds for generalized fractal dimensions and claims a generic zero metric entropy result for systems with dense periodic measures.","lead":"This mathematics paper bounds generalized fractal dimensions of invariant measures by metric entropy and gives an alternative proof of a known result of Young, while claiming to settle a conjecture on generic zero entropy. The dimension bounds are plausible; the zero-entropy claim rests on an unsupported extension of the authors' own preprints and a false implication about specification.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised settlement of Sigmund's conjecture in Section 5 rests on the false implication that specification gives Mco(f)=M(f); Theorems 5.1 and 5.2 do not apply to the intended systems.","rationale":"The central dimension-entropy chain in Theorem 1.3 appears sound: the ball inclusions in Lemma 2.1 follow from the stated expansion bounds, and the punctual Brin-Katok hypothesis supplies the needed equality of local entropies with h_mu(f). The reader's conditional verdict is based on Section 5, and that concern is real. The key hypothesis Mco(f)=M(f) is not a consequence of specification; specification gives only density of periodic measures. Because M(f) is convex while Mco(f) consists of measures supported on one periodic orbit, equality would force M(f) to be a singleton, which fails for every specification system with more than one periodic orbit, such as the full shift. Thus Theorems 5.1 and 5.2 do not establish the advertised settlement of Sigmund's conjecture. The additional reliance on unproved extensions of the authors' preprints [5,6] is subordinate to this failed implication. Since this matches the reader's weakest assumption and leaves the rest of the main results intact, the conditional verdict should stand unchanged.","tokens_in":15686,"tokens_out":19228,"duration_ms":205971,"concrete_test":"Take (X,f)=({0,1}^Z,sigma), which has the specification property. Enumerate Mco(f) as the uniform measures on periodic sigma-orbits; the Bernoulli(1/2,1/2) measure is sigma-invariant but is not of that form, so Mco(f) is not equal to M(f). This counterexample disproves the implication used in Section 5, showing that Theorems 5.1 and 5.2 cannot be invoked for the specification systems in Sigmund's conjecture unless their hypothesis is weakened to density of Mco(f).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5's Theorems 5.1 and 5.2 are stated under the hypothesis Mco(f)=M(f), and the text asserts that the specification property gives this equality, citing [25]. This is not correct. Under the paper's own definition, Mco(f) contains only measures equidistributed on a single periodic orbit, whereas specification only guarantees that such measures are dense in M(f). Since M(f) is convex, a convex combination of two distinct periodic orbit measures is f-invariant but is not itself a periodic orbit measure; hence Mco(f)=M(f) can hold only when M(f) is a singleton. A specification system such as the full shift on {0,1}^Z has many invariant measures, so the premise of Theorems 5.1 and 5.2 fails exactly in the intended setting. The subsequent transfer of Propositions 2.2 and 2.5 from [6] and Theorem 1.2 from [5] to this general setting is a second unproved step, but the failed implication already blocks the claimed settlement of Sigmund's conjecture. The dimension-entropy sandwich in Theorem 1.3 is a separate result, and its proof via Lemma 2.1 appears internally sound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies upper and lower q-generalized fractal dimensions of invariant measures for continuous maps on compact metric spaces. Its main results are: (i) Theorem 1.2, which bounds generalized dimensions by uniform lower and upper local dimension constants; (ii) Theorem 1.3, which gives a quantitative sandwich relating metric entropy and generalized dimensions under uniform expansion and contraction constants, assuming Brin–Katok's theorem holds punctually; (iii) an alternative proof of Young's formula for the generalized dimensions of the Bowen–Margulis measure of a C^{1+α} Axiom A surface diffeomorphism; (iv) estimates for generalized dimensions of invariant measures of expansive homeomorphisms under a hyperbolic metric; and (v) genericity results for zero-entropy invariant measures, claimed to settle a conjecture of Sigmund for Lipschitz maps with the specification property.","tokens_in":16075,"tokens_out":6368,"duration_ms":63676,"significance":"If correct, Theorems 1.2 and 1.3 would provide a clean and useful bridge between metric entropy and generalized fractal dimensions, and the alternative proof of Young's theorem would be a valuable exposition. The paper is clearly written and the dimension-entropy inequalities in Sections 2 and 4 are plausible and partly standard. However, the Section 5 claim to settle Sigmund's conjecture rests on a false implication about the specification property, and the proofs of Theorems 5.1 and 5.2 also depend on unverified extensions of results from the authors' preprints. Because this advertised contribution is invalid as stated, the paper in its current form cannot be recommended for publication.","major_comments":[{"comment":"The assertion that the specification property implies Mco(f) = M(f) is false. Under the paper's own definition, Mco(f) is the set of periodic orbit measures, i.e., measures equidistributed on a single periodic orbit. Specification guarantees only that such measures are dense in M(f). Since M(f) is convex, any convex combination of two distinct periodic orbit measures is invariant but is not itself a periodic orbit measure; hence Mco(f) = M(f) can hold only when M(f) consists of a single periodic orbit measure. Thus the hypothesis of Theorems 5.1 and 5.2 fails for the intended examples such as the full shift or Axiom A systems, and the claimed settlement of Sigmund's conjecture collapses.","section":"Section 5, Definition of Mco(f) and Theorems 5.1, 5.2"},{"comment":"The proofs rely on Propositions 2.2 and 2.5 of the authors' preprint [6] and Theorem 1.2 of preprint [5], which are neither proved nor independently verified in this manuscript. The text asserts that these results 'can be extended' from the full-shift to the general setting, but no argument or precise statement is supplied. Since Lemma 2.1 only converts zero dimension into zero entropy, the generic zero-entropy conclusion depends entirely on these unproved transfer statements.","section":"Section 5, proofs of Theorems 5.1 and 5.2"},{"comment":"The covering argument contains a gap. After choosing the finite subcover {B(x_i, epsilon(x_i))}, the proof constructs balls B(y_j, epsilon(k)) with y_j belonging to some B(x_l, epsilon(x_l)), and then applies inequality (9) to B(y, epsilon) for epsilon <= epsilon(k). However, (9) requires y to lie in B(x_l, epsilon), not merely in the larger ball B(x_l, epsilon(x_l)); the small ball B(y_j, epsilon(k)) need not be contained in any B(x_l, epsilon(x_l)). This gap is likely repairable by a standard Lebesgue-number or Vitali covering argument, but as written the proof of Theorem 1.2 is incomplete, and Theorem 1.3 depends on it.","section":"Section 2, proof of Theorem 1.2"}],"minor_comments":[{"comment":"The line 'Thus, for q = 0' in the passage leading to equation (20) is confusing: the statement of Theorem 1.5 concerns q in [0,1), and the proof appears to specialize to q=0 after using monotonicity. Please clarify the logical order and explicitly state where the monotonicity of D^+_mu(q) is being invoked.","section":"Section 4, proof of Theorem 1.5"},{"comment":"The hypothesis 'Brin-Katok's Theorem is satisfied punctually' should be stated explicitly as a definition (e.g., the lower and upper local entropies coincide for every point and equal h_mu(f)). As written, the reader must infer the meaning from the proofs.","section":"Section 1, Theorem 1.3 and Remark 1.1"},{"comment":"Corollary 5.1 is stated for the full shift over an uncountable alphabet; the proof refers to the same unverified extension of [6], so the corollary is not established independently of the preprint results.","section":"Section 5, Corollary 5.1"},{"comment":"There are several minor typographical issues, including 'Hentchel' for 'Hentschel' in Definition 1.2 and the inconsistent use of 'closet' for 'closed' in Section 4. These should be corrected in a revision.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The dimension-entropy results in Sections 2 and 4 may be salvageable, and a revised paper limited to those results could be suitable for a future submission. However, the Section 5 genericity results, which are advertised in the abstract and introduction, are invalid as stated because the specification property does not imply Mco(f) = M(f), and the proofs depend on unverified extensions of the authors' preprints. This is a load-bearing error that cannot be fixed by a local correction within the manuscript's current scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague —\n\nThis paper is a mixed bag. The advertised settlement of Sigmund's conjecture is wrong; the dimension-entropy material that makes up most of the paper is mostly correct and worth a look.\n\nWhat's new: Lemma 2.1 gives clean bounds on lower and upper local dimensions in terms of local entropy divided by the log of the expansion constants, and Theorem 1.3 packages it into a sandwich h/ log Lambda ≤ D^- ≤ ... ≤ D^+ ≤ h/ log lambda. That is a useful refinement of Young's theorem, and Theorems 1.5 and 1.6 extend the idea to expansive homeomorphisms. The alternative proof of Young's formula in Section 3 is fine as a re-derivation, though not new. I don't share the reader's complaint about the covering argument in Theorem 1.2: inequality (9) applies pointwise to every y in supp μ, and the finite sub-cover is used only to get the uniform ε(k). The proof works as written, modulo a few details.\n\nThe soft spot is Section 5, and it is load-bearing. Theorems 5.1 and 5.2 assume Mco(f)=M(f), and the paper claims the specification property implies this equality, citing Sigmund. It doesn't. Specification implies the periodic orbit measures are dense in M(f), not that every invariant measure is a periodic orbit measure. Since M(f) is convex, Mco(f)=M(f) can only hold when there is a single invariant measure. So the premise of both theorems fails exactly for the systems the conjecture concerns (full shift, Axiom A, etc.). The second step, transferring Propositions 2.2 and 2.5 from the authors' preprint [6] and Theorem 1.2 from [5], is also unproved in this setting. The conclusion that zero entropy is residual may be true (it is known in many cases), but this proof does not establish it.\n\nThe dimension-theoretic results in Sections 2–4 are independent of Section 5 and appear sound. The citation pattern is honest, though the reliance on two unpublished preprints for the Section 5 load is a concern.\n\nVerdict: send to peer review with a strong recommendation that Section 5 be cut to a remark or replaced by a correct proof. The paper as a whole deserves a serious referee because the new inequalities are useful and the core proofs are careful. I'd bring the first half to a reading group; the second half is a cautionary example.","headline":"The dimension-entropy inequalities are mostly sound and worth knowing, but the Section 5 settlement of Sigmund's conjecture fails on a false equality.","tokens_in":16487,"tokens_out":4388,"would_cite":true,"duration_ms":42035,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37C45","37B40","37C40","37D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For uniformly expanding maps, the full spectrum of generalized fractal dimensions of an invariant measure is pinned between entropy divided by the two expansion rates.","keywords":["expansive homeomorphisms","Hausdorff dimension","packing dimension","invariant measures","generalized fractal dimensions","dynamical systems with specification","metric entropy","Brin-Katok theorem"],"falsifier":"Compute the energy integral $I_\\mu(q,\\varepsilon)$ for an ergodic invariant measure of a linear expanding map of a torus that satisfies the uniform expansion bounds and Brin-Katok pointwise. If the empirical lower dimension $D^-_\\mu(q)$ falls below $h_\\mu(f)/\\log \\Lambda$ or the upper dimension $D^+_\\mu(s)$ exceeds $h_\\mu(f)/\\log \\lambda$, Theorem 1.3 is false.","tokens_in":15522,"feed_emoji":"📐","tokens_out":11338,"duration_ms":97683,"temperature":0.7,"pith_summary":"The paper's central aim is a quantitative bridge between the dynamical quantity metric entropy and the geometric quantities called $q$-generalized fractal dimensions of invariant measures. It proves that when a continuous map on a compact metric space expands small distances by a factor between $\\lambda$ and $\\Lambda$, and the measure satisfies Brin-Katok's theorem pointwise, then every generalized dimension $D^-_\\mu(q)$ and $D^+_\\mu(s)$ lies between $h_\\mu(f)/\\log \\Lambda$ and $h_\\mu(f)/\\log \\lambda$ for $q>1$ and $s<1$. This makes metric entropy the controlling quantity for the dimension spectrum, and it gives an alternative route to Young's formula for the Bowen-Margulis measure of a $C^{1+\\alpha}$ Axiom A surface diffeomorphism. The paper also derives generic zero-dimension and zero-entropy statements for expansive homeomorphisms and for Lipschitz systems with specification, including a proposed settlement of Sigmund's conjecture.","feed_headline":"Metric entropy brackets fractal dimensions of measures","feed_subtitle":"For uniformly expanding maps, every scale dimension of an invariant measure falls between the two entropy ratios.","key_machinery":"The load-bearing object is the pair of uniform local dimensions $\\underline d_\\mu(x)$ and $\\overline d_\\mu(x)$, the liminf and limsup of $\\log \\mu(B(y,\\varepsilon))/\\log \\varepsilon$ as $\\varepsilon\\to 0$ with $y$ near $x$. The argument combines two inclusions for Bowen balls under the expansion hypothesis: $B(x,\\varepsilon\\Lambda^{-n})\\subset B(x,n,\\varepsilon)$ and $B(x,n,\\varepsilon)\\subset B(x,\\varepsilon\\lambda^{-n})$, which transfer exponential rates of orbit separation into rates for $\\mu(B(x,\\varepsilon))$. These bounds give $\\underline d_\\mu(x)\\ge h_\\mu(f)/\\log \\Lambda$ and $\\overline d_\\mu(x)\\le h_\\mu(f)/\\log \\lambda$, and Theorem 1.2 then converts them into uniform bounds on $D^-_\\mu(q)$ and $D^+_\\mu(s)$ across the whole $q$-range.","core_discovery":"The central discovery is the chain of inequalities in Theorem 1.3: under the stated hypotheses, for every $q>1$ and $s<1$, one has $h_\\mu(f)/\\log \\Lambda \\le D^-_\\mu(q) \\le D^-_\\mu(1) \\le D^+_\\mu(1) \\le D^+_\\mu(s) \\le h_\\mu(f)/\\log \\lambda$. The proof shows that the lower and upper local dimensions of $\\mu$ are pointwise bounded by $h_\\mu(f)/\\log \\Lambda$ and $h_\\mu(f)/\\log \\lambda$, and then invokes a general covering argument that upgrades such uniform local-dimension bounds into bounds on every generalized dimension. Thus the entire $q$-spectrum of an invariant measure is controlled by metric entropy and the expansion constants alone, without additional multifractal data.","pith_inferences":["Beyond the paper, the bracketing may extend to measures satisfying Brin-Katok only almost everywhere, which would transfer the entropy control of dimension spectra from uniformly hyperbolic to many non-uniformly hyperbolic systems.","The theorem also suggests a variational formula in which the lower bound $h_\\mu(f)/\\log \\Lambda$ plays the role of a dimension lower bound, connecting the result to Kaplan-Yorke-type estimates for non-conformal attractors.","A testable extension is to check numerically on piecewise expanding maps whether empirical correlation sums obey the same bracketing when the uniform expansion constants are replaced by local time-averaged expansion rates."],"forward_implications":["For any $f$-homogeneous measure on a uniformly expanding system, all generalized dimensions for $q>1$ and $s<1$ are bracketed by $h_\\mu(f)/\\log \\Lambda$ and $h_\\mu(f)/\\log \\lambda$.","The Bowen-Margulis measure of a $C^{1+\\alpha}$ Axiom A surface diffeomorphism satisfies $D^\\pm_\\mu(q)=h_\\mu(T)(1/\\lambda_1-1/\\lambda_2)$ for every real $q$, recovering Young's formula by a new route.","An expansive homeomorphism with a hyperbolic metric obeys $D^+_\\mu(q)\\le h_\\mu(f)\\log k$ for $q\\ge 1$ and $D^+_\\mu(q)\\le 2h(f)/\\log k$ for $q\\in[0,1)$, so dimension spectra of invariant measures are bounded by entropy and the hyperbolicity constant.","For $C^1$ Axiom A systems, a residual set of invariant measures has $D^+_\\mu(q)=0$ for $q\\ge1$, meaning typical orbits are extremely tight on small scales.","If an expansive homeomorphism carries a measure with $D^+_\\mu(q)>0$, then the topological entropy is positive."],"supporting_citations":[{"why":"Supplies the inequalities connecting generalized dimensions to local dimensions used in Proposition 1.1.","marker":"[2]"},{"why":"Extends pointwise and Rényi dimension identities used to relate D± to local dimensions.","marker":"[20]"},{"why":"Defines the energy function and proves the uniform convergence of correlation sums to it.","marker":"[16]"},{"why":"Provides the dimension-theory toolbox and the conformal repeller example satisfying the theorem's hypotheses.","marker":"[17]"},{"why":"Young's proof template for relating local dimensions to entropy via Lyapunov exponents is followed in Corollary 1.2.","marker":"[31]"},{"why":"Constructs the hyperbolic metric for expansive homeomorphisms used in Theorems 1.5 and 1.6.","marker":"[10]"},{"why":"Introduces the specification property and the conjecture on generic zero entropy addressed in Section 5.","marker":"[25]"},{"why":"Shows ergodic measures form a G-delta set, used to establish genericity in Theorem 5.1.","marker":"[14]"},{"why":"Supplies the full-shift genericity propositions that Theorem 5.1 assumes extend to general Lipschitz systems.","marker":"[6]"},{"why":"Supplies the full-shift zero-dimension theorem that Theorem 5.2 assumes extends to the general setting.","marker":"[5]"}],"fun_headline_variants":["Entropy pins down all fractal dimensions of invariant measures","Metric entropy bounds the entire q-spectrum of measures","Entropy ratios constrain every generalized dimension","For expanding maps, entropy brackets every fractal dimension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The Section 5 genericity results stand on two premises: that periodic measures exhaust the space of invariant measures, and that zero-dimension genericity theorems proved for full shifts carry over unchanged to general Lipschitz systems; if either premise fails, the zero-entropy genericity claims collapse.","fun_headline_variants_meta":{"raw":{"variants":["Entropy pins down all fractal dimensions of invariant measures","Metric entropy bounds the entire q-spectrum of measures","Entropy ratios constrain every generalized dimension","For expanding maps, entropy brackets every fractal dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1354,"prompt_tokens":995,"completion_tokens":359,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":300}},"tokens_in":611,"tokens_out":359,"duration_ms":3981,"temperature":1.0,"reasoning_tokens":300,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:26:34.497062+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the energy integral $I_\\mu(q,\\varepsilon)$ for an ergodic invariant measure of a linear expanding map of a torus that satisfies the uniform expansion bounds and Brin-Katok pointwise. If the empirical lower dimension $D^-_\\mu(q)$ falls below $h_\\mu(f)/\\log \\Lambda$ or the upper dimension $D^+_\\mu(s)$ exceeds $h_\\mu(f)/\\log \\lambda$, Theorem 1.3 is false.","supporting_citations":[{"cited_title":"Generalized fractal dimensions: equivalences and basic properties","cited_arxiv_id":null,"evidence_quote":"Supplies the inequalities connecting generalized dimensions to local dimensions used in Proposition 1.1."},{"cited_title":"Pointwise dimensions and R´ enyi dim ensions","cited_arxiv_id":null,"evidence_quote":"Extends pointwise and Rényi dimension identities used to relate D± to local dimensions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the energy function and proves the uniform convergence of correlation sums to it."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the dimension-theory toolbox and the conformal repeller example satisfying the theorem's hypotheses."},{"cited_title":"Dimension, entropy and Lyapunov expone nts","cited_arxiv_id":null,"evidence_quote":"Young's proof template for relating local dimensions to entropy via Lyapunov exponents is followed in Corollary 1.2."},{"cited_title":"Expansiveness, hyperbolicity and Hausd orff dimension","cited_arxiv_id":null,"evidence_quote":"Constructs the hyperbolic metric for expansive homeomorphisms used in Theorems 1.5 and 1.6."},{"cited_title":"On dynamical systems with the specificati on property","cited_arxiv_id":null,"evidence_quote":"Introduces the specification property and the conjecture on generic zero entropy addressed in Section 5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows ergodic measures form a G-delta set, used to establish genericity in Theorem 5.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the full-shift genericity propositions that Theorem 5.1 assumes extend to general Lipschitz systems."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the full-shift zero-dimension theorem that Theorem 5.2 assumes extends to the general setting."}],"review_version":1}