{"id":"fe35cbcf-9f56-446f-ac40-2a90aacdefb6","arxiv_id":"2505.21126","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Compact surfaces satisfy UW1(Σ) ≤ UW1(tilde Σ), virtually cyclic polyhedra satisfy UW1(X) ≤ 6 UW1(tilde X), and any counterexample to the width question reduces to 2-complexes.","lead":"This paper proves new bounds relating the 1-Uryson width of a space to the 1-Uryson width of its universal cover, for surfaces and for spaces with virtually cyclic fundamental groups. It also shows that any counterexample to the main open question must already occur among 2-dimensional complexes and closed 4-manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.5 contains an internal inconsistency: M_n is defined after an ε-fine subdivision but then treated as independent of ε, invalidating the proof of Theorem C.","rationale":"The reader's weakest assumption concerned the surface genericity in Lemmas 3.2/3.6. That is a valid request for detail, but the most load-bearing problem is in Proposition 4.5: the proof explicitly treats M_n as independent of ε after defining it as the number of cubes in an ε-fine subdivision. This is a concrete internal inconsistency, not just an unstated genericity assumption. It affects Theorem C, which is one of the three headline results and the reason the paper can claim a reduction to dimension 2 and 4. The flat-torus example shows why the cube-intersection bookkeeping cannot be repaired by the argument as written. I therefore recommend the manuscript be rejected in its current form, while noting the result may be salvageable with a correct comparison lemma.","tokens_in":111,"tokens_out":28519,"duration_ms":347545,"concrete_test":"Analytical check: take X_n to be a flat 4-torus with a Bowditch-style cubulation and subdivide to cube side ε. Count M_n and let N(ε) be the number of cubes crossed by a shortest geodesic segment of length r_n. Verify whether the final estimate can be obtained from (†) when M_n ~ ε^{-4}: the term 2εM_n/(r_n−ε) ~ ε^{-3} diverges, so the 'choose ε small' step in Proposition 4.5 fails. If instead one uses N(ε) ~ r_n/ε, the proof must be rewritten, confirming the concern.","verdict_should_be":"REJECT","load_bearing_attack":"Proposition 4.5's comparison of intrinsic and extrinsic metrics on the 2-skeleton is not proved. The proof subdivides X_n so every cube has diameter at most ε, then lets M_n be the number of cubes, but later says M_n is independent of ε. In a cubical subdivision of an n-dimensional manifold (n=dim X_n≥4 after Proposition 4.1), M_n grows like ε^{-n}. Consequently the term 2εM_n used in inequality (†) and the later term 2εM_n/(r_n−ε)·d_{\\tilde X_n} do not tend to 0 as ε→0; the displayed step 'choose ε small enough' is invalid. The preceding assertion that a geodesic passes through each cube at most once is also unjustified and is false for cubulated flat tori, so the bookkeeping by 'at most M_n cubes' does not control the actual number of cube entries. Thus the boundedness of UW1(\\tilde Y_n) is not established, and both bullets of Theorem C rely on this gap.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the question whether the 1-Uryson width of a compact Riemannian polyhedron can be large while the 1-Uryson width of its universal cover is bounded. It proves three main results. Theorem A establishes UW1(X) ≤ 6·UW1(\\tilde X) when π1(X) is virtually cyclic, via a sphere-component argument using maps to trees. Theorem B establishes UW1(Σ) ≤ UW1(\\tilde Σ) for compact Riemannian surfaces with boundary, using a D-separator framework and a strip-gluing construction, with a separate argument for RP^2. Theorem C states that any sequence of bounded-dimensional polyhedra with unbounded ratio UW1(X_n)/UW1(\\tilde X_n) must already contain such a sequence among Riemannian 2-complexes and among closed Riemannian 4-manifolds. The proof of Theorem C proceeds by a manifold reduction (Proposition 4.1), a 2-skeleton reduction (Proposition 4.5), and a final 4-manifold reduction (Theorem 4.6).","tokens_in":23793,"tokens_out":4223,"duration_ms":46445,"significance":"If the proofs are completed, the results are significant: they are among the first positive cases of the cover-to-base Uryson width question beyond finite or cyclic fundamental groups, and the low-dimensional reduction is a plausible route toward a full negative answer or a counterexample. The paper's use of the separator perspective from [Pap20] is natural and the explicit constants in Theorems A and B are useful. The main theorems are not equivalent to prior results; the separator machinery is used as a tool, not as the conclusion. The negative examples from [ABG21] are used appropriately for motivation and contrast. However, two load-bearing gaps, one in the surface proof and one in the low-dimensional reduction, currently prevent the theorems from being fully established as written.","major_comments":[{"comment":"The proof of Proposition 4.5 contains an internal inconsistency involving the dependence of M_n on ε. After subdividing X_n so that every cube has diameter at most ε, M_n is defined as the number of cubes in X_n. M_n therefore depends on ε (typically like ε^{-dim X_n}), yet the text states that M_n depends only on the initial cubulation and not on ε. In the displayed inequality (†) and the following estimate for d_{\\tilde Y_n}, the terms 2εM_n and 2εM_n/(r_n−ε) appear; these do not tend to 0 as ε→0 when dim X_n ≥ 2 and the subdivision is fine. Thus the step 'choose ε small enough' is invalid. Moreover, the assertion that any geodesic in X_n passes through each cube at most once is not justified; it is false for cubulated flat tori, where a geodesic can wrap around and re-enter the same cube. Since the bookkeeping by 'at most M_n cubes' does not control the actual number of cube entries, the boundedness of UW1(\\tilde Y_n) is not established. This gap affects both bullets of Theorem C, since Proposition 4.5 is used to produce the 2-complex sequence and then, via Proposition 4.1, the 4-manifold sequence.","section":"§4, Proposition 4.5"},{"comment":"The surface proof relies on two unproven genericity assumptions. Lemma 3.2 assumes that the D-separator Z contains only finitely many points of the cutting geodesic eγ, and Lemma 3.6 assumes, in addition, that each connected component of Z is a simple loop and that Z intersects eγ transversely. The paragraph beginning 'For convenience, we will assume that each connected component of Z is a simple loop' states these assumptions without proof. If these properties cannot be achieved by a perturbation that preserves the D-separator constant, the strip-gluing construction that produces the separator on the cut surface does not go through. In particular, the equivalence between UW1 and D-separators at the start of Section 3 gives no control over the intersection pattern of a separator with a given geodesic. The authors should either prove that such a perturbation exists or modify the argument to avoid the finiteness and transversality assumptions.","section":"§3, Lemmas 3.2 and 3.6"},{"comment":"The comparison between the extrinsic and intrinsic metrics on the 2-skeleton is the central technical point of Proposition 4.5, but the proof as written does not establish the required uniform closeness. The inequalities (†) and (††) give an upper bound that contains terms involving M_n, and the subsequent estimate for d_{\\tilde Y_n}(a,b) increases the bound by factors involving kn and M_n. Even if M_n were independent of ε, the argument that a geodesic between two points in the 2-skeleton can be replaced by a path in the 2-skeleton whose length is controlled by the number of cubes is not proved for the case where the geodesic exits and re-enters cubes. The proof should provide a quantitative bound on the intrinsic distance in Y_n in terms of the extrinsic distance that is uniform over the sequence and over ε, without relying on the false claim that each cube is visited at most once.","section":"§4, Lemma 4.4 and Proposition 4.5"}],"minor_comments":[{"comment":"In the proof of the base case n=3, 'z ∈ e3' should read 'z ∈ e2'; also the sentence 'f(e0)∩[f(v0), f(v1)] and f(e1)∩[f(v0), f(v1)] intersects' is unclear and should be rephrased.","section":"§2, Lemma 2.2"},{"comment":"In the first paragraph of the proof, the text says 'Since {UW1(Xn)} is unbounded and {UW1( fXn)} is unbounded' in two places; the second occurrence should be 'bounded'. Also, in the final estimate, 'p diam(Xn)' should be 'p dim(Xn)'.","section":"§4, Proposition 4.5"},{"comment":"The reference [Bow20] is listed as 'B.H. Bowditch, Bilipschitz triangulations of Riemannian manifolds' without a venue or preprint identifier; the authors should provide a complete citation or explain why the result can be cited in this form.","section":"References"},{"comment":"The paper uses both 'Uryson' and 'Urysohn' spellings; the authors should choose one convention consistently.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a timely and interesting question, and the overall strategy is plausible. However, the proof of Theorem C currently has a serious quantitative gap in Proposition 4.5, and the surface proof in Section 3 rests on unproven genericity assumptions. These are not mere presentation issues; they affect the validity of the main theorems as written. I recommend major revision rather than rejection, because the gaps appear local and may be fixable with a more careful perturbation argument and a revised metric comparison. The authors should also double-check the internal consistency of all statements involving ε and M_n in Section 4."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does real work on a natural open problem. Theorems A and B are worth taking seriously, and the reduction result is a good idea, but the proof of Proposition 4.5 has a technical gap that looks fatal as written. I'd send it to a referee, but the referee should be asked to focus on Section 4.\n\nWhat's new: Theorem A extends Katz's bound from finite/cyclic fundamental groups to virtually cyclic ones, with an explicit factor 6 and a different argument using tree fibers and sphere components. Theorem B gives the sharp constant for surfaces with boundary, using an elaborate strip-gluing construction. Theorem C's claim that counterexamples would already exist among 2-complexes and 4-manifolds is a genuinely useful reduction if it works.\n\nWhat's good: Lemma 2.2 (a fiber hitting three consecutive edges) is clean. The separator perspective from [Pap20] is used well, and the surface argument in Section 3 is inventive, even if hard to read. The passage from a bad sequence to closed manifolds via regular neighborhoods in Proposition 4.1 is standard but well-executed.\n\nWhere it gets soft: the stress-test note on Proposition 4.5 lands. The proof subdivides X_n so every cube has diameter at most epsilon, then defines M_n as the number of cubes, then later says M_n is independent of epsilon. That is not consistent; M_n grows like epsilon^{-dim}. The term 2epsilon M_n in (†) and (††) cannot be absorbed by taking epsilon small, so the comparison between extrinsic and intrinsic metrics on the 2-skeleton is not established. The assertion that any geodesic passes through each cube at most once is also unjustified and is false for a flat torus. This undercuts the boundedness of UW1(Y~_n), so Theorem C's proof has a real gap.\n\nIn the surface section, Lemmas 3.2 and 3.6 assume Z meets the cutting geodesic in finitely many points and can be made transverse, with only a 'for convenience' and 'without loss of generality' handwave. That is a softer issue; standard perturbation arguments may close it, but as written it is an unproven genericity assumption. I'd ask the authors to either prove or cite a transversality statement that preserves the D-separator property.\n\nBottom line: the main results are plausible and the paper deserves a serious referee. But Section 4, as written, does not establish the 2-dimensional reduction, and Theorem C depends on it. This is fixable in principle, but it is a load-bearing gap, not a typo.","headline":"Two nice theorems with plausible proofs, but Proposition 4.5 has a gap that affects Theorem C.","tokens_in":24314,"tokens_out":3462,"would_cite":false,"duration_ms":39354,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C23","53C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"A small universal cover bounds the 1-Uryson width of surfaces and virtually cyclic spaces.","keywords":["1-Uryson width","universal cover","Riemannian polyhedron","Riemannian surface","virtually cyclic fundamental group","D-separator","2-dimensional reduction","Riemannian 4-manifold"],"falsifier":"Take a flat rectangle [0,L]×[0,w] with the two vertical sides identified, forming an annulus with boundary, and compute the 1-Uryson width of this annulus and of its universal cover, the infinite flat strip of width w. Theorem B predicts the annulus width is no larger than the strip width; a computation giving the opposite inequality for any w,L would refute it.","tokens_in":23412,"feed_emoji":"📐","tokens_out":14716,"duration_ms":156267,"temperature":0.7,"pith_summary":"The paper asks whether a compact Riemannian polyhedron can have arbitrarily large 1-Uryson width even though its universal cover is narrow. Here 1-Uryson width is the smallest scale at which the space can be continuously crushed onto a 1-dimensional complex with all fibers of that diameter. The paper shows this cannot happen for two natural classes: if the fundamental group is virtually cyclic, the width of the space is at most six times the width of its universal cover (Theorem A), and if the space is a Riemannian surface with boundary, the width of the surface is at most that of its universal cover (Theorem B). It also proves that any counterexample in bounded dimension would already exist among Riemannian 2-complexes and among closed Riemannian 4-manifolds (Theorem C).","feed_headline":"Universal cover width bounds surfaces and virtually cyclic spaces","feed_subtitle":"New bounds rule out the width gap for surfaces and cyclic groups; counterexamples must be low-dimensional.","key_machinery":"The proof works at the level of D-separators: for a 2-dimensional Riemannian polyhedron, a D-separator is a 1-dimensional subpolyhedron Z such that every path component of Z and of its complement has diameter at most D, and UW1(X) is the infimum of such D. For surfaces, the separator on the universal cover is transported down to Σ by cutting along a sequence of length-minimizing geodesics, gluing in Euclidean strips, and modifying the separator inside each strip (Lemma 3.2), with Lemmas 3.3–3.5 showing the modification increases component diameters by at most a factor (1+ε); a (1+ε)^r-Lipschitz homeomorphism then returns the separator to Σ. For virtually cyclic groups, the load-bearing object is a map from the universal cover to a tree whose fibers have diameter at most UW1(\\tilde X), together with Lemma 2.2: a continuous map from an n-gon to a tree has a fiber meeting three consecutive edges. Because virtually cyclic fundamental groups make suitable powers of loops homotopically trivial, those loops lift to the universal cover, and the small tree-fiber forces points on the corresponding sphere components of X to be close.","core_discovery":"The central discovery is that the width gap cannot be realized by surfaces or by spaces with virtually cyclic fundamental group. More precisely, for a compact Riemannian polyhedron X with virtually cyclic fundamental group, the paper establishes UW1(X) ≤ 6·UW1(\\tilde X); for a compact Riemannian surface Σ with boundary, it establishes UW1(Σ) ≤ UW1(\\tilde Σ). The surface bound is sharp in the sense that no constant factor is lost. The paper also proves a reduction statement: if a bounded-dimensional sequence of compact Riemannian polyhedra has unbounded ratio UW1(X_n)/UW1(\\tilde X_n), then a sequence with the same property exists among Riemannian 2-complexes and among closed Riemannian 4-manifolds. This is Theorem C, and it means a negative answer to the main question would already appear in very low dimensions.","pith_inferences":["An implication left implicit is that Question 1, in bounded dimension, becomes a question about the geometry of 2-dimensional skeleta; candidate counterexamples could be tested by cubulating 3- and 4-dimensional examples and measuring the 1-width of their intrinsic 2-skeleta.","The sharp constant in the surface theorem suggests that if a counterexample exists at all, it must use genuinely three- or four-dimensional geometry, not surface-like thickenings or cyclic covers.","The separator-and-strip construction is a natural template for the handlebody question the authors pose, where a system of compressing disks would play the role of the cutting geodesics.","The proof of the virtually cyclic case suggests the factor 6 may be improvable, since the finite-group case already yields factor 3 through the same polygon-to-tree lemma."],"forward_implications":["The virtually cyclic bound recovers and extends the earlier positive result for finite and cyclic fundamental groups, with the explicit factor 6.","For surfaces with boundary, the universal cover's 1-Uryson width is a true upper bound for the surface's, with no lost constant factor.","If a counterexample to the main question exists in bounded dimension, one exists among Riemannian 2-complexes and also among closed Riemannian 4-manifolds.","The periodic surface example shows the gap is real for non-universal covers: a regular cover can have width of order 1 while the base surface has width of order R.","For closed surfaces other than the sphere, the surface bound is vacuous because the universal cover has infinite 1-Uryson width; the substantive new case is surfaces with boundary, plus the projective plane."],"supporting_citations":[{"why":"Posed the main question for 3-manifolds and supplied the UW2 counterexample that motivates the low-dimensional reduction.","marker":"[ABG21]"},{"why":"Provides the local-to-global estimate and Corollary 2.3 used in Example 1.1 to show non-universal covers can have a large width gap.","marker":"[BB21]"},{"why":"Gives the earlier affirmative answer for finite and cyclic fundamental groups that Theorem A generalizes.","marker":"[Kat88]"},{"why":"Supplies the tree-fiber and loop argument behind Theorem A, and the simply-connected bound UW1(X) ≤ 6 that motivates the statement.","marker":"[GL83]"},{"why":"Introduces the D-separator viewpoint that the entire surface proof of Theorem B uses.","marker":"[Pap20]"},{"why":"Lets Lemma 4.2 approximate the metric on a regular neighborhood boundary by a Riemannian metric with controlled distortion, carrying the manifold reduction.","marker":"[FO95]"},{"why":"Provides the bilipschitz cubulation of Riemannian manifolds used in Proposition 4.5 to pass to 2-skeleta with controlled intrinsic metric.","marker":"[Bow20]"}],"fun_headline_variants":["No width gap for surfaces or virtually cyclic spaces","Sharp Uryson width bounds for surfaces and cyclic groups","Width gap rules out surfaces and cyclic groups","Universal cover bounds surface and cyclic polyhedra","If width gap exists, it's low-dimensional"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The surface argument depends on being able to choose the separator on the universal cover so that it meets each cutting geodesic transversely in only finitely many points, with the same separating constant; if that genericity assumption fails, the strip-gluing construction that carries the separator down to the surface does not go through.","fun_headline_variants_meta":{"raw":{"variants":["No width gap for surfaces or virtually cyclic spaces","Sharp Uryson width bounds for surfaces and cyclic groups","Width gap rules out surfaces and cyclic groups","Universal cover bounds surface and cyclic polyhedra","If width gap exists, it's low-dimensional"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1412,"prompt_tokens":945,"completion_tokens":467,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":395}},"tokens_in":561,"tokens_out":467,"duration_ms":4899,"temperature":1.0,"reasoning_tokens":395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:34:40.653340+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a flat rectangle [0,L]×[0,w] with the two vertical sides identified, forming an annulus with boundary, and compute the 1-Uryson width of this annulus and of its universal cover, the infinite flat strip of width w. Theorem B predicts the annulus width is no larger than the strip width; a computation giving the opposite inequality for any w,L would refute it.","supporting_citations":[],"review_version":1}