Categorial Geometry and Algebraic Topology

2026-03-22T21:54:02Z

In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all categories, cannot be defined by using well-know Grothendeick's approach with discrete ringed spaces. So, we can consider any category $\textbf{C}$ as an abstract geometric object, that is, a discrete space where the points are the objects of this category and arrows between objects as the oriented paths. Based on this approach, we define the Cat-arrows space $V$ valid for all categories with commutative (and associative) partial addition operation $\oplus$ for the vectors, and their inner product. For the categories where we define the norm ("length") of the vectors in $V$ we can define also the outer (wedge) product of the vectors in $V$ and we show that such Cat-algebra satisfies two fundamental properties of the Clifford geometric algebra.

Derivative Type Mapping Theorem for the Interpolative Berinde Weak Contraction in Metric Spaces with Application

2026-03-22T15:43:01Z

Olatinwo [3] introduced contractive definitions of the derivative type, and gave a new characterization of the Banach contraction principle, and fixed point theorems for contractions defined implicitly. On the other hand Ampadu et.al [4] introduced derivative type contractions in the setting of multiplicative metric spaces. In this paper, we have obtained a fixed point theorem of the derivative type for interpolative Berinde weak contractive mappings [2] in the setting of metric spaces. An examples is given to illustrate the main result of the paper. Finally, we apply our result to the Fredholm integral equation

The Partition Graph as a Growing Discrete Geometric Object

2026-03-22T13:26:14Z

For each positive integer $n$, let $G_n$ be the graph of integer partitions of $n$, where two partitions are adjacent if one is obtained from the other by an elementary transfer of a cell in the Ferrers diagram, followed by reordering. Previous work has studied the global homotopy type of the clique complex $Cl(G_n)$ and the local combinatorics of $G_n$ at a fixed vertex. This paper initiates the study of $G_n$ itself as a growing discrete geometric object. It introduces a structural language for the large-scale morphology of partition graphs, centered on the antenna vertices, main chain, boundary framework, self-conjugate axis, simplex layers, degree landscape, central region, and spine. Using local invariants from the companion local theory, it also defines canonical vertex layerings of $G_n$. A small computational atlas for $1 \le n \le 12$ is included to illustrate how these structures emerge and interact. The paper is intended as a foundational and exploratory contribution, providing a vocabulary, a first structural picture, and a set of open directions for future quantitative and asymptotic work.

Betweenness relations and Fuzzy betweenness relations in fuzzy metric spaces

2026-03-21T05:58:37Z

In this paper, we mainly discuss the constructions and the characteristics of betweenness relations and fuzzy betweenness relations in KM-fuzzy metric spaces. And the family of betweenness relations induced by a KM-fuzzy metric form a nest of betweenness relations.The main focus of this paper is to introduce two different construction methods for fuzzy betweenness relations induced by a KM-fuzzy metric.One of them is directly obtained by using the implication operator. The other is through the corresponding nest of metrics of KM-fuzzy metrics. Furthermore, we also show that the two types of fuzzy betweenness relations are the same, and they also satisfy the eight kinds of four-point transitivity properties and the six kinds of five-point transitivity properties.

The area method and applications

2026-03-21T03:34:55Z

In this paper, we develop a general method for estimating correlations of the forms \begin{align} \sum \limits_{n\leq x}G(n)G(x-n)\nonumber \end{align} and \begin{align} \sum \limits_{n\leq x}G(n)G(n+l)\nonumber \end{align} for a fixed $1\leq l\leq x$ and where $G:\mathbb{N}\longrightarrow \mathbb{R}^{+}$. To distinguish between the two types of correlation, we call the first correlation the \textbf{type} $2$ correlation and the second the \textbf{type} $1$ correlation. As an application, we estimate the lower bound for the \textbf{type} $2$ correlation of the master function \begin{align} \sum \limits_{n\leq x}Υ(n)Υ(n+l_0)\geq (1+o(1))\frac{x}{2\mathcal{C}(l_0)}\log \log ^2x\nonumber \end{align} provided that $Υ(n)Υ(n+l_0)>0$. We also use this method to provide a first proof of the twin prime conjecture showing that \begin{align} \sum\limits_{n\leq x}Λ(n)Λ(n+2)\geq (1+o(1))\frac{x}{2\mathcal{C}(2)}\nonumber \end{align} for some $\mathcal{C}:=\mathcal{C}(2)>0$.

Lattices which can be represented as lattices of intervals

2026-03-19T23:11:11Z

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that every loc-lattice is representable as a lattice of intervals. Furthermore, we provide the complete, unabridged construction for the general representation theorem, establishing that a well-separated lattice is faithfully representable as a lattice of intervals if and only if it is a loc-lattice. Finally, we apply these results to general topology, obtaining novel algebraic characterizations for the bases of weakly orderable and completely orderable topological spaces.

Local Morphology of the Partition Graph

2026-03-19T09:55:50Z

For a fixed integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with adjacency defined by a single elementary transfer of a cell in the Ferrers diagram. In a previous paper, the clique complex $K_n = \mathrm{Cl}(G_n)$ was studied from a global homotopy-theoretic point of view. This paper studies instead the local combinatorics of the graph $G_n$ itself. For a partition $λ=(s_1^{m_1},\dots,s_t^{m_t})$, where $s_1>\dots>s_t>0$, we describe the admissible transfers from $λ$ in terms of its block structure. This yields a bipartite graph $B(λ)$ obtained from $K_{t,t+1}$ by deleting two explicitly determined families of edges, corresponding to singleton support blocks and unit support gaps. We prove that the graph induced on the neighborhood of $λ$ in $G_n$ is isomorphic to the line graph $L(B(λ))$. As consequences, we obtain an explicit formula for the degree of $λ$, a classification of all cliques through $λ$, and a formula for the maximal dimension of a simplex of $K_n$ containing $λ$. These local invariants are shown to depend only on an ordered binary datum associated with the support of $λ$. The results provide a local structural description of the partition graph and a combinatorial language for the study of larger-scale features of $G_n$.

From Weak Nonlinear Perturbation to the Homotopy Analysis Method: A Rigorous Derivation and Theoretical Unification

2026-03-19T08:58:39Z

The Homotopy Analysis Method (HAM) is a widely used analytical approach for solving nonlinear problems, yet its theoretical foundation lacks rigorous justification, and its intrinsic correlation with perturbation theory remains ambiguous, leading to prevalent confusion in the existing literature. This study demonstrates that the fundamental homotopy deformation equation of HAM can be naturally derived from the weak-nonlinearity perturbation theory. We construct a specific analytical expression and optimize the core parameters (the optimal auxiliary linear operator, convergence-control parameter, and auxiliary function) to mitigate the inherent strong nonlinearity of the nonlinear operator. Extending the small parameter εof perturbation theory to the interval [0,1] enables a systematic homotopy deformation process, which connects the linear auxiliary system (at ε=0) with the original nonlinear problem (at ε=1) and confirms HAM as a structured, adaptive generalization of classical perturbation theory. Furthermore, this work provides a rigorous proof that the Homotopy Perturbation Method (HPM) is a special case of HAM: HPM can be directly derived by fixing the optimal auxiliary linear operator as the linear component of the nonlinear system and setting the convergence-control parameter and auxiliary function to specific values, thus making HPM a degenerate form of HAM. This study clarifies the perturbation-theoretic origin of HAM, defines the hierarchical subordination of HPM to HAM, unifies the theoretical framework of homotopy-based nonlinear analytical methods, rectifies common misconceptions in the existing literature, and offers valuable guidance for the rational application, comparative analysis, and further development of such methods.

Investigation about a statement equivalent to Riemann Hypothesis (RH)

2026-03-18T21:18:21Z

First idea is to compute a quantity like the angular momentum with respect to (0, 0), of an unitary mass of coordinates (<[Xi(s)], =[Xi(s)]) while =[s] is the time, and, <[s] = constant. If we impose that the derivative along <[s], at points <[s] = 1/2 is grater than zero, then, we find exactly a known RH equivalence statement about relative maxima and minima of Xi(1/2 + i=[s]) along critical line. After representing this fictitious angular momentum by Euler Product, and, using PNT as a tool, it can be proved that this positivity condition is granted everywhere at least for Xi(1/2 + i=[s]) 6 = 0. So, if the above equivalence is true, it is found that off-critical line zeros must be excluded for Z(s) function along all critical strip . Further analysis on Euler Product(Lemma 2) has evidenced others shorter ways to same objective. Besides the converging spectrum of prime numbers is highlighted as a by-product.

A note on an inequality involving the sides and medians in a triangle

2026-03-18T10:47:06Z

The main focus of the present paper is the following inequality $\left( \sqrt{bc}-a\right) m_a+ \left(\sqrt{ac}-b\right)m_b+\left(\sqrt{ab}-c\right)m_c \geq 0,$ where $a,b,c$ are the sides of a non-degenerate triangle and $m_a,m_b,m_c,$ the respective medians; which was conjectured to be true but had not been proved. We provide a proof. We also show that analogous inequality is true when the medians are replaced by the altitudes or the internal angle bisectors. Finally, we conclude with an open problem regarding the Cevians which would satisfy such inequality.

Variants of the Damascus inequality

2026-03-18T08:39:29Z

In 2016, Dannan and Sitnik established the notable Damascus inequality, which features a symmetric structure under a multiplicative constraint. In this study, we consider the natural generalisation of this inequality by characterising all positive integers $m$ and $n$ such that the inequality \[\sum_{j=1}^m\frac{x_j^n-1}{x_{j}^{n+1}+1}\leqslant 0\] holds for any positive real numbers $x_1, \ldots, x_m$ with $\prod_{j=1}^mx_j=1$. Our approach relies on the theories of GA-convexity and Sturm's sequence. For the cases where the inequality fails, we also investigate the topological properties of the set of non-solutions.

An Algebraic Structure for the Central Mexican Ritual Calendar

2026-03-18T02:43:04Z

This article develops an algebraic model of the 260-day Central Mexican ritual calendar, the \textit{Tonalpohualli}. We represent the calendar as the cyclic group $\mathbb{Z}_{13}\oplus\mathbb{Z}_{20}$, where each day name is encoded by a numeral-sign pair. From this model, we derive explicit correspondences between day numbers and day names through group actions. We also characterize, in algebraic terms, the twenty 13-day periods, the thirteen 20-day periods, and the partition of days into oriented tetrads. In addition, we describe how these structures relate to a subgroup generated by permutations of the starts of 13-day periods, and we show its connection with a cyclic group of order four and with square rotations. These results formalize and extend previous arithmetic and structural interpretations of the \textit{Tonalpohualli}, and they provide a framework for codex analysis.

Bessel Averaging, Fourier Decomposition, and the Value of the Borwein-Bailey-Girgensohn Series

2026-03-17T21:35:22Z

We study the Borwein--Bailey--Girgensohn sinusoidal series S_BBG = sum_{n=1}^\infty (1/n) * ((2+sin n)/3)^n, originally posed as an open problem by Borwein, Bailey, and Girgensohn, whose convergence was established by Boppana using the irrationality measure of pi. We present three unconditional results. First, applying the Weyl equidistribution theorem with a quantitative Erdos--Turan bound, we split S_BBG = M + R, where M = sum_{n=1}^\infty I_n/n is a Bessel averaging series and |R| < infinity. Second, we evaluate M exactly via Fubini's theorem and the Fourier series of log(1-cos t): M = sum_{n=1}^\infty I_n/n = log 6. Third, we decompose the remainder R into a convergent series of Fourier harmonics: R = sum_{k=1}^\infty 2*Re[G_k((2/3)e^{ik})], where each G_k(z) = sum_{n=1}^\infty c_k(n) z^n/n is a Dirichlet-type generating function built from the k-th Fourier coefficients of (theta -> (1 + (sin theta)/2)^n). The series converges absolutely because |(2e^{ik})/3| = 2/3 < 1. Numerical computation strongly suggests S_BBG = Ei(log 3) = li(3) approx 2.16358...; we reduce this conjecture to a single Diophantine identity for R and indicate the Mellin-transform approach most likely to settle it.

On the structure of the Gram matrix for Gabor systems generated by B-splines

2026-03-17T17:15:28Z

We consider the Gabor system $\mathcal{G}(g,a\mathbb{Z}\times b\mathbb{Z})$ generated by a continuous, compactly supported function $g$ over the time-frequency lattice generated by the parameters $a$ and $b$. We show that, under an appropriate ordering of the Gabor elements, certain submatrices of the Gram matrix of $\mathcal{G}(g,a\mathbb{Z}\times b\mathbb{Z})$ exhibit a block-Toeplitz structure. This structural property enables us to derive spectral results for finite sub-blocks of the Gram matrix by appealing to the spectral theory of Toeplitz matrices. In particular, we apply our results to the Gram matrix of Gabor systems generated by the $N$th-order B-spline.

Transient waves in linear dispersive media with dissipation: an approach based on the steepest descent path

2026-03-17T14:42:53Z

In the study of linear dispersive media it is of primary interest to gain knowledge of the impulse response of the material. The standard approach to compute the response involves a Laplace transform inversion, i.e., the solution of a Bromwich integral, which can be a notoriously troublesome problem. In this paper we propose a novel approach to the calculation of the impulse response, based on the well assessed method of the steepest descent path, which results in the replacement of the Bromwich integral with a real line integral along the steepest descent path. In this exploratory investigation, the method is explained and applied to the case study of the Klein- Gordon equation with dissipation, for which analytical solutions of the Bromwich integral are available, as to compare the numerical solutions obtained by the newly proposed method to exact ones. Since the newly proposed method, at its core, consists in replacing a Laplace transform inverse with a potentially much less demanding real line integral, the method presented here could be of general interest in the study of linear dispersive waves in presence of dissipation, as well as in other fields in which Laplace transform inversion come into play.