BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260424T140000
DTEND;TZID=America/New_York:20260424T163000
DTSTAMP:20260508T112158
CREATED:20260413T211415Z
LAST-MODIFIED:20260414T140519Z
UID:10003934-1777039200-1777048200@cmsa.fas.harvard.edu
SUMMARY:Compression Is All You Need: Modeling Mathematics
DESCRIPTION:Freedman Seminar \nSpeaker: Mike Freedman\, Harvard CMSA \nTitle: Compression Is All You Need: Modeling Mathematics \nAbstract: The talk will exposit a recent eponymous arXiv posting with coauthors Vitaly Aksenov\, Eve Bodnia\, and Mike Mulligan. The approach is to think like a physicist and model a seemingly complex bit of reality: mathematics\, by a simple toy model where exact computations can be carried out and then compared with observation.  The models are finitely generated monoids and the data is derived from MathLib a large Lean-based repository. The hierarchical nature of definitions and lemmas in math is modeled by adding redundant generators to the monoids – think of the powers of 10 within the natural numbers which support place notation. Place notation confers an exponential compression of how we describe numbers; exploration of MathLib shows that this theme persists to (human) mathematics writ large. We hope that the observables we describe will help our agents navigate to interesting mathematical destinations. \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_42426/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-4.24.26.docx.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260327T150000
DTEND;TZID=America/New_York:20260327T171500
DTSTAMP:20260508T112158
CREATED:20260323T145751Z
LAST-MODIFIED:20260323T194752Z
UID:10003922-1774623600-1774631700@cmsa.fas.harvard.edu
SUMMARY:Exotic R^4's are unclassifiable
DESCRIPTION:Freedman Seminar \nSpeaker: Robert Gompf\, UT Austin \nTitle: Exotic R^4’s are unclassifiable \nAbstract: We will use descriptive set theory to show that there is a precise sense in which exotic R^4’s are unclassifiable. For other open manifolds\, we can reach a much higher level of unclassifiability. This is work in progress with Aristotelis Panagiotopoulos.
URL:https://cmsa.fas.harvard.edu/event/freedman_32726/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-3.27.26-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260306T150000
DTEND;TZID=America/New_York:20260306T171500
DTSTAMP:20260508T112158
CREATED:20260205T145433Z
LAST-MODIFIED:20260225T152603Z
UID:10003889-1772809200-1772817300@cmsa.fas.harvard.edu
SUMMARY:Freedman Seminar: Mattie Ji\, Penn and Jeongwan Haah\, Stanford
DESCRIPTION:Freedman Seminar \nSpeakers: Mattie Ji (Penn) and Jeongwan Haah (Stanford) \nMattie Ji Title: Quantum Cellular Automata via Algebraic K-Theory \nAbstract: Algebraic K-theory\, on a very high level\, is the study of how to break apart and assemble objects linearly\, which makes the field amenable to classification questions. In this work\, we apply this methodology to study the classification of quantum cellular automata (QCA). Over an arbitrary commutative ring R and a general class of metric spaces X\, we construct a space of QCA that depends only on the large-scale (coarse) geometry of X. We explain how QCA classification groups (QCA modulo circuits) either arise naturally as or are refined by this space in most cases of interest. \nMotivated by negative K-theory\, we also show the classification of QCA on Euclidean lattices is given by an $\Omega$-spectrum indexed by the dimension. As a corollary\, we also obtain a non-connective delooping of the K-theory of Azumaya R-algebras\, whose negative homotopy groups are the QCA classification groups. When R is the complex numbers\, our method can be adapted to yield an $\Omega$-spectrum for QCA of $C^*$-algebras with unitary circuits. This talk is based on joint work with Bowen Yang. \n  \nJeongwan Haah Title: Fermionic QCA in 2d are trivial \nAbstract: We consider bounded spread automorphisms of Z/2-graded algebra (fermionic QCA) on the two-dimensional lattice and prove that every fQCA is a unitary circuit followed by fermionic shifts when stabilized by Majorana modes. This is an analog of a theorem by Freedman and Hastings for the case of ungraded algebras. The overall argument follows a similar line in that we show invertible subalgebras in 1d is trivial\, but the stabilization is used crucially. By an existing argument\, this triviality of fQCA in 2d implies that the 3d (bosonic) QCA that disentangles the Walker-Wang model with three-fermion theory is nontrivial. The latter was known to be nontrivial against Clifford gates but remained conjectural against more general unitary gates. To my knowledge\, this gives the only example ungraded QCA that is proved to be nontrivial against general unitary circuits and shifts\, and the only example ungraded invertible subalgebra that is not isomorphic to any tensor product algebra. I will explain elements new to the fermionic setting and give an overview of the nontriviality argument. (Based on an upcoming work with Jeffrey Kwan and David Long)
URL:https://cmsa.fas.harvard.edu/event/freedman_3626/
LOCATION:Hybrid
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-3.6.26-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260130T133000
DTEND;TZID=America/New_York:20260130T163000
DTSTAMP:20260508T112158
CREATED:20260108T211634Z
LAST-MODIFIED:20260122T164709Z
UID:10003870-1769779800-1769790600@cmsa.fas.harvard.edu
SUMMARY:Freedman Seminar: Michael Freedman\, CMSA & Slava Krushkal\, University of Virginia
DESCRIPTION:Freedman Seminar \nSpeakers: Michael Freedman\, CMSA and Slava Krushkal\, University of Virginia (2-3 pm and 3:15-4:15 pm) \nTitle: Formulating 4D surgery for AI agents \nAbstract: The topological category surgery exact sequence is still open for free groups (and most groups of exponential growth). The lack of knowledge is about both surgery and s-cobordism; and the source of the mystery is the same in both cases. Thinking about how to present this problem to AIs has had its own value. In a pair of talks we will explain how we have thought about the problem in the past and how we are thinking about it now.
URL:https://cmsa.fas.harvard.edu/event/freedman_13026/
LOCATION:Hybrid
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-1.30.26-1-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251114T130000
DTEND;TZID=America/New_York:20251114T160000
DTSTAMP:20260508T112158
CREATED:20251104T215810Z
LAST-MODIFIED:20251105T144505Z
UID:10003832-1763125200-1763136000@cmsa.fas.harvard.edu
SUMMARY:Freedman Seminar: Michael Freedman\, CMSA & Bowen Yang\, CMSA
DESCRIPTION:Freedman Seminar \nSpeaker: Michael Freedman\, Harvard CMSA \nTitle: Sullivan’s work on Lipschitz structures Part II (but self-contained) \n  \nSpeaker: Bowen Yang\, CMSA \nTitle: Deligne and Sullivan’s work on complex bundles with discrete structure group \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_111425/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-11.14.25.docx-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251017T130000
DTEND;TZID=America/New_York:20251017T160000
DTSTAMP:20260508T112158
CREATED:20250930T134721Z
LAST-MODIFIED:20251014T133421Z
UID:10003800-1760706000-1760716800@cmsa.fas.harvard.edu
SUMMARY:Freedman Seminar: Michael Freedman\, CMSA & Bowen Yang\, CMSA
DESCRIPTION:Freedman Seminar \nSpeaker: Michael Freedman\, Harvard CMSA \nTitle: Sullivan’s work on Lipschitz structures \nAbstract: I’ll begin with an elementary\, but now little known\, piece of PL topology: engulfing. John Stalling used it to give an alternative proof of the high dimensional Poincare conjecture. Then I’ll explain Dennis Sullivan’s enhancement of Kirby’s torus trick (which relies on engulfing.) I’ll note an open question regarding Lipschitz structures on 4-manifolds. \n  \nSpeaker: Bowen Yang\, CMSA \nTitle: Quantum Cellular Automata and Algebraic L-Theory \nAbstract: Quantum cellular automata (QCAs) are models of reversible quantum dynamics that preserve locality; they can be thought of as quantum analogues of classical cellular automata\, but with much richer structure. I will describe a classification of the Clifford subclass of QCAs using methods from algebraic L-theory. The main result identifies the group of Clifford QCAs\, up to natural equivalences\, with L-theory homology of the underlying space. This gives a conceptual explanation of previously observed periodic patterns in lattice models and extends the picture to more general spaces. I will outline the ideas behind the construction and indicate how the framework connects topology\, operator algebras\, and quantum information. If time permits\, I will also comment on what is known — and unknown — about the general (non-Clifford) case.
URL:https://cmsa.fas.harvard.edu/event/freedman_101725/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-10.17.25.docx-1-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250425T030000
DTEND;TZID=America/New_York:20250425T160000
DTSTAMP:20260508T112158
CREATED:20250422T134510Z
LAST-MODIFIED:20250422T140503Z
UID:10003713-1745550000-1745596800@cmsa.fas.harvard.edu
SUMMARY:Adversarial KA
DESCRIPTION:Freedman CMSA Seminar \nSpeaker: Slava Dzhenzher\, MIPT \nTitle: Adversarial KA \nAbstract: Regarding the representation theorem of Kolmogorov and Arnold (KA) as an algorithm for representing or «expressing» functions\, we test its robustness by analyzing its ability to withstand adversarial attacks. We find KA to be robust to countable collections of continuous adversaries\, but unearth a question about the equi-continuity of the outer functions that\, so far\, obstructs taking limits and defeating continuous groups of adversaries. This question on the regularity of the outer functions is relevant to the debate over the applicability of KA to the general theory of NNs. Based on  https://arxiv.org/abs/2504.05255 \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_42525/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-4.25.25.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250312T150000
DTEND;TZID=America/New_York:20250312T170000
DTSTAMP:20260508T112158
CREATED:20250210T183743Z
LAST-MODIFIED:20250307T175626Z
UID:10003711-1741791600-1741798800@cmsa.fas.harvard.edu
SUMMARY:Freedman CMSA Seminar: Michael Freedman (CMSA) & Elia Portnoy (MIT)
DESCRIPTION:Freedman CMSA Seminar \nSpeaker: Michael Freedman\, Harvard CMSA (3:00–4:00 pm ET) \nTitle: How many links can you fit in a box? \nAbstract: I’ll discuss a “made up” problem on the interface of topology and packing\, which may well be classified as “recreational math”.  Here is the first question suppose you have a unit box\, how many unlinked (split) copies of the Hopf link (c_1\,i\,c_2\,i) and be embedded so that for each copy the two components c_1\,i and c_2\,i maintain a distance of at least  some fixed \epsilon >0. Is this number even finite? \n  \nSpeaker: Elia Portnoy\, MIT (4:00–5:00 pm ET) \nTitle: An explicit packing of links in a box and some progress in quantitative embeddings \nAbstract: Following Freedman’s talk\, I’ll begin by showing how to pack a large number of links in a box with certain geometric and topological constraints (joint with Fedya Manin). If time permits\, I’ll also discuss some progress and open questions for the following quantitative embedding problem: given a simplicial complex X\, what is the smallest size of a map from X to R^n so that the preimage of each unit ball intersects a small constant number of simplices? \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_31225/
LOCATION:Hybrid – G10
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-3.12.25.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250207T140000
DTEND;TZID=America/New_York:20250207T154500
DTSTAMP:20260508T112158
CREATED:20250127T151529Z
LAST-MODIFIED:20250127T155730Z
UID:10003673-1738936800-1738943100@cmsa.fas.harvard.edu
SUMMARY:Is every knot isotopic to the unknot?
DESCRIPTION:Freedman CMSA Seminar \n*via Zoom* \nSpeaker: Sergey Melikhov\, Steklov Math Institute \nTitle: Is every knot isotopic to the unknot? \nAbstract: The following problem was stated by D. Rolfsen in his 1974 paper; according to R. Daverman it was being discussed since the mid-60s. Is every knot in $S^3$ isotopic (=homotopic through embeddings) to a PL knot — or\, equivalently\, to the unknot? In particular\, is the Bing sling isotopic to a PL knot? We show that the Bing sling $B$ is not isotopic to any PL knot by an isotopy which extends to an isotopy of any 2-component link obtained from $B$ by adding a disjoint component $Q$ such that $lk(B\,Q)=1$. Moreover\, the assertion remains true if the additional component is allowed to self-intersect\, and even to get replaced by a new one at any time instant $t$\, as long as it remains disjoint from the original component $K_t$ and represents the same conjugacy class as the old one in $G/[G’\,G”]$\, where $G=\pi_1(S^3\setminus K_t)$. The are examples showing that the latter result cannot be improved in certain ways. I plan to present a sketch of the proof\, modulo some ingredients. The details can be found in arXiv:2406.09365 and the main ingredients in arXiv:2406.09331 and arXiv:math/0312007v3. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_2725/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-2.7.25.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241206T160000
DTEND;TZID=America/New_York:20241206T170000
DTSTAMP:20260508T112158
CREATED:20240923T164849Z
LAST-MODIFIED:20241202T185723Z
UID:10003603-1733500800-1733504400@cmsa.fas.harvard.edu
SUMMARY:A simple model for universal quantum computation
DESCRIPTION:Freedman CMSA Seminar \nSpeaker: Michael Freedman \nTitle: A simple model for universal quantum computation \nAbstract: I’ll present joint (unpublished) work with Charlie Marcus on a surprisingly simple – and potentially practical (?)– model for universal quantum computation whose only quantum primitive is the ability to measure a pair of adjacent electrons into either singlet (spin=0) or triplet (spin=1) sectors according to the Born rule. The electrons are located on quantum dots arranged in a triangular lattice whose edges are tiny strips of s-wave superconductor. \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_12624/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-12.06.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241115T143000
DTEND;TZID=America/New_York:20241115T173000
DTSTAMP:20260508T112158
CREATED:20240923T164810Z
LAST-MODIFIED:20241112T153736Z
UID:10003602-1731681000-1731691800@cmsa.fas.harvard.edu
SUMMARY:Freedman CMSA Seminar
DESCRIPTION:Freedman CMSA Seminar \n*Note: via Zoom only* \n  \n2:00-3:30 pm ET \nSpeaker: Michael Freedman\, Harvard CMSA \nTitle: Some questions and theorems about closed 3 manifolds embedded in S^4 \nAbstract: Much is unknown about smooth embeddings of 3-manifolds in S^4; the Schoenflies problem  (Is there only one smoothly embedded 3-sphere in S^4 up to isotopy?) is the best-known example. There has long been a hope that 3-manifold reasoning applied to level-sets will be helpful.  I’ll mention some successes and failures of this method and revisit a classical theorem of Hantzsche in this light. (Hantzsche: If a 3-manifold embeds in S^4 its linking form is hyperbolic.) \n  \n3:30-4:00 pm ET \nBreak/Discussion \n  \n4:00-5:30 pm ET \nSpeaker: Slava Krushkal\, University of Virginia \nTitle: A higher order torsion linking form for 3-manifolds \nAbstract: This talk is based on a joint work with Mike Freedman defining a triple linking form for rational homology spheres\, assuming that the classical torsion linking pairing of three classes pairwise vanishes. I will discuss its vanishing for 3-manifolds in S^4\, and its relation to the Matsumoto triple intersection form on 4-manifolds. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_11824/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-11.15.2024.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241025T143000
DTEND;TZID=America/New_York:20241025T173000
DTSTAMP:20260508T112158
CREATED:20240907T191539Z
LAST-MODIFIED:20241010T152044Z
UID:10003466-1729866600-1729877400@cmsa.fas.harvard.edu
SUMMARY:Freedman CMSA Seminar
DESCRIPTION:Freedman CMSA Seminar \n*Note: via Zoom only* \n2:00-3:30 pm ET \nSpeaker: Matt Hastings\, Microsoft Quantum Program \nTitle: Invertible Phases of Matter and Quantum Cellular Automata: Dimensions One to Three \nAbstract: A Quantum Cellular Automaton (QCA) is a *-automorphism of the algebra of local operators. While local quantum circuits provide one example of QCA\, we are most interested in nontrivial QCA which are those which cannot be written as conjugation by a local quantum circuit. For systems in one and two spatial dimensions\, all nontrivial QCA are shifts (i.e.\, translations by some amount)\, up to conjugation by a quantum circuit\, but in three and higher dimensions\, other examples are known. I’ll explain the relation between QCA and a certain “boundary algebra” of operators in one lower spatial dimension\, and also the relation to invertible phases of matter on the boundary\, and use this to explain and motivate some of these results in dimensions one through three. \n  \n3:30-4:00 pm ET \nBreak/Discussion \n  \n4:00-5:30 pm ET \nSpeaker: Lukasz Fidkowski\, U Washington\, Physics \nTitle: Invertible Phases of Matter and Quantum Cellular Automata: Higher dimensions \nAbstract: We discuss the explicit construction of a non-trivial QCA in 3 dimensions\, one which takes the form of multiplication by a discrete Chern-Simons functional in an appropriate basis for the Hilbert space. We relate the non-trivialness of the QCA to the fact that the Chern-Simons action is not the integral of a gauge invariant local quantity. One property of this QCA is that it creates a specific non-trivial time reversal symmetry protected topological (SPT) phase when acting on a non-trivial tensor product state. Motivated by this\, we construct a general class of QCA in arbitrary dimensions based on time reversal protected SPTs\, and conjecture a general correspondence between unoriented cobordism (which classifies such SPTs) and QCA. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_102524/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-10.25.2024.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240913T143000
DTEND;TZID=America/New_York:20240913T170000
DTSTAMP:20260508T112158
CREATED:20240723T202450Z
LAST-MODIFIED:20240911T134726Z
UID:10003401-1726237800-1726246800@cmsa.fas.harvard.edu
SUMMARY:Freedman CMSA Seminar
DESCRIPTION:Freedman CMSA Seminar \n  \n2:00-3:30 pm ET \nSpeaker: Mike Freedman\, Harvard CMSA \nTitle: Detecting hidden structures in linear maps \nAbstract: I’ll consider the problem of detecting spectral features and tensor structures within linear maps both in a quantum and classical contexts. In the quantum context there is the question of whether a Hamiltonian is local\, and if so\, local in distinct coordinate systems (a “duality”). Also\, in the case of a unitary described by a quantum circuit\, does it possess unusual spectral features or tensor structure? In ML one optimizes many linear maps. How would we know – and would we care – if the resulting maps (approximately) tensor factored? \n  \n3:30-4:00 pm ET \nBreak/Discussion \n  \n4:00-5:30 pm ET \nSpeaker: Ryan O’Donnell\, Carnegie Mellon University \nTitle: Quartic quantum speedups for planted inference \nAbstract: Consider the following task (“noisy 4XOR”)\, arising in CSPs\, optimization\, and cryptography. There is a ‘secret’ Boolean vector x in {-1\,+1}^n. One gets m randomly chosen pairs (S\, b)\, where S is a set of 4 coordinates from [n] and b is x^S := prod_{i in S} x_i with probability 1-eps\, and -x^S with probability eps. Can you tell the difference between the cases eps = 0.1 and eps = 0.5? \nIt depends on m. The best known algorithms use the “Kikuchi method” and run in time ~n^L when m ~ n^2/L. We will review this method\, and also show that the running time can be improved to roughly n^{L/4} with a quantum algorithm. \nJoint work with Alexander Schmidhuber (MIT)\, Robin Kothari (Google)\, and Ryan Babbush (Google).
URL:https://cmsa.fas.harvard.edu/event/freedman_91324/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-09.13.2024.png
END:VEVENT
END:VCALENDAR