
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
networkbased 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.

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 twosample 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
highdimensional 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 massunivariate approach. In addition, we have
also provided a method for visualizing the individual contribution of each edge
to the overall test statistic.

We propose a method to obtain optimal protocols for adiabatic groundstate
preparation near the adiabatic limit, extending earlier ideas from [D. A. Sivak
and G. E. Crooks, Phys. Rev. Lett. 108, 190602 (2012)] to quantum
nondissipative systems. The space of controllable parameters of isolated
quantum manybody 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 groundstate 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 LandauZener 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.

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. Symmetrybreaking 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.

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
RBFbased implementation compares favorably to widely used regularization
methods for both binary and multiclass classification.

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.

We construct equivariant, string and leading order characteristic classes and
ChernSimons classes for certain infinite rank bundles associated to fibrations
occurring in loop spaces, GromovWitten 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 nuclass for
4manifolds with a leading order class for the fibration of irreducible
connections A over the quotient A/G by the gauge group.

Using the Wodzicki residue, we build WodzickiChernSimons (WCS) classes in
$H^{2k1}(LM)$ associated to the residue Chern character on the loop space $LM$
of a Riemannian manifold $M^{2k1}$. 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 5manifolds 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.

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 ChernSimons classes on the tangent bundle TLM which
detect nontrivial elements in the diffeomorphism group of certain Sasakian
5manifolds associated to Kaehler surfaces.

ChernWeil and ChernSimons theory extend to certain infiniterank bundles
that appear in mathematical physics. We discuss what is known of the invariant
theory of the corresponding infinitedimensional Lie groups. We use these
techniques to detect cohomology classes for spaces of maps between manifolds
and for diffeomorphism groups of manifolds.

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 WodzickiChernSimons 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.

We provide evidence for the conjecture that the WodzickiChern 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.

We find a Lax pair equation corresponding to the ConnesKreimer 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.

We find a Lax pair equation corresponding to the ConnesKreimer 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.

We extend finite dimensional ChernSimons 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$.
ChernSimons 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 ChernSimons class is
nontrivial.

We construct ChernWeil classes on infinite dimensional vector bundles with
structure group contained in the algebra $\cl[\leq 0](M, E)$ of nonpositive
order classical pseudodifferential operators acting on a finite rank vector
bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional
ChernWeil 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 nonzero class perviously constructed by
Freed. For loop spaces, the structure group reduces to a gauge group of bundle
automorphisms, and we produce nonvanishing universal Chern classes in all
degrees, using a universal connection theorem for these bundles.

The QuillenBismutFreed construction associates a determinant line bundle
with connection to an infinite dimensional super vector bundle with a family of
Diractype operators. We define the regularized first Chern form of the
infinite dimensional bundle, and relate it to the curvature of the BismutFreed
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
BismutFreed superconnection is identified with classical Teichmuller theory
connections, and its curvature and regularized first Chern form are computed.

MathaiQuillen 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 ChernGaussBonnet theorem. The formula is computed
explicitly for constant curvature metrics. There is in fact a oneparameter
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 nonpositive curvature.

This article surveys the relations among local and nonlocal invariants in
AtiyahSinger 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.

We relate the positivity of the curvature term in the Weitzenbock formula for
the Laplacian on pforms 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 twoforms. 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.

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 LawsonSimons and others. Our work also places these
authors' work into the general framework of Weitzenb\"ock formulas.