Related papers: When is Existential Quantification Conservative?
Quantization is studied from a viewpoint of field extension. If the dynamical fields and their action have a periodicity, the space of wave functions should be algebraically extended `a la Galois, so that it may be consistent with the…
This paper extends the foundational concept to second-order quantum correlation tensors, representing intensity-intensity correlations.As their application in diverse optical field experiments gaining importance, we investigate conserved…
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…
The functor between operadic algebras given by restriction along an operad map generally has a left adjoint. We give a necessary and sufficient condition for the restriction functor to admit a right adjoint. The condition is a factorization…
A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory by providing a…
The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…
Given an arbitrary fixed continuously differentiable vector field on $\mathbb{R}^n$, we prove that this vector field is coercive if and only if its conservative part is coercive. We apply this result in order to provide sufficient…
We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserves positivity of series coefficients, and apply the inverse…
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…
The aim of this paper is to exhibit a necessary and sufficient condition of optimality for functionals depending on fractional integrals and derivatives, on indefinite integrals and on presence of time delay. We exemplify with one example,…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…
We prove that exact functors between the categories of perfect complexes supported on projective schemes are of Fourier--Mukai type if the functor satisfies a condition weaker than being fully faithful. We also get generalizations of the…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
Wigner's theorem asserts that an isometric (probability conserving) transformation on a quantum state space must be generated by a Hamiltonian that is Hermitian. It is shown that when the Hermiticity condition on the Hamiltonian is relaxed,…
For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K,…
We recently described a formalism for reasoning with if-then rules that re expressed with different levels of firmness [18]. The formalism interprets these rules as extreme conditional probability statements, specifying orders of magnitude…
Necessary and sufficient conditions for a space-time to be conformal to an Einstein space-time are interpreted in terms of curvature restrictions for the corresponding Cartan conformal connection.
We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…
The paper deals with a class of cooperative functional differential equations (FDEs) with infinite delay, for which sufficient conditions for persistence and permanence are established. Here, the persistence refers to all solutions with…