Search

There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational content. This paper investigates the computational relationship between three possible constructive definitions of the valuative dimension of a commutative ring. In doing so, it proves these constructive versions to be equivalent within constructive mathematics. [ABSTRACT FROM AUTHOR]

In this paper, we study a discrete momentum consensus-based optimization (Momentum-CBO) algorithm which corresponds to a second-order generalization of the discrete first-order CBO [S.-Y. Ha, S. Jin and D. Kim, Convergence of a first-order consensus-based global optimization algorithm, Math. Models Methods Appl. Sci. 30 (2020) 2417–2444]. The proposed algorithm can be understood as the modification of ADAM-CBO, replacing the normalization term by unity. For the proposed Momentum-CBO, we provide a sufficient framework which guarantees the convergence of algorithm toward a global minimum of the objective function. Moreover, we present several experimental results showing that Momentum-CBO has an improved success rate of finding the global minimum compared to vanilla-CBO and show the stability of Momentum-CBO under different initialization schemes. We also show that Momentum-CBO can be used as the alternative of ADAM-CBO which does not have a proper convergence analysis. Finally, we give an application of Momentum-CBO for Lyapunov function approximation using symbolic regression techniques. [ABSTRACT FROM AUTHOR]

In the 1610s and 1620s, a new computational technology took hold in England: printed mathematical tables for compound interest and discounting ("present value") problems. Historians of finance and accounting have long recognized these paper tools as predecessors of essential modern techniques like "discounted cash flow." Yet the history of these tables remains hazy. What did early seventeenth-century users do with them? Who used them? Why did they appear when they did? This article turns to one obscure but influential text—Ambrose Acroyd's Tables of Leasses and Interest (1628)—as a guide to these questions. Two key facts emerge. First, despite the prominence of similar calculations in financial applications today, these early tables were not confined to England's nascent financial sector. Rather, their foremost use related to agricultural property, specifically in assessing certain payments ("fines") landlords charged tenants for farm leases. Second, among the leading "early adopters" were institutions of the Church of England. Amidst the inflation of the early modern "price revolution," bishops, cathedrals, and colleges confronted a complex of economic, political, and social pressures. Mathematical tables like Acroyd's emerged out of long-running conflicts between church landlords and tenants over how to determine just and reasonable fines on church lands. Discounting tables were thus not tools of instrumental rationality evincing a new capitalist mentality, but tools of social accommodation and products of the era's "economy of obligation." This early modern tale offers a vivid example of how and why one community turned to a mathematical algorithm to resolve conflicts about fairness. [ABSTRACT FROM AUTHOR]

[M. Ma, The connectivity of exchanged hypercubes, Discrete Math., Algorithms Appl. 2(2) (2010) 213–220.] proved that the vertex connectivity and the edge connectivity of the exchanged hypercube are each equal to the minimum degree of the graph. This paper presents a proof of that result, which is substantially simpler and more intuitive. [ABSTRACT FROM AUTHOR]