SlideShare une entreprise Scribd logo
1  sur  17
Télécharger pour lire hors ligne
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

Contenu connexe

Tendances

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
 

Tendances (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
 

En vedette

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
 

En vedette (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
 

Similaire à Metric 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
 

Similaire à Metric 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
 

Dernier

Grateful 7 speech thanking everyone that has helped.pdf
Grateful 7 speech thanking everyone that has helped.pdfGrateful 7 speech thanking everyone that has helped.pdf
Grateful 7 speech thanking everyone that has helped.pdfPaul Menig
 
Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...
Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...
Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...amitlee9823
 
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
 
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
 
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
 
Monthly Social Media Update April 2024 pptx.pptx
Monthly Social Media Update April 2024 pptx.pptxMonthly Social Media Update April 2024 pptx.pptx
Monthly Social Media Update April 2024 pptx.pptxAndy Lambert
 
Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...
Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...
Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...anilsa9823
 
Cracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptxCracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptxWorkforce Group
 
Organizational Transformation Lead with Culture
Organizational Transformation Lead with CultureOrganizational Transformation Lead with Culture
Organizational Transformation Lead with CultureSeta Wicaksana
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdfRenandantas16
 
Famous Olympic Siblings from the 21st Century
Famous Olympic Siblings from the 21st CenturyFamous Olympic Siblings from the 21st Century
Famous Olympic Siblings from the 21st Centuryrwgiffor
 
A DAY IN THE LIFE OF A SALESMAN / WOMAN
A DAY IN THE LIFE OF A  SALESMAN / WOMANA DAY IN THE LIFE OF A  SALESMAN / WOMAN
A DAY IN THE LIFE OF A SALESMAN / WOMANIlamathiKannappan
 
Call Girls in Gomti Nagar - 7388211116 - With room Service
Call Girls in Gomti Nagar - 7388211116  - With room ServiceCall Girls in Gomti Nagar - 7388211116  - With room Service
Call Girls in Gomti Nagar - 7388211116 - With room Servicediscovermytutordmt
 
👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...
👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...
👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...rajveerescorts2022
 
Ensure the security of your HCL environment by applying the Zero Trust princi...
Ensure the security of your HCL environment by applying the Zero Trust princi...Ensure the security of your HCL environment by applying the Zero Trust princi...
Ensure the security of your HCL environment by applying the Zero Trust princi...Roland Driesen
 
RSA Conference Exhibitor List 2024 - Exhibitors Data
RSA Conference Exhibitor List 2024 - Exhibitors DataRSA Conference Exhibitor List 2024 - Exhibitors Data
RSA Conference Exhibitor List 2024 - Exhibitors DataExhibitors Data
 
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
 
Boost the utilization of your HCL environment by reevaluating use cases and f...
Boost the utilization of your HCL environment by reevaluating use cases and f...Boost the utilization of your HCL environment by reevaluating use cases and f...
Boost the utilization of your HCL environment by reevaluating use cases and f...Roland Driesen
 
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
 

Dernier (20)

Grateful 7 speech thanking everyone that has helped.pdf
Grateful 7 speech thanking everyone that has helped.pdfGrateful 7 speech thanking everyone that has helped.pdf
Grateful 7 speech thanking everyone that has helped.pdf
 
Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...
Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...
Call Girls Electronic City Just Call 👗 7737669865 👗 Top Class Call Girl Servi...
 
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
 
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
 
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...
 
Monthly Social Media Update April 2024 pptx.pptx
Monthly Social Media Update April 2024 pptx.pptxMonthly Social Media Update April 2024 pptx.pptx
Monthly Social Media Update April 2024 pptx.pptx
 
Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...
Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...
Lucknow 💋 Escorts in Lucknow - 450+ Call Girl Cash Payment 8923113531 Neha Th...
 
Cracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptxCracking the Cultural Competence Code.pptx
Cracking the Cultural Competence Code.pptx
 
Organizational Transformation Lead with Culture
Organizational Transformation Lead with CultureOrganizational Transformation Lead with Culture
Organizational Transformation Lead with Culture
 
VVVIP Call Girls In Greater Kailash ➡️ Delhi ➡️ 9999965857 🚀 No Advance 24HRS...
VVVIP Call Girls In Greater Kailash ➡️ Delhi ➡️ 9999965857 🚀 No Advance 24HRS...VVVIP Call Girls In Greater Kailash ➡️ Delhi ➡️ 9999965857 🚀 No Advance 24HRS...
VVVIP Call Girls In Greater Kailash ➡️ Delhi ➡️ 9999965857 🚀 No Advance 24HRS...
 
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf0183760ssssssssssssssssssssssssssss00101011 (27).pdf
0183760ssssssssssssssssssssssssssss00101011 (27).pdf
 
Famous Olympic Siblings from the 21st Century
Famous Olympic Siblings from the 21st CenturyFamous Olympic Siblings from the 21st Century
Famous Olympic Siblings from the 21st Century
 
A DAY IN THE LIFE OF A SALESMAN / WOMAN
A DAY IN THE LIFE OF A  SALESMAN / WOMANA DAY IN THE LIFE OF A  SALESMAN / WOMAN
A DAY IN THE LIFE OF A SALESMAN / WOMAN
 
Call Girls in Gomti Nagar - 7388211116 - With room Service
Call Girls in Gomti Nagar - 7388211116  - With room ServiceCall Girls in Gomti Nagar - 7388211116  - With room Service
Call Girls in Gomti Nagar - 7388211116 - With room Service
 
👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...
👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...
👉Chandigarh Call Girls 👉9878799926👉Just Call👉Chandigarh Call Girl In Chandiga...
 
Ensure the security of your HCL environment by applying the Zero Trust princi...
Ensure the security of your HCL environment by applying the Zero Trust princi...Ensure the security of your HCL environment by applying the Zero Trust princi...
Ensure the security of your HCL environment by applying the Zero Trust princi...
 
RSA Conference Exhibitor List 2024 - Exhibitors Data
RSA Conference Exhibitor List 2024 - Exhibitors DataRSA Conference Exhibitor List 2024 - Exhibitors Data
RSA Conference Exhibitor List 2024 - Exhibitors Data
 
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
 
Boost the utilization of your HCL environment by reevaluating use cases and f...
Boost the utilization of your HCL environment by reevaluating use cases and f...Boost the utilization of your HCL environment by reevaluating use cases and f...
Boost the utilization of your HCL environment by reevaluating use cases and f...
 
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
 

Metric 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