Related papers: When is Existential Quantification Conservative?
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…
By using a similar pattern of arguments, we show that in three categories the collection of isomorphisms forms a residual subset of the space of morphisms. We first consider surjective continuous mappings on Cantor spaces. Next, we look at…
In the first part of this paper we study fibrations of $(\infty,2)$-categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback, and apply this to show that in some cases…
The conventional quantum Brownian propagator, which describes the evolution of a system of interest bilinearly coupled to and initially uncorrelated with a reservoir, does not preserve positivity of density operators, prompting workers to…
We discuss some of the mathematical properties of the fractional derivative defined by means of Fourier transforms. We first consider its action on the set of test functions $\Sc(\mathbb R)$, and then we extend it to its dual set,…
One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…
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…
Conserved quantities are crucial in quantum physics. Here we discuss a general scenario of Hamiltonians. All the Hamiltonians within this scenario share a common conserved quantity form. For unitary parametrization processes, the…
Using the independent oscillator model with an arbitrary system potential, we derive a quantum Brownian equation assuming a correlated total initial state. Although not of Lindblad form, the equation preserves positivity of the density…
In this paper we give necessary and sufficient conditions for a functor to be representable in a strongly generated triangulated category which has a linear action by a graded ring, and we discuss some applications and examples.
It is shown that some analog of the ``second quantization'' exists in the framework of CP(N) theory. I analyse conditions under that ``geometrical bosons'' may be identified with real physical fields. The compact character of a state…
It is shown that a quiver is left noetherian if and only if the category of quiver representations in any locally noetherian abelian category is again locally noetherian. Here, locally noetherian means that any object is the directed union…
We study the rich behavior of ergodicity and conservativity of Cartesian products of infinite measure preserving transformations. A class of transformations is constructed such that for any subset $R\subset \mathbb Q\cap (0,1)$ there exists…
We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics,…
We prove optimality conditions for different variational functionals containing left and right Caputo fractional derivatives. A sufficient condition of minimization under an appropriate convexity assumption is given. An Euler-Lagrange…
It is shown that dynamical equations for quantum tomograms retain the normalization conditions of their solutions during evolution only if the solutions satisfy a set of special conditions. These conditions are found explicitly. On the…
The determination of the quantum state of a single system by protective observation is used to justify operationally a formulation of quantum theory on the quantum state space (projective Hilbert space) $\cal P$. Protective observation is…
A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…
We investigate some particular completely positive maps which admit a stable commutative Von Neumann subalgebra. The restriction of such maps to the stable algebra is then a Markov operator. In the first part of this article, we propose a…
The use of the quantizer-dequantizer formalism to describe the evolution of a quantum system is reconsidered. We show that it is possible to embed a manifold in the space of quantum states of a given auxiliary system by means of an…