Related papers: Notes on motivic infinite loop space theory
This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results,…
We compute the two-loop contributions to the free energy in the null compactification of perturbative string theory at finite temperature. The cases of bosonic, Type II and heterotic strings are all treated. The calculation exploits an…
For a perfect field $k$, we construct a triangulated category of mixed motives over $k[t]/{(t^{m+1})}$. The ext groups in this category are given by higher Chow groups, and additive higher Chow groups.
There has been a recent resurgence of interest in the structure of the gravitational field at null infinity, sparked by new results on soft charges and infrared issues related to the S matrix theory in perturbative quantum gravity. We…
This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transform our previous infinite-sized self-verifying formalisms into…
We study field theories in the limit that a compactified dimension becomes lightlike. In almost all cases the amplitudes at each order of perturbation theory diverge in the limit, due to strong interactions among the longitudinal zero…
The paper presents probabilistic extensions of interval temporal logic (ITL) and duration calculus (DC) with infinite intervals and complete Hilbert-style proof systems for them. The completeness results are a strong completeness theorem…
We survey recent progress in computing with finitely generated linear groups over infinite fields, describing the mathematical background of a methodology applied to design practical algorithms for these groups. Implementations of the…
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…
We describe the basic assumptions and key results of loop quantum gravity, which is a background independent approach to quantum gravity. The emphasis is on the basic physical principles and how one deduces predictions from them, at a level…
Levine has constructed motivic analogues of virtual fundamental classes, living in cohomology of Witt sheaves. We use this to define motivic Donaldson-Thomas invariants $\tilde{I}_n$ for $\mathbb{P}^3$ over $\mathbb{R}$. We show that for…
We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…
A new sequential approach to investigations of structure of metric spaces at infinity is proposed. Criteria for finiteness and boundedness of metric spaces at infinity are found.
These notes expand a four-hour lecture course given in Heidelberg in March 2023, as part of the "Spring School on non-Archimedean Geometry and Eigenvarieties". They are designed for graduate students and other learners. We introduce Huber…
These notes are an overview of effective field theory (EFT) methods. I discuss toy model EFTs, chiral perturbation theory, Fermi liquid theory, and non-relativistic QED, and use these examples to introduce a variety of EFT concepts,…
This is a self-contained set of lecture notes covering various aspects of the theory of open quantum system, at a level appropriate for a one-semester graduate course. The main emphasis is on completely positive maps and master equations,…
These proceedings discuss some of the highlights of recent research in Formal Theory. The topics covered range from recent progress in scattering amplitudes, quantum gravity constraints on effective field theories, AdS/CFT, flat space…
This talk introduces perturbative quantum field on a heuristic level. It is directed at an audience familiar with elements of quantum mechanics, but not necessarily with high energy physics. It includes a discussion of the strategies behind…
A lesson for the new millennium from quantum field theory: Not all field-theoretic infinities are bad. Some give rise to finite, symmetry-breaking effects, whose consequences are observed in Nature.
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…