Symmetric Representation of Ternary Forms Associated to Some Toeplitz Matrices †

Let A be an n× n complex matrix. Assume the determinantal curve VA = {[(x, y, z)] ∈ CP2 : FA(x, y, z) = det(x<(A) + y=(A) + zIn) = 0} is a rational curve. The Fiedler formula provides a complex symmetric matrix S satisfying FS(x, y, z) = FA(x, y, z). It is also known that every Toeplitz matrix is unitarily similar to a symmetric matrix. In this paper, we investigate the unitary similarity of the symmetric matrix S and the matrix A in the Fiedler theorem for a specific parametrized family of 4× 4 nilpotent Toeplitz matrices A. We show that there are either one or at least three unitarily inequivalent symmetric matrices which admit the determinantal representation of the ternary from FA(x, y, z) associated to the specific 4× 4 nilpotent Toeplitz matrices.


Introduction
Let A be an n × n complex matrix.The numerical range of A is defined as the set The set W(A) is a convex set due to the Toeplitz-Hausdorff theorem [1].The determinantal ternary form of A is defined by where (A) = (A + A * )/2, (A) = (A − A * )/(2i).Kippenhahn [2] showed that W(A) is the convex hull of the real affine part of the dual projective curve of F A (x, y, z) = 0.A real ternary form F(x, y, z) is hyperbolic with respect to (0, 0, 1) if the equation F(x 0 , y 0 , z) = 0 has only real roots in z for any (x 0 , y 0 ) ∈ R 2 , and F(0, 0, 1) = 1.Obviously, the ternary form F A (x, y, z) is hyperbolic.An irreducible plane algebraic curve F(x, y, z) = 0 is called rational if it has a parametric expression x = u(s), y = v(s), z = w(s) by three polynomials u(s), v(s), w(s) in one variable s.Fiedler [3] made the following conjecture: Fiedler conjecture: Let F(x, y, z) be an n degree hyperbolic ternary form with respect to (0, 0, 1) and F(0, 0, 1) = 1.Then there exists an n × n matrix A satisfying F(x, y, z) = F A (x, y, z).
Later, Fielder [4] reformulated his conjecture in a stronger sense: there exists an n × n complex symmetric matrix S satisfying F(x, y, z) = F S (x, y, z), and proved that the conjecture is true in the case F(x, y, z) = 0 is a rational curve.Historically, Fielder's stronger conjecture was already raised by Lax [5], namely, Lax conjecture: Let F(x, y, z) be an n degree hyperbolic ternary form with respect to (0, 0, 1) and F(0, 0, 1) = 1.Then there exists an n × n symmetric matrix A satisfying F(x, y, z) = F A (x, y, z).
Recently, Helton and Vinnikov [6], see also [7], confirmed the Lax conjecture is true.Therefore, the hyperbolicity of ternary forms completely characterizes the boundary of the numerical ranges of matrices based on the duality of plane algebraic curves.Plaumann et al. [8] mentioned the number of unitarily inequivalent classes of real symmetric matrices (S 1 , S 2 ) satisfying F S 1 +iS 2 (x, y, z) = F(x, y, z) is 2 g if the curve F(x, y, z) = 0 has no singular points, where g is the genus of the curve.For certain irreducible curve F(x, y, z) = 0 of degree 4 having singular points with genus 1, it is shown in [9], see also [10], that there are infinitely many inequivalent classes of S satisfying F S (x, y, z) = F(x, y, z).Typical hyperbolic ternary forms may admit determinantal representation by special matrices.For instance, it is proved in [11] that hyperbolic ternary forms satisfying weak symmetry admit determinantal representations via cyclic weighted shift matrices for lower degrees.Lentzos and Pasley [12] solved the problem for general degrees.
Let A be an n × n Toeplitz matrix.It is known that A is unitarily similar to a complex symmetric matrix (cf.[13]).Let S be a symmetric matrix which admits the determinantal representation of the ternary F A (x, y, z), i.e., F S (x, y, z) = F A (x, y, z).In this paper, we investigate the unitary similarity of S and A, and examine the number of unitarily inequivalent classes of the symmetric matrices for certain Toeplitz matrices.

Symmetric Representation
Let β 1 , β 2 , . . ., β m be complex numbers.The n × n upper triangular nilpotent Toeplitz matrix T(β 1 , β 2 , . . . ,β m ) is the one whose first row is the ordered entries 0, β 1 , β 2 , . . ., β m−1 , β m , βm−1 , . . ., β1 for n = 2m, and 0, β 1 , β 2 , . . ., β m−1 , β m , β m , βm−1 , . . ., β1 for n = 2m + 1.The c-numerical range of this class of matrices is discussed in [14], and it is also shown that the ternary form F T (x, y, z) = 0 is an irreducible rational curve if the corresponding graph of T is connected.In this case, the parametrization is given by if n = 2m, and Changing the variable s = tan(θ/2), the above parametrization coordinates x, y, z can be represented by rational functions in s (cf.[14], Theorem 3.1).Let α, β be two real numbers.Assume β = 0.The 4 × 4 upper triangular nilpotent Toeplitz matrix hence we may assume for computation simplicity, a standard form of 4 × 4 upper triangular nilpotent Toeplitz matrices T(β, α) is the form T( √ 2, a) for some a.The following preliminary lemma is essential to the study of the ternary from associated to certain Toeplitz matrices.Lemma 1.Let A = T( √ 2, a) be a 4 × 4 upper triangular nilpotent Toeplitz matrix, a is a real number and a = −2, 0, 2. Then (i) The ternary form F A (x, y, z) is irreducible and the algebraic curve F A (x, y, z) = 0 is rational; (ii) The roots of F A (0, −1, z) = 0 are (a + 2)/2, (a − 2)/2, −(a − 2)/2, −(a + 2)/2; (iii) If a real symmetric matrix C = (c jk ) satisfies F C/2+iB/2 (x, y, z) = F A (x, y, z) then (b) The entries c jk , 1 ≤ j < k ≤ 4 are solutions of the system of equations: Proof of Lemma 1.It is clear that the graph of A is connected.Then, by ([14], Theorem 3.2), the form F A (x, y, z) is irreducible and the algebraic curve . Hence, we may assume that 0 ≤ a < ∞.We compute and find that (1) Then, by Fiedler formula [4], , we obtain that the diagonal entries (c jj ) of C are given by which are independent of the parameter a. Comparing both sides of Equation ( 2), the off-diagonal entries c 12 , c 23 , c 34 , c 13 , c 24 , c 14 of C satisfy the system of equations We conjecture: Let T(b, a) be a 4 × 4 upper triangular nilpotent Toeplitz matrix, and let n(T(b, a)) be the number of unitarily inequivalent complex symmetric matrices S satisfying For computation simplicity, we may assume b = √ 2 in the conjecture.The conjecture becomes We verify n(T( √ 2, a)) = 1 when a = 1, 2. This means that the symmetric determinantal representation matrix S for the ternary for F T( √ 2,1) (x, y, z) is unique up to unitary equivalence.
Proof of Theorem 2. Assume a = 1 in T( √ 2, a).The ternary (1) becomes and the four roots of Assume that a real symmetric matrix C = (c jk ) admits the determinantal representation of the ternary F A (x, y, z), i.e., det(xC + yB + zI 4 ) = F A (x, y, z).
Further, the off-diagonal entries c jk , 1 ≤ j, k ≤ 4 satisfy 6 simultaneous equations One real solution of these six simultaneous equations is given by We claim that all real solutions of the system for some ( 2 , 3 , 4 ) ∈ {+1, −1}.
To express the real solutions by rational numbers, we change the variables: Then the equations P j = 0 are rewritten as Symmetry2018, 10, 55 Here, we apply Gröbner basis method for solving system of polynomial equations.The Mathematica function GroebnerBasis efficiently calculates the Gröbner basis for a list of polynomials.(For reference on the applications of Gröbner basis to solve systems of polynomial equations, see, for instance, [15].)Using Gröbner basis computation for the 6 polynomials G 1 , G 2 , . . ., G 6 , we eliminate the variables C 13 , C 14 , C 23 , C 24 , C 34 , and obtain an equation P 12 (C 12 ) = 0 in C 12 .We factorize P 12 in the polynomial ring Z[C 13 ] and abandon the factors which have only imaginary roots.We replace P 12 by its factor related to real roots.Next, we eliminate C 12 , C 14 , C 23 , C 24 , C 34 from the seven polynomials G 1 , G 2 , . . . ,G 6 , P 12 and get an equation P 13 (C 13 ) = 0.
Again, we abandon the factors related to only imaginary roots.We continue this process to arrive at the step at which the above process does not have imaginary roots.At the final step, we have that 4  12 − 4) = 0, P 13 = (C 13 − 1)(C 13 + 1)(3C 4  13 − 6C 2 13 − 1) = 0, P 14 = (C 14 − 1)(C 14 + 1)(3C 2  14 − 4) = 0, We eliminate C 12 , C 14 , C 23 , C 24 , and produce the Gröbner basis for {G 1 , G 2 , . . ., G 6 , P12 , P 13 , . . ., P 34 }.The basis consists of {(C 34 − 1)(C 34 + 1), (C 13 − 1)(C 13 + 1)}.Thus, any real solution (C 12 , C 13 , . ..) of Continuing similar arguments, we conclude that any real solution (C 12 , . . ., C 34 ) satisfies This proves that the real vectors (C 12 , . . ., For any 0 ≤ a < ∞, there exists a particular solution for the system of equations To find other real solutions for the system of equations P 1 = • • • = P 6 = 0, 2 ≤ a < ∞, we introduce an analytic function c 14 = c 14 (a) on the interval 2 ≤ a < ∞ by defining for 2 ≤ a ≤ α, and where the constant α is defined by which is numerically approximated by 3.83598.We find that c 14 (2) = c 14 (α) = 0.Then, for 2 ≤ a < ∞, the solutions of the remaining entries of the system of equations are given by and the real conjugates It is not so hard to find the analytic functions given by ( 5)-( 8) or the analytic functions given by ( 9)-( 12) satisfying six simultaneous equations P j = 0 in Lemma 1.The presentation of these functions here is rather a priori.In the proof of Theorem 4, we outline the process to determine some particular solutions for the system of equations In the case a = 2.One particular solution ( 4) is given by The other solutions ( 5)-( 8) and ( 9)-( 11) are all the same as Thus, the matrix S 1 = C + iB corresponding to the solution ( 13) is given by , which is permutationally similar to The matrix S 2 = C + iB corresponding to the solution ( 14) is given by Hence, the two complex symmetric matrices S for which F S (x, y, z) = F T( √ 2,1) (x, y, z) are unitarily similar.The following result can be obtained by following the argument similar to that used in Theorem 2.

Theorem 2. Let
2) be a 4 × 4 upper triangular nilpotent Toeplitz matrix.Then the complex symmetric matrix S satisfying F S (x, y, z) = F A (x, y, z) is unique up to the diagonal unitary similarity.
Next, we deal with the case a = 3 in the 4 × 4 upper triangular nilpotent Toeplitz matrix A = T( √ 2, a).In this situation, the complex symmetric matrices admitting the ternary form F A (x, y, z) are not unique up to unitary equivalence.Indeed, we show n(T( √ 2, 3)) ≥ 3.
3) be a 4 × 4 upper triangular nilpotent Toeplitz matrix.Then there exist at least three unitarily inequivalent complex symmetric matrices S such that F S (x, y, z) = F A (x, y, z).
Suppose that c 12 = c 34 and c 13 = c 24 .Then the equations P 2 = 0 and P 5 = 0 in Lemma 1 hold.To find the first solution of the system of equations in (iii) of Lemma 1, we assume that c 12 = c 34 = 1.By changing the variables the equations P 1 = 0, . . ., P 6 = 0 are expressed as 2  14 − v 2 23 + 30v 13 v 14 − 6v 13 v 23 − 48 = 0, P6 = 81v 4  13 + 90v Next, we find the second and third real solutions of the four equations P 1 = P 3 = P 4 = P 6 = 0 under the assumption that c 34 = c 12 and c 24 = c 13 .We choose c 13 = √ 7/2, and change the variable c 12 = √ 14d 12 .The four equations are rewritten as The three constructed real symmetric matrices C with entries (15), ( 18), (19) are not diagonally unitarily similar each other.Therefore, the number of unitarily inequivalent complex symmetric matrices S + C + iB satisfying F S (x, y, z) = F A (x, y, z) is at least three.So far, the authors of this paper are not able to prove that the 6 simultaneous equations P j = 0 have no inequivalent solutions other than the solutions satisfying c 12 = c 34 , c 13 = c 24 .In the case, c 12 = c 34 , c 13 = c 24 , the proof of Theorem 4 asserts that there are only three inequivalent real solutions.

Unitary Similarity
It is known that every Toeplitz matrix is unitarily similar to a complex symmetric matrix (cf [13]).Let A be an n × n Toeplitz matrix.Consider the hyperbolic ternary form F A (x, y, z), the affirmation of the Lax conjecture asserts that there exists an n × n complex symmetric matrix S such that F S (x, y, z) = F A (x, y, z).It is interesting to ask if A and S are unitarily similar.
As an immediate consequence of Theorems 2 and 3, we have the following positive answer for some Toeplitz matrices.Theorem 4. Let A = T( √ 2, a) be a 4 × 4 upper triangular nilpotent Toeplitz matrix, and let B = diag(β 1 , β 2 , β 3 , β 4 ) be the diagonal matrix with diagonal entries consisting of eigenvalues of (A).Then, for a = 1, 2, A is unitarily similar to the symmetric matrix S = C + iB, where C is a real symmetric matrix satisfying det(xC + yB + zI 4 ) = det(x (A) + y (A) + zI 4 ).
Proof of Theorem 5.It is proved in [13] that every Toeplitz matrix is unitarily similar to a complex symmetric matrix.The ternary form F A (x, y, z) is invariant under unitary similarity.The uniqueness of the symmetric matrix in Theorems 2 and 3 for the ternary F A (x, y, z) asserts the conclusion.
Let F(x, y, z) be hyperbolic ternary form.Suppose that the form F(x, y, z) is irreducible and the curve F(x, y, z) = 0 is rational.Fiedler [4] constructed a symmetric matrix S which admits the determinantal representation of F A (x, y, z).We formulate the result of Fiedler construction.Theorem 5. (cf.[4]) Let F(x, y, z) be a degree n real ternary form hyperbolic with respect to (0, 0, 1) and F(0, 0, 1) = 1.Suppose that the form F(x, y, z) is irreducible in the polynomial ring C[x, y, z], and defines a rational curve F(x, y, z) = 0 parametrized by three real polynomials x = u(s), y = v(s), z = w(s) in one variable s.Further, assume that the curve F(x, y, z) = 0 and the line x = 0 intersect at distinct n real points P j = (x, y, z) = (0, −1, β j ), with β j = 0, j = 1, 2, . . ., n.Then a complex symmetric matrix S = C + i diag(β 1 , . . ., β n ) satisfying the relation F S (x, y, z) = F(x, y, z) is given by a real symmetric matrix C = (c jk ) determined by c jj = β j F x (0, −1, β j ) F y (0, −1, β j ) , and , . . ., n, j = k, where s = Q j is the point in the parameter s-space corresponding to P j , that is, the polynomial u (s) is the derivative of u(s) with respect to s, and ∈ {+1, −1} satisfies u (Q j )v(Q j ) > 0 for all j.