{"id":"153b58e0-9796-43e3-941a-1588f43ed586","arxiv_id":"2508.20081","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Blowing up the corner where the semiclassical parameter meets the cotangent fiber identifies the semiclassical and standard pseudodifferential algebras and yields resolvent estimates for elliptic pseudodifferential spectral families.","lead":"This mathematics paper shows how two standard toolboxes for studying operator families in partial differential equations, the semiclassical and the classical pseudodifferential algebras, are the same picture seen from two angles, related by a geometric surgery called a corner blow-up. It uses that identification to prove new uniform bounds for elliptic equations involving pseudodifferential (non-polynomial) operator families, which earlier theory could not handle.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 1.6's ellipticity lower bound is inconsistent with the stated order (m,l,k); the key spectral family A−λ/h^m fails the literal bound, so the ellipticity step of Theorem 1.1 is not supported by the written definition.","rationale":"The reader's weakest-assumption focused on the unproved tri-filtered algebra closure and parametrix existence. Those are legitimate gaps, but they are standard verifications and likely correct. The more concrete, directly testable issue is the inconsistency between Definition 1.6's ellipticity lower bound and the order triple (m,l,k) used for the spectral family A−λ/h^m. If the definition is read literally, the ellipticity claim in Theorem 1.1 is false; the paper's own Laplacian example would fail the same bound. The surrounding text and usage clearly indicate the intended lower bound is ρ_{ℏ,∞}^{-m}ρ_{ℏ,ff}^{-l}ρ_{ℏ,0}^{-k}, so this is probably a typographical slip rather than a mathematical counterexample. However, because the theorem's proof depends on ellipticity in this joint class, the manuscript as written does not fully support the central claim. The conditional verdict remains appropriate: accepting the theorem requires either correcting Definition 1.6 or explicitly replacing it with the order-matched ellipticity notion. The reader's verdict is therefore unchanged.","tokens_in":14918,"tokens_out":24113,"duration_ms":266109,"concrete_test":"Take the Laplacian example on a compact manifold: A = h^{-2}(h^2Δ − λ), with m = 2, l = 2, k = 2 and λ non-real. Compute the two possible ellipticity lower bounds near the front face: (i) the literal Definition 1.6 bound ρ_{ℏ,∞}^{-2}ρ_{ℏ,ff}^{-4}ρ_{ℏ,0}^{-2}; (ii) the order-matched bound ρ_{ℏ,∞}^{-2}ρ_{ℏ,ff}^{-2}ρ_{ℏ,0}^{-2}. Check whether the symbol h^{-2}(|ζℏ|^2 − λ) satisfies (i) for arbitrarily small ρ_{ℏ,ff}. If it does not, Definition 1.6 must be amended to use ρ_{ℏ,∞}^{-m}ρ_{ℏ,ff}^{-l}ρ_{ℏ,0}^{-k}; the same correction then makes the ellipticity step in Theorem 1.1 valid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 1.6 defines ellipticity for A ∈ Ψ^{m,l,k}_{∞,ℏ} by a lower bound of the form ρ^{-m}_∞ h^{-k} = ρ^{-m}_{ℏ,∞} ρ^{-m-k}_{ℏ,ff} ρ^{-k}_{ℏ,0}. This is the natural ellipticity bound for the standard parameter class Ψ^{m,k}_∞, i.e. for the case l = m+k, but not for general l. For the central spectral family A − λ/h^m ∈ Ψ^{m,m,m}_{∞,ℏ}, we have l = m, k = m, so the literal Definition 1.6 requires |a| ≥ c ρ^{-m}_{ℏ,∞} ρ^{-2m}_{ℏ,ff} ρ^{-m}_{ℏ,0}. But the principal symbol of A − λ/h^m is h^{-m}(a_m(z,ζℏ) − λ); near the front face, with ρ_{ℏ,0} nonzero, this behaves like ρ^{-m}_{ℏ,ff} · ρ^{-m}_{ℏ,0}, which is much weaker than ρ^{-2m}_{ℏ,ff} as ρ_{ℏ,ff} → 0. Thus the symbol does not satisfy the literal ellipticity lower bound. The same failure occurs in the Laplacian example in §1: for h^{-2}(h^2Δ−λ), the natural bound is h^{-2}(1+|ζℏ|^2) ~ ρ^{-2}_{ℏ,ff}ρ^{-2}_{ℏ,0}, while Definition 1.6 would demand ρ^{-2}_{ℏ,∞}ρ^{-4}_{ℏ,ff}ρ^{-2}_{ℏ,0}. The intended ellipticity condition appears to be the order-matched bound ρ^{-m}_{ℏ,∞}ρ^{-l}_{ℏ,ff}ρ^{-k}_{ℏ,0}, but as written, Definition 1.6 invalidates the ellipticity assertion on which Theorem 1.1 rests. This is likely a corrigible typo rather than a fatal flaw, but it is a concrete place where the written argument and the natural mathematics diverge.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a joint semiclassical-classical pseudodifferential algebra Ψ^{m,l,k}_{∞,ℏ} defined on the blow-up of the parameter-dependent, fiber-compactified cotangent bundle at the corner {h=0, ρ∞=0}. It establishes inclusion relations between this algebra, the standard parameter-dependent class Ψ^{m,k}_∞, and the semiclassical class Ψ^{m,k}_ℏ, and uses the framework to prove Theorem 1.1: for an elliptic A∈Ψ^{m,0}_∞ with real principal symbol and λ in a compact subset of C\\R, the spectral family A−λ/h^m is in Ψ^{m,m,m}_{∞,ℏ}, is elliptic there, and is invertible for h sufficiently small, with inverse in Ψ^{-m,-m,-m}_{∞,ℏ}=Ψ^{-m,0}_∞∩Ψ^{0,-m}_∞. The proof proceeds by identifying the spectral family in the joint algebra, proving ellipticity and full ellipticity, and applying a parametrix construction.","tokens_in":15357,"tokens_out":16867,"duration_ms":163706,"significance":"If the ellipticity definition is corrected as detailed below, the paper gives a clean geometric explanation of the semiclassical/standard relationship and yields large-parameter resolvent estimates for non-polynomial pseudodifferential spectral families, a case not covered by Shubin's large-parameter class. The blow-up identities ρ∞=ρℏ,∞ρℏ,ff and h=ρℏ,0ρℏ,ff are elegant, and the inclusions (1.3)–(1.5) are useful. The paper is appropriately modest in scope, treating the model case of second microlocalization at the zero section, and it gives credit to prior work. However, the load-bearing ellipticity definition contains a concrete error that must be fixed before the main theorem is supported.","major_comments":[{"comment":"Definition 1.6 defines ellipticity for A∈Ψ^{m,l,k}_{∞,ℏ} by the lower bound ρ∞^{-m}h^{-k}=ρℏ,∞^{-m}ρℏ,ff^{-m-k}ρℏ,0^{-k}, which is independent of l. For the central spectral family A−λ/h^m∈Ψ^{m,m,m}_{∞,ℏ}, this demands ρℏ,∞^{-m}ρℏ,ff^{-2m}ρℏ,0^{-m}. Near the front face with ρℏ,0 bounded away from 0, the principal symbol h^{-m}(a_m(z,ζℏ)−λ) is of size ρℏ,ff^{-m}ρℏ,0^{-m} (from the λ term), much weaker than ρℏ,ff^{-2m} as ρℏ,ff→0. The same mismatch occurs in the Laplacian example in §1. Thus the ellipticity step of Theorem 1.1 is not supported by the definition as written. The intended bound is evidently ρℏ,∞^{-m}ρℏ,ff^{-l}ρℏ,0^{-k}, which reduces to Definition 1.3 when l=m+k. Please correct Definition 1.6 and recheck all subsequent uses.","section":"Definition 1.6"},{"comment":"Immediately after Definition 1.4 the paper states that Ψ^{m,l,k}_{∞,ℏ} 'is easily seen to form a tri-filtered ∗-algebra', and after Definition 1.6 it invokes a 'standard symbolic construction' producing a parametrix in Ψ^{-m,-l,-k} with remainders in Ψ^{-∞,-∞,0}. These properties are load-bearing for Proposition 1.8 and Theorem 1.1, but no proof or reference is supplied. Given that the joint algebra is a new object, please provide a proof or a precise citation for the closure under composition/adjunction and for the parametrix statement, or state explicitly that these are standard in the bounded-geometry/parameter-dependent calculus.","section":"Definition 1.4 / after Definition 1.6"}],"minor_comments":[{"comment":"The notation Ψ^{m,k,l}_{∞,ℏ} should be Ψ^{m,l,k}_{∞,ℏ}.","section":"After Definition 1.5"},{"comment":"The phrase 'We say that A ∈ Ψ^{m,l,k}_{∞,ℏ} if fully elliptic' should read 'is fully elliptic'.","section":"Definition 1.7"},{"comment":"Typo: 'cotangent bubdle' should be 'cotangent bundle'.","section":"Figure 1 caption"},{"comment":"The notation 'Ψ_{ℏ,∞}' is undefined; presumably it should be Ψ^{m,l,k}_{∞,ℏ}.","section":"After Definition 1.4"},{"comment":"The equality Ψ^{-m,-m,-m}_{∞,ℏ}=Ψ^{-m,0}_∞∩Ψ^{0,-m}_∞ follows from (1.4) but deserves a one-line explanation; as written it is abrupt.","section":"Theorem 1.1"},{"comment":"The proof is very terse ('completely analogous arguments as for the Laplacian'). After the correction of Definition 1.6, the ellipticity and full-ellipticity checks for the general symbol a_m should be written out explicitly.","section":"Proof of Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The Definition 1.6 issue is a concrete, load-bearing error but appears to be a corrigible typo: the intended ellipticity bound is the order-matched one. The paper's central idea is sound and the application to non-polynomial spectral families is valuable. I recommend major revision; after the definition is corrected and the symbolic-calculus statements are supported, the paper should be acceptable. The revision should also expand the proof of Theorem 1.1 so that the ellipticity and normal-operator checks are explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper gives a clean geometric explanation of the semiclassical/standard dictionary via blowing up the corner, and the main theorem—invertibility of elliptic pseudodifferential spectral families in the joint algebra—is right in spirit. But the written Definition 1.6 has a load-bearing typo that invalidates the proof as stated, and a couple of algebra-closure facts are asserted rather than proved.\n\nWhat is actually new: the identification (1.4) Ψ^{m,k}_∞ = Ψ^{m,m+k,k}_{∞,ℏ}, the inclusion (1.5) Ψ^{m,k}_ℏ ⊂ Ψ^{m,k,k}_{∞,ℏ}, and the application to large-parameter resolvent estimates for non-polynomial spectral families, which genuinely are not in Shubin's large-parameter class. The corner blow-up picture is well drawn and makes the bookkeeping of the three boundary faces clear. Proposition 1.8 is proved, and the limitation to the zero-section model is stated honestly.\n\nThe stress-test is right. Definition 1.6 defines ellipticity for A ∈ Ψ^{m,l,k}_{∞,ℏ} using the lower bound ρ^{-m}_∞ h^{-k} = ρ^{-m}_{ℏ,∞}ρ^{-m-k}_{ℏ,ff}ρ^{-k}_{ℏ,0}, which is the correct bound only for l = m+k. For the Laplacian and for Theorem 1.1, l=k=m, so the literal definition demands ρ^{-2m}_{ℏ,ff} where the symbol only gives ρ^{-m}_{ℏ,ff}. The claimed ellipticity does not follow from the definition as printed. The fix is obvious—replace the bound with ρ^{-m}_{ℏ,∞}ρ^{-l}_{ℏ,ff}ρ^{-k}_{ℏ,0}—but it has to be made before the proof of Theorem 1.1 is sound.\n\nThe other soft spot is structural: the assertions that Ψ^{m,l,k}_{∞,ℏ} is a tri-filtered *-algebra and that the standard symbolic construction gives a parametrix in the joint class are both labeled 'easily seen' and left unproved. These are standard for the intended audience, but they are load-bearing. A referee should ask for the composition/adjunction index arithmetic and the parametrix construction to be written out, or at least stated as a lemma with a proof sketch.\n\nOverall the mathematics is honest and the citation pattern is fine. The paper is for microlocal analysts working on resolvent estimates, functional calculus, or second microlocalization. The central idea is correct and the errors are corrigible. It deserves a serious referee; with Definition 1.6 fixed and the algebra closure at least sketched, it should be published.","headline":"Useful geometric clarification of the semiclassical/standard dictionary, but Definition 1.6 has a real typo that must be fixed before the main proof is sound.","tokens_in":15933,"tokens_out":7076,"would_cite":true,"duration_ms":56872,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35S05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that for an elliptic pseudodifferential operator A of positive order with real principal symbol, the spectral family A - lambda/h^m is fully elliptic in a joint semiclassical-classical algebra and hence invertible for small","keywords":["semiclassical pseudodifferential operators","standard pseudodifferential operators","joint algebra","elliptic spectral families","large parameter resolvent estimates","second microlocalization","blow-up construction","full ellipticity"],"falsifier":"Compute, for a simple non-polynomial elliptic symbol of order m>0 on the torus, the second-order symbol of the resolvent of A - lambda/h^m and compare it with the claimed joint orders (-m,-m,-m); a failure to satisfy the conormal bounds, or a parametrix remainder that does not gain smoothing at both the front face and semiclassical fiber infinity, would falsify the theorem.","tokens_in":14732,"feed_emoji":"📐","tokens_out":13140,"duration_ms":136401,"temperature":0.7,"pith_summary":"This paper tries to show that the semiclassical and standard pseudodifferential operator algebras are not competing formalisms but two faces of a single joint algebra, obtained by blowing up the corner where the small parameter h=0 meets fiber infinity in the compactified cotangent bundle. On that resolved space one tracks three independent orders—semiclassical differential order, semiclassical growth order, and standard parameter order—and both standard families (Psi^{m,k}_infty) and semiclassical operators (Psi^{m,k}_hbar) sit inside it. The payoff is Theorem 1.1: for an elliptic pseudodifferential operator A of positive order with real principal symbol, the spectral family A - lambda/h^m is fully elliptic in this joint algebra, so for small h its resolvent exists and lies in the intersection Psi^{-m,0}_infty ∩ Psi^{0,-m}_infty. That yields uniform large-spectral-parameter resolvent estimates for genuine pseudodifferential spectral families, something the classical large-parameter calculus could not deliver unless the symbol was polynomial. The same framework gives a simple functional calculus and a geometric explanation of second microlocalization.","feed_headline":"Joint algebra yields resolvent bounds for elliptic spectral families","feed_subtitle":"Pseudodifferential spectral families get the same large-parameter resolvent control as differential operators.","key_machinery":"The key object is the joint semiclassical-classical symbol space S^{m,l,k}_infty on the blow-up of the parameter-dependent, fiber-compactified cotangent bundle at the corner {h=0, ρ_infty=0}. The blow-up replaces the corner by a front face and yields three boundary hypersurfaces—semiclassical fiber infinity, the front face, and the parameter boundary—with defining functions ρ_hbar,∞, ρ_hbar,ff, ρ_hbar,0 satisfying ρ_infty = ρ_hbar,∞ ρ_hbar,ff and h = ρ_hbar,0 ρ_hbar,ff. The symbol estimates are that all boundary-tangent vector fields applied to the symbol stay bounded by products of these defining functions raised to the three orders. This class is closed under composition and adjunction, so","core_discovery":"The central discovery is that the natural home for a family like A - lambda/h^m is neither the standard parameter-dependent class nor the semiclassical class, but the joint algebra Psi^{m,l,k}_{infty,hbar} of conormal symbols on the blown-up space [T^*R^n x [0,1); ∂T^*R^n x {0}]. On this space the frequency boundary function factors as ρ_infty = ρ_hbar,∞ ρ_hbar,ff and the semiclassical parameter as h = ρ_hbar,0 ρ_hbar,ff, so a symbol can have independent orders at the three resulting boundary faces. The main theorem states that for A ∈ Psi^{m,0}_infty with m>0, elliptic with real principal symbol, and λ in a compact subset of C avoiding R, the operator A - λ/h^m lies in Psi^{m,m,m}_infty,hba","pith_inferences":["Beyond the paper, the corner blow-up suggests an iterative pattern: blowing up further corners, for instance at finite frequencies, would produce higher-order or multi-parameter joint algebras with the same two-factor relations among boundary defining functions.","Beyond the paper, one could test whether the regularity-versus-decay interpolation in the resolvent estimates is saturated for a genuinely non-polynomial elliptic symbol, not just for the Laplacian, by computing explicit resolvent kernels to leading order.","Beyond the paper, for non-self-adjoint operators with complex principal symbol elliptic only on a closed cone, one could ask whether full ellipticity of the normal operator alone, rather than self-adjointness, suffices for large-h bounds."],"forward_implications":["Every elliptic pseudodifferential operator of positive order gains the same large-spectral-parameter resolvent estimates that were previously available only for differential operators.","The inverse is simultaneously in Psi^{-m,0}_infty and Psi^{0,-m}_infty, which translates into a sharp trade-off between Sobolev regularity and h-decay when the operator acts on fixed, non-semiclassical function spaces.","Complex powers and more general functions of a self-adjoint operator can be built by contour integration of this resolvent family, since the integrand is a uniform standard pseudodifferential family.","The same parametrix and full-ellipticity argument works on bounded-geometry manifolds and in scattering-type algebras, because only the conormal blow-up structure is used.","The geometric identity between blowing up the corner of the standard family cotangent bundle and second-microlocalizing at the zero section of the semiclassical cotangent bundle explains why those second-microlocal constructions required extra care."],"supporting_citations":[{"why":"Supplies the compactified cotangent-bundle picture and the scattering-algebra setting in which the symbol classes are stated.","marker":"[4]"},{"why":"Defines the large-parameter pseudodifferential class that lacks the joint orders needed to contain non-polynomial spectral families.","marker":"[6]"},{"why":"Earlier semiclassical second-microlocalization construction that the corner blow-up reinterprets and simplifies.","marker":"[13]"}],"fun_headline_variants":["Joint algebra sharpens resolvent bounds for spectral families","Combined algebra yields large-parameter resolvent estimates","Semiclassical meets standard: algebra unifies resolvent control","New algebra bridges pseudodifferential tools for elliptic bounds"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The load-bearing premise is that the new combined symbol classes actually form an algebra under the usual rules of pseudodifferential calculus—composing two such operators, taking adjoints, and summing asymptotic series stays inside the class with the stated order gains; if that closure fails, the parametrix and invertibility conclusions fail.","fun_headline_variants_meta":{"raw":{"variants":["Joint algebra sharpens resolvent bounds for spectral families","Combined algebra yields large-parameter resolvent estimates","Semiclassical meets standard: algebra unifies resolvent control","New algebra bridges pseudodifferential tools for elliptic bounds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000787,"raw_usage":{"total_tokens":3238,"prompt_tokens":604,"completion_tokens":2634,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":348,"completion_tokens_details":{"reasoning_tokens":2568}},"tokens_in":348,"tokens_out":2634,"duration_ms":20501,"temperature":1.0,"reasoning_tokens":2568,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T15:14:55.556807+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a simple non-polynomial elliptic symbol of order m>0 on the torus, the second-order symbol of the resolvent of A - lambda/h^m and compare it with the claimed joint orders (-m,-m,-m); a failure to satisfy the conormal bounds, or a parametrix remainder that does not gain smoothing at both the front face and semiclassical fiber infinity, would falsify the theorem.","supporting_citations":[{"cited_title":"Melrose, Spectral and scattering theory for the Laplacian on asymptotically Eu- clidian spaces, Spectral and scattering theory (Sanda, 1992), Lecture Notes in Pure and Appl","cited_arxiv_id":null,"evidence_quote":"Supplies the compactified cotangent-bundle picture and the scattering-algebra setting in which the symbol classes are stated."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the large-parameter pseudodifferential class that lacks the joint orders needed to contain non-polynomial spectral families."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier semiclassical second-microlocalization construction that the corner blow-up reinterprets and simplifies."}],"review_version":1}