https://arxiv.org/api/6NdMndA3v93IxMjrXdkZzxqh2q8 2026-06-14T18:34:01Z 4808 435 15 http://arxiv.org/abs/2510.26842v1 2025-10-30T08:46:08Z

In this paper we introduce and study two generalizations of Lah numbers, analogous to the Stirling numbers with higher level - a combinatorial one (Lah numbers with higher level) and an algebraic one (Lah numbers of order $s$). We define the Lah numbers with higher level following a combinatorial approach and the Lah numbers of order $s$ following an algebraic approach. We prove a direct connection between the Lah numbers with higher level and the $(l,r)$-Lah numbers. Some properties of the Lah numbers of order $s$ and Lah polynomials of order $s$ are given. Finally, we prove connections between these two generalizations.

2025-10-30T08:46:08Z Aleks Žigon Tankosič http://arxiv.org/abs/2511.00089v1 2025-10-30T01:41:33Z

We propose two new proofs of the Pythagorean theorem via area rearrangement arguments starting from very simple geometric configurations. The constructions depend on an angular parameter, each choice of which yields a proof. For specific values of the parameter, we recover some classical and more recent proofs.

2025-10-30T01:41:33Z 11 pages, 15 figures Andrés Navas http://arxiv.org/abs/2511.00036v1 2025-10-27T17:26:39Z

In this paper, the exact solutions of certain non-linear differential equations defined on a fractal subset of the real line are presented. Particular attention is paid to the Riccati-type fractal differential equation, for which a connection with the Schrodinger equation is also provided.

2025-10-27T17:26:39Z Donatella Bongiornoa Alireza Khalili Golmankhanehb http://arxiv.org/abs/2511.05521v1 2025-10-27T12:11:16Z

We extend the classical results of Stanislaw Golab, on the values of pi in arbitrary normed planes, to asymmetric norms where the unit ball has one axis of symmetry. First, we characterize the values of $π_B$ for different families of polygons as unit ball B. Then we prove that $π_B \ge 3$, and can take all possible values and is not bounded in such spaces.

2025-10-27T12:11:16Z 20 figures, 24 pages, will be submitted to journal Gorka Guardiola Múzquiz http://arxiv.org/abs/2509.19389v2 2025-10-27T11:22:01Z

I present a novel mathematical technique for dealing with the infinities arising from divergent sums and integrals. It assigns them fine-grained infinite values from the set of hyperreal numbers in a manner that refines the standard theories of summation and integration. This has implications in statistics (helping us work with distributions whose mean or variance is infinite), decision theory (allowing comparison of options with infinite expected values), economics (allowing evaluation of infinitely long streams of utility without discounting), and ethics (allowing evaluation of infinite worlds). There are even implications for finite cases, as the ability to handle these infinities undermines a common argument for bounded utility and the discounting of future utility.

2025-09-22T11:49:20Z 25 pages Toby Ord http://arxiv.org/abs/2510.20371v1 2025-10-23T09:10:34Z

We prove that for impulsive exposure patterns there is no uniform exponential energy law in wall-clock time t, which explains why past t-based unifications of continuous damping with impulses fail. We therefore replace t by a measure-valued clock, sigma, that aggregates absolutely continuous exposure and atomic doses within a single Lyapunov ledger. On this ledger we prove an observability-dissipation principle in the sense of the Hilbert Uniqueness Method (HUM): there exists a structural constant c_sigma > 0 such that the energy decays at least at a product-exponential rate with respect to sigma. When sigma = t, the statement reduces to classical exponential stabilization with the same constant. For the damped wave under the Geometric Control Condition (GCC), the constant is calibrated by the usual observability and geometric factors. The framework yields a monotonicity principle ("more sigma-mass implies faster decay") and unifies intermittent regimes where quiescent intervals are punctuated by impulses. As robustness, secondary to the main contribution, the same decay law persists under structure-compatible discretizations and along compact variational limits; a stochastic extension supplies expectation and pathwise envelopes via the compensator. The contribution is a qualitative dynamics backbone: observability implies sigma-exponential decay with sharp constants.

2025-10-23T09:10:34Z Primary: math.AP. Cross-lists: math.OC (PDE control/observability), math.DS (qualitative decay in σ-time). Variational persistence via Γ-convergence is secondary (listed under math.CA when appropriate) Ben F. Tibola http://arxiv.org/abs/2503.16555v2 2025-10-22T09:13:55Z

We establish a categorical framework relating two canonical model constructions in first-order logic: the Henkin construction and compactness-based constructions via ultraproducts or saturation. By introducing a globally fixed set of Henkin witness constants, we define two functors from the category of consistent first-order theories to the category of models with elementary embeddings. The first functor assigns to each theory its Henkin term model in an expanded language, while the second assigns the Skolem closure generated by the witness constants within a fixed ultraproduct or saturated model. We construct a natural transformation such that each component is an isomorphism between the corresponding models. The key insight is that both constructions utilize the same global Henkin expansion scheme, ensuring functoriality and allowing the canonical interpretation map to be surjective onto the Skolem closure. We clarify that without the Skolem closure restriction, the map would only be an elementary embedding rather than an isomorphism, as an arbitrary saturated model may contain non-standard elements outside the range of the term model. For special classes of theories, including aleph-zero-categorical theories and atomic complete theories, the construction simplifies due to uniqueness properties of their countable models. We also correct previous claims regarding rigidity of natural transformations, noting that uniform permutations of Henkin constants yield non-trivial natural automorphisms. This work provides structural insight into the relationship between syntactic proof-theoretic and semantic model-theoretic approaches to first-order logic, with potential applications in automated theorem proving and formal verification.

2025-03-19T19:00:26Z 29pages Barreto Joaquim Reizi http://arxiv.org/abs/2503.12144v2 2025-10-22T09:11:59Z

This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic results-a statement that generally fails without strong assumptions-we focus on a precise and provable reformulation. Specifically, we show that the model obtained via the Henkin construction satisfies a universal property: it serves as an initial object in an appropriate category of models. From this perspective, any other model of the extended theory admits a unique structure-preserving map from the Henkin model. We formalize this insight using the language of categories and functors, defining a rigorous correspondence between logical theories and their models. This universal characterization explains the power and generality of the completeness theorem while avoiding problematic claims of isomorphism. The framework we present offers a structured and conceptually transparent understanding of model existence in logic and sets the stage for further categorical analyses in related domains.

2025-03-15T14:00:59Z Joaquim Reizi Barreto http://arxiv.org/abs/2508.00863v4 2025-10-21T08:11:47Z

Employing the Fast Fourier Transform we propose a ready-to-use solution to circulant real linear systems of equations, particularly useful when a broader theoretical analysis is involved. We also show that strict diagonal dominance of the matrix of coefficients is a sufficient condition for sign consistency between solutions and parameters in sensitivity analysis. Keywords: Circulant matrix, Real linear system of equations, Circulant structure, FFT, Sensitivity Analysis, Strict Diagonal Dominance.

2025-07-17T10:00:48Z Alessandro Guazzini Enrico Caricchio http://arxiv.org/abs/2510.18916v1 2025-10-21T06:16:02Z

In this paper, we focus on Narayana numbers which can be written as a products of four repdigits in base $g$, where $g$ is an integer with $g\geq2$. We prove that for $g$ between $2$ and $12$, there are finitely many of these numbers. Moreover we have fully determined them.

2025-10-21T06:16:02Z Passimzouwé Dagou Pagdame Tiebekabe Kokou Tcharie http://arxiv.org/abs/2510.18907v1 2025-10-21T03:23:13Z

This paper extends Hridaya Kolam patterns to cases where the number of dots ($m$) and arms ($n$) are not coprime, i.e., $\gcd(m, n) \ne 1$. Such configurations give rise to multiple disjoint closed loops. We propose a modular-arithmetic-based algorithm to systematically generate such patterns, and illustrative patterns for various non-coprime $(m, n)$ pairs are provided to demonstrate the resulting multi-loop structures. These multi-loop Kolam designs can inspire architectural motifs and ornamental patterns in floor plans, facades, and decorative elements.

2025-10-21T03:23:13Z Atanu Manna Suvra Kanti Chakraborty http://arxiv.org/abs/2511.00014v1 2025-10-20T13:37:18Z

Quasiorders $\varrho\subseteq A^{2}$ have the property that an operation $f:A^{n}\to A$ preserves $\varrho$ if and only if each (unary) translation obtained from $f$ is an endomorphism of $ρ$. Generalized quasiorders $ρ\subseteq A^{m} $ are generalizations of (binary) quasiorders sharing the same property. We show how new generalized quasiorders can be obtained from given ones using well-known algebraic constructions. Special generalized quasiorders, as generalized equivalences and (weak) generalized partial orders, are introduced, which extend the corresponding notions for binary relations. It turns out that generalized equivalences can be characterized by usual equivalence relations. Extending some known results of binary quasiorders, it is shown that generalized quasiorders can be ``decomposed'' uniquely into a (weak) generalized partial order and a generalized equivalence. Furthermore, generalized quasiorders of maximal clones determined by equivalence or partial order relations are investigated. If $F=Pol\,\varrho$ is a maximal clone and $\varrho$ an equivalence relation or a lattice order, then every(!) relation in $Inv\, F$ is a generalized quasiorder. Moreover, lattice orders are characterized by this property among all partial orders. Finally we prove that each term operation of a rectangular algebra gives rise to a generalized partial order. Some problems requiring further research are also highlighted.

2025-10-20T13:37:18Z D. Jakubíková-Studenovská R. Pöschel S. Radeleczki http://arxiv.org/abs/2510.20842v1 2025-10-20T09:33:16Z

Three-dimensional point clouds can be viewed as discrete samples of smooth manifolds, allowing spectral analysis using the Laplace-Beltrami operator (LBO). However, the traditional point cloud manifold harmonic transform (PMHT) is limited by its fixed basis functions and single spectral representation, which restricts its ability to capture complex geometric features. This paper proposes a point cloud manifold fractional harmonic transform (PMFHT), which generalizes PMHT by introducing fractional-order parameters and constructs a continuously adjustable intermediate fractional-order spectral domain between the spatial domain and the frequency domain. This fractional-order framework supports more flexible transformation and filtering operations. Experiments show that choosing different transformation orders can enrich the spectral representation of point clouds and achieve excellent results in tasks such as filtering and feature enhancement. Therefore, PMFHT not only expands the theoretical framework of point cloud spectral analysis, but also provides a powerful new tool for manifold geometry processing.

2025-10-20T09:33:16Z Submitted to ICASSP 2026 Jiamian Li Bing-Zhao Li http://arxiv.org/abs/2412.02701v4 2025-10-16T13:49:49Z

10 is the smallest positive integer which is whether solitary or friendly is still an open question in mathematics. In this paper, we provide upper bounds for each of the prime divisors of a friend of 10. This paper is precisely a generalization of a recent paper [4] in which necessary upper bounds for the 2nd, 3rd, and 4th smallest prime divisors of a friend of 10 have been proved. Further, we establish better upper bounds for the 3rd, and 4th smallest prime divisors of a friend of 10 than the bounds given in [4].

2024-11-10T20:18:24Z 8 pages, To appear in Analele Universităţii din Oradea - Fascicola Matematică Analele Universităţii din Oradea - Fascicola Matematică, 33, (1), 5-12, 2026 Sagar Mandal 10.5281/zenodo.19919176 http://arxiv.org/abs/2003.05278v2 2025-10-16T13:06:19Z

A research for a general expression of the triplets of integer sided triangles with a $120^{\circ}$ angle, in parallel with the case of a $60^{\circ}$ angle.

2020-03-06T14:38:23Z 8 Pages Yasushi Ieno