Related papers: Coherence Constraints for Operads, Categories and …
This is part one of a two-part work that relates two different approaches to two-dimensional open-closed rational conformal field theory. In part one we review the definition of a Cardy algebra, which captures the necessary consistency…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
We describe the use of array expressions as constraints, which represents a consequent generalisation of the "element" constraint. Constraint propagation for array constraints is studied theoretically, and for a set of domain reduction…
The concept of correlation appears straightforward: measurement outcomes coincide, and patterns emerge. For any record of events, the coefficients are uniquely determined. Thus, if correlations change spontaneously, as seen in quantum…
A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these…
The tight frames can be regarded as a particular case of POVMs (positive operator-valued measures describing generalized measurements), namely the case when all the operators are rank-one. Each orthonormal basis is a tight frame, and every…
Relying on known results of the Noether theory of symmetries extended to constrained systems, it is shown that there exists an obstruction that prevents certain tangent-space diffeomorphisms to be projectable to phase-space, for generally…
Quantum coherence, as a direct manifestation of the quantum superposition principle, is a crucial resource in quantum information processing. Block coherence resource theory generalizes the traditional coherence framework by defining…
Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We analyze quantum coherence generated by non-interacting magnons in a ferromagnetic spin chain described by the isotropic Heisenberg model. The exact expression derived for the reduced density operator of an arbitrary subsystem reveals…
We prove that a pointed category has kernels if and only if it is a lax algebra for the arrow 2-monad, and that this holds if and only if it is the d\'ecalage of a supercoherent structure. We will then interpret categories with kernels as…
It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type ${(A\otimes B)\otimes(C\otimes D)\to(A\otimes C)\otimes(B\otimes D)}$, called medial…
Quantum theory is formulated as the uniquely consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if the amplitude of a quantum process can be computed in two different ways, the two…
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…
In this thesis we develop the cohomology of diagrams of algebras and then apply this to the cases of the $\lambda$-rings and the $\Psi$-rings. A diagram of algebras is a functor from a small category to some category of algebras. For an…
We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a type theory whose terms describe the operations of such structures, and whose definitional equality relation enforces…
Symmetric cohomology of groups, defined by M. Staic in [2], is similar to the way one defines the cyclic cohomology for algebras. We show that there is a well-defined restriction, conjugation and transfer map in symmetric cohomology, which…
A presentation by generators and relations of the $n$th symmetric power $B$ of a commutative algebra $A$ over a field of characteristic zero or greater than $n$ is given. This is applied to get information on a minimal homogeneous…
We develop a mathematical formalism that allows to study decoherence with a great level generality, so as to make it appear as a geometrical phenomenon between reservoirs of dimensions. It enables us to give quantitative estimates of the…