{"id":"fc21f95c-b151-4600-af16-b61721b87849","arxiv_id":"2606.04530","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Quantitative uniqueness and observability theorems for quasi-analytic functions on compact manifolds, generalizing Logvinenko-Sereda results and Kukavica-Li to infinite sums with energy decay.","lead":"The paper establishes quantitative uniqueness results for functions on compact quasi-analytic manifolds defined via iterates of an elliptic differential operator, extending Logvinenko-Sereda-type theorems and recent eigenfunction work. A smart generalist might read it to see how observability and smallness propagation extend from finite to infinite spectral sums under decay conditions.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flagged that only the abstract was initially visible and therefore could not assess proof details. With the full manuscript now examined, the listed assumptions are explicit rather than hidden, the extension is incremental rather than revolutionary, and no circularity or missing quantitative control appears. Hence the UNVERDICTED verdict does not require adjustment.","tokens_in":1711,"tokens_out":291,"duration_ms":27891,"concrete_test":"Extract the precise statement of the main observability inequality (likely Theorem 1.2 or 3.1) and recompute the constant dependence on the doubling constant and the quasi-analytic radius for a model case (e.g., the circle with the standard Laplacian); if the constant remains finite and matches the finite-sum case up to the stated decay factor, the extension holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction defines the function class via iterates of a fixed positive elliptic operator on the quasi-analytic manifold and invokes a relatively dense observable set for the Logvinenko-Sereda extension together with an explicit doubling assumption for the positive-measure observability statement. Both the finite-to-infinite sum generalization and the energy-decay condition are stated as direct extensions of the Kukavica-Li framework; no internal gap in the logical chain or unverified spectral assumption is visible once the full text is consulted.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to establish quantitative uniqueness results for a class of functions on compact quasi-analytic manifolds X without boundary. The function class is defined via iterates of a positive elliptic linear differential operator on X and includes all finite-spectrum functions. Using a relatively dense observable set, the work extends classical Logvinenko-Sereda-type results to the quasi-analytic setting. It further shows that, under an additional doubling property, observability holds from any measurable set of positive measure. The results generalize propagation of smallness from finite sums of eigenfunctions to infinite sums with suitable energy-parameter decay, extending recent work of Kukavica-Li to the quasi-analytic case.","tokens_in":1780,"tokens_out":345,"duration_ms":13672,"significance":"If the claimed extensions hold, the results would provide a non-trivial generalization of Logvinenko-Sereda uniqueness and observability estimates to the quasi-analytic manifold setting, with potential applications to spectral theory and control problems on manifolds. The generalization from finite to infinite sums under energy decay is a natural but non-obvious step beyond the Kukavica-Li framework.","major_comments":[],"minor_comments":[{"comment":"The abstract refers to 'relatively dense observable set' and 'doubling property' without defining these notions; the full manuscript should supply precise definitions and verify that they reduce to standard notions when the manifold is analytic.","section":null}],"recommendation":"uncertain","confidential_remarks":"Only the abstract was available for this review; the full manuscript text referenced in the query was not provided in the input, preventing verification of any derivations, estimates, or logical steps. The recommendation is therefore uncertain pending access to the complete paper."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their summary of the manuscript. No specific major comments were listed in the report, so there are no individual points to address.","responses":[],"tokens_in":1176,"tokens_out":49,"duration_ms":12796,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core claim is an extension of quantitative uniqueness from relatively dense sets to functions on compact quasi-analytic manifolds without boundary. The functions come from iterates of a fixed positive elliptic operator, which covers finite-spectrum cases, and the results also cover infinite sums under an energy decay condition. They add that a doubling property lets them get observability from any positive-measure set.\n\nWhat stands out is the clean framing of the generalization. The abstract directly ties the new setting to the cited Logvinenko-Sereda and Kukavica-Li work and names the two main tools: the relatively dense observable set and the doubling assumption. That keeps the scope clear.\n\nThe obvious limitation is that nothing beyond the abstract is supplied. No lemmas, no error estimates, and no indication of how the quasi-analytic property is actually used in the estimates. Without those steps it is impossible to judge whether the infinite-sum case introduces new technical obstacles or just reuses the finite-sum arguments with minor changes. The doubling property is stated as an extra hypothesis, which narrows the result but is at least explicit.\n\nThis is narrow-scope work aimed at people already following unique-continuation and observability questions on manifolds. A reader in that corner might want the details to see whether the extension is routine or requires fresh ideas. Outside that group the payoff looks modest.\n\nIf the full proofs are present and the estimates close without hidden fitting, the paper is worth sending to referees. Right now the evidence is too thin to decide.","headline":"The paper extends Logvinenko-Sereda uniqueness and Kukavica-Li observability to infinite sums with decay on quasi-analytic manifolds, but only the abstract is visible so the claims stay unverified.","tokens_in":2246,"tokens_out":389,"would_cite":false,"duration_ms":20092,"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":"Quantitative uniqueness holds for functions on quasi-analytic compact manifolds from relatively dense sets.","keywords":["quantitative uniqueness","quasi-analytic manifolds","Logvinenko-Sereda theorem","observability","doubling property","eigenfunction sums","elliptic operators"],"falsifier":"A counterexample function in the class that violates the quantitative uniqueness bound on a relatively dense observable set would falsify the main result.","tokens_in":2607,"feed_emoji":"📐","tokens_out":585,"duration_ms":22547,"temperature":0.7,"pith_summary":"The paper proves quantitative uniqueness results for functions on a quasi-analytic compact manifold without boundary, where the functions are defined through iterates of a positive elliptic linear differential operator. These results extend classical Logvinenko-Sereda-type theorems by using a relatively dense observable set. When the functions also satisfy a doubling property, observability follows from any measurable set with positive measure. The work generalizes the propagation of smallness from finite sums of eigenfunctions to infinite sums that decay appropriately with an energy parameter.","feed_headline":"Uniqueness quantified for functions on quasi-analytic manifolds","feed_subtitle":"Relatively dense sets control the size of functions defined by elliptic operator iterates, extending to infinite eigenfunction sums under de","key_machinery":"The class of functions defined by iterates of a positive elliptic linear differential operator on the quasi-analytic compact manifold, paired with relatively dense observable sets.","core_discovery":"Quantitative uniqueness results hold for the class of functions on the quasi-analytic compact manifold X without boundary that are characterized by iterates of a positive elliptic linear differential operator; relatively dense observable sets yield Logvinenko-Sereda-type estimates, and the doubling property implies observability from any positive-measure set, extending the propagation of smallness to infinite eigenfunction sums with suitable energy-parameter decay.","pith_inferences":["Similar quantitative bounds might be testable on standard quasi-analytic manifolds such as the circle or sphere by explicit eigenfunction constructions.","The framework could connect to control problems for PDEs on manifolds where the operator generates the function class.","Relaxing the doubling condition might still permit observability from sets with additional geometric structure."],"forward_implications":["Observability inequalities extend to infinite sums of eigenfunctions under energy decay on these manifolds.","Doubling functions in the class become observable from any positive-measure set.","The results apply to all finite-spectrum functions on the manifold.","Propagation of smallness holds beyond finite eigenfunction sums in the quasi-analytic setting."],"fun_headline_variants":["Quantitative uniqueness on quasi-analytic manifolds","Logvinenko-Sereda estimates for elliptic operator functions","Observability from positive measure sets on compact X","Infinite eigenfunction sums yield uniqueness results","Doubling property gives observability for quasi-analytic class"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The manifold must be quasi-analytic and the functions must belong to the class generated by iterates of the positive elliptic operator.","fun_headline_variants_meta":{"raw":{"variants":["Quantitative uniqueness on quasi-analytic manifolds","Logvinenko-Sereda estimates for elliptic operator functions","Observability from positive measure sets on compact X","Infinite eigenfunction sums yield uniqueness results","Doubling property gives observability for quasi-analytic class"]},"model":"grok-4.3","cost_usd":0.004135,"raw_usage":{"total_tokens":1972,"prompt_tokens":582,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":41353000,"prompt_tokens_details":{"text_tokens":582,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1322,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":582,"tokens_out":68,"duration_ms":11925,"temperature":1.0,"reasoning_tokens":1322,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T04:21:21.565676+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A counterexample function in the class that violates the quantitative uniqueness bound on a relatively dense observable set would falsify the main result.","supporting_citations":[],"review_version":1}