Related papers: Rich families and elementary submodels
G. Godefroy and the second author of this note proved in 1988 that in duals to Asplund spaces there always exists a projectional resolution of the identity. A few years later, Ch. Stegall succeeded to drop from the original proof a deep…
We prove that a strengthened form of the local Langlands conjecture is valid throughout the principal series of any connected split reductive $p$-adic group. The method of proof is to establish the presence of a very simple geometric…
A ring $R$ is an elementary divisor ring if every matrix over $R$ admits a diagonal reduction. We further explore various stable like conditions on a bezout duo-domain under which it is an elementary divisor domain. Many known results are…
Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.
Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…
For neural models to garner widespread public trust and ensure fairness, we must have human-intelligible explanations for their predictions. Recently, an increasing number of works focus on explaining the predictions of neural models in…
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a…
In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…
Minimization of suitable statistical distances~(between the data and model densities) has proved to be a very useful technique in the field of robust inference. Apart from the class of $\phi$-divergences of \cite{a} and \cite{b}, the…
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper details some of the steps of this transformation.
Inference amortization methods share information across multiple posterior-inference problems, allowing each to be carried out more efficiently. Generally, they require the inversion of the dependency structure in the generative model, as…
In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…
When the base ring is not a field, power reductivity of a group scheme is a basic notion, intimately tied with finite generation of subrings of invariants. Geometric reductivity is weaker and less pertinent in this context. We give a survey…
A homogeneous family of subsets over a given set is one with a very ``rich'' automorphism group. We prove the existence of a bi-universal element in the class of homogeneous families over a given infinite set and give an explicit…
We prove that finite sets of real numbers satisfying $|AA| \leq |A|^{1+\epsilon}$ with sufficiently small $\epsilon > 0$ cannot have small additive bases nor can they be written as a set of sums $B+C$ with $|B|, |C| \geq 2$. The result can…
$\aleph_1$-free groups, abelian groups for which every countable subgroup is free, exhibit a number of interesting algebraic and set-theoretic properties. In this paper, we give a complete proof that the property of being $\aleph_1$-free is…
We study the arithmetic structure of the exceptional set of projections. For any bounded subset $E\subset \mathbb{R}^d$, let $$ \Omega=\{\xi\in \mathbb{R}: \dim_B(E+\xi E)=\dim_B E\}. $$ We prove that either $\Omega=\{0\}$ or $\Omega$ is a…
We generalize a result of Serre's to show that if every vertex of some fixed type of a convex subcomplex of an irreducible spherical building has an opposite, then the subcomplex is completely reducible.
The problem of selecting a small, yet high quality subset of patterns from a larger collection of itemsets has recently attracted lot of research. Here we discuss an approach to this problem using the notion of decomposable families of…