Clifford geometric parameterization of inequivalent vacua

We propose a geometric method to parameterize inequivalent vacua by dynamical data. Introducing quantum Clifford algebras with arbitrary bilinear forms we distinguish isomorphic algebras --as Clifford algebras-- by different filtrations resp. induced gradings. The idea of a vacuum is introduced as the unique algebraic projection on the base field embedded in the Clifford algebra, which is however equivalent to the term vacuum in axiomatic quantum field theory and the GNS construction in C^*-algebras. This approach is shown to be equivalent to the usual picture which fixes one product but employs a variety of GNS states. The most striking novelty of the geometric approach is the fact that dynamical data fix uniquely the vacuum and that positivity is not required. The usual concept of a statistical quantum state can be generalized to geometric meaningful but non-statistical, non-definite, situations. Furthermore, an algebraization of states takes place. An application to physics is provided by an U(2)-symmetry producing a gap-equation which governs a phase transition. The parameterization of all vacua is explicitly calculated from propagator matrix elements. A discussion of the relation to BCS theory and Bogoliubov-Valatin transformations is given.Comment: Major update, new chapters, 30 pages one Fig. (prev. 15p, no Fig.

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling

Axiomatic Theories of Intermediate Phases (IP) and Ideal Stretched Exponential Relaxation (SER)

Minimalist theories of complex systems are broadly of two kinds: mean-field and axiomatic. So far all theories of properties absent from simple systems and intrinsic to complex systems, such as IP and SER, are axiomatic. SER is the prototypical complex temporal property of glasses, discovered by Kohlrausch 150 years ago, and now observed almost universally in microscopically homogeneous, complex non-equilibrium materials (strong network and fragile molecular glasses, polymers and copolymers, even electronic glasses). The Scher-Lax trap model (1973) is paradigmatic for electronic SER; for molecular SER Phillips (3RCS 1995) identified two "magic" shape fractions \beta = 3/5 and 3/7, as confirmed by many later experiments here reviewed. In the dielectric SER frequency domain involving ion conduction, there are also special beta values for fused salts and glasses, slightly, but distinguishably, different because of the presence of a forcing electric field

Doing and Showing

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a mathematical theory consists of a set of axioms and further theorems deduced from these axioms according to certain rules of logical inference. Thus the usual notion of axiomatic method is inadequate and needs a replacement.Comment: 54 pages, 2 figure

Measuring real value and inflation

The most important economic measures are monetary. They have many different names, are derived in different theories and employ different formulas. Yet, they all attempt to do basically the same thing: to separate a change in nominal value into a ‘real part’ due to the changes in quantities and an inflation due to the changes of prices. Examples are: real national product and its components, the GNP deflator, the CPI, various measures related to consumer surplus, as well as the large number of formulas for price and quantity indexes that have been proposed. The theories that have been developed to derive these measures are largely unsatisfactory. The axiomatic theory of indexes does not make clear which economic problem a particular formula can be used to solve. The economic theories are for the most part based on unrealistic assumption. For example, the theory of the CPI is usually developed for a single consumer with homothetic preferences and then applied to a large aggregate of diverse consumers with non-homothetic preferences. In this paper I develop a unitary theory that can be used in all situations in which monetary measures have been used. The theory implies a uniquely optimal measure which turns out to be the Törnqvist index. I review, and partly re-interpret the derivations of this index in the literature and provide several new derivations. The paper also covers several related topics, particularly the presently unsatisfactory determination of the components of real GDP