{"id":"0732f1c4-d350-4850-9625-a052dcc76939","arxiv_id":"2506.08187","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The central formula is a tautological rearrangement of the Poisson kernel definition, and the claimed higher-dimensional Harnack generalization is missing.","lead":"The paper derives an algebraic identity that writes a ratio of kernel values as a ratio of chord lengths on a circle in higher dimensions. It advertises this as generalizing a sharp Harnack bound to all dimensions, but the Harnack inequality itself is neither stated nor proved.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Paper proves only an algebraic kernel/chord identity (Thm. 3.1); no n-dimensional Harnack inequality for solutions is stated or derived, so the advertised generalization is unsupported.","rationale":"I read the paper as intending to prove the n-dimensional generalization announced in the abstract. The only genuinely n-dimensional theorem, Theorem 3.1, is a correct algebraic identity relating chord lengths on the circle through A,B to ratios of the Poisson kernel at the two distinguished boundary points. It is vacuous with respect to solutions: u does not appear. In 1D the analogous identity becomes useful only because [2] had separately established, via Widder representation, that for every positive solution the ratio u(B)/u(A) lies between the two kernel ratios at x*,x**. The present paper neither states an n-dimensional Widder representation nor proves the extremal kernel-ratio bound for arbitrary source points; Section 4 describes the higher-dimensional step as a conjecture. Therefore the central advertised result is unsupported. I agree with the reader's REJECT verdict; my formulation differs by isolating the missing extremal estimate as the precise technical gap, rather than putting all weight on Widder representation. A targeted check on the extremal points of the kernel ratio would show whether the missing bridge can be built; if it can, the paper would still need to be rewritten to prove it.","tokens_in":8558,"tokens_out":12212,"duration_ms":151374,"concrete_test":"For n=2, fix A=(0,0,1), B=(1,0,2), compute x*,x** from (2.4)–(2.7), and analytically solve ∇_y f(y)=0 for f(y)=K(B,y)/K(A,y). If the global min and max of f are not attained at x*,x**, or if the range is not exactly [K(B,x*)/K(A,x*), K(B,x*)/K(A,x*)], the proposed geometric constants cannot bound even kernel solutions, so the Harnack claim fails. Independently, verify whether an n-dimensional Widder representation is stated in [1] or can be derived; without it, the passage from kernel bounds to arbitrary u has no basis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires a double-sided bound on u(x2,t2)/u(x1,t1) for every positive classical solution u of ∂_t u + (−Δ)^{1/2}u = 0 in R^n × (0,T). Theorem 3.1 is the only n-dimensional theorem and its statement contains no u: it equates a chord ratio at two specially constructed points x*,x** on the boundary circle with a product of Poisson-kernel ratios at those same points. To convert this identity into a Harnack estimate one needs two further ingredients: (i) a Widder representation u(x,t)=∫ K(x−y,t)dμ(y) in n dimensions (not stated or cited), and (ii) the extremal fact that for every source point y the kernel ratio K(B,y)/K(A,y) lies between K(B,x*)/K(A,x*) and K(B,x*)/K(A,x*). The paper proves neither. Section 4 explicitly frames the higher-dimensional steps as a 'conjecture'/'postulate' and says the authors 'bypass extensive computations'; this is where the missing estimate would have been needed. Thus the identity (3.1), even if correct, does not establish the abstract's advertised connection to a Harnack bound for solutions.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript claims to connect a sharp double-sided Harnack bound for positive solutions of the fractional heat equation to circular geometry in higher dimensions. After reviewing the one-dimensional result from the authors' previous work, the paper constructs, for two spacetime points A and B in R^n × R_+, a circle in the vertical plane through A, B, and their projections onto t = 0, and proves (Theorem 3.1) that the chord ratio D20 D13 / (D10 D23) equals the (1/(n+1))-power of a product of Poisson kernel ratios at the two intersection points of the circle with the t = 0 hyperplane. Section 4 discusses the relation to the earlier one-dimensional Harnack bound and states that the higher-dimensional argument relies on a postulate. No theorem in the paper asserts an inequality for u(B)/u(A) in n dimensions.","tokens_in":8795,"tokens_out":3809,"duration_ms":41937,"significance":"If the algebraic identity (3.1) were all that is claimed, the note would be a modest but correct observation. However, the advertised contribution—a higher-dimensional generalization of the sharp Harnack bound—is not established: Theorem 3.1 contains no solution u and no inequality. The transfer from kernel ratios to solution ratios would require an n-dimensional Widder representation and an extremal estimate on kernel ratios, neither of which appears. The paper's own Section 4 describes the higher-dimensional steps as a postulate. The one-dimensional predecessor (Theorem 1.3) is a genuine theorem; the present manuscript does not generalize it. The correct algebraic identity does not compensate for the missing analytic estimate, so the significance of the paper as it stands is low.","major_comments":[{"comment":"The abstract claims \"a connection between a sharp double-sided Harnack bound for positive solutions of a fractional heat equation and the circular geometry in higher dimensions.\" The central n-dimensional result, Theorem 3.1, is an identity for the Poisson kernel and chord lengths: it contains no positive solution u and no inequality, so it does not establish any Harnack bound in n dimensions. The only solution-level Harnack statement in the paper is the one-dimensional Theorem 1.3 quoted from the authors' previous work.","section":"Abstract and Theorem 3.1"},{"comment":"Section 4 explicitly says that the existence of the circle was \"postulated\" and that the geometric insight allowed the authors to \"bypass the extensive computations.\" This is an admission that the higher-dimensional extension is a conjecture, not a theorem. To upgrade the kernel identity (3.1) to a Harnack inequality for u(B)/u(A), one needs (i) an n-dimensional Widder representation theorem expressing positive classical solutions as convolutions with the Poisson kernel, and (ii) a uniform estimate showing that for every source point the kernel-ratio product lies between the two endpoint values. Neither is stated or proved; the citation of [1] is for one dimension and is not applied.","section":"Section 4"},{"comment":"Equation (3.1) is a definitional identity: the chord lengths D_ab are exactly the Euclidean distances that appear in the Poisson kernel denominators, so both sides are the same product of distances raised to an exponent. The identity is forced by the notation and by the definition of K, and it carries no analytic content about solutions. Consequently, despite its geometric packaging, it cannot by itself yield a double-sided bound on u(x_2,t_2)/u(x_1,t_1).","section":"Section 3, Eq. (3.1)"}],"minor_comments":[{"comment":"The manuscript contains numerous typographical errors, including \"dimentional,\" \"T wo,\" \"W arsa w,\" and \"hea t equa tion\" in the title and header; a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The notation for the two intersection points is inconsistent: x* and x* are used where x_* and x^* are clearly intended; this ambiguity should be resolved for readability.","section":"Sections 2 and 3"},{"comment":"The sentence \"Since the plane is parallel to the vertical axis, it means γ = 0\" is confusing; presumably the plane is vertical in the sense that it contains the t-direction, so its normal has zero t-component. The wording should be clarified.","section":"Section 2.2"},{"comment":"Figures 1 and 2 are referenced in the text but are not embedded in the manuscript version provided; the authors should ensure that the figures appear in the final submission.","section":"Figures"}],"recommendation":"reject","confidential_remarks":"The paper appears to be a preliminary note built around a correct but essentially definitional identity. The advertised higher-dimensional Harnack generalization is not proved, and the authors themselves describe the extension as a postulate. If the manuscript were resubmitted as a short note that limits its claims to the geometric identity and an explicit conjecture, it might be publishable in a suitable venue. As it stands, the mismatch between the abstract and the content is substantial, and the central claim is unsupported."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this paper proves a correct but essentially algebraic identity (Thm 3.1) and presents it as an n-dimensional Harnack generalization that the paper never actually proves. The advertised double-sided bound for positive solutions in n dimensions is not stated as a theorem and no argument is given to transfer the kernel/chord identity into an inequality on solution ratios.\n\nWhat is actually new: the observation in Section 2 that in 1D the sharp Harnack ratio from [2] can be read as a chord ratio on a circle, and that the input to the hyperbolic distance is a product of Poisson kernel values. That is a genuine geometric insight, and the 2D example (Sections 2.2-2.4) shows how the same chord computation goes through with the 2D kernel. The algebra is correct as far as it goes.\n\nThe soft spot is the gap between the identity and a Harnack bound. In 1D the Harnack inequality in [2] rests on Widder's representation and on an extremal argument that pins the solution ratio between the two kernel ratios. For n dimensions the paper supplies neither: the n-dimensional Widder representation is never stated (not even cited), and Section 4 explicitly frames the higher-dimensional steps as a 'conjecture'/'postulate' and says the authors 'bypass extensive computations.' So Theorem 3.1 is a kernel fact, not a solution fact. The chord ratio equals a product of Poisson kernel ratios by direct substitution; no estimate involving u enters.\n\nI do not think the paper is incoherent. It is honest in the discussion about the missing piece. But the abstract overstates: 'establish a connection between a sharp double-sided Harnack bound ... and circular geometry' is only true if you read it as referring to kernel ratios, not solution bounds. As a Harnack generalization, this is not there. The right venue for this material would be a remark or appendix to their previous paper, not a standalone theorem.\n\nRecommendation: desk reject. The identity could be useful to someone working on fractional heat kernel estimates, but the advertised result is absent. No serious referee time needed.\n\nBest,","headline":"Correct algebraic identity overclaimed as an n-dimensional Harnack generalization; the solution bound is never proved.","tokens_in":9312,"tokens_out":2981,"would_cite":false,"duration_ms":35914,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R11","35K08"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the kernel-ratio expression behind a sharp fractional-heat Harnack bound is the chord ratio of a circle, in every dimension.","keywords":["fractional heat equation","Harnack inequality","Poisson kernel","nonlocal diffusion","Widder representation theorem","half-Laplacian","circular geometry","Li-Yau inequality"],"falsifier":"Exhibit a positive classical solution $u$ of the n-dimensional fractional heat equation, for example in $n=2$ with explicit initial data, such that for some pair $A,B$ the solution ratio $u(B)/u(A)$ is not controlled by the kernel ratios formed at the circle's intersection points $x_*$ and $x^*$; alternatively, show that some positive classical solution cannot be written as a convolution of the Poisson kernel with its initial data. Either would sever the link between identity (3.1) and a Harnack inequality while leaving the algebraic identity itself untouched.","tokens_in":8378,"feed_emoji":"📐","tokens_out":9649,"duration_ms":108036,"temperature":0.7,"pith_summary":"This paper establishes a geometric identity for the fractional heat equation's Poisson kernel in n spatial dimensions: for any two spacetime points A and B, the chord ratio on the circle through A and B equals a power of a product of kernel ratios evaluated at the circle's intersections with t=0. The identity is meant to explain and generalize the geometric reading of the sharp one-dimensional Harnack bound obtained in the authors' earlier work. A sympathetic reader would take the paper's contribution to be the extraction of this clean geometric formula from the earlier technical estimate. The paper does not itself prove an n-dimensional Harnack inequality for solutions; it proves the kernel/chord identity and presents it as the geometric core that a higher-dimensional Harnack argument would use.","feed_headline":"Circle chords encode fractional heat kernel ratios in any dimension","feed_subtitle":"The kernel ratios that bracket nonlocal heat solutions are chord lengths on one circle, in every dimension.","key_machinery":"The central object is the circle through $A$ and $B$ whose centre lies on $t=0$ and which lies in the vertical plane spanned by $A$, $B$ and their spatial projections. Its intersections with $t=0$ give the two points $x_*$ and $x^*$, and the chord distances from $A$ and $B$ to those points convert, via the Pythagorean theorem, into ratios of the Poisson kernel $K(x,t;y)=c_n t/(t^2+|x-y|^2)^{(n+1)/2}$. The exponent $(n+1)/2$ in the kernel is exactly what makes the chord ratio equal to the $1/(n+1)$ power of the kernel-ratio product.","core_discovery":"On the paper's own terms, the discovery is Theorem 3.1: for points $A$ and $B$ in $\\mathbb{R}^n\\times\\mathbb{R}_+$, with projections $A'$ and $B'$ on the plane $t=0$, there is a circle lying in the vertical plane through $A$ and $B$, with centre on $t=0$, and its intersection points $x_*$ and $x^*$ with $t=0$ satisfy $D_{20}D_{13}/(D_{10}D_{23}) = (K(A,x_*)K(B,x^*)/(K(B,x_*)K(A,x^*)))^{1/(n+1)}$. The chord lengths $D_{20}, D_{13}, D_{10}, D_{23}$ are Euclidean distances from the two spacetime points to the two intersection points, and $K$ is the fractional heat kernel (Poisson kernel). This identifies the logarithm of the kernel-ratio expression with hyperbolic arc length on the circle, matching the structure of the sharp Harnack ratio from the one-dimensional case.","pith_inferences":["The abstract's claim of a sharp double-sided Harnack bound in higher dimensions goes beyond the theorem actually proved: Theorem 3.1 concerns only the Poisson kernel, not the solution $u$, so the n-dimensional Harnack inequality itself is still an open step.","A concrete numerical test in two dimensions could decide whether the geometric identity is the right seed for that inequality: for explicit positive solutions, check whether the solution ratio $u(B)/u(A)$ is bracketed by the two kernel ratios formed at $x_*$ and $x^*$.","The same chord/kernel algebra would work for any kernel with the same self-similar homogeneity, so a similar circular picture may hold for other nonlocal operators with matching scaling."],"forward_implications":["For $n=2$, formula (3.1) says the chord ratio is the cube root of $K(A,x_*)K(B,x^*)/(K(B,x_*)K(A,x^*))$, giving an explicit geometric expression for the kernel ratio that would appear in a two-dimensional Harnack bound.","The identity replaces the choice of a connecting curve in classical parabolic Harnack arguments with the arc of a circle through the two points, identified geometrically by the construction.","If an n-dimensional Widder representation theorem becomes available, the same two points $x_*$ and $x^*$ define the natural two-sided bound for $u(B)/u(A)$, generalizing equation (1.4) of the previous paper.","Setting $n=1$ recovers the semicircle picture and the square-root exponent of the original one-dimensional result."],"supporting_citations":[{"why":"Supplies the Widder-type representation theorem that lets positive classical solutions be written as convolutions of the Poisson kernel with initial data; this is the bridge needed to go from kernel ratios to solution ratios.","marker":"[1]"},{"why":"The preceding paper's sharp one-dimensional Harnack bound whose constants are circle-intersection ratios; the present work extends that geometric interpretation to higher dimensions.","marker":"[2]"},{"why":"Provides the fractional heat kernel formula and the problem of finding a nonlocal extension of Li-Yau/Harnack estimates, adopted here as the definition of the Poisson kernel.","marker":"[3]"}],"fun_headline_variants":["Fractional heat kernel ratios are chord lengths on a circle","Chords on one circle bound all nonlocal heat solutions","Circle geometry sharpens the Harnack inequality for fractional heat","Kernel ratio equals chord ratio: Harnack via circle in any dimension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The transfer from the chord/kernel identity to a Harnack bound for actual solutions assumes that in n dimensions every positive classical solution of the fractional heat equation is a convolution of the Poisson kernel with its initial data; the paper cites this representation only in one dimension and does not state or prove the n-dimensional version.","fun_headline_variants_meta":{"raw":{"variants":["Fractional heat kernel ratios are chord lengths on a circle","Chords on one circle bound all nonlocal heat solutions","Circle geometry sharpens the Harnack inequality for fractional heat","Kernel ratio equals chord ratio: Harnack via circle in any dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000728,"raw_usage":{"total_tokens":3181,"prompt_tokens":785,"completion_tokens":2396,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":401,"completion_tokens_details":{"reasoning_tokens":2324}},"tokens_in":401,"tokens_out":2396,"duration_ms":22644,"temperature":1.0,"reasoning_tokens":2324,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:18:03.868989+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a positive classical solution $u$ of the n-dimensional fractional heat equation, for example in $n=2$ with explicit initial data, such that for some pair $A,B$ the solution ratio $u(B)/u(A)$ is not controlled by the kernel ratios formed at the circle's intersection points $x_*$ and $x^*$; alternatively, show that some positive classical solution cannot be written as a convolution of the Poisson kernel with its initial data. Either would sever the link between identity (3.1) and a Harnack inequality while leaving the algebraic identity itself untouched.","supporting_citations":[{"cited_title":"Barrios, I","cited_arxiv_id":null,"evidence_quote":"Supplies the Widder-type representation theorem that lets positive classical solutions be written as convolutions of the Poisson kernel with initial data; this is the bridge needed to go from kernel ratios to solution ratios."},{"cited_title":"A sharp Harnack bound for a nonlocal heat equation","cited_arxiv_id":"2303.08186","evidence_quote":"The preceding paper's sharp one-dimensional Harnack bound whose constants are circle-intersection ratios; the present work extends that geometric interpretation to higher dimensions."},{"cited_title":"Garof alo, Fractional thoughts, in New developments in the analysis of nonlocal operators, vol","cited_arxiv_id":null,"evidence_quote":"Provides the fractional heat kernel formula and the problem of finding a nonlocal extension of Li-Yau/Harnack estimates, adopted here as the definition of the Poisson kernel."}],"review_version":1}