Related papers: The Maslov dequantization, idempotent and tropical…
This is an attempt to look at the tropical geometry from topological point of view.
This primer is intended as an introduction to differential forms, a central object in modern mathematical physics, for scientists and engineers.
These Course Notes provide an introduction to mathematical proofs for undergraduate students transitioning from computational calculus to abstract mathematics. Topics include propositional logic, proof techniques, mathematical induction,…
We present some informal remarks on aspects of relativistic quantum computing.
This article provides a concise introduction to Bartnik's quasi-local mass, and surveys a selection of results pertaining to the understanding of it. The aim is to serve as both an entry point to the topic, and a quick reference of results…
This is a pedagogical introduction to early cosmology and the host of fundamental physics involved in it (particle physics, grand unification and general relativity). Inflation and the inflaton field are the central theme of this review.…
We suggest a new asymptotic representation for the solutions to the 2-D wave equation with variable velocity with localized initial data. This representation is a generalization of the Maslov canonical operator and gives the formulas for…
This paper presents a brief but comprehensive introduction to certain mathematical techniques in General Relativity. Familiar mathematical procedures are investigated taking into account the complications of introducing a non trivial…
This is brief and hopefully friendly, with basic notions, a few different perspectives, and references with more information in various directions.
We introduce three representative topics in semi-classical analysis. Starting from the correspondence between classical and quantum mechanics, basic semi-classical analysis tools and results are presented. The three topics are investigated…
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers…
Quantum computing is a fascinating interdisciplinary research field that promises to revolutionize computing by efficiently solving previously intractable problems. Recent years have seen tremendous progress on both the experimental…
The present technical notes offer a brief summary of the essential points of electromagnetism at the undergraduate physics level. Some problems are presented at the end of each section; those with solutions are marked with an asterisk.
In the first part of this paper, we define two resource aware typing systems for the {\lambda}{\mu}-calculus based on non-idempotent intersection and union types. The non-idempotent approach provides very simple combinatorial…
Some results on singularities of plurisubharmonic functions are put into the context of tropical mathematics.
We give an introduction to Tropical Geometry and prove some results in Tropical Intersection Theory. The first part of this paper is an introduction to tropical geometry aimed at researchers in Algebraic Geometry from the point of view of…
In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.
A collection of short expository essays by the author on various topics in quantum mechanics, quantum cosmology, and physics in general.
The goal of this expository paper is to provide an introduction to decoupling by working in the simpler setting of decoupling for the parabola over $\mathbb{Q}_p$. Over $\mathbb{Q}_p$, commonly used heuristics in decoupling are…
Computations in the cohomology of finite groups.