English
Related papers

Related papers: A structure theorem for almost low-degree function…

200 papers

Slice analysis is a generalization of the theory of holomorphic functions of one complex variable to quaternions. Among the new phenomena which appear in this context, there is the fact that the convergence domain of…

Complex Variables · Mathematics 2021-01-26 Xinyuan Dou , Guangbin Ren , Irene Sabadini

We study the approximation capabilities of two families of univariate polynomials that arise in applications of quantum signal processing. Although approximation only in the domain $[0,1]$ is physically desired, these polynomial families…

Classical Analysis and ODEs · Mathematics 2022-04-11 Rahul Sarkar , Theodore J. Yoder

The degrees of polynomials representing or approximating Boolean functions are a prominent tool in various branches of complexity theory. Sherstov recently characterized the minimal degree deg_{\eps}(f) among all polynomials (over the…

Quantum Physics · Physics 2008-02-15 Ronald de Wolf

In this note, we prove that the following function space with absolutely convergent Fourier series \[ F_d:=\left\{ f\in L^2([0,1)^d)\:\middle| \: \|f\|:=\sum_{\boldsymbol{k}\in \mathbb{Z}^d}|\hat{f}(\boldsymbol{k})| \max\left(1,\min_{j\in…

Numerical Analysis · Mathematics 2023-06-28 Takashi Goda

We establish a Wiman-Valiron theory of a polynomial series based on the Askey-Wilson operator $\mathcal{D}_q$, where $q\in(0,1)$. For an entire function $f$ of log-order smaller than $2$, this theory includes (i) an estimate which shows…

Complex Variables · Mathematics 2020-09-04 Kam Hang Cheng , Yik-Man Chiang

In this report, we show that all n-variable Boolean function can be represented as polynomial threshold functions (PTF) with at most $0.75 \times 2^n$ non-zero integer coefficients and give an upper bound on the absolute value of these…

Discrete Mathematics · Computer Science 2020-07-07 Erhan Oztop , Minoru Asada

In [GW09a] we conjectured that uniformity of degree $k-1$ is sufficient to control an average over a family of linear forms if and only if the $k$th powers of these linear forms are linearly independent. In this paper we prove this…

Number Theory · Mathematics 2019-06-14 W. T. Gowers , J. Wolf

In this paper we prove a new version of Krein-Langer factorization theorem in the slice hyperholomorphic setting which is more general than the one proved in [D. Alpay, F. Colombo, I. Sabadini, Krein-Langer factorization and related topics…

Complex Variables · Mathematics 2014-06-27 Daniel Alpay , Fabrizio Colombo , Irene Sabadini

Using coherent-state techniques, we prove a sampling theorem for Majorana's (holomorphic) functions on the Riemann sphere and we provide an exact reconstruction formula as a convolution product of $N$ samples and a given reconstruction…

Mathematical Physics · Physics 2011-09-13 Manuel Calixto , Julio Guerrero , Juan Carlos Sánchez-Monreal

We study the complexity of approximate representation and learning of submodular functions over the uniform distribution on the Boolean hypercube $\{0,1\}^n$. Our main result is the following structural theorem: any submodular function is…

Machine Learning · Computer Science 2013-04-03 Vitaly Feldman , Pravesh Kothari , Jan Vondrak

We study the approximation of holomorphic functions of several complex variables by the ring $\mathcal{P}^S(\mathbb{C}^n)$ of polynomials whose exponents are restricted to a convex cone $\mathbb{R}_+S$ for some compact convex $S\in…

Complex Variables · Mathematics 2025-08-05 Álfheiður Edda Sigurðardóttir

We prove a new lower bound on the parity decision tree complexity $\mathsf{D}_{\oplus}(f)$ of a Boolean function $f$. Namely, granularity of the Boolean function $f$ is the smallest $k$ such that all Fourier coefficients of $f$ are integer…

Computational Complexity · Computer Science 2018-10-29 Anastasiya Chistopolskaya , Vladimir V. Podolskii

The Fourier coefficients F(t) of a function f on a compact symmetric space U/K are given by integration of f against matrix coefficients of irreducible representations of U. The coefficients depend on a spectral parameter t, which…

Representation Theory · Mathematics 2010-01-24 Gestur Olafsson , Henrik Schlichtkrull

We construct a Hilbert holomorphic function space $H$ on the unit disk such that the polynomials are dense in $H$, but the odd polynomials are not dense in the odd functions in $H$. As a consequence, there exists a function $f$ in $H$ that…

Functional Analysis · Mathematics 2020-07-01 Javad Mashreghi , Pierre-Olivier Parisé , Thomas Ransford

Consider $f:\Omega^n_K \to \mathbf{C}$ a function from the $n$-fold product of multiplicative cyclic groups of order $K$. Any such $f$ may be extended via its Fourier expansion to an analytic polynomial on the polytorus $\mathbf{T}^n$, and…

Classical Analysis and ODEs · Mathematics 2025-05-15 Joseph Slote , Alexander Volberg , Haonan Zhang

We consider the problem of computing the partition function $\sum_x e^{f(x)}$, where $f: \{-1, 1\}^n \longrightarrow {\Bbb R}$ is a quadratic or cubic polynomial on the Boolean cube $\{-1, 1\}^n$. In the case of a quadratic polynomial $f$,…

Probability · Mathematics 2021-07-01 Alexander Barvinok , Nicholas Barvinok

In 1994, Talagrand showed a generalization of the celebrated KKL theorem. In this work, we prove that the converse of this generalization also holds. Namely, for any sequence of numbers $0<a_1,a_2,\ldots,a_n\le 1$ such that $\sum_{j=1}^n…

Discrete Mathematics · Computer Science 2015-06-24 Saleet Klein , Amit Levi , Muli Safra , Clara Shikhelman , Yinon Spinka

Let $({\mathbf X},\|\cdot\|_{\mathbf X}), ({\mathbf Y},\|\cdot\|_{\mathbf Y})$ be normed spaces with ${\mathrm{dim}}({\mathbf X})=n$. Bourgain's almost extension theorem asserts that for any ${\varepsilon}>0$, if ${\mathcal{N}}$ is an…

Functional Analysis · Mathematics 2020-09-29 Assaf Naor

We study projective dimension, a graph parameter (denoted by pd$(G)$ for a graph $G$), introduced by (Pudl\'ak, R\"odl 1992), who showed that proving lower bounds for pd$(G_f)$ for bipartite graphs $G_f$ associated with a Boolean function…

Computational Complexity · Computer Science 2020-01-10 Krishnamoorthy Dinesh , Sajin Koroth , Jayalal Sarma

We impose standard $ T1 $-type assumptions on a Calder\'on-Zygmund operator $ T $, and deduce that for bounded compactly supported functions $ f, g $ there is a sparse bilinear form $ \Lambda $ so that $$ \lvert \langle T f, g \rangle\rvert…

Classical Analysis and ODEs · Mathematics 2016-12-20 Michael T. Lacey , Darío Mena