相关论文: A BV-Category of Spacetime Interventions
A representation of $\mathfrak{gl}(V)=V \otimes V^*$ is a linear map $\mu \colon \mathfrak{gl}(V) \otimes M \to M$ satisfying a certain identity. By currying, giving a linear map $\mu$ is equivalent to giving a linear map $a \colon V…
We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories in which both monoidal structures share a unit and the first…
We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected…
The problem of extending the insights and techniques of categorical quantum mechanics to infinite-dimensional systems was considered in (Coecke and Heunen, 2016). In that work the $\mathrm{CP}^{\infty}$-construction, which recovers the…
The purpose of this paper is to propose a new algorithm for obtaining approximate solutions to the Burgers' equation (BE). Integration in time by a quadratic B-spline collocation method is shown. To the best of our knowledge, B-splines have…
In this paper, we derive variational inference upper-bounds on the log-partition function of pairwise Markov random fields on the Boolean hypercube, based on quantum relaxations of the Kullback-Leibler divergence. We then propose an…
We introduces a category-theoretic framework for modelling trust as applied to trusted computation systems and remote attestation. By formalizing elements, claims, results, and decisions as objects within a category, and the processes of…
We develop a formalism that allows the study of correlations in space and time in both the superfluid and Mott insulating phases of the Bose-Hubbard Model. Specifically, we obtain a two particle irreducible effective action within the…
We provide a Hilbert space approach to quantum mechanics where space and time are treated on an equal footing. Our approach replaces the standard dependence on an external classical time parameter with a spacetime-symmetric algebraic…
The space of local operators in the SU(2) invariant Thirring model (SU(2) ITM) is studied by the form factor bootstrap method. By constructing sets of form factors explicitly we define a susbspace of operators which has the same character…
The notion of a joint system, as captured by the monoidal (a.k.a. tensor) product, is fundamental to the compositional, process-theoretic approach to physical theories. Promonoidal categories generalise monoidal categories by replacing the…
The search for algebraic foundations of colour-kinematics duality and the double-copy construction has brought into focus a generalization of Batalin--Vilkovisky algebras, referred to here as coexact BV-algebras and as…
In quantum mechanics, time is introduced as a non-measurable quantity, as there is no possibility to build a hermitian operator canonically conjugated to the Hamiltonian. We cannot have, therefore, the time operator, which means that the…
We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…
For strongly interacting bosons in optical lattices the standard description using Bose-Hubbard model becomes questionable. The role of excited bands becomes important. In such a situation we compare results of simulations using multiband…
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and…
This paper focuses on the study of a new category of vector bundles. The objects of this category, called chiral vector bundles, are pairs given by a complex vector bundle along with one of its automorphisms. We provide a classification for…
The World Wide Web thrives on intelligent services that rely on accurate time series classification, which has recently witnessed significant progress driven by advances in deep learning. However, existing studies face challenges in domain…
In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…