English

Matrix and tensor rigidity and $L_p$-approximation

Functional Analysis 2022-01-11 v2 Computational Complexity

Abstract

In this paper we apply methods originated in Complexity theory to some problems of Approximation. We notice that the construction of Alman and Williams that disproves the rigidity of Walsh-Hadamard matrices, provides good p\ell_p-approximation for p<2p<2. It follows that the first nn functions of Walsh system can be approximated with an error nδn^{-\delta} by a linear space of dimension n1δn^{1-\delta}: dn1δ({w1,,wn},Lp[0,1])nδ,p[1,2),  δ=δ(p)>0. d_{n^{1-\delta}}(\{w_1,\ldots,w_n\}, L_p[0,1]) \le n^{-\delta},\quad p\in[1,2),\;\delta=\delta(p)>0. We do not know if this is possible for the trigonometric system. We show that the algebraic method of Alon--Frankl--R\"odl for bounding the number of low-signum-rank matrices, works for tensors: almost all signum-tensors have large signum-rank and can't be 1\ell_1-approximated by low-rank tensors. This implies lower bounds for Θm\Theta_m~ -- the error of mm-term approximation of multivariate functions by sums of tensor products u1(x1)ud(xd)u^1(x_1)\cdots u^d(x_d). In particular, for the set of trigonometric polynomials with spectrum in j=1d[nj,nj]\prod_{j=1}^d[-n_j,n_j] and of norm t1\|t\|_\infty\le 1 we have Θm(T(n1,,nd),L1[π,π]d)c1(d)>0,mc2(d)njmax{nj}. \Theta_m(\mathcal T(n_1,\ldots,n_d)_\infty,L_1[-\pi,\pi]^d) \ge c_1(d)>0,\quad m\le c_2(d)\frac{\prod n_j}{\max\{n_j\}}. Sharp bounds follow for classes of dominated mixed smoothness: Θm(Wp(r,r,,r),Lq[0,1]d)mrdd1,\mbox2p,  1q2. \Theta_m(W^{(r,r,\ldots,r)}_p,L_q[0,1]^d)\asymp m^{-\frac{rd}{d-1}},\quad\mbox 2\le p\le\infty,\; 1\le q\le 2.

Keywords

Cite

@article{arxiv.2010.14801,
  title  = {Matrix and tensor rigidity and $L_p$-approximation},
  author = {Yuri Malykhin},
  journal= {arXiv preprint arXiv:2010.14801},
  year   = {2022}
}
R2 v1 2026-06-23T19:42:31.615Z