Related papers: Notes on $n$-Transformations by Theories ($n\in {\…
In this paper we explore the representation property over sets. This property generalizes constructibility, however is weak enough to enable us to prove that the class of theories $T$ whose models are representable is exactly the class of…
We present the type theory CaTT, originally introduced by Finster and Mimram to describe globular weak $\omega$-categories, and we formalise this theory in the language of homotopy type theory. Most of the studies about this type theory…
We prove that any homotopy type can be recovered canonically from its associated weak omega-groupoid. This implies that the homotopy category of CW-complexes can be embedded in the homotopy category of Batanin's weak higher groupoids.
This paper develops a methodology for representing machine learning models as models of formal theories, grounded in the perspective that machine learning models are a form of database and that databases are models of theories in coherent…
Recent studies in several interrelated areas -- from combinatorics and representation theory in mathematics to quantum field theory and topological string theory in physics -- have independently revealed that many classical objects in these…
We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…
We consider different pentagon identities realized by the hyperbolic hypergeometric functions and investigate their degenerations to the level of complex hypergeometric functions. In particular, we show that one of the degenerations yields…
We explore the Mellin representation of correlation functions in conformal field theories in the weak coupling regime. We provide a complete proof for a set of Feynman rules to write the Mellin amplitude for a general tree level Feynman…
Let $\Omega$ be homogeneous of degree zero and have mean value zero on the unit sphere ${S}^{n-1}$, $T_{\Omega}$ be the convolution singular integral operator with kernel $\frac{\Omega(x)}{|x|^n}$. For $b\in{\rm BMO}(\mathbb{R}^n)$, let…
In this paper we present generalisations of Paley-Wiener type theorems to Mellin and (Laplace-)Fourier transforms of rapidly decreasing smooth functions with positive support and log-polyhomogeneous asymptotic expansion at zero. This…
A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive…
We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on…
Given a convex bounded domain $\Omega $ in ${{\mathbb{R}}}^{d}$ and an integer $N\geq 2$, we associate to any jointly $N$-monotone $(N-1)$-tuplet $(u_1, u_2,..., u_{N-1})$ of vector fields from $% \Omega$ into $\mathbb{R}^{d}$, a…
We study the weak values of a quantum observable from the point of view of the Wigner formalism. The main actor is here the cross-Wigner transform of two functions, which is in disguise the cross-ambiguity function familiar from radar…
We propose various properties of renormalization group beta functions for vector operators in relativistic quantum field theories. We argue that they must satisfy compensated gauge invariance, orthogonality with respect to scalar beta…
Leveraging the decomposability of the fast Fourier transform, I propose a new class of tensor network that is efficiently contractible and able to represent many-body systems with local entanglement that is greater than the area law.…
Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms).…
The Coulomb branch indices of Argyres-Douglas theories on $L(k,1)\times S^{1}$ are recently identified with matrix elements of modular transforms of certain $2d$ vertex operator algebras in a particular limit. A one parameter generalization…
We prove a weak-type estimate for a class of operators extending some of the almost orthogonality issues involved in the study of the bilinear Hilbert transform by Lacey and Thiele.
Content of the lectures is the following. Properties of transformations equivalent to ergodicity. Birkhoff's Theorem. Properties equivalent to weak mixing. On typical properties of transformations. Lego to construct transformations. Typical…