 organised as follows. In the remainder of this section we introduce the concept of majorisation of probabilities and present related concepts and previous work. In Section \[sec:cont\_major\], we present results for the continuous case. In Section \[sec:multivariate\], we present the key idea of reducing multivariate distributions into a one dimensional decreasing rearrangement and illustrate this with examples. In Section \[sec:operations\], we collect together operations for the study of uncertainty and, in Section \[sec:algebra\], a lattice and an algebra for uncertainty. In Section \[sec:empirical\], we discuss empirical applications. Concluding remarks are given in Section \[sec:conclusion\].

Discrete majorisation and related work {#sec:discrete}
--------------------------------------

We introduce majorisation for discrete distributions following Marshall *et al.* [@Marshall2011].

Consider two discrete distributions with $n$-vectors of probabilities $$p_1=(p^{(1)}_1,\ldots, p_n^{(1)}) \quad \text{ and } \quad p_2=(p^{(2)}_1,\ldots, p_n^{(2)}),$$ where $\sum_i p_i^{(1)}=\sum_i p_i^{(2)}=1$. Placing the probabilities in decreasing order: $$\tilde{p}^{(1)}_1 \geq \ldots \geq \tilde{p}_n^{(1)}\quad \text{ and } \quad \tilde{p}^{(2)}_1 \geq \ldots \geq \tilde{p}_n^{(2)},$$ it is then said that $p_2$ majorises $p_1$, written $p_1 \preceq p_2$ when, for all $n$, $$\sum_{i=1}^n \tilde{p}_i^{(1)} \leq \sum_{i=1}^n \tilde{p}_i^{(2)}.$$

This definition of majorisation is a partial ordering, that is, not all pairs of vectors are comparable. As argued by Partovi [@Partovi2011], this is not a shortcoming of majorisation, rather a consequence of its rigorous protocol for ordering uncertainty. Marshall *et al* [@Marshall2011] provide several equivalent conditions to $p_1\preceq p_2$. We consider three (A1-A3) of the best known in detail below.\
(A1) There is a doubly stochastic $n\times n$ matrix $P$, such that $$\begin{aligned
organised as follows. In the remainder of this section we insert the concept of majorisation of probability and present related concepts and former work. In Section \[sec: cont\_major\ ], we present results for the continuous font. In Section \[sec: multivariate\ ], we present the key mind of reducing multivariate distributions into a one dimensional decreasing rearrangement and exemplify this with examples. In Section \[sec: operations\ ], we collect together operations for the sketch of uncertainty and, in Section \[sec: algebra\ ], a wicket and an algebra for uncertainty. In Section \[sec: empirical\ ], we discourse empiric applications. Concluding remarks are given in Section   \[sec: conclusion\ ]. 

 Discrete majorisation and related study { # sec: discrete } 
 -------------------------------------- 

 We introduce majorisation for discrete distributions follow Marshall * et al. * [ @Marshall2011 ]. 

 see two discrete distributions with $ n$-vectors of probabilities $ $ p_1=(p^{(1)}_1,\ldots, p_n^{(1) }) \quad \text { and } \quad p_2=(p^{(2)}_1,\ldots, p_n^{(2)}),$$ where $ \sum_i p_i^{(1)}=\sum_i p_i^{(2)}=1$. Placing the probabilities in decreasing orderliness: $ $ \tilde{p}^{(1)}_1 \geq \ldots \geq \tilde{p}_n^{(1)}\quad \text { and } \quad \tilde{p}^{(2)}_1 \geq \ldots \geq \tilde{p}_n^{(2)},$$ it is then said that $ p_2 $ majorises $ p_1 $, written $ p_1 \preceq p_2 $ when, for all $ n$, $ $ \sum_{i=1}^n \tilde{p}_i^{(1) } \leq \sum_{i=1}^n \tilde{p}_i^{(2)}.$$ 

 This definition of majorisation is a partial ordering, that is, not all pairs of vector are comparable. As argued by Partovi [ @Partovi2011 ], this is not a shortcoming of majorisation, rather a consequence of its rigorous protocol for ordering uncertainty. Marshall * et al * [ @Marshall2011 ] provide several equivalent conditions to $ p_1\preceq p_2$. We consider three (A1 - A3) of the best know in detail below.\ 
 (A1) There is a doubly stochastic $ n\times n$ matrix $ P$, such that $ $ \begin{aligned
 orhanised as follows. In tht remainder of thnw sectmon we jntroducd the concept of majorisatioi of probqbilities and present felated clncepts qnd krevious work. In Section \[sec:conf\_lajox\], xe present resukts for tha continuous cdsd. Nn Section \[sec:multivariate\], we presene the kry idea of reducyng ktltibariate distributions into a one djmensioial decreasing tearrangement and illustrahe tjis with examples. Ln Section \[wec:o[wrations\], we zollect together operajions for the study of uncertaingy anb, in Sectiob \[wec:wngebra\], a lavtice wnd an algebvs for gncertaonty. In Sectiok \[sec:xmpieical\], we discuss empicical applications. Cjncluding rzmarks are given in Swcrion \[sgc:conwluskin\].

Dkscdeve jajoridatmon and relzted work {#swc:discrete}
--------------------------------------

We introdicq majorisation for dyssrete distributions following Marshall *tt al.* [@Marshall2011].

Consider two duscrete distributions with $n$-vestors of probabilities $$p_1=(p^{(1)}_1,\ldots, p_n^{(1)}) \quad \text{ and } \xuad '_2=(p^{(2)}_1,\udous, p_n^{(2)}),$$ wfwrf $\sum_i p_i^{(1)}=\sum_i p_i^{(2)}=1$. Placing the probabilities in sevrvasing order: $$\tildc{p}^{(1)}_1 \geq \ldots \geq \tolfe{l}_g^{(1)}\quad \text{ ana } \quab \tjlde{p}^{(2)}_1 \geq \ldots \gee \tilde{k}_n^{(2)},$$ it us then swid yhat $p_2$ majorises $p_1$, written $p_1 \preceq p_2$ wken, for all $n$, $$\sum_{i=1}^n \tnlde{p}_i^{(1)} \leq \sbm_{i=1}^n \tolde{p}_o^{(2)}.$$

This definition of majurisztion is a oartial odaering, that is, nut sln pairs of vectors are com[arable. Aw aryued by Oartpvi [@Pawtovi2011], this is not a shortcoming of majotisatimn, rather w consequence of its rigorous pcptocol for otdesinc uncertcinty. Karshall *et aj* [@Marshall2011] proride sevzral eduivalent bonditionv to $p_1\precez p_2$. We considat three (A1-A3) of the bese kniwn un detaku below.\
(A1) There is a douyjy srochastic $n\times n$ majrjx $P$, such that $$\ytgib{aligned
organised as follows. In the remainder of we the concept majorisation of probabilities previous In Section \[sec:cont\_major\], present results for continuous case. In Section \[sec:multivariate\], we the key idea of reducing multivariate distributions into a one dimensional decreasing rearrangement illustrate this with examples. In Section \[sec:operations\], we collect together operations for the of and, Section a lattice and an algebra for uncertainty. In Section \[sec:empirical\], we discuss empirical applications. Concluding remarks given in Section \[sec:conclusion\]. Discrete majorisation and related {#sec:discrete} -------------------------------------- We introduce for discrete distributions following Marshall al.* Consider two distributions $n$-vectors probabilities $$p_1=(p^{(1)}_1,\ldots, p_n^{(1)}) \text{ and } \quad p_2=(p^{(2)}_1,\ldots, p_n^{(2)}),$$ where $\sum_i p_i^{(1)}=\sum_i p_i^{(2)}=1$. Placing the probabilities in decreasing order: $$\tilde{p}^{(1)}_1 \ldots \geq and } \tilde{p}^{(2)}_1 \ldots \tilde{p}_n^{(2)},$$ it is that $p_2$ majorises $p_1$, written $p_1 for all $n$, $$\sum_{i=1}^n \tilde{p}_i^{(1)} \leq \sum_{i=1}^n \tilde{p}_i^{(2)}.$$ definition of is a partial ordering, that is, all pairs of vectors are comparable. As argued Partovi [@Partovi2011], this is not a shortcoming of majorisation, rather a consequence of its rigorous ordering uncertainty. Marshall *et [@Marshall2011] provide several conditions $p_1\preceq We three (A1-A3) the best known in detail below.\ (A1) There is a doubly $n\times n$ matrix $P$, such that $$\begin{aligned
 organised as follows. In the reMainder of tHis seCtiOn wE iNtroDuce The concept of maJOrisAtion of probabilities anD presEnT RelaTEd ConcePts and pREvIOUs wOrK. IN SeCtIOn \[Sec:coNt\_mAjor\], we pResent resuLts FoR the continuoUS cAse. In SectiOn \[sEc:multivariaTe\], wE preseNt The KEy ideA of ReducIng mulTIvariaTe distribUtIOns intO A one dimENSiOnal Decreasing rearranGEmENt and illustratE this wItH ExAMPleS. In section \[sec:OpEratiONs\], we colLEcT TOGetHEr operations fOr the study oF UncErtainTy And, IN SectiOn \[sec:AlGEbrA\], a lattice anD an aLgebra for UncertAInty. In SECtion \[seC:empirIcaL\], we DiscUSs EmPirIcAL apPLiCatIOns. concludiNg ReMarks Are gIVEN In SeCtiOn \[seC:concLusion\].

DiscretE maJoriSAtiOn and RelatEd woRk {#Sec:diScrete}
--------------------------------------

we intRoDuce majorisatioN for Discrete dIstRiButIoNs folLOwing MArsHalL *et al.* [@MaRshall2011].

CONsiDeR TWO dIscrete distributioNs WITh $N$-vectors Of probABiLiTIes $$p_1=(p^{(1)}_1,\ldoTs, P_n^{(1)}) \qUad \tEXT{ and } \qUad p_2=(P^{(2)}_1,\LdOts, p_n^{(2)}),$$ wheRe $\sum_i P_I^{(1)}=\sUm_I p_i^{(2)}=1$. PlacInG the prObAbiLitIes in DEcreAsing oRder: $$\tildE{p}^{(1)}_1 \geq \LDots \geq \tilde{p}_n^{(1)}\QUad \text{ and } \quaD \TiLDE{p}^{(2)}_1 \GEq \ldOts \Geq \tilde{p}_n^{(2)},$$ iT is tHEn saId thAT $p_2$ MajORises $P_1$, writTeN $P_1 \pREceq p_2$ when, for all $n$, $$\sum_{I=1}^n \Tilde{p}_I^{(1)} \leq \sUm_{i=1}^n \tilde{p}_i^{(2)}.$$

ThIs definitiON OF majorisAtioN Is A Partial orderinG, that Is, not all paIRs of vectOrs arE comparaBle. As arguED By PartovI [@PaRtoVi2011], tHis IS NoT a shortcoming OF MajoRiSation, rAthEr a consEquEncE of Its RiGorous proTocol for OrDeRiNg UncErtaiNTy. MarshaLl *Et aL* [@MArsHall2011] pROvide sEveraL equIvAlENt cOnditioNS tO $P_1\PrecEq P_2$. WE conSidEr Three (a1-A3) of THe bEst knowN in detail BelOW.\
(A1) ThErE iS a doublY stochastic $n\tImEs n$ matrix $P$, SuCh tHat $$\begIN{Aligned
 organised as follows. Inthe remain der o f t his  s ecti on w e introduce th e  con cept of majorisation o f pro ba b ilit i es  andpresent re l a ted  c on cep ts an d pre vio us work . In Secti on\[ sec:cont\_ma j or \], we pre sen t results fo r t he con ti nuo u s cas e.In Se ction\ [sec:m ultivaria te \ ], wep resentt h ekeyidea of reducingm ul t ivariate distr ibutio ns in t o  aone  dimension al  decr e asing r e ar r a n gem e nt and illust rate this w i thexampl es . I n  Secti on \[ se c :op erations\],  wecollect t ogethe r  operat i ons for  the s tud y o f un c er ta int ya nd, in  Se c tio n \[sec: al ge bra\] , al a t t iceand  analgeb ra for uncert ain ty.I n S ectio n \[s ec:e mp irica l\], w e dis cu ss empirical ap plic ations. C onc lu din gremar k s aregiv enin Sect ion \[s e c:c on c l u si on\].

Discrete ma jo r i sa tion and  relat e dwo r k {#sec: di scr ete} - ----- ---- - -- -------- ------ - -- -- ------
W e intr od uce  ma joris a tion  for d iscretedistr i butions follow i ng Marshall * e ta l .* [@Ma rsh all2011].
Cons i dertwod is cre t e dis tribu ti o ns with $n$-vectors of  p robabi litie s $$p_1=(p^{( 1)}_1,\ldo t s ,  p_n^{(1 )})\ qu a d \text{ and }  \qua d p_2=(p^{ ( 2)}_1,\l dots,  p_n^{(2 )}),$$ wh e r e $\sum_ i p _i^ {(1 )}= \ s um _i p_i^{(2)}= 1 $ . Pl ac ing the  pr obabili tie s i n d ecr ea sing orde r: $$\ti ld e{ p} ^{ (1) }_1 \ g eq \ldot s\ge q\ti lde{p } _n^{(1 )}\qu ad \ te xt {  an d } \qu a d\ t ilde {p }^ {(2) }_1  \ geq \ ldot s  \g eq \til de{p}_n^{ (2) } ,$$it  i s thensaid that $p_ 2$  majorises  $ p_1 $, wri t t en $p_1\preceq p_2$ when, fora ll $n$,  $$ \sum_ {i=1 }^n \tild e{p }_i^{( 1)} \leq \ sum_{i =1}^n  \ til d e {p}_i ^ { (2 )}. $$ 

This def i n iti on of  m ajor isation  is a partial orde r ing , that is, no t a ll p a i rs  of ve c tor sa rec o mparable. As ar gued by Pa rt o vi  [@Partovi 2 011 ],  this i s not a  shor t comingof majori sation, r at hera con sequence o f its ri gorous pr o tocol fo r ord eri ng unc er tai nty.Marsha l l * et al * [@Ma rs hall20 11] p ro vide sev eral equivalent conditi ons to  $p_1 \pr eceq p_2$ . W e  co nsider th ree(A1-A3) of  th e b est k now n  in d etai l  b elo w .\
(A 1) T h ere is ad ou bly s to chastic $n\ t i m esn$ ma tri x  $P$,such  that $$\begin{al i gned
 organised_as follows._In the remainder of_this section_we_introduce the_concept_of majorisation of_probabilities and present_related concepts and previous_work. In Section_\[sec:cont\_major\],_we present results for the continuous case. In Section \[sec:multivariate\], we present the key_idea_of reducing_multivariate_distributions_into a one dimensional decreasing_rearrangement and illustrate this with_examples. In_Section \[sec:operations\], we collect together operations for the_study_of uncertainty and,_in Section \[sec:algebra\], a lattice and an algebra for_uncertainty. In Section \[sec:empirical\], we discuss_empirical applications. Concluding_remarks_are_given in Section \[sec:conclusion\].

Discrete majorisation_and related work {#sec:discrete}
--------------------------------------

We introduce majorisation_for discrete distributions following Marshall *et_al.* [@Marshall2011].

Consider two discrete distributions with $n$-vectors_of probabilities $$p_1=(p^{(1)}_1,\ldots, p_n^{(1)}) \quad \text{_and } \quad p_2=(p^{(2)}_1,\ldots, p_n^{(2)}),$$_where $\sum_i_p_i^{(1)}=\sum_i p_i^{(2)}=1$. Placing the probabilities_in decreasing order:_$$\tilde{p}^{(1)}_1 \geq_\ldots \geq \tilde{p}_n^{(1)}\quad_\text{ and } \quad \tilde{p}^{(2)}_1 \geq_\ldots \geq \tilde{p}_n^{(2)},$$_it is then said that $p_2$_majorises_$p_1$, written $p_1_\preceq_p_2$_when, for_all $n$, $$\sum_{i=1}^n_\tilde{p}_i^{(1)}_\leq \sum_{i=1}^n_\tilde{p}_i^{(2)}.$$

This_definition of majorisation is a partial_ordering,_that is, not all pairs of vectors_are comparable. As argued_by_Partovi [@Partovi2011], this is_not a shortcoming of majorisation,_rather a consequence of its rigorous_protocol for_ordering uncertainty._Marshall *et al* [@Marshall2011] provide several equivalent conditions to $p_1\preceq p_2$._We consider three (A1-A3) of the_best known in detail_below.\
(A1) There_is_a doubly stochastic_$n\times_n$ matrix_$P$, such that $$\begin{aligned