{"id":"a4ac6818-583a-401f-9ca7-a0072f08baa6","arxiv_id":"2505.04383","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Random self-affine sponges in R^d almost surely have Hausdorff and Minkowski dimensions equal to min{d,s0}, where s0 is the zero of the expected singular-value pressure, with no separation condition.","lead":"This paper proves that for randomly generated self-affine sponges in any dimension, the Hausdorff and Minkowski dimensions coincide almost surely and equal a simple formula based on the expected contraction rates. It removes the usual separation condition, so the result covers highly overlapping fractal constructions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the proof is intricate but the main tools check out, with (R4) as the expected limiting assumption.","rationale":"The reader accepted the paper with moderate confidence, identifying (R4) as the weakest assumption. I agree that (R4) is the most fragile condition in the sense that the lower-bound proof depends on it entirely, and I would not claim the theorem holds without it. However, (R4) is an explicit, checkable hypothesis of the theorem, not a hidden assumption. I could not find a concrete error in the main line: the martingale construction in Section 2 is sound, the coordinate-wise transversality in Section 3 is consistent with the one-dimensional argument of Koivusalo, and the upper bound in Proposition 4.1 is a standard singular-value-function covering argument. The most delicate place is the energy computation in Proposition 4.2, where the measure is defined on block-concatenations but the integral decomposes into cylinders of arbitrary length; the choice of m making b+m divisible by q_n seems intended to keep the relevant prefixes block-aligned, and the constants in the transversality application are n-dependent, which is allowed. I did not find a fatal flaw, so I recommend no change to the reader's ACCEPT verdict. The proposed concrete test would add confidence to the most compressed step of the proof.","tokens_in":20425,"tokens_out":54909,"duration_ms":518426,"concrete_test":"Re-derive the inequality in Proposition 4.2 after the line 'Proposition 3.4 gives', keeping explicit track of the prefactor |alpha^(k)_{p∧q}| in the denominator; verify that the subsequent collapse of the sum over p,q uses the definition of s_n to bound the expectation by a constant independent of m.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read the paper in good faith and could not identify a load-bearing gap in the central argument. The theorem is precisely stated, the upper bound is a standard covering argument, and the lower bound follows the Koivusalo template with a martingale measure and coordinate-wise transversality. The eventual smoothness assumption (R4) is the most fragile premise: it enters directly into the linear estimate (3.3) and through Propositions 3.3 and 3.4 controls the probability of close returns of different symbolic words. If (R4) fails, the transversality bound is not available and the lower-bound proof does not go through. This is an explicit hypothesis of the theorem rather than a hidden assumption, so it does not undermine the central claim as stated. The only point I would double-check is the application of Proposition 3.4 inside the energy estimate (Proposition 4.2), where the conditioning sigma-algebra and the block-aligned prefixes require care; a close reading suggests the constants absorb the necessary factors, but the exposition is compressed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an almost-sure dimension formula for random self-affine sponges in R^d with diagonal matrices and random contraction rates, assuming independence, identical distribution, uniform bounds, and eventual smoothness of each coordinate's logarithmic contraction distribution (assumptions R1-R4). The main result, Theorem 1.2, states that almost surely dim_H(X)=dim_M(X)=min{d,s0}, where s0 is the unique solution of max_sigma sum_i E(phi_{s0}^sigma(A_i))=1, and that L^d(X)>0 almost surely when s0>d. The proof combines a covering argument for the upper bound, an n-step multiplicative system and martingale random measure for the lower bound, and a coordinate-wise transversality estimate, followed by a density argument for positive Lebesgue measure. Several examples illustrate the scope, including a one-dimensional random self-similar set with overlaps and random 4-corner sets in the plane.","tokens_in":20565,"tokens_out":22475,"duration_ms":218465,"significance":"If the result is correct, it is a substantial contribution to the dimension theory of self-affine sets: it removes all separation conditions in the random sponge setting and extends Koivusalo's one-dimensional formula to higher-dimensional diagonal systems. The theorem is precisely stated and the dimension parameter s0 is defined by an explicit expectation equation, so the formula is checkable and has no free fitted parameters. The proof is structurally sound: the upper bound is a clean covering argument, and the lower bound follows the Koivusalo template with a martingale measure and coordinate transversality. The eventual smoothness condition (R4) is the crucial hypothesis; it is stated explicitly and is used exactly where the transversality estimate needs a quantitative small-ball probability, so this is a legitimate assumption rather than a hidden gap. The examples, including systems with exact overlaps, are useful and demonstrate that the assumptions are natural.","major_comments":[],"minor_comments":[{"comment":"When p>1, Lemma 3.2 is cited for the lower bound on |π_{i∧j·i'|k}(σ^{k+1}i')−t_ℓ|, but σ^{k+1}i' begins with the repeated letter ℓ rather than with the cylinder used in Lemma 3.2; the bound is nevertheless true after iterating f_ℓ and replacing c by α^{p−1}c, so the proof should state this iteration explicitly.","section":"§3.1, Proposition 3.3"},{"comment":"The displayed estimate P(A_n α^{ns}>1)≤P(α<∑_{i∈C_n}ψ^s(i)) is not literally a consequence of the preceding covering bound; tracking the constants from the covering ratio, including the factor 2 and the relationship between A_n and ψ^s(i), gives the same Borel-Cantelli conclusion, but the chain as written should be rewritten.","section":"§4.1, Proposition 4.1"},{"comment":"The step in which µ_n([hip])µ_n([hjq]) is replaced by φ^{sn}_σ(hip)φ^{sn}_σ(hjq) and the X-factors are removed is compressed: the proof should specify the σ-algebra F_{n+m+1}, the conditional independence of X_{hip} and X_{hjq}, and the measurability of the indicator event. In addition, the notation π^k_h(ip) for finite words ip should be disambiguated from projections of infinite words.","section":"§4.2, Proposition 4.2"},{"comment":"In the definition of f_{i2}, the fourth coordinate term appears as α^{(4)}_{i4}; this looks like a typo and should be α^{(4)}_i.","section":"§1.1, Example 1.5"},{"comment":"The displayed formulas use s both for the dimension parameter and for the fixed exponent in constants such as (α/α)^{s(p+p')}; using s_n or t consistently would remove ambiguity.","section":"§4.2, Proposition 4.2"}],"recommendation":"minor_revision","confidential_remarks":"The paper fits the journal's scope and the central claim appears sound. The issues I found are local presentational and notational problems rather than obstacles to the main proof. No concerns about citation practices: the self-citations [5] and [6] are used as background. I would be happy to see the revised version accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this paper proves a real theorem. For self-affine sponges in R^d with random diagonal contractions, the Hausdorff and Minkowski dimensions coincide almost surely and equal min{d,s0}, with positive Lebesgue measure when s0>d. No separation condition is assumed. That is a genuine extension: Koivusalo's one-dimensional formula and Feng's deterministic sponge theorem with exponential separation. If correct, it fills the natural gap.\n\nWhat is actually new: the randomness is in the matrices, not just the translations, and the theorem handles overlaps, including exact overlaps, without separation. The upper bound is a clean covering argument driven by the expectation pressure. The lower bound follows the Koivusalo template but with real work: n-step multiplicative systems, an L2-martingale construction of a random measure (Theorem 2.1), coordinate transversality, and an energy estimate. The eventual-smoothness assumption (R4) does the heavy lifting: it yields the linear density estimate (3.3), which drives Propositions 3.3 and 3.4. The proof is self-contained, and I did not find a load-bearing gap.\n\nThe soft spots are in proportion. (R4) is genuinely fragile: if no coordinate has a smooth log-contraction distribution, the transversality bound fails and the lower-bound proof stops. But it is an explicit hypothesis, not a hidden one. The d=1 discussion in Example 1.3 sits outside the formal d>=2 setup; harmless but slightly untidy. The most compressed step is the conditioning in Proposition 4.2, where the sigma-algebra Rh,ip and block-aligned prefixes require care; the constants appear to absorb the awkward factors, but a referee should verify that the independence of the X variables really justifies the conditional expectation swap. The citation pattern is fine; the self-citations are background, not load-bearing.\n\nThe paper deserves a serious referee. The main claim is likely right, the proof is coherent, and the result is one that people in fractal geometry and ergodic theory will want to cite. I would send it to review, with a request to expand the compressed probabilistic conditioning slightly.","headline":"Randomizing the contractions removes the separation condition for self-affine sponges and yields the expected dimension formula; the proof is intricate, and the explicit cost is the eventual-smoothness assumption (R4).","tokens_in":21120,"tokens_out":1252,"would_cite":true,"duration_ms":12930,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A80","37C45","60D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A self-affine sponge with random contractions almost surely has Hausdorff and Minkowski dimension equal to $\\min\\{d,s_0\\}$, defined by an expected-pressure equation, with no separation condition needed.","keywords":["random self-affine set","self-affine sponge","Hausdorff dimension","Minkowski dimension","random iterated function system","singular value function","transversality","separation condition"],"falsifier":"Run the one-dimensional system of Example 1.3 with one random ratio uniform on $[1/3,1/2]$ and fixed ratios $1/3$ and $1/4$, and estimate the Hausdorff and box dimensions of deep prefixes; the theorem predicts both are almost surely $1$, the root of $\\int_{1/3}^{1/2}6x^s\\,dx+3^{-s}+4^{-s}=1$. A systematic gap between the measured dimensions and $s=1$, or a single realization with $\\dim_H(X)<\\dim_M(X)$, would falsify the no-separation claim. Equivalently, one may compute the conditional probability in Proposition 3.4 for a candidate distribution: if the bound $P(\\alpha_{\\ell_k}^{(k)}\\in B(x,r))\\le Cr$ is violated, e.g. for atomic log-contraction laws, the lower-bound proof cannot start.","tokens_in":20207,"feed_emoji":"📐","tokens_out":13236,"duration_ms":121896,"temperature":0.7,"pith_summary":"Random self-affine sponges are fractals in $\\mathbb{R}^d$ built from diagonal contraction matrices whose entries are drawn independently at each level of the construction. The paper proves that, almost surely, the Hausdorff and Minkowski dimensions of such a sponge coincide and equal $\\min\\{d,s_0\\}$, where $s_0$ is the unique root of the expected-pressure equation $\\max_\\sigma \\sum_{i=1}^N \\mathbb{E}(\\varphi_{s_0}^\\sigma(A_i))=1$. The formula needs no separation condition: overlaps, including exact coincidences between different cylinder maps, do not lower the almost sure dimension. When $s_0>d$, the sponge has positive Lebesgue measure almost surely. The result extends the classical generic dimension formula for self-affine sets to a random, higher-dimensional, separation-free setting.","feed_headline":"Random sponges: Hausdorff equals box dimension almost surely","feed_subtitle":"A new theorem fixes the exact dimension of these random fractals even when their pieces overlap.","key_machinery":"The load-bearing objects are the coordinate-permuted singular value function $\\varphi_s^\\sigma(A)$ for diagonal matrices and its expected-pressure root $s_0$, defined by $\\max_\\sigma\\sum_{i=1}^N \\mathbb{E}(\\varphi_{s_0}^\\sigma(A_i))=1$. To prove the lower bound, the paper introduces finite-step subsystems $\\Gamma_n$ whose words all contain prescribed blocks $\\ell_k k_k$ in every coordinate, and constructs a random measure $\\mu_n$ on them by a martingale limit, with cylinder weights proportional to $\\varphi_{s_n}^\\sigma(i)X^i$. The decisive probabilistic estimate is a transversality bound, Proposition 3.4, which controls the conditional probability that two distinct words map within distance $\\varrho$: it is bounded by a product over coordinates of $\\min\\{1,C\\varrho/|\\alpha_{i\\wedge j}^{(k)}|\\}$. This estimate comes from the eventual smoothness of one log-contraction distribution in each coordinate, and it makes the energy integral of $\\mu_n$ finite for every exponent below $s_n$, yielding the dimension lower bound.","core_discovery":"The central claim is Theorem 1.2: for a self-affine sponge with random contractions, almost surely $\\dim_H(X)=\\dim_M(X)=\\min\\{d,s_0\\}$, and if $s_0>d$ then $L^d(X)>0$. Here $s_0$ is defined by taking the maximum over coordinate permutations $\\sigma$ of the expected sum $\\sum_i \\mathbb{E}(\\varphi_{s_0}^\\sigma(A_i))$, where $\\varphi_s^\\sigma(A)$ is the singular value function adapted to a diagonal matrix. The proof obtains the upper bound by a covering argument and the lower bound by approximating the system with finite-step multiplicative subsystems and constructing a random measure on them. The no-separation feature is the main progress: previous results for diagonal sponges relied on exponential separation, while here the almost sure dimension is fixed by the distribution of the random contraction ratios alone.","pith_inferences":["An unstated consequence of the proof is that the only essential use of randomness is the small-ball estimate (3.3); any deterministic family of contraction ratios satisfying such a power-law estimate would satisfy the same dimension formula by the identical argument.","For the disjoint-rectangle version of the 4-corner construction, when $s_0>2$ the almost sure positive area should combine with the recursive placement to give non-empty interior almost surely, in analogy with the known one-dimensional results; the paper does not claim this.","We infer that the diagonal assumption is likely not essential: the coordinate-wise transversality argument suggests the same almost sure equality should hold for random self-affine sets with non-diagonal matrices when the singular-value distributions satisfy an analogous eventual smoothness condition.","A testable extension is to weaken (R4) to a Hölder-type small-ball condition on $\\log\\alpha_{\\ell_k}^{(k)}$; if the density estimate (3.3) survives with a power law, the whole lower-bound proof should go through unchanged."],"forward_implications":["For any random sponge in the model, the almost sure dimension is determined by a closed-form expected-pressure equation, so $s_0$ can be evaluated numerically from the contraction-ratio distributions alone.","Overlaps, including exact overlaps between different words, do not change the almost sure dimension; Example 1.3 exhibits coincidences such as $f_{i2}\\circ f_{i3}=f_{i3}\\circ f_{i2}$ and still has dimension given by the formula.","When $s_0>d$, the random sponge has positive Lebesgue measure almost surely, so dimension saturation is accompanied by nonzero volume.","In dimension one the theorem reduces to the known almost sure dimension formula for uniformly random self-similar sets, and the same equation gives the similarity dimension.","The finite-step subsystem approximation shows that $\\min\\{d,s_0\\}$ is approached from below by dimensions of increasingly refined random subsystems, making the formula stable under truncation."],"supporting_citations":[{"why":"Supplies the affinity dimension framework: the singular value function, the upper bound for the Minkowski dimension, and the generic translation-vector dimension result that the random theorem extends.","marker":"[14]"},{"why":"Provides the one-dimensional random self-similar dimension formula and the random-measure and martingale strategy that the higher-dimensional argument adapts.","marker":"[23]"},{"why":"Gives the transversality method for randomly perturbed self-affine sets that becomes the coordinate-wise transversality estimates in Propositions 3.3 and 3.4.","marker":"[22]"},{"why":"Establishes the deterministic sponge theorem under exponential separation and a simple Lyapunov spectrum, the result this paper randomizes and frees from separation assumptions.","marker":"[15]"},{"why":"Contains the classical random-fractal martingale construction used in Theorem 2.1 to produce the random measure on the symbolic space.","marker":"[13]"},{"why":"Supplies the potential-theoretic dimension theorem and the density theorem used to turn finite energy and finite density into dimension and absolute continuity conclusions.","marker":"[24]"}],"fun_headline_variants":["Random sponges: dimension fixed almost surely, no separation needed","Almost sure dimension for self-affine sponges without separation","Random contractions: Hausdorff dimension exact almost surely","No separation needed: random sponges have fixed dimension","Random self-affine sponges: dimension formula almost sure"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem rests on assumption (R4): for every coordinate $k$, at least one of the random contraction ratios must have a log-distribution whose repeated self-convolution eventually has a continuous density. If every log-contraction distribution is atomic, the small-ball estimate $P(\\alpha_{\\ell_k}^{(k)}\\in B(x,r))\\le Cr$ fails and the transversality-based lower bound loses its main probabilistic handle.","fun_headline_variants_meta":{"raw":{"variants":["Random sponges: dimension fixed almost surely, no separation needed","Almost sure dimension for self-affine sponges without separation","Random contractions: Hausdorff dimension exact almost surely","No separation needed: random sponges have fixed dimension","Random self-affine sponges: dimension formula almost sure"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00042,"raw_usage":{"total_tokens":2060,"prompt_tokens":747,"completion_tokens":1313,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":363,"completion_tokens_details":{"reasoning_tokens":1233}},"tokens_in":363,"tokens_out":1313,"duration_ms":8805,"temperature":1.0,"reasoning_tokens":1233,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:30:30.967617+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the one-dimensional system of Example 1.3 with one random ratio uniform on $[1/3,1/2]$ and fixed ratios $1/3$ and $1/4$, and estimate the Hausdorff and box dimensions of deep prefixes; the theorem predicts both are almost surely $1$, the root of $\\int_{1/3}^{1/2}6x^s\\,dx+3^{-s}+4^{-s}=1$. A systematic gap between the measured dimensions and $s=1$, or a single realization with $\\dim_H(X)<\\dim_M(X)$, would falsify the no-separation claim. Equivalently, one may compute the conditional probability in Proposition 3.4 for a candidate distribution: if the bound $P(\\alpha_{\\ell_k}^{(k)}\\in B(x,r))\\le Cr$ is violated, e.g. for atomic log-contraction laws, the lower-bound proof cannot start.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the affinity dimension framework: the singular value function, the upper bound for the Minkowski dimension, and the generic translation-vector dimension result that the random theorem extends."},{"cited_title":"Jordan, M","cited_arxiv_id":null,"evidence_quote":"Gives the transversality method for randomly perturbed self-affine sets that becomes the coordinate-wise transversality estimates in Propositions 3.3 and 3.4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the classical random-fractal martingale construction used in Theorem 2.1 to produce the random measure on the symbolic space."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the potential-theoretic dimension theorem and the density theorem used to turn finite energy and finite density into dimension and absolute continuity conclusions."}],"review_version":1}