https://arxiv.org/api/OClSJb+MVxIQY5ZxbPDPd9IkXkA 2026-03-22T14:45:43Z 4675 120 15 http://arxiv.org/abs/2601.17881v2 2026-02-03T19:01:26Z

The Yff points of a triangle were introduced by Peter Yff in 1963. Since then, very few new facts have been discovered about these points. We present some geometrical properties of the Yff points of various shaped triangles which were discovered and proved by computer.

2026-01-25T15:26:44Z Submitted to International Journal of Computer Discovered Mathematics. Corrected statement of Theorem 1.1 Stanley Rabinowitz Francisco Javier García Capitán http://arxiv.org/abs/2602.03909v1 2026-02-03T14:58:56Z

This paper investigates topological indices for the greedy tree $\mathcal{T}_\mathscr{D}$ associated with a graphic degree sequence $\mathscr{D} = (d_1 \geqslant d_2 \geqslant \dots \geqslant d_n)$ of a tree. A fundamental challenge in the study of topological indices lies in establishing precise bounds, as such findings illuminate intrinsic relationships among diverse indices. We investigate the extremal properties of the graph invariant $σ$ over the family $\mathcal{T}_n$ of all trees on $n \ge 3$ vertices. Specifically, we compare the minimum values of $σ$ attained in restricted subclasses -- including caterpillar trees and greedy trees -- with the global minimum over $\mathcal{T}_n$. We prove that caterpillar trees do not achieve the minimum value of $σ$ among all trees, whereas greedy trees attain values no smaller than this global minimum. Moreover, we show that certain trees, which are neither caterpillars nor greedy trees, have $σ$-values strictly between the global minimum over $\mathcal{T}_n$ and the minimum among caterpillar trees. These results highlight structural limitations of these common tree classes in extremal problems and offer new insights into the role of non-caterpillar, non-greedy trees in minimizing graph invariants.

2026-02-03T14:58:56Z 13 pages, 14 figures, 1 table Jasem Hamoud Duaa Abdullah http://arxiv.org/abs/2602.03904v1 2026-02-03T12:35:00Z

Classical metric spaces often fail to model data-intensive systems where repetition and frequency of values are meaningful. In applications such as transactional databases, sensor logs, and record linkage, conventional distance measures ignore multiplicity information, leading to information loss and incorrect similarity judgments. This paper introduces multi-metric spaces defined on multisets and valued in the multi-real number system, providing a principled way to incorporate frequency into distance computations. We demonstrate the usefulness of multi-metrics through a frequency sensitive duplicate detection example, showing improved accuracy over classical metric based approaches.

2026-02-03T12:35:00Z Paper presented at National Conference on Advanced Computing in Sustainable Development (ACSD, December23-242025, AICTE-VAANI) organized by Jalpaiguri Government Engineering College, Jalpaiguri, India Debjyoti Chatterjee Shashi Bajaj Mukherjee http://arxiv.org/abs/2602.00206v2 2026-02-03T11:27:18Z

Let $p$ be an odd prime. Define the Gaussian power sum \[ G_n(p)=\sum_{a=1}^{p-1}\sum_{b=1}^{p-1}(a+bi)^n\in\mathbb Z[i]. \] We determine $G_p(p)$ modulo high powers of $p$: if $p\equiv 1\pmod 4$ then $$G_p(p)\equiv p^2(1+i)\pmod{p^3},$$ while for $p\equiv 3\pmod 4, p\ge 7$ we prove the supercongruence \[ G_p(p)\equiv -\frac{p^5}{12}(p-1)^2(p-2)\,B_{p-3}\,(1-i)\pmod{p^6}, \] where $B_m$ denotes the $m$-th Bernoulli number. We also formulate several conjectures suggested by extensive computations.

2026-01-30T13:41:44Z Nikita Kalinin Faith Shadow Zottor http://arxiv.org/abs/2602.06073v1 2026-02-03T08:39:17Z

Ramanujan found five solutions to the exponential Diophantine equation $z^2+7= 2^n$ where $z$ and $n$ are positive integers, and posed the problem of determining whether there are any more. Nagell was the first to prove that there were not. It is natural to then ask if there are other similar Diophantine equations with multiple solutions. In particular, equations of the form $Cz^2=D+A.B^n$ are known as equations of Ramanujan-Nagell type. Three examples are known with six solutions. Summaries of multiple solutions for different cases are presented. In particular the equation $z^2=277665.17^6+34^n$ is found to have four solutions and is conjectured to be the only such non-trivial equation of Ramanujan-Nagell type with four solutions when $A=C=1$ and $B$ is not a power of 2.

2026-02-03T08:39:17Z Philip Gibbs http://arxiv.org/abs/2602.03880v1 2026-02-02T19:45:23Z

The primary objective of this paper is to introduce Hyers-Ulam-type stability results for monotone, subadditive, and convex graphs. We consider their standard definitions in an approximate sense and demonstrate the existence of a corresponding graph with the same vertex and edge sets bearing the exact ideal structural property. We prove that the weight difference on the two graphs depends on the associated error and does not vary significantly.

2026-02-02T19:45:23Z Angshuman R. Goswami Mahmood K. Shihab http://arxiv.org/abs/2603.00017v1 2026-02-02T11:59:07Z

We formalize a ten-face triangular wing set on a regular icosahedron under a vertex labeling N, S, U1-U5, L1-L5 with rotation axis NS. The wing faces satisfy: (i) each face is an isosceles 36-36-108 triangle with a 36-degree angle anchored at a pole (N or S); (ii) distinct faces may share vertices but share no edges; and (iii) a natural equatorial cross-section yields a perfectly balanced regular decagon. We derive a closed form for the decagon radius, R = (phi/2)*ell, where ell is the icosahedron edge length and phi is the golden ratio phi = (1 + sqrt(5))/2. Beyond the geometric results, we interpret the ten-face closure as a symmetry-consistent design principle for a pole-anchored wing layout and provide a reproducible construction workflow.

2026-02-02T11:59:07Z 10 pages, 3 figures YoungJune Jeon http://arxiv.org/abs/2512.22329v2 2026-02-01T23:11:25Z

I introduce a continuous-order integral analog of the Maclaurin expansion that reconstructs analytic functions from fractional derivative data. This operator replaces the discrete sum of integer-order derivatives in the classical Maclaurin expansion with an integral over fractional derivative orders, weighted by a Maclaurin-type kernel. I show that, under smoothness and decay assumptions, the discrepancy between this construction and the classical Maclaurin series is governed by the Euler--Maclaurin summation formula, and I define a corresponding correction series. Numerical experiments on a representative set of analytic functions show that the uncorrected operator reliably tracks the global structure of $f$, with a systematic, mostly constant offset and additional deviation near the origin. Adding the first three correction terms substantially reduces these discrepancies across the tested domains, lowering the mean absolute error by two orders of magnitude, from $10^{-1}$ to $10^{-3}$. For monomials, the order data collapse to a single atomic contribution; using Caputo-consistent boundary data, the operator reconstructs them exactly. Altogether, these results show that this continuous-order operator, together with its correction series, provides a coherent framework for extending the classical Maclaurin expansion to spectral representations in derivative order.

2025-12-26T16:25:37Z 15 pages, 6 figures, Continuous-order Maclaurin-type integral reconstruction operator Derek C. Braun http://arxiv.org/abs/1902.07265v21 2026-02-01T17:30:07Z

In this treatise I present the solutions of the third Clay Millennium problem in the computational complexity and the fourth Clay Millennium problem in classical fluid dynamics.

2019-02-19T20:11:59Z arXiv admin note: text overlap with arXiv:1108.1165 by other authors Konstantinos E. Kyritsis http://arxiv.org/abs/2602.01248v1 2026-02-01T14:16:20Z

Starting from finite, local, reversible Markov dynamics on discrete cycles, we construct a scaling-limit renormalized trace kernel admitting an exact theta-series representation. The construction is entirely Archimedean and uses no Euler products, primes, or arithmetic spectral input. From this limit we define a logarithmic kernel $Φ$ and prove that it lies in the Pólya frequency class $\mathrm{PF}_\infty$, yielding via the Schoenberg-Edrei-Karlin classification a canonical Laguerre-Pólya function $Ψ$. Independently, we introduce an Archimedean completion operator and show that, at a self-dual normalization, the completed kernel coincides with the classical theta kernel, whose Mellin transform is the Riemann $Ξ$-function. We isolate a single remaining analytic problem relating $Ψ$ to $Ξ(2\cdot)$.

2026-02-01T14:16:20Z 29 pages. Feedback welcome and appreciated Douglas F. Watson http://arxiv.org/abs/2602.01192v1 2026-02-01T12:32:09Z

This paper presents a hybrid socio-technical methodology for constructing fuzzy numbers from numerical data while incorporating expert knowledge through an interactive Deck of Cards (DoC) process. The approach extends the existing DoC membership function construction framework by introducing a data-driven pipeline based on a convex version of fuzzy $k$-Means in which each computational step produces intermediate outputs that are translated into card-based structures for expert validation and tuning. The proposed method ensures interpretability, adaptability, and consistency between empirical evidence and expert semantics.

2026-02-01T12:32:09Z Diego García-Zamora José Rui Figueira Miguel Couceiro http://arxiv.org/abs/2602.06066v1 2026-02-01T05:12:28Z

We study structural limitations of purely algebraic reasoning in the analysis of arithmetic dynamical systems. Rather than addressing the truth of specific conjectures, we introduce a fragment - relative notion of algebraic refutability for dynamical properties defined by polynomial relations. Using preservation of positive existential formulas under ring homomorphisms, we show that any behavior realizable in a homomorphic extension of Z cannot be refuted as false by arguments confined to the positive existential fragment of first - order ring theory. Any argument that excludes such behaviors in the integers must invoke structure not preserved under ring homomorphisms, such as order, Archimedean properties, or global metric information. We illustrate the framework using the Collatz map as an example, clarifying the logical limitations of algebraic approaches without making claims about the conjecture's truth or provability.

2026-02-01T05:12:28Z Madhav Dhiman Rohan Pandey http://arxiv.org/abs/2602.00252v1 2026-01-30T19:12:10Z

This paper provides a link between integer exponentiation and integer tetration since it is devoted to introducing some peculiar sets of perfect powers characterized by any given value of their constant congruence speed, revealing a fascinating relation between the degree of every perfect power belonging to any congruence class modulo $20$ and the number of digits frozen by these special tetration bases, in radix-$10$, for any unit increment of the hyperexponent. In particular, given any positive integer $c$, we constructively prove the existence of infinitely many $c$-th perfect powers that have a constant congruence speed of $c$.

2026-01-30T19:12:10Z 9 pages. This version of the paper differs from the journal version only by the addition of Reference [12] and the citation of the OEIS sequence A379243, which was approved after the journal publication Journal of AppliedMath, 2 (2024), no. 5, Article 1771 Marco Ripà 10.59400/jam1771 http://arxiv.org/abs/2602.00210v1 2026-01-30T14:33:40Z

We show that every poset P=(P,\le) satisfying the Ascending Chain Condition can be isomorphically embedded into the poset of all mappings from P to the set A(P) of all antichains of P equipped with a certain partial order relation. This isomorphism is presented explicitly.

2026-01-30T14:33:40Z Ivan Chajda Helmut Länger http://arxiv.org/abs/2601.22190v1 2026-01-29T06:46:51Z

In Type-2 rule-based fuzzy systems (T2 RFSs), triangular norms on complete lattice $(\mathbf{L},\sqsubseteq)$ or $(\mathbf{L_u},\sqsubseteq)$ can be used to model the compositional rule of inference, where $\textbf{L}$ is the set of all convex normal fuzzy truth values, $\mathbf{L_u}$ is the set of all convex normal and upper semicontinuous fuzzy truth values, and $\sqsubseteq$ is the so-called convolution order. Hence, the choice of t-norms on $(\mathbf{L},\sqsubseteq)$ or $(\mathbf{L_u},\sqsubseteq)$ may influence the performance of T2 RFSs, and thus, it is significant to broad the set of t-norms among which domain experts can choose most suitable one. To construct t-norms on $(\mathbf{L},\sqsubseteq)$ or $(\mathbf{L_u},\sqsubseteq)$, the mainstream method is based on convolution $\ast_\vartriangle$ induced by two operators $\ast$ and $\vartriangle$ on the unit interval $[0,1]$. Recently, we have complete solve the question when convolution $\ast_\vartriangle$ is a t-norm on $(\mathbf{L},\sqsubseteq)$. This paper aim to provide the necessary and sufficient conditions under which convolution $\ast_\vartriangle$ is a t-norm on $(\mathbf{L_u}, \sqsubseteq)$.

2026-01-29T06:46:51Z Jie Sun