Distributional Point Values for Borel and Symmetric Borel Derivatives

2026-06-10T03:06:58Z

Borel and symmetric Borel derivatives are generalized derivatives defined through local averages of difference quotients. Distributional point values, in the sense of Łojasiewicz and its symmetric variants, are a classical way of describing the local value of a distribution. This paper connects these two ideas. Writing $T_f$ for the regular distribution generated by $f$, we prove that finite first and second symmetric Borel derivatives give symmetric distributional point values of $T_f'$ and $T_f''$, respectively. For the first symmetric derivative, Borel smoothness is used as a sufficient condition to pass from the symmetric point value to the full Łojasiewicz point value. We also prove that the one-sided Borel derivatives determine the right and left distributional point values of $T_f'$, and that the ordinary Borel derivative gives the full point value when the two one-sided averages agree. Examples show why the second-order symmetric result cannot be strengthened automatically.

A lattice-theoretic framework for hesitant fuzzy convexity beyond scalar observables

2026-06-09T13:55:39Z

In fuzzy-set theory, the notion of convexity has often been formulated through scalar reductions, typically via scores and aggregation functions. Although useful, such reductions may obscure relevant order-theoretic information in the codomain, especially in complex set-valued settings. This article develops a lattice-theoretic framework for convexity on lattice-valued mappings over point-convex segment-generated abstract convexity spaces. The framework separates the segment structure of the domain from the lattice structure of the codomain, distinguishing intrinsic convexity, defined through the lattice meet, from relational and observable convexities induced by preorders or scalar maps. The article characterizes when scalar observables preserve or reconstruct intrinsic convexity, and which codomain operators preserve it through their pointwise extensions. It then specializes the framework to hesitant fuzzy sets endowed with the symmetric lattice, recovering classical fuzzy and interval-valued convexities as natural restrictions. The structural result shows that the symmetric order cannot be represented by any finite family of scalar observables. This obstruction appears even on two-point typical hesitant fuzzy elements. Consequently, symmetric hesitant convexity cannot, in general, be reconstructed by any finite family of scalar observables. Moreover, every finite family of monotone scalar observables admits a three-point hesitant profile that is scalar-convex for all selected descriptions but not symmetrically convex.

Existence of Lebesgue Measurable Functions Outside the Mauldin Hierarchy

2026-06-09T13:48:49Z

In 1916, Hausdorff proved that the Baire hierarchy on $\mathbb{R}$, starting with the continuous functions, generates all Borel functions on $\mathbb{R}$. It remained open whether, starting with the a.e. continuous functions, the corresponding hierarchy generates all Lebesgue measurable functions on $\mathbb{R}$. We prove that, assuming the Axiom of Choice, the answer is negative.

The $S$-$E$ route to the Chebyshev bounds for the prime-counting function

2026-06-09T06:24:12Z

The Chebyshev bounds for the prime-counting function, i.e., $π(x) \asymp x/\ln x$, is established in a new way. This new approach follows the outline $π(x) \asymp \bigl(\sum_{p \le x} \sqrt{\ln p / p}\bigr)^{2} \asymp x/\ln x$. Here, the second $\asymp$ is derived from the classical estimate by Mertens, i.e., $\sum_{p \le x} (\ln p)/p = \ln x + O(1)$; while the first $\asymp$ is proved by considering the difference $\bigl(\sum_{p \le x} \sqrt{\ln p/p}\bigr)^{2} - \sum_{p \le x} (\ln p)/p$, which is shown as having the same order as $π(x)$.

Binomial Transform of Sequences Counting $N$-ary Convexities

2026-06-08T16:24:52Z

We consider the enumeration of $N$-ary convex structures on finite sets. Our main result shows that the total number of convexities is expressed as the binomial transform of the sequence of numbers of grounded convexities. We present the exact numbers of all $N$-ary and grounded $N$-ary convexities for $|X|\leqslant 5$. The obtained integer sequences have been cross-referenced with the OEIS. As a result, we identified both known sequences (such as A000798) and new ones not previously listed.

Laplace's formula: an approach by nonstandard analysis

2026-06-08T14:24:45Z

Using nonstandard analysis (NSA), the proof of the Laplace's formula is given. The usage of NSA reduces the intricacy of taking limit, and the crude line of the proof would be clearly seen, compared to the done with the rigorous classical calculus. We use very elementary tools of NSA.

Does 2026 AI exhibit intelligence, or can Claude outsmart Pierre or Catherine ?

2026-06-08T13:48:33Z

Using a sequence of high-school level mathematics questions that were not available on the Internet, we compare the performance of the popular AI software Claude with that of my friends and fellow human beings Pierre and Catherine. Pierre had solid scientific training as a young man, while Catherine studied literature. All three were subjected to a simulated pre-calculus oral exam with main questions and follow-up questions. Their performances are compared and the ones with the best and worst performances are identified. The outcome is that the current version of Claude, even though it is an extremely useful tool that has probably recorded the solution to nearly all calculus questions that are available on the Internet, {\em exhibits only a very limited understanding of the subject} and {\em does not exhibit the ability to make intelligent connections} between different features of a pre-calculus mathematics problem that it has never seen before.

Optional Intervals Event and Two n-ary Finitary Operations: An Algebraic Framework for Unifying Parallel-Serial Execution and Axiomatizing Simultaneity from an Epistemological Perspective

2026-06-08T12:23:46Z

This paper proposes an algebraic framework for analyzing event execution intervals and sequences, introducing "Optional Intervals Event (OIE)" as a 4-tuple abstraction (C, F, I, A) that serves as a pre-execution planning tool for real-world events. The OIE establishes a mapping to real-world events and stores all feasible execution intervals together with dependency relationships among sub-events. Based on this abstraction, we define two n-ary finitary operations: (i) "Complete Sequence Addition", which models concurrent events with a certain degree of equal opportunity within a shared time domain; and (ii) "Complete Sequence Multiplication", which models strictly ordered sequential events. We analyze the algebraic properties of these operations, including closure, non-commutativity, permutational equivalence, and orbit spaces. We prove that, for any non-degenerate finite OIE set, Complete Sequence Addition yields a single-orbit space due to permutational equivalence, whereas Complete Sequence Multiplication may yield multiple orbits. This orbital divergence rigorously captures the fundamental symmetry gap between concurrent and sequential execution. In computer science, this framework establishes an axiomatic algebraic system that formally unifies parallel and serial execution as n-ary finitary operations. It enables constraint-aware pre-execution planning and characterizes concurrent symmetry via orbitspace analysis and permutational equivalence. We also discuss applications to probability theory and physics, including the distinction between process symmetry and outcome symmetry and a novel axiomatization of simultaneity from an epistemological perspective.

Smooth Solutions of the Navier-Stokes Equation in $L_p(R^3)$

2026-06-08T01:20:52Z

In this paper we prove that if we take to be identically zero and assume that any initial value satisfies on for any and then the Navier-Stokes initial value problem (1) have a smooth global solution , with bounded energy.

On a new approach to the Riemann hypothesis

2026-06-07T05:24:49Z

Suppose that the Riemann hypothesis is false and $ρ_{*} = 1/2 + η_{*} + i γ_{*}$, $η_{*} > 0$, is a nontrivial zero of the Riemann $ζ$-function off the critical line. Under the negation of the Riemann hypothesis for the Riemann $ζ$-function, we establish an asymptotic relation (as $γ_{*} \to \infty$) which relates the residues of the series $\sum_{n \geq 1} Λ(n) e^{- 2πi p n } n^{-s}$ at $s =$ corresponding nontrivial zeros of some Dirichlet $L$-functions to some function, valid for any rational number of the form $p = a/b < 1$ with $b \ll \log γ_{*}$. This related function is continuous in $p$ and we mention its implication to the Riemann hypothesis.

Variants on the $abc$-Conjecture using Alternative Quality Metrics

2026-06-07T02:35:48Z

The $abc$-conjecture (Masser and Oesterle) has remained open for decades. By measuring $abc$-triples using a particular quality metric, the conjecture may be framed as seeking the asymptotic distribution of triples of sufficient quality. We create new classes of quality metrics to develop variants on the $abc$-conjecture, with each metric based upon the doubly geometric mean of the prime factors of triples. We investigate the behavior of the resulting class of quality metrics; by determining families of triples that yield high quality, we establish several asymptotic results that are analogous to the $abc$-conjecture for our metrics. We also develop sharp phase transitions for the behavior of families of such quality metrics within specified parametrizations for smoothness of primes in $abc$-triples, using heuristics from the Szpiro ratio for associated Frey curves. Finally, we implement algorithms to determine triples with high qualities with sub-linear runtime, an asymptotic speedup over naïve approaches. Our analysis offers robust variations of, and connections to, the $abc$-conjecture that offer independent questions of analytical interest.

Nineteen to the Dozen: Embedding the Neo-Riemannian Tonnetz into a Cyclic 19_3 Symmetric Configuration

2026-06-06T17:58:45Z

This paper bridges combinatorial geometry and music theory to solve the fundamental challenge of embedding classical Western harmony into the microtonal 19-tone equal temperament (19-TET). Inspired by Roger Penrose's observations on the mathematical elegance of 19-TET, we provide the theoretical foundation for a physical 19-TET acoustic piano currently under construction. However, playing classical 12-TET music on such an instrument poses a topological problem: emvedding the classical Euler-Riemann Tonnetz into the 19-TET universe inevitably distorts structural chords, creating dissonant ``wolves.'' By formalizing these harmonic spaces as incidence configurations (the 12_3 and 19_3 graphs) and utilizing integer cuts in our optimization model, we exhaustively prove that exactly 32 out of 36 Neo-Riemannian harmonic connections can be preserved. We demonstrate a strict 5-fold degeneracy of this optimum: there exist exactly 5 mathematically equivalent local packings for the wolf chords. Among these, we identify a unique canonical realization in which the 14 excised vertices form a perfectly contiguous geometric void along the primary Hamiltonian cycle. We reveal that the 4 inevitably broken edges represent the exact topological scars of the historical enharmonic diesis, and we formulate the Vicentino Hypothesis regarding 16th-century microtonal composition. Finally, to make this theoretical geometry physically playable, we design a novel 19-TET split-key keyboard, formalized through a biomechanical cost function that optimizes the performer's hand span. This work provides the complete theoretical, historical, and ergonomic blueprint for the next generation of microtonal acoustic instruments.

N-ary quasi-arithmetic means and families without regularity

2026-06-05T20:51:04Z

The classical theorems of Kolmogorov--Nagumo--de Finetti and of Aczel--Maksa characterize quasi-arithmetic means from two complementary directions: the former for compatible families of means satisfying the replacement axiom, and the latter for bisymmetric means of fixed arity. We refine both representation results by showing that the required continuity follows automatically. Our main result states that every reflexive, symmetric, bisymmetric and partially strictly increasing $n$-variable operation on a real interval is continuous and hence quasi-arithmetic. The proof is based on a recursive construction on $n$-adic rationals given by bisymmetry, and a dense-domain continuity argument. The same method also yields the regularity-free Kolmogorov--Nagumo--de Finetti theorem for compatible families of strictly increasing symmetric means.

On the zeros of Riemann's Xi Function

2026-06-05T14:21:44Z

We consider Riemann's Xi function $ξ(s)$ which is evaluated at $s = \frac{1}{2} + σ+ i ω$, given by $ξ(\frac{1}{2} + σ+ i ω)= E_{pω}(ω)$, where $σ, ω$ are real and compute its inverse Fourier transform given by $E_p(t)$. We study the properties of $E_p(t)$ and a promising new method is presented which could be used to show that the Fourier Transform of $E_p(t)$ given by $E_{pω}(ω) = ξ(\frac{1}{2} + σ+ i ω)$ does not have zeros for finite and real $ω$ when $0 < |σ| < \frac{1}{2}$, corresponding to the critical strip excluding the critical line.

The Geometry of Dilation- and Shear-Deformed Spaces

2026-06-04T12:13:06Z

This paper develops a deformation-field geometry for spaces whose local frames may undergo internal dilation, compression, and shear. The basic datum is an admissible dilation-shear field $P$ over a selected metric-compatible reference geometry $(M,\bar g,\bar\nabla)$. It represents the induced metric by $g=P^T\bar gP$ and compares tangent data through the reference representative $\bar V=PV$. The covariant derivative associated with the natural connection is defined by \[ \nabla_XV=P^{-1}\bar\nabla_X(PV), \] with local connection coefficients \[ Γ=Λ=P^{-1}\barΓP+P^{-1}dP . \] Thus the total dilation-shear compensation is represented by the natural connection coefficients $Γ=Λ$. If $\bar\nabla\bar g=0$, then $\nabla g=0$; hence the covariant derivative associated with the natural connection has zero nonmetricity. The general distinction from Levi-Civita geometry lies instead in torsion and in the deformation origin of the comparison. The Levi-Civita connection coefficients $\mathringΓ[g]$ are retained as the torsion-free metric connection of the induced metric layer; they appear naturally in fully isometric realizations, but they are not an additional term to be added to the natural connection. The same pullback rule covers composite references that already contain both an isometric realization and an internal dilation-shear natural connection. Examples involving one-dimensional dilation, conformal deformation, anisotropic dilation, shear, and spherical geometries distinguish metric representation, natural dilation-shear comparison, Levi-Civita comparison, and embedded realization.