Related papers: Space-time process algebra with asynchronous commu…
Some algebraic aspects of field quantization in space-time with boundaries are discussed. We introduce an associative algebra, whose exchange properties are inferred from the scattering processes in integrable models with reflecting…
Motivated by the sharp contrast between classical and quantum physics as probability theories, in these lecture notes I introduce the basic notions of operator algebras that are relevant for the algebraic approach to quantum physics.…
Timed transition systems are behavioural models that include an explicit treatment of time flow and are used to formalise the semantics of several foundational process calculi and automata. Despite their relevance, a general mathematical…
Using formal tools in computer science to describe games is an interesting problem. We give games, exactly two person games, an axiomatic foundation based on the process algebra ACP (Algebra of Communicating Process). A fresh operator…
The essence of the path integral method in quantum physics can be expressed in terms of two relations between unitary propagators, describing perturbations of the underlying system. They inherit the causal structure of the theory and its…
A mathematical framework for Continuous Time Finance based on operator algebraic methods offers a new direct and entirely constructive perspective on the field and leads to new numerical analysis techniques. This is partly a review paper as…
In cond-mat/0103603 Diffusion algebras have been introduced in the context of one-dimensional stochastic processes with exclusion in statistical mechanics. While this reference is focused on the needs of the physicist reader and thus states…
An algebraic quantization procedure for discretized spacetime models is suggested based on the duality between finitary substitutes and their incidence algebras. The provided limiting procedure that yields conventional manifold…
Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect.…
We define a class of probabilistic models in terms of an operator algebra of stochastic processes, and a representation for this class in terms of stochastic parameterized grammars. A syntactic specification of a grammar is mapped to…
Dynamical systems with long delay feedback can exhibit complicated temporal phenomena, which once re-organized in a two-dimensional space are reminiscent of spatio-temporal behavior. In this framework, normal forms description have been…
Temporal point processes offer a powerful framework for sampling from discrete distributions, yet they remain underutilized in existing literature. We show how to construct, for any target multivariate count distribution with…
Stroboscopic wavepacket basis sets [P. Bokes, F. Corsetti, R. W. Godby, Phys. Rev. Lett. 101, 046402 (2008)] are specifically tailored for a description of time-dependent processes in extended systems like non-periodic geometries of various…
The aim of this paper is threefold. Firstly, we develop the author's previous work on the dynamical relationship between determinantal point processes and CAR algebras. Secondly, we present a novel application of the theory of stochastic…
Space is a circuit oriented, spatial programming language designed to exploit the massive parallelism available in a novel formal model of computation called the Synchronic A-Ram, and physically related FPGA and reconfigurable…
Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…
We present an elementary derivation and generalisation of a recently reported method of simulating feedback in open quantum systems. We use our generalised method to simulate systems with multiple delays, as well as cascaded systems with…
We introduce a general construction of master equations with memory kernel whose solutions are given by completely positive trace preserving maps. These dynamics going beyond the Lindblad paradigm are obtained with reference to classical…
While the relationship of time and space is an established topic in traditional centralised complexity theory, this is not the case in distributed computing. We aim to remedy this by studying the time and space complexity of algorithms in a…
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and…