{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/267829"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/267829","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"The Calderón problem for connections","abstract":"This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) map $\\Lambda_A$ of the associated connection Laplacian $d_A^*d_A$. The connection is to be determined up to a unitary gauge equivalence equal to the identity at the boundary. In our first approach to the problem, we restrict our attention to conformally transversally anisotropic (cylindrical) manifolds $M \\Subset \\mathbb{R}\\times M_0$. Our strategy can be described as follows: we construct the special Complex Geometric Optics solutions oscillating in the vertical direction, that concentrate near geodesics and use their density in an integral identity to reduce the problem to a suitable $X$-ray transform on $M_0$. The construction is based on our proof of existence of Gaussian Beams on $M_0$, which are a family of smooth approximate solutions to $d_A^*d_Au = 0$ depending on a parameter $\\tau \\in \\mathbb{R}$, bounded in $L^2$ norm and concentrating in measure along geodesics when $\\tau \\to \\infty$, whereas the small remainder (that makes the solution exact) can be shown to exist by using suitable Carleman estimates. In the case $m = 1$, we prove the recovery of the connection given the injectivity of the $X$-ray transform on $0$ and $1$-forms on $M_0$. For $m > 1$ and $M_0$ simple we reduce the problem to a certain two dimensional $\\textit{new non-abelian ray transform}$. In our second approach, we assume that the connection $A$ is a $\\textit{Yang-Mills connection}$ and no additional assumption on $M$. We construct a global gauge for $A$ (possibly singular at some points) that ties well with the DN map and in which the Yang-Mills equations become elliptic. By using the unique continuation property for elliptic systems and the fact that the singular set is suitably small, we are able to propagate the gauges globally. For the case $m = 1$ we are able to reconstruct the connection, whereas for $m > 1$ we are forced to make the technical assumption that $(M, g)$ is analytic in order to prove the recovery. Finally, in both approaches we are using the vital fact that is proved in this work: $\\Lambda_A$ is a pseudodifferential operator of order $1$ acting on sections of $E|_{\\partial M}$, whose full symbol determines the full Taylor expansion of $A$ at the boundary.","abstract_html":"This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) map <span class=\"etd-inline-math\">\\Lambda<sub>A</sub></span> of the associated connection Laplacian <span class=\"etd-inline-math\">d<sub>A</sub><sup>*</sup>d<sub>A</sub></span>. The connection is to be determined up to a unitary gauge equivalence equal to the identity at the boundary. In our first approach to the problem, we restrict our attention to conformally transversally anisotropic (cylindrical) manifolds <span class=\"etd-inline-math\">M \\Subset \\mathbb{R}\\times M<sub>0</sub></span>. Our strategy can be described as follows: we construct the special Complex Geometric Optics solutions oscillating in the vertical direction, that concentrate near geodesics and use their density in an integral identity to reduce the problem to a suitable $X$-ray transform on <span class=\"etd-inline-math\">M<sub>0</sub></span>. The construction is based on our proof of existence of Gaussian Beams on <span class=\"etd-inline-math\">M<sub>0</sub></span>, which are a family of smooth approximate solutions to <span class=\"etd-inline-math\">d<sub>A</sub><sup>*</sup>d<sub>A</sub>u = 0</span> depending on a parameter $\\tau \\in \\mathbb{R}$, bounded in <span class=\"etd-inline-math\">L<sup>2</sup></span> norm and concentrating in measure along geodesics when $\\tau \\to \\infty$, whereas the small remainder (that makes the solution exact) can be shown to exist by using suitable Carleman estimates. In the case $m = 1$, we prove the recovery of the connection given the injectivity of the $X$-ray transform on $0$ and $1$-forms on <span class=\"etd-inline-math\">M<sub>0</sub></span>. For $m &gt; 1$ and <span class=\"etd-inline-math\">M<sub>0</sub></span> simple we reduce the problem to a certain two dimensional <span class=\"etd-inline-math\"><em>new non-abelian ray transform</em></span>. In our second approach, we assume that the connection $A$ is a <span class=\"etd-inline-math\"><em>Yang-Mills connection</em></span> and no additional assumption on $M$. We construct a global gauge for $A$ (possibly singular at some points) that ties well with the DN map and in which the Yang-Mills equations become elliptic. By using the unique continuation property for elliptic systems and the fact that the singular set is suitably small, we are able to propagate the gauges globally. For the case $m = 1$ we are able to reconstruct the connection, whereas for $m &gt; 1$ we are forced to make the technical assumption that $(M, g)$ is analytic in order to prove the recovery. Finally, in both approaches we are using the vital fact that is proved in this work: <span class=\"etd-inline-math\">\\Lambda<sub>A</sub></span> is a pseudodifferential operator of order $1$ acting on sections of <span class=\"etd-inline-math\">E|<sub>\\partial M</sub></span>, whose full symbol determines the full Taylor expansion of $A$ at the boundary.","abstract_has_math":true,"creators":["Cekić, Mihajlo"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Paternain, Gabriel"],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-10-03","date_published":"2017-10-03","updated_at":"2026-07-22T22:23:57Z","subjects":["Geometric Inverse Problems","Analysis of PDEs","Differential Geometry","Calderon problem","X-ray transform","Magnetic Schrodinger equation","Inverse Problems","Dirichlet-to-Neumann map","Semiclassical pseudodifferential operators","Carleman estimates","Complex Geometric Optics","Yang-Mills","Unique Continuation Property","Inverse Boundary Value problem"],"languages":["en"],"rights":[],"rights_urls":["https://www.repository.cam.ac.uk/bitstreams/2e2ec09d-98f2-421a-b19f-53c457ac0414/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.13753","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Paternain, Gabriel"]},{"key":"dc:contributor.sponsor","label":"Sponsor","values":["Trinity College, University of Cambridge"]},{"key":"dc:creator","label":"Author","values":["Cekić, Mihajlo"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2017-10-03"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/267829"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Geometric Inverse Problems","Analysis of PDEs","Differential Geometry","Calderon problem","X-ray transform","Magnetic Schrodinger equation","Inverse Problems","Dirichlet-to-Neumann map","Semiclassical pseudodifferential operators","Carleman estimates","Complex Geometric Optics","Yang-Mills","Unique Continuation Property","Inverse Boundary Value problem"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["https://www.repository.cam.ac.uk/bitstreams/2e2ec09d-98f2-421a-b19f-53c457ac0414/download","https://www.rioxx.net/licenses/all-rights-reserved/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.13753"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://www.repository.cam.ac.uk/bitstreams/bd14b8db-5294-4f46-a7f3-d24256243d98/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) map $\\Lambda_A$ of the associated connection Laplacian $d_A^*d_A$. The connection is to be determined up to a unitary gauge equivalence equal to the identity at the boundary. In our first approach to the problem, we restrict our attention to conformally transversally anisotropic (cylindrical) manifolds $M \\Subset \\mathbb{R}\\times M_0$. Our strategy can be described as follows: we construct the special Complex Geometric Optics solutions oscillating in the vertical direction, that concentrate near geodesics and use their density in an integral identity to reduce the problem to a suitable $X$-ray transform on $M_0$. The construction is based on our proof of existence of Gaussian Beams on $M_0$, which are a family of smooth approximate solutions to $d_A^*d_Au = 0$ depending on a parameter $\\tau \\in \\mathbb{R}$, bounded in $L^2$ norm and concentrating in measure along geodesics when $\\tau \\to \\infty$, whereas the small remainder (that makes the solution exact) can be shown to exist by using suitable Carleman estimates. In the case $m = 1$, we prove the recovery of the connection given the injectivity of the $X$-ray transform on $0$ and $1$-forms on $M_0$. For $m > 1$ and $M_0$ simple we reduce the problem to a certain two dimensional $\\textit{new non-abelian ray transform}$. In our second approach, we assume that the connection $A$ is a $\\textit{Yang-Mills connection}$ and no additional assumption on $M$. We construct a global gauge for $A$ (possibly singular at some points) that ties well with the DN map and in which the Yang-Mills equations become elliptic. By using the unique continuation property for elliptic systems and the fact that the singular set is suitably small, we are able to propagate the gauges globally. For the case $m = 1$ we are able to reconstruct the connection, whereas for $m > 1$ we are forced to make the technical assumption that $(M, g)$ is analytic in order to prove the recovery. Finally, in both approaches we are using the vital fact that is proved in this work: $\\Lambda_A$ is a pseudodifferential operator of order $1$ acting on sections of $E|_{\\partial M}$, whose full symbol determines the full Taylor expansion of $A$ at the boundary."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["87eda9de84448d1f82354d60eee3eb5f","6f7d85f1c785c7d7889230f9fe539a44"]},{"key":"dc:title","label":"Title","values":["The Calderón problem for connections"]}]}],"canonical_facts":{"dc:contributor.advisor":["Paternain, Gabriel"],"dc:contributor.sponsor":["Trinity College, University of Cambridge"],"dc:creator":["Cekić, Mihajlo"],"dc:date.issued":["2017-10-03"],"dc:description.abstract":["This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) map $\\Lambda_A$ of the associated connection Laplacian $d_A^*d_A$. The connection is to be determined up to a unitary gauge equivalence equal to the identity at the boundary. In our first approach to the problem, we restrict our attention to conformally transversally anisotropic (cylindrical) manifolds $M \\Subset \\mathbb{R}\\times M_0$. Our strategy can be described as follows: we construct the special Complex Geometric Optics solutions oscillating in the vertical direction, that concentrate near geodesics and use their density in an integral identity to reduce the problem to a suitable $X$-ray transform on $M_0$. The construction is based on our proof of existence of Gaussian Beams on $M_0$, which are a family of smooth approximate solutions to $d_A^*d_Au = 0$ depending on a parameter $\\tau \\in \\mathbb{R}$, bounded in $L^2$ norm and concentrating in measure along geodesics when $\\tau \\to \\infty$, whereas the small remainder (that makes the solution exact) can be shown to exist by using suitable Carleman estimates. In the case $m = 1$, we prove the recovery of the connection given the injectivity of the $X$-ray transform on $0$ and $1$-forms on $M_0$. For $m > 1$ and $M_0$ simple we reduce the problem to a certain two dimensional $\\textit{new non-abelian ray transform}$. In our second approach, we assume that the connection $A$ is a $\\textit{Yang-Mills connection}$ and no additional assumption on $M$. We construct a global gauge for $A$ (possibly singular at some points) that ties well with the DN map and in which the Yang-Mills equations become elliptic. By using the unique continuation property for elliptic systems and the fact that the singular set is suitably small, we are able to propagate the gauges globally. For the case $m = 1$ we are able to reconstruct the connection, whereas for $m > 1$ we are forced to make the technical assumption that $(M, g)$ is analytic in order to prove the recovery. Finally, in both approaches we are using the vital fact that is proved in this work: $\\Lambda_A$ is a pseudodifferential operator of order $1$ acting on sections of $E|_{\\partial M}$, whose full symbol determines the full Taylor expansion of $A$ at the boundary."],"dc:format.checksum.md5":["87eda9de84448d1f82354d60eee3eb5f","6f7d85f1c785c7d7889230f9fe539a44"],"dc:identifier.doi":["10.17863/CAM.13753"],"dc:identifier.uri":["https://www.repository.cam.ac.uk/bitstreams/bd14b8db-5294-4f46-a7f3-d24256243d98/download"],"dc:language":["en"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/267829"],"dc:rights":["https://www.repository.cam.ac.uk/bitstreams/2e2ec09d-98f2-421a-b19f-53c457ac0414/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"dc:subject":["Geometric Inverse Problems","Analysis of PDEs","Differential Geometry","Calderon problem","X-ray transform","Magnetic Schrodinger equation","Inverse Problems","Dirichlet-to-Neumann map","Semiclassical pseudodifferential operators","Carleman estimates","Complex Geometric Optics","Yang-Mills","Unique Continuation Property","Inverse Boundary Value problem"],"dc:title":["The Calderón problem for connections"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:23:57Z"}