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...
I will describe constructions of lattice field theories that
assign a single bosonic variable to each site, rather a conjugate
pair x,p. The information to realize a non-trivial dynamics is
realized by non-trivial Poisson brackets between nearest...
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...
The Miura transformation is a powerful formalism to construct
generators of vertex operator algebras in free field
representation. In this talk, I will explain that Miura operators
are R-matrices of a certain quantum algebra, and comment on
physical...
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...