Related papers: Cobham-Semenov theorem and $\NN^d$-subshifts
We study the nonlinear realization of supersymmetry in a dynamical/cosmological background in which derivative terms like kinetic terms are finite. Starting from linearly realized theories, we integrate out heavy modes without neglecting…
The purpose of this work is to discuss recent progress in deriving the fundamental laws of thermodynamics (0th, 1st and 2nd-law) from nonequilibrium quantum statistical mechanics. Basic thermodynamic notions are clarified and different…
We present here an exploration on on the physical implications of the Darwinian dynamics. We first show that how the nonequilibrium statistical mechanics emerges naturally. We then show that the first three laws of the thermodynamics, the…
We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our…
The connection is established between two theories that have developed independently with the aim to describe quantum mechanics as a stochastic process, namely stochastic quantum mechanics (sqm) and stochastic electrodynamics (sed).…
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let $\Sigma$ be a language consisting of function symbols (representing type constructors) and $C$ a decidable structure in the relational…
We show that systems driven by an external force and described by Nose-Hoover dynamics allow for a consistent nonequilibrium thermodynamics description when the thermostatted variable is initially assumed in a state of canonical…
We present a short proof of Szemer\'edi's Theorem using a dynamical system enriched by ideas from model theory. The resulting proof contains features reminiscent of proofs based on both ergodic theory and on hypergraph regularity.
An analogue of the convergence part of the Khintchine-Groshev theorem, as well as its multiplicative version, is proved for nondegenerate smooth submanifolds in $\mathbb{R}^n$. The proof combines methods from metric number theory with a new…
We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of…
Existence and uniqueness theorems for quantum stochastic differential equations with nontrivial initial conditions are proved for coefficients with completely bounded columns. Applications are given for the case of finite-dimensional…
The investigation of the Hamiltonian dynamical counterpart of phase transitions, combined with the Riemannian geometrization of Hamiltonian dynamics, has led to a preliminary formulation of a differential-topological theory of phase…
These notes cover the contents of three survey lectures held at the ICTP Trieste Summer school on High dimensional manifold theory 2001. They introduce techniques coming from the theory of operator algebras. We will focus on the basic…
We show that the linearity of an evolution of Quantum Mechanics follows from the definition of kinematics. The same result is obtained for an arbitrary theory with the state space that includes mixtures of different preparations. Next, we…
We describe additive (unstable) operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^*. We prove that there is 1-to-1 correspondence between the set…
In the mid-19th century, both the laws of mechanics and thermodynamics were known, and both appeared fundamental. This was changed by Boltzmann and Gibbs, who showed that thermodynamics can be *derived*, by applying mechanics to very large…
We prove First Fundamental Theorems of Coinvariant Theory for the standard coactions of the quantum general and special linear groups on tensor products of quantum matrix algebras. More precisely, let m,n,t be arbitrary positive integers,…
Classical Sturm non-oscillation and comparison theorems as well as the Sturm theorem on zeros for solutions of second order differential equations have a natural symplectic version, since they describe the rotation of a line in the phase…
In this article we study how a subshift can simulate another one, where the notion of simulation is given by operations on subshifts inspired by the dynamical systems theory (factor, projective subaction...). There exists a correspondence…
In the first section of this note we show that the Theorem 1.8.1 of Bayer--Manin ([BaMa]) can be strengthened in the following way: {\it if the even quantum cohomology of a projective algebraic manifold $V$ is generically semi--simple, then…