Related papers: Note as to size-minimal hypercompletly separating …

A split of a polytope is a (necessarily regular) subdivision with exactly two maximal cells. A polytope is totally splittable if each triangulation (without additional vertices) is a common refinement of splits. This paper establishes a…

Let $p$ be a prime number. A saturated fusion system $\mathcal{F}$ on a finite $p$-group $S$ is said to be supersolvable if there is a series $1 = S_0 \le S_1 \le \dots \le S_m = S$ of subgroups of $S$ such that $S_i$ is strongly…

We investigate the separable states $\r$ of an arbitrary multipartite quantum system with Hilbert space $\cH$ of dimensionin $d$. The length $L(\r)$ of $\r$ is defined as the smallest number of pure product states having $\r$ as their…

Three intersection theorems are proved. First, we determine the size of the largest set system, where the system of the pairwise unions is l-intersecting. Then we investigate set systems where the union of any s sets intersect the union of…

If $S$ is a discrete semigroup, then $\beta S$ has a natural, left-topological semigroup structure extending $S$. Under some very mild conditions, $U(S)$, the set of uniform ultrafilters on $S$, is a two-sided ideal of $\beta S$, and…

For a set $A$ of $k$ elements from an additive abelian group $G$ and a positive integer $r \leq k$, we consider the set of elements of $G$ that can be written as a sum of $h$ elements of $A$ with at least $r$ distinct elements. We denote…

Let $M$ be a complex manifold. We prove that a compact submanifold $S\subset M$ with splitting tangent sequence (called a splitting submanifold) is rational homogeneous when $M$ is in a large class of rational homogeneous spaces of Picard…

We completely characterize the finite dimensional subsets A of any separable Hilbert space for which the notion of A-hypercyclicity coincides with the notion of hypercyclicity, where an operator T on a topological vector space X is said to…

We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a…

An exchange ring $R$ is separative provided that for all finitely generated projective right $R$-modules $A$ and $B$, $A\oplus A\cong A\oplus B\cong B\oplus B\Longrightarrow A\cong B$. Let $R$ be a separative exchange ring in which $2$ is…

We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that…

We can generalize the definition of {\it splitting number } $s(\kappa )$ for $\kappa$ uncountable regular: $s(\kappa )=min\{ |\Cal S|:\Cal S\subset \Cal P(\kappa ) \forall a\in \kappa ^\kappa \exists b\in \Cal S |a\cap b|=|a\setminus…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

Let $A\subseteq \mathbb{Z}_{\geq 0}$ be a finite set with minimum element $0$, maximum element $m$, and $\ell$ elements strictly in between. Write $(hA)^{(t)}$ for the set of integers that can be written in at least $t$ ways as a sum of $h$…

By a recent result of Juh\'{a}sz and van Mill, a locally compact topological group whose dense subspaces are all separable is metrizable. In this note we investigate the following question: is every locally compact group having all dense…

If a partition of a lattice in R^d is selfsimilar, it is called lattice substitution system (LSS). Such sets represent nonperiodic, but highly ordered structures. An important property of such structures is, whether they are model sets or…

The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…

Recently, G\'{o}rska, Lema\'{n}czyk, and de la Rue characterized the class of automorphisms disjoint from all ergodic automorphisms. Inspired by their work, we provide several characterizations of systems that are disjoint from all minimal…

Here we characterize regular and completely regular ordered semigroups by their minimal bi-ideals. A minimal bi-ideal is expressed as a product of a minimal right ideal and a minimal left ideal. Furthermore, we show that every bi-ideal in a…

A proper elementary extension of a model is called small if it realizes no new types over any finite set in the base model. We answer a question of Marker, and show that it is possible to have an o-minimal structure with a maximal small…