Related papers: Proof of Compositionality of CFT Correctness
Some mathematical questions relating to Coset Conformal Field Theories (CFT) are considered in the framework of Algebraic Quantum Field Theory as developed previously by us. We consider the issue of fixed point resolution in the diagonal…
We introduce Compositional Quantum Field Theory (CQFT) as an axiomatic model of Quantum Field Theory, based on the principles of locality and compositionality. Our model is a refinement of the axioms of General Boundary Quantum Field…
This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…
This paper suggests a [email protected] of composable specification of concurrent programs that permits: (1) verification of program code for a given specification, and (2) composition of the specifications of the components to yield…
We extend the TFT construction of CFT correlators of [arXiv:hep-th/0204148] to so-called finite logarithmic CFTs for which the algebraic input data is no longer semisimple but still finite. More specifically, starting from the data of a…
The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.
Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a…
We study the use of transformers to reconstruct the compositions of tensor products of two-dimensional rational conformal field theories (RCFTs) based on their low-energy spectra. The task is challenging due to its combinatorial nature. The…
We provide a rigorous proof of the CPT theorem within the framework of 'Lagrangian' quantum field theory. This is in contrast to the usual rigorous proofs in purely axiomatic frameworks, and non-rigorous proof-sketches within the Lagrangian…
In this paper, we show that the stability analysis in the paper A note on stability of fractional logistic maps, Appl. Math. Lett. 125 (2022) 107787 is incorrect and repeat a proof of a theorem on the convergence of a convolution of the…
We study the question of whether a composite structure of elementary particles, with a length scale $1/\Lambda$, can leave observable effects of non-locality and causality violation at higher energies (but $\lesssim \Lambda$). We formulate…
There is substancial overlap with hepth-9211081. More results are presented for duality in the non-compact case. It is argued that duality persists as a symmetry also in that case.
The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process…
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs…
This talk provides a short overview of recent results on possible CPT violation and some associated experimental signatures.
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
A short review is given of some theoretical approaches to CPT violation. A potentially realistic possibility is that small apparent breaking of CPT and Lorentz symmetry could arise at the level of the standard model from spontaneous…
Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middleware has been traditionally built in layered stacks of…
We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…
At first we give a little formalism to show some features of spontaneous CP violation theory. Then we give a convincing argument show that Cronin etc's experiment is a evidence of CPT violation and spontaneous CP violation is absolutely…