https://arxiv.org/api/c4yGMm1wmCY5hHsnOmYlNpKRXOo2026-06-13T21:43:10Z480813515http://arxiv.org/abs/2604.13094v1Scale-valued sets: a minimal framework for generalized set models2026-04-08T15:34:32ZMany generalized set models have the same basic form: they assign a value to each object, and the main difference lies in the kind of values that are allowed. This paper studies that common form through scale-valued sets (SV-sets), defined as maps $U\times E\toΣ$, where $U$ is a universe, $E$ is a parameter set, and $Σ$ is a bounded De Morgan lattice. With a suitable choice of scale, SV-sets include ordinary sets, fuzzy sets, soft sets, bounded multisets, intuitionistic fuzzy sets, $L$-fuzzy sets, and Type-2 fuzzy sets. We study the basic structure of SV-sets. The relation between SV-sets and lattice-valued interval soft sets is also discussed. For complete chains, the SV setting gives a natural topological construction, and for groups, it gives an algebraic structure through SV-subgroups. The applications show how graded suitability and supporting evidence can be kept together in a single model, whereas one-coordinate reductions lose information.2026-04-08T15:34:32Z16 pages 1 figureS. Rayhttp://arxiv.org/abs/2601.08461v2A Rigorous Proof of a Ramanujan Machine Identity for $-π/4$ via Exact Recurrence Solving2026-04-07T02:21:57ZWe prove a polynomial continued fraction identity for the constant $-π/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a closed-form expression for the denominator sequence, $q_n = (-1)^n (2n-3)!!\,(n^2+n-1)$, and establish absolute convergence via a Wronskian telescoping argument. The limiting value is reduced by Abel summation to a Beta-function integral, which is evaluated in closed form through an elementary substitution and a single integration by parts, yielding the exact value $-π/4$.2026-01-13T11:38:44Z6 pagesChao Wanghttp://arxiv.org/abs/2510.08286v3On Arithmetic Progressions and a Proof of the Nonexistence of Magic Squares of Squares2026-04-07T01:51:09ZWe explore some of the properties of consecutive, equally-summed arithmetic progressions of odd numbers, particularly their offsets and sums, before using them to prove that no $3\times3$ magic squares of distinct square integers exist.2025-10-09T14:37:08ZUpdated notation, particularly around singular APs, to be clearer to understandOscar Hillhttp://arxiv.org/abs/2604.13090v1Least Consecutive Pair of Primitive Roots2026-04-06T14:19:01ZLet $p>1$ be a large prime number and let $x=O((\log p)^2(\log\log p)^5$ be a real number. It is proved that the least consecutive pair of primitive roots $u\ne\pm1, v^2$ and $u+1$ satisfies the upper bound $u\ll x$ in the prime field $\mathbb{F}_p$.2026-04-06T14:19:01ZSeventeen Pages. Keywords: Primitive root mod $p$; Least prime Primitive root; Arithmetic progression; Complexity theory; Finite fieldN. A. Carellahttp://arxiv.org/abs/1902.07265v23The solutions of the 3rd and 4th Clay Millennium problems2026-04-06T10:41:32ZIn this treatise I present the solutions of the third Clay Millennium problem in the computational complexity and the fourth Clay Millennium problem in classical fluid dynamics.2019-02-19T20:11:59ZarXiv admin note: text overlap with arXiv:1108.1165 by other authorsKonstantinos E. Kyritsishttp://arxiv.org/abs/2511.21776v5A proof of irrationality of $π$ based on the nested radicals with roots of $2$2026-04-06T01:40:57ZIn this work, we prove the irrationality of $π$ based on the nested radicals with roots of $2$ of kind $c_k = \sqrt{2 + c_{k - 1}}$ and $c_0 = 0$. Sample computations showing how the rational approximation tends to $π$ with increasing the integer $k$ are presented.2025-11-26T05:22:29Z24 pagesSanjar M. AbrarovRehan SiddiquiRajinder Kumar JagpalBrendan M. Quinehttp://arxiv.org/abs/2604.13089v1On the Structure of Asymptotic Space of the Lobachevsky Plane2026-04-05T16:21:00ZThe notion of asymptotic space for an unbounded metric space has been introduced by Micha Gromov in 1980s. It is intended to capture the structure of a metric space at infinity. The most comprehensive definition of asymptotic space is given in the lahguage of Nonstandard Analysis (NSA). It turns out that the asymptotic space depends on the underlying nonstandard extension of the standard universe. This paper contains the exhaustive description of asymptotic spaces of the Lobachevski plane which turns ourt to be an R-tree. However, there turn out to be a plenty of different nonisometric asymptotic spaces, including the spaces of high cardinality.2026-04-05T16:21:00Z26 pagesAlexander Shnirelmanhttp://arxiv.org/abs/2509.04487v4A symmetry approach to number tricks2026-04-04T13:47:07ZWe generalize the classical "1089-number trick", which states that a certain combination of addition, subtraction and swapping the digits of a three-digit number will always output 1089. More precisely, we show that any pair of zero divisors $fg=0$ in the group ring ${\mathbb Z}[Σ_n]$ on the n-th symmetric group gives rise to a partition of the set of n-digit numbers into subsets $U_{\mathbf e}$ defined by linear inequalities, such that the zero divisors act constantly on each $U_{\mathbf e}$ and hence define a number trick.2025-08-31T19:25:07ZElem. Math. (2026), published online firstHåkon Kolderup10.4171/EM/573http://arxiv.org/abs/2512.22329v3A Continuous-Order Integral Operator for Maclaurin-type Reconstruction2026-04-03T23:44:27ZWe introduce a continuous-order integral analog of the Maclaurin expansion that reconstructs analytic functions from fractional derivative data. The operator integrates over continuous order, replacing the discrete sum of integer derivatives in the classical Maclaurin series. We identify structural admissibility conditions on the fractional derivative that constrain the order data to form a coherent extension of the classical derivative ladder and to remain finite at the anchor. These conditions restrict admissible definitions to the Riemann-Liouville and Liouville (Fourier-multiplier) derivatives, or to continuations that coincide with them. Under smoothness and decay assumptions on the order data $D^r f(0)$, the continuous-order operator reconstructs $f$ approximately. It differs from the classical Maclaurin series by a systematic sum-integral mismatch. The Euler-Maclaurin summation formula quantifies this mismatch and yields a natural correction hierarchy. In examples drawn from distinct analytic function classes (entire, oscillatory, finite-radius, rapidly decaying, and special functions), the operator with its correction terms yields stable reconstruction, with mean absolute error reduced from $10^{-1}$ to $10^{-3}$ or smaller after three correction terms. Monomials form a degenerate case, as their order spectrum collapses to a single point and cannot be recovered by the continuous-order integral alone. These results establish the continuous-order operator as an integral counterpart to the Maclaurin series, extending a classical discrete construction into a spectral representation that is continuous in derivative order.2025-12-26T16:25:37Z14 pages, 6 figures, Continuous-order Maclaurin-type integral reconstruction operatorDerek C. Braunhttp://arxiv.org/abs/2604.13086v1A Composition Theorem for Binomially Weighted Averages2026-04-03T21:33:44ZWe study binomially weighted summation methods given by \[ (x_n)_{n\in \mathbb{N}} \mapsto \left(\sum_{k=0}^n\binom{n}{k}r^k(1-r)^{n-k}x_k\right)_{n\in \mathbb{N}} \] for $r\in (0,1)$, and their behavior under composition with summation methods of the form \[ (x_n)_{n\in \mathbb{N}} \mapsto \left(\sum_{k=0}^nλ_k x_{n-k}\right)_{n\in \mathbb{N}}. \] Our main result shows that if the binomially weighted averages of a sequence $(x_n)_{n\in \mathbb{N}}$ converge to a limit then the binomially weighted averages of the sequence $\left(\sum_{k=0}^nλ_kx_{n-k}\right)_{n\in \mathbb{N}}$ converge to the same limit whenever $(λ_n)_{n\in\mathbb{N}}$ is an absolutely summable sequence with $\sum_{k=0}^{\infty}λ_k = 1$. This result disproves a theorem appearing in the literature. Additionally, we discuss applications and extensions of our main result to compositions with weighted Cesàro averages.2026-04-03T21:33:44ZAndy LiuMichael Reillyhttp://arxiv.org/abs/2604.03351v1Spectral Geometry of the Primes2026-04-03T15:45:27ZWe construct a family of self-adjoint operators on the prime numbers whose entries depend on pairwise arithmetic divergences, replacing geometric distance with number-theoretic dissimilarity. The resulting spectra encode how coherence propagates through the prime sequence and define an emergent arithmetic geometry. From these spectra we extract observables such as the heat trace, entropy, and eigenvalue growth, which reveal persistent spectral compression: eigenvalues grow sublinearly, entropy scales slowly, and the inferred dimension remains strictly below one. This rigidity appears across logarithmic, entropic, and fractal-type kernels, reflecting intrinsic arithmetic constraints. Analytically, we show that for the unnormalized Laplacian, the continuum limit of its squared Hamiltonian corresponds to the one-dimensional bi-Laplacian, whose heat trace follows a short-time scaling proportional to $t^{-1/4}$. Under the spectral dimension convention $d_s=-2\,d\logΘ/d\log t$, this result produces $d_s = 1/2$ directly from first principles, without fitting or external hypotheses. This value signifies maximal spectral compression and the absence of classical diffusion, indicating that arithmetic sparsity enforces a coherence-limited, non-Euclidean geometry linking spectral and number-theoretic structure.2026-04-03T15:45:27Z18 pages, 4 figuresMathematics 2025, 13(21), 3554Douglas F. Watson10.3390/math13213554http://arxiv.org/abs/2604.02386v1Exact Formulas for Coprime Representations of Even Integers Avoiding a Prime2026-04-02T02:55:38ZFix a prime $p \ge 5$ and define $g(2n,p)=\#\{(h,k)\in\mathbb{Z}_{>0}^2 : h+k=2n,\; h\le k,\; \gcd(h,6p)=\gcd(k,6p)=1\}$. We derive explicit closed-form expressions for $g(2n,p)$ in terms of the canonical remainder operator $δ_k(x)=x-k\lfloor x/k\rfloor$, elementary step functions, and the minimal solutions of the congruences $6x \equiv -1 \pmod{p}$ and $6x \equiv -5 \pmod{p}$. A key ingredient is an explicit formula for the minimal solution of $δ_k(a_0 x)=b_0$ obtained via the Euclidean algorithm, which determines the excluded residue classes directly. The resulting formulas show that $g(2n,p)$ is piecewise affine along arithmetic progressions of $n$, governed by residue classes modulo $3$ and $p$. For fixed $p$, after precomputing two residue parameters in $O(\log p)$ time, each evaluation of $g(2n,p)$ requires only $O(1)$ operations, compared to $O(n)$ for direct enumeration. The formulas are validated computationally for all $2n \le 10^5$ and primes $p \in \{5,7,11,13,17,19,23\}$, with perfect agreement with brute-force enumeration.2026-04-02T02:55:38Z19 pages, 1 figureAndres M. Salazarhttp://arxiv.org/abs/2604.02383v1Neural Prime Sieves: Density-Driven Generalization and Empirical Evidence for Hardy-Littlewood Asymptotics2026-04-01T20:31:58ZSpecial prime families (twin, Sophie Germain, safe, cousin, sexy, Chen, and isolated primes) are central objects of analytic number theory, yet no efficiently computable probabilistic filter exists for identifying likely members among known primes at large scale. Classical sieves assign no probability weights to surviving candidates, and prior machine learning approaches are limited by the algorithmic randomness of the prime indicator sequence, yielding near-zero true positive rates.
We present PrimeFamilyNet, a multi-head residual network conditioned on the backward prime gap and modular primorial residues of a known prime $p$, learning probabilistic filters for all seven families simultaneously and generalising across nine orders of magnitude from training ($10^7$--$10^9$) to evaluation at $10^{16}$.
Isolated prime recall increased monotonically from $0.809$ at $5\times10^8$ to $0.984$ at $10^{16}$, a gain of $17.5$ percentage points and the only family among seven to improve with scale. Because recall is invariant to class prevalence, this reflects genuine decision boundary sharpening, not the rising isolated-prime fraction at extreme scales. A model trained only to $10^9$ reproduced the correct asymptotic direction without density supervision, corroborating Hardy--Littlewood $k$-tuple predictions.
The causal model retained over $95\%$ recall for five families near $10^{10}$ while reducing the search space by $62$--$88\%$. For Chen primes, causal recall exceeded non-causal recall at every scale (margin $+0.245$ at $10^{16}$) because $g^+=2$ encodes only the prime case of the Chen condition. Focal Loss collapsed sparse algebraic family recall to $0.000$. Asymmetric Loss outperformed weighted BCE in-distribution but degraded more steeply out-of-distribution, showing that in-distribution recall alone is a misleading criterion for scale-generalisation tasks.2026-04-01T20:31:58Z36 pages, 6 figures; cross-listed with math.NT; code at https://github.com/Manik-00/Neural-Prime-SievesManik Kakkarhttp://arxiv.org/abs/2604.01258v1RBF Kernel Parameter Formula for Data Classification Methods2026-04-01T11:10:05ZRadial Basis Function (RBF), or Gaussian, kernels are among the most widely used parametric kernels in machine learning, particularly in methods such as Support Vector Machines (SVM) and kernel-based subspace approaches. The kernel parameter $γ$ (or $σ$ in the Gaussian formulation) must be carefully tuned, as the performance of these methods strongly depends on its value and is highly sensitive to improper selection. In practice, this parameter is typically determined through computationally expensive training procedures, which may also lack robustness. In this paper, we propose an efficient analytical formula for selecting the RBF kernel parameter that significantly reduces the computational cost of RBF-based methods. The proposed approach is derived by optimizing the diameter of mapped classes in the feature space while simultaneously maximizing inter-class feature distances. The detailed formulation is presented, and its efficiency is validated on the widely used SVM algorithm as well as on a Proper Orthogonal Decomposition (POD)-based subspace method for both binary and multi-class classification problems.2026-04-01T11:10:05ZLakhdar Remakihttp://arxiv.org/abs/2604.02373v1A Theory of Scales and Orbit Covers2026-03-31T17:16:46ZThis paper develops a formal theory of musical scales and their harmonic coverings and introduces orbit covers: coverings obtained by translating a fixed subset across a scale via a group action. Orbit covers generalize familiar constructions, such as the covering of the diatonic scale by tertian triads, and are motivated by the search for a generalized harmonic framework extending common-practice tonality. We model modes as group structures associated with pitch-class sets and scales as torsors, introducing scale covers and, in particular, orbit covers. To each orbit cover we associate a nerve complex encoding its intersection structure and associated topological invariants. We classify triadic orbit covers of heptatonic scales up to affine symmetry and nerve isomorphism. These results support a broader theory of harmonic organization with analytical and compositional applications.2026-03-31T17:16:46Z17 pages, 2 figures. To appear in the Proceedings of the 10th International Conference on Mathematics and Computation in Music (MCM 2026)Drew Flieder