Noncommutative Schur-type products and their Schoenberg theorem

J. E. Pascoe

arxiv: 1907.04480 · v1 · pith:NIMV2C3Mnew · submitted 2019-07-10 · 🧮 math.FA · math.CV

Noncommutative Schur-type products and their Schoenberg theorem

J. E. Pascoe This is my paper

Pith reviewed 2026-05-24 23:48 UTC · model grok-4.3

classification 🧮 math.FA math.CV

keywords Schur productSchoenberg theorempositive semidefinite matricesrank-one matricesbilinear productsfunctional calculusnoncommutative products

0 comments

The pith

Bilinear matrix products preserving rank-one and positive semidefinite matrices all induce a Schoenberg-type theorem.

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

The paper extends the classical Schoenberg theorem, which characterizes functions that preserve positive semidefiniteness when applied to the entries of a positive semidefinite matrix under the standard Schur product. It considers arbitrary bilinear products on matrices that send pairs of rank-one matrices to rank-one matrices and pairs of positive semidefinite matrices to positive semidefinite matrices. All such products are classified, and each one is shown to induce a functional calculus for which the same Schoenberg conclusion holds: a real function on an interval preserves positive semidefiniteness under the calculus if and only if it is analytic with nonnegative Taylor coefficients at the origin. This shows the preservation properties alone are sufficient to recover the classical characterization without relying on the specific form of entrywise multiplication.

Core claim

We classify all products which satisfy these two properties and show that these generalized Schur products satisfy a Schoenberg type theorem. The two properties are that the product of any two rank-one matrices is rank-one and the product of any two positive semidefinite matrices is positive semidefinite. For the functional calculus induced by any product in this classified family, a function f preserves positive semidefiniteness precisely when it is analytic with nonnegative Taylor series coefficients at zero.

What carries the argument

The classification of all bilinear products on matrices that preserve rank-one matrices and positive semidefinite matrices, each of which induces a functional calculus to which the Schoenberg theorem applies.

If this is right

The Schoenberg characterization of admissible functions holds for every product in the classified family.
The classification exhausts all bilinear operations compatible with the two preservation conditions.
Any function with a negative Taylor coefficient at zero fails to preserve positive semidefiniteness for every such product.
The functional calculus of each classified product behaves identically with respect to the Schoenberg property.

Where Pith is reading between the lines

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

The two preservation conditions are strong enough to force the functional calculus to mimic the entrywise case for the purpose of Schoenberg's theorem.
The result may extend to operator-valued settings where the same rank-one and positivity preservation can be formulated.
Relaxing bilinearity while retaining the two preservation properties would likely produce products outside the Schoenberg class.

Load-bearing premise

That every bilinear product satisfying the rank-one and positive semidefinite preservation properties belongs to the classified family for which the Schoenberg conclusion can be proved.

What would settle it

Exhibiting one bilinear product on matrices that maps rank-one pairs to rank-one and positive semidefinite pairs to positive semidefinite yet admits a function with a negative Taylor coefficient that still maps positive semidefinite matrices to positive semidefinite matrices under the induced calculus.

read the original abstract

Schoenberg showed that a function $f:(-1,1)\rightarrow \mathbb{R}$ such that $C=[c_{ij}]_{i,j}$ positive semi-definite implies that $f(C)=[f(c_{ij})]_{i,j}$ is also positive semi-definite must be analytic and have Taylor series coefficients nonnegative at the origin. The Schoenberg theorem is essentially a theorem about the functional calculus arising from the Schur product, the entrywise product of matrices. Two important properties of the Schur product are that the product of two rank one matrices is rank one, and the product of two positive semi-definite matrices is positive semi-definite. We classify all products which satisfy these two properties and show that these generalized Schur products satisfy a Schoenberg type theorem.

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 classifies all bilinear products preserving rank-one and PSD matrices, then extends Schoenberg to the functional calculus each induces.

read the letter

The central contribution is a classification of bilinear matrix products that map rank-one matrices to rank-one matrices and positive semidefinite matrices to positive semidefinite matrices, followed by a proof that each such product induces a functional calculus satisfying a Schoenberg-type theorem. This is new because the standard Schoenberg theorem is tied specifically to the entrywise Schur product, and here they identify all products with the same two key properties and extend the theorem to them. The classification appears to be explicit, which is the main advance. The paper does a good job grounding the work in the two preservation properties. It avoids extra assumptions and focuses on what makes the Schur product work in the classical case. The argument for the generalized Schoenberg theorem then follows from those properties in a straightforward way. On the soft side, the abstract gives no hint of the proof techniques or how the classification is carried out, so one has to trust that the full text delivers the details without gaps. From the stress-test note, there is no visible circularity or inconsistency, so that seems fine. The result is narrow but cleanly executed. This paper is aimed at people working in functional analysis, particularly those interested in matrix positivity and entrywise operations. A reader who knows the classical Schoenberg theorem will see the value in the generalization. I recommend sending it for peer review. The classification is a concrete result that merits checking by referees in the area.

Referee Report

0 major / 1 minor

Summary. The paper classifies all bilinear products on matrices that map rank-one matrices to rank-one matrices and positive semidefinite matrices to positive semidefinite matrices. It further establishes that these generalized Schur products satisfy a Schoenberg-type theorem for the functional calculus they induce.

Significance. If the classification is exhaustive and the theorem holds, the work extends Schoenberg's classical result on entrywise Schur products to a broader family of bilinear operations, identifying all products with the two preservation properties and deriving the corresponding positive semidefiniteness result. The approach rests on external properties of rank-one and PSD matrices without introducing free parameters or ad-hoc axioms.

minor comments (1)

The abstract states the main results but supplies no proof details, error bounds, or verification steps, so soundness cannot be assessed from the given material alone.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript on the classification of bilinear products preserving rank-one and positive semidefinite matrices, along with the associated generalized Schoenberg theorems. The report provides a concise summary and notes an uncertain recommendation but lists no specific major comments requiring point-by-point rebuttal. We remain available to clarify any aspects of the classification or proofs if additional feedback is provided.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper classifies bilinear matrix products that preserve rank-one matrices and map PSD matrices to PSD matrices, then derives a Schoenberg-type theorem for the induced functional calculus. This rests on the external algebraic properties of rank-one and positive semidefinite matrices rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation. The derivation chain is self-contained against the stated axioms with no reduction of the central claims to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the work is a classification resting on standard properties of matrices.

pith-pipeline@v0.9.0 · 5658 in / 1036 out tokens · 17048 ms · 2026-05-24T23:48:57.151177+00:00 · methodology

Noncommutative Schur-type products and their Schoenberg theorem

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)