Related papers: A Leibniz/NSA comparison
We reinterpret the proof of the Riemannian Penrose inequality by H. Bray. The modified argument turns out to have a nice feature so that the flow of Riemannian metrics appearing Bray's proof gives a Lorentzian metric of a spacetime. We also…
Appealing to classical methods of order reduction, we reduce the Lifshitz system to a second order differential equation. We demonstrate its equivalence to well known gauge-invariant results. For a radiation dominated universe we express…
In this paper, using the notions of perturbation and contraction of Lie and Leibniz algebras, we show that the algebraic varieties of Leibniz and nilpotent Leibniz algebras of dimension greater than 2 are reducible.
We establish a correspondence between infinity-enhanced Leibniz algebras, recently introduced in order to encode tensor hierarchies, and differential graded Lie algebras, which have been already used in this context. We explain how any…
In this paper we offer a reconstruction of the evolution of Leibniz's thought concerning the problem of the infinite divisibility of bodies, the tension between actuality, unassignability and syncategorematicity, and the closely related…
We discuss the use of matrices for providing sequences of rationals that approximate algebraic irrationalities. In particular, we study the regular representation of algebraic extensions, proving that ratios between two entries of the…
Two models of integral theory based on the concept of a differential as a certain infinitesimal quantity are considered. One theory treats an infinitesimal quantity as a zero-tending sequence. The second is as an infinitesimal Hyper-real.
In this paper, first we construct a Lie 2-algebra associated to every Leibniz algebra via the skew-symmetrization. Furthermore, we introduce the notion of the naive representation for a Leibniz algebra in order to realize the abstract…
From the viewpoint of semi-abelian homology, some recent results on homology of Leibniz n-algebras can be explained categorically. In parallel with these results, we develop an analogous theory for Lie n-algebras. We also consider the…
By a theorem of Sacks, if a real $x$ is recursive relative to all elements of a set of positive Lebesgue measure, $x$ is recursive. This statement, and the analogous statement for non-meagerness instead of positive Lebesgue measure, have…
A stochastic iterative algorithm approximating second-order information using von Neumann series is discussed. We present convergence guarantees for strongly-convex and smooth functions. Our analysis is much simpler in contrast to a similar…
We propose a general methodology for testing whether a given polynomial with integer coefficients is identically zero. The methodology evaluates the polynomial at efficiently computable approximations of suitable irrational points. In…
The Relativistic Motion Integrator (RMI) consists in integrating numerically the EXACT relativistic equations of motion, for a given metric (corresponding to a gravitational field at first post-Newtonian order or higher), instead of…
Rational and neural network based approximations are efficient tools in modern approximation. These approaches are able to produce accurate approximations to nonsmooth and non-Lipschitz functions, including multivariate domain functions. In…
The derivatives of Nash functions are Nash functions which are derived algebraically from their minimal polynomial equations. In this paper we show that, for any non-Nash analytic function, it is impossible to derive its derivatives…
In extending results from Lie to Leibniz algebras, it is helpful to have techniques which translate results from the former to the latter without having to repeat the (perhaps modified) arguments. Such a technique is developed in this work,…
We derive new infinite series involving Fibonacci numbers and Riemann zeta numbers. The calculations are facilitated by evaluating linear combinations of polygamma functions of the same order at certain arguments.
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also…
It is common practice to compare the computational power of different models of computation. For example, the recursive functions are strictly more powerful than the primitive recursive functions, because the latter are a proper subset of…
Recently, relative Rota-Baxter (Lie/associative) algebras are extensively studied in the literature from cohomological points of view. In this paper, we consider relative Rota-Baxter Leibniz algebras (rRB Leibniz algebras) as the object of…