In a 3-𝖷𝖮𝖱 game , the verifier samples a challenge (x,y,z)∼μ
where μ is a probability distribution over Σ×Γ×Φ, and a map
t:Σ×Γ×Φ→ for a finite Abelian group defining a constraint.
The verifier sends the questions x, y and z to the
players...
A sparsification of a structure, with respect to a class of
queries, produces a compressed representation of the structure
while answering every query in the class approximately correctly.
The seminal example of sparsification is "graph...
I will describe a problem of unlikely intersections in a product
of modular curves, tracing the problem itself and the tools for
some results through the work of Enrico.
Most effective results for integral points on affine curves use
the works of Baker or Bombieri on Diophantine approximation by
S-units. Still, no completely general result is known already in
genus 2. I will briefly present some recent work with...
It has been a continuing interest, often with profound
importance, in understanding the geometric and topological
relationship between a Hamiltonian G-manifold Y and a symplectic
quotient X. In this talk, we shall provide precise relations
between...
A few years ago, Bhatt-Morrow-Scholze introduced an invariant of
p-adic formal schemes called syntomic cohomology, which has a close
relationship to (étale-localized) algebraic K-theory. In a recent
paper, Antieau-Mathew-Morrow-Nikolaus showed that...
