• Averages of Unlabeled Networks: Geometric Characterization and Asymptotic Behavior(1709.02793)

Feb. 7, 2019 math.DG, math.ST, stat.TH
It is becoming increasingly common to see large collections of network data objects -- that is, data sets in which a network is viewed as a fundamental unit of observation. As a result, there is a pressing need to develop network-based analogues of even many of the most basic tools already standard for scalar and vector data. In this paper, our focus is on averages of unlabeled, undirected networks with edge weights. Specifically, we (i) characterize a certain notion of the space of all such networks, (ii) describe key topological and geometric properties of this space relevant to doing probability and statistics thereupon, and (iii) use these properties to establish the asymptotic behavior of a generalized notion of an empirical mean under sampling from a distribution supported on this space. Our results rely on a combination of tools from geometry, probability theory, and statistical shape analysis. In particular, the lack of vertex labeling necessitates working with a quotient space modding out permutations of labels. This results in a nontrivial geometry for the space of unlabeled networks, which in turn is found to have important implications on the types of probabilistic and statistical results that may be obtained and the techniques needed to obtain them.
• Hypothesis Testing For Network Data in Functional Neuroimaging(1407.5525)

March 17, 2017 q-bio.NC, stat.ME, stat.AP
In recent years, it has become common practice in neuroscience to use networks to summarize relational information in a set of measurements, typically assumed to be reflective of either functional or structural relationships between regions of interest in the brain. One of the most basic tasks of interest in the analysis of such data is the testing of hypotheses, in answer to questions such as "Is there a difference between the networks of these two groups of subjects?" In the classical setting, where the unit of interest is a scalar or a vector, such questions are answered through the use of familiar two-sample testing strategies. Networks, however, are not Euclidean objects, and hence classical methods do not directly apply. We address this challenge by drawing on concepts and techniques from geometry, and high-dimensional statistical inference. Our work is based on a precise geometric characterization of the space of graph Laplacian matrices and a nonparametric notion of averaging due to Fr\'echet. We motivate and illustrate our resulting methodologies for testing in the context of networks derived from functional neuroimaging data on human subjects from the 1000 Functional Connectomes Project. In particular, we show that this global test is more statistical powerful, than a mass-univariate approach. In addition, we have also provided a method for visualizing the individual contribution of each edge to the overall test statistic.
• Geodesic Paths for Quantum Many-Body Systems(1606.05890)

We propose a method to obtain optimal protocols for adiabatic ground-state preparation near the adiabatic limit, extending earlier ideas from [D. A. Sivak and G. E. Crooks, Phys. Rev. Lett. 108, 190602 (2012)] to quantum non-dissipative systems. The space of controllable parameters of isolated quantum many-body systems is endowed with a Riemannian quantum metric structure, which can be exploited when such systems are driven adiabatically. Here, we use this metric structure to construct optimal protocols in order to accomplish the task of adiabatic ground-state preparation in a fixed amount of time. Such optimal protocols are shown to be geodesics on the parameter manifold, maximizing the local fidelity. Physically, such protocols minimize the average energy fluctuations along the path. Our findings are illustrated on the Landau-Zener model and the anisotropic XY spin chain. In both cases we show that geodesic protocols drastically improve the final fidelity. Moreover, this happens even if one crosses a critical point, where the adiabatic perturbation theory fails.
• Enabling Adiabatic Passages Between Disjoint Regions in Parameter Space through Topological Transitions(1512.05803)

May 13, 2016 quant-ph, cond-mat.mes-hall
We explore topological transitions in parameter space in order to enable adiabatic passages between regions adiabatically disconnected within a given parameter manifold. To this end, we study the Hamiltonian of two coupled qubits interacting with external magnetic fields, and make use of the analogy between the Berry curvature and magnetic fields in parameter space, with spectrum degeneracies associated to magnetic charges. Symmetry-breaking terms induce sharp topological transitions on these charge distributions, and we show how one can exploit this effect to bypass crossing degeneracies. We also investigate the curl of the Berry curvature, an interesting but as of yet not fully explored object, which together with its divergence uniquely defines this field. Finally, we suggest a simple method for measuring the Berry curvature, thereby showing how one can experimentally verify our results.
• Class Probability Estimation via Differential Geometric Regularization(1503.01436)

Feb. 11, 2016 cs.CG, cs.LG, stat.ML
We study the problem of supervised learning for both binary and multiclass classification from a unified geometric perspective. In particular, we propose a geometric regularization technique to find the submanifold corresponding to a robust estimator of the class probability $P(y|\pmb{x})$. The regularization term measures the volume of this submanifold, based on the intuition that overfitting produces rapid local oscillations and hence large volume of the estimator. This technique can be applied to regularize any classification function that satisfies two requirements: firstly, an estimator of the class probability can be obtained; secondly, first and second derivatives of the class probability estimator can be calculated. In experiments, we apply our regularization technique to standard loss functions for classification, our RBF-based implementation compares favorably to widely used regularization methods for both binary and multiclass classification.
• Traces and Characteristic Classes in Infinite Dimensions(1404.3571)

July 31, 2015 math.DG
This paper surveys topological results obtained from characteristic classes built from the two types of traces on the algebra of pseudodifferential operators of nonpositive order. The main results are the construction of a universal $\hat A$-polynomial and Chern character that control the $S^1$-index theorem for all circle actions on a fixed vector bundle over a manifold, and $|\pi_1({\rm Diff}(M^5))| = \infty$, for ${\rm Diff}(M^5)$ the diffeomorphism group of circle bundles $M^5$ with large first Chern class over projective algebraic Kaehler surfaces.
• Equivariant, string and leading order characteristic classes associated to fibrations(1309.2692)

July 31, 2015 math.DG, math-ph, math.MP
We construct equivariant, string and leading order characteristic classes and Chern-Simons classes for certain infinite rank bundles associated to fibrations occurring in loop spaces, Gromov-Witten theory and gauge theory. Results include a restatement of the S^1 index theorem using equivariant classes on the tangent bundle to loop space; the expression of some GW invariants in terms of string and leading order classes for infinite rank bundles over moduli spaces of pseudoholomorphic curves for semipositive symplectic manifolds; the identification of the real cohomology of a loop group with certain string and leading order classes; the identification of Donaldson's nu-class for 4-manifolds with a leading order class for the fibration of irreducible connections A over the quotient A/G by the gauge group.
• The Geometry of Loop Spaces II: Characteristic Classes(1407.2491)

June 17, 2015 math.DG
Using the Wodzicki residue, we build Wodzicki-Chern-Simons (WCS) classes in $H^{2k-1}(LM)$ associated to the residue Chern character on the loop space $LM$ of a Riemannian manifold $M^{2k-1}$. These WCS classes are associated to the $L^2$ connection and the Sobolev $s=1$ connections on $LM.$ The WCS classes detect several families of 5-manifolds whose diffeomorphism group has infinite fundamental group. These manifolds are the total spaces of the circle bundles associated to a multiple $p\omega, |p|\gg 0$, of the K\"ahler form $\omega$ over an integral K\"ahler surface.
• The Geometry of Loop Spaces I: $H^s$-Riemannian Metrics(1405.4231)

May 16, 2014 math.DG
A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. We compute the connection forms of these metrics and the higher symbols of their curvature forms, which take values in pseudodifferential operators. These calculations are used in a followup paper "The Geometry of Loop Spaces II: Characteristic Classes" to construct Chern-Simons classes on the tangent bundle TLM which detect nontrivial elements in the diffeomorphism group of certain Sasakian 5-manifolds associated to Kaehler surfaces.
• Chern-Weil theory for certain infinite-dimensional Lie groups(1306.4204)

June 18, 2013 math.DG
Chern-Weil and Chern-Simons theory extend to certain infinite-rank bundles that appear in mathematical physics. We discuss what is known of the invariant theory of the corresponding infinite-dimensional Lie groups. We use these techniques to detect cohomology classes for spaces of maps between manifolds and for diffeomorphism groups of manifolds.
• Secondary Characteristic Classes on Loop Spaces(0705.1008)

Oct. 25, 2012 math.DG, math.AP
A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We develop a theory of Wodzicki-Chern-Simons classes using the s=0, 1 connections and the Wodzicki residue. These classes distinguish the smooth homotopy type of some circle actions on M = S^2 x S^3, and imply that the fundamental group of Diff(M) is infinite.
• Characteristic Classes and Zeroth Order Pseudodifferential Operators(1003.0067)

May 26, 2010 math.DG, math.AP, math.AT
We provide evidence for the conjecture that the Wodzicki-Chern classes vanish for all bundles with the group Z of invertible zeroth order pseudodifferential operators as structure group. In particular, we prove this vanishing if the structure group reduces to pseudodifferential operators with leading order symbol the identity. The leading order Chern classes are nonzero in general, and they detect elements of the de Rham cohomology groups of the classifying space BZ.
• Feynman Diagrams and Lax Pair Equations(0905.2271)

May 14, 2009 hep-th, math-ph, math.MP
We find a Lax pair equation corresponding to the Connes-Kreimer Birkhoff factorization of the character group of a Hopf algebra. This flow preserves the locality of counterterms. In particular, we obtain a flow for the character given by Feynman rules, and relate this flow to the Renormalization Group Flow.
• Feynman Diagrams and Lax Pair Equations(math-ph/0611014)

Nov. 7, 2006 math-ph, math.MP
We find a Lax pair equation corresponding to the Connes-Kreimer Birkhoff factorization of the character group of the Hopf algebra of Feynman diagrams. In particular, we obtain a flow for the character given by Feynman rules, and present a worked example.
• Infinite Dimensional Chern-Simons Theory(math/0411161)

Nov. 8, 2004 math.DG
We extend finite dimensional Chern-Simons theory to certain infinite dimensional principal bundles with connections, in particular to the frame bundle $FLM\to LM$ over the loop space of a Riemannian manifold $M$. Chern-Simons forms are defined roughly as in finite dimensions with the invariant polynomials replaced by appropriate Wodzicki residues. This produces odd dimensional $\R/\Z$-valued cohomology classes on $LM$ if $M$ is parallelizable. We compute an example of a metric on the loop space of $S^3\times S^1$ for which the three dimensional Chern-Simons class is nontrivial.
• Chern-Weil Constructions on $\Psi$DO Bundles(math/0301185)

Feb. 21, 2003 math.DG, math.AP, math-ph, math.MP
We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on $\cl[\leq 0] (M, E)$ built from the leading symbols of the operators. The corresponding Chern classes vanish for loop groups, but a weighted trace construction yields a non-zero class perviously constructed by Freed. For loop spaces, the structure group reduces to a gauge group of bundle automorphisms, and we produce non-vanishing universal Chern classes in all degrees, using a universal connection theorem for these bundles.
• Curvature on determinant bundles and first Chern forms(math/0009172)

Sept. 18, 2000 math.DG, math-ph, math.MP
The Quillen-Bismut-Freed construction associates a determinant line bundle with connection to an infinite dimensional super vector bundle with a family of Dirac-type operators. We define the regularized first Chern form of the infinite dimensional bundle, and relate it to the curvature of the Bismut-Freed connection on the determinant bundle. In finite dimensions, these forms agree (up to sign), but in infinite dimensions there is a correction term, which we express in terms of Wodzicki residues. We illustrate these results with a string theory computation. There is a natural super vector bundle over the manifold of smooth almost complex structures on a Riemannian surface. The Bismut-Freed superconnection is identified with classical Teichmuller theory connections, and its curvature and regularized first Chern form are computed.
• Mathai-Quillen forms and Lefschetz theory(math/9802061)

Feb. 12, 1998 math.DG
Mathai-Quillen forms are used to give an integral formula for the Lefschetz number of a smooth map of a closed manifold. Applied to the identity map, this formula reduces to the Chern-Gauss-Bonnet theorem. The formula is computed explicitly for constant curvature metrics. There is in fact a one-parameter family of integral expressions. As the parameter goes to infinity, a topological version of the heat equation proof of the Lefschetz fixed submanifold formula is obtained. As the parameter goes to zero and under a transversality assumption, a lower bound for the number of points mapped into their cut locus is obtained. For diffeomorphisms with Lefschetz number unequal to the Euler characteristic, this number is infinite for most metrics, in particular for metrics of non-positive curvature.
• Nonlocal invariants in index theory(dg-ga/9707014)

July 21, 1997 math.DG, dg-ga
This article surveys the relations among local and nonlocal invariants in Atiyah-Singer index theory. We discuss the local invariants that arise from the heat equation approach to the index theorem for geometric operators, as well as the nonlocal invariants (the eta invariant, the determinant of the Laplacian/analytic torsion) that occur in more refined index theorems, such as the determinant line bundle setting and the index theorem for families of manifolds with boundary. We also discuss the higher torsion forms of Bismut and Lott and their conjectured relation to the rational homotopy of the diffeomorphism group of aspherical manifolds.
• Bounded and $L^2$ Harmonic Forms on Universal Covers(dg-ga/9704015)

April 25, 1997 math.DG, dg-ga
We relate the positivity of the curvature term in the Weitzenbock formula for the Laplacian on p-forms on a complete manifold to the existence of bounded and $L^2$ harmonic forms. In the case where the manifold is the universal cover of a compact manifold, we obtain topological and geometric information about the compact manifold. For example, we show that a compact manifold cannot admit one metric with pinched negative curvature and another metric with positive Weitzenbock term on two-forms. Many of these results can be thought of as differential form analogues of Myers' theorem. We also give pinching conditions on certain sums of sectional curvatures which imply the positivity of the curvature term, and hence yield vanishing theorems. In particular, we construct a compact manifold with planes of negative sectional curvature at each point and which satisfies the hypothesis of our vanishing theorems.
• Homotopy and Homology Vanishing Theorems and the Stability of Stochastic Flows(dg-ga/9503008)

March 22, 1995 math.DG, dg-ga
We relate stability properties (i.e. moment exponents) of a stochastic dynamical system on a compact manifold $M$ to the homotopy and integral homology groups of $M$. In the special case of gradient Brownian systems associated to isometric immersions of $M$ in Euclidean space, these moment exponents can be estimated in terms of the second fundamental form of the immersion. This yields topological obstructions to isometric immersions generalizing results of Lawson-Simons and others. Our work also places these authors' work into the general framework of Weitzenb\"ock formulas.