https://arxiv.org/api/v/lWdRy7xdnJa/qbufyObT++0J4 2026-06-21T13:43:33Z 4821 705 15 http://arxiv.org/abs/2504.03033v1 2025-04-03T21:09:45Z

In this short note, an example of a semifield of order 128 containing the Galois field $\mathbb{F}_8$ is given. Up to our knowledge, this is the first example supporting the following problem by Cordero and Chen (2013): ``There exist semifield planes of order $2^t$, for any integers $t$ relatively prime to 3 that admit semifield subplanes of order $2^3$''.

2025-04-03T21:09:45Z Ignacio Fernández Rúa Elías Fernández-Combarro Álvarez http://arxiv.org/abs/2503.15649v2 2025-04-03T09:43:42Z

In this paper, we present a new hypercomplex number system, Trinition, that has an unusual structure of commutativity, noncommutativity, nonassociativity, and deformability.

2025-03-19T19:03:20Z Abdon Atangana http://arxiv.org/abs/2504.21004v1 2025-04-03T08:58:42Z

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and exploits the potential of 2-adjunctions and pseudo-limits. In particular, Theorem 2.1 and Lemma 3.4 establish the central results, showing how the usual view of quantifiers as adjoint functors lifts naturally into a bicategorical context, while Theorem 4.2 and Lemma 4.3 illustrate how this perspective extends to dependent type theories. By making explicit the interplay between substitution and variable binding, we resolve the limitations of conventional approaches and ensure coherence up to canonical isomorphisms. Detailed constructions, coherence diagrams, and a unified schematic overview further highlight the theoretical advantages of our approach, leading to simpler proofs and more robust model integration in categorical logic.

2025-04-03T08:58:42Z 50pages Barreto Joaquim Reizi http://arxiv.org/abs/2504.01862v1 2025-04-02T16:14:50Z

We develop an axiomatic framework for fractal analysis and fractal number theory grounded in hierarchies of definability. Central to this approach is a sequence of formal systems F_n, each corresponding to a definability level S_n contained in R of constructively accessible mathematical objects. This structure refines classical analysis by replacing uncountable global constructs with countable, syntactically constrained approximations. The axioms formalize: - A hierarchy of definability levels S_n, indexed by syntactic and ordinal complexity; - Fractal topologies and the induced notions of continuity, compactness, and differentiability; - Layered integration and differentiation with explicit convergence and definability bounds; - Arithmetic and function spaces over the stratified continuum R_{S_n}, which is a subset of R. This framework synthesizes constructive mathematics, proof-theoretic stratification, and fractal geometric intuition into a unified, finitistically structured model. Key results include the definability-based classification of real numbers (e.g., algebraic, computable, Liouville), a stratified fundamental theorem of calculus with syntactic error bounds, and compatibility with base systems such as RCA_0 and ACA_0. The framework enables constructive approximation and syntactic regularization of classical analysis, with applications to proof assistants, computable mathematics, and foundational studies of the continuum.

2025-04-02T16:14:50Z 26 pages, submitted to arXiv Stanislav Semenov http://arxiv.org/abs/2504.21001v1 2025-03-31T19:06:11Z

Building upon specific compatibility conditions, we establish fundamental structural results concerning ordering relations for triangular fuzzy numbers. We demonstrate that orders satisfying compatibility with arithmetic operations, MIN-MAX operators, and the Weak Law of Trichotomy (WLT) are completely determined on the fibers of the natural projection to real numbers. Furthermore, such orders naturally induce - in analogy with real numbers - well-defined notions of fuzzy absolute value and fuzzy distance that preserve the essential properties of their classical counterparts. These results enable us to characterize open and closed balls through interval representations, providing a robust theoretical framework for future studies regarding metric properties of fuzzy numbers.

2025-03-31T19:06:11Z Jaime Cesar dos Santos Filho http://arxiv.org/abs/2503.24275v1 2025-03-31T16:21:38Z

This paper systematically investigates the analytic properties of the ratio $f(s)/f(1-s) = X(s)$ based on the Davenport-Heilbronn functional equation $f(s) = X(s)f(1-s)$. We propose a novel method to analyze the distribution of non-trivial zeros through the monotonicity of the ratio $|f(s)/f(1-s)|$. Rigorously proving that non-trivial zeros can only lie on the critical line $σ=1/2$, we highlight two groundbreaking findings: 1. Contradiction of Off-Critical Zeros: Numerical "exceptional zeros" (e.g., Spira, 1994) violate the theoretical threshold $κ=1.21164$ and conflict with the monotonicity constraint of $|X(s)|=1$. 2. Essential Difference Between Approximate and Strict Zeros: Points satisfying $f(s) \to 0$ do not constitute strict zeros unless verified by analyticity. This work provides a new perspective for studying zero distributions of $L$-functions related to the Riemann Hypothesis.

2025-03-31T16:21:38Z Tao Liu Juhao Wu http://arxiv.org/abs/2502.14876v6 2025-03-31T15:12:23Z

Series involving hypergeometric functions are used to derive, extend and evaluate integrals involving the product of two Bessel functions of the first kind $J_{u}(a z)$ $J_{v}(b z)$ with order $u,v$, studied by Landau et al. The method used in this work is contour integration.

2025-02-03T23:38:55Z arXiv admin note: substantial text overlap with arXiv:2412.10395 Robert Reynolds http://arxiv.org/abs/1110.2952v27 2025-03-31T11:59:37Z

Two topics of the number theory are discussed in this paper. First, we prove that given each natural number $x\geq10^{3}$, we have \[ |{\rm Li}(x)-π(x)|\leq c\sqrt{x}\log x\texttt{ and } π(x)={\rm Li}(x)+O(\sqrt{x}\log x) \] where $c$ is a constant greater than $1$ and less than $e$. Second, with a much more accurate estimation of prime numbers, the error range of which is less than $x^{1/2-0.0327283}$ for $x\geq10^{41}$, we prove a theorem of the number of primes in short intervals: Given a positive real number $β$ that determines a real number $x_β$ by $e(\log x_β)^{3}/x_β^{0.0327283}=β$, let $Φ(x):=βx^{1/2}$ for $x\geq x_β$ where $Φ(x):=x^{1/2}$ when let $β=1$. Then there are \[ \frac{π(x+Φ(x))-π(x)}{Φ(x)/\log x}=1+O(\frac{1}{\log x}) \] and \[ \lim_{x \to \infty}\frac{π(x+Φ(x))-π(x)}{Φ(x)/\log x}=1. \]

2011-10-12T16:18:34Z 33 pages Shan-Guang Tan http://arxiv.org/abs/2503.23473v1 2025-03-30T15:13:10Z

This paper introduces a novel generalization of Stirling and Lah numbers, termed ``heterogeneous Stirling numbers," which smoothly interpolate between these classical combinatorial sequences. Specifically, we define heterogeneous Stirling numbers of the second and first kinds, demonstrating their convergence to standard Stirling numbers for lambda=0 and to (signed) Lah numbers for lambda =1. We derive fundamental properties, including generating functions, explicit formulas, and recurrence relations. Furthermore, we extend these concepts to heterogeneous Bell polynomials, obtaining analogous results such as generating function, combinatorial identity and Dobinski-like formula. Finally, we introduce and analyse heterogeneous r-Stirling numbers of the second kind and their associated r-Bell polynomials.

2025-03-30T15:13:10Z 14 pages Taekyun Kim Dae San Kim http://arxiv.org/abs/2503.22042v1 2025-03-27T23:33:45Z

Classical set theory constructs the continuum via the power set P(N), thereby postulating an uncountable totality. However, constructive and computability-based approaches reveal that no formal system with countable syntax can generate all subsets of N, nor can it capture the real line in full. In this paper, we propose fractal countability as a constructive alternative to the power set. Rather than treating countability as an absolute cardinal notion, we redefine it as a stratified, process-relative closure over definable subsets, generated by a sequence of conservative extensions to a base formal system. This yields a structured, internally growing hierarchy of constructive definability that remains within the countable realm but approximates the expressive richness of the continuum. We compare fractally countable sets to classical countability and the hyperarithmetical hierarchy, and interpret the continuum not as a completed object, but as a layered definitional horizon. This framework provides a constructive reinterpretation of power set-like operations without invoking non-effective principles.

2025-03-27T23:33:45Z 14 pages, submitted to arXiv Stanislav Semenov http://arxiv.org/abs/2504.07977v1 2025-03-27T11:07:06Z

This paper introduces advances in the geometry of the transforms for cross ratio of four points in a line in the Desargues affine plane. The results given here have a clean, based Desargues affine plan axiomatic and definitions of addition and multiplication of points on a line in this plane, and for skew field properties. In this paper are studied, four types of cross-ratio maps sets of points, we discussed about for each of the 4-points of cross-ratio and we will examine the algebraic properties for each case. We are constructing four cross-ratio maps sets $\mathcal{R}^{A}_4=\left\{c_r(X,B;C,D) | \quad \forall X \in \ell^{OI} \right\}$, $\mathcal{R}^{B}_4=\left\{c_r(A,X;C,D) | \quad \forall X \in \ell^{OI} \right\}$, $\mathcal{R}^{C}_4=\left\{c_r(A,B;X,D) | \quad \forall X \in \ell^{OI} \right\}$ and $\mathcal{R}^{D}_4=\left\{c_r(A,B;C,X) | \quad \forall X \in \ell^{OI} \right\}$. We disuse and examine algebraic properties for each case, related to the actions of addition and multiplication of points in $\ell^{OI}$ line in Desargues affine planes, which are produced by these map sets.

2025-03-27T11:07:06Z 14 pages, 4 figures Orgest Zaka http://arxiv.org/abs/2501.00047v3 2025-03-26T19:59:00Z

In this paper we present a brief study of the $σ$-set-$σ$-antiset duality that occurs in $σ$-set theory and we also present the development of the integer space $3^{A}=\left\langle 2^{A}, 2^{A^{-}} \right\rangle$ for the cardinals $|A|=2,3$ together with its algebraic properties. In this article, we also develop a presentation of some of the properties of fusion of $σ$-sets and finally we present the development and definition of a type of equations of one $σ$-set variable.

2024-12-27T21:02:29Z Ivan Gatica Alfonso Bustamente http://arxiv.org/abs/2503.20095v1 2025-03-25T22:29:18Z

All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques -- effectively generates only countable fragments within a closed formal system. We formalize this limitation as the "fractal boundary of constructivity", the asymptotic limit of all constructive extensions under syntactically enumerable rules. A central theorem establishes the impossibility of fully capturing the structure of the continuum within any such system. We further introduce the concept of "fractal countability", a process-relative refinement of countability based on layered constructive closure. This provides a framework for analyzing definability beyond classical recursion without invoking uncountable totalities. We interpret the continuum not as an object constructively realizable, but as a horizon of formal expressibility.

2025-03-25T22:29:18Z 16 pages, submitted to arXiv Stanislav Semenov http://arxiv.org/abs/2405.12557v2 2025-03-25T17:04:30Z

Sections of the Hardy $Z$-function are given by $Z_N(t) := \sum_{k=1}^{N} \frac{cos(θ(t)-ln(k) t) }{\sqrt{k}}$ for any $N \in \mathbb{N}$. Sections approximate the Hardy $Z$-function in two ways: (a) $2Z_{\widetilde{N}(t)}(t)$ is the Hardy-Littlewood approximate functional equation (AFE) approximation for $\widetilde{N}(t) = \left [ \sqrt{\frac{t}{2 π}} \right ]$. (b) $Z_{N(t)}(t)$ is Spira's approximation for $N(t) = \left [\frac{t}{2} \right ]$. Spira conjectured, based on experimental observations, that, contrary to the classical approximation $(a)$, approximation (b) satisfies the Riemann Hypothesis (RH) in the sense that all of its zeros are real. We present theoretical justification for Spira's conjecture, via new techniques of acceleration of series, showing that it is essentially equivalent to RH itself.

2024-05-21T07:56:46Z Yochay Jerby http://arxiv.org/abs/2405.12657v2 2025-03-25T16:54:52Z

In his foundational book, Edwards introduced a unique "speculation" regarding the possible theoretical origins of the Riemann Hypothesis, based on the properties of the Riemann-Siegel formula. Essentially Edwards asks whether one can find a method to transition from zeros of $Z_0(t)=cos(θ(t))$, where $θ(t)$ is Riemann-Siegel theta function, to zeros of $Z(t)$, the Hardy $Z$-function. However, when applied directly to the classical Riemann-Siegel formula, it faces significant obstacles in forming a robust plausibility argument for the Riemann Hypothesis. In a recent work, we introduced an alternative to the Riemann-Siegel formula that utilizes series acceleration techniques. In this paper, we explore Edwards' speculation through the lens of our accelerated approach, which avoids many of the challenges encountered in the classical case. Our approach leads to the description of a novel variational framework for relating zeros of $Z_0(t)$ to zeros of $Z(t)$ through paths in a high-dimensional parameter space $\mathcal{Z}_N$, recasting the RH as a modern non-linear optimization problem.

2024-05-21T10:11:03Z Yochay Jerby