Related papers: Irrational self-similar sets

We extend the scope of analytic combinatorics to classes containing objects that have irrational sizes. The generating function for such a class is a power series that admits irrational exponents (which we call a Ribenboim series). A…

We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over…

Let $S,T$ be two numerical semigroups. We study when $S$ is one half of $T$, with $T$ almost symmetric. If we assume that the type of $T$, $t(T)$, is odd, then for any $S$ there exist infinitely many such $T$ and we prove that $1 \leq t(T)…

In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational…

In order to study the structure of arbitrary split Leibniz triple systems, we introduce the class of split Leibniz triple systems as the natural extension of the class of split Lie triple systems and split Leibniz algebras. By developing…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null…

Let s and k be integers with s \geq 2 and k \geq 2. Let g_k^{(s)}(n) denote the cardinality of the largest subset of the set {1,2,..., n} that contains no geometric progression of length k whose common ratio is a power of s. Let r_k(\ell)…

Let $k_0$ be a field of characteristic $p>0$ and $k=k_0(t)$, where $t$ is transcendental over $k_0$. We give an example of a smooth connected unipotent $k$-group $G$ such that $G(F)/R$ is non-commutative for some finite separable field…

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X) denote the ideal of X in R[W] and let I_K(X) be the ideal generated by I(X)^K. We find necessary conditions and…

We show that every null-additive set is meager-additive, where: (1) a set X subseteq 2^omega is null-additive if for every Lebesgue null set A subseteq 2^omega, X+A is null too; (2) we say that X subseteq 2^omega is meager-additive if for…

Let $K_0(\mathcal{V}_{K})$ be the Grothendieck ring of varieties over a field $K$ of characteristic zero, and let $\mathbb{L} = [\mathbb{A}^1_{K}]$ denote the Lefschetz class. We prove that if a $K$-variety has $\mathbb{L}$-rational…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

Directly infinite algebras, those algebras, $E$ which have a pair of elements $x$ and $y$ where $1 = xy \neq yx$, are well known to have a sub-algebra isomorphic to $M_\infty(K)$, the set of infinite $\zplus \times \zplus$-indexed matrices…

In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.

A lower bound for the dimension of the $\Q$-vector space spanned by special values of a Dirichlet series with periodic coefficients is given. As a corollary, it is deduced that both special values at even integers and at odd integers…

If $L$ is a relational language, then an $L$-structure ${\mathbb X}=\langle X,\bar \rho \rangle$ is reversible iff there is no interpretation $\bar \sigma \varsubsetneq \bar \rho$ such that the structures $\langle X,\bar \sigma \rangle$ and…

It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following…

For a positive integer $N$ and $\mathbb{A}$ a subset of $\mathbb{Q}$, let $\mathbb{A}$-$\mathcal{KS}(N)$ denote the set of $\alpha=\dfrac{\alpha_{1}}{\alpha_{2}}\in \mathbb{A}\setminus \{0,N\}$ verifying $\alpha_{2}r-\alpha_{1}$ divides…

For a field K and directed graph E, we analyze those elements of the Leavitt path algebra L_K(E) which lie in the commutator subspace [L_K(E), L_K(E)]. This analysis allows us to give easily computable necessary and sufficient conditions to…