Related papers: Positive Robinson theories and h-maximal models
Simplicity is a powerful inductive bias. In reinforcement learning, regularization is used for simpler policies, data augmentation for simpler representations, and sparse reward functions for simpler objectives, all that, with the…
We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in…
In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…
Assuming unitarity, locality, causality, and Lorentz invariance of the, otherwise unknown, UV completion, we derive a new set of constraints on the effective field theory coefficients for the most general, ghost-free Generalized Proca and…
We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We…
We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order logic is its capacity to define positive connectives from the…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
Gregory McColm conjectured that positive elementary inductions are bounded in a class K of finite structures if every (FO + LFP) formula is equivalent to a first-order formula in K. Here (FO + LFP) is the extension of first-order logic with…
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
In this paper we present a general theory of $\Pi_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $\Pi_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness…
We introduce $\Theta$-positivity, a new notion of positivity in real semisimple Lie groups. The notion of $\Theta$-positivity generalizes at the same time Lusztig's total positivity in split real Lie groups as well as well known concepts of…
The authors defined in "$h^1\ne h_1$ for Anderson t-motives" the notion of an affine equation associated to a t-motive $M$. Here we define two systems of affine equations associated to a t-motive $M$, used for calculation of $H^1(M)$ and…
We consider closure properties in the class of positively decreasing distributions. Our results stem from different types of dependence, but each type belongs in the family of asymptotically independent dependence structure. Namely we…
"Intrinsic motivation" refers to the capacity for intelligent systems to be motivated endogenously, i.e. by features of agential architecture itself rather than by learned associations between action and reward. This paper views active…
In this paper, the technique of foliations in characteristic $p$ is used to investigate the difference between rational connectedness and separable rational connectedness in positive characteristic. The notion of being freely rationally…
In this paper, we explore connections between interpretable machine learning and learning theory through the lens of local approximation explanations. First, we tackle the traditional problem of performance generalization and bound the…
In this paper we investigate certain systems of propositional intuitionistic modal logic defined semantically in terms of neighborhood structures. We discuss various restrictions imposed on those frames but our constant approach is to…
We study the class $\mathcal{M}_{\mathrm{ratio}}$ of those probability distributions for which the free $R$-transforms are rational functions. This class is closed under the additive free convolution, additive free powers and under the…