Search arXivSearch

arXiv · 2104.07754

Electric Impedance Tomography problem for surfaces with internal holes

Abstract

Let $(M,g)$ be a smooth compact Riemann surface with the multicomponent boundary $Γ=Γ_0\cupΓ_1\cup\dots\cupΓ_m=:Γ_0\cup\tildeΓ$. Let $u=u^f$ obey $Δu=0$ in $M$, $u|_{Γ_0}=f,\,\,u|_{\tildeΓ}=0$ (the grounded holes) and $v=v^h$ obey $Δv=0$ in $M$, $v|_{Γ_0}=h,\,\,\partial_νv|_{\tildeΓ}=0$ (the isolated holes). Let $Λ_{g}^{\rm gr}: f\mapsto\partial_νu^f|_{Γ_{0}}$ and $Λ_{g}^{\rm is}: h\mapsto\partial_νv^h|_{Γ_{0}}$ be the corresponding DN-maps. The EIT problem is to determine $M$ from $Λ_{g}^{\rm gr}$ or $Λ_{g}^{\rm is}$. To solve it, an algebraic version of the BC-method is applied. The main instrument is the algebra of holomorphic functions on the ma\-ni\-fold ${\mathbb M}$, which is obtained by gluing two examples of $M$ along $\tildeΓ$. We show that this algebra is determined by $Λ_{g}^{\rm gr}$ (or $Λ_{g}^{\rm is}$) up to isometric isomorphism. Its Gelfand spectrum (the set of characters) plays the role of the material for constructing a relevant copy $(M',g',Γ_{0}')$ of $(M,g,Γ_{0})$. This copy is conformally equivalent to the original, provides $Γ_{0}'=Γ_{0},\,\,Λ_{g'}^{\rm gr}=Λ_{g}^{\rm gr},\,\,Λ_{g'}^{\rm is}=Λ_{g}^{\rm is}$, and thus solves the problem.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. V. Badanin, M. I. Belishev, D. V. Korikov. 2021-04-15. Electric Impedance Tomography problem for surfaces with internal holes. https://doi.org/10.1088/1361-6420%2Fac245c

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Functorial Theory of Defects in Abelian Chern-Simons Theory

Recent work has constructed Abelian Chern-Simons theories as categorical TQFTs, allowing us to naturally incorporate categorical defects and construct defect extensions of Abelian Chern-Simons TQFTs. We first identify the Turaev-Viro realizations of Abelian Chern-Simons theory in the center and doubled pointed modular cases, clarifying the distinction between single bulk realizations and canonical doubled ones. Alternatively, the Alterfold construction supplies the associated topological boundaries, domain walls, and condensation sectors, establishing an explicit Alterfold/Chern-Simons dictionary. We show that the finite quadratic module is the invariant controlling the bulk theory, its topological symmetries, orientation-reversal invariance, and defects. We further show that multicomponent Abelian BF theory arises as the extended TQFT of an off-diagonal Abelian Chern-Simons theory, placing it naturally within the same extended framework. Finally, we demonstrate that recently proposed Abelian Chern-Simons dualities do not define a genuine TQFT duality. These results provide a concrete model for defects in Abelian topological orders and suggest a route toward the non-Abelian case.

math-ph

Gradient nature of Laplacian growth

For a class of growth processes of Laplacian type in the plane, we suggest an interpretation as a ``gradient descent'' in the space of smooth closed curves. More precisely, we show that boundary of a growing domain moves along a gradient of a certain functional in the space of curves. In the simplest cases this functional is $\log (1/r)$, where $r$ is the external conformal radius of the growing domain.

math-ph

Entanglement-Inducing Quantum Markov Processes

We introduce a new model for a system of interacting bosons placed in an array of sites. At its core is a nonlinear, nonlocal evolution equation, which we have dubbed the Schrödinger-Dirichlet equation. The construction is closely related to the Bose-Hubbard model and to a specific type of generalized bosons. In contrast to conventional mean-field closures, the resulting nonlinear dynamics need not preserve product structure and can generate entanglement from initially separable states. The relevant methods of analysis are based on harmonic analysis for the multiplicative group of positive rationals.

math-ph