Related papers: Testing the regularity of a smooth signal
Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness to natural language. Furthermore, STL specifications can be encoded as…
A univariate continuous function can always be decomposed as the sum of a non-increasing function and a non-decreasing one. Based on this property, we propose a non-parametric regression method that combines two spline-fitted monotone…
We study distribution-free nonparametric regression following a notion of average smoothness initiated by Ashlagi et al. (2021), which measures the "effective" smoothness of a function with respect to an arbitrary unknown underlying…
Recent work has highlighted the centrality of smooth calibration [Kakade and Foster, 2008] as a robust measure of calibration error. We generalize, unify, and extend previous results on smooth calibration, both as a robust calibration…
We prove that if $\Om \subseteq \R^2$ is bounded and $\R^2 \setminus \Om$ satisfies suitable structural assumptions (for example it has a countable number of connected components), then $W^{1,2}(\Om)$ is dense in $W^{1,p}(\Om)$ for every…
Smoothing is widely used approach for measurement noise reduction in spectral analysis. However, it suffers from signal distortion caused by peak suppression. A locally self-adjustive smoothing method is developed that retains sharp peaks…
This paper considers the problem of testing the equality of two unspecified distributions. The classical omnibus tests such as the Kolmogorov-Smirnov and Cram\`er-von Mises are known to suffer from low power against essentially all but…
Sliding motion is evolution on a switching manifold of a discontinuous, piecewise-smooth system of ordinary differential equations. In this paper we quantitatively study the effects of small-amplitude, additive, white Gaussian noise on…
We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance {\delta} from a given input function. The result is achieved by establishing a connection between discrete Morse…
A full understanding of the behavior of a large language model (LLM) requires our grasp of its input token space. If this space differs from our assumptions, our comprehension of and conclusions about the LLM will likely be flawed. We…
We are interested in the ``smoothest'' averaging that can be achieved by convolving functions $f \in \ell^2(\mathbb{Z})$ with an averaging function $u$. More precisely, suppose $u:\{-n, \ldots, n\} \to \mathbb{R}$ is a symmetric function…
We show that wave maps from Minkowski space $R^{1+n}$ to a sphere are globally smooth if the initial data is smooth and has small norm in the critical Sobolev space $\dot H^{n/2}$ in the high dimensional case $n \geq 5$. A major difficulty,…
For a regular (in a sense) mapping $v:\mathbb{R}^n \to \mathbb{R}^d$ we study the following problem: {\sl let $S$ be a subset of $m$-critical a set $\tilde Z_{v,m}=\{{\rm rank} \nabla v\le m\}$ and the equality $\mathcal{H}^\tau(S)=0$ (or…
In this paper, we investigate the limiting dynamics of invariant measures of the stochastic Landau-Lifshitz-Bloch equation driven by the Stratonovich noise defined on the entire space $\R^2$. We first prove the set of all invariant measures…
We study the Hardy inequality when the singularity is placed on the boundary of a bounded domain in $\mathbb{R}^n$ that satisfies both an interior and exterior ball condition at the singularity. We obtain the sharp Hardy constant $n^2/4$ in…
We aim to showcase the wide applicability and power of the big pieces and suppression methods in the theory of local $Tb$ theorems. The setting is new: we consider conical square functions with cones $\{x \in \mathbb{R}^n \setminus E: |x-y|…
The problem of testing equality of the entire second order structure of two independent functional linear processes is considered. A fully functional $L^2$-type test is developed which evaluates, over all frequencies, the Hilbert-Schmidt…
In the surface defect detection, there are some suspicious regions that cannot be uniquely classified as abnormal or normal. The annotating of suspicious regions is easily affected by factors such as workers' emotional fluctuations and…
The study of provable adversarial robustness has mostly been limited to classification tasks and models with one-dimensional real-valued outputs. We extend the scope of certifiable robustness to problems with more general and structured…
A stochastic linear transport equation with multiplicative noise is considered and the question of no-blow-up is investigated. The drift is assumed only integrable to a certain power. Opposite to the deterministic case where smooth initial…