An Addendum to Plouffe's Ramanujan Identities

2025-09-22T21:06:34Z

We introduce a new class of polylogarithm sums closely related to a family studied by L. Vepštas in 2010. These generalized sums depend on two free parameters and yield closed-form expressions involving the Dirichlet eta function. Additionally, we present an alternative proof for a hyperbolic sum originally discussed by Ramanujan.

The Theory of Topo-Symmetric Extensions of Topological Groups

2025-09-21T22:55:04Z

We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions, construct the associated groupoid, and develop classification results in terms of adapted cohomology. Several new invariants are introduced, including dimension, stabilizer, and density invariants, which characterize the fine structure of these extensions. Applications are given for finite groups, compact Lie groups, and profinite groups. This theory extends classical cohomological correspondence theorems \cite{MacLane1963, EilenbergMacLane1947}, while opening new perspectives in arithmetic, asymptotic distribution, and congruence properties \cite{HardyWright2008, Serre1979}. Finally, we propose conjectures and open problems concerning density, maximal orders, and modular distribution of topo-symmetric extensions.

The Exponential Congruence Symbol

2025-09-21T16:24:58Z

In this work, we study the generalized k-th power symbol (a/n)_k and present a comprehensive collection of its algebraic properties. The results are classified according to their dependence on the three main parameters a, n, and k. In particular, we discuss multiplicativity, inversion, power compatibility, and invariance modulo n with respect to the parameter a. For n, we examine factorization properties, behavior on prime powers, orthogonality relations, and Kummer splitting criteria. Regarding k, we include specialization to classical symbols, k-th reciprocity laws, relations between orders, and embedding into roots of unity. Moreover, we extend the existing theory by providing new essential results, including additive behavior under characters, Mobius filtering, compatibility with Carmichael and Euler functions, and connections with Dirichlet L-series. Finally, we analyze the case where a, n, and k are primes and present mixed results that generalize classical reciprocity laws, Frobenius automorphisms, and Sato-Tate distributions. These results unify and extend previous studies on k-th power symbols and offer a foundation for further arithmetic, algebraic, and analytic investigations.

Learning the Maximum of a Hölder Function from Inexact Data

2025-09-20T22:06:42Z

Within the theoretical framework of Optimal Recovery, one determines in this article the {\em best} procedures to learn a quantity of interest depending on a Hölder function acquired via inexact point evaluations at fixed datasites. {\em Best} here refers to procedures minimizing worst-case errors. The elementary arguments hint at the possibility of tackling nonlinear quantities of interest, with a particular focus on the function maximum. In a local setting, i.e., for a fixed data vector, the optimal procedure (outputting the so-called Chebyshev center) is precisely described relatively to a general model of inexact evaluations. Relatively to a slightly more restricted model and in a global setting, i.e., uniformly over all data vectors, another optimal procedure is put forward, showing how to correct the natural underestimate that simply returns the data vector maximum. Jitterred data are also briefly discussed as a side product of evaluating the minimal worst-case error optimized over the datasites.

Analytic Bernoulli Functions: Correspondence with Hermite Polynomials

2025-09-19T12:11:05Z

We establish an operator--theoretic correspondence between periodic Bernoulli kernels and Hermite polynomials, framed through the umbral calculus and a quantum analogy. Starting from the analytic master function $F^\ast$, the periodic Hilbert transform appears as a $π/2$ symplectic rotation, while Jacobi matrices reproduce the oscillator ladder. Umbral operational rules extend this structure across complex order, and Weyl algebra lifting together with the Weil representation explains the shared spectrum of Bernoulli and Hermite families. Analytically, this chain connects Clausen functions to Bernoulli kernels, to polylogarithms, to the Hurwitz zeta function, and ultimately to the Lerch transcendent, embedding the umbral framework into the classical landscape of special functions. This perspective clarifies why odd zeta values arise in Bernoulli integrals and unifies trigonometric and Gaussian worlds within a coherent operator framework.

Row completion of polynomial and rational matrices II

2025-09-18T10:20:36Z

We study the row completion problem of polynomial and rational matrices with partial prescription of the structural data. The prescription of the complete structural data has been solved in Amparan et al., Lin. Alg. Appl. 720 (2025) 109-138, where several results of prescription of some of the four types of invariants composing the structural data have also been obtained. In this paper we deal with the cases not analyzed there. More precisely, we solve the row completion problem of a rational or a polynomial matrix when we prescribe the infinite (finite) structure and the column and/or the row minimal indices, and when only the column and/or row minimal indices are prescribed. The necessity of the conditions obtained are valid over arbitrary fields, but in some cases the proof of the sufficiency requires working over algebraically closed fields. By transposition the results obtained hold for the corresponding column completion problems.

Conic optimization techniques yield sufficient conditions for set-completely positive matrix completion under arrowhead specification pattern

2025-09-17T10:20:13Z

Matrix completion results deal with the question of when a partially specified symmetric matrix can be completed to a member of certain matrix cones. Results from positive semidefinite matrix completion and completely positive matrix completion have been successfully applied in optimization to greatly reduce the number of variables in conic optimization problems in the space of symmetric matrices. In this text, we go the other direction and show that we can use tools from conic optimization (more precisely: from copositive optimization) to establish a new completion result that complements the existing literature in two regards: firstly, we consider set-completely positive matrix completion, which generalizes completion with respect to the traditional completely positive matrix cone. Secondly, we consider a specification pattern that is not in the scope of classical results for completely positive matrix completion. Namely, we consider arrow-head specification patterns where the width is equal to one. Our theory is applied to a class of quadratic optimization problems.

The arithmetic of simplices

2025-09-16T19:19:19Z

This paper continues the study initiated in "The aithmetic of Triangles." We begin by examining a set of similar tetrahedra with parallel sides, together with a set of points in three-dimensional space. It turns out that the set $\mathbb{R}_3= \{\pm =\pm (x^3,x^2,x,1); x\in\mathbb{R} \}$ effectively characterizes this family of tetrahedra. The set $\mathbb{R}_3$ is a subset of the ring $\mathbb{R}^4 = \mathbb{R} \times \mathbb{R} \times \mathbb{R} \times \mathbb{R} = \{ (x, y, z, w) ; x, y, z, w \in \mathbb{R} \}$, with addition and multiplication defined component-wise. The set $\mathbb{R}_3$ supports two operations. Multiplication is inherited directly from the ring $\mathbb{R}^4$, while addition is a four-argument operation that reflects geometric transformations such as homothety and translation of elements in $\mathbb{R}_3$. A novel form of addition in $\mathbb{R}_3$ leads to intriguing properties of multiplication in $\mathbb{R}_3$, which are examined in a dedicated chapter. We then generalize this approach to sets of $k$-dimensional similar simplices with parallel sides, along with corresponding sets of points in $k$-dimensional space.

A note on solitary numbers

2025-09-16T15:48:00Z

Does $14$ have a friend? Until now, this has been an open question. In this note, we prove that a potential friend $F$ of $14$ is an odd, non-square positive integer. $7$ appears in the prime factorization of $F$ with an even exponent while at most two prime divisors of $F$ can have odd exponents in the prime factorization of $F$. If $p\mid F$ such that $p$ is congruent to $7$ modulo $8$, then $p^{2a}\mid\mid F$, for some positive integer $a$. Further, no prime divisor of $F$ has an exponent congruent to $7$ modulo $8$ and no prime divisor can exceed $1.4\sqrt{F}$. The primes $3,5$ cannot appear simultaneously in the prime factorization of $F$. If $(3,F)>1$ or $(5,F)>1$, then $ω(F)\geq4$, otherwise $ω(F)\geq8$.

Reconstruction of Transient Anisotropic Diffusion in Transient Diffusion Models

2025-09-15T21:51:02Z

This presentation abstract, presented at 12th Applied Inverse Problems Conference, to be held at FGV EMAp, Rio de Janeiro, Brazil, in 2025, describe the theory results of applying the Chebyshev pseudospectral method (CPM) to reconstruct the anisotropic transient diffusion in a transiente two-dimensional diffusion model with boundary conditions. This model can be easily applied to a wide range of diffusion phenomena across various science domains.

The Fejér-Dirichlet Lift: Entire Functions and $ζ$-Factorization Identities

2025-09-15T16:42:15Z

A Fejér-Dirichlet lift is developed that turns divisor information at the integers into entire interpolants with explicit Dirichlet-series factorizations. For absolutely summable weights the lift interpolates $(a*1)(n)$ at each integer $n$ and has Dirichlet series $ζ(s)A(s)$ on $\Re s>1$. Two applications are emphasized. First, for $q>1$ an entire function $\mathfrak F(\cdot,q)$ is constructed that vanishes at primes and is positive at composite integers; a tangent-matched variant $\mathfrak F^{\sharp}$ is shown to admit an explicit, effective threshold $P_0(q)$ such that for every odd prime $p\ge P_0(q)$ the interval $(p-1,p)$ is free of real zeros and $x=p$ is a boundary zero of multiplicity two. Second, a renormalized lift for $a=μ*Λ$ produces an entire interpolant of $Λ(n)$ and provides a constructive viewpoint on the appearance of $ζ'(s)/ζ(s)$ through the FD-lift spectrum. A Polylog-Zeta factorization for the geometric-weight case links $ζ(s)$ with $\operatorname{Li}_s(1/q)$. All prime/composite statements concern integer arguments. Scripts reproducing figures and numerical checks are provided in a public repository with an archival snapshot.

On Characterizing Potential Friends of 20

2025-09-15T08:49:37Z

Does $20$ have a friend? Or is it a solitary number? A folklore conjecture asserts that $20$ has no friends i.e. it is a solitary number. In this article, we prove that, a friend $N$ of $20$ is of the form $N=2\cdot5^{2a}\cdot m^2$, with $(3,m)=(7,m)=1$ and it has at least six distinct prime divisors. Furthermore, we show that $Ω(N)\geq 2ω(N)+6a-5$ and if $Ω(m)\leq K$ then $N< 10\cdot 6^{(2^{K-2a+3}-1)^2}$, where $Ω(n)$ and $ω(n)$ denote the total number of prime divisors and the number of distinct prime divisors of the integer $n$ respectively. In addition, we deduce that, not all exponents of odd prime divisors of friend $N$ of $20$ are congruent to $-1$ modulo $f$, where $f$ is the order of $5$ in $(\mathbb{Z}/p\mathbb{Z})^\times$ such that $3\mid f$ and $p$ is a prime congruent to $1$ modulo $6$. Also, we prove necessary upper bounds for all prime divisors of friends of 20 in terms of the number of divisors of the friend. In addition, we prove that, if $P$ is the largest prime divisor of $N$ then $P

A New Classification of Positive Integers Via New Divisor Functions

2025-09-14T21:01:16Z

Let $d_1 = 1 < d_2 < d_3 < \cdots < d_{τ(n)} = n$ denote the increasing sequence of the divisors of a positive integer $n$. In this paper, for real or complex values of $α$, we define and study some properties of two new divisor functions $σ_{e,α}$ and $σ_{o,α}$. The first computes the sum of the $α$-th powers of the divisors of $n$ with even indices, and the second computes the sum of the $α$-th powers of the divisors of $n$ with odd indices. We also introduce a new type of positive integers, namely, $k$-index ratio numbers and state three conjectures related to them.

A Universal Space of Arithmetic Functions:The Banach--Hilbert Hybrid Space U

2025-09-14T15:12:44Z

We introduce a new functional space U designed to contain all classical arithmetic functions (Mobius, von Mangoldt, Euler phi, divisor functions, Dirichlet characters, etc.). The norm of U combines a Hilbert-type component, based on square summability of Dirichlet coefficients for every s > 1, with a Banach component controlling logarithmic averages of partial sums. We prove that U is a complete Banach space which embeds continuously all standard Hilbert spaces of Dirichlet series and allows natural actions of Dirichlet convolution and shift operators. This framework provides a unified analytic setting for classical and modern problems in multiplicative number theory.

Extended Mittag--Leffler Stability Results for Fuzzy Fractional Systems

2025-09-14T00:49:02Z

We extend Lyapunov--type Mittag--Leffler stability analysis for fuzzy nonlinear fractional differential equations (Caputo sense) and introduce a family of stronger, broadly applicable stability results. In particular, we develop (i) uniform Mittag--Leffler stability for variable-order Caputo derivatives, (ii) input-to-state stability (ISS) in the Mittag--Leffler sense and explicit robustness/ultimate bound estimates, (iii) a converse Mittag--Leffler Lyapunov theorem, (iv) a fractional LaSalle invariance principle adapted to the fuzzy setting, and (v) practical and computational criteria including Lyapunov--Krasovskii functionals for delay systems and levelwise LMI tests for linearized models. The paper presents precise assumptions, proof sketches, and preparatory lemmas in the preliminaries; subsequent sections (Step 2 onward) provide rigorous proofs and illustrative examples.