arXiv research

Solves initial value problem for harmonic maps on specific manifolds.

Solves initial boundary value problem for vacuum Einstein equations and proves geometric uniqueness.

Fenrir uses probabilistic numerics to simplify solving initial value problems.

Geometrically interpolates rigid body motions with initial and terminal twists.

This article, written to appear as a chapter in "The Springer Handbook of Spacetime", is a review of the initial value problem for Einstein's gravitational field theory in general relativity. Designed to be accessible to graduate students who have taken a first course in general relativity, the article first discusses …

New boundary conditions improve Hamiltonian analysis in GR.

Proves spacetime positive mass theorem for spin initial data sets with arbitrary ends.

Constructs Lie-Rinehart algebra for Einstein's equations.

Proof of local well-posedness for a specific boundary condition in general relativity.

We study the problem of inviscid slightly compressible fluids in a bounded domain. We find a unique solution to the initial-boundary value problem and show that it is near the analogous solution for an incompressible fluid provided the initial conditions for the two problems are close. In particular, the divergence of …

Study proves convergence of quantized geodesics to Mabuchi geodesics.

Neural IVP solves IVPs with neural networks, overcoming scaling and conditioning issues.

Like many numerical methods, solvers for initial value problems (IVPs) on ordinary differential equations estimate an analytically intractable quantity, using the results of tractable computations as inputs. This structure is closely connected to the notion of inference on latent variables in statistics. We describe a …

Proves well-posedness for Einstein equations with totally geodesic timelike boundary condition.

The paper tackles fVaR prediction methods in finance.

Study geometric equations on cohomogeneity one manifolds near singular orbits.

Under weak regularity assumptions, only, we develop a fully geometric theory of vacuum Einstein spacetimes with T2 symmetry, establish the global well-posedness of the initial value problem for Einstein's field equations, and investigate the global causal structure of the constructed spacetimes. Our weak regularity ass…

New method for initializing low-rank neural networks improves performance.

Global implicit function theorem for Fréchet spaces, solving derivative loss problems.

The dominant energy condition imposes a restriction on initial value pairs found on a spacelike hypersurface of a Lorentzian manifold. In this article, we study the space of initial values that satisfy this condition strictly. To this aim, we introduce an index difference for initial value pairs and compare it to its c…

Residual Network (ResNet) is the state-of-the-art architecture that realizes successful training of really deep neural network. It is also known that good weight initialization of neural network avoids problem of vanishing/exploding gradients. In this paper, simplified models of ResNets are analyzed. We argue that good…

Proves rigidity for specific initial data sets under the dominant energy condition.

We present new results concerning the solvability, of lack thereof, in the Cauchy problem for the debar operator, with initial values assigned on a weakly pseudoconvex hypersurface, and provide illustrative examples.

A classical problem in general relativity is the Cauchy problem for the linearised Einstein equation (the initial value problem for gravitational waves) on a globally hyperbolic vacuum spacetime. A well-known result is that it is uniquely solvable up to gauge solutions, given initial data on a spacelike Cauchy hypersur…

Phase retrieval refers to the problem of recovering real- or complex-valued vectors from magnitude measurements. The best-known algorithms for this problem are iterative in nature and rely on so-called spectral initializers that provide accurate initialization vectors. We propose a novel class of estimators suitable fo…

GD with large init shows incremental learning in matrix factorization.

The paper examines the neural tangent kernel for PINNs solving general PDEs and finds convergence conditions.

A fundamental problem in differential geometry is to characterize intrinsic metrics on a two-dimensional Riemannian manifold ${\mathcal M}^2$ which can be realized as isometric immersions into $\R^3$. This problem can be formulated as initial and/or boundary value problems for a system of nonlinear partial differential…

Establishes existence of maximal globally hyperbolic development for Einstein equations.

This article addresses the question of involutiveness and discusses the initial value problem for a class of overdetermined systems of partial differential equations which arise in the theory of integrable systems and are defined by tableaux.

We solve Bartnik's stationary extension problem near Schwarzschild spheres.

We find necessary and sufficient conditions ensuring that the vacuum development of an initial data set of the Einstein's field equations admits a conformal Killing vector. We refer to these conditions as conformal Killing initial data (CKID) and they extend the well-known Killing initial data (KID) that have been know…

Consider a smooth manifold $M$. Let $G$ be a compact Lie group which acts on $M$ with cohomogeneity one. Let $Q$ be a singular orbit for this action. We study the gradient Ricci soliton equation $\Hess(u)+\Ric(g)+\fracε{2}g=0$ around $Q$. We show that there always exists a solution on a tubular neighbourhood of $Q$ for…

New sample complexity bounds for linear predictors and neural networks, focusing on initialization.

We prove local existence for the second order Renormalization Group flow initial value problem on closed Riemannian manifolds $(M,g)$ in general dimensions, for initial metrics whose sectional curvatures $K_P$ satisfy the condition $1+αK_P > 0$, at all points $p \in M$ and planes $P \subset T_p M$. This extends results…

We study the regularity properties of the value function associated with an affine optimal control problem with quadratic cost plus a potential, for a fixed final time and initial point. Without assuming any condition on singular minimizers, we prove that the value function is continuous on an open and dense subset of …

Sharp conditions found for solving heat equation on Riemannian manifolds.

In this paper, we consider the tensor completion problem representing the solution in the tensor train (TT) format. It is assumed that tensor is high-dimensional, and tensor values are generated by an unknown smooth function. The assumption allows us to develop an efficient initialization scheme based on Gaussian Proce…

The paper studies geometric flows of spacelike curves in Lorentz-Minkowski plane and proves their long-term behavior.

We study the global theory of linear wave equations for sections of vector bundles over globally hyperbolic Lorentz manifolds. We introduce spaces of finite energy sections and show well-posedness of the Cauchy problem in those spaces. These spaces depend in general on the choice of a time function but it turns out tha…

How initialization and loss function affect the learning of a deep neural network (DNN), specifically its generalization error, is an important problem in practice. In this work, by exploiting the linearity of DNN training dynamics in the NTK regime \citep{jacot2018neural,lee2019wide}, we provide an explicit and quanti…

We consider an optimal stopping problem where a constraint is placed on the distribution of the stopping time. Reformulating the problem in terms of so-called measure-valued martingales allows us to transform the marginal constraint into an initial condition and view the problem as a stochastic control problem; we esta…

We study the two-times differentiability of the value functions of the primal and dual optimization problems that appear in the setting of expected utility maximization in incomplete markets. We also study the differentiability of the solutions to these problems with respect to their initial values. We show that the ke…

To every Darboux integrable system there is an associated Lie group $G$ which is a fundamental invariant of the system and which we call the Vessiot group. This article shows that solving the Cauchy problem for a Darboux integrable partial differential equation can be reduced to solving an equation of Lie type for the …

A problem of paramount importance in both pure (Restricted Invertibility problem) and applied mathematics (Feature extraction) is the one of selecting a submatrix of a given matrix, such that this submatrix has its smallest singular value above a specified level. Such problems can be addressed using perturbation analys…

In this paper, we study the torsion flow which is served as the CR analogue of the Ricci flow in a closed pseudohermitian manifold. We show that there exists a unique smooth solution to the CR torsion flow in a small time interval with the CR pluriharmonic function as an initial data. In spirit, it is the CR analogue o…

Study of flat ribbons constructed along curves in 3D space.

Paper enhances RL policies using trust region optimization for offline data.