Non-Newtonian mathematics instead of non-Newtonian physics: Dark matter and dark energy from a mismatch of arithmetics

Newtonian physics is based on Newtonian calculus applied to Newtonian dynamics. New paradigms such as MOND change the dynamics, but do not alter the calculus. Calculus is dependent on arithmetic, e.g. in special relativity we add and subtract velocities by means of addition $\beta_1\oplus \beta_2=\tanh\big(\tanh^{-1}(\beta_1)+\tanh^{-1}(\beta_2)\big)$, although multiplication $\beta_1\odot \beta_2=\tanh\big(\tanh^{-1}(\beta_1)\cdot\tanh^{-1}(\beta_2)\big)$ does not seem to appear in the literature. The map $f_\mathbb{X}(\beta)=\tanh^{-1}(\beta)$ defines an isomorphism of the arithmetic in $\mathbb{X}=(-1,1)$ with the standard one in $\mathbb{R}$. The new arithmetic is non-Diophantine in the sense of Burgin. Velocity of light plays a role of non-Diophantine infinity. The new arithmetic allows us to define the corresponding derivative and integral, and thus a new calculus which is non-Newtonian in the sense of Grossman and Katz. Treating he above example as a paradigm, we ask what can be said about the set $\mathbb{X}$ and the isomorphism $f_{\mathbb{X}}:\mathbb{X}\to \mathbb{R}$, if we assume the standard form of Newtonian mechanics and general relativity (formulated by means of the new calculus) but demand agreement with astrophysical observations. It turns out that for $f_\mathbb{X}(t/t_H)\approx 0.8\sinh (t-t_1)/(0.8\, t_H)$ the resulting non-Newtonian Friedman equation with $\Omega_\Lambda=0$ is exactly quivalent to the standard Newtonian one with $\Omega_\Lambda=0.7$, $\Omega_M=0.3$. Asymptotically flat rotation curves are obtained if `zero', the neutral element of addition, is nonzero from the point of view of the standard arithmetic of $\mathbb{R}$. We do not yet know if the proposed generalization ultimately removes any need of dark matter, but it will certainly change estimates of its parameters.

The difficulty lies more in the notions themselves than in the construction Bernhard Riemann (1854) Two hundred years ago the very idea of abandoning Euclidean axioms of geometry seemed so selfcontradictory that even C. F. Gauss, a mathematician of highest reputation, found it imprudent to publish his thoughts on the subject. Euclid's fifth axiom of parallels was a truism for contemporaries of Bolyai, Lobachevski and Gauss, and we basically understand why: their everyday experiences were small-scale. Nowadays, not only are we all accustomed to non-Euclidean geometries, but we even find it difficult to think of gravitational physics in categories different from just a geometry.
Yet, modern space-time physics is clearly at crossroads. The experimental value of the cosmological constant is some 10 120 smaller than its theoretical estimate [1] -probably the worst disagreement between theory and experiment in history of science. A radical change of paradigm should not be a surprise.
The goal of this paper is to draw the attention of the dark-universe community to an overlooked mathematical freedom: the axioms of arithmetic. Problems with dark energy and dark matter may indicate that physics is geometry... and arithmetic.
To begin with, many would probably agree that if we were to give an example of an absolute and self-evident truth, one would mention 2+2 = 4. Now, is it as obvious as the axiom of parallels, or perhaps 'more obvious' ? Is 2 100 100 100 + 2 100 100 100 = 2 100 100 100 +1 equally obvious? Has anybody any practical experience with adding numbers that big? Even supercomputers cannot process numbers greater than the so-called machine infinity, a finite number N ∞ which does not increase if we add 1 to it. So, N ∞ < ∞ and N ∞ + 1 = N ∞ . This type of arithmetic is either inconsistent, or non-Diophantine. The later means that some of the rules of arithmetic, formalized by Diophantos of Alexandria, may have to be dropped. Similarly to the rules of geometry, formalized by Euclid of Alexandria.
To put what I write in a wider context let me mention that A. N. Kolmogorov himself proposed to split natural numbers into classes of small, medium, large, and super-large, and each class might in principle be based on different rules, dependent on our computing capabilities. Kolmogorov expressed his views in two papers addressed to high-school pupils [2]. We do not know if he had any concrete mathematical system in mind. A step further was done by P. K. Rashevsky [3] whose letter to Uspekhi Matematicheskich Nauk explicitly formulated the program of going beyond the 'dogma' of nat-ural numbers. Similarly to Kolmogorov, Rashevsky did not propose any concrete non-Diophantine system of axioms. The first explicitly non-Diophantine arithmetic of natural numbers was described in the same journal four years later by Mark S. Burgin [4][5][6][7].
Independently of the efforts of Rashevsky and Burgin, M. Grossman and R. Katz worked out a form of calculus which culminated in their little book Non-Newtonian Calculus [8][9][10]. It went basically unnoticed by the mainstream mathematical community, and was completely ignored by physicists. Their main idea was rediscovered two decades later by E. Pap in his g-calculus [11][12][13]. Another two decades later, but in its currently most general form, it was rediscovered by myself [14][15][16][17][18][19].
The term 'non-Newtonian' refers here to the level of calculus, and not to the laws of physics. It should not be confused with Milgrom's 'modified Newtonian dynamics' (MOND) [20][21][22], Moffat's 'modified gravity' (MOG) [23,24], or similar theories. A non-Newtonian calculus is based on a non-Diophantine arithmetic. The Newtonian calculus is based on the Diophantine arithmetic. But Newton's equation relating force and acceleration, the three Newton laws of dynamics, or the 'inverse square' Newton law of gravity remain unchanged. Theoretical freedom is hidden in various possible meanings of 'plus', 'times', 'minus', 'divided by', 'squared'... This is the new paradigm.
Non-Diophantine arithmetic and the non-Newtonian calculus it implies automatically lead to two types of 'dark universes': the ones where super-small and superlarge physical quantities behave differently even though they satisfy the same physical laws, and those identified with zero-measure sets whose physics is equipped with the usual laws, but which are invisible from the point of view of standard quantum measurements.
In the present paper we will discuss simple examples illustrating each of the above concepts. In Sec. II we begin with a concrete arithmetic of a Burgin type which naturally splits real numbers into small, large and super-large. We note that relativistic velocities are in this sense superlarge. Then in Sec. III we briefly explain the idea of non-Newtonian differentiation and integration. In the next section we combine the ideas from Sec. II and Sec. III and show that the standard Friedman equation without dark energy in fact can imply an accelerated expansion of the Universe. In Sec. V and Sec. VI we show how to derive a 'dark-matter' type of asymptotically flat velocity curve by means of the standard Newton equation of motion for a '1/r' potential. The non-Newtonian general prediction is briefly compared with the MOND paradigm in Sec. VII. In all the above examples the trick lies in a mismatch between the arithmetic employed in our modeling, and the arithmetic employed by the Universe. The problems with dark energy and dark matter look like an experimental indication that the arithmetic we all work with is not necessarily the one preferred by Nature. This is the main message of the paper.
In Sec. VIII we return to the dilemmas of the 19th century thinkers. We stress that we do perceive non-Diophantine arithmetic in our everyday life, but typically being unaware of it. Finally, in the Appendix we show how to formulate the issue of dark energy as an eigenvalue problem for a quantum system that 'lives' in a set of zero Lebesgue measure, namely in a Cantor-dust fractal.

II. NON-DIOPHANTINE ARITHMETIC: AN EXAMPLE
Let the set X of physical variables have some physical dimension (length, say) and let be a fundamental unit. Consider the set X of dimensionless numbers obtained by dividing elements of X by , that is X = {x = a/ , a ∈ X}. We assume that X has the same cardinality as the continuum R. Just to have a feel of the generality we have at our disposal think of the following examples: R itself, the open unit interval (0, 1), the three-dimensional space R 3 , the Minkowski space, a Cantor dust, a Sierpiński triangle, a Koch curve... All these sets have the same cardinality as reals, and therefore there exist one-to-one maps f mapping them onto R. Typically these maps are quite bizarre and discontinuous in metric topologies of X (try to invent a one-to-one f : R 3 → R), but this is not a problem, even if calculus is concerned. Now, consider a bijection f : X → R and the arithmetic in X induced by f , x x x The bijection is a field isomorphism of X and R, For this reason ⊕ and are associative and commutative, and is distributive with respect to ⊕ [25]. Any such X is also ordered: The neutral elements of addition and multiplication read, respectively, 0 X = f −1 (0) and 1 X = f −1 (1). Indeed, for any x ∈ X 0 X and 1 X can be generalized to arbitrary natural numbers n ∈ N, and to any real numbers, since for r, s ∈ R r X ⊕ s X = (r + s) X if one defines r X = f −1 (r), s X = f −1 (s). So, 2 X ⊕2 X = 4 X , but typically 2 X = 2 and 4 X = 4. To put it differently, even if 2 X = 2 it does not yet mean that 4 X = 4. To focus our attention let us imagine that X is the open interval (−L/2, L/2), X = − L/(2 ), L/(2 ) , f −1 (r) = L π arctan π r L (≈ r for small r). (12) The neutral elements are Taking L at the order of the radius of the visible Universe, L = 8 × 10 26 m, and at the order of the Planck length, = 2 × 10 −35 m, we find 1 X ≈ 1. For bigger numbers we find Notice that the available real numbers are limited by The upper bound L/(2 ) plays the same role as the machine infinity N ∞ . The arithmetic we have constructed is consistent but non-Diophantine. Numbers such as 10 55 are not small, but still medium-large in the sense of Kolmogorov, since The symbol of approximate equality ≈ in (18)- (19) is here practically determined by the computing capabilities of Wolfram Mathematica. However 10 61 is already Kolmogorovian super-large: An arithmetic defined by a bijection f is, in the terminology of Burgin, an example of a projective arithmetic with projection f and coprojection f −1 .
It is evident that relativistic addition of dimensionless velocities β = v/c is also an example of projectivearithmetic non-Diophantine addition: Does v = 0.76c have any special physical meaning? Non-Diophantine infinity equals ∞ X = f −1 (∞) = 1. Velocity of light is infinite, at least in the non-Diophantine sense.

III. NON-NEWTONIAN DIFFERENTIATION AND INTEGRATION
Consider two sets X, Y, with arithmetics is commutative. The neutral elements of addition read The derivative of A is defined as where the limit is appropriately constructed [18,19]. Notice that this is just the standard undergraduate-course definition of a derivative, but formulated in terms of a general addition, subtraction, and division. One proves that (23) implies Here dÃ(r)/dr is the usual Newtonian derivative ofÃ : R → R, and we assume of course that the latter is differentiable. The form (24) is an alternative form of the definition of the non-Newtonian derivative, which is extremely useful in practical calculations. Readers interested in explicit examples involving different choices of arithmetics in X or Y should look into [19]. The non-Newtonian derivative is linear with respect to ⊕ Y and satisfies the Leibniz rule One also proves a chain rule for compositions of functions [19] which, in particular, implies The bijections themselves are therefore always differentiable with respect to the derivatives they define, while the resulting derivatives are always equal to appropriate unit elements. This is true also in cases where the domains X and the images A(X) are highly nontrivial sets such as fractals. Although typically such bijections are discontinuous in metric topologies of X and Y, it is enough that they are always continuous in topologies they induce in X and Y from the open-interval topology of R.iedn Once we have the derivatives we define a non- i.e. in terms of the Newtonian (Riemann, Lebesgue,...) integral ofÃ. The two functions A andÃ are related by (22). Under standard assumptions about differentiability and continuity ofÃ we obtain both fundamental theorems of non-Newtonian calculus, relating derivatives and integrals. Let us note that (28) reduces an integral over X to a The clue that such a counterintuitive possibility exists can be found already in Wiener's lectures on Fourier analysis [26].
Any model which is usually formulated in terms of the Diophantine arithmetic and the Newtonian calculus can be regarded as a special case, with f X (x) = x and f Y (y) = y, of a general projective-arithmetic non-Diophantine and non-Newtonian one. All physical theories have their non-Newtonian generalizations.

IV. ARITHMETIC ANALOGUE OF DARK ENERGY
If the arithmetic we employ in mathematical modeling of physical theories is identical to some putative Objective Arithmetic of the Universe, then there is no possibility of verifying if the physical arithmetic is Diophantine or not. Simply, we will always find 'two plus two equals four' and the like. We will not know that 'two', 'four' or 'plus' implicitly involve some f X , so should be written with some subscript X. However, what if the Universe 'works' with some other arithmetic, not necessarily the one we are accustomed to? In principle, we can discover a mismatch between the two arithmetics, and thus discover a nontrivial f X [17].

A. Matter dominated universe
Let us illustrate the phenomenon by the Friedman equation for a flat, matter dominated FRW model with exactly vanishing cosmological constant [27]. With the initial condition a(0) = 0 we get The non-Newtonian generalization reads for A : X → Y, where Employing the diagram (22) we rewrite (31) as so thatÃ . Let the arithmetic be given by the example from Sec. II, The resulting A(t) is shown in Fig. 1 (the dashed curve). For super-large times A(t) bends up in a characteristic way, typical of dark-energy models of accelerating Universe. It is instructive to discuss also the tanh −1 we mentioned in the abstract. Therefore, let The resulting A(t) is shown in Fig. 1 (the dotted curve). In both cases the 'dark energy' effect is of purely arithmetic origin. However, the 'dark energy' behavior of a(t) is here only qualitatively similar to the exact Ω M = 0.3, Ω Λ = 0.7 data [28,29]. So, is there a kind of arithmetic which is exactly compatible with the data? The answer is in the next subsection.
for a dimensionless scale factor evolving in a dimensionless time. Eq. (38) is solved by The dimensionless time is here expressed in units of the Hubble time t H ≈ 13.58 × 10 9 yr. The present time, t = t 0 , satisfies a(t 0 ) = 1 and thus For Ω Λ ≈ 0, t 1 = 0, we reconstruct (30) A comparison of (39), written as with (35), suggests f Y (y) = y, and Notice that there is some freedom in the choice of f Y since one can take a linear function f Y (y) = αy, which just rescales the parameter ω Y . Accordingly, (39) solves both (38) and (31). If f Y (y) = y, both Friedman equations are equivalent to The cosmological constant has disappeared from the right-hand-side of the Friedman equation, but is hidden in the non-Newtonian form of the derivative. The fact that a is a map X → Y, with the non-Diophantine projective arithmetic defined in X = R by (44), and the usual Diophantine arithmetic in Y = R, implies that the metric tensor g ab should be regarded as a map g ab : X 4 → R.

V. ARITHMETIC ANALOGUE OF DARK MATTER
Kolmogorov, Rashevsky and Burgin contemplated non-Diophantine arithmetics of natural numbers. In non-Newtonian calculus we deal with non-Diophantine arithmetics of real numbers. The argument on practical indistinguishability of super-large numbers can be equally well applied to numbers that are very small. Indeed, one can argue that 2 + 2 = 4 is as obvious as 4/2 = 2. However, is 2 −100 100 100 /2 = 2 −100 100 100 −1 equally obvious? Similarly to machine infinity N ∞ one can speak of machine zero, a nonzero finite number N 0 satisfying N 0 /2 = N 0 (e.g. N 0 = 1/N ∞ ). In non-Diophantine projective arithemetic zero is the neutral element of addition, 0 X = f −1 X (0). No matter which bijection f X : X → R one takes, one always finds x ⊕ X 0 X = x, Such a zero can be non-zero in the ordinary Diophantine sense, so is a natural candidate for N 0 .
Let us consider a simple example. Actually, the example is so simple that it might seem it cannot produce anything interesting: X = R, f X (x) = x − , f −1 X (r) = r + . Here is an arbitrary real number, for example = N 0 .
The neutral elements of addition and multiplication are 0 X = f −1 X (0) = , 1 X = f −1 X (1) = 1 + = 1 + 0 X . Analogously, all real numbers will satisfy r X = f −1 X (r) = r +0 X . To simplify notation let us skip the index X in the bijection and in the arithmetic operations it generates, 'Minus x' is given by Let us cross-check: as required. An arbitrary real power of x reads It satisfies the usual rules and Let us apply the above formulas to a general non-Newtonian Newton-Coulomb '1/x' potential The non-Newtonian force has singularity at x = 0 X , and tends to 0 X with x → ∞. In our example both Diophantine and non-Diophantine arithmetics, and both Newtonian and non-Newtonian calculi, are defined in the same set R. All the formulas can be thus read in terms of either of them. But since the laws of physics are formulated here in a non-Diophantine/non-Newtonian way, attempts of interpreting them in the Diophantine/Newtonian formalism will lead to inconsistencies. For example, the attractive gravitational force will asymptotically achieve a constant value 0 X = and not just 0. An appropriately formulated centrifugal force on a circular orbit, as well as the linear velocity along the orbit, will also asymptotically tend to 0 X = , and not just to 0. The mismatch of the two arithmetics will have observable consequences analogous to those of a dark matter.
In the next Section we solve step by step the problem of velocity on a circular orbit around mass M . The solution is valid in any projective arithmetic. One can analogously formulate all of the standard 'Newtonian physics' by means of a non-Newtonian calculus. All the formulas will have the usual textbook form. One only will have to replace dx/dt by Dx/Dt, + by ⊕, 0 by 0 X , and so on and so forth.
What is even more important, one can analogously reformulate any theory which is based on some form of a calculus. General relativity will not be an exception from the rule. Paradoxically, if needed, one could consider mathematically non-Newtonian versions of physically non-Newtonian theories such as MOND or MOG.

VI. NON-NEWTONIAN VELOCITY ON A CIRCULAR ORBIT
Arithmetic works with dimensionless variables, so we need dimensional 'fundamental units' (denoted by the Gothic font). For example: position (x, y, z)l, velocity (ẋ,ẏ,ż)v, acceleration (ẍ,ÿ,z)a, time tt, mass mm. We do not yet specify which units are truly fundamental. Velocity perhaps satisfies v = c, but at this stage we leave it arbitrary. The arithmetic is projective in the sense of Burgin, i.e. is defined by means of some oneto-one f : X → R. We assume that arithmetics of domains and images of the maps in question are identical (which is not obvious, so this is an assumption about this concrete model). By this it is meant that, for example X t → x(t) ∈ X, soẋ(t) = Dx(t)/Dt ∈ X. Employing our previous notation we write r X = f −1 (r) ∈ X for r ∈ R. The same concerns the infinity ∞ X = f −1 (∞). Elements of X are ordered by Minus means x = 0 X x. In particular, minus infinity is ∞ X = f −1 (−∞). Recalling that an nth power of x ∈ X is denoted by x n X one should similarly denote higher derivatives by D n X x(t)/Dt n X , but I prefer the less redundant, simpler and yet unambiguous form D n x(t)/Dt n . The chain rule for derivatives of compositions of functions A, B : X → X reads [19] DA(B(t)) The non-Newtonian Hamilton equations where r = (x 2 X 1 ⊕x 2 X 2 ⊕x 2 X 3 ) (1/2) X , and all the variables are dimensionless. The non-Newtonian Hamilton equations read explicitly The analogue of the diagram (22), defines the functionsx j ,p j such that The non-Newtonian Hamilton equations can be therefore rewritten as which is the standard Newtonian problem for the intermediate quantitiesx j andp j . However, once we have found them, we still have to compute the observable quantities x j (t) and p j (t).
The circular orbit r = R X = f −1 (R) is equivalent to An orbit located at x 3 = 0 X corresponds to the circle R 2 =x 1 (f (t)) 2 +x 2 (f (t)) 2 and rotation with angular velocity ω R , sõ With R X → ∞ X (i.e. R → ∞) the dimensionless velocity tends to f −1 (0) = 0 X . The asymptotic dimensional velocity is 0 X v. This is the general solution, valid for any projective non-Diophantine arithmetic. Analogous calculations lead to the dimensionless acceleration The dimensional one is aa. It tends asymptotically to 0 X a. The non-Newtonian formalism predicts that the limiting velocity and acceleration are mass independent, unless mass influences the form of arithmetic, of course. In any case, the rate of convergence toward 0 X with growing R is mass dependent.

VII. COMPARISON WITH MOND
Formula (83) can be compared with Milgrom's MOND.
x < x f , and anything else otherwise. It is not difficult to invent a bijection f : R → R with such properties. Then Denoting for any M , M , R.
A fundamental principle behind MOND is now reduced to the one that governs the form of f −1 . For the moment the principle is unknown.

Out of nothing I have created a strange new universe
János Bolyai, from a letter to his father (1823) Immanuel Kant in his Critique of Pure Reason (1781) concluded that the concept of space is unique and given a priori . At the moment of publishing the book Gauss was four years old, while Bolyai, Lobachevski, Riemann, and Einstein were not yet born. One cannot blame Kant for his unawareness of different geometries. After Riemann but before Einstein mathematicians already knew that non-Euclidean geometries were possible. According to some accounts, Gauss even made measurements testing if angles in sufficiently large triangles indeed sum to π. Curvilinear systems of coordinates were applied to differential equations in Euclidean space much earlier, but the principle of general covariance, implicit in the works of Lamé [30], had the status of a mathematical trick used to simplify calculations. Neither did one know that non-Euclidean character of space is experienced under the name of gravity, nor that different geometries are implied by different distributions of matter.
Identical questions can be posed in the context of arithmetic. Are we still in the arithmetic Kantian era, with arithmetic given a priori ? Certainly not. After the works of Burgin, Grossman and Katz we are already in a Riemannian era, with formalism at hand but with no true applications in mind.
Moreover, most of us is unaware that we in fact do experience non-Diophantine arithmetic in our everyday life. In this respect we behave like those 19th century physicists and mathematicians who experienced gravity but searched in vain for some observable manifestations of non-Euclidean geometry of the Universe. A physical non-Diophantine arithmetic is literally hiding just before our noses: human and animal sensory systems perform a non-Diophantine subtraction, The exact form of the 'sensory scale' f is unknown, but experiment shows that a generalized subtraction is at work, making δ p independent of x (the Weber law) [31]. The so-called sensitivity function ξ p (x) is, roughly speaking, a perceived value of the input signal x, obtained in p percent of measurements. If we know δ p and f then The upper part of Fig. 2 shows typical Weber-law data for several sensory systems. The lower part illustrates qualitative predictions for various types of non-Diophantine arithmetics [33]. The plateaus are well modeled by f (x) = a ln x + b, a fact explaining why decibels correspond to a logarithmic scale. Non-Diophantine arithmetic is employed by Nature.
Returning to the Universe, it is not easy to accept a scientific paradigm that fills it with huge amounts of unobservable matter, or with pressure 10 120 times smaller than its theoretical estimate. In the non-Newtonian formalism one does not have to change a single scientific law to obtain this type of behavior. Putting it more modestly, even if the arithmetic perspective will not entirely eliminate the need for dark matter or energy, it should at least change theoretical estimates for their parameters. 'Out of nothing' we open new theoretical possibilities. The big question remains if there exists a natural law determining the form of arithmetic. The problem was partially addressed by P. Benioff [34][35][36] and, in an explicitly non-Diophantine manner, by J.-C. Falmagne [37,38]. One should also mention the bit-string formalism of H. Pierre Noyes [39], and the universal computational rewrite paradigm of P. Rowlands [40]. All these results, unfortunately, do not seem to bring us any closer to a universal form of f X , a putative driving force behind our dark Universe. Acknowledgments I am indebted to Mark Burgin, Mike Grossman, and Peter Carr for encouragement and valuable advice at various stages of this project. I am grateful to Igor Kanatchikov for suggestions how to clarify the presentation.
Appendix: Fractals as dark universes of zero Lebesgue measure This section is somewhat orthogonal to the preceding ones, so I decided to shift it to the Appendix. It shows that dark energy may be indeed a real energy that appears 'out of nowhere'. The common element of all these approaches is provided by the non-Newtonian calculus. We will illustrate the idea on one of the simplest fractals: a Cantor dust.
One can perform an analogous construction for C 0+ = [0, 1) (Fig. 3B), but in each step removing a left-closed interval, so that C 1+ = [0, 1/3) ∪ [2/3, 1), etc. The resulting set C + = ∩ ∞ n=0 C n+ is self-similar with similarity dimension d = log 3 2. 'Cantor dusts' C and C + have the same similarity dimensions. The sets are uncountable. Fig. 3B shows why C + and [0, 1) are in a one-to-one relation. Repeating the procedure in any interval [k, k +1), k = 0, ±1, ±2 . . . , we obtain a subset C R ⊂ R, which is a periodic repetition of C + ⊂ [0, 1). C R and R are related by a one-to-one map f C R : C R → R. The Lebesgue measure of a countable union of zero-measure sets is zero, so µ(C R ) = 0. Readers interested in more explicit details should consult [14][15][16] The next step is to consider a Schrödinger equation for a wave function ψ(x), R |ψ(x)| 2 dx < ∞. ψ(x) is a representative of the equivalence class |ψ [41]. It can be modified on any zero-Lebesgue-measure set, for example C R , and yet quantum mechanical measurements will not notice the difference. The fact that the resulting modified wave function may not be differentiable is not a problem. Simply, one defines a derivative |ψ of the state |ψ as the derivative dψ(x)/dx of this representative of the equivalence class which is differentiable, and then treats it as a representative of the entire equivalence class |ψ . Once dψ(x)/dx is computed one can arbitrarily modify it at x ∈ C R . Each interval is cut in the middle and split, forming two right-open intervals, three times shorter than the split one. Cn+ is the set obtained in the n-th step. After n steps the number of endpoints equals 2 n .The Cantor set is C+ = ∩ ∞ n=0 Cn+. Both Cantor sets are self-similar, with the same similarity dimension log 3 2. Clearly, the second procedure is one-to-one so it defines a bijection f+ : C+ → C0+.
Assume the modification is such that ψ(x) and all its derivatives are set to 0 for x ∈ C R . Now we can take an arbitrary φ(x) which is defined only on C R . We will treat φ as a completely independent entity, unrelated to ψ. For simplicity assume that φ(x) ∈ R, while R is equipped with the ordinary Diophanthine arithmetic. The diagram (22) then reads Here id R (x) = x is the identity map. C R is equipped with its intrinsic arithmetic, etc. The derivative is just An energy eigenvalue for a quantum system defined on C R is given by the Schrödinger equation for φ : C R → R, or equivalently The potentialŨ is defined by the diagram As we can see, we have to solve the ordinary Schrödinger equation with the potentialŨ . If spectrum is discrete the solution is normalized by The eigenvalue E comes from the zero-measure set C R . The presence of φ(x) cannot be discovered by standard quantum measurements performed for ψ(x). Still, the energy E contributes to the overall energy of the system. We can say that (93) plays a role of a dark energy eigenvalue problem. The fact that (94) is effectively the standard Schrödinger equation raises the question if a non-Newtonian modification of quantum mechanics can have less trivial observable consequences. The answer is yes, in principle. In order to understand why, let us consider the harmonic oscillator potentialŨ (r) = r 2 , and the non-Diophantine arithmetic in R defined by f (x) = x 3 , x ⊕ x = f −1 f (x) + f (x ) = 3 x 3 + x 3 , (97) x Multiplication, division, and the neutral elements are unchanged: f −1 (0) = 3 √ 0 = 0, f −1 (1) = 3 √ 1 = 1. The equation to solve is − d 2ψ (r) dr 2 + r 2ψ (r) = Eψ(r).
If E is the minimal energy thenψ(r) is the Gaussian normalized by ∞ −∞ |ψ(r)| 2 dr = 1. However, even if we assume that ψ(x) is Diophantine-arithmetic-valued, the probability of finding the particle in [a, b] is given by the non-Newtonian integral