Approximation, interpolation, and lifting on the unit ball

Deepak K. D.; Jaydeb Sarkar; Jaydeep Bhattacharjee

REVIEW 3 major objections 4 minor 2 cited by

Approximation, interpolation, and lifting on the unit ball

T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper claims to solve the Nevanlinna–Pick interpolation and commutant lifting problems on the unit ball of C^n by tying both to the convergence of inner functions.

desk verdict The ball commutant lifting program is real and partly sound, but a wrong adjoint identity in Section 6 invalidates the interpolation theorems exactly as stated. read the letter →

arxiv 2512.11349 v3 pith:3LMKBSFM submitted 2025-12-12 math.CV math.FAmath.OA

Jaydeep Bhattacharjee , Deepak K. D. , Jaydeb Sarkar This is my paper · ORCID

classification math.CVmath.FAmath.OA MSC 30E0546J1547A5732A4032A6515B0530H1030J15

keywords Nevanlinna–PickinterpolationcommutantliftingunitballHardyspaceSchurfunctionsinnerSzegőkernelquotientmodules

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish a full solution to two long-standing problems in the function theory of the unit ball in C^n: the Nevanlinna–Pick interpolation problem for Schur functions and the commutant lifting problem for contractive module maps on quotient modules of the Hardy space H^2(B^n). The central claim is that a module map X lifts to a Schur-function multiplication exactly when the function ψ = X(P_Q 1) can be perturbed by a Schur function into Q^⊥, and that this single condition is equivalent to a contractivity test on a specially built L^1 space, a Nehari-type distance condition, and the existence of inner functions that converge weak-* to ψ on that test space. The interpolation theorem then follows by applying this lifting theorem to the finite-dimensional quotient module spanned by the Szegő kernel functions at the interpolation points. If the results hold, they provide the first general interpolation criterion for the ball and a new inner-function-based criterion that is new even in one variable.

What carries the argument

The load-bearing objects are the Szegő kernel S_n(z,w) = 1/(1 − ⟨z,w⟩)^n, the finite-dimensional quotient module Q_Z = span{S_n(·, z_i)}, the compressed multiplication operator S_φ = P_Q T_φ|_Q, and the L^1 test space M_Q = Q^conj + M(S^n) + H^2_0(S^n). The proof's engine is the equivalence between liftability and the perturbation condition ψ − φ ∈ Q^⊥, which turns operator lifting into an approximation problem in L^1 and then into the existence of inner-function approximants via the known weak-* density of inner functions in the Schur class. The one-step identity at the heart of the interpolation argument is S_ψ^* S_n(·, z_i) = overline{ψ(z_i)} S_n(·, z_i).

What would settle it

For m = 1, z_1 = 0, w_1 = i, compute both sides of the identity used in Theorem 6.2: on H^2(B^n), S_ψ^* S_n(·, 0) = overline{ψ(0)} S_n(·, 0), not ψ(0) S_n(·, 0). Therefore the operator with X^* S_n(·, 0) = i S_n(·, 0) is S_φ for φ(0) = -i, not i. A reader can check whether the theorem's contraction and distance criteria distinguish these two data sets; in the one-variable case both are interpolable because the Pick matrices are conjugates, but the proof's equality as written fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that commutant lifting on H^2(B^n) is governed by a single function ψ = X(P_Q 1). Theorem 1.4 asserts that a contractive module map X admits a Schur lift iff ψ − φ ∈ Q^⊥ for some Schur φ; iff the functional X_Q(f) = ∫ ψ f dσ is contractive on the test space M_Q = Q^conj + M(S^n) + H^2_0(S^n); iff the L^1 distance from ψ/||ψ||_2^2 to the kernel of X_Q is at least 1; iff a sequence of inner functions weak-* converges to ψ on M_Q (or on Q^conj). Theorem 6.4 then claims that prescribed values w_i at points z_i are interpolable by a Schur function exactly when some sequence of inner functions converges pointwise at those points to ψ_{Z,W} = Σ c_j

Load-bearing premise

The interpolation theorem's proof depends on the adjoint formula S_ψ^* S_n(·, z_i) = overline{ψ(z_i)} S_n(·, z_i); the paper writes this identity without the conjugation, so the load-bearing premise is that the operator X_{Z,W} equals S_φ exactly when φ(z_i) = w_i, which requires the conjugation to be handled correctly.

Editorial extensions

If this is right

If Theorem 1.4 is correct, checking whether a contractive module map on a quotient module has a Schur lift reduces to a concrete L^1 contractivity or distance check, without needing a classification of quotient modules.
If Theorem 6.4 is correct, interpolation on the ball is characterized by pointwise convergence of inner functions to a finite Szegő-kernel combination, a criterion with no matrix-positivity analogue.
The equivalence with inner-function convergence makes the weak-* density of inner functions in the Schur class the operative mechanism, so any strengthening of that density yields new lifting and interpolation criteria.
For n > 1, the examples in Section 7 show that some contractive module maps do not lift, so the new conditions separate liftable from non-liftable maps in a way that the classical one-variable theorem cannot.
Because the same structure applies when n = 1, the lifting characterizations are new even on the unit disc, despite the classical Pick matrix criterion.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The adjoint identity S_ψ^* S_n(·, z_i) = overline{ψ(z_i)} S_n(·, z_i) suggests that the operator X_{Z,W} defined in Section 6 actually represents the conjugate data; if so, the interpolation theorem should be re-read as a criterion for the conjugate value set, or the definition of X_{Z,W} should be adjusted. This is an editorial inference: the stated theorem may still be true, but the proof's inte
The distance criterion could be computed numerically for small m and n, yielding a testable algorithm for ball interpolation that does not depend on unknown invariant-subspace structure.
The framework points toward a general principle: for any quotient module generated by finitely many reproducing kernels, liftability is equivalent to inner-function approximability of the representing function ψ on the conjugate span, which may extend to other bounded symmetric domains with similar kernels.
Because the stated interpolation criterion only checks pointwise limits of inner functions at finitely many points, it may be possible to construct explicit inner functions that witness interpolation, rather than merely prove existence, by approximating ψ_{Z,W} uniformly on a larger set.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick read: the ball commutant lifting program has a solid core, but the advertised interpolation result is not proved. The proof of Theorem 6.2 uses S_phi^* S_n(·,w) = phi(w) S_n(·,w). For the Szego kernel on H^2(B^n) the correct identity is S_phi^* S_n(·,w) = \overline{phi(w)} S_n(·,w). That flips the data: the operator X_{Z,W} built from X^* S_n(·,z_i) = w_i S_n(·,z_i) is the compressed multiplication operator for a Schur function with values \overline{w_i}, not w_i. So Theorem 6.2, Corollary 6.3, and Theorem 1.5(2)-(3) actually characterize interpolation of the conjugate data. Theorem 6.4 may still be true by Rudin's w*-density plus Montel, but the given proof inherits the same flaw and does not establish the stated result.

What is genuinely new: the commutant lifting chain on B^n — perturbation, contraction, distance, inner functions — is a new setting, and the perturbation characterization (Theorem 2.2) is clean and correct. The qualitative and quantitative criteria in Sections 3 and 4 are simple but sound; the distance lemma is elementary and properly applied. The paper is honest about building on the authors' polydisc paper [7] and clearly flags what is new. The ball case brings real subtleties, especially the M(S^n) construction and the role of inner-function w*-density, so this is not a repackaging.

The soft spot is local but load-bearing. It is a mechanical error in computing an adjoint, not a conceptual failure of the whole lifting framework. The fix is straightforward: redefine X_{Z,W} with the correctly conjugated adjoint identity, or state the results for \bar W, or give an independent proof of Theorem 6.4. The paper would then be substantive.

Who this is for: people working on several-variable operator theory and interpolation in H^2(B^n). A serious referee should see it, because the claimed resolution of the ball interpolation problem is important if correct. My recommendation to the editor: major revision, with the adjoint identity corrected and the affected theorems restated. If the authors cannot fix that, reject.

Referee Report

3 major / 4 minor

Summary. The paper claims to solve the commutant lifting problem and the Nevanlinna-Pick interpolation problem on the unit ball B^n for the Hardy space H^2(B^n). The main theorems give equivalent characterizations of when a contractive module map on a quotient module lifts to a Schur multiplier: via a perturbation by a Schur function, via contractivity of an L^1 functional, via an L^1 distance condition, and via w*-convergence of inner functions. These are then applied to finite-dimensional quotient modules spanned by Szegő kernel functions to obtain interpolation criteria, including Theorem 6.4, which characterizes interpolability of data W at points Z by pointwise convergence of inner functions to the function ψ_{Z,W}.

Significance. If correct, these results would be a major advance: a full solution to the long-standing Nevanlinna-Pick problem on the ball, a general commutant lifting theorem for H^2(B^n), and new connections between interpolation and inner functions, including new statements for n=1. The paper also contains useful reformulations and examples, and it properly credits Rudin's w*-density theorem for inner functions. However, the central interpolation proof uses an incorrect adjoint identity, and the main lifting theorem's sufficiency proof contains an unjustified step. As written, the advertised results are not established.

major comments (3)

[Section 6, proof of Theorem 6.2] The identity 'S_φ^* S_n(·,z_i)=φ(z_i)S_n(·,z_i)' used in the proof of Theorem 6.2 is false under the paper's convention ⟨f,S_n(·,w)⟩=f(w). The correct identity is S_φ^* S_n(·,w)=\overline{φ(w)}S_n(·,w). Consequently, the operator X_{Z,W} defined by X_{Z,W}^* S_n(·,z_i)=w_i S_n(·,z_i) is the compressed multiplication operator S_φ for a Schur φ exactly when φ(z_i)=\overline{w_i}, not when φ(z_i)=w_i. The later claim ψ_{Z,W}=ψ is therefore wrong: with the correct adjoint identity, the vector X_{Z,W}(P_{Q_Z}1) equals ψ_{Z,\overline{W}}, not ψ_{Z,W}. Thus Theorem 6.2, Corollary 6.3, and Theorem 1.5(2)-(3) are proved for the conjugate data, not for the stated data.
[Section 6, proof of Theorem 6.4] The conjugation error propagates into the proof of Theorem 6.4. The w*-convergence from Corollary 5.3, when read with the correct adjoint identity, gives u_i(z_j)→\overline{w_j}, not u_i(z_j)→w_j. The displayed computation in Theorem 6.4 writes the limit as ψ_{Z,W}(z_j)=w_j, which hides the conjugation. Hence the inner-function characterization is not established by the given proof. The statement may be salvageable by redefining X_{Z,W} with conjugate values and correcting the adjoint identity, but as written the proof is invalid.
[Section 3, proof of Theorem 3.3 (sufficiency)] In the sufficiency half of Theorem 3.3, after decomposing the Hahn-Banach extension θ=φ_1^*+φ_2^*, the proof uses χ_θ(φ_1^*)=X_Q(φ_1^*). But φ_1^*∈H^2_0(S^n)^conj is not generally in M_Q=Q^conj ˙+M(S^n) ˙+H^2_0(S^n). For example, for Q=span{1} in H^2(D), \bar z∈H^2_0^conj but \bar z∉M_Q. Moreover, the asserted identity ⟨\overline{φ_1^*},ψ⟩=0 does not follow from ψ∈Q and \overline{φ_1^*}∈H^2_0; for Q=H^2, ψ=\overline{φ_1^*}=z, the integral is 1, not 0. Thus the argument that θ can be chosen to lie in H^∞ is incomplete. Since this is the core of Theorem 1.4(3), the commutant lifting theorem is not established as written.

minor comments (4)

[Section 6, Lemma 6.1] Lemma 6.1 states φ∈H^∞(D^n); the domain should be B^n. Also, the reference to 'Corollary 2.1' should be 'Corollary 2.3'.
[Section 1] There is a typo 'haave' in the definition of w*-limit.
[Section 3, proof of Theorem 3.3] The notation 'ψ^*' appears in the computation involving φ_1^*; ψ is already a boundary function from H^2(S^n), so the asterisk is unnecessary and confusing.
[General notation] The paper uses both 'M(S^n)+H^2_0(S^n)' and 'M(S^n) ˙+H^2_0(S^n)' for the skew sum defining M_Q. Please use a single consistent notation and specify the directness properties precisely.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the lifting and interpolation equivalences are largely proved in-line; the main weakness is a separate adjoint-identity error, and the paper leans on the authors' polydisc work mainly for context.

full rationale

I find no circular step that reduces a claimed prediction to its own inputs. Theorems 2.1–2.2 reduce lifting to the perturbation condition ψ−φ∈Q^⊥ and prove the reduction using the module-map commutation and the cyclic vector property of P_Q1; Theorem 3.3 derives the M_Q-contractivity criterion via Hahn–Banach and standard L^p duality; Theorem 4.3 is an elementary consequence of Lemma 4.1 and Theorem 3.3; Theorems 5.2–5.4 use Rudin's w*-density theorem together with the contraction estimate. These are self-contained arguments, not citations to [7] as a black box. The self-citations to [7] are repeated, and the paper explicitly says the polydisc analogues were proved there, but the present text supplies its own proofs for the ball, so the self-citation is not load-bearing in the sense of forcing the conclusion. The inner-function interpolation criterion in Theorem 6.4 is in substance a reformulation: ψ_{Z,W} is constructed so that ψ_{Z,W}(z_j)=w_j, so the statement is 'there is a Schur interpolant iff there is a sequence of inner functions pointwise converging to w_j'; this is equivalent to the original problem via Rudin's w*-density theorem plus Montel's theorem. That limits the independent content of the claimed 'solution', but it is not a circular derivation. A separate substantive mathematical concern, not a circularity concern, is that the proof of Theorem 6.2 uses T_φ^* S_n(·,w)=φ(w)S_n(·,w), whereas with the paper's inner product f(w)=⟨f,S_n(·,w)⟩ the correct adjoint identity is T_φ^* S_n(·,w)=overline(φ(w))S_n(·,w); consequently the operator X_{Z,W} as defined encodes the conjugate data. I do not score that as circularity because it is a misstated kernel identity rather than a fit or an equivalence-by-construction. Overall: no parameter fitting, no prediction by construction, and no self-citation chain that carries the central claim; score 2 reflects the minor self-citation and the near-tautological character of the final inner-function reformulation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted parameters or invented entities. The central proofs rely on standard Hardy-space facts, Rudin's inner-function theorems, and a submodule multiplier invariance that is stated without proof.

assumptions (5)

domain assumption If S is a coordinate-invariant closed subspace of H^2(B^n), then phi S subset S for every phi in H^infty(B^n).
Used in Theorem 2.1/2.2 to write P_Q T_phi P_Q = P_Q T_phi. True via polynomial approximation and dominated convergence, but not proved in the paper.
domain assumption Rudin's w*-density of inner functions in the unit ball of H^infty(B^n) ([17, Theorem 5.3(b)]).
External theorem used in Theorem 5.2 and Theorem 6.4; if false, the inner-function characterizations fail.
domain assumption Rudin's theorems on perturbations of inner functions and on H^2-multiples of inner functions in the ball algebra ([17, Theorems 4.3 and 4.6]).
Used in Section 7 examples and Theorem 7.5.
standard math L^1-L^infty duality and Hahn-Banach extension for functionals on L^1(S^n).
Used in Theorem 3.3 to extend the functional X_Q to an L^infty symbol theta.
standard math The decomposition L^2(S^n) = (H^2(S^n)+H^2(S^n)^conj) oplus M(S^n), with H^2+H^2^conj closed.
Used repeatedly in Sections 3 and 4, and partially justified in Remark 3.2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Approximation, interpolation, and lifting on the unit ball." pith.science (2026). https://pith.science/paper/3LMKBSFM

@misc{pith2026251211349,
  author       = {Pith},
  title        = {Pith review of: Approximation, interpolation, and lifting on the unit ball},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3LMKBSFM}},
  note         = {Machine review of arXiv:2512.11349}
}

abstract

We solve the Nevanlinna-Pick interpolation problem on the open unit ball of the complex $n$-space. Our solutions signify the role of inner functions on the unit ball, objects whose existence was once considered uncertain. The results also reveal the importance of extremal functions, which emerge as natural analogues of finite Blaschke products. This viewpoint is illustrated by the Carath\'{e}odory approximation and Pick's theorems on the unit ball. We solve the commutant lifting problem, where both inner and extremal functions play a fundamental role. These results resolve several well-known problems on the unit ball.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Function theory of the hexablock and applications to the tetrablock and Euclidean biball
math.CV 2026-08 conditional novelty 6.0 of 10

The paper proves realization, interpolation, extension, and Toeplitz corona theorems for the hexablock, recovering the tetrablock and biball results as special cases.
Commutant lifting and interpolation on quotients of bounded symmetric domains
math.FA 2026-06 unverdicted novelty 5.0 of 10

Provides equivalent criteria (contractivity of an L1 functional and a geometric distance formula) for Schur lifts of contractive module maps on quotient domains of bounded symmetric domains, with specialization to inn...

Reference graph

Works this paper leans on

20 extracted references · cited by 2 Pith papers

[7]

Deepak and J

K.D. Deepak and J. Sarkar;Commutant lifting, interpolation, and perturbations on the polydisc, to appear in Amer. J. Math
[1]

Agler and J

J. Agler and J. E. McCarthy,Pick Interpolation and Hilbert Function Spaces, Grad. Stud. Math., 44. Amer. Math. Soc, Providence, RI, 2002

2002
[2]

Agler and J

J. Agler and J. E. McCarthy,Nevanlinna–Pick interpolation on the bidisk, J. Reine Angew. Math. 506 (1999), 191–204

1999
[3]

A. B. Aleksandrov, The existence of inner functions in a ball, Mat. Sb. (N.S.) 118(160) (1982), 147–163, 287

1982
[4]

Ball, W.S

J. Ball, W.S. Li, D. Timotin and T. Trent,A commutant lifting theorem on the polydisc, Indiana Univ. Math. J. 48 (1999), 653–675

1999
[5]

X. M. Chen and K. Y. Guo,Analytic Hilbert modules, Chapman & Hall/CRC Research Notes in Mathe- matics, 433, Chapman & Hall/CRC, Boca Raton, FL, 2003

2003
[6]

R. G. Douglas and V. I. Paulsen,Hilbert Modules over Function Algebras, Longman Research Notes, 217, 1989

1989
[8]

Dritschel, S

M. Dritschel, S. Marcantognini, and S. McCullough,Interpolation in semigroupoid algebras, J. Reine Angew. Math. 606 (2007), 1–40

2007

Show all 20 references

[9]

Eschmeier and M

J. Eschmeier and M. Putinar,Spherical contractions and interpolation problems on the unit ball, J. Reine Angew. Math. 542 (2002), 219–236

2002
[10]

K. Y. Guo and D. Zheng,Invariant subspaces, quasi-invariant subspaces, and Hankel operators, J. Funct. Anal. 187 (2001), 308–342

2001
[11]

Hakim and N

M. Hakim and N. Sibony,Functions holomorphes born´ ees sur la boule unit´ e deC n, Invent. Math. 67 (1982), 213–222

1982
[12]

Løw,A construction of inner functions on the unit ball inC p, Invent

E. Løw,A construction of inner functions on the unit ball inC p, Invent. Math. 67 (1982), 223–229

1982
[13]

Sz.-Nagy and C

B. Sz.-Nagy and C. Foia¸ s,Harmonic analysis on operators on Hilbert space, North-Holland, Amsterdam, 1970

1970
[14]

Nevanlinna, ¨Uber beschr¨ ankte Funktionen, die in gegebenen Punkten vorgeschriebene Werte annehmen, Ann

R. Nevanlinna, ¨Uber beschr¨ ankte Funktionen, die in gegebenen Punkten vorgeschriebene Werte annehmen, Ann. Acad. Sci. Fenn. Sel A. 13 (1919), 1–72

1919
[15]

Nehari,On bounded bilinear forms, Ann

Z. Nehari,On bounded bilinear forms, Ann. of Math. 65 (1957), 153–162

1957
[16]

Pick, ¨Uber die Beschr¨ ankungen analytischer Funktionen, welche durch vorgegebene Funktionswerte bewirkt werden, Math

G. Pick, ¨Uber die Beschr¨ ankungen analytischer Funktionen, welche durch vorgegebene Funktionswerte bewirkt werden, Math. Ann. 77 (1916), 7–23

1916
[17]

Rudin,Inner functions in the unit ball ofC n, J

W. Rudin,Inner functions in the unit ball ofC n, J. Funct. Anal. 50, 100-126, (1983)

1983
[18]

Rudin,Function Theory in the Unit Ball ofC n, Springer, (Reprint of the 1980 edition)

W. Rudin,Function Theory in the Unit Ball ofC n, Springer, (Reprint of the 1980 edition)

1980
[19]

Rudin,Function Theory in Polydiscs, W

W. Rudin,Function Theory in Polydiscs, W. A. Benjamin, Inc. New York–Amsterdam, 1969

1969
[20]

Sarason,Generalized interpolation inH ∞, Trans

D. Sarason,Generalized interpolation inH ∞, Trans. Amer. Math. Soc. 127 (1967), 179–203. 30 BHATTACHARJEE, DEEPAK, AND SARKAR Indian Statistical Institute, Statistics and Mathematics Unit, 8th Mile, Mysore Road, Bangalore, 560059, India Email address:rs math2102@isibang.ac.in ...

1967

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [7]

Deepak and J

K.D. Deepak and J. Sarkar;Commutant lifting, interpolation, and perturbations on the polydisc, to appear in Amer. J. Math

[2] [1]

Agler and J

J. Agler and J. E. McCarthy,Pick Interpolation and Hilbert Function Spaces, Grad. Stud. Math., 44. Amer. Math. Soc, Providence, RI, 2002

2002

[3] [2]

Agler and J

J. Agler and J. E. McCarthy,Nevanlinna–Pick interpolation on the bidisk, J. Reine Angew. Math. 506 (1999), 191–204

1999

[4] [3]

A. B. Aleksandrov, The existence of inner functions in a ball, Mat. Sb. (N.S.) 118(160) (1982), 147–163, 287

1982

[5] [4]

Ball, W.S

J. Ball, W.S. Li, D. Timotin and T. Trent,A commutant lifting theorem on the polydisc, Indiana Univ. Math. J. 48 (1999), 653–675

1999

[6] [5]

X. M. Chen and K. Y. Guo,Analytic Hilbert modules, Chapman & Hall/CRC Research Notes in Mathe- matics, 433, Chapman & Hall/CRC, Boca Raton, FL, 2003

2003

[7] [6]

R. G. Douglas and V. I. Paulsen,Hilbert Modules over Function Algebras, Longman Research Notes, 217, 1989

1989

[8] [8]

Dritschel, S

M. Dritschel, S. Marcantognini, and S. McCullough,Interpolation in semigroupoid algebras, J. Reine Angew. Math. 606 (2007), 1–40

2007