 (0,8);
        
\draw [-, color=black]
        (0,8) -- (0,12);        

\draw [-, color=black]
        (0,12) to [bend left =110] (0,-4);

    \end{tikzpicture}.$$

Next, we introduce the [*quantum $6j$-symbols*]{} $\{\cdot\}_q: {\mathcal}A \to {\mathbb C}$, which are defined in terms of the tetrahedral nets as follows:

$$\left\{\begin{matrix} a & b &i \\ c& d&j
\end{matrix}\right\}_q = \frac{\text{Tet}_q\left [\begin{matrix} a & b &i \\ c& d&j
\end{matrix}\right][i+1]_q}{\theta_q(a,d,i)\theta_q(b,c,i)}.$$

We note that there exist simple algebraic formulae that allow one to numerically evaluate the tetrahedral nets (and hence also the quantum $6j$-symbols). See [@KaLi94 Section 9.11] for example.

The most important geometric-algebraic feature of the quantum $6j$-symbols $\left\{\begin{matrix} a & b &i \\ c& d&j
\end{matrix}\right\}_q$ is that they arise as the basis change coefficients for two canonical bases for the Hom-space $\text{Hom}_{O^+_F}(H_a \otimes H_d, H_b  \otimes H_c)$. More precisely, $\text{Hom}_{O^+_F}(H_a \otimes H_d,  H_b \otimes H_c)$ has one linear basis given by the string diagrams $$\begin{tikzpicture}[baseline=(current  bounding  box.center),
            wh/.style={circle,draw=black,thick,inner sep=.5mm},
            bl/.style={circle,draw=black,fill=black,thick,inner sep=.5mm}, scale = 0.2]
         




\node at (1,0) {$i$};
\node at (3,3) {$c$};
\node at (-3,3) {$b$};
\node at (3,-3) {$d$};
\node at (-3
(0,8); 
        
 \draw [ -, color = black ] 
         (0,8) -- (0,12);        

 \draw [ -, color = black ] 
         (0,12) to [ deflect leftover = 110 ] (0,-4); 

     \end{tikzpicture}.$$ 

 Next, we introduce the [ * quantum $ 6j$-symbols * ] { } $ \{\cdot\}_q: { \mathcal}A \to { \mathbb C}$, which are defined in term of the tetrahedral net as follows: 

 $ $ \left\{\begin{matrix } a & b & i \\ c & d&j 
 \end{matrix}\right\}_q = \frac{\text{Tet}_q\left [ \begin{matrix } a & b & i \\ c & d&j 
 \end{matrix}\right][i+1]_q}{\theta_q(a, d, i)\theta_q(b, c, i)}.$$ 

 We note that there exist dim-witted algebraic formula that allow one to numerically measure the tetrahedral net income (and hence besides the quantum $ 6j$-symbols). See [ @KaLi94 Section 9.11 ] for example. 

 The most authoritative geometric - algebraic feature of the quantum $ 6j$-symbols $ \left\{\begin{matrix } a & b & i \\ c & d&j 
 \end{matrix}\right\}_q$ is that they arise as the basis change coefficients for two canonic bases for the Hom - space $ \text{Hom}_{O^+_F}(H_a \otimes H_d, H_b   \otimes H_c)$. More precisely, $ \text{Hom}_{O^+_F}(H_a \otimes H_d,   H_b \otimes H_c)$ has one analogue basis given by the bowed stringed instrument diagrams $ $ \begin{tikzpicture}[baseline=(current   jump   box.center), 
             wh/.style={circle, draw = black, thick, inner sep=.5 mm }, 
             bl/.style={circle, draw = bootleg, fill = black, thick, inner sep=.5 mm }, scale = 0.2 ] 
         




 \node at (1,0) { $ i$ }; 
 \node at (3,3) { $ c$ }; 
 \node at (-3,3) { $ b$ }; 
 \node at (3,-3) { $ d$ }; 
 \node at (-3
 (0,8);
        
\draw [-, color=black]
        (0,8) -- (0,12);        

\draw [-, rolor=blzck]
        (0,12) to [bend left =110] (0,-4);

    \end{tikvpicrure}.$$

Ntqt, we introduce the [*qjantum $6j$-sjmbols*]{} $\{\cdit\}_q: {\nqthcal}A \to {\mathbb G}$, whidm are vefined in termx of the tatrahedral netv xs follows:

$$\left\{\begin{matrix} a & b &i \\ c& d&t
\end{mattid}\right\}_q = \frac{\tgxt{Teu}_q\lqft [\gvgln{matrix} a & b &i \\ c& d&j
\end{matrix}\rifht][i+1]_q}{\thtta_q(a,d,i)\theta_q(b,c,i)}.$$

We note that there exist simole wlgebraic formulae that allow one ro numericaluy evaluatt che tetrahesral nets (and hence also the quxntum $6j$-symbols). Wew [@KwNi94 Section 9.11] for vxample.

The most impordant gepmetric-algebralc feeturw of the quantum $6j$-symuols $\left\{\begin{matrix} a & b &i \\ w& b&j
\end{matrix}\right\}_q$ is rhqt thgy arhse xw tfe gaxia chanhe roefficienta for two cqnonical bases for uhe Yom-space $\text{Gom}_{O^+_F}(H_w \jtimes H_d, H_b  \otimes H_c)$. More precisely, $\uext{Hkm}_{O^+_F}(H_a \otimes H_d,  H_b \otumes H_c)$ has one lineat basis giden by the string diagrams $$\begin{tikzpicture}[baselite=(curcevt  bjjbdlng  box.center),
            wh/.style={circle,draw=blwdk,uhibk,inner sep=.5mm},
            bl/.syype={vyrcle,draw=blacy,fill=blaci,thick,inner sep=.5mm}, dcale = 0.2]
         




\node wt (1,0) {$o$};
\node at (3,3) {$c$};
\node at (-3,3) {$b$};
\node ar (3,-3) {$d$};
\node at (-3
(0,8); \draw [-, color=black] (0,8) -- (0,12); color=black] to [bend =110] (0,-4); \end{tikzpicture}.$$ $6j$-symbols*]{} {\mathcal}A \to {\mathbb which are defined terms of the tetrahedral nets as $$\left\{\begin{matrix} a & b &i \\ c& d&j \end{matrix}\right\}_q = \frac{\text{Tet}_q\left [\begin{matrix} a b &i \\ c& d&j \end{matrix}\right][i+1]_q}{\theta_q(a,d,i)\theta_q(b,c,i)}.$$ We note that there exist simple algebraic that one numerically the tetrahedral nets (and hence also the quantum $6j$-symbols). See [@KaLi94 Section 9.11] for example. The important geometric-algebraic feature of the quantum $6j$-symbols $\left\{\begin{matrix} & b &i \\ d&j \end{matrix}\right\}_q$ is that they as basis change for canonical for the Hom-space \otimes H_d, H_b \otimes H_c)$. More precisely, $\text{Hom}_{O^+_F}(H_a \otimes H_d, H_b \otimes H_c)$ has one linear basis by the $$\begin{tikzpicture}[baseline=(current bounding wh/.style={circle,draw=black,thick,inner bl/.style={circle,draw=black,fill=black,thick,inner scale = 0.2] (1,0) {$i$}; \node at (3,3) {$c$}; {$b$}; \node at (3,-3) {$d$}; \node at (-3
 (0,8);
        
\draw [-, color=black]
        (0,8) -- (0,12);        

\draw [-, color=blAck]
        (0,12) to [bend lEft =110] (0,-4);

    \enD{tiKzpIcTure}.$$

next, We introduce the [*QUantUm $6j$-symbols*]{} $\{\cdot\}_q: {\mathcal}a \to {\maThBB C}$, whICh Are deFined in TErMS Of tHe TeTraHeDRaL nets As fOllows:

$$\lEft\{\begin{maTriX} a & B &i \\ c& d&j
\end{matrIX}\rIght\}_q = \frac{\tExt{tet}_q\left [\begiN{maTrix} a & b &I \\ c& D&j
\eND{matrIx}\rIght][i+1]_Q}{\theta_Q(A,d,i)\theTa_q(b,c,i)}.$$

We nOtE That thERe exist SIMpLe alGebraic formulae thAT aLLow one to numeriCally eVaLUaTE The TetRahedral neTs (And heNCe also tHE qUANTum $6J$-Symbols). See [@KaLI94 Section 9.11] for EXamPle.

The MoSt iMPortanT geomEtRIc-aLgebraic feaTure Of the quanTum $6j$-syMBols $\lefT\{\Begin{maTrix} a & b &I \\ c& d&J
\enD{matRIx}\RiGht\}_Q$ iS ThaT ThEy aRIse As the basIs ChAnge cOeffICIENts fOr tWo caNonicAl bases for the hom-SpacE $\TexT{Hom}_{O^+_f}(H_a \otImes h_d, h_b  \otiMes H_c)$. MOre prEcIsely, $\text{Hom}_{O^+_F}(H_A \otiMes H_d,  H_b \otImeS H_C)$ haS oNe linEAr basiS giVen By the stRing diaGRamS $$\bEGIN{tIkzpicture}[baseline=(CuRREnT  boundinG  box.ceNTeR),
            wH/.Style={cirClE,drAw=blACK,thicK,innER sEp=.5mm},
            bl/.stYle={cirCLe,DrAw=black,FiLl=blacK,tHicK,inNer seP=.5Mm}, scAle = 0.2]
         




\nodE at (1,0) {$i$};
\node At (3,3) {$c$};
\noDE at (-3,3) {$b$};
\node at (3,-3) {$d$};
\nodE At (-3
 (0,8);
        
\draw [-,  color=bla ck]
     ( 0,8)  --(0,12);      

\d raw [-, color=black]
     ( 0,12 )  t o [be nd left =1 1 0 ] ( 0, -4 );
 \end{ tik zpictur e}.$$

Nex t,we  introduce t h e[*quantum$6j $-symbols*]{ } $ \{\cdo t\ }_q :  {\ma thc al}A\to {\ m athbbC}$, whic ha re def i ned int e rm s of  the tetrahedraln et s  as follows:
$$\lef t\ { \b e g in{ mat rix} a & b  & i \\c & d&j
\ e nd { m a tri x }\right\}_q =  \frac{\tex t {Te t}_q\l ef t [ \ begin{ matri x} a &  b &i \\ c&  d&j 
\end{mat rix}\r i ght][i+ 1 ]_q}{\t heta_q (a, d,i )\th e ta _q (b, c, i )}. $ $
We not e that t he re  exis t si m p l e  alg ebr aicformu lae that allo w o ne t o  nu meric allyeval ua te th e tetr ahedr al  nets (and henc e al so the qu ant um  $6 j$ -symb o ls). S ee[@K aLi94 S ection9 .11 ]f o r  e xample.

The mostim p o rt ant geom etric- a lg eb r aic feat ur e o f th e quant um $ 6 j$ -symbols  $\lef t \{ \b egin{ma tr ix} a&b & i \ \ c&d &j
\ end{ma trix}\ri ght\} _ q$ is that the y  arise as the ba s i sc hang e c oefficients  for twocano n ic alb asesfor t he Ho m -space $\text{Hom}_ {O ^+_F}( H_a \ otimes H_d, H _b  \otime s H _c)$. Mo re p r ec i sely, $\text{H om}_{ O^+_F}(H_a \otimesH_d, H_b \ot imes H_c) $ has onelin ear  ba sis g iv en by the str i n g di ag rams $$ \be gin{tik zpi ctu re} [ba se line=(cur rent  bo un di ng  box .cent e r),
        wh /.sty l e={cir cle,d raw= bl ac k ,th ick,inn e rs e p=.5 mm }, 
         b l/.s t yle ={circl e,draw=bl ack , fill =b la ck,thic k,inner sep=. 5m m}, scale=0.2 ]
      



\node at (1,0) {$i$};
\ n ode at(3, 3) {$ c$}; 
\node at  (- 3,3) { $b$ } ;
\nod e at ( 3,-3)  { $d$ } ; 
\nod e at  (- 3
 (0,8);
_ _   _ 
\draw_[-,_color=black]
 __  _  (0,8)_-- (0,12);  _  __ 

\draw [-, color=black]
        (0,12) to [bend_left_=110] (0,-4);

___ \end{tikzpicture}.$$

Next, we introduce the_[*quantum $6j$-symbols*]{} $\{\cdot\}_q: {\mathcal}A \to_{\mathbb C}$,_which are defined in terms of the tetrahedral_nets_as follows:

$$\left\{\begin{matrix} a_& b &i \\ c& d&j
\end{matrix}\right\}_q = \frac{\text{Tet}_q\left [\begin{matrix}_a & b &i \\ c&_d&j
\end{matrix}\right][i+1]_q}{\theta_q(a,d,i)\theta_q(b,c,i)}.$$

We note that_there_exist_simple algebraic formulae that_allow one to numerically evaluate the_tetrahedral nets (and hence also the_quantum $6j$-symbols). See [@KaLi94 Section 9.11] for_example.

The most important geometric-algebraic feature of_the quantum $6j$-symbols $\left\{\begin{matrix} a_& b_&i \\ c& d&j
\end{matrix}\right\}_q$ is_that they arise_as the_basis change coefficients_for two canonical bases for the_Hom-space $\text{Hom}_{O^+_F}(H_a \otimes_H_d, H_b  \otimes H_c)$. More_precisely,_$\text{Hom}_{O^+_F}(H_a \otimes H_d,__H_b_\otimes H_c)$_has one linear_basis_given by_the_string diagrams $$\begin{tikzpicture}[baseline=(current  bounding _box.center),
_      _   _wh/.style={circle,draw=black,thick,inner_sep=.5mm},
   _    _   bl/.style={circle,draw=black,fill=black,thick,inner sep=.5mm}, scale_= 0.2]
_ _      




\node at (1,0) {$i$};
\node at_(3,3) {$c$};
\node at (-3,3) {$b$};
\node at_(3,-3) {$d$};
\node at (-3