Related papers: Blobbed topological recursion and KP integrability
We extend the study of corrected thermodynamics for the 3D black holes conformally coupled to scalar field up to non-perturbative level. We calculate the exponential correction to entropy arises due to the microstate counting for quantum…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…
We prove that definable ring topologies on NIP fields are closely connected to NIP integral domains. More precisely, we show that up to elementary equivalence, any NIP topological field arises from an NIP integral domain. As an application,…
In these lecture notes for the Les Houches School on Quantum Geometry I give an introductory overview of non-perturbative aspects of topological string theory. After a short summary of the perturbative aspects, I first consider the…
We prove that Kelly-Ulam conjecture is true for p-disconnected graphs.
The Morales-Ramis theory provides an effective and powerful non-integrability criterion for complex analytical Hamiltonian systems via the differential Galoisian obstruction. In this paper we give a new Morales-Ramis type theorem on the…
We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Tim\'ar for classical expansion of bounded…
We present a new version of the Grobman-Hartman's linearization theorem for random dynamics. Our result holds for infinite dimensional systems whose linear part is not necessarily invertible. In addition, by adding some restrictions on the…
The cluster perturbation theory (CPT) is one of the simplest but systematic quantum cluster approaches to lattice models of strongly correlated electrons with local interactions. By treating the inter-cluster potential, in addition to the…
We prove an interior regularity result for solutions of a purely integro-differential Bellman equation. This regularity is enough for the solutions to be understood in the classical sense. If we let the order of the equation approach two,…
We expose (without proofs) a unified computational approach to integrable structures (including recursion, Hamiltonian, and symplectic operators) based on geometrical theory of partial differential equations. We adopt a coordinate based…
In this article we study exponential dichotomies for noninvertible linear difference equations in finite dimensions. After giving the definition, we study the extent to which the projection $P(k)$ in a dichotomy is unique. For equations on…
We consider nonlinear recurrences generated from the iteration of maps that arise from cluster algebras. More precisely, starting from a skew-symmetric integer matrix, or its corresponding quiver, one can define a set of mutation…
We develop a theory of decidable inductive invariants for an infinite-state variant of the Applied pi-calculus, with applications to automatic verification of stateful cryptographic protocols with unbounded sessions/nonces. Since the…
Based on the Kupershmidt deformation for any integrable bi-Hamiltonian systems presented in [4], we propose the generalized Kupershmidt deformation to construct new systems from integrable bi-Hamiltonian systems, which provides a…
We show that there is a set which is not a set of multiple recurrence despite being a set of recurrence for nil-Bohr sets. This answers Huang, Shao, and Ye's \enquote{higher-order} version of Katznelson's Question on Bohr recurrence and…
Based on the classical Pl\"ucker correspondence, we present algebraic and geometric properties of discrete integrable line complexes in $CP^3$. Algebraically, these are encoded in a discrete integrable system which appears in various guises…
Despite the ubiquity of kernel-based clustering, surprisingly few statistical guarantees exist beyond settings that consider strong structural assumptions on the data generation process. In this work, we take a step towards bridging this…
We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a…
The KPZ fixed point is a scaling invariant Markov process which arises as the universal scaling limit of a broad class of models of random interface growth in one dimension, the one-dimensional KPZ universality class. In this survey we…