{"id":"52531f39-a1cd-47ca-a5c9-cc9db3b86db7","arxiv_id":"2606.11677","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Constructs a Feynman-Kac formula for the heat equation with one-center point interaction in d=3 via a probability law on path space and normalizing function G_t^α(x) giving u(t,x) = G E[u_0(W^{t,x}(t))].","lead":"The paper constructs a probabilistic representation for solutions of the heat equation with a one-center point interaction in three dimensions, using a modified continuous process on path space and a normalizing factor. This extends Feynman-Kac methods to singular potentials and may interest researchers modeling quantum systems with point-like interactions.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the single point that must be verified for the probabilistic representation to be valid. Because the full manuscript supplies the construction, and no further gap is apparent in the claim itself, the verdict remains UNVERDICTED only for lack of detail in the abstract; once the construction is read, the same assumption is the natural place to check but does not constitute an objection unless a specific flaw appears in the verification.","tokens_in":1949,"tokens_out":336,"duration_ms":20489,"concrete_test":"Take the explicit formula for the heat kernel of -Δ_α (available in the literature via the resolvent) and a compactly supported test function u_0; numerically evaluate both the integral against that kernel and the expectation appearing in the claimed representation for several values of t, x and α; agreement within discretization error confirms the representation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the existence, for each fixed t>0 and x≠0, of a probability measure on continuous paths together with a scalar G_t^α(x) such that the indicated expectation reproduces the action of the heat semigroup generated by a self-adjoint realization of -Δ_α on test functions supported away from the origin. The abstract states that both the self-adjoint-extension and the norm-resolvent-limit realizations are considered, and that an explicit path-space construction is supplied. No internal inconsistency, missing hypothesis, or unjustified step is visible from the stated claim; the construction is presented as the content of the paper.","agreement_with_reader":"agree"},"referee_report":null,"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive evaluation and recommendation of minor revision. The referee's summary accurately captures the manuscript's contribution.","responses":[],"tokens_in":1421,"tokens_out":44,"duration_ms":13604,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main claim is a probabilistic representation for solutions to the heat equation driven by -Δ_α, where α scales the delta at the origin. For each fixed t and x away from zero, there is a probability law on continuous paths and a scalar G_t^α(x) such that u(t,x) equals G times the expectation of u_0 at the endpoint of the process W^{t,x}.\n\nWhat is new is the explicit construction of that path measure and the factor G for the one-point case in dimension three. The paper treats both the self-adjoint-extension realization and the norm-resolvent limit of regularized potentials, which aligns with how these operators are usually defined.\n\nThe work sits in a narrow corner of stochastic analysis and mathematical physics. Readers who already know the literature on point interactions and Feynman-Kac formulas for singular potentials will see the extension clearly.\n\nThe soft spot is the lack of visible derivation steps, error estimates, or checks that the constructed process and G actually reproduce the semigroup on the test functions. The abstract states the existence but supplies no intermediate calculations, so the soundness cannot be assessed from what is given. That matches the low soundness score.\n\nI would send the paper to peer review. The claim is concrete and the setting is standard, so referees can check whether the path-space construction holds up.","headline":"The paper constructs a Feynman-Kac representation for the heat equation with a one-center delta interaction in 3D via a custom path measure and normalizing function G.","tokens_in":2517,"tokens_out":352,"would_cite":false,"duration_ms":10738,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Solutions to the three-dimensional heat equation with a point interaction admit a Feynman-Kac representation using a continuous process and normalizing factor.","keywords":["Feynman-Kac formula","point interaction","heat equation","Schrödinger operator","Dirac delta potential","probabilistic representation","three dimensions","self-adjoint extension"],"falsifier":"For an explicit initial function u_0 whose evolved solution u(t,x) is known by other means, compute the right-hand side using the constructed process and check whether equality holds after multiplication by G_t^α(x).","tokens_in":2828,"feed_emoji":"","tokens_out":540,"duration_ms":16283,"temperature":0.7,"pith_summary":"The paper constructs, for each t > 0 and x not equal to zero, a probability law on path space together with a normalizing function G_t^α(x). This produces the representation u(t,x) = G_t^α(x) times the expected value of the initial data evaluated at the position of the process at time t. The construction applies to the operator realized either as a self-adjoint extension of the Laplacian away from the origin or as a norm-resolvent limit of regularized potentials. A reader would care because the formula supplies an explicit probabilistic expression for the evolution even when the interaction is a singular delta at a single point.","feed_headline":"Feynman-Kac formula obtained for 3D heat equation with point interaction","feed_subtitle":"A continuous process and normalizing function give the solution for initial data supported away from the origin.","key_machinery":"The probability law on continuous paths from x together with the normalizing function G_t^α(x) that converts the plain expectation into the action of the heat semigroup generated by the point-interaction operator.","core_discovery":"For the heat equation partial_t u = (1/2) Delta_α u with initial data in C_c^∞(R^3 excluding zero), the solution satisfies u(t,x) = G_t^α(x) E[u_0(W^{t,x}(t))], where W^{t,x} is a continuous process depending on t, x and α, and G_t^α is a normalizing function. The result holds for the operator -Delta_α realized in either of the two standard ways.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Feynman-Kac formula for 3D heat equation with point interaction","Point interaction Feynman-Kac formula for 3D heat equation","Heat equation with point interaction has Feynman-Kac representation in 3D","Probabilistic representation for 3D heat equation with point interaction"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The point-interaction operator admits a self-adjoint realization that generates a heat semigroup whose action on smooth compactly supported functions away from the origin can be captured by the constructed path measure.","fun_headline_variants_meta":{"raw":{"variants":["Feynman-Kac formula for 3D heat equation with point interaction","Point interaction Feynman-Kac formula for 3D heat equation","Heat equation with point interaction has Feynman-Kac representation in 3D","Probabilistic representation for 3D heat equation with point interaction"]},"model":"grok-4.3","cost_usd":0.005602,"raw_usage":{"total_tokens":2769,"prompt_tokens":841,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":56024500,"prompt_tokens_details":{"text_tokens":841,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1861,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":841,"tokens_out":67,"duration_ms":9686,"temperature":1.0,"reasoning_tokens":1861,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T08:42:30.390154+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"For an explicit initial function u_0 whose evolved solution u(t,x) is known by other means, compute the right-hand side using the constructed process and check whether equality holds after multiplication by G_t^α(x).","supporting_citations":[],"review_version":1}