Some Diophantine Equations involving associated Pell numbers and repdigits

2026-05-19T14:46:59Z

In this paper, we explore the relationship between repdigits and associated Pell numbers, specifically focusing on two main aspects: expressing repdigits as the difference of two associated Pell numbers, and identifying which associated Pell numbers can be represented as the difference of two repdigits. Additionally, we investigate all associated Pell numbers which are the concatenation of three repdigits. Our proof utilizes Baker's theory on linear forms in logarithms of algebraic numbers, along with the Baker-Davenport reduction technique. The computations were carried out with the help of a simple computer program in {\it Mathematica}.

Monoidal Alphabets for Generalized Harmonic Sums

2026-05-19T14:17:39Z

We develop a general finite-alphabet framework for Euler-type sums based on the notion of a monoidal alphabet. An alphabet of summand letters is called monoidal when it is closed under pointwise multiplication, thereby inducing the usual stuffle, or quasi-shuffle, algebra on the associated nested sums. This viewpoint places classical multiple harmonic numbers, colored harmonic sums, and several generalized Euler sums under a common structural mechanism. We focus on three fundamental families of monoidal alphabets: the ordinary power alphabet generated by $n$, the affine alphabet generated by linear factors $an+b$, and the polynomial-base alphabet generated by polynomial factors $P(n)$. The resulting classes of multiple harmonic numbers, multiple affine harmonic numbers, and multiple polynomial-base harmonic numbers provide systematic containers for a wide range of finite and infinite Euler-type sums. We prove closure and lifting results showing that nested sums whose summands are built from these alphabets, possibly multiplied by harmonic-number factors, reduce to the corresponding finite harmonic-number objects. As consequences, the framework recovers many known Euler-sum identities and produces many new identities in a uniform way. While reduction to simpler functions remains a separate and often difficult problem, the monoidal-alphabet perspective provides a unified algebraic language for organizing, transforming, and extending harmonic-sum identities.

Distributions of Inversions and Descents over Integer Compositions

2026-05-18T11:57:23Z

We derive a generating function for the number of integer compositions of $n$ into $k$ parts (i.e., $k$-compositions of $n$) with a given number of inversions, and obtain similar results for $k$-compositions of $n$ with a given number of descents. Our approach relies on a known bijection that associates each integer composition $σ$ with a pair $(π,λ)$, where $π$ is a permutation and $λ$ is an integer partition. We show that the distribution of inversions and the distribution of descents over $k$-compositions are related, respectively, to the distribution of (maj,inv) and to the distribution of (inv,des) over permutations of $\{1,2,\ldots,k\}$, where maj, inv, and des denote the classical permutation statistics major index, inversion number, and descent number, respectively.

Vector Invariance and Structural Closure of Julia-Type Iterations in Clifford Algebra

2026-05-18T10:28:13Z

In this paper, we introduce a Clifford algebra framework for Julia-type dynamics driven by the geometric product. The nonlinear iteration \[ f(\vec{x}) = (\vec{x}\diamond \vec{n})^p \diamond \vec{n} + \vec{c}, \qquad p \ge 2, \] is studied in a real $n$-dimensional inner-product space $V$, where $\vec{x}, \vec{n}, \vec{c} \in V$ and $\vec{n}$ is a unit vector. The main result reveals a previously unreported invariance phenomenon: although the geometric product generates higher-grade multivector components at intermediate stages, a built-in grade-reduction mechanism ensures complete collapse back to the vector subspace. Consequently, the Clifford Julia operator is shown to be closed on $V$, and the iteration defines a well-posed nonlinear dynamical system in arbitrary dimensions. This invariance is established through a structural decomposition of the Clifford product and an inductive closure argument, supported by explicit verification in low-dimensional cases and a general proof in $\mathbb{R}^n$. The results demonstrate that classical Julia dynamics can be consistently extended beyond the complex plane into higher-dimensional geometric algebra without loss of geometric interpretability. The framework opens a new direction for fractal-type dynamics in Clifford algebras, providing a unified algebraic setting for higher-dimensional invariant-preserving iterative systems.

Paradoxical behavior in Collatz sequences

2026-05-17T21:42:30Z

On the set of positive integers, we consider the iterative process that maps $n$ to either $\frac{3n+1}{2}$ or $\frac{n}{2}$ depending on the parity of $n$. The Collatz conjecture states that all such sequences eventually enter the trivial cycle $(1,2)$. In a seminal paper, Terras further conjectured that the proportion of odd terms encountered when starting with an integer $n\geq2$ is sufficient to determine its stopping time, namely, the number of iterations needed to descend below $n$. However, when iterating beyond the stopping time, there exist "paradoxical" sequences of finite length whose first term is unexpectedly exceeded, given the proportion of odd terms. In the present study, we show that this non-typical behavior is closely related to the Collatz conjecture. Furthermore, we find that it most likely occurs finitely many times, thus lending support to Terras' conjecture.

A Maxwell Quadratic-Form Representation of the Parallel-Plate Casimir Trace from Codimension-Three Riesz Reduction

2026-05-15T14:07:01Z

We formulate a Maxwell version of the codimension-three Riesz/Gaussian quadratic-form representation for perfectly conducting parallel plates. This paper is the Maxwell follow-up to the scalar codimension-three Riesz/Gaussian representation theorem presented earlier in arXiv:2605.06693(2026): the same transverse Riesz reduction and prescribed-covariance quadratic-form mechanism are carried over here to the physical parallel-plate Maxwell operator. The construction is carried out in finite lateral volume $Ω_{L,a}=T_L^2\times[0,a]$, using the physical electric-field Hilbert space of divergence-free fields satisfying the perfect-conductor tangential condition $n\times E=0$, with the static normal zero mode removed. The Maxwell curl-curl operator is defined by its closed quadratic form, and an explicit Fourier-domain analysis proves the finite-volume spectral gap, compact resolvent, and heat-trace admissibility needed for the stochastic construction. For this reduced Maxwell operator $\mathcal L_{\mathrm{Mx}}$, the codimension-three Riesz integral gives the transversely reduced Riesz mediator $g\mathcal L_{\mathrm{Mx}}^{-1}$. A prescribed heat-regularized Gaussian source with covariance $(\hbar c/g)\mathcal L_{\mathrm{Mx}}^{3/2}e^{-τ\mathcal L_{\mathrm{Mx}}}$ then has expected quadratic Green energy equal to the heat-regularized physical Maxwell trace. The finite-volume trace is shown to be spectrally equivalent to a scalar Dirichlet channel plus a scalar Neumann channel with its constant zero mode removed. Under the standard parallel-plate interaction finite-part prescription, the large-area energy density is $$ -\frac{π^2\hbar c}{720a^3}. $$ The result is a representation theorem for the Maxwell parallel-plate trace under a prescribed covariance in the flat-plate geometry considered here.

The Arithmetic of Chess Piece Strength on the n x n Board

2026-05-15T10:49:47Z

On the n x n chessboard, the move totals of distinct pieces satisfy a small number of striking arithmetic identities. The total diagonal mobility of the bishop and the total 8-neighbor mobility of the king are exactly proportional, with constant n/12, valid for every n. Among nontrivial boards, the strengths of two distinct pieces drawn from a natural thirteen-piece alphabet coincide only for n in {6, 8, 12}. We define the strength of a piece P on the n x n board as the probability that a uniformly random ordered pair of distinct squares forms a legal P-move on the empty board, and prove four main results. (1) An asymptotic dichotomy classifies pieces into riders (Theta(1/n) strength) and leapers (Theta(1/n^2) strength), with explicit rational leading constants. (2) A stable-ordering theorem identifies the threshold n* = 24 beyond which the strength order becomes fixed, with a complete tabulation of every transition for 4 <= n <= 24. (3) A complete classification of strength coincidences shows they occur only at the three magic boards n in {6, 8, 12}, accompanied by the closed-form identity str(K) - str(N) = 12/(n^2(n+1)), the unique near-coincidence between bishop and knight at n = 10 (gap 0.0606%), and the bishop-king proportionality str(B)/str(K) = n/12. (4) A Strength Algebra Theorem expresses the strength of any compound army as a linear functional of a four-dimensional atomic vector, and confines strength coincidences between distinct single pieces to the three magic boards. As immediate consequences we obtain explicit strength-preserving single-piece substitution rules on each magic board, and a characterization of the 8 x 8 board as the unique nontrivial board on which the rook attains a strength matched by another piece in the alphabet (the archbishop).

On the shortest open cubic equations

2026-05-15T09:30:47Z

We use cubic reciprocity to prove that the equation $7x^3+2y^3=3z^2+1$ has no integer solutions. Prior to this work, it was the shortest cubic equation for which the existence of integer solutions remained open. We conclude with a list of the new shortest open cubic equations.

A Limit-Free Algebraic-Geometric Construction of Derivatives for Elementary Functions

2026-05-15T08:26:23Z

This paper continues the author's previous work on a limit-free algebraic-geometric construction of the derivative in the class of polynomial functions and extends the proposed framework to elementary functions. Derivatives of rational power, exponential, logarithmic, trigonometric, and inverse trigonometric functions are constructed through the geometric interpretation of the tangent line, inverse symmetry, and local linear structure, without treating the limit as the initial defining mechanism. Within the proposed approach, the derivative is introduced from the outset as a functional correspondence assigning to each point the slope coefficient of the tangent line. The paper demonstrates that the classical differentiation formulas arise naturally from interconnected geometric and algebraic structures and are subsequently consistent with standard limit-based analysis. From a methodological perspective, the study proposes the logical sequence: Tangent, Local Linear Structure, Limit formalisation. Thus, the paper presents a conceptual bridge between geometric intuition, algebraic construction, and classical differential calculus.

A geometry-dependent, force balance-driven model of Staphylococcus epidermidis biofilm cell cluster detachment

2026-05-14T19:43:38Z

Biofilms, bacteria cells surrounded by a self-produced polymeric matrix, are common on medical devices and lead to many hospital infections. The biofilm lifecycle includes disassembly and dispersion, where bacteria clusters detach from the biofilm, circulate in the bloodstream, and potentially colonize secondary infection sites. Existing models often simplify detachment to a function of biofilm thickness or extracellular polymeric substance (EPS) density, without tracking properties of detached clusters that impact their biological fate, including cluster size and morphology. Addressing this gap, our detachment model accounts for drag and adhesion in tagged sections of the biofilm determined by the cluster geometry and local arrangement of bacteria and EPS. A stickiness parameter controls local EPS adhesion strength, which is modulated to disrupt (or compromise) EPS biomass. We specifically model the detachment of clusters from a Staphylococcus epidermidis biofilm grown for 24 hours. Experimental data for biofilm microstructural features are utilized to benchmark the simulated biofilm, which is then subjected to different EPS disruption levels. We examine parameters that influence detached biofilm cell cluster frequency, size, and shape, providing mechanistic insights into how compromised EPS influences detachment dynamics. This integrated modeling framework is a significant advance in the predictive capabilities for biofilm detachment processes.

Fourier representations of fractional B Splines via generalized Stirling type polynomials

2026-05-14T07:43:08Z

In this paper, we investigate fractional B splines and their connections with Fourier analysis, and establish connections with generalized Stirling-type numbers and distribution theory. Employing a generating function approach inspired by recent results of Simsek [24], we derive a novel Fourier type expansion for fractional B splines that involves generalized Stirling type numbers. Our main contribution is the derivation of a Fourier-type expansion of fractional B splines in terms of generalized Stirling-type numbers. This representation allows us to express fractional B splines as infinite linear combinations of derivatives of the Dirac delta in the distributional sense. Furthermore, we establish an explicit shifted distributional representation and obtain shifted distributional representations that characterize the action of fractional B-splines on test functions. In addition, we introduce a new class of fractional spline polynomials and derive their generating function in terms of the Mittag Leffler function. These results provide a unified framework that connects spline theory, fractional calculus, and combinatorial structures.

Directed Q-Analysis and Directed Higher-Order Connectivity on Digraphs: A Quantitative Approach

2026-05-13T22:58:42Z

Traditional graph analysis focuses on nodes and edges, that is, pairwise relationships. Yet many real-world networks, including biological, social, and communication networks, involve higher-order relationships in which multiple nodes interact simultaneously. This has led many to develop network topology analysis methods based on higher-order structures and higher-order connectivity, seeking to reveal complex interactions beyond node pairs. Many of the latter address only undirected networks. To overcome this, we lay out a mathematical formalism resting on directed clique complexes constructed from directed graphs (their "higher-order structures" or "simplicial structures''), stressing the interrelations between directed cliques (their "directed higher-order connectivities''), leading towards a more complete directed Q-analysis that allows quantifying, characterizing, and comparing similarities involving simplicial structures.

On first-order arithmetic truth

2026-05-12T05:04:34Z

The standard interpretation of first-order number theory (PA), according to the generally accepted view, associates well-defined set-theoretic entities with each and every well-formed formula of this system. But this implies that the class of PA theorems is semantically defined by a class sign of PA itself, (E x_2) Pf(x_2, x_1), in the following sense: with b' the PA numeral for the number b, (E x_2) Pf(x_2, b') is true under the standard interpretation if and only if b is the Godel number of a PA theorem. From this however it is easily established, by a modification of Godel's proof, that the class of PA theorems, and hence the standard interpretation of PA itself, is not well defined after all.

Sums of Powers of Sine and Generalized Bernoulli Polynomials

2026-05-11T20:27:11Z

We produce formulas for $$\sum_{j=1}^{2^{n-2}}\frac{1}{\sin^s\left(\frac{(2j-1)π}{2^n}\right)}$$ in terms of Generalized Bernoulli and Euler polynomials and use one of the formulas to produce a nice integral representation of the Riemann zeta function.

A fixed point iteration method for the arctangent with any odd order of convergence based on sine and cosine

2026-05-11T20:10:08Z

In this paper, we present a fixed point method for the arctangent based on sine and cosine. Let $t\in \mathbb{R}^{+}$ and $P\in \mathbb{N}$. We define: \[T\left(x\right)=x-\sum_{k=1}^{P}\,\frac{\left(-1\right)^{k-1}}{2\,k-1} \left(\frac {\sin\!\left(x\right)-t\cos\!\left(x\right)} {\cos\!\left(x\right)+t\sin\!\left(x\right)} \right)^{2\,k-1}.\] For every initial value $x_0$ sufficiently close to $\arctan\left(t\right)$, the sequence \[x_{n+1}=T\left(x_{n}\right)\;;\,n=0,1,\ldots\] is converging to $\arctan\left(t\right)$ with order of convergence exactly $\left(2\,P+1\right)$. The computational test we performed demonstrates the efficiency of the method. \selectlanguage{ngerman} \[\] \[\textbf{Zusammenfassung}\] In dieser Abhandlung stellen wir ein Fixpunktverfahren zur Berechnung des arcustangens auf Basis von sinus und cosinus vor. Es sei $t\in \mathbb{R}^{+}$ und $P\in\mathbb{N}$. Wir definieren: \[T\left(x\right)=x-\sum_{k=1}^{P}\,\frac{\left(-1\right)^{k-1}}{2\,k-1} \left(\frac {\sin\!\left(x\right)-t\cos\!\left(x\right)} {\cos\!\left(x\right)+t\sin\!\left(x\right)}\right) ^{2\,k-1}.\] Für jeden Startwert $x_0$ hinreichend nahe bei $\arctan\left(t\right)$ konvergiert die Folge \[x_{n+1}=T\left(x_{n}\right)\;;\,n=0,1,\ldots\] gegen $\arctan\left(t\right)$ mit Konvergenzordnung genau $\left(2\,P+1\right)$. Anhand einer praktischen Berechnung von $\fracπ{4}$ zeigen wir die Effizienz des Verfahrens. \[\text{Deutsche Version ab Seite 17}\]