bi- lipschitz bijection between the boolean cube and the hamming ball
DESCRIPTION
Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball. Gil Cohen. Joint work with Itai Benjamini and Igor Shinkar. Cube vs. Ball. Majority. Dictator. n. Strings with Hamming weight k. k. 0. The Problem. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/1.jpg)
Bi-Lipschitz Bijection between the Boolean
Cube and the Hamming BallGil Cohen
Joint work with Itai Benjamini and Igor Shinkar
![Page 2: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/2.jpg)
Cube vs. Ball
{0 ,1 }π π΅π={π₯β {0 ,1 }π+1:|π₯|>π /2}π : β
{π₯β {0 ,1 }π+1:π₯π+1=1}
Dictator
Majority
Strings with Hamming weight
k
n
0
k
![Page 3: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/3.jpg)
The Problem
Open Problem [LovettViola11]. Prove that for any bijection ,
.
π (π₯ )={ π₯β0|π₯|>π/2ππππ (π₯ )β1ππ‘ hπππ€ππ π
Average stretch
The βNaΓ―veβ Upper Bound.
Motivation. Related to proving lower bounds for sampling a natural distribution by circuits.
![Page 4: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/4.jpg)
Main Theorem
Theorem. such that
1)
of
π΅πof
![Page 5: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/5.jpg)
Main Theorem
Theorem. such that
1)
2) is computable in DLOGTIME-uniform
(Majority is -reducible to )
3) is very local
15β€πππ π‘ (π (π₯ ) ,π (π¦ ) )
πππ π‘ (π₯ , π¦ )β€4
β πβ [π ]Prπ₯
[π (π₯ )πβ π₯π ]β€π ( 1βπ )
![Page 6: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/6.jpg)
The BTK Partition [DeBruijnTengbergenKruyswijk51]
1 0 0 1 1 0 0 1
Partition of to symmetric chains.
A symmetric chain is a path .
1 0 0 1 1 0 0 1
^^
1 0 0 1 1 0 0 1
^^^^
1 0 0 1 1 0 0 1
^^^^^^1 0 _ 1 1 0 0 _
0 0
1 0 _ 1 1 0 0 _
1 0 _ 1 1 0 0 _
11
1 0 _ 1 1 0 0 _
10
![Page 7: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/7.jpg)
The BTK Partition
![Page 8: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/8.jpg)
The Metric Properties
xy
πΆ π₯
πΆ π¦ 1)
![Page 9: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/9.jpg)
The Metric Properties
xy
πΆ π₯πΆ π¦ 1)
2)
![Page 10: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/10.jpg)
The Metric Properties
xy
πΆ π₯πΆ π¦ 1)
2)
![Page 11: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/11.jpg)
The Metric Properties β Proof
π₯=π 0 π‘ π¦=π 1π‘
.. ..
0π1π0π+11π 0π1π+10π 1π
π>π
0π1πβπβ11π+10π+11π^ ^
πππππ‘ h=π+πβπ+π0π1π+1βπ 1π0π1π^^
πππππ‘ h=π+πβπ+π+2
π π
![Page 12: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/12.jpg)
ππ : {0 ,1 }πβπ΅π= {π₯β {0 ,1 }π+1
:|π₯|>π /2}
0
1
1
0
1
0
1
π₯
πΆ π₯πΆ π¦
π¦
π (π1 )=π1β1π (π2)=π1β0π (π3 )=π2β1
π (π4 )=π2β0π (π5 )=π3β1π (π6 )=π3β0
π (π7 )=π4β1
π1π2
π3π4
π5π6
π7
![Page 13: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/13.jpg)
The Hamming Ball isbi-Lipschitz Transitive
Defintion. A metric space M is called k bi-Lipschitz transitive if for any there is a bijection such that , and
Example. is 1 bi-Lipschitz transitive.
π (π’)=π’+π₯+π¦
![Page 14: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/14.jpg)
The Hamming Ball isbi-Lipschitz Transitive
Corollary. is 20 bi-Lipschitz transitive.
π (π’)=π (πβ1 (π’)+πβ1 (π₯ )+πβ1 ( π¦ ) ) is convex in
![Page 15: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/15.jpg)
Open Problems
![Page 16: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/16.jpg)
The Constants
Are the 4,5 optimal ?
We know how to improve 4 to 3 at the expense of unbounded inverse.
Does the 20 in the corollary optimal ?
![Page 17: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/17.jpg)
General Balanced Halfspaces
Switching to notation
π : {π₯ :π₯π+1>0 }β {π₯ :π₯1+β―+π₯π+1>0}
Does the result hold for general balanced halfspaces ?ππ : {π₯ :π₯π+1>0 }β {π₯ :π1 π₯1+β―+ππ+1π₯π+1>0 }π1 ,β¦ ,ππ+1β R
One possible approach: generalize BTK chains.Applications to FPTAS for counting solutions to 0-1 knapsack problem [MorrisSinclair04].
![Page 18: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/18.jpg)
Lower Bounds for Average Stretch
Exhibit a density half subset such that any bijection has super constant average stretch.
Conjecture: monotone noise-sensitive functions like Recursive-Majority-of-Three (highly fractal) should work.
We believe a random subset of density half has a constant average stretch.
Even average stretch 2.001 ! (for 2 take XOR).
![Page 19: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/19.jpg)
Goldreichβs Question
Is it true that for any with density, say, half there exist and , both with density half, with bi-Lipschitz bijection between them ?
![Page 20: Bi- Lipschitz Bijection between the Boolean Cube and the Hamming Ball](https://reader037.vdocument.in/reader037/viewer/2022110213/568143a7550346895db02fb7/html5/thumbnails/20.jpg)
Thank youfor your attention!