Foundations, Volume 5, Issue 1 (March 2025) – 10 articles

Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunction seeming to be the primary lens. Our topic is a theory showing “where adjoints come from”. The theory is based on object-to-object “chimera morphisms”, “heteromorphisms”, or “hets” between the objects of different categories (e.g., the insertion of generators as a set-to-group map). After showing that heteromorphisms can be treated rigorously using the machinery of category theory (bifunctors), we show that all adjunctions between two categories arise (up to an isomorphism) as the representations (i.e., universal models) within each category of the heteromorphisms between the two categories. The conventional treatment of adjunctions eschews the whole concept of a heteromorphism, so our purpose is to shine a new light on this notion by showing its origin as a het between categories being universally represented within each of the two categories. This heteromorphic treatment of adjunctions shows how they can be split into two separable universal constructions. Such universals can also occur without being part of an adjunction. We conclude with the idea that it is the universal constructions (adjunctions being an important special case) that are really the foundational concepts to pick out what is important in mathematics and perhaps in other sciences, not to mention in philosophy. Full article

In glass physics, order parameters have long been used in the thermodynamic description of glasses, but their nature is not yet clear. The difficulty is how to find order in disordered systems. This study provides a coherent understanding of the nature of order parameters for glasses and crystals, starting from the fundament of the definition of state variables in thermodynamics. The state variable is defined as the time-averaged value of a dynamical variable under the constraints, when equilibrium is established. It gives the same value at any time it is measured as long as the equilibrium is maintained. From this definition, it is deduced that the state variables of a solid are the time-averaged positions of all atoms constituting the solid, and the order parameters are essentially the same as state variables. Therefore, the order parameters of a glass are equilibrium atom positions. Full article

In spite of its unbroken PT symmetry, the popular imaginary cubic oscillator Hamiltonian $H^{\left(IC\right)}=p^2+\mathrm{i}{x}^3$ does not satisfy all of the necessary postulates of quantum mechanics. This failure is due to the “intrinsic exceptional point” (IEP) features of $H^{\left(IC\right)}$ and, in particular, to the phenomenon of a high-energy asymptotic parallelization of its bound-state-mimicking eigenvectors. In this paper, it is argued that the operator $H^{\left(IC\right)}$ (and the like) can only be interpreted as a manifestly unphysical, singular IEP limit of a hypothetical one-parametric family of certain standard quantum Hamiltonians. For explanation, ample use is made of perturbation theory and of multiple analogies between IEPs and conventional Kato’s exceptional points. Full article

In this paper, we consider the application of brute force computational techniques (BFCTs) for solving computational problems in mathematical analysis and matrix algebra in a floating-point computing environment. These techniques include, among others, simple matrix computations and the analysis of graphs of functions. Since BFCTs are based on matrix calculations, the program system MATLAB^® is suitable for their computer realization. The computations in this paper are completed in double precision floating-point arithmetic, obeying the 2019 IEEE Standard for binary floating-point calculations. One of the aims of this paper is to analyze cases where popular algorithms and software fail to produce correct answers, failing to alert the user. In real-time control applications, this may have catastrophic consequences with heavy material damage and human casualties. It is known, or suspected, that a number of man-made catastrophes such as the Dharhan accident (1991), Ariane 5 launch failure (1996), Boeing 737 Max tragedies (2018, 2019) and others are due to errors in the computer software and hardware. Another application of BFCTs is finding good initial guesses for known computational algorithms. Sometimes, simple and relatively fast BFCTs are useful tools in solving computational problems correctly and in real time. Among particular problems considered are the genuine addition of machine numbers, numerically stable computations, finding minimums of arrays, the minimization of functions, solving finite equations, integration and differentiation, computing condensed and canonical forms of matrices and clarifying the concepts of the least squares method in the light of the conflict remainders vs. errors. Usually, BFCTs are applied under the user’s supervision, which is not possible in the automatic implementation of computational methods. To implement BFCTs automatically is a challenging problem in the area of artificial intelligence and of mathematical artificial intelligence in particular. BFCTs allow to reveal the underlying arithmetic in the performance of computational algorithms. Last but not least, this paper has tutorial value, as computational algorithms and mathematical software are often taught without considering the properties of computational algorithms and machine arithmetic. Full article

Low-grade gliomas are a group of brain tumors that mostly affect people in early adulthood. A glioma is a tumor that originates in glial cells. They are classified into four levels according to their level of proliferation, with grades 1 and 2 called low-grade gliomas. In this research, we conduct an analysis focused on a mathematical model that emulates the behavior of low-grade gliomas with chemotherapy treatment based on a system of nonlinear differential equations. An analysis of the model is carried out in the absence of treatment, resulting in a predictive solution for the behavior of glioma if it left untreated for some reason. In turn, a stability analysis is carried out on the system of equations to find the critical points for treating glioma. In addition, the numerical results of the model are obtained, presenting the state variables at each instant. Finally, some simulations are presented, varying the moments of treatment initiation and the applied doses of Temozolomide. Full article

This study employs advanced structural characterization techniques, including anomalous small-angle X-ray scattering (ASAXS), small-angle X-ray scattering (SAXS), and X-ray photoelectron spectroscopy (XPS), to investigate erbium (Er³⁺)-doped silica-based glass-ceramic thin films synthesized via the sol–gel method. This research examines the SiO₂-TiO₂ and SiO₂-TiO₂-PO_2.5 systems, focusing on the formation, dispersion, and structural integration of Er³⁺-containing nanocrystals within the amorphous matrix under different thermal treatments. Synchrotron radiation tuned to the L_III absorption edge of erbium enabled ASAXS measurements, providing element-specific details about the localization of Er³⁺ ions. The findings confirm their migration into crystalline phases, such as erbium phosphate (EPO) and erbium titanate (ETO). SAXS and Guinier analysis quantified nanocrystal sizes, revealing trends influenced by their composition and heat treatment. Complementary XPS analysis of the Er 5p core-level states provided detailed information on the chemical and electronic environment of the Er³⁺ ions, confirming their stabilization within the crystalline structure. Transmission electron microscopy (TEM) highlighted the nanoscale morphology, verifying the aggregation of Er³⁺ ions into well-defined nanocrystals. The results offer a deeper understanding of their size, distribution, and interaction with the surrounding matrix. Full article

In fixed item parameter calibration (FIPC), an item response theory (IRT) model is estimated with item parameters fixed at reference values to estimate the distribution parameters within a specific group. The presence of random differential item functioning (DIF) within this group introduces additional variability in the distribution parameter estimates, which is captured by the linking error (LE). Conventional LE estimates, based on item jackknife methods, are subject to positive bias due to sampling errors. To address this, this article introduces a bias-corrected LE estimate. Moreover, the use of statistical inference is examined using the newly proposed bias-corrected total error, which includes both the sampling error and LE. The proposed error estimates were evaluated through a simulation study, and their application is illustrated using PISA 2006 data for the reading domain. Full article

In this study, we explore the order–disorder transition in the dynamics of a straightforward master equation that describes the evolution of a probability distribution between two states, $p_1$ and $p_2$ (with $p_1+p_2=1$). We focus on (1) the behavior of entropy S, (2) the distance D from the uniform distribution ($p_1=p_2=1/2$), and (3) the free energy F. To facilitate understanding, we introduce two price-ratios: ${\eta }_S={\displaystyle \frac{dS/dt}{dF/dt}}$ and ${\eta }_D={\displaystyle \frac{dD/dt}{dF/dt}}$. They respectively define the energetic costs of modifying (1) S and (2) D. Our findings indicate that both energy costs diverge to plus and minus infinity as the system approaches the uniform distribution, marking a critical transition point where the master equation temporarily loses its physical meaning. Following this divergence, the system stabilizes itself into a new well-behaved regime, reaching finite values that signify a new steady state. This two-regime behavior showcases the intricate dynamics of simple probabilistic systems and offers valuable insights into the relationships between entropy, distance in probability space, and free energy within the framework of statistical mechanics, making it a useful case study that highlights the underlying principles of the system’s evolution and equilibrium. Our discussion revolves about the order–disorder contrast that is important in various scientific disciplines, including physics, chemistry, and material science, and even in broader contexts like philosophy and social sciences. Full article

Stocking–Lord (SL) linking is a widely used linking method based on item response theory (IRT). This article examines the variability in SL linking parameter estimates within the two-parameter logistic (2PL) model. The uncertainty in SL linking arises from the sampling variability (standard error) and item selection (linking error), which can induce variability due to random differential item functioning (DIF). Three linking error estimation approaches are compared in this paper: the conventional jackknife linking error method, a newly developed approximate jackknife linking error method, and a Taylor approximation-based estimate. Simulation studies showed that the approximate jackknife method closely aligns with the traditional jackknife linking error method and outperforms the linking error estimation approach based on Taylor approximation. The adequacy of coverage rates for SL linking parameter estimates was also assessed using estimates of the total error. Results from a simulation study demonstrate that the bias-corrected total error provides superior coverage rates compared to both the conventional total error and the standard error, which does not account for item-related uncertainty due to random DIF. Full article

In this work, we present a new theoretical approach to interpreting and reproducing quantum mechanics using trajectory-guided wavelets. Inspired by the 1925 work of Louis de Broglie, we demonstrate that pulses composed of a difference between a delayed wave and an advanced wave (known as antisymmetric waves) are capable of following quantum trajectories predicted by the de Broglie–Bohm theory (also known as Bohmian mechanics). Our theory reproduces the main results of orthodox quantum mechanics and unlike Bohmian theory, is local in the Bell sense. We show that this is linked to the superdeterminism and past–future (anti)symmetry of our theory. Full article