arXiv research

Ringmaster LMO accelerates training in distributed systems by asynchronously updating neural networks.

Gluon optimizes LMO-based methods for large-scale tasks, improving performance and theory-practice gap.

We demonstrate how to scalably solve a class of constrained self-concordant minimization problems using linear minimization oracles (LMO) over the constraint set. We prove that the number of LMO calls of our method is nearly the same as that of the Frank-Wolfe method in the L-smooth case. Specifically, our Newton Frank…

We give a proof of the LMO conjecture which say that for any simply connectd simple Lie group $G$, the LMO invariant of rational homology 3-spheres recovers the perturvative invariant $τ^{PG}$. By Habiro-Le theorem, this implies that the LMO invariant is the universal quantum invariant of integral homology 3-spheres.

Let Z^{LMO} be the 3-manifold invariant of [LMO]. It is shown that Z^{LMO}(M)=1, if the first Betti number of M, b_{1}(M), is greater than 3. If b_{1}(M)=3, then Z^{LMO}(M) is completely determined by the cohomology ring of M. A relation of Z^{LMO} with the Rozansky-Witten invariants Z_{X}^{RW}[M] is established at a p…

Local LMO optimizes constrained problems using local linear minimization.

New invariant distinguishes lens spaces via categorified homotopy E_3-algebra.

We show that the perturbative ${\frak g}$ invariant of rational homology 3-spheres can be recovered from the LMO invariant for any simple Lie algebra ${\frak g}$, i.e, the LMO invariant is universal among the perturbative invariants. This universality was conjectured in [25]. Since the perturbative invariants dominate …

We prove a "splicing formula" for the LMO invariant, which is the universal finite-type invariant of rational homology $3$-spheres. Specifically, if a rational homology $3$-sphere $M$ is obtained by gluing the exteriors of two framed knots $K_1 \subset M_1$ and $K_2\subset M_2$ in rational homology $3$-spheres, our for…

Survey of LMO invariant for 3-manifolds using Kirby structures.

Cheptea, Habiro and Massuyeau constructed the LMO functor, which is defined on a certain category of cobordisms between two surfaces with at most one boundary component. In this paper, we extend the LMO functor to the case of any number of boundary components, and our functor reflects relations among the parts correspo…

We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N, Garoufalidis, Rozansky and Thurston. As steps, side benefits and asides we give …

For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invar…

We adapt the notion of Jacobi diagrams on surfaces (considered by Andersen-Mattes-Reshetikhin), and construct a LMO-like map that we use to compare some functoriality properties of WRT and LMO invariants.

EF21-Muon optimizes deep learning with error feedback, improving efficiency and accuracy.

Lagrangian cobordisms are three-dimensional compact oriented cobordisms between once-punctured surfaces, subject to some homological conditions. We extend the Le-Murakami-Ohtsuki invariant of homology three-spheres to a functor from the category of Lagrangian cobordisms to a certain category of Jacobi diagrams. We prov…

We use the LMO invariant to find constraints for a knot to admit a purely or reflectively cosmetic surgery. We also get a constraint for knots to admit a Lens space surgery, and some information for characterizing slopes.

In a previous paper, we generalized the definition of the framed Kontsevich integral initially presented by Le and Murakami. We also defined an isotopy invariant $\widetilde{Z}_f$ that is well-behaved under band sum moves. Using this invariant we study the construction of the LMO invariant, the Wheeling Theorem, and th…

Let M denote the mapping class group of S, a compact connected oriented surface with one boundary component. The action of M on the nilpotent quotients of the fundamental group of S allows to define the so-called Johnson filtration and the Johnson homomorphisms. J. Levine introduced a new filtration of M, called the La…

Improved method reduces projection calls for nonsmooth convex optimization.

Let S be a compact connected oriented surface with one boundary component, and let P be the fundamental group of S. The Johnson filtration is a decreasing sequence of subgroups of the Torelli group of S, whose k-th term consists of the self-homeomorphisms of S that act trivially at the level of the k-th nilpotent quoti…

We construct a series of homomorphisms from the $Y$-filtration on the monoid of homology cylinders to torsion modules via the mod $\mathbb{Z}$ reduction of the LMO functor. The restriction of our homomorphism to the lower central series of the Torelli group does not factor through Morita's refinement of the Johnson hom…

Let $Σ$ be a compact connected oriented surface with one boundary component and let $\mathcal{M}$ denote the mapping class group of $Σ$. By considering the action of $\mathcal{M}$ on the fundamental group of $Σ$ it is possible to define different filtrations of $\mathcal{M}$ together with some homomorphisms on each ter…

The elliptic associator of Enriquez can be used to define an invariant of tangles embedded in the thickened torus, which extends the Kontsevich integral. This construction by Humbert uses the formulation of categories with elliptic structures. In this work we show that an extension of the LMO functor also leads to an e…

Muons and random optimizers perform similarly, challenging geometric optimization theory.

Let Θ(M,K) denote the 2-loop piece of (the logarithm of) the LMO invariant of a knot K in M, a ZHS^3. Forgetting the knot (by which we mean setting diagrams with legs to zero) specialises Θ(M,K) to λ(M), Casson's invariant. This note describes an extension of Casson's surgery formula for his invariant to Θ(M,K). To be …

We generalize the definition of the framed Kontsevich integral initially presented by T.Q.T.Le and J.Murakami. We define an isotopy invariant $\widetilde{Z}_f$ that behaves well under band sum moves.

Approximating a probability density in a tractable manner is a central task in Bayesian statistics. Variational Inference (VI) is a popular technique that achieves tractability by choosing a relatively simple variational family. Borrowing ideas from the classic boosting framework, recent approaches attempt to \emph{boo…

This paper detects torsion elements in homology cylinder monoids.

Continuing the work started in Part I and II of this series (see q-alg/9706004 and math.QA/9801049), we prove the relationship between the Aarhus integral and the invariant $Ω$ (henceforth called LMO) defined by T.Q.T. Le, J. Murakami and T. Ohtsuki in q-alg/9512002. The basic reason for the relationship is that both c…

The free energy of a closed 3-manifold is a 2-parameter formal power series which encodes the perturbative Chern-Simons invariant (also known as the LMO invariant) of a closed 3-manifold with gauge group U(N) for arbitrary $N$. We prove that the free energy of an arbitrary closed 3-manifold is uniformly Gevrey-1. As a …

The contribution of reducible connections to the U(N) Chern-Simons invariant of a Seifert manifold $M$ can be expressed in some cases in terms of matrix integrals. We show that the U(N) evaluation of the LMO invariant of any rational homology sphere admits a matrix model representation which agrees with the Chern-Simon…

The object of this paper is to define a subcategory of the category of 3-cobordisms to which invariants of rational homology 3-spheres should generalize. We specify the notion of Topological Quantum Field Theory (in the sense of Atiyah) to this case, and prove two interesting properties that these TQFTs always have. In…

Minor typographical errors fixed. Cochran constructed many links with Alexander module that of the unlink and some nonvanishing Milnor invariants, using as input commutators in a free group and as an invariant the longitudes of the links. We present a different and conjecturally complete construction, that uses element…

Recently, Mullins calculated the Casson-Walker invariant of the 2-fold cyclic branched cover of an oriented link in S^3 in terms of its Jones polynomial and its signature, under the assumption that the 2-fold branched cover is a rational homology 3-sphere. Using elementary principles, we provide a similar calculation f…

Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms …

Our aim is to prove that two formal power series of importance to quantum topology are Gevrey. These series are the Kashaev invariant of a knot (reformulated by Huynh and the second author) and the Gromov norm of the LMO of an integral homology 3-sphere. It follows that the power series associated to a simple Lie algeb…

Researchers compute torsion for homology cylinders, proving it a finite-type invariant.

We construct a Topological Quantum Field Theory (in the sense of Atiyah) associated to the universal finite-type invariant of 3-dimensional manifolds, as a functor from the category of 3-dimensional manifolds with parametrized boundary, satisfying some additional conditions, to an algebraic-combinatorial category. It i…

New formula for 3-manifold invariants using combinatorial methods.

Morita introduced in 2008 a 1-cocycle on the group of homology cobordisms of surfaces with values in an infinite-dimensional vector space. His 1-cocycle contains all the "traces" of Johnson homomorphisms which he introduced fifteen years earlier in his study of the mapping class group. In this paper, we propose a new v…

This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozans…

In this paper, a new approach for classification of target task using limited labeled target data as well as enormous unlabeled source data is proposed which is called self-taught learning. The target and source data can be drawn from different distributions. In the previous approaches, covariate shift assumption is co…

Using an extension of the Kontsevich integral to tangles in handlebodies similar to a construction given by Andersen, Mattes and Reshetikhin, we construct a functor $Z:\mathcal{B}\to \widehat{\mathbb{A}}$, where $\mathcal{B}$ is the category of bottom tangles in handlebodies and $\widehat{\mathbb{A}}$ is the degree-com…

It had been known since old times [MO, Da] that there exists a universal finite type invariant ("an expansion") Z^{old} for Knotted Trivalent Graphs (KTGs), and that it can be chosen to intertwine between some of the standard operations on KTGs and their chord-diagrammatic counterparts (so that relative to those operat…

In this self-contained book, following Edward Witten, Maxim Kontsevich, Greg Kuperberg and Dylan Thurston, we define an invariant Z of framed links in rational homology 3-spheres, and we study its properties. The invariant Z, which is often called the perturbative expansion of the Chern-Simons theory, is valued in a gr…

We consider the Gopakumar-Ooguri-Vafa correspondence, relating ${\rm U}(N)$ Chern-Simons theory at large $N$ to topological strings, in the context of spherical Seifert 3-manifolds. These are quotients $\mathbb{S}^Γ = Γ\backslash\mathbb{S}^3$ of the three-sphere by the free action of a finite isometry group. Guided by …

We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S. In effect, $\nabla_G$ is the composition with the $ι_n$ maps of Le-Murakami-Ohtsu…