On the elliptical range theorems for the Davis-Wielandt shell, the numerical range, and the conformal range

This paper presents various elementary approaches to elliptical range theorems for the Davis-Wielandt shell, numerical range, and conformal range, focusing on their quadratic representations.

The Gist

Imagine you have a mysterious machine (a mathematical object called a matrix) that takes in a vector (an arrow) and spits out a new, transformed arrow.

Mathematicians have long been fascinated by asking: "If I feed this machine every possible arrow, what kind of shape do the resulting arrows make?"

This paper, written by Gyula Lakos, is like a master cartographer drawing detailed maps of these shapes. It focuses on three specific "territories" or shapes that these machines create, specifically when the machine is small (a $2 \times 2$ grid of numbers).

Here is the breakdown of the paper's journey, explained through everyday analogies.

1. The Three Territories: What are we mapping?

The paper studies three different ways to visualize the output of our machine. Think of them as three different camera lenses looking at the same object:

• The Numerical Range (The 2D Shadow): This is the simplest view. Imagine shining a light on your machine's output and looking at the shadow it casts on a flat wall. This shadow is always an ellipse (an oval) or a line segment. It tells you the "average" behavior of the machine.
• The Davis-Wielandt Shell (The 3D Bubble): This is a richer view. Instead of just a flat shadow, imagine the machine's output floating in 3D space. The paper shows that this shape is always a 3D ellipsoid (like a rugby ball or a squashed sphere). It contains more information than the 2D shadow.
• The Conformal Range (The Curved Map): This is the most exotic view. It projects the 3D bubble onto a curved surface (like the surface of the Earth or a saddle). In this "hyperbolic" world, the shapes look like circles, ellipses, or even "distance bands" (like a strip of land between two parallel lines).

2. The Big Discovery: The "Elliptical Range Theorems"

The core of the paper is proving that no matter how weird your machine is, these shapes are always elliptical.

• The Analogy: Imagine you have a bag of clay. You can squish it, stretch it, or twist it (mathematically, you can change the machine's numbers). But no matter what you do, if you look at the resulting shape from these three specific angles, it will always be an ellipse or a variation of one. It never turns into a square or a star.

3. The "Quadratic" Secret Sauce

How does the author prove this? He uses quadratic equations.

• The Metaphor: Think of a quadratic equation as a recipe for a shape. If you have the right ingredients (numbers derived from the machine), you can bake an exact ellipse.
• The Problem: For a long time, mathematicians knew these shapes were ellipses, but they didn't have a perfect, simple recipe (equation) for them, especially when the machine was "normal" (a very symmetrical, boring machine) versus "non-normal" (a chaotic, twisting machine).
• The Solution: This paper provides the exact recipes (the quadratic matrices) for all three shapes. It's like giving you the precise coordinates to draw the boundary of the shadow, the bubble, and the curved map for any $2 \times 2$ machine.

4. The "Normal" vs. "Non-Normal" Twist

The paper spends a lot of time distinguishing between two types of machines:

• Normal Machines: These are well-behaved. Their shapes are simple (like a flat line or a perfect circle). The paper shows that for these, the "recipe" can sometimes lose information (like a blurry photo).
• Non-Normal Machines: These are the chaotic ones. They twist and turn. Their shapes are full, 3D bubbles. The paper argues that for these machines, the "dual" recipe (looking at the tangent planes instead of the shape itself) is actually more faithful and doesn't lose any details.

Analogy: Imagine taking a photo of a spinning top.

• If the top is spinning perfectly straight (Normal), the photo might just look like a blurry circle, and you can't tell how fast it's spinning.
• If the top is wobbling wildly (Non-Normal), the photo captures the full, complex motion. The paper gives you the tools to decode that wobble perfectly.

5. Why Does This Matter? (The "So What?")

You might ask, "Who cares about ellipses and 3D bubbles?"

• Geometry meets Algebra: The paper bridges two worlds. It takes abstract algebra (matrices) and turns it into concrete geometry (shapes you can draw).
• The "Five Data" Rule: The author shows that you only need five specific numbers from the machine to completely describe its shape. It's like saying, "If I give you the height, width, and three other measurements of a box, I can tell you exactly what the box looks like from any angle."
• Reconstruction: The paper even solves the reverse problem. If you are handed the shape (the ellipse or bubble), can you figure out what the machine was? The author says yes, but sometimes you need to solve a tricky cubic equation (a math puzzle) to get the answer.

Summary in One Sentence

This paper is a comprehensive guide that proves the output of any small mathematical machine always forms a perfect ellipse (in 2D, 3D, or curved space) and provides the exact mathematical formulas to draw these shapes, acting as a bridge between abstract numbers and tangible geometry.

The "Takeaway" for a General Audience:
Just as a shadow always reveals the outline of an object, this paper reveals that the chaotic behavior of complex mathematical systems always hides a beautiful, predictable, elliptical order underneath. The author has finally written down the exact instructions to draw that order.

Technical Summary

Technical Summary: On the Elliptical Range Theorems for the Davis–Wielandt Shell, the Numerical Range, and the Conformal Range

Author: Gyula Lakos
Subject: Linear Algebra, Operator Theory, Hyperbolic Geometry, Quadratic Forms

1. Problem Statement

The paper addresses the characterization of the ranges of $2 \times 2$complex matrices, specifically focusing on three distinct geometric objects associated with a linear operator$A$ on a Hilbert space:

1. The Davis–Wielandt Shell ($DW(A)$): A subset of hyperbolic 3-space (represented in Beltrami–Cayley–Klein or parabolic Cayley–Klein models).
2. The Numerical Range ($W(A)$): A subset of the complex plane (identified with $\mathbb{R}^2$), representing the set of values $\langle Ax, x \rangle / \langle x, x \rangle$.
3. The Conformal Range ($DWR(A)$): A subset of the hyperbolic plane, related to the "real" Davis–Wielandt shell.

While the qualitative "Elliptical Range Theorem" (that these sets are elliptical disks or degenerate variants) is well-known, this paper aims to provide explicit quadratic equations (quadrics) defining these sets. The author seeks to unify the treatment of these ranges, expose elementary analytic geometry approaches, and clarify the relationship between the algebraic properties of the matrix (specifically its "five data") and the geometric properties of the ranges (foci, axes, radii) within the context of hyperbolic geometry.

2. Methodology

The author employs a multi-faceted approach combining linear algebra, projective geometry, and hyperbolic geometry:

• Quadratic Representations: The core methodology involves deriving explicit $4 \times 4$(for shells) and$3 \times 3$(for ranges) symmetric matrices ($Q$) that define the boundary of these sets via quadratic equations$x^T Q x = 0$.
• Dual Approach (Kippenhahnian View): The paper utilizes the dual perspective, where the set of tangent planes is described by a dual matrix $G$. The relationship $Q \sim (\text{adj } G)$ is used to switch between the primal (point) and dual (tangent) descriptions.
• Projective Transformations: The author leverages the invariance of these ranges under unitary conjugation and complex/real Möbius transformations. By mapping arbitrary matrices to canonical representatives (e.g., triangular forms), the author derives general formulas.
• Schur Reduction and Elimination: To derive the equations for the Numerical and Conformal ranges from the Davis–Wielandt shell, the paper uses Schur reduction (eliminating variables) and discriminant analysis of the quadratic forms.
• Hyperbolic Geometry Models: The analysis is conducted within the Beltrami–Cayley–Klein (BCK) and parabolic Cayley–Klein (pCK) models of hyperbolic space, utilizing projective coordinates to handle asymptotic points and ideal boundaries.

3. Key Contributions

A. Explicit Quadratic Equations

The paper provides closed-form matrix representations for the boundaries of all three ranges for any $2 \times 2$complex matrix$A$.

• Davis–Wielandt Shell: The matrix $Q_{pCK}(A)$ is decomposed into a "basic" part (related to the model geometry) and a "spectral" part (dependent on the trace and determinant of $A$).
• Numerical Range: The matrix $Q_W(A)$ is derived as a Schur complement of the shell's matrix. The paper clarifies that while $Q_W(A)$ loses information in the normal case (degenerating to a line), the dual matrix $G_W(A)$ retains full spectral information.
• Conformal Range: The matrix $Q_R(A)$ is derived via projection of the shell or by applying the numerical range theorem to the operator $DR(A) = \frac{A+A^*}{2} + iA^*A$.

B. The "Five Data" and Invariants

The author formalizes the concept of "Five Data" for a $2 \times 2$ matrix:
$$\text{Re}(\text{tr} A), \quad \text{Im}(\text{tr} A), \quad \text{Re}(\det A), \quad \text{Im}(\det A), \quad \text{tr}(A^*A)$$
The paper proves that these five quantities completely determine the ranges up to unitary conjugation. Furthermore, it introduces "Reduced Five Data" for the Conformal Range, showing that the Conformal Range is determined by a subset of the full data.

C. Hyperbolic Geometric Interpretation

The paper provides a synthetic geometric interpretation of the ranges:

• Foci: The eigenvalues of $A$ act as foci (or asymptotic points) for the elliptical ranges.
• Axes and Radii: Explicit formulas are given for the hyperbolic semi-axes ($s_+, s_-$) and the hyperbolic radius of the "tube" (for the shell) in terms of the invariants $U_A$ (metric discriminant) and $D_A$ (spectral discriminant).
• Classification: The paper classifies the shapes of the ranges (ellipses, segments, horodisks, elliptic parabolas) based on the spectral type of $A$ (normal vs. non-normal, parabolic vs. non-parabolic, real vs. complex eigenvalues).

D. Reconstruction and Information Loss

A significant contribution is the analysis of information loss:

• Normal Matrices: When $A$ is normal, the quadratic matrix $Q$ for the Numerical and Conformal ranges degenerates (rank drops), losing information about the "thickness" of the range (which becomes a segment or point). However, the dual matrix $G$ remains non-degenerate and faithful.
• Reconstruction: The paper discusses the inverse problem: recovering the matrix $A$ (or its five data) from the range. It demonstrates that while the eigenvalues can be recovered from the range, recovering the full matrix (specifically distinguishing between quasi-elliptic and quasi-hyperbolic cases) may require solving cubic equations, indicating that the range does not always uniquely determine the matrix without additional spectral constraints.

4. Key Results

1. Theorem 2.4 & 2.5: The Davis–Wielandt shell is defined by a quadratic equation with matrix $Q_{pCK}(A)$. The eigenvalues of the associated pencil determine the hyperbolic radius of the shell: $r = \frac{1}{2} \text{arcosh}(U_A / |D_A|)$.
2. Theorem 3.1 & 3.6: The Numerical Range $W(A)$ is an elliptical disk with foci at the eigenvalues. The semi-axes are $s_{\pm} = \sqrt{(U_A \pm |D_A|)/2}$. The paper provides the explicit matrix $Q_W(A)$ and its dual $G_W(A)$.
3. Theorem 5.4 & 5.26: The Conformal Range is an h-ellipse (or degenerate variant) in the hyperbolic plane. Its geometry is governed by the invariants $U_A, |D_A|,$ and a new invariant $E_A$ (related to the real/imaginary parts of eigenvalues). The major and minor semi-axes are given by explicit formulas involving $\text{arcosh}$ of ratios of these invariants.
4. Transformation Laws: The paper establishes how the matrices $Q$ and $G$ transform under Möbius transformations, showing that the ratios of their eigenvalues are invariant under these transformations.

5. Significance

• Unification: The paper unifies the study of the Numerical Range, Davis–Wielandt Shell, and Conformal Range under a single framework of quadratic forms in hyperbolic geometry.
• Elementary Approach: It demonstrates that deep results in operator theory can be derived using elementary analytic geometry and projective transformations, avoiding heavy functional analysis machinery.
• Computational Utility: By providing explicit matrix formulas, the paper offers practical tools for computing the shape, size, and position of these ranges for any given $2 \times 2$ matrix.
• Geometric Insight: It clarifies the geometric nature of "non-normality" as a "thickening" of the spectral axis into a hyperbolic tube or ellipse, quantifying this thickness via the metric discriminant $U_A$.
• Dual Perspective: The emphasis on the dual matrix $G$ highlights that while the primal quadratic form may degenerate for normal matrices, the dual representation preserves the full spectral information, offering a more robust characterization of the operator's range.

In summary, Gyula Lakos provides a comprehensive, geometrically grounded, and computationally explicit treatment of the elliptical range theorems, bridging the gap between abstract operator theory and concrete hyperbolic geometry.