arXiv research

In the present paper a criteria for a rectangular diagram to admit a simplification is given in terms of Legendrian knots. It is shown that there are two types of simplifications which are mutually independent in a sense. A new proof of the monotonic simplification theorem for the unknot is given. It is shown that a mi…

Simplified proof of gluing formula for analytic torsion forms.

Simplified proofs and new distributions on anti-quasi-Sasakian manifolds.

We give a proof that the geometric K-homology theory for finite CW-complexes defined by Baum and Douglas is isomorphic to Kasparov's K-homology. The proof is a simplification of more elaborate arguments which deal with the geometric formulation of equivariant K-homology theory.

This is an exposition of a proof of the Madsen-Weiss Theorem, which asserts that the homology of mapping class groups of surfaces, in a stable dimension range, is isomorphic to the homology of a certain infinite loopspace that arises naturally when one applies the "scanning method". The proof given here utilizes simpli…

By a theorem of Greene and Wu, a noncompact connected Riemannian manifold admits a smooth strictly subharmonic exhaustion function. Demailly provided an elementary proof of this fact. A further simplification of Demailly's proof and some (mostly known) applications are described. Applications include the fact that the …

This paper is purely expositional. The statement of the Kuratowski graph planarity criterion is simple and well-known. However, its classical proof is not easy. In this paper we present the Makarychev proof (with further simplifications by Prasolov, Telishev, Zaslavski and the author) which is possibly the simplest. In…

Every noncompact surface has a 3-rigid triangulation.

Simplified proof and new $C^0$ estimate for Kähler-Einstein metrics.

We give a simple proof of Lee's result from [Adv. Math. 179 (2005) 554-586; arXiv:math.GT/0210213], that the dimension of the Lee variant of the Khovanov homology of a c-component link is 2^c, regardless of the number of crossings. Our method of proof is entirely local and hence we can state a Lee-type theorem for tang…

This note has an experimental nature and contains no new theorems. We introduce certain moves for classical knot diagrams that for all the very many examples we have tested them on give a monotonic complete simplification. A complete simplification of a knot diagram D is a sequence of moves that transform D into a diag…

We establish a full $h-$principle ($C^0-$close, relative, parametric) for the simplification of singularities of Lagrangian and Legendrian fronts. More precisely, we prove that if there is no homotopy theoretic obstruction to simplifying the singularities of tangency of a Lagrangian or Legendrian submanifold with respe…

Study shows convergence of anticanonically balanced metrics to Kähler-Einstein metrics on Fano manifolds.

We prove that any arc-presentation of the unknot admits a monotonic simplification by elementary moves; this yields a simple algorithm for recognizing the unknot. We obtain similar results for split links and composite links.

Natural gradient simplification for deep learning networks.

It is generally accepted that all models are wrong -- the difficulty is determining which are useful. Here, a useful model is considered as one that is capable of combining data and expert knowledge, through an inversion or calibration process, to adequately characterize the uncertainty in predictions of interest. This…

We give a new proof of the rearrangement lemma that works for all dimensions and all heat coefficients in the study of modular geometry on noncommutative tori. The building blocks of the spectral functions are landed in a hypergeometric family knowns as Lauricella functions of type $D$. We investigate the differential …

In this paper, we describe a canopolis (i.e. categorified planar algebra) formalism for Khovanov and Rozansky's link homology theory. We show how this allows us to organize simplifications in the matrix factorizations appearing in their theory. In particular, it will put the equivalence of the original definition of Kh…

A new KAN variant uses sinusoidal activations to approximate functions.

We describe ASAGA, an asynchronous parallel version of the incremental gradient algorithm SAGA that enjoys fast linear convergence rates. Through a novel perspective, we revisit and clarify a subtle but important technical issue present in a large fraction of the recent convergence rate proofs for asynchronous parallel…

We extend the Novikov Morse-type inequalities for closed 1-forms in 2 directions. First, we consider manifolds with boundary. Second, we allow a very degenerate structure of the critical set of the form, assuming only that the form is non-degenerated in the sense of Kirwan. In particular, we obtain a generalization of …

Recent work on stable minimal hypersurface singularities.

Using a K-theory point of view, Bott related the Atiyah-Singer index theorem for elliptic operators on compact homogeneous spaces to the Weyl character formula. This article explains how to prove the local index theorem for compact homogenous spaces using Lie algebra methods. The method follows in outline the proof of …

This paper simplifies deep ReLU networks into local linear models for better interpretability.

Furuta's ``10/8-th's'' theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that in the presence of a Z/2^p action, his bound can be strengthened. As applications, we give new genus bounds on classes with divisibility and we give a classificati…

Simplifies residual flows to make flow-based modeling more practical.

The second author previously discussed how classical complexity separation conjectures, we call them "axioms", have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial evaluations cannot produce exponential simplifications of link diagrams. In this pap…

Proves simplicity of Lyapunov exponents for specific Anosov flows.

New method simplifies data analysis.

In a recent work "Arc-presentation of links: Monotonic simplification" Ivan Dynnikov showed that each rectangular diagram of the unknot, composite link, or split link can be monotonically simplified into a trivial, composite, or split diagram, respectively. The following natural question arises: Is it always possible t…

AST provides a method to validate safe autonomy without unsafe simplifications.

Two smooth manifolds M and N are called R-diffeomorphic if their product with the real line are diffeomorphic. We consider the following simplification problem: does R-diffeomorphism imply diffeomorphism or homeomorphism? For compact manifolds, analysis of this problem relies on some of the main achievements of the the…

Simplifies RF predictions by focusing on a subset of nearest neighbors.

We define a new combinatorial complex computing the hat version of link Floer homology over Z/2Z, which turns out to be significantly smaller than the Manolescu-Ozsvath-Sarkar one.

Both classical and virtual knots arise as formal Gauss diagrams modulo some abstract moves corresponding to Reidemeister moves. If we forget about both over/under crossings structure and writhe numbers of knots modulo the same Reidemeister moves, we get a dramatic simplification of virtual knots, which kills all classi…

We propose a simple yet effective technique to simplify the training and the resulting model of neural networks. In back propagation, only a small subset of the full gradient is computed to update the model parameters. The gradient vectors are sparsified in such a way that only the top-k elements (in terms of magnitude…

We give a new algorithm to simplify a given triangulation with respect to a given curve. The simplification uses flips together with powers of Dehn twists in order to complete in polynomial time in the bit-size of the curve.

In the paper, the martingales and super-martingales relative to a regular set of measures are systematically studied. The notion of local regular super-martingale relative to a set of equivalent measures is introduced and the necessary and sufficient conditions of the local regularity of it in the discrete case are fou…

Eliashberg simplifies singularities in geometry.

Search-based methods for hard combinatorial optimization are often guided by heuristics. Tuning heuristics in various conditions and situations is often time-consuming. In this paper, we propose NeuRewriter that learns a policy to pick heuristics and rewrite the local components of the current solution to iteratively i…

We describe a simplification of Donaldson's arguments for the construction of symplectic hypersurfaces or Lefschetz pencils that makes it possible to avoid any reference to Yomdin's work on the complexity of real algebraic sets.

The traditional Sznajd model, as well as its Ochrombel simplification for opinion spreading, are applied to marketing with the help of advertising. The larger the lattice is the smaller is the amount of advertising needed to convince the whole market

Simplified Khovanov-Rozansky calculus for bipartite knots.

Morphology in unbalanced languages remains a big challenge in the context of machine translation. In this paper, we propose to de-couple machine translation from morphology generation in order to better deal with the problem. We investigate the morphology simplification with a reasonable trade-off between expected gain…

We present a simplification of Neumann's formula for the universal Cheeger-Chern-Simons class of the second Chern polynomial. Our approach is completely algebraic, and the final formula can be applied directly on a homology class in the bar complex.

This is a survey of some of the recent developments in the theory of complex Monge-Ampere equations. The topics discussed include refinements and simplifications of classical a priori estimates, methods from pluripotential theory, variational methods for big cohomology classes, semiclassical constructions of solutions …

We introduce a new method to calculate the credit exposure of Bermudan, discretely monitored barrier and European options. Core of the approach is the application of the dynamic Chebyshev method of Glau et al. (2019). The dynamic Chebyshev method delivers a closed form approximation of the option prices along the paths…

In this paper, we analyze the effects of depth and width on the quality of local minima, without strong over-parameterization and simplification assumptions in the literature. Without any simplification assumption, for deep nonlinear neural networks with the squared loss, we theoretically show that the quality of local…