arXiv research

Paper provides a rigorous proof of the index theorem for economists.

Two proofs show that removing a loop from a plane circuit splits the plane.

The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture.…

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

Survey on finite dimensional Lie groups over real numbers.

Technical proofs for Radon-Nikodym derivative identities.

Nash's theorem proved with Günther's trick

Lasso proves consistent model selection for high-dimensional Ising models.

Paper revisits Black-Scholes model, proving solution existence and measuring market uncertainty.

We give a rigorous construction of the path integral in N=1/2 supersymmetry as an integral map for differential forms on the loop space of a compact spin manifold. It is defined on the space of differential forms which can be represented by extended iterated integrals in the sense of Chen and Getzler-Jones-Petrack. Via…

We prove the existence of a (spectrally) stable self-similar blow-up solution $f_0$ to the heat flow for corotational harmonic maps from $\mathbb R^3$ to the three-sphere. In particular, our result verifies the spectral gap conjecture stated by one of the authors and lays the groundwork for the proof of the nonlinear s…

Mathematical proofs for Shapley explanations clarify their properties.

We derive a new proof to show that the incremental resparsification algorithm proposed by Kelner and Levin (2013) produces a spectral sparsifier in high probability. We rigorously take into account the dependencies across subsequent resparsifications using martingale inequalities, fixing a flaw in the original analysis…

We prove two conjectures of C. Gordon. We show that the maximal number of exceptional Dehn surgeries on a 1-cusped hyperbolic 3-manifold is 10, and that the maximal intersection number between exceptional slopes is 8. The proof uses a combination of new geometric techniques and a rigorous computer-assisted calculation.

It is expected that matter composed of a perfect fluid cannot be at rest outside of a black hole if the spacetime is asymptotically flat and static (non-rotating). However, there has not been a rigorous proof for this expectation without assuming spheical symmetry. In this paper, we provide a proof of non-existence of …

We introduce a vanishing property of adjoint Reidemeister torsions of a cusped hyperbolic 3-manifold derived from the physics of wrapped M5-branes on the manifold. To support our physical observation, we present a rigorous proof for the figure-eight knot complement with respect to all slopes. We also present numerical …

This short note contains an explicit proof of the Jacobi identity for variational Schouten bracket in $Z_2$-graded commutative setup. For the reasoning to be rigorous, it refers to the product bundle geometry of iterated variations (see arXiv:1312.1262 [math-ph]); no ad hoc regularizations occur anywhere in this theory…

This paper addresses an open problem recently posed by V. Kozlov: a rigorous proof of the non-integrability of the geodesic flow on the cubic surface $x y z=1$. We prove this is the case using the Morales-Ramis theorem and Kovacic algorithm. We also consider some consequences and extensions of this result.

Derives key CCM manifold equations for optimization.

The geometrical features of the (non-convex) loss landscape of neural network models are crucial in ensuring successful optimization and, most importantly, the capability to generalize well. While minimizers' flatness consistently correlates with good generalization, there has been little rigorous work in exploring the…

We show that the $\mathbb{Q}/\mathbb{Z}$-valued linking forms on rational homology spheres are (anti-) symmetric and we compute the linking form of a 3-dimensional rational homology sphere in terms of a Heegaard splitting. Both results have been known to a larger or lesser degree, but it is difficult to find rigorous d…

This dissertation contains a comprehensive study of the topology of 2-manifolds and a complementary analysis of the work done by Edwin E. Moise, L. V. Ahlfors and Ian Richards. Our aim is to study the well known classification of surfaces. Here we present the technical tools needed for proving rigorously the classifica…

We derive and study supergravity BPS flow equations for M5 or D3 branes wrapping a Riemann surface. They take the form of novel geometric flows intrinsically defined on the surface. Their dual field-theoretic interpretation suggests the existence of solutions interpolating between an arbitrary metric in the UV and the …

This thesis is divided into four chapters. The first chapter discusses the relationship between stacks on a site and groupoids internal to the site. It includes a rigorous proof of the folklore result that there is an equivalence between the bicategory of internal groupoids and the bicategory of geometric stacks. The s…

Proof that m-shifted symplectic forms are preserved under Morita equivalence of Lie n-groupoids.

Article finds a geometric connection between structures on manifolds.

Corrects errors in previous work on spectral asymptotics in elasticity.

This paper is a rigorous study of the dual pair structure of the ideal fluid and the dual pair structure for the $n$-dimensional Camassa-Holm (EPDiff) equation, including the proofs of the necessary transitivity results. In the case of the ideal fluid, we show that a careful definition of the momentum maps leads natura…

Every pseudo-Anosov mapping class $\varphi$ defines an associated veering triangulation $τ_\varphi$ of a punctured mapping torus. We show that generically, $τ_\varphi$ is not geometric. Here, the word "generic" can be taken either with respect to random walks in mapping class groups or with respect to counting geodesic…

New Einstein metrics constructed on complex line bundle over CP1.

A general duality proof for Wasserstein distributionally robust optimization.

We rigorously prove statistical physics predictions for non-convex GLMs in high dimensions.

Let $M$ be a closed manifold and let $N$ be a connected manifold without boundary. For each $k\in\mathbb{N}$ the set of $k$ times continuously differentiable maps between $M$ and $N$ has the structure of a smooth Banach manifold where the underlying manifold topology is the compact-open $C^k$ topology. We provide a det…

This note gives the first example of a hyperbolic knot in the 3-sphere that lacks a nonorientable essential spanning surface; this disproves the Strong Neuwirth Conjecture formulated by Ozawa and Rubinstein. Moreover, this knot has no even strict boundary slopes, disproving the Even Boundary Slope Conjecture of the sam…

We prove the Goldman-Parker Conjecture: A complex hyperbolic ideal triangle group is directly embedded in PU(2,1) if and only if the product of its three standard generators is not elliptic. We also prove that such a group is indiscrete if the product of its three standard generators is elliptic. A novel feature of thi…

In this paper we will give a rigorous proof of the lower bound for the scalar curvature of the standard solution of the Ricci flow conjectured by G. Perelman. We will prove that the scalar curvature $R$ of the standard solution satisfies $R(x,t)\ge C_0/(1-t)\quad\forall x\in\Bbb{R}^3,0\le t<1$, for some constant $C_0>0…

New guarantees for black-box variational inference methods.

Existence proof of noncompact self-shrinkers with arbitrary genus.

Researchers prove existence of a special Einstein metric on a 12-dimensional sphere.

Proved colored HOMFLY-PT polynomials for specific knots.

Agol has conjectured that minimally twisted n-chain links are the smallest volume hyperbolic manifolds with n cusps, for n at most 10. In his thesis, Venzke mentions that these cannot be smallest volume for n at least 11, but does not provide a proof. In this paper, we give a proof of Venzke's statement for a number of…

Study wormholes in Einstein-Yang-Mills theory with a phantom field.

We give the first rigorous proof of the convergence of Riemannian Hamiltonian Monte Carlo, a general (and practical) method for sampling Gibbs distributions. Our analysis shows that the rate of convergence is bounded in terms of natural smoothness parameters of an associated Riemannian manifold. We then apply the metho…

For a smooth oriented surface S, denote by M(S) the set of all ways to represent S as a result of gluing together standard spheres with holes (``the Lego game''). In this paper we give a full set of simple moves and relations which turn M(S) into a connected and simply-connected 2-complex. Results of this kind were fir…

C-MinHash reduces the number of permutations needed for MinHash from thousands to just two.

Goursat showed that in the presence of an intermediate integral, the problem of solving a second-order Monge-Ampere equation can be reduced to solving a first-order equation, in the sense that the generic solution of the first-order equation will also be a solution of the original equation. An attempt by Hermann to giv…

Lecture notes on advanced linear regression methods.

The Sampled Gaussian Mechanism's noise level decreases with larger subsampling rates, improving privacy-utility trade-offs.