Small coupling limit and multiple solutions to the Dirichlet Problem for Yang Mills connections in 4 dimensions - Part I

In this paper (Part I) and its sequels (Part II and Part III), we analyze the structure of the space of solutions to the epsilon-Dirichlet problem for the Yang-Mills equations on the 4-dimensional disk, for small values of the coupling constant epsilon. These are in one-to-one correspondence with solutions to the Dirichlet problem for the Yang Mills equations, for small boundary data. We prove the existence of multiple solutions, and, in particular, non minimal ones, and establish a Morse Theory for this non-compact variational problem. In part I, we describe the problem, state the main theorems and do the first part of the proof. This consists in transforming the problem into a finite dimensional problem, by seeking solutions that are approximated by the connected sum of a minimal solution with an instanton, plus a correction term due to the boundary. An auxiliary equation is introduced that allows us to solve the problem orthogonally to the tangent space to the space of approximate solutions. In Part II, the finite dimensional problem is solved via the Ljusternik-Schirelman theory, and the existence proofs are completed. In Part III, we prove that the space of gauge equivalence classes of Sobolev connections with prescribed boundary value is a smooth manifold, as well as some technical lemmas used in Part I. The methods employed still work when the 4-dimensional disk is replaced by a more general compact manifold with boundary, and SU(2) is replaced by any compact Lie group

Information Metric on Instanton Moduli Spaces in Nonlinear Sigma Models

We study the information metric on instanton moduli spaces in two-dimensional nonlinear sigma models. In the CP^1 model, the information metric on the moduli space of one instanton with the topological charge Q=k which is any positive integer is a three-dimensional hyperbolic metric, which corresponds to Euclidean anti--de Sitter space-time metric in three dimensions, and the overall scale factor of the information metric is (4k^2)/3; this means that the sectional curvature is -3/(4k^2). We also calculate the information metric in the CP^2 model.Comment: 9 pages, LaTeX; added references for section 1; typos adde

On topological charge carried by nexuses and center vortices

In this paper we further explore the question of topological charge in the center vortex-nexus picture of gauge theories. Generally, this charge is locally fractionalized in units of 1/N for gauge group SU(N), but globally quantized in integral units. We show explicitly that in d=4 global topological charge is a linkage number of the closed two-surface of a center vortex with a nexus world line, and relate this linkage to the Hopf fibration, with homotopy $\Pi_3(S^3)\simeq Z$; this homotopy insures integrality of the global topological charge. We show that a standard nexus form used earlier, when linked to a center vortex, gives rise naturally to a homotopy $\Pi_2(S^2)\simeq Z$, a homotopy usually associated with 't Hooft-Polyakov monopoles and similar objects which exist by virtue of the presence of an adjoint scalar field which gives rise to spontaneous symmetry breaking. We show that certain integrals related to monopole or topological charge in gauge theories with adjoint scalars also appear in the center vortex-nexus picture, but with a different physical interpretation. We find a new type of nexus which can carry topological charge by linking to vortices or carry d=3 Chern-Simons number without center vortices present; the Chern-Simons number is connected with twisting and writhing of field lines, as the author had suggested earlier. In general, no topological charge in d=4 arises from these specific static configurations, since the charge is the difference of two (equal) Chern-Simons number, but it can arise through dynamic reconnection processes. We complete earlier vortex-nexus work to show explicitly how to express globally-integral topological charge as composed of essentially independent units of charge 1/N.Comment: Revtex4; 3 .eps figures; 18 page

Exponential Barycenters of the Canonical Cartan Connection and Invariant Means on Lie Groups

International audienceWhen performing statistics on elements of sets that possess a particular geometric structure, it is desirable to respect this structure. For instance in a Lie group, it would be judicious to have a notion of a mean which is stable by the group operations (composition and inversion). Such a property is ensured for Riemannian center of mass in Lie groups endowed with a bi-invariant Riemannian metric, like compact Lie groups (e.g. rotations). However, bi-invariant Riemannian metrics do not exist for most non compact and non-commutative Lie groups. This is the case in particular for rigid-body transformations in any dimension greater than one, which form the most simple Lie group involved in biomedical image registration. In this paper, we propose to replace the Riemannian metric by an affine connection structure on the group. We show that the canonical Cartan connections of a connected Lie group provides group geodesics which are completely consistent with the composition and inversion. With such a non-metric structure, the mean cannot be defined by minimizing the variance as in Riemannian Manifolds. However, the characterization of the mean as an exponential barycenter gives us an implicit definition of the mean using a general barycentric equation. Thanks to the properties of the canonical Cartan connection, this mean is naturally bi-invariant. We show the local existence and uniqueness of the invariant mean when the dispersion of the data is small enough. We also propose an iterative fixed point algorithm and demonstrate that the convergence to the invariant mean is at least linear. In the case of rigid-body transformations, we give a simple criterion for the global existence and uniqueness of the bi-invariant mean, which happens to be the same as for rotations. We also give closed forms for the bi-invariant mean in a number of simple but instructive cases, including 2D rigid transformations. For general linear transformations, we show that the bi-invariant mean is a generalization of the (scalar) geometric mean, since the determinant of the bi-invariant mean is the geometric mean of the determinants of the data. Finally, we extend the theory to higher order moments, in particular with the covariance which can be used to define a local bi-invariant Mahalanobis distance

Instructions and the Information Metric

The information metric arises in statistics as a natural inner product on a space of probability distributions. In general this inner product is positive semi-definite but is potentially degenerate. By associating to an instanton its energy density, we can examine the information metric g on the moduli spaces M of self-dual connections over Riemannian four-manifolds. Compared with the more widely known L2 metric, the information metric better reflects the conformal invariance of the self-dual Yang-Mills equations, and seems to have better completeness properties. In the case of SU(2) instantons on S4 of charge one, g is known to be the hyperbolic metric on the five-ball. We show more generally that for charge-one SU(2) instantons over 1-connected, positive-definite manifolds, g is non-degenerate and complete in the collar region of M, and is "asymptotically hyperbolic" there; g vanishes at the cone points of M. We give explicit formulae for the metric on the space of instantons of charge one on CP2

Extrinsic Data Analysis on Sample Spaces with a Manifold Stratification

Contains fulltext : 103898.pdf (author's version ) (Open Access

Developing a Framework and Electronic Tool for Communicating Diagnostic Uncertainty in Primary Care

ImportanceCommunication of information has emerged as a critical component of diagnostic quality. Communication of diagnostic uncertainty represents a key but inadequately examined element of diagnosis.ObjectiveTo identify key elements facilitating understanding and managing diagnostic uncertainty, examine optimal ways to convey uncertainty to patients, and develop and test a novel tool to communicate diagnostic uncertainty in actual clinical encounters.Design, Setting, and ParticipantsA 5-stage qualitative study was performed between July 2018 and April 2020, at an academic primary care clinic in Boston, Massachusetts, with a convenience sample of 24 primary care physicians (PCPs), 40 patients, and 5 informatics and quality/safety experts. First, a literature review and panel discussion with PCPs were conducted and 4 clinical vignettes of typical diagnostic uncertainty scenarios were developed. Second, these scenarios were tested during think-aloud simulated encounters with expert PCPs to iteratively draft a patient leaflet and a clinician guide. Third, the leaflet content was evaluated with 3 patient focus groups. Fourth, additional feedback was obtained from PCPs and informatics experts to iteratively redesign the leaflet content and workflow. Fifth, the refined leaflet was integrated into an electronic health record voice-enabled dictation template that was tested by 2 PCPs during 15 patient encounters for new diagnostic problems. Data were thematically analyzed using qualitative analysis software.Main Outcomes and MeasuresPerceptions and testing of content, feasibility, usability, and satisfaction with a prototype tool for communicating diagnostic uncertainty to patients.ResultsOverall, 69 participants were interviewed. A clinician guide and a diagnostic uncertainty communication tool were developed based on the PCP interviews and patient feedback. The optimal tool requirements included 6 key domains: most likely diagnosis, follow-up plan, test limitations, expected improvement, contact information, and space for patient input. Patient feedback on the leaflet was iteratively incorporated into 4 successive versions, culminating in a successfully piloted prototype tool as an end-of-visit voice recognition dictation template with high levels of patient satisfaction for 15 patients with whom the tool was tested.Conclusions and RelevanceIn this qualitative study, a diagnostic uncertainty communication tool was successfully designed and implemented during clinical encounters. The tool demonstrated good workflow integration and patient satisfaction.</jats:sec