arXiv research

Corrects a flawed proof of the Kropholler Conjecture.

We give a new proof of the isoperimetric inequality in the plane, based on Steiner's formula for the area of a convex neighborhood. This proof establishes the isoperimetric inequality directly, without requiring that we separately establish the existence of an optimal domain. In doing so, this proof bypasses the main d…

Using an idea of Voronoi in the geometric theory of positive definite quadratic forms, we give a transparent proof of John's characterization of the unique ellipsoid of maximum volume contained in a convex body. The same idea applies to the 'hard part' of a generalization of John's theorem and shows the difficulties of…

Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of polynomial inequalities. We adopt the framework of semi-algebraic proof systems that manipulate polynomial inequalities via elementary inferen…

Under suitable conditions near infinity and assuming boundedness of curvature tensor, we prove a no breathers theorem in the spirit of Ivey-Perelman for some noncompact Ricci flows. These include Ricci flows on asymptotically flat (AF) manifolds with positive scalar curvature. Since the method for the compact case face…

In this paper, we show that the α_{m,2}-invariant of a smooth cubic surface with Eckardt points is strictly bigger than 2/3. This can be used to simplify Tian's original proof of the existence of Kaehler-Einstein metrics on such manifolds. We also sketch the computations on cubic surfaces with one ordinary double point…

A pivotal problem in Bayesian nonparametrics is the construction of prior distributions on the space M(V) of probability measures on a given domain V. In principle, such distributions on the infinite-dimensional space M(V) can be constructed from their finite-dimensional marginals---the most prominent example being the…

By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in Torelli groups and abelian subgroups of Torelli groups. The new proofs are more tran…

The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy …

In this paper, we investigate the first eigenvalues of two closed eigenvalue problems of the bi-Beltrami-Laplacian on minimal embedded isoparametric hypersurface in the unit sphere $\mathbb{S}^{n+1}(1)$. Although many mathematicians want to derive the corresponding results for the first eigenvalues of bi-Beltrami-Lapla…

We extend the Jang equation proof of the positive energy theorem due to R. Schoen and S.-T. Yau from dimension $n=3$ to dimensions $3 \leq n <8$. This requires us to address several technical difficulties that are not present when $n=3$. The regularity and decay assumptions for the initial data sets to which our argume…

Direct proof shows adaptive gradient descent converges near-linearly for convex functions.

The approximability of a convex body is a number which measures the difficulty to approximate that body by polytopes. We prove that twice the approximability is equal to the volume entropy for a Hilbert geometry in dimension two end three and that in higher dimension it is a lower bound of the entropy. As a corollary w…

We prove the following entropy-rigidity result in finite volume: if $X$ is a negatively curved manifold with curvature $-b^2\leq K_X \leq -1$, then $Ent_{top}(X) = n-1$ if and only if $X$ is hyperbolic. In particular, if $X$ has the same length spectrum of a hyperbolic manifold $X_0$, the it is isometric to $X_0$ (we a…

We show that every finite volume hyperbolic manifold of dimension greater or equal to 3 is stable under rescaled Ricci flow, i.e. that every small perturbation of the hyperbolic metric flows back to the hyperbolic metric again. Note that we do not need to make any decay assumptions on this perturbation. It will turn ou…

Researchers prove Seifert-Weber dodecahedral space is an L-space.

Time-continuous emotion prediction has become an increasingly compelling task in machine learning. Considerable efforts have been made to advance the performance of these systems. Nonetheless, the main focus has been the development of more sophisticated models and the incorporation of different expressive modalities (…

This is a mixture of survey article and research anouncement. We discuss Instanton Floer homology for 3 manifolds with boundary. We also discuss a categorification of the Lagrangian Floer theory using the unobstructed immersed Lagrangian correspondence as a morphism in the category of symplectic manifolds. During the y…

Sharp stability of Möbius group among sphere-valued maps proved in arbitrary dimensions.

Deep networks prioritize easier examples over harder ones, leading to faster training.

Motivated by the study of collapsing Calabi-Yau threefolds with a Lefschetz K3 fibration, we construct a complete Calabi-Yau metric on $\mathbb{C}^3$ with maximal volume growth, which in the appropriate scale is expected to model the collapsing metric near the nodal point. This new Calabi-Yau metric has singular tangen…

Some statistical models are specified via a data generating process for which the likelihood function cannot be computed in closed form. Standard likelihood-based inference is then not feasible but the model parameters can be inferred by finding the values which yield simulated data that resemble the observed data. Thi…

In the author's previous joint work with Hans-Joachim Hein, a mass formula for asymptotically locally Euclidean (ALE) Kaehler manifolds was proved, assuming only relatively weak fall-off conditions on the metric. However, the case of real dimension 4 presented technical difficulties that led us to require fall-off cond…

Entity Linking (EL) is the task of automatically identifying entity mentions in a piece of text and resolving them to a corresponding entity in a reference knowledge base like Wikipedia. There is a large number of EL tools available for different types of documents and domains, yet EL remains a challenging task where t…

New measure quantifies task difficulty for machine learning models.

Investigates Künneth formula for foliated de Rham cohomology, overcoming non-Hausdorff issues.

Game-theoretic analysis of mining gaps in blockchain systems.

New ensemble models classify mouse movement trajectories to assess survey question difficulty.

This paper constructs Seiberg-Witten monopoles from harmonic spinors on 3-manifolds.

Proposes a simple framework to balance task difficulty in multi-task learning.

Salzmann's legacy in mathematics documented.

Paper shows training can improve GCN performance without changing architecture.

Study shows how compact shapes can be rigidly mapped into complete manifolds.

Fast approximate nearest neighbor (NN) search in large databases is becoming popular. Several powerful learning-based formulations have been proposed recently. However, not much attention has been paid to a more fundamental question: how difficult is (approximate) nearest neighbor search in a given data set? And which …

This study introduces balanced DRPS and OrderedLogitNN for better QDE of discrete-level questions.

We show short-time existence for curves driven by curve diffusion flow with a prescribed contact angle $α\in (0, π)$: The evolving curve has free boundary points, which are supported on a line and it satisfies a no-flux condition. The initial data are suitable curves of class $W_2^γ$ with $γ\in (\tfrac{3}{2}, 2]$. For …

Measures difficulty of predictions to improve deep learning models.

New method for Bayesian neural networks reduces inference difficulty.

This paper bounds the volume of singular and critical sets for elliptic equations with Hölder coefficients.

Most cryptocurrencies rely on Proof-of-Work (PoW) "mining" for resistance to Sybil and double-spending attacks, as well as a mechanism for currency issuance. Hashcash PoW has successfully secured the Bitcoin network since its inception, however, as the network has expanded to take on additional value storage and transa…

Holonomy groups of complex hyperbolic submanifolds are always transitive.

The difficulty of classification affects the weight matrices' heavy tail appearance in deep learning networks.

New research sets the minimax lower bound for KSD estimation at sqrt(n).

We prove exact BNN posterior convergence to GP limit and provide sampling methods.

Improved PAC-Bayesian bounds by considering example difficulty.

New criteria for ideal circle patterns on surfaces.

Despite the significant advances in recent years, Generative Adversarial Networks (GANs) are still notoriously hard to train. In this paper, we propose three novel curriculum learning strategies for training GANs. All strategies are first based on ranking the training images by their difficulty scores, which are estima…

In this paper, we construct spines, i.e., $\Mod_g$-equivariant deformation retracts, of the Teichmüller space $\T_g$ of compact Riemann surfaces of genus $g$. Specifically, we define a $\Mod_g$-stable subspace $S$ of positive codimension and construct an intrinsic $\Mod_g$-equivariant deformation retraction from $\T_g$…