The Times Australia
The Times World News

.
The Times Real Estate

.

Has a mathematician solved the 'invariant subspace problem'? And what does that even mean?

  • Written by Nathan Brownlowe, Senior Lecturer in the School of Mathematics and Statistics, University of Sydney
Has a mathematician solved the 'invariant subspace problem'? And what does that even mean?

Two weeks ago, a modest-looking paper[1] was uploaded to the arXiv preprint server with the unassuming title “On the invariant subspace problem in Hilbert spaces”. The paper is just 13 pages long and its list of references contains only a single entry.

The paper purports to contain the final piece of a jigsaw puzzle that mathematicians have been picking away at for more than half a century: the invariant subspace problem[2].

Famous open problems often attract ambitious attempts at solutions by interesting characters out to make their name. But such efforts are usually quickly shot down by experts.

However, the author of this short note, Swedish mathematician Per Enflo[3], is no ambitious up-and-comer. He is almost 80, has made a name for himself solving open problems, and has quite a history with the problem at hand.

Per Enflo: mathematics, music, and a live goose

Born in 1944 and now an emeritus professor at Kent State University, Ohio, Enflo has had a remarkable career, not only in mathematics but also in music.

He is a renowned concert pianist who has performed and recorded numerous piano concertos, and has performed solo and with orchestras across the world.

A serious looking older man is handing a goose in a basket to a cheerful younger man.
Polish mathematician Stanislaw Mazur (left) promised a live goose to anyone who solved a particularly difficult problem. In 1972, Per Enflo collected the prize. Wikimedia[4]

Enflo is also one of the great problem-solvers in a field called functional analysis. Aside from his work on the invariant subspace problem, Enflo solved two other major problems – the basis problem and the approximation problem – both of which had remained open for more than 40 years.

By solving the approximation problem, Enflo cracked an equivalent puzzle called Mazur’s goose problem. Polish mathematician Stanisław Mazur had in 1936 promised a live goose to anyone who solved his problem – and in 1972 he kept his word, presenting the goose to Enflo.

What’s an invariant subspace?

Now we know the main character. But what about the invariant subspace problem itself?

If you’ve ever taken a first-year university course in linear algebra, you will have come across things called vectors, matrices and eigenvectors. If you haven’t, we can think of a vector as an arrow with a length and a direction, living in a particular vector space. (There are lots of different vector spaces with different numbers of dimensions and various rules.)

Read more: Explainer: the point of pure mathematics[5]

A matrix is something that can transform a vector, by changing the direction and/or length of the line. If a particular matrix only transforms the length of a particular vector (meaning the direction is either the same or flipped in the opposite direction), we call the vector an eigenvector of the matrix.

Another way to think about this is to say that the matrix transforms the eigenvectors (and any lines parallel to them) back onto themselves: these lines are invariant for this matrix. Taken together, we call these lines invariant subspaces of the matrix.

Eigenvectors and invariant subspaces are also of interest beyond just mathematics – to take one example, it has been said that Google owes its success to “the $25 billion eigenvector[6]”.

What about spaces with an infinite number of dimensions?

So that’s an invariant subspace. The invariant subspace problem is a little more complicated: it is about spaces with an infinite number of dimensions, and it asks whether every linear operator (the equivalent of a matrix) in those spaces must have an invariant subspace.

More precisely (hold onto your hat): the invariant subspace problem asks whether every bounded linear operator T on a complex Banach space X admits a non-trivial invariant subspace M of X, in the sense that there is a subspace M ≠ {0}, X of X such that T(M) is contained back in M.

Stated in this way, the invariant subspace problem was posed during the middle of last century, and eluded all attempts at a solution.

Read more: Pythagoras’ revenge: humans didn’t invent mathematics, it’s what the world is made of[7]

But as is often the case when mathematicians can’t solve a problem, we move the goalposts. Mathematicians working on this problem narrowed their focus by restricting the problem to particular classes of spaces and operators.

The first breakthrough was made by Enflo in the 1970s (although his result was not published[8] until 1987). He answered the problem in the negative, by constructing an operator on a Banach space without a non-trivial invariant subspace.

What’s new about this new proposed solution?

So what is the current status of the invariant subspace problem? If Enflo solved it in 1987, why has he solved it again?

Well, Enflo settled the problem for Banach spaces in general. However, there is a particularly important kind of Banach space called a Hilbert space, which has a strong sense of geometry and is widely used in physics, economics and applied mathematics.

Resolving the invariant subspace problem for operators on Hilbert spaces has been stubbornly difficult, and it is this which Enflo claims to have achieved.

This time Enflo answers in the affirmative: his paper argues that every bounded linear operator on a Hilbert space does have an invariant subspace.

Expert review is still to come

I have not worked through Enflo’s preprint line by line. Enflo himself is reportedly cautious[9] about the solution, as it has not yet been reviewed by experts.

Peer review of Enflo’s earlier proof, for Banach spaces in general, took several years[10]. However, that paper ran to more than 100 pages, so a review of the 13 pages of the new paper should be much speedier.

If correct, it will be a remarkable achievement, especially for someone who has already produced so many remarkable achievements over such a large span of time. Enflo’s many contributions to mathematics, and his answers to many open problems, have made a big impact on the field, generating new techniques and ideas.

I’m looking forward to finding out whether Enflo’s work now closes the book on the invariant subspace problem, and to seeing the new mathematics that may emerge out of its conclusion.

References

  1. ^ modest-looking paper (arxiv.org)
  2. ^ invariant subspace problem (en.wikipedia.org)
  3. ^ Per Enflo (perenflo.com)
  4. ^ Wikimedia (en.wikipedia.org)
  5. ^ Explainer: the point of pure mathematics (theconversation.com)
  6. ^ the $25 billion eigenvector (www.rose-hulman.edu)
  7. ^ Pythagoras’ revenge: humans didn’t invent mathematics, it’s what the world is made of (theconversation.com)
  8. ^ published (link.springer.com)
  9. ^ reportedly cautious (www.ucm.es)
  10. ^ several years (link.springer.com)

Read more https://theconversation.com/has-a-mathematician-solved-the-invariant-subspace-problem-and-what-does-that-even-mean-206859

The Times Features

Best Deals on Home Furniture Online

Key Highlights Discover the best deals on high-quality outdoor furniture online. Transform your outdoor space into a stylish and comfortable oasis. Explore a wide range of d...

Discover the Best Women's Jumpers for Every Season

Key Highlights Explore lightweight jumpers for spring and summer, ensuring breathability and ease. Wrap up warm with cozy wool jumpers for the chilly autumn and winter season...

Uncover the Elegance of Gorgeous Diamond Tennis Necklaces

Key Highlights Diamond tennis necklaces are a timeless piece of jewelry that exudes elegance and sophistication. They feature a continuous line of brilliant-cut diamonds, cre...

Dental Implants vs. Dentures: Which Is Better for You?

When it comes to replacing missing teeth, two of the most common options are dental implants and dentures. Both have their advantages and disadvantages, so choosing between them ...

What Neck Pain Really Means (And Why It’s More Than Just Poor Posture)

Neck pain is often brushed off as something temporary — a tight spot after a long day at the desk or a poor night’s sleep. But when the discomfort keeps returning, it could be a ...

The Work of Gosha Rubchinskiy: Fashion, Culture, and Youth

From Designer to Cultural Architect Gosha Rubchinskiy is not just a fashion designer—he's a cultural force. Born in Moscow in 1984, Rubchinskiy began his career in fashion in t...

Times Magazine

The Essential Guide to Transforming Office Spaces for Maximum Efficiency

Why Office Fitouts MatterA well-designed office can make all the difference in productivity, employee satisfaction, and client impressions. Businesses of all sizes are investing in updated office spaces to create environments that foster collaborat...

The A/B Testing Revolution: How AI Optimized Landing Pages Without Human Input

A/B testing was always integral to the web-based marketing world. Was there a button that converted better? Marketing could pit one against the other and see which option worked better. This was always through human observation, and over time, as d...

Using Countdown Timers in Email: Do They Really Increase Conversions?

In a world that's always on, where marketers are attempting to entice a subscriber and get them to convert on the same screen with one email, the power of urgency is sometimes the essential element needed. One of the most popular ways to create urg...

Types of Software Consultants

In today's technology-driven world, businesses often seek the expertise of software consultants to navigate complex software needs. There are several types of software consultants, including solution architects, project managers, and user experienc...

CWU Assistive Tech Hub is Changing Lives: Win a Free Rollator Walker This Easter!

🌟 Mobility. Independence. Community. All in One. This Easter, the CWU Assistive Tech Hub is pleased to support the Banyule community by giving away a rollator walker. The giveaway will take place during the Macleod Village Easter Egg Hunt & Ma...

"Eternal Nurture" by Cara Barilla: A Timeless Collection of Wisdom and Healing

Renowned Sydney-born author and educator Cara Barilla has released her latest book, Eternal Nurture, a profound collection of inspirational quotes designed to support mindfulness, emotional healing, and personal growth. With a deep commitment to ...

LayBy Shopping