https://arxiv.org/api/c4yGMm1wmCY5hHsnOmYlNpKRXOo 2026-03-22T16:21:20Z 4675 135 15 http://arxiv.org/abs/2507.02886v2 2026-01-28T09:14:56Z

We provide a rigorous framework for handling uncertainty in quantitative fault tree analysis based on fuzzy theory. We show that any algorithm for fault tree unreliability analysis can be adapted to this framework in a fully general and computationally efficient manner. This result crucially leverages both the alpha-cut representation of fuzzy numbers and the coherence property of fault trees. We evaluate our algorithms on an established benchmark of synthetic fault trees, demonstrating their practical effectiveness.

2025-06-19T11:41:37Z Preprint version, containing an appendix with proofs, of the conference paper with the DOI below; presented at QEST+FORMATS 2025. (This replacement corrects the faulty DOI from the previous version and updates this comment field.) Thi Kim Nhung Dang Benedikt Peterseim Milan Lopuhaä-Zwakenberg Mariëlle Stoelinga 10.1007/978-3-032-05792-1_14 http://arxiv.org/abs/2112.12962v16 2026-01-27T01:27:14Z

We analyze the stopping-time and cycle structure of the normalized Collatz iteration. Using a recursive description of admissible binary sequences, we show that every integer $m \equiv 3 \pmod{4}$ arises uniquely and derive new bounds for the associated stopping and cycle numbers. These bounds imply that $F_{q}(m)/m \to 1$ as the sequence length increases, while equality is impossible for any finite sequence. Consequently, no finite nontrivial cycle is compatible with the iteration, and the trivial cycle at $1$ is the only admissible periodic orbit.

2021-12-24T06:33:43Z 15 pages, 3 table, 3 figures Daohang Sha http://arxiv.org/abs/2601.19954v1 2026-01-27T00:45:07Z

The multiplication theorem for univariate Hermite polynomials $H_k(λx)$ is well-known. In this paper we generalize this result to multivariate Hermite polynomials ${\rm H}_{\bf k}({\mathbfΛ}{\bf x};{\mathbfΣ})$, and use this result to derive a multiplication theorem for univariate polynomials applied to inner-products $H_k({\mathbfλ}^{\rm T} {\bf x})$.

2026-01-27T00:45:07Z Alistair Shilton http://arxiv.org/abs/2601.18854v1 2026-01-26T16:05:31Z

A physically consistent framework for modeling materials with saturating deformation, such as elastomers and biological tissues, is provided by strain-limiting elasticity. Fundamental limitations of classical elasticity are addressed through the enforcement of bounded strains; however, significant challenges for data-driven learning are posed by the strong nonlinearity of these laws. In this work, an interpretable hybrid constitutive modeling framework integrating strain-limiting elasticity (SLE) with Kolmogorov-Arnold Networks (KANs) is proposed to balance mechanical admissibility with data-driven flexibility. The dominant nonlinear response is captured by the SLE backbone, while smooth residual corrections are learned exclusively via a KAN. Essential mechanical principles-including symmetry, monotonicity, and bounded strain-are embedded directly into the model structure to ensure physical admissibility. The framework is assessed on synthetic benchmarks, where near-exact recovery is achieved in smooth regimes and consistency is retained under sharp transitions. Application to Treloar's rubber elasticity data demonstrates systematic improvement in stress-stretch agreement while preserving explicit strain limits. A regime-based analysis reveals a transparent trade-off between data fidelity and mechanical admissibility, demonstrating that deviations arise from deliberately imposed physical restrictions rather than unconstrained model expressivity. This SLE-KAN framework offers a robust, physics-consistent alternative to black-box neural networks for constitutive modeling.

2026-01-26T16:05:31Z Chandana Pati S. M. Mallikarjunaiah http://arxiv.org/abs/2504.11465v3 2026-01-26T15:36:06Z

This article contains a new result in Fourier analysis concerning jump type discontinuities.

2025-04-02T09:27:53Z While the main results remain unchanged, the paper has been significantly extended with a new section establishing higher-dimensional generalizations Rajesh Dachiraju http://arxiv.org/abs/2601.17573v1 2026-01-24T19:54:38Z

In this paper, we investigate a class of Collatz-like problems associated with weakly and strongly admissible triplets of integers. This framework extends the classical Collatz mapping, providing a systematic method for generating triplets with convergence to cycles, thereby bypassing the difficulties inherent in solving Diophantine equations. We introduce several special families of admissible triplets and establish general structural properties. In addition, we propose conjectures that generalize the classical Collatz conjecture. Bounds on the lengths of potential non-trivial cycles are derived and analyzed, and two algorithms are presented for computing lower bounds on cycle lengths. Finally, experimental tests are given to illustrate our approach.

2026-01-24T19:54:38Z 31 pages, 1 figure Abderrahman Bouhamidi http://arxiv.org/abs/2602.15035v1 2026-01-24T06:15:50Z

In this paper, we investigate the converse of the Tan-Xu theorem, which states that the naturally reductive property of a Riemannian metric is inherited by a naturally reductive $(α_1,α_2)$-metric, and we show that, under certain conditions, the converse also holds. We also examine the relationship between geodesic vector fields on homogeneous Riemannian spaces and homogeneous $(α_1,α_2)$-spaces. Finally, we construct left-invariant $(α_1,α_2)$-metrics on the tangent bundle of Lie groups using left-invariant Randers metrics on the base Lie group, and study their geometric relations.

2026-01-24T06:15:50Z Ali Hatami Shahi Hamid Reza Salimi Moghaddam http://arxiv.org/abs/1010.1282v10 2026-01-23T03:43:40Z

It is generally accepted that Godel's proof implies the incompleteness of first-order number theory. This paper shows that the standard demonstration of this result implies that the class of theorems of such systems is not well defined. Proof of the converse of one of the Hilbert-Bernays Derivability Conditions for Godel's second incompleteness theorem essentially yields this result: the theoremhood of a formula is implied if it may be proven in the system that there exists a Godel number of a proof of the formula.

2010-10-06T21:11:30Z Stephen Boyce http://arxiv.org/abs/2601.18816v1 2026-01-22T22:44:04Z

The search for a closed-form expression of the $n$-th prime number, $p_n$, has long oscillated between the rigid determinism of analytic functions and the apparent randomness of local distributions. This paper explores three different approaches to $p_n$. The first one formalizes an analytical identity for $p_{n}$ based on a harmonic summation filtered by a Möbius-derived coprimality indicator. Unlike Gandhi's 1971 identity, which employs a geometric density and logarithmic extraction, this formula operates through a discrete summation over the range defined by Bertrand's postulate. In the second one, we refine the ``harmonic resonance'' model, which posits that primes emerge as spectral nodes from von Mangoldt oscillations. Third, we adopt a ``survival dynamics'' approach, inspired by Mertens' theorems, treating prime spacing as an evolutionary growth process. By bridging these perspectives, we offer a comprehensive framework for understanding the transition from asymptotic trends to discrete arithmetic realities.

2026-01-22T22:44:04Z Jean-Christophe Pain http://arxiv.org/abs/2601.17068v1 2026-01-22T20:16:54Z

We analyze weighted $L^p$ convergence for the truncated reconstruction operator in the rank-one non-symmetric Heckman--Opdam setting. After localization at the mirror, the operator admits a rigid structural decomposition and reduces, up to bounded terms, to a rank-one functional. Boundedness on $L^p(w)$ is characterized by the mirror-local integrability of $w^{-\frac{1}{p-1}}$.

2026-01-22T20:16:54Z Francesco D'Agostino http://arxiv.org/abs/2510.15920v2 2026-01-22T18:24:06Z

In this paper we present a generalization of the Fox H-function called Fox-Barnes J-function. Like the Fox H-function, it is defined as a contour integral in the complex plane, but instead of an integrand given by a ratio of products of gamma functions involving several parameters, we use a ratio of products of double gamma functions. We study the conditions for its existence and how to choose a contour of integration based on the involved parameters. We discuss how the Fox H-function appears as a particular case and prove some properties of the Fox-Barnes J-function. As an application, we show how the Laplace transform of the Kilbas-Saigo function can be conveniently written in terms of the Fox-Barnes J-function, even in cases where the usual series representation is not convergent.

2025-10-01T07:44:32Z 32 pages, 4 figures. Revised version based on reviewers' comments. The denomination Fox-Barnes I-function in the first version has been changed to Fox-Barnes J-function to avoid confusion with other function also called I-function Jayme Vaz http://arxiv.org/abs/2601.16143v1 2026-01-22T17:36:21Z

This paper presents a universal numerical scheme tailored for tackling linear integral, integro-differential, and both initial and boundary value problems of ordinary differential equations. The numerical scheme is readily adapted for resolving ill-posed problems. Central to our approach is high-degree piecewise-polynomial approximation to the exact solution. We illustrate the accuracy and stability of our numerical solutions in the presence of noise through illustrative examples. Additionally, we demonstrate that proposed regularization being applied to high-degree interpolation, effectively eliminates Runge's phenomenon.

2026-01-22T17:36:21Z 24 pages, 14 figures Communication on Analysis and Computation 2024, Volume 2, Issue 2: 180 - 198 Vladimir Kryzhniy 10.3934/cac.2024009 http://arxiv.org/abs/2601.07899v2 2026-01-22T14:16:42Z

Let $Q_{p,q}(t)\in\mathbb{Z}[t]$ be Sharipov's even monic degree-$10$ second cuboid polynomial depending on coprime integers $p\neq q>0$. Writing $Q_{p,q}(t)$ as a quintic in $t^{2}$ produces an associated monic quintic polynomial. After the weighted normalization $r=p/q$ and $s=r^{2}$ we obtain a one-parameter family $P_s(x)\in\mathbb{Q}[x]$ such that \[ Q_{p,q}(t)=q^{20}\,P_s\!\left(\frac{t^{2}}{q^{4}}\right)\qquad\text{with}\qquad s=\left(\frac{p}{q}\right)^{2}. \] Assuming a quadratic divisor $x^{2}+ax+b$ with $a,b\in\mathbb{Q}$, we reduce divisibility of $P_s(x)$ to the vanishing of an explicit remainder \[ R(x)=R_{1}(s,a,b)\,x+R_{0}(s,a,b). \] A key structural observation is that $R_1$ and $R_0$ are quadratic in $b$ and that, on the equation $R_1=0$, the second condition becomes linear in $b$. This yields a one-direction elimination to a plane obstruction curve $F(s,a)=0$ with $F\in\mathbb{Z}[s,a]$, without any lifting-back issues: when the linear coefficient is nonzero, the parameter $b$ is forced to be the rational value $b=C/L$. We isolate the degenerate locus $L=C=0$ and show it produces only $s=\pm 1$ (hence only $s=1$ in the cuboid domain $s>0$). Let $\overline{C}\subset\mathbb{P}^{2}$ be the projective closure of $F(s,a)=0$. Using Magma we perform a height-bounded search for rational points on $\overline{C}$. With bound $H=10^{9}$, the search returns $8$ rational points, whose affine part has $s\in\{-1,0,1\}$. In particular, no affine rational point with $s>0$ and $s\neq 1$ is found up to this bound. This provides strong computational evidence that for rational $s>0$, $s\neq 1$, the quintic $P_s(x)$ admits no quadratic factor over $\mathbb{Q}$ (equivalently, no $2+3$ (quadratic-cubic) factorization over $\mathbb{Q}$), and yields a conditional exclusion assuming completeness of the rational-point enumeration on $\overline{C}$.

2026-01-12T12:45:49Z Partial progress on the irreducibility of the second cuboid polynomial (Sharipov's second conjecture): computational evidence against 2+3 factorization for the associated quintic Valery Asiryan Randall L. Rathbun http://arxiv.org/abs/2502.14872v3 2026-01-22T11:46:36Z

We obtain four extended Newton's methods and three extended Mandelbrot's recurrence formulas from the Wasan (Japanese mathematics in the Edo period (1603-1868)). Furthermore, two extended Newton's methods relate to one of the extended Mandelbrot's recurrence formulas. We lead four types of extended Mandelbrot recurrence formulas. Next, we show that these become the same extended Mandelbrot set, and connected, closed set. These show the originality of Wasan.

2025-02-01T13:23:14Z 15 pages, 12 figures Shunji Horiguchi http://arxiv.org/abs/2512.20656v3 2026-01-21T07:13:31Z

The general solutions with free variable to the second-kind Abel equation, a nonlinear ordinary differential equation that has remained unsolved for nearly two centuries, are presented for the first time by using elementary quadrature method.

2025-12-18T07:55:31Z In both v1 and v2, Theorem 1 is incorrect, so I have decided to withdraw this article Ji-Xiang Zhao