On the fractional relaxation equation with Scarpi derivative

2026-05-27T09:54:17Z

In this article we solve the Cauchy problem for the relaxation equation posed in a framework of variable order fractional calculus. After introducing some general mathematical theory we establish concepts of Scarpi derivative and transition functions which represent the essentials of our problem. Next, we provide an integral representation for the solution of our initial value problem where the transition function is chosen arbitrary. After that, we find an integral representation in several special cases in which we choose the transition function concretely. Finally, we give some numerical insights which prove our theoretical results.

Riccati--Gamma Dynamics for Concavity and Asymptotics of Generalized Dirichlet Eta Functions

2026-05-27T06:19:54Z

We develop a unified analytical and dynamical framework for the qualitative study of the one-parameter family of generalized Dirichlet eta functions $η_{a}(t)=\sum_{m\ge0}(-1)^{m}(am+1)^{-t}$, $a>0$, $t>0$, which includes the classical Dirichlet eta and beta functions. Using a Mellin--Laplace representation of $η_{a}$ as $\mathbb{E}[f_{a}(X_{t})]$, where $f_{a}$ is a scaled logistic function and $(X_{t})$ a standard Gamma process, we show that the logarithmic derivative $\varphi_{a}(t)=η_{a}'(t)/η_{a}(t)$ satisfies a non-homogeneous Riccati equation with strictly negative forcing. This single inequality yields strict concavity and strict log-concavity of $η_{a}$, positivity and monotonicity of $\varphi_{a}$, and the precise asymptotic law $\varphi_{a}(t)=\log(a+1)(a+1)^{-t}+O((a+2)^{-t})$. We further prove that $\varphi_{a}(t)/\varphi_{a,e}(t)\to 2/\log(a+1)$ as $t\to\infty$, where $\varphi_{a,e}(t)=-η_{a}''(t)/(2η_{a}(t))$, obtaining in particular the trapping inequality $0<\varphi_{a,e}(t)<\varphi_{a}(t)$ for all sufficiently large $t$ when $a

Optimal Equivariant Matchings on the 6-Cube with an Application to the King Wen Sequence

2026-05-25T18:10:04Z

We study equivariant perfect matchings on the Boolean hypercube $\B^6$ under the Klein four-group $K_4 = \langle \comp, \rev \rangle$ generated by bitwise complement and reversal. Among matchings using only $\comp$ or $\rev$ pairings, there is a unique Hamming-cost minimizer, given by a simple ``reverse-priority rule'': pair each element with its reversal unless it is a palindrome, in which case pair it with its complement. This matching has total Hamming cost 120, compared to 192 for the complement-only matching. The historically significant King Wen sequence of the I Ching realizes precisely this matching. Pure Hamming minimization over the full $K_4$ action is different: allowing $\comp \circ \rev$ lowers the cost to 96. The King Wen rule is recovered, however, as the unique Hamming-weight-preserving optimum: it minimizes failures of Hamming-weight preservation before Hamming distance, and it is stable for the weighted energy $α|Δw|+βd_H$ throughout the open region $α>β$. The finite orbit counts and case distinctions are checked in Lean~4.

Pseudosymmetry, Ricci soliton and Curvature Inheritance symmetries of Friedmann Lemaître Robertson Walker spacetime

2026-05-25T12:33:58Z

The Friedmann--Lemaître--Robertson--Walker (FLRW) spacetime, which was first proposed by Friedmann (1922--1924) and Lemaître (1927) and subsequently developed by Robertson and Walker (1935), is an isotropic and homogeneous cosmological model of the universe. This paper addresses a significant gap in the differential geometry literature by providing a comprehensive examination of the curvature properties of the FLRW spacetime. It is demonstrated that the FLRW spacetime satisfies the curvature condition R \cdot R - Q(S, R)=L_C Q(g, C) alongside several pseudosymmetric-type conditions related to the conformal and conharmonic curvature tensors. Furthermore, the Tachibana tensors Q(g,C) and Q(S, C) are found to exhibit a linear dependence on the tensor $(C \cdot R + R \cdot C)$. Additionally, the spacetime is shown to be a 2-quasi-Einstein manifold, generalized Roter type and Ein(3). The Ricci tensor is shown to be neither cyclic parallel nor of Codazzi type, yet it satisfies several compatibility requirements concerning the R, C, P, K and W curvature tensors. A thorough analysis of Ricci solitons and curvature inheritance properties reveals that the spacetime admits almost Ricci soliton and $η$-Ricci Yamabe soliton structures with respect to the non-Killing soliton vector fields $\frac{\partial}{\partial t}$ and $\frac{\partial}{\partial r}$. Moreover, the spacetime admits generalized curvature inheritance symmetry properties for the Riemann curvature tensor, as well as for the Weyl conformal, concircular, and conharmonic curvature tensors with respect to the coordinate vector field $\frac{\partial}{\partial t}$ and the gradient of $t$. Later, a comparison of the FLRW and Lemaître--Tolman--Bondi (LTB) spacetimes is provided in terms of various curvature-related geometric properties and physical characteristics. Finally, a noteworthy conclusion of the entire study is presented.

Graph Fractional Fourier Transform: A Unified and Efficient Sampling Theory

2026-05-25T07:20:59Z

The graph Fourier transform (GFT) is a fundamental tool in graph signal processing and has recently been extended to the graph fractional Fourier transform (GFRFT). Existing sampling methods in the GFRFT domain are primarily designed to minimize error, whereas a wider range of alternative sampling strategies should be admitted. In this paper, a unified and efficient GFRFT sampling theory is proposed. First, a new definition of graph fractional bandlimited signals is introduced, with the corresponding graph fractional sampling and perfect reconstruction theorem, as well as the associated graph fractional localization operator. Next, several GFRFT sampling strategies are developed based on different criteria, including maximum cutoff frequency, minimum error, and maximum localized basis, along with the corresponding representations of their localization operators. Then, by exploiting a localization operator that jointly considers vertex and spectral localization, a fast sampling set selection method in the GFRFT domain is proposed. Finally, numerical experiments investigate the reconstruction errors and execution time of the proposed sampling methods and evaluate their performance in applications, demonstrating the effectiveness of the unified GFRFT sampling theory and its advantages over GFT methods.

Bitwise Triangular Coordinates for Central Products of Quaternion Groups: Floretion Base Vectors, Digitwise S3-Actions, and Centralizer Tiles

2026-05-24T18:02:08Z

This note studies a concrete bitwise and triangular coordinate model for the central product of n copies of the quaternion group Q8. The positive basis elements are words of length n in the alphabet {1, 2, 4, 7}, identified with i, j, k, and the identity element e. The signed basis group Fn is the corresponding central product of n copies of Q8, and the real algebra generated by the basis words is H^{\otimes n}. The contribution is the coordinate model: in this basis, Boolean multiplication, recursive triangular tilings, digitwise S3-actions, reflection anti-automorphisms, parity cancellation, and centralizer tile sets can be expressed in a single language. A local XNOR/AND rule recovers quaternionic basis multiplication and gives a table-free digitwise multiplication rule in every order. The associated centroid map to a recursive triangular tiling is equivariant for the digitwise S3-action and the dihedral action on the triangle. Odd digit permutations reverse multiplication order, yielding ordinary or twisted commutation criteria for products of elements symmetric about triangular axes. Synchronized cyclic changes of selected noncentral digits give equilateral triangles of centroids. Finally, for every non-unit basis word, the centralizer in the signed group has cardinality 4^n and its positive tile set occupies exactly one half of the order-n tiling.

A Constructive Proof of the Four-Color Theorem

2026-05-24T11:06:19Z

This paper presents a path to proving the Four-Color Theorem that differs from the traditional "reducible configuration" method. By introducing concepts such as "outer boundary," "primitive set," "Property A," "knot," "valid pair group," and the operation of "adding an n-point region on an interval," we construct a framework for gradually coloring any given planar graph. The core of this framework consists of three theorems, which ensure that after sequentially adding specific regions on an outer boundary satisfying Property A, the new outer boundary still satisfies Property A, ultimately allowing the entire given graph to be colored with four colors. This method avoids computer enumeration and provides a more constructive proof perspective.

Explicit inversion of cosh-weighted Finite Hilbert Transform

2026-05-24T04:27:40Z

Several identities of the cosh-weighted finite Hilbert Transform and the Bertola-Katsevich-Tovbis inversion formulas are rederived by the Sokhotski-Plemelj formula and the Poincare-Bertrand formula. The explicit formulas are derived for the cosh-weighted Hilbert transform of the exponential Chebyshev functions. Numerical experiments are performed to study the computational effects of the inversion formulas.

A Unified Substitution Method for Integration

2026-05-23T22:22:54Z

We present a branch-consistent framework for integrals involving quadratic radicals by expressing exponentials of principal inverse trigonometric functions in algebraic form. Two identities for $e^{\pm i\cos^{-1}(y)}$ and $e^{\pm i\sec^{-1}(y)}$ on principal branches yield five explicit substitution templates that map common radicals and half-angle composites to rational functions of a single parameter. The resulting differentials are independent of the sign choice once the branches are fixed, reducing domain bookkeeping across circular and hyperbolic regimes. We recover Euler's first and second substitutions from these transforms up to trivial reparametrizations and provide worked examples; in particular, the classical Weierstrass substitution is obtained as a direct corollary of Transform 5. A binomial-difference identity streamlines back-substitution terms such as $t^n - t^{-n}$. A CAS benchmark of 100 integrals indicates improved predictability and reduced expression swell relative to general-purpose integration routines.

Convergence criteria for Frullani-type integrals involving differences of cosines

2026-05-23T15:38:58Z

For $p,q\in\mathbb{N}$ and $α,β\in\mathbb{R}$, we investigate the family of improper integrals \[\int_0^\infty\frac{(\cosαx-\cosβx)^p}{x^q}dx.\] We establish a complete classification of the parameter ranges $(p, q; α, β)$ for which the integrals converge or diverge, and we derive explicit closed-form evaluations in all convergent cases. The analysis also reveals a family of combinatorial identities arising naturally from coefficients in the trigonometric power expansions. As a further application of the same method, we study an analogous class of integrals involving powers of sine differences. This extends the work of Laoharenoo and Boonklurb in 2022.

An incomplete attack on the upper bound of the unit distance problem

2026-05-22T21:30:47Z

This is an incomplete attempt to show that the upper bound of $\lesssim n^\frac{4}{3}$ on the number unit distances determined by a large finite set of $n$ points in the plane is not sharp. The methods also say something about sets of $n$ points and $n$ lines that attain the sharp bound of the Szemerédi-Trotter point-line incidence bound.

Variations on Majorization of Vectors and Connections to Determinantal Inequalities

2026-05-22T20:16:21Z

Majorization is a fundamental tool for comparing vectors, with connections to convexity, doubly stochastic matrices, eigenvalues, singular values, and zeros of polynomials. In matrix analysis, it plays a central role in the study of eigenvalue inequalities, particularly those arising from classical determinantal inequalities such as those attributed to Hadamard and Fischer in the context of positive semidefinite matrices. A result of Fischer and Holbrook shows that equality in the Hardy--Littlewood--Pólya theorem for non-affine convex functions is closely linked to block structure in the associated doubly stochastic transformations. Motivated by this, we introduce $*$-majorization, a structured extension of majorization that respects prescribed block decompositions of vectors. This framework naturally corresponds to block diagonal doubly stochastic matrices and provides a refinement of the classical Hardy--Littlewood--Pólya and Rado theorem. We show that such transformations are precisely the linear operators that preserve $*$-majorization, and we extend fundamental constructions such as $T$-transforms and convex combinations to this setting. In an application, we study the eigenvalue relations associated with the principal submatrices of positive definite matrices. Classical majorization does not, in general, capture determinantal inequalities such as those of Koteljanskii, whereas $*$-majorization provides a natural framework for structured comparisons of eigenvalue vectors. This leads to new insights into the interplay between majorization theory, determinantal inequalities, and spectral properties of matrices.

A systematic approach to Diophantine equations: open problems

2026-05-22T19:15:39Z

This paper collects polynomial Diophantine equations that are simple to state but apparently difficult to solve.

Structural Results for 4 x n Chomp: Unique Extension, Bimodal Asymptotic Structure, and Period-112 Geometry

2026-05-21T16:43:32Z

We present a complete computational tabulation of all 961,619,972 P-positions in 4xn Chomp for n <= 3000, obtained via a new O(n^4) shadow-array sieve that replaces the O(n^5) hash-set approach of prior work. Three structural results are reported. First, we prove the Unique Extension property: for any triple (a,b,c), there is at most one value of d such that (a,b,c,d) is a P-position. The proof is a short contradiction using the move structure of Chomp and generalizes immediately to all k-row Chomp. Second, the P-positions exhibit a persistent bimodal decomposition into two subfamilies, HIGH and LOW, separated by a clean gap in the per-a median of d/a that grows monotonically from 0.040 at n=500 to 0.062 at n=3000, with the HIGH subfamily maintaining a stable density of 56.2% throughout. The previously conjectured global limit d/a -> 2/9 is shown to be a mixture artifact. Third, within each family the two larger row-length ratios satisfy an exact quadratic relation at machine precision, and numerical evidence suggests d/a -> 1/4 in the HIGH family, though a power-law convergence fit gives an asymptote of approximately 0.248 with exponent alpha ~ 0.05, leaving the exact limit open. The LOW family limit L3 ~ 0.183 is not well approximated by 3/16; the best rational with denominator at most 2000 is 20/109. Code and the n <= 500 dataset are available at https://github.com/gargarnav/chomp-4xn-v2.

Roughness and entropy measures of a soft set

2026-05-20T08:50:45Z

Soft set theory is an important and emerging area within soft computing, owing to its attribute-oriented mathematical framework and its wide applicability in diverse domains, including science and social sciences. The theoretical constraints associated with the selection of subsets of the sets of attributes in soft set theory have further motivated the development of hybrid and extended theoretical models. In this paper, we introduce two distinct roughness measures and six entropy measures for soft sets and systematically investigate their properties using both theoretical analysis and computational techniques. The proposed roughness measures are defined within two distinct conceptual frameworks. Throughout the development of these measures and the corresponding results, the foundational principles of soft set theory, as established by Molodtsov, are strictly preserved. Furthermore, the proposed framework is shown to be novel with respect to roughness characterization, and a comparative analysis with classical rough set theory is presented to highlight the theoretical distinctions and contributions of this work.