English
Related papers

Related papers: Total orders realizable as the distances between t…

200 papers

We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table…

Logic in Computer Science · Computer Science 2015-07-01 Mingzhong Cai , Rodney G Downey , Rachel Epstein , Steffen Lempp , Joseph Miller

Define the map $\mathsf{T}$ on the positive integers by $\mathsf{T}(m)=\frac{m}{2}$ if $m$ is even and by $\mathsf{T}(m)=\frac{3m+1}{2}$ if $m$ is odd. Results of Terras and Everett imply that, given any $\epsilon>0$, almost all…

Dynamical Systems · Mathematics 2024-08-14 Manuel Inselmann

It is known that the theory of any class of normed spaces over the reals that includes all spaces of a given dimension d > 1 is undecidable, and indeed, admits a relative interpretation of second-order arithmetic. The notion of a normed…

Logic · Mathematics 2011-05-03 Rob Arthan

Two numbers $m$ and $n$ are considered amicable if the sum of their proper divisors, $s(n)$ and $s(m)$, satisfy $s(n) = m$ and $s(m) = n$. In 1981, Pomerance showed that the sum of the reciprocals of all such numbers, $P$, is a constant. We…

Number Theory · Mathematics 2011-01-04 Jonathan Bayless , Dominic Klyve

Let $\mathbb{F}_q$ be an arbitrary finite field, and $\mathcal{E}$ be a set of points in $\mathbb{F}_q^d$. Let $\Delta(\mathcal{E})$ be the set of distances determined by pairs of points in $\mathcal{E}$. By using the Kloosterman sums,…

Combinatorics · Mathematics 2020-07-31 Thang Pham , Le Anh Vinh

We show how the Riemannian distance on $\mathbb{S}^n_{++}$, the cone of $n\times n$ real symmetric or complex Hermitian positive definite matrices, may be used to naturally define a distance between two such matrices of different…

Numerical Analysis · Mathematics 2018-06-06 Lek-Heng Lim , Rodolphe Sepulchre , Ke Ye

We say a lattice point $X=(x_1,\ldots,x_m)$ is visible from the origin, if $\gcd(x_1,...,x_m)=1$. In other word, there are no other lattice point on the line segment from the origin $O$ to $X$. From J.E. Nymann's result, we know that the…

Number Theory · Mathematics 2016-11-03 Wataru Takeda

We show that for any set of reals X there is a subset Y such X and Y have same Lebesgue outer measure and the distance between any two distinct points in Y is irrational.

Logic · Mathematics 2012-07-23 Ashutosh Kumar

Let $V \subset \mathbb{R}$ be a finite set with $|V| = n $ and suppose we are given each pairwise distance independently with probability $p$. We show that if $p = (1+\epsilon)/n$, for some fixed $\epsilon >0$, then we can reconstruct a…

Combinatorics · Mathematics 2026-02-27 Julien Portier

The set of all m-tuples of compatible full conditional distributions on discrete random variables is an algebraic set whose defining ideal is a unimodular toric ideal. We identify the defining polynomials of these ideals with closed walks…

Algebraic Geometry · Mathematics 2007-06-13 Aleksandra B Slavkovic , Seth Sullivant

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

Functional Analysis · Mathematics 2026-03-24 Vladyslav Babenko , Vira Babenko , Oleg Kovalenko

We construct non-isomorphic linear orders X and Y that are both left-hand and right-hand divisors of one another, answering positively a question of Sierpinski.

Logic · Mathematics 2018-10-26 Garrett Ervin

For a given set of intervals on the real line, we consider the problem of ordering the intervals with the goal of minimizing an objective function that depends on the exposed interval pieces (that is, the pieces that are not covered by…

Data Structures and Algorithms · Computer Science 2011-12-05 Christoph Dürr , Maurice Queyranne , Frits C. R. Spieksma , Fabrice Talla Nobibon , Gerhard J. Woeginger

We consider T(x), a tensor of arbitrary rank that is symmetric in all of its indices and conserved in the sense that the divergence on any one index vanishes. Our conjecture is that all integral moments of this tensor will vanish if the…

Mathematical Physics · Physics 2013-07-12 Charles Schwartz

This paper describes a new link between combinatorial number theory and geometry. The main result states that A is a finite set of relatively prime positive integers if and only if A = (K-K) \cap N, where K is a compact set of real numbers…

Number Theory · Mathematics 2017-10-16 Melvyn B. Nathanson

For each natural number $m\ge 3$, let $P_m(x)$ denote the generalized $m$-gonal number $\frac{(m-2)x^2-(m-4)x}{2}$ with $x\in\mathbb{Z}$. In this paper, with the help of the congruence theta function, we establish conditions on $a$, $b$,…

Number Theory · Mathematics 2018-06-11 Hai-Liang Wu , Hao Pan

In this paper we shall give a short proof of the result originally obtained by Ashutosh Kumar that for each $A\subset \mathbb{R}$ there exists $B\subset A$ full in $A$ such that no distance between two distinct points from $B$ is rational.…

General Topology · Mathematics 2019-07-23 Marcin Michalski

We consider a problem posed by Erd\H{o}s, Herzog and Piranian on the maximum product of distances of a point set of order $n$ with a given diameter. We prove that it is sufficient to consider convex polygons and obtain results on the…

Combinatorics · Mathematics 2026-03-10 Stijn Cambie , Arne Decadt , Yanni Dong , Tao Hu , Quanyu Tang

For a given real number $\alpha$, let us place the fractional parts of the points $0, \alpha, 2 \alpha,$ $ \cdots, (N-1) \alpha$ on the unit circle. These points partition the unit circle into intervals having at most three lengths, one…

Number Theory · Mathematics 2018-06-08 Valérie Berthé , Dong Han Kim

Let $U_0,U_1$ be two normal measures on $\kappa .$ We say that $U_0$ is in the Mitchell ordering less then $U_1,$ $U_0\vartriangleleft U_1,$ if $U_0 \in Ult(V,U_1) .$ The ordering is well-known to be transitive and well-founded. It has been…

Logic · Mathematics 2009-09-25 Jiří Witzany