https://arxiv.org/api/hqMFtEVdIqtAWA77A+aPOzZNJ5g2026-06-21T17:25:21Z482175015http://arxiv.org/abs/2503.07621v1Calculus for Functions with Fuzzy Inputs and Outputs: Applications to Fuzzy Differential Equations2025-02-25T18:35:14ZThis 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:14Z44 pages, 15 figuresLaécio Carvalho de BarrosEstevão EsmiFrancielle Santo Pedro SimõesMina Shahidihttp://arxiv.org/abs/0704.3672v11Hamiltonian Graphs and the Traveling Salesman Problem2025-02-25T17:59:04ZA 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:03Z59 pages. added a new algorithm for K-SAT problem in section 5Dhananjay P. Mehendalehttp://arxiv.org/abs/2410.16925v2A Paradox on the Law of Excluded Middle in the framework of category of set2025-02-25T14:19:33ZIn 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:43ZBabak Jabbar Nezhadhttp://arxiv.org/abs/2503.07618v1An efficient method of spline approximation for power function2025-02-24T18:23:23ZLet $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:23Z14 pages, 1 table, 3 figures, submitted to MAGPetro Kolosovhttp://arxiv.org/abs/2403.10527v4The Graph Fractional Fourier Transform in Hilbert Space2025-02-20T07:32:15ZGraph 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:03Z16 pages, 15 figuresYu ZhangBing-Zhao Lihttp://arxiv.org/abs/1811.10406v2On the geometry of metallic pseudo-Riemannian structures2025-02-18T16:29:15ZWe 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:50Z19 pagesRivista di Matematica della Università di Parma 11(1), 69-87 (2020)Adara M. BlagaAntonella Nannicinihttp://arxiv.org/abs/2502.11119v1On an article published in the racsam2025-02-16T13:30:44ZIn 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:44Z4 pageNguyen Sumhttp://arxiv.org/abs/2502.10989v1Linearization of multivariate discrete difference operators2025-02-16T04:20:02ZIn 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 operators2025-02-16T04:20:02Z15Yunting Iris Gaohttp://arxiv.org/abs/2502.10484v1When Tangent Plane = Limit of Secant Plane2025-02-14T04:23:08ZFor 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:08Z5 pagesZhibin Yanhttp://arxiv.org/abs/2503.07612v1Fuzzy Variational Calculus in Linearly Correlated Space: Part I2025-02-13T22:36:51ZThis 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:51ZGastão S. F. FredericoEstevão EsmiLaécio C. Barros10.1016/j.fss.2025.109431http://arxiv.org/abs/2311.16765v3Observations towards a proof of the Collatz conjecture using $2^{j}k+x$ number series2025-02-13T15:50:03ZThe 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:04Z8 pages, 6 figuresJ. Stöcklhttp://arxiv.org/abs/2502.17467v1Functors Associated to Relations on Hypergroups and Hypermodules2025-02-12T08:30:58ZIf 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:58ZThe article is 13 pages long and has one figure and two tablesBehnam AfsharReza Amerihttp://arxiv.org/abs/2502.17466v1Fundamental Functor on Hypergroups2025-02-12T06:15:57ZFor 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:57Z19 pagesBehnam AfsharReza Amerihttp://arxiv.org/abs/2502.19427v1Generalized Lucas Theorem2025-02-12T01:42:57ZLet $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:57ZJordan Hirshhttp://arxiv.org/abs/2502.15753v1Generalization of Jamet's test for convergence of number series and its new modifications2025-02-10T23:03:28ZIn 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:28ZArtem M. Ponomarenko