Related papers: State transitions as morphisms for complete lattic…
The aim of this article is to represent the general description of an entity by means of its states, contexts and properties. The entity that we want to describe does not necessarily have to be a physical entity, but can also be an entity…
We consider the transformation of Hamilton operators under various sets of quantum operations acting simultaneously on all adjacent pairs of particles. We find mappings between Hamilton operators analogous to duality transformations as well…
We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
We extend Berezin's quantization $q:M\to\mathbb{P}\mathcal{H}$ to holomorphic symplectic manifolds, which involves replacing the state space $\mathbb{P}\mathcal{H}$ with its complexification $\text{T}^*\mathbb{P}\mathcal{H}.$ We show that…
We begin the development of a categorical perspective on the theory of generalized interval systems (GIS's). Morphisms of GIS's allow the analyst to move between multiple interval systems and connect transformational networks. We expand the…
We formalize and generalize the concept of a topological state-sum construction using the language of tensor networks. We give examples for constructions that are possibly more general than all state-sum constructions in the literature that…
We introduce techniques to analyze unitary operations in terms of quadratic form expansions, a form similar to a sum over paths in the computational basis when the phase contributed by each path is described by a quadratic form over…
Quantum resources exist in a hierarchy of multiple levels. At order zero, quantum states are transformed by linear maps (channels, or gates) in order to perform computations or simulate other states. At order one, gates and channels are…
We formulate dynamical phase transitions in subsystems embedded in larger quantum systems. Introducing the entanglement echo as an overlap of the initial and instantaneous entanglement ground states, we show its analytic structure after a…
Inversion of various inclusions, that characterize continuity in topological spaces, results in numerous variants of quotient and perfect maps. In the framework of convergences, the said inclusions are no longer equivalent, and each of them…
This is a status report on a companion subject to extremal combinatorics, obtained by replacing extremality properties with emergent structure, `phases'. We discuss phases, and phase transitions, in large graphs and large permutations,…
Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to the setting of first order logic. We define a notion of…
In quantum operations, probabilities characterise both the degree of the success of a state transformation and, as density operator eigenvalues, the degree of mixedness of the final state. We give a unified treatment of pure-to-pure state…
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
We investigate generalized phase transitions of type localization - delocalization from one to several Sinai-Bowen-Ruelle invariant measures in finite networks of chaotic elements (coupled map lattices) with general graphs of connections in…
We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the…
We generalize the enhanced power graph by replacing elements with classes under automorphisms. We show that the connectivity and diameter of this graph is similar to that of the enhanced power graph. We consider the universal vertices of…