Related papers: Conservativity spectra and generalized Ignatiev mo…
We generalize the Abstract Interpolation Lemma proved by the authors in [2]. Using this extension, we show in a more general context, the persistence property for the generalized Korteweg-de Vries equation, see (1.2), in the weighted…
We introduce and develop the notion of "unipotent spectra." This is defined to be the stabilization of To\"en's category of affine stacks, and is related to recent work of Mondal--Reinecke. Unipotent spectra give rise to unipotent stable…
For the multiple differential algebra of iterated differential forms (see math.DG/0605113 and math.DG/0609287) on a diffiety (O,C) an analogue of C-spectral sequence is constructed. The first term of it is naturally interpreted as the…
Expository notes about spectral sequences, filtered spectra, and synthetic spectra. We focus on the $\tau$-formalism as it arises in filtered spectra.
We develop a dynamical formulation of one-dimensional scattering theory where the reflection and transmission amplitudes for a general, possibly complex and energy-dependent, scattering potential are given as solutions of a set of dynamical…
Schmerl and Beklemishev's work on iterated reflection achieves two aims: It introduces the important notion of $\Pi^0_1$-ordinal, characterizing the $\Pi^0_1$-theorems of a theory in terms of transfinite iterations of consistency; and it…
In Feferman's work, explicit mathematics and theories of generalized inductive definitions play a central role. One objective of this article is to describe the connections with Martin-Lof type theory and constructive Zermelo-Fraenkel set…
In this paper we propose a family of tractable kernels that is dense in the family of bounded positive semi-definite functions (i.e. can approximate any bounded kernel with arbitrary precision). We start by discussing the case of stationary…
The paper treats density measures as typical examples of finitely additive measures in $\mathbb{R}^n$. We study their structure and derive basic properties. In addition, estimates for related integrals are provided. The results are applied…
We establish the isomorphism between a nonlinear $\sigma$-model and the abelian gauge theory on an arbitrary curved background, which allows us to derive integrable models and the corresponding Lax representations from gauge theoretical…
We establish the isomorphism between a nonlinear $\sigma$-model and the abelian gauge theory on an arbitrary curved background, which allows us to derive integrable models and the corresponding Lax representations from gauge theoretical…
We describe the spectrum of an ergodic invariant measure by examining the behaviour of its generic points. We define regular Wiener--Wintner generic points for a measure to generalise the characterisation of generic points for discrete…
We consider the problem of length generalization in sequence prediction. We define a new metric of performance in this setting -- the Asymmetric-Regret -- which measures regret against a benchmark predictor with longer context length than…
For a finite group $G$, we construct a simplified model for the $G$-symmetric monoidal $G$-$\infty$-category of rational $G$-spectra. Using this model, we classify $\mathcal{I}$-normed algebras in rational $G$-spectra for a given indexing…
We introduce conservative curved systems over multiply connected domains and study relationships of such systems with related notions of functional model, characteristic function, and transfer function. In contrast to standard theory for…
Assuming Schanuel's Conjecture we prove that for any variety V over the algebraic closure over the rational numbers, of dimension n and with dominant projections, there exists a generic point in V. We obtain in this way many instances of…
We give an operator algebraic model for the first group of the unit spectrum $gl_1(KU)$ of complex topological K-theory, i.e. $[X, BGL_1(KU)]$, by bundles of stabilized infinite Cuntz C*-algebras $O_{\infty} \otimes \K$. We develop similar…
Given a category C of a combinatorial nature, we study the following fundamental question: how does the combinatorial behavior of C affect the algebraic behavior of representations of C? We prove two general results. The first gives a…
It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…
We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…