Multiplicative linear functionals on reproducing kernel Hilbert spaces

Jaikishan; Poornendu Kumar; Tirthankar Bhattacharyya

arxiv: 2605.21808 · v1 · pith:LUBNVJ76new · submitted 2026-05-20 · 🧮 math.FA · math.CV

Multiplicative linear functionals on reproducing kernel Hilbert spaces

Tirthankar Bhattacharyya , Jaikishan , Poornendu Kumar This is my paper

Pith reviewed 2026-05-22 07:26 UTC · model grok-4.3

classification 🧮 math.FA math.CV

keywords reproducing kernel Hilbert spacesmultiplicative linear functionalscomplete Nevanlinna-Pick kernelsSchur productstensor productsunit ballfunction theory

0 comments

The pith

Multiplicative linear functionals on these reproducing kernel Hilbert spaces are characterized by how they act on the kernel functions.

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

The paper establishes characterizations of multiplicative linear functionals on reproducing kernel Hilbert spaces of functions on the Euclidean unit ball in complex d-space. The kernels in question are positive integral powers of a complete Nevanlinna-Pick kernel, Schur products of two such kernels, or tensor products of two such kernels. A sympathetic reader would care because the characterizations are direct and easy to check, relying on the built-in structural features of these kernels rather than heavier general theorems.

Core claim

Multiplicative linear functionals on the reproducing kernel Hilbert spaces under consideration are characterized in terms of their action on kernel functions. The kernels considered are either positive integral powers of a complete Nevanlinna-Pick kernel, or Schur products of two CNP kernels, or tensor products of two CNP kernels. The characterizations are easy to verify, and the proofs rely on structural properties of CNP kernels.

What carries the argument

Structural properties of complete Nevanlinna-Pick kernels that let the multiplicative property of a linear functional be read off from its values on the kernel functions.

If this is right

The same characterization applies when the kernel is any positive integer power of a CNP kernel.
The characterization continues to hold for Schur products of any two CNP kernels.
The characterization continues to hold for tensor products of any two CNP kernels.
Verification of multiplicativity reduces to checking the functional on kernel functions alone.
The route through CNP kernel structure replaces more abstract generalizations of the Gleason-Kahane-Zelazko theorem.

Where Pith is reading between the lines

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

The method may extend to other kernel classes that inherit the same positivity or interpolation properties from CNP kernels.
Such explicit descriptions could simplify the study of multipliers and composition operators on these spaces over the ball.
The approach suggests a template for characterizing functionals on spaces built from other natural kernel operations.

Load-bearing premise

The kernels are restricted to positive integral powers of a complete Nevanlinna-Pick kernel or to Schur or tensor products of two such kernels.

What would settle it

A concrete multiplicative linear functional on one of these spaces whose action on the kernel functions fails to satisfy the stated characterization would disprove the claim.

read the original abstract

This note characterizes multiplicative linear functionals on reproducing kernel Hilbert spaces of functions on the Euclidean unit ball in complex d-dimensional space, in terms of their action on kernel functions. The kernels considered are either positive integral powers of a complete Nevanlinna--Pick (CNP) kernel, or Schur products of two CNP kernels, or tensor products of two CNP kernels. The characterizations are easy to verify, and the proofs rely on structural properties of CNP kernels rather than the traditional routes seen in the context of generalizations of the Gleason--Kahane--Zelazko 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

read the letter

This note gives explicit characterizations of multiplicative linear functionals on three specific classes of CNP-kernel RKHS by their action on kernel functions, using intrinsic positivity instead of Gleason-Kahane-Zelazko routes. The kernels covered are positive integral powers of a complete Nevanlinna-Pick kernel, Schur products of two CNP kernels, and tensor products of two CNP kernels. The approach stays inside the algebra and positivity properties that these kernels already carry, which keeps the arguments direct and the final statements easy to check against the kernel evaluations themselves. That is the main concrete advance here: a modest technical shift that avoids the heavier machinery of classical multiplicative functional theorems for these particular constructions. The paper does this cleanly and without unnecessary generality, which is a plus for anyone who needs the result for one of these kernel families. The scope stays narrow by design. It does not claim extensions to other kernels, does not discuss applications outside the characterizations, and offers no broader context in multivariable operator theory. That is not a flaw for a short note, but it does mean the work will mainly interest specialists already comfortable with CNP kernels on the unit ball. From the abstract and stress-test description, the method looks internally consistent with no obvious circularity or missing cases in the stated setup. Without the full proofs I cannot inspect every derivation step, but nothing in the given outline suggests a load-bearing assumption that would collapse the argument. This is the sort of focused technical note that a reader working on RKHS or multiplicative functionals in this subfield might want to have on hand. It shows clear engagement with the relevant literature and delivers precise statements for the kernels it treats. I would send it to peer review so a referee can verify the details and confirm whether the characterizations hold exactly as claimed.

Referee Report

0 major / 3 minor

Summary. The paper characterizes multiplicative linear functionals on reproducing kernel Hilbert spaces of functions on the Euclidean unit ball in C^d. The kernels considered are positive integral powers of a complete Nevanlinna-Pick (CNP) kernel, Schur products of two CNP kernels, or tensor products of two CNP kernels. The characterizations are given in terms of the functionals' action on kernel functions and rely on structural properties of CNP kernels (intrinsic positivity and algebraic compatibility with multiplicativity) rather than Gelfand theory or generalizations of the Gleason-Kahane-Zelazko theorem.

Significance. If the characterizations hold, the results supply direct, easily verifiable descriptions of multiplicative functionals for these specific RKHS classes. This leverages the known compatibility between CNP kernel structure and point evaluations, offering a streamlined alternative to classical routes in operator theory and several complex variables. The approach avoids reduction to fitted quantities and focuses on intrinsic properties, which strengthens its utility for related problems in reproducing kernel theory.

minor comments (3)

§2, definition of the Schur product kernel: the notation k ⊙ m should be accompanied by an explicit formula or reference to the standard definition to avoid ambiguity for readers unfamiliar with the operation in the CNP setting.
Theorem 3.2 (tensor product case): the statement that the functional is determined by its values on k_z ⊗ m_w could be strengthened by explicitly noting the domain of the product space to clarify the identification with the tensor product RKHS.
The abstract claims the proofs are 'easy to verify'; a brief remark in the introduction on the length or key algebraic steps would help readers assess this without reading the full derivations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment of its contributions. The referee's summary accurately reflects the characterizations of multiplicative linear functionals on the indicated classes of RKHS via their action on kernel functions, relying on intrinsic properties of CNP kernels. We note the recommendation for minor revision and are prepared to incorporate any specific suggestions.

Circularity Check

0 steps flagged

No significant circularity: characterizations rely on intrinsic structural properties of CNP kernels

full rationale

The paper characterizes multiplicative linear functionals on the specified classes of RKHS (positive integral powers of CNP kernels, Schur products, and tensor products) by their action on kernel functions. Proofs are stated to use structural properties of CNP kernels and algebraic positivity rather than Gelfand theory or other external routes. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional equivalence within the paper. The kernels are chosen precisely because their known compatibility with multiplicativity allows direct verification, making the derivation self-contained against standard external benchmarks for CNP kernels.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background facts about reproducing kernels and complete Nevanlinna-Pick kernels; no free parameters or new invented entities are introduced in the abstract.

axioms (1)

domain assumption Complete Nevanlinna-Pick kernels possess the structural positivity and algebraic properties used in the proofs.
Invoked to replace traditional Gleason-Kahane-Zelazko routes (abstract).

pith-pipeline@v0.9.0 · 5620 in / 1303 out tokens · 39916 ms · 2026-05-22T07:26:56.327722+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

characterizes multiplicative linear functionals Λ on H by the actions of Λ just on the kernel functions when the kernel is either a positive integral power of a complete Nevanlinna-Pick (CNP) kernel, or a Schur product of two CNP kernels or a tensor product of two CNP kernels
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

proofs rely on structural properties of CNP kernels rather than the traditional routes seen in the context of generalizations of the Gleason-Kahane-Zelazko theorem

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Agler and J

J. Agler and J. E. McCarthy,Complete Nevanlinna–Pick kernels, J. Funct. Anal. 175 (2000), no. 1, 111–124

work page 2000
[2]

Agler and J

J. Agler and J. E. McCarthy,Pick interpolation and Hilbert function spaces, Graduate Studies in Mathematics, Vol. 44, American Mathematical Society, Providence, RI, 2002

work page 2002
[3]

Aleman, M

A. Aleman, M. Hartz, J. E. McCarthy, and S. Richter,The Smirnov class for spaces with the complete Pick property, J. Lond. Math. Soc. (2) 96 (2017), no. 1, 228–242

work page 2017
[4]

Aleman, M

A. Aleman, M. Hartz, J. E. McCarthy, and S. Richter,Free outer functions in complete Pick spaces, Trans. Amer. Math. Soc. 376 (2023), 1929 - 1978

work page 2023
[5]

Alpay, T

D. Alpay, T. Bhattacharyya, A. Jindal, and P. Kumar,Complete Nevanlinna-Pick kernels, the Schwarz lemma and the Schur algorithm, Complex Var. Elliptic Equ. 70 (2025), no. 12, 2151–2165

work page 2025
[6]

Arias and G

A. Arias and G. Popescu,Factorization and reflexivity on Fock spaces, Integral Equations Operator Theory 23 (1995), no. 3, 268–286

work page 1995
[7]

Bhattacharyya, and A

T. Bhattacharyya, and A. Jindal,Complete Nevanlinna-Pick kernels and the characteristic function, Adv. Math. 426, 109089 (2023)

work page 2023
[8]

Brown and A

L. Brown and A. L. Shields,Cyclic vectors in the Dirichlet space, Trans. Amer. Math. Soc. 285 (1984), no. 1, 269–303

work page 1984
[9]

C. Chu, M. Hartz, J. Mashreghi, and T. Ransford,A Gleason–Kahane– ˙Zelazko theorem for repro- ducing kernel Hilbert spaces, Bull. Lond. Math. Soc. 54 (2022), no. 3, 1120–1130

work page 2022
[10]

K. R. Davidson and D. R. Pitts,Invariant subspaces and hyper-reflexivity for free semigroup alge- bras, Proc. Lond. Math. Soc. (3) 78 (1999), no. 2, 401–430

work page 1999
[11]

A. M. Gleason,A characterization of maximal ideals, J. Analyse Math. 19 (1967), 171–172

work page 1967
[12]

Hartz,Every complete Pick space satisfies the column–row property, Acta Math

M. Hartz,Every complete Pick space satisfies the column–row property, Acta Math. 231 (2023), no. 2, 345–386

work page 2023
[13]

Hartz,On the isomorphism problem for multiplier algebras of Nevanlinna–Pick spaces, Canad

M. Hartz,On the isomorphism problem for multiplier algebras of Nevanlinna–Pick spaces, Canad. J. Math. 69 (2017), no. 1, 54–106

work page 2017
[14]

Lata, and D

Jaikishan, S. Lata, and D. Singh,Multiplicativity of linear functionals on function spaces on an open disc, Arch. Math. 123 (2024), 65–74

work page 2024
[15]

M. T. Jury and R. T. W. Martin,Factorization in weak products of complete Pick spaces, Bull. Lond. Math. Soc. 51 (2019), 223–229

work page 2019
[16]

M. T. Jury and R. T. W. Martin,The Smirnov classes for the Fock space and complete Pick spaces, Indiana Univ. Math. J. 70 (2021), 269 - 284

work page 2021
[17]

Kahane and W

J.-P. Kahane and W. ˙Zelazko,A characterization of maximal ideals in commutative Banach alge- bras, Studia Math. 29 (1968), 339–343

work page 1968
[18]

McCullough and T

S. McCullough and T. T. Trent,nvariant subspaces and Nevanlinna–Pick kernels, J. Funct. Anal. 178 (2000), 226 - 249

work page 2000
[19]

Mashreghi and T

J. Mashreghi and T. Ransford,A Gleason–Kahane– ˙Zelazko theorem for modules and applications to holomorphic function spaces, Bull. Lond. Math. Soc. 47 (2015), no. 6, 1014–1020

work page 2015
[20]

Mashreghi, M

J. Mashreghi, M. Ransford, and T. Ransford,A Gleason–Kahane– ˙Zelazko theorem for the Dirichlet space, J. Funct. Anal. 274 (2018), no. 11, 3254–3262

work page 2018
[21]

V. I. Paulsen and M. Raghupathi,An introduction to the theory of reproducing kernel Hilbert spaces, Cambridge Studies in Advanced Mathematics, Vol. 152, Cambridge University Press, Cambridge, 2016

work page 2016
[22]

Roitman and Y

M. Roitman and Y. Sternfeld,When is a linear functional multiplicative?, Trans. Amer. Math. Soc. 267 (1981), 111–124

work page 1981
[23]

Sampat,Cyclicity preserving operators on spaces of analytic functions inC n, Integral Equations Operator Theory 93 (2021), 1–20

J. Sampat,Cyclicity preserving operators on spaces of analytic functions inC n, Integral Equations Operator Theory 93 (2021), 1–20

work page 2021
[24]

˙Zelazko,A characterization of multiplicative linear functionals in complex Banach algebras, Studia Math

W. ˙Zelazko,A characterization of multiplicative linear functionals in complex Banach algebras, Studia Math. 30 (1968) 83–85. 18 TIRTHANKAR BHATTACHARYYA, JAIKISHAN, AND POORNENDU KUMAR Department of Mathematics, Indian Institute of Science, Bangalore 560012, India Email address:tirtha@iisc.ac.in Department Of Mathematics, SNIoE (deemed to be university),...

work page 1968

[1] [1]

Agler and J

J. Agler and J. E. McCarthy,Complete Nevanlinna–Pick kernels, J. Funct. Anal. 175 (2000), no. 1, 111–124

work page 2000

[2] [2]

Agler and J

J. Agler and J. E. McCarthy,Pick interpolation and Hilbert function spaces, Graduate Studies in Mathematics, Vol. 44, American Mathematical Society, Providence, RI, 2002

work page 2002

[3] [3]

Aleman, M

A. Aleman, M. Hartz, J. E. McCarthy, and S. Richter,The Smirnov class for spaces with the complete Pick property, J. Lond. Math. Soc. (2) 96 (2017), no. 1, 228–242

work page 2017

[4] [4]

Aleman, M

A. Aleman, M. Hartz, J. E. McCarthy, and S. Richter,Free outer functions in complete Pick spaces, Trans. Amer. Math. Soc. 376 (2023), 1929 - 1978

work page 2023

[5] [5]

Alpay, T

D. Alpay, T. Bhattacharyya, A. Jindal, and P. Kumar,Complete Nevanlinna-Pick kernels, the Schwarz lemma and the Schur algorithm, Complex Var. Elliptic Equ. 70 (2025), no. 12, 2151–2165

work page 2025

[6] [6]

Arias and G

A. Arias and G. Popescu,Factorization and reflexivity on Fock spaces, Integral Equations Operator Theory 23 (1995), no. 3, 268–286

work page 1995

[7] [7]

Bhattacharyya, and A

T. Bhattacharyya, and A. Jindal,Complete Nevanlinna-Pick kernels and the characteristic function, Adv. Math. 426, 109089 (2023)

work page 2023

[8] [8]

Brown and A

L. Brown and A. L. Shields,Cyclic vectors in the Dirichlet space, Trans. Amer. Math. Soc. 285 (1984), no. 1, 269–303

work page 1984

[9] [9]

C. Chu, M. Hartz, J. Mashreghi, and T. Ransford,A Gleason–Kahane– ˙Zelazko theorem for repro- ducing kernel Hilbert spaces, Bull. Lond. Math. Soc. 54 (2022), no. 3, 1120–1130

work page 2022

[10] [10]

K. R. Davidson and D. R. Pitts,Invariant subspaces and hyper-reflexivity for free semigroup alge- bras, Proc. Lond. Math. Soc. (3) 78 (1999), no. 2, 401–430

work page 1999

[11] [11]

A. M. Gleason,A characterization of maximal ideals, J. Analyse Math. 19 (1967), 171–172

work page 1967

[12] [12]

Hartz,Every complete Pick space satisfies the column–row property, Acta Math

M. Hartz,Every complete Pick space satisfies the column–row property, Acta Math. 231 (2023), no. 2, 345–386

work page 2023

[13] [13]

Hartz,On the isomorphism problem for multiplier algebras of Nevanlinna–Pick spaces, Canad

M. Hartz,On the isomorphism problem for multiplier algebras of Nevanlinna–Pick spaces, Canad. J. Math. 69 (2017), no. 1, 54–106

work page 2017

[14] [14]

Lata, and D

Jaikishan, S. Lata, and D. Singh,Multiplicativity of linear functionals on function spaces on an open disc, Arch. Math. 123 (2024), 65–74

work page 2024

[15] [15]

M. T. Jury and R. T. W. Martin,Factorization in weak products of complete Pick spaces, Bull. Lond. Math. Soc. 51 (2019), 223–229

work page 2019

[16] [16]

M. T. Jury and R. T. W. Martin,The Smirnov classes for the Fock space and complete Pick spaces, Indiana Univ. Math. J. 70 (2021), 269 - 284

work page 2021

[17] [17]

Kahane and W

J.-P. Kahane and W. ˙Zelazko,A characterization of maximal ideals in commutative Banach alge- bras, Studia Math. 29 (1968), 339–343

work page 1968

[18] [18]

McCullough and T

S. McCullough and T. T. Trent,nvariant subspaces and Nevanlinna–Pick kernels, J. Funct. Anal. 178 (2000), 226 - 249

work page 2000

[19] [19]

Mashreghi and T

J. Mashreghi and T. Ransford,A Gleason–Kahane– ˙Zelazko theorem for modules and applications to holomorphic function spaces, Bull. Lond. Math. Soc. 47 (2015), no. 6, 1014–1020

work page 2015

[20] [20]

Mashreghi, M

J. Mashreghi, M. Ransford, and T. Ransford,A Gleason–Kahane– ˙Zelazko theorem for the Dirichlet space, J. Funct. Anal. 274 (2018), no. 11, 3254–3262

work page 2018

[21] [21]

V. I. Paulsen and M. Raghupathi,An introduction to the theory of reproducing kernel Hilbert spaces, Cambridge Studies in Advanced Mathematics, Vol. 152, Cambridge University Press, Cambridge, 2016

work page 2016

[22] [22]

Roitman and Y

M. Roitman and Y. Sternfeld,When is a linear functional multiplicative?, Trans. Amer. Math. Soc. 267 (1981), 111–124

work page 1981

[23] [23]

Sampat,Cyclicity preserving operators on spaces of analytic functions inC n, Integral Equations Operator Theory 93 (2021), 1–20

J. Sampat,Cyclicity preserving operators on spaces of analytic functions inC n, Integral Equations Operator Theory 93 (2021), 1–20

work page 2021

[24] [24]

˙Zelazko,A characterization of multiplicative linear functionals in complex Banach algebras, Studia Math

W. ˙Zelazko,A characterization of multiplicative linear functionals in complex Banach algebras, Studia Math. 30 (1968) 83–85. 18 TIRTHANKAR BHATTACHARYYA, JAIKISHAN, AND POORNENDU KUMAR Department of Mathematics, Indian Institute of Science, Bangalore 560012, India Email address:tirtha@iisc.ac.in Department Of Mathematics, SNIoE (deemed to be university),...

work page 1968