Two-dimensional conformal field theories exhibit a universal free energy in the high temperature limit T → ∞, and a universal spectrum in the Cardy regime, ∆ → ∞. We show that a much stronger form of universality holds in theories with a large central charge c and a sparse light spectrum. In these theories, the free energy is universal at all values of the temperature, and the microscopic spect...

We develop an analogue of universal algebra in which generating symbols are interpreted as relations. prove a variety theorem for these relational algebraic theories, we find that their categories models precisely the definable categories. The syntax our theories is string-diagrammatic, and can be seen extension usual term theories.

The concept of dialgebra provides a platform under which universal algebra and coalgebra are unified in one theory. Other examples of dialgebras include universal multialgebras and partial algebras. In the dialgebraic setting, several relationships between common features of these various theories are clarified and, in many cases, rather similar proofs of closely related results are combined to...

We show that in a special class of theories the commonly assumed universal form of the soft supersymmetry–breaking terms is approached in the infra–red limit. The resulting universal scalar mass and trilinear coupling are predicted in terms of the gaugino mass.

This note is a case study for finding universal measures for weak implicit computational complexity. We will instantiate “universal measures” by “dynamic ordinals”, and “weak implicit computational complexity” by “bounded arithmetic”. Concretely, we will describe the connection between dynamic ordinals and witness oracle Turing machines for bounded arithmetic theories.

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a Quillen model category structure on the category of 2-theories and 2-theory-morphisms where the weak equivalences are biequivalences of 2-theories. A biequiv...

We rst deene general domain circumscription (GDC) and provide it with a semantics. GDC subsumes existing domain circumscription proposals in that it allows varying of arbitrary predicates, functions, or constants, to maximize the minimization of the domain of a theory. We then show that for the class of semi-universal theories without function symbols, that the domain circumscription of such th...

We use bordism theory to construct periodic cohomology theories, which we call elliptic cohomology, for which the cohomology of a point is a ring of modular functions. These are complex-oriented multiplicative cohomology theories, with formal groups associated to the universal elliptic genus studied by a number of authors ([CC, LS, O, W1, Z]). We are unable to find a geometric description for t...

Non-universal boundary conditions in grand unified theories can lead to non-universal gaugino masses at the unification scale. In R-parity preserving theories the lightest supersymmetric particle is a natural candidate for the dark matter. We have studied the composition of the lightest neutralino in non-universal gaugino mass cases from the SU(5), and implications on the dark matter. In the re...

Theories of rational belief revision recently proposed by GG ardenfors and Nebel illuminate many important issues but impose unnecessarily strong standards for correct revisions and make strong assumptions about what information is available to guide revisions. We reconstruct these theories according to an economic standard of rationality in which preferences are used to select among alternativ...