Related papers: A characterization of covering equivalence
In this paper, we study a class $\mathcal{A}(\lambda ,n,m)$ of self-similar sets with $m$ exact overlaps generated by $n$ similitudes of the same ratio $ \lambda $. We obtain a necessary condition for a self-similar set in…
One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…
For a pair of finite relational structures $(\mathfrak{A},\mathfrak{B})$ such that $\mathfrak{A}$ homomorphically maps to $\mathfrak{B}$ we denote by $K_{(\mathfrak{A},\mathfrak{B})}$ the following statement: for all structures…
We show that every Fell bundle B over a locally compact group G is "proper" in a sense recently introduced by Ng. Combining our results with those of Ng we show that if B satisfies the "approximation property" then it is amenable in the…
We prove that octants are cover-decomposable into multiple coverings, i.e., for any k there is an m(k) such that any m(k)-fold covering of any subset of the space with a finite number of translates of a given octant can be decomposed into k…
It is conjectured that for every convex disks K, the translative covering density of K and the lattice covering density of K are identical. It is well known that this conjecture is true for every centrally symmetric convex disks. For the…
Given a class C of word languages, the C-separation problem asks for an algorithm that, given as input two regular languages, decides whether there exists a third language in C containing the first language, while being disjoint from the…
We give a simple characterization of all perfectoid profinite \'{e}tale covers of abelian varieties in terms of the Hodge-Tate filtration on the $p$-adic Tate module. We also compute the geometric Sen morphism for all profinite $p$-adic Lie…
The symmetric difference in Boolean lattices can be defined in two different but equivalent forms. However, it can be introduced also in every bounded lattice with complementation where these two forms need not coincide. We study lattices…
We prove the following ``symmetric analogue'' of Lov\'asz's estimate (1975): if an $r$-partite hypergraph of rank $r\geqslant2$ has a cover of cardinality $n<\infty$, then it admits a cover of cardinality at most $nr/2$, which is invariant…
Several authors have studied the filtered colimit closure lim(B) of a class B of finitely presented modules. Lenzing called lim(B) the category of modules with support in B, and proved that it is equivalent to the category of flat objects…
We prove that a motivic equivalence of objects of the form \begin{equation*} X/(X-x)\simeq X^\prime/(X^\prime-x^\prime) \end{equation*} in $\mathbf{H}^\bullet(B)$ or $\mathbf{DM}(B)$ over a scheme $B$, where $x$ and $x^\prime$ are closed…
We prove a general congruence result for bisimilarity in higher-order languages, which generalises previous work to languages specified by a labelled transition system in which programs may occur as labels, and which may rely on operations…
For a domain $G$ in the one-point compactification $\overline{\mathbb{R}}^n = \mathbb{R}^n \cup \{ \infty\}$ of $\mathbb{R}^n, n \ge 2$, we characterize the completeness of the modulus metric $\mu_G$ in terms of a potential-theoretic…
Suppose $\rho_1, \rho_2$ are two $\ell$-adic Galois representations of the absolute Galois group of a number field, such that the algebraic monodromy group of one of the representations is connected and the representations are locally…
In the study of aperiodic order and mathematical models of quasicrystals, questions regarding equivalence relations on Delone sets naturally arise. This work is dedicated to the bounded displacement (BD) equivalence relation, and especially…
A positive integer n is called a covering number if there are some distinct divisors n_1,...,n_k of n greater than one and some integers a_1,...,a_k such that Z is the union of the residue classes a_1(mod n_1),...,a_k(mod n_k). A covering…
The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p…
This note sketches the extension of the basic characterisation theorems as the bisimulation-invariant fragment of first-order logic to modal logic with graded modalities and matching adaptation of bisimulation. We focus on showing…
We study rack and quandle coverings from a universal algebraic viewpoint and we show how they can be understood using the notion of strongly abelian congruences. We provide an abstract characterization of several particular types of…