Related papers: Effective infinitesimals in R
In "Extensional realizability for intuitionistic set theory", we introduced an extensional variant of generic realizability, where realizers act extensionally on realizers, and showed that this form of realizability provides "inner" models…
There is recent interest in compressing data sets for non-sequential settings, where lack of obvious orderings on their data space, require notions of data equivalences to be considered. For example, Varshney & Goyal (DCC, 2006) considered…
We discuss shallow resonances in the nonrelativistic scattering of two particles using an effective field theory (EFT) that includes an auxiliary field with the quantum numbers of the resonance. We construct the manifestly renormalized…
Optimization under uncertainty and risk is indispensable in many practical situations. Our paper addresses stability of optimization problems using composite risk functionals which are subjected to measure perturbations. Our main focus is…
In these proceedings, we discuss the recent approach of Ref. [1] for the construction of compact Ans\"atze for scattering amplitudes. The method builds powerful constraints on the analytic structure of the rational functions in amplitudes…
This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $\widehat{\mathrm{ID}}{}_{1}^{\mathrm{i}}$, over Heyting arithmetic (HA), originally proved in full generality by Arai…
The notions of fractal and essentially fractal algebras of approximation sequences and of the Arveson dichotomy have proved extremely useful for several spectral approximation problems. The purpose of this short note is threefold: to…
An important characteristic of many logics for Artificial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequences. There may, however, exist formulae that can always be…
Schinzel and W\'ojcik have shown that if $\alpha, \beta$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(\alpha)=\mathrm{ord}_p(\beta)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in…
In Part 1 of this paper, we have estimated the Fr\'echet coderivative and the Mordukhovich coderivative of the stationary point set map of a smooth parametric optimization problem with one smooth functional constraint under total…
We recently developed an Effective Field Theory (EFT) for rotational bands in odd-mass nuclei. Here we use EFT expressions to perform a Bayesian analysis of data on the rotational energy levels of $^{99}$Tc, ${}^{155,157}$Gd, ${}^{159}$Dy,…
We study the problem of deciding whether a point escapes a closed subset of $\mathbb{R}^d$ under the iteration of a continuous map $f \colon \mathbb{R}^d \to \mathbb{R}^d$ in the bit-model of real computation. We give a sound partial…
We explore the issue of providing a foundational framework for Leibnizian infinitesimals in the light of modern standard and nonstandard approaches. We outline a trichotomy of ordinals, cardinals and ringinals as a historiographic tool. A…
In this follow-up article to [Shadow poles in the alternative parametrization of R-matrix theory, Ducru (2020)], we establish new results on scattering matrix pole expansions for complex wavenumbers in R-matrix theory. In the past, two…
Enrico Bombieri showed conditionally (1994) that the ABC conjecture implies Roth's theorem, and Van Frankenhuysen (1999) later provided a complete proof. Building on Bombieri's and Van der Poorten's explicit formula for continued-fraction…
We use soft-collinear effective theory (SCET) to study the factorization properties of deep inelastic scattering in the region of phase space where 1-x = O(Lambda_{QCD/Q}). By applying a regions analysis to loop diagrams in the Breit frame,…
This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category of small maps and obtained the result that such categories…
We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…
Effective Field Theory (EFT) stands as a cornerstone in modern theoretical physics, offering a powerful framework for describing the dynamics of physical systems across a wide range of energy scales. This article provides an in-depth…
We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…