SlideShare ist ein Scribd-Unternehmen logo
1 von 17
Downloaden Sie, um offline zu lesen
1 -embeddings       and algorithmic applications

                           Grigory Yaroslavtsev
           (proofs from “The design of approximation algorihms”
                        by Williamson and Shmoys)

                             Pennsylvania State University


                                 March 12, 2012




Grigory Yaroslavtsev (PSU)                                   March 12, 2012   1 / 17
Metric embeddings and tree metrics

     A finite metric space is a pair (V , d), where V is a set of n points and
     d : X × X → R+ is a distance function (three axioms).
     A metric embedding of (V , d) is a metric space (V , d ), such that
     V ⊆ V and for all u, v ∈ V we have du,v ≤ du,v .

                               Distortion = max du,v /du,v .
                                            u,v ∈V

     A tree metric is a shortest path metric in a tree.

Theorem (Fakcharoenphol, Rao, Talwar)
Given a distance metric (V , d), there is a randomized polynomial-time
algorithm that produces a tree metric (V , T ), V ⊆ V , such that for all
u, v ∈ V , duv ≤ Tu,v and E[Tuv ] ≤ O(log n)duv .


  Grigory Yaroslavtsev (PSU)                                   March 12, 2012   2 / 17
Metric embeddings and tree metrics

Theorem (Fakcharoenphol, Rao, Talwar)
Given a distance metric (V , d), there is a randomized polynomial-time
algorithm that produces a tree metric (V , T ), V ⊆ V , such that for all
u, v ∈ V , duv ≤ Tu,v and E[Tuv ] ≤ O(log n)duv .

     With a single tree Ω(n) distortion for a cycle (Steiner vertices don’t
     help).
                                                           √
     Distribution on trees [Alon, Karp, Peleg, West]: O(2      log n log logn ).

     With Steiner points [Bartal]: O(log n log log n).
     Lower bound for any tree metric [Bartal]: Ω(log n).
With 1 -embeddable metrics (more general), distributions and Steiner
points are not needed.

  Grigory Yaroslavtsev (PSU)                                    March 12, 2012     3 / 17
Embeddings into Rk and                    2 -embeddings

                                                                                      1/p
                                                                  k
Embedding of (V , d) into (Rk ,          p ):   d p (x, y ) =     i=1 |xi   − yi |p           .
Some facts about               2 -embeddings:
     If (V , d) is exactly        2 -embeddable    ⇒ it is exactly     p -embeddable              for
     1 ≤ p ≤ ∞.
     Distortion: O(log n) [Bourgain’85] (dimension n is enough).
     Minimum distortion embedding can be computed via SDP.
     Lower bound Ω(log n) via dual SDP (for expander graphs).
     Dimension reduction: n-point                 2 -metric   can be embedded into
             log n
         O     2
     R               with distortion 1 + [Johnson, Lindenstrauss ’84].
     Dimension above is optimal ([Jayram, Woodruff, SODA’11]).
     Multiple applications.


  Grigory Yaroslavtsev (PSU)                                                 March 12, 2012        4 / 17
1 -embeddings




Some facts about               1 -embeddings:
     Embedding with distortion O(log n) and dimension O(log2 n) (later).
     JL-like dimension reduction impossible [Brinkman, Charikar; Lee,
                                              2
     Naor]: for distortion D dimension nΩ(1/D ) is needed.
     Any tree metric is          1 -embeddable,   converse is false.
     Representable as a convex combination of cut metrics (later).




  Grigory Yaroslavtsev (PSU)                                           March 12, 2012   5 / 17
1 -embeddings              and cut metrics


Definition (Cut metric)
For S ⊆ V , a cut metric is χS (u, v ) = 1 if |{u, v } ∩ S| = 1, otherwise
χS (u, v ) = 0.

Lemma
If (V , d) is an 1 -embeddable metric with an embedding f , then there
exist λS ≥ 0 for all S ⊆ V such that for all u, v ∈ V ,

                               f (u) − f (v )   1   =         λS · χS (u, v )
                                                        S⊆V

If f is an embedding into Rm then ≤ mn of the λS are non-zero.



  Grigory Yaroslavtsev (PSU)                                                    March 12, 2012   6 / 17
1 -embeddings              and cut metrics
If (V , d) is an 1 -embeddable metric with an embedding f , then there
exist λS ≥ 0 for all S ⊆ V such that for all u, v ∈ V ,
                               f (u) − f (v )   1   =         λS · χS (u, v )
                                                        S⊆V

If f is an embedding into Rm then ≤ mn of the λS are non-zero.
Proof.
    If m = 1, then f embeds V into n points on a line.
            Let xi = f (i) and assume that x1 ≤ · · · ≤ xn .
            Consider cuts Si = {1, . . . , i}.
                                                     j−1
            Let λSi = xi+1 − xi , then |xi − xj | = k=i λSk .
                           n−1
            |xi − xj | = k=1 λSk χSk (i, j).
     If m > 1, do the same for each coordinate separately ⇒ ≤ mn
     non-zero λS , which can be computed efficiently.


  Grigory Yaroslavtsev (PSU)                                                    March 12, 2012   7 / 17
Computing an                   1 -embedding


Theorem (Bourgain; Linial, London, Rabinovich)
Any metric (V , d) embeds into 1 with distortion O(log n). The
                         2
embedding f : V → RO(log n) can be computed w.h.p. in polynomial time.

Theorem (Aumann, Rabani; Linial, London, Rabinovich)
Given a metric (V , d) and k pairs of terminals si , ti ∈ V , we can compute
                                                   2
in polynomial time an embedding f : V → RO(log k) such that w.h.p:
  1    f (u) − f (v )      1       ≤ r · O(log k) · duv , for all u, v ∈ V ,
  2    f (si ) − f (ti )       1   ≥ r · dsi ti , for all 1 ≤ i ≤ k,
for some r > 0.
Second theorem is more general ⇒ O(log k) approximation for sparsest
cut (later today).

  Grigory Yaroslavtsev (PSU)                                                   March 12, 2012   8 / 17
Fr´chet embedding
  e

Definition (Fr´chet embedding)
             e
For a metric space (V , d) and p subsets A1 , . . . , Ap ⊆ V a Fr´chet
                                                                 e
embedding f : V → Rp is defined for all u ∈ V as:

                          f (u) = (d(u, A1 ), . . . , d(u, Ap )) ∈ Rp ,

where d(u, S) = minv ∈S d(u, v ) for a subset S ⊆ V .

Lemma
For a Fr´chet embedding f : V → Rp of (V , d), we have
        e
 f (u) − f (v ) 1 ≤ pdu,v for all u, v ∈ V .

Proof.
For each 1 ≤ i ≤ p, we have |d(u, Ai ) − d(v , Ai )| ≤ duv .

  Grigory Yaroslavtsev (PSU)                                              March 12, 2012   9 / 17
Proof of the main theorem


Idea: pick O(log2 k) sets Aj randomly, such that w.h.p.:

                      f (si ) − f (ti )   1   = Ω(log k)dsi ti , for all (si , ti ),

then by taking r = Θ(log k) we’re done by the previous lemma.
     Let size of T = ∪i {si , ti } be a power of two and τ = log2 (2k).
     Let L = q log k for some constant q.
     Let At, for 1 ≤ t ≤ τ , 1 ≤ ≤ L be sets of size 2k/2t , chosen
     randomly with replacement from T .
     We have Lτ = O(log2 k) sets.
     Will show: f (si ) − f (ti )              1   ≥ Ω(Ldsi ti ) = Ω(log k) · dsi ti w.h.p.



  Grigory Yaroslavtsev (PSU)                                                      March 12, 2012   10 / 17
Proof of the main theorem

Want to show: f (si ) − f (ti )               ≥ Ω(Ldsi ti ) w.h.p.
                                                 1
     (Open) ball        B o (u, r )     = {v ∈ T |du,v < r }
                                                       ≤
     Let rt be minimum r , such that |B(si , r )| ≥ 2t and |B(ti , r )| ≥ 2t .
     Let ˆ = minimum t, such that rt ≥ 1 dsi ti .
         t                              4
Will show: for any 1 ≤ ≤ L, 1 ≤ t ≤ ˆ we have (w.l.o.g.):
                                    t

          Pr[(At ∩ B(si , rt−1 ) = ∅) ∧ (At ∩ B o (ti , rt ) = ∅)] ≥ const
                L
By Chernoff:      =1 |d(si , At ) − d(ti , At )| ≥ Ω(L(rt − rt−1 )), w.h.p.
                                 ˆ
Because f (si ) − f (ti ) 1 ≥ t  t=1
                                        L
                                         =1 |d(si , At ) − d(ti , At )|, we have:

                                        ˆ
                                        t
       f (si ) − f (ti )       1   ≥         Ω(L(rt − rt−1 )) = Ω(Lrˆ) = Ω(Ldsi ti )
                                                                    t                         .
                                       t=1


  Grigory Yaroslavtsev (PSU)                                                 March 12, 2012       11 / 17
Proof of the main theorem
Want to show: for any 1 ≤ ≤ L, 1 ≤ t ≤ ˆ we have (w.l.o.g.):
                                       t

           Pr[(At ∩ B(si , rt−1 ) = ∅) ∧ (At ∩ B(ti , rt ) = ∅)] ≥ const

     Let event Et = (At ∩ B(si , rt−1 ) = ∅) ∧ (At ∩ B(ti , rt ) = ∅).
     Let G = B(si , rt−1 ), B = B o (ti , rt ) and A = At .

                          Pr[E t ] = Pr[A ∩ B = ∅ ∧ A ∩ G = ∅]
                          = Pr[A ∩ G = ∅|A ∩ B = ∅] · Pr[A ∩ B = ∅]
                          ≥ Pr[A ∩ G = ∅] · Pr[A ∩ B = ∅].

     Recall, that |A| = 2τ −t , |B| < 2t and |G | ≥ 2t−1 .
                                          |A|
                                   |B|                             τ −t
     Pr[A ∩ B = ∅] = 1 −           |T |          ≥ (1 − 2τ −t )2          ≥ 1.
                                                                            4
                                                  |A|
                                          |G |
     Pr[A ∩ G = ∅] = 1 − 1 −              |T |          ≥ 1 − e −|G ||A|/|T | ≥ 1 − e −1/2 .

  Grigory Yaroslavtsev (PSU)                                                     March 12, 2012   12 / 17
Approximation for sparsest cut
Sparsest cut: given an undirected graph G (V , E ), costs ce ≥ 0 for e ∈ E
and k pairs (si , ti ) with demands di , find S, which minimizes:

                                                      e∈δ(S) ce
                                    ρ(S) =                               .
                                                  i:|S∩{si ,ti }|=1 di

LP relaxation (variables yi ≥ 0, 1 ≤ i ≤ k and xe ≥ 0, ∀e ∈ E ):

               minimize:             ce xe
                               e∈E
                                k
             subject to:             di yi = 1,
                               i=1

                                     xe ≥ yi                   ∀P ∈ Pi , 1 ≤ i ≤ k,
                               e∈P

where Pi is the set of all si − ti paths.
  Grigory Yaroslavtsev (PSU)                                                 March 12, 2012   13 / 17
Approximation for sparsest cut
LP relaxation (variables yi ≥ 0, 1 ≤ i ≤ k and xe ≥ 0, ∀e ∈ E ):

               minimize:             ce xe
                               e∈E
                                k
             subject to:             di yi = 1,
                               i=1

                                     xe ≥ yi              ∀P ∈ Pi , 1 ≤ i ≤ k,
                               e∈P

where Pi is the set of all si − ti paths.
Intended solution: if we separate pairs D = {di1 , . . . , dit } with a cut S:

                                         χS (e)         1D (i)
                                xe =             , yi =         .
                                           t dit          t dit


  Grigory Yaroslavtsev (PSU)                                            March 12, 2012   14 / 17
Approximation for sparsest cut: rounding

     Given a solution {xe }, define a shortest path metric dx (u, v ).
                                                                           2
     Find an embedding f : (V , dx ) → RO(log                                  k)   with distortion O(log k).
                               2
     Find ≤ O(n log k) values λS : f (u) − f (v )                                    1    =        S⊆V    λS χS (u, v ).
     Return S ∗ , such that ρ(S ∗ ) = min ρ(S).
                                                       S : λS >0


                                           e∈δ(S) ce                                            ce χS (e)
     ρ(S ∗ ) = min                                                 = min                  e∈E
                   S : λS >0          i : |S∩{si ,ti }|=1 di            S : λS >0         i di χS (si , ti )

              S⊆V        λS        e∈E   ce χS (e)             e∈E       ce         S⊆V λS χS (e)
      ≤                                               =
              S⊆V        λS        i di χS (si , ti )          i   di         S⊆V    λS χS (si , ti )
              e=(u,v )∈E       ce f (u) − f (v )          1         r · O(log k)                  e=(u,v )∈E   ce dx (u, v )
      =                                                       ≤                                                                .
                     i   di f (si ) − f (ti )     1                                  r·       i   di dx (si , ti )


  Grigory Yaroslavtsev (PSU)                                                                          March 12, 2012   15 / 17
Approximation for sparsest cut
LP relaxation (variables yi ≥ 0, 1 ≤ i ≤ k and xe ≥ 0, ∀e ∈ E ):
               minimize:                ce xe                                                                 (1)
                                 e∈E
                                  k
             subject to:                di yi = 1,                                                            (2)
                                 i=1

                                        xe ≥ yi                        ∀P ∈ Pi , 1 ≤ i ≤ k,                   (3)
                                 e∈P
where Pi is the set of all si − ti paths.

                                  e=(u,v )∈E          ce dx (u, v )   (3)           e=(u,v )∈E        ce xe
  ρ(S ∗ ) ≤ O(log k)                                                  ≤ O(log k)
                                            i   di dx (si , ti )                         i   di y i
   (2)                                (1)
   = O(log k)                  ce xe ≤ O(log k)OPT .
                      e∈E

  Grigory Yaroslavtsev (PSU)                                                         March 12, 2012           16 / 17
Conclusion



What we saw today:
                                             2
      1 -embedding             into RO(log       n)   with distortion O(log n).
     O(log k)-approximation for sparsest cut.
Extensions:
     Cut-tree packings, approximating cuts by trees [R¨cke; Harrelson,
                                                      a
     Hildrum, Rao].
                               √
     Balanced sparsest cut: O( log n)-approximation [Arora, Rao,
     Vazirani].




  Grigory Yaroslavtsev (PSU)                                                      March 12, 2012   17 / 17

Weitere ähnliche Inhalte

Was ist angesagt?

Bellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproductsBellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproductsVjekoslavKovac1
 
Multilinear Twisted Paraproducts
Multilinear Twisted ParaproductsMultilinear Twisted Paraproducts
Multilinear Twisted ParaproductsVjekoslavKovac1
 
Trilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsTrilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsVjekoslavKovac1
 
Scattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysisScattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysisVjekoslavKovac1
 
Quantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averagesQuantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averagesVjekoslavKovac1
 
Estimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliersEstimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliersVjekoslavKovac1
 
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsA T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsVjekoslavKovac1
 
Paraproducts with general dilations
Paraproducts with general dilationsParaproducts with general dilations
Paraproducts with general dilationsVjekoslavKovac1
 
Multilinear singular integrals with entangled structure
Multilinear singular integrals with entangled structureMultilinear singular integrals with entangled structure
Multilinear singular integrals with entangled structureVjekoslavKovac1
 
A Szemerédi-type theorem for subsets of the unit cube
A Szemerédi-type theorem for subsets of the unit cubeA Szemerédi-type theorem for subsets of the unit cube
A Szemerédi-type theorem for subsets of the unit cubeVjekoslavKovac1
 
A sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentialsA sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentialsVjekoslavKovac1
 
Density theorems for Euclidean point configurations
Density theorems for Euclidean point configurationsDensity theorems for Euclidean point configurations
Density theorems for Euclidean point configurationsVjekoslavKovac1
 
Density theorems for anisotropic point configurations
Density theorems for anisotropic point configurationsDensity theorems for anisotropic point configurations
Density theorems for anisotropic point configurationsVjekoslavKovac1
 
A Szemeredi-type theorem for subsets of the unit cube
A Szemeredi-type theorem for subsets of the unit cubeA Szemeredi-type theorem for subsets of the unit cube
A Szemeredi-type theorem for subsets of the unit cubeVjekoslavKovac1
 
Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...
Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...
Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...jfrchicanog
 
computational stochastic phase-field
computational stochastic phase-fieldcomputational stochastic phase-field
computational stochastic phase-fieldcerniagigante
 
Signal Processing Course : Inverse Problems Regularization
Signal Processing Course : Inverse Problems RegularizationSignal Processing Course : Inverse Problems Regularization
Signal Processing Course : Inverse Problems RegularizationGabriel Peyré
 
Andreas Eberle
Andreas EberleAndreas Eberle
Andreas EberleBigMC
 

Was ist angesagt? (20)

Bellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproductsBellman functions and Lp estimates for paraproducts
Bellman functions and Lp estimates for paraproducts
 
Multilinear Twisted Paraproducts
Multilinear Twisted ParaproductsMultilinear Twisted Paraproducts
Multilinear Twisted Paraproducts
 
Trilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operatorsTrilinear embedding for divergence-form operators
Trilinear embedding for divergence-form operators
 
Scattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysisScattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysis
 
Quantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averagesQuantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averages
 
Estimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliersEstimates for a class of non-standard bilinear multipliers
Estimates for a class of non-standard bilinear multipliers
 
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsA T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operators
 
Paraproducts with general dilations
Paraproducts with general dilationsParaproducts with general dilations
Paraproducts with general dilations
 
Multilinear singular integrals with entangled structure
Multilinear singular integrals with entangled structureMultilinear singular integrals with entangled structure
Multilinear singular integrals with entangled structure
 
A Szemerédi-type theorem for subsets of the unit cube
A Szemerédi-type theorem for subsets of the unit cubeA Szemerédi-type theorem for subsets of the unit cube
A Szemerédi-type theorem for subsets of the unit cube
 
A sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentialsA sharp nonlinear Hausdorff-Young inequality for small potentials
A sharp nonlinear Hausdorff-Young inequality for small potentials
 
Density theorems for Euclidean point configurations
Density theorems for Euclidean point configurationsDensity theorems for Euclidean point configurations
Density theorems for Euclidean point configurations
 
Density theorems for anisotropic point configurations
Density theorems for anisotropic point configurationsDensity theorems for anisotropic point configurations
Density theorems for anisotropic point configurations
 
A Szemeredi-type theorem for subsets of the unit cube
A Szemeredi-type theorem for subsets of the unit cubeA Szemeredi-type theorem for subsets of the unit cube
A Szemeredi-type theorem for subsets of the unit cube
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
 
Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...
Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...
Efficient Identification of Improving Moves in a Ball for Pseudo-Boolean Prob...
 
computational stochastic phase-field
computational stochastic phase-fieldcomputational stochastic phase-field
computational stochastic phase-field
 
Signal Processing Course : Inverse Problems Regularization
Signal Processing Course : Inverse Problems RegularizationSignal Processing Course : Inverse Problems Regularization
Signal Processing Course : Inverse Problems Regularization
 
Andreas Eberle
Andreas EberleAndreas Eberle
Andreas Eberle
 
test
testtest
test
 

Andere mochten auch

Liberal Arts Internbridge2b
Liberal Arts Internbridge2bLiberal Arts Internbridge2b
Liberal Arts Internbridge2blnmathews
 
Business Proposal
Business ProposalBusiness Proposal
Business Proposallnmathews
 
Time Management Msu Fall 2009
Time Management Msu Fall 2009Time Management Msu Fall 2009
Time Management Msu Fall 2009lnmathews
 
Tips for Excellent Presentation
 Tips for Excellent Presentation Tips for Excellent Presentation
Tips for Excellent Presentationgroup6csw
 
Karangan SPM- Rasuah
Karangan SPM- RasuahKarangan SPM- Rasuah
Karangan SPM- RasuahM D
 

Andere mochten auch (8)

Liberal Arts Internbridge2b
Liberal Arts Internbridge2bLiberal Arts Internbridge2b
Liberal Arts Internbridge2b
 
Business Proposal
Business ProposalBusiness Proposal
Business Proposal
 
Advances in Directed Spanners
Advances in Directed SpannersAdvances in Directed Spanners
Advances in Directed Spanners
 
Time Management Msu Fall 2009
Time Management Msu Fall 2009Time Management Msu Fall 2009
Time Management Msu Fall 2009
 
Tips for Excellent Presentation
 Tips for Excellent Presentation Tips for Excellent Presentation
Tips for Excellent Presentation
 
Metric Embeddings and Expanders
Metric Embeddings and ExpandersMetric Embeddings and Expanders
Metric Embeddings and Expanders
 
5.democracy
5.democracy5.democracy
5.democracy
 
Karangan SPM- Rasuah
Karangan SPM- RasuahKarangan SPM- Rasuah
Karangan SPM- Rasuah
 

Ähnlich wie l1-Embeddings and Algorithmic Applications

A unique common fixed point theorem for four
A unique common fixed point theorem for fourA unique common fixed point theorem for four
A unique common fixed point theorem for fourAlexander Decker
 
cmftJYeZhuanTalk.pdf
cmftJYeZhuanTalk.pdfcmftJYeZhuanTalk.pdf
cmftJYeZhuanTalk.pdfjyjyzr69t7
 
Solovay Kitaev theorem
Solovay Kitaev theoremSolovay Kitaev theorem
Solovay Kitaev theoremJamesMa54
 
Darmon Points: an Overview
Darmon Points: an OverviewDarmon Points: an Overview
Darmon Points: an Overviewmmasdeu
 
Reflect tsukuba524
Reflect tsukuba524Reflect tsukuba524
Reflect tsukuba524kazuhase2011
 
Litvinenko_RWTH_UQ_Seminar_talk.pdf
Litvinenko_RWTH_UQ_Seminar_talk.pdfLitvinenko_RWTH_UQ_Seminar_talk.pdf
Litvinenko_RWTH_UQ_Seminar_talk.pdfAlexander Litvinenko
 
Las funciones L en teoría de números
Las funciones L en teoría de númerosLas funciones L en teoría de números
Las funciones L en teoría de númerosmmasdeu
 
Introduction to inverse problems
Introduction to inverse problemsIntroduction to inverse problems
Introduction to inverse problemsDelta Pi Systems
 
The Universal Bayesian Chow-Liu Algorithm
The Universal Bayesian Chow-Liu AlgorithmThe Universal Bayesian Chow-Liu Algorithm
The Universal Bayesian Chow-Liu AlgorithmJoe Suzuki
 
Distributionworkshop 2.pptx
Distributionworkshop 2.pptxDistributionworkshop 2.pptx
Distributionworkshop 2.pptxnagalakshmig4
 
GradStudentSeminarSept30
GradStudentSeminarSept30GradStudentSeminarSept30
GradStudentSeminarSept30Ryan White
 
A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...
A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...
A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...Joe Suzuki
 
A common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesA common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesAlexander Decker
 
Rational points on elliptic curves
Rational points on elliptic curvesRational points on elliptic curves
Rational points on elliptic curvesmmasdeu
 
Natalini nse slide_giu2013
Natalini nse slide_giu2013Natalini nse slide_giu2013
Natalini nse slide_giu2013Madd Maths
 

Ähnlich wie l1-Embeddings and Algorithmic Applications (20)

A unique common fixed point theorem for four
A unique common fixed point theorem for fourA unique common fixed point theorem for four
A unique common fixed point theorem for four
 
cmftJYeZhuanTalk.pdf
cmftJYeZhuanTalk.pdfcmftJYeZhuanTalk.pdf
cmftJYeZhuanTalk.pdf
 
CLIM Fall 2017 Course: Statistics for Climate Research, Statistics of Climate...
CLIM Fall 2017 Course: Statistics for Climate Research, Statistics of Climate...CLIM Fall 2017 Course: Statistics for Climate Research, Statistics of Climate...
CLIM Fall 2017 Course: Statistics for Climate Research, Statistics of Climate...
 
Solovay Kitaev theorem
Solovay Kitaev theoremSolovay Kitaev theorem
Solovay Kitaev theorem
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
 
Darmon Points: an Overview
Darmon Points: an OverviewDarmon Points: an Overview
Darmon Points: an Overview
 
Reflect tsukuba524
Reflect tsukuba524Reflect tsukuba524
Reflect tsukuba524
 
Litvinenko_RWTH_UQ_Seminar_talk.pdf
Litvinenko_RWTH_UQ_Seminar_talk.pdfLitvinenko_RWTH_UQ_Seminar_talk.pdf
Litvinenko_RWTH_UQ_Seminar_talk.pdf
 
MUMS: Bayesian, Fiducial, and Frequentist Conference - Statistical Sparsity, ...
MUMS: Bayesian, Fiducial, and Frequentist Conference - Statistical Sparsity, ...MUMS: Bayesian, Fiducial, and Frequentist Conference - Statistical Sparsity, ...
MUMS: Bayesian, Fiducial, and Frequentist Conference - Statistical Sparsity, ...
 
Las funciones L en teoría de números
Las funciones L en teoría de númerosLas funciones L en teoría de números
Las funciones L en teoría de números
 
Introduction to inverse problems
Introduction to inverse problemsIntroduction to inverse problems
Introduction to inverse problems
 
The Universal Bayesian Chow-Liu Algorithm
The Universal Bayesian Chow-Liu AlgorithmThe Universal Bayesian Chow-Liu Algorithm
The Universal Bayesian Chow-Liu Algorithm
 
Distributionworkshop 2.pptx
Distributionworkshop 2.pptxDistributionworkshop 2.pptx
Distributionworkshop 2.pptx
 
GradStudentSeminarSept30
GradStudentSeminarSept30GradStudentSeminarSept30
GradStudentSeminarSept30
 
A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...
A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...
A Generalization of the Chow-Liu Algorithm and its Applications to Artificial...
 
Lecture5
Lecture5Lecture5
Lecture5
 
A common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesA common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spaces
 
Rational points on elliptic curves
Rational points on elliptic curvesRational points on elliptic curves
Rational points on elliptic curves
 
Talk5
Talk5Talk5
Talk5
 
Natalini nse slide_giu2013
Natalini nse slide_giu2013Natalini nse slide_giu2013
Natalini nse slide_giu2013
 

Kürzlich hochgeladen

Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...
Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...
Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...lizamodels9
 
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...Aggregage
 
Mondelez State of Snacking and Future Trends 2023
Mondelez State of Snacking and Future Trends 2023Mondelez State of Snacking and Future Trends 2023
Mondelez State of Snacking and Future Trends 2023Neil Kimberley
 
7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...Paul Menig
 
FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756dollysharma2066
 
Mysore Call Girls 8617370543 WhatsApp Number 24x7 Best Services
Mysore Call Girls 8617370543 WhatsApp Number 24x7 Best ServicesMysore Call Girls 8617370543 WhatsApp Number 24x7 Best Services
Mysore Call Girls 8617370543 WhatsApp Number 24x7 Best ServicesDipal Arora
 
Cracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptxCracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptxWorkforce Group
 
Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...
Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...
Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...lizamodels9
 
It will be International Nurses' Day on 12 May
It will be International Nurses' Day on 12 MayIt will be International Nurses' Day on 12 May
It will be International Nurses' Day on 12 MayNZSG
 
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRLMONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRLSeo
 
Regression analysis: Simple Linear Regression Multiple Linear Regression
Regression analysis:  Simple Linear Regression Multiple Linear RegressionRegression analysis:  Simple Linear Regression Multiple Linear Regression
Regression analysis: Simple Linear Regression Multiple Linear RegressionRavindra Nath Shukla
 
HONOR Veterans Event Keynote by Michael Hawkins
HONOR Veterans Event Keynote by Michael HawkinsHONOR Veterans Event Keynote by Michael Hawkins
HONOR Veterans Event Keynote by Michael HawkinsMichael W. Hawkins
 
Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...
Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...
Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...Dave Litwiller
 
Insurers' journeys to build a mastery in the IoT usage
Insurers' journeys to build a mastery in the IoT usageInsurers' journeys to build a mastery in the IoT usage
Insurers' journeys to build a mastery in the IoT usageMatteo Carbone
 
Dr. Admir Softic_ presentation_Green Club_ENG.pdf
Dr. Admir Softic_ presentation_Green Club_ENG.pdfDr. Admir Softic_ presentation_Green Club_ENG.pdf
Dr. Admir Softic_ presentation_Green Club_ENG.pdfAdmir Softic
 
Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...
Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...
Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...amitlee9823
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdfRenandantas16
 
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service AvailableCall Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service AvailableDipal Arora
 
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...Any kyc Account
 

Kürzlich hochgeladen (20)

Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...
Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...
Russian Call Girls In Gurgaon ❤️8448577510 ⊹Best Escorts Service In 24/7 Delh...
 
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
The Path to Product Excellence: Avoiding Common Pitfalls and Enhancing Commun...
 
Mondelez State of Snacking and Future Trends 2023
Mondelez State of Snacking and Future Trends 2023Mondelez State of Snacking and Future Trends 2023
Mondelez State of Snacking and Future Trends 2023
 
7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...7.pdf This presentation captures many uses and the significance of the number...
7.pdf This presentation captures many uses and the significance of the number...
 
FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Majnu Ka Tilla, Delhi Contact Us 8377877756
 
Mysore Call Girls 8617370543 WhatsApp Number 24x7 Best Services
Mysore Call Girls 8617370543 WhatsApp Number 24x7 Best ServicesMysore Call Girls 8617370543 WhatsApp Number 24x7 Best Services
Mysore Call Girls 8617370543 WhatsApp Number 24x7 Best Services
 
Cracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptxCracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptx
 
Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...
Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...
Call Girls In DLf Gurgaon ➥99902@11544 ( Best price)100% Genuine Escort In 24...
 
It will be International Nurses' Day on 12 May
It will be International Nurses' Day on 12 MayIt will be International Nurses' Day on 12 May
It will be International Nurses' Day on 12 May
 
Forklift Operations: Safety through Cartoons
Forklift Operations: Safety through CartoonsForklift Operations: Safety through Cartoons
Forklift Operations: Safety through Cartoons
 
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRLMONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
MONA 98765-12871 CALL GIRLS IN LUDHIANA LUDHIANA CALL GIRL
 
Regression analysis: Simple Linear Regression Multiple Linear Regression
Regression analysis:  Simple Linear Regression Multiple Linear RegressionRegression analysis:  Simple Linear Regression Multiple Linear Regression
Regression analysis: Simple Linear Regression Multiple Linear Regression
 
HONOR Veterans Event Keynote by Michael Hawkins
HONOR Veterans Event Keynote by Michael HawkinsHONOR Veterans Event Keynote by Michael Hawkins
HONOR Veterans Event Keynote by Michael Hawkins
 
Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...
Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...
Enhancing and Restoring Safety & Quality Cultures - Dave Litwiller - May 2024...
 
Insurers' journeys to build a mastery in the IoT usage
Insurers' journeys to build a mastery in the IoT usageInsurers' journeys to build a mastery in the IoT usage
Insurers' journeys to build a mastery in the IoT usage
 
Dr. Admir Softic_ presentation_Green Club_ENG.pdf
Dr. Admir Softic_ presentation_Green Club_ENG.pdfDr. Admir Softic_ presentation_Green Club_ENG.pdf
Dr. Admir Softic_ presentation_Green Club_ENG.pdf
 
Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...
Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...
Call Girls Jp Nagar Just Call 👗 7737669865 👗 Top Class Call Girl Service Bang...
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
 
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service AvailableCall Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
Call Girls Pune Just Call 9907093804 Top Class Call Girl Service Available
 
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
KYC-Verified Accounts: Helping Companies Handle Challenging Regulatory Enviro...
 

l1-Embeddings and Algorithmic Applications

  • 1. 1 -embeddings and algorithmic applications Grigory Yaroslavtsev (proofs from “The design of approximation algorihms” by Williamson and Shmoys) Pennsylvania State University March 12, 2012 Grigory Yaroslavtsev (PSU) March 12, 2012 1 / 17
  • 2. Metric embeddings and tree metrics A finite metric space is a pair (V , d), where V is a set of n points and d : X × X → R+ is a distance function (three axioms). A metric embedding of (V , d) is a metric space (V , d ), such that V ⊆ V and for all u, v ∈ V we have du,v ≤ du,v . Distortion = max du,v /du,v . u,v ∈V A tree metric is a shortest path metric in a tree. Theorem (Fakcharoenphol, Rao, Talwar) Given a distance metric (V , d), there is a randomized polynomial-time algorithm that produces a tree metric (V , T ), V ⊆ V , such that for all u, v ∈ V , duv ≤ Tu,v and E[Tuv ] ≤ O(log n)duv . Grigory Yaroslavtsev (PSU) March 12, 2012 2 / 17
  • 3. Metric embeddings and tree metrics Theorem (Fakcharoenphol, Rao, Talwar) Given a distance metric (V , d), there is a randomized polynomial-time algorithm that produces a tree metric (V , T ), V ⊆ V , such that for all u, v ∈ V , duv ≤ Tu,v and E[Tuv ] ≤ O(log n)duv . With a single tree Ω(n) distortion for a cycle (Steiner vertices don’t help). √ Distribution on trees [Alon, Karp, Peleg, West]: O(2 log n log logn ). With Steiner points [Bartal]: O(log n log log n). Lower bound for any tree metric [Bartal]: Ω(log n). With 1 -embeddable metrics (more general), distributions and Steiner points are not needed. Grigory Yaroslavtsev (PSU) March 12, 2012 3 / 17
  • 4. Embeddings into Rk and 2 -embeddings 1/p k Embedding of (V , d) into (Rk , p ): d p (x, y ) = i=1 |xi − yi |p . Some facts about 2 -embeddings: If (V , d) is exactly 2 -embeddable ⇒ it is exactly p -embeddable for 1 ≤ p ≤ ∞. Distortion: O(log n) [Bourgain’85] (dimension n is enough). Minimum distortion embedding can be computed via SDP. Lower bound Ω(log n) via dual SDP (for expander graphs). Dimension reduction: n-point 2 -metric can be embedded into log n O 2 R with distortion 1 + [Johnson, Lindenstrauss ’84]. Dimension above is optimal ([Jayram, Woodruff, SODA’11]). Multiple applications. Grigory Yaroslavtsev (PSU) March 12, 2012 4 / 17
  • 5. 1 -embeddings Some facts about 1 -embeddings: Embedding with distortion O(log n) and dimension O(log2 n) (later). JL-like dimension reduction impossible [Brinkman, Charikar; Lee, 2 Naor]: for distortion D dimension nΩ(1/D ) is needed. Any tree metric is 1 -embeddable, converse is false. Representable as a convex combination of cut metrics (later). Grigory Yaroslavtsev (PSU) March 12, 2012 5 / 17
  • 6. 1 -embeddings and cut metrics Definition (Cut metric) For S ⊆ V , a cut metric is χS (u, v ) = 1 if |{u, v } ∩ S| = 1, otherwise χS (u, v ) = 0. Lemma If (V , d) is an 1 -embeddable metric with an embedding f , then there exist λS ≥ 0 for all S ⊆ V such that for all u, v ∈ V , f (u) − f (v ) 1 = λS · χS (u, v ) S⊆V If f is an embedding into Rm then ≤ mn of the λS are non-zero. Grigory Yaroslavtsev (PSU) March 12, 2012 6 / 17
  • 7. 1 -embeddings and cut metrics If (V , d) is an 1 -embeddable metric with an embedding f , then there exist λS ≥ 0 for all S ⊆ V such that for all u, v ∈ V , f (u) − f (v ) 1 = λS · χS (u, v ) S⊆V If f is an embedding into Rm then ≤ mn of the λS are non-zero. Proof. If m = 1, then f embeds V into n points on a line. Let xi = f (i) and assume that x1 ≤ · · · ≤ xn . Consider cuts Si = {1, . . . , i}. j−1 Let λSi = xi+1 − xi , then |xi − xj | = k=i λSk . n−1 |xi − xj | = k=1 λSk χSk (i, j). If m > 1, do the same for each coordinate separately ⇒ ≤ mn non-zero λS , which can be computed efficiently. Grigory Yaroslavtsev (PSU) March 12, 2012 7 / 17
  • 8. Computing an 1 -embedding Theorem (Bourgain; Linial, London, Rabinovich) Any metric (V , d) embeds into 1 with distortion O(log n). The 2 embedding f : V → RO(log n) can be computed w.h.p. in polynomial time. Theorem (Aumann, Rabani; Linial, London, Rabinovich) Given a metric (V , d) and k pairs of terminals si , ti ∈ V , we can compute 2 in polynomial time an embedding f : V → RO(log k) such that w.h.p: 1 f (u) − f (v ) 1 ≤ r · O(log k) · duv , for all u, v ∈ V , 2 f (si ) − f (ti ) 1 ≥ r · dsi ti , for all 1 ≤ i ≤ k, for some r > 0. Second theorem is more general ⇒ O(log k) approximation for sparsest cut (later today). Grigory Yaroslavtsev (PSU) March 12, 2012 8 / 17
  • 9. Fr´chet embedding e Definition (Fr´chet embedding) e For a metric space (V , d) and p subsets A1 , . . . , Ap ⊆ V a Fr´chet e embedding f : V → Rp is defined for all u ∈ V as: f (u) = (d(u, A1 ), . . . , d(u, Ap )) ∈ Rp , where d(u, S) = minv ∈S d(u, v ) for a subset S ⊆ V . Lemma For a Fr´chet embedding f : V → Rp of (V , d), we have e f (u) − f (v ) 1 ≤ pdu,v for all u, v ∈ V . Proof. For each 1 ≤ i ≤ p, we have |d(u, Ai ) − d(v , Ai )| ≤ duv . Grigory Yaroslavtsev (PSU) March 12, 2012 9 / 17
  • 10. Proof of the main theorem Idea: pick O(log2 k) sets Aj randomly, such that w.h.p.: f (si ) − f (ti ) 1 = Ω(log k)dsi ti , for all (si , ti ), then by taking r = Θ(log k) we’re done by the previous lemma. Let size of T = ∪i {si , ti } be a power of two and τ = log2 (2k). Let L = q log k for some constant q. Let At, for 1 ≤ t ≤ τ , 1 ≤ ≤ L be sets of size 2k/2t , chosen randomly with replacement from T . We have Lτ = O(log2 k) sets. Will show: f (si ) − f (ti ) 1 ≥ Ω(Ldsi ti ) = Ω(log k) · dsi ti w.h.p. Grigory Yaroslavtsev (PSU) March 12, 2012 10 / 17
  • 11. Proof of the main theorem Want to show: f (si ) − f (ti ) ≥ Ω(Ldsi ti ) w.h.p. 1 (Open) ball B o (u, r ) = {v ∈ T |du,v < r } ≤ Let rt be minimum r , such that |B(si , r )| ≥ 2t and |B(ti , r )| ≥ 2t . Let ˆ = minimum t, such that rt ≥ 1 dsi ti . t 4 Will show: for any 1 ≤ ≤ L, 1 ≤ t ≤ ˆ we have (w.l.o.g.): t Pr[(At ∩ B(si , rt−1 ) = ∅) ∧ (At ∩ B o (ti , rt ) = ∅)] ≥ const L By Chernoff: =1 |d(si , At ) − d(ti , At )| ≥ Ω(L(rt − rt−1 )), w.h.p. ˆ Because f (si ) − f (ti ) 1 ≥ t t=1 L =1 |d(si , At ) − d(ti , At )|, we have: ˆ t f (si ) − f (ti ) 1 ≥ Ω(L(rt − rt−1 )) = Ω(Lrˆ) = Ω(Ldsi ti ) t . t=1 Grigory Yaroslavtsev (PSU) March 12, 2012 11 / 17
  • 12. Proof of the main theorem Want to show: for any 1 ≤ ≤ L, 1 ≤ t ≤ ˆ we have (w.l.o.g.): t Pr[(At ∩ B(si , rt−1 ) = ∅) ∧ (At ∩ B(ti , rt ) = ∅)] ≥ const Let event Et = (At ∩ B(si , rt−1 ) = ∅) ∧ (At ∩ B(ti , rt ) = ∅). Let G = B(si , rt−1 ), B = B o (ti , rt ) and A = At . Pr[E t ] = Pr[A ∩ B = ∅ ∧ A ∩ G = ∅] = Pr[A ∩ G = ∅|A ∩ B = ∅] · Pr[A ∩ B = ∅] ≥ Pr[A ∩ G = ∅] · Pr[A ∩ B = ∅]. Recall, that |A| = 2τ −t , |B| < 2t and |G | ≥ 2t−1 . |A| |B| τ −t Pr[A ∩ B = ∅] = 1 − |T | ≥ (1 − 2τ −t )2 ≥ 1. 4 |A| |G | Pr[A ∩ G = ∅] = 1 − 1 − |T | ≥ 1 − e −|G ||A|/|T | ≥ 1 − e −1/2 . Grigory Yaroslavtsev (PSU) March 12, 2012 12 / 17
  • 13. Approximation for sparsest cut Sparsest cut: given an undirected graph G (V , E ), costs ce ≥ 0 for e ∈ E and k pairs (si , ti ) with demands di , find S, which minimizes: e∈δ(S) ce ρ(S) = . i:|S∩{si ,ti }|=1 di LP relaxation (variables yi ≥ 0, 1 ≤ i ≤ k and xe ≥ 0, ∀e ∈ E ): minimize: ce xe e∈E k subject to: di yi = 1, i=1 xe ≥ yi ∀P ∈ Pi , 1 ≤ i ≤ k, e∈P where Pi is the set of all si − ti paths. Grigory Yaroslavtsev (PSU) March 12, 2012 13 / 17
  • 14. Approximation for sparsest cut LP relaxation (variables yi ≥ 0, 1 ≤ i ≤ k and xe ≥ 0, ∀e ∈ E ): minimize: ce xe e∈E k subject to: di yi = 1, i=1 xe ≥ yi ∀P ∈ Pi , 1 ≤ i ≤ k, e∈P where Pi is the set of all si − ti paths. Intended solution: if we separate pairs D = {di1 , . . . , dit } with a cut S: χS (e) 1D (i) xe = , yi = . t dit t dit Grigory Yaroslavtsev (PSU) March 12, 2012 14 / 17
  • 15. Approximation for sparsest cut: rounding Given a solution {xe }, define a shortest path metric dx (u, v ). 2 Find an embedding f : (V , dx ) → RO(log k) with distortion O(log k). 2 Find ≤ O(n log k) values λS : f (u) − f (v ) 1 = S⊆V λS χS (u, v ). Return S ∗ , such that ρ(S ∗ ) = min ρ(S). S : λS >0 e∈δ(S) ce ce χS (e) ρ(S ∗ ) = min = min e∈E S : λS >0 i : |S∩{si ,ti }|=1 di S : λS >0 i di χS (si , ti ) S⊆V λS e∈E ce χS (e) e∈E ce S⊆V λS χS (e) ≤ = S⊆V λS i di χS (si , ti ) i di S⊆V λS χS (si , ti ) e=(u,v )∈E ce f (u) − f (v ) 1 r · O(log k) e=(u,v )∈E ce dx (u, v ) = ≤ . i di f (si ) − f (ti ) 1 r· i di dx (si , ti ) Grigory Yaroslavtsev (PSU) March 12, 2012 15 / 17
  • 16. Approximation for sparsest cut LP relaxation (variables yi ≥ 0, 1 ≤ i ≤ k and xe ≥ 0, ∀e ∈ E ): minimize: ce xe (1) e∈E k subject to: di yi = 1, (2) i=1 xe ≥ yi ∀P ∈ Pi , 1 ≤ i ≤ k, (3) e∈P where Pi is the set of all si − ti paths. e=(u,v )∈E ce dx (u, v ) (3) e=(u,v )∈E ce xe ρ(S ∗ ) ≤ O(log k) ≤ O(log k) i di dx (si , ti ) i di y i (2) (1) = O(log k) ce xe ≤ O(log k)OPT . e∈E Grigory Yaroslavtsev (PSU) March 12, 2012 16 / 17
  • 17. Conclusion What we saw today: 2 1 -embedding into RO(log n) with distortion O(log n). O(log k)-approximation for sparsest cut. Extensions: Cut-tree packings, approximating cuts by trees [R¨cke; Harrelson, a Hildrum, Rao]. √ Balanced sparsest cut: O( log n)-approximation [Arora, Rao, Vazirani]. Grigory Yaroslavtsev (PSU) March 12, 2012 17 / 17