{"id":"ae007fa7-e6bb-44d3-a056-baea67797aa0","arxiv_id":"1908.03041","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Classical theorems on the Radon transform, the Gel'fand problem, and the Calderón problem are surveyed and proved with elementary quasimode arguments; the preface states all results are classical.","lead":"These lecture notes explain how microlocal analysis, the phase-space study of PDE singularities, is applied to inverse problems such as X-ray CT, seismic imaging, and electrical impedance tomography. They prove several classical theorems with elementary quasimode arguments instead of the full Fourier integral operator machinery.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.4(4.4) as printed is false: the two quasimodes share the phase e^{iλ(t−x_n)}, so the product oscillates and the limit is 0, not the claimed line integral.","rationale":"The reader's weakest_assumption pointed at the WKB/quasimode constructions and specifically at formula (4.4), but treated it as under-detailed rather than false. My closer reading of the displayed proof shows a sharper problem: as written, (4.4) is not just insufficiently justified, it is inconsistent with the quasimodes constructed in the same proposition. Both factors are e^{iλ(t−x_n)} times the same concentrating amplitude, so their product carries an oscillation whose frequency is amplified by the rescaling w=εσ, forcing the limit to vanish. This directly affects the proof of Theorem 4.1, because that proof invokes (4.4) with ψ=(q1−q2) to obtain equality of line integrals. The fix is local and elementary: one factor should carry the conjugate phase, or equivalently the statement should be ∫ψ u \\overline{\\tilde u}. Because the theorem is classical and the correction is a one-character repair, I would not reject the notes or question the underlying mathematics, but the current text should not be accepted without that correction or an explicit clarification. The curved-boundary omission in Proposition 5.5 is also real but secondary: the paper itself states that the phase is solved to infinite order at the boundary, and the missing details are routine for this genre; the (4.4) phase inconsistency, by contrast, produces a wrong mathematical limit as the text stands.","tokens_in":21472,"tokens_out":12505,"duration_ms":140801,"concrete_test":"Recompute the left side of (4.4) using the quasimodes from the proof: substitute v_λ=e^{iλφ}ε^{−n/2}ζ(x′/ε)ζ(w/ε) and the analogous \\tilde v_λ, change variables as in (4.8), scale x′=εy and w=εσ, and take λ→∞. The printed integrand contains e^{4iλεσ}; with ε=λ^{−1/(n+8)} this factor gives limit 0 for generic ψ, contradicting (4.4). Then repeat the computation with \\overline{\\tilde v_λ} in place of \\tilde v_λ, or with phase −t+x_n for the terminal solution; the limit becomes ∫_δ^L ψ(γ(s),s)ds. This identifies the exact missing conjugation and confirms that the intended theorem is recoverable.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 4.1 depends on formula (4.4) in Proposition 4.4. In the WKB construction, both u and \\tilde u are built as e^{iλφ}a with the same phase φ=t−x_n and with amplitude supported where w=(t−x_n)/2=O(ε), ε=λ^{−1/(n+8)}. The product u\\tilde u therefore contains the phase e^{2iλφ}=e^{4iλw}. After the change of variables (4.8) and the scaling w=εσ, the σ-integral contains e^{4iλεσ}ζ(σ)^2. Since λε=λ^{1−1/(n+8)}→∞, Riemann-Lebesgue forces the integral to tend to 0 for generic ψ, not to ∫ψ(γ(s),s)ds. The sentence 'Since φ and a0 are independent of q, the same argument as above proves (4.4)' does not repair this: using the same phase is exactly what creates the oscillation, and the correction terms r are only O(λ^{−1/2}), too small to produce a nonzero limit. Without a valid (4.4), the limit step in the proof of Theorem 4.1 collapses. The theorem itself is classical and cited, so this is an internal gap in the exposition rather than a false mathematical result; inserting a conjugate \\overline{\\tilde u} on one factor, or using the opposite phase −t+x_n for the terminal solution, would fix it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript is a set of lecture notes for a minicourse on applications of microlocal analysis to inverse problems. It gives informal introductions to pseudodifferential operators, wave front sets, and Fourier integral operators, and then presents three classical results: Theorem 3.3 (the normal operator of the planar Radon transform satisfies R*R = 4π|D|^{-1}), Theorem 4.1 (equality of hyperbolic Dirichlet-to-Neumann maps implies equality of line integrals of the potential over maximal segments of length < T, due to Rakesh-Symes), and Theorem 5.1 (equality of elliptic Dirichlet-to-Neumann maps implies equality of Taylor series of conductivities at the boundary, due to Kohn-Vogelius and Sylvester-Uhlmann). The exposition is deliberately elementary: the theorems are proved by quasimode/WKB constructions rather than by the full microlocal calculus, and all results are attributed to their classical sources.","tokens_in":21606,"tokens_out":5275,"duration_ms":56685,"significance":"If the elementary proofs are valid, the notes fulfill a useful pedagogical role: they connect the microlocal point of view to concrete inverse problems while keeping the technical machinery relatively light. Theorem 3.3 is proved by a clean Fourier-slice and polar-coordinates computation, and the integral identities in Lemmas 4.3 and 5.4 are standard and correctly derived. Theorems 4.1 and 5.1 are classical, so the value of the manuscript is primarily expository: it demonstrates how highly oscillatory test functions can replace full FIO calculus in these examples. However, the exposition currently contains a load-bearing gap in Section 4 and an under-supported step in Section 5, so the advertised elementary route is not yet fully established as written.","major_comments":[{"comment":"The claimed limit in (4.4) is not proved by the preceding construction and, as printed, is false. Both u and \\tilde u are constructed with the same phase e^{iλ(t-x_n)} and with amplitudes supported where w=(t-x_n)/2=O(ε), ε=λ^{-1/(n+8)}. After the change of variables (4.8) and the scaling w=εσ, the product u\\tilde u contains the oscillatory factor e^{4iλεσ} (up to a constant in the exponent), and since λε=λ^{1-1/(n+8)}→∞, the Riemann-Lebesgue lemma forces the integral to tend to 0 for generic test functions ψ, not to ∫ ψ(γ(s),s)ds. The sentence 'Since φ and a0 are independent of q, the same argument as above proves (4.4)' does not repair the problem: using the same phase is exactly what creates the oscillation, and the correction term r is only O(λ^{-1/2}), too small to produce a nonzero limit. The proof of Theorem 4.1 uses (4.4) at the limiting step after Eq. (4.5), so the proof of Theorem 4.1 as written has a load-bearing gap. This is an internal gap in the exposition rather than a false theorem, since Theorem 4.1 is classical and cited, and the gap is repairable (for example by complex-conjugating one factor or using the opposite phase -t+x_n for the terminal solution), but the manuscript must be corrected here. A related inconsistency is that Eq. (4.5) writes u1 u2 instead of u1 \\bar u2 as in Lemma 4.3.","section":"Section 4, Proposition 4.4, Eq. (4.4)"},{"comment":"The curved-boundary case is the part of the proof of Theorem 5.1 that applies to the actual geometry of the theorem, and it is not proved in the manuscript. In boundary normal coordinates the conductivity equation becomes ∇·(γ A∇u)=0 with a nonconstant positive matrix A, and the eikonal equation p_2(x,∇Φ)=0 cannot be solved globally by the affine phase used in the flat case. The text states that the equation is solved only to infinite order on {x_n=0} and that the transport and error machinery proceeds 'in a similar way as above' without details. Since formula (5.2) and the boundary limit in the proof of Theorem 5.1 depend on the exponential decay and the structure of the approximate solution, this omission is load-bearing. The theorem itself is classical ([KV84], [SU88]) and the unpublished draft [FSU] is cited, but the paper's advertised elementary proof needs either a complete argument for the curved-boundary construction or an explicit reference for this step.","section":"Section 5, Proposition 5.5, final paragraph"}],"minor_comments":[{"comment":"In the sentence introducing u2, the manuscript writes 'with u1 = ∂tu1 = 0 on {t=T}'; this should be u2 = ∂tu2 = 0 on {t=T}.","section":"Section 4, proof of Theorem 4.1"},{"comment":"Lemma 5.4 and the proof of Theorem 5.1 use the conjugate ∇\\bar u2 and ∇\\bar v2, but formula (5.2) in Proposition 5.5 is stated with ∇v · ∇\\tilde v without a conjugate. The notation should be made consistent, since the quasimodes are complex-valued.","section":"Section 5, Eq. (5.2) and proof of Theorem 5.1"},{"comment":"The proof of Theorem 5.1 relies on the unpublished draft [FSU] for the quasimode construction; for a self-contained published account, the manuscript should cite [KV84] and [SU88] explicitly at the point of Proposition 5.5 as well as in the statement of Theorem 5.1.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a lecture-note exposition of classical results. The main theorems are correct and properly attributed, and the expository idea is valuable. However, Proposition 4.4(4.4) is false as printed and invalidates the proof of Theorem 4.1 as written, while the curved-boundary part of Proposition 5.5 is asserted rather than proved. Both issues are repairable within the manuscript's scope, so major revision is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The notes are a pleasant, honest overview of the microlocal paradigm in inverse problems, and they do the Radon and Calderón sections well. The exposition of visible singularities, the FIO viewpoint, and the boundary-determination proof via complex-phase quasimodes are all clear and correctly attributed to the classical literature. If you want a compact entry point into these ideas, this is a good place to look.\n\nBut there's a real problem in Section 4. The proof of Proposition 4.4(4.4) is wrong as printed. The forward and terminal solutions are both constructed with the same phase φ = t − x_n, so their product contains e^{2iλφ} = e^{4iλw} after the change of variables. When you scale w = εσ, the phase becomes λ^{1−1/(n+8)}σ, which oscillates and forces the integral to zero by Riemann–Lebesgue, not the claimed line integral. The sentence \"since φ and a0 are independent of q, the same argument as above proves (4.4)\" is exactly where the argument breaks: the same phase is what produces the oscillation, and the O(λ^{-1/2}) remainders are too small to rescue the limit. The theorem itself is classical, so the conclusion is true, but this particular elementary proof does not establish it. The fix is straightforward—use opposite phases or conjugate one solution—but as written it's a gap in the main proof of Theorem 4.1.\n\nThat weakness is contained to one section. The Radon normal-operator computation is clean, and the Calderón boundary-determination proof is solid, modulo the expected handwave for the curved-boundary case. I also noticed a harmless factor-of-two issue in the change of variables for (4.3), but it's absorbed into the limit and doesn't affect correctness.\n\nWhere does that leave the paper? It's genuinely useful as a survey, and the three classical theorems are correctly stated. But the notes currently deliver an invalid proof for one of the three advertised results. A serious referee would send it back for revision, not desk-reject it outright. The error is fixable, the rest is good, and the intended audience (graduate students, researchers new to microlocal inverse problems) would still benefit after a correction. If this were submitted to a journal, I'd recommend peer review with the request that the author fix (4.4).","headline":"Largely sound lecture notes that hit the microlocal-inverse-problems highlights, but the proof of Proposition 4.4(4.4) has a phase-cancellation error that invalidates the claimed elementary proof of the Rakesh–Symes theorem.","tokens_in":22356,"tokens_out":4194,"would_cite":false,"duration_ms":45069,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R30","35S30","44A12","35A27"],"pacs":[],"model":"deepseek-v4-flash","headline":"These lecture notes argue that the classical theorems of three inverse problems—Radon inversion, wave-equation coefficient recovery, and boundary conductivity determination—can be proved by one elementary quasimode construction.","keywords":["microlocal analysis","inverse problems","Dirichlet-to-Neumann map","Radon transform","pseudodifferential operators","Fourier integral operators","quasimode construction","boundary determination"],"falsifier":"Evaluate the limit formula (5.2) numerically for a specific curved domain, e.g. the unit ball in $\\mathbb{R}^2$ with constant conductivity and the boundary point $x_0=(1,0)$, by constructing the quasimode phase and amplitude explicitly. If the limit $\\lambda^k \\int_{\\Omega} \\operatorname{dist}(x,\\partial\\Omega)^k f\\,\\nabla v\\cdot\\nabla\\tilde v\\,dx$ does not converge to $c_k \\int_{\\partial\\Omega} f|\\chi|^2\\,dS$ for some smooth $f$, the curved-boundary step of Proposition 5.5 is false and the proof of Theorem 5.1 fails.","tokens_in":21069,"feed_emoji":"📐","tokens_out":9362,"duration_ms":98746,"temperature":0.7,"pith_summary":"These lecture notes aim to show that the core theorems of three inverse problems can be proved with a single elementary tool: testing boundary measurements against highly oscillatory trial solutions. The first result is the planar Radon transform identity $R^*R = 4\\pi|D|^{-1}$, which makes the normal operator an elliptic pseudodifferential operator and explains which singularities are stably recoverable from limited data. The second is that equality of hyperbolic Dirichlet-to-Neumann maps forces equality of line integrals of the unknown potential over every segment of length less than the measurement time $T$. The third is that equality of elliptic Dirichlet-to-Neumann maps forces the boundary Taylor series of two conductivities to match. The payoff is a concrete picture of how microlocal ideas connect visible singularities, null bicharacteristics, and boundary symbol extraction.","feed_headline":"One quasimode construction proves three inverse-problem theorems","feed_subtitle":"Radon inversion, wave-equation coefficient recovery, and conductivity boundary determination all follow from oscillatory test waves.","key_machinery":"The central object is the quasimode, an approximate solution of the form $v_\\lambda = \\lambda^{-1/2} e^{i\\lambda \\Phi} a$, with phase $\\Phi$ chosen so that the principal symbol of the operator vanishes (the eikonal equation), and amplitude $a$ built recursively by transport equations so that the leftover error is $O(\\lambda^{-N})$ in $L^2$. For the wave equation the phase is $t - x_n$, concentrating the solution along a line; for the conductivity equation the phase has imaginary part equal to distance to the boundary, so $e^{i\\lambda\\Phi}$ decays exponentially inward. The amplitude is assembled from Taylor data at the boundary using Borel summation, which lets one prescribe the normal derivatives of $a$ so that all lower-order terms vanish to infinite order at the boundary. These quasimodes are then paired with the Alessandrini-style integral identity for the difference of Dirichlet-to-Neumann maps; taking $\\lambda\\to\\infty$ extracts precisely the line integral or boundary Taylor coefficient sought.","core_discovery":"On its own terms, the paper's discovery is expository: it claims that the microlocal paradigm for inverse problems can be substantiated by direct oscillatory testing, without developing a full pseudodifferential or Fourier integral operator calculus. Concretely, it proves three classical statements: the identity $R^*R = 4\\pi|D|^{-1}$ for the Radon transform in the plane; the theorem that equal hyperbolic Dirichlet-to-Neumann maps imply $\\int_\\gamma q_1\\,ds = \\int_\\gamma q_2\\,ds$ for every maximal line segment $\\gamma$ of length $<T$; and the theorem that equal elliptic Dirichlet-to-Neumann maps imply that $\\gamma_1$ and $\\gamma_2$ have identical Taylor series at every boundary point. The proofs work by inserting highly oscillatory approximate solutions into an integral identity and letting the frequency $\\lambda$ tend to infinity, so that the interior terms either vanish or concentrate on a line or boundary point. In the boundary-determination argument, the exponential decay $e^{-\\lambda x_n}$ of the quasimode isolates the boundary, and the limit formula (5.2) converts the inner product of gradients into a boundary integral of $f|\\chi|^2$.","pith_inferences":["The $\\lambda^{-1/2}$ and $\\lambda^{-N}$ remainder rates visible in the quasimode proofs suggest quantitative versions: how many boundary measurements at which frequencies are needed to recover a prescribed number of Taylor coefficients of a conductivity. The notes do not address this.","The same construction should apply to other elliptic boundary value problems whose Dirichlet-to-Neumann map has a scalar principal symbol, such as magnetic Schrödinger equations, yielding boundary Taylor determination of additional coefficients. This is an extrapolation from the method, not a claim of the notes.","For the wave-equation problem, replacing straight line segments by geodesics of a Riemannian metric should convert Theorem 4.1 into a geodesic X-ray transform recovery statement, matching the paper's remark that microlocal analysis is used in seismic imaging.","The visible-singularity dichotomy for limited-angle Radon data is an instance of a more general principle: whenever the forward map is a Fourier integral operator, the stable information is exactly the intersection of the data with the canonical relation. Extending the dichotomy to nonlinear inverse problems is a natural test."],"forward_implications":["The identity $R^*R = 4\\pi|D|^{-1}$ implies the normal operator is an elliptic pseudodifferential operator of order $-1$, so the simple backprojection $R^*Rf$ recovers the singular support of $f$ and, with the filtered variant, inverts the transform exactly.","If the wave-equation boundary measurements agree for time $T > \\operatorname{diam}(\\Omega)$, Theorem 4.1 plus injectivity of the X-ray transform forces $q_1 = q_2$; for shorter times only line integrals over segments of length $<T$ are determined.","Equality of conductivity boundary measurements forces the two conductivities to agree to all orders at the boundary, so a real-analytic conductivity is uniquely determined by the Dirichlet-to-Neumann map.","The same oscillatory-testing scheme recovers two different data types from two different boundary maps: integrals of a potential over interior lines, and boundary Taylor coefficients of a conductivity."],"supporting_citations":[{"why":"The wave-equation uniqueness theorem whose line-integral conclusion Theorem 4.1 restates and proves elementarily.","marker":"[RS88]"},{"why":"Original source of the boundary-determination result that Theorem 5.1 presents with a quasimode proof.","marker":"[KV84]"},{"why":"Earlier proof of boundary determination via the symbol of the Dirichlet-to-Neumann map, which the notes replace by direct oscillatory testing.","marker":"[SU88]"},{"why":"Supplies the pseudodifferential calculus, wave front sets, Fourier integral operator facts, and the Borel summation lemma used in the constructions.","marker":"[Hö85]"},{"why":"Introduced the microlocal treatment of Radon transforms that frames the visible-singularity discussion of Section 3.","marker":"[Gu75]"},{"why":"Introductory reference for pseudodifferential operators as an algebra, the starting point for the notes.","marker":"[KN65]"},{"why":"Provides the wave and elliptic well-posedness and energy estimates used to bound the correction terms in the quasimode proofs.","marker":"[Ev10]"},{"why":"States the Fourier integral operator and symbol fact for the hyperbolic Dirichlet-to-Neumann map that motivates the proof strategy of Theorem 4.1.","marker":"[SY18]"}],"fun_headline_variants":["One quasimode construction proves three inverse theorems","Direct oscillatory test proves three inverse results","Microlocal tool: three inverse theorems from one idea","Quasimode approach yields three classical inverse proofs","Three inverse theorems, one oscillatory trick"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the quasimode constructions deliver the stated small remainders, including the curved-boundary case of Proposition 5.5 where the phase is solved only to infinite order on the boundary and the transport estimates are merely sketched.","fun_headline_variants_meta":{"raw":{"variants":["One quasimode construction proves three inverse theorems","Direct oscillatory test proves three inverse results","Microlocal tool: three inverse theorems from one idea","Quasimode approach yields three classical inverse proofs","Three inverse theorems, one oscillatory trick"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000496,"raw_usage":{"total_tokens":2357,"prompt_tokens":796,"completion_tokens":1561,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":412,"completion_tokens_details":{"reasoning_tokens":1490}},"tokens_in":412,"tokens_out":1561,"duration_ms":11172,"temperature":1.0,"reasoning_tokens":1490,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:30:01.947227+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the limit formula (5.2) numerically for a specific curved domain, e.g. the unit ball in $\\mathbb{R}^2$ with constant conductivity and the boundary point $x_0=(1,0)$, by constructing the quasimode phase and amplitude explicitly. If the limit $\\lambda^k \\int_{\\Omega} \\operatorname{dist}(x,\\partial\\Omega)^k f\\,\\nabla v\\cdot\\nabla\\tilde v\\,dx$ does not converge to $c_k \\int_{\\partial\\Omega} f|\\chi|^2\\,dS$ for some smooth $f$, the curved-boundary step of Proposition 5.5 is false and the proof of Theorem 5.1 fails.","supporting_citations":[],"review_version":1}