Related papers: Invariance of Ideal Limit Points

In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $, each $ I $-small $ \Sigma_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed…

The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or…

A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $\delta_{\mathcal{F}}(I)$ and $\delta_{\mathcal{N}}(I)$ have the same $f$-vector, where $\delta_{\mathcal{F}}(I)$ ($\delta_{\mathcal{N}}(I)$, respectively) is the facet…

Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…

In spite of the Lebesgue density theorem, there is a positive $\delta$ such that, for every non-trivial measurable set $S$ of real numbers, there is a point at which both the lower densities of $S$ and of the complement of $S$ are at least…

Let S=K[x_1,...,x_n] be a polynomial ring. Denote by $p_a$ the power sum symmetric polynomial x_1^a+...+x_n^a. We consider the following two questions: Describe the subsets $A \subset \mathbb{N}$ such that the set of polynomials $p_a$ with…

The invisibility graph $I(X)$ of a set $X \subseteq \mathbb{R}^d$ is a (possibly infinite) graph whose vertices are the points of $X$ and two vertices are connected by an edge if and only if the straight-line segment connecting the two…

We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the…

We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of…

We study the meet irreducible ideals in certain direct limit algebras, namely the strongly maximal triangular subalgebras of AF C*-algebras. These ideals have a description in terms of the coordinates, or spectrum, that is a natural…

In this paper we continue our research on the concept of liken. This notion has been defined as a sequence of non-negative real numbers, tending to infinity and closed with respect to addition in $\mathbb{R}$. The most important examples of…

We consider the multigraded Hilbert scheme corresponding to the Hilbert function of a finite number of points in general position in a smooth projective complex toric variety. We develop several criteria for a point of that parameter space…

A central limit theorem for arrays of symmetric row-wise exchangeable random variables is presented. The result is valid for finite and infinite extendable and non-extendable sequences. Unlike most reported versions of the central limit…

Let (X,d,p) be a pointed metric space. A pretangent space to X at p is a metric space consisting of some equivalence classes of convergent to p sequences (x_n), x_n \in X, whose degree of convergence is comparable with a given scaling…

We present a new relation between an invariant of singularities in characteristic zero (the log canonical threshold) and an invariant of singularities defined via the Frobenius morphism in positive characteristic (the F-pure threshold). We…

The concept of a uniform set is introduced for an ergodic, measure-preserving transformation on a non-atomic, infinite Lebesgue space. The uniform sets exist as much as they generate the underlying $\sigma$-algebra. This leads to the result…

Let $n$ be a positive integer. A collection $\cal S$ of subsets of $[n]=\{1,\ldots,n\}$ is called {\it symmetric} if $X\in {\cal S}$ implies $X^\ast\in {\cal S}$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$. We show that in each of the…

Let $X$ be a projective Frobenius split variety over an algebraically closed field with splitting $\theta : F_* \O_X \to \O_X$. In this paper we give a sharp bound on the number of subvarieties of $X$ compatibly split by $\theta$. In…

We prove a strong form of the equivalence of ensembles for the invariant measures of zero range processes conditioned to a supercritical density of particles. It is known that in this case there is a single site that accomodates a…

Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$. Given a permutation $\sigma=\sigma_1\sigma_2 \cdots \sigma_n \in S_n$, we say it has a peak at index $i$ if $\sigma_{i-1}<\sigma_i>\sigma_{i+1}$. Let $\text{Peak}(\sigma)$ be…