Related papers: The purity phenomenon for symmetric separated set-…

A composition of a nonnegative integer (n) is a sequence of positive integers whose sum is (n). A composition is palindromic if it is unchanged when its terms are read in reverse order. We provide a generating function for the number of…

A space $X$ is M-separable (selectively separable) (Scheepers, 1999; Bella et al., 2009) if for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and…

An element $x \in R$ is considered (strongly) nil-clean if it can be expressed as the sum of an idempotent $e \in R$ and a nilpotent $b \in R$ (where $eb = be$). If for any $x \in R$, there exists a unit $u \in R$ such that $ux$ is…

We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set…

Let $p_n$ be $n$th prime, and let $(S_n)_{n=1}^\infty:=(S_n)$ be the sequence of the sums of the first $2n$ consecutive primes, that is, $S_n=\sum_{k=1}^{2n}p_k$ with $n=1,2,\ldots$. Heuristic arguments supported by the corresponding…

A tie-point of a compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. Set-theoretically a tie-point of N* is an ultrafilter whose dual maximal ideal can be…

We fully develop the concept of causal symmetry introduced in Class. Quant. Grav. 20 (2003) L139. A causal symmetry is a transformation of a Lorentzian manifold (V,g) which maps every future-directed vector onto a future-directed vector. We…

Let $x \in \mathbb{R}$ be arbitrary and consider the `greedy' approximation of $x$ by signed harmonic sums: given $a_n = \sum_{k \leq n} \varepsilon_k/k$ with $\varepsilon_k \in \left\{-1,1\right\}$, we set $\varepsilon_{n+1} = 1$ if $a_n…

Many types of point singularity have a topological index, or 'charge', associated with them. For example the phase of a complex field depending on two variables can either increase or decrease on making a clockwise circuit around a simple…

We define a new congruence relation on the set of integers, leading to a group similar to the multiplicative group of integers modulo $n$. It makes use of a symmetry almost omnipresent in modular multiplications and halves the number of…

An expression $E(X_{1},...,X_{n})$ built using union, intersection, and complements is called inclusion-exclusion-like if, like the union in the exclusion-inclusion principle, there are constants $c_{1},c_{2},...,c_{n}$ so that for any…

Let $F_n$ be an $n$ by $n$ symmetric matrix whose entries are bounded by $n^{\gamma}$ for some $\gamma>0$. Consider a randomly perturbed matrix $M_n=F_n+X_n$, where $X_n$ is a random symmetric matrix whose upper diagonal entries $x_{ij}$…

We investigate the separability of arbitrary $n$-dimensional multipartite identical bosonic systems. An explicit relation between the dimension and the separability is presented. In particular, for $n=3$, it is shown that the property of…

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$:…

This is a report of a joint work with E. J\"arvenp\"a\"a, M. J\"arvenp\"a\"a, T. Rajala, S. Rogovin, and V. Suomala. In [3], we characterized uniformly porous sets in $s$-regular metric spaces in terms of regular sets by verifying that a…

Let $s(n)$ denote the number of ones in the binary expansion of the nonnegative integer $n$. How does $s$ behave under addition of a constant $t$? In order to study the differences \[s(n+t)-s(n),\] for all $n\ge0$, we consider the…

A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of…

For any set $X$, ${\mathcal P}(X)$ denotes the collection of all subsets of $X$, ordered by inclusion. A {\it cutset} in ${\mathcal P}(X)$ is a subset of ${\mathcal P}(X)$ which meets every maximal chain of ${\mathcal P}(X)$. A cutset is…

A condition for the presence of a "gap" between symmetric spaces sufficient for the inclusion of one of these spaces into the other to be disjointly strictly singular is found. This condition is stated in terms of fundamental functions of…

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of…