Related papers: Canonical Functions: a proof via topological dynam…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the…
The Jacobi theta-functions admit a definition through the autonomous differential equations (dynamical system); not only through the famous Fourier theta-series. We study this system in the framework of Hamiltonian dynamics and find…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
Sets of solutions to finite systems of equations in a free group, are equivalent to sets of homomorphisms from a fixed f.p. group into a free group. The latter can be encoded in a diagram, the construction of which is valid also for f.g.…
Algebraically constructible functions connect real algebra with the topology of algebraic sets. In this survey we present some history, definitions, properties, and algebraic characterizations of algebraically constructible functions, and a…
This is the first of a series of papers in which a new formulation of quantum theory is developed for totally constrained systems, that is, canonical systems in which the hamiltonian is written as a linear combination of constraints…
Cost functions provide a framework for constructions of sets Turing below the halting problem that are close to computable. We carry out a systematic study of cost functions. We relate their algebraic properties to their expressive…
Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…
The Collatz variations pattern seems not to have any recurrence relation between numbers. But knowing that there is at least a natural number that converges after several iterations we construct a function $f_{X,Y}$ that is equal to the…
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a…
Assuming that the Hamiltonian of a canonical field theory can be written in the form N H + N^i H_i, and using as the only input the actual choice of the canonical variables, we derive: (i) The algebra satisfied by H and H_i, (ii) any…
We present an application of the basic mathematical concept of complex functions as topological solitons, a most interesting area of research in physics. Such application of complex theory is virtually unknown outside the community of…
In their seminal paper (Phys. Rev.121, 920 (1961)) Sudarshan, Mathews and Rau investigated properties of the dynamical $A$ and $B$ maps acting on $n$ dimensional quantum systems. Nature of the dynamical maps in open quantum system…
This is a review of the aspirations and disappointments of the canonical quantization of geometry. I compare the two chief ways of looking at canonical gravity, geometrodynamics and connection dynamics. I capture as much of the classical…
This set of notes provides some additional explanatory material on the analytic proof of the finite generation of the canonical ring for a compact complex algebraic manifold of general type.
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
We introduce canonical coordinates on minimal time-like surfaces in the n-dimensional Minkowski space and prove the existence and the uniqueness of these parameters. With respect to these coordinates the coefficients of the first…
We provide definitions of renormdynamic motion equations and some properties of renormdynamic functions with examples. Formal, longwave and shortwave solutions of the canonical equation for generalized (pseudo) analytic functions (GPF) are…
Establishing the existence of periodic orbits is one of the crucial and most intricate topics in the study of dynamical systems, and over the years, many methods have been developed to this end. On the other hand, finding closed orbits in…