Related papers: Proof-Carrying No-Arbitrage Surfaces: Constructive…
We prove the stability of $Symp(X,\omega)\cap Diff_0(X)$ for a one-point blow-up of irrational ruled surfaces and study their topological colimit. Non-trivial generators of $\pi_0[Symp(X,\omega)\cap Diff_0(X)]$ that differ from Lagrangian…
We investigate the spectral properties of the Dirichlet Laplacian on large finite metric balls within irregular infinite graphs of quadratic volume growth. We consider an exhaustion $G_n = B_{R_n}(x_0)$ and the spectral zeta value $Z_n(1) =…
We study a nonconforming virtual element method (VEM) for advection-diffusion-reaction problems with continuous interior penalty (CIP) stabilization. The design of the method is based on a standard variational formulation of the problem (no…
Randomized smoothing is a popular way of providing robustness guarantees against adversarial attacks: randomly-smoothed functions have a universal Lipschitz-like bound, allowing for robustness certificates to be easily computed. In this…
Randomized smoothing is the dominant standard for provable defenses against adversarial examples. Nevertheless, this method has recently been proven to suffer from important information theoretic limitations. In this paper, we argue that…
Empirical potential structure refinement (EPSR) simulations are performed on total neutron scattering data from powder samples of polytetrafluoroethylene (PTFE) and polychlorotrifluoroethylene (PCTFE), both at 300K. For PTFE a number of…
Volatility smile and skewness are two key properties of option prices that are represented by the implied volatility (IV) surface. However, IV surface calibration through nonlinear interpolation is a complex problem due to several factors,…
Certifying safety for nonlinear systems with polytopic input constraints is challenging because CBF synthesis must ensure control admissibility under saturation. We propose an approximation--verification pipeline that performs convex…
In order to investigate the rheological properties of viscoelastic fluids by mesoscopic hydrodynamics methods, we develop a multi-particle collision dynamics (MPC) model for a fluid of harmonic dumbbells. The algorithm consists of…
We use existing 3D Discrete Element simulations of simple shear flows of spheres to evaluate the radial distribution function at contact that enables kinetic theory to correctly predict the pressure and the shear stress, for different…
Sensitivity-based robustness certification has emerged as a practical approach for certifying neural network robustness, including in settings that require verifiable guarantees. A key advantage of these methods is that certification is…
Reach-avoid analysis is fundamental to reasoning about the safety and goal-reaching behavior of dynamical systems, and serves as a foundation for specifying and verifying more complex control objectives. This paper introduces a reach-avoid…
In this article, we propose p and hp least-squares spectral element methods for one-dimensional elliptic boundary layer problems. Stability estimates are derived and we design numerical schemes based on minimizing the residuals in the sense…
In this work the shear viscosity $\eta$ and the diffusion coefficients of conserved charges $\kappa_{ij}$ with $i,j\in\{B,Q,S\}$ of hadronic matter are investigated within the hadronic transport approach SMASH. We systematically study the…
Recent work has exposed the vulnerability of computer vision models to vector field attacks. Due to the widespread usage of such models in safety-critical applications, it is crucial to quantify their robustness against such spatial…
We give a necessary and sufficient condition for the projectivisation of a slope semistable vector bundle to admit constant scalar curvature K\"ahler (cscK) metrics in adiabatic classes, when the base admits a constant scalar curvature…
The 1D Ising model is the simplest Hamiltonian-based model in statistical mechanics. The sim- plest interacting particle process is the Symmetric Exclusion Process (SEP), a 1D lattice gas of particles that hop symmetrically and cannot…
This paper develops certificates that propagate compatibility of multiple control barrier function (CBF) constraints from sampled vertices to their convex hull. Under mild concavity and affinity assumptions, we present three sufficient…
Motivated by the need to simultaneously guarantee safety and stability of safety-critical dynamical systems, we construct permissive barrier certificates in this paper that explicitly maximize the region where the system can be stabilized…
This paper studies consensus-based decentralized stochastic optimization for minimizing possibly non-convex expected objectives with convex non-smooth regularizers and nonlinear functional inequality constraints. We reformulate the…