https://arxiv.org/api/WNuiFtuWZVw15kxSqrRiqToxej82026-06-21T16:14:37Z482173515http://arxiv.org/abs/2503.13536v1A Survey on Lawvere's Fixed-Point Theorem2025-03-15T14:48:51ZThis paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as terminal objects, products, Cartesian Closed Categories, exponential objects, evaluation maps, currying, and point-surjective morphisms - and explain their intuitive meanings through concrete examples and commutative diagrams. Based on these foundational notions, we derive key lemmas (the universality of currying, the diagonal lemma, and the fixed-point construction lemma) and integrate them to develop a proof of Lawvere's Fixed-Point Theorem. Furthermore, we discuss the impact of this theorem on fixed-point combinators in programming languages, type theory, and homotopy type theory, as well as current research trends and open problems. In doing so, we clarify how the abstract principle of self-reference contributes to a wide range of applications in both mathematics and computational theory.2025-03-15T14:48:51Z29 pages, 1 figure, and supplementary appendicesJoaquim Reizi Barretohttp://arxiv.org/abs/2503.11422v1Just another method for generating series of even powers of number Pi2025-03-14T14:09:09ZIn our previous publication we have shown a method for calculating series of even powers of $π$ based on the product representation of the $sinc$ function. We refer the readers to [1] for more details. In this work we apply the method to the product representation of the $cosine$ function and and thereby derive nice series formulas for even powers of the number $π$, such as \[ \frac{1}{2\,!} \left(\fracπ{2}\right)^2 = \sum_{\ell_1=1}^{\infty} \frac{1}{\left(2\,\ell_1-1\right)^2} \;;\quad \frac{1}{4\,!} \left(\fracπ{2}\right)^4 = \sum_{\ell_{2}=2}^{\infty} \left(\sum_{\ell_{1}=1}^{\ell_{2}-1} \frac{1}{ \left(2\,\ell_1-1\right)^2 \cdot \left(2\,\ell_2-1\right)^2} \right)\;; \] \[ \frac{1}{6\,!}\left(\fracπ{2}\right)^6 =\sum_{\ell_{3}=3}^{\infty} \left(\sum_{\ell_{2}=2}^{\ell_{3}-1} \left(\sum_{\ell_{1}=1}^{\ell_{2}-1} \frac{1}{ \left(2\,\ell_1-1\right)^2\cdot \left( 2\,\ell_2-1\right)^2 \cdot \left(2\,\ell_3-1\right)^2} \right)\right) \] Many of these formulas do not seem to be widely known.
--
In unserer früheren Publikationen haben wir ein Verfahren vorgestellt, das die Berechnung von Reihen für geradzahlige $π$-Potenzen unter Verwendung der $sinc$-Funktion ermöglicht. Wir verweisen die versierte Leserschaft auf \cite{AS} für nähere Details. In dieser Abhandlung wenden wir das Verfahren auf die Produktdarstellung der $cosinus$-Funktion an und erhalten weitere Reihendarstellungen für geradzahlige $π$-Potenzen. Die meisten der vorgestellten Reihen scheinen nicht so bekannt zu sein.2025-03-14T14:09:09Zbilingual: English (9 pages) and German (9 pages)Alois Schiesslhttp://arxiv.org/abs/2403.20304v3Pandigital and penholodigital numbers2025-03-13T23:27:07ZPandigital and penholodigital numbers are numbers that contain every digit or nonzero digit respectively. We study properties of pandigital or penholodigital numbers that are also square, oblong or prime.2024-03-29T17:19:29Z7 pages, 1 table, added Section 3 and expanded Section 5Chai Wah Wuhttp://arxiv.org/abs/2503.07406v1Prime Identification and Composite Filtering Using GM-(n+1) Sequences2025-03-10T14:56:13ZThis paper presents a distinctive prime detection approach. This method use GM-(n+1) sequences to effectively eliminate complex numbers. The sequences, which consist of odd a number of (n+1), exclude all components except for the initial prime integer. Only the first prime number is presented. This research proposes an approach using this model to identify exceptional candidates and examine their distribution. This study examines the interconnections among the laws of division, basic gaps, and their applications in analytical procedures. Computer studies may provide a novel perspective on the theory of prime numbers, demonstrating the effectiveness of this approach in refining the search space for primes.2025-03-10T14:56:13Z11 pages, 3 figuresFadwa Hamdi Barakathttp://arxiv.org/abs/2308.04437v5Powers of Cosine and Sine2025-03-08T20:54:29ZThis paper presents expressions for sums of powers of sine and cosine in terms of the basis for the field extension obtained by adjoining the sine or cosine to the field of rational numbers.2023-07-22T02:39:54ZAMS-LaTex, 36 pagesLeon D. Fairbankshttp://arxiv.org/abs/2503.19918v1Characterization and Cohomology of Crossed Homomorphisms on Lie Superalgebras2025-03-08T19:37:26ZIn this article, we give a characterisation of crossed homomorphisms on Lie superalgebras as a Maurer-Cartan element of a graded Lie algebra. Using this characterisation we study cohomology of these crossed homomorphisms. As an application of this cohomology we study formal deformation of crossed homomorphisms. We show that linear deformations of these homomorphisms are characterised by one cocycles.2025-03-08T19:37:26ZRB YadavArpan Sharmahttp://arxiv.org/abs/2502.20642v2Fixed point theorem in metric spaces and its application to the Collatz conjecture2025-03-07T03:22:25ZIn this paper, we show the new fixed point theorem in metric spaces. Furthermore, for this fixed point theorem, we apply to the Collatz conjecture.2025-02-28T01:48:00Z13 pagesToshiharu Kawasakihttp://arxiv.org/abs/2503.14509v1Number of ways that a football league can complete with all teams having the same number of points2025-03-05T11:32:44ZWhen $n$ teams play in a football league with home and away matches against every opponent there are $M = n \cdot (n-1)$ matches. There are 3 possible match results: a victory is awarded 3 points, a draw 1 point and 0 points for a defeat. Hence we have $3^M$ possible outcomes. In this paper the number of ways is determined that a football league can complete with all teams having the same number of points. An algorithm that works until $n=8$ is presented.2025-03-05T11:32:44Z7 pages, 1 figureRüdiger JehnKester HabermannMisha Lavrovhttp://arxiv.org/abs/2503.11682v1Tileset As: 3 squares with local rules for non-periodic tiling2025-03-03T21:37:25ZThis paper presents a tileset of 3 squares with local constraints on their borders and corners that enforce non-periodic tiling. We start with a description of the tileset and we demonstrate that it can tile the entire plane non-periodically creating interesting patterns. Rules are also proposed to generate the tiling. They make use of 9 supertiles with border color constraints only.2025-03-03T21:37:25ZVincent Van Dongenhttp://arxiv.org/abs/2503.11681v1Convolution and Combination Matrices in Non-stationary Filtering2025-03-03T18:28:29ZTime independent convolution yields circulant matrices whose eigenvectors are the Fourier exponentials with the eigenvalues being the Fourier transform of the mask. The case of time dependent convolution, the non-stationary case, no longer has this property and two matrices are then introduced, the cyclic convolution matrix and the cyclic combination matrix. In our paper, we prove results on the properties of these matrices. We give results in the context of the non-stationary frequency response in the Fourier domain, where the Fourier matrix is a full matrix in general. The techniques used here are attainable at the advanced undergraduate linear algebra settings and can be introduced into a relevant linear algebra undergraduate course.2025-03-03T18:28:29ZPeter Zizlerhttp://arxiv.org/abs/2503.11680v1Advancements in Fractional Neural Operators with Adaptive Hybrid Kernels in Multiscale Sobolev Spaces2025-03-03T13:27:33ZThis paper introduces significant advancements in fractional neural operators (FNOs) through the integration of adaptive hybrid kernels and stochastic multiscale analysis. We address several open problems in the existing literature by establishing four foundational theorems. First, we achieve exact bias-variance separation for Riemann-Liouville operators using fractional Prokhorov metrics, providing a robust framework for handling non-local dependencies in differential equations. Second, we demonstrate Lévy-regularized Hadamard stability with sharp convergence rates in Besov-Morrey spaces, enhancing FNO stability under heavy-tailed noise processes. Third, we overcome the curse of dimensionality in multivariate settings by achieving tensorized RL-Caputo convergence in RdRd with anisotropic Hölder regularity. Finally, we develop a quantum-inspired fractional gradient descent algorithm that significantly improves convergence rates in practical applications. Our proofs employ advanced techniques such as multiphase homogenization, Malliavin-Skorokhod calculus, and nonlocal divergence theorems, ensuring mathematical rigor and robustness. The practical implications of our work are demonstrated through applications in fusion plasma turbulence, where our methods yield a 70\% improvement over state-of-the-art FNOs. This enhancement is particularly notable in modeling the multifractal δBδB fields in ITER tokamak data, where the anisotropic penalty corresponds to enstrophy cascade rates in Hasegawa-Wakatani models, showcasing its versatility and potential for broader application.2025-03-03T13:27:33Z20 pagesRomulo Damaselin Chaves dos SantosJorge Henrique de Oliveira Saleshttp://arxiv.org/abs/2312.17521v2Introduction of Probabilistic Algebraic Variety2025-03-01T01:36:31ZHistorically, probability theory has been studied for a long time, and Kolmogorov, Levy Ito Kiyoshi, and others have mathematically developed modern probability in conjunction with measurement theory. On the other hand, commutative algebra and algebraic geometry have historically been the subject of interdisciplinary research led by Grothendiek. Many Japanese, notably Matsumura, Hironaka, and Kodaira, have contributed to this field. This paper is an attempt to focus on the research theme of Professor Sumio Watanabe of Tokyo Institute of Technology, "Algebraic Geometry and Probability Theory," from my own perspective. The mathematical theory development starts from Kolmogorov's axioms, and the proof and introduction of "Probabilistic Algebraic Variety" are given. Problems in computation and applications, analysis by computational homology, and unsolved problems in regression problems will be introduced as applications to statistics.2023-12-29T09:04:06ZThis work is outdatedNaoya Maedahttp://arxiv.org/abs/2503.11675v1Dilute Hitomezashi on the Isometric Grid2025-02-28T23:28:36ZThis paper describes preliminary investigation of hitomezashi stitching designs created on the isometric grid. An imposed constraint is that only every second line of stitching in each of the possible three directions is present. Each vertex visited by the stitching has degree two. Motifs and wallpaper patterns with three- and six-fold rotational symmetry are illustrated, in particular designs featuring the von Koch snowflake iterates.2025-02-28T23:28:36Z4 pages, 10 images, for the 2025 Bridges ConferenceProceedings of Bridges 2025: Mathematics and the Arts, pp.451-454Katherine A. Seatonhttp://arxiv.org/abs/2502.19681v1On the inverse of the Hadamard product of a full rank matrix and an angle matrix2025-02-27T01:45:05ZBy the definition of an angle matrix, we investigate the inverse of the Hadamard product of a full rank and an angle matrices. Our proof involves standard matrix analysis. It enriches the algebra of Hadamard products.2025-02-27T01:45:05ZYao-Jen Lianghttp://arxiv.org/abs/2503.11672v1The Erdös-Straus Conjecture and Pythagorean Primes2025-02-26T16:39:36ZThe Diophantine equation 4/n=1/x+1/y+1/z for a Pythagorean prime n is split into two independent Diophantine equations, which correspond to two different types of solution. The solvability of these equations forces certain restrictions on allowed Pythagorean primes. Empirical evidence suggests that these restrictions hold for all Pythagorean primes, which I state as two independent conjectures. One can be formulated as follows: every Pythagorean prime can be written as p=(4ab-1)(4c-1)-4abb/d, where a, b, c are natural numbers and d is a divisor of ab. The second conjecture reads: every Pythagorean prime can be written as p=(4ab-1)(4c-1)-4ac, where a, b, c are natural numbers. I give a new straightforward plausibility for the latter conjecture (which has been formulated independently by other authors) and I outline a practicle and effective algorithm to determine a,b,c for a given p.2025-02-26T16:39:36Z9 pagesBernd R. Schuh