 main algorithm, gives rise to a polynomial-time algorithm for computing Kronecker coefficients with a bounded number of rows. This second algorithm runs faster than the generic one presented earlier, since the ambient space ${\mathbb R}^{abc}$ has a smaller dimension than what we would get from the construction described in the proof of. We remark that the time complexity for unbounded $a$, $b$ and $c$ can be deduced from [@barvinokpommersheim99].

Asymptotics {#section:asymptotics}
===========

In this section we will prove our result on the generic order of growth of multiplicities in the coordinate ring of a projective variety ().

We will work in the following general setup: Let $V$ be a finite-dimensional rational representation of $H$, and suppose that $X$ is an $H$-stable closed subvariety of the associated projective space ${\mathbb P}(V)$. The homogeneous coordinate ring ${\mathbb C}[X]$ is graded, and we can decompose each part into its irreducible components, $$\label{alggeo setup}
  {\mathbb C}[X]
  = \bigoplus_{k=0}^\infty {\mathbb C}[X]_k
  = \bigoplus_{k=0}^\infty \bigoplus_{\mu} m_{H,X,k}(\mu) \, V_{H,\mu}^*,$$ where, following the usual conventions, we have decomposed with respect to the dual representations $V_{H,\mu}^*$. The *stretching function* is then by definition $k \mapsto m_{H,X,k}(k\mu)$. We stress that in contrast to [@mulmuley07], where it was assumed that $X$ has at most rational singularities, we do not even require that $X$ is a normal variety [@hartshorne77]. This is highly relevant for geometric complexity theory, since it was recently shown in [@kumar10b] and [@burgisserikenmeyer11] that the studied varieties (the orbit closures of the determinant and permanent on the one hand, and of the matrix multiplication tensor and the unit tensor on the other hand) are in fact never normal except in trivial situations.

The subgroup restriction problem for a rational group homomorphism $f \colon H \rightarrow G$ can be realized in the above setup: Indeed, for any highest weight $\lambda \in \Lambda^*_{G,+}$ consider $X = \mathcal O_{G,\lambda}$, the
main algorithm, gives rise to a polynomial - time algorithm for calculate Kronecker coefficient with a bounce number of row. This second algorithm scat faster than the generic one presented in the first place, since the ambient distance $ { \mathbb R}^{abc}$ has a smaller dimension than what we would get from the structure described in the proof of. We remark that the time complexity for boundless $ a$, $ b$ and $ c$ can be deduced from [ @barvinokpommersheim99 ]. 

 Asymptotics { # section: asymptotics } 
 = = = = = = = = = = = 

 In this incision we will prove our result on the generic ordering of growth of multiplicities in the coordinate ring of a projective kind (). 

 We will work in the following general setup: permit $ V$ be a finite - dimensional rational representation of $ H$, and suppose that $ X$ is an $ H$-stable closed subvariety of the associated projective quad $ { \mathbb P}(V)$. The homogeneous coordinate ring $ { \mathbb C}[X]$ is graded, and we can decompose each part into its irreducible components, $ $ \label{alggeo setup } 
   { \mathbb C}[X ] 
   = \bigoplus_{k=0}^\infty { \mathbb C}[X]_k 
   = \bigoplus_{k=0}^\infty \bigoplus_{\mu } m_{H, X, k}(\mu) \, V_{H,\mu}^*,$$ where, following the usual conventions, we have decomposed with respect to the dual representations $ V_{H,\mu}^*$. The * stretching function * is then by definition $ k \mapsto m_{H, X, k}(k\mu)$. We stress that in contrast to [ @mulmuley07 ], where it was wear that $ X$ has at most rational singularities, we do not even want that $ X$ is a normal variety show [ @hartshorne77 ]. This is highly relevant for geometric complexity theory, since it was recently shown in [ @kumar10b ] and [ @burgisserikenmeyer11 ] that the studied diverseness (the eye socket closures of the determinant and permanent on the one bridge player, and of the matrix multiplication tensor and the unit tensor on the other hand) are in fact never normal except in trivial situations. 

 The subgroup limitation problem for a rational group homomorphism $ f \colon H \rightarrow G$ can be realized in the above setup: Indeed, for any highest weight $ \lambda \in \Lambda^*_{G,+}$ view $ X = \mathcal O_{G,\lambda}$, the
 maln algorithm, gives rise uo a polynomial-time algocithm fkr compuging Kronecker coefficients xith a boynded number of rows. Tfis seconf algorirhm cuns faster than the gencxic ohc prevxnted earlier, slnce the amtient space ${\madhcb R}^{abc}$ has a smaller dimension than rhat we wluld get from jhe cpgstrhbtlon described in the proof of. We remark that the timr complexity for unbounded $a$, $b$ and $c$ can be dedufed from [@batbinjjpommersheim99].

Xsymptotics {#section:asyjptotics}
===========

In this section we will provz our resulj kn jhe generic irder of growth on multi[licitirs in the coorcinete eing of a projective tariety ().

We will work in the fmlmowing general serup: Let $V$ ba a wunige-djmxnsjonal gatmonal repreaentation od $H$, and suppose thau $X$ px an $H$-stable closeq fubvariety of the associated projective spzce ${\mathbb P}(V)$. The homogwneous coordinate rinh ${\mathbb S}[X]$ is graded, and we can decompose each part into hts icrdduelnle zimoonents, $$\label{alggeo setup}
  {\mathbb C}[X]
  = \bigoplta_{k=0}^\onnty {\mathbb C}[X]_k
  = \bigoplus_{k=0}^\imfhy \figoplus_{\mu} m_{H,B,k}(\mu) \, R_{G,\mh}^*,$$ where, following hhe usuwl cobventions, we nave decomposed with respecr to the duaj representations $V_{K,\mu}^*$. The *strecching funcyion* is then by definitnon $k \japsto m_{H,X,k}(n\mu)$. We stddss that in contfasn to [@mulmuley07], where it was asstmed that $X$ hcs at mort rstionaj singularlties, we do not even reqkire jhat $X$ is a normwl variety [@hartshorne77]. This is hmjhly relevant fmr ceometrie compkexity theory, since it was tecently fhown in [@kumar10b] and [@bucgisserikenmqyer11] that the dtudied varixties (the orbut coosures uf the determimant and iexmanent ob the one hand, and of fhe matrix multnklixation tensor amd ghe ujiv tenfmr on the otver fana) are kn fact nevcr vormsl except in trivial sithations.

The subgroul vestrictiin problqm for a ratipnal group homomorkhism $h \coloi H \ribhtwrrow G$ can be realized in the above sehup: Indeed, for wny mighgst weight $\kambda \in \Lambda^*_{G,+}$ consider $X = \mathcal O_{J,\lambda}$, the
main algorithm, gives rise to a polynomial-time computing coefficients with bounded number of faster the generic one earlier, since the space ${\mathbb R}^{abc}$ has a smaller than what we would get from the construction described in the proof of. remark that the time complexity for unbounded $a$, $b$ and $c$ can be from Asymptotics =========== this section we will prove our result on the generic order of growth of multiplicities in coordinate ring of a projective variety (). We work in the following setup: Let $V$ be a rational of $H$, suppose $X$ an $H$-stable closed of the associated projective space ${\mathbb P}(V)$. The homogeneous coordinate ring ${\mathbb C}[X]$ is graded, and we decompose each its irreducible $$\label{alggeo {\mathbb = \bigoplus_{k=0}^\infty {\mathbb \bigoplus_{k=0}^\infty \bigoplus_{\mu} m_{H,X,k}(\mu) \, V_{H,\mu}^*,$$ where, conventions, we have decomposed with respect to the representations $V_{H,\mu}^*$. *stretching function* is then by definition \mapsto m_{H,X,k}(k\mu)$. We stress that in contrast to where it was assumed that $X$ has at most rational singularities, we do not even $X$ is a normal [@hartshorne77]. This is relevant geometric theory, it was shown in [@kumar10b] and [@burgisserikenmeyer11] that the studied varieties (the orbit of the determinant and permanent on the one hand, and matrix tensor and the tensor on the other are fact never normal except situations. subgroup a group $f \colon H \rightarrow can be realized in the setup: Indeed, for any consider $X = \mathcal O_{G,\lambda}$, the
 main algorithm, gives rise to a Polynomial-Time aLgoRitHm For cOmpuTing Kronecker cOEffiCients with a bounded numbEr of rOwS. this SEcOnd alGorithm RUnS FAstEr ThAn tHe GEnEric oNe pResenteD earlier, siNce ThE ambient spacE ${\MaThbb R}^{abc}$ haS a sMaller dimensIon Than whAt We wOUld geT frOm the ConstrUCtion dEscribed iN tHE proof OF. We remaRK ThAt thE time complexity foR UnBOunded $a$, $b$ and $c$ caN be dedUcED fROM [@baRviNokpommersHeIm99].

AsyMPtotics {#SEcTION:asYMptotics}
===========

In thiS section we wILl pRove ouR rEsuLT on the GenerIc ORdeR of growth of MultIplicitieS in the COordinaTE ring of A projeCtiVe vArieTY ().

WE wIll WoRK in THe FolLOwiNg generaL sEtUp: Let $v$ be a FINITe-diMenSionAl ratIonal represenTatIon oF $h$, anD suppOse thAt $X$ iS aN $H$-staBle cloSed suBvAriety of the assoCiatEd projectIve SpAce ${\MaThbb P}(v)$. the homOgeNeoUs coordInate riNG ${\maThBB c}[x]$ iS graded, and we can decOmPOSe Each part Into itS IrReDUcible coMpOneNts, $$\lABEl{algGeo sETuP}
  {\mathbb C}[x]
  = \bigopLUs_{K=0}^\iNfty {\matHbB C}[X]_k
  = \biGoPluS_{k=0}^\iNfty \bIGoplUs_{\mu} m_{H,x,k}(\mu) \, V_{H,\mu}^*,$$ Where, FOllowing the usuAL conventions, wE HaVE DeCOmpoSed With respect To thE Dual ReprESeNtaTIons $V_{h,\mu}^*$. ThE *sTReTChing function* is then By DefiniTion $k \Mapsto m_{H,X,k}(k\mu)$. we stress thAT IN contrasT to [@mULmULey07], where it was aSsumeD that $X$ has aT Most ratiOnal sIngulariTies, we do nOT Even requIre ThaT $X$ iS a nORMaL variety [@hartsHORne77]. THiS is highLy rElevant For GeoMetRic CoMplexity tHeory, sinCe It WaS rEceNtly sHOwn in [@kumAr10B] anD [@bUrgIsserIKenmeyEr11] thaT the StUdIEd vArietieS (ThE ORbit ClOsUres Of tHe DeterMinaNT anD permanEnt on the oNe hANd, anD oF tHe matriX multiplicatiOn Tensor and tHe UniT tensoR ON the otheR hand) are in fact never normAL except In tRiviaL sitUations.

ThE suBgroup ResTRictioN problEm for A rAtiONAl groUP HoMomOrPhism $f \coloN h \RigHtarrOw g$ can Be realiZed in the above setup: iNdeEd, for any higheSt wEighT $\LAmBda \IN \LAMbdA^*_{G,+}$ COnsIDEr $X = \mathcal O_{G,\lamBda}$, the
 main algorithm, gives ris e to a pol ynomi al- tim ealgo rith m for computin g  Kro necker coefficients wi th abo u nded nu mberof rows .  T h i s s ec on d a lg o ri thm r uns  faster  than thegen er ic one prese n te d earlier,  si nce the ambi ent  space  $ {\m a thbbR}^ {abc} $ hasa  small er dimens io n  thanw hat wew o ul d ge t from the constr u ct i on described i n thepr o of o f.Weremark tha tthe t i me comp l ex i t y  fo r  unbounded $a $, $b$ and$ c$can be  d edu c ed fro m [@b ar v ino kpommershei m99] .

Asympt otics{ #sectio n :asympt otics} 
== === ==== = =
I n t hi s  se c ti onw e w ill prov eou r res ulto n t he g ene ricorder  of growth of  mu ltip l ici tiesin th e co or dinat e ring  of a  p rojective varie ty ( ).

We wi llwo rkin  thef ollowi nggen eral se tup: Le t  $V $b e afinite-dimensional  r a t io nal repr esenta t io no f $H$, a nd  su ppos e that$X$i san $H$-s tablec lo se d subva ri ety of  t heass ociat e d pr ojecti ve space  ${\m a thbb P}(V)$. T h e homogeneous co o r di n aterin g ${\mathbb  C}[ X ]$ i s gr a de d,a nd we  cande c om p ose each part intoit s irre ducib le components , $$\label { a l ggeo set up} { \ mathbb C}[X]
 = \b igoplus_{k = 0}^\inft y {\m athbb C} [X]_k
  = \ bigoplus _{k =0} ^\i nft y \b igoplus_{\mu} m _{H, X, k}(\mu)  \,  V_{H,\ mu} ^*, $$whe re , followi ng the u su al  c on ven tions ,  we have  d eco mp ose d wit h  respe ct to  the  d ua l  re present a ti o n s $V _{ H, \mu} ^*$ .The * stre t chi ng func tion* isthe n  byde fi nition$k \mapsto m_ {H ,X,k}(k\mu )$ . W e stre s s  that in  contrast to [@mulmuley 0 7], whe reit wa s as sumed tha t $ X$ has  at most r ationa l sin gu lar i t ies,w e  d o n ot  even requ i r e t hat $ X$  isa norma l variety [@hartsh o rne 77]. This ishig hlyr e le van t  f o r g eo m etr i c  complexity the ory, since  i t  w as recentl y  sh ow n in [@ kumar10 b] an d  [@burg isseriken meyer11]th at t h e  st udied vari eties (t he orbitc losur e sof th e d etermi na ntand p ermane n t o n the  one h an d, and  of t he  matrixmultiplication tensor a nd the  unit  te nsor on t heo the r hand) a re i n fact nev ernor mal e xce p t intriv i al  si t uatio ns.The subgr o up  re s t ri ction probl e m for  a ra tio n al gro up h omomorphism $f \c o lon H \rightar rowG $  ca n b e  rea li zed in the abo vese t u p: Indee d,  for any hi ghest we ig h t $\l ambda\in \L ambda^* _ { G, + }$ con side r $ X = \math cal  O _ {G,\lam bd a} $ , the
 main_algorithm, gives_rise to a polynomial-time_algorithm for_computing_Kronecker coefficients_with_a bounded number_of rows. This_second algorithm runs faster_than the generic_one_presented earlier, since the ambient space ${\mathbb R}^{abc}$ has a smaller dimension than what_we_would get_from_the_construction described in the proof_of. We remark that the_time complexity_for unbounded $a$, $b$ and $c$ can be_deduced_from [@barvinokpommersheim99].

Asymptotics {#section:asymptotics}
===========

In_this section we will prove our result on the_generic order of growth of multiplicities_in the coordinate_ring_of_a projective variety ().

We_will work in the following general_setup: Let $V$ be a finite-dimensional_rational representation of $H$, and suppose that_$X$ is an $H$-stable closed subvariety_of the associated projective space_${\mathbb P}(V)$._The homogeneous coordinate ring ${\mathbb_C}[X]$ is graded,_and we_can decompose each_part into its irreducible components, $$\label{alggeo_setup}
  {\mathbb_C}[X]
  = \bigoplus_{k=0}^\infty {\mathbb C}[X]_k
__= \bigoplus_{k=0}^\infty \bigoplus_{\mu}_m_{H,X,k}(\mu)_\,_V_{H,\mu}^*,$$ where,_following the usual_conventions,_we have_decomposed_with respect to the dual representations_$V_{H,\mu}^*$._The *stretching function* is then by definition_$k \mapsto m_{H,X,k}(k\mu)$. We_stress_that in contrast to_[@mulmuley07], where it was assumed_that $X$ has at most rational_singularities, we_do not_even require that $X$ is a normal variety [@hartshorne77]. This is_highly relevant for geometric complexity theory,_since it was recently_shown in_[@kumar10b]_and [@burgisserikenmeyer11] that_the_studied varieties_(the orbit closures of the determinant and_permanent on_the one hand, and of the_matrix multiplication tensor and_the_unit tensor on the other hand)_are in fact never normal except_in trivial situations.

The subgroup restriction_problem_for_a rational group homomorphism $f_\colon H \rightarrow G$ can be_realized in the_above setup: Indeed, for any highest weight_$\lambda_\in \Lambda^*_{G,+}$ consider $X = \mathcal_O_{G,\lambda}$,_the