Related papers: Differentiation of sets - The general case

Many real applications problems can be encoded easily as quantified formulas in SMT. However, this simplicity comes at the cost of difficulty during solving by SMT solvers. Different strategies and quantifier instantiation techniques have…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

In this paper we provide a classification theorem for 1-dimensional boundaries of groups with isolated flats. Given a group $\Gamma$ acting geometrically on a $CAT(0)$ space $X$ with isolated flats and 1-dimensional boundary, we show that…

In this paper, we obtain the central limit theorem of Hecke eigenvalues in very general setting of split simple algebraic groups over $\mathbb{Q}$, using irreducible characters of compact Lie groups.

This paper introduces the extended set difference, a generalization of the Hukuhara and generalized Hukuhara differences, defined for compact convex sets in $\mathbb{R}^d$. The proposed difference guarantees existence for any pair of such…

Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…

Bounds on the log partition function are important in a variety of contexts, including approximate inference, model fitting, decision theory, and large deviations analysis. We introduce a new class of upper bounds on the log partition…

We present new and improved non-asymptotic deviation bounds for Dirichlet processes (DPs), formulated using the Kullback-Leibler (KL) divergence, which is known for its optimal characterization of the asymptotic behavior of DPs. Our method…

In this paper, we use tools from rate-distortion theory to establish new upper bounds on the generalization error of statistical distributed learning algorithms. Specifically, there are $K$ clients whose individually chosen models are…

We present a study of generalization for data-dependent hypothesis sets. We give a general learning guarantee for data-dependent hypothesis sets based on a notion of transductive Rademacher complexity. Our main result is a generalization…

Multivariate Bessel processes are classified via associated root systems and positive multiplicity constants. They describe the dynamics of interacting particle systems of Calogero-Moser-Sutherland type. Recently, Andraus, Katori, and…

We prove a functional limit theorem in a space of analytic functions for the random Dirichlet series $D(\alpha;z)=\sum_{n\geq 2}(\log n)^{\alpha}(\eta_n+{\rm i} \theta_n)/n^z$, properly scaled and normalized, where…

Let $k$ be a field of arbitrary characteristic. Nakai (1978) proved a structure theorem for $k$-domains admitting a nontrivial locally finite iterative higher derivation when $k$ is algebraically closed. In this paper, we generalize Nakai's…

We produce a series of Central Limit Theorems (CLTs) associated to compact metric measure spaces $(K,d,\eta)$, with $\eta$ a reasonable probability measure. For the first CLT, we can ignore $\eta$ by isometrically embedding $K$ into…

We present a new advancement in the sum and difference of sets problem, which improves upon recent results by both DeepMind's AlphaEvolve ($\theta = 1.1584$) and subsequent explicit constructions ($\theta = 1.173050$). In this work, we…

The Shapley-Folkman theorem shows that Minkowski averages of uniformly bounded sets tend to be convex when the number of terms in the sum becomes much larger than the ambient dimension. In optimization, Aubin and Ekeland [1976] show that…

Consider d uniformly random permutation matrices on n labels. Consider the sum of these matrices along with their transposes. The total can be interpreted as the adjacency matrix of a random regular graph of degree 2d on n vertices. We…

This paper introduces a new concept of stochastic dependence among many random variables which we call conditional neighborhood dependence (CND). Suppose that there are a set of random variables and a set of sigma algebras where both sets…

We consider the evolution of sets by nonlocal mean curvature and we discuss the preservation along the flow of two geometric properties, which are the mean convexity and the outward minimality. The main tools in our analysis are the level…

We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…