<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-09-22T16:55:31Z</responseDate><request verb="GetRecord" identifier="oai:www.repository.cam.ac.uk:1810/267829" metadataPrefix="uketd_dc">https://api.repository.cam.ac.uk/server/oai/request</request><GetRecord><record><header><identifier>oai:www.repository.cam.ac.uk:1810/267829</identifier><datestamp>2025-12-20T04:34:16Z</datestamp><setSpec>com_1810_213747</setSpec><setSpec>com_1810_256064</setSpec><setSpec>col_1810_213748</setSpec></header><metadata><uketd_dc:uketddc xmlns:uketd_dc="http://naca.central.cranfield.ac.uk/ethos-oai/2.0/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:uketdterms="http://naca.central.cranfield.ac.uk/ethos-oai/terms/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://naca.central.cranfield.ac.uk/ethos-oai/2.0/ http://naca.central.cranfield.ac.uk/ethos-oai/2.0/uketd_dc.xsd">
   <dc:title>The Calderón problem for connections</dc:title>
   <dc:identifier xsi:type="dcterms:DOI">10.17863/CAM.13753</dc:identifier>
   <dc:creator>Cekić, Mihajlo</dc:creator>
   <uketdterms:advisor>Paternain, Gabriel</uketdterms:advisor>
   <dcterms:abstract>This thesis is concerned with the inverse problem of determining a &#xd;
unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over &#xd;
a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann &#xd;
(DN) map $\Lambda_A$ of the associated connection Laplacian $d_A^*d_A$. &#xd;
The connection is to be determined up to a unitary gauge equivalence &#xd;
equal to the identity at the boundary.&#xd;
&#xd;
In our first approach to the problem, we restrict our attention to &#xd;
conformally transversally anisotropic (cylindrical) manifolds $M \Subset &#xd;
\mathbb{R}\times M_0$. Our strategy can be described as follows: we &#xd;
construct the special Complex Geometric Optics solutions oscillating in &#xd;
the vertical direction, that concentrate near geodesics and use their &#xd;
density in an integral identity to reduce the problem to a suitable &#xd;
$X$-ray transform on $M_0$. The construction is based on our proof of &#xd;
existence of Gaussian Beams on $M_0$, which are a family of smooth &#xd;
approximate solutions to $d_A^*d_Au = 0$ depending on a parameter $\tau &#xd;
\in \mathbb{R}$, bounded in $L^2$ norm and concentrating in measure &#xd;
along geodesics when $\tau \to \infty$, whereas the small remainder &#xd;
(that makes the solution exact) can be shown to exist by using suitable &#xd;
Carleman estimates.&#xd;
&#xd;
In the case $m = 1$, we prove the recovery of the connection given the &#xd;
injectivity of the $X$-ray transform on $0$ and $1$-forms on $M_0$. For &#xd;
$m > 1$ and $M_0$ simple we reduce the problem to a certain two &#xd;
dimensional $\textit{new non-abelian ray transform}$.&#xd;
&#xd;
In our second approach, we assume that the connection $A$ is a &#xd;
$\textit{Yang-Mills connection}$ and no additional assumption on $M$. We &#xd;
construct a global gauge for $A$ (possibly singular at some points) that &#xd;
ties well with the DN map and in which the Yang-Mills equations become &#xd;
elliptic. By using the unique continuation property for elliptic systems &#xd;
and the fact that the singular set is suitably small, we are able to &#xd;
propagate the gauges globally. For the case $m = 1$ we are able to &#xd;
reconstruct the connection, whereas for $m > 1$ we are forced to make &#xd;
the technical assumption that $(M, g)$ is analytic in order to prove the &#xd;
recovery.&#xd;
&#xd;
Finally, in both approaches we are using the vital fact that is proved &#xd;
in this work: $\Lambda_A$ is a pseudodifferential operator of order $1$ &#xd;
acting on sections of $E|_{\partial M}$, whose full symbol determines &#xd;
the full Taylor expansion of $A$ at the boundary.</dcterms:abstract>
   <uketdterms:institution>University of Cambridge</uketdterms:institution>
   <dcterms:issued>2017-10-03</dcterms:issued>
   <dc:type>Thesis</dc:type>
   <uketdterms:qualificationlevel>Doctoral</uketdterms:qualificationlevel>
   <uketdterms:qualificationname>Doctor of Philosophy (PhD)</uketdterms:qualificationname>
   <dc:language>en</dc:language>
   <uketdterms:sponsor>Trinity College, University of Cambridge</uketdterms:sponsor>
   <dcterms:isReferencedBy xsi:type="dcterms:URI">https://www.repository.cam.ac.uk/handle/1810/267829</dcterms:isReferencedBy>
   <dcterms:license>https://www.repository.cam.ac.uk/bitstreams/2e2ec09d-98f2-421a-b19f-53c457ac0414/download</dcterms:license>
   <uketdterms:checksum xsi:type="uketdterms:MD5">87eda9de84448d1f82354d60eee3eb5f</uketdterms:checksum>
   <dc:identifier xsi:type="dcterms:URI">https://www.repository.cam.ac.uk/bitstreams/bd14b8db-5294-4f46-a7f3-d24256243d98/download</dc:identifier>
   <uketdterms:checksum xsi:type="uketdterms:MD5">6f7d85f1c785c7d7889230f9fe539a44</uketdterms:checksum>
   <dc:rights>https://www.rioxx.net/licenses/all-rights-reserved/</dc:rights>
   <dc:subject>Geometric Inverse Problems</dc:subject>
   <dc:subject>Analysis of PDEs</dc:subject>
   <dc:subject>Differential Geometry</dc:subject>
   <dc:subject>Calderon problem</dc:subject>
   <dc:subject>X-ray transform</dc:subject>
   <dc:subject>Magnetic Schrodinger equation</dc:subject>
   <dc:subject>Inverse Problems</dc:subject>
   <dc:subject>Dirichlet-to-Neumann map</dc:subject>
   <dc:subject>Semiclassical pseudodifferential operators</dc:subject>
   <dc:subject>Carleman estimates</dc:subject>
   <dc:subject>Complex Geometric Optics</dc:subject>
   <dc:subject>Yang-Mills</dc:subject>
   <dc:subject>Unique Continuation Property</dc:subject>
   <dc:subject>Inverse Boundary Value problem</dc:subject>
</uketd_dc:uketddc>
</metadata></record></GetRecord></OAI-PMH>