A Survey of Alternative Solutions to the Congruum Problem

2025-04-18T13:15:21Z

A congruum was first defined by Leonardo Pisano in 1225 and it is defined as the common difference in an arithmetic progression of three perfect squares. Later that year in his book Liber Quadratorum, Pisano proved that congruums can never perfect squares themselves, a finding that was later revisited by Pierre de Fermat in 1670. His proof is now known as Fermat's Right Triangle Theorem. In this paper, four alternative proofs to Pisano's original proof are demonstrated and offered with each proof requiring a different scope of mathematical knowledge. The proofs are by direct Diophantine analysis, parameterization of differences, Heronian triangle construction, and infinite descent. In showing these proofs, it is demonstrated that there are alternatives to the method of decomposing perfect squares as sums of odd numbers as Pisano did in his proof in 1225.

Generalization and Alternative Proof of Two Identities Posed by Sun

2025-04-17T02:55:56Z

We study two identities involving roots of unity and determinants of Hermitian matrices which have been recently proved by using the famous eigenvector-eigenvalue identity for normal matrices. In this paper, we extend these identities to a more general form by considering the class of circulant matrices. Furthermore, we give an alternative proof of Sun's identities independent of the eigenvector-eigenvalue identity, where our strategy is built upon the similarity of an unnecessarily normal matrix to a particular matrix with integer eigenvalues, derived from the Fourier transform vectors.

Bounds of sub-triangles

2025-04-16T22:20:18Z

We show upper and lower bounds for angles in iterations of trisections of certain triangulations.

Double and single integrals of the Mittag-Leffler Function: Derivation and Evaluation

2025-04-14T20:00:43Z

One-dimensional and two-dimensional integrals containing $E_b(-u)$ and $E_{α,β}\left(δx^{γ}\right)$ are considered. $E_b(-u)$ is the Mittag-Leffler function and the integral is taken over the rectangle $0 \leq x < \infty, 0 \leq u < \infty$ and $E_{α,β}\left(δx^{γ}\right)$ is the generalized Mittag-Leffler function and the integral is over $0\leq x \leq b$ with infinite intervals explored. A representation in terms of the Hurwitz-Lerch zeta function and other special functions are derived for the double and single integrals, from which special cases can be evaluated in terms of special function and fundamental constants.

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)

2025-04-13T17:28:39Z

We propose a reinterpretation of the continuum grounded in the stratified structure of definability rather than classical cardinality. In this framework, a real number is not an abstract point on the number line, but an object expressible at some level Fn of a formal hierarchy. We introduce the notion of "fractal numbers" -- entities defined not within a fixed set-theoretic universe, but through layered expressibility across constructive systems. This reconceptualizes irrationality as a relative property, depending on definability depth, and replaces the binary dichotomy between countable and uncountable sets with a gradated spectrum of definability classes. We show that the classical Continuum Hypothesis loses its force in this context: between aleph_0 and c lies not a single cardinal jump, but a stratified sequence of definitional stages, each forming a countable yet irreducible approximation to the continuum. We argue that the real line should not be seen as a completed totality but as an evolving architecture of formal expressibility. We conclude with a discussion of rational invariants, the relativity of irrationality, and the emergence of a fractal metric for definitional density.

Efficient tensor-based approach to solving linear systems involving Kronecker sum of matrices

2025-04-13T04:06:39Z

A novel tensor-based formula for solving the linear systems involving Kronecker sum is proposed. Such systems are directly related to the matrix and tensor forms of Sylvester equation. The new tensor-based formula demonstrates the well-known fact that a Sylvester tensor equation has a unique solution if the sum of spectra of the matrices does not contain zero. We have showcased the effectiveness of the method by efficiently solving the 2D and 3D discretized Poisson equations, as well as the 2D steady-state convection-diffusion equation, on a rectangular domain with Dirichlet boundary conditions. The results suggest that this approach is well-suited for high-dimensional problems.

Exploring the Relationships Between the Divisors of Friends of $10$

2025-04-11T06:52:45Z

A solitary number is a positive integer that shares its abundancy index only with itself. $10$ is the smallest positive integer suspected to be solitary, but no proof has been established so far. In this paper, we prove that not all half of the exponents of the prime divisors of a friend of 10 are congruent to $1$ modulo $3$. Furthermore, we prove that if $F=5^{2a}\cdot Q^2$ ($Q$ is an odd positive integer coprime to $15$) is a friend of $10$, then $σ(5^{2a})+σ(Q^2)$ is congruent to $6$ modulo $8$ if and only if $a$ is even, and $σ(5^{2a}) + σ(Q^2)$ is congruent to $2$ modulo $8$ if and only if $a$ is odd. In addition, if we set $Q={\displaystyle \prod_{i=2}^{ω(F)}}p_{i}^{a_i}$ and $a=a_1$, where $p_i$ are prime numbers, then we establish that $$F>\frac{25}{81}\cdot\prod_{i=1}^{ω(F)}(2a_i + 1)^2,$$ in particular $F> 625\cdot 9^{ω(F)-3}.$

Exploring the refuge-induced bubbling phenomenon and harvesting in a three species food chain model that incorporates memory effect and odour effect

2025-04-11T06:33:43Z

In this study, an odour-mediated system is developed and studied. In an odor-mediated systems, the sense of smell or odour of species plays a critical role in the interactions between predators and prey. It is widely recognised in scientific literature that these systems are very common and essential across natural ecosystems. These systems are crucial for various behaviors, including foraging, mating, and avoiding predators. In this paper, it is assumed that the presence of prey odour aids the predator in its hunting efforts. It is assumed that both prey and intermediate predators seek refuge against their respective predators upon detecting the odour of their predators. In other words, the odour of predators assists prey species in evaluating the danger and seeking refuge for hiding. This model incorporates the prey species' harvesting as well. We also explore the impact of fading memory on the system by incorporating fractional derivatives into the model. The conditions for both the existence and local stability of the non-negative equilibria are derived. The current model system undergoes both Hopf and transcritical bifurcation when the parameter values are appropriately chosen. The dynamic behaviour of the system is showcased and thoroughly analysed using a range of diagrams, highlighting the impact of prey refuge and predator odour parameters. This paper extensively examines the long-term impacts of harvesting within the system. The extent to which prey odour influences the system is investigated, and it emerges that prey odour can play a significant function within the system. It has been observed that when individuals within the system have a strong memory, it positively affects the stability of the system. Numerical simulations are conducted in order to demonstrate and validate the usefulness of the model being considered, therefore supporting the analytical conclusions.

Derivation of some definite integrals

2025-04-10T13:32:12Z

In this work derivations of definite integrals listed in Prudnikov volume I, Gradshteyn and Ryzhik and a few other tables are produced. Special cases of these integrals in terms of fundamental constants are also evaluated. The method used in these derivations is contour integration.

The Joint Distance Measure: A Measure of Similarity Accounting for Spatial and Angular Distances

2025-04-09T06:28:36Z

Vector similarity measures play a fundamental role in various fields, including machine learning, natural language processing, information retrieval, and data mining. These measures quantify the closeness between two vectors in a high-dimensional space and are vital for tasks such as document similarity, recommendation systems, and clustering. While several vector similarity measures exist, each similarity measure is suited to specific purposes. In addition, some of these measures lack robustness to certain data types and/or probability distributions. This article presents a measure of vector similarity, known as the Joint Distance Measure (JDM). The JDM combines the Minkowski distance measure and the cosine similarity measure to establish a distance measure that captures the advantages of both measures.

Further Generalization of Ramanujan Sums with Regular A-Functions

2025-04-09T04:16:28Z

In the study of Ramanujan sums, the so-called regular $A$-function is a set-valued multiplicative function that tracks certain subsets of the divisor sets of natural numbers. McCarthy provided a generalization of the Ramanujan sum using these regular $A$-function based arithmetic convolutions. This approach has recently attracted considerable interest from several researchers. In this paper, we extend McCarthy's generalization by introducing two regular $A$-functions corresponding to both parameters in the Ramanujan sum. Fortunately, these sums exhibit several properties of the Ramanujan sums. We also generalize the greatest common divisor (GCD) function and the Von Sterneck formula. Our introduction of two regular $A$-functions into these expressions enables us to explore a novel perspective on the connection between these expressions and the order relation between the two regular $A$-functions. In particular, we establish the necessary and sufficient conditions for orthogonality and Dedekind-Hölder's identity (i.e., Ramanujan sum = Von Sterneck function) to hold. Our primary motivation for this further generalization proposed in this paper is expansions of arithmetic functions based on arbitrary regular $A$-functions. To the best of our knowledge, the expansions of arbitrary $A$-functions discussed here are new in the literature.

On generalized Lambert function

2025-04-08T18:00:27Z

We consider a particular generalized Lambert function, $y(x)$, defined by the implicit equation $y^β= 1 - e^{-xy}$, with $x>0$ and $ β> 1$. Solutions to this equation can be found in terms of a certain continued exponential. Asymptotic and structural properties of a non-trivial solution, $y_β(x)$, and its connection to the extinction probability of related branching processes are discussed. We demonstrate that this function constitutes a cumulative distribution function of a previously unknown non-negative absolutely continuous random variable.

A Two-Tier Algebraic Schema to Map ${(A^4-C^4)/(D^4-B^4)}$ onto the Natural Numbers

2025-04-06T20:49:55Z

A brief history and two formulations of the Diophantine problem's requirements are presented. One tier consisting of three two-parameter solutions is studied for its ability to provide examples for the small natural numbers considered. Nested within it is a second tier consisting of five shifted-square solutions of the form $u^2+c$, where $u,c \in Q$. All told, they provide numerical examples for all but two $a \in N[1000]$, the set of natural numbers less than or equal to $1000$. A few open questions remain. Does this scheme of solutions cover every $a \in N[1000]$? If so, might they account for all $a \in N$? Are the three $tier_1$ solutions redundant with respect to the $a's$ they provide? Do other $tier_1$ and shifted-square $tier_2$ solutions exist?

Fractal Origin of the Continuum: A Hypothesis on Process-Relative Definability

2025-04-05T13:25:37Z

We propose a new constructive model of the real continuum based on the notion of fractal definability. Rather than assuming the continuum as a completed uncountable totality, we view it as the cumulative result of a vast space of stratified formal systems, each defining a countable layer of real numbers via constructive means. The union of all such definable layers across all admissible chains yields a set of continuum cardinality, yet no single system or definability path suffices to capture it in full. This leads to the Fractal Origin Hypothesis: the apparent uncountability of the real line arises not from actual infinity, but from the meta-theoretical continuity of definability itself. Our framework models the continuum as a process-relative totality, grounded in syntax and layered formal growth. We develop this idea through a formal analysis of definability hierarchies and show that the resulting universe of constructible reals is countable-by-construction (that is, each element is definable within some finite syntactic system, but no single procedure enumerates all of them uniformly) yet inaccessible to any uniform enumeration. The continuum, in this view, is not a static set but a stratified semantic horizon.

A 2-Categorical Bridge Between Henkin Constructions and Lawvere's Fixed-Point Theorem: Unifying Completeness and Compactness

2025-04-04T04:46:46Z

We present a unified categorical framework that connects the syntactic Henkin construction for the first-order Completeness Theorem with Lawvere's Fixed-Point Theorem. Concretely, we define two canonical functors from the category of first-order theories to the category of their models, and then introduce a canonical natural transformation that links the Henkin-based term models to semantically constructed models arising from compactness or saturation arguments. We prove that every component of this natural transformation is an isomorphism, thereby establishing a strong equivalence between the syntactic and semantic perspectives. Furthermore, we show that this transformation is 2-categorically rigid: any other natural transformation in the same setting is uniquely isomorphic to it. Our framework highlights the shared diagonalization principle underlying both Henkin's and Lawvere's methods and demonstrates concrete applications in automated theorem proving, formal verification, and the design of advanced type-theoretic systems.