https://arxiv.org/api/hqMFtEVdIqtAWA77A+aPOzZNJ5g 2026-06-21T17:25:21Z 4821 750 15 http://arxiv.org/abs/2503.07621v1 Calculus for Functions with Fuzzy Inputs and Outputs: Applications to Fuzzy Differential Equations 2025-02-25T18:35:14Z This article presents a theory of differential and integral calculus for mapping between Banach spaces formed by subsets of fuzzy numbers called A-linearly correlated fuzzy numbers, where both the domain and codomain are spaces composed of fuzzy numbers. This is one of the main contributions of this study from a theoretical point of view, as well-known approaches to fuzzy calculus in the literature typically deal with fuzzy number-valued functions defined on intervals of real numbers. Notions of differentiability and integrability based on complex functions are proposed. Moreover, we introduce the study of ordinary differential equations for which the solutions are functions from A-linearly correlated fuzzy numbers to A-linearly correlated fuzzy numbers or from real functions to A-linearly correlated fuzzy numbers. For the latter case, we present an initial study of the solution and its phase portrait for two-dimensional differential equation systems. In particular, for the former case, we examine the Lotka Volterra model and analyze its phase portrait. 2025-02-25T18:35:14Z 44 pages, 15 figures Laécio Carvalho de Barros Estevão Esmi Francielle Santo Pedro Simões Mina Shahidi http://arxiv.org/abs/0704.3672v11 Hamiltonian Graphs and the Traveling Salesman Problem 2025-02-25T17:59:04Z A new characterization of Hamiltonian graphs using f-cutset matrix is proposed. Based on this new characterization, a new exact polynomial time algorithm for the traveling salesman problem (TSP) is developed. We then define the so-called ordered weighted adjacency list for given weighted complete graph and proceed to the paper's main result, namely, the exact algorithm based on the utilization of the ordered weighted adjacency list and the simple properties that any path or circuit must satisfy. This algorithm performs checking of sub-lists, containing (p-1) entries (edge pairs) for paths and p entries (edge pairs) for circuits, chosen from ordered adjacency list in a well defined sequence to determine exactly the shortest Hamiltonian path and shortest Hamiltonian circuit in a weighted complete graph of p vertices. The procedure has intrinsic advantage of landing on the desired solution in quickest possible time and even in worst case in polynomial time. A new characterization of the shortest Hamiltonian tour for a weighted complete graph satisfying triangle inequality (i.e. for tours passing through every city on a realistic map of cities where cities can be taken as points on a Euclidean plane) is also proposed. Finally, we propose a classical algorithm for unstructured search, three new quantum algorithms for unstructured search, which exponentially speed up the searching ability in the unstructured database, and one quantum algorithm for solving a K-SAT problem and indicate its effect on traveling salesman problem and other NP-complete problems. 2007-04-27T11:31:03Z 59 pages. added a new algorithm for K-SAT problem in section 5 Dhananjay P. Mehendale http://arxiv.org/abs/2410.16925v2 A Paradox on the Law of Excluded Middle in the framework of category of set 2025-02-25T14:19:33Z In this paper, we present a paradox arising from the acceptance of the Law of Excluded Middle (LEM) within classical mathematics. Specifically, we construct a nonzero analytic function on a connected open subset of the complex plane whose zeros are not isolated. This contradicts a fundamental theorem in complex analysis, thereby revealing an inconsistency tied to LEM. Unlike traditional critiques that reject LEM in favor of intuitionistic or constructive mathematics, we argue that LEM is instrumental in discovering \textbf{relations} between objects and facts rather than the objects themselves. Since we are not always in direct attachment with objects, this relational perspective introduces \textbf{inherent uncertainty} in mathematical reasoning. Consequently, we propose that the logical framework of the world is undecidable, making contradictions possible in more complex contexts. Our findings suggest that LEM, while powerful, may not be universally reliable in all mathematical frameworks. This work has implications for foundational mathematics, particularly in relation to the limits of classical logic and the necessity of alternative logical paradigms. 2024-10-22T11:56:43Z Babak Jabbar Nezhad http://arxiv.org/abs/2503.07618v1 An efficient method of spline approximation for power function 2025-02-24T18:23:23Z Let $P(m, X, N)$ be an $m$-degree polynomial in $X\in\mathbb{R}$ having fixed non-negative integers $m$ and $N$. The polynomial $P(m, X, N)$ is derived from a rearrangement of Faulhaber's formula in the context of Knuth's work entitled "Johann Faulhaber and sums of powers". In this manuscript we discuss the approximation properties of polynomial $P(m,X,N)$. In particular, the polynomial $P(m,X,N)$ approximates the odd power function $X^{2m+1}$ in a certain neighborhood of a fixed non-negative integer $N$ with a percentage error under $1\%$. By increasing the value of $N$ the length of convergence interval with odd-power $X^{2m+1}$ also increases. Furthermore, this approximation technique is generalized for arbitrary non-negative exponent $j$ of the power function $X^j$ by using splines. 2025-02-24T18:23:23Z 14 pages, 1 table, 3 figures, submitted to MAG Petro Kolosov http://arxiv.org/abs/2403.10527v4 The Graph Fractional Fourier Transform in Hilbert Space 2025-02-20T07:32:15Z Graph signal processing (GSP) leverages the inherent signal structure within graphs to extract high-dimensional data without relying on translation invariance. It has emerged as a crucial tool across multiple fields, including learning and processing of various networks, data analysis, and image processing. In this paper, we introduce the graph fractional Fourier transform in Hilbert space (HGFRFT), which provides additional fractional analysis tools for generalized GSP by extending Hilbert space and vertex domain Fourier analysis to fractional order. First, we establish that the proposed HGFRFT extends traditional GSP, accommodates graphs on continuous domains, and facilitates joint time-vertex domain transform while adhering to critical properties such as additivity, commutativity, and invertibility. Second, to process generalized graph signals in the fractional domain, we explore the theory behind filtering and sampling of signals in the fractional domain. Finally, our simulations and numerical experiments substantiate the advantages and enhancements yielded by the HGFRFT. 2024-01-15T05:44:03Z 16 pages, 15 figures Yu Zhang Bing-Zhao Li http://arxiv.org/abs/1811.10406v2 On the geometry of metallic pseudo-Riemannian structures 2025-02-18T16:29:15Z We generalize the notion of metallic structure in the pseudo-Riemannian setting, define the metallic Norden structure and study its integrability. We consider metallic maps between metallic manifolds and give conditions under which they are constant. We also construct a metallic natural connection recovering as particular case the Ganchev and Mihova connection, which we extend to a metallic natural connection on the generalized tangent bundle. Moreover, we construct metallic pseudo-Riemannian structures on the tangent and cotangent bundles. 2018-11-21T13:56:50Z 19 pages Rivista di Matematica della Università di Parma 11(1), 69-87 (2020) Adara M. Blaga Antonella Nannicini http://arxiv.org/abs/2502.11119v1 On an article published in the racsam 2025-02-16T13:30:44Z In this Note, we provide the comments on the paper [A note on the hit problem for the polynomial algebra in the case of odd primes and its application] which was published in the RACSAM [Rev. Real. Acad. Cienc. Exactas. Fis. Nat. Ser. A-Mat. 118, 22 (2024)]. We will show that some of the results in this paper are not new and others are false. 2025-02-16T13:30:44Z 4 page Nguyen Sum http://arxiv.org/abs/2502.10989v1 Linearization of multivariate discrete difference operators 2025-02-16T04:20:02Z In 2023 in (3), Uwe finds the explicit form of the map which is which is settled in ZN of finite functional degree and14 discusses how to compute its usual degree w.r.t to the derivative in the linear form, i.e. the product of ones formed by15 its orthogonal basis, and also introduces the notion of functional degree. It is the linear combination of the product of16 binomials. And this makes a big progress in the development of integer-valued functions. And this inspires the author17 to discuss this form in the separate form, i.e. the triple of finite set. In (18), Hrycaj discusses these operators in more18 abstract form. In this paper, we unifies two approaches. Seriously, we prove that the functional degree of integer-valued19 maps on integers which is computed with respect to its difference operators associated with its standard basis is exactly20 the same with the ones computed with respect to arbitrary mix discrete difference operators and we call it as multivariate21 difference operators. Since the functional degree agrees with the usual degree of integer-valued maps, we actually achieved22 the linearization of multivariate difference operators 2025-02-16T04:20:02Z 15 Yunting Iris Gao http://arxiv.org/abs/2502.10484v1 When Tangent Plane = Limit of Secant Plane 2025-02-14T04:23:08Z For function of one variable, differentiability is equivalent to the existence of tangent line as the limit of secant line. The genuine counterpart of this equivalence for function of several variables is obtained for the first time. 2025-02-14T04:23:08Z 5 pages Zhibin Yan http://arxiv.org/abs/2503.07612v1 Fuzzy Variational Calculus in Linearly Correlated Space: Part I 2025-02-13T22:36:51Z This article is the first part of series of articles that aim to present the foundations for fuzzy variational calculus for functions taking values in the space of linearly correlated fuzzy numbers $\mathbb{R}_{\mathcal{F}(A)}$. Recall that the space $\mathbb{R}_{\mathcal{F}(A)}$ is composed by all sums of a real number $r$ and a fuzzy number $qA$, where $A$ is a given asymmetric fuzzy number. Two advantages of this space are that it can be equipped with a Banach space structure and, similar to additive models in Statistics, its elements can be interpreted as the sum of a deterministic expected/predictable value with an uncertain/noise component. The foundation of variational calculus theory requires the definition and establishement of many concepts and results. This aritcle presents a total order relation on $\mathbb{R}_{\mathcal{F}(A)}$ for wihch the notions of local minimal and maximal of a $\mathbb{R}_{\mathcal{F}(A)}$-valued function $f$ can be derived. We present a fuzzy version of the first and second optimality conditions in terms of derivatives of $f$. Finally, we present a generalized fuzzy version of du Bois-Reymond lemma which is essential in variational calculus theory. 2025-02-13T22:36:51Z Gastão S. F. Frederico Estevão Esmi Laécio C. Barros 10.1016/j.fss.2025.109431 http://arxiv.org/abs/2311.16765v3 Observations towards a proof of the Collatz conjecture using $2^{j}k+x$ number series 2025-02-13T15:50:03Z The document tries to put focus on sequences with certain properties and periods leading to the first value smaller than the starting value in the Collatz problem. With the idea that, if all starting numbers lead ultimately to a smaller number, all full sequences lead to 1 with a finite stopping time, the problem could be reduced to more structured shorter sequences. It is shown that this sequences exist and follow consistent rules. Potential features of an infinite cycle, also leading to a smaller number, are also discussed. Further, an argument for only one possible closed cycle is given for the special sequence of alternating odd and even steps as well as arguments that infinite cycles must exist. Using the observation that periodic behavior is exists an additional argument is provided the probability of subsets which will end up at a number smaller the initial value possibly even of N will indeed end up at unity in the Collatz problem [1]. The work is to be seen as in progress and shared as an contribution to discussion rather than a concrete publication. 2023-11-28T13:09:04Z 8 pages, 6 figures J. Stöckl http://arxiv.org/abs/2502.17467v1 Functors Associated to Relations on Hypergroups and Hypermodules 2025-02-12T08:30:58Z If H is a strongly regular hypergroup, we show that the set of regular relations on H and the set of subhypergroups containing $0_{H}$ are two lattices that are isomorphic to each other. In the next step, we introduce and study the properties of functors that are constructed by a sequence of strongly regular relations. This helps us to define a specific type of free objects and tensor products on the category of regular hypergroups. 2025-02-12T08:30:58Z The article is 13 pages long and has one figure and two tables Behnam Afshar Reza Ameri http://arxiv.org/abs/2502.17466v1 Fundamental Functor on Hypergroups 2025-02-12T06:15:57Z For a hypergroup $(H,\circ)$ we consider $γ^{\ast}$, as the smallest equivalence relation on $H$ such that the quotion $(H/γ^{\ast},\tiny{\otimes})$ is an abelian group. We study some more properties of $γ^{\ast}$. Initially, it is investigated which subhypergroup the congruence relation modulo is strongly regular on, and its quotient results in an abelian group? This is directly related to the fundamental relation $γ^{\ast}$, since such subhypergroups must contain $S_γ$. Then, we examine the functor $γ^{\ast}$ from a categorical perspective and investigate properties such as continuity and cocontinuity concerning it using the decomposition $γ=δ\tiny{\ast}β$. For this purpose, we define the reduced words on strongly regular hypergroups. This has a direct application in studying how the functor $γ^{\ast}$ affects on the stalks of the sheaves of hypergroups. 2025-02-12T06:15:57Z 19 pages Behnam Afshar Reza Ameri http://arxiv.org/abs/2502.19427v1 Generalized Lucas Theorem 2025-02-12T01:42:57Z Let $p$ be a prime. Let $A$ and $B$, $A \ge B \ge 0$, be integers with base $p$ expansions $A = α_iα_{i-1}\dots α_0$ and $B = β_iβ_{i-1}\dots β_0$. Lucas proved that $$\binom{A}{B} \equiv \prod_{j=0}^{j=i}\binom{α_j}{β_j} \text{ mod } p.$$ Similarly as proved by Kummer, the $p$-adic valuation $v_p\binom{A}{B}$ is the number of borrows when computing $A-B$ in base $p$, or the number of carries in $(A-B)+B$ in base $p$. Davis and Webb discovered a generalization of Lucas's Theorem for prime powers. We prove a similar generalization in a different form using the concept of pseudo-digits. 2025-02-12T01:42:57Z Jordan Hirsh http://arxiv.org/abs/2502.15753v1 Generalization of Jamet's test for convergence of number series and its new modifications 2025-02-10T23:03:28Z In this article, we present new generalizations of logarithmic convergence tests for number series, from which we will derive various new generalizations of the Jamet's convergence test. Further, similarly, on the basis of the generalizations of the Schlomilch's test we found, we will obtain modified tests of the convergence of number series. 2025-02-10T23:03:28Z Artem M. Ponomarenko