:7}$$ [*b) The first order transition line takes over the AT line:*]{} The paradox in [*a)*]{} is resolved by noting that for a given $k$, multiple RS solutions of $q$ may coexist for a given $\alpha$. Indeed, $\alpha^{(0)}(k,q)$ is monotonic in $q$ for $k\!\le\!k^{(0)}_c\!=\!2.89$, and not so otherwise. Among the coexisting stable RS solutions for $k > k^{(0)}_c$, the one with the lowest entropy is relevant. Hence, there is a first order transition in $q$ at a value $\alpha^{(0)}_1(k)$, determined by the vanishing of the entropy difference between the coexisting stable solutions. The jump in $q$ across the transition widens from 0 at $k=k^{(0)}_c$, and when $k$ increases above $k^{(0)}_0=3.11$, $q$ jumps directly from zero to nonzero at the transition point. The line of $\alpha^{(0)}_1(k)$ starts from $k=k^{(0)}_c$; it crosses the line of $\alpha_{\rm AT}(k)$ at $k^{(0)}_0$, replacing it to become the physically observable phase transition line. In the limit of large $k$, the first order transition line is given by $\alpha^{(0)}_1(k)\!=\!0.94 \alpha^{(0)}_c(k)$, where $q$ jumps from 0 to a high value of $1\!-\!0.27k^{-2}$.

The phase diagram illustrates the nature of the phase transitions. For low tolerance $k$, each constraint results in a significant reduction in the version space, and there is a continuous transition to a phase of nonzero value of $q$. For high tolerance $k$, each constraint introduces a volume reduction which is less significant, resembling a percolation process, in which the transition of $q$ from zero to nonzero is discontinuous. However, even in the large $k$ limit, the region of high $q$ spans a nonvanishing range of $\alpha$ below the critical population, and the picture of percolation transition has to be refined in the next approximation.

[*2. First step RSB approximation ([RSB]{}$_1$, superscript $^{(1)}$):*]{} Here the $n$ replicas are organized into clusters, each with $m$ replicas.
: 7}$$ [ * b) The first order transition line take over the AT credit line :* ] { } The paradox in [ * a) * ] { } is resolved by noting that for a given $ k$, multiple RS solution of $ q$ may coexist for a given $ \alpha$. Indeed, $ \alpha^{(0)}(k, q)$ is monotonic in $ q$ for $ k\!\le\!k^{(0)}_c\!=\!2.89 $, and not indeed differently. Among the coexisting stable RS solutions for $ k > k^{(0)}_c$, the one with the lowest randomness is relevant. Hence, there is a beginning club transition in $ q$ at a value $ \alpha^{(0)}_1(k)$, determine by the vanishing of the entropy difference between the coexist stable solutions. The jump in $ q$ across the conversion widens from 0 at $ k = k^{(0)}_c$, and when $ k$ increases above $ k^{(0)}_0=3.11 $, $ q$ jumps immediately from zero to nonzero at the transition compass point. The line of $ \alpha^{(0)}_1(k)$ starts from $ k = k^{(0)}_c$; it cross the line of $ \alpha_{\rm AT}(k)$ at $ k^{(0)}_0 $, replacing it to become the physically observable phase transition line. In the limit of large $ k$, the first order transition line is given by $ \alpha^{(0)}_1(k)\!=\!0.94 \alpha^{(0)}_c(k)$, where $ q$ jumps from 0 to a high value of $ 1\!-\!0.27k^{-2}$. 

 The phase diagram illustrates the nature of the phase transitions. For low permissiveness $ k$, each constraint results in a meaning decrease in the version space, and there is a continuous transition to a phase of nonzero value of $ q$. For eminent tolerance $ k$, each constraint introduces a volume decrease which is less significant, resembling a percolation process, in which the transition of $ q$ from zero to nonzero is discontinuous. However, even in the large $ k$ limit, the region of high $ q$ spans a nonvanishing range of $ \alpha$ below the critical population, and the picture of percolation transition receive to be refined in the following approximation. 

 [ * 2. First step RSB approximation ([ RSB]{}$_1 $, superscript $ ^{(1)}$ ): * ] { } Here the $ n$ replicas are organized into bunch, each with $ m$ replicas.
:7}$$ [*b) Hhe first order transitiun line takes orwr the AT lihe:*]{} The pxradox in [*a)*]{} is resolved by nltung tyat for a given $k$, multkple RS sllutions of $w$ may coexist for a given $\wlphc$. Mndeed, $\alpha^{(0)}(k,q)$ ls monotoniw in $q$ for $k\!\le\!n^{(0)}_c\!=\!2.89$, aud not so otherwise. Among the coexiseing stsbpe RS solutionf fog $h > k^{(0)}_d$, the one with the lowest entropy js relenant. Hence, there os a first order transitioj in $q$ at a value $\alphw^{(0)}_1(k)$, determings br the vanishivg of the tncropy diffetence between the coexisting stacle splutions. Tye julk in $q$ acrosw the transition widens fsom 0 at $k=k^{(0)}_c$, and when $l$ iicreqses above $k^{(0)}_0=3.11$, $q$ jumps virectly from zero tj nonzero ac the transition poinr. Rhe lhne mf $\aupha^{(0)}_1(y)$ suarvs rrom $k=n^{(0)}_c$; mt crosses fhe line of $\alpha_{\rm AT}(k)$ at $k^{(0)}_0$, rtplwbong it to bedome tre physically observable phase transition lihe. In the limit of largw $k$, the first order ttansition jine is given by $\alpha^{(0)}_1(k)\!=\!0.94 \alpha^{(0)}_c(k)$, where $q$ jumps frok 0 to x hnnm vauye of $1\!-\!0.27k^{-2}$.

The phase diagram illustrates the nature kf tme phase transitlons. For low tolersnfe $h$, each constrxint rzaumts in a significajt redustion in the vtrsiom space, and there is a contunuous transptiob to a phase of nouzero value uf $q$. For nigh tolerance $k$, each cunstdaint introfuces a vkuume reduction wficm iv less significant, resemblyng a perrolatnon procdss, on whish the trajsition of $q$ from zero tl noneero iv discontijuous. However, even in the large $k$ limit, the rggimn mf high $z$ spaks a nonvanishigg range of $\alkha$ below the zritical pkpulatimn, and the [icture of pesfolation traisition hws ti be refinea in the next alproximatpou.

[*2. First srep RSB approximatlon ([RRG]{}$_1$, superscript $^{(1)}$):*]{} Ktre the $n$ replicas ard owgwnmzed ytto clusters, eacf wkyh $m$ feplicas.
:7}$$ [*b) The first order transition line the line:*]{} The in [*a)*]{} is a $k$, multiple RS of $q$ may for a given $\alpha$. Indeed, $\alpha^{(0)}(k,q)$ monotonic in $q$ for $k\!\le\!k^{(0)}_c\!=\!2.89$, and not so otherwise. Among the coexisting stable solutions for $k > k^{(0)}_c$, the one with the lowest entropy is relevant. there a order in $q$ at a value $\alpha^{(0)}_1(k)$, determined by the vanishing of the entropy difference between the stable solutions. The jump in $q$ across the widens from 0 at and when $k$ increases above $q$ directly from to at transition point. The of $\alpha^{(0)}_1(k)$ starts from $k=k^{(0)}_c$; it crosses the line of $\alpha_{\rm AT}(k)$ at $k^{(0)}_0$, replacing it to the physically transition line. the of $k$, the first line is given by $\alpha^{(0)}_1(k)\!=\!0.94 \alpha^{(0)}_c(k)$, from 0 to a high value of $1\!-\!0.27k^{-2}$. phase diagram the nature of the phase transitions. low tolerance $k$, each constraint results in a reduction in the version space, and there is a continuous transition to a phase of of $q$. For high $k$, each constraint a reduction is significant, resembling percolation process, in which the transition of $q$ from zero to is discontinuous. However, even in the large $k$ limit, the high spans a nonvanishing of $\alpha$ below the population, the picture of percolation to refined approximation. First RSB approximation ([RSB]{}$_1$, superscript Here the $n$ replicas are into clusters, each with
:7}$$ [*b) The first order transition lIne takes ovEr the aT lIne:*]{} thE parAdox In [*a)*]{} is resolved bY NotiNg that for a given $k$, multipLe RS sOlUTionS Of $Q$ may cOexist fOR a GIVen $\AlPhA$. InDeED, $\aLpha^{(0)}(k,Q)$ is MonotonIc in $q$ for $k\!\lE\!k^{(0)}_c\!=\!2.89$, AnD not so otherwISe. among the coExiSting stable Rs soLutionS fOr $k > K^{(0)}_C$, the oNe wIth thE lowesT EntropY is relevaNt. hEnce, thERe is a fiRST oRder Transition in $q$ at a vALuE $\Alpha^{(0)}_1(k)$, determinEd by thE vANiSHIng Of tHe entropy dIfFerenCE betweeN ThE COExiSTing stable solUtions. The juMP in $Q$ acrosS tHe tRAnsitiOn widEnS FroM 0 at $k=k^{(0)}_c$, and whEn $k$ iNcreases aBove $k^{(0)}_0=3.11$, $q$ JUmps dirECtly froM zero tO noNzeRo at THe TrAnsItIOn pOInT. ThE LinE of $\alpha^{(0)}_1(K)$ sTaRts frOm $k=k^{(0)}_C$; IT CRossEs tHe liNe of $\aLpha_{\rm AT}(k)$ at $k^{(0)}_0$, rEplAcinG It tO becoMe the PhysIcAlly oBservaBle phAsE transition line. in thE limit of lArgE $k$, The FiRst orDEr tranSitIon Line is gIven by $\aLPha^{(0)}_1(K)\!=\!0.94 \aLPHA^{(0)}_c(K)$, where $q$ jumps from 0 to A hIGH vAlue of $1\!-\!0.27k^{-2}$.

THe phasE DiAgRAm illustRaTes The nATUre of The pHAsE transitIons. FoR LoW tOlerancE $k$, Each coNsTraInt ResulTS in a SignifIcant redUctioN In the version spACe, and there is a COnTINuOUs trAnsItion to a phaSe of NOnzeRo vaLUe Of $q$. fOr higH toleRaNCe $K$, Each constraint introDuCes a voLume rEduction which Is less signIFICant, reseMbliNG a PErcolation procEss, in Which the trANsition oF $q$ froM zero to nOnzero is dISContinuoUs. HOweVer, EveN IN tHe large $k$ limit, THE regIoN of high $Q$ spAns a nonVanIshIng RanGe Of $\alpha$ beLow the crItIcAl PoPulAtion, ANd the picTuRe oF pErcOlatiON transItion Has tO bE rEFinEd in the NExT APproXiMaTion.

[*2. firSt Step RsB apPRoxImation ([rSB]{}$_1$, supersCriPT $^{(1)}$):*]{} HerE tHe $N$ replicAs are organizeD iNto clusterS, eAch With $m$ rEPLicas.
:7}$$ [*b) The first order  transitio n lin e t ake sover  the  AT line:*]{}T he p aradox in [*a)*]{} isresol ve d  byn ot ing t hat for ag i ven  $ k$ , m ul t ip le RS  so lutions  of $q$ ma y c oe xist for a g i ve n $\alpha$ . I ndeed, $\alp ha^ {(0)}( k, q)$ is mo not onicin $q$ for $k \!\le\!k^ {( 0 )}_c\! = \!2.89$ , an d no t so otherwise. A m on g  the coexistin g stab le RS s olu tio ns for $k>k^{(0 ) }_c$, t h eo n e  wi t h the lowestentropy isr ele vant.He nce ,  there  is a  f i rst  order tran siti on in $q$  at av alue $\ a lpha^{( 0)}_1( k)$ , d eter m in ed  by  t h e v a ni shi n g o f the en tr op y dif fere n c e betw een  the  coex isting stable  so luti o ns.  Thejumpin $ q$  acro ss the  tran si tion widens fro m 0at $k=k^{ (0) }_ c$,  a nd wh e n $k$inc rea ses abo ve $k^{ ( 0)} _0 = 3 . 11 $, $q$ jumps direc tl y fr om zeroto non z er oa t the tr an sit ionp o int.Thel in e of $\a lpha^{ ( 0) }_ 1(k)$ s ta rts fr om  $k =k^ {(0)} _ c$;it cro sses the  line of $\alpha_{\r m  AT}(k)$ at $ k ^{ ( 0 )} _ 0$,rep lacing it t o be c omethep hy sic a lly o bserv ab l ep hase transition lin e.  In th e lim it of large $ k$, the fi r s t  order t rans i ti o n line is give n by$\alpha^{( 0 )}_1(k)\ !=\!0 .94 \alp ha^{(0)}_ c ( k)$, whe re$q$  ju mps f ro m 0 to a high v alue  o f $1\!- \!0 .27k^{- 2}$ .
The  ph as e diagram  illustr at es  t he  na tureo f the ph as e t ra nsi tions .  For l ow to lera nc e$ k$,  each c o ns t r aint  r es ults  in  a  sign ific a ntreducti on in the  ve r sion  s pa ce, and  there is a c on tinuous tr an sit ion to a  phase o f nonzero value of $q$. For hig h t olera nce$k$, each  co nstrai nti ntrodu ces avolum ered u c tionw h ic h i sless signi f i can t, re se mbli ng a pe rcolation process, inwhich the tra nsi tion o f$q$ fr o m z er o  to n onzero is disco ntinuous.Ho w ev er, even i n  th elarge $ k$ limi t, th e  region  of high$q$ spans  a  non v a nis hing range  of $\al pha$ belo w  thec ri tical  po pulati on , a nd th e pict u reof pe rcolat io n tran sitio nhas to b e refined in the next a pproxi matio n.
[*2. Fir sts tep  RSB appr oxim ation ([RS B]{ }$_ 1$, s upe r scrip t $^ { (1 )}$ ) :*]{}  Her e  the $n$r ep lic a s  a re organize d i nto  clus ter s , each  wit h $m$ replicas.
:7}$$ [*b)_The first_order transition line takes_over the_AT_line:*]{} The_paradox_in [*a)*]{} is_resolved by noting_that for a given_$k$, multiple RS_solutions_of $q$ may coexist for a given $\alpha$. Indeed, $\alpha^{(0)}(k,q)$ is monotonic in $q$_for_$k\!\le\!k^{(0)}_c\!=\!2.89$, and_not_so_otherwise. Among the coexisting stable_RS solutions for $k >_k^{(0)}_c$, the_one with the lowest entropy is relevant. Hence,_there_is a first_order transition in $q$ at a value $\alpha^{(0)}_1(k)$, determined_by the vanishing of the entropy_difference between the_coexisting_stable_solutions. The jump in_$q$ across the transition widens from_0 at $k=k^{(0)}_c$, and when $k$_increases above $k^{(0)}_0=3.11$, $q$ jumps directly from_zero to nonzero at the transition_point. The line of $\alpha^{(0)}_1(k)$_starts from_$k=k^{(0)}_c$; it crosses the line_of $\alpha_{\rm AT}(k)$_at $k^{(0)}_0$,_replacing it to_become the physically observable phase transition_line. In the_limit of large $k$, the first_order_transition line is_given_by_$\alpha^{(0)}_1(k)\!=\!0.94 \alpha^{(0)}_c(k)$,_where $q$ jumps_from_0 to_a_high value of $1\!-\!0.27k^{-2}$.

The phase diagram_illustrates_the nature of the phase transitions. For_low tolerance $k$, each_constraint_results in a significant_reduction in the version space,_and there is a continuous transition_to a_phase of_nonzero value of $q$. For high tolerance $k$, each constraint introduces_a volume reduction which is less_significant, resembling a percolation_process, in_which_the transition of_$q$_from zero_to nonzero is discontinuous. However, even in_the large_$k$ limit, the region of high_$q$ spans a nonvanishing_range_of $\alpha$ below the critical population,_and the picture of percolation transition_has to be refined in_the_next_approximation.

[*2. First step RSB approximation_([RSB]{}$_1$, superscript $^{(1)}$):*]{} Here the $n$_replicas are organized_into clusters, each with $m$ replicas.