Related papers: Unified theories
The aim of this chapter is to present an introduction and also an overview of some of the most relevant results concerning positivity energy theorems in General Relativity. These theorems provide the answer to a long standing problem that…
String theory and supersymmetry are theoretical ideas that go beyond the standard model of particle physics and show promise for unifying all forces. After a brief introduction to supersymmetry, we discuss the prospects for its experimental…
Neutrinos, and primarily neutrino oscillations, have undoubtedly been one of the most exciting topics in the field of high-energy physics over the past few years. The existence of neutrino oscillations would require an extension of the…
The goal of this paper is to unify two lines in a particular area of graph limits. First, we generalize and provide unified treatment of various graph limit concepts by means of a combination of model theory and analysis. Then, as an…
Inductive theorem proving is an important long-standing challenge in computer science. In this extended abstract, we first summarize the recent developments of proof by induction for Isabelle/HOL. Then, we propose united reasoning, a novel…
The cosmological consequences of particle physics grand unified theories (GUTs) are studied. Cosmological models are implemented in realistic particle physics models. Models consistent from both particle physics and cosmological…
Flavour physics represents a unique test bench for the Standard Model (SM). New analyses performed at the LHC experiments are now providing unprecedented insights into CKM metrology and new evidences for rare decays. The CKM picture can…
This is a very brief overview of the ongoing research program of unification known as the octonionic theory. We highlight the quantum foundational origins for the theory, and the seven key ingredients which go into its making.
The classical unified theory of Weyl is revisited. The possibility of stable extended electron model in the Einstein-Weyl space is suggested.
The idea of monotonicity (or positive-definiteness in the linear case) is shown to be the central theme of the solution theories associated with problems of mathematical physics. A "grand unified" setting is surveyed covering a…
A formal theory of experimentation will be presented. Such a theory presents the necessary & sufficient conditions a world must satisfy in order to admit the use of the scientific method.
We consider the problem of hypotheses testing with the basic simple hypothesis: observed sequence of points corresponds to stationary Poisson process with known intensity. The alternatives are stationary self-exciting point processes. We…
The ``unification'' of fundamental physical forces (interactions) imagines a ``single'' conceptual entity using which {\em all} the observable or physical phenomena, {\em ie}, changes to physical bodies, would be suitably describable. The…
A brief review is given on the physics potential of HERA beyond the presently approved programme. Questions of particular interest include QCD in a regime of weak coupling and high partonic densities achieved in eA collisions and spin…
There are many different notions of optimality even in testing a single hypothesis. In the multiple testing area, the number of possibilities is very much greater. The paper first will describe multiplicity issues that arise in tests…
We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to…
A lot of theoretical ideas have been floated to explain the so called cold fusion phenomenon. I look at a large subset of these and study further physical implications of the concepts involved. I suggest that these can be tested by other…
Probabilistic concurrent systems are foundational models for modern mobile computing. In this paper, a unifying approach to probabilistic testing equivalences is proposed. With the help of a new distribution-based semantics for…
We provide finite-sample distribution approximations, that are uniform in the parameter, for inference in linear mixed models. Focus is on variances and covariances of random effects in cases where existing theory fails because their…
This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, via an axiomatic declaration of self-consistency. Its perhaps…