Related papers: Universality and Borel Summability of Arbitrary Qu…
We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects…
Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…
Let $a,b,c,d,e,f\in\mathbb N$ with $a\ge c\ge e>0$, $b\le a$ and $b\equiv a\pmod2$, $d\le c$ and $d\equiv c\pmod2$, $f\le e$ and $f\equiv e\pmod2$. If any nonnegative integer can be written as $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with…
The Borel summability in the distributional sense is established of the divergent perturbation theory for the ground state resonance of the quantum H\'enon-Heiles model.
Zurek's derivation of Born's rule using envariance (invariance due to entanglement) is considered to capture the probability in full generality, but only as applied to measurement of a quantum observable. Contrariwise, textbook formulations…
We show that Coecke's compositionality theorem for quantum information flow follows by the universal property of tensor products from the case in which all relevant states are totally disentangled, for which the proof is almost trivial.…
Let $X$ be a conical symplectic variety admitting a crepant resolution $Y$. Based on the theory of universal Poisson deformations, we construct a complex manifold called the principal twistor model associated with $Y$. We prove a…
In this paper the kernel for the spectral correlation functions of the invariant chiral random matrix ensembles with real ($\beta =1$) and quaternion real ($\beta = 4$) matrix elements is expressed in terms of the kernel of the…
We consider a measure of similarity for infinite words that generalizes the notion of asymptotic or natural density of subsets of natural numbers from number theory. We show that every overlap-free infinite binary word, other than the…
Tensor models are generalizations of matrix models and as such, it is a natural question to ask whether they satisfy some form of the topological recursion. The world of unitary-invariant observables is however much richer in tensor models…
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…
We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time…
We show that if $\mathcal{X}$ is a complete separable metric space and $\mathcal{C}$ is a countable family of Borel subsets of $\mathcal{X}$ with finite VC dimension, then, for every stationary ergodic process with values in $\mathcal{X}$,…
Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…
We provide a multidimensional weighted Euler--MacLaurin summation formula on polytopes and a multidimensional generalization of a result due to L. J. Mordell on the series expansion in Bernoulli polynomials. These results are consequences…
The aim of this work is to analyze general infinite sums containing modified Bessel functions of the second kind. In particular we present a method for the construction of a proper asymptotic expansion for such series valid when one of the…
A classical result of Arne Beurling states that the Fourier transform of a nonzero complex Borel measure $\mu$ on the real line cannot vanish on a set of positive Lebesgue measure if $\mu$ has certain decay. We prove a several variable…
Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…
We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to…
Inspired by a paper of Salberger we give a new proof of Manin's conjecture for toric varieties over imaginary quadratic number fields by means of universal torsor parameterizations and elementary lattice point counting.