arXiv research

With this positional paper we present a representation learning view on predicate invention. The intention of this proposal is to bridge the relational and deep learning communities on the problem of predicate invention. We propose a theory reconstruction approach, a formalism that extends autoencoder approach to repre…

Paper converts quantiles to cumulative distribution functions to simplify risk measures.

Historically, the banking multiplier has been in a range of 4 to 100, with 25% to 1% reserve ratios at most layers of the banking system encompassing the majority of its range in recent centuries. Here it is shown that multipliers over 1 000 can occur from a new mechanism in banking. This new multiplier uses a default …

We prove a compactness result for minimal hypersurfaces with bounded index and volume, which can be thought of as an extension of the compactness theorem of Choi-Schoen (Invent. Math. 1985) to higher dimensions.

Surprise predicts breakthroughs in science and technology.

Extending theorems of J. E. Greene [Invent. Math. 192 (2013), 717-750] and A. S. Lipson [Enseign. Math. (2) 36 (1990), 93-114], we prove that the equivalence class of a classical link L under mutation is determined by Goeritz matrices associated to diagrams of L.

We use the wrinkling theorem proven in Y. Eliashberg and N. Mishachev, "Wrinkling of smooth mappings and its applications - I", Invent. Math., 130(1997), 345-369, to fully describe the homotopy type of the space of S-immersions, i.e. equidimensional folded maps with prescribed folds.

This is one in a series of papers devoted to the foundations of Symplectic Field Theory sketched in [Y Eliashberg, A Givental and H Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal. Special Volume, Part II (2000) 560--673]. We prove compactness results for moduli spaces of holomorphic curves arising in…

In the present paper, we develop the parity theory invented in \cite{ManSb}; we construct new parities for two-component (virtual and free) links. New parities significantly depend on geometrical properties of diagrams; in particular, they are mutation-sensitive. New parities can be used practically in all problems, wh…

We study a fractional conformal curvature flow on the standard unit sphere and prove a perturbation result of the fractional Nirenberg problem with fractional exponent $σ\in (1/2,1)$. This extends the result of Chen-Xu (Invent. Math. 187, no. 2, 395-506, 2012) for the scalar curvature flow on the standard unit sphere.

We show how the machine of PROP profiles invented by S. Merkulov can be used to study and classify natural operators in differential geometry. We also give an interpretation of graph complexes arising in this context in terms of representation theory. As application, we prove several results on classification of natura…

A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher…

A theoretical framework that supports automated construction of dynamic prime models purely from experimental time series data has been invented and developed, which can automatically generate (construct) data-driven models of any time series data in seconds. This has resulted in the formulation and formalisation of ne…

In this paper, we study the limiting properties of the $K$ energy for smooth hypersurfaces in the projective spaces. Our result generalizes the result of Ding-Tian (W. Ding and G. Tian. Kähler-Einstein metrics and the generalized Futaki invariant. {\em Invent Math}, 110:315-335, 1992.) in the case of hypersurfaces. In …

We show that the subsurface projection of a train track splitting sequence is an unparameterized quasi-geodesic in the curve complex of the subsurface. For the proof we introduce induced tracks, efficient position, and wide curves. This result is an important step in the proof that the disk complex is Gromov hyperbolic…

We prove a generalization of Bennequin's inequality for Legendrian knots in a 3-dimensional contact manifold (Y,xi), under the assumption that Y is the boundary of a 4-dimensional manifold M and the version of Seiberg-Witten invariants introduced by Kronheimer and Mrowka [Invent. Math. 130 (1997) 209-255] is nonvanishi…

The purpose of this paper is to study the bimeromorphic invariants of compact complex manifolds in terms of Bott-Chern cohomology. We prove a blow-up formula for Bott-Chern cohomology. As an application, we show that for compact complex threefolds the non-Kählerness degrees, introduced by Angella-Tomassini [Invent. Mat…

Using the reformulation in divergence form of the Euler-Lagrange equation for the Willmore functional as it was developed in "Analysis of the Willmore Functional" by T. Riviere (Invent. Math. 174), we study the limit of a local Palais-Smale sequence of weak Willmore immersions with locally square-integrable second fund…

We study the formation of generic singularities of mean curvature flow by combining the different approaches, specifically the methods in studying blowup of nonlinear heat equations, the techniques used by the author and the collaborators for mean curvature flow, and these invented by Colding and Minicozzi. We study th…

Area and orientation preserving diffeomorphisms of the standard 2-disc, referred to as symplectomorphisms of $\mathbb{D}^{2}$, allow decompositions in terms of positive twist diffeomorphisms. Using the latter decomposition we utilize the Conley index theory of discrete braid classes as introduced in [Ghrist et al., C. …

The design of neural network architectures is an important component for achieving state-of-the-art performance with machine learning systems across a broad array of tasks. Much work has endeavored to design and build architectures automatically through clever construction of a search space paired with simple learning …

This note contains two remarks about the application of the d-invariant in Heegaard Floer homology and Donaldson's diagonalization theorem to knot theory. The first is the equivalence of two obstructions they give to a 2-bridge knot being smoothly slice. The second carries out a suggestion by Stefan Friedl to replace t…

The paper proves existence of special surfaces in 3D manifolds with constant curvature.

This study analyzes cryptocurrencies to reveal their homogeneity and heterogeneity.

Post-quantum cryptography needed for blockchain security.

Quantum trace map connects Teichmüller theory and quantum groups.

We describe in this note a new invariant of rooted trees. We argue that the invariant is interesting on it own, and that it has connections to knot theory and homological algebra. However, the real reason that we propose this invariant to readers is that we deal here with an elementary, interesting, new mathematics, an…

We define an extended Bloch group and show it is naturally isomorphic to H_3(PSL(2,C)^δ;Z). Using the Rogers dilogarithm function this leads to an exact simplicial formula for the universal Cheeger-Chern-Simons class on this homology group. It also leads to an independent proof of the analytic relationship between volu…

In traditional generative modeling, good data representation is very often a base for a good machine learning model. It can be linked to good representations encoding more explanatory factors that are hidden in the original data. With the invention of Generative Adversarial Networks (GANs), a subclass of generative mod…

Four decades after their invention, quasi-Newton methods are still state of the art in unconstrained numerical optimization. Although not usually interpreted thus, these are learning algorithms that fit a local quadratic approximation to the objective function. We show that many, including the most popular, quasi-Newto…

Study finds weak solutions for complex map flows with optimal lifespan.

In this paper we investigate the "area blow-up" set of a sequence of smooth co-dimension one manifolds whose first variation with respect to an anisotropic integral is bounded. Following the ideas introduced by White in (J. Differential Geom., 2016), we show that this set has bounded (anisotropic) mean curvature in the…

The original k-means clustering method works only if the exact vectors representing the data points are known. Therefore calculating the distances from the centroids needs vector operations, since the average of abstract data points is undefined. Existing algorithms can be extended for those cases when the sole input i…

Following T.-J. Li, W. Zhang [Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds, Comm. Anal. Geom.], we continue to study the link between the cohomology of an almost-complex manifold and its almost-complex structure. In particular, we apply the same argument in [T…

A non-Hermitean extension of paradigmatic Wishart random matrices is introduced to set up a theoretical framework for statistical analysis of (real, complex and real quaternion) stochastic time series representing two "remote" complex systems. The first paper in a series provides a detailed spectral theory of non-Hermi…

The study finds anisotropic minimal surfaces in 3-manifolds with smooth boundaries.

A common way to train neural networks is the Backpropagation. This algorithm includes a gradient descent method, which needs an adaptive step size. In the area of neural networks, the ADAM-Optimizer is one of the most popular adaptive step size methods. It was invented in \cite{Kingma.2015} by Kingma and Ba. The $5865$…

DeConvNet, Guided BackProp, LRP, were invented to better understand deep neural networks. We show that these methods do not produce the theoretically correct explanation for a linear model. Yet they are used on multi-layer networks with millions of parameters. This is a cause for concern since linear models are simple …

We describe a general family of curved-crease folding tessellations consisting of a repeating "lens" motif formed by two convex curved arcs. The third author invented the first such design in 1992, when he made both a sketch of the crease pattern and a vinyl model (pictured below). Curve fitting suggests that this init…

The work discusses equivariant asymptotic dimension (also known as "wide equivariant covers", "$N$-$\mathcal F$-amenability" or "amenability dimension", and "$d$-BLR condition") and its generalisation, transfer reducibility, which are versions of asymptotic dimension invented for the proofs of the Farrell--Jones and Bo…

We address the problem of solving convex optimization problems with many convex constraints in a distributed setting. Our approach is based on an extension of the alternating direction method of multipliers (ADMM) that recently gained a lot of attention in the Big Data context. Although it has been invented decades ago…

New capillary Christoffel-Minkowski problem solved for half-space.

Constructs a Lie groupoid integrating singular foliations.

Symmetry proven for positive solutions of a weighted p-Laplace operator inequality.

Goldman (Invent. Math. 85(2) (1986) 263) and Turaev (Ann. Sci. Ecole Norm. Sup. (4) 24 (6)(1991) 635) found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of loops on an orientable surface. Chas (Combinatorial Lie bialgebras of curves on surfaces, Topology 43 (2004) 543), b…

Asymptotic cones of metric spaces were first invented by Gromov. They are metric spaces which capture the 'large-scale structure' of the underlying metric space. Later, van den Dries and Wilkie gave a more general construction of asymptotic cones using ultrapowers. Certain facts about asymptotic cones, like the complet…

A few years ago N.A'Campo invented a construction of a link from a real curve immersed into a disk. In the case of the curve originating from the real morsification method the link is isotopic to the link of the corresponding singularity. There are some curves which do not occur in the singularity theory. In this artic…

Two graph homologies help compute embedding space.