Layered-scattering determination of intrinsic invariants of a submanifold

From papers

Let KK be a closed smooth kk-dimensional submanifold of the flat torus TnT^n, with kn2k\leq n-2. Choose numbers

ϵ0>ϵ1>>ϵk/2>0\epsilon_0>\epsilon_1>\dots>\epsilon_{\lceil k/2\rceil}>0

so that the Weyl tubes T(K,ϵj)\mathsf T(K,\epsilon_j) are properly contained in a smooth compact connected domain MTnM\subset T^n. Assume that the natural homomorphism π1(M)π1(Tn)\pi_1(M)\to\pi_1(T^n) is trivial and that the billiards P(K,ϵj)=Tnint(T(K,ϵj))P(K,\epsilon_j)=T^n\setminus\operatorname{int}(\mathsf T(K,\epsilon_j)) are ergodic. Let Lϵj:1+(SM)R\mathcal L_{\epsilon_j}:\partial_1^+(SM)\to\mathbb R be the length, or travel-time, functions of billiard trajectories in N(K,ϵj)=MT(K,ϵj)N(K,\epsilon_j)=M\setminus\mathsf T(K,\epsilon_j), and let L0jk/2av\mathcal L^{\mathsf{av}}_{0\leq j\leq\lceil k/2\rceil} denote their averages. The quantities

Q=KH  μK,0k/2,\mathsf Q_\ell=\int_K H_\ell\;\mu_K,\qquad 0\leq\ell\leq\lceil k/2\rceil,

are the intrinsic global invariants of the Riemannian manifold KK defined by the cited formulae.

Layered-scattering determination conjecture. The averages L0jk/2av\mathcal L^{\mathsf{av}}_{0\leq j\leq\lceil k/2\rceil} determine the intrinsic global invariants {Q}0k/2\{\mathsf Q_\ell\}_{0\leq\ell\leq\lceil k/2\rceil}.

The claim links finitely many averaged travel-time measurements to the coefficients in the Weyl tube-volume polynomial, and hence to intrinsic geometry of KK. The supplied text presents the statement as a conjecture and gives no resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Leonid Bunimovich and Gabriel Katz, “Detecting intrinsic global geometry of an obstacle via layered scattering”, arXiv:2203.06704 (2022).

Solutions 0

No solutions have been posted yet.