{"id":"facc8594-b275-48e4-87e0-90bad7b6fda0","arxiv_id":"2412.06579","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For weakly dominated planar self-affine sets, the Hausdorff dimension of the largest slice of a weak tangent equals the Assouad dimension of the set minus the Assouad dimension of its projection, for every backward Furstenberg direction.","lead":"For weakly dominated planar self-affine fractals, the paper proves the dimension lost under projection is exactly captured by the thickest slice of a weak tangent in every backward Furstenberg direction, with no separation or irreducibility assumptions. The proof uses a new pigeonholing amplification technique, resolving a question posed by Fraser for this class of sets.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the reader's δ=∡(XF,YF)>0 concern is already justified by Proposition 3.7 and Lemma 3.1.5, and I found no load-bearing gap in Theorem 4.9.","rationale":"The paper's main theorem is a natural and substantial generalization of fibre stability to weakly dominated planar self-affine sets. The proof has the right high-level structure: Proposition A gives the lower bound via Furstenberg microsets, Theorem 4.9 provides the matching upper bound by constructing a product-like coarse microset, and Proposition 4.7 gives constancy of the projected Assouad dimension on XF. The reader's weakest assumption was the positive angular gap δ=∡(XF,YF)>0. On inspection, this is not an unproved assumption: it follows directly from the strongly invariant multicone in the definition of weak domination, via the reduction to the dominated tuple A in Proposition 3.7 and the standard properties of Furstenberg directions in Lemma 3.1.5. The conformal-only case has δ=0, but it is explicitly outside the weakly dominated class because Ah is required to be non-empty. I therefore do not regard this as a load-bearing concern. I also looked for other possible sources of failure in the central argument. The pigeonholing and amplification steps in Theorem 4.9 are intricate, and there are minor notational/OCR-level slips, but these appear fixable and do not invalidate the method. The proof is not machine-checked, so full line-by-line certainty is not possible, but within the scope of a stress-test the central claim is well supported. The verdict ACCEPT with moderate confidence remains appropriate; no change is needed.","tokens_in":29028,"tokens_out":36345,"duration_ms":403569,"concrete_test":"Independently re-derive the implication used at the start of Lemma 4.6: for a weakly dominated tuple satisfying Definition 3.3, verify from Proposition 3.7 and Lemma 3.1.5 that YF⊂C° and XF⊂RP¹∖C, and hence dist(∡(XF,YF))>0. If this derivation fails for any weakly dominated tuple with non-empty Ah, then Lemma 4.6 would need modification; if it succeeds, the separated-projection step and Theorem 4.9 are not endangered by the δ=0 conformal edge case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem B, proved via Theorem 4.1 and the amplified slicing Theorem 4.9. The most plausible weak point, flagged by the reader, is the positive angular separation δ=∡(XF,YF)>0 used in Lemma 4.6. This is actually secure. For a weakly dominated tuple A, Proposition 3.7 constructs a dominated tuple A with the same Furstenberg direction sets, and Lemma 3.1.5 (from [ABK24]) gives YF(A)⊂C° and XF(A)⊂RP¹∖C for the strongly invariant multicone C in Definition 3.3. Since C is a finite union of closed projective intervals with non-empty interior, and XF,YF are compact, the two sets are disjoint compact subsets of RP¹, hence δ>0. The conformal-only case, where δ=0 is possible, is excluded by the requirement that Ah be non-empty. I did not find another load-bearing gap in the pigeonholing argument. The remaining issues I noticed, such as possible subscript slips in Eq. (4.9) and the informal sign normalization before Lemma 4.2, appear to be repairable bookkeeping rather than threats to the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves fibre stability for weakly dominated planar self-affine sets. Theorem B states that for every backward Furstenberg direction V, the difference dim_A K − η, where η is the constant value of V ↦ dim_A π_{V⊥}(K) on the backward Furstenberg set X_F, equals the maximal Hausdorff dimension of a slice of a weak tangent of K in direction V⊥. Under the weak bounded neighbourhood condition, the same equality is obtained for slices of K itself, and applications are given to self-affine carpets and to the conformal Assouad dimension of irreducible weakly dominated self-affine sets. The proof is self-contained and avoids the deep projection theorems used in earlier work, relying instead on a pigeonholing argument that amplifies large slices of weak tangents into product-like coarse microsets.","tokens_in":29210,"tokens_out":21885,"duration_ms":199321,"significance":"If the result is correct, it resolves a question of Fraser for dominated self-affine sets in full generality, removing the irreducibility and projection-geometry assumptions that appear in all previous work. The theorem extends known results for diagonal carpets and for strongly irreducible systems, and the no-separation part is new even for diagonal IFS. The paper is also methodologically valuable: the proof is essentially self-contained, gives a short elementary proof of a Furstenberg-type microset lemma (Proposition A), and includes a separate appendix for diagonal systems. The applications to tube dimensions and to the conformal Assouad dimension are concrete and nontrivial.","major_comments":[],"minor_comments":[{"comment":"The statement has the inner supremum over x ∈ π_{V⊥}(K), but the proof and Theorem 4.9 show that the supremum should be over x ∈ π_{V⊥}(E), with E ranging over Tan(K). The subscript K appears to be a typo, since the displayed proof of Theorem 4.1 uses x ∈ π_{V⊥}(E).","section":"Theorem 4.1"},{"comment":"The assertion that ∥A_j x/∥A_j∥ − π_W^Y x∥ < R/m for all x ∈ R^2 is impossible as written, because the left-hand side is unbounded. It should be restricted to a bounded set, for example x ∈ K − K, and then it follows from uniform convergence on compact sets. This is the interpretation needed for (4.2), so the error is a repairable typo rather than a gap.","section":"Proof of Theorem 4.9 (after Eq. (4.1))"},{"comment":"The positivity δ = ∡(X_F, Y_F) > 0 is asserted without proof. A sentence explaining that this follows from Proposition 3.7 and Lemma 3.1(5) would help: for a weakly dominated tuple with A_h non-empty, Y_F ⊂ C° and X_F ⊂ RP^1 \\ C for the strongly invariant multicone C, so the two compact sets are disjoint and hence positively separated.","section":"Lemma 4.6"},{"comment":"In the second displayed equation, the final supremum is written as dim_A(π^{-1}_{V⊥}(x) ∩ F) with F not defined in that context; it should be ∩ E, with E ranging over Tan(K), matching the first supremum.","section":"Corollary 5.4"},{"comment":"There are several subscript/notation slips: in the final display of Theorem B, “dimH(πV ⊥(x)−1 ∩ K)” should be dim_H(π^{-1}_{V⊥}(x) ∩ K); similarly, in Proposition 1.1, “dimH A ≤ η” should be “dimH E ≤ η”.","section":"Theorem B and related displays"}],"recommendation":"minor_revision","confidential_remarks":"The paper is strong and well within the scope of the journal. I have not verified every line of the intricate pigeonholing in Theorem 4.9, but the architecture is coherent and the reader's concern about δ > 0 is indeed resolved by Proposition 3.7 together with Lemma 3.1(5). The remaining issues are typographical and local; no load-bearing gap was identified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. This is the first fibre stability result for weakly dominated planar self-affine sets with no separation and no irreducibility assumptions, which genuinely advances Fraser's Question 17.5.1. And the proof is elementary in the good sense: pigeonholing plus Furstenberg's microset construction, with no heavy projection theorems.\n\nWhat is new: Theorem B gives the slice formula for weak tangents uniformly over all backward Furstenberg directions, and under strong separation or the weak bounded neighbourhood condition it upgrades to slices of K itself. That uniformity is genuinely stronger than earlier results. The core contribution is Theorem 4.9, an amplification argument showing that a slice of a weak tangent of Assouad dimension beta forces a product A x B to be a coarse microset of K, with dim_B A = dim_A pi(K) and dim_B B = beta. The diagonal case in the appendix is a useful service to readers.\n\nCredit where earned: the paper gives detailed proofs of the main claims, including the geometric lemmas. Proposition A is a clean, self-contained proof of a result that the field seems to have missed until now. The applications are real: Corollary C removes the grid structure from the Fraser-Jordan carpet result, and Corollary D gives a conformal Assouad dimension dichotomy. The citation pattern looks honest; several cited lemmas come from the authors' own earlier work, but they are standard in the area and the reliance is transparent.\n\nSoft spots. The proof of Theorem 4.9 is intricate and I did not verify every pigeonholing line. There are some repairable bookkeeping slips: subscript issues around equation (4.9) and an informal sign normalization before Lemma 4.2. The reader worried about the positive angular gap delta = angle(XF, YF) used in Lemma 4.6; I checked this concern and it does not land. Proposition 3.7 plus Lemma 3.1.5 from [ABK24] gives YF inside the interior of the multicone and XF outside it, and both sets are compact, so delta > 0. The conformal-only case where delta could vanish is excluded by the requirement that the hyperbolic part Ah be non-empty. A minor worry is that the paper leans on the preprint [BKY21+] for some lemmas, but those lemmas are known in the area. The WBNC condition is introduced only to push weak tangents back to K, and the paper is explicit about its role.\n\nWho this is for: anyone working on self-affine geometry, projections and slices, or Assouad dimension. It deserves a serious referee, and the referee should spend most effort on Theorem 4.9. My recommendation: engage with it and send it to review. I would accept with confidence that the theorem is new and the strategy sound, even if a few details need polishing.","headline":"Genuine advance on Fraser's fibre stability question, with an elementary but intricate proof; send it to review.","tokens_in":29810,"tokens_out":2160,"would_cite":true,"duration_ms":23715,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A80","37C45","37D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"For weakly dominated planar self-affine sets, the dimension lost under projection is exactly the largest slice dimension, and the formula holds without separation assumptions.","keywords":["self-affine sets","Assouad dimension","weak tangents","slices","Furstenberg directions","weak domination","fibre stability","conformal Assouad dimension"],"falsifier":"For a weakly dominated planar self-affine IFS, compute both sides of Theorem B when all linear parts are conformal, so $X_F = Y_F$ and $\\delta = 0$; if the equality fails, the theorem is false, and if it still holds, the angular gap is not actually necessary. A concrete case is the diagonal carpet of Corollary C with $\\alpha = 1/4$, $\\beta = 1/2$, two maps, and translations chosen to avoid the grid structure: comparing $\\dim_A K$ with $\\dim_A \\pi(K) + \\log(2\\cdot (1/2)^s)/\\log 4$ for the Frostman dimension $s$ of the projected self-similar measure would settle the formula for that system.","tokens_in":28755,"feed_emoji":"📐","tokens_out":7969,"duration_ms":77000,"temperature":0.7,"pith_summary":"Self-affine fractals are generated by affine contractions, and a basic question is how much dimension survives when the fractal is projected onto a line. This paper establishes a fibre stability formula for planar self-affine sets whose linear parts are weakly dominated: across every backward Furstenberg direction $V$, the Assouad dimension $\\dim_A \\pi_{V^\\perp}(K)$ of the projection is the same constant $\\eta$, and the deficit $\\dim_A K - \\eta$ equals the largest Hausdorff dimension of a slice of a weak tangent of $K$ perpendicular to $V$. The result matters because it removes the separation and irreducibility hypotheses that all earlier fibre stability theorems needed, and it also settles a previously open question for dominated self-affine sets satisfying strong separation. Under the weak bounded neighbourhood condition the equality transfers to genuine slices of $K$ itself, so the dimension lost in the projection is literally stored in a fibre of the set.","feed_headline":"Dimension lost in a projection is stored in a slice","feed_subtitle":"New proof gives exact fibre stability for weakly dominated planar self-affine sets, with no separation assumptions.","key_machinery":"The engine is Theorem 4.9, an amplification result for slices of weak tangents. Starting from a slice of a weak tangent $E$ in a backward Furstenberg direction, the proof uses a discretized pigeonholing lemma (Corollary 2.4) to locate dyadic scales where the slice has uniformly large branching; this turns a thin tube into a configuration that, after applying a high iterate of a contraction, becomes a coarse microset $A \\times B$ with $\\dim_B A = \\dim_A \\pi_{W^\\perp}(K)$ and $\\dim_B B = \\dim_A(\\pi_{V^\\perp}^{-1}(x)\\cap E)$. The geometric lemmas on weakly dominated matrix semigroups keep forward and backward directions separated through a positive angular gap $\\delta = \\measuredangle(X_F, Y_F) > 0$, which is what lets the pigeonholing survive projection. The product structure is what converts a lower bound on a slice into a lower bound on the Assouad dimension of $K$.","core_discovery":"On the paper's own terms, the central discovery is Theorem B. For a weakly dominated planar self-affine IFS with attractor $K$, the map $V \\mapsto \\dim_A \\pi_{V^\\perp}(K)$ is constant on the backward Furstenberg directions $X_F$, with value $\\eta \\le \\dim_A K$, and for all $V \\in X_F$, $$\\max_{E\\in\\operatorname{Tan}(K)}\\max_{x\\in \\pi_{V^\\perp}(E)} \\dim_H(\\pi_{V^\\perp}^{-1}(x)\\cap E) = \\dim_A K - \\eta.$$ If the attractor satisfies the weak bounded neighbourhood condition, then $\\dim_A K = \\eta + \\max_{V\\in X_F}\\max_{x\\in\\pi_{V^\\perp}(K)}\\dim_H(\\pi_{V^\\perp}^{-1}(x)\\cap K)$. The first equality has no separation assumptions; the second needs only a bounded number of overlapping cylinders, a condition weaker than strong separation. The authors interpret this as stability under projections: the largest fibre always stores exactly the dimension lost, and it does so simultaneously in every backward Furstenberg direction.","pith_inferences":["The proof's reliance on $\\delta>0$ suggests a testable technical question: whether the theorem survives when the angular gap degenerates, since the paper supplies no example where equality actually fails in that regime.","The pigeonholing amplification is likely to transfer to higher-dimensional self-affine sets, where a slice is replaced by a $k$-dimensional fibre; the same product-microset strategy would need a multidimensional version of the branching lemma.","The weak bounded neighbourhood condition is sufficient for pulling weak-tangent slices back to $K$, but Question 1.3 leaves open whether the Assouad-dimension version of the slice equality holds without any separation assumption; the absence of a counterexample in the paper makes this a natural next test case."],"forward_implications":["Fibre stability holds for all weakly dominated planar self-affine sets satisfying the weak bounded neighbourhood condition, including strongly separated ones, closing the previously open case of Question 17.5.1 in the cited monograph.","The weak-tangent version of the formula and the upper bound for slices of $K$ require no separation at all, so the dimension deficit is controlled even when cylinders overlap badly.","For non-grid self-affine carpets, the earlier upper bound is upgraded to the equality $\\dim_A K = \\dim_A \\pi(K) + \\log(m\\beta^s)/\\log(1/\\alpha)$.","Weakly dominated irreducible self-affine sets satisfy a dichotomy for conformal Assouad dimension: sets with Assouad dimension below 1 have conformal Assouad dimension 0, and sets with Assouad dimension at least 1 are minimal."],"supporting_citations":[{"why":"Supplies the dimension-conservation principle that produces weak tangents with maximal Hausdorff dimension and powers Proposition A.","marker":"[Fur08]"},{"why":"Contains the pigeonholing branching construction that the paper discretizes in Lemma 2.3 and Corollary 2.4.","marker":"[BP17]"},{"why":"Gives the strongly invariant multicone characterization of domination that underlies the definition of weak domination.","marker":"[BG09]"},{"why":"Provides the structure theory for weakly dominated matrix semigroups, including almost additivity and the canonical dominated tuple.","marker":"[BKM20]"},{"why":"Is the prior slicing result for planar self-affine sets under irreducibility assumptions that Theorem B generalizes.","marker":"[BKR21]"},{"why":"Is the earlier upper bound for non-grid self-affine carpets that Corollary C turns into an equality.","marker":"[FJ17]"},{"why":"Supplies the strong projection theorem for Assouad dimension used in the conformal dimension dichotomy.","marker":"[Orp21]"}],"fun_headline_variants":["Fibres store exactly the dimension lost in projections","No separation needed for exact fibre dimension in self-affine sets","Weak domination gives exact slice dimension for projected self-affine sets","Loss under projection equals max fibre dimension, no separation assumed","Exact fibre stability for weakly dominated self-affine sets"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the positive angular gap $\\delta = \\measuredangle(X_F, Y_F) > 0$ between backward and forward Furstenberg directions, stated without proof; if the matrix parts were all conformal, the two direction sets would coincide, $\\delta = 0$, and Lemma 4.6's separated-projection argument would fail.","fun_headline_variants_meta":{"raw":{"variants":["Fibres store exactly the dimension lost in projections","No separation needed for exact fibre dimension in self-affine sets","Weak domination gives exact slice dimension for projected self-affine sets","Loss under projection equals max fibre dimension, no separation assumed","Exact fibre stability for weakly dominated self-affine sets"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000452,"raw_usage":{"total_tokens":2299,"prompt_tokens":993,"completion_tokens":1306,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":1225}},"tokens_in":609,"tokens_out":1306,"duration_ms":9058,"temperature":1.0,"reasoning_tokens":1225,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:30:47.695620+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a weakly dominated planar self-affine IFS, compute both sides of Theorem B when all linear parts are conformal, so $X_F = Y_F$ and $\\delta = 0$; if the equality fails, the theorem is false, and if it still holds, the angular gap is not actually necessary. A concrete case is the diagonal carpet of Corollary C with $\\alpha = 1/4$, $\\beta = 1/2$, two maps, and translations chosen to avoid the grid structure: comparing $\\dim_A K$ with $\\dim_A \\pi(K) + \\log(2\\cdot (1/2)^s)/\\log 4$ for the Frostman dimension $s$ of the projected self-similar measure would settle the formula for that system.","supporting_citations":[],"review_version":1}