This is an expanded version of lectures given in Hangzhou and Beijing, on the symplectic forms common to Seiberg-Witten theory and the theory of solitons. Methods for evaluating the prepotential are discussed. The construction of new integrable mod...
We acuminate the idea of a final theory of physics in order to analyze its logical implications and consequences. It is argued that the rationale of a final theory is the principle of sufficient reason. This implies that a final theory of physics, pr...
The T_N theory is a four-dimensional N=2 superconformal field theory that has played a central role in the analysis of supersymmetric dualities in the last few years. The aim of this review is to collect known properties of the T_N theory and its cou...
The key open problem of string theory remains its non-perturbative completion to M-theory. A decisive hint to its inner workings comes from numerous appearances of higher structures in the limits of M-theory that are already understood, such as highe...
These notes on string theory are based on a series of talks I gave during my graduate studies. As the talks, this introductory essay is intended for young students and non-string theory physicists....
We study supersymmetric domain walls in N=1 SU(N) gauge theory with 3 massive adjoint representation chiral multiplets. This theory, known as N=1^*, can be obtained as a massive deformation of N=4 Yang-Mills theory. Following Polchinski and Strassl...
A classical continuum theory corresponding to Barrett and Crane's model of Euclidean quantum gravity is presented. The fields in this classical theory are those of SO(4) BF theory, a simple topological theory of an so(4) valued 2-form field, $B^{IJ...
This paper gives general intrinsic theory of general large $N_{c}$ QCD, SU(3) QCD, SU(2) hadron-dynamics and U(1) QED gauge field theories in general field theory and progress towards solving the nucleon spin crisis, i.e., presents general large $N_{...
Historical economic growth in countries of the former USSR is analysed. It is shown that Unified Growth Theory is contradicted by the data, which were used, but not analysed, during the formulation of this theory. Unified Growth Theory does not expla...
In this article, we present a dynamical homotopical cancellation theory for Gutierrez-Sotomayor singular flows $\varphi$, GS-flows, on singular surfaces $M$. This theory generalizes the classical theory of Morse complexes of smooth dynamical systems...
The present book gives a systematic overview of function theory and the theory of Stieltjes integral. In particular, we give a detailed account of the theory of functions of bounded variation and of the theory of regulated functions (= functions havi...
This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program lo...
An exact derivation of relativistic hydrodynamics from an underlying microscopic theory has been shown to be an all-order theory. From the relativistic transport equation of kinetic theory, the full expressions of hydrodynamic viscous fluxes have bee...
We consider the problem of determining the beta-functions for any reduced effective field theory. Even though not all the Green's functions of a reduced effective field theory are renormalizable, unlike the full effective field theory, certain effe...
The theory introduced, presented and developed in this paper, is concerned with Rough Concept Analysis. This theory is a synthesis of the theory of Rough Sets pioneered by Zdzislaw Pawlak with the theory of Formal Concept Analysis pioneered by Rudolf...
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and beautiful...
We apply fundamental notions of Bishop set theory (BST), an informal theory that complements Bishop's theory of sets, to the theory of Bishop spaces, a function-theoretic approach to constructive topology. Within BST we develop the notions of a direc...
We provide an analysis of theory ladenness in machine learning in science, where "theory", that we call "domain theory", refers to the domain knowledge of the scientific discipline where ML is used. By constructing an account of ML models based on a...
The home space for optimal control is a Sobolev space. The home space for pseudospectral theory is also a Sobolev space. It thus seems natural to combine pseudospectral theory with optimal control theory and construct ``pseudospectral optimal control...
Game dynamics theory, as a field of science, the consistency of theory and experiment is essential. In the past 10 years, important progress has been made in the merging of the theory and experiment in this field, in which dynamics cycle is the prese...