_0,\ldots,x_{k-1}\in \{0\}\times\mathbb{Z}^{k-1}$, and let $g:T\to [0,2n_1]$ with $g(x_i)=0$ for all $i$. Then $$\sum_{x' \in T+T}g_{\mathcal{W}_T}^{\square}(x')\le (2^k-c_k')\sum_{x \in T}g(x)+c_k''\min\{n_i\}^{-1}|B|$$

We omit the subscript $\mathcal{W}_T$ from now on. Throughout the entire proof we shall consider the sets $\mathcal{S}_{i,j}=\mathcal{S}_{i,j}(\widetilde{T})$ in with parameters $i,j$ bounded above by $\mu_1,\mu_2$, respectively.

For a subset $\widetilde{P} \subset \widetilde{T}$, we define $g(\widetilde{P})= \sum_{x \in \widetilde{P}\cap T} g(x)$, and for a subset $\widetilde{Q}\subset \widetilde{T}+\widetilde{T}$, define $g^{\square}(\widetilde{Q})=\sum_{x\in \widetilde{Q}\cap (T+T)}g^{\square}(\widetilde{Q})$.

For a subset $\widetilde{P} \subset \widetilde{T}$, we define $d'_k(\widetilde{P})=-g^{\square}(\widetilde{P}+\widetilde{P})+2^kg(\widetilde{P})$.

\[dk’obs\] For a polytope $\widetilde{P} \subset \widetilde{T}$, we have $d'_k(\widetilde{P}) \ge -2^{2k+5}\min\{n_i\}^{-1}|B|$. In particular, with $P=\widetilde{P}\cap (\{0\}\times\mathbb{Z}^{k-1})$ we have $d'_k(P) \ge -2^{2k+5}\min\{n_i\}^{-1}|B|$. More generally, the same conclusion holds for any region $\widetilde{P}\subset \widetilde{T}$ defined as the intersection of open and closed half-spaces.

Note that if $\widetilde{P}\subset \widetilde{T}$ is defined as the intersection of open and closed half-spaces, then we can perturb
_ 0,\ldots, x_{k-1}\in \{0\}\times\mathbb{Z}^{k-1}$, and let $ g: T\to [ 0,2n_1]$ with $ g(x_i)=0 $ for all $ i$. Then $ $ \sum_{x' \in T+T}g_{\mathcal{W}_T}^{\square}(x')\le (2^k - c_k')\sum_{x \in T}g(x)+c_k''\min\{n_i\}^{-1}|B|$$ 

 We omit the subscript $ \mathcal{W}_T$ from now along. Throughout the integral validation we shall consider the sets $ \mathcal{S}_{i, j}=\mathcal{S}_{i, j}(\widetilde{T})$ in with parameters $ i, j$ bound above by $ \mu_1,\mu_2 $, respectively. 

 For a subset $ \widetilde{P } \subset \widetilde{T}$, we define $ g(\widetilde{P})= \sum_{x \in \widetilde{P}\cap T } g(x)$, and for a subset $ \widetilde{Q}\subset \widetilde{T}+\widetilde{T}$, define $ g^{\square}(\widetilde{Q})=\sum_{x\in \widetilde{Q}\cap (T+T)}g^{\square}(\widetilde{Q})$. 

 For a subset $ \widetilde{P } \subset \widetilde{T}$, we specify $ d'_k(\widetilde{P})=-g^{\square}(\widetilde{P}+\widetilde{P})+2^kg(\widetilde{P})$. 

 \[dk’obs\ ] For a polytope $ \widetilde{P } \subset \widetilde{T}$, we give birth $ d'_k(\widetilde{P }) \ge -2^{2k+5}\min\{n_i\}^{-1}|B|$. In particular, with $ P=\widetilde{P}\cap (\{0\}\times\mathbb{Z}^{k-1})$ we have $ d'_k(P) \ge -2^{2k+5}\min\{n_i\}^{-1}|B|$. More generally, the same conclusion hold for any region $ \widetilde{P}\subset \widetilde{T}$ defined as the overlap of open and closed half - spaces. 

 Note that if $ \widetilde{P}\subset \widetilde{T}$ is defined as the intersection of open and shut half - spaces, then we can perturb
_0,\ldohs,x_{k-1}\in \{0\}\times\mathbb{Z}^{k-1}$, and let $g:T\to [0,2n_1]$ witk $g(x_i)=0$ fmr all $i$. Then $$\rum_{x' \in T+T}g_{\mathcal{W}_T}^{\square}(x')\lx (2^k-c_j')\sum_{x \in T}g(x)+c_k''\min\{n_i\}^{-1}|B|$$

We omit the subsbript $\matycal{X}_T$ from now on. Tidoughoub the cntirz 'roof we shall gonsider tha sets $\mathcal{V}_{i,g}=\mcthcal{S}_{i,j}(\widetilde{T})$ in with parametews $i,j$ bpujded above by $\iu_1,\mu_2$, wespsbtlvely.

For a subset $\widetilde{P} \subaet \widttilde{T}$, we define $b(\widetilde{P})= \sum_{x \in \widetipde{P}\fap T} g(x)$, and for a subset $\widgfilqw{Q}\subset \widdtilde{T}+\widttnlde{T}$, defing $g^{\square}(\widetilde{Q})=\sum_{x\in \widetiude{Q}\ccp (T+T)}g^{\squarg}(\cudehhlde{Q})$.

For a wubsen $\widetilde{P} \subset \whdetildr{T}$, we define $d'_l(\wivetiode{P})=-g^{\square}(\widetilde{P}+\xidetilde{P})+2^kg(\widetildg{P})$.

\[dk’obs\] Fos c polytope $\widetilde{P} \sybset \widatilaw{T}$, de gate $s'_k(\widehilve{P}) \ge -2^{2k+5}\min\{h_i\}^{-1}|B|$. In partucular, with $P=\widetikdq{I}\vap (\{0\}\times\matgbb{Z}^{k-1})$ re have $d'_k(P) \ge -2^{2k+5}\min\{n_i\}^{-1}|B|$. More generally, the saje conclusion holds for any region $\widetilde{K}\subset \wiqetilde{T}$ defined as the intersection of open and wlosev faly-wpacer.

Bohe that if $\widetilde{P}\subset \widetilde{T}$ is defyhec ss the intersegtion of open and vllsrq half-spaces, jhen we cah perturb
_0,\ldots,x_{k-1}\in \{0\}\times\mathbb{Z}^{k-1}$, and let $g:T\to [0,2n_1]$ with all Then $$\sum_{x' T+T}g_{\mathcal{W}_T}^{\square}(x')\le (2^k-c_k')\sum_{x \in $\mathcal{W}_T$ now on. Throughout entire proof we consider the sets $\mathcal{S}_{i,j}=\mathcal{S}_{i,j}(\widetilde{T})$ in with $i,j$ bounded above by $\mu_1,\mu_2$, respectively. For a subset $\widetilde{P} \subset \widetilde{T}$, we $g(\widetilde{P})= \sum_{x \in \widetilde{P}\cap T} g(x)$, and for a subset $\widetilde{Q}\subset \widetilde{T}+\widetilde{T}$, define \widetilde{Q}\cap For subset \subset \widetilde{T}$, we define $d'_k(\widetilde{P})=-g^{\square}(\widetilde{P}+\widetilde{P})+2^kg(\widetilde{P})$. \[dk’obs\] For a polytope $\widetilde{P} \subset \widetilde{T}$, we have $d'_k(\widetilde{P}) \ge In particular, with $P=\widetilde{P}\cap (\{0\}\times\mathbb{Z}^{k-1})$ we have $d'_k(P) -2^{2k+5}\min\{n_i\}^{-1}|B|$. More generally, the conclusion holds for any region \widetilde{T}$ as the of and half-spaces. Note that $\widetilde{P}\subset \widetilde{T}$ is defined as the intersection of open and closed half-spaces, then we can perturb
_0,\ldots,x_{k-1}\in \{0\}\times\mathbb{Z}^{k-1}$, and Let $g:T\to [0,2n_1]$ wiTh $g(x_i)=0$ For All $I$. THen $$\sUm_{x' \iN T+T}g_{\mathcal{W}_T}^{\sQUare}(X')\le (2^k-c_k')\sum_{x \in T}g(x)+c_k''\min\{n_i\}^{-1}|b|$$

We omIt THe suBScRipt $\mAthcal{W}_t$ FrOM Now On. thRouGhOUt The enTirE proof wE shall consIdeR tHe sets $\mathcaL{s}_{i,J}=\mathcal{S}_{i,J}(\wiDetilde{T})$ in wiTh pArametErS $i,j$ BOundeD abOve by $\Mu_1,\mu_2$, reSPectivEly.

For a suBsET $\widetILde{P} \subSET \wIdetIlde{T}$, we define $g(\widETiLDe{P})= \sum_{x \in \widetIlde{P}\cAp t} G(x)$, AND foR a sUbset $\widetIlDe{Q}\suBSet \wideTIlDE{t}+\WidETilde{T}$, define $g^{\Square}(\widetILde{q})=\sum_{x\iN \wIdeTIlde{Q}\cAp (T+T)}g^{\SqUAre}(\Widetilde{Q})$.

FOr a sUbset $\wideTilde{P} \SUbset \wiDEtilde{T}$, We defiNe $d'_K(\wiDetiLDe{p})=-g^{\SquArE}(\WidETiLde{p}+\WidEtilde{P})+2^kG(\wIdEtildE{P})$.

\[dk’OBS\] fOr a pOlyTope $\WidetIlde{P} \subset \wiDetIlde{t}$, We hAve $d'_k(\WidetIlde{p}) \gE -2^{2k+5}\min\{N_i\}^{-1}|B|$. In pArticUlAr, with $P=\widetildE{P}\caP (\{0\}\times\matHbb{z}^{k-1})$ We hAvE $d'_k(P) \gE -2^{2K+5}\min\{n_i\}^{-1}|b|$. MoRe gEnerallY, the samE ConClUSIOn Holds for any region $\wIdETIlDe{P}\subseT \widetILdE{T}$ DEfined as ThE inTersECTion oF opeN AnD closed hAlf-spaCEs.

noTe that iF $\wIdetilDe{p}\suBseT \wideTIlde{t}$ is defIned as thE inteRSection of open aND closed half-spACeS, THeN We caN peRturb
_0,\ldots,x_{k-1}\in \{0\} \times\mat hbb{Z }^{ k-1 }$ , an d le t $g:T\to [0,2 n _1]$  with $g(x_i)=0$ for a ll $i $. Then $$ \sum_ {x' \in T+ T } g_{ \m at hca l{ W }_ T}^{\ squ are}(x' )\le (2^k- c_k ') \sum_{x \inT }g (x)+c_k''\ min \{n_i\}^{-1} |B| $$

We  o mit the s ubs cript  $\mat h cal{W} _T$ fromno w  on. T h roughou t th e en tire proof we sha l lc onsider the se ts $\m at h ca l { S}_ {i, j}=\mathca l{ S}_{i , j}(\wid e ti l d e {T} ) $ in with par ameters $i, j $ b ounded  a bov e  by $\ mu_1, \m u _2$ , respectiv ely. 

For a s ubset$ \wideti l de{P} \ subset  \w ide tild e {T }$ , w ed efi n e$g( \ wid etilde{P }) =\sum_ {x \ i n \ wide til de{P }\cap  T} g(x)$, an d f or a sub set $ \wide tild e{ Q}\su bset \ widet il de{T}+\widetild e{T} $, define  $g ^{ \sq ua re}(\ w idetil de{ Q}) =\sum_{ x\in \w i det il d e { Q} \cap (T+T)}g^{\squ ar e } (\ widetild e{Q})$ . 
Fo r  a subse t$\w idet i l de{P}  \su b se t \widet ilde{T } $,  w e defin e$d'_k( \w ide til de{P} ) =-g^ {\squa re}(\wid etild e {P}+\widetilde { P})+2^kg(\wid e ti l d e{ P })$. 

\ [dk’obs\] F or a poly tope $\ wid e tilde {P} \ su b se t  \widetilde{T}$, we  h ave $d '_k(\ widetilde{P})  \ge -2^{2 k + 5 }\min\{n _i\} ^ {- 1 }|B|$. In part icula r, with $P = \widetil de{P} \cap (\{ 0\}\times \ m athbb{Z} ^{k -1} )$weh a ve  $d'_k(P) \ge - 2^{2 k+ 5}\min\ {n_ i\}^{-1 }|B |$.  Mo rege nerally,the same  c on cl us ion  hold s  for any  r egi on  $\ widet i lde{P} \subs et \ wi de t ild e{T}$ d e fi n e d as  t he  int ers ec tionof o p enand clo sed half- spa c es.
N ot e thatif $\widetild e{ P}\subset\w ide tilde{ T } $ is def ined as the intersectio n  of ope n a nd cl osed  half-spa ces , then  we can pe rturb
_0,\ldots,x_{k-1}\in \{0\}\times\mathbb{Z}^{k-1}$,_and let_$g:T\to [0,2n_1]$ with $g(x_i)=0$_for all_$i$._Then $$\sum_{x'_\in_T+T}g_{\mathcal{W}_T}^{\square}(x')\le (2^k-c_k')\sum_{x \in_T}g(x)+c_k''\min\{n_i\}^{-1}|B|$$

We omit the_subscript $\mathcal{W}_T$ from now_on. Throughout the_entire_proof we shall consider the sets $\mathcal{S}_{i,j}=\mathcal{S}_{i,j}(\widetilde{T})$ in with parameters $i,j$ bounded above by_$\mu_1,\mu_2$,_respectively.

For a_subset_$\widetilde{P}_\subset \widetilde{T}$, we define $g(\widetilde{P})=_\sum_{x \in \widetilde{P}\cap T} g(x)$,_and for_a subset $\widetilde{Q}\subset \widetilde{T}+\widetilde{T}$, define $g^{\square}(\widetilde{Q})=\sum_{x\in \widetilde{Q}\cap (T+T)}g^{\square}(\widetilde{Q})$.

For_a_subset $\widetilde{P} \subset_\widetilde{T}$, we define $d'_k(\widetilde{P})=-g^{\square}(\widetilde{P}+\widetilde{P})+2^kg(\widetilde{P})$.

\[dk’obs\] For a polytope $\widetilde{P} \subset_\widetilde{T}$, we have $d'_k(\widetilde{P}) \ge -2^{2k+5}\min\{n_i\}^{-1}|B|$._In particular, with_$P=\widetilde{P}\cap_(\{0\}\times\mathbb{Z}^{k-1})$_we have $d'_k(P) \ge_-2^{2k+5}\min\{n_i\}^{-1}|B|$. More generally, the same conclusion_holds for any region $\widetilde{P}\subset \widetilde{T}$_defined as the intersection of open and_closed half-spaces.

Note that if $\widetilde{P}\subset \widetilde{T}$_is defined as the intersection_of open_and closed half-spaces, then we_can perturb