##### 👈 [[12024-02-26]] | đŸ•°ïž 12023-02-27 đŸ•°ïž | [[12024-02-28]] 👉 ### [[Journal]], 12 024, Uke 9, tirsdag ![[Morgenskriving 12024-02-27]] #### 2: MĂžte [[IMAT2024 v24]] - Plan A: Morten stepper inn nĂ„r jeg er vekkreist - Plan B: Oskar og/eller HĂ„vard stepper inn - Plan C: GjĂžvik lager video og legger ut - Plan D: Vise til Antonsens nettkurs - Pensum: - se ukeplan - very light-versjon av disk.mat. - pensumbok Antonsen - skal vi anbefale Ă„ kjĂžpe den eller ikke? - Uke 1: mengdelĂŠre - basically, vi skal dekke nok til at folk klarer Ă„ lĂžse Øving 1 - sĂ„ du kan jobbe baklengs nĂ„r du forbereder undervisningen - Uke 2: logikk - ignorere kvantorer - ignorere konferenslover? (som presentert i formelsamlingen) - Uke 3: predikatlogikk - inkluderer kvantorer - Uke ... 4? Tallteori: - skipper krypto helt - ditto kombinatorikk - blir noe euklidsk algoritme - kanskje noe difontisk likning - spĂžrs om det blir tid til modulĂŠr aritmetikk til og med - Jobber veldig forenklet med formelle sprĂ„k og sĂ„nt - Øvinger: - FĂžrste to Ăžvingene (altsĂ„ til de to fĂžrste ukene) er nĂ„ klare - inkl lĂžsningsforslag - se (under overskrift Diskret matematikk): https://capquiz-test.math.ntnu.no/course/view.php?id=12 - Fra sĂžsteremne pĂ„ GjĂžvik, veldig fine notater der. - Skrevet av en type som heter Markus. - Brukt masse tid pĂ„ dem. "Er babyen hans." - SpĂžrre om tilgang? - Andrey spĂžr for oss - De andre underviser ved Ä tegne pÄ ipad (live) - NB: De har hatt opptak sÄ langt i faget. Kan hende vi mĂ„ ha det nĂ„ ogsĂ„. - blir nok "voldsomt brĂ„k" dersom vi slĂ„r av opptak nĂ„ - de emneansvarlige pÄ GjĂžvik forsĂžkte visst Ă„ sette opp faget uten opptak, men mĂ„tte gi opp etter press fra studentene - det er ikke en kamp som er verdt Ă„ ta midt i semesteret - GjĂžre omvendt klasserom? - kreve at de ser den relevante videoen fra Antonsens nettkurs - og legge ut noen oppgaver, - (og lage egne til tallteoribiten; Siebe sa han kunne gjĂžre det) - og sĂ„ jobbe med stoffet mer hands-on i timen? - kan da argumentere for at det ikke er noe poeng med opptak - mĂ„ i sĂ„ fall hĂžre med Antonsen at vi har tillatelse til Ă„ bruke stoffet hans som obligatorisk fagstoff - Alternativ som jeg kanskje liker bedre selv (men mer jobb) er Ă„ gjĂžre litt som i hĂžst, oversiktsforelesning pÄ mandag som blir tatt opptak av som de kan studere og jobbe med frem til ... tirsdag morgen. Kanskje litt lite tid. - (Pluss at dette er ikke like sterke studenter; er kanskje ikke heldig Ă„ slĂ„ de over hodet med sĂ„ mye stoff pÄ to timer.) - hvis vi skal ha noen timer oppgaveregning og sĂ„nt mĂ„ vi ogsĂ„ tenke pÄ hvordan Øvingene passer inn i dette - IdĂ©: begynne pÄ mandagen med Ă„ gĂ„ gjennom—uten Ă„ presentere hele svaret - Vegard har tatt over koordinering av stud-asser - vi har visst 3 stk - Andrey sender en epost til Vegard - Eksamen - samme eksamen alle tre steder - de fĂ„r bruke formelsamling (sĂ„ de trenger ikke pugge like mye) - Andrey sendte pÄ mail - kap. 6 mengdelĂŠre: Overveldende mye symboler for det som egentlig er veldig enkel logikk. Tror de ville brukt mer tid pĂ„ Ă„ finne det de trenger enn Ă„ tenke seg frem til det selv. - Andrey forenkler og legger ut. - Finne gamle eksamensoppgaver? - Andrey/Siebe kan samle noen og dele - Kontekstualisering - Kan hende vi slipper Ă„ tenke sĂ„ mye pĂ„ det siden de har en prosjektoppgave - speaking of, det blir ikke noe *nytt* prosjekt pĂ„ slutten, som fĂžrst planlagt—Andrey sier at det har gĂ„tt sĂ„ treigt med de prosjektene at dersom de blir ferdig med prosjektet den siste uken sĂ„ er vi veldig happy - Prosjektet de har jobbet med sĂ„ langt er Ă„ lĂžse diff.likninger i Python. - Det er ogsĂ„ noen programmeringsoppgaver i Ăžvingene, se feks oppg. 10, Ăžving 1. - Siebe er egentlig fysiker ogsĂ„ lol - Øvingene har frist onsdag uken etter - Til neste gang: se litt pÄ Þvingene, tenk pĂ„ formatet, prĂžv - Ressurser mĂ„ oppdateres pÄ Blackboard; vi gjĂžr dette sammen pĂ„ torsdag - ligger et formelark ute under "arbediskrav, pensum og ressurser", men det er veldig mangelfult; vi er nok fri til Ă„ legge ut vĂ„rt eget - MĂ„ oppdatere siden Undervisning -> Trondheim med nye forelesningstider osv #### 3: Seminar om [[Regevs algoritme]] - Utrolig gode og intuitive forklaringer, se screenshots (eller bare recording av talken). - "The fact that this improvement to this almost 30 year old algorithm only came around this year speaks to how difficult it is to find quantum algorithms." – Peter Shor - PĂ„ panelet (annet enn Oded selv): - Umesh Vazirani (ofc) - Vinod Vaikuntanathan, MIT - beskrevet som en som jobber "mer og mer i interseksjonen mellom krypto og kvante" - "for meg er egentlig Vinod det stĂžrste navnet, hans bidrag i kryptografi er helt sykt" (...) "en helt syyyyk CV innen krypto" - Tjerand - se https://dblp.org/pid/v/VinodVaikuntanathan.html! - mye FHE - la ogsĂ„ grunnlaget som ledet til Falcon DSA, og trapdoors generelt i den kontekst - which means at vi bĂžr sitere artikkelen i vĂ„rt arbeid ogsĂ„, https://dl.acm.org/doi/pdf/10.1145/1374376.1374407 - "If what my student told me yesterday is correct, we are now down to O(9n) qubits (eller var det gates?) for this algorithm." - Craig Gidney - hva er han kjent for? - ser ut til Ă„ vĂŠre mest kjent for quantum error correction - pluss, sĂ„ klart, "how to factor using 20 million qubits"-paperet, sammen med EkerĂ„ - leder utviklingen av kvantedatamaskiner hos Google? trodde det var whatshisname ... Sergio Boixo - ser sĂ„nn ut, men de er sikkert begge ledende figurer i teamet da - "There is an almost linear space-time tradeoff here where its almost like if you throw twice as many qubits at the problem then the algorithm runs twice as fast" (i.e. half the circuit depth). - "I think most of the improvements in these algorithms come from realizing that there are better ways to do arithmetic." - Peter Shor (!) - "So people should be looking for approximate arithmetic, rather than exact arithmetic, and see if they get something better!" - Peter som svar til et poeng brakt frem av Craig. - Oded Regev - "If lattice cryptography is broken, then you can get this algorithm down to linear time—really a lose-lose situation for cryptography, as pointed out to me by (hĂžrteikke)." - Var stolt av meg selv nĂ„ for Ă„ ha innsett dette fĂžr han sa det hĂžyt, spesielt nĂ„r Vinod sin reaksjon var "*really?*": Hadde lurt pĂ„ Ă„ nevne i chat at dersom man bare fant en kvantealgoritme for effektiv lattice-redusering sĂ„ kunne du bli kvitt den irriterende ekstra $n$-en i eksponenten fra LLL og fĂ„ problemet ned til linear time. Eneste problemet er at da er lattice-kryptografi ogsĂ„ brutt. ![[Pasted image 20240227204558.png]]