A solution to the Cauchy dual subnormality problem for a cyclic analytic $2-$isometry with defect operator of rank two

Basic Information

• Paper ID: 2510.14004
• Title: A solution to the Cauchy dual subnormality problem for a cyclic analytic $2-$isometry with defect operator of rank two
• Authors: Mandar Khasnis, Geetanjali Phatak, V. M. Sholapurkar
• Classification: math.FA (Functional Analysis)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.14004

Abstract

The Cauchy dual subnormality problem (CDSP) inquires whether the Cauchy dual of a $2-$isometry is a subnormal operator. This paper proves that if $\mu$ is a linear combination of unit point masses at two non-antipodal points on the unit circle, then the Cauchy dual $M_z'$ of the multiplication operator $M_z$ on the Dirichlet space $D(\mu)$ is not subnormal. When the two points are antipodal, the subnormality of this operator has been established in the literature. Consequently, we obtain a complete solution to the CDSP in this setting.

Research Background and Motivation

Problem Background

1. Origins of the Cauchy dual concept: The concept of Cauchy dual was introduced by Shimorin in 36, but its roots trace back to classical Bernstein function theory. The fundamental theorem states that the reciprocal of a Bernstein function is completely monotone, and this functional-theoretic correspondence is reflected in operator theory.
2. Formulation of the CDSP: The problem arises from a natural observation—if $T: \{\alpha_n\}$ is a weighted shift operator, then the Cauchy dual $T'$ is a weighted shift with weight sequence $\{1/\alpha_n\}$. Combined with related results, Athavale proved that the Cauchy dual of a completely hyperexpansive weighted shift is a contractive subnormal weighted shift.
3. Core question: This leads to an important problem: Is the Cauchy dual of a completely hyperexpansive operator subnormal and contractive? Since $2-$isometries form a subclass of completely hyperexpansive operators, even this special case is difficult to resolve.

Research Significance

1. Theoretical completeness: This problem connects harmonic analysis with operator theory and is key to understanding duality relationships between operator classes.
2. Classification problem: Can be reformulated as a classification problem for finite positive Borel measures on the unit circle.
3. Model theory: Using Richter's model for cyclic analytic $2-$isometries, the problem transforms into concrete research on Dirichlet-type spaces.

Core Contributions

1. Complete resolution of CDSP in a specific case: For cyclic analytic $2-$isometries with defect operator of rank two, we completely determine the subnormality of the Cauchy dual.
2. Geometric characterization: We prove the key geometric condition—the Cauchy dual is subnormal if and only if the support points are antipodal.
3. Computational methodology: We develop a systematic approach to determine subnormality through reproducing kernel calculations and de Branges-Rovnyak space theory.
4. Technical innovations:
   • Application of special cases of the Riesz-Fejér theorem
   • Development of sophisticated matrix computation techniques
   • Establishment of a unified framework for handling different $\cos\theta$ values

Detailed Methodology

Problem Setup

Given two distinct points $\zeta_1, \zeta_2$ on the unit circle $\mathbb{T}$, consider the positive Borel measure $\mu = \delta_{\zeta_1} + \delta_{\zeta_2}$. The task is to determine whether the Cauchy dual $M_z'$ of the multiplication operator $M_z$ on the Dirichlet space $D(\mu)$ is a subnormal operator.

Main Theorem

Main Theorem 1.6: Let $\zeta_1, \zeta_2$ be two distinct points on the unit circle, and $\mu = \delta_{\zeta_1} + \delta_{\zeta_2}$. Then the Cauchy dual of $M_z$ on $D(\mu)$ is subnormal if and only if $\zeta_1$ and $\zeta_2$ are antipodal points.

Technical Framework

1. Reproducing kernels of Dirichlet-type spaces

Using Costara's work 20, for the measure $\mu = \sum_{j=1}^n c_j\delta_{\zeta_j}$, by the Riesz-Fejér theorem there exist $\alpha_1,\ldots,\alpha_n \in \mathbb{C}\setminus\overline{\mathbb{D}}$ such that:

$\prod_{j=1}^n |z-\zeta_j|^2 + \sum_{j=1}^n c_j \prod_{i=1,i\neq j}^n |z-\zeta_i|^2 = d\prod_{j=1}^n |z-\alpha_j|^2$

2. de Branges-Rovnyak space representation

According to Theorem 3.1, the Dirichlet space $D(\mu)$ coincides with the de Branges-Rovnyak space $H(B)$, where $B = (p_1/q, p_2/q, \ldots, p_k/q)$.

3. Subnormality criterion

Using Theorem 3.2 and Corollary 3.3, when $\alpha_r\alpha_t \notin [1,\infty)$ for all $1 \leq r \neq t \leq k$, $M_z'$ is subnormal if and only if: $\sum_{j=1}^k p_j(\alpha_r)p_j(\alpha_t) = 0, \quad 1 \leq r \neq t \leq k$

Proof Strategy

Case 1: $\cos\theta < 0.6$

• Prove that $\arg(\alpha_1) \neq \arg(\alpha_2)$ and $\alpha_2 = \xi\alpha_1$
• Using Corollary 3.3, compute $p_1(\alpha_1)p_1(\alpha_2) + p_2(\alpha_1)p_2(\alpha_2) \neq 0$

Case 2: $\cos\theta > 0.6$

• Prove that $\arg(\alpha_1) = \arg(\alpha_2)$ and $\alpha_2 = k\alpha_1$ ($k > 1$)
• Using Theorem 3.2, prove that the corresponding $2 \times 2$ principal minor is negative

Case 3: $\cos\theta = 0.6$

• Special case $\alpha_1 = \alpha_2 = 2+i$
• Modify the criterion to handle repeated roots
• Direct computation proves the $2 \times 2$ principal minor is negative

Experimental Setup

Key Lemma Verification

Lemma 3.4: For $\xi = \cos\theta + i\sin\theta$, we prove properties of the polynomial $f(z)$:

1. There exists a degree 4 polynomial $f(z)$ such that $|z-1|^2|z-\xi|^2 + |z-1|^2 + |z-\xi|^2 = \frac{\xi}{z^2}f(z)$
2. $f(z)$ has exactly two roots outside the closed unit disk
3. The roots satisfy $\alpha_1\alpha_2 = b\xi$, where $b > 0$

Computational Verification

Through concrete matrix calculations, we verify the subnormality criterion in different cases:

• Case 1: Verify that $\alpha_1\alpha_2 \notin [1,\infty)$ and the corresponding sum is nonzero
• Case 2: Calculate complex determinant expressions and prove they are negative
• Case 3: Numerical computation yields $N = -\frac{2000}{9765625} < 0$

Experimental Results

Main Results

1. Completeness: We provide a complete solution to the CDSP for the case where the defect operator has rank two
2. Geometric characterization: Subnormality is completely determined by the geometric position of support points (whether antipodal)
3. Technical breakthrough: Successfully handle all possible $\cos\theta$ values

Specific Verification

• Non-antipodal case: For all $\theta \neq 0, \pi$, we prove the Cauchy dual is not subnormal
• Antipodal case: We cite the subnormality result already proven in 16
• Boundary case: Special treatment of the critical case $\cos\theta = 0.6$

Related Work

Positive Evidence

1. The Cauchy dual of completely hyperexpansive weighted shifts is a subnormal weighted shift 6
2. The Cauchy dual of concave operators is a contractive subnormal operator 35
3. The Cauchy dual of $\Delta_T$-regular $2-$isometries is subnormal 12

Counterexamples

1. Weighted shifts on directed trees admit examples where the Cauchy dual is not subnormal 4
2. Counterexamples from cyclic $2-$isometry composition operators 5
3. Systematic counterexamples constructed in this paper

Theoretical Framework

• Shimorin's Cauchy dual theory 36
• Richter's $2-$isometry model 32
• Costara's reproducing kernel theory for Dirichlet spaces 20
• de Branges-Rovnyak space theory 13,23

Conclusions and Discussion

Main Conclusions

We completely resolve the Cauchy dual subnormality problem for cyclic analytic $2-$isometries with defect operator of rank two: the Cauchy dual is subnormal if and only if the two support points of the measure are antipodal.

Limitations

1. Computational complexity: For the general form $\mu = c_1\delta_{\zeta_1} + c_2\delta_{\zeta_2}$ (where $c_1, c_2$ are positive reals), computational complexity increases significantly
2. Generalization difficulty: Extension to three or more support points requires new theoretical frameworks
3. Antipodal concept: Development of appropriate generalizations of the "antipodal" concept for multiple points is needed

Future Directions

1. General weights: Study the case of general weights $c_1, c_2$
2. Multi-point generalization: Extend to cases with more than two support points
3. Geometric characterization: Develop geometric criteria for the multi-point case
4. Algorithm optimization: Simplify computational complexity and develop more efficient criteria

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete solution to the CDSP in a specific case, filling an important theoretical gap
2. Technical innovation: Skillfully combines multiple mathematical branches (functional analysis, complex analysis, operator theory), demonstrating deep mathematical expertise
3. Computational rigor: Detailed calculations and systematic treatment of various cases reflect rigorous academic standards
4. Geometric insight: Connects abstract operator properties with concrete geometric conditions, possessing significant theoretical value

Weaknesses

1. Limited scope: Resolves only the special case of defect operator rank two; the general case remains open
2. Computational complexity: The proof involves substantial technical calculations; more elegant proofs may exist
3. Generalization difficulty: Extension from two points to multiple points faces fundamental obstacles requiring entirely new theoretical tools

Impact

1. Theoretical contribution: Provides important progress in CDSP research, potentially inspiring investigation of more general cases
2. Methodological value: The developed techniques have reference value for related problems
3. Interdisciplinary synthesis: Exemplifies deep integration of different mathematical branches with significant academic value

Applicable Scenarios

This research is primarily applicable to:

1. Subnormality studies in operator theory
2. Structure analysis of Dirichlet-type spaces
3. Applications of de Branges-Rovnyak space theory
4. Interdisciplinary research between harmonic analysis and operator theory

References

This paper cites 37 relevant references, primarily including:

• Shimorin's pioneering work on Cauchy duals 36
• Richter's $2-$isometry model theory 32
• Costara's reproducing kernel calculations for Dirichlet spaces 20
• Chavan et al.'s series of studies on CDSP 15,16,17
• Classical theory of de Branges-Rovnyak spaces 13,23

Overall Assessment: This is a high-quality functional analysis theory paper that completely resolves a difficult open problem in a specific but important case. While the scope of application is limited, the technical innovations and theoretical insights possess significant value and provide a solid foundation for further research.