相关论文: From operads and PROPs to Feynman Processes

The method of Feynman-Kac perturbation of quantum stochastic processes has a long pedigree, with the theory usually developed within the framework of processes on von Neumann algebras. In this work, the theory of operator spaces is…

A number of ideas and questions related to the construction of quantum processes are discussed. Quantum state extension, entanglement and asymptotic behaviour of the entropy are some of the issues explored. These topics are studied in more…

We show that modular operads are equivalent to modules over a certain simple properad which we call the Brauer properad. Furthermore, we show that, in this setting, the Feynman transform corresponds to the cobar construction for modules of…

We review several well-known operads of compactified configuration spaces and construct several new such operads, C, in the category of smooth manifolds with corners whose complexes of fundamental chains give us (i) the 2-coloured operad of…

In this thesis, we generalize the Koszul duality for associative algebras and operads to PROPs. The operads are algebraic objects that represent the operations with multiple inputs but only one output acting on a certain type of algebras. A…

The interface between classical physics and quantum physics is explained from the point of view of quantum information theory (Feynman Processes). The interpretation depends on a hefty sacrifice: the classical determinism or the arrow of…

This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…

An operational description of quantum phenomena concerns developing models that describe experimentally observed behaviour. $\textit{Higher-order quantum operations}\unicode{x2014}$quantum operations that transform quantum…

This text, based on the author's Bachelor's thesis, introduces the theory of Algebraic Operads, a mathematical formalism that provides a unifying framework for modern algebra. We demonstrate how the fundamental theories of associative,…

Some well-known examples of constrained quantum systems commonly quantized via Feynman path integrals are re-examined using the notion of conditional integrators introduced in [1]. The examples yield some new perspectives on old results. As…

It is discussed an opportunity to introduce new class of quantum algorithms based on possibility to express amplitude of transition between two states of quantum system as sum of some function along all possible classical paths. Continuous…

We study a class of universal Feynman integrals which appear in four-dimensional holomorphic theories. We recast the integrals as the Fourier transform of a certain polytope in the space of loop momenta (aka the ``Operatope''). We derive a…

Some very elementary ideas about quantum groups and quantum algebras are introduced and a few examples of their physical applications are mentioned.

We introduce a formalism that exploits the many-input many-output nature of nodes in quantum circuits. There is a diagrammatic and an algebraic version, the latter similar to the spinor formalism of general relativity. This allows us to…

Inspired by the work of Feynman, Deutsch, We formally propose the theory of physical computability and accordingly, the physical complexity theory. To achieve this, a framework that can evaluate almost all forms of computation using various…

The notion of PROP models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for PROPs generalizing the one for…

We study the mathematical foundations of physics. We reconstruct textbook quantum theory from a single symmetric monoidal functor $GNS : \mathbf{Phys} \longrightarrow \ast\mathbf{Mod}$, based on the Gelfand-Naimark-Segal construction and…

Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories…

Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model in which (a) the C*-algebra of observables…

This course on Feynman integrals starts from the basics, requiring only knowledge from special relativity and undergraduate mathematics. Topics from quantum field theory and advanced mathematics are introduced as they are needed. The course…