Related papers: Computing the Invariant Circle and its Stable Mani…
We have found an infinite dimensional manifold of exact solutions of the Navier-Stokes loop equation for the Wilson loop in decaying Turbulence in arbitrary dimension $d >2$. This solution family is equivalent to a fractal curve in complex…
An accurate algorithm is proposed to improve the prediction of a particle in collision with a moving wall within the direct simulation Monte Carlo (DSMC) framework for the simulation of unsteady rarefied flows. This algorithm is able to…
The celebrated De Giorgi-Nash-Moser theory ensures that solutions to uniformly elliptic or parabolic PDEs are bounded and H\"older continuous, even with merely bounded measurable coefficients. For parabolic SPDEs with transport noise,…
A fundamental shortcoming of the concept of Nash equilibrium is its computational intractability: approximating Nash equilibria in normal-form games is PPAD-hard. In this paper, inspired by the ideas of smoothed analysis, we introduce a…
Dual decomposition provides a tractable framework for designing algorithms for finding the most probable (MAP) configuration in graphical models. However, for many real-world inference problems, the typical decomposition has a large…
We introduce an efficient algorithm for the computation of the $W_3$ invariant of general unitary maps, which converges rapidly even on coarse discretization grids. The algorithm does not require extensive manipulation of the unitary maps,…
Zero-sum games arise in a wide variety of problems, including robust optimization and adversarial learning. However, algorithms deployed for finding a local Nash equilibrium in these games often converge to non-Nash stationary points. This…
A quantum algorithm for approximating efficiently 3--manifold topological invariants in the framework of SU(2) Chern-Simons-Witten (CSW) topological quantum field theory at finite values of the coupling constant k is provided. The model of…
We discuss the efficient implementation of a high-performance second-order collocation-type finite-element scheme for solving the compressible Euler equations of gas dynamics on unstructured meshes. The solver is based on the convex…
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…
Typical multispecies compressible Navier-Stokes computations employ conservative equations for mass fraction transport. Upwind discretisations of these governing equations produce spurious pressure oscillations at diffuse contact surfaces…
In this work, we propose a second-order accurate scheme for shallow water equations in general covariant coordinates over manifolds. In particular, the covariant parametrization in general covariant coordinates is induced by the metric…
Kaczmarz method is one popular iterative method for solving inverse problems, especially in computed tomography. Recently, it was established that a randomized version of the method enjoys an exponential convergence for well-posed problems,…
We study robust convex quadratic programs where the uncertain problem parameters can contain both continuous and integer components. Under the natural boundedness assumption on the uncertainty set, we show that the generic problems are…
Uncertainty estimation is critical for numerous applications of deep neural networks and draws growing attention from researchers. Here, we demonstrate an uncertainty quantification approach for deep neural networks used in inverse problems…
We propose a novel method for the direct numerical simulation of interfacial flows involving large density contrasts, using a Volume-of-Fluid method. We employ the conservative formulation of the incompressible Navier-Stokes equations for…
We are concerned with the vortex sheet solutions for the inviscid two-phase flow in two dimensions. In particular, the nonlinear stability and existence of compressible vortex sheet solutions under small perturbations are established by…
We develop an estimator-based stochastic fixed-point framework for approximately computing the 2-Wasserstein barycenter of continuous, non-parametric probability measures. Notably, we provide the first rigorous convergence analysis for…
In this paper, we propose and analyze a fast two-point gradient algorithm for solving nonlinear ill-posed problems, which is based on the sequential subspace optimization method. A complete convergence analysis is provided under the…
While convergence of polynomial chaos approximation for linear equations is relatively well understood, a lot less is known for non-linear equations. The paper investigates this convergence for a particular equation with quadratic…