Kaip supakuoti standžiau? Vartiklis

Matematikams (Thomas Hales) 2005 m. išsprendus garsųjį rutulių supakavimo uždavinį, kurį dar 1611 m. iškėlė Johanas Kepleris, tai tapo „skaniu kąsneliu“ žiniasklaidai.

2009-ais pateikta dar keletas pakavimo problemų sprendimų būdų.
Sukurtas naujas metodas nustatymui, kiek nevienodos formos dalelių galima sutalpinti į tam tikro dydžio talpą. Tai gali padėti pramonei efektyviau spęsti įvairius pakavimo uždavinius – nuo pardavimo automatų iki vaistų piliulių, kurios būtų mažesnės ir lengviau nuryjamos.

Niujorko universiteto (NYU) Medžiagų tyrimų ir inžinerijos centro fizikai sako, kad sprendimas remiasi kiekiu, nurodančiu su kiek gretimų dalelių liečiamasi. Nors tai atrodo ir intuityviai suprantama, tačiau ilgai nebuvo įrodoma dėl nepaprastai sudėtingos struktūros, kai nagrinėjami netaisyklingos formos ir dydžio trimačiai objektai. Prof. Jasna Brujic²⁾ vadovaujami NYU fizikai sukūrė statistinį modelį, potencialiai leidžiantį išspręsti daugelį pakavimo uždavinių.

Modelis gali „nuspėti“ skirtingų dydžių rutulių talpoje geometriją atsižvelgiant, kiek kaimynų turi vienas rutulys, kaip tie kaimynai yra nutolę ir kaip talpoje pasiskirsčiusi tuščia vieta. Didelės dalelės gali turėti daugiau kaimynų, o mažesnės mažiau. Tokia nuostata derinama su tikimybių teorija.Tai atliekama žvelgiant iš vienos atskiros dalelės taško, todėl jo sukūrėjai jį vadina „granocentriniu“.

Modelis buvo patikrintas stebint, kaip alyvos lašeliai pasiskirsto vandenyje. Apie tai paskelbta „Nature“ žurnale:
M. Clusel, E.I. Corwin, A.O.N. Siemens, J. Bruji . A 'granocentric' model for random packing of jammed emulsions// Nature, 30 July, 2009 Packing Tetrahedrons

Tuo tarpu Prinstono universiteto chemijos fakulteto prof. S. Torquato ir Mechanikos bei aeroinžinerijos fakulteto studentas Yang Jiao, į nustatytą tūrį supakavo daugiausia tetraedrų (trimatė geometrinė figūra, turinti 4 trikampius šonus) ir kitokius daugiabriaunius. Jie pasiekė 78,2% tūrio užpildymą ir aplenkė prieš metus Mičigano universiteto studentės E. Chen pasiektą rezultatą (77,8%).

Tai jiems pavyko panaudojus naują būdą, kai tetraedrai pakuojami poromis, suglaudus juos briaunomis, „besibučiuojančius“, ir, žiūrint iš šalies, toks supakavimas atrodo keistai.

Figūrų ir jų derinimas tarpusavyje nėra vien akademinis „žaidimas“. Pasaulyje pilna jų – pradedant apelsinais ir baigiant briaunuotomis smėlio smiltelėmis. Nuo jų tarpusavio išsidėstymo priklauso nemažai procesų, pavyzdžiui, kas vyksta šylant ar šąlant ir t.t. Chemijoje tai susiję su sudėtingų molekulių elgsena vykstant cheminėms reakcijos. Tai turi ir ekonominį efektą pramonėje. Pvz., tai gali leisti į CD įrašyti daugiau informacijos. Mat tai susiję su klaidų aptikimu duomenyse ir automatinių jų koregavimu.

Tetraedrą standžiausiai supakuoti galima tik suglaudus briaunomis. Tuo tarpu kiti platoniškieji kūnai turi būti pakuojami į gardeles – panašiai į apelsinus parduotuvėse – eilėmis. kai naujas sluoksnis dedamas į ankstesnė sluoksnio sudarytas įdubas. Mat tetraedras neturi savybės, kuri vadinama centrine simetrija – t.y. taško, kuris dalintų pusiau bet kurią atkartą, jungiančią bet kuriuos priešingų šonų taškus. Beje, 12-a Archimedo kūnų (iš 13-os) irgi neturi šios savybės.

Ankstesnės kompiuterinės simuliacijos sudėdavo tetraedrus į virtualią dėžę leisdami jiems „augti“. S. Torquato „adaptyvaus celių susitraukimo optimizavimo“ algoritmas elgiasi visiškai priešingai – jis fiksuoto dydžio virtualius tetraedrus sudeda į „dėžę“ ir ją „spaudžia“.

Vis tik Prinstono tyrinėtojų išvados nėra iki galo akivaizdžios ir tolimesni teoriniai įrodymai tebėra galimi. Packing Space

O štai R. Gabbrielli iš Bath‘o universiteto (Anglija, dabar studijuojantis Swansea un-te) sukūrė naują putų modeliavimo būdą, pasiūlęs alternatyvų sprendimą „Kelvino uždaviniui“. Ir nors jis efektyvumu ir nesumuša Weaire-Phelan‘o struktūros, tačiau parodė naują kelią šio uždavinio tolimesniems sprendimams.

Lordas Kelvinas dar 1887 m. iškėlė klausimą, kaip efektyviausiai padalinti erdvę į vienodo tūrio celes, kad jų paviršius būtų mažiausias. Kelvino sprendimas buvo sutrumpintų oktoedru „korys“ (iš celių, turinčių 6 kvadratinius ir 8 šešiakampius šonus.

Tačiau geresnį sprendimą pasiūlė Dublino Trejybės koledžo fizikai D. Weaire ir R. Phelan‘as, pasiūlę „korį“, kurio struktūra įkvėpė Vandens centro architektūrą 2008-ųjų Pekino olimpiadoje. Jį sudarė dvi skirtingos figūros: netaisyklingas penkiakampis dodekaedras (12-os šonų figūra) ir 14-kašonis.

R. Gabbrielli, tirdamas korio formos kaulų pakaitalus, pasiūlė naudoti keturių formų struktūrą. Jo metode naudojama Swift-Hohenberg‘o dalinių išvestinių diferencialinė lygtis, taikoma dvimačių struktūrų sudarymui. Beje, R. Gabbrielli sudarytos struktūros yra artimesnės natūraliai susidariusioms putoms. R. Gabbrielli buvo pakviestas ir lankėsi JAV bei Australijoje, kur aiškino naująją struktūrą ir ją aptarinėjo su iškiliais matematikais.

Papildomai žr.: S. Torquato, Y. Jiao. Dense packings of the Platonic and Archimedean solids// Nature, Aug 13, 2009, No. 460 (7257)
Taip pat žr. R. Gabbrielli. A new counter-example to Kelvin's conjecture on minimal surfaces// Philosophical Magazine Letters, 2009; 89 (8)

Putų tyrimai

Putos jau nuo seno traukė fizikochemikų dėmesį. Pradžioje belgų fizikas Žozefas Plato³⁾ aptiko, kad putos sudarytos ir briaunainių, atskirtų briaunomis-kanalais, užpildytais skysčiu. Po jo savo tyrimus paskelbė britų fizikas ir mechanikas lordas Kelvinas. Sudėtingais skaičiavimais jis parodė, kad putų burbuliukų sudarytas celes galima nagrinėti kaip elementarius briaunainius, kuriais padalijama erdvė. Tas procesas vadinamas grindimu, kurį reikia atlikti taip, kad celių tūris būtų vienodas, o sienelių plotas minimalus. Po šimtmečio 1993 m. airiams Deniui Veirui⁴⁾ ir Robertui Felanui iš Dublino Trinity koledžo pavyko patikslino Kelvino sprendinį. Jie pasiūlė išgrįsti erdvę 12 ir 14 briaunų briaunainiais.

Tačiau iki šiol neaišku, kodėl vienos medžiagos sukelia putojimą, o kitos ne.

Jei vieni pakavimo klausimai pilnai išspręsti, tai vienas paprastas mus palieka aklavietėje; ai „Pasibučiavimų skaičiaus“ uždavinys.

Bet kokioje talpose kiekviena supakuota sfera turi bučinių kiekį, t.y. susilietimų su kitomis sferomis skaičių. Atrodo, o kas čia keista?! Supakuotos sferos turi vidutinį bučinių kiekį, kuris leidžia matematiškai apibūdinti padėtį. Tačiau svarbiausias klausimas lieka neatsakytas.

Pirma pastaba yra dėl matavimų, kurie turi ypatingą prasmę matematikoje: jie yra nepriklausomos koordinačių ašys. X ir y ašys nurodo koordinačių plokštumos du matavimus. Kai fantastiniame filme sako, kad kažkas perėjo į kitą matavimą, tai matematiškai yra nesąmonę, nes neįmanoma pereiti į x ašį.

Vieno matavimo objektas yra tiesė; dviejų matavimų – plokštuma. Šiems matavimams nustatytas tikslus pasibučiavimų kiekis. Vienmatėje tiesėje tai 2 (iš kairės ir dešinės), dvimatėje plokštumoje - 6. Įrodymas egzistuoja ir 3D – nors jis pasiektas tik 20 a. 6-e dešimtm. (1953 m. K. Schütte ir B. L van der Waerden‘o straipsnyje, nors dar Niutonas buvo teisingai nuspėjęs, kad 12). 2003 m. Olegas Musinas įrodė, kad keturmačiu atveju jų yra 24.

O toliau sustota! Tiesa, išskyrus 8 (240) ir 24 (196 560) matavimų atvejus. Kitiems, iki 24-o matavimo, tik nustatytos viršutinės ir apatinės įverčių ribos. Dideliems matavimams ar bendram atvejui klausimas lieka atviras.

Naujas parketo klojimo būdas

Taip pat skaitykite Nauji picos pjaustymo būdai

Vašingtono un-to matematikai rado naują penkiakampio parketo tipą. Iki tol žinota tik 14-a jų, kurių paskutinis atrastas prieš 30 m.
Naujas parketinis penkiakampis

Yra žinoma, kad iškiliais trikampiais ir keturkampiais galima be tarpų iškloti plokštumą, o taip pat, kad yra tik 3-ys tokių šešiakampių tipai (tai įrodyta 1963-ais). O daugiakampiais turinčiais daugiau nei 6 kraštinės, plokštumos iškloti negalima. O kiek yra tai tenkinančių penkiakampių, nėra žinoma.

Pirmą jų klasifikaciją 1918 m. atliko Karenas Reinhardas, aprašęs 5-is figūrų tipus. 1968-85 m. 4-i mokslininkai atrado dar 9-is jų tipus: 1968 m. R. B. Kershner’is atrado 3-is, 1975 m. dar vieną atrado R. James. Tada mėgėja M. Rice perskaičius apie R. James atradimą “Scientific American” susikūrė savo žymėjimo sistemą ir per kelis metus atrado dar 4-is penkiakampius.

Ir štai 2015-ais – atrasta 15-a figūra.Ją atrado Casey Mann, Jennifer McLoud ir David Von Derau, atlikę kompiuterinį variantų perinkimą. Tada Michael Rao 2017-ais parodė, kad ir galimi tik 15-a būdų. Tačiau visi šie padengimai plokštumą užpildo periodiškai. Nėra žinoma, ar yra nepasikartojantis padengimas.
Galimi padengimai penkiakampiais:

Natalia Bielczyk su kitais neuro-matematikais iš Nijmegeno (Olandija) Radboudo universiteto sukūrė matematinį modelį efektyviam bendravimui romantinių santykių atveju, Meilės reikalų dinamika panaši į sinusoidę: vienodas pakilimų ir nusileidimų svyravimas. Kai kurioms poroms šios bangos tampa nekontroliuojamos, sukeliančios nutrūkimą, o kitiems tolygiai nuslopsta į ramybės būklę.

1988 m. Steven Strogatz'as pirmasis aprašė romantinius santykius matematinėmis dinaminėmis sistemomis. Jis sukūrė dvimatį modelį, apibrėžantį du emociškai bendraujančius hipotetinius partnerius. Jis paėmė gerai žinomą Romeo ir Džiuljetos istoriją. Modelis išgarsėjo ir įkvėpė kitus. Tačiau S. Strogatz'o modelis neapėmė pauzių partnerių atsakuose.

Natalia pasiūlė artimesnį gyvenimui modelį, įtraukiant laiko intervalus, būtinus apdoroti ir suformuoti sudėtingą emocinį kompleksą. Atsakas remiasi 4 parametrais: abu partneriai turi asmeninę istoriją (savo „praeitį“) ir tam tikrus atsaką partneriui ir jo(s) istorijai. Priklausomai nuo šių parametrų, galima nustatyti skirtingas santykių klases: kai kurie pasmerkti santykių nutrūkimui nepriklausomai nuo partnerio skubėjimo, o kiti visąlaik likdavo stabilūs. Paskaičiuotuose modeliuose stabilumas būna, kai abu partneriai pasiekia stabilų pasitenkinimo lygį ir sinusoidė nuslopsta. Straipsnyje daroma išvada, kad plačiai santykių klasei pauzės santykiuose gali padidinti stabilumą poroms. Kurio pradžioje buvo nestabilios.

Šie rezultatai yra gana intuityvūs: pernelyg nekantrūs ar pernelyg vėlyvi atsakai sukelia problemas. Žemiau tam tikros reikšmės, delsimai sukelia nestabilumą, o virš jos – jie lemia stabilumą. Tai reiškia, kad tam tikras vangumo lygis gali būti naudingas. Faktas, kad per greitos emocinės reakcijos gali destabilizuoti, rodo, kad kito nuotaikų atspindžiai nepakankami stabiliems santykiams: tam tikra pauzė būtina.

Apibendrinant: straipsnis pateikia matematinį pagrindimą intuityviam socialinės psichologijos reiškiniui. Stebint vienas kito emocijas ir viską darant laiku galima sustiprinti ryšius net nebandant pakeisti partnerio įpročių.