{"id":"de85da80-5e64-4c92-9d69-a53d03a976d9","arxiv_id":"1908.07566","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"The doubling distance between bounded open sets is comparable, with explicit constants, to the measure-comparison pseudometric when the sets are finite unions of balls.","lead":"This paper introduces a new way to measure distance between open sets in a metric space, based on repeatedly doubling the radii of all balls inside them. The doubling distance is closely tied to doubling measures, and for finite unions of balls it is comparable to how measures of the sets compare.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem 3.2 is self-contained and correct; the separability point flagged by the reader is standard and not load-bearing for the main theorem.","rationale":"The reader's CONDITIONAL verdict is based on an unproved assertion that a metric space carrying a doubling measure is separable. I agree that the paper should cite or prove this fact, but it is not load-bearing for the main theorem: the proof of Theorem 3.2 uses only the existence of a doubling measure λ and the finiteness of the sets W_m, not separability. I verified the critical estimates (3.1), (3.2), (3.6)-(3.11), the doubling constant computation, and the final contradiction. The only gap-like point I found is the M=0 case in the definition of K, which is cosmetic and easily patched. Since no load-bearing concern remains, I would not change the reader's verdict; if the auxiliary citation is added, the paper could be accepted.","tokens_in":17893,"tokens_out":30826,"duration_ms":843287,"concrete_test":"Check the M=0 branch of Theorem 3.2 explicitly: if V ⊆ W_2 but V ⊄ W_1, set K=1 and verify that no modified measures are needed, since d→(U,V) ≤ 4(M+2)=8 and 4[6m(U,V)+2] ≥ 8. This settles the only technical edge case in Part II.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the proof of Theorem 3.2 in detail, I find no load-bearing concern. Part I correctly constructs the sets W_m and partitions S_m with properties (P1)-(P4); Part II's density modification produces measures that are ǫ^-6-doubling via the estimates (3.6)-(3.11), and the final contradiction gives M ≤ 6m(U,V), yielding the stated bound. The separability assertion in Theorem 2.6 is true and standard, and it is not used in the proof of Theorem 3.2, so it does not threaten the central claim. The only technical wrinkle is the case M=0 in Part II, where the constant K is defined as a maximum over an empty index set; this is repaired by taking K=1 and observing that then d→(U,V) ≤ 8 ≤ 4[6m(U,V)+2]. Thus the main theorem stands.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a purely metric distance between bounded open subsets of a metric space, the doubling distance, defined by iterating the predecessor operation that doubles the radii of all open balls contained in a set. It then defines a measure-theoretic variant m via the best uniform exponent governing comparability of the measures of two sets under all doubling measures. After proving the elementary estimate m(U,V) ≤ 3d(U,V), the main result (Theorem 3.2) establishes the converse comparison d(U,V) ≤ 4[6m(U,V)+2] for simple open sets, i.e., finite unions of open balls. The proof is fully written: it constructs auxiliary sets W_m and finite partitions S_m with four structural properties, then modifies a fixed doubling measure by density factors to produce ε^{-6}-doubling measures whose ratio μ(U)/μ(V) shrinks like ε^M, forcing M ≤ 6m(U,V). The final section applies the main theorem to continuous surjections, showing that under mild compactness and boundedness conditions, Lipschitzness with respect to m, preservation of doubling measures, and Lipschitzness with respect to d are equivalent, and it also defines and compares porosity notions.","tokens_in":18055,"tokens_out":52768,"duration_ms":555740,"significance":"The main theorem is a nontrivial and interesting quantitative bridge: it shows that for simple open sets, coarse comparability of measures under all doubling measures forces a bound on a purely combinatorial metric distance. The proof is unusually detailed and self-contained, with explicit constants throughout, and the recursive partition construction is a genuine technical contribution. If the result stands, Corollary 3.4 and Theorem 4.9 provide useful criteria for proving quantitative preservation of doubling measures from metric conditions alone. The game-theoretic reformulation of the directed distance and the porosity discussion are likely to be of independent interest.","major_comments":[],"minor_comments":[{"comment":"In the proof of Theorem 3.2, the constant K is defined as a maximum over the index set m ∈ {0,...,M−1}; if M=0 this set is empty and the subsequent choice ε < C^{-4}K^{-5} is undefined. This case can occur when V ⊆ W2 but V ⊈ W1. The gap is local: in that case d→(U,V) ≤ 8 ≤ 4[6m→(U,V)+2], so the argument should either treat M=0 separately before defining K or set K=1 for M=0 and skip the contradiction step.","section":"3.2, Part II"},{"comment":"The proof asserts without proof or reference that a metric space carrying a doubling measure is separable, and this fact is essential for the application of Lemma 2.5 to arbitrary bounded open sets. The assertion is true and standard, but a proof or citation should be supplied.","section":"Theorem 2.6"},{"comment":"The conclusion that m(U,V)=0 when V\\U is countable relies on the unstated fact that every doubling measure on the real line is non-atomic, so every countable set is thin for doubling measures. This fact is true but is not immediate from the definition of doubling measure and should be stated and justified or referenced.","section":"Example 3.1"},{"comment":"The proof of Theorem 3.2 defines M as the least natural number with V ⊆ W_{M+2} without explaining why such an M exists. Existence follows because W_m ⊇ U^m_* and d→(U,V) is finite for bounded simple sets; adding a one-sentence justification would make the proof easier to follow.","section":"3.2, Part I"},{"comment":"The observation that cl U ⊆ U* for simple open sets is used in the proof and is stated in Remark 3.3(a), but it is never proved. The proof is immediate for a finite union of balls and should be written out briefly.","section":"Remark 3.3(a) and Part I"},{"comment":"There are a few typographical issues: in the proof of Theorem 4.9, '1/2 r' should be 'r/2', and in Example 5.1, 'coindices' should be 'coincides'.","section":"Various"}],"recommendation":"minor_revision","confidential_remarks":"The central theorem is correct and the proof is essentially complete; the issues identified are local and easily repaired. The paper is suitable for the journal and should be accepted after minor revision. No concerns about attribution or novelty arose during my reading."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The paper introduces a genuinely new metric on bounded open subsets of a metric space: for U open, U* is the union of all balls with doubled radii whose halves sit inside U; the directed distance counts iterations needed to cover V. The predecessor operation is simple, but I don't recall seeing it in the literature. The centerpiece Theorem 3.2 shows that for simple open sets (finite unions of open balls), this geometric doubling distance d and the measure-comparison pseudometric m are quantitatively equivalent: d(U,V) ≤ 4[6m(U,V)+2]. I worked through the proof; it is complete and correct. The construction of the sets W_m and partitions S_m in Part I is careful; Part II's density modification yields ε^{-6}-doubling measures, and the final contradiction gives M ≤ 6m(U,V). The stress-test note about M=0 is right: the constant K is defined as a max over an empty index set, a tiny blemish repaired by taking K=1, and the bound still holds.\n\nThe separability fact flagged in Theorem 2.6 is standard — spaces supporting doubling measures are separable — and it is not used in the proof of Theorem 3.2, so it does not threaten the main result. The proof of the one-sided bound m ≤ 3d could cite a source for separability, but this is a minor presentation gap.\n\nWhat the paper does well beyond the main theorem: the game-theoretic characterization of the directed distance is a nice touch; the Lipschitz conditions (F1)–(F3) linking quantitative preservation of doubling measures to Lipschitz maps on the doubling metric are clean, and the equivalence in Theorem 4.9 gives a concrete connection to quasisymmetric maps. The examples in Section 5, especially those separating bi-Lipschitz behavior from quasisymmetry, are informative. Citations look appropriate; the self-references are to earlier work on doubling measures and porosity, and they're relevant.\n\nSoft spots are mostly exposition: several claims in Sections 4 and 5 are asserted with 'easy to see' or 'it can be shown' rather than proved — e.g., the permutation homeomorphism check in Example 4.8 and the porosity statements in 5.2. The constants are not optimized, which the authors admit. None of this undermines the central contribution. The paper is honest about what is an open problem.\n\nThis is for analysts working with doubling measures, quasisymmetric maps, or geometric metrics on collections of sets. It deserves a serious referee, and I'd be happy to see it in print after the auxiliary claims are either proved or explicitly labeled as routine.","headline":"A genuinely new doubling metric with a solid core theorem; the soft spots are minor and fixable.","tokens_in":18597,"tokens_out":2949,"would_cite":true,"duration_ms":28755,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["54E35","28A12","51F99"],"pacs":[],"model":"deepseek-v4-flash","headline":"Comparing sets through all doubling measures controls a new doubling metric on finite unions of open balls.","keywords":["doubling metric","predecessor operation","doubling measure","simple open set","measure pseudometric","quasisymmetric map","porosity"],"falsifier":"Search for two simple open sets $U,V$ in a metric space with a doubling measure such that $C^{-K}\\mu(U)\\le \\mu(V)\\le C^K\\mu(U)$ for every $C$-doubling measure $\\mu$ yet $d(U,V)>24K+8$; any such pair refutes Theorem 3.2. A sharper probe is to test the unproved hinge directly by looking for a nonseparable metric space that carries a doubling measure.","tokens_in":17682,"feed_emoji":"📏","tokens_out":12727,"duration_ms":115578,"temperature":0.7,"pith_summary":"The paper introduces a metric on the collection of non-empty bounded open subsets of a metric space, called the doubling metric. Its directed version counts how many times one must double the radii of every open ball contained in a set before the resulting expansion contains another set. The central claim is that for finite unions of open balls — simple open sets — this geometric distance is controlled by measure comparisons: if every doubling measure gives masses to U and V that agree up to a factor $C^K$, then the doubling distance satisfies $d(U,V) \\le 24K+8$. This reverses, for simple open sets, the general one-sided estimate $m \\le 3d$, where $m$ records the worst-case exponent of measure comparison across all doubling measures. The paper also shows that, under mild compactness and boundedness assumptions, maps that are Lipschitz with respect to the doubling metric are exactly the continuous surjections that preserve doubling measures quantitatively.","feed_headline":"Measure comparisons pin down distance for finite ball unions","feed_subtitle":"When every doubling measure gives U and V comparable mass, they are at most 24K+8 doubling steps apart","key_machinery":"The engine is the predecessor operation $U_* = \\bigcup\\{O(x,2r): O(x,r)\\subseteq U\\}$, which expands an open set by doubling the radii of every open ball it contains; iterating it defines the directed distance $d_\\to(U,V)$ and the metric $d(U,V)=\\max\\{d_\\to(U,V),d_\\to(V,U)\\}$. The comparison result rests on two further objects: the measure pseudometric $m$, defined as the worst-case exponent $t$ in the inequality $\\mu(U)\\ge C^{-t}\\mu(V)$ over all doubling measures, and the class of simple open sets, for which the closure of $U$ lies inside $U_*$ — a property that fails for general bounded open sets and explains the additive constant in the bound. The proof's second half constructs the squeezing measures $\\mu_\\epsilon$ by multiplying densities stepwise inside the sets $W_m$, keeping the mass of every partition element unchanged while driving down the mass of $U$; the partition geometry, encoded in conditions (P1)–(P4), is what keeps the modified measures doubling with constant $\\epsilon^{-6}$.","core_discovery":"The main theorem (Theorem 3.2) states that if $X$ is a metric space carrying a doubling measure and $U,V$ are simple open sets — finite unions of open balls — then $d(U,V) \\le 4[6m(U,V)+2]$, where $m(U,V)$ is the infimum of all $t\\ge 0$ such that $\\mu(U) \\ge C^{-t}\\mu(V)$ for every $C\\ge 1$ and every $C$-doubling measure $\\mu$. In particular, if $C^{-K}\\mu(U) \\le \\mu(V) \\le C^K\\mu(U)$ for all $C$ and all $C$-doubling measures, then $d(U,V) \\le 24K+8$. The proof builds, for a simple open set $U$, a sequence of expanding sets $W_m$ and finite partitions of them satisfying $(W_m)_* \\subseteq W_{m+1} \\subseteq (W_m)^4_*$ in a controlled sense, then modifies an arbitrary doubling measure by squeezing its mass inside $W_m$ step by step. The resulting measures are $\\epsilon^{-6}$-doubling for arbitrarily small $\\epsilon$, while the ratio $\\mu_\\epsilon(U)/\\mu_\\epsilon(V)$ is forced to decay like $\\epsilon^M$; this can only happen if $M \\le 6m(U,V)$, which yields the bound.","pith_inferences":["The constant $C_U=\\min\\{d(U,U'): U' \\text{ simple}\\}$ from Corollary 3.4 could be read as a quantitative 'complexity' of a general open set; if it is small, measure comparisons still nearly determine the doubling distance, suggesting a natural scale of sets between finite unions of balls and arbitrary bounded open sets.","The squeezing-measure construction is flexible: because any expansion factor larger than 1 gives a bi-Lipschitz equivalent metric (Remark 2.2(b)), the same part of the proof should yield comparability theorems with different constants for other expansion factors.","The open problem in Section 5 can be probed by seeking a uniformly perfect, non-quasisymmetric homeomorphism whose induced map is bi-Lipschitz for $d$; a positive example would show the doubling metric captures strictly more than quasisymmetry, while a proof in the ultrametric case suggests the answer may depend delicately on the geometry."],"forward_implications":["For simple open sets, the doubling distance and the measure pseudometric are equivalent up to explicit constants: $m(U,V)\\le 3d(U,V)$ always, and $d(U,V)\\le 24m(U,V)+8$.","If a bound of the form $C^{-K}\\mu(U)\\le \\mu(V)\\le C^K\\mu(U)$ holds for every doubling measure, then $U$ and $V$ lie within $24K+8$ doubling steps of each other.","In the presence of compact closed balls and bounded preimages of bounded sets, a continuous surjection is Lipschitz with respect to the doubling metric if and only if it preserves doubling measures quantitatively (Theorem 4.9).","Every quasisymmetric homeomorphism is bi-Lipschitz with respect to the doubling metric, via the induced map on open sets, so the doubling metric gives a quantitative bridge between measure preservation and quasisymmetry.","The doubling metric defines a porosity notion: d-porous sets are σ-upper porous, and under a divergence condition on the porosity constants they are thin for every doubling measure."],"supporting_citations":[{"why":"Establishes that every complete geometrically doubling metric space carries a doubling measure, so the standing hypothesis that the space carries a doubling measure is non-vacuous in the classical setting.","marker":"[8]"},{"why":"Supplies the quantitative estimate used to show that quasisymmetric homeomorphisms satisfy condition (F3), linking the doubling metric to quasisymmetric maps.","marker":"[10]"},{"why":"Provides the lemma used to show that quasisymmetric homeomorphisms satisfy condition (F2), i.e. preserve doubling measures quantitatively.","marker":"[4]"},{"why":"Gives the result that a homeomorphism of the real line satisfying (F2)/(F3) is quasisymmetric, one of the special cases of the paper's open problem.","marker":"[5]"},{"why":"Supplies the metric characterization of quasisymmetric maps used for the uniformly perfect ultrametric special case of the open problem.","marker":"[7]"}],"fun_headline_variants":["Doubling distance bounded by measure ratios","Finite ball unions: distance from measure comparisons","A 24K+8 bound for doubling metric","Measure comparisons control doubling distance"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the key estimate $m\\le 3d$ assumes, without proof, that a metric space carrying a doubling measure is separable; if that separability fact failed, the covering argument used to compare $\\mu(U)$ with $\\mu(U_*)$ would collapse, and with it the one-sided comparison that the main theorem reverses.","fun_headline_variants_meta":{"raw":{"variants":["Doubling distance bounded by measure ratios","Finite ball unions: distance from measure comparisons","A 24K+8 bound for doubling metric","Measure comparisons control doubling distance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000181,"raw_usage":{"total_tokens":1323,"prompt_tokens":976,"completion_tokens":347,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":592,"completion_tokens_details":{"reasoning_tokens":293}},"tokens_in":592,"tokens_out":347,"duration_ms":3908,"temperature":1.0,"reasoning_tokens":293,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:07:14.766143+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for two simple open sets $U,V$ in a metric space with a doubling measure such that $C^{-K}\\mu(U)\\le \\mu(V)\\le C^K\\mu(U)$ for every $C$-doubling measure $\\mu$ yet $d(U,V)>24K+8$; any such pair refutes Theorem 3.2. A sharper probe is to test the unproved hinge directly by looking for a nonseparable metric space that carries a doubling measure.","supporting_citations":[{"cited_title":"Every complete doubl ing metric space car- ries a doubling measure","cited_arxiv_id":null,"evidence_quote":"Establishes that every complete geometrically doubling metric space carries a doubling measure, so the standing hypothesis that the space carries a doubling measure is non-vacuous in the classical setting."},{"cited_title":"Thin and f at sets for doubling mea- sures in metric spaces","cited_arxiv_id":null,"evidence_quote":"Supplies the quantitative estimate used to show that quasisymmetric homeomorphisms satisfy condition (F3), linking the doubling metric to quasisymmetric maps."},{"cited_title":"Fractured fractals and broken dreams","cited_arxiv_id":null,"evidence_quote":"Provides the lemma used to show that quasisymmetric homeomorphisms satisfy condition (F2), i.e. preserve doubling measures quantitatively."},{"cited_title":"Lectures on analysis on metric spaces","cited_arxiv_id":null,"evidence_quote":"Gives the result that a homeomorphism of the real line satisfying (F2)/(F3) is quasisymmetric, one of the special cases of the paper's open problem."},{"cited_title":"Lectures on quasiconformal and quasisymmetric mappings","cited_arxiv_id":null,"evidence_quote":"Supplies the metric characterization of quasisymmetric maps used for the uniformly perfect ultrametric special case of the open problem."}],"review_version":1}