Related papers: The primal framework. II. Smoothness

We study endomorphisms of a free group of finite rank by means of their action on specific sets of elements. In particular, we prove that every endomorphism of the free group of rank 2 which preserves an automorphic orbit (i.e., acts ``like…

In order to provide a good categorical setting to the many different spaces of fields arising in the description of physical theories, a pedagogical introduction to the categorical notion of smooth sets is provided and some simple…

The pipeline of a fair ML practitioner is generally divided into three phases: 1) Selecting a fairness measure. 2) Choosing a model that minimizes this measure. 3) Maximizing the model's performance on the data. In the context of group…

In this article, we focus on a new perspective of automorphisms of complex 2-tori, reviewing previous works from a lattice-theoretic point of view. In particular, we give a classification of families of symplectic and non-symplectic…

We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of L. We obtain various complexity classification theorems for…

In this paper, we study the notion of smooth $\infty$-categories within the framework of a six-functor formalism. By leveraging the theory of condensed mathematics and analytic stacks, we apply these results to demonstrate that a rigid…

Training foundation models on extensive datasets and then finetuning them on specific tasks has emerged as the mainstream approach in artificial intelligence. However, the model robustness, which is a critical aspect for safety, is often…

We propose a new first-order primal-dual optimization framework for a convex optimization template with broad applications. Our optimization algorithms feature optimal convergence guarantees under a variety of common structure assumptions…

In this paper, we introduce the concepts of strongly 2-absorbing primary ideals (resp., submodules) and strongly 2-absorbing ideals (resp., submodules) as generalizations of strongly prime ideals. Furthermore, we investigate some basic…

We turn the definition of individual fairness on its head---rather than ascertaining the fairness of a model given a predetermined metric, we find a metric for a given model that satisfies individual fairness. This can facilitate the…

Complexity is an interdisciplinary concept which, first of all, addresses the question of how order emerges out of randomness. For many reasons matrices provide a very practical and powerful tool in approaching and quantifying the related…

We provide a general, homotopy-theoretic definition of string group models within an $\infty$-category of smooth spaces, and we present new smooth models for the string group. Here, a smooth space is a presheaf of $\infty$-groupoids on the…

For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…

We study a class of conditional independence models for discrete data with the property that one or more log-linear interactions are defined within two different marginal distributions and then constrained to 0; all the conditional…

In [10] the third author of this paper presented two conjectures on the additive decomposability of the sequence of ''smooth'' (or ''friable'') numbers. Elsholtz and Harper [4] proved (by using sieve methods) the second (less demanding)…

This note discusses the paper "Penalising model component complexity" by Simpson et al. (2017). While we acknowledge the highly novel approach to prior construction and commend the authors for setting new-encompassing principles that will…

We introduce "anamorphic" cosmology, an approach for explaining the smoothness and flatness of the universe on large scales and the generation of a nearly scale-invariant spectrum of adiabatic density perturbations. The defining feature is…

We introduce a hierarchy of fast-growing complexity classes and show its suitability for completeness statements of many non elementary problems. This hierarchy allows the classification of many decision problems with a non-elementary…

This article is the second part in the series of articles where we are developing theory of valuations on manifolds. Roughly speaking valuations could be thought as finitely additive measures on a class of nice subsets of a manifold which…

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures)…