{"id":"a67235dc-ed32-4d05-8aab-9c18e6846268","arxiv_id":"2606.08683","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Under minimal Kahane-Peyriere integrability, dyadic Mandelbrot cascades satisfy dim_F(mu) = dim_E(mu) = dim_2(mu) = D_E(X) almost surely on non-extinction, with explicit sup formulas for scalar and circle cases.","lead":"This paper proves exact formulas for the Fourier dimension of measures from dyadic Mandelbrot cascades, equaling the energy dimension under minimal integrability on the weights. A smart generalist might read it to see how precise dimension calculations work for random fractal measures in probability theory.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the minimal integrability condition that the paper invokes to obtain the dimension equalities. Because the manuscript claims a proof under precisely those hypotheses and the abstract states no additional moment requirements, the load-bearing point is the one already flagged; no further softening of the argument is detected.","tokens_in":1902,"tokens_out":346,"duration_ms":18357,"concrete_test":"Specialize the vector theorem to the i.i.d. scalar case (independent sibling weights) and verify that the resulting expression for dim_F(mu) reduces exactly to sup_{1<q<2} max{0, 2-(2/q)(1+log_2 E[W^q])} with the infinity convention; if the reduction fails for any admissible W, the vector-to-scalar step contains a gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim equates Fourier, energy, and L^2 dimensions to D_E(X) for balanced energy-admissible vector laws under the stated Kahane-Peyrière conditions (E W=1, E[W log_2^+ W]<∞, E[W log_2 W]<1). These are the minimal conditions guaranteeing non-degeneracy and positive dimension for the cascade; the vector extension with arbitrary sibling dependence is encoded in the admissibility definition, and the scalar/circle formulas follow by specialization. The light-tail/heavy-tail split is handled separately via energy dimension (interval) versus local dimension (circle). No internal inconsistency, hidden stronger moment requirement, or mismatch between the vector setup and the claimed equalities is apparent from the theorem statements.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript determines the Fourier dimension of dyadic Mandelbrot cascades under the minimal Kahane-Peyrière integrability conditions. In a vector-valued dyadic cascade model allowing arbitrary dependence among sibling weights, it proves that for every balanced energy-admissible vector law, almost surely on non-extinction, dim_F(μ)=dim_E(μ)=dim_2(μ)=D_E(X). In the canonical scalar case (W≥0, EW=1, E[W log₂⁺W]<∞, E[W log₂ W]<1), this specializes to dim_F(μ)=sup_{1<q<2} max{0, 2-(2/q)(1+log₂ E[W^q])}, with the term zero when E[W^q]=∞. An endpoint result is also proved for the cascade on the unit circle: dim_F(μ_circle)=sup_{q>1} max{0, (q-1-log₂ E[W^q])/q}. The interval and circle cases share a light-tail/heavy-tail dichotomy but use different mechanisms (energy dimension versus minimum lower local dimension).","tokens_in":2019,"tokens_out":510,"duration_ms":20149,"significance":"If the results hold, the work supplies the sharp Fourier dimension for these random measures under the weakest integrability assumptions that guarantee non-degeneracy and positive dimension. The vector-valued extension with arbitrary sibling dependence broadens the model beyond the usual independent case, and the explicit scalar formulas recover the canonical Mandelbrot-Kahane result at the minimal moment threshold. The distinction between energy-dimension arguments on the interval and the finite-moment annular Fourier theorem on the circle is a technically interesting feature.","major_comments":[],"minor_comments":[{"comment":"The definition of the vector law being 'balanced energy-admissible' is central to the main theorem; a brief recall or pointer to its precise statement would improve readability in the theorem formulation.","section":"Main theorem (vector case)"},{"comment":"The convention that the term vanishes when E[W^q]=∞ is stated in the abstract; confirm that the same convention is explicitly noted in the scalar theorem statement and any subsequent corollaries.","section":"Scalar theorem"},{"comment":"Notation D_E(X) appears in the vector result; ensure it is defined before the first theorem or that a forward reference is given.","section":"Introduction / notation section"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the report.","responses":[],"tokens_in":1463,"tokens_out":46,"duration_ms":4961,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is that they close the exact Fourier dimension for these cascades when the weights meet only the minimal integrability: E W = 1, E[W log₂⁺ W] < ∞, and E[W log₂ W] < 1. For the vector model with arbitrary sibling dependence, they show dim_F(μ) = dim_E(μ) = dim₂(μ) = D_E(X) almost surely on non-extinction, provided the law is balanced and energy-admissible. The scalar case then drops out as that explicit sup over q ∈ (1,2) of max{0, 2 - (2/q)(1 + log₂ E[W^q])}. The circle version uses a different route, giving dim_F(μ_circle) = sup_{q>1} max{0, (q-1 - log₂ E[W^q])/q}, with the lower bound coming from an annular Fourier estimate.\n\nThey handle the vector setting cleanly, which lets dependence between siblings sit inside the admissibility condition rather than forcing independence. The light-tail versus heavy-tail split is treated separately for the interval (via energy dimension) and the circle (via local dimension), and the formulas match the known boundary cases when moments are stronger. That is the concrete advance over earlier work that needed extra integrability.\n\nThe proofs are not visible in the abstract, so the main uncertainty is whether the annular Fourier theorem on the circle really closes under exactly the stated moments or whether some hidden control sneaks in. The energy-admissibility definition also needs to be checked to see that it carries the dependence all the way through the estimates without extra assumptions. Those are the only soft spots; nothing in the stated claims looks circular or over-fitted.\n\nThis is for people already working on random multiplicative cascades and Fourier dimension of measures. A reader who knows the Kahane-Peyrière theory will see the value in the minimal-condition formulas and the vector extension. It is worth sending to a serious referee because the result is stated precisely and the conditions are the natural ones.","headline":"The paper gives exact Fourier-dimension formulas for vector dyadic Mandelbrot cascades under the weakest Kahane-Peyrière conditions, with a separate circle result.","tokens_in":2490,"tokens_out":498,"would_cite":true,"duration_ms":12846,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Dyadic Mandelbrot cascades have equal Fourier, energy and L2 dimensions almost surely under minimal integrability.","keywords":["Mandelbrot cascade","Fourier dimension","energy dimension","Kahane-Peyriere condition","multiplicative cascades","dyadic measures","random fractals"],"falsifier":"A weight distribution meeting E[W log_2^+ W] < infinity and E[W log_2 W] < 1 for which the Fourier dimension of the resulting cascade measure differs from the predicted supremum on a set of positive probability.","tokens_in":2805,"feed_emoji":"📐","tokens_out":734,"duration_ms":21550,"temperature":0.7,"pith_summary":"The paper shows that for dyadic Mandelbrot cascades generated by vector weights obeying a balanced energy-admissible law, the Fourier dimension equals the energy dimension and the quadratic dimension almost surely when the cascade does not die out. This identification uses only the minimal Kahane-Peyriere integrability on the weights together with a logarithmic moment condition. In the scalar setting the common value takes an explicit form as a supremum over moment orders between one and two. The circle version yields a different supremum that involves the minimum lower local dimension. Readers care because these equalities give the exact rate at which the Fourier transform of the random measure decays, controlling its smoothness and correlation properties.","feed_headline":"Cascades equate Fourier and energy dimensions under minimal conditions","feed_subtitle":"Almost sure equality holds on survival for both intervals and circles, with explicit moment-based formulas in the scalar case.","key_machinery":"The energy dimension D_E(X) of the underlying branching process, which equals the common value of the three dimensions for the cascade measure mu.","core_discovery":"For every balanced energy-admissible vector law the equality dim_F(mu) = dim_E(mu) = dim_2(mu) = D_E(X) holds almost surely on non-extinction. In the scalar case with nonnegative weights normalized to mean one, under the conditions E[W log_2^+ W] finite and E[W log_2 W] less than one, the common dimension equals the supremum over q in (1,2) of max{0, 2 - (2/q)(1 + log_2 E[W^q])}. On the unit circle the Fourier dimension equals the supremum over q greater than one of max{0, (q-1 - log_2 E[W^q])/q}.","pith_inferences":["The proof techniques may adapt to cascades on other groups or trees beyond dyadic intervals and the circle.","Numerical verification of the sup formulas could be done by generating many realizations and estimating Fourier transforms at high frequencies.","The distinction between energy dimension on the line and local dimension on the circle highlights how geometry influences which quantity governs Fourier decay."],"forward_implications":["The light-tail/heavy-tail dichotomy appears in both the interval and circle settings.","The circle result relies on a finite-moment annular Fourier theorem rather than energy methods.","The formulas remain valid when some moments E[W^q] are infinite, returning zero in that case.","The vector model accommodates arbitrary dependence between sibling weights."],"fun_headline_variants":["Fourier equals energy in dyadic Mandelbrot cascades","Dyadic cascades match Fourier and energy dimensions","Scalar cascades give Fourier dimension from moment supremum","Fourier dimension on circle from minimum local dimension","Energy admissible laws equate dimensions almost surely on survival"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The weight law must obey the minimal Kahane-Peyriere integrability condition and satisfy E[W log_2 W] < 1.","fun_headline_variants_meta":{"raw":{"variants":["Fourier equals energy in dyadic Mandelbrot cascades","Dyadic cascades match Fourier and energy dimensions","Scalar cascades give Fourier dimension from moment supremum","Fourier dimension on circle from minimum local dimension","Energy admissible laws equate dimensions almost surely on survival"]},"model":"grok-4.3","cost_usd":0.00733,"raw_usage":{"total_tokens":3440,"prompt_tokens":801,"num_sources_used":0,"completion_tokens":63,"cost_in_usd_ticks":73299500,"prompt_tokens_details":{"text_tokens":801,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2576,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":801,"tokens_out":63,"duration_ms":14098,"temperature":1.0,"reasoning_tokens":2576,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T17:57:20.485879+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A weight distribution meeting E[W log_2^+ W] < infinity and E[W log_2 W] < 1 for which the Fourier dimension of the resulting cascade measure differs from the predicted supremum on a set of positive probability.","supporting_citations":[],"review_version":1}