https://arxiv.org/api/n9RtYT9dPmB73FWSZIrofjF68jg 2026-06-21T09:17:50Z 4821 645 15 http://arxiv.org/abs/2505.19796v1 2025-05-26T10:29:28Z

This paper presents a topological framework for investigating the Birch and Swinnerton Dyer conjecture through four dimensional embeddings of elliptic curves. We propose a correspondence between the algebraic rank of an elliptic curve and the number of topologically independent loops in its embedding, which appears to be related to the order of vanishing of its L function at s=1. Our computational function F new and its generalization F_(m,s) provide methods for examining this relationship through asymptotic analysis. Examples with rank curves from 0 to 8 show patterns supporting this correspondence. The approach connects with established frameworks, including the Kolyvagin Flach machinery and the Gross Zagier formula, potentially offering new perspectives on this significant open problem in number theory.

2025-05-26T10:29:28Z Maisara Shoeib http://arxiv.org/abs/2505.19790v1 2025-05-26T10:20:12Z

This paper introduces a formal framework for modeling observer-dependent collapse dynamics and temporal identity drift within artificial and mathematical systems, grounded entirely in the symbolic foundations of Alpay Algebra. Building upon the fixed-point emergence structures developed in Alpay Algebra I and II, this third installment formalizes the observer-coupled φ-collapse process through transfinite categorical flows and curvature-driven identity operators. We define a novel temporal drift mechanism as a recursive deformation of identity signatures under entangled observer influence, constructing categorical invariants that evolve across fold iterations. The proposed system surpasses conventional identity modeling in explainable AI (XAI) by encoding internal transformation history into a symbolic fixed-point structure, offering provable traceability and temporal coherence. Applications range from AI self-awareness architectures to formal logic systems where identity is not static but dynamically induced by observation. The theoretical results also offer a mathematically rigorous basis for future AI systems with stable self-referential behavior, positioning Alpay Algebra as a next-generation symbolic framework bridging category theory, identity logic, and observer dynamics.

2025-05-26T10:20:12Z 22 pages, 0 figures. Third paper in the Alpay Algebra series, following [arXiv:2505.15344] and [arXiv:2505.17480]. Introduces observer-coupled collapse and formalizes temporal identity drift using transfinite φ-recursion. Entirely symbolic and self-contained, with no reliance on external frameworks. Structured for submission under Math.CT, CS.LO, and CS.AI Faruk Alpay http://arxiv.org/abs/2505.09638v2 2025-05-25T07:51:49Z

For integers $k \geq 2$, the $k$-generalized Lucas sequence $\{L_n^{(k)}\}_{n \geq 2-k}$ is defined by the recurrence relation \[ L_n^{(k)} = L_{n-1}^{(k)} + \cdots + L_{n-k}^{(k)} \quad \text{for } n \geq 2, \] with initial terms given by $L_0^{(k)} = 2$, $L_1^{(k)} = 1$, and $L_{2-k}^{(k)} = \cdots = L_{-1}^{(k)} = 0$. In this paper, we extend work in \cite{Lucas} and show that the result in \cite{Lucas} still holds for $k\ge 3$, that is, we show that for $k\ge 3$, there is no $k$-generalized Lucas number appearing as a palindrome formed by concatenating two distinct repdigits.

2025-05-06T19:06:17Z 14 pages. arXiv admin note: text overlap with arXiv:2504.14261, arXiv:2504.10138 Herbert Batte Prosper Kaggwa http://arxiv.org/abs/2505.16766v2 2025-05-25T01:46:02Z

This paper introduces a geometric mechanics framework for constrained systems on principal bundles through \emph{compatible pairs} $(\mathcal{D}, λ)$, addressing fundamental challenges in gauge-constrained physical systems. We characterize the strong transversality condition by pairing constraint distributions $\mathcal{D}$ with Lie algebra dual functions $λ: P \to \mathfrak{g}^*$ satisfying compatibility $\mathcal{D}_p = \{v : \langleλ(p), ω(v)\rangle = 0\}$ and differential consistency $dλ+ \mathrm{ad}^*_ωλ= 0$. This framework proves equivalent to $G$-equivariant Atiyah sequence splittings. We establish bidirectional construction enabling computation: forward (from $λ$ to compatible $\mathcal{D}$) and inverse (via variational minimization). Key mathematical contributions include existence theorems for bundles with $\mathrm{ad}^*_Ωλ= 0$ and uniqueness results for semi-simple groups with $\mathfrak{z}(\mathfrak{g}) = 0$, providing rigorous foundations for constraint classification. Our central physical insight emerges from variational principles, deriving dynamic connection equations $\partial_tω= d^ωη- ι_{X_H}Ω$ revealing constraint-curvature coupling: $P_{\text{constraint}} = \langleλ,Ω(\dot{q},δq)\rangle$. This explains non-trivial constraint-field interactions in magnetohydrodynamics and Yang-Mills systems absent in kinematic theories. We construct Spencer cohomology for compatible pairs, establishing deep connections between topological invariants and conservation laws. Systematic comparison demonstrates that strong transversality captures essential constraint-curvature physics invisible to standard approaches. Applications span fluid dynamics, gauge theories, and geometric control, providing new tools for complex physical systems with intrinsic gauge-constraint coupling.

2025-05-22T15:07:59Z Feedback welcome. Intended for submission to Communications in Mathematical Physics Dongzhe Zheng http://arxiv.org/abs/2505.18863v1 2025-05-24T20:44:53Z

We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their implications for algebraic dynamics, and present concrete matrix-based models that satisfy different subsets of these axioms. Both associative and bracket-sensitive constructions are considered, with an emphasis on stratum-breaking propagation and permutation symmetry. This framework proposes a paradigm shift in the way algebraic structures are conceived: instead of enforcing uniform global rules, it introduces stratified layers with context-dependent interactions. Such a rethinking of algebraic organization allows for the modeling of systems where local consistency coexists with global asymmetry, non-associativity, and semantic transitions.

2025-05-24T20:44:53Z 31 pages Stanislav Semenov http://arxiv.org/abs/2506.06307v1 2025-05-24T14:48:52Z

We define a variant of the two-dimensional Silver Dollar game. Two coins are placed on a chessboard of unbounded size, and two players take turns choosing one of the coins and moving it. Coins are to be moved to the left or upward vertically as far as desired. If a coin is dropped off the board, players cannot use this coin. Jumping a coin over another coin or on another coin is illegal. We add another operation: moving a coin and pushing another coin. For non-negative integers w,x,y,z, we denote the positions of the two coins by (w,x,y,z), where (w,x) is the position of one coin and (y,z) is the position of the other coin. Then, the set of P-positions (the previous player's winning positions) of this game is {(w,x,y,z):the nim-sum of (w-1),(x-1),(y-1), and (z-1) is 0} . Next, we make another game by omitting the rule of pushing another coin and permitting a jump over another coin. Then, there exist two relatively small sets A and B such that the set of P-positions of this game is ( {(w,x,y,z):the nim-sum of (w-1),(x-1),(y-1), and (z-1) is 0} cup A) -B.

2025-05-24T14:48:52Z Ryohei Miyadera Enchong Li Akito Tsujii http://arxiv.org/abs/2506.00026v1 2025-05-23T10:46:58Z

In this paper we discuss some issues that arise in the process of writing a fractional differential equation (FDE) by replacing an integer order derivative by a fractional order derivative in a given differential equation. To address these issues, we propose a dimensional regularization of the Caputo fractional derivative, ensuring consistency in physical dimensions. Then we solve some FDEs using this proposed dimensional regularization. We show that the solutions of these FDEs are most conveniently written using the double gamma function. We also compare these solutions with those from equations involving the standard Caputo fractional derivative.

2025-05-23T10:46:58Z Preprint version. The Version of Record of this article is published in Nonlinear Dynamics, and is available online at https://doi.org/10.1007/s11071-025-11386-8 J. Vaz E. Capelas de Oliveira http://arxiv.org/abs/2505.17480v1 2025-05-23T05:15:34Z

In this second installment of the Alpay Algebra framework, I formally define identity as a fixed point that emerges through categorical recursion. Building upon the transfinite operator $\varphi^\infty$, I characterize identity as the universal solution to a self-referential functorial equation over a small cartesian closed category. I prove the existence and uniqueness of such identity-fixed-points via ordinal-indexed iteration, and interpret their convergence through internal categorical limits. Functors, adjunctions, and morphisms are reconstructed as dynamic traces of evolving states governed by $\varphi$, reframing identity not as a static label but as a stabilized process. Through formal theorems and symbolic flows, I show how these fixed points encode symbolic memory, recursive coherence, and semantic invariance. This paper positions identity as a mathematical structure that arises from within the logic of change itself computable, convergent, and categorically intrinsic.

2025-05-23T05:15:34Z 13 pages, no figures. Sequel to Alpay Algebra: A Universal Structural Foundation (arXiv:2505.15344). Defines identity as a categorical fixed point in the Alpay Algebra system. All content is self-contained Faruk Alpay http://arxiv.org/abs/2504.21000v4 2025-05-23T02:54:16Z

This article reviews the properties of the self-similar solutions of the Navier-Stokes equation for incompressible fluids. Since any smooth solution can be embedded into a self-similar solution at the identity scale, it follows that under standard flow conditions, the initial solution will remain smooth for all time as long as the self-similar solution is selected to have certain isobaric weight.

2025-03-30T23:43:18Z Supplementary material added (to see the Supplementary material, click on "TeX Source"): ChatGPT-4.5 Deep Research evaluation of this article, containing the proposed solution to the Navier-Stokes Millennium Problem; Exhaustive list of possible objections and responses; ChatGPT-3.5 executive summary of this work as a proposed solution to the Navier-Stokes Millennium Problem J. Polihronov http://arxiv.org/abs/2312.00301v12 2025-05-22T14:09:45Z

We construct arithmetic terms representing the partial sums of binomial coefficients, and we extend these results to obtain arithmetic terms representing the multisections of binomial coefficient sums. We also introduce an arithmetic term representing a certain type of multinomial coefficient sum and, as an application, we provide an arithmetic term representing the central trinomial coefficients. This solves one of the research problems of the celebrated book Concrete Mathematics, which remained open for nearly thirty years.

2023-11-02T17:09:34Z Major revision. Title updated to reflect new content. Includes new proofs and refinements. Lorenzo Sauras-Altuzarra has joined as a coauthor in recognition of his substantial contributions Joseph M. Shunia Lorenzo Sauras-Altuzarra http://arxiv.org/abs/2505.22681v1 2025-05-22T06:34:41Z

We focus on the new type perturbed metric spaces and introduce a contraction mapping namely new type perturbed Kannan mappings. For these mappings, we show that Banach's fixed point theorem holds. Moreover, this new generalization of Banach's contraction principle does not depend on the continuity of the operator.

2025-05-22T06:34:41Z Bekir Danış http://arxiv.org/abs/2506.00023v1 2025-05-22T02:08:13Z

With the growing demand for non-Euclidean data analysis, graph signal processing (GSP) has gained significant attention for its capability to handle complex time-varying data. This paper introduces a novel sampling method based on the joint time-vertex fractional Fourier transform (JFRFT), enhancing signal representation in time-frequency analysis and GSP. The JFRFT sampling theory is established by deriving conditions for the perfect recovery of jointly bandlimited signals, along with an optimal sampling set selection strategy. To further enhance the efficiency of large-scale time-vertex signal processing, the design of localized sampling operators is investigated. Numerical simulations and real data experiments validate the superior performance of the proposed methods in terms of recovery accuracy and computational efficiency, offering new insights into efficient time-varying signal processing.

2025-05-22T02:08:13Z 30 pages, 7figures Yu Zhang Bing-Zhao Li http://arxiv.org/abs/2505.15344v1 2025-05-21T10:18:49Z

Alpay Algebra is introduced as a universal, category-theoretic framework that unifies classical algebraic structures with modern needs in symbolic recursion and explainable AI. Starting from a minimal list of axioms, we model each algebra as an object in a small cartesian closed category $\mathcal{A}$ and define a transfinite evolution functor $φ\colon\mathcal{A}\to\mathcal{A}$. We prove that the fixed point $φ^{\infty}$ exists for every initial object and satisfies an internal universal property that recovers familiar constructs -- limits, colimits, adjunctions -- while extending them to ordinal-indexed folds. A sequence of theorems establishes (i) soundness and conservativity over standard universal algebra, (ii) convergence of $φ$-iterates under regular cardinals, and (iii) an explanatory correspondence between $φ^{\infty}$ and minimal sufficient statistics in information-theoretic AI models. We conclude by outlining computational applications: type-safe functional languages, categorical model checking, and signal-level reasoning engines that leverage Alpay Algebra's structural invariants. All proofs are self-contained; no external set-theoretic axioms beyond ZFC are required. This exposition positions Alpay Algebra as a bridge between foundational mathematics and high-impact AI systems, and provides a reference for further work in category theory, transfinite fixed-point analysis, and symbolic computation.

2025-05-21T10:18:49Z 37 pages, 0 figures. Self-contained categorical framework built directly on Mac Lane and Bourbaki; minimal references are intentional to foreground the new construction Faruk Alpay http://arxiv.org/abs/2506.06302v1 2025-05-21T04:09:04Z

Interrupted sampling repeater jamming (ISRJ) poses a serious threat to radar target detection. Traditional time-frequency (TF) domain anti-jamming methods are prone to TF aliasing in multi-component signal scenarios, and cannot effectively suppress ISRJ with energy close to the real target under low signal-to-noise ratio (SNR) conditions. To address these challenges, this paper proposes an anti-jamming method based on generalized linear canonical Wigner distribution (GLWD) line detection. By setting the parameters reasonably, the TF image of GLWD can have excellent TF resolution and energy concentration, greatly improving the signal separation and SNR. Furthermore, in order to enhance the detection capability of the target LFM signal, the existing mobile line segment detection (M-LSD) is improved and the mobile long line segment detection (M-LLSD) is proposed. M-LLSD can detect the target signal more easily and reduce the sensitivity to the jamming signal, so as to efficiently and accurately extract the TF position information of the target signal. Finally, a TF filter is constructed based on the mapping between GLWD and short-time Fourier transform (STFT), performing filtering in the STFT domain to suppress jamming. Simulations and experiments show that the method can effectively suppress such difficult-to-distinguish jamming and is suitable for real-time radar anti-jamming with good robustness.

2025-05-21T04:09:04Z 28 pages, 19 figures Jia-Mian Li Bing-Zhao Li http://arxiv.org/abs/2407.07121v7 2025-05-19T17:02:54Z

In this note, we prove the irrationality of $ζ(5)$ and generalize the method to prove the irrationality of all higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of a system of Linear Diophantine equation, and mathematical induction. For $n\geq 1$, we denote $d_n=\text{lcm}(1,2,...,n)$. In the first part of the article, we assume $ζ(5)$ is rational, say $a/b$. We observe that for $n\geq b$, there exists a system of equations involving linear combination of $ζ(5)$ that has a solution. Later using the existence of solution of the Linear Diophantine equation, we show that such a system of linear combination of $ζ(5)$ has no solution, which is a contradiction. In the second part of the article, we generalise this method for all higher odd zeta values.

2024-07-08T09:16:36Z Found incorrect Shekhar Suman