Related papers: Notes on Cofinality Spectrum Problems
These are expanded notes of a seminar held in Columbia university during the Spring and Fall of 2024 about the theory of analytic stacks of Clausen and Scholze, with a focus in the theory of solid mathematics. The seminar is inspired from…
Contents: 1. Editor's note 2. Research announcements 2.1. Pseudocompact group topologies with no infinite compact subsets 2.2. Selective coideals on (FIN[1]k) 2.3. Entire functions mapping uncountable dense sets of reals onto each other…
This paper presents new results for the (partial) maximum a posteriori (MAP) problem in Bayesian networks, which is the problem of querying the most probable state configuration of some of the network variables given evidence. First, it is…
This lecture notes are an expanded version of the course given at the ERC-School on Geometric Measure Theory and Real Analysis, held in Pisa, September 30th - October 30th 2013. The lectures aim to explain the main steps of a new proof of…
We present proofs of the basic isopermetric structure theory, obtaining some new simplified proofs. As an application, we obtain simple descriptions for subsets $S$ of an abelian group with $|kS|\le k|S|-k+1$ or $|kS-rS|- (k+r)|S|,$ where…
We prove that quasi-plurisubharmonic envelopes with prescribed analytic singularities in suitable big cohomology classes on compact K\"ahler manifolds have the optimal $C^{1,1}$ regularity on a Zariski open set. This also proves regularity…
We open a new perspective on the sup-norm problem and propose a version for non-spherical Maass forms when the maximal compact K is non-abelian and the dimension of the K-type gets large. We solve this problem for an arithmetic quotient of…
The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the construction of the Atiyah-Hirzebruch and Serre spectral…
This is a series of three lectures I gave at the Korea Institute of Advanced Study in June 2019 at a workshop about "Algebraic and Symplectic Aspects of Degenerations of Complex Surfaces". I focus on the symplectic aspects, in particular on…
The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by…
Recently in graph theory several authors have studied the spectrum of the Cayley graph of the symmetric group S_n generated by the transpositions (1, i) for 2 <= i <= n. Several conjectures were made and partial results were obtained. The…
In 1995, D. Jerison and C. Kenig in \cite{JK-1995} considered the the inhomogeneous Dirichlet problem $\Delta u= f$ on $\Omega$, $u=0$ on $\partial\Omega$ in Lipschitz domains. One of their main results shows that the $W^{1,p}$ estimate…
In recent years considerable advances have been made in quantitative homogenization of partial differential equations in the periodic and non-periodic settings. This monograph surveys the theory of quantitative homogenization for…
Korten and Pitassi (FOCS, 2024) defined a new complexity class $L_2^P$ as the polynomial-time Turing closure of the Linear Ordering Principle. They put it between $MA$ (Merlin--Arthur protocols) and $S_2^P$ (the second symmetric level of…
This paper is based on author's lectures at Kyoto University in 2010 Summer, and in the 6th MSJ-SI `Development of Moduli Theory' at RIMS in June 2013. The purpose of lectures was to review several results on Hilbert schemes of points which…
In this paper, we derive explicit second-order necessary and sufficient optimality conditions of a local minimizer to an optimal control problem for a quasilinear second-order partial differential equation with a piecewise smooth but not…
In this paper, we showcase the class XNLP as a natural place for many hard problems parameterized by linear width measures. This strengthens existing $W[1]$-hardness proofs for these problems, since XNLP-hardness implies $W[t]$-hardness for…
This paper introduces topological Slepians, i.e., a novel class of signals defined over topological spaces (e.g., simplicial complexes) that are maximally concentrated on the topological domain (e.g., over a set of nodes, edges, triangles,…
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the…
We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…