https://arxiv.org/api/m+F8zyNWYRWMzDG6P6OFWmFm2+Q 2026-03-22T19:16:53Z 4675 165 15 http://arxiv.org/abs/2601.08461v1 2026-01-13T11:38:44Z

We provide a formal analytic proof for a class of non-canonical polynomial continued fractions representing π/4, originally conjectured by the Ramanujan Machine using algorithmic induction [4]. By establishing an explicit correspondence with the ratio of contiguous Gaussian hypergeometric functions 2F1(a, b; c; z), we show that these identities can be derived via a discrete sequence of equivalence transformations. We further prove that the conjectured integer coefficients constitute a symbolically minimal realization of the underlying analytic kernel. Stability analysis confirms that the resulting limit-periodic structures reside strictly within the Worpitzky convergence disk, ensuring absolute convergence. This work demonstrates that such algorithmically discovered identities are not isolated numerical artifacts, but are deeply rooted in the classical theory of hypergeometric transformations.

2026-01-13T11:38:44Z 4 pages Chao Wang http://arxiv.org/abs/2601.08889v1 2026-01-13T09:50:22Z

This paper investigates the dependence between primes in tuples through the analysis of the Hardy-Littlewood constant. A detailed analysis of the behavior of the constant for the pattern $(0,d)$ is conducted, depending on the arithmetic properties of $d$, including cases of convergence to the twin prime constant, divergence to infinity, and oscillatory behavior. Using methods from analytic number theory, the limiting distributions of the corresponding multiplicative functions are studied. It is shown that for symmetric tuples, the Hardy-Littlewood constant monotonically decreases as the tuple length decreases, indicating a weakening dependence between the primes. Theoretical conclusions are supported by calculations for specific symmetric tuples.

2026-01-13T09:50:22Z 23 pages Victor Volfson http://arxiv.org/abs/2601.06895v2 2026-01-13T06:44:36Z

This study presents explicit evaluations of the series \begin{equation*} \sum_{k=1}^\infty \frac{H_{k/n}^{(p)}}{k^q} \quad \text{and} \quad \sum_{k=1}^\infty \frac{(-1)^k H_{k/2n}^{(p)}}{k^q}, \quad p,q,n \in \mathbb{Z}_{\ge 1},\; q \ne 1, \end{equation*} for odd values of $p+q$. These explicit evaluations are expressed in terms of the Riemann zeta function and the Hurwitz zeta function.

2026-01-11T12:37:56Z Ali Olaikhan http://arxiv.org/abs/2601.04241v2 2026-01-12T12:30:35Z

Let $Q_{p,q}(t)\in\mathbb{Z}[t]$ be Sharipov's even monic degree-$10$ second cuboid polynomial depending on coprime integers $p\neq q>0$. Writing $Q_{p,q}(t)$ as a quintic in $t^{2}$ produces an associated monic quintic polynomial. After the weighted normalization $r=p/q$ and $s=r^{2}$ we obtain a one-parameter family $P_s(x)\in\mathbb{Q}[x]$ such that \[ Q_{p,q}(t)=q^{20}\,P_s\!\left(\frac{t^{2}}{q^{4}}\right)\qquad\text{with}\qquad s=\left(\frac{p}{q}\right)^{2}. \] We show that for every rational $s>0$ with $s\neq 1$ the equation $P_s(x)=0$ has no rational solutions. Equivalently, $P_s$ admits no $1+4$ factorization over $\mathbb{Q}$. The proof uses an explicit quotient by the inversion involution $(s,y)\mapsto(1/s,1/y)$ and reduces the rational-root problem for $P_s$ to rational points on the fixed genus-$2$ hyperelliptic curve \[ C:\quad w^2=t^5+21t^4+26t^3+10t^2+5t+1=(t+1)(t^4+20t^3+6t^2+4t+1). \] Using Magma and Chabauty's method on the Jacobian of $C$, we compute $C(\mathbb{Q})$ exactly and conclude that the only parameter value producing a rational root is the excluded case $s=1$ (equivalently $p=q$). As a consequence, for coprime $p\neq q>0$ the polynomial $Q_{p,q}(t)$ has no rational roots (hence no linear factor over $\mathbb{Q}$, and in particular no linear factor over $\mathbb{Z}$).

2026-01-05T13:37:46Z Partial progress on the irreducibility of the second cuboid polynomial (Sharipov's second conjecture): non-existence of 1+4 factorization for the associated quintic. Computer-assisted proof Valery Asiryan http://arxiv.org/abs/2601.07146v1 2026-01-12T02:35:52Z

This article focuses on the construction of left-continuous t-norms on complete lattices. The concepts of $\mathfrak{f}$-mappings and weak $\mathfrak{f}$-mappings on complete lattices are first introduced, respectively. They are then applied to establish the following key results: weak $\mathfrak{f}$-mappings are used to induce left-continuous t-subnorms; $\mathfrak{f}$-mappings are used to generate left-continuous t-norms whenever the top element $1$ of the complete lattice is a completely join-irreducible element. Finally, some necessary and sufficient conditions are provided for an operator constructed by the ordinal sum of a series of annihilating binary operators being a left-continuous t-norm on a complete lattice.

2026-01-12T02:35:52Z 19 Peng He Xue-ping Wang http://arxiv.org/abs/1403.8075v11 2026-01-09T08:52:13Z

The results of the study provide guidelines for the development and applications of algorithms. When the number of steps for calculating an assumption tends to infinity, probability theory can be applied to predict whether the assumption holds or not. This characteristic is related to the number of steps for verifying arbitrarily large prime numbers. This study proved that $π(n)-Li(n)=o(M(n)\sqrt{Li(n)})$ almost certainly holds without any assumptions. Here, $π(n)$ is the number of primes not greater than $n$, $Li(n)$ is a logarithmic integral function, and $M(n)$ is an arbitrary function such that $M(n)\rightarrow\infty$. This result implies that the Riemann hypothesis holds as the falseness of the Riemann hypothesis leads to a contradiction.

2014-03-23T06:12:14Z Withdrawn due to a logical error in Section 4. In Proposition 4.1, the argument incorrectly treats primality verification as equivalent to checking leading digits in multiple base representations, and the subsequent independence assumption for fp(1),...,fp(n) is unjustified. This invalidates the derivation of Theorems 4.3-4.4 Yasuo Nishii http://arxiv.org/abs/2601.06208v1 2026-01-08T13:25:42Z

In this paper, we will introduce an extension to the Collatz's conjecture. This conjecture may be seen as a general conjecture that unifies the Collatz one together with many other similar conjectures. For instance, we propose our new conjecture modulo $10$ which may be stated as follows. Starting from any positive integer, if it is a multiple of $10$ then divide it by 10, otherwise, multiply it by $12$, add $8$ times its last digit and divide the result by $10$. Repeat the process infinitely. Regardless the starting number, the process eventually reaches $4$ after a finite number of iterations. The genaral conjecture studied here will encompasse the classical Collatz conjecture togher with our proposed one modulo $10$.

2026-01-08T13:25:42Z 18 pages Abderrahman Bouhamidi http://arxiv.org/abs/2503.01848v5 2026-01-07T15:58:29Z

We obtain an orthogonality space by endowing an implicative-ortholattice with a suitable orthogonality relation; for such spaces, we also investigate the particular case of implicative-orthomodular lattices. Moreover, we define the commutativity relation between two elements of an implicative-ortholattice, as well as the Sasaki projections on this structure. Furthermore, we characterize the implicative-orthomodular lattices and implicative-Boolean algebras, showing that the center of an implicative-orthomodular lattice is an implicative-Boolean algebra. We prove that an implicative-ortholattice is an implicative-orthomodular lattice if and only if it admits a full Sasaki set of projections. Finally, based on Sasaki maps on implicative-ortholattices, we introduce the notion of Sasaki spaces, proving that when a complete implicative-ortholattice admits a full Sasaki set of projections, it is a Sasaki space. We also provide a characterization of Dacey spaces arising from implicative-ortholattices.

2025-02-15T05:27:00Z arXiv admin note: text overlap with arXiv:2403.16762, arXiv:2503.00006 Lavinia Corina Ciungu http://arxiv.org/abs/2601.04289v1 2026-01-07T15:02:10Z

We introduce an explicit logarithmic transformation $T(x) = \{\log_6(x + 1/5)\}$ under which the Collatz map becomes a rigid circle rotation by the irrational angle \(α= \log_6 3\), perturbed by a uniformly bounded error term. We prove that for all positive integers \(x\), $T(C(x)) = T(x) + α+ \varepsilon(x) \pmod{1}$, where \(|\varepsilon(x)| \le 0.2749\) and \(\varepsilon(x) = O(1/x)\) as \(x \to \infty\). We derive the transformation from an exact functional equation linking the even and odd branches of the Collatz map, explain the arithmetic origin of the parameters \(6\) and \(1/5\), and analyse the structure of the resulting error term. Extensive numerical computations up to \(10^{12}\) confirm the sharpness of the bounds and show that cumulative errors remain uniformly bounded along all tested trajectories. While this near-conjugacy does not by itself resolve the Collatz conjecture, it provides a concrete and quantitative dynamical framework that clarifies the geometric structure underlying the Collatz iteration and may be useful in further analytical or experimental investigations of Collatz-type systems.

2026-01-07T15:02:10Z Barmak Honarvar Shakibaei Asli http://arxiv.org/abs/2505.03754v2 2026-01-06T20:57:59Z

We present a branch-consistent framework for integrals involving quadratic radicals by expressing exponentials of principal inverse trigonometric functions in algebraic form. Two identities for $e^{\pm i\cos^{-1}(y)}$ and $e^{\pm i\sec^{-1}(y)}$ on principal branches yield five explicit substitution templates that map common radicals and half-angle composites to rational functions of a single parameter. The resulting differentials are independent of the sign choice once the branches are fixed, reducing domain bookkeeping across circular and hyperbolic regimes. We recover Euler's first and second substitutions from these transforms up to trivial reparametrizations and provide worked examples; in particular, the classical Weierstrass substitution is obtained as a direct corollary of Transform 5. A binomial-difference identity streamlines back-substitution terms such as $t^n - t^{-n}$. A CAS benchmark of 100 integrals indicates improved predictability and reduced expression swell relative to general-purpose integration routines.

2025-04-18T17:42:57Z 24 pages, 0 figures. Clarified principal-branch conventions/sign rules; unified Theorems; reorganized Transforms 1--5; added Weierstrass as a corollary; expanded examples; added 100-integral CAS benchmark; updated refs/typos Emmanuel Antonio José García http://arxiv.org/abs/2601.00876v2 2026-01-06T17:26:05Z

The cevians passing through a point in a simplex create a cevian simplex, which is divided by these cevians into smaller simplices. We consider the problem about the maximum of the ratio of the sum of the volumes of some of these smaller simplices by the volume of the reference simplex. The special case of tetrahedron is given as an example.

2025-12-30T22:39:44Z 5 pages, 1 figure Zamina Guliyeva Yagub Aliyev http://arxiv.org/abs/2601.06146v1 2026-01-05T20:27:00Z

This article proposes new perspectives for developing derivative based numerical algorithms, supported by the introduction of a generalized derivative operators. It demonstrates that these operators have the potential to enhance and extend existing derivativebased numerical methods. To this end, two iterative derivative driven methods are examined and refined: the Newton Raphson method and the Gradient method. For both approaches, generalized derivatives are introduced with the goal of reducing the number of iterations required for convergence. These modifications are presented through geometric interpretations of the proposed constructions, which clearly illustrate their convergenceaccelerating properties. The concluding remarks emphasize the significant opportunity to advance and refine numerical algorithms through the use of generalized derivatives.

2026-01-05T20:27:00Z Flavio Barbosa Fernando Nogueira http://arxiv.org/abs/2504.21007v3 2026-01-05T14:37:09Z

Let $q=p^k$ be a prime power, let $\mathbb{F}_q$ be a finite field and let $n\geq2$ be an integer. This note investigates the existence small primitive normal elements in finite field extensions $\mathbb{F}_{q^n}$. It is shown that a small nonstructured subset $\mathcal{A}\subset \mathbb{F}_{q^n}$ of cardinality $\#\mathcal{A}\gg (\log q^n) (\log\log q^n)^{1+\varepsilon}) $, where $\varepsilon>0$ is a small number, contains a primitive normal element.

2025-04-12T15:23:03Z Thirty-Nine Pages. Keywords: Finite field; Primitive element; Normal element; Complexity of primitive normal element N. A. Carella http://arxiv.org/abs/2601.04240v1 2026-01-05T13:35:06Z

We consider the even monic degree-$10$ second cuboid polynomial $Q_{p,q}(t)\in\mathbb{Z}[t]$ depending on coprime integers $p\neq q>0$. We exclude the existence of a splitting of type $5+5$ over $\mathbb{Q}$, i.e., a factorization of $Q_{p,q}(t)$ into two irreducible quintic polynomials. Since $Q_{p,q}(t)$ is even and satisfies $Q_{p,q}(0)\neq 0$, any such $5+5$ splitting is necessarily symmetric, meaning that it can be written in the normal form $Q_{p,q}(t)=R_{p,q}(t)\cdot (-R_{p,q}(-t))$. After a weighted normalization reducing to a one-parameter polynomial $Q_r(u)$ with $r=p/q\in\mathbb{Q}_{>0}$, coefficient comparison and elimination via resultants show that a $5+5$ splitting forces the existence of a rational point on an explicitly defined plane curve $F(r,a)=0$. Passing to the quotient parameters $a=r y$ and $s=r^2$ yields an affine curve $f(s,y)=0$ such that, for each fixed $s>0$, the polynomial $f(s,\cdot)$ is of degree $16$. We compute and factor the discriminant $\mathrm{Disc}_y(f)$ and then use Sturm root counts to certify that $f(s,\cdot)$ has no real roots for every rational $s>0$ with $s\neq 1$. Hence $f(s,y)=0$ admits no rational solutions with $s>0$, $s\neq 1$, and consequently no quintic $5+5$ factorization occurs for $Q_{p,q}(t)$ when $p\neq q$.

2026-01-05T13:35:06Z Partial progress on the irreducibility of the second cuboid polynomial (Sharipov's second conjecture): exclusion of degree 5+5 factors. Computer-assisted proof Valery Asiryan http://arxiv.org/abs/2601.06131v1 2026-01-05T00:45:36Z

In this paper, we introduce a newly defined algebraic invariant for square matrices termed the \emph{Alternating Power Difference (APD)}. The APD is defined as the signed sum of the powers of diagonal sums along permutations of the symmetric group, distinguishing between even and odd permutations. It serves as a measure of the broken even-odd symmetry inherent in a matrix through higher-order moments. We applied this invariant to all 880 essentially different normal $4\times4$ magic squares (excluding symmetries) and defined the \emph{First Appearance Degree} $m_1$ as the minimum power at which the APD first becomes non-zero. Through an exhaustive computational search, we found that these magic squares are categorized into three clearly separated classes: $m_1=3$ (240 squares), $m_1=4$ (624 squares), and $m_1=\infty$ (16 squares). In particular, the case $m_1=\infty$ identifies exceptionally rare magic squares for which the APD vanishes at all degrees. We refer to these as \emph{Complete Alternating Magic Squares} and demonstrate that they possess a strong algebraic symmetry undetectable by conventional geometric classifications or link-line patterns. Furthermore, we reveal that the APD-based classification refines the classical link-line classification based on complementary sum pairs, showing that each geometric type is clearly distinguished by its first appearance degree. All results in this paper are based on exhaustive computations and are fully reproducible. Our findings suggest that the APD is an effective new invariant for detecting hidden algebraic structures in magic squares and related combinatorial matrices.

2026-01-05T00:45:36Z 20 pages, 14 pages for the main text, including 6 pages of Appendix Kenichi Takemura