Related papers: Bi-Lipschitz Bijection between the Boolean Cube an…
We prove that any bi-Hamiltonian system $v = \left(\mathcal{A} + \lambda \mathcal{B}\right)dH_{\lambda}$ that is Hamiltonian with respect all Poisson brackets $\mathcal{A} + \lambda \mathcal{B}$ is locally bi-integrable in both the real…
In several classes of countable structures it is known that every hyperarithmetic structure has a computable presentation up to bi-embeddability. In this article we investigate the complexity of embeddings between bi-embeddable structures…
The bellows conjecture claims that the volume of any flexible polyhedron of dimension 3 or higher is constant during the flexion. The bellows conjecture was proved for flexible polyhedra in the Euclidean spaces of dimensions 3 and higher,…
We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean…
We improve the rate function of McDiarmid's inequality for Hamming distance. In particular, applying our result to the separately Lipschitz functions of independent random variables, we also refine the convergence rate function of…
We study bounded deviation of non-deterministic finite transducers under the Hamming distance: the bounded comparison problem asks, given two transducers and $k \in \mathbb{N}$, whether for every input the two transducers produce words at…
We consider the task of locally correcting, and locally list-correcting, multivariate linear functions over the domain $\{0,1\}^n$ over arbitrary fields and more generally Abelian groups. Such functions form error-correcting codes of…
The class P is in fact a proper sub-class of NP. We explore topological properties of the Hamming space 2^[n] where [n]={1, 2,..., n}. With the developed theory, we show: (i) a theorem that is closely related to Erdos and Rado's sunflower…
We investigate geometric properties of a metric measure space where every function in the Newton--Sobolev space $N^{1,\infty}(Z)$ has a Lipschitz representative. We prove that when the metric space is locally complete and the reference…
The problem of covering a region of the plane with a fixed number of minimum-radius identical balls is studied in the present work. An explicit construction of bi-Lipschitz mappings is provided to model small perturbations of the union of…
This paper is concerned with embeddings of homogeneous spaces into Euclidean spaces. We show that any homogeneous metric space can be embedded into a Hilbert space using an almost bi-Lipschitz mapping (bi-Lipschitz to within logarithmic…
To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…
We prove the elementary but surprising fact that the Hofer distance between two closed subsets of a symplectic manifold can be expressed in terms of the restrictions of Hamiltonians to one of the subsets; this helps explain certain…
A bidirectional ballot sequence (BBS) is a finite binary sequence with the property that every prefix and suffix contains strictly more ones than zeros. BBS's were introduced by Zhao, and independently by Bosquet-M{\'e}lou and Ponty as…
The Wasserstein distance received a lot of attention recently in the community of machine learning, especially for its principled way of comparing distributions. It has found numerous applications in several hard problems, such as domain…
Recently, [Phys. Rev. Lett. 130, 221501 (2023)] Jacobson and Visser calculated the quantum partition function of a fixed, finite volume of a region with the topology of a ball in the saddle point approximation within the context of…
We show that any primitive substitution tiling of the plane creates a separated net which is biLipschitz to the integer lattice. Then we show that if H is a primitive Pisot substitution in an Euclidean space, for every separated net Y, that…
The Schwartz-Zippel Lemma states that if a low-degree multivariate polynomial with coefficients in a field is not zero everywhere in the field, then it has few roots on every finite subcube of the field. This fundamental fact about…
We introduce an abstract definition of a Hamming space that generalizes standard Hamming spaces $( \mathbb{Z}/ 2 \mathbb{Z})^n $. We classify countable locally standard Hamming spaces and show that each of them can be realized as the…
We prove that any Besicovitch set in $\mathbb{R}^3$ must have Hausdorff dimension at least $5/2+\epsilon_0$ for some small constant $\epsilon_0>0$. This follows from a more general result about the volume of unions of tubes that satisfy the…