English
Related papers

Related papers: New coins from old, smoothly

200 papers

Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a B\"{u}chi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph…

Logic in Computer Science · Computer Science 2023-06-22 Alexi Block Gorman , Philipp Hieronymi , Elliot Kaplan , Ruoyu Meng , Erik Walsberg , Zihe Wang , Ziqin Xiong , Hongru Yang

Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Set $H_0:=H_1\cap H_2\cap...\cap H_n$ and let $P_k$ be the orthogonal projection onto $H_k$, $k=0,1,...,n$. The paper is devoted to the study of functions…

Functional Analysis · Mathematics 2019-08-02 Ivan Feshchenko

Many practical problems need the output of a machine learning model to satisfy a set of constraints, $K$. Nevertheless, there is no known guarantee that classical neural network architectures can exactly encode constraints while…

Machine Learning · Computer Science 2022-02-10 Anastasis Kratsios , Behnoosh Zamanlooy , Tianlin Liu , Ivan Dokmanić

Suppose $1 < p < \infty$. Carleson's Theorem states that the Fourier series of any function in $L^p[-\pi, \pi]$ converges almost everywhere. We show that the Schnorr random points are precisely those that satisfy this theorem for every $f…

Logic · Mathematics 2016-03-16 Johanna Franklin , Timothy McNicholl , Jason Rute

Let $f: \mathbb{N} \to \mathbb{C}$ be a multiplicative function for which $$ \sum_{p : \, |f(p)| \neq 1} \frac{1}{p} = \infty. $$ We show under this condition alone that for any integer $h \neq 0$ the set $$ \{n \in \mathbb{N} : f(n) =…

Number Theory · Mathematics 2024-11-05 Alexander P. Mangerel

Let $f_1, f_2, ..., f_n$ be a family of independent copies of a given random variable f in a probability space $(\Omega, \mathcal{F}, \mu)$. Then, the following equivalence of norms holds whenever $1 \le q \le p < \infty$…

Operator Algebras · Mathematics 2007-07-30 Marius Junge , Javier Parcet

The study of semifeasible algorithms was initiated by Selman's work a quarter of century ago [Sel79,Sel81,Sel82]. Informally put, this research stream studies the power of those sets L for which there is a deterministic (or in some cases,…

Computational Complexity · Computer Science 2007-05-23 Piotr Faliszewski , Lane A. Hemaspaandra

For every positive integer N and every $\alpha\in [0,1)$, let $B(N, \alpha)$ denote the probabilistic model in which a random set $A\subset \{1,\dots,N\}$ is constructed by choosing independently every element of $\{1,\dots,N\}$ with…

Number Theory · Mathematics 2020-05-15 Daniele Mastrostefano

The counterfeit coin problem requires us to find all false coins from a given bunch of coins using a balance scale. We assume that the balance scale gives us only ``balanced'' or ``tilted'' information and that we know the number k of false…

Quantum Physics · Physics 2013-12-05 Kazuo Iwama , Harumichi Nishimura , Rudy Raymond , Junichi Teruyama

This paper concerns algorithms that give correct answers with (asymptotic) density $1$. A dense description of a function $g : \omega \to \omega$ is a partial function $f$ on $\omega$ such that $\left\{n : f(n) = g(n)\right\}$ has density…

Logic · Mathematics 2018-11-20 Eric P. Astor , Denis R. Hirschfeldt , Carl G. Jockusch

A function $f : \mathbb{F}_2^n \to \mathbb{R}$ is $s$-sparse if it has at most $s$ non-zero Fourier coefficients. Motivated by applications to fast sparse Fourier transforms over $\mathbb{F}_2^n$, we study efficient algorithms for the…

Data Structures and Algorithms · Computer Science 2019-10-15 Grigory Yaroslavtsev , Samson Zhou

Let $S$ be a dense subring of the real numbers. In this paper we prove a polynomial version of Van der Waerden's theorem near zero. In fact, we prove that if $p_1,\ldots,p_m \in \mathbb{Z}[x]$ are polynomials such that $p_i(0) = 0$ and…

Combinatorics · Mathematics 2025-08-13 Ghadir Ghadimi , Mohammad Akbari Tootkaboni

We describe a curious dynamical system that results in sequences of real numbers in $[0,1]$ with seemingly remarkable properties. Let the function $f:\mathbb{T} \rightarrow \mathbb{R}$ satisfy $\hat{f}(k) \geq c|k|^{-2}$ and define a…

Classical Analysis and ODEs · Mathematics 2020-04-08 Louis Brown , Stefan Steinerberger

In this article, we consider the $c$-dispersion problem in a metric space $(X,d)$. Let $P=\{p_{1}, p_{2}, \ldots, p_{n}\}$ be a set of $n$ points in a metric space $(X,d)$. For each point $p \in P$ and $S \subseteq P$, we define…

Computational Geometry · Computer Science 2021-06-10 Pawan K. Mishra , Gautam K. Das

Consider a real-valued function that can only be observed with stochastic noise at a finite set of design points within a Euclidean space. We wish to determine whether there exists a convex function that goes through the true function…

Other Statistics · Statistics 2018-07-30 Nanjing Jian , Shane G. Henderson

This article examines the value distribution of $S_{N}(f, \alpha) := \sum_{n=1}^N f(n\alpha)$ for almost every $\alpha$ where $N \in \mathbb{N}$ is ranging over a long interval and $f$ is a $1$-periodic function with discontinuities or…

Number Theory · Mathematics 2023-11-02 Lorenz Frühwirth , Manuel Hauke

Let $f$ be a $C^{2+\epsilon}$ expanding map of the circle and $v$ be a $C^{1+\epsilon}$ real function of the circle. Consider the twisted cohomological equation $v(x) = \alpha (f(x)) - Df(x) \alpha (x)$ which has a unique bounded solution…

Dynamical Systems · Mathematics 2020-01-22 Amanda de Lima , Daniel Smania

Factorisation of integers $n$ is of number theoretic and cryptographic significance. The Number Field Sieve (NFS) introduced circa 1990, is still the state of the art algorithm, but no rigorous proof that it halts or generates relationships…

Number Theory · Mathematics 2018-05-24 Jonathan Lee , Ramarathnam Venkatesan

Given a function $f$ on the vertex set of some graph $G$, a scenery, let a simple random walk run over the graph and produce a sequence of values. Is it possible to, with high probability, reconstruct the scenery $f$ from this random…

Combinatorics · Mathematics 2020-09-04 Peter van Hintum

Let $f$ be a real-valued $1$-bounded multiplicative function. Suppose that the mean-value of $f^{2}$ exists, and $$\int_{0}^{1} \Big | \sum_{n \leq N} f(n)e^{2\pi i n \alpha} \Big | d \alpha\leq N^{o(1)}$$ as $N \rightarrow \infty$, then…

Number Theory · Mathematics 2025-10-24 Mayank Pandey , Maksym Radziwiłł