{"id":"7516d26e-d99b-499e-bd49-0abe41ef0e66","arxiv_id":"2607.25343","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Complete four-manifolds with R ≥ c>0 and Q ≥ c'>0 are compact; if Q/R ≥ k>0 then diameter ≤ 4π/√(15k).","lead":"A new proof shows that on complete four-dimensional spaces, positive lower bounds on both scalar curvature and Q-curvature force the space to be compact, and a positive Q/R ratio bounds how far the space can stretch. The result transfers the classical Bonnet–Myers phenomenon to a fourth-order curvature quantity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 leaves implicit that γ is a minimizing \\tilde g-geodesic between arbitrary p,q and that its g-length l satisfies d_g(p,q)≤l.","rationale":"I read the proofs of Lemmas 2.1–2.3 and both theorems. The analytic core is sound: Lemma 2.1’s Cauchy estimate is correct; Lemma 2.2’s conformal second-variation formula checks out algebraically; the complete-square/Young step leading to (3.6) is valid; Lemma 2.3 is a standard Allegretto–Piepenbrink argument with an adequate proof sketch; and the ray contradiction in Theorem 1.1 is rigorous. The only place where the written proof falls short of its stated conclusion is Theorem 1.2’s transition from the length of a \\tilde g-geodesic to the g-diameter. This is exactly the reader’s weakest_assumption. Because the missing facts are elementary and standard, I do not regard this as a threat to correctness; it is a revision-level exposition gap. Hence the verdict should remain unchanged from the reader’s ACCEPT.","tokens_in":9057,"tokens_out":29233,"duration_ms":266105,"concrete_test":"Audit the diameter step of Theorem 1.2: insert “Let p,q ∈ M be arbitrary. Since R_g ≥ c > 0, \\tilde g = R_g g is complete; by Hopf–Rinow choose a minimizing \\tilde g-geodesic from p to q and reparametrize it by g-arc length on [0,l]. Then d_g(p,q) ≤ l. Repeating the displayed argument gives l ≤ 4π/√(15k).” Verify that (3.6) uses only the segment’s being a \\tilde g-geodesic and R_g ≥ c, not any additional global hypothesis. If the verification succeeds, the theorem is proved as stated; if a step fails, the diameter conclusion is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.2 begins “Consider a curve γ(s) on [0,l] chosen as in Lemma 2.2” and derives l ≤ 4π/√(15k) from (3.6). Lemma 2.2 applies only to a geodesic of \\tilde g = R_g g that is minimizing to second order. The theorem’s conclusion concerns the g-diameter, so the argument needs: (i) p,q arbitrary; (ii) a minimizing \\tilde g-geodesic between them, which exists because R_g ≥ c > 0 makes \\tilde g complete; (iii) l, the g-length of that curve after reparametrization by g-arc length, satisfies d_g(p,q) ≤ l. None of these is stated in the proof. The omissions are fillable by Hopf–Rinow and the definition of distance, so the theorem is very likely correct, but as written the displayed bound is not explicitly connected to the g-diameter. This is the weakest point in the paper’s central argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two Bonnet–Myers type theorems for complete four-manifolds using Q-curvature and scalar curvature lower bounds. Theorem 1.1 asserts compactness when Q_g ≥ c > 0 and R_g ≥ c' > 0. Theorem 1.2 asserts diam(M^4,g) ≤ 4π/√(15k) when R_g is bounded below by a positive constant and Q_g/R_g ≥ k > 0. The proofs combine a pointwise inequality (Lemma 2.1), a second-variation inequality for geodesics of the conformal metric R_g g (Lemma 2.2), and a one-dimensional Allegretto–Piepenbrink lemma (Lemma 2.3). The paper also contains rigidity and volume results in Section 4.","tokens_in":9266,"tokens_out":16689,"duration_ms":133891,"significance":"If correct, these results are a natural addition to the Bonnet–Myers literature: they show that lower bounds on Q and R, or on their ratio, can replace a Ricci lower bound in yielding compactness and a diameter bound. The proofs are largely self-contained and the constants are explicit; Remark 1.3 gives a concrete conjectured sharp bound. The main proof of Theorem 1.2, however, leaves a key step implicit and should be revised before publication.","major_comments":[{"comment":"The proof starts with 'Consider a curve γ(s) on [0,l] chosen as in Lemma 2.2' and derives l ≤ 4π/√(15k). This does not yet control the g-diameter. Lemma 2.2 applies to a minimizing geodesic of \\tilde g = R_g g, reparametrized by g-arc length. To conclude diam(M,g) ≤ ... you must state that for arbitrary p,q ∈ M you take a minimizing \\tilde g-geodesic joining them (which exists because R_g ≥ c > 0 makes \\tilde g complete), and that its g-length l satisfies d_g(p,q) ≤ l_g(γ) by definition of the distance. Without these sentences the displayed bound is not explicitly connected to the diameter. Please add this argument.","section":"§3, proof of Theorem 1.2"},{"comment":"The passage from the eigenvalue problems on I_j to a global positive solution y is only sketched. Since V can be unbounded on (0,∞), the claim that Arzelà–Ascoli yields a limit requires uniform C^1 bounds on compact subintervals; please provide a Harnack/elliptic estimate or a precise reference. Lemma 2.3 is used in the proof of Theorem 1.1, so this point should be made rigorous.","section":"§2, Lemma 2.3"}],"minor_comments":[{"comment":"In the proof of Theorem 1.1, after constructing the ray in (M,\\tilde g), it would be helpful to state explicitly that every subsegment is minimizing, so that Lemma 2.2 applies; also justify \\tilde g-completeness via \\tilde g ≥ c' g.","section":"§3, proof of Theorem 1.1"},{"comment":"After fixing the major point above, please display the computation of the test function: ∫_0^l (ϕ')^2 = π^2/(2l), ∫_0^l ϕ^2 = l/2, so l ≤ 4π/√(15k).","section":"§3, proof of Theorem 1.2"},{"comment":"The parameter interval is called L in the proof and l in the statement and applications; align the notation for readability.","section":"§2, Lemma 2.2"},{"comment":"Minor typos: 'Institue' in the affiliation; 'K¨ahler' in the references; 'eγ' should be '\\tildeγ' in the proof of Lemma 2.2.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The Theorem 1.2 omission is easily repaired, and I do not see a substantive mathematical error. If the authors add the Hopf–Rinow/distance argument and expand the compactness step in Lemma 2.3, I would support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two new Bonnet-Myers type results for Q-curvature on complete four-manifolds, and the main idea is genuinely new: replace σ2(A) by Q in the Chang-Gursky-Yang inequality and use the quotient Q/R as a lower bound for the Shen-Ye conformal Ricci tensor. Theorem 1.1 (compactness under positive lower bounds on R and Q) and Theorem 1.2 (diameter ≤ 4π/√(15k) when R ≥ c>0 and Q/R ≥ k>0) are both new statements, and the proofs are mostly self-contained.\n\nI checked the core mathematics. Lemma 2.1 is a correct algebraic point. Lemma 2.2 is the Shen-Ye second variation inequality, reproduced accurately. The application of the Allegretto-Piepenbrink lemma (Lemma 2.3) in Theorem 1.1 is clean, and the contradiction argument goes through. The Young step in Theorem 1.2 looks suspicious at first because the constant 16/5 is larger than the coefficient 3 on ∫(φ')^2, but it is valid: the pointwise bound -5/16 t^2 - 1/2 t φ' ≤ (1/5)(φ')^2 for t = z'φ gives LHS ≤ (16/5)∫(φ')^2, so the inequality is an upper bound combined with the lower bound from the curvature assumption. I initially misread it, but the constant works.\n\nThe soft spot is in the proof of Theorem 1.2. The proof tells us to consider a curve γ on [0,l] 'chosen as in Lemma 2.2' and derives l ≤ 4π/√(15k). What is left implicit: γ should be a minimizing geodesic of the conformal metric \\tilde g = R_g g between arbitrary points p and q; such a geodesic exists because R_g ≥ c>0 makes \\tilde g complete (Hopf-Rinow); after reparametrizing by g-arc length, the g-length l satisfies d_g(p,q) ≤ l. Without those three sentences, the theorem's conclusion is not explicitly connected to the g-diameter. All three are immediate, so the theorem is correct, but a referee should ask for them. The compactness step in Lemma 2.3 is also sketched; it is standard, but one more line about Harnack or elliptic estimates would help.\n\nThe author's previous results appear in the introduction and in Section 4's volume discussion, not in the proofs of the main theorems, so I see no circularity. The citation pattern is fine.\n\nThis is a solid, useful paper for people who work on Q-curvature, conformal geometry, or Bonnet-Myers type diameter bounds. It is not a field redefinition, but it says something new and the proofs check out. I would send it to a serious referee; after the Theorem 1.2 gaps are made explicit, it should be accepted.","headline":"Solid short paper; new idea is using Q/R in the Shen-Ye conformal Ricci inequality. The diameter theorem has an implicit geodesic setup that should be made explicit, but the math holds up.","tokens_in":9805,"tokens_out":21058,"would_cite":true,"duration_ms":158966,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C20","53C21","53C18"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a complete four-manifold, a positive lower bound on the scalar curvature and the Q-curvature forces compactness, and a positive lower bound on Q/R caps the diameter at 4π/√(15k).","keywords":["Q-curvature","scalar curvature","four-manifolds","complete Riemannian manifold","compactness","diameter bound","conformal Ricci tensor","second variation"],"falsifier":"Exhibit one complete noncompact four-manifold whose scalar curvature has a positive lower bound and whose Q-curvature also has a positive lower bound; Theorem 1.1 asserts that no such object exists, so this existence check is a direct falsifier. A more numerical check for Theorem 1.2 is to compute the second-variation constant on a round four-sphere: the proof's coefficient $\\frac{16}{5}$ in (3.6) must reproduce the bound $4\\pi/\\sqrt{15k}$; a mismatch would indicate an algebraic slip.","tokens_in":8890,"feed_emoji":"📏","tokens_out":10467,"duration_ms":102985,"temperature":0.7,"texified_at":"2026-08-05T21:45:43.866012+00:00","pith_summary":"This paper asks whether two scalar curvature invariants special to four dimensions—the Q-curvature and the scalar curvature—can play the role that Ricci lower bounds play in the classical compactness-and-diameter theorem. It establishes two results. If both $R_g$ and $Q_g$ are bounded below by positive constants on a complete four-manifold, the manifold is compact. If $R_g$ is bounded below by a positive constant and the quotient $Q_g/R_g$ is bounded below by a positive constant $k$, then the manifold's diameter is at most $4\\pi/\\sqrt{15k}$. The interest is that $Q$ and $R$ are conformally meaningful scalars rather than a tensor bound, so the result connects conformal curvature invariants to the coarse geometry of the manifold, and it suggests a possible analogue of the Ricci-based diameter bound in which the quotient $Q/R$ plays the role of the curvature lower bound.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5580,"prompt_tokens":847,"completion_tokens":4733,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":847,"completion_tokens_details":{"reasoning_tokens":3904}},"feed_headline":"Q/R ratio caps four-manifold diameter","feed_subtitle":"Positive lower bound on scalar curvature plus Q/R gives a universal length cap: 4π/√(15k).","key_machinery":"The load-bearing identity is the pointwise estimate $\\operatorname{Ric}_g(v,v) - \\frac{\\Delta_g R_g}{2R_g} \\geq \\frac{3Q_g}{R_g}$, valid when $R_g>0$. This is read as a lower bound on the conformal Ricci tensor $\\operatorname{Ric}_g - \\frac{1}{2} R_g^{-1} (\\Delta_g R_g) g$. Plugging this into a second-variation inequality for a minimizing geodesic of the conformally changed metric $\\tilde{g} = R_g g$ yields, for every test function $\\phi$, an integral inequality of the form $\\frac{16}{5} \\int (\\phi')^2 \\geq 3k \\int \\phi^2$ over the geodesic interval, from which the diameter bound follows immediately. The compactness proof uses the same inequality on an infinite ray and invokes a Sturm-type lemma that produces a positive solution of $y'' + V y = 0$; positivity plus concavity gives the contradiction.","core_discovery":"On a complete four-manifold, a positive lower bound on Q-curvature together with a positive lower bound on scalar curvature forces compactness; the quantitative version replaces the Q lower bound by a lower bound on $Q/R$ and yields $\\operatorname{diam}(M^4,g) \\leq 4\\pi/\\sqrt{15k}$. The argument begins with a pointwise inequality that controls the Ricci curvature (up to a log-scalar-curvature correction) by $3Q/R$, transforms it into a lower bound for a conformally modified Ricci tensor, and then uses a second-variation estimate along geodesics of the conformal metric $R_g g$ to obtain a one-dimensional integral inequality. In the noncompact case this inequality leads to a contradiction on a ray; in the bounded case a sine","pith_inferences":["The diameter proof never states that the chosen geodesic is a minimizing geodesic of R_g g connecting two arbitrary points, nor that its g-length controls the g-distance; without that comparison, the bound on one curve's length would not imply a global diameter bound.","Because the proof controls geodesic segments of the conformal metric, a similar argument could yield local volume growth estimates or a comparison of Bishop–Gromov type governed by k, not just a diameter cap.","The paper's two conjectures—Q≥0 and R≥0 imply Ric≥0, and Q≥6 with R≥0 implies compactness—are connected: if the former holds globally, the latter follows from the compactness theorem proved here. A natural test case is conformally flat four-manifolds, where the paper notes the first conjecture is already verified.","The quotient Q_g/R_g is treated as a single scalar quantity; this suggests looking for other conformal invariants whose lower bounds can substitute for Ricci bounds in comparison geometry."],"forward_implications":["Every complete four-manifold with R_g ≥ c' > 0 and Q_g ≥ c > 0 is compact; in particular no complete noncompact four-manifold can have uniformly positive scalar and Q curvature.","If Q_g/R_g ≥ k and R_g has a positive lower bound, any curve of the type used in the proof has g-length at most 4π/√(15k), and the g-diameter of the manifold is bounded by the same quantity.","The conjectural sharp constant π/√(2k) would make the quotient Q/R behave exactly like a positive Ricci lower bound in the classical diameter theorem, with the round four-sphere as the extremal model (where Q/R=1/2).","When Q_g ≥ 6 (the value on the unit round four-sphere) and the scalar curvature is bounded below by a positive constant, compactness holds and the total volume is at most that of the round four-sphere, with equality only in the round case."],"fun_headline_variants":["Q/R lower bound caps 4-manifold diameter","Q/R ratio limits 4-manifold size","A Bonnet-Myers bound from Q/R on 4-manifolds","Curvature ratio shrinks 4-manifold diameter","Positive Q/R gives 4-manifold diameter cap"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The diameter bound depends on the assumption that the curve in the second-variation estimate can be taken to be a minimizing geodesic of the conformal metric $R_g g$, and that its $g$-length is at least the $g$-distance between its endpoints; the proof in the paper does not spell this comparison out.","fun_headline_variants_meta":{"raw":{"variants":["Q/R lower bound caps 4-manifold diameter","Q/R ratio limits 4-manifold size","A Bonnet-Myers bound from Q/R on 4-manifolds","Curvature ratio shrinks 4-manifold diameter","Positive Q/R gives 4-manifold diameter cap"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000788,"raw_usage":{"total_tokens":3250,"prompt_tokens":624,"completion_tokens":2626,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":368,"completion_tokens_details":{"reasoning_tokens":2541}},"tokens_in":368,"tokens_out":2626,"duration_ms":19419,"temperature":1.0,"reasoning_tokens":2541,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T02:44:20.075302+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit one complete noncompact four-manifold whose scalar curvature has a positive lower bound and whose Q-curvature also has a positive lower bound; Theorem 1.1 asserts that no such object exists, so this existence check is a direct falsifier. A more numerical check for Theorem 1.2 is to compute the second-variation constant on a round four-sphere: the proof's coefficient $\\frac{16}{5}$ in (3.6) must reproduce the bound $4\\pi/\\sqrt{15k}$; a mismatch would indicate an algebraic slip.","supporting_citations":[],"review_version":1}