Related papers: Effective infinitesimals in R
This paper is a contribution to the growing investigation of strong reducibilities between $\Pi^1_2$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several…
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sound with respect to certain systems of infinitary…
These lectures aim to provide a pedagogical introduction to the philosophical underpinnings and technical features of Effective Field Theory (EFT). Improving control of $S$-matrix elements in the presence of a large hierarchy of physical…
Ill-founded (or non-wellfounded) proof systems have emerged as a natural framework for inductive and coinductive reasoning. In such systems, soundness relies on global correctness criteria, such as the progressivity condition. Ensuring that…
We introduce the notion of consistent error bound functions which provides a unifying framework for error bounds for multiple convex sets. This framework goes beyond the classical Lipschitzian and H\"olderian error bounds and includes…
Combinatorial optimization assumes that all parameters of the optimization problem, e.g. the weights in the objective function is fixed. Often, these weights are mere estimates and increasingly machine learning techniques are used to for…
Let $\mathcal C= \{k_1<k_2 < \cdots\}$ be Cantor set of integers, that is a set of integers with restricted digits modulo a base $b$, and suppose $0$ is one of the restricted digits. We show that $$ \liminf_N \Expectation_{n\in [N]} m(A\cap…
We derive the conservative dynamics of non-spinning binaries to third Post-Minkowskian order, using the Effective Field Theory (EFT) approach introduced in [2006.01184] together with the Boundary-to-Bound dictionary developed in…
We prove sharp Landau- and Schottky-type theorems for analytic functions which omit the $n$-th roots of unity. The proofs are based on a sharp lower bound for the Poincar\'e metric of the complex plane punctured at the roots of unity.
This is a survey on recent developments on unimodality, log-concavity and real-rootedness in combinatorics. Stanley and Brenti have written extensive surveys of various techniques that can be used to prove real-rootedness, log-concavity or…
We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement…
In this paper, the concept of coderivatives at infinity of set-valued mappings is introduced. Well-posedness properties at infinity of set-valued mappings as well as Mordukhovich's criterion at infinity are established. Fermat's rule at…
Soft Collinear Effective Theory (SCET) is an effective field theory of Quantum Chromodynamics (QCD) for processes where there are energetic, nearly lightlike degrees of freedom interacting with one another via soft radiation. SCET has found…
Neural networks (NNs) are now routinely implemented on systems that must operate in uncertain environments, but the tools for formally analyzing how this uncertainty propagates to NN outputs are not yet commonplace. Computing tight bounds…
In this paper, we investigate arithmetical completeness with respect to finite Kripke models of quantified modal logic. We adapt the finite-model embedding techniques of Artemov and Japaridze to two settings involving finite Kripke models.…
Recent works have shown explainability and robustness are two crucial ingredients of trustworthy and reliable text classification. However, previous works usually address one of two aspects: i) how to extract accurate rationales for…
In this paper, locally Lipschitz, regular functions are utilized to identify and remove infeasible directions from set-valued maps that define differential inclusions. The resulting reduced set-valued map is point-wise smaller (in the sense…
This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what…
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design,…
This paper points out that rational inattention is a nested regularized optimal transport problem. We use entropic optimal transport to establish the main results in Matejka and McKay (2015) and Caplin, Dean, and Leahy (2019) and extend…