I’ve written a number of posts about **four-dimensional Euclidean space**, usually in the context of one of my favorite geometrical objects, the **tesseract**. I’ve also mentioned 4D Euclidean spaces as just one of many possible multi-dimensional parameter spaces. In both cases, the familiar 2D and 3D spaces generalize to additional dimensions.

This post explores a specialized 4D space that uses complex numbers along each axis of a 2D nominally Euclidean space. Each **X** & **Y** coordinate has two degrees of freedom, a *magnitude* and a *phase*. This doesn’t make 4D spaces easier to visualize, but it can offer a useful way to think about them.

It also connects back to something I wrote about in my QM-101 series.

Let’s start with a quick review of complex numbers, the complex plane, and why complex numbers are so useful. Firstly, an ** imaginary number** is a multiple of

**, the**

*i***, the seemingly impossible square root of**

*imaginary unit***-1**.

So an *imaginary number* has the form:

Where ** r** is some real number (which may be negative). This creates a separate axis, an

*imaginary axis*, that we view as orthogonal to the real number axis. Together they create a two-dimensional Euclidean space we call the

**:**

*complex plane*A ** complex number** is an inherently two-dimensional number that represents a point on this plane. The real and imaginary parts create a value with two degrees of freedom:

The real part, ** a**, and the imaginary part,

**, each have a real number that gives the length along the respective axis. The two provide a Euclidean XY-type coordinate for the plane.**

*bi*[For more, see: *“Imaginary” Numbers* and *The Complex Plane*.]

**§**

If we treat the complex plane as a 2D *vector space*, each complex number is then a ** vector** — an “arrow” pointing from the origin to the point representing the number. Seen as a vector, a complex number has a length (

**, aka**

*magnitude**modulus*, aka

*absolute value*) and an angle (

**). Viewing complex numbers as vectors links multiplication to rotation, and rotation is linked to general wave mechanics through**

*argument**sine waves*and spinning things.

One way to write a complex number that reflects its argument and magnitude uses basic trigonometry:

Where *eta* (** η**) is the magnitude and

*theta*(

**) is the angle. Given a complex number in coordinate form,**

*θ***=(**

*z***+**

*a***), we can derive both**

*bi**eta*and

*theta*:

(In fact, deriving *theta* is a tiny bit more complicated because the effective range of the arctan function is only -90° through +90°. There is a function, *atan2*, with a full 360° range, but it’s not a standard trigonometric function.)

And because of Euler’s formula [see: *Beautiful Math*]…

…we can also use the exponential form [see: *Circular Math* and *The exp Function*]:

Where *eta* and *theta* are, respectively, the magnitude and angle (argument). The exponential form makes working with the math a lot easier.

In summary:

All four forms can express the same complex number.

The main point is that, whether it be the rectangular coordinates, ** a** &

**, or the angular values,**

*b***&**

*η***, a complex number has two values — two degrees of freedom.**

*θ***§ §**

What if we create a (nominally) Euclidean space using complex number axes rather than ones with real numbers? Each axis then has two degrees of freedom. A point located in such a space has *twice* as many coordinates as a point located in a Euclidean space that uses real number axes.

In two dimensions we might notate the difference like this:

Each axis has a magnitude and an angle (or phase). I like to think of it as *twist*.

One characteristic is that points that share a physical location — points with the same ** x** &

**coordinates — can differ in having different twist coordinates.**

*y*Note that there are no degeneracy issues with a point having multiple twists (one per axis). On the Earth, for example, a longitude *coordinate* has no meaning at the poles — it degenerates there. But standing on either pole one can meaningfully *face* along any line of longitude, so your *twist* at the poles still has meaning.

**§**

As I mentioned at the start, this doesn’t make 4D graphics any easier, but it might provide another way to think about a space with four coordinates. We just need to visualize a 2D X-Y graph and then give points on it a twist on each axis.

(We can imagine the points as small balls that rotate on each axis. Alternately — and I prefer this one — if we imagine the point suspended by rods representing each axis, then it’s the *rods* that twist. I prefer this one because, in the 2D case, it keeps straight which two axes twist among the three axes a point-ball could rotate on. Obviously that’s a moot point in dimensions higher than two.)

The idea extends to Euclidean 3D, with three axes and three twists, so each point has six coordinates. As with regular Euclidean spaces, the notion extends beyond 3D to as many axes as required, but obviously that takes things into *impossible to visualize* territory again.

This notion of axes with twist helps understand how a nominally Euclidean space can have complex axes — something allowed in the Hilbert spaces used in quantum mechanics. I got to thinking about it while considering the Bloch sphere and qubit quantum states.

(I should probably mention here that this “twisted axes” notion is *not* a Hilbert space. I’ll get back to that below, but it’s mainly due to it not having an inner product.)

**§**

As I discussed in the Bloch sphere post, a qubit superposition implies four degrees of freedom…

…because the coefficients of the superposed states are complex numbers, each with two degrees of freedom. We might diagram the unconstrained pair of complex numbers like this:

Each has two degrees of freedom (which can be expressed as rectangular or angular coordinates).

The implied four degrees get reduced to two degrees because the absolute squares of those coefficients must sum to one. We can implement this by requiring that both complex numbers define points that lie on the complex *unit circle* (the centered circle with a radius of one):

Since the magnitude is always one, it is no longer a degree of freedom. This leaves only the angle of the complex number. In terms of the angular representation, we’ve effectively removed *eta*, the vector’s length coefficient. This slightly simplifies their representations:

While the rectangular representation, (** a**+

**), still appears to have two degrees of freedom, its**

*bi***&**

*a***are constrained as described above. These angular representations now only have the single parameter,**

*b**theta*.

These two angles from two complex numbers can then become the angles *theta*, (** θ**), and

*phi*, (

**), that specify the quantum state in the Bloch sphere. [see:**

*φ**QM 101: Bloch Sphere*]

Note that the coefficients of the *superposition* (as opposed to a quantum state represented by the Bloch sphere) are further constrained by the requirement their absolute squares sum to one. So this piece illustrates only how degrees of freedom are constrained by requiring a magnitude of one. As coefficients in a superposition, we could have something like this:

If both parts are equally likely, or like this:

If the odds were 25% and 75% respectively. (In both cases, the exponential term provides a relative phase for the superposition.)

(Getting down into the weeds, in the Bloch sphere, a * pure quantum state* is a point on (or more technically, a vector to) the sphere’s surface (the sphere has a radius of one; the vector has a length of one). A

*is a point*

**mixed**quantum state*inside*the sphere, and such states cannot be represented by a superposition; they require a

*density matrix*to describe.)

**§ §**

To wrap things up, a few last details:

If we specify Euclidean spaces using *real numbers* as:

Where the exponent is the number of dimensions, then we specify Euclidean spaces using *complex numbers* as:

Note the “blackboard” font used to denote the set of all *real numbers*, ℝ, and the set of all *complex numbers*, ℂ. The font also denotes the set of all *natural numbers*, ℕ and the set of all *integers*, ℤ. They have Unicode code points u211D, u2102, u2115, and u2124, respectively (values are in hexadecimal).

If these spaces have an appropriate *inner product* defined, they are *Hilbert spaces*. (Denoted by ℍ — codepoint u210D.) As already mentioned, the “twisted axes” notion I described, because it uses magnitude-twist pairs, do not have a workable inner product, and is not a Hilbert space.

**§ §**

As a final observation, the rectangular form of a complex number specifies a specific point on the complex plane, but the angular forms imply a transformation — specifically a rotation. This is especially obvious in the trigonometric form:

The angle, *theta* (** θ**), through the sine and cosine functions, specify a point on the unit circle that can be scaled by

*eta*(

**) to any point on the plane. The exponential form does essentially the same thing:**

*η*What’s less obvious is that it’s the point (**1**, **0 i**) — the number one as a complex number — that’s rotated by

*theta*and scaled by

*eta*. In this sense, the angular forms are

*operators*on the complex plane (this is more obvious in the exponential form).

It’s a bit of overkill, but we can do the same thing using a matrix operator to specify a complex number:

This transforms the whole space, but here we only care what it does to the (complex) number one — it transforms it to whatever complex number we specify.

**§ §**

This was just a jazz riff on complex number spaces and, just maybe, an interesting way to think about them, especially with regard to a 4D space that makes sense viewed as a complex 2D space (essentially where there is some sense of “pairs” of values).

(That plus a diversion into how four degrees of freedom can be simply constrained to two by requiring points fall on the unit circle.)

Stay Euclidean, my friends! Go forth and spread beauty and light.

∇

August 6th, 2021 at 9:02 am

You well said about degeneracy and twist to understand even a layman

August 6th, 2021 at 10:59 am

Thank you!

August 6th, 2021 at 9:18 am

I like matrix operator to handle the transforms and very effective in studying logic gates so this articles are really helping me to clear my doubts Thanking you

August 6th, 2021 at 11:03 am

I’m glad you found it helpful! I kinda working with matrices and have written a number of posts about them.

August 6th, 2021 at 12:40 pm

I saw the post Nice one I can use it as a good reference Trace ,Minors,Rank all have good application in QM Thank you.

August 6th, 2021 at 12:41 pm

You’re quite welcome! Glad you found it useful!

August 6th, 2021 at 1:09 pm

As a trivial example of how working with complex numbers in the exponential form can be a bit easier than working with them in rectangular form, consider the difference between multiplying two complex numbers together.

In rectangular form:

Which reduces to:

On the other hand, using the exponential form:

Which reduces to:

Which

computationallyis:Which does seem a bit easier, although this assumes one has the numbers in exponential form to begin with. Translating a rectangular form, (

), to exponential form is:a+bi(Given certain caveats about the

`arctan`

function. Use`atan2`

if available.)August 6th, 2021 at 1:41 pm

As a less trivial example of using the exponential form:

Assuming Ψ is a pure state with a state vector with length one. But Ψ need not be a basis state; it might be a superposition of basis states:

We could extract the global phase and leave only a relative phase between the states in superposition, but let’s leave it for now and expand the bra-ket notation into matrices:

Then we can reconsider that inner product, ⟨Ψ|Ψ⟩:

Doing the matrix multiplication gives us:

Which reduces to:

The exponential terms reduce to 1 because z*z=|z|

^{2}, and both are unit vectors. Also because:This demonstrates how phase doesn’t matter when it comes to the inner product of a state vector with itself (because such phase is global to the state). Of course the relative phase between the component superposed states does matter. This shows up in the density matrix for the state, which we get from the

outer product:Expressed with matrices:

Doing the matrix multiplication gives us:

Which reduces to:

The trace adds up to 1 (as required), and the phase in the off-diagonals carries information about the coherence of the system described.

August 22nd, 2021 at 7:01 pm

A reference to phasors (not the

Star Trekkind, the math kind) makes me wonder if there might be any similarities to this 2D/4D space notion.[sigh] One more thing to queue for reading about. Along with spinors, which keep popping up in quantum mechanics with regard to (of course) spin. They are complex vectors that need to be rotated 2×360° to return to the same state. As such, they’re an excellent model for spin 1/2 particles which also need to rotate around twice to return to the same state.

Despite the use of “twist” here, no connection with actual twistor theory…

August 25th, 2021 at 7:07 am

[…] thinking about vectors that use complex numbers as components lead to the complex 2D/4D notion I posted about recently. No real connection to Jones vectors, […]