 a pair of SSYT of shape $\mu$ (with the same weight) and an elegant filling (see Definition \[elegant\]) of shape $\lambda/\mu$.

Note that each nonintersecting lattice path system from $A$ to $B$ (geometrically one can see here that each $A_i$ should go to $B_i$) decomposes into two parts: below the $y = 0$ line (‘underwater’) and the upper part having weights $x_i$. (For instance, in Figure \[fff\] we have the weight $x_1 x_2^2 x_3 x_4$.) The upper part can be translated into an SSYT of some shape $\mu \subseteq \lambda$; and the ‘underwater’ part into an elegant tableau of the remaining shape $\lambda/\mu$ which repeats the decomposition. So, $g_{\lambda} = \det\left[ w(A_i \to B_j)\right]_{1 \le i,j \le \ell}$. $\square$

Instead of counting elegant tableaux with all weights $1$, we can similarly give weights to numbers in these fillings, or equivalently give some weights to the ‘underwater’ part. So, if we put the weight $t_i$ to the number $i$ in an elegant tableaux or to diagonal steps ‘underwater’, the resulting function will correspond to the [*refined*]{} dual stable Grothendieck polynomials $\widetilde{g}_{\lambda/\mu}(x,t)$ introduced by Galashin, Grinberg, and Liu in [@ggl] where they gave Bender-Knuth type involutions for proving that $g_{\lambda/\mu}$ is a symmetric function.

From our setting, the Schur decomposition rewrites with $t = (t_1, t_2, \ldots)$ parameters as follows $$\widetilde{g}_{\lambda}(x,t) = \sum_{\mu} f_{\lambda/\mu}(t) s_{\mu},$$ where $f_{\lambda/\mu}(t) = \sum_{\text{elegant tableaux of } \lambda/\mu} \prod t_i^{a_i}$ ($a_i$ is the number of times $i$ occurs in an elegant tableau). By the same argument as the proof above (but with the $t$ parameters added), we obtain the following
a pair of SSYT of shape $ \mu$ (with the same weight) and an elegant woof (examine Definition \[elegant\ ]) of shape $ \lambda/\mu$. 

 Note that each nonintersecting wicket path organization from $ A$ to $ B$ (geometrically one can see here that each $ A_i$ should go to $ B_i$) decomposes into two region: below the $ y = 0 $ line (‘ underwater ’) and the upper part have weights $ x_i$. (For instance, in Figure \[fff\ ] we get the weight $ x_1 x_2 ^ 2 x_3 x_4$.) The upper part can be translated into an SSYT of some shape $ \mu \subseteq \lambda$; and the ‘ underwater ’ part into an elegant tableau of the remaining human body $ \lambda/\mu$ which repeats the decomposition. So, $ g_{\lambda } = \det\left [ w(A_i \to B_j)\right]_{1 \le i, j \le \ell}$. $ \square$ 

 rather of counting elegant tableaux with all weights $ 1 $, we can similarly give weight to numbers in these fillings, or equivalently give some weights to the ‘ underwater ’ function. So, if we put the weight $ t_i$ to the number $ i$ in an elegant tableaux or to aslant tone ‘ underwater ’, the resulting function will correspond to the [ * refined * ] { } dual stable Grothendieck polynomials $ \widetilde{g}_{\lambda/\mu}(x, t)$ introduced by Galashin, Grinberg, and Liu in [ @ggl ] where they gave Bender - Knuth type involution for proving that $ g_{\lambda/\mu}$ is a symmetric routine. 

 From our place setting, the Schur decomposition rewrites with $ t = (t_1, t_2, \ldots)$ argument as follows $ $ \widetilde{g}_{\lambda}(x, t) = \sum_{\mu } f_{\lambda/\mu}(t) s_{\mu},$$ where $ f_{\lambda/\mu}(t) = \sum_{\text{elegant tableaux of } \lambda/\mu } \prod t_i^{a_i}$ ($ a_i$ is the number of times $ i$ occurs in an elegant tableau). By the like argument as the proof above (but with the $ t$ parameters added), we obtain the following
 a oair of SSYT of shape $\mu$ (with the same cwight) end an slegant willing (see Definition \[elegait\]) od shakv $\lambda/\mu$.

Note that exch noninnersectint lautice path system from $A$ bj $B$ (fcometxirally one can sge here that each $A_i$ shoulg eo to $B_i$) decomposes into two parts: bejow the $y = 0$ line (‘underwwter’) wnd fhe upper part having weights $x_i$. (Fkr instence, in Figure \[gff\] we have the weight $x_1 x_2^2 x_3 x_4$.) The upper part caj be translqted unto an SSYT of some shape $\mu \subsgteq \lambda$; and the ‘underwater’ pxrt iuto an elegqnr twtleau of thx remapning shape $\lambda/\mu$ fhich rrpeats the decpmpmsirion. So, $g_{\lambda} = \det\lxft[ w(A_i \to B_j)\right]_{1 \lg i,j \le \eln}$. $\aquare$

Instead of xoyntinc elagang taclezue wjth alp wxights $1$, we dan similaroy give weights to muivers in these filliggf, or equivalently give some weights to uhe ‘uhderwater’ part. So, if we put the weight $t_i$ to the numbqr $i$ in an elegant tableaux or to diagonal steps ‘gnderxager’, tme rdwupting function will correspond to the [*refined*]{} susl stable Grothekdieck polynomials $\wldrjilde{g}_{\lambda/\mu}(b,t)$ intxkdhced by Galashin, Gginberg, and Oiu in [@ggj] whrre they gave Bender-Knuth ttpe involutijbs for proving thac $g_{\lambda/\mu}$ ns a simmetroc function.

From our setcing, tge Schur defompositikv rewrites with $g = (n_1, t_2, \ndots)$ parameters as followf $$\widetilve{g}_{\lakbda}(x,t) = \sum_{\ku} f_{\laibda/\mu}(t) s_{\mk},$$ wheva $f_{\lambda/\mu}(t) = \sum_{\tfxt{elggant dableaux ov } \lambda/\mu} \prod t_i^{a_i}$ ($a_i$ is the number of timgs $h$ obcurs in cn elenant tableau). By the same argukent as the oroof abovv (but witi the $t$ paraieters added), fg obtain the hollowing
a pair of SSYT of shape $\mu$ same and an filling (see Definition that nonintersecting lattice path from $A$ to (geometrically one can see here that $A_i$ should go to $B_i$) decomposes into two parts: below the $y = line (‘underwater’) and the upper part having weights $x_i$. (For instance, in Figure we the $x_1 x_3 x_4$.) The upper part can be translated into an SSYT of some shape $\mu \subseteq and the ‘underwater’ part into an elegant tableau the remaining shape $\lambda/\mu$ repeats the decomposition. So, $g_{\lambda} \det\left[ \to B_j)\right]_{1 i,j \ell}$. Instead of counting tableaux with all weights $1$, we can similarly give weights to numbers in these fillings, or equivalently some weights ‘underwater’ part. if put weight $t_i$ to $i$ in an elegant tableaux or ‘underwater’, the resulting function will correspond to the dual stable polynomials $\widetilde{g}_{\lambda/\mu}(x,t)$ introduced by Galashin, Grinberg, Liu in [@ggl] where they gave Bender-Knuth type for proving that $g_{\lambda/\mu}$ is a symmetric function. From our setting, the Schur decomposition rewrites = (t_1, t_2, \ldots)$ as follows $$\widetilde{g}_{\lambda}(x,t) \sum_{\mu} s_{\mu},$$ $f_{\lambda/\mu}(t) \sum_{\text{elegant tableaux } \lambda/\mu} \prod t_i^{a_i}$ ($a_i$ is the number of times $i$ in an elegant tableau). By the same argument as the (but the $t$ parameters we obtain the following
 a pair of SSYT of shape $\mu$ (with tHe same weigHt) and An eLegAnT filLing (See Definition \[eLEganT\]) of shape $\lambda/\mu$.

Note thAt eacH nONintERsEctinG latticE PaTH SysTeM fRom $a$ tO $b$ (gEometRicAlly one Can see here ThaT eAch $A_i$ should gO To $b_i$) decomposEs iNto two parts: bEloW the $y = 0$ lInE (‘unDErwatEr’) aNd the Upper pARt haviNg weights $X_i$. (fOr instANce, in FiGURe \[Fff\] wE have the weight $x_1 x_2^2 x_3 X_4$.) thE Upper part can be TranslAtED iNTO an sSYt of some shaPe $\Mu \subSEteq \lamBDa$; AND The ‘UNderwater’ part Into an elegaNT taBleau oF tHe rEMaininG shapE $\lAMbdA/\mu$ which repEats The decompOsitioN. so, $g_{\lambDA} = \det\lefT[ w(A_i \to b_j)\rIghT]_{1 \le i,J \Le \ElL}$. $\sqUaRE$

InSTeAd oF CouNting eleGaNt TableAux wITH ALl weIghTs $1$, we Can siMilarly give weIghTs to NUmbErs in These FillInGs, or eQuivalEntly GiVe some weights to The ‘uNderwater’ ParT. SO, if We Put thE Weight $T_i$ tO thE number $I$ in an elEGanT tABLEaUx or to diagonal stepS ‘uNDErWater’, the ResultINg FuNCtion wilL cOrrEspoND To the [*RefiNEd*]{} Dual stabLe GrotHEnDiEck polyNoMials $\wIdEtiLde{G}_{\lambDA/\mu}(x,T)$ introDuced by GAlashIN, Grinberg, and LiU In [@ggl] where theY GaVE beNDer-KNutH type involuTionS For pRoviNG tHat $G_{\LambdA/\mu}$ is A sYMmETric function.

From our SeTting, tHe SchUr decompositiOn rewrites WITH $t = (t_1, t_2, \ldotS)$ parAMeTErs as follows $$\wiDetilDe{g}_{\lambda}(x,T) = \Sum_{\mu} f_{\laMbda/\mU}(t) s_{\mu},$$ wheRe $f_{\lambda/\MU}(T) = \sum_{\text{EleGanT taBleAUX oF } \lambda/\mu} \prod T_I^{A_i}$ ($a_i$ Is The numbEr oF times $i$ OccUrs In aN elEgAnt tableaU). By the saMe ArGuMeNt aS the pROof above (BuT wiTh The $T$ paraMEters aDded), wE obtAiN tHE foLlowing
 a pair of SSYT of shape $ \mu$ (with  thesam e w ei ght)  and  an elegant fi l ling  (see Definition \[ele gant\ ]) of s h ap e $\l ambda/\ m u$ . 
No te  t hat  e a ch  noni nte rsectin g latticepat hsystem from$ A$  to $B$ (g eom etrically on e c an see  h ere thateac h $A_ i$ sho u ld goto $B_i$)  d e compos e s intot w opart s: below the $y = 0$ line (‘underwa ter’)an d  t h e  up per  part havi ng  weig h ts $x_i $ .( F o r i n stance, in Fi gure \[fff\ ]  we  haveth e w e ight $ x_1 x _2 ^ 2 x _3 x_4$.) T he u pper part  can b e  transl a ted int o an S SYT  of  som e  s ha pe$\ m u \ s ub set e q \ lambda$;  a nd  the‘und e r w a ter’  pa rt i nto a n elegant tab lea u of the  rema ining  sha pe  $\la mbda/\ mu$ w hi ch repeats thedeco mposition . S o,  $g _{ \lamb d a} = \ det \le ft[ w(A _i \toB _j) \r i g h t] _{1 \le i,j \le \e ll } $ .$\square $

Ins t ea do f counti ng  el egan t table auxw it h all we ights$ 1$ ,we cansi milarl ygiv e w eight s  tonumber s in the se fi l lings, or equi v alently gives om e we i ghts  to  the ‘under wate r ’ pa rt.S o,  if we pu t the  w e ig h t $t_i$ to the numb er  $i$ i n anelegant table aux or tod i a gonal st eps‘ un d erwater’, theresul ting funct i on willcorre spond to  the [*re f i ned*]{}dua l s tab leG r ot hendieck poly n o mial s$\widet ild e{g}_{\ lam bda /\m u}( x, t)$ intro duced by  G al as hi n,Grinb e rg, andLi u i n[@g gl] w h ere th ey ga ve B en de r -Kn uth typ e  i n v olut io ns  for  pr ov ing t hat$ g_{ \lambda /\mu}$ is  as ymme tr ic  functi on.

From our  s etting, th eSch ur dec o m position  rewrites with $t = (t_ 1 , t_2,\ld ots)$  par ameters a s f ollows  $$ \ wideti lde{g} _{\la mb da} ( x ,t) = \ su m_{ \m u} f_{\lam b d a/\ mu}(t )s_{\ mu},$$where $f_{\lambda/ \ mu} (t) = \sum_{\ tex t{el e g an t t a bl e aux  o f  }\ l ambda/\mu} \pro d t_i^{a_i }$ ($ a_i$ is th e  nu mb er of t imes $i $ occ u rs in a n elegant  tableau) .By t h e  sa me argumen t as the  proof ab o ve (b u twiththe  $t$ p ar ame tersadded) ,  we  obta in the  f ollowi ng
 a_pair of_SSYT of shape $\mu$_(with the_same_weight) and_an_elegant filling (see_Definition \[elegant\]) of_shape $\lambda/\mu$.

Note that each_nonintersecting lattice path_system_from $A$ to $B$ (geometrically one can see here that each $A_i$ should go_to_$B_i$) decomposes_into_two_parts: below the $y =_0$ line (‘underwater’) and the_upper part_having weights $x_i$. (For instance, in Figure \[fff\]_we_have the weight_$x_1 x_2^2 x_3 x_4$.) The upper part can be_translated into an SSYT of some_shape $\mu \subseteq_\lambda$;_and_the ‘underwater’ part into_an elegant tableau of the remaining_shape $\lambda/\mu$ which repeats the decomposition._So, $g_{\lambda} = \det\left[ w(A_i \to B_j)\right]_{1_\le i,j \le \ell}$. $\square$

Instead of_counting elegant tableaux with all_weights $1$,_we can similarly give weights_to numbers in_these fillings,_or equivalently give_some weights to the ‘underwater’ part._So, if we_put the weight $t_i$ to the_number_$i$ in an_elegant_tableaux_or to_diagonal steps ‘underwater’,_the_resulting function_will_correspond to the [*refined*]{} dual stable_Grothendieck_polynomials $\widetilde{g}_{\lambda/\mu}(x,t)$ introduced by Galashin, Grinberg, and_Liu in [@ggl] where_they_gave Bender-Knuth type involutions_for proving that $g_{\lambda/\mu}$ is_a symmetric function.

From our setting, the_Schur decomposition_rewrites with_$t = (t_1, t_2, \ldots)$ parameters as follows $$\widetilde{g}_{\lambda}(x,t) = \sum_{\mu}_f_{\lambda/\mu}(t) s_{\mu},$$ where $f_{\lambda/\mu}(t) = \sum_{\text{elegant_tableaux of } \lambda/\mu}_\prod t_i^{a_i}$_($a_i$_is the number_of_times $i$_occurs in an elegant tableau). By the_same argument_as the proof above (but with_the $t$ parameters added),_we_obtain the following