{"id":"aa355508-a6c3-4c8c-912b-8d33c8b45ec8","arxiv_id":"1908.11620","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An infinity-pseudometric space has transfinite asymptotic dimension at most omega+n exactly when it admits a two-term integral APD profile of width n+1.","lead":"This paper connects two ways of measuring the coarse size of infinite metric spaces: APD profiles and transfinite asymptotic dimension. It proves an exact criterion for the transfinite level omega plus a finite integer, and a sufficient condition for multiples of omega.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2 depends on an unstated monotonicity lemma: scale-r-dimension 0 is hereditary to smaller scales, and Definition 3.1's '0 for i=0' contradicts how the proof uses α0.","rationale":"The reader identified the same core weakness: the proofs rely on an unstated hereditary property of scale-r-dimension 0, and Definition 3.1 has a typo in the treatment of α0. My reading confirms this is the main load-bearing concern. It is a genuine gap in the written proof, but it is fixable: the hereditary property follows directly from Definition 2.2, and the intended role of α0 is clear from Theorem 3.2 and Theorem 3.4. Proposition 1.9, Corollary 1.7, and the strategy construction in Theorem 3.4 appear sound once these two repairs are made. I do not find an internal inconsistency that would invalidate the main results; the correct response is conditional acceptance pending the missing lemma and definitional correction, which is exactly the reader's verdict. I therefore see no reason to change the recommended outcome.","tokens_in":6423,"tokens_out":19798,"duration_ms":196579,"concrete_test":"Insert and prove the explicit lemma: if 0 < j ≤ r and Y has scale-r-dimension 0, then Y has scale-j-dimension 0. Then re-derive the monotonicity of f in Theorem 3.2: for k < l and τ ∈ M^{{k,...,k+n}} of cardinality q, construct an injective map h with h(t) ≥ t sending {k,...,k+n} to {l,...,l+n} and τ to a sufficiently large translate, and use the hereditary property to show that if τ ∪ {k,...,k+n} ∈ M then h(τ) ∪ {l,...,l+n} ∈ M, so Ord M^{{k,...,k+n}} ≤ Ord M^{{l,...,l+n}}. If this proof cannot be completed, or if Definition 3.1 is left as '0 for i=0', Theorem 3.2 is unsupported as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalence in Theorem 3.2 rests on a hereditary property of scale-r-dimension 0 that is never stated or proved: if a subspace Y has scale-r-dimension 0 and j ≤ r, then Y has scale-j-dimension 0. This enters in at least three places. In the converse of Theorem 3.2, f(k) = Ord M^{{k,...,k+n}} + 1 is asserted to be non-decreasing 'not hard to check'; without monotonicity of scale-r-dimension 0, this does not follow from Definition 2.2. The same property is used when the proof infers that X_{r0},...,X_{r0+n} have scale-r0-dimension 0 from the fact that each has scale-i-dimension 0 for i ≥ r0, and again in Theorem 3.4 when scale-r_k-dimension 0 is converted to scale-j-dimension 0 for each j in σ_k. The property itself is true: for j ≤ r, every scale-j component is contained in a scale-r component, so uniform boundedness of scale-r components implies uniform boundedness of scale-j components. But because no lemma states this, the proofs as written contain a real gap. A second, compounding issue is Definition 3.1: as printed it says X0 has scale-r0-dimension 0, making α0 irrelevant, whereas Theorem 3.2 and Theorem 3.4 both require X0 to have scale-r0-dimension at most α0 − 1 (i.e., at most n when α0 = n+1). This is evidently a typographical error, but it must be repaired before the proof can be followed literally.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops APD profiles for ∞-pseudometric spaces and connects them with transfinite asymptotic dimension. The main results are Theorem 3.2, an equivalence between possessing an integral APD profile of the form (n+1,f) and having transfinite asymptotic dimension at most ω+n, and Theorem 3.4, which gives the upper bound trasdim X ≤ m·ω+n from an integral APD profile of length m+1. The proofs use Borst's ordinal rank Ord on families of finite subsets of N and a game-theoretic strategy characterization from Proposition 1.9. The paper also records corollaries relating asymptotic property C and asymptotic property D and discusses the Satkiewicz omega conjecture in light of the recent counterexample by Wu and Zhu.","tokens_in":6692,"tokens_out":11700,"duration_ms":117675,"significance":"If the results are correct, Theorem 3.2 is a clean and exact bridge between Dydak's APD-profile language and Radul's transfinite asymptotic dimension at the level ω+n, and Theorem 3.4 provides a natural sufficient condition at multiples of ω. The arguments are compact and proceed by direct ordinal manipulation, with no fitted parameters and no circularity between the two notions being compared. The contribution is moderate but useful for the ongoing study of transfinite asymptotic dimension and asymptotic property D. The paper does not provide machine-checked proofs, but the mathematical structure is transparent enough that the main equivalence is verifiable by a reader.","major_comments":[{"comment":"Definition 3.1 as printed says that X0 has scale-r0-dimension 0, which makes the constant α0 irrelevant. However, both Theorem 3.2 (where Y0 is decomposed into n+1 pieces) and Theorem 3.4 (where X0 is decomposed into |σ0| pieces) require X0 to have scale-r0-dimension at most α0−1. The definition should read 'at most α0−1 for i=0' (or an equivalent formulation), with α0=n+1 in the two theorems.","section":"Definition 3.1; used in Theorems 3.2 and 3.4"},{"comment":"The proofs rely on an unstated hereditary property of scale-r-dimension 0: if j≤r and a subspace has scale-r-dimension 0, then it has scale-j-dimension 0. This property is used when X_{r0},...,X_{r0+n} are declared to have scale-r0-dimension 0 from scale-i-dimension 0 for i≥r0 in Theorem 3.2, when f(k)=Ord M^{{k,...,k+n}}+1 is asserted to be non-decreasing in Theorem 3.2, and when X_{k,j} is declared to have scale-j-dimension 0 in Theorem 3.4. The fact is true and elementary, since every scale-j chain is a scale-r chain for j≤r, but it is nowhere stated or proved. Please add it as an explicit lemma before Theorem 3.2 and invoke it at the three places above.","section":"Theorems 3.2 and 3.4"}],"minor_comments":[{"comment":"In condition 3 of the strategy definition, the case k=0 is written as '(σ0,...,σ_{k−1},τ)', which is undefined because σ_{−1} does not exist; the base case k=0 should be stated separately.","section":"Definition 1.8(3)"},{"comment":"The sentence 'Using Lemma 1.2 and Corollary 1.7, we finish one part of the proof' should be expanded: the argument shows Ord M^σ < ω for every σ of cardinality n+1, and Corollary 1.7 is then applied with α=ω and p=n+1 to conclude Ord M ≤ ω+n.","section":"Theorem 3.2, first part"},{"comment":"There are a few typographical errors: 'aymptotic' in Question 3.6, 'dime nsions' in the abstract, and the arXiv number in reference [3] appears to contain an extra digit (1612.067771v4 rather than 1612.06777v4).","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper does what its title promises: it ties Dydak's APD profiles to Radul's transfinite asymptotic dimension. The main result, Theorem 3.2, is a genuine two-way characterization: an integral APD profile (n+1, f) exists iff trasdim X ≤ ω+n. That is new, and it gives a quick proof that the Wu-Zhu example has a profile of the form (2, f) but no profile of the form (1, g). Theorem 3.4 extends one direction to m·ω+n, and Proposition 1.9 gives a clean strategy-game description of Ord M ≤ m·ω+n. The proofs are compact and mostly by direct manipulation of the definitions; the ordinal arguments look sound to me.\n\nThe paper has two fixable soft spots. Definition 3.1, as printed, says X0 has scale-r0-dimension 0, which makes α0 irrelevant. The proofs of Theorems 3.2 and 3.4 need X0 to have scale-r0-dimension at most α0−1. That is evidently a typo. Second, the proofs quietly use a hereditary property: if a subspace has scale-r-dimension 0 and j ≤ r, then it has scale-j-dimension 0. This is true because every scale-j component is contained in a scale-r component, but the paper never states it. The converse of Theorem 3.2 depends on it when asserting that f(k) is non-decreasing, and Theorem 3.4 uses it to convert scale-rk-dimension 0 to scale-j-dimension 0 for each j in σk. As written, there is a real gap in those proofs; it is easy to close with a one-line lemma.\n\nI did not find problems with the citation pattern. The paper builds properly on Borst, Dydak, Radul, Satkiewicz, and Wu–Zhu, and the definitions are the standard ones. The final question—whether there is a space with trasdim < ω·ω but without asymptotic property D—is the right question, and the paper gives a clear reason to care about it. For anyone working in coarse geometry or asymptotic dimension theory, this is a useful dictionary. It deserves a serious referee and should be published after minor revision. The missing lemma and the α0 typo must be fixed before the proofs can be followed literally.","headline":"A useful dictionary between APD profiles and transfinite asymptotic dimension, with two small but real gaps that are easy to close.","tokens_in":7260,"tokens_out":2643,"would_cite":true,"duration_ms":24127,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["54F45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that an $\\infty$-pseudometric space has transfinite asymptotic dimension at most $\\omega+n$ exactly when it admits a two-term integral APD profile $(n+1,f)$, and that $m+1$-term profiles give upper bounds $m\\cdot\\omega+n$.","keywords":["asymptotic dimension","transfinite asymptotic dimension","APD profiles","asymptotic property C","asymptotic property D","infinity-pseudometric spaces","ordinal rank","scale-r-dimension"],"falsifier":"Compute, for any proposed space, the values $f(k)=\\operatorname{Ord} M^{\\{k,\\dots,k+n\\}}+1$; if for some $k<\\ell$ one finds $f(k)>f(\\ell)$, the profile function is not non-decreasing and the converse of Theorem 3.2 fails for that space. More directly, exhibit an $\\infty$-pseudometric space that has an integral APD profile $(n+1,f)$ but transfinite asymptotic dimension greater than $\\omega+n$; such a space would refute the characterization, and the failure would show up in the monotonicity or heredity step of the proof.","tokens_in":6167,"feed_emoji":"📏","tokens_out":11762,"duration_ms":92848,"temperature":0.7,"pith_summary":"This paper links two measures of large-scale complexity for spaces in which distances may be infinite: APD profiles, finite arrays of non-decreasing functions that record how a space decomposes into uniformly bounded pieces at chosen scales, and transfinite asymptotic dimension, an ordinal-valued invariant. The main result is exact for the first transfinite levels: a space has transfinite asymptotic dimension at most $\\omega+n$ if and only if it has a two-term integral APD profile $(n+1,f)$. Longer profiles are also useful: the presence of an $(m+1)$-term integral APD profile implies transfinite asymptotic dimension at most $m\\cdot\\omega+n$. This gives a concrete, checkable way to certify that a space sits at a particular transfinite level, and it shows that APD profiles can distinguish levels such as $\\omega$ from $\\omega+1$.","feed_headline":"Two-term APD profiles pin dimension at omega+n","feed_subtitle":"A space with transfinite asymptotic dimension at most omega+n is exactly one with an integral two-term APD profile.","key_machinery":"The central objects are the inclusive family $M(X,d)$ of finite sets of scales at which $X$ cannot be decomposed into subspaces of scale-$i$-dimension 0, and its ordinal rank $\\operatorname{Ord} M$, which is exactly the transfinite asymptotic dimension. The paper's combinatorial bridge is Proposition 1.9: $\\operatorname{Ord} M \\le m\\cdot\\omega+n$ holds if and only if there is an $m$-strategy, a rule that after seeing disjoint finite scale sets $\\sigma_0,\\dots,\\sigma_k$ fixes the size of $\\sigma_{k+1}$, such that every complete play avoids $M$. An integral APD profile is a finite array of non-decreasing functions that supplies such a strategy: the function $\\alpha_k$ determines the size of the next scale set from the maximum scale seen so far, and the decomposition from the profile witnesses that the play stays outside $M$.","core_discovery":"The paper's central claim is a characterization: an $\\infty$-pseudometric space $X$ has an integral APD profile $(n+1,f)$ if and only if $\\operatorname{trasdim} X \\le \\omega+n$. The forward direction decomposes any prescribed pair of scales $r_0\\le r_1$ into one subspace with $n+1$ scale-$r_0$-dimension-0 pieces and one subspace with $f(r_0)$ scale-$r_1$-dimension-0 pieces, which forces the ordinal rank of the family of 'bad' finite scale sets to be below $\\omega+n$. The converse builds the second profile function from that ordinal rank, setting $f(k)=\\operatorname{Ord} M^{\\{k,\\dots,k+n\\}}+1$. A longer integral APD profile $(n+1,\\alpha_1,\\dots,\\alpha_m)$ yields the upper bound $\\operatorname{trasdim} X \\le m\\cdot\\omega+n$, by using the profile functions to build an $m$-strategy in the combinatorial game that characterizes $m\\cdot\\omega+n$.","pith_inferences":["The paper proves only one direction of the $m$-term generalization; a natural test is whether every space with $\\operatorname{trasdim} X \\le m\\cdot\\omega+n$ admits an $(m+1)$-term profile, which would make profiles a complete invariant below $\\omega\\cdot\\omega$.","The unstated monotonicity of scale-$r$-dimension 0 deserves a standalone proof; if it failed, the converse direction of Theorem 3.2 and the strategy construction of Theorem 3.4 would need repair, so a counterexample there would directly limit the scope of the theorems.","The game-theoretic formulation suggests a definition of transfinite asymptotic dimension in terms of the size game, which could be used to search for a space with asymptotic property C but not asymptotic property D, the open question the paper poses.","Because profile length $m+1$ gives only an upper bound, the sharpness question for each $m,n$ is open; testing spaces whose transfinite dimension is exactly $m\\cdot\\omega+n$ would show whether the bound is ever strict."],"forward_implications":["Two-term integral APD profiles are a complete certificate for transfinite asymptotic dimension at most $\\omega+n$: every space at that level has one, and every space with one is at that level.","Spaces with transfinite asymptotic dimension below $\\omega+\\omega$ are exactly those admitting an integral APD profile made of two functions, so the first infinite block of levels is profile-classifiable.","Every space with an $(m+1)$-term integral APD profile has transfinite asymptotic dimension at most $m\\cdot\\omega+n$, giving a profile-based sufficient condition at every finite multiple of $\\omega$.","Asymptotic property D, defined as admitting some integral APD profile, forces transfinite asymptotic dimension below $\\omega\\cdot\\omega$.","A space with transfinite asymptotic dimension $\\omega+1$, whose existence is cited from the literature, must admit a profile $(2,f)$ and cannot admit a profile $(1,g)$, so APD profiles separate $\\omega+1$ from $\\omega$."],"supporting_citations":[{"why":"supplies the ordinal-rank machinery (Ord M, inclusive families, Lemma 1.2) that defines and bounds transfinite asymptotic dimension.","marker":"[1]"},{"why":"provides the original covering formulation of asymptotic property C used to interpret trasdim less than infinity.","marker":"[2]"},{"why":"introduces APD profiles and asymptotic property D, the formalism whose relation to trasdim the paper establishes.","marker":"[3]"},{"why":"defines transfinite asymptotic dimension via the family A(X,d) and the equality Ord A = Ord M used as the invariant.","marker":"[4]"},{"why":"formulates the omega conjecture that the paper's Theorem 3.2 partially refines.","marker":"[5]"},{"why":"provides the known space with transfinite asymptotic dimension omega+1 that the corollary uses to show APD profiles distinguish omega+1 from omega.","marker":"[6]"}],"fun_headline_variants":["APD profiles crack transfinite dimension bound","Integral APD profiles force omega+n limits","APD profiles pinpoint omega+n dimension","Transfinite dimension via APD profile lengths","Two-term profiles decide omega+n exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise, never stated as a lemma, is that scale-$r$-dimension 0 is inherited at smaller scales: if a subspace has uniformly bounded scale-$r$ components and $j\\le r$, then its scale-$j$ components are also uniformly bounded, and the constructions in Theorems 3.2 and 3.4 both rely on this monotonicity.","fun_headline_variants_meta":{"raw":{"variants":["APD profiles crack transfinite dimension bound","Integral APD profiles force omega+n limits","APD profiles pinpoint omega+n dimension","Transfinite dimension via APD profile lengths","Two-term profiles decide omega+n exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000719,"raw_usage":{"total_tokens":3173,"prompt_tokens":833,"completion_tokens":2340,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":449,"completion_tokens_details":{"reasoning_tokens":2275}},"tokens_in":449,"tokens_out":2340,"duration_ms":16999,"temperature":1.0,"reasoning_tokens":2275,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:12:15.923092+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for any proposed space, the values $f(k)=\\operatorname{Ord} M^{\\{k,\\dots,k+n\\}}+1$; if for some $k<\\ell$ one finds $f(k)>f(\\ell)$, the profile function is not non-decreasing and the converse of Theorem 3.2 fails for that space. More directly, exhibit an $\\infty$-pseudometric space that has an integral APD profile $(n+1,f)$ but transfinite asymptotic dimension greater than $\\omega+n$; such a space would refute the characterization, and the failure would show up in the monotonicity or heredity step of the proof.","supporting_citations":[{"cited_title":"Borst, Classification of weakly infinite-dimensional spaces , Fund","cited_arxiv_id":null,"evidence_quote":"supplies the ordinal-rank machinery (Ord M, inclusive families, Lemma 1.2) that defines and bounds transfinite asymptotic dimension."},{"cited_title":"Dranishnikov, Asymptotic topology, Russ","cited_arxiv_id":null,"evidence_quote":"provides the original covering formulation of asymptotic property C used to interpret trasdim less than infinity."},{"cited_title":"Time evolution of coupled spin systems in a generalized Wigner representation","cited_arxiv_id":"1612.06777","evidence_quote":"introduces APD profiles and asymptotic property D, the formalism whose relation to trasdim the paper establishes."},{"cited_title":"Radul, On transfinite extension of asymptotic dimension , Topology and its Applications 157 (2010), 2292–2296","cited_arxiv_id":null,"evidence_quote":"defines transfinite asymptotic dimension via the family A(X,d) and the equality Ord A = Ord M used as the invariant."},{"cited_title":"Transfinite Asymptotic Dimension","cited_arxiv_id":"1310.1258","evidence_quote":"formulates the omega conjecture that the paper's Theorem 3.2 partially refines."},{"cited_title":"A metric space with its transfinite asymptotic dimension omega + 1","cited_arxiv_id":"1908.00434","evidence_quote":"provides the known space with transfinite asymptotic dimension omega+1 that the corollary uses to show APD profiles distinguish omega+1 from omega."}],"review_version":1}