Topological exploration of artificial neuronal network dynamics

One of the paramount challenges in neuroscience is to understand the dynamics of individual neurons and how they give rise to network dynamics when interconnected. Historically, researchers have resorted to graph theory, statistics, and statistical mechanics to describe the spatiotemporal structure of such network dynamics. Our novel approach employs tools from algebraic topology to characterize the global properties of network structure and dynamics. We propose a method based on persistent homology to automatically classify network dynamics using topological features of spaces built from various spike-train distances. We investigate the efficacy of our method by simulating activity in three small artificial neural networks with different sets of parameters, giving rise to dynamics that can be classified into four regimes. We then compute three measures of spike train similarity and use persistent homology to extract topological features that are fundamentally different from those used in traditional methods. Our results show that a machine learning classifier trained on these features can accurately predict the regime of the network it was trained on and also generalize to other networks that were not presented during training. Moreover, we demonstrate that using features extracted from multiple spike-train distances systematically improves the performance of our method

Dynamic Estimation of Rigid Motion from Perspective Views via Recursive Identification of Exterior Differential Systems with Parameters on a Topological Manifold

We formulate the problem of estimating the motion of a rigid object viewed under perspective projection as the identification of a dynamic model in Exterior Differential form with parameters on a topological manifold. We first describe a general method for recursive identification of nonlinear implicit systems using prediction error criteria. The parameters are allowed to move slowly on some topological (not necessarily smooth) manifold. The basic recursion is solved in two different ways: one is based on a simple extension of the traditional Kalman Filter to nonlinear and implicit measurement constraints, the other may be regarded as a generalized "Gauss-Newton" iteration, akin to traditional Recursive Prediction Error Method techniques in linear identification. A derivation of the "Implicit Extended Kalman Filter" (IEKF) is reported in the appendix. The ID framework is then applied to solving the visual motion problem: it indeed is possible to characterize it in terms of identification of an Exterior Differential System with parameters living on a C0 topological manifold, called the "essential manifold". We consider two alternative estimation paradigms. The first is in the local coordinates of the essential manifold: we estimate the state of a nonlinear implicit model on a linear space. The second is obtained by a linear update on the (linear) embedding space followed by a projection onto the essential manifold. These schemes proved successful in performing the motion estimation task, as we show in experiments on real and noisy synthetic image sequences

Symmetries of topological field theories in the BV-framework

Topological field theories of Schwarz-type generally admit symmetries whose algebra does not close off-shell, e.g. the basic symmetries of BF models or vector supersymmetry of the gauge-fixed action for Chern-Simons theory (this symmetry being at the origin of the perturbative finiteness of the theory). We present a detailed discussion of all these symmetries within the algebraic approach to the Batalin-Vilkovisky formalism. Moreover, we discuss the general algebraic construction of topological models of both Schwarz- and Witten-type.Comment: 30 page

BRST Cohomology of N=2 Super-Yang-Mills Theory in 4D

The BRST cohomology of the N=2 supersymmetric Yang-Mills theory in four dimensions is discussed by making use of the twisted version of the N=2 algebra. By the introduction of a set of suitable constant ghosts associated to the generators of N=2, the quantization of the model can be done by taking into account both gauge invariance and supersymmetry. In particular, we show how the twisted N=2 algebra can be used to obtain in a straightforward way the relevant cohomology classes. Moreover, we shall be able to establish a very useful relationship between the local gauge invariant polynomial $tr\phi^2$ and the complete N=2 Yang-Mills action. This important relation can be considered as the first step towards a fully algebraic proof of the one-loop exactness of the N=2 beta function.Comment: 22 pages, LaTeX, final version to appear in Journ. Phys.

Quantum curves for Hitchin fibrations and the Eynard-Orantin theory

We generalize the topological recursion of Eynard-Orantin (2007) to the family of spectral curves of Hitchin fibrations. A spectral curve in the topological recursion, which is defined to be a complex plane curve, is replaced with a generic curve in the cotangent bundle $T^*C$ of an arbitrary smooth base curve $C$. We then prove that these spectral curves are quantizable, using the new formalism. More precisely, we construct the canonical generators of the formal $\hbar$-deformation family of $D$-modules over an arbitrary projective algebraic curve $C$ of genus greater than $1$, from the geometry of a prescribed family of smooth Hitchin spectral curves associated with the $SL(2,\mathbb{C})$-character variety of the fundamental group $\pi_1(C)$. We show that the semi-classical limit through the WKB approximation of these $\hbar$-deformed $D$-modules recovers the initial family of Hitchin spectral curves.Comment: 34 page

Lagrangians for the W-Algebra Models

The field algebra of the minimal models of W-algebras is amenable to a very simple description as a polynomial algebra generated by few elementary fields, corresponding to order parameters. Using this description, the complete Landau-Ginzburg lagrangians for these models are obtained. Perturbing these lagrangians we can explore their phase diagrams, which correspond to multicritical points with $D_n$ symmetry. In particular, it is shown that there is a perturbation for which the phase structure coincides with that of the IRF models of Jimbo et al.Comment: 18 pages, UTTG-15-9