Related papers: Fortifying the Yomdin-Gromov Algebraic Lemma
In these notes we give a brief introduction to decomposition theory and we summarize some classical and well-known results. The main question is that if a partitioning of a topological space (in other words a decomposition) is given, then…
We propose localization techniques for computing Gromov-Witten invariants of maps from Riemann surfaces with boundaries into a Calabi-Yau, with the boundaries mapped to a Lagrangian submanifold. The computations can be expressed in terms of…
We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…
Let $G$ be a finite reductive group defined over $\mathbb{F}_q$, with $q$ a power of a prime $p$. Motivated by a problem recently posed by C. Curtis, we first develop an algorithm to express each element of $G$ into a canonical form in…
We accomplish the quantization of a few classical constrained systems \`a la (modified) Faddeev-Jackiw formalism. We analyze the constraint structure and obtain basic brackets of the theory. In addition, we disclose the gauge symmetries…
Given a symplectic manifold $M$, we may define an operad structure on the the spaces $\op^k$ of the Lagrangian submanifolds of $(\bar{M})^k\times M$ via symplectic reduction. If $M$ is also a symplectic groupoid, then its multiplication…
This paper studies the effect of discretizing the parametrization of a dictionary used for Matching Pursuit decompositions of signals. Our approach relies on viewing the continuously parametrized dictionary as an embedded manifold in the…
An important problem in geometric reasoning is to find the configuration of a collection of geometric bodies so as to satisfy a set of given constraints. Recently, it has been suggested that this problem can be solved efficiently by…
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system.…
Euclidean distance matrices corresponding to an arithmetic progression have rich spectral and structural properties. We exploit those properties to develop completely positive factorizations of translations of those matrices. We show that…
We study moduli spaces of logarithmic stable maps to proper toric surfaces with prescribed tangency conditions to the toric boundary. Fixing a surface, we define a chamber decomposition on the space of all tangencies such that as a function…
We describe a family $\textrm{Cyc}_p(\mathcal{F})$ of marked cycle curves that parameterize the cycles of period $p$ of a given family $\mathcal{F}$ of dynamical systems. We produce algorithms to compute a canonical cell decomposition for…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
The main purpose of this paper is to introduce and investigate the notion of Jacobi-Jordan conformal algebra. They are a generalization of Jacobi-Jordan algebras which correspond to the case in which the formal parameter lambda equals 0. We…
Following the analysis of differentiable mappings of Y. Yomdin, M. Gromov has stated a very elegant "Algebraic Lemma" which says that the "differentiable size" of an algebraic subset may be bounded in terms only of its dimension, degree and…
We study the notion of strong integrability for classically integrable $\lambda$-deformed CFTs and coset CFTs. To achieve this goal we employ the Poisson brackets of the spatial Lax matrix which we prove that it assumes the Maillet…
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that…
We use real algebraic geometry to construct an affine $\Lambda$-building $B$ associated to the $\mathbb{F}$-points of a semisimple algebraic group, where $\mathbb{F}$ is a valued real closed field. We characterize the spherical building at…
The most impressively prolific exploration of superstring models (aiming for our physical reality) has been focused on worldsheet-supersymmetric gauged linear sigma models and the closely associated complex-algebraic toric geometry. Mirror…
In this paper we introduce the concept of O-asymptotic classes of finite structures, melding ideas coming from 1-dimensional asymptotic classes and o-minimality. The results we present here include a cell-decomposition result for…