Equivalence Problem for Non-Linearizable Third-Order ODEs with Four-Dimensional Lie Symmetry Subalgebras under Point Transformations

2026-02-10T13:47:31Z

Cartan's equivalence method is applied to explicitly construct invariant coframes for four branches, which are used to characterize all non-linearizable third-order ODEs with a four-dimensional Lie symmetry subalgebra under point transformations. Additionally, we present a method for constructing the point transformations based on the derived invariant coframes. Examples are provided to illustrate our approach.

Robin inequality,Lagarias criterion, and Riemann hypothesis

2026-02-09T18:27:55Z

In this paper, we make use of Robin and Lagarias' criteria to prove Riemann hypothesis. The goal is, using Lagarias criterion for $n\geq 1$ since Lagarias criterion states that Riemann hypothesis holds if and only if the inequality $\sum_{d|n}d\leq H_{n}+\exp(H_{n})\log(H_{n})$ holds for all $n\geq 1$. Although, Robin's criterion is used as well. Our approach breaks up the set of the natural numbers into the two main subsets. The first subset is $\{n\in \mathbb{N}| ~ 1\leq n\leq 2(3\times5\dots\times331)^{2}\}$. The second one is $\{n\in \mathbb{N}| ~ n\geq 2(3\times5\dots\times331)^{2}\}$. In our proof, the second subset is decomposed again into the three sub-subsets including odd numbers and the two groups of the even numbers. Then,each group of the even numbers is expressed by an odd integer class number set. Finally, mathematical arguments are stated for each odd integer class number set. Odd integer class number set is introduced in this paper. Since the Lagarias criterion holds for the first subset regarding computer aided computations and Thomas Morril's paper, we do prove it for the second subset using both Lagarias and Robin's criteria and mathematical arguments. It then follows that Riemann hypothesis holds as well. Essential keys of the proof for large numbers are theorem 1 proving $σ(m)<\frac{1}{2}e^γm \log\log(2m)$ for odd numbers $m\geq (3\times5\dots\times331)^{2}$, lemma9 and lemma 10 proving $e^γ(1-\frac{1}{p_{1}})\dots (1-\frac{1}{p_{n}})\log\log(2p_{1}\dots p_{n})<2$ for $n\geq 1$ and $e^γ(1-\frac{1}{p_{1}})\dots (1-\frac{1}{p_{n}})\log\log(2p^{2}_{1}\dots p^{2}_{n})>2$ for $n\geq 66$.

On transcendence of non-periodic continued fractions associated with modular forms and arithmetic functions

2026-02-09T11:19:22Z

The purpose of this article is two-folds. Firstly, we establish two sufficient conditions under which the sequence $\{f(n)\pmod{m}: n\geq1\}$ is non-periodic, where $f(n)$ is an arithmetic function. As consequences, we deduce that the sequences associated with the Ramanujan tau function $τ(n)$ as well as the Fourier coefficients of certain normalized Eisenstein series $E_k(z)$ modulo $m$ are non-periodic. Further, we deduce that the sequence arising from Nathanson's totient function $Φ(n)$, the classical Euler's totient function $\varphi(n)$, sum of divisor function $σ(n)$, their Dirichlet convolution $σ*\varphi(n)$, Jordan's totient function $J_k(n)$, and unitary totient function $\varphi^*(n)$ modulo $m$, are non-periodic for certain modulo $m$. In addition, we extend a result of Ayad and Kihel \cite{r1} on the non-periodicity of certain arithmetic function $g(n)$. On the other hand, we construct several transcendental numbers arising from the continued fractions attached with $τ(n)$, $E_k(z)$, $Φ(n)$, $g(n)$, $\varphi(n)$, $σ(n)$, $σ*\varphi(n)$, $J_k(n)$, and $\varphi^*(n)$.

Exact and Asymptotic Counts of MSTD, MDTS, and Balanced Sets in Dicyclic Groups

2026-02-09T10:54:31Z

We investigate the relationship between the sizes of the sum and difference sets of the Dicyclic Group $\mathrm{Dic}_{4n}$. We first determine the exact numbers of MSTD (more sums than differences), MDTS (more differences than sums), and balanced subsets of size two. As a consequence, we show that the numbers of MSTD and balanced subsets of size two are asymptotically equal as $n \to \infty$. For odd $n$, we then obtain exact counts of MSTD, MDTS, and balanced subsets of size three, with the results depending on whether $n$ is divisible by $3$. In this case, we establish that asymptotically the number of MSTD subsets of size three is six times the number of MDTS subsets and also six times the number of balanced subsets. Finally, we establish a lower bound for the number of MSTD, MDTS, and balanced subsets of $\mathrm{Dic}_{4n}$ corresponding to the boundary case of size $2n$.

Circular Super patterns and Zigzag constructions

2026-02-09T10:34:52Z

In this article, we introduce the notion of circular k-superpatterns, defined as permutations that contain all length-k patterns up to rotation equivalence. We present a construction of a circular superpattern from a linear (k-1)-superpattern and explicitly derive an upper bound on its length. Motivated by the zigzag framework of Engen and Vatter, we adapt and simplify their score function to the circular setting and analyze its parity properties. For odd k, we propose a candidate zigzag construction for circular superpatterns, supported by computational evidence for small values of k.

An Elementary Obstruction to the Existence of a Perfect Cuboid

2026-02-09T03:49:05Z

We study arithmetic constraints arising from the three faces meeting along the space diagonal of a rectangular cuboid. Using a propagation mechanism along this diagonal, based on the appearance of a minimal odd prime in certain triangular remainders, we derive strong structural restrictions on possible configurations. These constraints induce an infinite descent along the space diagonal, preventing the existence of a compatible integral structure. This approach provides an elementary obstruction to the existence of a perfect cuboid, relying only on divisibility and congruence arguments, and avoiding the use of Gaussian integers or classical quadratic factorizations.

A root finding method with arbitrary order of convergence

2026-02-09T02:01:23Z

Let $a\in \mathbb{R}^{+}\backslash\left\{0\right\}$ and $M\in\mathbb{N}$. We consider the equation $t^M-a=0$, which is equivalent to $1-\frac{t^M}{a}=0\,.$ The real solution is $\sqrt[M]{a}$. In this publication, we present a method that enables the calculation of $\sqrt[M]{a}$ with arbitrary order of convergence using only polynomials. We define the fixed point function \[ F\left(x\right) =\prod_{\ell=1}^{P}\left(1+\frac{1}{\ell\cdot M}\right) \int\limits_{0}^{x}\!\left(1-{\frac{{t}^{M}}{a}}\right)^{P}{\rm d}t =\sum\limits_{k=0}^{P}\frac{\left(-1\right)^{\,k}}{a^{\,k}}\cdot\binom{P}{k}\cdot\frac{x^{\,k\,\cdot M+1}}{k\,\cdot M+1} \] This is a polynomial of degree $\left(P\cdot M+1\right)$ with $\left(P+1\right)$ terms. The calculation of $\sqrt[M]{a}$ is thus reduced to a polynomial evaluation. The computational tests we performed demonstrate the efficiency of the method. -- Es sei $a\in \mathbb{R}^{+}\backslash\left\{0\right\}$ und $M\in\mathbb{N}$. Vorgelegt ist die Gleichung $t^M-a=0$, die äquivalent zu $1-\frac{t^M}{a}=0$ ist. Die reelle Lösung hiervon ist $\sqrt[M]{a}$. In dieser Veröffentlichung stellen wir ein Verfahren vor, das die Berechnung von $\sqrt[M]{a}$ mit beliebiger Konvergenzordnung ermöglicht und nur Polynome verwendet. Wir definieren die Fixpunktfunktion \[F\left(x\right) =\prod_{\ell=1}^{P}\left(1+\frac{1}{\ell\cdot M}\right) \int\limits_{0}^{x}\!\left(1-{\frac{{t}^{M}}{a}}\right)^{P}{\rm d}t =\sum\limits_{k=0}^{P}\frac{\left(-1\right)^{\,k}}{a^{\,k}}\cdot\binom{P}{k}\cdot\frac{x^{\,k\,\cdot M+1}}{k\,\cdot M+1} \] Das ist ein Polynom vom Grad $\left(P\cdot M+1\right)$ mit $\left(P+1\right)$ Summanden. Anhand ausgewählter Beispiele von Wurzelberechnungen zeigen wir die Effizienz des Verfahrens.

Proof of Riemann hypothesis

2026-02-07T17:00:13Z

We prove Riemann hypothesis. Method is to show the convexity of function which has zeros on open critical strip the same as zeta function.

Equidistribution of Primitive Normal Elements in Finite Fields

2026-02-06T20:02:33Z

Let $q=p^k$ be a prime power, let $n\geq2$ be an integer and let $\mathbb{F}_{q^n}$ be a finite field. It is shown that the set of primitive normal elements is a Salem set. Furthermore, it is proved that this set is strongly equidistributed in the finite field. Similar results are proved for the set of quadratic residues and the set of primitive roots modulo a large prime $p\geq 3$.

A Quartic Identity Related to Fermat-Type Equations

2026-02-05T19:43:34Z

We provide a short proof of an algebraic identity. For integers $n\ge 2$ and variables $x,y,z$, it represents $(x^n+y^n-z^n)$ as a value of the quadratic form $\mathcal A^2+\mathcal B^2-\mathcal C^2$ after multiplication by an explicit factor. Consequently, any hypothetical solution of $x^n+y^n=z^n$ yields a Pythagorean triple $(\mathcal A,\mathcal B,\mathcal C)$ consisting of explicit polynomial expressions in $x,y,z$.

Algorithm to Compute a Kharitonov-Type Sector Containing All Roots of Hurwitz Interval Polynomials

2026-02-05T17:35:55Z

This paper presents a Kharitonov-type algorithm for complex interval Hurwitz polynomials that determines whether all roots of a given interval polynomial lie within a prescribed angular sector of the complex plane. The method requires evaluating a finite set of additional Kharitonov polynomials. For complex coefficient uncertainty, up to sixteen such polynomials are sufficient, while in the real-coefficient case up to eight are needed. A bisection-based refinement procedure is introduced to compute a containing sector that encloses the angles of all roots. The algorithm progressively tightens the sector bounds and can achieve arbitrarily small accuracy. In the real-coefficient case, the symmetry of the construction allows the real Kharitonov result to be derived directly from the complex case. Numerical experiments suggest that the minimal containing sector coincides with the sector determined by the vertex polynomials, or possibly by a subset of them.

$3n + 3^k$ Problem

2026-02-05T14:53:40Z

The Collatz problem is generalized into $3n + 3^k$ problem. It is shown that as long as the Collatz function iterates converge to the cycle passing through the number 1, the $3n + 3^k$ sequence converges to the cycle passing through the number $3^k$ for arbitrary positive integers $n$ and $k$. The proof shows that the sequence of $3n + 3^k$ function iterates for a number $3^k n$ is exactly the sequence of the Collatz function iterates for $n$ multiplied by $3^k$.

Sine laws on semigroups with an involutive anti-automorphism: A Levi--Civita approach via left translations

2026-02-05T13:31:42Z

Stetkær's matrix (Levi--Civita) method is a powerful tool for functional equations on semigroups involving a homomorphism $σ$, as it yields a finite-dimensional invariant space under right translations and a corresponding matrix formalism. However, this framework collapses when $σ$ is an involutive anti-automorphism due to the order reversal in the right-regular action. In this paper, we overcome this obstruction at the operator level by establishing the conjugation identity: letting $J$ denote composition with $σ$, we prove \[ J\,R(σ(y))\,J=L(y)\qquad(\forall\,y\in S), \] which converts the problematic right translates into left translations. Using this left-translation approach, we obtain an anti-automorphic Levi--Civita closure principle and apply it to the generalized sine law, recovering the classical dichotomy $β\in\{\pm1\}$ and the associated $xy$-addition law. Moreover, under a mild centrality assumption (e.g.\ for commutative semigroups), we also recover the standard $σ$-transformation rules (such as $f\circσ=βf$ and the corresponding formula for $g\circσ$).

Unified Geometric, Fuzzy, and Computational Framework for Ternary Gamma Semirings

2026-02-04T19:07:49Z

Aim. This paper (Paper D) unifies the ideal-theoretic, computational, and homological layers developed in Papers A (Rao 2025), B (Rao 2025), and C (Rao 2025) into a geometric framework that includes fuzzy and computational geometries on the spectrum Spec_G(T) and derived invariants in TGMod. Scope. We construct structure sheaves and Grothendieck topologies adapted to ternary G-products, develop fuzzy and weighted sites, and prove dualities bridging primitive spectra, Schur-density embeddings, and derived functors Ext and Tor. Outcomes. We obtain comparison theorems between radical/primitive strata and cohomological supports, and supply computable criteria and algorithms for finite models.

The Riemann $Ξ$-function from primitive Markovian cycles II: Strip rigidity and divisor identification

2026-02-04T14:16:27Z

We compare the Riemann $Ξ$--function to a canonical real-entire reference family arising from the cycle Laplacian developed in Paper I. These spectral determinants have only real zeros by self-adjointness. Our main tool is a rigidity lemma for holomorphic functions on horizontal strips. Applied to a normalized seam ratio linking $Ξ(2\cdot)$ to the reference family, this lemma shows that, under explicit holomorphy and boundary nonvanishing hypotheses verified in the forthcoming Paper III, the seam ratio extends to a zero-free holomorphic function of bounded type on each overlap strip. It follows that, on every admissible overlap strip, $Ξ(2\cdot)$ and the reference family have the same zero divisor.