arxv:1511.05094v4 [mah.pr] 30 Sep 2016 The Unfed Approach for Bes Choce Modelng Appled o Alernave-Choce Selecon Problems Rém Dendevel Absrac The objecve of hs paper s o show ha he so-called unfed approach o soppng problems wh unknown cardnaly nroduced n Bruss (1984) proves o be effcen for solvng oher ypes of bes-choce problems. We show ha wha we wll call he alernave-choce soppng problem, whch wll be exemplfed rgh away n Secon 1, can be seen as a wo-sded Secreary problem. Ths problem s nsgaed by a former problem of R. R. Weber (Cambrdge Unversy). Our approach yelds for unknown cardnaly he sharp lower bound 1/2 for he probably of success. Ths problem s, a he same me, a specal case of a model more generally based on k 2 lnearly ordered subses. We shall also gve he soluon for such problems for k ndependen sreams of arrvals. Our approach s elemenary and self-conaned. Keywords. 1/e-law of bes choce, opmal predcon, Weber soppng problem, secreary problem, selecon of maxmum elemens, parally odered se. 2010 Mahemacs Subjec Classfcaon: 60G40 1 Movang Example and Theorecal Background Consder an nervewer who nervews sequenally sreams of canddaes of men and women boh arrvng n [0, 1]. The oal numbers of men and women are random varables and her arrval mes are also..d. The nervewer can rank n a unque way hose of he same gender. A any me ha a canddae presens self he nervewer may sop and choose ha canddae. Smlarly o he well-known Secreary Problem, he s successful Posal address: Déparemen de Mahémaque, Faculé des Scences, Unversé Lbre de Bruxelles, Campus de la Plane - CP 210, Boulevard du Tromphe, 1050 Bruxelles, Belgum. Emal address: redende@ulb.ac.be 1
f he selecs eher he bes of he men, or he bes of he women. Ths s an example, wh k = 2, of wha we call an alernave bes-choce soppng problem (whch was movaed by Weber, 2012). We show ha he unfed approach o soppng problems (Bruss, 1984) can be appled o hs problem. In he case of he men and women, and numbers of men and women are a pror unknown, we fnd ha by choosng he frs canddae o arrve afer me 1/2 who s bes of s gender so far, he probably of success has he sharp lower bound of 1/2. Unfed approach. An unknown number N > 0 of unquely rankable opons arrve on [0, 1] wh ndependen and dencally dsrbued arrval mes accordng o a connuous dsrbuon funcon F defned on [0, T ]. One speaks of a success f he decson maker acceps he absolue rank 1, or n oher words, he very las relavely bes (record). Le σ be he sraegy o wa unl me and hen o selec he frs record (relave bes) opon hereafer, f any (he soppng me nduced by σ s se equal o T, oherwse). We frs recall he 1/e-law of Bruss (1984). Le = nf{ : F() = 1/e} =: F 1 (1/e). (1) Then, he 1/e-law says: Frs, he sraegy o sop on he frs record appearng a me or laer, σ, say, succeeds wh probably a leas 1/e. Second, condoned on {N = n} he bound 1/e s he lm of decreasng success probables as n. Thrd, he probably of σ (called 1/esraegy) selecng no canddae a all s exacly 1/e. I s for hs rple concdence of he number 1/e ha he auhor called he resul 1/e-law. Ths resul came as a surprse snce, n general, a success probably near 1/e seemed a ha me ou of reach. See he commens of Samuels (1985) n Mahemacal Revews. Alernave choce and relaed work Wha we wll call he problem of alernave choce s he connuous-me model of Bruss (1984) bu now wh k 1 classes of opons. For example he problem of choosng wh one choce eher he bes male, or he bes female canddae. Observed opons are supposed o be unquely rankable among all opons n he same class bu ypcally no comparable wh opons from anoher class. Ths verson of Weber s problem as well as he underlyng work may be seen as a selecon model based on parally ordered ses (poses), or, as we wll argue, also as a mulcrera selecon model. There are several 2
neresng arcles whch are relaed wh our work. Selecon problems nvolvng poses seem o have been frs suded by Sadje (1980). Morayne e al. (2008) propose a novel neresng unversal algorhm for poses where he cardnaly of he se s known. The orderng srucure of he pose need no be known; n parcular, he number of maxmal elemens n he se need no be known. Frej and Wäslund (2010) presen a generalzed sraegy n connuous me for a smlar model o hers, where he sze of he pose s no fxed. Ths s parally n he spr of he underlyng paper followng he unfed approach. Ther work can be seen as a generalzaon of he prevous work. Ineresngly, hey also oban he ubquous 1/e lower bound for he success probably n que a general seng. Kumar e al. (2011) and Garrod and Morrs (2013) suded ndependenly a smlar soppng problem on a pose of n elemens where boh n and he number k of maxmal elemens are known. In ha case, he probably of success of he sraegy hey propose can be mproved o k 1/(k 1), a value whch s bound o urn up n our generalzaon by he unfed approach. Gnedn s mulcrera models (Gnedn, 1981) share some smlary wh our model. As he explaned: s unlkely ha a secreary s bes n several crera a he same me; he probably ha hs happens ends o 0 as he number n of applcans ends o nfny. Tha s why he model s smlar o one where each secreary belongs o only one caegory. In selecon problems wh more nformaon on he number of arrvals of opons, so-called quas-saonary s a very desrable propery for obanng closed-form soluons. The approach of Bruss and Samuels (1990) can be adaped for opons semmng from dfferen classes, bu here agan he unfed approach whou any knowledge a all s no ha much weaker n he resul and herefore, akng hngs ogeher, clearly preferable for applcaons. Pars of he precedngly ced arcles go deeper no ceran drecons no menoned here. In parcular our resul s parally nrnsc n he neresng paper of Garrod and Morrs (2013). However, frs, he presen arcle shows ha he unfed approach on whch we focus yelds he resuls n an elemenary and self-conaned way, and has, n parcular for he case k = 2 much appeal for applcaons n real lfe. Ths s seen n several que dfferen examples n Bruss and Ferguson (2002) for he case k = 1. Second, accordng o her ls of references, none of he auhors on pose selecon problems ced above has referenced he unfed approach of 1984 whch adds o our movaon for hs arcle. 3
2 Man resuls Threshold-me sraegy. Smlarly o wha has been done n he 1/e-law, we am o fnd a me hreshold afer whch we decde o sop on he frs encounered record, regardless of he class o whch hs record belongs. Le σ be he sraegy o wa unl me and hen o selec he frs record opon hereafer, f any; he soppng me nduced by σ s se equal o T oherwse, meanng a complee falure (no choce a all). Model. Le N 1, N 2,..., N k {1, 2,... } wh no oher nformaon avalable on hese numbers han beng posve negers. They are seen as he numbers of opons of class 1, respecvely class 2,..., and so on. We consder d arrval mes X l, (1 N k, 1 l k) of he opons on [0, 1] so ha he rh opon of ype j arrves a me X j,r. Snce here are k non-empy classes, here are also k opons whch are bes n her class by defnon, because we supposed ha hey can be ranked n a unque way. These wll be called maxma. We would lke o sop onlne on any of he maxma. The 1/2-rule In he vew of real lfe applcaons, he case k = 2 s parcularly appealng. Frs, he decson rule wll be easy o remember. Second, also covers he problem predcng he bes or alernavely he wors oucome from a sream of evens. Indeed, we can consruc he wo sreams arfcally as follows. Consder one sream of rankable secreares and remember he very frs secreary. Then, all he subsequen secreares wh a beer rank han he remembered secreary belong o class 1 and he secreares wh a worse rank wll belong o class 2. Hence hs serves he problem of fndng eher he bes or he wors of all. We also menon here ha Bayon e al. (2016) have suded dfferen cases of selecng he bes or wors secreary from a sequence of secreares wh random lengh. If one sngle sream of opons (no necessarly secreares) can be dvded, on some raonal, n wo complemenary classes ( posve and negave ), hen hs consrucon apples of course as well. In he case of a fnancal ndex, posve ncremens belong n one class, negave ncremens belong o he second class. Theorem 1 s Theorem 2 wh k = 2, bu we sae Theorem 1 frs because of s appealng smplcy. Theorem 1. In he model descrbed above n Secon 2, f here are wo non-empy classes of opons, hen soppng me σ 1/2 whch sops on he 4
frs record belongng o eher of he wo classes afer me 1/2 has success probably of a leas 1/2. (Ths holds hus for any number of opons as long as boh classes are non-empy.) The proof of Theorem 1 s mmedae from he proof followng Theorem 2 and can herefore be posponed. Remark 1. Here agan, hs s he bes fxed-hreshold sraegy yeldng he success probably 1/2 for such sraeges. I canno be mproved because he probably of success of σ 1/2 converges o 1/2 f he numbers of opons n boh classes end o nfny. Ths confrms he resul n he dscree seng from Garrod and Morrs (2013). The general case Theorem 2. Le N 1, N 2,..., N k 1 denoe he unknown number of opons of class 1, respecvely class 2,..., respecvely class k. We assume ha he arrval mes of all opons are ndependen and ha her dsrbuon s unform on [0, 1]. We suppose ha nsde each class, he opons are unquely rankable agans one anoher. Then, he sraegy σ k whch sops on he frs record (=relave maxmum n s class) appearng afer me k := k 1/(k 1) sasfes (a) σ k succeeds wh probably a leas k. (b) Seen as a funcon of he unknowns N 1 = n 1, N 2 = n 2,..., N k = n k, he success probably decreases monooncally n all n j wh lm k as mn 1 j k n j. Proof. (a) Defne p() as he probably ha he sraegy σ wll urn ou (a me 1) o be a success. (Remark 2 s more specfc abou ssues relaed o hs probably.) Denoe by T 1, T 2,..., T k he arrval mes of he maxma of class 1, respecvely class 2,..., respecvely class k. Consder he evens E () := {T 1,..., T k < } {T k +1,..., T k 1, T k }, for = 1, 2,..., k, (2) and le S () = E () {σ urns ou o be a success}. (3) ) P(S ()), because here are ( k k ) ways o choose We have p() = k ( k k..d. random arrval mes ou of a se of k arrval mes. Snce he classes are non-empy, hs s ndependen of her sze snce a maxmum n each class mus exs. 5
Le T () := mn(t k +1,..., T k ) be he arrval me of he frs maxma, resrced o he las classes, arrvng n [, 1]. We noce ha when E () happens, he sraegy leads o a success f soppng occurs a me T (), by defnon of σ. Because he T j s are unformly dsrbued, he condonal densy of T () gven ha E () happens, denoed by f (), s f () (s) = χ [0,1] (s)(1 s) ( 1) (1 ), s R, (4) where χ A denoes he ndcaor funcon of a se A. We may now wre ( ) k k p() = P(σ succeeds E ())P(E ()) ( ) k ( k 1 ) = f () (s)p(σ succeeds T () = s, E ()) ds k (1 ) ( ) k ( k 1 ) = f () (s)p(a(, s) T () = s, E ()) ds k (1 ), (5) where A(, s) s defned as he even ha no record of any class s seen on he nerval [, s), for 0 < s < 1. We now use P(A(, s) T () = s, E ()) (/s). (6) To keep he curren proof sreamlned, we wll prove (6) n a echncal lemma afer he curren proof. Usng nequaly (6) n (5), we oban ( ) 1 k k p() k (1 ) (1 s) ( 1) (1 ) (/s) ds. (7) Cancellng ou a few erms, Equaon (7) smplfes o ( ) 1 k k p() k (1 s) ( 1) s ds. (8) We can mulply and dvde each erm of he sum n (8) by (1 s)s k, so as o oban ( ) 1 k k k p() (1 s)s k (1 s) s k ds, (9) and he sum can be nerpreed as he expecaon of a random varable wh dsrbuon Bnomal(k, 1 s). Therefore he value of he sum k(1 s). Fnally, 1 p() k ks k ds = k k 1 ( k ) =: h k (), (10) 6
The funcon h k () s maxmzed n = k, hence p( k ) h k ( k ) = k. (b) The proof of (a) s organzed n such a way ha we can argue here whou furher calculaons. Recall now (5) and. Noe ha condoned on N j = n j n, he even ha of a leas one arrval n class j has an ncreasng probably as n j ncreases, for all j. Bu hen he condonal probables of A(, s) n he negrands mus be non-ncreasng and hence converge o he shown lower bounds (/s) j. Snce hs holds for all 0 < s < 1 ponwse n s, mus hold for he correspondng negrals. As hey all have non-negave negrands, mus hold for her sum. Lemma 1. Suppose ha n 0 random varables are ndependen and unformly dsrbued on [0, 1]. These random varables represen he arrval mes of n unquely rankable opons. The probably ha no relave maxmum s seen n he nerval [, s) s greaer or equal o /s. Proof. We frs prove he resul for one class of opons. The followng argumen can already be found n Bruss and Yor (2012) and n a slghly dfferen form n Frej and Wäslund (2010). Look a he followng consellaon of pons on [0, 1]. 0 s 1 There are wo possbles. Eher here s no arrval a all n [0, s], n whch case A(, s) happens auomacally, or here s a leas one. Bu f here s a leas one, hen here s a bes among hem. Snce a condonal unform random varable says unform on he gven nerval, any pon has probably /s of arrvng n [0, ], gven arrves n [0, s]. Hence, snce, s 1, we have ha he probably of no record (n class 1) n [, s] s eher /s or one, ha s a leas /s. Now, more generally, n he conex of Theorem 2, hs argumen can be appled o any class of opons. If we consder classes, by ndependence of he arrval mes, he probably of he even A(, s) ha no relave maxmum (record) from hese classes s seen n [, s) s hen smply a leas (/s). Remark 2. Remember he defnon of p() a he begnnng of he proof of Theorem 2. Noe ha he even of he las record a me n s class s no measurable n he flraon generaed by he observaons up o me. Ths probably would only be defned condonally. The problem of gvng a lower bound s however no affeced by hs. 7
Remark 3. In he conex of Theorem 2, he probably of no soppng a all s k 1 k. Hence for k > 1 we canno have anoher rple concdence of he hree crucal values as n he 1/e-law for k = 1. Open problem. Noce ha Theorem 2 does no menon he word opmaly. Opmaly s an open problem, as also sll s for he 1/e-law, as reconfrmed n Bruss and Yor (2012, Secon 6.4). The laer have shown opmaly of her soluon for he so-called las-arrval problem whch looks very smlar, so ha he conjecure of opmaly s now almos compellng. However, he complee lack of nformaon abou he number of opons s n record-based problems even more delcae. Acknowledgemen The auhor s hankful o he referee for hs very helpful commens whch mproved he paper n many ways. References [1] Bayon, L., Grau, J., Oller-Marcen, A. M., and Suarez, P. M. (2016). A varan of he Secreary Problem: he bes or he wors. ArXv e-prns, arxv:1603.03928 [mah.pr]. [2] Bruss, F. T. (1984). A unfed approach o a class of bes choce problems wh an unknown number of opons. Ann. Probab., 12(3), 882 889. [3] Bruss, F. T. and Ferguson, T. S. (2002). Hgh-rsk and compeve nvesmen models. Ann. Appl. Probab., 12(5), 1202 1226. [4] Bruss, F. T. and Samuels, S. M. (1990). Condons for quas-saonary of he bayes rule n selecon problems wh an unknown number of rankable opons. Ann. Probab., 48(2), 877 886. [5] Bruss, F. T. and Yor, M. (2012). Sochasc processes wh proporonal ncremens and he las-arrval problem. Soch. Proc. and Th. Applc., 122(9), 3239 3261. [6] Dendevel, R. (2015). Weber s opmal soppng problem and generalzaons. Sa. & Prob. Leers, 97, 176 184. [7] Frej, R. and Wäslund, J. (2010). Parally ordered secreares. Elecr. Comm. n Probab., 15: 504 507. 8
[8] Garrod, B. and Morrs, R. (2013). The secreary problem on an unknown pose. Random Srucures & Alg., 43(4), 429 451. [9] Georgou, N., Kucha, M., Morayne, M., and Nemec, J. (2008). On a unversal bes choce algorhm for parally ordered ses. Random Srucures and Algorhms, 32(3), 263 273. [10] Gnedn, A. V. (1981). A mulcrera problem of opmal soppng of a selecon process. Auomaon and Remoe Conrol, 42(7), 981 986. [11] Kumar, R., Laanz, S., Vasslvsk, S., and Vaan, A. (2011). Hrng a secreary from a pose. Proc. 12h ACM Conf. on Elecr. Comm., 39 48. [12] Samuels, S. M. (1985) Mah. Revews MR0744243 (85m:62182). [13] Sadje, W. (1980). Effcen soppng of a random seres of parally ordered pons. Mulple Crera Decson Makng Theory and Applcaon, 430 447. Sprnger Berln Hedelberg. [14] Weber, R. R. (U. Cambrdge) (2012). Prvae communcaon o F. T. Bruss. 9