Related papers: Tame integrals of motion and o-minimal structures
We apply domino problems to give short proofs for some known theorems for the classical predicate logic and to obtain lower bounds for complexity of modal predicate logics defined by Noetherian orders as Kripke frames.
In many applications of optimal transport (OT), the object of primary interest is the optimal transport map. This map rearranges mass from one probability distribution to another in the most efficient way possible by minimizing a specified…
In this paper we investigate some connections between Topological Dynamics, the theory of G-Principal Bundles, and the theory of Locally Trivial Groupoids.
In arXiv:1303.3724, the authors provide an axiomatic way of constructing new polynomially bounded o-minimal structures. However, all of the structures satisfying these axioms must also have smooth cell-decomposition. In this paper, we…
Those articles (versions) explore a non conventional pregeometrical model encompassing quantics and geometrodynamics (a stochastic graph relational theory). Some key points are : 1) the use of simple boolean atom-like far subquantum…
This is a short summary of main results of our paper arXiv:0811.2435 where the concept of motivic Donaldson-Thomas invariant was introduced. It also contains a discussion of some open questions from the loc.cit., in particular, the geometry…
We construct Riemannian manifolds with completely integrable geodesic flows, in particular various nonhomogeneous examples. The methods employed are a modification of Thimm's method, Riemannian submersions and connected sums.
We consider (generalized) periods of Maass forms along non-closed geodesics having a closed geodesic as the limit set.
Thin sums matroids were introduced to extend the notion of representability to non-finitary matroids. We give a new criterion for testing when the thin sums construction gives a matroid. We show that thin sums matroids over thin families…
Regluing is a topological operation that helps to construct topological models for rational functions on the boundaries of certain hyperbolic components. It also has a holomorphic interpretation, with the flavor of infinite dimensional…
We consider magnetic geodesic flows of the normal metrics on a class of homogeneous spaces, in particular (co)adjoint orbits of compact Lie groups. We give the proof of the non-commutative integrability of flows and show, in addition, for…
The problem of the existence of an additional (independent on the energy) first integral, of a geodesic (or magnetic geodesic) flow, which is polynomial in momenta is studied. The relation of this problem to the existence of nontrivial…
We consider the line, surface and volume elements of fluid in stationary isotropic incompressible stochastic flow in $d$-dimensional space and investigate the long-time evolution of their statistic properties. We report the discovery of a…
I give a short review of the theory of twisted symmetries of differential equations, emphasizing geometrical aspects. Some open problems are also mentioned.
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain.…
Some key notions of line geometry are recalled, along with their application to mechanics. It is then shown that most of the basic structures that one introduces in the pre-metric formulation of electromagnetism can be interpreted directly…
We present a brief introduction to the theory of operator limits of random matrices to non-experts. Several open problems and conjectures are given. Connections to statistics, integrable systems, orthogonal polynomials, and more, are…
Looking at rational solid-fluid mixture theories in the context of their biomechanical perspectives, this work aims at proposing a two-scale constitutive theory of a poroelastic solid infused with an inviscid compressible fluid. The…
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…
We define a simpler notion of symmetric topological complexity more ad hoc to the motion planning problem which was the original motivation for the definition of topological complexity. This is a homotopy invariant that we call…