Related papers: When is Existential Quantification Conservative?
For linear bose field theories, I show that if a classical Hamiltonian function is strictly positive, then there is a canonical transformation making the evolution orthogonal. This structure theorem is used to analyze the corresponding…
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of…
It is shown that if a non-invertible area preserving local homeomorphism on $\mathbb{T}^2$ is homotopic to a linear expanding or hyperbolic endomorphism, then it must be topologically transitive. This gives a complete characterization, in…
A variational principle for Lagrangian densities containing derivatives of real order is formulated and the invariance of this principle is studied in two characteristic cases. Necessary and sufficient conditions for an infinitesimal…
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…
We consider eventually positive operator semigroups and study the question whether their eventual positivity is preserved by bounded perturbations of the generator or not. We demonstrate that eventual positivity is not stable with respect…
The purpose of this article is to study conservativity in the context of triangulated categories equipped with a weight structure. As application, we establish (weight) conservativity for the restriction of the (generic) l-adic realization…
Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties.
Analytical formulae for functional differentiation under simultaneous K-conservation constraints, with K the integral of some function of the functional variable, are derived, making the proper account for the simultaneous conservation of…
A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable…
Comparison of statistical models (experiments) is an important branch of mathematical statistics, which gives deep insights in many aspects of foundation of statistics. So far, there are two quantum versions of the concept: Comparison with…
We consider the future causal boundary as a tool to find obstructions to conformal extensions, the latter being a slight generalization to conformal compactifications.
We construct the quadratic analogue of the boson Fock functor. While in the first order case all contractions on the 1--particle space can be second quantized, the semigroup of contractions that admit a quadratic second quantization is much…
The Fock-Krylov formalism for the calculation of survival probabilities of unstable states is revisited paying particular attention to the mathematical constraints on the density of states, the Fourier transform of which gives the survival…
Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when…
We compare two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1-combs on lower-order maps. We show that there is a full and…
Classical ergodicity retains its meaning in the quantum realm when the employed measurement is protective. This unique measuring technique is reexamined in the case of post-selection, giving rise to novel insights studied in the Heisenberg…
The quark-antiquark bound states are discussed using the relativistic spectator (Gross) equations. A relativistic covariant framework for analyzing confined bound states is developed. The relativistic linear potential developed in an…
In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoidal structure, in a way that results in a left Kan extension…
For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on…