Related papers: When is Existential Quantification Conservative?
The quantum conditions of the relativistic integrable systems whose classical motion is multiply periodic are given by considering the single-valuedness of the linear superposition of the approximate solutions $R_{i}\exp {\{iS_{i}/\hbar…
Formalism of differential forms is developed for a variety of Quantum and noncommutative situations.
In this paper we will establish necessary and sufficient conditions for a Laplace-Carleson embedding to be bounded for certain spaces of functions on the positive half-line. We will use these results to characterise weighted (infinite-time)…
A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…
A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Grothendieck fibration to finite sets and injections. We begin by…
We explain the exact meaning of a statement we made in a previous paper on invariants, namely that a complex-valued function of the data of the functional equation of an $L$-function is an invariant if and only if it is stable under the…
We prove a conservativity result for extensional type theories over propositional ones, i.e. dependent type theories with propositional computation rules, or computation axioms, using insights from homotopy type theory. The argument…
We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation…
We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…
We derive a fundamental conservation law of operator current for master equations describing reduced quantum systems. If this law is broken, the temporal integral of the current operator of an arbitrary system observable does not yield in…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be…
This note establishes the full range of $L^p$--$L^q$ Fourier extension estimates for the model $n$-dimensional quadratic submanifold in ${\mathbb R}^{n(n+3)/2}$ parametrized by $\gamma(x_1,\ldots,x_n) := (x_1,\ldots,x_n, (x_i x_j)_{1 \leq i…
A quantum characteristic exponent may be defined, with the same operational meaning as the classical Lyapunov exponent when the latter is expressed as a functional of densities. Existence conditions and supporting measure properties are…
In infinitesimal deformation theory, a classical criterion due to Schlessinger gives an intrinsic characterisation of functors that are pro-representable, and more generally, of the ones that have a hull. Our result is that in this setting…
This work establishes a condition that determines when strong generation in the bounded derived category of a Noetherian $J\textrm{-}2$ scheme is preserved by the derived pushforward of a proper morphism. Consequently, we can produce upper…
Information discounting plays an important role in the theory of belief functions and, generally, in information fusion. Nevertheless, neither classical uniform discounting nor contextual cannot model certain use cases, notably temporal…
We construct a functor from the category of admissible finitely presented o-representations of GL(2,F) to the category of finite length o-representations of Gal_{Q_p}, for any finite extension F of Q_p and the ring of integers o of a finite…