{"id":"4ae5c74b-fc58-4ff0-ba2a-fa2c8bf0e346","arxiv_id":"2606.21909","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proposes an infinite-dimensional Picard-Lefschetz/Morse-Floer problem for the heat kernel and a heat-kernel analogue of the Picard-Lefschetz/Alien correspondence, with a confirming test on the hyperbolic plane H^2.","lead":"The paper proposes a framework using Picard-Lefschetz theory to analyze resurgent structures in short-time heat kernel asymptotics on real analytic Riemannian manifolds. This links real geodesic expansions to complex holomorphic geodesic sectors via alien operators and Morse flow counts.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Infinite-dimensional Morse-Floer setup on complexified path space lacks demonstrated compactness/transversality, with H^2 test too special to confirm general alien correspondence.","rationale":"The reader's weakest assumption correctly flags the Borel detection step, but the load-bearing gap is one step downstream: even if detection holds, the infinite-dimensional Morse-Floer problem and the resulting alien correspondence are not shown to be well-posed in general, and the single confirming test does not close that gap. This keeps the overall verdict at UNVERDICTED rather than shifting it.","tokens_in":1683,"tokens_out":409,"duration_ms":23751,"concrete_test":"Extract the explicit alien operator action and signed counts from the H^2 calculation in the paper; recompute the same quantities using only the known closed-form heat kernel on H^2 and the explicit geodesics/Morse flow, without invoking the proposed infinite-dimensional framework; if the numerical match persists but the derivation does not extend to a non-symmetric manifold (e.g., a perturbed metric on a compact surface), the concern is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on formulating an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy on the complexified path space, then proposing that pointed alien operators on the real-geodesic sector yield other sectors with coefficients from signed Morse-flow trajectory counts. While the 1-Gevrey property and Borel detection of complex data are asserted as shown, and a confirming test is performed on H^2, the infinite-dimensional setting introduces well-known analytic obstacles (failure of Palais-Smale, lack of a priori compactness for connecting orbits, need for virtual fundamental classes) that are not addressed by the highly symmetric, explicitly solvable geodesics of H^2. The alien correspondence therefore remains a prediction whose coefficients are verified only in a case where the Morse flow can be integrated by hand rather than by the general theory.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.3","summary":"The manuscript studies the resurgent structure of short-time heat kernel asymptotics on real analytic Riemannian manifolds from the viewpoint of Picard-Lefschetz theory. It establishes that the heat kernel admits a 1-Gevrey small-time expansion whose Borel transform detects complex-geometric data beyond the real geodesic sector. The authors formulate an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space and propose a heat-kernel analogue of the Picard-Lefschetz/Alien correspondence: pointed alien operators acting on the real-geodesic asymptotic expansion are predicted to generate the formal sectors associated with other holomorphic geodesics, with coefficients given by signed counts of Morse-flow connecting trajectories. A confirming test of the proposal is carried out on the hyperbolic plane H².","tokens_in":1872,"tokens_out":523,"duration_ms":17815,"significance":"If the proposed correspondence can be placed on a rigorous footing that extends beyond highly symmetric cases, the work would furnish a concrete bridge between resurgence theory, alien calculus, and infinite-dimensional Morse-Floer theory applied to geometric analysis. The explicit 1-Gevrey property, the Borel-transform detection of complex data, and the H² verification constitute the concrete strengths of the manuscript.","major_comments":[{"comment":"The central claim rests on the formulation of an infinite-dimensional Picard-Lefschetz/Morse-Floer problem for the holomorphic energy on the complexified path space, yet the manuscript does not address the standard analytic obstructions (failure of Palais-Smale, absence of a priori compactness for connecting orbits, necessity of virtual fundamental classes). This issue is load-bearing because the H² test exploits explicitly integrable geodesics where the Morse flow can be solved by hand rather than by the general theory.","section":"Abstract and the section formulating the infinite-dimensional problem"},{"comment":"The confirming test on H² is presented as verification of the alien correspondence, but the high symmetry and explicit solvability of H² make it insufficient to substantiate the general prediction; a load-bearing gap remains between the special-case verification and the claimed infinite-dimensional framework.","section":"The confirming test on H²"}],"minor_comments":[{"comment":"The term 'pointed alien operators' is introduced without a self-contained definition or pointer to the relevant alien-calculus literature; a short clarifying sentence would improve readability.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the detailed and constructive report. The comments correctly identify that our manuscript proposes a conjectural infinite-dimensional framework rather than establishing its full analytic foundations, and that the H² example is a special-case illustration. We address each point below and indicate the revisions we will make to clarify scope and limitations.","responses":[{"response":"We agree that the manuscript does not resolve the analytic obstructions to a rigorous infinite-dimensional Morse-Floer theory (Palais-Smale failure, lack of compactness, virtual classes). Our formulation is presented as a proposal for such a problem, modeled on the finite-dimensional Picard-Lefschetz correspondence, with the H² calculation serving as an explicit verification where the flow equations are integrable by hand. We will revise the abstract and the relevant section to state explicitly that the general analytic foundations remain open and that the proposal is conjectural pending further work on these issues.","revision_made":"partial","referee_comment":"[Abstract and the section formulating the infinite-dimensional problem] The central claim rests on the formulation of an infinite-dimensional Picard-Lefschetz/Morse-Floer problem for the holomorphic energy on the complexified path space, yet the manuscript does not address the standard analytic obstructions (failure of Palais-Smale, absence of a priori compactness for connecting orbits, necessity of virtual fundamental classes). This issue is load-bearing because the H² test exploits explicitly integrable geodesics where the Morse flow can be solved by hand rather than by the general theory."},{"response":"We accept that the H² test, while confirming the proposed alien correspondence in an explicitly solvable case, does not constitute a general substantiation due to the manifold's symmetry. The manuscript already describes the calculation as a 'confirming test' rather than a proof. To address the concern we will add a paragraph clarifying the illustrative role of this example, its dependence on integrability, and the gap to the general infinite-dimensional setting.","revision_made":"partial","referee_comment":"[The confirming test on H²] The confirming test on H² is presented as verification of the alien correspondence, but the high symmetry and explicit solvability of H² make it insufficient to substantiate the general prediction; a load-bearing gap remains between the special-case verification and the claimed infinite-dimensional framework."}],"tokens_in":1395,"tokens_out":541,"duration_ms":12854,"standing_objections":["Establishing the analytic foundations (Palais-Smale, compactness, virtual fundamental classes) for the proposed infinite-dimensional Morse-Floer problem on the complexified path space lies beyond the scope of the present work."]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that Li, Li, and Tang outline a framework linking short-time heat kernel asymptotics to resurgence through an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type. They assert a 1-Gevrey expansion whose Borel transform sees complex geodesics, then predict that pointed alien operators on the real sector recover other sectors with coefficients from signed Morse trajectory counts. A check is done on H^2.\n\nWhat is new is the concrete formulation of this alien correspondence for the heat kernel and the translation of the holomorphic energy functional into that infinite-dimensional Morse setup. The connection between geometric analysis on the path space and resurgence methods has not appeared in this form before, and the H^2 calculation supplies at least one explicit case where the sectors match as expected.\n\nThe soft spots sit in the analytic foundations. The infinite-dimensional Morse-Floer problem on the complexified path space inherits the usual difficulties with Palais-Smale condition, compactness of connecting orbits, and the definition of signed counts. The paper does not appear to supply new arguments that resolve these for general real-analytic manifolds. The H^2 test works because the geodesics are explicit and the flow can be integrated directly, so it confirms the prediction only in a case where the general theory is not really needed. That leaves the correspondence as a plausible but still conjectural statement outside the symmetric example.\n\nThe work is aimed at people already comfortable with both resurgence and geometric analysis who want to see how the two might interact on heat kernels. A reader looking for fresh asymptotic tools in mathematical physics could extract the proposal and the H^2 check, though they would need to supply the missing compactness and transversality details themselves.\n\nIt is worth sending to referees. The idea is substantive enough and the test concrete enough that a serious review could clarify whether the framework can be made rigorous or whether it stays limited to special cases.","headline":"The paper proposes a heat-kernel version of the alien correspondence via an infinite-dimensional Morse-Floer problem on complexified path space, with a test on H^2, but the general claim rests on unverified analytic control in that setting.","tokens_in":2358,"tokens_out":478,"would_cite":false,"duration_ms":23139,"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":"The heat kernel on real analytic manifolds has a resurgent structure in which alien operators generate formal sectors for holomorphic geodesics from the real geodesic expansion.","keywords":["heat kernel","resurgence","Picard-Lefschetz theory","alien operators","Morse flow","holomorphic geodesics","asymptotic expansion","Borel transform"],"falsifier":"An explicit computation on the hyperbolic plane H^2 in which the coefficients produced by the alien operators fail to equal the signed counts of Morse flow trajectories would falsify the proposed correspondence.","tokens_in":2580,"feed_emoji":"","tokens_out":683,"duration_ms":19957,"temperature":0.7,"pith_summary":"The paper shows that the short-time heat kernel on a real analytic Riemannian manifold has a 1-Gevrey asymptotic expansion. Its Borel transform is claimed to capture geometric data from complexified geodesics beyond the real sector. The authors set up an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space. They propose that pointed alien operators applied to the real geodesic expansion produce the other formal sectors, with coefficients equal to signed counts of connecting Morse flow trajectories. A confirming calculation is performed on the hyperbolic plane.","feed_headline":"Alien operators connect real and holomorphic geodesic heat kernels","feed_subtitle":"Coefficients arise as signed counts of Morse flow trajectories in the proposed correspondence for 1-Gevrey short-time expansions.","key_machinery":"the pointed alien operators of the proposed heat-kernel analogue of the Picard-Lefschetz/Alien correspondence, which map the real-geodesic asymptotic expansion to sectors for other holomorphic geodesics using signed Morse-flow trajectory counts","core_discovery":"We formulate an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space, and propose a heat-kernel analogue of the Picard-Lefschetz/Alien correspondence. In this framework, pointed alien operators acting on the asymptotic expansion associated with the real geodesic are predicted to produce the formal heat-kernel sectors associated with other holomorphic geodesics, with coefficients given by signed counts of connecting trajectories of the Morse flow.","pith_inferences":["If the correspondence holds, resurgence methods could extract contributions from complex paths in geometric path integrals without direct summation.","The framework might extend to other short-time expansions, such as those for the wave kernel or spectral determinants.","Signed counts of Morse trajectories could provide a new way to organize multi-instanton effects in complex geometry."],"forward_implications":["The 1-Gevrey expansion's Borel transform detects complex-geometric data from holomorphic geodesics.","An infinite-dimensional Morse-Floer type Picard-Lefschetz problem can be posed for the holomorphic energy functional.","Pointed alien operators generate the formal sectors for other geodesics with coefficients from signed trajectory counts.","The correspondence holds at least in the test case of the hyperbolic plane."],"fun_headline_variants":["Alien operators map real to holomorphic heat kernel sectors","Morse-Floer Picard-Lefschetz for complex heat kernels","Signed counts connect holomorphic geodesic heat kernels","Borel transform uncovers complex data in heat asymptotics"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The Borel transform of the 1-Gevrey small-time heat kernel expansion detects complex-geometric data beyond the real geodesic sector.","fun_headline_variants_meta":{"raw":{"variants":["Alien operators map real to holomorphic heat kernel sectors","Morse-Floer Picard-Lefschetz for complex heat kernels","Signed counts connect holomorphic geodesic heat kernels","Borel transform uncovers complex data in heat asymptotics"]},"model":"grok-4.3","cost_usd":0.003915,"raw_usage":{"total_tokens":1975,"prompt_tokens":603,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":39149500,"prompt_tokens_details":{"text_tokens":603,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1311,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":603,"tokens_out":61,"duration_ms":9523,"temperature":1.0,"reasoning_tokens":1311,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T11:32:58.317440+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation on the hyperbolic plane H^2 in which the coefficients produced by the alien operators fail to equal the signed counts of Morse flow trajectories would falsify the proposed correspondence.","supporting_citations":[],"review_version":1}