On the required number of electrodes for uniqueness and convex reformulation in an inverse coefficient problem

We introduce a computer-assisted proof for the required number of electrodes for uniqueness and global reconstruction for the inverse Robin transmission problem, where the corrosion function on the boundary of an interior object is to be determined from electrode current-voltage measurements. We consider the shunt electrode model where, in contrast to the standard Neumann boundary condition, the applied electrical current is only partially known. The aim is to determine the corrosion coefficient with a finite number of measurements. In this paper, we present a numerically verifiable criterion that ensures unique solvability of the inverse problem, given a desired resolution. This allows us to explicitly determine the required number and position of the electrodes. Furthermore, we will present an error estimate for noisy data. By rewriting the problem as a convex optimization problem, our aim is to develop a globally convergent reconstruction algorithm.