 an example, for $N = 2$, repeating the above procedure will yield us $y_1 = 0.5, y_2 = 0.75, y_3 = 0.25, y_4 = 0.875, \cdots$. Note that the above values are in fact the thresholds reported in Table \[tab:osa\_two\_users\].

3.  In Remark \[rem:osa\_2\], for the $N = 2$ case, we noticed that the feedback from the base station corresponding to a threshold can be viewed as the binary representation of the threshold itself. For general $N$, the feedback from the base station can still be viewed as the binary representation of the threshold, however, with the weights corresponding to a position computed from the thresholds $\{ y_k \}$ obtained from the pseudo-code. For example, the weight of the first position will be equal to $y_1$.

![Plot of the average delay performance of OSA and MPA as a function of the number of users $N$. We have also plotted the entropy of the threshold random variable corresponding to MPA.[]{data-label="fig:osa_vs_mpa"}](osa_vs_mpa.pdf)

In Figure \[fig:osa\_vs\_mpa\], we plot the average delay performance of OSA (as described in Section \[sec:osa\]) and the maximal probability allocation code. As expected, the performance of OSA and MPA are similar and in fact, MPA performs better than OSA as it identifies the optimal thresholds without any approximations (see Remark \[rem:osa\]). We have also plotted in the Figure \[fig:osa\_vs\_mpa\], the entropy of the maximal probability allocation code in bits. As expected, the entropy of the random variable reflects the average delay performance of the contention resolution algorithm as a function of $N$ very well.

Entropy Minimization
--------------------

Entropy is a concave function of the distribution. The maximal probability allocation code identifies a local minima in the space of probability distributions. From limited numerical work (not reported in this paper), we conjecture that the maximal probability allocation code is a globally entropy minimizing strategy as well. The following theorem proves the optimality of MPA for the $N = 2$ case.

MPA is a delay minimizing strategy and an entropy minimizing strategy for $N = 2$ case.

Let $(x, 1]$ be the contention
an example, for $ N = 2 $, repeating the above procedure will yield us $ y_1 = 0.5, y_2 = 0.75, y_3 = 0.25, y_4 = 0.875, \cdots$. notice that the above value are in fact the thresholds reported in Table   \[tab: osa\_two\_users\ ]. 

 3.   In Remark   \[rem: osa\_2\ ], for the $ N = 2 $ subject, we notice that the feedback from the base station represent to a doorsill can be viewed as the binary representation of the threshold itself. For general $ N$, the feedback from the nucleotide station can still be view as the binary theatrical performance of the threshold, however, with the weights correspond to a position computed from the threshold $ \ { y_k \}$ obtained from the pseudo - code. For example, the weight unit of the first position will be equal to $ y_1$. 

! [ Plot of the average delay operation of OSA and MPA as a function of the issue of users $ N$. We have also plotted the information of the threshold random variable corresponding to MPA.[]{data - label="fig: osa_vs_mpa"}](osa_vs_mpa.pdf) 

 In Figure   \[fig: osa\_vs\_mpa\ ], we plot the average delay performance of OSA (as described in Section   \[sec: osa\ ]) and the maximal probability allocation code. As expected, the performance of OSA and MPA are similar and in fact, MPA performs better than OSA as it identifies the optimal thresholds without any approximations (attend Remark   \[rem: osa\ ]). We have also plotted in the Figure   \[fig: osa\_vs\_mpa\ ], the randomness of the maximal probability allotment code in bits. As expected, the entropy of the random variable star reflects the modal delay performance of the contention settlement algorithm as a function of $ N$ very well. 

 Entropy Minimization 
 -------------------- 

 Entropy is a concave function of the distribution. The maximal probability allocation code identifies a local minima in the space of probability distributions. From circumscribed numerical work (not reported in this paper), we conjecture that the maximal probability allocation code is a globally entropy minimize strategy as well. The following theorem proves the optimality of MPA for the $ N = 2 $ case. 

 MPA is a delay minimize strategy and an entropy minimizing scheme for $ N = 2 $ case. 

 get $ (x, 1]$ be the contention
 an example, for $N = 2$, repeatikg the above proewdure xill yisld us $y_1 = 0.5, y_2 = 0.75, y_3 = 0.25, y_4 = 0.875, \cdots$. Note thet tye abive values are in fact the thredholds rwporued in Table \[tab:ose\_fwo\_users\].

3.  In Dcmark \[xen:osa\_2\], for the $N = 2$ case, we noticed that dhd yeedback from the base station correfpondinb ho a threshold can fe vjvwtd as the binary representation or the tireshold itself. For general $N$, the feedbacn frlm the base statioj can still be duewed as the binary rekrzsentation kf the threshold, however, with tfe wenghts correwpindltg to a posmtion bomputed from the thrasholds $\{ y_k \}$ obtained frmm rhe pseudo-code. For exemple, the weight of jhe first [oaition will be eqyao to $i_1$.

![Plot of gye xvedaje selay oerhormance of OSA and MPQ as a function of uhe bumber of useds $N$. Wq rave also plotted the entropy of the thgeshkld random variable coreesponding to MPA.[]{data-pabel="fig:ofa_vs_mpa"}](osa_vs_mpa.pdf)

In Figure \[fig:osa\_vs\_mpa\], we plot tha avecaee bcjxt oerformance of OSA (as described in Section \[sec:jaa\]) akd the maximal pvobability allocatooj vjde. As expectgd, the 'srrormance of OSA anf MPA ate simular and yn fsct, MPA performs better thab OSA as it pdenrifies the optimal thresholds witnout sny approximations (see Xemark \[dem:osa\]). We hwve also luotted in the Fieurv \[fig:msa\_vs\_mpa\], the entropy of thq maximal proyability allpcatiog code in hits. As expected, the entgopy lf the randol variable reflects the average delay performsnwe mf the cjntenbion resolution algorithm as c functijn of $N$ very weml.

Entro'y Minimizatyon
--------------------

Entropy is w concave fuiction of the disrributiuv. The maximal lrobabiliny allication code identlfies z local minima nu uhw space of pronabkliey dmstrifgtions. From nimiged mumerkcal work (nig relorted in this paper), we donjecture that thr iaximal krobabiliey allocation code is a globallj entcopy mmnimizong strategy as well. The followinf theorem prjves the optymallty jf MPA for the $N = 2$ case.

MPA is a delay minimizing wtrategy and an enrropy minimizing sttattgy for $N = 2$ cese.

Let $(x, 1]$ be tha contention
an example, for $N = 2$, repeating procedure yield us = 0.5, y_2 y_4 0.875, \cdots$. Note the above values in fact the thresholds reported in \[tab:osa\_two\_users\]. 3. In Remark \[rem:osa\_2\], for the $N = 2$ case, we noticed the feedback from the base station corresponding to a threshold can be viewed the representation the itself. For general $N$, the feedback from the base station can still be viewed as the representation of the threshold, however, with the weights to a position computed the thresholds $\{ y_k \}$ from pseudo-code. For the of first position will equal to $y_1$. ![Plot of the average delay performance of OSA and MPA as a function of number of We have plotted entropy the threshold random to MPA.[]{data-label="fig:osa_vs_mpa"}](osa_vs_mpa.pdf) In Figure \[fig:osa\_vs\_mpa\], we delay performance of OSA (as described in Section and the probability allocation code. As expected, the of OSA and MPA are similar and in MPA performs better than OSA as it identifies the optimal thresholds without any approximations (see We have also plotted the Figure \[fig:osa\_vs\_mpa\], entropy the probability code in As expected, the entropy of the random variable reflects the average performance of the contention resolution algorithm as a function of well. Minimization -------------------- Entropy a concave function of distribution. maximal probability allocation code local in probability From numerical work (not reported this paper), we conjecture that maximal probability allocation code strategy as well. The following theorem proves the of MPA for the $N = 2$ MPA is a delay minimizing strategy and an entropy minimizing strategy for = 2$ $(x, 1]$ be the contention
 an example, for $N = 2$, repeating the Above proceDure wIll YieLd Us $y_1 = 0.5, y_2 = 0.75, Y_3 = 0.25, y_4 = 0.875, \cdOts$. Note that the ABove Values are in fact the threSholdS rEPortED iN TablE \[tab:osa\_TWo\_USErs\].

3.  in reMarK \[rEM:oSa\_2\], for The $n = 2$ case, we Noticed thaT thE fEedback from tHE bAse station CorResponding to A thResholD cAn bE VieweD as The biNary rePResentAtion of thE tHResholD Itself. FOR GeNeraL $N$, the feedback from THe BAse station can sTill be ViEWeD AS thE biNary represEnTatioN Of the thREsHOLD, hoWEver, with the weIghts corresPOndIng to a PoSitIOn compUted fRoM The Thresholds $\{ y_K \}$ obtAined from The pseUDo-code. FOR examplE, the weIghT of The fIRsT pOsiTiON wiLL bE eqUAl tO $y_1$.

![Plot of ThE aVeragE delAY PERforManCe of oSA anD MPA as a functiOn oF the NUmbEr of uSers $N$. we haVe Also pLotted The enTrOpy of the threshoLd raNdom variaBle CoRreSpOndinG To MPA.[]{dAta-LabEl="fig:osA_vs_mpa"}](oSA_vs_MpA.PDF)

IN Figure \[fig:osa\_vs\_mpa\], We PLOt The averaGe delaY PeRfORmance of oSa (as DescRIBed in sectIOn \[Sec:osa\]) anD the maXImAl ProbabiLiTy alloCaTioN coDe. As eXPectEd, the pErformanCe of Osa and MPA are simiLAr and in fact, MPa PeRFOrMS betTer Than OSA as it IdenTIfieS the OPtImaL ThresHolds WiTHoUT any approximations (sEe remark \[Rem:osA\]). We have also plOtted in the fIGUre \[fig:osA\_vs\_mPA\], tHE entropy of the mAximaL probabiliTY allocatIon coDe in bits. as expecteD, THe entropY of The RanDom VARiAble reflects tHE AverAgE delay pErfOrmance Of tHe cOntEntIoN resolutiOn algoriThM aS a FuNctIon of $n$ Very well.

enTroPy minImizaTIon
--------------------

EntRopy iS a coNcAvE FunCtion of THe DIStriBuTiOn. ThE maXiMal prObabILitY allocaTion code iDenTIfieS a LoCal miniMa in the space oF pRobability DiStrIbutioNS. from limiTed numerical work (not repoRTed in thIs pAper), wE conJecture thAt tHe maxiMal PRobabiLity alLocatIoN coDE Is a glOBAlLy eNtRopy minimiZINg sTrateGy As weLl. The foLlowing theorem provES thE optimality of mPA For tHE $n = 2$ cAse.

mpA IS a dElAY miNIMizing strategy aNd an entropY mINiMizing straTEgy FoR $N = 2$ case.

LEt $(x, 1]$ be thE contENtion
 an example, for $N = 2$,repeatingthe a bov e p ro cedu re w ill yield us $ y _1 =  0.5, y_2 = 0.75, y_3= 0.2 5, y_4=  0 .875,  \cdots $ .N o teth at  th ea bo ve va lue s are i n fact the  th re sholds repor t ed  in Table\[t ab:osa\_two\ _us ers\]. 
3.In Re mar k \[r em:osa \ _2\],for the $ N=  2$ ca s e, we n o t ic ed t hat the feedbackf ro m  the base stat ion co rr e sp o n din g t o a thresh ol d can be view e da s the binary repres entation of the  thres ho ldi tself.  Forge n era l $N$, thefeed back from  the b a se stat i on canstillbevie weda sth e b in a ryr ep res e nta tion ofth ethres hold , h o weve r,with  theweights corre spo ndin g  to  a po sitio n co mp utedfrom t he th re sholds $\{ y_k\}$obtainedfro mthe  p seudo - code.For  ex ample,the wei g htof t h efirst position wil lb e  e qual to$y_1$. 
! [P l ot of th eave rage d elayperf o rm ance ofOSA an d  M PA  as a f un ctionof  th e n umber of u sers $ N$. We h ave a l so plotted the entropy of th e  t h r es h oldran dom variabl e co r resp ondi n gtoM PA.[] {data -l a be l ="fig:osa_vs_mpa"}] (o sa_vs_ mpa.p df)

In Figur e \[fig:os a \ _ vs\_mpa\ ], w e  p l ot the average  dela y performa n ce of OS A (as  describ ed in Sec t i on \[sec :os a\] ) a ndt h emaximal proba b i lity  a llocati oncode. A s e xpe cte d,th e perform ance ofOS Aan dMPA  ares imilar a nd  in  f act , MPA perfor ms be tter  t ha n  OS A as it id e n tifi es  t he o pti ma l thr esho l dswithout  any appr oxi m atio ns  ( see Rem ark \[rem:osa \] ). We have  a lso  plott e d  in theFigure \[fig:osa\_vs\_m p a\], th e e ntrop y of  the maxi mal  proba bil i ty all ocatio n cod einb i ts. A s ex pec te d, the ent r o pyof th erand om vari able reflects thea ver age delay per for manc e of  th e  c o nte nt i onr e solution algori thm as a f un c ti on of $N$v ery  w ell.

E ntropyMinim i zation--------- --------- -- 

En t r opy  is a conc ave func tion of t h e dis t ri butio n.The ma xi mal  prob abilit y  al locat ion co de  ident ifies  a  local m inima in the space of p robabi litydis tribution s.F rom  limitednume rical work  (n otrepor ted in th is p a pe r), we co njec t ure thatt he  ma x i ma l probabili t y all ocati onc ode is  a g lobally entropy m i nimizing strat egya s  we ll. Thefo llowing theore m p ro v e s the op ti mality of M PA for t he $N =2$ cas e.

MP A is ad e la y  minim izin g s trategy a ndan entropy  m in i mizing  str at egy fo r $N = 2$ c a s e.

Let $(x, 1]$  be t h e  cont e nti on
 an_example, for_$N = 2$, repeating_the above_procedure_will yield_us_$y_1 = 0.5,_y_2 = 0.75,_y_3 = 0.25, y_4_= 0.875, \cdots$._Note_that the above values are in fact the thresholds reported in Table \[tab:osa\_two\_users\].

3.  In_Remark \[rem:osa\_2\],_for the_$N_=_2$ case, we noticed that_the feedback from the base_station corresponding_to a threshold can be viewed as the_binary_representation of the_threshold itself. For general $N$, the feedback from the_base station can still be viewed_as the binary_representation_of_the threshold, however, with_the weights corresponding to a position_computed from the thresholds $\{ y_k_\}$ obtained from the pseudo-code. For example,_the weight of the first position_will be equal to $y_1$.

![Plot_of the_average delay performance of OSA_and MPA as_a function_of the number_of users $N$. We have also_plotted the entropy_of the threshold random variable corresponding_to_MPA.[]{data-label="fig:osa_vs_mpa"}](osa_vs_mpa.pdf)

In Figure \[fig:osa\_vs\_mpa\], we_plot_the_average delay_performance of OSA_(as_described in_Section \[sec:osa\])_and the maximal probability allocation code._As_expected, the performance of OSA and MPA_are similar and in_fact,_MPA performs better than_OSA as it identifies the_optimal thresholds without any approximations (see_Remark \[rem:osa\]). We_have also_plotted in the Figure \[fig:osa\_vs\_mpa\], the entropy of the maximal probability allocation_code in bits. As expected, the_entropy of the random_variable reflects_the_average delay performance_of_the contention_resolution algorithm as a function of $N$_very well.

Entropy_Minimization
--------------------

Entropy is a concave function of_the distribution. The maximal_probability_allocation code identifies a local minima_in the space of probability distributions._From limited numerical work (not_reported_in_this paper), we conjecture that_the maximal probability allocation code is_a globally entropy_minimizing strategy as well. The following theorem_proves_the optimality of MPA for the_$N_= 2$ case.

MPA is a delay_minimizing_strategy_and an entropy minimizing strategy_for $N = 2$ case.

Let $(x,_1]$ be the contention