Logarithmic ambiguities in the choice of asymptotically Cartesian coordinates at spatial infinity are discussed. It is shown that they do not affect the definitions of energy-momentum and angular momentum at i°. Thus, from a physical viewpoint, the ambiguities are “pure gauge.” A prescription is given for fixed this gauge freedom for the class of space-times in which the leading-order part of the Weyl tensor satisfies a certain reflection symmetry. This class admits, in all (relatively boosted) rest frames at (...) infinity, a one-parameter family of asymptotically distinct 3-surfaces (generalized 3-planes) on which the trace of the extrinsic curvature falls off faster than usual. (shrink)

Des branches entières des mathématiques sont fondées sur des liens posés entre les nombres et l’espace : mesure de longueurs, définition de repères et de coordonnées, projection des nombres complexes sur le plan… Si les nombres complexes, comme l’utilisation de repères, sont apparus relativement récemment (vers le XVIIe siècle), la mesure des longueurs est en revanche un procédé très ancien, qui remonte au moins au 3e ou 4e millénaire av. J-C. Loin d’être fortuits, ces liens entre les nombres et l’espace (...) reflèteraient une intuition fondamentale, universelle, façonnée au cours des millénaires par la sélection naturelle, et qui aurait servi de guide et d’inspiration aux mathématiciens au fil des siècles. (shrink)

We introduce a restricted second-order logic $\textrm{SO}^{\textit{plog}}$ for finite structures where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. We demonstrate the relevance of this logic and complexity class by several problems in database theory. We then prove a Fagin’s style theorem showing that the Boolean queries which can be expressed in the existential fragment of $\textrm{SO}^{\textit{plog}}$ correspond exactly to the class of decision problems that can be computed by a non-deterministic (...) Turing machine with random access to the input in time $O^k)$ for some $k \ge 0$, i.e. to the class of problems computable in non-deterministic poly-logarithmic time. It should be noted that unlike Fagin’s theorem which proves that the existential fragment of second-order logic captures NP over arbitrary finite structures, our result only holds over ordered finite structures, since $\textrm{SO}^{\textit{plog}}$ is too weak as to define a total order of the domain. Nevertheless, $\textrm{SO}^{\textit{plog}}$ provides natural levels of expressibility within poly-logarithmic space in a way which is closely related to how second-order logic provides natural levels of expressibility within polynomial space. Indeed, we show an exact correspondence between the quantifier prefix classes of $\textrm{SO}^{\textit{plog}}$ and the levels of the non-deterministic poly-logarithmic time hierarchy, analogous to the correspondence between the quantifier prefix classes of second-order logic and the polynomial-time hierarchy. Our work closely relates to the constant depth quasipolynomial size AND/OR circuits and corresponding restricted second-order logic defined by David A. Mix Barrington in 1992. We explore this relationship in detail. (shrink)

An extended scale relativity theory, actively developed by one of the authors, incorporates Nottale's scale relativity principle where the Planck scale is the minimum impassible invariant scale in Nature, and the use of polyvector-valued coordinates in C-spaces (Clifford manifolds) where all lengths, areas, volumes⋅ are treated on equal footing. We study the generalization of the ordinary point-particle quantum mechanical oscillator to the p-loop (a closed p-brane) case in C-spaces. Its solution exhibits some novel features: an emergence of two explicit scales (...) delineating the asymptotic regimes (Planck scale region and a smooth region of a quantum point oscillator). In the most interesting Planck scale regime, the solution recovers in an elementary fashion some basic relations of string theory (including string tension quantization and string uncertainty relation). It is shown that the degeneracy of the first collective excited state of the p-loop oscillator yields not only the well-known Bekenstein–Hawking area-entropy linear relation but also the logarithmic corrections therein. In addition we obtain for any number of dimensions the Hawking temperature, the Schwarschild radius, and the inequalities governing the area of a black hole formed in a fusion of two black holes. One of the interesting results is a demonstration that the evaporation of a black hole is limited by the upper bound on its temperature, the Planck temperature. (shrink)

We here examine the expressive power of first order logic with generalized quantifiers over finite ordered structures. In particular, we address the following problem: Given a family Q of generalized quantifiers expressing a complexity class C, what is the expressive power of first order logic FO(Q) extended by the quantifiers in Q? From previously studied examples, one would expect that FO(Q) captures L C , i.e., logarithmic space relativized to an oracle in C. We show that this is (...) not always true. However, after studying the problem from a general point of view, we derive sufficient conditions on C such that FO(Q) captures L C . These conditions are fulfilled by a large number of relevant complexity classes, in particular, for example, by NP. As an application of this result, it follows that first order logic extended by Henkin quantifiers captures L NP . This answers a question raised by Blass and Gurevich [Ann. Pure Appl. Logic, vol. 32, 1986]. Furthermore we show that for many families Q of generalized quantifiers (including the family of Henkin quantifiers), each FO(Q)-formula can be replaced by an equivalent FO(Q)-formula with only two occurrences of generalized quantifiers. This generalizes and extends an earlier normal-form result by I. A. Stewart [Fundamenta Inform. vol. 18, 1993]. (shrink)

I discuss a model inspired from the string/brane framework, in which our Universe is represented (after perhaps appropriate compactification) as a three brane, propagating in a bulk space time punctured by D0-brane (D-particle) defects. As the D3-brane world moves in the bulk, the D-particles cross it, and from an effective observer on D3 the situation looks like a “space-time foam” with the defects “flashing” on and off (“D-particle foam”). The open strings, with their ends attached on the brane, (...) which represent matter in this scenario, can interact with the D-particles on the D3-brane universe in a topologically non-trivial manner, involving splitting and capture of the strings by the D0-brane defects. Such processes are consistently described by logarithmic conformal field theories on the world-sheet of the strings. Physically, they result in effective decoherence of the string matter on the D3 brane, and as a result, of CPT Violation, but of a type that implies an ill-defined nature of the effective CPT operator. Due to electric charge conservation, only electrically neutral (string) matter can exhibit such interactions with the D-particle foam. This may have unique, experimentally detectable (in principle), consequences for electrically-neutral entangled quantum matter states on the brane world, in particular the modification of the pertinent Einstein-Podolsky-Rosen (EPR) Correlation in neutral mesons in an appropriate meson factory. For the simplest scenarios, the order of magnitude of such effects might lie within the sensitivity of upgraded φ-meson factories. (shrink)

We study the computational complexity of the model checking problem for quantifier-free dependence logic ${(\mathcal{D})}$ formulas. We characterize three thresholds in the complexity: logarithmic space (LOGSPACE), non-deterministic logarithmic space (NL) and non-deterministic polynomial time (NP).

This paper is concerned with the combinator representation of numeral systems with logarithmic space complexity of symbols. The principle used is based on the lexicographic ordering of words over a finite alphabet.

We design functional algebras that characterize various complexity classes of global functions. For this purpose, classical schemata from recursion theory are tailored for capturing complexity. In particular we present a functional analog of first-order logic and describe algebras of the functions computable in nondeterministic logarithmic space, deterministic and nondeterministic polynomial time, and for the functions computable by AC 1 -circuits.

We agree with Nuñez that the Mundurucu do not master the formal propreties of number lines and logarithms, but as the term "intuition" implies, they spontaneously experience a logarithmic mapping of number to space as natural and "feeling right.".

In this paper we consider the major development of mathematical analysis during the mid-nineteenth century. On the basis of Jahnke’s (Hist Math 20(3):265–284, 1993 ) distinction between considering mathematics as an empirical science based on time and space and considering mathematics as a purely conceptual science we discuss the Swedish nineteenth century mathematician E.G. Björling’s general view of real- and complexvalued functions. We argue that Björling had a tendency to sometimes consider mathematical objects in a naturalistic way. One example (...) is how Björling interprets Cauchy’s definition of the logarithm function with respect to complex variables, which is investigated in the paper. Furthermore, in view of an article written by Björling (Kongl Vetens Akad Förh Stockholm 166–228, 1852 ) we consider Cauchy’s theorem on power series expansions of complex valued functions. We investigate Björling’s, Cauchy’s and the Belgian mathematician Lamarle’s different conditions for expanding a complex function of a complex variable in a power series. We argue that one reason why Cauchy’s theorem was controversial could be the ambiguities of fundamental concepts in analysis that existed during the mid-nineteenth century. This problem is demonstrated with examples from Björling, Cauchy and Lamarle. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic (...) numbers and logarithmic mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

The performance of the Mundurucu on the number-space task may exemplify a general competence for drawing analogies between space and other linear dimensions, but Mundurucu participants spontaneously chose number when other dimensions were available. Response placement may not reflect the subjective scale for numbers, but Cantlon et al.'s proposal of a linear scale with scalar variability requires additional hypotheses that are problematic.

Despite their importance in public discourse, numbers in the range of 1 million to 1 trillion are notoriously difficult to understand. We examine magnitude estimation by adult Americans when placing large numbers on a number line and when qualitatively evaluating descriptions of imaginary geopolitical scenarios. Prior theoretical conceptions predict a log-to-linear shift: People will either place numbers linearly or will place numbers according to a compressive logarithmic or power-shaped function (Barth & Paladino, ; Siegler & Opfer, ). While about (...) half of people did estimate numbers linearly over this range, nearly all the remaining participants placed 1 million approximately halfway between 1 thousand and 1 billion, but placed numbers linearly across each half, as though they believed that the number words “thousand, million, billion, trillion” constitute a uniformly spaced count list. Participants in this group also tended to be optimistic in evaluations of largely ineffective political strategies, relative to linear number-line placers. The results indicate that the surface structure of number words can heavily influence processes for dealing with numbers in this range, and it can amplify the possibility that analogous surface regularities are partially responsible for parallel phenomena in children. In addition, these results have direct implications for lawmakers and scientists hoping to communicate effectively with the public. (shrink)

This paper introduces a possible alternative model of gravity based on the theory of fractional-dimension spaces and its applications to Newtonian gravity. In particular, Gauss’s law for gravity as well as other fundamental classical laws are extended to a D-dimensional metric space, where D can be a non-integer dimension. We show a possible connection between this Newtonian Fractional-Dimension Gravity (NFDG) and Modified Newtonian Dynamics (MOND), a leading alternative gravity model which accounts for the observed properties of galaxies and other (...) astrophysical structures without requiring the dark matter hypothesis. The MOND acceleration constant $${a_{0}} \simeq 1.2 \times 10^{-10} \text {m}\, \text{s}^{-2}$$ can be related to a natural scale length $$l_{0}$$ in NFDG, i.e., $$a_{0} \approx GM/l_{0}^{2}$$, for astrophysical structures of mass M, and the deep-MOND regime is present in regions of space where the dimension is reduced to $$D \approx 2$$. For several fundamental spherically-symmetric structures, we compare MOND results, such as the empirical Radial Acceleration Relation (RAR), circular speed plots, and logarithmic plots of the observed radial acceleration $$g_{obs}$$ vs. the baryonic radial acceleration $$g_{bar}$$, with NFDG results. We show that our model is capable of reproducing these results using a variable local dimension $$D\left( w\right)$$, where $$w =r/l_{0}$$ is a dimensionless radial coordinate. At the moment, we are unable to derive explicitly this dimension function $$D\left( w\right)$$ from first principles, but it can be obtained empirically in each case from the general RAR. Additional work on the subject, including studies of axially-symmetric structures, detailed galactic rotation curves fitting, and a possible relativistic extension, will be needed to establish NFDG as a viable alternative model of gravity. (shrink)

Four experiments investigated the extent to which abstract quantitative information can be conveyed by basic visual features. This was done by asking observers to estimate and discriminate Pearson correlation in graphical representations where the first data dimension of each element was encoded by its horizontal position, and the second by the value of one of its visual features; perceiving correlation then requires combining the information in the two encodings via a common abstract representation. Four visual features were examined: luminance, color, (...) orientation, and size. All were able to support the perception of correlation. Indeed, despite the strikingly different appearances of the associated stimuli, all gave rise to performance that was much the same: just noticeable difference was a linear function of distance from complete correlation, and estimated correlation a logarithmic function of this distance. Performance differed only in regards to the level of noise in the feature, with these values compatible with estimates of channel capacity encountered in classic experiments on absolute perceptual magnitudes. These results suggest that quantitative information can be conveyed by visual features that are abstracted at relatively low levels of visual processing, with little representation of the original sensory property. It is proposed that this is achieved via an abstract parameter space in which the values in each perceptual dimension are normalized to have the same means and variances, with perceived correlation based on the shape of the joint probability density function of the resultant elements. (shrink)

A revived figure of teenage Albert Einstein is confronted at the threshold of the second millennium with a problem of a graphical likeness of the Lambert W function-based cosmological equations to a logarithmic-exponential discontinuous function that he has just plotted. To puzzle the issue out his mind is put onto an imaginary mathematical-philosophical-physical trail ride around the Universe. Euler’s identity that he invited to ride pillion on his Pegasus of Imagination spanks the cavalier’s horse to carry him on wings (...) of Leibniz’ zero-nothingness unity-infiniteness array towards a non-Euclidean landscape of novel cosmological equations – which describe behaviour of principal cosmological parameters as an exclusive function of the scale factor. Zero, unity, p, and Euler’s number become in the rider’s eyes a quaternion of linesmen – and the imaginary unit the one who as a chief referee opens and controls on the space-time playground a collective mass-energy game. And while the young cavalier observes from a horseback of his mount that within the playground expansion the cosmic match is running into the order of timelessness and spacelessness the Universe with all of its ever existing forms and events, thoughts and memories, unveils to him its all-encompassing face of eternity and immortality attributable to God. (shrink)

The number-line estimation task has become one of the most important methods in numerical cognition research. Originally applied as a direct measure of spatial number representation, it became also informative regarding various other aspects of number processing and associated strategies. However, most of this work and associated conclusions concerns processing numbers in a symbolic format, by school children and older subjects. Symbolic number system is formally taught and trained at school, and its basic mathematical properties can easily be transferred into (...) a spatial format of an oriented number line. This triggers the question on basic characteristics of number line estimation before children get fully familiar with the symbolic number system, i.e., when they mostly rely on approximate system for non-symbolic quantities. In our three studies, we examine therefore how preschool children estimate position of non-symbolic quantities on a line, and how this estimation is related to the developing symbolic number knowledge and cultural directionality. The children were tested with the Give-a-number task, then they performed a computerized number-line task. In Experiment 1, lines bounded with sets of 1 and 20 elements going left-to-right or right-to-left were used. Even in the least numerically competent group, the linear model better fit the estimates than the logarithmic or cyclic power models. The line direction was irrelevant. In Experiment 2, a 1–9 left-to-right oriented line was used. Advantage of linear model was found at group level, and variance of estimates correlated with tested numerosities. In Experiment 3, a position-to-number procedure again revealed the advantage of the linear model, although the strategy of selecting an option more similar to the closer end of the line was prevalent. The precision of estimation increased with the mastery of counting principles in all three experiments. These results contradict the hypothesis of the log-to-linear shift in development of basic numerical representation, rather supporting the linear model with scalar variance. However, the important question remains whether the number-line task captures the nature of the basic numerical representation, or rather the strategies of mapping that representation to an external space. (shrink)

Memory for numbers improves with age. One source of this improvement may be learning linear spatial-numeric associations, but previous evidence for this hypothesis likely confounded memory span with quality of numerical magnitude representations and failed to distinguish spatial-numeric mappings from other numeric abilities, such as counting or number word-cardinality mapping. To obviate the influence of memory span on numerical memory, we examined 39 3- to 5-year-olds’ ability to recall one spontaneously produced number (1-20) after a delay, and the relation between (...) numeric recall (controlling for non-numeric recall) and quality of mapping between symbolic and non-symbolic quantities using number-line estimation, give-a-number estimation, and counting tasks. Consistent with previous reports, mapping of numerals to space, to discrete quantities, and to numbers in memory displayed a logarithmic-to-linear shift. Also, linearity of spatial-numeric mapping correlated strongly with multiple measures of numeric recall (percent correct and percent absolute error), even when controlling for age and non-numeric memory. Results suggest that linear spatial-numeric mappings may aid memory for number over and above children’s other numeric skills. (shrink)

This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the iterative Picard—Vessiot theory recently developed by Matzat and van der Put. We use the methods and framework provided by the model theory of iterative differential fields. We offer a definition of strongly normal extension of iterative differential fields, and then prove that these extensions have good Galois theory and that a G-primitive element theorem holds. In addition, making (...) use of the basic theory of arc spaces of algebraic groups, we define iterative logarithmic equations, finally proving that our strongly normal extensions are Galois extensions for these equations. (shrink)

The main topics of this second part of a two-part essay are some consequences of the phenomenon of vacuum polarization as the most important physical manifestation of modular localization. Besides philosophically unexpected consequences, it has led to a new constructive “outside-inwards approach” in which the pointlike fields and the compactly localized operator algebras which they generate only appear from intersecting much simpler algebras localized in noncompact wedge regions whose generators have extremely mild almost free field behavior. -/- Another consequence of (...) vacuum polarization presented in this essay is the localization entropy near a causal horizon which follows a logarithmically modified area law in which a dimensionless area (the area divided by the square of dR where dR is the thickness of a light-sheet) appears. There are arguments that this logarithmically modified area law corresponds to the volume law of the standard heat bath thermal behavior. We also explain the symmetry enhancing effect of holographic projections onto the causal horizon of a region and show that the resulting infinite dimensional symmetry groups contain the Bondi–Metzner–Sachs group. This essay is the second part of a partitioned longer paper. (shrink)

We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that generalizes the (...) Hertz potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We (...) define composition of LE-series and establish its basic properties, including the existence of compositional inverses. Various interesting subfields of the field of LE-series are also considered. (shrink)

In practice, scoring rules elicit good probability estimates from individuals, while betting markets elicit good consensus estimates from groups. Market scoring rules combine these features, eliciting estimates from individuals or groups, with groups costing no more than individuals. Regarding a bet on one event given another event, only logarithmic versions preserve the probability of the given event. Logarithmic versions also preserve the conditional probabilities of other events, and so preserve conditional independence relations. Given logarithmic rules that elicit (...) relative probabilities of base event pairs, it costs no more to elicit estimates on all combinations of these base events. (shrink)

We present a general family of asymptotic solutions to Einstein's equation which are asymptotically flat but do not satisfy the peeling theorem. Near scri, the Weyl tensor obeys a logarithmic asymptotic flatness condition and has a partial peeling property. The physical significance of this asymptotic behavior arises from a quasi-Newtonian treatment of the radiation from a collapsing dust cloud. Practically all the scri formalism carries over intact to this new version of asymptotic flatness.

Shuford, Albert and Massengill proved, a half century ago, that the logarithmic scoring rule is the only proper measure of inaccuracy determined by a differentiable function of probability assigned the actual cell of a scored partition. In spite of this, the log rule has gained less traction in applied disciplines and among formal epistemologists that one might expect. In this paper we show that the differentiability criterion in the Shuford et. al. result is unnecessary and use the resulting simplified (...) characterization of the logarithmic rule to give novel arguments in favor of it. (shrink)

In practice, scoring rules elicit good probability estimates from individuals, while betting markets elicit good consensus estimates from groups. Market scoring rules combine these features, eliciting estimates from individuals or groups, with groups costing no more than individuals. Regarding a bet on one event given another event, only logarithmic versions preserve the probability of the given event. Logarithmic versions also preserve the conditional probabilities of other events, and so preserve conditional independence relations. Given logarithmic rules that elicit (...) relative probabilities of base event pairs, it costs no more to elicit estimates on all combinations of these base events. (shrink)

Probability distributions play an essential role in modeling and predicting biomedical datasets. To have the best description and accurate prediction of the biomedical datasets, numerous probability distributions have been introduced and implemented. We investigate a novel family of lifetime probability distributions to represent biological datasets in this paper. The proposed family is called a new flexible logarithmic- X family. The suggested NFLog- X family is obtained by applying the T- X method together with the exponential model having the PDF (...) m t = e − t. Based on the NFLog- X approach, a three parameters probability distribution, namely, a new flexible logarithmic-Weibull distribution is introduced. The method of maximum likelihood estimation is adopted for estimating the parameters of the NFLog- X family. In the end, we examine three different biological datasets in order to give a thorough numerical research that illustrates the NFLog-Wei distribution. Comparisons are made between the analytical goodness-of-fit metrics of the suggested distribution. We made comparison with the alpha power transformed Weibull, exponentiated Weibull, Weibull, flexible reduced logarithmic-Weibull, and Marshall–Olkin Weibull distributions. After performing the analyses, we observe that the proposed method outclassed other competitive distributions. (shrink)

Summary In 1670, the Bolognese mathematician Pietro Mengoli published his Speculationi di musica, a highly original work attempting to found the mathematical study of music on the anatomy of the ear. His anatomy was idiosyncratic and his mathematics extraordinarily complex, and he proposed a unique double mechanism of hearing. He analysed in detail the supposed behaviour of the subtle part of the air inside the ear, and the patterns of strokes made on the eardrum by simultaneous sounds. Most strikingly, he (...) divided the musical octave into a continuous set of regions which he colour-coded to show their effects on a listener. His work did not find its way into the mainstream of seventeenth-century mathematical studies of music, but when examined in its context it has the potential to shed light on that discipline, as well as being of considerable interest in its own right. Here, I focus on the anatomical and mathematical basis of Mengoli's work. (shrink)

We explain how the field of logarithmic-exponential series constructed in 20 and 21 embeds as an exponential field in any field of exponential-logarithmic series constructed in 9, 6, and 13. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Thequation image; the elementary theory of the ordered field of (...) real numbers, with the exponential function and restricted analytic functions. (shrink)

In sprint track events, the starting reaction time is an important professional capacity of the athletes, and it is closely related to their performance. This study examines the reaction time and the results of the male and female sprinters participating in the World Athletics Championships from 2011 to 2019 in the 100 m, 200 m, 100 m, and 110 m hurdles. The researchers used least squares estimation, multivariate analysis of variance, and other methods and theories to construct a double (...) class='Hi'>logarithmic model and a multivariate analysis of a variance model. The researchers used Econometrics Views and SPSS software programs to analyze the correlation between the performance and the starting reaction time, as well as the patterns in the changes of the reaction time of athletes of both genders in different types of and rounds in the competitions. Research results show that there is a direct correlation between the reaction time and the performance, and the degrees of correlation vary depending on the gender of the athlete, year of competition, type of competition, and round of competition. There is a correlation between the foul types and the type of competition, but there is no correlation between foul types and the gender of the athlete. The research results are science-based and are of practical value and thus can be used as a reference by coaches in sprint running to offer more professional guidance to the athletes. (shrink)

Weber-Fechner Law states that the perceived intensity is proportional to the logarithm of the stimulus. Recent experiments suggest that this law also holds true for perception of numerosity. Therefore, the use of a logarithmic scale for the quantification of the perceived intensity may also depend on how the cognitive apparatus processes information. If Weber-Fechner law is the result of natural selection, then the logarithmic scale should be better, in some sense, than other biologically feasible scales. We consider the (...) minimization of the relative error as the target of natural selection and we provide a formal proof that the logarithmic scale minimizes the maximal relative error. (shrink)

In [F.-V. Kuhlmann, S. Kuhlmann, S. Shelah, Exponentiation in power series fields, Proc. Amer. Math. Soc. 125 3177–3183] it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural definition of an exponential, which makes these fields into models of real exponentiation. The method allows us to construct for every κ regular uncountable cardinal, 2κ pairwise non-isomorphic (...) models of real exponentiation , but all isomorphic as ordered fields. Indeed, the 2κ exponentials constructed have pairwise distinct growth rates. This method relies on constructing lexicographic chains with many automorphisms. (shrink)

Local proper scoring rules provide convenient tools for measuring subjective probabilities. Savage, 783–801, 1971) has shown that the only local proper scoring rule for more than two exclusive events is the logarithmic family. We generalize Savage by relaxing the properness and the domain, and provide simpler proof.

The derivation on the differential-valued field Tlogof logarithmic transseries induces on its value group${{\rm{\Gamma }}_{{\rm{log}}}}$a certain mapψ. The structure${\rm{\Gamma }} = \left$is a divisible asymptotic couple. In [7] we began a study of the first-order theory of$\left$where, among other things, we proved that the theory$T_{{\rm{log}}} = Th\left$has a universal axiomatization, is model complete and admits elimination of quantifiers in a natural first-order language. In that paper we posed the question whetherTloghas NIP. In this paper, we answer that question in (...) the affirmative:Tlogdoes have NIP. Our method of proof relies on a complete survey of the 1-types ofTlog, which, in the presence of QE, is equivalent to a characterization of all simple extensions${\rm{\Gamma }}\left\langle \alpha \right\rangle$of${\rm{\Gamma }}$. We also show thatTlogdoes not have the Steinitz exchange property and we weigh in on the relationship between models ofTlogand the so-calledprecontraction groupsof [9]. (shrink)