Pith. sign in

REVIEW 2 major objections 5 minor 31 references

Wehrl inequalities for matrix coefficients of holomorphic discrete series

T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read This paper proves sharp $L^2(G)$--$L^{2n}(G)$ Wehrl-type inequalities for matrix coefficients of every vector-valued holomorphic discrete series of a Hermitian Lie group, with equality exactly at the reproducing kernels.

desk verdict Genuinely new vector-valued Wehrl-type inequalities with a clean method, but the Sp(n,R) formal-degree constant is internally inconsistent and wrong, which breaks the headline theorem and its equality classification for that whole family. read the letter →

arxiv 2412.18382 v2 pith:SJ6DF6GU submitted 2024-12-24 math.RT math-phmath.MP

Robin van Haastrecht , Genkai Zhang This is my paper · ORCID
classification math.RTmath-phmath.MP MSC 22E3022E4532A3643A15
keywords WehrlinequalityholomorphicdiscreteseriesmatrixcoefficientsHarish-ChandraformaldegreereproducingkernelsHermitiansymmetricspacestensorproductdecompositionBergman
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

The paper establishes a sharp $L^2(G)$-to-$L^{2n}(G)$ Wehrl-type inequality for the matrix coefficients $\langle\pi_\Lambda(g)f,v_\Lambda\rangle$ of every vector-valued holomorphic discrete series of a Hermitian Lie group, for every integer $n\ge2$. The optimal constant is expressed as a ratio of Harish-Chandra formal degrees, with a group-dependent normalization factor $c_G$ evaluated explicitly by Selberg integrals. The maximizers are exactly the reproducing kernels $f(z)=cK(z,w)\tau_\Lambda(k)v_\Lambda$; equivalently, coherent states saturate the inequality and no other vectors do. This sharpens the orthogonality relations for discrete series into a complete extremal statement and identifies the coherent states as the extremal vectors. The proof works by comparing the norm of $f^{\otimes n}$ with its projection onto the Cartan component $H_{n\Lambda}$, the part that controls the $L^{2n}$ norm of the matrix coefficient.

What carries the argument

The load-bearing device is the Cartan-component projection $Q_0=C_{\Lambda,n}J_0$, a partial isometry (a norm-preserving map on the orthogonal complement of its kernel) from $H_\Lambda^{\otimes n}$ onto the leading tensor component $H_{n\Lambda}$, built from the diagonal evaluation $J_0(F)(z)=P_{n\Lambda}(F(z,\dots,z))$. Proposition 5.2 fixes its normalization by formal degrees, so applying it to $f^{\otimes n}$ converts the desired inequality into a comparison of $\|f^{\otimes n}\|$ with $\|P_{n\Lambda}(f^{\otimes n})\|$. The equality analysis then shows that any maximizer is a joint eigenvector of the Toeplitz operators $T_{z_i}$, which forces $f$ to be a reproducing kernel with a highest-weight vector value at $0$; the bounded point evaluations for the vector-valued Bergman space ensure that the evaluation point lies in $D$.

What would settle it

Take a concrete rank-two Hermitian group such as $G=SU(2,2)$, choose a scalar holomorphic discrete series with integer parameter $\lambda$, and compute the ratio $\|F_f\|_{2n}^{2n}/\|F_f\|_2^{2n}$ for $F_f(g)=\langle\pi_\Lambda(g)f,v_\Lambda\rangle$, with $f$ the constant function $v_\Lambda$ and with a non-kernel function such as $f(z)=v_\Lambda+z_1v_\Lambda$: exceeding $d_\Lambda^n/d_{n\Lambda}$ for any $n\ge2$ would refute the theorem, while inequality failure at the reproducing kernels would invalidate the constant $c_G$. Alternatively, compute the decomposition of $H_\Lambda\otimes H_\Lambda$ for the same group and verify that $H_{2\Lambda}$ has multiplicity one; any multiplicity different from one would refute Proposition 5.1 and with it the proof.

Watch

Extended reading notes

Core claim

The central claim is that for every integer $n\ge2$, every Hermitian Lie group $G$, and every vector-valued holomorphic discrete series $(\pi_\Lambda,H_\Lambda)$ of $G$ with highest weight $\Lambda$, the projection $P_{n\Lambda}$ onto the leading (Cartan) component of $V_\Lambda^{\otimes n}$ satisfies $$\|P_{n\Lambda}($f^{{\otimes n}}$)\|^2_{H_{n\Lambda}}\le $c_G^{{n-1}}$\frac{(d^H_\Lambda)^n}{d^H_{n\Lambda}}\|f\|^{2n}_{H_\Lambda},$$ and the equivalent matrix-coefficient estimate $$\int_G |\langle\pi_\Lambda(g)f,v_\Lambda\rangle|^{2n}\,dg \le \frac{d_\Lambda^n}{d_{n\Lambda}}\left(\int_G|\langle\pi_\Lambda(g)f,v_\Lambda\rangle|^2\,dg\right)^n,$$ where $d_\Lambda=c_G d^H_\Lambda$ and $v_\Lambda$ is a unit highest-weight vector. Equality holds exactly for $f(z)=cK(z,w)\tau_\Lambda(k)v_\Lambda$ with $w\in D$, $k\in K$, $c\in\mathbb{C}$; that is, the reproducing kernels, up to translation and scale, are the unique maximizers.

Load-bearing premise

The argument rests on a cited branching theorem---that $H_\Lambda\otimes H_{\Lambda'}$ contains the leading component $H_{\Lambda+\Lambda'}$ exactly once via the diagonal projection---and if that theorem failed for some highest weight, both the sharp constant and the equality classification would collapse.

Editorial extensions

If this is right

  • The constant in the main inequality is sharp: every reproducing kernel $K(\cdot,w)\tau(k)v_\Lambda$ attains equality, so no smaller constant can work.
  • The equality set is exactly the $G$-orbit of the highest-weight vectors; no other vector in $H_\Lambda$ saturates the $L^2$--$L^{2n}$ estimate.
  • The matrix-coefficient estimate sharpens Schur orthogonality ($n=1$) into a full family of even-order interpolation inequalities for discrete-series matrix coefficients.
  • For the unit disk, the improved inequality adds an explicit positive remainder term to the left-hand side, and the remainder vanishes only at the reproducing kernels, so the unimproved bound is strict away from the extremizers.

Reading between the lines

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

  • The paper proves the inequality only at even integers $p=2n$ and only for holomorphic discrete series; interpolating between even values would give a conjectural sharp $L^2$--$L^p$ inequality for all $p\ge2$, and differentiating at $p=2$ would then yield a Wehrl entropy bound for these representations. Neither step is carried out here.
  • The proof's reliance on a multiplicity-one branching theorem suggests a concrete test for wider applicability: representations whose tensor products lack a unique leading component would need different constants and may have additional extremizers, which would delimit how far the coherent-state phenomenon extends.
  • The explicit three-case formula for $c_G$ is independently testable: on a rank-two group such as $SU(2,2)$, reproducing kernels should attain equality to machine precision, verifying the Selberg-integral normalization without repeating the symbolic derivation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proves Wehrl-type L^2(G)--L^{2n}(G) inequalities for matrix coefficients of vector-valued holomorphic discrete series of Hermitian Lie groups. The constant is expressed through Harish-Chandra formal degrees, and the authors claim that the maximizers are exactly the reproducing kernels with highest-weight target vector. The proof combines tensor-product branching for holomorphic discrete series, a normalization of the intertwining projection onto the Cartan component, exact Selberg-integral evaluations of formal degrees, and an appendix giving a full proof of the compact-group Wehrl inequality. The main results are Theorem 5.3 and Corollary 5.4.

Significance. If correct, the paper would settle the sharp L^2--L^{2n} Wehrl inequality for all holomorphic discrete series and give the complete set of maximizers, extending earlier results for SU(1,1) and the Fock space. The paper has real strengths: the formal degree is computed by an independent Selberg integral evaluation rather than fitted, the compact-group inequality of [2] is repaired in Appendix A, and the equality analysis via Toeplitz operators and bounded point evaluations is substantial. These contributions make the manuscript potentially significant. However, the Sp(n,R) constant in Proposition 4.3 is internally inconsistent and appears wrong, and since this constant feeds directly into the main inequality and equality statement, the central claim is not correct as written for that family.

major comments (2)
  1. [Proposition 4.3, Case 1 (Sp(r,R))] The two displayed formulas for c_G in the Sp(r,R) case are not equal for r=2: the first equals 6π^{-3} while the second equals 3π^{-3}. The value forced by the paper's own definitions is the smaller one. For Sp(2,R), Proposition 4.2 gives d_Λ = π^{-3}(λ-1)(λ-2)(λ-3/2), while equation (12) with the root data displayed in the proof gives d^H_Λ = (λ-1)(λ-2)(2λ-3)/6. Hence d_Λ/d^H_Λ = 3π^{-3}, not 6π^{-3}. This constant enters Theorem 5.3 and Corollary 5.4. With the stated larger constant, equality at a coherent state such as f=1 fails: for n=2 the right-hand side computed from the stated formulas is strictly larger than the left-hand side. The displayed equality between the two product expressions in Proposition 4.3 must be corrected, and the consequences for the sharp constant and equality set in Sections 5 must be rechecked for the whole Sp(n,R) family.
  2. [Proposition 5.1] The proof of the main inequality and the equality classification both rest on the tensor-product branching theorem stated in Proposition 5.1 and cited from Repka [22]: H_Λ⊗H_Λ' decomposes discretely, H_{Λ+Λ'} occurs with multiplicity one, and J_0(F)(z)=P_{Λ+Λ'}F(z,z) is an intertwiner onto it. This result is used to define the partial isometry Q_0 in Proposition 5.2, to compute its normalization, and to identify the leading component in Theorem 5.3. Since the manuscript does not prove this theorem, please state the exact version being used, including the hypotheses on Λ and Λ', and verify that it applies to every Λ satisfying Theorem 3.2. A failure of any of these hypotheses would change both the constant and the maximizer set.
minor comments (5)
  1. [Section 2.1] There are typographical errors such as "Dete the corresponding co-roots" in the paragraph defining the strongly orthogonal roots; please correct throughout.
  2. [Corollary 5.4, proof] The codomain of Q_0 is written as H_Λ^{⊗n}; it should be H_{nΛ} (or the inclusion H_{nΛ}⊆H_Λ^{⊗n} should be made explicit).
  3. [Theorem 5.3, equality proof] The sentence "the inequality is an equality if and only if f_{Λ''} ≠ 0 ⇔ Λ''=2Λ" is confusing; it should state that all components f_{Λ''} with Λ''≠2Λ vanish. The reduction from n=2 to general n is only asserted; please spell out the argument for general n, since the equality classification is a central claim.
  4. [Proposition 4.3, proof] In the formal-degree product, the compact-root factors contribute 1 because Λ(h_α)=0 for compact roots such as ε_i-ε_j; stating this explicitly would have made the Sp(r,R) computation easier to check and would have exposed the inconsistency noted above.
  5. [Appendix B, Lemma B.1] The proof of boundedness of point evaluations for u outside D relies on Oka-Weil approximation; please clarify the approximation argument and the role of the spectral norm in the final step.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central inequality is derived from formal-degree normalization, Selberg integral evaluations, and a proved compact-group lemma, with self-citations only as methodological precedents.

full rationale

The derivation chain is self-contained. The constant c_G is computed, not fitted, in Proposition 4.3 by comparing the Selberg-integral evaluation d_Λ = π^N Γ_a(λ - N/r)/Γ_a(λ) (Proposition 4.2) with Harish-Chandra's formal-degree polynomial d^H_Λ from (12); neither input contains the target inequality. Theorem 4.4 then fixes the reproducing-kernel normalization via the formal degree, and Proposition 5.2 computes the partial-isometry normalization C^{-2}_{Λ,Λ'} = d_Λ d_{Λ'}/d_{Λ+Λ'} directly from that same formal-degree data. The main inequality (Theorem 5.3) is obtained by applying this partial isometry Q0 to f^{⊗n}, so the constant is determined by the normalization calculation and the inequality ||Q0(f^{⊗n})|| ≤ ||f^{⊗n}||; it is not assumed as input. The equality classification uses the Toeplitz-operator argument, bounded point evaluations (Lemma B.1), and the compact-group Lemma A.1, which is proved in full in Appendix A rather than imported. Proposition 5.1 (Repka) is cited rather than proved, but it is an external branching theorem and is not a self-citation; any failure would be a correctness issue, not circularity. The self-citations [31] and [8] appear as methodological precedents (scalar case, partial-isometry constants for SU(1,1)) and are not load-bearing for the central result. The apparent arithmetic inconsistency flagged for the Sp(r,R) case in Proposition 4.3 would, if real, affect the sharp constant but is an internal computation error, not a circular dependence on the conclusion.

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

No numerical parameters are fitted, and no new mathematical entities are introduced. The constants c_G are computed from Selberg integral evaluations and Harish-Chandra's formula rather than chosen to force the inequality. The axioms listed are the external theorems on which the proof relies.

assumptions (5)
  • domain assumption Repka's tensor-product decomposition for holomorphic discrete series, including the multiplicity-one leading component H_{Lambda+Lambda'} and the intertwining property of J0.
    Invoked in Section 5 to define the projections J0 and Q0; load-bearing for the constant in the main inequality and for the equality classification. Cited to [22], not proved in the paper.
  • domain assumption Harish-Chandra's formula for the formal degree d^H_Lambda up to normalization, equation (12).
    Used in Proposition 4.3 to identify the normalization constant c_G and in Theorem 5.3 to express the optimal constant in terms of formal degrees.
  • standard math Selberg integral evaluation and Gindikin Gamma function identities from [1].
    Used in Proposition 4.2 to evaluate the invariant measure integral that determines d_Lambda^{-1} under the chosen normalization.
  • domain assumption Harish-Chandra condition (Lambda+rho)(h1) < 0 for nontrivial holomorphic discrete series, stated as Theorem 3.2.
    Ensures that the Bergman space H_Lambda is nonzero and is also used in Lemma B.1 to obtain the decay estimate Lambda_s(h1) < 1-p needed for bounded point evaluations.
  • standard math Oka-Weil polynomial approximation theorem for polynomially convex domains.
    Used in Lemma B.1 to approximate normalized reproducing kernels by polynomial functions and to transfer unboundedness of evaluation at the boundary to polynomial evaluations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Wehrl inequalities for matrix coefficients of holomorphic discrete series." pith.science (2026). https://pith.science/paper/SJ6DF6GU

@misc{pith2026241218382,
  author       = {Pith},
  title        = {Pith review of: Wehrl inequalities for matrix coefficients of holomorphic discrete series},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SJ6DF6GU}},
  note         = {Machine review of arXiv:2412.18382}
}
abstract

We prove Wehrl-type $L^2(G)-L^{p}(G)$ inequalities for matrix coefficients of vector-valued holomorphic discrete series of $G$, for even integers $p=2n$. The optimal constant is expressed in terms of Harish-Chandra formal degrees for the discrete series. We prove the maximizers are precisely the reproducing kernels.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 30 canonical work pages

  1. [31]

    Zhang, Wehrl-type inequalities for Bergman spaces on domains in Cd and completely positive maps, in The Bergman kernel and related topics , 343-355, Springer Proc

    G. Zhang, Wehrl-type inequalities for Bergman spaces on domains in Cd and completely positive maps, in The Bergman kernel and related topics , 343-355, Springer Proc. Math. Stat., 447, Springer, Singa pore, 2024

    work page 2024

  2. [8]

    Functional calculus of quantum channels for the holomorphic discrete series of $SU(1,1)$

    R. van Haastrecht, Functional calculus of quantum channels for the holomorphi c discrete series of SU (1,1), arXiv:2408.13083

    work page Pith review arXiv

  3. [2]

    Delbourgo and J

    R. Delbourgo and J. Fox, Maximum weight vectors possess minimal uncertainty , J. Phys. A: Math. Gen. 10 (1977), L233-L235

    work page 1977

  4. [22]

    Repka, Tensor products of holomorphic discrete series representa tions, Canadian J

    J. Repka, Tensor products of holomorphic discrete series representa tions, Canadian J. Math. 31 (1979), no. 4, 836-844

    work page 1979

  5. [1]

    Andrews, R

    G.E. Andrews, R. Askey and R. Roy, Special functions, Encyclopedia Math. Appl., vol. 71, Cambridge University P ress, 1999

    work page 1999

  6. [3]

    Enright, R

    T. Enright, R. Howe and N. W allach, A classification of unitary highest weight modules , in Representation theory of reductive groups, 97-144, Progress in Mathematics, 40, Birkh¨ auser Boston, (1983)

    work page 1983

  7. [4]

    Faraut and A

    J. Faraut and A. Kor´ anyi, Function spaces and reproducing kernels on bounded symmetr ic domains , J. Funct Anal. 88 (1990), no. 1, 64-89

    work page 1990

  8. [5]

    R. L. Frank, Sharp inequalities for coherent states and their optimizer s, preprint, arXiv:2210.14798

    arXiv

Show all 31 references
  1. [6]

    R. L. Frank, F. Nicola and P. Tilli, The generalized Wehrl entropy bound in quantitative form, arXiv:2307.14089

    arXiv

  2. [7]

    van Haastrecht, Limit formulas for the trace of the functional calculus of qu antum channels for SU (2), J

    R. van Haastrecht, Limit formulas for the trace of the functional calculus of qu antum channels for SU (2), J. Lie Theory. 34 (2024), no.3, 653-676

    2024

  3. [9]

    Harish-Chandra, Representations of semisimple Lie Groups VI: integrable an d square-integrable representations, Amer. J. Math. 78 (1956), no. 3, 564-628

    1956

  4. [10]

    Helgason, Groups and geometric analysis , Mathematical Surveys and Monographs vol

    S. Helgason, Groups and geometric analysis , Mathematical Surveys and Monographs vol. 83, Amer. Math. S oc., 1984

    1984

  5. [11]

    Humphreys, Introduction to Lie algebras and representation theory , Grad

    J.E. Humphreys, Introduction to Lie algebras and representation theory , Grad. Texts in Math., vol. 9, Springer, 1972

    1972

  6. [12]

    A. W. Knapp, Lie groups beyond an introduction , Progr. Math., vol. 140, Birkh¨ auser, 2002

    2002

  7. [13]

    Kor´ anyi, A simplified approach to the holomorphic discrete series , preprint, arXiv:2312.16350

    A. Kor´ anyi, A simplified approach to the holomorphic discrete series , preprint, arXiv:2312.16350

    arXiv

  8. [14]

    Kulikov, Functionals with extrema at reproducing kernels, Geom

    A. Kulikov, Functionals with extrema at reproducing kernels, Geom. Funct. Anal. 32 (2022), no. 4, 938-949

    2022

  9. [15]

    Lieb, Proof of an entropy conjecture of Wehrl, Comm

    E. Lieb, Proof of an entropy conjecture of Wehrl, Comm. Math. Phys. 62 (1978), no.1, 35–41

    1978

  10. [16]

    Lieb and J

    E. Lieb and J. P. Solovej, Proof of an entropy conjecture for Bloch coherent spin state s and its generalizations, Acta Math. 212 (2014), no. 2, 379–398

    2014

  11. [17]

    Lieb and J

    E. Lieb and J. P. Solovej, Proof of the Wehrl-type entropy conjecture for symmetric SU (N) coherent states, Comm. Math. Phys. 348 (2014), no. 2, 567–578

    2014

  12. [18]

    Lieb and J

    E. Lieb and J. P. Solovej, Proof of a Wehrl-type entropy inequality for the affince AX + B group, EMS Ser. Congr. Rep. EMS Press, Berlin, (2021), 301–314

    2021

  13. [19]

    Loos, Bounded symmetric domains and Jordan pairs , University of California, Irvine (1977)

    O. Loos, Bounded symmetric domains and Jordan pairs , University of California, Irvine (1977)

    1977

  14. [20]

    Peng and G

    L. Peng and G. Zhang, Tensor products of holomorphic representations and biline ar differential operators , J. Funct. Anal. 210 (2004), no. 1, 171–192

    2004

  15. [21]

    Range, Holomorphic functions and integral representations in sev eral complex variables , Grad

    R.M. Range, Holomorphic functions and integral representations in sev eral complex variables , Grad. Texts in Math., vol. 108, Springer, 1986

    1986

  16. [23]

    Repka, Tensor products of unitary representations of SL2(R), Amer

    J. Repka, Tensor products of unitary representations of SL2(R), Amer. J. Math. 100 (1978), no.4, 747-774

    1978

  17. [24]

    Rosengren, Multivariate orthogonal polynomials and coupling coefficie nts for discrete series representations , SIAM J

    H. Rosengren, Multivariate orthogonal polynomials and coupling coefficie nts for discrete series representations , SIAM J. Math. Anal. 30 (1999), no. 2, 232-272

    1999

  18. [25]

    Satake, Algebraic structures of symmetric domains , Kanˆ o Memorial Lectures, vol

    I. Satake, Algebraic structures of symmetric domains , Kanˆ o Memorial Lectures, vol. 4, Iwanami Shoten, Tokyo; Princeton University Press, Princeton, NJ, 1980

    1980

  19. [26]

    Sugita, Proof of the generalized Lieb-Wehrl conjecture for integer indices larger than one , J

    A. Sugita, Proof of the generalized Lieb-Wehrl conjecture for integer indices larger than one , J. Phys. A 35 (2002), no.42, L621-626

    2002

  20. [27]

    Schlichtkrull, One-dimensional K-types in finite-dimensional representations of semisimpl e Lie groups: a generaliza- tion of Helgason ’s theorem, Math

    H. Schlichtkrull, One-dimensional K-types in finite-dimensional representations of semisimpl e Lie groups: a generaliza- tion of Helgason ’s theorem, Math. Scand. 54 (1984), no.2, 279–294. 26 ROBIN V AN HAASTRECHT AND GENKAI ZHANG

    1984

  21. [28]

    Schmid, On the characters of the discrete series: The Hermitian symm etric case , Invent

    W. Schmid, On the characters of the discrete series: The Hermitian symm etric case , Invent. Math. 30 (1975), no.1, 47–144

    1975

  22. [29]

    N. R. W allach, The analytic continuation of the discrete series. I, II , Trans. Amer. Math. Soc. 251 (1979), 1-17, 19-37

    1979

  23. [30]

    W ehrl, On the relation between classical and quantum-mechanical e ntropy, Rept

    A. W ehrl, On the relation between classical and quantum-mechanical e ntropy, Rept. Math. Phys. 16 (1979), no. 3, 353-358

    1979

Pith tools

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