https://arxiv.org/api/pi3O+3Otmwb5rnxLRkcogxX67cE 2026-03-20T11:34:36Z 4675 30 15 http://arxiv.org/abs/2003.13055v6 2026-03-10T21:37:17Z

In this paper, we introduce and develop the notion of spanning of integers along functions $f:\mathbb{N}\longrightarrow \mathbb{R}$. We apply this method to a class of problems that requires to determine if the equations of the form $tf(n)=n-k$ has a solution $n\in \mathbb{N}$ for a fixed $k\in \mathbb{N}$ and some $t\in \mathbb{N}$. In particular, we show that \begin{align} \# \{n\leq s~|~t\varphi(n)+1=n,~\mathbf{for~some}~t\in \mathbb{N}\}\geq \frac{s}{2\log s}\prod \limits_{p | \lfloor s\rfloor }(1-\frac{1}{p})^{-1}-\frac{3}{2}e^γ\nonumber \end{align} as $s\longrightarrow \infty$, where $\varphi$ is the Euler totient function and $γ=0.5772\cdots$ is the Euler-Macheroni constant.

2020-03-29T15:27:34Z 9 pages; the paper has been reformatted and introduction expanded; ideas remain unchanged Theophilus Agama http://arxiv.org/abs/2603.10096v1 2026-03-10T16:40:10Z

In many practical applications, signals and environments are time- varying, which makes fixed filters unreliable. Adaptive filtering, on the other hand, updates in real time to suppress noise, track nonstationary signals, and identify unknown systems. This paper investigates an adaptive filtering frame- work based on canonical systems with time-varying symmetric positive semi- definite Hamiltonian matrices. The proposed method adapts the Hamiltonian matrix using a gradient-based scheme designed to minimize the squared er- ror between the system output and a desired reference signal. We establish theoretical stability guarantees via Lyapunov analysis, ensuring boundedness of system trajectories and convergence of the error signal under suitable as- sumptions. Furthermore, we present numerical integration schemes preserving the underlying Hamiltonian structure and projective techniques to maintain positive semidefiniteness of the Hamiltonian matrix. Extensive simulations on synthetic nonstationary signals illustrate the effectiveness and robustness of the proposed adaptive filter.

2026-03-10T16:40:10Z Keshav Raj Acharya Pitambar Acharya http://arxiv.org/abs/0907.2426v9 2026-03-10T16:32:18Z

For any $s \in \mathbb{C}$ with $\Re(s)>0$, denote by $η_{n-1}(s)$ the $(n-1)^{th}$ partial sum of the Dirichlet series for the eta function $η(s)=1-2^{-s}+3^{-s}-\cdots \;$, and by $R_n(s)$ the corresponding remainder. Denoting by $u_n(s)$ the segment starting at $η_{n-1}(s)$ and ending at $η_n(s)$, we first show how, for sufficiently large $n$ values, the circle of diameter $u_{n+2}(s)$ lies strictly inside the circle of diameter $u_n(s)$, to then derive the asymptotic relationship $R_n(s) \sim (-1)^{n-1}/n^s$, as $n \rightarrow \infty$. Denoting by $D=\left\{s \in \mathbb{C}: \; 0< \Re(s) < \frac{1}{2}\right\}$ the open left half of the critical strip, define for all $s\in D$ the ratio $χ_n^{\pm}(s) = η_n(1-s) / η_n(s)$. We then prove that the limit $L(s)=\lim_{N(s)<n\to\infty} χ_n^{\pm}(s)$ exists at every point $s$ of the domain $D$. The function $L(s)$ is continuous on $D$ if and only if the Riemann Hypothesis is true. Finally, we remark how the asymptotic behaviour of $R_n(s)$ can also provide insights substantiating the so called Simple Zeros Conjecture.

2009-07-14T19:25:10Z 13 pages, typos corrected in (10) and (16). Added (15) as a useful aid in streamlining narration in the paragraph following it, as well as in Final Remarks section Luca Ghislanzoni http://arxiv.org/abs/2603.10077v1 2026-03-10T08:01:39Z

In this paper, we mainly discuss the constructions and the characteristics of betweenness relations and fuzzy betweenness relations in KM-fuzzy metric spaces. And the family of betweenness relations induced by a KM-fuzzy metric form a nest of betweenness relations.The main focus of this paper is to introduce two different construction methods for fuzzy betweenness relations induced by a KM-fuzzy metric.One of them is directly obtained by using the implication operator. The other is through the corresponding nest of metrics of KM-fuzzy metrics. Furthermore, we also show that the two types of fuzzy betweenness relations are the same, and they also satisfy the eight kinds of four-point transitivity properties and the six kinds of five-point transitivity properties.

2026-03-10T08:01:39Z Yu Zhong http://arxiv.org/abs/2603.05122v2 2026-03-10T04:31:00Z

We present an unconditional proof that non-trivial zeros of the Riemann Zeta function must lie strictly on the critical line $\text{Re}(s) = 0.5$. By defining a recursive path of Taylor expansions originating from the domain of absolute convergence, we translate the zeta function towards the critical region, which is an easy-to-understand form of the analytical continuation. We then assume the existence of off-critical-line (off-line) zeros, which exist in pairs symmetric by the critical line. If the pairs are zero in value, their real and imaginary components differences should be both zero. However, we derive a contradiction against the assumption via basic logical deduction, proving the non-existence of the off-line zeros.

2026-03-05T12:51:40Z This copy contains a few problems identified by the author, and should be withdrawn promptly Yunwei Bai http://arxiv.org/abs/1712.08165v5 2026-03-09T17:37:23Z

This article proposes a bivariate polynomial problem for finite-order real matrices that endows a \textit{`sufficient condition'} for a map from the standard vector spaces of finite-order real matrices to the same dimensional bivariate polynomial subspaces (BVPSs) to be an isomorphism in some finite-dimensional BVPSs. In the process of solving, the article deals with the existence, uniqueness, and construction of the polynomials in some finite-dimensional BVPSs concerning the solution of the proposed problem. To this end, a relationship is established between the proposed problem and a class of Lagrange bivariate polynomial interpolation problems (LBVPIPs). As a result, the existence of a standard and a new class of finite-dimensional BVPSs of various total degrees has been established in which the proposed problem always possesses a unique solution. In addition, some formulas are derived to construct the needed polynomials in these BVPSs. Further, the possible applicability of the proposed problem is discussed in LBVPIPs, focusing on the finite rectangular schemes of bivariate interpolation points on the natural Cartesian grid. At last, some numerical examples are considered to justify the theoretical findings.

2017-12-21T12:25:56Z 20 pages, 1 figures, 6 diagrams GANITA, vol. 75, no. 1, pp. 1-20, 2025 Dharm Prakash Singh Amit Ujlayan Bhim Sen Choudhary http://arxiv.org/abs/1711.02665v6 2026-03-09T17:12:35Z

In this paper, we introduce the notion of the universe, induced communities, and cells with their corresponding spots. Using this language, we formulate and prove the union close set conjecture by showing that for any finite universe $\mathbb{U}$ and any induced community $\mathcal{M}_{\mathbb{U}}$ there exist some spot $a\in \mathbb{U}$ such that the density \begin{align} \mathcal{D}_{\mathcal{M}_{\mathbb{U}}}(a)\geq \frac{1}{2}.\nonumber \end{align}

2017-11-07T23:27:57Z 8 pages; the paper has been reformatted and introduction greatly expanded; ideas remain unchanged Theophilus Agama http://arxiv.org/abs/2601.11892v2 2026-03-09T13:11:20Z

We give a self-contained analytic proof of the continued fraction identity \[ -\fracπ{4} = \cfrac{1}{-1+\cfrac{1^2}{-3+\cfrac{2^2}{-5+\cfrac{3^2}{-7+\cdots}}}} \] whose partial quotients are $a_n = (n-1)^2$ and $b_n = -(2n-1)$. The argument proceeds in two steps. First, we recall the classical Gauss continued fraction for $\arctan(z)$ and evaluate it at $z=-1$, where absolute convergence is guaranteed by the Gauss--Kummer theorem for ${}_2F_1\!\left(\tfrac{1}{2},1;\tfrac{3}{2};-1\right)$. Second, we exhibit an explicit equivalence transformation $\mathcal{T}$, given by the constant sequence $r_n = -1$, that maps the Gauss form to the stated identity while preserving the value. We include a numerical comparison demonstrating that the continued fraction achieves super-exponential acceleration relative to the Gregory--Leibniz series.

2026-01-17T03:17:20Z 5 pages Chao Wang http://arxiv.org/abs/1803.09155v9 2026-03-09T05:02:49Z

In this paper, we introduce and develop the method of diagonalization of functions $f:\mathbb{N}\longrightarrow \mathbb{R}$. We apply this method to show that the equations of the form $Γ_r(n)+k=m^2$ has a finite number of solutions $n\in \mathbb{N}$ with $n>r$ for any fixed $k,r\in \mathbb{N}$, where $Γ_r(n)=n(n-1)\cdots (n-r)$ denotes the $r^{th}$ truncated Gamma function.

2018-03-24T19:26:19Z 7 pages; the paper has been reformatted and introduction expanded; ideas remain unchanged Theophilus Agama http://arxiv.org/abs/1910.13828v4 2026-03-09T01:34:48Z

In this paper, we introduce and develop the theory of the Collatz process and the method of dynamical balls. We leverage this theory to study the Collatz conjecture. This theory also has a subtle connection with the infamous problem of the distribution of Sophie Germain primes. We provide several formulations of the Collatz conjecture in this language. Furthermore, we introduce and develop the notion of dynamical systems induced by fixed $a\in \mathbb{N}$ and their associated induced dynamical balls. We develop tools to study problems that require determining the convergence of certain sequences generated by iterating on a fixed integer.

2019-10-29T00:41:53Z 20 pages; the paper has been reformatted and introduction expanded; ideas remain unchanged Theophilus Agama http://arxiv.org/abs/2601.06128v3 2026-03-09T00:24:03Z

We study the finite sampling map $H \mapsto \bigl(v_{H,Λ}(x_k + iη)\bigr)_{k=1}^M$ for trace-normed canonical systems on $[0,Λ]$ with free tail $H(s)=\frac{1}{2}I$ for $s \ge Λ$, where $v_{H,Λ}$ is the Schur transform of the Weyl coefficient. At the free Hamiltonian $H_0 \equiv \frac{1}{2}I$, we obtain an explicit first-order expansion with quadratic remainder; the linearization is a weighted Fourier--Laplace transform. This yields quantitative local identifiability and local inversion on finite-dimensional families for which the free Jacobian is injective. In the block model, the free Jacobian factors into a row factor, a Fourier sampling matrix, and exponential depth weights, giving explicit singular-value bounds and an exponential depth-conditioning barrier. By contrast, on the full free-tail class every finite sample set has nontrivial first-order invisible directions at $H_0$, so no local inverse-Lipschitz estimate can hold near $H_0$ in $L^1(0,Λ;\mathrm{op})$.

2026-01-04T16:51:35Z 28 pages Sharan Thota http://arxiv.org/abs/2603.00001v2 2026-03-08T18:41:24Z

We present a new proof of the necessary and sufficient condition for the existence of a triangle that is simultaneously inscribed in a circle and circumscribed about a central conic (an ellipse or a hyperbola). In the limiting case where the foci of the conic coincide, the condition reduces to the classical Chapple-Euler relation. We also prove that the sum of the squared sides lengths of a Poncelet triangle is invariant over a family of Poncelet triangles inscribed in a circle and circumscribed about a central conic if and only if the circle is centered either at the center of the conic or at one of the foci of the conic, among several other properties of such triangles that we derive.

2025-12-25T13:58:23Z v2: Minor corrections to equation references and corrected a typo in eq. (5.4) Vladimir Dragović Mohammad Hassan Murad http://arxiv.org/abs/2404.08518v5 2026-03-08T13:42:02Z

This paper collects polynomial Diophantine equations that are amazingly simple to write down but are apparently difficult to solve.

2024-04-12T14:56:38Z Bogdan Grechuk http://arxiv.org/abs/2603.15657v1 2026-03-08T07:00:14Z

We present an algebraic generalization of Euler's theorem for quadrilaterals. Starting from the parallelogram identity in an inner product space, we derive Apollonius' identity and obtain Euler's quadrilateral identity in a unified vector framework. Using combinatorial approach, we establish a general algebraic relation for $n\geq 4$ vectors in an arbitrary real or complex inner product space. This result shows that Euler's classical relation is a special case of a general identity involving sums of squared norms of vectors.

2026-03-08T07:00:14Z Mohammad Hassan Murad http://arxiv.org/abs/1707.03265v4 2026-03-08T05:07:13Z

In this paper, we prove the twin prime conjecture showing that \begin{align} \sum \limits_{\substack{p\leq x\\p,p+2\in \mathbb{P}}}1\geq (1+o(1))\frac{x}{2\mathcal{C}\log^2 x}\nonumber \end{align} where $\mathcal{C}:=\mathcal{C}(2)>0$ fixed and $\mathbb{P}$ is the set of all prime numbers. In particular, it implies \begin{align} \sum \limits_{p,p+2\in \mathbb{P}}1=\infty\nonumber \end{align} when we take $x\longrightarrow \infty$ on both sides of the inequality. We start by developing a general method for estimating correlations of the form \begin{align} \sum \limits_{n\leq x}G(n)G(n+l)\nonumber \end{align} for a fixed $1\leq l\leq x$ and where $G:\mathbb{N}\longrightarrow \mathbb{R}^{+}$.

2017-06-26T15:10:14Z 11 pages; the paper has been reformatted and the introduction has been expanded; the ideas remain unchanged Theophilus Agama