Related papers: Effective Disjunction and Effective Interpolation …
In this paper we consider multidimensional stochastic differential equations (SDEs) with discontinuous drift and possibly degenerate diffusion coefficient. We prove an existence and uniqueness result for this class of SDEs and we present a…
A number of key scientific computing applications that are based upon tensor-product grid constructions, such as numerical weather prediction (NWP) and combustion simulations, require property-preserving interpolation. Essentially…
We study the robust interpolation problem of arbitrary data distributions supported on a bounded space and propose a two-fold law of robustness. Robust interpolation refers to the problem of interpolating $n$ noisy training data points in…
Ensuring the safety and efficiency of AI systems is a central goal of modern research. Formal verification provides guarantees of neural network robustness, while early exits improve inference efficiency by enabling intermediate…
We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is…
The striking success of the Standard Model in explaining precision data and, at the same time, its lack of explanations for various fundamental phenomena, such as dark matter or the baryon asymmetry of the universe, suggests new physics at…
We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…
We study a one-dimensional system of two-component fermions in the limit of strong attractive particle-particle interactions. First, we analyze scattering in the corresponding few-body problem, which is analytically solvable via Bethe…
Deep learning-based computer vision systems adopt complex and large architectures to improve performance, yet they face challenges in deployment on resource-constrained mobile and edge devices. To address this issue, model compression…
Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalent transformations of…
An effective-medium theory (EMT) is developed to predict the effective permittivity \epsilon_eff of dense random dispersions of high optical-conductivity metals such as Ag, Au and Cu. Dependence of \epsilon_eff on the volume fraction \phi,…
Given two testable properties $\mathcal{P}_{1}$ and $\mathcal{P}_{2}$, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study of these basic set-theoretic…
Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence…
The phenomena of induced transparency, with the typical examples of electromagnetically induced transparency (EIT) in atomic media and those based on coupled optical resonators, have attracted tremendous interest since their discoveries.…
Effective Field Theory (EFT) provides a powerful framework that exploits a separation of scales in physical systems to perform systematically improvable, model-independent calculations. Particularly interesting are few-body systems with…
We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erd\"os similarity…
Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$…
We prove the strong converse for the $N$-source Gaussian multiple access channel (MAC). In particular, we show that any rate tuple that can be supported by a sequence of codes with asymptotic average error probability less than one must lie…
A compact set $E\subset {\Bbb R}^d$ is said to be arithmetically thick if there exists a positive integer $n$ so that the $n$-fold arithmetic sum of $E$ has non-empty interior. We prove the arithmetic thickness of $E$, if $E$ is uniformly…
In order to clarify the high-$T_c$ mechanism in inhomogeneous cuprate layer superconductors, we deduce and find the correlation strength not revealed before, contributing to the formation of the Cooper pair and the 2-D density of state, and…