Related papers: A note on sets avoiding rational distances in cate…
A k-gap is a finite k-sequence of pairwise disjoint monotone families of infinite subsets of N mixed in such a way that we cannot find a partition of N such that each family is trival on one piece of the partition. We prove that, relative…
In this paper, we define the spaces with a regular base at non-isolated points and discuss some metrization theorems. We firstly show that a space $X$ is a metrizable space, if and only if $X$ is a regular space with a $\sigma$-locally…
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…
It is widely believed that point sets in the plane which determine few distinct distances must have some special structure. In particular, such sets are believed to be similar to a lattice. This note considers two different ways to quantify…
Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…
We give a systematic method of providing numerical evidence for higher order Stark-type conjectures such as (in chronological order) Stark's conjecture over $\mathbb{Q}$, Rubin's conjecture, Popescu's conjecture, and a conjecture due to…
We extend an earlier result by Dan Abramovich, showing that a conjecture of S. Lang's implies the existence of a uniform bound on the number of $K$-rational points over all smooth curves of genus $g$ defined over $K$, where $K$ is any…
We prove that, for every fixed $\theta_0>0$, selecting a subset of prescribed cardinality that maximizes the Solow--Polasky diversity indicator is NP-hard for finite point sets in $\mathbb{R}^2$ with the Euclidean metric, and therefore also…
For a given ring (domain) in $\overline{\mathbb{R}}^n$ we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all $n\ge 3\,,$ the…
We show that for every integer $m > 0$, there is an ordinary abelian variety over ${\mathbb F}_2$ that has exactly $m$ rational points.
A celebrated 1969 theorem of Michael Rabin is that the MSO theory of the real order where the monadic quantifier is allowed only to range over the sets of rational numbers, is decidable. In 1975 Saharon Shelah proved that if the monadic…
Let $\mathcal O$ be a holomorphy ring in a global field $K$, and $R$ a classical maximal $\mathcal O$-order in a central simple algebra over $K$. We study sets of lengths of factorizations of cancellative elements of $R$ into atoms…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
Given a continuous linear cocycle A over a homeomorphism f of a compact metric space X, we investigate its set R of Lyapunov-Perron regular points, that is, the collection of trajectories of f that obey the conclusions of the Multiplicative…
In this paper, we explore the concept of Mutually Unbiased Bases (MUBs) in discrete quantum systems. It is known that for dimensions $d$ that are powers of prime numbers, there exists a set of up to $d+1$ bases that form an MUB set.…
The notions of a proper dyadic subbase and an independent subbase was introduced by H. Tsuiki to investigate in {0, 1, bot}-sequence codings of topological spaces. We show that every separable metrizable space has a proper dyadic subbase…
Let $\mathcal{R}=(R,\oplus,\leq,0)$ be an algebraic structure, where $\oplus$ is a commutative binary operation with identity $0$, and $\leq$ is a translation-invariant total order with least element $0$. Given a distinguished subset…
We consider finite point subsets (distributions) in compact metric spaces. Non-trivial bounds for sums of distances between points of distributions and for discrepancies of distributions in metric balls are given in the case of general…
We consider finite point subsets (distributions) in compact metric spaces. In the case of general rectifiable metric spaces, non-trivial bounds for sums of distances between points of distributions and for discrepancies of distributions in…
The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…