English
Related papers

Related papers: A compositional framework for classical kinematic …

200 papers

Despite ample evidence that our concepts, our cognitive architecture, and mathematics itself are all deeply compositional, few models take advantage of this structure. We therefore propose a radically compositional approach to computational…

Neurons and Cognition · Quantitative Biology 2019-11-18 Toby B. St Clere Smithe

The "theory of open sub-functorial dynamics" is a new theory that defines interacting generalized dynamical systems. The interactions between these dynamics produce new dynamics which, of course, can then enter into other interactions. A…

Dynamical Systems · Mathematics 2016-08-31 Stéphane Dugowson

We address the dynamics of a bosonic system coupled to either a bosonic or a magnetic environment, and derive a set of sufficient conditions that allow one to describe the dynamics in terms of the effective interaction with a classical…

We describe the elements of a novel structural approach to classical field theory, inspired by recent developments in perturbative algebraic quantum field theory. This approach is local and focuses mainly on the observables over field…

Mathematical Physics · Physics 2019-05-16 Romeo Brunetti , Klaus Fredenhagen , Pedro Lauridsen Ribeiro

A summary of a recently proposed description of quantum-classical hybrids is presented, which concerns quantum and classical degrees of freedom of a composite object that interact directly with each other. This is based on notions of…

Quantum Physics · Physics 2013-06-20 Hans-Thomas Elze

In this note, we provide a unifying framework to investigate the computational complexity of classical spin models and give the full classification on spin models in terms of system dimensions, randomness, external magnetic fields and types…

Disordered Systems and Neural Networks · Physics 2019-11-12 Shi-Xin Zhang

A $k$-symplectic framework for classical field theories subject to nonholonomic constraints is presented. If the constrained problem is regular one can construct a projection operator such that the solutions of the constrained problem are…

Mathematical Physics · Physics 2008-11-26 M. de Leon , D. Martin de Diego , M. Salgado , S. Vilariño

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 Physics · Physics 2022-05-03 Razin A. Shaikh , Stefano Gogioso

Emerging computational paradigms, such as probabilistic and hybrid programming, introduce new primitive operations that often need to be combined with classic programming constructs. However, it still remains a challenge to provide a…

Logic in Computer Science · Computer Science 2018-04-13 Fredrik Dahlqvist , Renato Neves

We propose a variational scheme to represent composite quantum systems using multiple parameterized functions of varying accuracies on both classical and quantum hardware. The approach follows the variational principle over the entire…

Quantum Physics · Physics 2024-06-21 Stefano Barison , Filippo Vicentini , Giuseppe Carleo

A generalized formal framework for decoherence, that can be used both in open and closed quantum systems, is sketched. In this context, the relationship between the decoherence of a closed system and the decoherence of its subsystems is…

Quantum Physics · Physics 2007-05-23 Mario Castagnino , Roberto Laura , Olimpia Lombardi

Within the frames of the analytical mechanics the method of the description of dynamics of nonequilibrium systems of potentially interacting elements is develops. The method is based on an opportunity of representation of nonequilibrium…

General Physics · Physics 2012-05-14 V. M. Somsikov

"Quantum mechanics must be regarded as open systems. On one hand, this is due to the fact that, like in classical physics, any realistic system is subjected to a coupling to an uncontrollable environment which influences it in a…

Quantum Physics · Physics 2007-05-23 S. Nicolosi

We propose a set of compositional design patterns to describe a large variety of systems that combine statistical techniques from machine learning with symbolic techniques from knowledge representation. As in other areas of computer science…

Artificial Intelligence · Computer Science 2019-05-30 Frank van Harmelen , Annette ten Teije

This paper aims to show that a simple framework, utilizing basic formalisms from set theory and category theory, can clarify and inform our theories of the relation between mind and matter.

Artificial Intelligence · Computer Science 2024-10-15 Ryan Williams

We consider the method of topological quantization for conservative systems with a finite number of degrees of freedom. Maupertuis' formalism for classical mechanics provides an appropriate scenario which permit us to adapt the method of…

Mathematical Physics · Physics 2016-04-08 Francisco Nettel , Hernando Quevedo , Moices Rodriguez

We offer a systematic account of decomposition of quantum systems into parts. Different decompositions (structures) are mutually linked via the proper linear canonical transformations. Different kinds of structures, as well as their…

Quantum Physics · Physics 2014-06-03 Jasmina Jeknic-Dugic , Momir Arsenijevic , Miroljub Dugic

Rigid bodies, plastic impact, persistent contact, Coulomb friction, and massless limbs are ubiquitous simplifications introduced to reduce the complexity of mechanics models despite the obvious physical inaccuracies that each incurs…

Robotics · Computer Science 2020-07-31 Aaron M. Johnson , Samuel A. Burden , Daniel E. Koditschek

This textbook introduces the basic concepts of the theory of causal fermion systems, a recent approach to the description of fundamental physics. The theory yields quantum mechanics, general relativity and quantum field theory as limiting…

Mathematical Physics · Physics 2025-10-24 Felix Finster , Sebastian Kindermann , Jan-Hendrik Treude

Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of…

Logic in Computer Science · Computer Science 2018-02-12 Alberto Speranzon , David I. Spivak , Srivatsan Varadarajan