https://arxiv.org/api/uIO92DwAYiMZhsNp6k/llDBA6M8 2026-06-21T15:04:22Z 4821 720 15 http://arxiv.org/abs/2406.06548v2 2025-03-25T16:31:28Z

In recent works we have introduced the parameter space $\mathcal{Z}_N$ of $A$-variations of the Hardy $Z$-function, $Z(t)$, whose elements are functions of the form \begin{equation} \label{eq:Z-sections} Z_N(t ; \overline{a} ) = \cos(θ(t))+ \sum_{k=1}^{N} \frac{a_k}{\sqrt{k+1} } \cos ( θ(t) - \ln(k+1) t), \end{equation} where $\overline{a} = (a_1,...,a_N) \in \mathbb{R}^N$. The \( A \)-philosophy advocates that studying the discriminant hypersurface forming within such parameter spaces, often reveals essential insights about the original mathematical object and its zeros. In this paper we apply the $A$-philosophy to our space $\mathcal{Z}_N$ by introducing \( Δ_n(\overline{a} ) \) the $n$-th Gram discriminant of \( Z(t) \). We show that the Riemann Hypothesis (RH) is equivalent to the corrected Gram's law \[ (-1)^n Δ_n(\overline{1}) > 0, \] for any $n \in \mathbb{Z}$. We further show that the classical Gram's law \( (-1)^n Z(g_n) >0\) can be considered as a first-order approximation of our corrected law. The second-order approximation of $Δ_n (\overline{a})$ is then shown to be related to shifts of Gram points along the \( t \)-axis. This leads to the discovery of a new, previously unobserved, repulsion phenomena \[ \left| Z'(g_n) \right| > 4 \left| Z(g_n) \right|, \] for bad Gram points $g_n$ whose consecutive neighbours $g_{n \pm 1}$ are good. Our analysis of the \(A\)-variation space \(\mathcal{Z}_N\) introduces a wealth of new results on the zeros of \(Z(t)\), casting new light on classical questions such as Gram's law, the Montgomery pair-correlation conjecture, and the RH, and also unveils previously unknown fundamental properties.

2024-05-23T10:08:10Z arXiv admin note: text overlap with arXiv:2310.14415 Yochay Jerby http://arxiv.org/abs/2504.07972v1 2025-03-24T20:36:55Z

This paper presents an innovative approach to the study of recurrent sequences by introducing the concept of arithmetic pseudo-operators. Unlike conventional operators, these pseudo-operators are pure complex numbers with specific structural properties, allowing for unprecedented operational reformulations. Represented by the symbols ``$+$'', ``$/$'' (slash), ``$\setminus$'' (aslash), ``$\bot$'', ``$\top$'', and ``$\dashv$'', these operators correspond to rotations in the unit circle of the complex plane and generalize fundamental operations, as seen in the identities ``$1 / 1 \setminus 1 = 0$'' and ``$1 \bot 1 \top 1 \dashv 1 = 0$'', which exhibit behavior analogous to conventional subtraction ``$1 - 1 = 0$''. Based on this structure, we reformulate Binet's equations for the Fibonacci and Tribonacci sequences and outline the path for their generalization to the Tetranacci sequence \cite{koshy}. This new perspective not only enhances the understanding of higher-order recurrences but also suggests potential applications in discrete mathematics and computational algebra, expanding the scope of classical algebraic operations.

2025-03-24T20:36:55Z 9 pages Victor Enrique Vizcarra Ruiz http://arxiv.org/abs/2503.18575v1 2025-03-24T11:32:10Z

Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application -- including generalizations with computable permutations and infinite hierarchies of diagonal extensions -- the resulting set remains countable. Thus, the method demonstrates the incompleteness of countable coverage but is unable to generate an uncountable set. This highlights its limitations as a constructive tool and reveals the boundary between constructive enumerability and the completeness of the continuum.

2025-03-24T11:32:10Z 6 pages, submitted to arXiv Stanislav Semenov http://arxiv.org/abs/2002.08270v6 2025-03-23T15:02:55Z

We establish the existence of a uniformly bounded $ C^\infty $ solution of the Navier-Stokes equations on $\mathbb{R}^3 x\ [0, \infty) $ without external forces or boundaries for a divergence free initial condition $ u_o \in \cap_m H^m $ when the viscosity $ ν$ is $ > 0 $. Such $ C^\infty $ solution of the Navier-Stokes equations are a solution of Option A of the Millenium Prize Problem of the Clay Institute for the Navier-Stokes equations.

2020-02-18T14:02:19Z improve prose of previous version Gray Jennings http://arxiv.org/abs/2504.07970v1 2025-03-21T22:40:40Z

We define Collatz representations for a subset of rational numbers and prove that each real number \( x \notin (-1,1) \) can be approximated arbitrarily well by rational numbers which have only \( 2 \)'s and \( 1 \)'s in their Collatz representation.

2025-03-21T22:40:40Z 9 pages, 4 figures Franciszek Kobus http://arxiv.org/abs/2409.02924v2 2025-03-21T06:58:36Z

We prove that the Lalescu sequence is monotonically decreasing.

2024-08-12T22:05:33Z Carlo Mantegazza Nicola Pio Melillo http://arxiv.org/abs/1910.05622v2 2025-03-20T19:34:08Z

In this paper; we prove that all sequences can be broken up in cycles. Each cycle follows the same pattern: 1) Upward trajectory. Odd and even numbers alternate until the cycle reaches an upper bound 2) Downward trajectory. Two or more consecutive even numbers follow until it reaches another odd number. At this point, it's the beginning of the following cycle. Any sequence is evidently made of many consecutive cycles. In order to prove the conjecture, we build two sequences. The first sequence starts from any odd number. The sequence unfolds one cycle after the another. After each cycle, we build a second sequence that is built following a parallel path to the previous one, but adapting the last cycle to ensure it converges down to 1. In other words, their cycles have the same pattern of upward and downward steps except for the very last cycle. Finally, we prove that both sequences must be the same. Since the latter sequence converges to 1, so must the former. This document is a revision of the previous rev.12. There are significant changes that were made in order to make it easier to follow. The foundations of the demonstration remain the same.

2019-10-12T18:37:25Z 156 pages Vicente Padilla http://arxiv.org/abs/2503.14508v2 2025-03-20T16:31:49Z

Recently, E. Samsonadze (arXiv:2411.11859v1) has given an explicit formula for the sums of powers of integers $S_k(n) = 1^k +2^k +\cdots + n^k$. In this short note, we show that Samsonadze's formula corresponds to a well-known formula for $S_k(n)$ involving the Stirling numbers of the second kind.

2025-03-05T11:09:58Z 2 pages José L. Cereceda http://arxiv.org/abs/2503.16570v1 2025-03-20T08:50:15Z

This paper develops a systematic framework for integrating local categories that model logical connectives using higher category theory. By extending these local categories into a unified two-category enriched with natural isomorphisms, the universal properties of logical operations such as negation, conjunction, disjunction, and implication are rigorously captured. Advanced techniques including pseudo-limits, pseudo-colimits, and strictification are employed to transform the resulting weak structure into a strict two-category, thereby simplifying composition rules and coherence verification without loss of semantic content. The framework is validated through detailed diagrammatic proofs and concrete examples, demonstrating its robustness and potential impact in areas such as type theory, programming language semantics, and formal verification.

2025-03-20T08:50:15Z 120 pages Barreto Joaquim Reizi http://arxiv.org/abs/2504.01966v1 2025-03-19T02:27:54Z

This paper presents a new Lie theoretic approach to fractal calculus, which in turn yields such new results as a Fractal Noether's Theorem, a setting for fractal differential forms, for vector fields, and Lie derivatives, as well as k-fractal jet space, and algorithms for k-th fractal prolongation. The symmetries of the fractal nonlinear \(n\)-th \(α\)-order differential equation are examined, followed by a discussion of the symmetries of the fractal linear \(n\)-th \(α\)-order differential equation. Additionally, the symmetries of the fractal linear first \(α\)-order differential equation are derived. Several examples are provided to illustrate and highlight the details of these concepts.

2025-03-19T02:27:54Z Alireza Khalili Golmankhaneh Elham Hashemzadeh Carlo Cattani Donal O'Regan Palle E. T. Jørgensen http://arxiv.org/abs/2503.14367v1 2025-03-18T15:48:55Z

We study uniqueness of an elliptic Riemannian polyhedron using the elliptic version for Boundary Control method, which we presented in [1]. We also present interface detection criteria for hyperbolic Riemannian manifolds through introduction of the waveguide notion, the four-wave mixing notion, etc.

2025-03-18T15:48:55Z Dimitra Kyriakopoulou http://arxiv.org/abs/2504.00006v1 2025-03-18T14:57:40Z

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper's self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on typography) and it is trivial (for reasons we will explain). We fix these flaws by formalizing the problem, and we give a very general solution using techniques from computability theory.

2025-03-18T14:57:40Z 7 pages, accepted for publication in the Proceedings of the ACMS Samuel Allen Alexander http://arxiv.org/abs/2503.14320v1 2025-03-18T14:51:24Z

We show that Boundary Control method, a method for hyperbolic inverse problems, is also capable of dealing directly with certain classes of elliptic and parabolic Inverse Boundary Value Problems; thus pointing towards Boundary Control method potentially constituting a means of unification of Inverse Boundary Value Problems. As an application we show that the Calderon problem can be dealt with directly via Boundary Control method, i.e. without reduction of the elliptic problem to a 'hyperbolized' problem.

2025-03-18T14:51:24Z Dimitra Kyriakopoulou http://arxiv.org/abs/1407.7289v6 2025-03-18T05:43:48Z

In this paper, the abc conjecture is negated under certain conditions

2014-07-27T22:36:49Z Please edit review and use this paper JinHua Fei http://arxiv.org/abs/2504.00005v1 2025-03-18T05:19:08Z

Two kinds of novel generalizations of Nesbitt's inequality are explored in various cases regarding dimensions and parameters in this article. Some other cases are also discussed elaborately by using the semiconcave-semiconvex theorem. The general inequalities are then employed to deduce some alternate inequalities and mathematical competition questions. At last, a relation about Hurwitz-Lerch zeta functions is obtained.

2025-03-18T05:19:08Z Junfeng Zhang Jintao Wang