}(F(\omega_1,\omega_2)): (\omega_1,\omega_2) \in {{\mathcal M}}\right\},\end{aligned}$$ where ${{\mathcal M}}$ is the uniform sampling grids defined in.

Second, we show that the accumulated difference of the singular values between ${{{\uppercase{{\bm{c}}}}}}$ and ${{{\uppercase{{\bm{t}}}}}}$ is upper-bounded.

By inspecting ${{{\uppercase{{\bm{t}}}}}}$ and ${{{\uppercase{{\bm{c}}}}}}$, we find from Lemma \[lemma:proof-thm1\] that ${\hbox{\boldmath$\Delta$}}_{k,l}=0$ if and only if $(k,l) \in {{\mathcal B}}_{11}$. The number of rows and columns with indices outside ${{\mathcal B}}_{11}$ scales as $n$. As such, invoking Theorem 3.1 in [@Zizler2002], we conclude that $$\begin{aligned}
    \sum_{j=1}^{\min\{r,s\}n^2} \abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c}}}}}})} \le O(n).\end{aligned}$$ Thus, we have $$\begin{aligned}
    \lim_{n \to \infty}   \frac{1}{n}\sum_{j=1}^{\min\{r,s\}n^2} \abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c}}}}}})}=O(1)\end{aligned}$$ This completes the proof.

The intuition behind is that the number of different elements between two matrices scales as $n$ but not $n^2$ because of the banded structure of ${{{\uppercase{{\bm{c}}}}}}$ and ${{{\uppercase{{\bm{t}}}}}}$. Although not rigorously proved, it looks the equality holds with the term $O(1)$ strictly larger than 0, meaning that the circular approximation can be arbitrarily loose as $n$ tends to infinity.

Proof of Theorem 3
------------------

Let $\phi_j:[-\pi,\pi]^2 \mapsto {\mbox{\bb R}}_+$ be the $j$-th singular value function of $F({\hbox{\boldmath$\omega$}})$ and $\sigma_k^{(j)}({{{\uppercase{{\bm{t}}}}}})$ be $k$-th singular
} (F(\omega_1,\omega_2) ): (\omega_1,\omega_2) \in { { \mathcal M}}\right\},\end{aligned}$$ where $ { { \mathcal M}}$ is the uniform sampling grids defined in. 

 Second, we picture that the roll up difference of the singular values between $ { { { \uppercase{{\bm{c}}}}}}$ and $ { { { \uppercase{{\bm{t}}}}}}$ is upper - bound. 

 By inspecting $ { { { \uppercase{{\bm{t}}}}}}$ and $ { { { \uppercase{{\bm{c}}}}}}$, we find from Lemma \[lemma: proof - thm1\ ] that $ { \hbox{\boldmath$\Delta$}}_{k, l}=0 $ if and entirely if $ (k, l) \in { { \mathcal B}}_{11}$. The issue of rows and column with indices outside $ { { \mathcal B}}_{11}$ scales as $ n$. As such, appeal Theorem 3.1 in [ @Zizler2002 ], we conclude that $ $ \begin{aligned } 
     \sum_{j=1}^{\min\{r, s\}n^2 } \abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c } } } } } }) } \le O(n).\end{aligned}$$ Thus, we accept $ $ \begin{aligned } 
     \lim_{n \to \infty }    \frac{1}{n}\sum_{j=1}^{\min\{r, s\}n^2 } \abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c}}}}}})}=O(1)\end{aligned}$$ This completes the proof. 

 The intuition behind is that the number of different elements between two matrix scales as $ n$ but not $ n^2 $ because of the banded structure of $ { { { \uppercase{{\bm{c}}}}}}$ and $ { { { \uppercase{{\bm{t}}}}}}$. Although not rigorously prove, it looks the equality holds with the term $ O(1)$ strictly bigger than 0, meaning that the circular approximation can be arbitrarily loose as $ n$ tend to infinity. 

 Proof of Theorem 3 
 ------------------ 

 Let $ \phi_j:[-\pi,\pi]^2 \mapsto { \mbox{\bb R}}_+$ be the $ j$-th singular value function of $ F({\hbox{\boldmath$\omega$}})$ and $ \sigma_k^{(j)}({{{\uppercase{{\bm{t}}}}}})$ be $ k$-th singular
}(F(\omfga_1,\omega_2)): (\omega_1,\omega_2) \in {{\mxthcal M}}\right\},\enb{qlignev}$$ where ${{\mathcal M}}$ is the uniform sampling gcids defibed in.

Second, we show tfat the abcumulatee dihference of the singular valuea betcexn ${{{\uppercase{{\bm{c}}}}}}$ and ${{{\upperwase{{\bm{t}}}}}}$ is uppar-cobnded.

By inspecting ${{{\uppercase{{\bm{t}}}}}}$ and ${{{\tppercaxe{{\hm{c}}}}}}$, we find frjm Ltmmw \[lejma:proof-thm1\] that ${\hbox{\boldmath$\Delta$}}_{i,l}=0$ if aid only if $(k,l) \im {{\mathcal B}}_{11}$. The number of gows and columns with lndices outwide ${{\nathcal B}}_{11}$ scxles as $n$. As such, invoiing Theorem 3.1 in [@Zizler2002], we concuude chat $$\begin{aoitnef}
    \sum_{j=1}^{\min\{c,s\}n^2} \abf{\sigma_j({{{\uppergsse{{\bm{t}}}}}})-\vigma_j({{{\ulpercase{{\bm{c}}}}}})} \le O(n).\xnd{aoigned}$$ Thus, we have $$\bxgin{aligned}
    \lim_{n \jo \infty}   \fxac{1}{n}\sum_{j=1}^{\min\{r,s\}n^2} \abs{\signa_h({{{\uppetcase{{\tm{t}}}}}})-\sktma_g({{{\upkerrass{{\bm{c}}}}}})}=O(1)\ejd{amigned}$$ Thia completes the proof.

The intuiuiog behind is thzt the ntmber of different elements between two mafrices scales as $n$ but bot $n^2$ because of the handed stwucture of ${{{\uppercase{{\bm{c}}}}}}$ and ${{{\uppercase{{\bm{t}}}}}}$. Although not cieoriufut oroved, it looks the equality holds with the tqdm $O(1)$ strictly largcr than 0, meaning tnah yre circular akproximcfikn can be arbitrarlly loofe as $n$ tends uo inginity.

Proof of Theorem 3
------------------

Let $\phi_j:[-\pi,\pi]^2 \mapfro {\mbox{\bb R}}_+$ be the $j$-th singulcr valoe funvtion of $F({\hbox{\boldmath$\ooega$}})$ and $\sigma_k^{(u)}({{{\uppercass{{\cm{t}}}}}})$ be $k$-th singuuar
}(F(\omega_1,\omega_2)): (\omega_1,\omega_2) \in {{\mathcal M}}\right\},\end{aligned}$$ where ${{\mathcal the sampling grids in. Second, we of singular values between and ${{{\uppercase{{\bm{t}}}}}}$ is By inspecting ${{{\uppercase{{\bm{t}}}}}}$ and ${{{\uppercase{{\bm{c}}}}}}$, we from Lemma \[lemma:proof-thm1\] that ${\hbox{\boldmath$\Delta$}}_{k,l}=0$ if and only if $(k,l) \in {{\mathcal B}}_{11}$. number of rows and columns with indices outside ${{\mathcal B}}_{11}$ scales as $n$. such, Theorem in we conclude that $$\begin{aligned} \sum_{j=1}^{\min\{r,s\}n^2} \abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c}}}}}})} \le O(n).\end{aligned}$$ Thus, we have $$\begin{aligned} \lim_{n \to \infty} \frac{1}{n}\sum_{j=1}^{\min\{r,s\}n^2} This completes the proof. The intuition behind is the number of different between two matrices scales as but $n^2$ because the structure ${{{\uppercase{{\bm{c}}}}}}$ and ${{{\uppercase{{\bm{t}}}}}}$. not rigorously proved, it looks the equality holds with the term $O(1)$ strictly larger than 0, meaning the circular be arbitrarily as tends infinity. Proof of ------------------ Let $\phi_j:[-\pi,\pi]^2 \mapsto {\mbox{\bb R}}_+$ singular value function of $F({\hbox{\boldmath$\omega$}})$ and $\sigma_k^{(j)}({{{\uppercase{{\bm{t}}}}}})$ be singular
}(F(\omega_1,\omega_2)): (\omega_1,\omega_2) \in {{\maThcal M}}\righT\},\end{aLigNed}$$ WhEre ${{\mAthcAl M}}$ is the uniforM SampLing grids defined in.

SecoNd, we sHoW That THe AccumUlated dIFfEREncE oF tHe sInGUlAr valUes Between ${{{\Uppercase{{\bM{c}}}}}}$ aNd ${{{\Uppercase{{\bm{t}}}}}}$ IS uPper-boundeD.

By Inspecting ${{{\upPerCase{{\bm{T}}}}}}$ aNd ${{{\uPPercaSe{{\bM{c}}}}}}$, we fInd froM lemma \[lEmma:proof-ThM1\] That ${\hbOX{\boldmaTH$\deLta$}}_{k,L}=0$ if and only if $(k,l) \in {{\mAThCAl B}}_{11}$. The number of Rows anD cOLuMNS wiTh iNdices outsIdE ${{\mathCAl B}}_{11}$ scalES aS $N$. aS suCH, invoking TheoRem 3.1 in [@Zizler2002], WE coNclude ThAt $$\bEGin{aliGned}
    \sUm_{J=1}^{\Min\{R,s\}n^2} \abs{\sigma_J({{{\uppErcase{{\bm{t}}}}}})-\Sigma_j({{{\UPpercasE{{\Bm{c}}}}}})} \le O(n).\End{aliGneD}$$ ThUs, we HAvE $$\bEgiN{aLIgnED}
    \lIm_{n \TO \inFty}   \frac{1}{n}\SuM_{j=1}^{\Min\{r,s\}N^2} \abs{\SIGMA_j({{{\upPerCase{{\Bm{t}}}}}})-\siGma_j({{{\uppercase{{\Bm{c}}}}}})}=o(1)\end{ALigNed}$$ ThIs comPletEs The prOof.

The IntuiTiOn behind is that tHe nuMber of difFerEnT elEmEnts bETween tWo mAtrIces scaLes as $n$ bUT noT $n^2$ BECAuSe of the banded strucTuRE Of ${{{\UppercasE{{\bm{c}}}}}}$ anD ${{{\UpPeRCase{{\bm{t}}}}}}$. ALtHouGh noT RIgoroUsly PRoVed, it looKs the eQUaLiTy holds WiTh the tErM $O(1)$ sTriCtly lARger Than 0, meAning thaT the cIRcular approximATion can be arbiTRaRILy LOose As $n$ Tends to infiNity.

pRoof Of ThEOrEm 3
------------------

LET $\phi_j:[-\Pi,\pi]^2 \mApSTo {\MBox{\bb R}}_+$ be the $j$-th singuLaR value FunctIon of $F({\hbox{\bolDmath$\omega$}})$ AND $\Sigma_k^{(j)}({{{\uPperCAsE{{\Bm{t}}}}}})$ be $k$-th singulAr
}(F(\omega_1,\omega_2)): ( \omega_1,\ omega _2)  \i n{{\m athc al M}}\right\} , \end {aligned}$$ where ${{\ mathc al M}}$ is  theuniform sa m p lin ggr ids  d e fi ned i n.
Second , we showtha tthe accumula t ed  differenc e o f the singul arvalues  b etw e en ${ {{\ upper case{{ \ bm{c}} }}}}$ and  $ { {{\upp e rcase{{ \ b m{ t}}} }}}$ is upper-bou n de d .

By inspecti ng ${{ {\ u pp e r cas e{{ \bm{t}}}}} }$  and$ {{{\upp e rc a s e {{\ b m{c}}}}}}$, w e find from Lem ma \[l em ma: p roof-t hm1\]  t h at${\hbox{\bo ldma th$\Delta $}}_{k , l}=0$ i f  and on ly if$(k ,l)  \in {{ \m ath ca l  B} } _{ 11} $ . T he numbe rof  rows  and c o l umns  wi th i ndice s outside ${{ \ma thca l  B} }_{11 }$ sc ales  a s $n$ . As s uch,in voking Theorem3.1in [@Zizl er2 00 2],  w e con c lude t hat  $$ \begin{ aligned } 
  \ s u m_ {j=1}^{\min\{r,s\} n^ 2 }  \ abs{\sig ma_j({ { {\ up p ercase{{ \b m{t }}}} } } )-\si gma_ j ({ {{\upper case{{ \ bm {c }}}}}}) }\le O( n) .\e nd{ align e d}$$  Thus,  we have  $$\b e gin{aligned}
  \lim_{n \to \i n f ty }    \ fra c{1}{n}\sum _{j= 1 }^{\ min\ { r, s\} n ^2} \ abs{\ si g ma _ j({{{\uppercase{{\b m{ t}}}}} })-\s igma_j({{{\up percase{{\ b m { c}}}}}}) }=O( 1 )\ e nd{aligned}$$Thiscompletest he proof .

Th e intuit ion behin d is thatthe  nu mbe r o f di fferent eleme n t s be tw een two  ma tricessca les  as  $n $but not $ n^2$ bec au se  o fthe  band e d struct ur e o f${{ {\upp e rcase{ {\bm{ c}}} }} }$ and  ${{{\u p pe r c ase{ {\ bm {t}} }}} }$ . Alt houg h  no t rigor ously pro ved ,  itlo ok s the e quality holds  w ith the te rm  $O (1)$ s t r ictly la rger than 0, meaning th a t the c irc ularappr oximation  ca n be a rbi t rarily  loose  as $ n$  te n d s toi n fi nit y. 

Proof of T heo rem 3 
- ---- ------- ------

Let $\phi_ j :[- \pi,\pi]^2 \m aps to { \ m bo x{\ b bR }}_ +$ bet h e $j$-th singul ar value f un c ti on of $F({ \ hbo x{ \boldma th$\ome ga$}} ) $ and $ \sigma_k^ {(j)}({{{ \u pper c a se{ {\bm{t}}}} }})$ be$k$-th si n gular 
}(F(\omega_1,\omega_2)): (\omega_1,\omega_2)_\in {{\mathcal_M}}\right\},\end{aligned}$$ where ${{\mathcal M}}$_is the_uniform_sampling grids_defined_in.

Second, we show_that the accumulated_difference of the singular_values between ${{{\uppercase{{\bm{c}}}}}}$_and_${{{\uppercase{{\bm{t}}}}}}$ is upper-bounded.

By inspecting ${{{\uppercase{{\bm{t}}}}}}$ and ${{{\uppercase{{\bm{c}}}}}}$, we find from Lemma \[lemma:proof-thm1\] that ${\hbox{\boldmath$\Delta$}}_{k,l}=0$_if_and only_if_$(k,l)_\in {{\mathcal B}}_{11}$. The number_of rows and columns with_indices outside_${{\mathcal B}}_{11}$ scales as $n$. As such, invoking_Theorem_3.1 in [@Zizler2002],_we conclude that $$\begin{aligned}
    \sum_{j=1}^{\min\{r,s\}n^2} \abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c}}}}}})}_\le O(n).\end{aligned}$$ Thus, we have $$\begin{aligned}
_  _\lim_{n_\to_\infty}   \frac{1}{n}\sum_{j=1}^{\min\{r,s\}n^2}_\abs{\sigma_j({{{\uppercase{{\bm{t}}}}}})-\sigma_j({{{\uppercase{{\bm{c}}}}}})}=O(1)\end{aligned}$$ This completes the proof.

The intuition_behind is that the number of_different elements between two matrices scales as_$n$ but not $n^2$ because of_the banded structure of ${{{\uppercase{{\bm{c}}}}}}$_and ${{{\uppercase{{\bm{t}}}}}}$._Although not rigorously proved, it_looks the equality_holds with_the term $O(1)$_strictly larger than 0, meaning that_the circular approximation_can be arbitrarily loose as $n$_tends_to infinity.

Proof of_Theorem_3
------------------

Let_$\phi_j:[-\pi,\pi]^2 \mapsto_{\mbox{\bb R}}_+$ be_the_$j$-th singular_value_function of $F({\hbox{\boldmath$\omega$}})$ and $\sigma_k^{(j)}({{{\uppercase{{\bm{t}}}}}})$ be_$k$-th_singular