Related papers: Characterizing Direct Product Testing via Cobounda…
Existing methods for verifying access control policies require the policy to be complete and fully determined before verification can proceed, but in practice policies are developed iteratively, composed from independently maintained…
We give a complete characterization of compact sets with positive reach (=proximally $C^1$ sets) in the plane and of one-dimensional sets with positive reach in ${\mathbb R}^d$. Further, we prove that if $\emptyset \neq A\subset{\mathbb…
Debiased machine learning (DML) offers an attractive way to estimate treatment effects in observational settings, where identification of causal parameters requires a conditional independence or unconfoundedness assumption, since it allows…
Let $X$ be a Banach space and $\mu$ a probability measure. A set $K \subseteq L^1(\mu,X)$ is said to be a $\delta\mathcal{S}$-set if it is uniformly integrable and for every $\delta>0$ there is a weakly compact set $W \subseteq X$ such that…
We review Quasi Maximum Likelihood estimation of factor models for high-dimensional panels of time series. We consider two cases: (1) estimation when no dynamic model for the factors is specified (Bai and Li, 2012, 2016); (2) estimation…
Consider the expected query complexity of computing the $k$-fold direct product $f^{\otimes k}$ of a function $f$ to error $\varepsilon$ with respect to a distribution $\mu^k$. One strategy is to sequentially compute each of the $k$ copies…
Integrating functions on discrete domains into neural networks is key to developing their capability to reason about discrete objects. But, discrete domains are (1) not naturally amenable to gradient-based optimization, and (2) incompatible…
In this paper we develop a duality theory for all finite-dimensional near-vector spaces and introduce a notion of inner product tailored to the broad and natural class of strongly regular near-vector spaces. This generalized construction…
Let X be a Hilbert bimodule over a C*-algebra A and $O_X= A \rtimes_X \Z$. Using a finite section method we construct a sequence of completely positive contractions factoring through matrix algebras over A which act on $s_{\xi} s_{\eta}^*$…
Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this…
A multivariate distribution function F is in the max-domain of attraction of an extreme value distribution if and only if this is true for the copula corresponding to F and its univariate margins. Aulbach et al. (2012a) have shown that a…
We begin by introducing a class of conditional density estimators based on local polynomial techniques. The estimators are boundary adaptive and easy to implement. We then study the (pointwise and) uniform statistical properties of the…
Property Directed Reachability (\textsc{Pdr}), also known as IC3, is a state-of-the-art model checking algorithm widely used for verifying safety properties. While \textsc{Pdr} is effective in finding inductive invariants, its underlying…
We present a theory for simultaneous approximation of the score function and its derivatives, enabling the handling of data distributions with low-dimensional structure and unbounded support. Our approximation error bounds match those in…
We expose a strong connection between good $2$-query locally testable codes (LTCs) and high dimensional expanders. Here, an LTC is called good if it has constant rate and linear distance. Our emphasis in this work is on LTCs testable with…
The generation of certifiable randomness is the most fundamental information-theoretic task that meaningfully separates quantum devices from their classical counterparts. We propose a protocol for exponential certified randomness expansion…
We investigate the statistical task of closeness (or equivalence) testing for multidimensional distributions. Specifically, given sample access to two unknown distributions $\mathbf p, \mathbf q$ on $\mathbb R^d$, we want to distinguish…
We derive the probability distribution of product of two independent random variables, each distributed according the one-dimensional stable law. We represent the density by its power series and its asymptotic expansions. As Fox's…
Orderability, weak orderability and the existence of continuous weak selections on filter spaces (i.e., spaces with a single non-isolated point) and their products are discussed. We prove that a closed continuous image X of a suborderable…
In this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in [Li et al., Phys. Rev. A $\mathbf{87}$, 020302(R) (2013)]. This method allows to lower-bound, with…