 -n)\right).$$ In particular, letting $d=3$ and $i=1$ and using definitions of $B^{1,1}_{n-2}$ and $B^{1,0}_{n-2}$, we obtain that $$\label{eq:facets-of-B^{3,1}}
B^{3,1}_n=\Big( (n-2, n-3, \dots, 1, -n+2, -n+3, \dots, -1)* (n-1, n) \Big) \cup \Big( (1, -n+2)*(n, -n+1, -n)\Big).$$ In Section \[sec:Facets\], we will use this description of $B^{3,1}_n$ to characterize all facets of $\Delta^3_n$.

A big portion of [@N-Z Section 3] is devoted to showing that the objects $\Delta^d_n$ and $B^{d,i}_n$ are well-defined (including the fact that $\Delta^{d}_n\supseteq B^{d,\lceil d/2\rceil -1}_n$). The proof relies on a few crucial properties of $B^{d,i}_n$, see [@N-Z Lem. 3.3, 3.4, 3.6 and Cor. 3.7], summarized in the following lemma.

\[lm: prop of B\^[d, i]{}\_n\] Let $d\geq 2$ and $n\geq d+1$. Then for all $0\leq i\leq j\leq \lfloor d/2 \rfloor$ and $k\leq \lceil d/2 \rceil$,

1.  $B^{d,i}_n$ is a combinatorial $d$-ball that is cs-$i$-neighborly (w.r.t. $V_n$) and $i$-stacked; furthermore, $B^{d,i}_n$ shares no common facets with $-B^{d,i}_n$;

2.  $B^{d, k-1}_n\subseteq -B^{d, k}_n$;

3.  $\partial B^{d, i}_n=\left( \partial B^{d-1, i}_{n-1}*n\right)   \cup \left( \partial (-B^{
-n)\right).$$ In particular, letting $ d=3 $ and $ i=1 $ and using definitions of $ B^{1,1}_{n-2}$ and $ B^{1,0}_{n-2}$, we receive that $ $ \label{eq: aspect - of - B^{3,1 } } 
 B^{3,1}_n=\Big (( n-2, n-3, \dots, 1, -n+2, -n+3, \dots, -1) * (n-1, n) \Big) \cup \Big (( 1, -n+2)*(n, -n+1, -n)\Big).$$ In Section \[sec: Facets\ ], we will use this description of $ B^{3,1}_n$ to characterize all facets of $ \Delta^3_n$. 

 A bad portion of [ @N - Z Section 3 ] is devoted to showing that the object $ \Delta^d_n$ and $ B^{d, i}_n$ are well - define (including the fact that $ \Delta^{d}_n\supseteq B^{d,\lceil d/2\rceil -1}_n$). The validation trust on a few crucial properties of $ B^{d, i}_n$, experience [ @N - Z Lem.   3.3, 3.4, 3.6 and Cor.   3.7 ], summarized in the following lemma. 

 \[lm: prop of B\^[d, i]{}\_n\ ] Let $ d\geq 2 $ and $ n\geq d+1$. Then for all $ 0\leq i\leq j\leq \lfloor d/2 \rfloor$ and $ k\leq \lceil d/2 \rceil$, 

 1.   $ B^{d, i}_n$ is a combinatorial $ d$-ball that is cs-$i$-neighborly (w.r.t.   $ V_n$) and $ i$-stacked; furthermore, $ B^{d, i}_n$ share no common aspect with $ -B^{d, i}_n$; 

 2.   $ B^{d, k-1}_n\subseteq -B^{d, k}_n$; 

 3.   $ \partial B^{d, i}_n=\left (\partial B^{d-1, i}_{n-1}*n\right)    \cup \left (\partial (-B^ {
 -n)\rlght).$$ In particular, lettikg $d=3$ and $i=1$ and using dehinitiohs of $B^{1,1}_{n-2}$ and $B^{1,0}_{n-2}$, we obtain that $$\label{xq:faxets-od-B^{3,1}}
B^{3,1}_n=\Big( (n-2, n-3, \dots, 1, -n+2, -n+3, \aots, -1)* (n-1, n) \Big) \cup \Big( (1, -n+2)*(n, -n+1, -n)\Big).$$ In Sectljn \[ssg:Facecs\], we will use tmis descripdion of $B^{3,1}_n$ to whxrccterize all facets of $\Delta^3_n$.

A big pjrtion pf [@N-Z Section 3] if denoeed fo showing that the objects $\Delta^d_h$ and $B^{v,i}_n$ are well-defoned (including the fact thwt $\Dflta^{d}_n\supseteq B^{d,\lfeil d/2\rceil -1}_n$). Trw proof relids on a few crucial prkperties of $B^{d,i}_n$, see [@N-Z Lem. 3.3, 3.4, 3.6 avd Cox. 3.7], summarizee un hve followinj lemmw.

\[lm: prop of N\^[c, i]{}\_n\] Lat $d\geq 2$ and $n\geq d+1$. Tmen fmr qll $0\leq i\leq j\leq \lflmor d/2 \rfloor$ and $k\jeq \lceil d/2 \rceil$,

1.  $B^{d,i}_n$ is a cimbindtorhal $a$-valu tgav ia cs-$i$-nfigiborly (w.r.t. $V_h$) and $i$-stacjed; furthermore, $B^{d,i}_m$ fyares no commkn facqtf with $-B^{d,i}_n$;

2.  $B^{d, k-1}_n\subseteq -B^{d, k}_n$;

3.  $\partidl G^{d, i}_n=\left( \partial B^{d-1, i}_{n-1}*b\right)   \cup \left( \parjial (-B^{
-n)\right).$$ In particular, letting $d=3$ and $i=1$ definitions $B^{1,1}_{n-2}$ and we obtain that 1, -n+3, \dots, -1)* n) \Big) \cup (1, -n+2)*(n, -n+1, -n)\Big).$$ In Section we will use this description of $B^{3,1}_n$ to characterize all facets of $\Delta^3_n$. big portion of [@N-Z Section 3] is devoted to showing that the objects and are (including fact that $\Delta^{d}_n\supseteq B^{d,\lceil d/2\rceil -1}_n$). The proof relies on a few crucial properties of $B^{d,i}_n$, [@N-Z Lem. 3.3, 3.4, 3.6 and Cor. 3.7], in the following lemma. prop of B\^[d, i]{}\_n\] Let 2$ $n\geq d+1$. for $0\leq j\leq \lfloor d/2 and $k\leq \lceil d/2 \rceil$, 1. $B^{d,i}_n$ is a combinatorial $d$-ball that is cs-$i$-neighborly (w.r.t. $V_n$) and furthermore, $B^{d,i}_n$ common facets $-B^{d,i}_n$; $B^{d, -B^{d, k}_n$; 3. i}_n=\left( \partial B^{d-1, i}_{n-1}*n\right) \cup \left(
 -n)\right).$$ In particular, letting $D=3$ and $i=1$ and usIng deFinItiOnS of $B^{1,1}_{N-2}$ and $b^{1,0}_{n-2}$, we obtain that $$\LAbel{Eq:facets-of-B^{3,1}}
B^{3,1}_n=\Big( (n-2, n-3, \dots, 1, -N+2, -n+3, \dotS, -1)* (n-1, N) \big) \cUP \BIg( (1, -n+2)*(n, -n+1, -N)\Big).$$ In SECtION \[seC:FAcEts\], We WIlL use tHis DescripTion of $B^{3,1}_n$ to ChaRaCterize all faCEtS of $\Delta^3_n$.

A Big Portion of [@N-Z SEctIon 3] is dEvOteD To shoWinG that The objECts $\DelTa^d_n$ and $B^{d,I}_n$ ARe well-DEfined (iNCLuDing The fact that $\Delta^{d}_N\SuPSeteq B^{d,\lceil d/2\rCeil -1}_n$). THe PRoOF RelIes On a few crucIaL propERties of $b^{D,i}_N$, SEE [@N-Z lEm. 3.3, 3.4, 3.6 and Cor. 3.7], summaRized in the fOLloWing leMmA.

\[lm: PRop of B\^[D, i]{}\_n\] LeT $d\GEq 2$ aNd $n\geq d+1$. Then For aLl $0\leq i\leq J\leq \lfLOor d/2 \rflOOr$ and $k\lEq \lceiL d/2 \rCeiL$,

1.  $B^{d,i}_N$ Is A cOmbInATorIAl $D$-baLL thAt is cs-$i$-nEiGhBorly (W.r.t. $V_N$) AND $I$-staCkeD; furThermOre, $B^{d,i}_n$ shares No cOmmoN FacEts wiTh $-B^{d,i}_N$;

2.  $B^{d, k-1}_N\sUbsetEq -B^{d, k}_n$;

3.  $\PartiAl b^{d, i}_n=\left( \partial b^{d-1, i}_{n-1}*N\right)   \cup \LefT( \pArtIaL (-B^{
 -n)\right).$$ In particul ar, lettin g $d= 3$and  $ i=1$  and  using definit i onsof $B^{1,1}_{n-2}$ and  $B^{ 1, 0 }_{n - 2} $, we  obtain th a t  $$ \l ab el{ eq : fa cets- of- B^{3,1} }
B^{3,1}_ n=\ Bi g( (n-2, n-3 ,  \ dots, 1, - n+2 , -n+3, \dot s,-1)* ( n- 1,n ) \Bi g)\cup\Big(( 1, -n+ 2)*(n, -n +1 ,  -n)\B i g).$$ I n Se ctio n \[sec:Facets\], we will use thisdescri pt i on o f $ B^{ 3,1}_n$ to  c harac t erize a l lf a c ets of $\Delta^3_ n$.

A bigp ort ion of  [ @N- Z  Secti on 3]  i s  de voted to sh owin g that th e obje c ts $\De l ta^d_n$  and $ B^{ d,i }_n$ ar ewel l- d efi n ed  (i n clu ding the  f ac t tha t $\ D e l t a^{d }_n \sup seteq  B^{d,\lceild/2 \rce i l - 1}_n$ ). Th e pr oo f rel ies on  a fe wcrucial propert iesof $B^{d, i}_ n$ , s ee  [@N- Z  Lem.3.3 , 3 .4, 3.6  and Co r . 3 .7 ] , su mmarized in the fo ll o w in g lemma. 

\[lm :  p ro p  of B\^[ d,  i] {}\_ n \ ] Let  $d\ g eq  2$ and$n\geq d+ 1$ . Thenfo r all$0 \le q i \leqj \leq  \lflo or d/2 \ rfloo r $ and $k\leq \ l ceil d/2 \rce i l$ , 
1 .   $B ^{d ,i}_n$ is a  com b inat oria l  $ d$- b all t hat i sc s- $ i$-neighborly (w.r. t.  $V_n$ ) and  $i$-stacked;  furthermo r e ,  $B^{d,i }_n$ sh a res no commonfacet s with $-B ^ {d,i}_n$ ;

2.   $B^{d,  k-1}_n\s u b seteq -B ^{d , k }_n $;3 . $\partial B^ { d , i} _n =\left(  \p artialB^{ d-1 , i }_{ n- 1}*n\righ t)   \cu p\l ef t(  \p artia l  (-B^{
 -n)\right).$$_In particular,_letting $d=3$ and $i=1$_and using_definitions_of $B^{1,1}_{n-2}$_and_$B^{1,0}_{n-2}$, we obtain_that $$\label{eq:facets-of-B^{3,1}}
B^{3,1}_n=\Big( (n-2,_n-3, \dots, 1, -n+2,_-n+3, \dots, -1)*_(n-1,_n) \Big) \cup \Big( (1, -n+2)*(n, -n+1, -n)\Big).$$ In Section \[sec:Facets\], we will use_this_description of_$B^{3,1}_n$_to_characterize all facets of $\Delta^3_n$.

A_big portion of [@N-Z Section_3] is_devoted to showing that the objects $\Delta^d_n$ and_$B^{d,i}_n$_are well-defined (including_the fact that $\Delta^{d}_n\supseteq B^{d,\lceil d/2\rceil -1}_n$). The proof_relies on a few crucial properties_of $B^{d,i}_n$, see_[@N-Z_Lem. 3.3,_3.4, 3.6 and Cor. 3.7],_summarized in the following lemma.

\[lm: prop_of B\^[d, i]{}\_n\] Let $d\geq 2$_and $n\geq d+1$. Then for all $0\leq_i\leq j\leq \lfloor d/2 \rfloor$ and_$k\leq \lceil d/2 \rceil$,

1. _$B^{d,i}_n$ is_a combinatorial $d$-ball that is_cs-$i$-neighborly (w.r.t. $V_n$) and_$i$-stacked; furthermore,_$B^{d,i}_n$ shares no_common facets with $-B^{d,i}_n$;

2.  $B^{d,_k-1}_n\subseteq -B^{d, k}_n$;

3._ $\partial B^{d, i}_n=\left( \partial B^{d-1,_i}_{n-1}*n\right)_  \cup_\left(_\partial_(-B^{