ugly proofs and book proofs
play

UGLY PROOFS and BOOK PROOFS Joel Spencer 1 Tournament T on n - PDF document

DIMACS, April 2006 UGLY PROOFS and BOOK PROOFS Joel Spencer 1 Tournament T on n players Ranking fit = NonUpsets - Upsets Erd os-Moon (1965): There exists T for all fit ( T, ) n 3 / 2 ln n Proof: Random Tournament JS (1972,


  1. DIMACS, April 2006 UGLY PROOFS and BOOK PROOFS Joel Spencer 1

  2. Tournament T on n players Ranking σ fit = NonUpsets - Upsets Erd˝ os-Moon (1965): There exists T for all σ fit ( T, σ ) ≤ n 3 / 2 √ ln n Proof: Random Tournament JS (1972, thesis!): For all T there exists σ fit ( T, σ ) ≥ cn 2 / 3 Proof: Random Sequential Rank on Top or Bottom 2

  3. JS (1980): For random T for all σ fit ( T, σ ) ≤ cn 3 / 2 Proof: Ugly de la Vega (1983): Gem Level 1: Top half against bottom half. � n � “different” σ ; n 2 / 4 games n/ 2 All 1-fit ≤ c 1 n 3 / 2 Level 2: 1 − 2 or 3 − 4 quartile games. < 4 n “different” σ ; n 2 / 8 games All 2-fit ≤ c 2 n 3 / 2 Level 3: 1 − 2, 3 − 4, 5 − 6,7 − 8 octile games. All 3-fit ≤ c 3 n 3 / 2 . . . � c i converges 3

  4. Six Standard Deviations Suffice A 1 , . . . , A n ⊆ { 1 , . . . , n } χ : { 1 , . . . , n } → {− 1 , +1 } , χ ( A ) := � a ∈ A χ ( a ) JS (1985): There exists χ | χ ( A i ) | ≤ 6 √ n, all 1 ≤ i ≤ n 4

  5. b i := roundoff of χ ( A i ) to nearest 20 √ n � b ( χ ) = ( b 1 , . . . , b n ) (Boppana) b i has low entropy Subadditivity: � b has low ( nǫ ) entropy b appears 1 . 99 n times ⇒ Some � � b ( χ 1 ) = � b ( χ 2 ) and differ in Ω( n ) places On the shoulders of Hungarians: Set χ = ( χ 1 − χ 2 ) / 2 Ω( n ) colored, | χ ( A i ) | ≤ 10 √ n Iterate . . . 5

  6. ASYMPTOTIC PACKING k + 1-uniform hypergraph (e.g. k = 2) N vertices deg( v ) = D Any two v, w have o ( D ) common hyperedges. N, D → ∞ , k fixed Conjecture (Erd˝ os-Hanani) There exists a packing P with | P | ∼ N/ ( k + 1) R¨ odl (1985): Yes! JS (1995): Random Greedy Works 6

  7. Continuous Time Birthtime b ( e ) ∈ [0 , D ] Packing P t , Surviving S t Pr[ v ∈ S t ] → f ( t ) = (1 + kt ) − 1 /k History H = H ( v, t ): • v ∈ e , b ( e ) ≤ t ⇒ e ∈ H • e ∈ H , e ∩ f � = ∅ , b ( f ) < b ( e ) ⇒ f ∈ H History determines if v ∈ S t History is whp treelike and bounded 7

  8. History ∼ Birth Process Time backward t to 0 Start with root “Eve” ( v ) Birth to k -tuplets Poisson intensity one Children born fertile Survival determined bottom up Menendez Rule: If all k of birth survive, mother is killed f ( t ) := Pr[ EveSurvives ] f ( t + dt ) − f ( t ) ∼ − f ( t ) · dt · f k ( t ) f ′ ( t ) = − f k +1 ( t ) f ( t ) = (1 + kt ) − 1 /k 8

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend