Related papers: Kuranishi structure, Pseudo-holomorphic curve, and…
"Realistic modeling" is a new direction of electronic structure calculations, where the main emphasis is made on the construction of some effective low-energy model entirely within a first-principle framework. Ideally, it is a model in…
In this thesis we examine a set of foundational questions concerning closed forms in superspace. By reformulating a number of definitions through the use of a new ring of (anti-)commuting variables and the concept of an exact Bianchi form,…
This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in…
A qualitative but formalized representation of microstates is first established quite independently of the quantum mechanical mathematical formalism, exclusively under epistemological-operational-methodological constraints. Then, using this…
Variational quantum circuits (VQCs) are a central component of many quantum machine learning algorithms, offering a hybrid quantum-classical framework that, under certain aspects, can be considered similar to classical deep neural networks.…
This thesis details a project to define a fully compositional theory of synchronous sequential circuits built from primitive components, motivated by applying techniques successfully used in programming languages to hardware. The first part…
This paper studies first the differential inequalities that make it possible to build a global theory of pseudo-holomorphic functions in the case of one or several complex variables. In the case of one complex dimension, we prove that the…
We investigate constrained quantum motion on curves and surfaces using connection factorization methods. We show that Laplace operators admit an exact half-connection factorization generated by connection one-forms. The first-order part of…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Kuranishi's fundamental result (1962) associates to any compact complex manifold $X_0$ a finite-dimensional analytic space which has to be thought of as a local moduli space of complex structures close to $X_0$. In this paper, we give an…
The building blocks of a quantum theory of general relativity are expected to be discrete structures. Loop quantum gravity is formulated using a basis of spin networks (wave functions over oriented graphs with coloured edges), thus…
We examine a moduli problem for real and quaternionic vector bundles on a smooth complex projective curve with a fixed real structure, and we give a gauge-theoretic construction of moduli spaces for semi-stable such bundles with fixed…
We suggest a construction of virtual fundamental classes of certain types of moduli spaces.
In this paper, we prove some fundamental theorems for holomorphic curves on angular domain intersecting a hypersurface, finite set of fixed hyperplanes in general position and finite set of fixed hypersurfaces in general position on complex…
We study the dimensional aspect of the geometry of quantum spaces. Introducing a physically motivated notion of the scaling dimension, we study in detail the model based on a fuzzy torus. We show that for a natural choice of a deformed…
Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have…
We construct universal local deformations (Kuranishi families) for pairs consisting of a compact complex curve and a meromorphic 1-form. Each pair is assumed to be locally planar, a condition which in particular forces the periods of the…
In this paper, we examine the dependence of standard gluing process for pseudoholomorphic curves under the change of the length $T$ of the neck-region with respect to the cylindrical metrics associated to the given analytic coordinates near…
We introduce $L_{\infty}$-Kuranishi spaces by associating, to each chart, $L_{\infty}[1]$-algebras defined on open neighborhoods of the zero points of the Kuranishi section. We show that these objects collectively form a category, which…
This is an expository talk written for the Bourbaki Seminar. After a brief introduction, Section 1 discusses in the categorical language the structure of the classical deterministic computations. Basic notions of complexity icluding the…