arXiv research

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

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

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…

Proves a formula linking LMO invariants of spliced 3-spheres.

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

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 …

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…

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

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 …

New homomorphisms from homology cylinders to torsion modules via LMO functor.

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.

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.

New method solves constrained self-concordant minimization problems efficiently.

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…

Local LMO optimizes constrained problems using local linear minimization.

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…

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…

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.

Virtual reality explores non-Euclidean Sol geometry.

Study uses crochet to visualize non-Euclidean geometry.

Unified framework for non-Euclidean CPD under scalable stochastic mirror descent.

Paper uses non-Euclidean analysis to classify brain structure variations.

This paper detects torsion elements in homology cylinder monoids.

Paper improves SOMs for non-Euclidean data modeling.

This foreword discusses the contributions of Bolyai, Gauss, and Lobachevsky to non-Euclidean geometry.

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…

Neuc-MDS extends MDS for non-Euclidean data.

Non-Euclidean BPM extends optimization theory to non-Euclidean norms.

Algorithm improves SVM classification in non-Euclidean spaces.

These lecture notes are based on [arXiv: math/0702714, 0907.4469, 0907.4470]. We introduce and study basic aspects of non-Euclidean geometries from a coordinate-free viewpoint.

Study of pulleys and gears in spherical and hyperbolic geometries.

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 …

We describe our initial explorations in simulating non-euclidean geometries in virtual reality. Our simulations of three-dimensional hyperbolic space are available at http://h3.hypernom.com.

This paper deals with various topics in analysis on hyperbolic spaces. It surveys some recent progress in non-Euclidean Fourier Analysis and proves some new results for the geodesic Radon transform on hyperbolic spaces.

The study extends inscription problems to non-Euclidean geometries.

Piecewise flat approximations for curvature in Euclidean and non-Euclidean spaces.

This paper tightens the generalization error bound for graph embedding in non-Euclidean spaces.

The author suggests using non-Euclidean geometry for psychometric models.

For each geometrically finite 2-dimensional non-Euclidean crystallographic group (NEC group), we compute the cohomology groups. In the case where the group is a Fuchsian group, we also determine the ring structure of the cohomology.

Study classifies graphs in Euclidean and non-Euclidean spaces with specific curvature conditions.