相关论文: Grilliot's trick in Nonstandard Analysis
We consider functionals of long-range dependent Gaussian sequences with infinite variance and obtain nonstandard limit theorems. When the long-range dependence is strong enough, the limit is a Hermite process, while for weaker long-range…
The Gumbel trick is a method to sample from a discrete probability distribution, or to estimate its normalizing partition function. The method relies on repeatedly applying a random perturbation to the distribution in a particular way, each…
We analyze a finite-difference approximation of a functional of Ambrosio-Tortorelli type in brittle fracture, in the discrete-to-continuum limit. In a suitable regime between the competing scales, namely if the discretization step $\delta$…
We introduce a variant of the replica trick within the nonlinear sigma model that allows calculating the distribution function of the persistent current. In the diffusive regime, a Gaussian distribution is derived. This result holds in the…
We will give an elementary nonstandard proof that the family of generalized blancmange functions are nowhere differentiable. The proof follows from the intuitive characterization of differentiability at a point as almost $\delta$ affine…
Recently, a number of formal systems for Nonstandard Analysis restricted to the language of finite types, i.e. nonstandard arithmetic, have been proposed. We single out one particular system by Dinis-Gaspar, which is categorised by the…
Transient algebra is a multi-valued algebra for hazard detection in gate circuits. Sequences of alternating 0's and 1's, called transients, represent signal values, and gates are modeled by extensions of boolean functions to transients.…
The aim of this paper is to evidence two points relative to Nonstandard analysis (NSA): 1. In most applications of NSA to analysis, only elementary facts and techniques of nonstandard calculus seems to be necessary. 2. The advantages of a…
We present a new version of the stochastic sewing lemma, capable of handling multiple discontinuous control functions. This is then used to develop a theory of rough stochastic analysis in a c\`adl\`ag setting. In particular, we define…
Using a recent alternative to Tarskian semantics for first-order logic, known as $\textit{possibility semantics}$, I introduce an alternative approach to nonstandard analysis that remains within the bounds of \textit{semi-constructive}…
We propose a new model of computation based on nonstandard analysis. Intuitively, the role of "algorithm" is played by a new notion of finite procedure, called Omega-invariance and inspired by physics, from nonstandard analysis. Moreover,…
The purpose of these notes is to give a categorical semantics for the transpension type (Nuyts and Devriese, Transpension: The Right Adjoint to the Pi-type, Accepted at LMCS, 2024), which is right adjoint to a potentially substructural…
We derive a Hoare-Floyd logic for non-local jumps and mutable higher-order procedural variables from a formul{\ae}-as-types notion of control for classical logic. The main contribution of this work is the design of an imperative dependent…
Transfer learning has emerged as a highly sought-after and actively pursued research area within the statistical community. The core concept of transfer learning involves leveraging insights and information from auxiliary datasets to…
The Whitney extension theorem is a classical result in analysis giving a necessary and sufficient condition for a function defined on a closed set to be extendable to the whole space with a given class of regularity. It has been adapted to…
The abstract version of Struwe's monotonicity trick developed by Jeanjean and Jeanjean-Toland for functionals depending on a real parameter is improved, under suitable assumptions. Besides, all the machinery is extended to the case of…
Outlier detection is a major topic in robust statistics due to the high practical significance of anomalous observations. Many existing methods are, however, either parametric or cease to perform well when the data is far from linearly…
A lower semicontinuity result and a relaxation formula for free discontinuity functionals with non-standard growth in the bulk energy are provided. Our analysis is based on a non-trivial adaptation of the blow-up (Ambrosio 1994) and of the…
The problem of sums of independent, identically distributed random variables with stretched-exponential tails exhibits a dynamical phase transition and has recently reemerged in the context of active transport and condensation phenomena. We…
In view of training increasingly complex learning architectures, we establish a nonsmooth implicit function theorem with an operational calculus. Our result applies to most practical problems (i.e., definable problems) provided that a…