PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Problems for random trees/mappings, where labels play essential rˆ ole 3 7 6 9 1 1 17 8 14 11 10 2 16 5 9 3 15 5 13 19 12 4 7 14 2 11 6 18 12 13 8 10 4 Occurrence and avoidance of label-patterns in trees/mappings: Runs Records Alternating mappings 6 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings n -mappings: functions f from set [ n ] := { 1 , 2 , . . . , n } into itself: f : [ n ] → [ n ] Functional digraph G f of f : G f = ( V f , E f ), with V f = [ n ] and E f = { ( i , f ( i )) , i ∈ [ n ] } Simple structure: connected components of G f : cycles of trees 7 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings n -mappings: functions f from set [ n ] := { 1 , 2 , . . . , n } into itself: f : [ n ] → [ n ] Functional digraph G f of f : G f = ( V f , E f ), with V f = [ n ] and E f = { ( i , f ( i )) , i ∈ [ n ] } 3 9 6 1 17 8 11 10 2 16 15 5 13 19 7 14 18 12 4 Simple structure: connected components of G f : cycles of trees 7 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings n -mappings: functions f from set [ n ] := { 1 , 2 , . . . , n } into itself: f : [ n ] → [ n ] Functional digraph G f of f : G f = ( V f , E f ), with V f = [ n ] and E f = { ( i , f ( i )) , i ∈ [ n ] } 3 9 6 1 17 8 11 10 2 16 15 5 13 19 7 14 18 12 4 Simple structure: connected components of G f : cycles of trees 7 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Interesting example for avoiding a label patterns”: Alternating mappings: labels on each iteration path are up-down alternating sequence: i = f 0 ( i ) < f 1 ( i ) > f 2 ( i ) < f 3 ( i ) > · · · or i = f 0 ( i ) > f 1 ( i ) < f 2 ( i ) > f 3 ( i ) < · · · f 2 ( i ) − f ( i ) � � Equivalently: · ( f ( i ) − i ) < 0 for all i Corresponding quantity for permutations (“labelled line”): alternating permutations enumerated by zig-zag numbers (tangent and secant numbers) 8 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Interesting example for avoiding a label patterns”: Alternating mappings: labels on each iteration path are up-down alternating sequence: i = f 0 ( i ) < f 1 ( i ) > f 2 ( i ) < f 3 ( i ) > · · · or i = f 0 ( i ) > f 1 ( i ) < f 2 ( i ) > f 3 ( i ) < · · · f 2 ( i ) − f ( i ) � � Equivalently: · ( f ( i ) − i ) < 0 for all i Corresponding quantity for permutations (“labelled line”): alternating permutations enumerated by zig-zag numbers (tangent and secant numbers) 8 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Interesting example for avoiding a label patterns”: Alternating mappings: labels on each iteration path are up-down alternating sequence: i = f 0 ( i ) < f 1 ( i ) > f 2 ( i ) < f 3 ( i ) > · · · or i = f 0 ( i ) > f 1 ( i ) < f 2 ( i ) > f 3 ( i ) < · · · f 2 ( i ) − f ( i ) � � Equivalently: · ( f ( i ) − i ) < 0 for all i Corresponding quantity for permutations (“labelled line”): alternating permutations enumerated by zig-zag numbers (tangent and secant numbers) 8 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Interesting example for avoiding a label patterns”: Alternating mappings: labels on each iteration path are up-down alternating sequence: i = f 0 ( i ) < f 1 ( i ) > f 2 ( i ) < f 3 ( i ) > · · · or i = f 0 ( i ) > f 1 ( i ) < f 2 ( i ) > f 3 ( i ) < · · · f 2 ( i ) − f ( i ) � � Equivalently: · ( f ( i ) − i ) < 0 for all i Corresponding quantity for permutations (“labelled line”): alternating permutations enumerated by zig-zag numbers (tangent and secant numbers) 8 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Structure: zig-zag property on each path in functional graph 3 18 11 2 12 8 7 15 1 13 9 17 10 6 5 4 16 19 14 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 f : ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ 5 17 2 5 4 4 17 15 17 19 15 10 4 19 10 17 10 1 16 local minima alternate with local maxima : avoiding { up-up, down-down } 9 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Structure: zig-zag property on each path in functional graph 3 18 11 2 12 8 7 15 1 13 9 17 10 6 5 4 16 19 14 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 f : ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ 5 17 2 5 4 4 17 15 17 19 15 10 4 19 10 17 10 1 16 local minima alternate with local maxima : avoiding { up-up, down-down } 9 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Structure: zig-zag property on each path in functional graph 3 18 11 2 12 8 7 15 1 13 9 17 10 6 5 4 16 19 14 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 f : ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓ 5 17 2 5 4 4 17 15 17 19 15 10 4 19 10 17 10 1 16 local minima alternate with local maxima : avoiding { up-up, down-down } 9 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Combinatorial decomposition: w.r.t. largest labelled node n T 1 T 2 T ′ T r T 1 n C : or T r C ′ n ⇒ treatment requires auxiliary parameter: number of local minima ⇒ require also treatment of quantity for rooted labelled trees (Cayley trees) 10 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Combinatorial decomposition: w.r.t. largest labelled node n T 1 T 2 T ′ T r T 1 n C : or T r C ′ n ⇒ treatment requires auxiliary parameter: number of local minima ⇒ require also treatment of quantity for rooted labelled trees (Cayley trees) 10 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Combinatorial decomposition: w.r.t. largest labelled node n T 1 T 2 T ′ T r T 1 n C : or T r C ′ n ⇒ treatment requires auxiliary parameter: number of local minima ⇒ require also treatment of quantity for rooted labelled trees (Cayley trees) 10 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Corresponding problem for trees: Alternating trees (= intransitive trees): enumerative studies: Postnikov [1997] n T n = 1 � n � � k n − 1 number of rooted alternating trees: 2 n k k =0 occurs in combinatorial studies of hyperplane arrangements: Postnikov and Stanley [2000] Kuba and P. [2010]: studies of alternating tree families via combinatorial decomposition w.r.t. largest node using auxiliary parameter “number of local minima” 11 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Corresponding problem for trees: Alternating trees (= intransitive trees): enumerative studies: Postnikov [1997] n T n = 1 � n � � k n − 1 number of rooted alternating trees: 2 n k k =0 occurs in combinatorial studies of hyperplane arrangements: Postnikov and Stanley [2000] Kuba and P. [2010]: studies of alternating tree families via combinatorial decomposition w.r.t. largest node using auxiliary parameter “number of local minima” 11 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Generating functions treatment: trees: quasi-linear first order PDE F z ( z , u ) = uF u ( z , u ) e F ( z , u ) + u connected mappings: linear first order PDE C z ( z , u ) = uC u ( z , u ) e F ( z , u ) + uF u ( z , u ) e F ( z , u ) mappings: set of connected mappings M ( z , u ) = e C ( z , u ) 12 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Generating functions treatment: trees: quasi-linear first order PDE F z ( z , u ) = uF u ( z , u ) e F ( z , u ) + u connected mappings: linear first order PDE C z ( z , u ) = uC u ( z , u ) e F ( z , u ) + uF u ( z , u ) e F ( z , u ) mappings: set of connected mappings M ( z , u ) = e C ( z , u ) 12 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Generating functions treatment: trees: quasi-linear first order PDE F z ( z , u ) = uF u ( z , u ) e F ( z , u ) + u connected mappings: linear first order PDE C z ( z , u ) = uC u ( z , u ) e F ( z , u ) + uF u ( z , u ) e F ( z , u ) mappings: set of connected mappings M ( z , u ) = e C ( z , u ) 12 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Generating functions treatment: trees: quasi-linear first order PDE F z ( z , u ) = uF u ( z , u ) e F ( z , u ) + u connected mappings: linear first order PDE C z ( z , u ) = uC u ( z , u ) e F ( z , u ) + uF u ( z , u ) e F ( z , u ) mappings: set of connected mappings M ( z , u ) = e C ( z , u ) 12 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Theorem (P., 2012) Generating function solution: ( e F + 1) 2 F = z 1 + e F M ( z ) = 2 e F (1 + (1 − F ) e F ) , with 2 Enumeration formula: for M n number of alternating n-mappings n +1 1 � n + 1 � � ( k − 1) n M n = 2 n +1 k k =0 Asymptotics: √ 2 √ ρ + 2 � n � n ρ := 2 LambertW (1 M n ∼ · , e ) ≈ 0 . 556929 . . . 4 e ρ 13 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Theorem (P., 2012) Generating function solution: ( e F + 1) 2 F = z 1 + e F M ( z ) = 2 e F (1 + (1 − F ) e F ) , with 2 Enumeration formula: for M n number of alternating n-mappings n +1 1 � n + 1 � � ( k − 1) n M n = 2 n +1 k k =0 Asymptotics: √ 2 √ ρ + 2 � n � n ρ := 2 LambertW (1 M n ∼ · , e ) ≈ 0 . 556929 . . . 4 e ρ 13 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Label patterns in trees/mappings Theorem (P., 2012) Generating function solution: ( e F + 1) 2 F = z 1 + e F M ( z ) = 2 e F (1 + (1 − F ) e F ) , with 2 Enumeration formula: for M n number of alternating n-mappings n +1 1 � n + 1 � � ( k − 1) n M n = 2 n +1 k k =0 Asymptotics: √ 2 √ ρ + 2 � n � n ρ := 2 LambertW (1 M n ∼ · , e ) ≈ 0 . 556929 . . . 4 e ρ 13 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Hiring problem: introduced by Broder et al [SODA, 2008]; independently by Krieger et al [Ann. Prob. 2007] (unknown number of) candidates arrive sequentially each candidate is interviewed and gets a score (absolute or relative) decision whether to hire current candidate or not must be made instantly, depending on scores of candidates seen so far Important class of selection strategies: Quality of recruited staff increases whenever candidate is hired 14 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Hiring problem: introduced by Broder et al [SODA, 2008]; independently by Krieger et al [Ann. Prob. 2007] (unknown number of) candidates arrive sequentially each candidate is interviewed and gets a score (absolute or relative) decision whether to hire current candidate or not must be made instantly, depending on scores of candidates seen so far Important class of selection strategies: Quality of recruited staff increases whenever candidate is hired 14 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Hiring problem: introduced by Broder et al [SODA, 2008]; independently by Krieger et al [Ann. Prob. 2007] (unknown number of) candidates arrive sequentially each candidate is interviewed and gets a score (absolute or relative) decision whether to hire current candidate or not must be made instantly, depending on scores of candidates seen so far Important class of selection strategies: Quality of recruited staff increases whenever candidate is hired 14 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Hiring problem: introduced by Broder et al [SODA, 2008]; independently by Krieger et al [Ann. Prob. 2007] (unknown number of) candidates arrive sequentially each candidate is interviewed and gets a score (absolute or relative) decision whether to hire current candidate or not must be made instantly, depending on scores of candidates seen so far Important class of selection strategies: Quality of recruited staff increases whenever candidate is hired 14 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Hiring problem: introduced by Broder et al [SODA, 2008]; independently by Krieger et al [Ann. Prob. 2007] (unknown number of) candidates arrive sequentially each candidate is interviewed and gets a score (absolute or relative) decision whether to hire current candidate or not must be made instantly, depending on scores of candidates seen so far Important class of selection strategies: Quality of recruited staff increases whenever candidate is hired 14 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 1 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 1 7 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 1 7 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 1 7 6 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies “Hiring above the median”-strategy: candidate is recruited iff its score is better than median score of already hired staff Assume s 1 < s 2 < · · · < s k are scores of already hired candidates ⇒ new candidate is hired iff score is higher than s ⌊ k +1 2 ⌋ (lower median) 3 2 5 4 1 7 6 ⇒ 5 hired candidates 15 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Basic question: consider random sequence of n candidates how many candidates h n will be hired? Krieger et al [2007]: Expectation: E ( h n ) √ n → c . It seems impossible to determine c analytically. Helmi and P. [2012]: analytic expression for c Gaither and Ward [2012]: analysis of more general strategies 16 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Basic question: consider random sequence of n candidates how many candidates h n will be hired? Krieger et al [2007]: Expectation: E ( h n ) √ n → c . It seems impossible to determine c analytically. Helmi and P. [2012]: analytic expression for c Gaither and Ward [2012]: analysis of more general strategies 16 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Basic question: consider random sequence of n candidates how many candidates h n will be hired? Krieger et al [2007]: Expectation: E ( h n ) √ n → c . It seems impossible to determine c analytically. Helmi and P. [2012]: analytic expression for c Gaither and Ward [2012]: analysis of more general strategies 16 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Basic question: consider random sequence of n candidates how many candidates h n will be hired? Krieger et al [2007]: Expectation: E ( h n ) √ n → c . It seems impossible to determine c analytically. Helmi and P. [2012]: analytic expression for c Gaither and Ward [2012]: analysis of more general strategies 16 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Evolution of median of hired staff during “hiring process”: n candidates interviewed; median of hired staff is ℓ -th largest ( n + 1)-th candidate with certain score arrives Markov chain with states ( n , ℓ ) odd and ( n , ℓ ) even : ℓ P = 1 − ℓ ℓ P = 1 − P = n +1 n +1 n +1 ( n , ℓ ) �→ ( n + 1 , ℓ ) ( n , ℓ ) �→ ( n + 1 , ℓ ) ( n , ℓ ) �→ ( n + 1 , ℓ ) 2 1 ℓ P = n +1 ( n , ℓ ) �→ ( n + 1 , ℓ + 1) Linear first order PDE for suitable g.f. of prob. P { h n = k } : zu − u − u 2 z 2 � � z (1 − z ) F z ( z , u ) + F u ( z , u ) − zF ( z , u ) = 0 1 − z 17 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Evolution of median of hired staff during “hiring process”: n candidates interviewed; median of hired staff is ℓ -th largest ( n + 1)-th candidate with certain score arrives Markov chain with states ( n , ℓ ) odd and ( n , ℓ ) even : ℓ P = 1 − ℓ ℓ P = 1 − P = n +1 n +1 n +1 ( n , ℓ ) �→ ( n + 1 , ℓ ) ( n , ℓ ) �→ ( n + 1 , ℓ ) ( n , ℓ ) �→ ( n + 1 , ℓ ) 2 1 ℓ P = n +1 ( n , ℓ ) �→ ( n + 1 , ℓ + 1) Linear first order PDE for suitable g.f. of prob. P { h n = k } : zu − u − u 2 z 2 � � z (1 − z ) F z ( z , u ) + F u ( z , u ) − zF ( z , u ) = 0 1 − z 17 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Evolution of median of hired staff during “hiring process”: n candidates interviewed; median of hired staff is ℓ -th largest ( n + 1)-th candidate with certain score arrives Markov chain with states ( n , ℓ ) odd and ( n , ℓ ) even : ℓ P = 1 − ℓ ℓ P = 1 − P = n +1 n +1 n +1 ( n , ℓ ) �→ ( n + 1 , ℓ ) ( n , ℓ ) �→ ( n + 1 , ℓ ) ( n , ℓ ) �→ ( n + 1 , ℓ ) 2 1 ℓ P = n +1 ( n , ℓ ) �→ ( n + 1 , ℓ + 1) Linear first order PDE for suitable g.f. of prob. P { h n = k } : zu − u − u 2 z 2 � � z (1 − z ) F z ( z , u ) + F u ( z , u ) − zF ( z , u ) = 0 1 − z 17 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Theorem (Helmi and P., 2011) “Hiring above lower median”: Number h n of hired candidates is distributed as follows: � n − 1 −⌊ k ( n − ℓ ℓ − 1 ) 2 ⌋ � ℓ ) , for k = 2 ℓ − 1 odd , ⌈ k ( n 2 ⌉− 1 P { h n = k } = = � n ( n − ℓ ℓ − 2 ) � ⌈ k ℓ − 1 ) , for k = 2 ℓ − 2 even . 2 ⌉ ( n Theorem Expectation of h n satisfies: E ( h n ) = √ π √ n + O (1) . √ h n asymptotically Rayleigh distributed with parameter σ = 2 , ( d ) → ˆ R, where ˆ h n i.e., √ n − − R has density function f ( x ) = x 2 e − x 2 ˆ 4 , for x > 0 . 18 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models Analysis of on-line selection strategies Theorem (Helmi and P., 2011) “Hiring above lower median”: Number h n of hired candidates is distributed as follows: � n − 1 −⌊ k ( n − ℓ ℓ − 1 ) 2 ⌋ � ℓ ) , for k = 2 ℓ − 1 odd , ⌈ k ( n 2 ⌉− 1 P { h n = k } = = � n ( n − ℓ ℓ − 2 ) � ⌈ k ℓ − 1 ) , for k = 2 ℓ − 2 even . 2 ⌉ ( n Theorem Expectation of h n satisfies: E ( h n ) = √ π √ n + O (1) . √ h n asymptotically Rayleigh distributed with parameter σ = 2 , ( d ) → ˆ R, where ˆ h n i.e., √ n − − R has density function f ( x ) = x 2 e − x 2 ˆ 4 , for x > 0 . 18 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models P´ olya-Eggenberger urn model: Urn with 2 type of balls: n white balls, m black balls � a b � Transition matrix: M = c d Urn evolution process: choose ball at random examine color put ball back into urn insert balls according transition matrix: if white ball chosen: add a white and b black balls if black ball chosen: add c white and d black balls 19 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models P´ olya-Eggenberger urn model: Urn with 2 type of balls: n white balls, m black balls � a b � Transition matrix: M = c d Urn evolution process: choose ball at random examine color put ball back into urn insert balls according transition matrix: if white ball chosen: add a white and b black balls if black ball chosen: add c white and d black balls 19 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models P´ olya-Eggenberger urn model: Urn with 2 type of balls: n white balls, m black balls � a b � Transition matrix: M = c d Urn evolution process: choose ball at random examine color put ball back into urn insert balls according transition matrix: if white ball chosen: add a white and b black balls if black ball chosen: add c white and d black balls 19 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls p yellow = 7/13 p black = 6/13 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls Inspected color: yellow 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls 2 x 1 x 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls p yellow = 9/16 p black = 7/16 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls Inspected color: black 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls 1 x -1 x 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Example: � 2 1 � ball replacement matrix M = 1 − 1 initial configuration: n = 7 yellow (white) balls and m = 6 black balls 20 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Diminishing urn models: P´ olya-Eggenberger urn model with ball replacement matrix M in addition: set of absorbing states A ⊂ N 0 × N 0 . urn evolves according to matrix M until absorbing state ( i , j ) ∈ A is reached consider only well defined urns: urn always ends in absorbing state of A 21 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Diminishing urn models: P´ olya-Eggenberger urn model with ball replacement matrix M in addition: set of absorbing states A ⊂ N 0 × N 0 . urn evolves according to matrix M until absorbing state ( i , j ) ∈ A is reached consider only well defined urns: urn always ends in absorbing state of A 21 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Diminishing urn models: P´ olya-Eggenberger urn model with ball replacement matrix M in addition: set of absorbing states A ⊂ N 0 × N 0 . urn evolves according to matrix M until absorbing state ( i , j ) ∈ A is reached consider only well defined urns: urn always ends in absorbing state of A 21 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models Diminishing urn models: P´ olya-Eggenberger urn model with ball replacement matrix M in addition: set of absorbing states A ⊂ N 0 × N 0 . urn evolves according to matrix M until absorbing state ( i , j ) ∈ A is reached consider only well defined urns: urn always ends in absorbing state of A 21 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: proposed by Knuth and McCarthy [1991] in a bottle there are n small pills and m large pills a large pill is equivalent to two small pills every day a person chooses a pill at random if a small pill is chosen, it is eaten up if a large pill is chosen it is broken into two halves: one half is eaten and the other half, which is now considered to be a small pill, is returned to the bottle Main question: What is the number of small pills X m , n remaining when all large pills have been consumed? 22 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: proposed by Knuth and McCarthy [1991] in a bottle there are n small pills and m large pills a large pill is equivalent to two small pills every day a person chooses a pill at random if a small pill is chosen, it is eaten up if a large pill is chosen it is broken into two halves: one half is eaten and the other half, which is now considered to be a small pill, is returned to the bottle Main question: What is the number of small pills X m , n remaining when all large pills have been consumed? 22 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: proposed by Knuth and McCarthy [1991] in a bottle there are n small pills and m large pills a large pill is equivalent to two small pills every day a person chooses a pill at random if a small pill is chosen, it is eaten up if a large pill is chosen it is broken into two halves: one half is eaten and the other half, which is now considered to be a small pill, is returned to the bottle Main question: What is the number of small pills X m , n remaining when all large pills have been consumed? 22 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (6,1) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) 6/7 (6,1) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) 6/7 2/7 (5,1) (6,1) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) 6/7 2/7 (5,1) (6,1) 1/6 (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) 6/7 2/7 (4,1) (5,1) (6,1) 1/6 5/5 (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) 6/7 2/7 (4,1) (5,1) (6,1) 1/5 1/6 5/5 (4,0) (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) 6/7 2/7 (4,1) (3,1) (5,1) (6,1) 1/5 1/6 4/4 5/5 (4,0) (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (5,2) (2,2) 6/7 2/7 3/4 (4,1) (3,1) (5,1) (6,1) 1/5 1/6 4/4 5/5 (4,0) (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (1,3) 2/3 (5,2) (2,2) 6/7 2/7 3/4 (4,1) (3,1) (5,1) (6,1) 1/5 1/6 4/4 5/5 (4,0) (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (1,3) 2/3 3/4 (5,2) (2,2) (1,2) 6/7 2/7 3/4 (4,1) (3,1) (5,1) (6,1) 1/5 1/6 4/4 5/5 (4,0) (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
PDEs and combinatorial problems Label patterns On-line selection Urn models P´ olya-Eggenberger urn models The pill’s problem: � − 1 0 � ball replacement matrix M = 1 − 1 absorbing states A = { (0 , n ) | n ∈ N 0 } start with 6 large pills and one small pill (1,3) 2/3 3/4 (5,2) (2,2) (1,2) 6/7 2/7 2/3 3/4 (4,1) (3,1) (5,1) (6,1) (1,1) 1/5 1/6 4/4 5/5 (4,0) (5,0) ⇒ The state (0 , 2) ∈ A is reached. 23 / 25
Recommend
More recommend