arXiv research

The study provides energy estimates for Willmore surfaces and derives a gap statement.

The paper proves lower bounds for Gaussian-weighted curvature integrals of self-shrinkers.

The classical Three Gap Theorem asserts that for a natural number n and a real number p, there are at most three distinct distances between consecutive elements in the subset of [0,1) consisting of the reductions modulo 1 of the first n multiples of p. Regarding it as a statement about rotations of the circle, we find …

Flat minimal tori counterexamples refute Lu's second-gap conjecture.

Paper studies a new curvature system and proves rigidity and gap theorems.

A new topological gap theorem improves the systole of 3-manifolds with positive scalar curvature.

By solving the Cauchy problem for the Hodge-Laplace heat equation for $d$-closed, positive $(1, 1)$-forms, we prove an optimal gap theorem for Kähler manifolds with nonnegative bisectional curvature which asserts that the manifold is flat if the average of the scalar curvature over balls of radius $r$ centered at any f…

Stable commutator length scl_G(g) of an element g in a group G is an invariant for group elements sensitive to the geometry and dynamics of G. For any group G acting on a tree, we prove a sharp bound scl_G(g)>=1/2 for any g acting without fixed points, provided that the stabilizer of each edge is relatively torsion-fre…

We are interested in the spectrum of the Hodge-de Rham operator on a cyclic covering $X$ over a compact manifold $M$ of dimension $n+1$. Let $Σ$ be a hypersurface in $M$ which does not disconnect $M$ and such that $M-Σ$ is a fundamental domain of the covering. If the cohomology group $H^{n/2 (Σ)$ is trivial, we can con…

The purpose of this erratum is to fill a gap in the proof of the `Composite Braid Theorem' in the manuscript "Studying Links Via Closed Braids IV: Composite Links and Split Links (SLVCB-IV)", Inventiones Math, \{bf 102\} Fasc. 1 (1990), 115-139. The statement of the theorem is unchanged. The gap occurs on page 135, lin…

Study hot spots on warped product manifolds and infinite cones.

In a recent paper, it was claimed that any homogeneous Finsler space of odd dimension admits a homogeneous geodesic through any point. For the proof, the algebraic method dealing with the reductive decomposition of the Lie algebra of the isometry group was used. However, the proof contains a serious gap. In the present…

In our previous article [Rad16], we investigated the asymptotic behaviour of orthogonal Bianchi class B perfect fluids close to the initial singularity and proved the Strong Cosmic Censorship conjecture in this setting. In several of the statements, the case of a stiff fluid had to be excluded. The present paper fills …

Codebook for Institutional Grammar 2.0 simplifies policy encoding.

We announce results on the structure of CAT(0) groups, CAT(0) lattices and of the underlying spaces. Our statements rely notably on a general study of the full isometry groups of proper CAT(0) spaces. Classical statements about Hadamard manifolds are established for singular spaces; new arithmeticity and rigidity state…

Neural networks help auditors efficiently assess financial statements by learning underlying data patterns.

We develop a new criterion to tell if a group $G$ has the maximal gap of $1/2$ in stable commutator length (scl). For amalgamated free products $G = A \star_C B$ we show that every element $g$ in the commutator subgroup of $G$ which does not conjugate into $A$ or $B$ satisfies $scl(g) \geq 1/2$, provided that $C$ embed…

We prove that the Riemannian geometry of almost Kähler manifolds can be expressed in terms of the Poisson algebra of smooth functions on the manifold. Subsequently, Kähler-Poisson algebras are introduced, and it is shown that a corresponding purely algebraic theory of geometry and curvature can be developed. As an illu…

We point out a mistake in the main statement of \cite{liu} and suggest and proof a correct statement.

We design and conduct a simple experiment to study whether neural networks can perform several steps of approximate reasoning in a fixed dimensional latent space. The set of rewrites (i.e. transformations) that can be successfully performed on a statement represents essential semantic features of the statement. We can …

In this paper, we prove a conjecture published in 1989 and also partially address an open problem announced at the Conference on Learning Theory (COLT) 2015. With no unrealistic assumption, we first prove the following statements for the squared loss function of deep linear neural networks with any depth and any widths…

The Atiyah conjecture predicts that the L2-Betti numbers of a finite CW-complex with torsion-free fundamental group are integers. We show that the Atiyah conjecture holds (with an additional technical condition) for direct and inverse limits of directed systems of groups for which it is true. As a corollary it holds fo…

AI improves MSME credit scoring using bank statement data.

The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements abou…

We obtain multirelative connectivity statements about spaces of Poincare embeddings, as precursors to analogous statements about spaces of smooth embeddings. The latter are the key to convergence results in the functor calculus approach to spaces of embeddings.

UniFinEval benchmarks financial models across text, images, and videos.

Online health communities are a valuable source of information for patients and physicians. However, such user-generated resources are often plagued by inaccuracies and misinformation. In this work we propose a method for automatically establishing the credibility of user-generated medical statements and the trustworth…

New examples show causality conditions don't always pass to coverings.

We observe that the maximal open set of constant curvature k in a Riemannian manifold with curvature bounded below or above by k has a convexity type property, which we call "two-convexity". This statement is used to prove a number of rigidity statements in comparison geometry.

Discuss folklore statements about manifolds with curvature bounds.

RoBERTa model detects counterfactual statements in text.

Financial statements contain quantitative information and manager's subjective evaluation of firm's financial status. Using information released in U.S. 10-K filings. Both qualitative and quantitative appraisals are crucial for quality financial decisions. To extract such opinioned statements from the reports, we built…

The paper shows that oval caustics have at least 4 cusps.

The results of Culler and Shalen for 2,3 or 4-free hyperbolic 3-manifolds are contingent on properties specific to and special about rank two subgroups of a free group. Here we determine what construction and algebraic information is required in order to make a geometric statement about $M$, a closed, orientable hyperb…

LLMs outperform human analysts in predicting earnings direction.

In the modern era, abundant information is easily accessible from various sources, however only a few of these sources are reliable as they mostly contain unverified contents. We develop a system to validate the truthfulness of a given statement together with underlying evidence. The proposed system provides supporting…

The theory of classical types of curves in normed planes is not strongly developed. In particular, the knowledge on existing concepts of curvatures of planar curves is widespread and not systematized in the literature. Giving a comprehensive overview on geometric properties of and relations between all introduced curva…

This paper introduces compositional data analysis for financial ratios, improving industry-level analysis.

We report a data mining pipeline and subsequent analysis to understand the core periphery power structure created in three national newspapers in Bangladesh, as depicted by statements made by people appearing in news. Statements made by one actor about another actor can be considered a form of public conversation. Name…

Transformed geometry into algebra to prove Pick's theorem efficiently.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Issues regarding explainable AI involve four components: users, laws & regulations, explanations and algorithms. Together these components provide a context in which explanation methods can be evaluated regarding their adequacy. The goal of this chapter is to bridge the gap between expert users and lay users. Different…

The main result is a direct proof of the implication $(LVKF_{k,3})\Rightarrow( LT_{3k-1,3})$ below. Consider the following statements: ($LVKF_{1,3}$) From any 11 points in $\mathbb{R}^{3}$ one can choose 3 pairwise disjoint triples whose convex hulls have a common point. ($LVKF_{k,3}$) From any $6k + 5$ points in $ \m…

In this paper we study the embedding of Riemannian manifolds in low codimension. The well-known result of Nash and Kuiper says that any short embedding in codimension one can be uniformly approximated by $C^1$ isometric embeddings. This statement clearly cannot be true for $C^2$ embeddings in general, due to the classi…

We survey some results on the existence (and non-existence) of periodic Reeb orbits on contact manifolds, both in the open and closed case. We place these statements in the context of Finsler geometry by including a proof of the folklore theorem that the Finsler geodesic flow can be interpreted as a Reeb flow. As a mil…

The paper proves a rigidity theorem for minimal submanifolds in spheres with flat normal bundle.

Corporate distress models typically only employ the numerical financial variables in the firms' annual reports. We develop a model that employs the unstructured textual data in the reports as well, namely the auditors' reports and managements' statements. Our model consists of a convolutional recurrent neural network w…

This paper autoformalizes Euclidean geometry using LLMs and theorem provers.