hard disks configuration spaces of - icerm · the configuration space of n hard disks is a subset...
TRANSCRIPT
![Page 1: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/1.jpg)
Configuration Spaces of Hard Disks
Emily Black and Esther Hunt
![Page 2: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/2.jpg)
Packing Problems
Images: http://matthewkahle.org/sites/default/files/papers/sparse%20stable.pdfhttp://www.purplesquirrels.com.au/2015/02/css-hexagonal-packed-grid/
![Page 3: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/3.jpg)
Sparse Versus Dense PackingsImages: http://www2.stetson.edu/~efriedma/packing.html https://en.wikipedia.org/wiki/Circle_packing
![Page 4: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/4.jpg)
Applications of Dense Packings
● Properties of condensed-matter phases● Coding theory ● “Crowding” of macromolecules within living cells● Packing of cells to form tissue ● Competitive settlement of territories by animals
Images: http://www.quantdec.com/Articles/steganography/ecc.htmhttps://www.princeton.edu/~fhs/paper349/paper349.pdf
![Page 5: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/5.jpg)
Applications of Sparse Packings
Boltzmann Gases● Particles move freely
with little interaction● Is every configuration
attainable from any other configuration?
● Is the Configuration Space connected?
Image: http://www.daviddarling.info/encyclopedia/G/gas.html
![Page 6: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/6.jpg)
What Are Configuration Spaces of Hard Disks?
The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius
![Page 7: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/7.jpg)
What Does it Mean to Lock?
Unlocked: The balls can move freely to change configuration
![Page 8: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/8.jpg)
What Does it Mean to Lock?
Locally Locked/Jammed:● each disk in the packing is
locally trapped by its neighbors
● ie it has at least 3 contacts● cannot be moved while fixing
the positions of all other particles
![Page 9: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/9.jpg)
What Does it Mean to Lock?
Globally Locked:● No subset of the balls can move at all. One example would be a
lattice packing.● Global lockings refer to a local maximum of Tau.
http://www2.stetson.edu/~efriedma/packing.html
![Page 10: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/10.jpg)
What Does it Mean to Lock?
Unlocked Locally Locked Globally Locked
![Page 11: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/11.jpg)
Sparse Packings: Things To Note
n ∞ ; nr2 0
Images: http://www.chemistry.wustl.edu/~edudev/LabTutorials/Airbags/airbags.htmlhttp://www.oxnotes.com/states-of-matter-igcse-chemistry.html
![Page 12: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/12.jpg)
Configurations: Stress Graphs
Nodes: disk centers Edges: disk contacts
![Page 13: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/13.jpg)
Connelly Theorem
Theorem: if there exists an infinitesimal, local motion given by a 2n-component vector v in a concave or polygonal shape, then there is a global unlocking motion of the configuration.
4 Disks, 12 Contacts 4 disks, 8 contacts
![Page 14: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/14.jpg)
Surprising Unlocked Configurations
The Boroczky Bridge
Images: http://matthewkahle.org/sites/default/files/papers/sparse%20stable.pdf
![Page 15: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/15.jpg)
Code Based on Linear Inequalities
Pull up Mathematica
![Page 16: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/16.jpg)
Convex Shapes: The Intuition
?
![Page 17: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/17.jpg)
The Intuition Breaks: Our Shape
![Page 18: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/18.jpg)
Construction: R, r, alpha, m, and n
We only want R and r such that the arcs contain an integer number of m and n balls
![Page 19: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/19.jpg)
Unlocking and Locking Possibilities
Two Different Starting Points and Intuitions
![Page 20: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/20.jpg)
Displacement Around The Shape
![Page 21: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/21.jpg)
Getting an Equation
|(a1,b1) - (x1,y1)|2 = 4 |e1 - V - e2|
2 = 4
![Page 22: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/22.jpg)
Sign of the Quadratic Term
![Page 23: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/23.jpg)
Our Results
Theorem BHThe smooth two-arc configuration is determined by three parameters, r, R, and alpha. However, whether or not the configuration locks for integer number of balls n and m, on the small and large arcs, depends only upon r and R, or, equivalently, n and m.
![Page 24: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/24.jpg)
Our Results
Distance
R
r
![Page 25: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/25.jpg)
Our Results
Distance
r
R
![Page 26: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/26.jpg)
Non-Overlapping Starting Position
Work So Far: Linear Term
![Page 27: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/27.jpg)
Investigating Unlocking Situations
Code needs to be so that we get a global unlocking motion instead of an infinitesimal, local motion.
Motion goes along entire shape, and hopefully one ball pops out
![Page 28: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/28.jpg)
Further Directions: Proving Locking
Lemma: If rhon(s), where s is a starting point on the shape in question, is not a constant function, then there exists a locking configuration on the shape
![Page 29: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/29.jpg)
Acknowledgements
A special thank you to Yuliy Baryshnikov, Maxim Arnold, Emily Stark, Stefan Klajbor, and all of our encouraging peers.
![Page 30: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/30.jpg)
Bibliography
Baryshnikov, Y., Bubenik, P., and Kahle, M. “Min-Type Morse Theory for Configuration Spaces of Hard Spheres”. Int. Math. Res. Notices, 2013.
Connelly, Robert. "Rigidity of Packings." European Journal of Combinatorics (2008): 1862-871. 11 Mar. 2008. Web. 7 Aug. 2015.
Friedman, Erich. "Packing Equal Copies." Erich's Packing Center. N.p., n.d. Web. 07 Aug. 2015.
Kahle, Matthew. "Sparse locally-jammed disk packings." Annals of Combinatorics. Oct 2012.
Torquato, S., and F. H. Stillinger. Jammed Hard-particle Packings: From Kepler to Bernal and beyond 82 (2010): n. pag. Web. 7 Aug. 2015.
![Page 31: Hard Disks Configuration Spaces of - ICERM · The configuration space of n hard disks is a subset of R2n. Tau: R2n-->R; Configuration-->maximum possible radius. What Does it Mean](https://reader034.vdocuments.net/reader034/viewer/2022052020/60341d5e2e00ae54c4234c33/html5/thumbnails/31.jpg)
Questions/Comments?Thank you for listening!