{"id":"4af79e31-976b-427d-bf09-b5b2d349ac07","arxiv_id":"2607.09034","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Global and local upper bounds hold for Hessians of positive heat solutions on Kähler manifolds with bisec ≥ −K, and on Riemannian manifolds with only sec ≥ −K1 plus a bound on |∇Ric|.","lead":"The paper proves upper bounds on the Hessian of positive heat-equation solutions on Kähler manifolds that only need a lower bound on bisectional curvature. It also weakens the curvature hypotheses in earlier Riemannian Hessian estimates of Han–Zhang.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly identifies the black-box use of Li–Yau/Hamilton as the weakest external assumption, yet those estimates are standard and apply under exactly the lower curvature bounds assumed here. The paper’s novelty is the removal of |∇Ric| (Kähler) and of upper curvature bounds (Riemannian) while retaining the Han–Zhang template; the calculations that achieve this appear free of gaps. Minor presentation issues (MSC codes, grant placeholder) do not affect correctness. Consequently the ACCEPT verdict stands, and no stronger load-bearing concern emerges.","tokens_in":16316,"tokens_out":404,"duration_ms":5584,"concrete_test":"Independently recompute the curvature contraction (3.19) (and its Riemannian analogue (4.9)) starting from the definition of bisectional/sectional curvature and the eigenvector expansion of αV+W; verify that the lower bound −nKλ1 + K(αΔu/(u(1−f))) holds without any upper curvature bound. If the inequality survives, the absorption step is secure.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims of Theorems 1.1 and 1.3 rest on a standard maximum-principle argument for the tensors αV+W (and their cut-off versions). The only external inputs are classical Li–Yau/Hamilton gradient estimates under lower Ricci/sectional bounds; those estimates are correctly invoked under precisely the curvature hypotheses stated in the theorems (see (3.20), (3.37), (4.10)–(4.14)). Kähler symmetries cancel the ∇Ric terms that force the extra hypothesis on the Riemannian side, and the absorption of the remaining curvature errors proceeds by the usual Cauchy–Schwarz/quadratic-completion steps already present in Han–Zhang. No hidden circularity, missing hypothesis, or constant-tracking failure that would invalidate the stated bounds is visible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper establishes global and local upper bounds for the Hessian of positive solutions of the heat equation. On Kähler manifolds with holomorphic bisectional curvature bisec ≥ −K, Theorem 1.3 gives t(ui¯j) ≤ u(C + Kt)(1 + log(A/u)) for 0 < u ≤ A, together with a local version carrying the usual 1/T + 1/R^{2} + K factors and an extra (1 + log(A/u)) power. On Riemannian manifolds the same style of bound is obtained under only sec ≥ −K1 and |∇Ric| ≤ K2 (Theorem 1.1), thereby removing the two-sided curvature and L∞ curvature-operator hypotheses of Han–Zhang. The proofs proceed by a maximum-principle argument on the tensors αV + W (and their cut-off versions), using Kähler curvature symmetries to cancel ∇Ric terms and classical Li–Yau/Hamilton gradient estimates to absorb the remaining curvature errors.","tokens_in":16456,"tokens_out":680,"duration_ms":7191,"significance":"Upper Hessian bounds for heat solutions are less developed than the classical lower (Li–Yau–Hamilton) bounds. The Kähler result removes the covariant-derivative hypothesis that appears in the Riemannian theory, while the Riemannian improvement weakens the curvature package of Han–Zhang to a pure lower sectional bound plus a bound on |∇Ric|. Both statements are sharp in the model cases of constant curvature and are obtained by a transparent refinement of existing maximum-principle techniques. The work therefore supplies a clean, usable set of estimates for subsequent applications in geometric analysis on Kähler and Riemannian manifolds.","major_comments":[],"minor_comments":[{"comment":"In the global Kähler argument the constant α is required to be ≥2 (after (3.9)), yet the final statement of Theorem 1.3(a) absorbs α into a universal C; a one-line remark that any fixed α ≥ 2 works would make the dependence transparent.","section":null},{"comment":"The local cut-off estimates (3.26)–(3.28) and (4.18) invoke Laplacian comparison under only a lower Ricci bound; while correct, a brief citation of the precise comparison theorem used would help the reader.","section":null},{"comment":"Several typographical slips appear: “HEA T EQUA TIONS”, “K ¨AHLER”, and the MSC codes (Primary 54C40, 14E20) are unrelated to the content. These should be corrected before publication.","section":null},{"comment":"In (3.19) and (4.9) the authors note that only an orthogonal-bisectional (resp. sectional) lower bound is needed; this observation is useful and could be elevated to a short remark after each theorem.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a solid, incremental improvement of Han–Zhang and Cao–Ni. The technical work is carefully written and the curvature weakenings are genuine. I see no reason to delay acceptance; the minor presentation issues can be handled at the copy-editing stage."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: Zhao–Zhu give global and local upper bounds for the Hessian of positive heat solutions under only a lower bisectional bound on Kähler manifolds (no |∇Ric|), and they weaken Han–Zhang’s Riemannian result from two-sided curvature plus |∇Ric| down to sec ≥ −K1 plus |∇Ric| ≤ K2. That is exactly the natural next step after Hamilton, Cao–Ni and Han–Zhang, and they deliver it.\n\nWhat is new is the upper-bound direction under those weaker hypotheses. Cao–Ni already removed the ∇Ric assumption for lower matrix bounds on Kähler manifolds by curvature symmetries; the authors recycle the same identities (Lemma 3.1) inside the Han–Zhang maximum-principle template for αV + W. The global Kähler statement (Theorem 1.3(a)) is especially clean: t(ui¯j) ≤ u(C + Kt)(1 + log(A/u)). The local versions and the Riemannian improvement are routine but correctly executed. The calculations are written out in detail (eigenvalue comparisons (3.19)–(3.24), (4.9)–(4.15), cutoff estimates), the classical Li–Yau/Hamilton inputs are invoked under precisely the curvature hypotheses that justify them, and there is no circularity or free-parameter fitting.\n\nSoft spots are minor and presentation-level: wrong MSC codes, a placeholder NSF grant number, and the usual constant-tracking that is never machine-checked. The proofs rely on black-box gradient estimates, but those estimates hold under the stated lower bounds, so the absorption steps go through. Nothing load-bearing is broken.\n\nThis is for people who work on matrix Harnack inequalities, heat kernels on Kähler manifolds, or Ricci-flow type estimates. It will not change practice outside that circle, but it is a genuine, usable technical advance. I would send it to a serious referee without hesitation; the central claims are supported and the method is standard enough that a referee can check the tensor algebra in a day or two. Worth citing if you need the weaker-curvature statement.","headline":"Solid incremental improvement of Hessian upper bounds under weaker curvature; the Kähler cancellation is the real gain and the proofs look clean.","tokens_in":17080,"tokens_out":527,"would_cite":true,"duration_ms":5876,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","35K05","58J35"],"pacs":[],"model":"grok-4.5","headline":"On Kähler manifolds with bisectional curvature bounded below, the Hessian of a positive heat solution is controlled by a universal multiple of (1 + log(A/u))/t.","keywords":["heat equation","Hessian estimate","logarithmic Hessian bound","Kähler manifold","bisectional curvature","sectional curvature","Li–Yau estimate"],"falsifier":"On a Kähler manifold of constant negative bisectional curvature, exhibit an explicit positive heat solution whose Hessian matrix grows faster than (C + Kt)(1 + log(A/u))/t, or show that the same growth is forced for every such solution.","tokens_in":17189,"feed_emoji":"📐","tokens_out":769,"duration_ms":9973,"temperature":0.7,"pith_summary":"The paper proves that positive solutions of the heat equation on a Kähler manifold cannot have arbitrarily large second derivatives once the holomorphic bisectional curvature is only bounded from below. Globally, the Hessian matrix of such a solution is at most a universal constant times u(C + Kt)(1 + log(A/u))/t; a local version replaces the 1/t factor by the usual parabolic terms 1/T + 1/R^{2} plus the curvature lower bound. The same style of upper bound is also obtained on ordinary Riemannian manifolds under the weaker hypotheses that sectional curvature is bounded below and the covariant derivative of Ricci is controlled. These estimates improve earlier work that required two-sided curvature bounds, and they remove the need to control the gradient of Ricci in the Kähler setting. A reader who cares about sharp parabolic inequalities on manifolds will see that the classical Li–Yau gradient bound can be upgraded to a full Hessian bound with far milder geometric hypotheses than previously known.","feed_headline":"Heat Hessians stay controlled by log(A/u)/t on Kähler manifolds","feed_subtitle":"Only a lower bisectional bound is needed; the gradient-of-Ricci hypothesis drops out entirely","key_machinery":"The auxiliary tensors V = Hess u / (u(1 − f)) and W = du ⊗ du / (u^{2}(1 − f)^{2}) with f = log(u/A), together with the evolution operator L = −∂t + Δ − (f/(1 − f))∇f · ∇ (or its Riemannian analogue). Their combination αV + W is controlled by a maximum-principle argument that absorbs curvature error terms via the Li–Yau differential Harnack inequality.","core_discovery":"On a Kähler manifold with bisec ≥ −K, every positive solution 0 < u ≤ A of the heat equation satisfies t(ui¯j) ≤ u(C + Kt)(1 + log(A/u)) globally, and a corresponding local bound with an extra (1 + log(A/u)) factor and the usual 1/T + 1/R^{2} terms. The same style of bound holds on Riemannian manifolds under only sec ≥ −K1 and |∇Ric| ≤ K2.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Heat Hessians bounded by log(A/u)/t under only lower bisec","Lower bisectional curvature alone controls heat Hessians","t Hess u ≤ u(C+Kt)(1+log(A/u)) for bisec ≥ −K","Heat equation Hessian bounds need only sec ≥ −K1","Weaker curvature assumptions still bound heat Hessians"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The argument treats the classical Li–Yau gradient estimate (and Hamilton’s matrix gradient estimate on the Riemannian side) as black boxes that hold under only a lower Ricci or sectional bound; if those input estimates fail, the absorption of the curvature error terms collapses.","fun_headline_variants_meta":{"raw":{"variants":["Heat Hessians bounded by log(A/u)/t under only lower bisec","Lower bisectional curvature alone controls heat Hessians","t Hess u ≤ u(C+Kt)(1+log(A/u)) for bisec ≥ −K","Heat equation Hessian bounds need only sec ≥ −K1","Weaker curvature assumptions still bound heat Hessians"]},"model":"grok-4.5","effort":"low","cost_usd":0.005506,"raw_usage":{"total_tokens":1421,"prompt_tokens":659,"num_sources_used":0,"completion_tokens":101,"cost_in_usd_ticks":55060000,"prompt_tokens_details":{"text_tokens":659,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":661,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":659,"tokens_out":101,"duration_ms":5923,"temperature":1.0,"reasoning_tokens":661,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T00:50:13.415762+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"On a Kähler manifold of constant negative bisectional curvature, exhibit an explicit positive heat solution whose Hessian matrix grows faster than (C + Kt)(1 + log(A/u))/t, or show that the same growth is forced for every such solution.","supporting_citations":[],"review_version":1}