Pith. sign in

REVIEW 5 minor 35 references

Affine section tomography for inverse source problems in $k$-Hessian equations with restricted large boundary data

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Large rank-(k-1) boundary data turn the k-Hessian inverse source problem into affine q-plane tomography of the source.

desk verdict Solid uniqueness-plus-reconstruction for intermediate k-Hessian inverse sources via rank-(k-1) large data and affine-section Radon data; the glancing regularity is the only real technical risk and it is written carefully. read the letter →

arxiv 2607.04662 v1 pith:P5GQIBSO submitted 2026-07-06 math.AP

Yi-Hsuan Lin This is my paper · ORCID
classification math.AP MSC 35R3035J6035J9635J25
keywords inversesourceproblemsk-HessianequationsfullynonlinearellipticlargeboundarydataaffineRadontransformDirichlet-to-NeumannmapfiberwisePoissoncorrections
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks whether a positive smooth density f that drives the k-Hessian equation can be recovered from boundary measurements alone. The answer is yes, but only if one uses a carefully chosen family of large boundary values rather than the full Dirichlet-to-Neumann map. Each such boundary value is a large multiple of a quadratic profile whose Hessian has rank exactly k-1; the missing directions form a q-dimensional subspace V with q = n-k+1. The first correction forced by the source then solves a Poisson equation on every affine section of the domain parallel to V. The boundary flux of that correction equals the integral of f over the section. Collecting these integrals over all directions recovers the affine q-plane Radon transform of f, which is injective and can be inverted by the Fourier slice theorem. The same argument covers the classical Monge–Ampère equation when k equals n and, more interestingly, gives the first inverse-source results for intermediate, non-determinant Hessian operators when n is at least three.

What carries the argument

The first-variation identity Dσ_k(P_E)[H] = tr(P_V H). It converts the leading large-data correction into a family of fiberwise Poisson equations on the affine sections parallel to V = E^⊥, whose boundary fluxes are precisely the Radon data of the source.

What would settle it

Exhibit a smooth positive source for which the sectionwise Poisson solutions fail to extend smoothly through a glancing point, or produce two distinct positive sources whose large-data Dirichlet-to-Neumann maps agree on every ray t φ_E.

Watch

Extended reading notes

Core claim

If two positive smooth sources produce identical nonlinear Dirichlet-to-Neumann maps on the restricted large-data family of rays t φ_E, then the sources are identical. Equivalently, the large-data limits recover the complete affine q-plane Radon transform of the zero extension of the source, which determines the source uniquely and admits an explicit Fourier inversion formula.

Load-bearing premise

The solutions of the Poisson problems on each collapsing section must join into one globally smooth function on the whole closed domain, including at glancing points where the sections shrink to a single point.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies the inverse source problem for the k-Hessian equation σ_k(D^{2}u)=f on the k-admissible branch in a smooth uniformly convex domain Ω⊂R^n (2≤k≤n). It proves that the nonlinear Dirichlet-to-Neumann map, restricted to the large-data family t φ_E|∂Ω with E∈Gr(k-1,n) and t sufficiently large, uniquely determines a positive smooth source f. The argument uses the algebraic identity Dσ_k(P_E)[H]=tr(P_V H) to force the leading correction onto fiberwise Poisson equations on the affine sections Ω∩(y+V) of dimension q=n-k+1. After establishing that these sectionwise solutions extend smoothly through glancing points, local barriers convert the L^∞ large-data expansion into boundary normal-derivative asymptotics. The resulting section fluxes recover the affine q-plane Radon transform of the zero extension of f; Fourier-slice inversion and injectivity then yield uniqueness and an explicit reconstruction formula. The endpoint k=n recovers Monge–Ampère chord geometry, while 2≤k<n gives genuinely non-determinant results in dimensions n≥3.

Significance. If correct, the result supplies the first inverse-source theorems for intermediate (non-determinant) k-Hessian equations in dimensions n≥3, using only a finite-dimensional family of large boundary rays rather than an open set of Dirichlet data. The reduction from a fully nonlinear DN map to classical affine Radon data is clean and yields an explicit reconstruction formula. The technical core—smooth patching of fiberwise Poisson solutions through glancing collapse via Morse normal form, flatness estimates, and Borel summation, followed by barrier conversion of L^∞ control into DN asymptotics—is carefully developed and of independent interest for large-data asymptotics of Hessian equations. The paper also cleanly recovers the Monge–Ampère endpoint and the power corollary, and it correctly excludes the linear case k=1 by the standard gauge obstruction.

minor comments (5)
  1. In the introduction and abstract the phrase “restricted large-data rays” is used repeatedly; a single sentence early in §1 clarifying that the threshold t_E may depend on E (already stated in Theorem 1.1) would prevent a reader from momentarily expecting a uniform lower bound.
  2. Lemma 3.5 invokes the Morse lemma with parameters; while Remark 3.4 points to Nicolaescu, a one-line reminder that the Hessian in the fiber variables is negative definite by uniform convexity would make the application completely self-contained.
  3. In Proposition 4.5 the scale ε_t=t^{-k/2} is chosen for convenience; a brief parenthetical noting that any exponent in (0,k) works would remove any impression that the particular half-power is essential.
  4. The reconstruction formula (1.11) is written with the inverse Fourier transform in the distributional sense; adding that F is compactly supported L^1 (hence the inversion is classical almost everywhere) would make the formula more immediately usable.
  5. A few typographical inconsistencies appear (e.g., “Monge–Amp`ere” versus “Monge–Ampère”, occasional missing spaces after commas in multi-line displays). These are purely cosmetic.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: asymptotic analysis plus classical Radon injectivity, with no self-definitional steps or load-bearing self-citations.

full rationale

The derivation is a self-contained analytic argument. The algebraic identity Dσ_k(P_E)[H]=tr(P_V H) is computed directly from principal minors (Lemma 4.1). Fiberwise Poisson corrections are defined by ordinary Dirichlet problems on sections and extended by Morse normal form plus Schauder/Borel flatness estimates (Prop. 3.9). Large-data L^∞ barriers and local Hopf-type barriers convert the expansion into DN asymptotics (Prop. 4.3–4.5). Section fluxes recover the affine q-plane transform; uniqueness follows from the classical Fourier-slice injectivity proved in Lemma 5.1, not from any prior uniqueness theorem of the author. Forward solvability is taken from CNS85; no parameter is fitted and no target quantity is defined in terms of itself. Related self-citations (LL25, LLW26, etc.) appear only as literature context and are not used as load-bearing premises.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The result rests on classical elliptic theory for admissible Hessian equations, standard integral-geometry injectivity of the affine Radon transform, and the geometric assumption of uniform convexity that supplies the Morse normal form at glancing points. No free parameters or new physical entities are introduced.

assumptions (4)
  • standard math Existence, uniqueness and smooth dependence for the Dirichlet problem of the k-Hessian equation on a smooth uniformly convex domain with positive smooth right-hand side (CNS85).
    Invoked in Proposition 2.2 to guarantee that the nonlinear DN map is well-defined.
  • standard math Injectivity of the Euclidean affine q-plane Radon transform on compactly supported L1 functions (Fourier-slice argument).
    Lemma 5.1; used to pass from vanishing section integrals to f1=f2.
  • domain assumption Uniform convexity of Ω supplies a non-degenerate quadratic normal form for the defining function at glancing points (Morse lemma with parameters).
    Lemma 3.5; essential for the smooth patching of fiberwise solutions through collapse.
  • domain assumption Positivity f≥c0>0 and k-admissibility of the solution branch.
    Ensures ellipticity and the comparison principle used for barriers (Lemma 2.1, Proposition 4.3).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Affine section tomography for inverse source problems in $k$-Hessian equations with restricted large boundary data." pith.science (2026). https://pith.science/paper/P5GQIBSO

@misc{pith2026260704662,
  author       = {Pith},
  title        = {Pith review of: Affine section tomography for inverse source problems in $k$-Hessian equations with restricted large boundary data},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P5GQIBSO}},
  note         = {Machine review of arXiv:2607.04662}
}
abstract

We consider an inverse source problem for the $k$-Hessian equation \begin{equation*} \sigma_k(D^2u)=f(x) \end{equation*} on the $k$-admissible branch in a smooth uniformly convex domain in $\mathbb R^n$, where $2\le k\le n$. We prove that the nonlinear Dirichlet-to-Neumann map determines the positive smooth source from its values on the restricted large-data rays $t\phi_E|_{\partial\Omega}$, where $E\in Gr(k-1,n)$, $\phi_E(x)=|P_Ex|^2/2$, and $t$ is sufficiently large. The Hessian of each boundary profile has exactly $k-1$ large directions and is flat on $V=E^\perp$. Thus, the leading profile lies on a rank $k-1$ face of the $k$-Hessian structure, and the first source-dependent correction is governed by the missing directions. More precisely, this correction solves fiberwise Poisson equations on the affine sections $\Omega\cap(y+V)$ of dimension $q=n-k+1$. We prove that these sectionwise solutions patch smoothly through glancing points where the sections collapse, and we obtain boundary normal derivative asymptotics by local barriers. The boundary flux of the correction gives the section integrals $\int_{\Omega\cap(y+V)}f\,d\mathcal H^q$. Varying $E$ yields the affine $q$-plane Radon transform of the zero extension of $f$. We give an explicit reconstruction formula through the Fourier slice identity, and the injectivity of the affine Radon transform gives uniqueness. The endpoint $k=n$ recovers the Monge--Amp\`ere chord/X-ray geometry, while the range $n\ge3$ and $2\le k<n$ gives inverse source results for genuinely non-determinant Hessian equations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 5 linked inside Pith

  1. [1]

    Determining a R iemannian metric from minimal areas

    Spyros Alexakis, Tracey Balehowsky, and Adrian Nachman. Determining a R iemannian metric from minimal areas. Adv. Math. , 366:107025, 71, 2020

    2020

  2. [2]

    Serrin-type overdetermined problems: an alternative proof

    Barbara Brandolini, Carlo Nitsch, Paolo Salani, and Cristina Trombetti. Serrin-type overdetermined problems: an alternative proof. Arch. Ration. Mech. Anal. , 190(2):267--280, 2008

    2008

  3. [3]

    C\^arstea, Ali Feizmohammadi, Yavar Kian, Katya Krupchyk, and Gunther Uhlmann

    C at alin I. C\^arstea, Ali Feizmohammadi, Yavar Kian, Katya Krupchyk, and Gunther Uhlmann. The C alder\'on inverse problem for isotropic quasilinear conductivities. Adv. Math. , 391:Paper No. 107956, 31, 2021

    2021

  4. [4]

    C \^a rstea and Tuhin Ghosh

    C a t a lin I. C \^a rstea and Tuhin Ghosh. An inverse source problem for the M onge-- A mpere equation from large boundary data. arXiv preprint arXiv:2606.07064 , 2026

    arXiv 2026

  5. [5]

    C\^arstea, Matti Lassas, Tony Liimatainen, and Lauri Oksanen

    C at alin I. C\^arstea, Matti Lassas, Tony Liimatainen, and Lauri Oksanen. An inverse problem for the R iemannian minimal surface equation. J. Differential Equations , 379:626--648, 2024

    2024

  6. [6]

    Cârstea, Tony Liimatainen, and Leo Tzou

    Cătălin I. Cârstea, Tony Liimatainen, and Leo Tzou. The C alder\'on problem on R iemannian surfaces and of minimal surfaces. arXiv preprint arXiv:2406.16944 , 2024

    arXiv 2024

  7. [7]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg, and J. Spruck. The D irichlet problem for nonlinear second-order elliptic equations. III . F unctions of the eigenvalues of the H essian. Acta Math. , 155(3-4):261--301, 1985

    1985

  8. [8]

    Reconstruction for the coefficients of a quasilinear elliptic partial differential equation

    C a t a lin I C \^a rstea, Gen Nakamura, and Manmohan Vashisth. Reconstruction for the coefficients of a quasilinear elliptic partial differential equation. Applied Mathematics Letters , 98:121--127, 2019

    2019

Show all 35 references
  1. [9]

    A variational theory of the hessian equation

    Kai-Seng Chou and Xu-Jia Wang. A variational theory of the hessian equation. Communications on Pure and Applied Mathematics , 54(9):1029--1064, 2001

    2001

  2. [10]

    An inverse problem for a semilinear elliptic equation on conformally transversally anisotropic manifolds

    Ali Feizmohammadi, Tony Liimatainen, and Yi-Hsuan Lin. An inverse problem for a semilinear elliptic equation on conformally transversally anisotropic manifolds. Ann. PDE , 9(2):Paper No. 12, 54, 2023

    2023

  3. [11]

    An inverse problem for a semi-linear elliptic equation in R iemannian geometries

    Ali Feizmohammadi and Lauri Oksanen. An inverse problem for a semi-linear elliptic equation in R iemannian geometries. Journal of Differential Equations , 296(6):4683–4719, 2020

    2020

  4. [12]

    Trudinger

    David Gilbarg and Neil S. Trudinger. Elliptic partial differential equations of second order . Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

    2001

  5. [13]

    The R adon Transform , volume 5 of Progress in Mathematics

    Sigurdur Helgason. The R adon Transform , volume 5 of Progress in Mathematics . Birkh \"a user Boston, Boston, MA, second edition, 1999

    1999

  6. [14]

    On uniqueness in inverse problems for semilinear parabolic equations

    Victor Isakov. On uniqueness in inverse problems for semilinear parabolic equations. Arch. Rational Mech. Anal. , 124(1):1--12, 1993

    1993

  7. [15]

    Partial data inverse problems for quasilinear conductivity equations

    Yavar Kian, Katya Krupchyk, and Gunther Uhlmann. Partial data inverse problems for quasilinear conductivity equations. Math. Ann. , 385(3-4):1611--1638, 2023

    2023

  8. [16]

    On determining and breaking the gauge class in inverse problems for reaction-diffusion equations

    Yavar Kian, Tony Liimatainen, and Yi-Hsuan Lin. On determining and breaking the gauge class in inverse problems for reaction-diffusion equations. Forum Math. Sigma , 12:Paper No. e25, 42, 2024

    2024

  9. [17]

    Yaroslav Kurylev, Matti Lassas, and G. Uhlmann. Inverse problems for L orentzian manifolds and non-linear hyperbolic equations. Invent. Math. , 212(3):781--857, 2018

    2018

  10. [18]

    Identification of nonlinearity in a conductivity equation via the D irichlet-to- N eumann map

    Kyeonbae Kang and Gen Nakamura. Identification of nonlinearity in a conductivity equation via the D irichlet-to- N eumann map. Inverse Problems , 18(4):1079--1088, 2002

    2002

  11. [19]

    Partial data inverse problems for semilinear elliptic equations with gradient nonlinearities

    Katya Krupchyk and Gunther Uhlmann. Partial data inverse problems for semilinear elliptic equations with gradient nonlinearities. Math. Res. Lett. , 27(6):1801--1824, 2020

    2020

  12. [20]

    A remark on partial data inverse problems for semilinear elliptic equations

    Katya Krupchyk and Gunther Uhlmann. A remark on partial data inverse problems for semilinear elliptic equations. Proc. Amer. Math. Soc. , 148(2):681--685, 2020

    2020

  13. [21]

    Introduction to inverse problems for non-linear partial differential equations

    Matti Lassas. Introduction to inverse problems for non-linear partial differential equations. arXiv preprint arXiv:2503.12448 , 2025

    2025 arXiv

  14. [22]

    An inverse source problem for a quasilinear elliptic equation

    Tony Liimatainen and Shubham Jaiswal. An inverse source problem for a quasilinear elliptic equation. arXiv preprint arXiv:2603.28311 , 2026

    2026

  15. [23]

    Uniqueness results for inverse source problems for semilinear elliptic equations

    Tony Liimatainen and Yi-Hsuan Lin. Uniqueness results for inverse source problems for semilinear elliptic equations. Inverse Problems , 40(4):Paper No. 045030, 32, 2024

    2024

  16. [24]

    An inverse problem for the M onge- A mp\`ere equation

    Tony Liimatainen and Yi-Hsuan Lin. An inverse problem for the M onge- A mp\`ere equation. arXiv preprint arXiv:2510.11572 , 2025

    2025

  17. [25]

    Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations

    Matti Lassas, Tony Liimatainen, Yi-Hsuan Lin, and Mikko Salo. Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations. Revista Matem \'a tica Iberoamericana , 37(4):1553--1580, 2020

    2020

  18. [26]

    Inverse problems for elliptic equations with power type nonlinearities

    Matti Lassas, Tony Liimatainen, Yi-Hsuan Lin, and Mikko Salo. Inverse problems for elliptic equations with power type nonlinearities. Journal de math \'e matiques pures et appliqu \'e es , 145:44--82, 2021

    2021

  19. [27]

    Inverse problems for elliptic equations with fractional power type nonlinearities

    Tony Liimatainen, Yi-Hsuan Lin, Mikko Salo, and Teemu Tyni. Inverse problems for elliptic equations with fractional power type nonlinearities. J. Differential Equations , 306:189--219, 2022

    2022

  20. [28]

    An inverse source problem for a fully nonlinear elliptic equation

    Ching-Lung Lin, Yi-Hsuan Lin, and Jenn-Nan Wang. An inverse source problem for a fully nonlinear elliptic equation. arXiv preprint arXiv:2606.06431 , 2026

    2026 arXiv

  21. [29]

    Calder\'on problem for the quasilinear conductivity equation in dimension 2

    Tony Liimatainen and Ruirui Wu. Calder\'on problem for the quasilinear conductivity equation in dimension 2 . arXiv preprint arXiv:2309.11047 , 2023

    2023 arXiv

  22. [30]

    Nicolaescu

    Liviu I. Nicolaescu. An Invitation to Morse Theory . Universitext. Springer, New York, second edition, 2011

    2011

  23. [31]

    An inverse problem for the minimal surface equation in the presence of a R iemannian metric

    Janne Nurminen. An inverse problem for the minimal surface equation in the presence of a R iemannian metric. Nonlinearity , 37(9):Paper No. 095029, 22, 2024

    2024

  24. [32]

    On a quasilinear inverse boundary value problem

    Ziqi Sun. On a quasilinear inverse boundary value problem. Math. Z. , 221(2):293--305, 1996

    1996

  25. [33]

    An inverse boundary-value problem for semilinear elliptic equations

    Ziqi Sun. An inverse boundary-value problem for semilinear elliptic equations. Electron. J. Differential Equations , pages No. 37, 5, 2010

    2010

  26. [34]

    Trudinger and Xu-Jia Wang

    Neil S. Trudinger and Xu-Jia Wang. Hessian measures. II . Ann. of Math. (2) , 150(2):579--604, 1999

    1999

  27. [35]

    The k -hessian equation

    Xu-Jia Wang. The k -hessian equation. In Geometric Analysis and PDEs , volume 1977 of Lecture Notes in Mathematics , pages 177--252. Springer, Dordrecht, 2009

    1977

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.