<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AJCM</journal-id><journal-title-group><journal-title>American Journal of Computational Mathematics</journal-title></journal-title-group><issn pub-type="epub">2161-1203</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ajcm.2023.134032</article-id><article-id pub-id-type="publisher-id">AJCM-129771</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  On Unitary N-Dilations for Tuples of Circulant Contractions and von Neumann’s Inequality
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Joachim</surname><given-names>Moussounda Mouanda</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Edwige</surname><given-names>Josette Maleka Koubemba</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Djagwa</surname><given-names>Dehainsala</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Mathematics Department, N’Djamena University, N’Djamena, Tchad</addr-line></aff><aff id="aff1"><addr-line>Mathematics Department, Blessington Christian University, Nkayi, Republic of the Congo</addr-line></aff><pub-date pub-type="epub"><day>13</day><month>10</month><year>2023</year></pub-date><volume>13</volume><issue>04</issue><fpage>594</fpage><lpage>606</lpage><history><date date-type="received"><day>7,</day>	<month>October</month>	<year>2023</year></date><date date-type="rev-recd"><day>10,</day>	<month>December</month>	<year>2023</year>	</date><date date-type="accepted"><day>13,</day>	<month>December</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  We introduce the spectral mapping factorization of tuples of circulant matrices and its matrix version. We prove that every tuple of circulant contractions has a unitary N-dilation. We show that von Neumann’s inequality holds for tuples of circulant contractions. We construct completely contractive homomorphisms over the algebra of complex polynomials defined on <inline-formula><inline-graphic xlink:href="dit_44cf61e3-b663-4ec4-9804-e1599e13879c.png" xlink:type="simple"/></inline-formula>.
 
</p></abstract><kwd-group><kwd>Dilations</kwd><kwd> Polynomials</kwd><kwd> Matrices</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>In 1953, Sz-Nagy [<xref ref-type="bibr" rid="scirp.129771-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref2">2</xref>] showed that every single contraction on a Hilbert space has a unitary dilation. This is an interesting tool which can be used to prove the von Neumann inequality [<xref ref-type="bibr" rid="scirp.129771-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref6">6</xref>] which states that for any contraction linear operator T on a Hilbert space the following inequality:</p><p>‖ p ( T ) ‖ ≤ ‖ p ‖ ∞ ,</p><p>holds for all complex polynomials p ( z ) over the unit disk, where ‖ p ‖ ∞ denotes the supremum norm of p over the unit disk. In 1963, Ando proved that every pair of commuting contractions has a simultaneous commuting dilation [<xref ref-type="bibr" rid="scirp.129771-ref7">7</xref>] . However, Varopoulos [<xref ref-type="bibr" rid="scirp.129771-ref8">8</xref>] , Parrott [<xref ref-type="bibr" rid="scirp.129771-ref9">9</xref>] and Crabb-Davie [<xref ref-type="bibr" rid="scirp.129771-ref10">10</xref>] proved that this phenomenon fails for more than three commuting contractions. In 1978, Drury [<xref ref-type="bibr" rid="scirp.129771-ref11">11</xref>] , in connection to his generalization of von Neumann’s inequality, and then Arveson [<xref ref-type="bibr" rid="scirp.129771-ref12">12</xref>] , in 1998, proved the standard commuting dilation for tuples of commuting contractions. The problem of determining if a tuple of commuting (or non-commuting) contractions admits a unitary dilation has been pursued by many authors. Over the years, several conditions that guarantee the existence of a unitary dilation for an n -tuple of commuting contractions have been studied [<xref ref-type="bibr" rid="scirp.129771-ref13">13</xref>] . For example: tuples of doubly commuting contractions have unitary N-dilations ( N ∈ ℕ ) acting on a finite dimensional space [<xref ref-type="bibr" rid="scirp.129771-ref14">14</xref>] .</p><p>This result has many engineering applications [<xref ref-type="bibr" rid="scirp.129771-ref15">15</xref>] .</p><p>In the present paper, we introduce the spectral mapping factorization of tuples of circulant matrices and its matrix version. Circulant matrices have many applications in graph theory, cryptography, physics, signal and image processing, probability, statistics, numerical analysis, algebraic coding theory and many other areas [<xref ref-type="bibr" rid="scirp.129771-ref16">16</xref>] . The well known results on unitary dilations of doubly commuting sets of contractions allow us to extend Sz-Nagy’s Dilation Theorem and von Neumann’s inequality to the setting of tuples of circulant contractions.</p><p>Theorem 1.1. Let N ∈ ℕ be a positive integer. Every tuple of circulant contractions has a unitary N-dilation.</p><p>Theorem 1.2. von Neumann’s inequality holds for tuples of circulant contractions.</p><p>The matrix version of the spectral mapping factorization of tuples of circulant matrices allows us to introduce a new family of completely contractive homomorphisms over the algebra of complex polynomials defined on D n .</p></sec><sec id="s2"><title>2. Preliminaries</title><p>Throughout this paper H is a Hilbert space of finite dimension n. Let</p><p>D = [ d i , j ] i , j = 1 n ∈ M n ( ℂ )</p><p>be a complex matrix. Denote by D * = [ d j , i * ] i , j = 1 n .</p><sec id="s2_1"><title>2.1. Operator Norm</title><p>Definition 2.1. Let A be a unital Banach algebra. We say that a ∈ A is invertible if there is an element b ∈ A such that a b = b a = 1 . In this case b is unique and written a − 1 . The set</p><p>I n v ( A ) = { a ∈ A : ∃ b ∈ A , a b = b a = 1 }</p><p>is a group under multiplication.</p><p>If a is an element of A , the spectrum of a is defined as</p><p>σ ( a ) = { λ ∈ ℂ : a − λ .1 ∉ I n v ( A ) } ,</p><p>and its spectral radius is defined to be</p><p>r ( a ) = sup { | λ | : λ ∈ σ ( a ) } .</p><p>Definition 2.2. Let H be a Hilbert space and let T ∈ B ( H ) be a linear bounded operator on H. Then the operator norm of T denoted by ‖ T ‖ is defined by</p><p>‖ T ‖ = sup { ‖ T ( x ) ‖ ‖ x ‖ : x ≠ 0 } = sup { ‖ T ( x ) ‖ : ‖ x ‖ ≤ 1 } = sup { ‖ T ( x ) ‖ : ‖ x ‖ = 1 } .</p><p>If ‖ T ‖ ≤ 1 , then the linear bounded operator T is called a contraction. In the case, H is a finite dimensional Hilbert space, then</p><p>‖ T ‖ = r ( T * T ) = sup { | λ | : λ ∈ σ ( T * T ) } .</p></sec><sec id="s2_2"><title>2.2. Complex Polynomials</title><p>Let D n = { z ∈ ℂ : | z | ≤ 1 } be the unit poly disk and let</p><p>f ( z 1 , ⋯ , z n ) = ∑ ( k 1 , ⋯ , k n ) ∈ S     f ^ ( k 1 , ⋯ , k n ) z 1 k 1 ⋯ z n k n ,</p><p>be a complex polynomial over D n . Then</p><p>‖ f ‖ ∞ = sup { | f ( z 1 , ⋯ , z n ) | : | z 1 | = ⋯ = | z n | = 1 } .</p><p>Let P n be the algebra of complex polynomials over D n . Given</p><p>f ( z 1 , ⋯ , z n ) = ∑ ( k 1 , ⋯ , k n ) ∈ S     f ^ ( k 1 , ⋯ , k n ) z 1 k 1 ⋯ z n k n ,</p><p>a complex polynomial over D n , let us set</p><p>‖ f ‖ u = sup ‖ f ( T 1 , ⋯ , T n ) ‖ ,</p><p>where the supremum is taken over the family of all n-tuples of contractions on all Hilbert spaces. It is easy to see that ‖ f ‖ u is finite, since it is bounded by the sum of the absolute values of the Fourier coefficients of f, and that this quantity defines a norm on the algebra P n of complex polynomials over D n . For each polynomial p in P n , there is always an n-tuple of contractions where this supremum is achieved. Therefore, ( P n , ‖ . ‖ ∞ ) and ( P n , ‖ . ‖ u ) are both two normed algebras.</p><p>Let f i , j ( z 1 , ⋯ , z n ) , i , j = 1 , ⋯ , m , be complex polynomials in n variables over D n . Then</p><p>‖ ( f i , j ) ‖ ∞ = sup { ‖ ( f i , j ( z 1 , ⋯ , z n ) ) ‖ M m : | z i | ≤ 1 } .</p></sec><sec id="s2_3"><title>2.3. Unitary Dilation</title><p>Definition 2.3. Let N ∈ ℕ and let ( T 1 , ⋯ , T k ) be a tuple of commuting contractions on H. A unitary N-dilation for ( T 1 , ⋯ , T k ) is a k-tuple of commuting unitaries ( U 1 , ⋯ , U k ) acting on a space K ⊇ H such that</p><p>T 1 n 1 ⋯ T k n k = P H U 1 n 1 ⋯ U k n k | H ,</p><p>for all n 1 , ⋯ , n k satisfying n 1 + ⋯ + n k ≤ N .</p><p>Definition 2.4. A finite set { B 1 , ⋯ , B n } of matrices is said to be doubly commuting if B i B j = B j B i and B i * B j = B j B i * , for every i ≠ j .</p><p>The following results will enable us to prove our main results [<xref ref-type="bibr" rid="scirp.129771-ref13">13</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref14">14</xref>] .</p><p>Theorem 2.5. (Sz-Nagy-Foias). Given k doubly commuting contractions T 1 , ⋯ , T k ∈ B ( H ) , there is a Hilbert space K containing H and doubly commuting unitaries U 1 , ⋯ , U k ∈ B ( K ) so that</p><p>T 1 n 1 ⋯ T k n k = P H U 1 n 1 ⋯ U k n k | H ,</p><p>for all n 1 , ⋯ , n k ∈ ℤ .</p><p>Theorem 2.6. Let ( T 1 , ⋯ , T k ) be a k-tuple of doubly commuting contractions on H. Then for every N ∈ ℕ , the k-tuple ( T 1 , ⋯ , T k ) has a unitary N-dilation that acts on a space of dimension ( N + 1 ) k n .</p><p>In finite dimensional, every tuple of commuting contractions which has a unitary N-dilation acting on a finite dimensional Hilbert space satisfies von Neumann’s inequality [<xref ref-type="bibr" rid="scirp.129771-ref13">13</xref>] .</p><p>Theorem 2.7. Let N ∈ ℕ , and let ( T 1 , ⋯ , T k ) be a k-tuple of commuting contractions on H that has a unitary N-dilation acting on a finite dimensional Hilbert space K. Put m = dim K. Then there exist m points { w i = ( w 1 i , ⋯ , w k i ) } i = 1 m on the k-torus T k such that for every polynomial f ( z 1 , ⋯ , z k ) of degree less than or equal to N,</p><p>‖ f ( T 1 , ⋯ , T k ) ‖ ≤ max { | f ( w i ) | : i = 1 , ⋯ , m } .</p><p>In particular,</p><p>‖ f ( T 1 , ⋯ , T k ) ‖ ≤ sup { | f ( z 1 , ⋯ , z k ) | : | z i | = 1 , i = 1 , ⋯ , k } = ‖ f ‖ ∞ .</p><p>Now, let us turn our attention to a particular family of doubly commuting sets of matrices which have many applications in several areas such as graph theory, cryptography, physics, signal and image processing, probability, statistics, numerical analysis, algebraic coding theory and many other areas [<xref ref-type="bibr" rid="scirp.129771-ref16">16</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref17">17</xref>] .</p></sec><sec id="s2_4"><title>2.4. Circulant Matrices</title><p>Let { a 0 , a 1 , ⋯ , a m − 1 } ⊂ ℂ be a finite set of complex numbers, denote by C ( a 0 , a 1 , ⋯ , a m − 1 ) the following Toeplitz matrix:</p><p>C ( a 0 , a 1 , ⋯ , a m − 1 ) = ( a 0 a 1 ⋱ a m − 1 a m − 1 a 0 ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ a 1 … a m − 1 a 0 ) ∈ M n ( ℂ ) .</p><p>This matrix is called a complex circulant matrix of order m. It is possible to write this matrix as a single variable matrix polynomial in P, where P is the cyclic permutation matrix given by</p><p>P = ( 0 1 0 ⋱ 0 0 0 0 1 0 ⋱ 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 0 0 ⋯ 0 0 1 1 0 ⋯ 0 0 0 ) .</p><p>Indeed,</p><p>C ( a 0 , a 1 , ⋯ , a m − 1 ) = a 0 I m + ∑ k = 1 m − 1     a k P k .</p><p>The matrix</p><p>( a 1 a 2 a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 9 a 1 a 2 a 3 a 4 a 5 a 6 a 7 a 8 a 8 a 9 a 1 a 2 a 3 a 4 a 5 a 6 a 7 a 7 a 8 a 9 a 1 a 2 a 3 a 4 a 5 a 6 a 6 a 7 a 8 a 9 a 1 a 2 a 3 a 4 a 5 a 5 a 6 a 7 a 8 a 9 a 1 a 2 a 3 a 4 a 4 a 5 a 6 a 7 a 8 a 9 a 1 a 2 a 3 a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 1 a 2 a 2 a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 1 ) , a i ∈ ℂ ,</p><p>is a 9 &#215; 9-complex circulant matrix. It is well known that the set of m &#215; m-circulant matrices</p><p>Circ ( m ) = { b 0 I m + ∑ k = 1 m − 1     b k P k : b k ∈ ℂ }</p><p>is a commutative algebra. Let ε = e 2 π i m be a primitive m-th root of unity. Let us denote by U the following matrix:</p><p>U = 1 m ( 1 1 ⋯ 1 1 1 1 1 ε ⋯ ⋯ ε m − 3 ε m − 2 ε m − 1 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 1 ε m − 3 ⋯ ⋯ ε ( m − 3 ) 2 ε ( m − 3 ) ( m − 2 ) ε ( m − 1 ) ( m − 3 ) 1 ε m − 2 ⋯ ⋯ ε ( m − 2 ) ( m − 3 ) ε ( m − 2 ) 2 ε ( m − 1 ) ( m − 2 ) 1 ε m − 1 ⋯ ⋯ ε ( m − 1 ) ( m − 3 ) ε ( m − 1 ) ( m − 2 ) ε ( m − 1 ) 2 ) .</p><p>This matrix is called Vandermonde matrix. It is well known that this matrix has the following properties:</p><p>det ( U ) = 1 m m 2 ∏ i , j = 0 m − 1 ( ε j − ε i ) ≠ 0 ,</p><p>U is non-singular, unitary, U − 1 = U &#175; T , U T = U and U − 1 = U &#175; = U * . It is well known that all elements of Cir(m) are simultaneously diagonalised by the same unitary matrix U [<xref ref-type="bibr" rid="scirp.129771-ref18">18</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref19">19</xref>] [<xref ref-type="bibr" rid="scirp.129771-ref20">20</xref>] , that is, for A in Cir(m),</p><p>U * A U = D A</p><p>with D A is a diagonal matrix with diagonal entries given by the ordered eigenvalues of A: λ 1 A , λ 2 A , ⋯ , λ m A . The factorization U * A U = D A is called the spectral factorization of A.</p></sec></sec><sec id="s3"><title>3. Proof of the Main Results</title><p>In this section, we introduce the spectral mapping factorization of tuples of circulant matrices and its matrix version. We prove our main two results.</p><p>Theorem 3.1. Let A be a m &#215; m-complex circulant matrix. Then</p><p>‖ A ‖ = sup { | λ | : λ ∈ σ ( A ) } = r ( A ) .</p><p>Proof. Let A be a m &#215; m-complex circulant matrix. The spectral factorization of the matrix A allows us to claim that</p><p>A = U D A U − 1 , D A = ( λ 1 A 0 ⋱ 0 0 λ 2 A ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 λ m A ) , λ l A ∈ σ ( A ) .</p><p>It follows that</p><p>D A = U − 1 A U .</p><p>A simple calculation shows that</p><p>‖ A ‖ ≤ ‖ U − 1 ‖ ‖ D A ‖ ‖ U ‖ ≤ ‖ D A ‖</p><p>and</p><p>‖ D A ‖ ≤ ‖ U ‖ ‖ A ‖ ‖ U − 1 ‖ ≤ ‖ A ‖ .</p><p>Therefore,</p><p>‖ A ‖ = ‖ D A ‖ = sup { | λ | : λ ∈ σ ( A ) } = r ( A ) . □</p><p>Theorem 3.2. Let A be a m &#215; m-complex circulant matrix. Then</p><p>‖ f ( A ) ‖ = sup { | f ( λ ) | : λ ∈ σ ( A ) } = r ( f ( A ) ) , ∀ f ∈ P 1 .</p><p>Proof. Let A be a m &#215; m-complex circulant matrix. We know that</p><p>A = U D A U − 1 , D A = ( λ 1 A 0 ⋱ 0 0 λ 2 A ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 λ m A ) , λ l A ∈ σ ( A ) .</p><p>Then</p><p>f ( D A ) = ( f ( λ 1 A ) 0 ⋱ 0 0 f ( λ 2 A ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f ( λ m A ) ) , λ i A ∈ σ ( A ) .</p><p>Therefore,</p><p>‖ f ( A ) ‖ = ‖ U − 1 f ( D ) U ‖ = ‖ f ( D ) ‖ = sup { | f ( λ ) | : λ ∈ σ ( A ) } = r ( f ( A ) ) . □</p><p>The spectral factorization of circulant matrices [<xref ref-type="bibr" rid="scirp.129771-ref17">17</xref>] allows us to establish the spectral mapping factorization of tuples of circulant matrices.</p><p>Theorem 3.3. Let S = { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant matrices. Then</p><p>f ( A 1 , ⋯ , A n ) = U ( f ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f ( λ m A 1 , ⋯ , λ m A n ) ) U − 1 ,</p><p>λ l A i ∈ σ ( A i ) , ∀ f ∈ P n .</p><p>Proof. Let S = { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant matrices. From the spectral factorization of every A i , we can say that there exist a complex m &#215; m-unitary matrix U and m &#215; m-diagonal matrices D A i , i = 1 , ⋯ , n such that</p><p>A i = U D A i U − 1 , D A i = ( λ 1 A i 0 ⋱ 0 0 λ 2 A i ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 λ m A i ) , λ l A i ∈ σ ( A i ) , l = 1 , ⋯ , m .</p><p>A simple calculation shows that</p><p>f ( A 1 , ⋯ , A n ) = U f ( D A 1 , ⋯ , D A n ) U − 1 , ∀ f ∈ P n .</p><p>It is straightforward to see that</p><p>f ( D A 1 , ⋯ , D A n ) = ( f ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f ( λ m A 1 , ⋯ , λ m A n ) ) ,</p><p>∀ f ∈ P n . Therefore,</p><p>f ( A 1 , ⋯ , A n ) = U ( f ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f ( λ m A 1 , ⋯ , λ m A n ) ) U − 1 ,</p><p>λ l A i ∈ σ ( A i ) , ∀ f ∈ P n . □</p><p>Now, we are ready to establish the matrix version of the spectral mapping factorization of tuples of circulant matrices.</p><p>Theorem 3.4. Let k ∈ ℕ and let S = { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant matrices and let [ f i , j ( z 1 , ⋯ , z n ) ] i , j = 1 k be a k &#215; k-matrix with complex polynomials as entries. Let us denote by</p><p>B = [ f i , j ( A 1 , ⋯ , A n ) ] i , j = 1 k</p><p>and</p><p>a i , j = ( f i , j ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f i , j ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f i , j ( λ m A 1 , ⋯ , λ m A n ) ) ,</p><p>λ l A r ∈ σ ( A r ) , i , j = 1 , ⋯ , k . Then</p><p>B = ( U 0 ⋱ 0 0 U ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 U ) ( a 1 , 1 a 1 , 2 ⋱ a 1 , k a 2 , 1 a 2 , 2 ⋱ a 2 , k ⋮ ⋮ ⋮ ⋮ a k , 1 ⋯ ⋯ a k , k ) ( U 0 ⋱ 0 0 U ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 U ) − 1 .</p><p>Proof. Let S = { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant matrices and let [ f i , j ( z 1 , ⋯ , z n ) ] i , j = 1 k be a k &#215; k-matrix with complex polynomials as entries, k ∈ ℕ . Suppose that</p><p>B = [ f i , j ( A 1 , ⋯ , A n ) ] i , j = 1 k , f i , j ∈ P n ,</p><p>and</p><p>a i , j = ( f i , j ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f i , j ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f i , j ( λ m A 1 , ⋯ , λ m A n ) ) ,</p><p>λ l A r ∈ σ ( A r ) . Theorem 3.3 allows us to claim that</p><p>f i , j ( A 1 , ⋯ , A n ) = U a i , j U − 1 ,</p><p>f i , j ∈ P n , λ l A r ∈ σ ( A r ) . It follows that</p><p>B = [ U a i , j U − 1 ] i , j = 1 k .</p><p>A simple calculation shows that</p><p>B = ( U 0 ⋱ 0 0 U ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 U ) ( a 1,1 a 1,2 ⋱ a 1, k a 2,1 a 2,2 ⋱ a 2, k ⋮ ⋮ ⋮ ⋮ a k ,1 ⋯ ⋯ a k , k ) ( U 0 ⋱ 0 0 U ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 U ) − 1 . □</p><p>Proof of Theorem 1.1</p><p>We just need to show that every tuple of circulant contractions is a doubly commuting set of contractions. Let k ∈ ℕ and let</p><p>( C 1 ( a 0,1 , a 1,1 , ⋯ , a m − 1,1 ) , ⋯ , C k ( a 0, k , a 1, k , ⋯ , a m − 1, k ) )</p><p>be a k-tuple of circulant contractions. Assume that</p><p>P = ( 0 1 0 ⋱ 0 0 0 0 1 0 ⋱ 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 0 0 ⋯ 0 0 1 1 0 ⋯ 0 0 0 ) ∈ M m ( ℂ ) .</p><p>It is clear that</p><p>C i ( a 0, i , a 1, i , ⋯ , a m − 1, i ) = ( a 0, i a 1, i ⋱ a m − 1, i a m − 1, i a 0, i ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ a 1, i ⋯ 0 a 0, i ) .</p><p>Also,</p><p>C i ( a 0 , i , a 1 , i , ⋯ , a m − 1 , i ) = a 0 , i I m + ∑ r = 1 m − 1     a r , i P r , 1 ≤ i ≤ k .</p><p>Let us show that the set</p><p>{ C 1 ( a 0,1 , a 1,1 , ⋯ , a m − 1,1 ) , ⋯ , C k ( a 0, k , a 1, k , ⋯ , a m − 1, k ) }</p><p>is a doubly commuting set of contractions. We already know that this set is commutative. Let us observe that</p><p>C j ( a 0 , j , a 1 , j , ⋯ , a m − 1 , j ) * = a 0 , j &#175; I m + ∑ r = 1 m − 1     a n − r , j &#175; P r .</p><p>Therefore, the adjoint of a complex m &#215; m-circulant matrix is another m &#215; m-circulant matrix. The fact that the set of m &#215; m-circulant matrices is a commutative algebra implies that the matrices C i ( a 0, i , a 1, i , ⋯ , a m − 1, i ) and C j ( a 0, j , a 1, j , ⋯ , a m − 1, j ) * , i ≠ j , commute. Therefore, the set</p><p>{ C 1 ( a 0,1 , a 1,1 , ⋯ , a m − 1,1 ) , ⋯ , C k ( a 0, k , a 1, k , ⋯ , a m − 1, k ) }</p><p>is a doubly commuting set of contractions. Theorem 2.5 and Theorem 2.6 allow us to claim that, for each N ∈ ℕ , the k-tuple of circulant contractions</p><p>{ C 1 ( a 0,1 , a 1,1 , ⋯ , a m − 1,1 ) , ⋯ , C k ( a 0, k , a 1, k , ⋯ , a m − 1, k ) }</p><p>has a unitary N-dilation acting on a finite dimensional Hilbert space. Finally, for each N ∈ ℕ , every tuple of circulant contractions has a unitary N-dilation. □</p><p>The above proof allows us to observe the following: every finite set of circulant matrices is a doubly commuting set of matrices. This enables us to prove our second main result.</p><p>First proof of Theorem 1.2</p><p>Let ( A 1 , ⋯ , A n ) be an n-tuple of circulant contractions of order m. The set { A 1 , ⋯ , A n } is a doubly commuting set of contractions. Theorem 2.7 allows us to claim that von Neumann’s inequality holds for this set { A 1 , ⋯ , A n } . Therefore,</p><p>‖ f ( A 1 , ⋯ , A n ) ‖ ≤ ‖ f ‖ ∞ , ∀ f ∈ P n . □</p><p>Second proof of Theorem 1.2</p><p>Let { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant contractions. Theorem 3.3 allows us to claim that</p><p>f ( A 1 , ⋯ , A n ) = U ( f ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f ( λ m A 1 , ⋯ , λ m A n ) ) U − 1 ,</p><p>λ l A i ∈ σ ( A i ) , | λ l A i | ≤ 1, ∀ f ∈ P n . It follows that</p><p>‖ f ( A 1 , ⋯ , A n ) ‖ = ‖ ( f ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f ( λ m A 1 , ⋯ , λ m A n ) ) ‖ ,</p><p>λ l A i ∈ σ ( A i ) , for all f ∈ P n . Therefore,</p><p>‖ f ( A 1 , ⋯ , A n ) ‖ ≤ ‖ f ‖ ∞ , ∀ f ∈ P n . □</p></sec><sec id="s4"><title>4. Application</title><p>In this section, we construct completely contractive homomorphisms over the algebra of complex polynomials defined on D n .</p><p>Theorem 4.1. Let S = { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant contractions. Then the map ϕ S : P n → M m given by</p><p>ϕ S ( f ) = f ( A 1 , ⋯ , A n )</p><p>is a completely contractive homomorphism.</p><p>Proof. Let S = { A 1 , A 2 , ⋯ , A n } be a set of m &#215; m-complex circulant contractions. The spectral factorization of the matrix A i allows us to claim that</p><p>A i = U D A i U − 1 , D A i = ( λ 1 A i 0 ⋱ 0 0 λ 2 A i ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 λ m A i ) , λ l A i ∈ σ ( A i ) .</p><p>It follows that</p><p>D A i = U − 1 A i U .</p><p>A simple calculation shows that</p><p>‖ A i ‖ = ‖ D A i ‖ = sup { | λ | : λ ∈ σ ( A i ) } .</p><p>Finally, | λ l A i | ≤ 1, λ l A i ∈ σ ( A i ) , since ‖ A i ‖ ≤ 1 . Suppose that ϕ S : P n → M m is the map given by</p><p>ϕ S ( f ) = f ( A 1 , ⋯ , A n ) .</p><p>It is well known that the map ϕ S is a homomorphism [<xref ref-type="bibr" rid="scirp.129771-ref14">14</xref>] . Also,</p><p>‖ ϕ S ‖ = sup { ‖ ϕ S ( f ) ‖ ‖ f ‖ ∞ : f ≠ 0 , f ∈ P n }</p><p>‖ ϕ S ‖ = sup { ‖ f ( A 1 , ⋯ , A n ) ‖ ‖ f ‖ ∞ : f ≠ 0 , f ∈ P n } .</p><p>First of all, let us show that the map ϕ S is a contractive map. Due to the fact that the elements of the set S = { A 1 , A 2 , ⋯ , A n } doubly commute implies that</p><p>‖ f ( A 1 , ⋯ , A n ) ‖ ≤ ‖ f ‖ ∞ , ∀ f ∈ P n .</p><p>Therefore,</p><p>‖ ϕ S ‖ = sup { ‖ f ( A 1 , ⋯ , A n ) ‖ ‖ f ‖ ∞ : f ≠ 0 , f ∈ P n } ≤ 1.</p><p>Let k ∈ ℕ and define the map ϕ k S : M k ( P n ) → M k ( M m ) by setting</p><p>ϕ k S ( [ f i , j ] i , j = 1 k ) = [ f i , j ( A 1 , ⋯ , A n ) ] i , j = 1 k</p><p>Let us show that the map ϕ k S is contractive. Theorem 3.4 allows us to claim that if</p><p>B = [ f i , j ( A 1 , ⋯ , A n ) ] i , j = 1 k , f i , j ∈ P n ,</p><p>we can say that</p><p>B = ( U 0 ⋱ 0 0 U ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 U ) ( a 1,1 a 1,2 ⋱ a 1, k a 2,1 a 2,2 ⋱ a 2, k ⋮ ⋮ ⋮ ⋮ a k ,1 ⋯ ⋯ a k , k ) ( U 0 ⋱ 0 0 U ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 U ) − 1</p><p>with</p><p>a i , j = ( f i , j ( λ 1 A 1 , ⋯ , λ 1 A n ) 0 ⋱ 0 0 f i , j ( λ 2 A 1 , ⋯ , λ 2 A n ) ⋱ ⋱ ⋮ ⋮ ⋮ ⋮ 0 ⋯ 0 f i , j ( λ m A 1 , ⋯ , λ m A n ) ) ,</p><p>λ l A r ∈ σ ( A r ) . Recall that | λ l A r | ≤ 1 , l = 1, ⋯ , m and r = 1, ⋯ , n . It follows that</p><p>‖ [ f i , j ( A 1 , ⋯ , A n ) ] i , j = 1 k ‖ = ‖ ( a 1 , 1 a 1 , 2 ⋱ a 1 , k a 2 , 1 a 2 , 2 ⋱ a 2 , k ⋮ ⋮ ⋮ ⋮ a k , 1 ⋯ ⋯ a k , k ) ‖ ≤ ‖ [ f i , j ] i , j = 1 k ‖ ∞ .</p><p>Finally,</p><p>‖ ϕ k S ‖ = sup { ‖ [ f i , j ( A 1 , ⋯ , A n ) ] i , j = 1 k ‖ ‖ [ f i , j ] i , j = 1 k ‖ ∞ : [ f i , j ] i , j = 1 k ∈ M k ( P n ) } ≤ 1 , k ∈ ℕ . □</p></sec><sec id="s5"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s6"><title>Cite this paper</title><p>Mouanda, J.M., Koubemba, E.J.M. and Dehainsala, D. (2023) On Unitary N-Dilations for Tuples of Circulant Contractions and von Neumann’s Inequality. American Journal of Computational Mathematics, 13, 594-606. https://doi.org/10.4236/ajcm.2023.134032</p></sec></body><back><ref-list><title>References</title><ref id="scirp.129771-ref1"><label>1</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Sz-Nagy</surname><given-names> B. </given-names></name>,<etal>et al</etal>. (<year>1953</year>)<article-title>Sur les contractions de l’espace Hilbert</article-title><source> Acta Scientiarum Mathematicarum</source><volume> 15</volume>,<fpage> 87</fpage>-<lpage>92</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.129771-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Sz-Nagy, B. and Foias, C. (1970) Harmonic Analysis of Operators on Hilbert Space. Springer, Berlin.</mixed-citation></ref><ref id="scirp.129771-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Dixon, P.G. (1976) The von Neumann Inequality for Polynomials of Degree Greater than Two. Journal of the London Mathematical Society, s2-14, 369-375. https://doi.org/10.1112/jlms/s2-14.2.369</mixed-citation></ref><ref id="scirp.129771-ref4"><label>4</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Lubin</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>1978</year>)<article-title>Research Notes on von Neumann’s Inequality</article-title><source> International Journal of Mathematics and Mathematical Sciences</source><volume> 1</volume>,<fpage> 133</fpage>-<lpage>136</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.129771-ref5"><label>5</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Brehmer</surname><given-names> S. </given-names></name>,<etal>et al</etal>. (<year>1961</year>)<article-title>Uber vertauschbare Kontractionen des Hilbertschen Raumes</article-title><source> Acta Scientiarum Mathematicarum</source><volume> 22</volume>,<fpage> 106</fpage>-<lpage>111</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.129771-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">von Neumann, J. (1951) Eine Spektraltheorie fur Allgemeine Operatoren Eines Unitaren Raumes. Mathematische Nachrichten, 4, 258-281. https://doi.org/10.1002/mana.3210040124</mixed-citation></ref><ref id="scirp.129771-ref7"><label>7</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Ando</surname><given-names> T. </given-names></name>,<etal>et al</etal>. (<year>1963</year>)<article-title>On a Pair of Commutative Contractions</article-title><source> Annals of Mathematics</source><volume> 24</volume>,<fpage> 88</fpage>-<lpage>90</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.129771-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Varopoulos, N.T. (1974) On an Inequality of von Neumann and an Application of the Metric Theory of Tensor Product to Operator Theory. Journal of Functional Analysis, 16, 83-100. https://doi.org/10.1016/0022-1236(74)90071-8</mixed-citation></ref><ref id="scirp.129771-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Parrot, S. (1970) Unitary Dilations for Commuting Contractions. Pacific Journal of Mathematics, 34, 481-490. https://doi.org/10.2140/pjm.1970.34.481</mixed-citation></ref><ref id="scirp.129771-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Crabb, M.J. and Davie, A.M. (1975) von Neumann’s Inequality for Hilbert Space Operators. Bulletin of the London Mathematical Society, 7, 49-50. https://doi.org/10.1112/blms/7.1.49</mixed-citation></ref><ref id="scirp.129771-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Drury, S. (1978) A Generalization of von Neumann Inequality to the Complex Ball. Proceedings of the American Mathematical Society, 68, 300-304. https://doi.org/10.1090/S0002-9939-1978-0480362-8</mixed-citation></ref><ref id="scirp.129771-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Arveson, W. (1998) Subalgebras of C*-Algebras III: Multivariable Operator Theory. Acta Mathematica, 181, 159-228. https://doi.org/10.1007/BF02392585</mixed-citation></ref><ref id="scirp.129771-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Levy, E. and Shalit, O.M. (2010) Dilation in Finite Dimensions: The Possible, the Impossible and the Unknown. arXiv: 1012.4514v1.</mixed-citation></ref><ref id="scirp.129771-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Paulsen, V.I. (1986) Completely Bounded Maps and Dilations. Pitman Longman, New York.</mixed-citation></ref><ref id="scirp.129771-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Lotto, B.A. (1994) von Neumann’s Inequality for Commuting, Diagonalizable Contractions. Proceedings of the American Mathematical Society, 120, 889-895. https://doi.org/10.1090/S0002-9939-1994-1169881-8</mixed-citation></ref><ref id="scirp.129771-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Davis, P.J. (2013) Circulant Matrices. Proceedings of the American Mathematical Society.</mixed-citation></ref><ref id="scirp.129771-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Pollock, D.S.G. (2001) Circulant Matrices and Time-Series Analysis. https://doi.org/10.2139/ssrn.249427</mixed-citation></ref><ref id="scirp.129771-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Davis, P.J. (1979) Circulant Matrices. John Wiley and Sons, New York.</mixed-citation></ref><ref id="scirp.129771-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Davis, P.J. (1994) Circulant Matrices. AMS Chelsea Publishing, New York.</mixed-citation></ref><ref id="scirp.129771-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Geller, D., Kra, I., Popescu, S. and Simanca, S. (2002) On Circulant Matrices. https://www.math.stonybrook.edu/</mixed-citation></ref></ref-list></back></article>