相关论文: Uniformity results on the Baire property
We extend the study of \emph{melonic} quartic tensor models to models with arbitrary quartic interactions. This extension requires a new version of the loop vertex expansion using several species of intermediate fields and iterated…
We study Borel systems and continuous systems of measures, with a focus on mapping properties: compositions, liftings, fibred products and disintegration. Parts of the theory we develop can be derived from known work in the literature, and…
A Borel set $B \subset \mathbb{R}^{n}$ is visible from $x \in \mathbb{R}^{n}$, if the radial projection of $B$ with base point $x$ has positive $\mathcal{H}^{n - 1}$ measure. I prove that if $\dim B > n - 1$, then $B$ is visible from every…
We prove that if $(\varphi_n)_{n=0}^\infty, \; \varphi_0 \equiv 1, $ is a basis in the space of entire functions of $d$ complex variables, $d\geq 1,$ then for every compact $K\subset \mathbb{C}^d$ there is a compact $K_1 \supset K$ such…
In this note, we show that if a Banach space X has a predual, then every bounded linear operator on X with a continuous functional calculus admits a bounded Borel functional calculus. A consequence of this is that on such a Banach space,…
Various measures can be used to estimate bias or unfairness in a predictor. Previous work has already established that some of these measures are incompatible with each other. Here we show that, when groups differ in prevalence of the…
The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects…
A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…
We study the problem of completely automatically verifying uninterpreted programs---programs that work over arbitrary data models that provide an interpretation for the constants, functions and relations the program uses. The verification…
It is shown that quasi all continuous functions on the unit circle have the property that, for many small subsets E of the circle, the partial sums of their Fourier series considered as functions restricted to E exhibit certain universality…
We present a new approach to the global fairness verification of tree-based classifiers. Given a tree-based classifier and a set of sensitive features potentially leading to discrimination, our analysis synthesizes sufficient conditions for…
The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for…
The problem of sequential probability forecasting is considered in the most general setting: a model set C is given, and it is required to predict as well as possible if any of the measures (environments) in C is chosen to generate the…
Since the end of the XIXth century, we know that each birational map of the complex projective plane is the product of a finite number of quadratic birational maps of the projective plane; this motivates our work which essentially deals…
In this paper we provide solutions of the Harrington problem (along with a few generalizations) proposed in a book Analytic Sets. The original problem asks if for arbitrary sequence of continuous functions from \( \R^\omega \) to a fixed…
Real-world applications of machine learning tools in high-stakes domains are often regulated to be fair, in the sense that the predicted target should satisfy some quantitative notion of parity with respect to a protected attribute.…
Many natural program correctness properties can be stated in terms of symmetries, but existing formal methods have little support for reasoning about such properties. We consider how to formally verify a broad class of symmetry properties…
In this paper I give an evaluation of a functional integral by means of a series in functional derivatives, first of all we propose a differential equation of first order and solve it by iterative methods, to obtain a series for the…
In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…