arxiv: 2605.07183 · v1 · submitted 2026-05-08 · 🧮 math.FA

Recognition: no theorem link

Octonionic Riesz-Dunford functional calculus

Guangbin Ren, Irene Sabadini, Qinghai Huo, Zhenghua Xu

Pith reviewed 2026-05-11 00:51 UTC · model grok-4.3

classification 🧮 math.FA

keywords octonionic functional calculusRiesz-Dunford calculusslice regularitypower-associative operatorsnonassociative algebraspull-back spectrumpush-forward spectrumBanach bimodules

0 comments

The pith

The Riesz-Dunford functional calculus is defined for octonionic operators by restricting to power-associative para-linear operators and introducing pull-back and push-forward spectra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a Riesz-Dunford functional calculus that works over the octonions, which are nonassociative. Nonassociativity normally creates extra associator terms that break standard resolvent series expansions and spoils the analyticity required for Cauchy integral definitions. The authors introduce power-associative para-linear operators on Banach octonionic bimodules to restore valid expansions, together with regular inverses of R_s - T and the C_J-extendable and C_J-liftable properties to guarantee slice regularity of the resolvents. These ingredients produce two spectra, the pull-back spectrum σ*(T) and the push-forward spectrum σ_*(T), which in turn yield left and right slice regular functional calculi.

Core claim

Bounded power-associative para-linear operators on Banach octonionic bimodules admit left and right slice regular functional calculi defined via the regular inverse of R_s - T for s in O; the pull-back spectrum σ*(T) and push-forward spectrum σ_*(T) are introduced to support these calculi, with C_J-extendability and C_J-liftability ensuring the necessary slice regularity.

What carries the argument

Power-associative para-linear operators, which remove associator terms from resolvent series, together with the regular inverse of R_s - T and the C_J-extendable or C_J-liftable properties that characterize slice regularity.

If this is right

Left and right slice regular functional calculi are defined for the entire class of bounded power-associative para-linear operators.
The pull-back spectrum σ*(T) and push-forward spectrum σ_*(T) serve as the octonionic counterparts of the classical spectrum.
The construction recovers the known Riesz-Dunford calculi over the complex numbers and quaternions as special cases.
The calculus applies directly to operators on Banach octonionic bimodules.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same power-associativity and slice-regularity techniques may extend functional calculus methods to other nonassociative normed algebras.
Numerical approximation schemes for octonionic operator functions become feasible once the calculus is in place.
Further work could examine whether the spectra admit concrete characterizations for standard classes of operators such as multiplication or derivation operators.

Load-bearing premise

Power-associative operators eliminate unwanted associator terms from resolvent expansions and the C_J-extendable and liftable properties are enough to guarantee the slice regularity of the resolvents required for the calculus.

What would settle it

A concrete bounded power-associative para-linear operator for which the resolvent series expansion still contains nonzero associator terms, or for which the resulting functional calculus fails to reproduce the operator polynomial on the spectrum.

read the original abstract

The Riesz-Dunford functional calculus over the algebra of octonions, denoted by $\mathbb{O}$, has long been an open problem due to the nonassociativity of octonions. Two core obstacles hinder its development: first, the generalization of the resolvent operator series identity produces unexpected associator terms that invalidate standard expansions; second, the nonassociativity spoils the analyticity of the resolvent operator, a key property for defining a functional calculus via Cauchy integrals. In this paper, we initiate the study of the Riesz-Dunford functional calculus for bounded power-associative para-linear operators in Banach octonionic bimodules. To address the above issues, we introduce several pivotal concepts: power-associative operators (to eliminate the unwanted associator terms and recover valid resolvent series expansions), the notions of regular inverse of $R_s-T$ for $s\in \O$ (which serve as the octonionic versions of the resolvent operator), $\mathbb{C}_J$-extendable power-associative operators, and $\mathbb{C}_J$-liftable power-associative operators (to characterize the slice regularity of the resolvent operators). Based on these notions, we define two types of octonionic spectra: the pull-back spectrum $\sigma^*(T)$ and the push-forward spectrum $\sigma_*(T)$. These give rise to the left and right slice regular functional calculi of bounded power-associative para-linear operators, respectively. This theory unifies the Riesz-Dunford functional calculus over division algebras ($ \mathbb{C}, \mathbb{H}, \mathbb{O}$) and fills the six-decade-long gap in octonionic (nonassociative) functional analysis.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper sketches a workable route to Riesz-Dunford calculus on octonions by defining power-associative operators and two new spectra, but the proofs must still show that associators are controlled in the integrals and products.

read the letter

The central point is that the authors have produced the first explicit candidate for a Riesz-Dunford functional calculus over the octonions. They isolate the two concrete obstructions created by nonassociativity—the extra associator terms in the resolvent series and the loss of analyticity for the resolvent—and introduce power-associative para-linear operators together with a regular inverse of R_s - T to remove those terms. The C_J-extendable and C_J-liftable conditions are then used to recover slice regularity, which lets them define the pull-back spectrum σ* and push-forward spectrum σ_* and the corresponding left and right calculi on Banach octonionic bimodules. This is genuinely new; the literature stopped at quaternions precisely because these steps had not been carried out. The paper does a clean job of naming the obstacles and supplying targeted definitions that reduce to the known associative cases when the algebra is associative. The soft spot is exactly the one flagged in the stress test. It is not yet clear from the outline whether the new conditions suffice to make the Cauchy integrals well-defined and to guarantee that the resulting maps are algebra homomorphisms when functions are multiplied. The abstract sets up the machinery, but the actual expansions and the verification that associators vanish in the integral and under composition need to be checked line by line. No machine-checked proofs or concrete examples are supplied, so the claims rest entirely on the algebraic identities in the text. This work is aimed at people who already know the complex and quaternionic versions and want to see how the nonassociative case can be reached. A reader in that group will get immediate value from the new definitions and the unification claim, provided the central constructions hold. The paper deserves a serious referee. The problem is real, the proposal is structured, and the gaps are specific enough that referees can test them directly.

Referee Report

3 major / 2 minor

Summary. The paper claims to initiate the study of the Riesz-Dunford functional calculus for bounded power-associative para-linear operators in Banach octonionic bimodules. By introducing power-associative operators to eliminate associator terms in resolvent expansions, regular inverses of R_s - T, and C_J-extendable and C_J-liftable properties to characterize slice regularity, it defines the pull-back spectrum σ*(T) and push-forward spectrum σ_*(T). These underpin the left and right slice-regular functional calculi, unifying the Riesz-Dunford calculus over the division algebras C, H, and O.

Significance. Should the proposed constructions prove rigorous and the resulting calculi well-defined despite nonassociativity, this would constitute a significant contribution by resolving a six-decade open problem in octonionic functional analysis and providing a unified theory across associative and nonassociative division algebras.

major comments (3)

[Definitions of power-associative para-linear operators] The manuscript asserts that power-associativity eliminates unwanted associator terms from the resolvent series identity. However, an explicit calculation verifying the vanishing of these terms in the expansion of the regular inverse (R_s - T)^{-1} is necessary to confirm that the series converges and behaves as in the associative case.
[C_J-extendable and C_J-liftable properties] The characterization of slice regularity of the resolvent operators via these properties is central to defining the Cauchy integrals. The paper should demonstrate with a specific theorem or example that these conditions ensure the integral is well-defined and independent of choices, without residual associator issues when integrating over the slice.
[Definition of left and right slice regular functional calculi] To support the unification claim, it must be shown that the defined calculi are homomorphisms (i.e., preserve multiplication appropriately). The current outline leaves open whether nonassociativity affects the product rule in the functional calculus application.

minor comments (2)

[Abstract] The abstract is dense with new terminology; a brief example of a simple operator and its spectrum would aid readability.
[References] Add citations to foundational works on quaternionic functional calculus (e.g., by Colombo et al.) to better contextualize the extension to octonions.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. These points help clarify the presentation of our constructions for the octonionic Riesz-Dunford calculus. We respond to each comment below and indicate the revisions we will incorporate.

read point-by-point responses

Referee: [Definitions of power-associative para-linear operators] The manuscript asserts that power-associativity eliminates unwanted associator terms from the resolvent series identity. However, an explicit calculation verifying the vanishing of these terms in the expansion of the regular inverse (R_s - T)^{-1} is necessary to confirm that the series converges and behaves as in the associative case.

Authors: We agree that an explicit verification strengthens the argument. The manuscript introduces power-associative para-linear operators precisely so that the associator [R_s - T, x, y] vanishes identically in the relevant expansions, recovering the standard Neumann series for the regular inverse. In the revised version we will insert a dedicated lemma containing the full term-by-term calculation showing that every associator contribution is zero under the power-associativity hypothesis, thereby confirming convergence exactly as in the associative setting. revision: yes
Referee: [C_J-extendable and C_J-liftable properties] The characterization of slice regularity of the resolvent operators via these properties is central to defining the Cauchy integrals. The paper should demonstrate with a specific theorem or example that these conditions ensure the integral is well-defined and independent of choices, without residual associator issues when integrating over the slice.

Authors: The C_J-extendable and C_J-liftable properties are defined to guarantee that the resolvent is slice-regular on each complex plane C_J, which is the key ingredient for the Cauchy integral to be independent of the chosen slice. We will add a new theorem (with a short illustrative example on a finite-dimensional bimodule) that explicitly verifies: (i) the integral is unchanged under deformation of the contour within a fixed slice, (ii) the value is the same for any admissible J, and (iii) all associator terms arising from nonassociativity cancel because of power-associativity of T. This will be placed immediately before the definition of the functional calculi. revision: yes
Referee: [Definition of left and right slice regular functional calculi] To support the unification claim, it must be shown that the defined calculi are homomorphisms (i.e., preserve multiplication appropriately). The current outline leaves open whether nonassociativity affects the product rule in the functional calculus application.

Authors: The left and right calculi are constructed via the respective pull-back and push-forward spectra so that the homomorphism property holds by the usual contour-integral argument once slice regularity is assured. To make the unification explicit, we will insert a proposition that proves f(T)g(T) = (fg)(T) for the left calculus (and the analogous right-hand version), with all nonassociative products carefully tracked; the proof relies only on the already-established slice regularity of the resolvent and the power-associativity of T, so no additional obstructions appear. revision: yes

Circularity Check

0 steps flagged

No significant circularity: derivation rests on independent novel definitions

full rationale

The paper identifies nonassociativity obstacles in resolvent expansions and analyticity, then introduces power-associative para-linear operators, regular inverses of R_s-T, and C_J-extendable/liftable properties as new concepts to recover valid series and characterize slice regularity. These enable the definitions of pull-back spectrum σ*(T) and push-forward spectrum σ_*(T), from which the left and right slice-regular functional calculi are constructed. No quoted step reduces by construction to prior fitted parameters, self-referential definitions, or load-bearing self-citations; the chain is self-contained with independent content that addresses the stated gaps without tautological equivalence to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 3 invented entities

The central claim rests on several newly introduced mathematical concepts and definitions to handle nonassociativity, which are not derived from prior literature but postulated to make the theory work.

axioms (1)

standard math Standard properties of the octonion algebra O and Banach bimodules
Relies on established theory of octonions and functional analysis in bimodules.

invented entities (3)

power-associative para-linear operators no independent evidence
purpose: To eliminate associator terms in resolvent series expansions
Newly defined concept to recover valid expansions despite nonassociativity.
regular inverse of R_s - T no independent evidence
purpose: To serve as the octonionic version of the resolvent operator
Introduced as a key notion for the calculus.
pull-back spectrum σ*(T) and push-forward spectrum σ_*(T) no independent evidence
purpose: To give rise to left and right slice regular functional calculi
New spectra defined based on the new operator notions.

pith-pipeline@v0.9.0 · 5616 in / 1433 out tokens · 61112 ms · 2026-05-11T00:51:12.028657+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

35 extracted references · 1 canonical work pages

[1]

Alpay, F

D. Alpay, F. Colombo, and I. Sabadini. Slice hyperholomorphic Schur analysis , volume 256 of Operator Theory: Advances and Applications . Birkhäuser/Springer, Cham, 2016

2016
[2]

Alpay, F

D. Alpay, F. Colombo, and I. Sabadini. Quaternionic de Branges spaces and characteristic operator function . SpringerBriefs in Mathematics. Springer, Cham, 2020

2020
[3]

Colombo and J

F. Colombo and J. Gantner. Quaternionic closed operators, fractional powers and fractional diffusion processes , volume 274 of Operator Theory: Advances and Applications . Birkhäuser/Springer, Cham, 2019

2019
[4]

Colombo, J

F. Colombo, J. Gantner, and D. P. Kimsey. Spectral theory on the S-spectrum for quaternionic operators , volume 270 of Operator Theory: Advances and Applications . Birkhäuser/Springer, Cham, 2018

2018
[5]

Colombo, I

F. Colombo, I. Sabadini, and D. C. Struppa. Slice monogenic functions. Israel J. Math. , 171:385–403, 2009

2009
[6]

Colombo, I

F. Colombo, I. Sabadini, and D. C. Struppa. Noncommutative functional calculus , volume 289 of Progress in Mathematics. Birkhäuser/Springer Basel AG, Basel, 2011. Theory and applications of slice hyperholomorphic functions

2011
[7]

Colombo, I

F. Colombo, I. Sabadini, and D. C. Struppa. Michele Sce’s works in hypercomplex analysis—a translation with commentaries. Birkhäuser/Springer, Cham, 2020

2020
[8]

C. G. Cullen. An integral theorem for analytic intrinsic functions on quaternions. Duke Math. J. , 32:139–148, 1965

1965
[9]

X. Dou, G. Ren, and I. Sabadini. Extension theorem and representation formula in non-axially-symmetric domains for slice regular functions. J. Eur. Math. Soc. (JEMS) , 25(9):3665–3694, 2023. OCTONIONIC RIESZ-DUNFORD FUNCTIONAL CALCULUS 67

2023
[10]

Dunford and J

N. Dunford and J. T. Schwartz. Linear Operators. I. General Theory , volume Vol. 7 of Pure and Applied Mathematics. Interscience Publishers, Inc., New York; Interscience Publishers Ltd., London, 1958. With the assistance of W. G. Bade and R. G. Bartle

1958
[11]

R. Fueter. Die Funktionentheorie der Differentialgleichungen ∆u = 0 und ∆∆u = 0 mit vier reellen Variablen. Comment. Math. Helv. , 7(1):307–330, 1934

1934
[12]

Gentili, C

G. Gentili, C. Stoppato, and D. C. Struppa. Regular functions of a quaternionic variable . Springer Monographs in Mathematics. Springer, Heidelberg, 2013

2013
[13]

Gentili and D

G. Gentili and D. C. Struppa. A new approach to Cullen-regular functions of a quaternionic variable. C. R. Math. Acad. Sci. Paris , 342(10):741–744, 2006

2006
[14]

Gentili and D

G. Gentili and D. C. Struppa. A new theory of regular functions of a quaternionic variable. Adv. Math. , 216(1):279–301, 2007

2007
[15]

Gentili and D

G. Gentili and D. C. Struppa. Regular functions on the space of Cayley numbers. Rocky Mountain J. Math. , 40(1):225–241, 2010

2010
[16]

Ghiloni, V

R. Ghiloni, V. Moretti, and A. Perotti. Continuous slice functional calculus in quaternionic Hilbert spaces. Rev. Math. Phys. , 25(4):1350006, 83, 2013

2013
[17]

Ghiloni and A

R. Ghiloni and A. Perotti. Slice regular functions on real alternative algebras. Adv. Math. , 226(2):1662–1691, 2011

2011
[18]

Ghiloni, A

R. Ghiloni, A. Perotti, and V. Recupero. Noncommutative Cauchy integral formula. Complex Anal. Oper. Theory, 11(2):289–306, 2017

2017
[19]

Ghiloni, A

R. Ghiloni, A. Perotti, and C. Stoppato. The algebra of slice functions. Trans. Amer. Math. Soc. , 369(7):4725– 4762, 2017

2017
[20]

H. H. Goldstine and L. P. Horwitz. Hilbert space with non-associative scalars. I. Math. Ann. , 154:1–27, 1964

1964
[21]

F. R. Harvey. Spinors and calibrations . Perspectives in Mathematics. Academic Press, Inc., Boston, MA, 1990

1990
[22]

Huo and G

Q. Huo and G. Ren. Para-linearity as the nonassociative counterpart of linearity. J. Geom. Anal. , 32(12):Paper No. 304, 30, 2022

2022
[23]

Huo and G

Q. Huo and G. Ren. On octonionic submodules generated by one element. Adv. Appl. Clifford Algebr. , 34(5):Pa- per No. 46, 12, 2024

2024
[24]

Huo and G

Q. Huo and G. Ren. Non-associative Categories of Octonionic Bimodules. Commun. Math. Stat. , 13(2):303–369, 2025

2025
[25]

Huo and G

Q. Huo and G. Ren. Octonionic Hahn-Banach theorem for para-linear functionals. Bull. Lond. Math. Soc. , 57(2):472–489, 2025

2025
[26]

Q. Huo, G. Ren, and I. Sabadini. Octonionic para-linear self-adjoint operators and spectral decomposition. preprint
[27]

Q. Huo, G. Ren, and I. Sabadini. Octonionic Hilbert spaces and para-linear operators. In Hypercomplex analysis and its applications , Trends Math., pages 93–103. Birkhäuser/Springer, Cham, [2025] ©2025

2025
[28]

Huo and Z

Q. Huo and Z. Xu. Power-bounded quaternionic operators. arXiv:2312.04771, 2023

work page arXiv 2023
[29]

Jacobson

N. Jacobson. Structure of alternative and Jordan bimodules. Osaka Math. J. , 6:1–71, 1954

1954
[30]

M. Sce. Osservazioni sulle serie di potenze nei moduli quadratici. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) , 23:220–225, 1957

1957
[31]

R. D. Schafer. Representations of alternative algebras. Trans. Amer. Math. Soc. , 72:1–17, 1952

1952
[32]

T. A. Springer and F. D. Veldkamp. Octonions, Jordan algebras and exceptional groups . Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2000

2000
[33]

J. L. Taylor. The analytic-functional calculus for several commuting operators. Acta Math. , 125:1–38, 1970

1970
[34]

Y. Tian. Matrix representations of octonions and their applications. Adv. Appl. Clifford Algebras , 10(1):61–90, 2000

2000
[35]

Viswanath

K. Viswanath. Normal operations on quaternionic Hilbert spaces. Trans. Amer. Math. Soc. , 162:337–350, 1971. Email address , Q. Huo: hqh86@mail.ustc.edu.cn Department of Mathematics, Hefei University of Technology, Hefei 230009, China Email address , G. Ren: rengb@ustc.edu.cn 68 QINGHAI HUO, GUANGBIN REN, IRENE SABADINI, AND ZHENGHUA XU Department of Math...

1971