{"id":"52a2d6da-8e88-4a0a-ab57-b77091ded729","arxiv_id":"1908.02098","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a two-dimensional shrinking target set in a beta-dynamical system, the Hausdorff dimension equals min{s1,s2}, where s1 and s2 are the first roots of two pressure-function inequalities.","lead":"This paper measures the set of pairs of points whose orbits under the multiply-by-beta-and-keep-the-fraction map repeatedly land inside tiny shrinking targets. The main result expresses the fractal dimension of this set as the minimum of two pressure-function thresholds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lower bound depends on an unproved and index-inconsistent Step 3 estimate in §4.4.1; the cited transfer from the β_N subshift to the β-system is not established, so the dimension lower bound is not verified.","rationale":"The central claim is a dimension formula, and the upper-bound half is a standard covering argument: the pressure-threshold computation in §3 is coherent apart from minor typos. The lower bound is the whole weight. In §4.4.1, the construction produces a measure on a Cantor set, but the only estimate that controls balls intersecting the 'free' block of level i is the delegated Step 3 bound. Without it, the final line μ(B) ≤ C r^{s/(1+ε)-ε} does not follow, and the mass distribution principle cannot be invoked. The text explicitly says 'with the similar arguments as in [18, pp. 2095–2097] and [22, pp. 1331–1332]', i.e. the estimate is not proved in this paper. Moreover the displayed sums are mismatched—tail length h appears with Σ_l^β—and the sums are taken over the finite-type β_N subshift although Theorem 1.1 is for β; the required uniformity in N as both N and m_i grow is not stated. This is exactly the kind of hidden transfer that often fails for non-Markov β-systems. The missing reduction from f ≥ g to f ≥ (1+ε)g in §4 is a second gap, but it is likely patchable by a δ-perturbation plus continuity of pressure; the Step 3 estimate is more central. I therefore do not move the reader's verdict: the paper should remain CONDITIONAL until the estimate is either proved in the β-system or shown to fail. The authors should be credited for a plausible pressure formula and a self-contained upper bound; the lower-bound skeleton is standard.","tokens_in":19770,"tokens_out":8547,"duration_ms":90863,"concrete_test":"Independently re-derive the Step 3 estimate of §4.4.1 from the equation defining s_i, first correcting the index mismatch (the tail after l positions has length h = m_i - l, so both sums should be over Σ_h^{β_N}). Then specialise to f = g = c and check the claimed bound by exact computation: with the natural interpretation of independent U and W, the s_i equation gives s_i = 2 log β_N / (log β + c), so the second factor is approximately β_N^{2h - h s_i(1 + c/log β)} = 1 and the bound reduces to the trivial factor β^{l ε}. If this exact check fails, or if the derivation requires an unstated assumption such as a uniform gap f ≥ (1+ε)g or β_N-dependent constants that do not pass to β, then the lower-bound proof contains a real gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing point is the estimate in §4.4.1, Case I, Step 3. The proof needs, for l + h = m_i, the bound sum over U2,W2 in Σ_h^{β_N} of (e^{S_h f}/e^{S_h g}) (β^{-h} e^{-S_h f})^{s_i} ≤ β^{l ε}, so that μ(I_n(x) × I_n(y)) ≤ (β^{-n})^{s/(1+ε)-ε}. The text only says this follows by 'similar arguments' as in [18, pp. 2095–2097] and [22, pp. 1331–1332]. That is not a proof for the present two-dimensional β-system: [18] and [22] concern different settings, the sums as written have mismatched indices (the tail after l positions has length h, not l, yet Σ_l^β appears), and the sums are over the β_N subshift while the cylinders and pressure in Theorem 1.1 are for β. If the correct version of this estimate fails, or holds only for β_N without uniformity in N, the mass-distribution step collapses: the measure of a ball falling in the 'free' block would not be controlled by r^{s/(1+ε)-ε}, and no lower bound follows. A second related gap is that the proof starts with f ≥ (1+ε)g although the theorem assumes only f ≥ g; no reduction to the separated case is given.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the two-dimensional shrinking target problem for beta-transformations with point-dependent approximation functions f,g satisfying f >= g. It claims that the Hausdorff dimension of the limsup set E(T_beta, f, g) equals min{s1, s2}, where s1 and s2 are defined as infima of pressure-function inequalities. The proof splits into an upper bound, obtained by natural covers and pressure series, and a lower bound, attempted via a Cantor set construction and the mass distribution principle. The upper bound is straightforward and essentially standard. The lower bound is the main substance but, as written, relies on an unjustified separation assumption, an unproved and index-inconsistent estimate delegated to earlier papers, and an unsubstantiated containment of the constructed Cantor set in the target set.","tokens_in":20053,"tokens_out":21567,"duration_ms":191899,"significance":"If correct, the result would be the first higher-dimensional shrinking target theorem for beta-dynamical systems, extending the one-dimensional results in a natural direction. The upper bound is clean and the pressure formalism is appropriate. The lower-bound strategy is plausible and follows a known Cantor-set pattern. However, the manuscript is not self-contained in several load-bearing places: the lower bound assumes f >= (1+epsilon)g without a reduction from f >= g, the key measure estimate in Step 3 is delegated to [18] and [22] without stating hypotheses or proving transfer from the beta_N subshift to the beta-system, and the containment F_infty subset E(T_beta, f, g) is asserted without accounting for the difference between S_n f(x*) and S_n f(x). These gaps currently prevent verification of the main theorem, though they appear fixable within the manuscript's scope.","major_comments":[{"comment":"The lower bound proof starts by fixing epsilon > 0 and assuming f(x) >= (1+epsilon)g(y), but Theorem 1.1 only assumes f(x) >= g(y). No reduction from the weaker hypothesis to the separated case is given. This is load-bearing because the construction's choice of k_i >= l_i and the 'shorter side' covering depend on the separation; for f = g the argument as written does not apply. A standard limiting argument with f + delta would need to be supplied explicitly.","section":"Section 4, beginning"},{"comment":"The essential estimate sum_{U2,W2 in Sigma^h_{beta_N}} ... <= beta^{l epsilon} is asserted by reference to [18, pp. 2095-2097] and [22, pp. 1331-1332] without proof. The displayed formula contains index inconsistencies: the first summation range is written as Sigma^l_beta although the word (epsilon_{l+1},...,epsilon_{m_i}) has length h, the sums switch from Sigma_beta to Sigma_{beta_N} with no explanation, and the factorization of the normalization equation ignores the mandated 0^N blocks. The paper states no hypotheses under which the cited estimate transfers to the present two-dimensional beta-system. Since this estimate is the core of the mass-distribution bound, the lower bound is not established as written. The same issue appears in Case II, Step III.","section":"Section 4.4.1, Case I, Step 3"},{"comment":"The paper asserts that F_infty subset E(T_beta, f, g), but the construction only guarantees |T^{n_i} x - x0| < e^{-S_{n_i} f(x*_i)} at the times n_i, where x*_i is a point in the same n_i-cylinder as x. The set E(T_beta, f, g) requires the bound with e^{-S_{n_i} f(x)}. For arbitrary continuous f, S_n f can differ by O(n) for points in the same n-cylinder, so the containment is not automatic. The upper bound handled this with the sandwiching by f +/- delta; the lower bound does not supply an analogous argument.","section":"Section 4, construction of F_infty"},{"comment":"The normalization equation defining s_i reads sum_{U,W in Sigma^{m_i}_{beta_N}} e^{S f} e^{S g} (1/(beta^{m_i} e^{S f}))^s = 1. For the total mass of children to equal the parent mass, the factor e^{S f} e^{S g} should be e^{S f}/e^{S g}; as written the measure is not a probability measure. This appears to be a typo, but it affects the subsequent estimates and should be corrected explicitly.","section":"Section 4.4.1, definition of s_i"}],"minor_comments":[{"comment":"In the displayed bound for |J_n(W)|, the exponent should be e^{-S_n g(y*)} rather than e^{-S_n f(y*)}.","section":"Section 3.1"},{"comment":"The notation (x'_i, y'_i) = (T^l_beta x'_i, T^l_beta y'_i) reuses the same symbols for shifted points, which is confusing; different symbols should be introduced.","section":"Section 4.4.1, Step 3"},{"comment":"The condition 2n^2 beta < beta^{(n-1)epsilon} is stated without derivation; the proof would be easier to follow if the choice of n0 were explained.","section":"Section 2, Proposition 2.8"},{"comment":"The convergence s_i -> s0 is attributed to [18, Theorem 4.1] but the precise statement and the uniformity in the parameters are not given; the reader cannot verify the step without consulting the reference.","section":"Section 4.4.1"},{"comment":"The paper would benefit from citing the specific lemma or theorem in [18] and [22] that is being invoked in Step 3, rather than referencing whole page ranges.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central formula is plausible and the upper bound is solid, but the lower bound as written has several load-bearing gaps. I believe the gaps are fixable—assuming the Step 3 estimate can be proved or precisely imported, and the separation assumption can be removed by approximation—so major revision is appropriate rather than rejection. The paper should also be checked carefully for notation and summation errors, as several typos currently obscure the argument."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take on Hussain-Wang, arXiv:1908.02098. The headline is that the theorem is genuinely new: the first two-dimensional shrinking-target formula with general Birkhoff-sum errors for beta-dynamical systems, and the pressure-function expression min{s1,s2} looks like the right object. The upper bound is clean and standard. The lower bound, however, is not yet a proof as written.\n\nThe main soft spot is in Section 4.4.1, Case I, Step 3. The key estimate sum <= beta^{l epsilon} is simply delegated to [18, pp. 2095-2097] and [22, pp. 1331-1332]. Those papers are in different settings (one-dimensional beta; continued fractions), and here the sums are over the beta_N subshift while the theorem's pressure is for beta. Nothing shows the estimate transfers, or that it holds uniformly in N. On top of that, the normalization equation has a product of exponentials where the surrounding text needs a ratio, and the indices in the Step 3 sums mix l and h and beta^l and beta^h. These are not cosmetic; they are exactly the quantities that make the mass-distribution step go through. Also, the proof assumes f >= (1+epsilon)g from the start, but the theorem only assumes f >= g, and no reduction is given.\n\nI am not saying the theorem is false. The shape of the proof is the standard Cantor-set/mass-distribution template, and the pressure formula is natural. But the lower bound as typed is not verifiable, and a referee would need the authors to supply the missing estimate, fix the normalization equations, and state the reduction. The reader's conditional verdict seems fair to me, and the stress-test concerns land. I did not find a separate fatal flaw; the issues are concentrated in the unsupported Step 3 estimate and the f vs (1+epsilon)g reduction.\n\nIf the gaps are closed, this is a solid contribution to metric Diophantine approximation for beta-expansions. I would send it to a knowledgeable referee rather than desk-reject, but I would expect a major revision before acceptance.","headline":"Genuinely new two-dimensional shrinking-target formula for beta-systems, but the lower-bound proof leans on an unproved transferred estimate and a missing separation reduction; worth refereeing, not ready as is.","tokens_in":20567,"tokens_out":3971,"would_cite":true,"duration_ms":38821,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11K55","28A80","11J83","11K60","37C45","37A45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves an exact Hausdorff dimension formula for two-dimensional shrinking target sets in beta-dynamical systems: the dimension is the smaller of two pressure-function roots.","keywords":["beta-expansions","shrinking target problem","Hausdorff dimension","pressure function","beta-dynamical system","full cylinders","limsup sets","simultaneous Diophantine approximation"],"falsifier":"Set $\\beta=2$ and $f=g=1$; the theorem predicts $\\dim_H E(T_2,1,1)=2\\log 2/(\\log2+1)\\approx0.819$. Because the doubling map is a full shift, the Cantor construction is explicit, so a direct cylinder-counting computation of the Hausdorff dimension of the limsup set of rectangles of side $2^{-n(1+1/\\log2)}$---or a numerical box-counting estimate---would confirm or refute the formula.","tokens_in":19539,"feed_emoji":"🎯","tokens_out":18111,"duration_ms":179900,"temperature":0.7,"pith_summary":"This paper studies the two-dimensional shrinking target problem for the $\\beta$-transformation $T_\\beta(x)=\\beta x \\bmod 1$, with target radii that shrink at point-dependent rates $e^{-S_n f(x)}$ and $e^{-S_n g(y)}$ rather than along a fixed sequence. For positive continuous $f \\ge g$, the paper proves that the Hausdorff dimension of the set of pairs hitting the shrinking rectangle infinitely often is exactly $\\min\\{s_1,s_2\\}$, where $s_1$ and $s_2$ are the first nonnegative roots of two explicit pressure equations. This is the first exact higher-dimensional result of this kind for $\\beta$-dynamical systems. The formula also shows that the dimension is independent of the target point $(x_0,y_0)$, which may be fixed anywhere in $(0,1]$.","feed_headline":"2D beta-map shrinking-target dimension equals smaller pressure root","feed_subtitle":"First exact higher-dimensional result for beta-dynamical shrinking targets; dimension depends only on f, g, beta.","key_machinery":"The engine of the proof is the topological pressure $P(\\phi)=\\lim_{n\\to\\infty}\\frac1n\\log\\sum_{(\\epsilon_1,\\dots,\\epsilon_n)\\in\\Sigma_\\beta^n}\\sup_{y\\in I_n}e^{S_n\\phi(y)}$, whose roots encode the critical exponent of the covering series. Around it, the paper uses the theory of full cylinders, meaning cylinders of maximal length $\\beta^{-n}$, together with two structural facts: an interval of length $\\beta^{-l}$ can be covered by $O(l)$ cylinders of order $l$, and inside any sufficiently small interval one can find a full cylinder of length comparable to a prescribed power of the interval's length. These facts let the authors place full cylinders inside the shrinking target balls and assemble them into a Cantor set $F_\\infty$. A measure is then assigned level by level, with exponents $s_i$ converging to the pressure root $s_0$; the mass distribution principle converts the measure estimate $\\mu(I)\\le |I|^{s/(1+\\epsilon)}$ into the lower bound on the Hausdorff dimension.","core_discovery":"The central result is Theorem 1.1: for $f,g$ positive continuous on $[0,1]$ with $f(x)\\ge g(y)$ for all $x,y$, the shrinking-target set $E(T_\\beta,f,g)$ has Hausdorff dimension\n\\[\n\\dim_H E(T_\\$\\beta$,f,g)=\\min\\{s_1,s_2\\},\n\\]\nwhere $s_1=\\inf\\{s\\ge0:P(f-s(\\log\\beta+f))+P(-g)\\le0\\}$ and $s_2=\\inf\\{s\\ge0:P(-s(\\log\\beta+g))+\\log\\beta\\le0\\}$. Here $P$ is the topological pressure of the $\\beta$-dynamical system. The dimension is thus the smaller root of two pressure equations, each attached to a different covering strategy for the rectangles that appear in the natural limsup representation of the set. The upper bound follows by counting covers; the lower bound is obtained by constructing a Cantor subset built from full cylinders, defining a measure whose exponents converge to the pressure root, and applying the mass distribution principle.","pith_inferences":["The lower-bound construction is written under the stronger hypothesis $f\\ge(1+\\epsilon)g$, while the theorem states only $f\\ge g$; the paper leaves implicit the approximation step that would reduce one to the other, so a continuity check of the pressure formula near $g=f$ would show whether the stronger hypothesis is necessary.","The same two-pressure-root mechanism should extend to weighted shrinking targets: replacing the single ordering $f\\ge g$ by coordinate weights should replace the minimum over two roots by a minimum over more pressure roots.","For $\\beta$ a simple Parry number such as the golden ratio, admissibility has a finite lexicographic description, so the unproved continuation estimate from Step 3 can be checked by finite computation; this would test the transfer from $\\beta_N$-subshifts outside the full-shift case $\\beta=2$."],"forward_implications":["The Hausdorff dimension of $E(T_\\beta,f,g)$ depends only on $\\beta$, $f$, and $g$, not on the target point $(x_0,y_0)$.","The critical exponent is sharp: for $s>\\min\\{s_1,s_2\\}$ the natural covering series converges and the $s$-dimensional Hausdorff measure is zero, while for $s<\\min\\{s_1,s_2\\}$ the Cantor construction supplies a positive lower bound.","Which covering strategy wins is decided by the size of $\\min\\{s_1,s_2\\}$: if it exceeds $1$, covering by the shorter side of the rectangle is efficient; if it is at most $1$, covering by the longer side governs the dimension.","For constant potentials the formula becomes explicit; with $\\beta=2$ and $f=g=1$, it gives $\\dim_H E(T_2,1,1)=2\\log 2/(\\log2+1)\\approx0.819$."],"supporting_citations":[{"why":"Supplies the beta-expansion algorithm and the bound $\\#\\Sigma_\\beta^n\\asymp\\beta^n$, fixing the entropy $\\log\\beta$ in the pressure equations.","marker":"[15]"},{"why":"Gives the admissibility criterion used to define the approximating bases $\\beta_N$ and to justify inserting zero blocks between admissible words.","marker":"[14]"},{"why":"Provides the distribution-of-full-cylinders lemma from which the covering and packing properties are derived.","marker":"[3]"},{"why":"Characterizes full cylinders and their concatenation, which lets the Cantor construction place full cylinders inside the shrinking target balls.","marker":"[7]"},{"why":"Source of the pressure-continuity result and of the 'similar arguments' for the unproved continuation estimate in Step 3 of the lower bound.","marker":"[18]"},{"why":"Second source for the same continuation estimate; the paper cites its pages for the argument that bounds the sum of cylinder weights.","marker":"[22]"},{"why":"Supplies the mass distribution principle that turns the measure bound into the lower Hausdorff dimension estimate.","marker":"[6]"}],"fun_headline_variants":["First 2D beta-map shrinking-target dimension: min pressure root","Two-dimensional beta system: shrinking-target Hausdorff dimension from pressure","2D beta-dynamical shrinking targets: dimension is the smaller pressure root","Min pressure root fixes 2D beta shrinking-target Hausdorff dimension","Higher-dim beta shrinking-target dimension: min of two pressure equations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"In Section 4.4.1, Case I, Step 3, the lower-bound proof invokes an estimate, stated as following 'with similar arguments' from [18] and [22], that bounds the total measure of all possible continuations of a cylinder by $\\beta^{l\\epsilon}$; if that estimate does not carry over to the $\\beta_N$-approximating subshift used in the Cantor construction, the lower bound for the Hausdorff dimension does not follow.","fun_headline_variants_meta":{"raw":{"variants":["First 2D beta-map shrinking-target dimension: min pressure root","Two-dimensional beta system: shrinking-target Hausdorff dimension from pressure","2D beta-dynamical shrinking targets: dimension is the smaller pressure root","Min pressure root fixes 2D beta shrinking-target Hausdorff dimension","Higher-dim beta shrinking-target dimension: min of two pressure equations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000583,"raw_usage":{"total_tokens":2753,"prompt_tokens":962,"completion_tokens":1791,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":578,"completion_tokens_details":{"reasoning_tokens":1698}},"tokens_in":578,"tokens_out":1791,"duration_ms":13430,"temperature":1.0,"reasoning_tokens":1698,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:56:45.018732+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Set $\\beta=2$ and $f=g=1$; the theorem predicts $\\dim_H E(T_2,1,1)=2\\log 2/(\\log2+1)\\approx0.819$. Because the doubling map is a full shift, the Cantor construction is explicit, so a direct cylinder-counting computation of the Hausdorff dimension of the limsup set of rectangles of side $2^{-n(1+1/\\log2)}$---or a numerical box-counting estimate---would confirm or refute the formula.","supporting_citations":[{"cited_title":"R´ enyi, Representations for real numbers and their ergodic propert ies, Acta Math","cited_arxiv_id":null,"evidence_quote":"Supplies the beta-expansion algorithm and the bound $\\#\\Sigma_\\beta^n\\asymp\\beta^n$, fixing the entropy $\\log\\beta$ in the pressure equations."},{"cited_title":"Parry, On the β -expansions of real numbers , Acta Math","cited_arxiv_id":null,"evidence_quote":"Gives the admissibility criterion used to define the approximating bases $\\beta_N$ and to justify inserting zero blocks between admissible words."},{"cited_title":"Bugeaud and B","cited_arxiv_id":null,"evidence_quote":"Provides the distribution-of-full-cylinders lemma from which the covering and packing properties are derived."},{"cited_title":"Fan and B","cited_arxiv_id":null,"evidence_quote":"Characterizes full cylinders and their concatenation, which lets the Cantor construction place full cylinders inside the shrinking target balls."},{"cited_title":"Tan and B","cited_arxiv_id":null,"evidence_quote":"Source of the pressure-continuity result and of the 'similar arguments' for the unproved continuation estimate in Step 3 of the lower bound."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Second source for the same continuation estimate; the paper cites its pages for the argument that bounds the sum of cylinder weights."},{"cited_title":"Falconer, Fractal geometry: Mathematical foundations and applicati ons, John Wiley & Sons, Ltd., Chichester, 1990","cited_arxiv_id":null,"evidence_quote":"Supplies the mass distribution principle that turns the measure bound into the lower Hausdorff dimension estimate."}],"review_version":1}