Mathematics of computation through the lens of linear equations and lattices

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

Mathematics of computation and, in particular, computational complexity theory, is a fundamental research area in the intersection of computer science and mathematics.

The area revolves around classifying computational problems as feasible or alternatively as infeasible, typically in the worst-case regime.

In some related areas—and even more prominently in practice—the notion of average-case complexity is ubiquitous.

Cryptography is a prime example where proving security of protocols/primitives often necessitates average-case type hardness assumptions.

We take the choice herein to analyze these notions through the lens of linear algebra. This perspective allows us to smoothly present important future research directions, as well as propose conjectures that lay a road-map for future progress.

The goal of this survey is to make research at the core of computation more accessible. More importantly, it gives us an opportunity to naturally state open questions regarding lattices; a solution to which would transform our perception of computation, not only scientifically, but also practically.
Original languageEnglish
Title of host publicationICM International Congress of Mathematicians 2022 July 6-14 volume 6 Sections 12-14
EditorsDmitry Beliaev, Stanislav Smirnov
Place of Publication Berlin, Germany
PublisherEMS Press, Berlin
Pages4914-4969
Number of pages56
VolumeVI
ISBN (Electronic)978-3-98547-564-3
ISBN (Print)978-3-98547-064-8
DOIs
StatePublished - 2023
EventInternational congress of Mathematicians ICM 2022 - virtual event
Duration: 6 Jul 202214 Jul 2022

Conference

ConferenceInternational congress of Mathematicians ICM 2022
Abbreviated titleICM 2022
Period6/07/2214/07/22

Fingerprint

Dive into the research topics of 'Mathematics of computation through the lens of linear equations and lattices'. Together they form a unique fingerprint.

Cite this