Skolem studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function ${\mathbf {x}}$, and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz computed the order type of the fragment below $2^{2^{\mathbf {x}}}$. Here we prove that (...) the set of asymptotic classes within any Archimedean class of Skolem functions has order type $\omega $. As a consequence we obtain, for each positive integer n, an upper bound for the fragment below $2^{n^{\mathbf {x}}}$. We deduce an epsilon-zero upper bound for the fragment below $2^{{\mathbf {x}}^{\mathbf {x}}}$, improving the previous epsilon-omega bound by Levitz. A novel feature of our approach is the use of Conway’s surreal number for asymptotic calculations. (shrink)

We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions.We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution.We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn–Banach extension principle which does not hold in Colombeau theory. We establish a connection between (...) our theory with non-standard analysis and thus answer, although indirectly, a question raised by Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis. (shrink)

The small sample properties of estimators and tests are frequently too complex to be useful or are unknown. Much econometric theory is therefore developed for very large or asymptotic samples where it is assumed that the behaviour of estimators and tests will adequately represent their properties in small samples. Refined asymptotic methods adopt an intermediate position by providing improved approximations to small sample behaviour using asymptotic expansions. Dedicated to the memory of Michael Magdalinos, whose work is a (...) major contribution to this area, this book contains chapters directly concerned with refined asymptotic methods. In addition, there are chapters focusing on new asymptotic results; the exploration through simulation of the small sample behaviour of estimators and tests in panel data models; and improvements in methodology. With contributions from leading econometricians, this collection will be essential reading for researchers and graduate students concerned with the use of asymptotic methods in econometric analysis. (shrink)

The notion of emergence has received much renewed attention recently. Most of the authors I review (§ II), including most notably Robert Batterman (2002, 2003, 2004) share the common aim of providing accounts for emergence which offer fresh insights from highly articulated and nuanced views reflecting recent developments in applied physics. Moreover, the authors present such accounts to reveal what they consider as misrepresentative and oversimplified abstractions often depicted in standard philosophical accounts. With primary focus on Batterman, however, I show (...) (in § III), that despite (or perhaps because of) such novel and compelling insights; underlying thematic tensions and ambiguities persist nevertheless, due to subtle reifications made of particular (albeit central) mathematical methods employed in asymptotic analysis. I offer a potential candidate (in § IV), for regularization advanced by the theoretical physicist David Finkelstein (1996, 2002, 2004). The richly characterized multilinear algebraic theories employed by Finkelstein would, for instance, serve the two-fold purpose of clearing up much of the inevitably “epistemological emergence” accompanying divergent limiting cases treated in the standard approaches, while at the same time characterize in relatively greater detail the “ontological emergence” of particular quantum phenomena under study. Among other things, this suggests that the some of the structures suggested by Batterman as essentially involving the superseded theory are better understood as regular algebraic contraction (Finkelstein). Because of the regularization latent in such powerful multilinear algebraic methods, among other things this calls into question Batterman’s claims that explanation and reduction should be kept separate, in instances involving singular limits. (§ V). (shrink)

One method to determine the asymptotics of particular solutions of a difference equation is by solving an associated asymptotic functional equation. Here we study the behaviour of the solutions in an asymptotic neighbourhood of such individual solutions. We identify several types of attraction and repulsion, which range from almost orthogonality to almost parallelness. Necessary and sufficient conditions for these types of behaviour are given.

In his 1676 text De Quadratura Arithmetica, Leibniz distinguished infinita terminata from infinita interminata. The text also deals with the notion, originating with Desargues, of the point of intersection at infinite distance for parallel lines. We examine contrasting interpretations of these notions in the context of Leibniz’s analysis of asymptotes for logarithmic curves and hyperbolas. We point out difficulties that arise due to conflating these notions of infinity. As noted by Rodríguez Hurtado et al., a significant difference exists between (...) the Cartesian model of magnitudes and Leibniz’s search for a qualitative model for studying perspective, including ideal points at infinity. We show how respecting the distinction between these notions enables a consistent interpretation thereof. (shrink)

In this paper, a 3D jerk chaotic system with hidden attractor was explored, and the dissipativity, equilibrium, and stability of this system were investigated. The attractor types, Lyapunov exponents, and Poincare section of the system under different parameters were analyzed. Additionally, a circuit was carried out, and a good similarity between the circuit experimental results and the theoretical analysis testifies the feasibility and practicality of the original system. Furthermore, a robust feedback controller was designed based on the finite-time stability (...) theory, which guarantees the synchronization of 3D jerk master-slave system in finite time and asymptotically converges to the origin. Finally, we also give verification for the discussion in this paper by numerical simulation. (shrink)

This essay touches on a number of topics in philosophy of quantum field theory from the point of view of the LSZ asymptotic approach to scattering theory. First, particle/field duality is seen to be a property of free field theory and not of interacting QFT. Second, it is demonstrated how LSZ side-steps the implications of Haag's theorem. Finally, a recent argument due to Redhead, Malament and Arageorgis against the concept of localized particle states is addressed. Briefly, the argument observes (...) that the Reeh-Schlieder theorem entails that correlations between spacelike separated vacuum expectation values of local field operators are always present, and this, according to the above authors, dictates against the notion of a localized particle state. I claim that this moral is excessive and that a coherent notion of localized particles is given by the LSZ approach. The underlying moral to be drawn from this analysis is that questions concerning the ontology of interacting QFT cannot be appropriately addressed if one restricts oneself to the free theory. (shrink)

This paper is devoted to introduce a novel fourth-order hyperchaotic system. The hyperchaotic system is constructed by adding a linear feedback control level based on a modified Lorenz-like chaotic circuit with reduced number of amplifiers. The local dynamical entities, such as the basic dynamical behavior, the divergence, the eigenvalue, and the Lyapunov exponents of the new hyperchaotic system, are all investigated analytically and numerically. Then, an active control method is derived to achieve global chaotic synchronization of the novel hyperchaotic system (...) through making the synchronization error system asymptotically stable at the origin based on Lyapunov stability theory. Next, the proposed novel hyperchaotic system is applied to construct another new hyperchaotic system with circuit deformation and design a new hyperchaotic secure communication circuit. Furthermore, the implementation of two novel electronic circuits of the proposed hyperchaotic systems is presented, examined, and realized using physical components. A good qualitative agreement is shown between the simulations and the experimental results around 500 kHz and below 1 MHz. (shrink)

We demonstrate via several examples how the backward error viewpoint can be used in the analysis of solutions obtained by perturbation methods. We show that this viewpoint is quite general and offers several important advantages. Perhaps the most important is that backward error analysis can be used to demonstrate the validity of the solution, however obtained and by whichever method. This includes a nontrivial safeguard against slips, blunders, or bugs in the original computation. We also demonstrate its utility (...) in deciding when to truncate an asymptotic series, improving on the well-known rule of thumb indicating truncation just prior to the smallest term. We also give an example of elimination of spurious secular terms even when genuine secularity is present in the equation. We give short expositions of several well-known perturbation methods together with computer implementations. We also give a generic backward error based method that is equivalent to iteration for regular perturbation. (shrink)

Statistical procedures can be applied to episodes in the history of science in order to weight attributes to predict short-term survival of theories; an asymptotic method is used to show that short-term survival is a valid proxy for ultimate survival; and a theoretical argument is made that ultimate survival is a valid proxy for objective truth. While realists will appreciate this last step, instrumentalists do not need it to benefit from the actuarial procedures of cliometric metatheory. Introduction A plausible (...) proxy for Peircean consensus Assessing the validity of theory attributes as predictors of theory survival 3.1 Linear discriminant function 3.2 Factor analysis 3.3 Taxometric analysis Verisimilitude index Satisfying both instrumentalists and realists Recapitulation Implementation of cliometric metatheory * Correspondence about this article may be addressed to Leslie Yonce at pemeehle{at}umn.edu' + u + '@' + d + ''//--> This article had been completed by Paul Meehl at the time of his death on 14 February 2003. His wife, Leslie J. Yonce, is grateful to Keith Gunderson (University of Minnesota, Center for Philosophy of Science) and Niels G. Waller (Psychology Department, Vanderbilt University) for advice with some final editing details. (shrink)

Different disciplines have analyzed binary choices to model collective behavior in human systems. Several situations in which social dilemma arise can be modeled as N-person prisoner’s dilemma games including homeland security, public goods, international political economy among others. The purpose of this study is to develop an analytical solution to the N-person prisoner’s dilemma game when boundedly rational agents interact in a population. Previous studies in the literature consider the case in which cooperators and defectors have the same learning factors. (...) We obtain an analytical equation to find equilibria in the N-person prisoner’s dilemma game in the general case when agents have different learning factors. We also introduce a more realistic approach where probability values are bounded between zero and one and therefore eliminates the possibility of infeasible probability values. Since no analytic solution can be derived in this case, agent based simulation is used to analyze the asymptotic behavior of the resulted dynamical system. (shrink)

Motivated by the known mathematical and physical problems arising from the current mathematical formalization of the physical spatio-temporal continuum, as a substantial technical clarification of our earlier attempt (Etesi in Found Sci 25:327–340, 2020), the aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness present in the set of real numbers, a set-theoretic entropy is assigned to it using the Kullback–Leibler relative entropy of a pair of Riemannian (...) manifolds. Then exploiting the non-negativity of this relative entropy an abstract Hawking-like area theorem is derived. Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the set of real numbers in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole (proportional to the area of its “instantaneous” event horizon), indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

A nonlinear differential equation model is proposed to study the dynamics of HIV/AIDS and its effects on workforce productivity. The disease-free equilibrium point of the model is shown to be locally asymptotically stable when the associated basic reproduction number $$\mathcal{{R}}_{0}$$ is less than unity. The model is also shown to exhibit multiple endemic states for some parameter values when $$\mathcal{{R}}_{0} 1$$. Global asymptotic stability of the disease-free equilibrium is guaranteed only when the fractions of the Susceptible subclass populations are (...) within some bounds. Optimal control analysis of the model revealed that the most cost effective strategy that should be adopted in the fight against HIV/AIDS spread within the workforce is one that seeks to prevent infections and the treatment of infected individuals. (shrink)

A two strain HIV/AIDS model with treatment which allows AIDS patients with sensitive HIV-strain to undergo amelioration is presented as a system of non-linear ordinary differential equations. The disease-free equilibrium is shown to be globally asymptotically stable when the associated epidemic threshold known as the basic reproduction number for the model is less than unity. The centre manifold theory is used to show that the sensitive HIV-strain only and resistant HIV-strain only endemic equilibria are locally asymptotically stable when the associated (...) reproduction numbers are greater than unity. Qualitative analysis of the model including positivity, boundedness and persistence of solutions are presented. The model is numerically analysed to assess the effects of treatment with amelioration on the dynamics of a two strain HIV/AIDS model. Numerical simulations of the model show that the two strains co-exist whenever the reproduction numbers exceed unity. Further, treatment with amelioration may result in an increase in the total number of infective individuals (asymptomatic) but results in a decrease in the number of AIDS patients. Further, analysis of the reproduction numbers show that antiretroviral resistance increases with increase in antiretroviral use. (shrink)

This thesis is concerned with extending the underlying logical approach as well as the breadth of applications of the proof mining program to various (mostly previously untreated) areas of nonlinear analysis and optimization, with a particular focus being placed on topics which involve set-valued operators.For this, we extend the current logical methodology of proof mining by new systems and corresponding so-called logical metatheorems that cover these more involved areas of nonlinear analysis. Most of these systems crucially rely on (...) the use of intensional methods, treating sets with potentially high quantifier complexity in the defining matrix via characteristic functions and axioms that describe only their properties and do not completely characterize the elements of the sets.The applicability of all of these metatheorems is then substantiated by a range of case studies for the respective areas which in particular also highlight the naturalness of the use of intensional methods in the design of the corresponding systems.The first new area covered thereby is the theory of nonlinear semigroups induced by corresponding evolution equations for accretive operators. In that context, we present (besides an initial foray into the area from 2015) essentially the first applications of proof mining to the theory of partial differential equations. Concretely, we provide quantitative versions of four central results on the asymptotic behavior of solutions to such equations.The second new area unlocked in this thesis is that of the continuous dual of a Banach space and its norm (which are also approached via intensional methods). This in particular relies on a proof-theoretically tame treatment of suprema over (certain) bounded sets in this intensional context which is further exploited later on. These systems, which give access to this until now untreated fundamental notion from functional analysis, are then used to provide further substantial extensions to treat various notions from convex analysis like the Fréchet derivative of a convex function, Fenchel conjugates, Bregman distances, and monotone operators on Banach spaces in the sense of Browder.These systems are then utilized to provide applications in the context of Picard- and Halpern-style iterations of so-called Bregman strongly nonexpansive mappings where we provide both new quantitative and qualitative results.Lastly, we discuss the key notion of extensionality of a set-valued operator and its relation to set-theoretic maximality principles in more depth (which was already singled out—to some degree—in previous work). We thereby exhibit an issue arising with treating full extensionality in the context of these intensional approaches to set-valued operators and present useful fragments of the full extensionality statement where these issues are avoided.Corresponding to these fragments, we discuss a range of uniform continuity statements for set-valued operators beyond the usual notion involving the Hausdorff-metric. In particular, in that context, we utilize the previous tame treatment of suprema over bounded sets to also provide the first proof-theoretic treatment of that Hausdorff-metric in the context of systems for proof mining.The applicability of this treatment of the Hausdorff-metric is then in particular substantiated by a last case study where we provide quantitative information for a Mann-type iteration of set-valued mappings which are nonexpansive w.r.t. the Hausdorff-metric.The abstract was taken directly from the thesis.Abstract prepared by Nicholas Pischke, Technische Universität Darmstadt, Darmstadt, GermanyE-mail: [email protected]: https://doi.org/10.26083/tuprints-00026584. (shrink)

A double delayed hybrid stochastic prey-predator bioeconomic system with Lévy jumps is established and analyzed, where commercial harvesting on prey and environmental stochasticity on population dynamics are considered. Two discrete time delays are utilized to represent the maturation delay of prey and gestation delay of predator, respectively. For a deterministic system, positivity of solutions and uniform persistence of system are discussed. Some sufficient conditions associated with double time delays are derived to discuss asymptotic stability of interior equilibrium. For a (...) stochastic system, existence and uniqueness of a global positive solution are studied. By using the invariant measure theory and singular boundary theory of diffusion process, existence of stochastic Hopf bifurcation and stochastic stability are investigated. By constructing appropriate Lyapunov functions, asymptotic dynamic behavior of the proposed hybrid stochastic system with double time delays and Lévy jumps is discussed. Numerical simulations are provided to show consistency with theoretical analysis. (shrink)

The purpose of this paper is first to show that if X is any locally compact but not compact perfect Polish space and stands for the one-point compactification of X, while E X is the equivalence relation which is defined on the Polish group C(X,R +*) by where f, g are in C(X,R +*), then E X is induced by a turbulent Polish group action. Second we show that given any if we identify the n-dimensional unit sphere S n with (...) the one-point compactification of R n via the stereographic projection, while E n , r is the equivalence relation which is defined on the Polish group C r (R n ,R +*) by where f, g are in C r (R n ,R +*), then E n , r is also induced by a turbulent Polish group action. (shrink)

A result from a standard linear model course is that the variance of the ordinary least squares (OLS) coefficient of a variable will never decrease when including additional covariates into the regression. The variance inflation factor (VIF) measures the increase of the variance. Another result from a standard linear model or experimental design course is that including additional covariates in a linear model of the outcome on the treatment indicator will never increase the variance of the OLS coefficient of the (...) treatment at least asymptotically. This technique is called the analysis of covariance (ANCOVA), which is often used to improve the efficiency of treatment effect estimation. So we have two paradoxical results: adding covariates never decreases the variance in the first result but never increases the variance in the second result. In fact, these two results are derived under different assumptions. More precisely, the VIF result conditions on the treatment indicators but the ANCOVA result averages over them. Comparing the estimators with and without adjusting for additional covariates in a completely randomized experiment, I show that the former has smaller variance averaging over the treatment indicators, and the latter has smaller variance at the cost of a larger bias conditioning on the treatment indicators. Therefore, there is no real paradox. (shrink)

The dynamics of single populations up to ecosystems, are often described by one or a set of non-linear ordinary differential equations. In this paper we review the use of bifurcation theory to analyse these non-linear dynamical systems. Bifurcation analysis gives regimes in the parameter space with quantitatively different asymptotic dynamic behaviour of the system. In small-scale systems the underlying models for the populations and their interaction are simple Lotka-Volterra models or more elaborated models with more biological detail. The (...) latter ones are more difficult to analyse, especially when the number of populations is large. Therefore for large-scale systems the Lotka-Volterra equations are still popular despite the limited realism. Various approaches are discussed in which the different time-scale of ecological and evolutionary biological processes are considered together. (shrink)

In this work, a co-infection model for human papillomavirus and Chlamydia trachomatis with cost-effectiveness optimal control analysis is developed and analyzed. The disease-free equilibrium of the co-infection model is shown not to be globally asymptotically stable, when the associated reproduction number is less unity. It is proven that the model undergoes the phenomenon of backward bifurcation when the associated reproduction number is less than unity. It is also shown that HPV re-infection induced the phenomenon of backward bifurcation. Numerical simulations (...) of the optimal control model showed that: focusing on HPV intervention strategy alone, in the absence of C. trachomatis control, leads to a positive population level impact on the total number of individuals singly infected with C. trachomatis, Concentrating on C. trachomatis intervention controls alone, in the absence of HPV intervention strategies, a positive population level impact is observed on the total number of individuals singly infected with HPV. Moreover, the strategy that combines and implements HPV and C. trachomatis prevention controls is the most cost-effective of all the control strategies in combating the co-infections of HPV and C. trachomatis. (shrink)

Conflicts within the tsetse fly belt revealed a strong correlation between the dynamics of bovine trypanosomosis and the insurgency involving farmers and herders in Nigeria and parts of West Africa. This study examined the history, causes and influence of farmers-herdsmen conflicts on banditry, terrorism and food security as it relates to the epidemiology of African animal trypanosomosis (AAT). A combination of literature database searches, semi-structured questionnaires, and mathematical modeling was employed. The study found that transhumance contributes significantly to conflicts between (...) farmers and herdsmen. An average of 6.46 persons per attack were reported between 2005 and 2021. Only 8.4 $$\%$$ (95 $$\%$$ CI: 5.0 $$-$$ 12.9) of farmers and 18.2 $$\%$$ (95 $$\%$$ CI: 12.4 $$-$$ 25.4) of herdsmen have engaged in conflict resolution efforts. The study shows that both conflict and the spread of trypanosomosis can be effectively controlled when $$R_0 < 1$$, ensuring that the sub-population remains in the basin of attraction of the trypanosomosis-conflict-free equilibrium ( $$T_{0c}$$ ). The partial derivative of the basic reproduction number, $$R_0$$, with respect to improved conflict resolution, suggests that halting transhumance can prevent a portion of the cattle recruitment rate ( $$\Lambda_c$$ ) from becoming infected with AAT. Climate change exacerbates these issues, leading to settlement and resettlement strategies within the fly belt regions. The model indicates that the basic reproduction number can only be reduced to less than one ( $$R_0 < 1$$ ) to become globally asymptotically stable if there is effective conflict resolution involving both farmers and herders. The study advocates for the establishment of ranching in tsetse-free zones with adequate social amenities, improved marketing strategies for animals and animal products led by government agencies through public-private partnerships, the banning of open grazing, and strict enforcement of policies against violators. (shrink)

For α less than ε0 let $N\alpha$ be the number of occurrences of ω in the Cantor normal form of α. Further let $\mid n \mid$ denote the binary length of a natural number n, let $\mid n\mid_h$ denote the h-times iterated binary length of n and let inv(n) be the least h such that $\mid n\mid_h \leq 2$ . We show that for any natural number h first order Peano arithmetic, PA, does not prove the following sentence: For all (...) K there exists an M which bounds the lengths n of all strictly descending sequences $\langle \alpha_0, ..., \alpha_n\rangle$ of ordinals less than ε0 which satisfy the condition that the Norm $N\alpha_i$ of the i-th term αi is bounded by $K + \mid i \mid \cdot \mid i\mid_h$ . As a supplement to this (refined Friedman style) independence result we further show that e.g., primitive recursive arithmetic, PRA, proves that for all K there is an M which bounds the length n of any strictly descending sequence $\langle \alpha_0,..., \alpha_n\rangle$ of ordinals less than ε0 which satisfies the condition that the Norm $N\alpha_i$ of the i-th term αi is bounded by $K + \mid i \mid\cdot inv(i)$ . The proofs are based on results from proof theory and techniques from asymptotic analysis of Polya-style enumerations. Using results from Otter and from Matou $\breve$ ek and Loebl we obtain similar characterizations for finite bad sequences of finite trees in terms of Otter's tree constant 2.9557652856... (shrink)

We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for ε0. Motivated by renormalization and universality issues from statistical physics we finally state a universality hypothesis.

Chaos-related obstructions to predictability have been used to challenge accounts of theory validation based on the agreement between theoretical predictions and experimental data. These challenges are incomplete in two respects: they do not show that chaotic regimes are unpredictable in principle and, as a result, that there is something conceptually wrong with idealized expectations of correct predictions from acceptable theories, and they do not explore whether chaos-induced predictive failures of deterministic models can be remedied by stochastic modeling. In this paper (...) we appeal to an asymptotic analysis of state space trajectories and their numerical approximations to show that chaotic regimes are deterministically unpredictable even with unbounded resources. Additionally, we explain why stochastic models of chaotic systems, while predictively successful in some cases, are in general predictively as limited as deterministic ones. We conclude by suggesting that the way in which scientists deal with such principled obstructions to predictability calls for a more comprehensive approach to theory validation, on which experimental testing is augmented by a multifaceted mathematical analysis of theoretical models, capable of identifying chaos-related predictive failures as due to principled limitations which the world itself imposes on any less-than-omniscient epistemic access to some natural systems. (shrink)

Idealized scientific representations result from employing claims that we take to be false. It is not surprising, then, that idealizations are a prime example of allegedly inconsistent scientific representations. I argue that the claim that an idealization requires inconsistent beliefs is often incorrect and that it turns out that a more mathematical perspective allows us to understand how the idealization can be interpreted consistently. The main example discussed is the claim that models of ocean waves typically involve the false assumption (...) that the ocean is infinitely deep. While it is true that the variable associated with depth is often taken to infinity in the representation of ocean waves, I explain how this mathematical transformation of the original equations does not require the belief that the ocean being modeled is infinitely deep. More generally, as a mathematical representation is manipulated, some of its components are decoupled from their original physical interpretation. (shrink)

The perturbative treatment of realistic quantum field theories, such as quantum electrodynamics, requires the use of mathematical idealizations in the approximation series for scattering amplitudes. Such mathematical idealizations are necessary to derive empirically relevant models from the theory. Mathematical idealizations can be either controlled or uncontrolled, depending on whether current scientific knowledge can explain whether the effects of the idealization are negligible or not. Drawing upon negative mathematical results in asymptotic analysis (failure of Borel summability) and renormalization group (...) theory (failure of asymptotic safety), we argue that the mathematical idealizations applied in perturbative quantum electrodynamics should be understood as uncontrolled. This, in turn, leads to the problematic conclusion that such theories do not have theoretical models in the natural understanding of this term. The existence of unquestionable empirically successful theories without theoretical models has significant implications both for our understanding of the theory-model relationship in physics and the concept of empirical adequacy. (shrink)

All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models would describe maximum rationality, (...) which a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences for epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In this paper, I present an argument to this conclusion and discuss its consequences, as, for example, the vindication of the principle 'no rationality through brute-force'. (shrink)

A meta-analysis and an experiment show that the degree of compression of the in-depth dimension of visual space relative to the frontal dimension increases quickly as a function of the distance between the stimulus and the observer at first, but the rate of change slows beyond 7 m from the observer, reaching an apparent asymptote of about 50 %. In addition, the compression of visual space is greater for monocular and reduced cue conditions. The pattern of compression of the (...) in-depth dimension as a function of distance is similar to the ratio of in-depth to frontal visual angles of stimuli, but is not as extreme as this ratio would suggest, implying that observers are incapable of fully ignoring size information provided by cues to depth. Size and distance judgments may be described by an Affine transformation of physical space; however, the compression parameter in this model changes as a function of distance from the observer and other experimental conditions. (shrink)

This book presents a comprehensive overview of the sum rule approach to spectral analysis of orthogonal polynomials, which derives from Gábor Szego's classic 1915 theorem and its 1920 extension. Barry Simon emphasizes necessary and sufficient conditions, and provides mathematical background that until now has been available only in journals. Topics include background from the theory of meromorphic functions on hyperelliptic surfaces and the study of covering maps of the Riemann sphere with a finite number of slits removed. This allows (...) for the first book-length treatment of orthogonal polynomials for measures supported on a finite number of intervals on the real line. In addition to the Szego and Killip-Simon theorems for orthogonal polynomials on the unit circle and orthogonal polynomials on the real line, Simon covers Toda lattices, the moment problem, and Jacobi operators on the Bethe lattice. Recent work on applications of universality of the CD kernel to obtain detailed asymptotics on the fine structure of the zeros is also included. The book places special emphasis on OPRL, which makes it the essential companion volume to the author's earlier books on OPUC. (shrink)

This paper is concerned with the formulation and analysis of an epidemic model of COVID-19 governed by an eight-dimensional system of ordinary differential equations, by taking into account the first dose and the second dose of vaccinated individuals in the population. The developed model is analyzed and the threshold quantity known as the control reproduction number R0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {R}_{0}$$\end{document} is obtained. We investigate the equilibrium stability of the system, and the COVID-free (...) equilibrium is said to be locally asymptotically stable when the control reproduction number is less than unity, and unstable otherwise. Using the least-squares method, the model is calibrated based on the cumulative number of COVID-19 reported cases and available information about the mass vaccine administration in Malaysia between the 24th of February 2021 and February 2022. Following the model fitting and estimation of the parameter values, a global sensitivity analysis was performed by using the Partial Rank Correlation Coefficient (PRCC) to determine the most influential parameters on the threshold quantities. The result shows that the effective transmission rate (α)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\alpha )$$\end{document}, the rate of first vaccine dose (ϕ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\phi )$$\end{document}, the second dose vaccination rate (σ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\sigma )$$\end{document} and the recovery rate due to the second dose of vaccination (η)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\eta )$$\end{document} are the most influential of all the model parameters. We further investigate the impact of these parameters by performing a numerical simulation on the developed COVID-19 model. The result of the study shows that adhering to the preventive measures has a huge impact on reducing the spread of the disease in the population. Particularly, an increase in both the first and second dose vaccination rates reduces the number of infected individuals, thus reducing the disease burden in the population. (shrink)

Most studies of motifs of biological regulatory networks focus on the analysis of asymptotical behaviours, but transient properties are rarely addressed. In the line of our previous study devoted to isolated circuits 19:172–178, 2003), we consider chorded circuits, that are motifs made of an elementary positive or negative circuit with a chord, possibly a self-loop. We provide detailed descriptions of the boolean dynamics of chorded circuits versus isolated circuits, under the synchronous and asynchronous updating schemes within the logical formalism. (...) To this end, we address the description of the trajectories in the dynamics of isolated circuits with coding techniques and adapt them for chorded circuits. The use of the logical modeling gives access to mathematical tools allowing complete analytical analysis of basic yet important motifs. In particular, we show that whatever the chosen updating rule, the dynamics depends on a small number of parameters. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

Radopholus Similis or burrowing nematode, is one of the most damaging and widespread nematodes attacking bananas, causing toppling or blackhead disease. A mathematical model for the population dynamics of R. Similis is considered, with the aim of investigating the impact of climatic factors on the growth of R. Similis. In this paper, based on the life cycle of R. Similis, we first propose a mathematical model to study and control the population dynamics of this banana pest. We show also how (...) control terms based on biological and chemical controls can be integrated to reduce the population of R. Similis within banana-plantain roots. Sensitivity analysis was performed to show the most important parameters of the model. We present the theoretical analysis of the model. More precisely, we derive a threshold parameter N0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{N}}_0$$\end{document}, called the basic offspring number and show that the trivial equilibrium is globally asymptotically stable whenever N0≤1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{N}}_0\le 1$$\end{document}, while when N0>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{N}}_0> 1$$\end{document}, the non trivial equilibrium is globally asymptotically stable. After, we extend the proposed model by taking account climatic factors that influence the growth of this pest. Biological and chemical controls are now introduced through impulsive equations. Threshold and equilibria are obtained and global stabilities have been studied. The theoretical results are supported by numerical simulations. Numerical results of model with biological and chemical controls reveal that biological methods are more effective than chemical methods. We also found that the month February is the best time to apply these controls. (shrink)

To mitigate the spread of schistosomiasis, a deterministic human-bovine mathematical model of its transmission dynamics accounting for contaminated water reservoirs, including treatment of bovines and humans and mollusciciding is formulated and theoretically analyzed. The disease-free equilibrium is locally and globally asymptotically stable whenever the basic reproduction number R0<1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0<1$$\end{document}, while global stability of the endemic equilibrium is investigated by constructing a suitable Lyapunov function. To support the analytical results, parameter values from published (...) literature are used for numerical simulations and where applicable, uncertainty analysis on the non-dimensional system parameters is performed using the Latin Hypercube Sampling and Partial Rank Correlation Coefficient techniques. Sensitivity analysis to determine the relative importance of model parameters to disease transmission shows that the environment-related parameters namely, εs\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon _s$$\end{document} (snails shedding rate of cercariae), ps\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_s$$\end{document} (probability that cercariae shed by snails survive), c (fraction of the contaminated environment sprayed by molluscicides) and μc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _c$$\end{document} (mortality rate of cercariae) are the most significant to mitigate the spread of schistosomiasis. Mollusciciding, which directly impacts the contaminated environment as a single control strategy is more effective compared to treatment. However, concurrently applying mollusciciding and treatment will yield a better outcome. (shrink)

Continuity as appears to us immediately by intuition differs from its current formalization, the arithmetical continuum or equivalently the set of real numbers used in modern mathematical analysis. Motivated by the known mathematical and physical problems arising from this formalization of the continuum, our aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness of the arithmetical continuum, a formal set-theoretic entropy is assigned to the arithmetical continuum. (...) Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the arithmetical continuum in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole, indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

Gordon Belot argues that Bayesian theory is epistemologically immodest. In response, we show that the topological conditions that underpin his criticisms of asymptotic Bayesian conditioning are self-defeating. They require extreme a priori credences regarding, for example, the limiting behavior of observed relative frequencies. We offer a different explication of Bayesian modesty using a goal of consensus: rival scientific opinions should be responsive to new facts as a way to resolve their disputes. Also we address Adam Elga’s rebuttal to Belot’s (...) analysis, which focuses attention on the role that the assumption of countable additivity plays in Belot’s criticisms. (shrink)

A detailed analysis is made of Grunbaum's claim that the Abraham-Lorentz (AL) and Dirac-Lorentz (DL) equations have no bearing on causality. It is pointed out that (a) both equations are derived from F = ma, and thus should obey the same causality conditions as Newton's law, (b) independently of what boundary conditions are imposed, non-causal behavior is always along the same straight line as the force, (c) the distinction in status between laws and boundary conditions which Grunbaum imposes is (...) one which is not always useful, especially since what is a law in one formulation of the theory can become a boundary condition in another, and thus it is argued that a complete theory must be such that laws and boundary conditions form a coherent whole, (d) the asymptotic boundary conditions that are applied are in agreement with experiment, (e) the AL equation is such that if the "effect," the acceleration as function of time, is known, then the "cause," the force, can be determined. In addition, it is noted that in the DL equation the acceleration at times later than t influences the acceleration at t. Finally, it is pointed out that electrodynamics is indeed a causal field theory, and that retrocausality is due to the transition from a field description to a particle description. (shrink)

This article puts forward a novel smooth rotated hyperbola model for support vector machine (RHSSVM) for classification. As is well known, the Support vector machine (SVM) is based on Statistical Learning Theory and performs its high precision on data classification. However, the objective function is non-differentiable at the zero point. Therefore the fast algorithms cannot be used to train and test the SVM. To deal with it, the proposed method is based on the approximation property of the hyperbola to its (...) asymptotic lines. Firstly, we describe the development of RHSSVM from the basic linear SVM optimization programming. Then we extend the linear model to non-linear model. We prove the solution of RHSSVM is convergent, unique, and global optimal. We show how RHSSVM can be practically implemented. At last, the theoretical analysis illustrates that compared with other three typical models, the rotated hyperbola model has the least error on approximating the plus function. Meanwhile, computer simulations show that the RHSSVM can reduce the consuming time at most 54.6% and can efficiently handle large scale and high dimensional programming. -/- . (shrink)

Busseola fusca is a maize and sorghum pest that can cause significant damage to both crops. Given that maize is one of the main cereals grown in the worldwide, this pest is a major challenge for maize production and therefore for the economies of several countries . In this paper , based on the life cycle of B. fusca, we propose a mathematical model to study the population dynamics of this insect pest . A sensitivity analysis using the eFast (...) method was performed to show the most important parameters of the model. We present the theoretical analysis of the model. More precisely, we derive a threshold parameter 0 , called basic offspring number and show that the trivial equilibrium is globally asymptotically stable whenever 0≤1 , while if 0>1 , the non trivial equilibrium is globally asymptotically stable. The theoretical results are supported by numerical simulations. (shrink)

Van den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer , Idealization , and Standardization . We show that the range of application of these axiom schemes may be enlarged with respect to the original formulation. Not only more kinds of formulas are allowed, but also different settings. Many examples illustrate these extensions. Most concern formal aspects of (...) nonstandard asymptotics. (shrink)

Relational reasoning is a higher-order executive function that involves the ability to perceive meaningful patterns within a body of seemingly unrelated information. In this study, the ability of 749 fourth (Mage= 10), sixth (Mage= 12), eighth (Mage= 14), and tenth graders (Mage= 16) to identify meaningful relational patterns was investigated. This general cognitive ability was assessed by means of the Test of Relational Reasoning-Junior (TORRjr), a 32-item measure organized into four 8-item scales that assess analogical, anomalous, antinomous, and antithetical reasoning. (...) Students’ performance on the TORRjr was analyzed using confirmatory factor analysis, measurement invariance test, and non-parametric median-based analyses. The confirmatory factor analysis supported that the higher-order factor model was the best fit for the TORRjr data for the Korean students. The measurement was determined to be invariant by gender but variant across grade levels. The non-parametric analysis resulted in an asymptotic (a constant increasing up to grade 6 and then a level off witnessed from grades 8 to 10) development pattern in overall relational reasoning across the grades. In comparison to analogy and anomaly, antinomy and antithesis scores were more fully developed by grade 8 and that level of performance was maintained at grade 10. The TORRjr appeared to be a viable measure for the Korean samples up to approximately 15 years of age. The significance of these findings for research and instructional practice are discussed. (shrink)

Models of word meaning that exploit patterns of word usage across large text corpora to capture semantic relations, like the topic model and word2vec, condense word-by-context co-occurrence statistics to induce representations that organize words along semantically relevant dimensions (e.g., synonymy, antonymy, hyponymy, etc.). However, their reliance on latent representations leaves them vulnerable to interference, makes them slow learners, and commits to a dual-systems account of episodic and semantic memory. We show how it is possible to construct the meaning of words (...) online during retrieval to avoid these limitations. We implement a spreading activation account of word meaning in an associative net, a one-layer highly recurrent network of associations, called a Dynamic-Eigen-Net, that we developed to address the limitations of earlier variants of associative nets when scaling up to deal with unstructured input domains like natural language text. We show that spreading activation using a one-hot coded Dynamic-Eigen-Net outperforms the topic model and reaches similar levels of performance as word2vec when predicting human free associations and word similarity ratings. Latent Semantic Analysis vectors reached similar levels of performance when constructed by applying dimensionality reduction to the Shifted Positive Pointwise Mutual Information but showed poorer predictability for free associations when using an entropy-based normalization. An analysis of the rate at which the Dynamic-Eigen-Net reaches asymptotic performance shows that it learns faster than word2vec. We argue in favor of the Dynamic-Eigen-Net as a fast learner, with a single-store, that is not subject to catastrophic interference. We present it as an alternative to instance models when delegating the induction of latent relationships to process assumptions instead of assumptions about representation. (shrink)

In this paper, we put forward a time-delay ecological competition system with food restriction and diffusion terms under Neumann boundary conditions. For the case without delay, the conditions for local asymptotic stability and Turing instability are constructed. For the case with delay, the existence of Hopf bifurcation is demonstrated by analyzing the root distribution of the corresponding characteristic equations. Furthermore, by using the normal form theory and the center manifold reduction of partial functional differential equations, explicit formulas are obtained (...) to determine the direction of bifurcations and the stability of bifurcating periodic solutions. Finally, some simulation examples are provided to substantiate our analysis. (shrink)

The Loeb space construction in nonstandard analysis is applied to the theory of processes to reveal basic phenomena which cannot be treated using classical methods. An asymptotic interpretation of results established here shows that for a triangular array (or a sequence) of random variables, asymptotic uncorrelatedness or asymptotic pairwise independence is necessary and sufficient for the validity of appropriate versions of the law of large numbers. Our intrinsic characterization of almost sure pairwise independence leads to the (...) equivalence of various multiplicative properties of random variables. (shrink)

As in previous stochastic interpretations of quantum mechanics, the electron is treated as a modified Brownian particle. Here, however, the analysis is based on extensions of the short-time Ornstein-Uhlenbeck description of classical Brownian motion, rather than the approximate, long-time Einstein-Smoluchowski treatment utilized in the earlier work. It is shown that Schrödinger's equation with its proper probabilistic interpretation emerges as an asymptotic description of such a system. After reviewing relevant aspects of Brownian motion, the appropriate equation for the displacement (...) distribution in the Ornstein-Uhlenbeck framework is derived. The Brownian system is then coupled to external potentials via a modified Lagrangian formulation, resulting in coupled equations which, except for transient terms, are shown to be equivalent to Schrödinger's equation. These transients imply that the short-time stochastic model, while reproducing the early successes of quantum mechanics, is, in principal, experimentally distinguishable from it. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)