Related papers: Exponential periods and o-minimality
Standard approaches to probabilistic reasoning require that one possesses an explicit model of the distribution in question. But, the empirical learning of models of probability distributions from partial observations is a problem for which…
This paper develops a technical and practical reinterpretation of the real interval [a,b] under the paradigm of fractal countability. Instead of assuming the continuum as a completed uncountable totality, we model [a,b] as a layered…
It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…
For random maps, the expected value of the order (i.e. the period of the sequence of compositional iterates) is approximated asymptotically. It is much smaller than the expected value for the product of the cycle lengths.
Usually, it is supposed that irreversibility of time appears only in macrophysics. Here, we attempt to introduce the microphysical arrow of time assuming that at a fundamental level nature could be non-associative. Obtaining numerical…
Following the approach of Julien Lesgourgues [astro-ph/0409426], we analyze the mathematical structure of the time co-ordinate of present day cosmological models, where these models include a cosmological constant term to account for the…
The discussion is limited to first-class parametrized systems, where the definition of time evolution and observables is not trivial, and to finite dimensional systems in order that technicalities do not obscure the conceptual framework.…
A computable real function F on [0,1] is constructed such that there exists an exponential time algorithm for the evaluation of the function on [0,1] on Turing machine but there does not exist any polynomial time algorithm for the…
We show that arithmetic subgroups of semisimple groups of relative Q-type A_n, B_n, C_n, D_n, E_6, or E_7 have an exponential lower bound to their isoperimetric inequality in the dimension that is 1 less than the real rank of the semisimple…
We introduce a notion of a length function exponentially distorted on a (compactly generated) subgroup of a locally compact group. We prove that for a connected linear complex Lie group there is a maximum equivalence class of length…
We study a system of intervals $I_1,\ldots,I_k$ on the real line and a continuous map $f$ with $f(I_1 \cup I_2 \cup \ldots \cup I_k)\supseteq I_1 \cup I_2 \cup \ldots \cup I_k$. It's conjectured that there exists a periodic point of period…
Let $G$ be a connected, simply connected nilpotent Lie group, identified with a real algebraic subgroup of $\mathrm{UT}(n,\mathbb{R})$, and let $\Gamma$ be a lattice in $G$, with $\pi:G\to G/\Gamma$ the quotient map. For a semi-algebraic…
Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.
Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…
Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…
Let $\alpha_1,\alpha_2$ be non-zero algebraic numbers such that $\frac{\log \alpha_2}{\log\alpha_1}\notin\mathbb{Q}$ and let $\beta$ be a quadratic irrational number. In this article, we prove that the values of two relatively prime…
Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an…
A coherently oscillating real scalar field with potential shallower than quadratic one fragments into spherical objects called I-balls. We study the I-ball formation for logarithmic potential which appears in many cosmological models. We…
In the present article, real number representations, that are generalizations of classical positive and alternating representations of numbers, are introduced and investigated. The main metric relation, properties of cylinder sets are…
We prove that causal maximizers in $C^{0,1}$ spacetimes are either timelike or null. This question was posed in [17] since bubbling regions in $C^{0,\alpha}$ spacetimes ($\alpha <1$) can produce causal maximizers that contain a segment…