On Taylor-like Estimates for Chebyshev Series Approximations of $e^x$

2025-09-05T05:31:32Z

Polynomial series approximations are a central theme in approximation theory due to their utility in an abundance of numerical applications. The two types of series, which are featured most prominently, are Taylor series expansions and expansions derived based on families of $L^{2}-$orthogonal polynomials on bounded intervals. Traditionally, however, the properties of these series are studied in an isolated manner and most results on the $L^{2}-$based approximations are restricted to the interval of approximation. In many applications, theoretical guarantees require global estimates. Since these often follow trivially from Taylor's remainder theorem, Taylor's series is often favored in these applications. Its suboptimal numerical performance on compact intervals, however, ultimately results in such numerical algorithms being suboptimal. We show that "Taylor-like" bounds valid outside of the interval of approximation may be derived for the important case of $e^{x}$ and Chebyshev polynomials on $[-1,1]$ and provide links to substantial numerical applications.

A Probabilistic Framework for the Erdos-Kac Theorem

2025-09-04T11:06:33Z

The Erdos-Kac theorem, a foundational result in probabilistic number theory, states that the number of prime factors of an integer follows a Gaussian distribution. In this paper we develop and analyze probabilistic models for "random integers" to study the mechanisms underlying this theorem. We begin with a simple model, where each prime p is chosen as a divisor with probability 1/p in a sequence of independent trials. A preliminary analysis shows that this construction almost surely yields an integer with infinitely many prime factors. To create a tractable framework, we study a truncated version Nx = product of p<=x of p^Xp, where Xp are independent Bernoulli(1/p) random variables. We prove an analogue of the Erdos-Kac theorem within this framework, showing that the number of prime factors omega(Nx) satisfies a central limit theorem with mean and variance asymptotic to log log x.

Every sufficiently large odd integer is a sum of two positive perfect squares and a prime

2025-09-04T06:20:00Z

We prove that every sufficiently large odd integer is a sum of two positive squares and a prime. Let R(n) be the number of representations n = x^2 + y^2 + p with x, y >= 1 and p prime. We show that R(n) > 0 for all odd n >= n0 and obtain the asymptotic formula R(n) = S(n) C n / log n, where S(n) > 0 is the singular series and C > 0 is the singular integral. The proof uses the Hardy-Littlewood circle method: on the major arcs we extract the main term, and on the minor arcs we combine an L2 bound for the prime exponential sum (via the Bombieri-Vinogradov theorem, the large sieve, and the Vaughan-Heath-Brown identity) with a fourth moment estimate for the quadratic Weyl sum. A p-adic local analysis, including the 2-adic case, shows S(n) > 0 for odd n. We work with the standard logarithmic weight on primes and pass to the unweighted count by partial summation.

Sectorial Green Functions in the Ternary Algebra C3 and Their Curved-Space Extension

2025-09-03T18:13:30Z

Green functions associated with higher-order differential operators typically lead to special-function expressions in curved or bounded geometries, obscuring analytic transparency. In this work we develop the sectorial Green function for the cubic operator $(D^3+1)$ within the ternary algebra $C_3$ (defined by $j^3=-1$). The algebra admits three exponential carriers and divides the complex plane into six Stokes sectors, in each of which the Green kernel assumes a closed exponential--trigonometric form. We compute explicit responses to box and Gaussian sources, extend the construction to higher algebras $C_4$ and $C_5$, and interpret the resulting kernels as propagators for multi-carrier quantum systems. The central novelty is that, unlike the quadratic $(D^2+1)$ case where curved backgrounds induce Bessel or Airy functions, the $C_3$ Green function in curved space reduces exactly to its flat-space form upon reparametrization by the geodesic coordinate. Curvature merely deforms the coordinate without altering the analytic structure, ensuring closed-form transparency even in curved geometries.

Parametric General Fractional Calculus: Nonlocal Operators Acting on Function with Respect to Another Function

2025-09-02T11:28:37Z

In this paper, we present the definitions and some properties of the general fractional integrals (GFIs) and general fractional derivatives (GFDs) of a function f(x) with respect to another function g(x). Examples of special cases of parametric GF operators are described. Some properties of the parametric GFIs and the parametric GFDs are proved. Representation of the parametric GFIs and parametric GFDs via the GF integrals on the finite interval (a,b). Fundamental theorems of parametric GFC are proved. Applied mathematical interpretations of parametric general fractional derivatives for processes with memory are given.

A Type 2 Fuzzy Set Approach for Building Linear Linguistic Regression Analysis under Multi Uncertainty

2025-08-31T20:09:36Z

In this paper, we propose a novel heuristic algorithm for constructing a Type-2 Fuzzy Set of the Linear Linguistic Regression (T2F-LLR) model, designed to address uncertainty and vagueness in real-world decision-making. We consider a practical scenario involving a cosmetic company's promotional planning across four product categories: Basic Face Care, Face Cleaning, Cosmetics, and Body Care, aimed at both male and female consumers. Data are collected using fuzzy linguistic questionnaires from customers and expert managers, with responses expressed using qualitative terms such as 'always', 'frequently', 'Often', 'Sometimes', and 'frequently'. These linguistic evaluations are modeled as Type-2 Fuzzy Set of Linear Linguistic regression (T2F-LLR) variables to capture both randomness and higher-order fuzziness. We rigorously develop a solution framework based on a one-sigma confidence interval using the credibility measure to calculate the expected values and variances of the model output. To improve computational efficiency and usability of decisions, we introduce a heuristic algorithm tailored for non-meta datasets, significantly reducing the complexity of the model solving process. The experimental results demonstrate the effectiveness of our approach, which yields a mean absolute percentage error (MAPE) of weight equals 7.97\% with all variables statistically significant. We also provide the significant results for each product using the one-way analysis of variance test (one-way ANOVA test) ($p$-value = 0.15) and the paired $t$ test ($p$-value = 0.16). The results show that there is no significant difference between observed and predicted weights overall. This paper provides a robust and interpretable methodology for decision makers dealing with imprecise data and time-sensitive planning.

Relation-Theoretic Banach Contraction Principle in Topological Spaces with an Application

2025-08-31T19:35:29Z

In this article, we extend several relation-theoretic notions to topological spaces. We introduce relation preserving contraction mapping into topological spaces and utilize the same to extend Banach contraction principle in topological spaces employing a binary relation. To illustrate the validity of our main result, we provide a concrete example along with a MATLAB-based visualization of the convergence behavior. Furthermore, we demonstrated the applicability of our main result by finding a solution for a fractional differential equation under some suitable assumptions.

Explanation of the Dynamics involved in the 3N+1 Problem A proof for The Collatz Conjecture

2025-08-31T11:34:41Z

The scope of the present work is to explain why it is true that all N have a distinct position in The Collatz Tree (The Collatz Graph)

Simultaneous Novelty from First-Appearance Times in the Calkin-Wilf Enumeration

2025-08-29T23:01:53Z

We study the first-appearance map $π:\mathbb{N}_{\ge2}\to\mathbb{N}_0$ that assigns to each denominator $d$ the earliest breadth-first index at which a reduced fraction of denominator $d$ occurs in the Calkin-Wilf enumeration of $\mathbb{Q}_{>0}$. In parallel, we consider the elementary denominator-first array $D=\big(U(2)\mid U(3)\mid U(4)\mid\cdots\big)$ with rows $U(a)=(1/a,2/a,\dots,(a-1)/a)$ and row-starts $i_0(a)=\frac{(a-2)(a-1)}{2}$. We say level $a$ locks if $π(a)=i_0(a)$. Our main theorem is purely combinatorial: for every $n\ge2$ there exists $i\in\{0,\dots,n-2\}$ such that the first appearances of denominators $n-i$ and $n+i$ align symmetrically around $i_0(n)$, i.e.\ $π(n\pm i)=i_0(n)\pm i$. We prove this pairing (or simultaneous novelty) theorem via a local-coherence analysis of $π$ around a level and a discrete intermediate-value argument. An equivalent group-theoretic restatement uses the free monoid $\langle L,R\rangle\subset SL_2(\mathbb{Z})$ underlying the Calkin-Wilf and Stern-Brocot trees.

Recurrence Relations for $β(2k)$ and $ζ(2k + 1)$

2025-08-29T18:29:51Z

In this work we study integrals of the form $\int_{0}^{\infty}\frac{\tanh(x)}{x}\mathrm{sech}(x)^{L}\exp(-Tx)dx$. For $L \in \mathbb{N}$, $L \leq 4$ and $T \in \mathbb{R}$ we give explicit expressions in terms of derivatives of the Hurwitz zeta function at negative integers. We use these expressions to evaluate these integrals for $T \in \mathbb{N}_{0}$ exactly. For the special case $T = 0$ we give explicit evaluations for any $L \in \mathbb{N}$ based on the functional equations for $β(s)$ and $ζ(s)$. As it turns out the value of $\int_{0}^{\infty}\frac{\tanh(x)}{x}\mathrm{sech}(x)^{2N + 1}dx$ is a linear combination of $β(2)$, ..., $β(2N + 2)$ and the value of $\int_{0}^{\infty}\frac{\tanh(x)}{x}\mathrm{sech}(x)^{2N}dx$ a linear combination of $ζ(3)$, ..., $ζ(2N + 1)$. We give recursive formulae for the coefficients in these linear combinations.

The new Fermat-type factorization algorithm

2025-08-26T17:53:09Z

Let n be any odd natural number other than a perfect square, in this article it is demonstrated that this new factorization algorithm is much more efficient than the implementation technique [2,3 p.1470], described in this article, of the Fermat's factorization algorithm [1 p.6,3 p.1470], implementation technique which I call the Fermat's factorization method (like the title, translated into English, of the reference document [2] published in Italian) and which is, among the implementation techniques [1 pp.6-8,2,3 pp.1470-1471] of the Fermat's factorization algorithm, the one with which a smaller iterations number occurs to identify the factors, trivial or non-trivial, of n (except for the circumstance in which two factors, trivial or non-trivial, of n are so close to each other that they are identified at the 1st iteration with each of the implementation techniques of the Fermat's factorization algorithm). In fact, through the way in which the Euler's function [4] is applied to the Fermat's factorization method, we arrive at this new factorization algorithm with which we obtain the certain reduction in the iterations number (except for the cases in which two factors of n are so close to each other that they are identified at the 1st iteration with the Fermat's factorization method) compared to the iterations number that occurs with the Fermat's factorization method. Furthermore, in this article I represent the hypotheses field according to which it will eventually be possible to further reduce the iterations number. Finally and always in relation to this new factorization algorithm, in this article I represent in detail the limit iterations number, which is smaller than the iterations number that occurs to reach the condition x - y = 1 which characterizes the pair of trivial factors of n, beyond which it is no longer possible for pairs of non-trivial factors of n to occur.

Patterns Within the Markov Tree

2025-08-26T14:29:16Z

An analysis of the Markov tree is presented. Markov triplets, {x,R,z}, are the positive integer solutions to the Diophantine equation x2 + R2 + z2 = 3xRz. Inspired by patterns of the Fibonacci and Pell triplets in Region 1 and Region 2 of the tree, an investigation of interior regions of the Markov tree finds generating functions and sequence functions for all triplets of all regions. These sequence functions lead to the discovery of a Pell equation for the Markov region numbers along the edges of all regions. Analysis of this Pell equation leads to the resolution of the Uniqueness Conjecture. Further analysis using these sequence functions finds palindromic repeat cycles of the last digits of region numbers along the edges of all regions. Then, since all Markov numbers are the sum of the squares of two integers and again inspired by the patterns of the two unique squares which sum to form the region numbers of certain Fibonacci triplets in Region 1, an investigation of interior regions of the Markov tree finds generating functions and sequence functions for the two special square terms which sum to form the region numbers of the triplets along the edges of all regions. Further analysis using these sequence functions finds palindromic repeat cycles of the last digits of these two special square terms for all regions.

Linear Equations for Solving Partial Latin Squares and Sudokus

2025-08-26T08:52:12Z

For Latin squares the units (rows and columns) have fixed sum. The same holds for rows, columns, and blocks in Sudokus. Summing the elements of a unit yields a linear equation, and the set of all such equations forms a system of linear equations that models the relations of the variables in Latin squares and Sudoku puzzles. Every completed Latin square or Sudoku satisfies this system, enabling analysis and completion of partially filled puzzles. The linear system provides necessary but not sufficient conditions for a solution. We analyze the structure and rank of these systems and establish limits on their ability to uniquely determine solutions. For Latin squares of size $n \times n$ with $k$ unknowns and Sudokus with block size $n = m \cdot l$, the system has full rank only if \[ k \leq 2n - 1 \quad \text{(Latin squares)}, \qquad k \leq 2n - 1 + (l - 1)(m - 1) \quad \text{(Sudokus)}. \] These conditions are necessary for uniqueness under the linear model, though counterexamples exist. We also highlight that this system captures only one of the three relations known to puzzle solvers, requiring extensions with additional (nonlinear) constraints for complete solutions. Our analysis shows that certain partial Latin squares and Sudokus can be solved in polynomial time using Gaussian elimination, placing them in complexity class P, while the general completion problem remains NP-complete.

Bent functions using Maiorana-McFarland secondary construction

2025-08-25T23:45:43Z

Bent functions are balanced by restricting their domains to vectors with either even or odd Hamming weights, which ensures an equal number of pre-images for both, 0 and 1. Using the previous fact, we can construct bent functions on two affine spaces. Additionally, we employ the Maiorana-McFarland secondary construction to obtain bent functions. Furthermore, the functions produced are balanced when we restrict their domain to vectors with even Hamming weights. We also conduct specific comparisons of the Walsh-Hadamard transform in relation to both the original bent functions and the newly generated ones. With all the necessary tools, we present an algorithm that leverages the Maiorana-McFarland secondary construction approach repeatedly to generate bent functions of any dimension.

Linearizations of Quadratic Two-parameter Matrix Polynomial Via Newton basis

2025-08-25T16:41:09Z

Given a quadratic two-parameter matrix polynomial in Newton basis $Q_{N} (λ,μ)$, we construct a vector space of linear two-parameter matrix polynomials and identify a set of linearizations which lie in the vector space. We also describe construction of each of these linearizations.