Smoothness and norm attainment of bounded bilinear operators between Banach spaces

Debmalya Sain

arxiv: 1907.01955 · v1 · pith:NUPKBHELnew · submitted 2019-07-03 · 🧮 math.FA

Smoothness and norm attainment of bounded bilinear operators between Banach spaces

Debmalya Sain This is my paper

Pith reviewed 2026-05-25 09:41 UTC · model grok-4.3

classification 🧮 math.FA

keywords bilinear operatorsnorm attainmentsmoothnessBirkhoff-James orthogonalitysemi-inner-productsBanach spacesfunctional analysis

0 comments

The pith

Bounded bilinear operators between Banach spaces have their norm attainment sets completely characterized by semi-inner-products.

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

The paper characterizes smoothness and norm attainment for bounded bilinear operators on Banach spaces via Birkhoff-James orthogonality and semi-inner-products. In finite dimensions it links orthogonality directly to the norm attainment set and derives a smoothness criterion from that link. Without any dimensional restriction it supplies a full description of the norm attainment set in terms of semi-inner-products. This description is noted to work especially cleanly when the underlying spaces are smooth. The results matter because norm attainment and smoothness control how operators behave geometrically in both finite- and infinite-dimensional settings.

Core claim

Without any restriction on the dimension of the space, a complete characterization of the norm attainment set of a bounded bilinear operator is obtained using semi-inner-products; this characterization is particularly useful when the Banach spaces are smooth. In the finite-dimensional case, Birkhoff-James orthogonality of bilinear operators is characterized in terms of the norm attainment set, which yields a characterization of smoothness of bilinear operators.

What carries the argument

Birkhoff-James orthogonality and semi-inner-products applied to the norm attainment sets of bounded bilinear operators.

If this is right

In finite dimensions the smoothness of a bilinear operator is completely determined by the structure of its norm attainment set.
The norm attainment set of any bounded bilinear operator admits an explicit description in terms of semi-inner-products even when the spaces are infinite-dimensional.
The description simplifies when the domain and codomain spaces are smooth.
Birkhoff-James orthogonality between bilinear operators reduces to a concrete condition on their norm-attaining points.

Where Pith is reading between the lines

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

The same semi-inner-product approach could be tested on trilinear or higher multilinear maps to see whether analogous norm-attainment formulas hold.
Numerical checks of the characterization become feasible once concrete smooth spaces and explicit bilinear maps are chosen.
The finite-dimensional smoothness criterion may translate into an algorithm for deciding smoothness of matrix-valued bilinear forms.
Connections to the geometry of the unit ball in the space of bilinear operators remain open for further study.

Load-bearing premise

The characterizations rest on the existence and properties of semi-inner-products in the given Banach spaces.

What would settle it

A concrete bounded bilinear operator on Banach spaces (smooth or not) whose norm attainment set fails to satisfy the semi-inner-product description given in the paper.

read the original abstract

We study the smoothness and the norm attainment of bounded bilinear operators between Banach spaces, using the concepts of Birkhoff-James orthogonality and semi-inner-products. In the finite-dimensional case, we characterize Birkhoff-James orthogonality of bilinear operators in terms of the norm attainment set. This yields a nice characterization of smoothness of bilinear operators between Banach spaces, in the finite-dimensional case. Without any restriction on the dimension of the space, we obtain a complete characterization of the norm attainment set of a bounded bilinear operator using semi-inner-products, which is particularly useful when the concerned Banach spaces are smooth.

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 extends semi-inner-product characterizations to norm attainment sets for bilinear operators in any dimension, with a finite-dim orthogonality link, but proofs are needed to confirm completeness.

read the letter

The core contribution is a claimed complete characterization of the norm attainment set for any bounded bilinear operator between Banach spaces, expressed via semi-inner-products and without dimension limits. This is positioned as especially handy in smooth spaces. In the finite-dimensional case they also link Birkhoff-James orthogonality of the operators to the norm attainment set, which then yields a smoothness criterion for the operators themselves. These are concrete applications of existing orthogonality tools to the bilinear setting rather than a wholesale new framework. The abstract presents the results as explicit and usable, which is the main positive. The work stays within standard Banach-space techniques and does not appear to introduce circular arguments or invented objects. The main soft spot is that the abstract alone gives no proofs or worked examples, so it is impossible to verify whether the characterizations are fully general or whether they tacitly require extra conditions on the semi-inner-products. Overlap with earlier results on linear operators or other orthogonality notions is also unclear without the references and details. This is a narrow paper aimed at people already working on smoothness, norm attainment, and semi-inner-products in Banach spaces. A specialist reader could extract usable statements if the proofs check out, but a general reader in functional analysis will not find broad implications. The paper is coherent on its own terms and shows engagement with the relevant literature, so it deserves a serious referee to examine the arguments and novelty claims.

Referee Report

0 major / 3 minor

Summary. The manuscript studies smoothness and norm attainment of bounded bilinear operators between Banach spaces via Birkhoff-James orthogonality and semi-inner-products. In the finite-dimensional case it characterizes Birkhoff-James orthogonality of such operators in terms of the norm attainment set, yielding a characterization of smoothness. Without dimension restriction it gives a complete characterization of the norm attainment set using semi-inner-products, stated to be especially useful when the spaces are smooth.

Significance. If the characterizations are correct, the results extend known facts on linear operators to the bilinear setting and supply dimension-free tools that are particularly applicable in smooth Banach spaces. The explicit reliance on semi-inner-product properties is clearly flagged and constitutes a strength when the underlying spaces satisfy the requisite smoothness or orthogonality conditions.

minor comments (3)

The abstract and introduction should explicitly state whether the underlying scalar field is real or complex, as semi-inner-products and Birkhoff-James orthogonality behave differently in the two settings.
Notation for the semi-inner-product (e.g., the symbol [·,·] or [·,·]_p) should be introduced once and used consistently throughout; currently it appears to vary between sections.
A brief comparison with existing characterizations for linear operators (e.g., those of James or Birkhoff) would help readers gauge the novelty of the bilinear extension.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the significance of the results, and recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper characterizes smoothness and norm attainment of bounded bilinear operators via Birkhoff-James orthogonality and semi-inner-products in Banach spaces. These are standard, externally defined tools in the literature; the abstract states the characterizations explicitly depend on their existence and properties without redefining them in terms of the target results. No self-citations, fitted parameters renamed as predictions, or uniqueness theorems imported from the authors' prior work appear in the provided text. The finite-dimensional and general cases are presented as direct applications of these concepts, keeping the derivation self-contained against external benchmarks in functional analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background concepts from Banach space theory without introducing free parameters or new entities.

axioms (1)

standard math Birkhoff-James orthogonality and semi-inner-products are well-defined in the Banach spaces under consideration
These tools are invoked to obtain the stated characterizations of orthogonality and norm attainment.

pith-pipeline@v0.9.0 · 5614 in / 1155 out tokens · 47453 ms · 2026-05-25T09:41:11.038830+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 1 internal anchor

[1]

J., 1 (1935), 169-172

Birkhoﬀ, G., Orthogonality in linear metric spaces , Duke Math. J., 1 (1935), 169-172. 10 SAIN

work page 1935
[2]

Bhatia, R., ˘Semrl, P., Orthogonality of matrices and some distance problem , Linear Alge- bra Appl., 287 (1999), 77-85

work page 1999
[3]

T., Symmetric multilinear forms on Hilbert spaces: Where do they attain their norm? , Linear Algebra Appl., 563 (2019), 178-192

Carando, D., Rodr ´iguez, J. T., Symmetric multilinear forms on Hilbert spaces: Where do they attain their norm? , Linear Algebra Appl., 563 (2019), 178-192

work page 2019
[4]

R., Classes of semi-inner-product spaces , Trans

Giles, J. R., Classes of semi-inner-product spaces , Trans. Amer. Math. Soc., 129 (1967), 436-446

work page 1967
[5]

James, R.C., Orthogonality and linear functionals in normed linear spac es, Trans. Amer. Math. Soc., 61 (1947b), 265-292

work page
[6]

Koldobsky, A., Operators preserving orthogonality are isometries , Proc. Roy. Soc. Edin- burgh Sect. A, 123(5) (1993), 835-837

work page 1993
[7]

Lumer, G., Semi-inner-product spaces, Trans. Amer. Math. Soc., 100 (1961), 29-43

work page 1961
[8]

Sain, D., Paul, K., Operator norm attainment and inner product spaces , Linear Algebra Appl., 439(8) (2013), 2448-2452

work page 2013
[9]

Sain, D., Birkhoﬀ-James orthogonality of linear operators on ﬁnite d imensional Banach spaces, J. Math. Anal. Appl., 447 (2017), 860-866

work page 2017
[10]

Sain, D., On the norm attainment set of a bounded linear operator , J. Math. Anal. Appl., 457(2018), 67-76

work page 2018
[11]

On the norm attainment set of a bounded linear operator and semi-inner-products in normed spaces

Sain, D., On the norm attainment set of a bounded linear operator and se mi-inner- products in normed spaces , arXiv:1802.10439v2 [math.F A], Indian J. Pure Appl. Math. (accepted)

work page internal anchor Pith review Pith/arXiv arXiv
[12]

(Sain) Department of Mathematics, Indian Institute of Science, Be ngaluru 560012, Karnataka, India, E-mail address : saindebmalya@gmail.com

Turn˘sek, A., On operators preserving James’ orthogonality , Linear Algebra Appl., 407, 2005, 189-195. (Sain) Department of Mathematics, Indian Institute of Science, Be ngaluru 560012, Karnataka, India, E-mail address : saindebmalya@gmail.com

work page 2005

[1] [1]

J., 1 (1935), 169-172

Birkhoﬀ, G., Orthogonality in linear metric spaces , Duke Math. J., 1 (1935), 169-172. 10 SAIN

work page 1935

[2] [2]

Bhatia, R., ˘Semrl, P., Orthogonality of matrices and some distance problem , Linear Alge- bra Appl., 287 (1999), 77-85

work page 1999

[3] [3]

T., Symmetric multilinear forms on Hilbert spaces: Where do they attain their norm? , Linear Algebra Appl., 563 (2019), 178-192

Carando, D., Rodr ´iguez, J. T., Symmetric multilinear forms on Hilbert spaces: Where do they attain their norm? , Linear Algebra Appl., 563 (2019), 178-192

work page 2019

[4] [4]

R., Classes of semi-inner-product spaces , Trans

Giles, J. R., Classes of semi-inner-product spaces , Trans. Amer. Math. Soc., 129 (1967), 436-446

work page 1967

[5] [5]

James, R.C., Orthogonality and linear functionals in normed linear spac es, Trans. Amer. Math. Soc., 61 (1947b), 265-292

work page

[6] [6]

Koldobsky, A., Operators preserving orthogonality are isometries , Proc. Roy. Soc. Edin- burgh Sect. A, 123(5) (1993), 835-837

work page 1993

[7] [7]

Lumer, G., Semi-inner-product spaces, Trans. Amer. Math. Soc., 100 (1961), 29-43

work page 1961

[8] [8]

Sain, D., Paul, K., Operator norm attainment and inner product spaces , Linear Algebra Appl., 439(8) (2013), 2448-2452

work page 2013

[9] [9]

Sain, D., Birkhoﬀ-James orthogonality of linear operators on ﬁnite d imensional Banach spaces, J. Math. Anal. Appl., 447 (2017), 860-866

work page 2017

[10] [10]

Sain, D., On the norm attainment set of a bounded linear operator , J. Math. Anal. Appl., 457(2018), 67-76

work page 2018

[11] [11]

On the norm attainment set of a bounded linear operator and semi-inner-products in normed spaces

Sain, D., On the norm attainment set of a bounded linear operator and se mi-inner- products in normed spaces , arXiv:1802.10439v2 [math.F A], Indian J. Pure Appl. Math. (accepted)

work page internal anchor Pith review Pith/arXiv arXiv

[12] [12]

(Sain) Department of Mathematics, Indian Institute of Science, Be ngaluru 560012, Karnataka, India, E-mail address : saindebmalya@gmail.com

Turn˘sek, A., On operators preserving James’ orthogonality , Linear Algebra Appl., 407, 2005, 189-195. (Sain) Department of Mathematics, Indian Institute of Science, Be ngaluru 560012, Karnataka, India, E-mail address : saindebmalya@gmail.com

work page 2005