相关论文: Morphisms in categories of nonlocal games
In this paper we unveil novel monotonicity conditions applicable for Mean Field Games through the exploration of finite dimensional $canonical\ transformations$. Our findings contribute to establishing new global well-posedness results for…
We study the problem of classifying the holomorphic $(m,n)$-subharmonic morphisms in complex space. This determines which holomorphic mappings preserves $m$-subharmonicity in the sense that the composition of the holomorphic mapping with a…
A nonlocality anomaly in which a partially entangled state can outperform a maximally entangled state in a task exploiting nonlocality and several ways to remove the anomaly are discussed. A necessary condition for the anomaly to occur is…
We show that the Minority Game, a model of interacting heterogeneous agents, can be described as a spin systems and it displays a phase transition between a symmetric phase and a symmetry broken phase where the games outcome is predicable.…
Relating the Dirac operators on the total space and on the base manifold of a horizontally conformal submersion, we characterize Dirac morphisms, i.e. maps which pull back (local) harmonic spinor fields onto (local) harmonic spinor fields.
We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of…
We investigate a canonical way of defining bisimilarity of systems when their semantics is given by a coreflection, typically in a category of transition systems. We use the fact, from Joyal et al., that coreflections preserve open…
A categorical approach to study model comparison games in terms of comonads was recently initiated by Abramsky et al. In this work, we analyse games that appear naturally in the context of description logics and supplement them with…
We introduce open games as a compositional foundation of economic game theory. A compositional approach potentially allows methods of game theory and theoretical computer science to be applied to large-scale economic models for which…
Hidden symmetries, described by higher order in momenta integrals of motion that generate nonlinear algebras, are explored at the level of classical and quantum mechanics in a variety of physical systems related to conformal and…
We introduce a novel compositional description of Feynman diagrams, with well-defined categorical semantics as morphisms in a dagger-compact category. Our chosen setting is suitable for infinite-dimensional diagrammatic reasoning,…
Quantum nonlocality is an inherently non-classical feature of quantum mechanics and manifests itself through violation of Bell inequalities for nonlocal games. We show that in a fairly general setting, a simple extension of a nonlocal game…
Binary multirelations can model alternating nondeterminism, for instance, in games or nondeterministically evolving systems interacting with an environment. Such systems can show partial or total functional behaviour at both levels of…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide.…
We study the role of strategy correlations and timing of adaptation for the dynamics of Minority Games, both simulationally and analytically. Using the exact generating functional approach a la De Dominicis we compute the phase diagram and…
We investigate quantum and nonsignaling generalizations of perfect matchings in graphs using nonlocal games. Specifically, we introduce nonlocal games that test for $L$-perfect matchings in bipartite graphs, perfect matchings in general…
Recently some authors have pointed out that there exist nonclassical correlations which are more general, and possibly more fundamental, than entanglement. For these general quantum correlations and their classical counterparts, under the…
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…
Deviations from classical physics when distant quantum systems become correlated are interesting both fundamentally and operationally. There exist situations where the correlations enable collaborative tasks that are impossible within the…