[Paper Review] C*-algebraic Smale Mean Value Conjecture and Dubinin-Sugawa Dual Mean Value Conjecture

K. Mahesh Krishna|arXiv (Cornell University)|Jun 16, 2022

Advanced Topics in Algebra4 citations

TL;DR

This paper formulates and proves C*-algebraic generalizations of the Smale mean value conjecture and the Dubinin-Sugawa dual mean value conjecture for degree 2 polynomials over commutative C*-algebras. It establishes that both conjectures hold in the strong form for quadratic polynomials using operator-theoretic identities and norm inequalities in C*-algebraic frameworks, extending classical complex analysis results to non-commutative operator settings.

ABSTRACT

Based on Smale mean value conjecture extit{[Bull. Amer. Math. Soc., 1981]} and Dubinin-Sugawa dual mean value conjecture extit{[Proc. Japan Acad. Ser. A Math. Sci., 2009]} we formulate the following conjectures. extbf{C*-algebraic Smale Mean Value Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra. Let $P(z)= (z-a_1)\cdots (z-a_n)$ be a polynomial of degree $n\geq 2$ over $\mathcal{A}$, $a_1, \dots, a_n \in \mathcal{A}$. If $z\in\mathcal{A}$ is not a critical point of $P$, then there exists a critical point $w\in \mathcal{A}$ of $P$ such that \begin{align*} \frac{\|P(z)-P(w)\|}{\|z-w\|}\leq 1 \|P'(z)\| \end{align*} or \begin{align*} \frac{\|P(z)-P(w)\|}{\|z-w\|}\leq \frac{n-1}{n} \|P'(z)\|=\frac{\operatorname{deg} (P)-1}{\operatorname{deg} (P)} \|P'(z)\|. \end{align*}} extbf{C*-algebraic Dubinin-Sugawa Dual Mean Value Conjecture : Let $\mathcal{A}$ be a commutative C*-algebra. Let $P(z)= (z-a_1)\cdots (z-a_n)$ be a polynomial of degree $n\geq 2$ over $\mathcal{A}$, $a_1, \dots, a_n \in \mathcal{A}$. If $z\in \mathcal{A}$ is not a critical point of $P$, then there exists a critical point $w\in \mathcal{A}$ of $P$ such that \begin{align*} \frac{\|P'(z)\|}{\operatorname{deg} (P)} =\frac{\|P'(z)\|}{n} \leq \frac{\|P(z)-P(w)\|}{\|z-w\|}. \end{align*}} We show that (even a strong form of) C*-algebraic Smale mean value conjecture and C*-algebraic Dubinin-Sugawa dual mean value conjecture hold for degree 2 C*-algebraic polynomials over commutative C*-algebras.

Motivation & Objective

• To extend the classical Smale mean value conjecture and Dubinin-Sugawa dual mean value conjecture to the setting of commutative C*-algebras.
• To formulate and investigate C*-algebraic analogues of these conjectures for polynomials with coefficients in a C*-algebra.
• To prove that both the C*-algebraic Smale mean value conjecture and the C*-algebraic Dubinin-Sugawa dual mean value conjecture hold in the strong form for degree 2 polynomials.
• To explore the dynamics of critical points and polynomial iteration in C*-algebraic frameworks, including convergence to zero under iteration.
• To establish operator-theoretic identities that generalize classical complex polynomial identities to C*-algebraic settings.

Proposed method

• Formalizing the C*-algebraic Smale mean value conjecture via norm inequalities: $\frac{\|P(z)-P(w)\|}{\|z-w\|} \leq \frac{\deg(P)-1}{\deg(P)}\|P'(z)\|$ for some critical point $w$.
• Formalizing the C*-algebraic Dubinin-Sugawa dual mean value conjecture: $\frac{\|P'(z)\|}{\deg(P)} \leq \frac{\|P(z)-P(w)\|}{\|z-w\|}$ for some critical point $w$.
• Using algebraic substitutions: $x = z - a$, $y = z - b$, and $c = \frac{a+b}{2}$ to express $P(z) - P(c)$, $P'(z)$, and $z - c$ in terms of $x$ and $y$.
• Computing the operator norm of $ (P(z) - P(c))(P(z) - P(c))^* $ and comparing it to $ \frac{1}{4}(z-c)P'(z)P'(z)^*(z-c)^* $ to verify identity in the degree 2 case.
• Proving the strong form of both conjectures by showing equality in the operator inequality: $ (P(z)-P(w))(P(z)-P(w))^{*} = \frac{(z-w)P'(z)P'(z)^{*}(z-w)^{*}}{n^2} $ for $n=2$.
• Applying the C*-algebraic structure to derive norm bounds and verify that the conjectures reduce to identities in the quadratic case.

Experimental results

Research questions

• RQ1 Does the C*-algebraic Smale mean value conjecture hold for degree 2 polynomials over commutative C*-algebras?
• RQ2 Can the Dubinin-Sugawa dual mean value conjecture be generalized to C*-algebraic polynomials, and does it hold in the strong operator-theoretic form?
• RQ3 What is the role of the critical point $c = \frac{a+b}{2}$ in the C*-algebraic setting for quadratic polynomials?
• RQ4 How do operator norms and $C^*$-algebraic identities generalize classical complex polynomial mean value inequalities?
• RQ5 Can the dynamics of $P^m(w) \to 0$ be established in the C*-algebraic setting for normalized polynomials with $P(0)=0$, $P'(0)=1$?

Key findings

• The C*-algebraic Smale mean value conjecture holds in the strong form for degree 2 polynomials, with equality achieved in the norm identity $ \frac{1}{4}(z-c)P'(z)P'(z)^*(z-c)^* = (P(z)-P(c))(P(z)-P(c))^{*} $.
• The C*-algebraic Dubinin-Sugawa dual mean value conjecture holds in the strong form for degree 2 polynomials, as the operator inequality reduces to equality: $ (P(z)-P(c))(P(z)-P(c))^{*} = \frac{(z-c)P'(z)P'(z)^{*}(z-c)^{*}}{4} $.
• For quadratic polynomials, the norm ratio $ \frac{\|P(z)-P(c)\|}{\|z-c\|} $ satisfies $ \leq \frac{1}{4}\|P'(z)\| $, confirming the conjecture with constant 1.
• The strong form of the C*-algebraic Smale mean value conjecture is verified via direct computation of operator norms and algebraic identities in the $x,y$-basis.
• The strong form of the C*-algebraic Dubinin-Sugawa dual mean value conjecture is proven by showing that the difference $ (P(z)-P(w))(P(z)-P(w))^{*} - \frac{(z-w)P'(z)P'(z)^{*}(z-w)^{*}}{n^2} $ vanishes identically for $n=2$.
• The C*-algebraic Miles-Leighton-Pilgrim dynamics conjecture is supported by the convergence $ P^m(w) \to 0 $ under iteration for normalized polynomials in the degree 2 case.