Related papers: Conservativity spectra and generalized Ignatiev mo…
We prove that continuous spectrum- and commutativity-preserving maps to $\mathcal{M}_n(\mathbb{C})$ from the space of normal (real or complex) $n\times n$, $n\ge 3$ matrices with spectra contained in a given continuous-injection interval…
In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…
The objective of this manuscript is to introduce and develop the concept of a generalized $\theta$-parametric metric space-a novel extension that enriches the modern metric fixed point theory. We study of its fundamental properties,…
We obtain some recombination formulae for the spectra of (complex, reduced) plane curve singularities. As an application we prove: a generalization of Durfee's bound; a generalization of Givental's bound; the multiplicity of the curve…
The Schroedinger equation on the half line is considered with a real-valued, integrable potential having a finite first moment. It is shown that the potential and the boundary conditions are uniquely determined by the data containing the…
Induction is typically formalized as a rule or axiom extension of the LK-calculus. While this extension of the sequent calculus is simple and elegant, proof transformation and analysis can be quite difficult. Theories with an induction…
We define Grothendieck-Witt spectra in the setting of Poincar\'e $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and…
We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of…
We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…
This paper proves a genericity conjecture by Goldstein, Schlag, and Voda[Invent. Math.\textbf{217}(2019)] for multi-frequency quasiperiodic Schr\"{o}dinger operators. Specifically, we show that for almost all coefficients of real…
We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems…
This is a sequel of our paper [arXiv:1809.08425] on the Quot-scheme limit and variational properties of Donaldson's functional, which established its coercivity for slope stable holomorphic vector bundles over smooth projective varieties.…
We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the…
We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric…
G\"odel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit…
We derive an implicit description of the image of a semialgebraic set under a birational map, provided that the denominators of the map are positive on the set. For statistical models which are globally rationally identifiable, this yields…
A non-Hermitean random matrix model proposed a few years ago has a remarkably intricate spectrum. Various attempts have been made to understand the spectrum, but even its dimension is not known. Using the Dyson-Schmidt equation, we show…
Based on the recent work \cite{KKK} for compact potentials, we develop the spectral theory for the one-dimensional discrete Schr\"odinger operator $$ H \phi = (-\De + V)\phi=-(\phi_{n+1} + \phi_{n-1} - 2 \phi_n) + V_n \phi_n. $$ We show…
We develop sufficient analytic conditions for conservativeness of non-sectorial perturbations of symmetric Dirichlet forms which can be represented through a carr\'e du champ on a locally compact separable metric space. These form an…
In this paper we prove some results on interior transmission eigenvalues. First, under rea- sonable assumptions, we prove that the spectrum is a discrete countable set and the generalized eigenfunctions spanned a dense space in the range of…