相关论文: 3x+1 dynamics on rationals with fixed denominator

We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of $\Sigma$ formulas. We consider theories whose axioms are implications between…

Many things in mathematics seem lamost unreasonably nice. This includes objects, counterexamples, proofs. In this preprint I discuss many examples of this phenomenon with emphasis on the ring of polynomials in a countably infinite number of…

We study the Poincar\'e series of the mixed and pure trace rings of generic matrices. These series are known to be rational functions. We obtain an explicit formula in lowest terms in the case of $2\times2$ matrices; a denominator, which we…

We show that over the class of linear orders with additional binary relations satisfying some monotonicity conditions, monadic first-order logic has the three-variable property. This generalizes (and gives a new proof of) several known…

Free noncommutative fields constitute a natural and interesting example of constrained theories with higher derivatives. The quantization methods involving constraints in the higher derivative formalism can be nicely applied to these…

In order to determine the dynamics of nonautonomous equations both their forward and pullback behavior need to be understood. For this reason we provide sufficient criteria for the existence of such attracting invariant sets in a general…

We derive a new \emph{regular} dynamical system on a 3-dimensional \emph{compact} state space describing linear scalar perturbations of spatially flat Robertson-Walker geometries for relativistic models with a minimally coupled scalar field…

We consider the rational vector space generated by all rational homology spheres up to orientation-preserving homeomorphism, and the filtration defined on this space by Lagrangian-preserving rational homology handlebody replacements. We…

This paper is the first in a series of papers which will address, on a case by case basis, the special cases of the following rational system in the plane, labeled system #11. $$x_{n+1}=\frac{\alpha_{1}}{A_{1}+y_{n}},\quad…

We review three examples of functors from Lorentzian categories and their applications in finiteness results, singularity theorems and boundary constructions. The third example is a novel functor from the category of ordered measure spaces…

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…

We compute the exact QED_{3+1} effective action for fermions in the presence of a family of static but spatially inhomogeneous magnetic field profiles. An asymptotic expansion of this exact effective action yields an all-orders derivative…

We prove the results in [1] using Theorem 1 of the recent paper [2] by Crovisier and Yang. References: [1] Arbieto, A., Rojas, C., Santiago, B., Existence of attractors, homoclinic tangencies and singular-hyperbolicity for flows,…

We obtain the solution of the fourth order difference equation $$ x_{n+1}=\frac{ \alpha x_{n-3}}{A+B x_{n-1}x_{n-3}}$$ with the initial conditions; $x_{-3}=d,$ $x_{-2}=c,$ $x_{-1}=b,$ and $x_{0}=a$ are arbitrary nonzero real numbers,…

We provide a formal, simple and intuitive theory of rational decision making including sequential decisions that affect the environment. The theory has a geometric flavor, which makes the arguments easy to visualize and understand. Our…

We embark on a systematic study of the $(k+1)$-th derivative of $x^{k-r}H(x^r)$, where $H(x):=-x\log x-(1-x)\log(1-x)$ is the binary entropy and $k>r\geq 1$ are integers. Our motivation is the conjectural entropy inequality $\alpha_k…

We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), \sigma Y(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $\sigma$ a shift operator $\sigma(x) = x+a$, $q$-dilation…

We study the problem of finding homomorphisms into odd cycles from planar graphs with high odd-girth. The Jaeger-Zhang conjecture states that every planar graph of odd-girth at least $4k+1$ admits a homomorphism to the odd cycle $C_{2k+1}$.…

Motivic local systems over a curve in finite characteristic form a countable set endowed with an action of the absolute Galois group of rational numbers commuting with the Frobenius map. I will discuss three series of conjectures about such…

We introduce the notion of pullback along a measurable cocycle and we use it to extend the Borel invariant studied by Bucher, Burger and Iozzi to the world of measurable cocycles. The Borel invariant is constant along cohomology classes and…