Free Republic
Browse · Search
General/Chat
Topics · Post Article

Skip to comments.

A 79-year-old mathematician may have just solved an infinite dimension puzzle that's vexed theorists for decades
SPACE.com ^ | Nathan Brownlowe

Posted on 07/09/2023 1:35:35 PM PDT by nickcarraway

Mathematician Per Enflo, who solved a huge chunk of the 'invariant subspaces problem' decades ago, may have just finished his work.

This article was originally published at The Conversation. The publication contributed the article to Space.com's Expert Voices: Op-Ed & Insights.

Nathan Brownlowe, Senior Lecturer in the School of Mathematics and Statistics at the University of Sydney.

Two weeks ago, a modest-looking paper 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.

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, 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.

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.

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.

black and white photograph of Per Enflo holding a basket with a goose inside.

In 1972, Per Enflo (right) collected the prize of a live goose from Polish mathematician Stanislaw Mazur (left) for solving a particularly difficult problem. (Image credit:The original uploader was Stako at Polish Wikipedia., Public domain, via Wikimedia Commons) 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

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”.

Diagram of a detailing that a vector is an eigenvector of the matrix.

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

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 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 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. 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.

This article is republished from The Conversation under a Creative Commons license. Read the original article.

Follow all of the Expert Voices issues and debates — and become part of the discussion — on Facebook and Twitter. The views expressed are those of the author and do not necessarily reflect the views of the publisher. Follow us on Twitter @Spacedotcom or on Facebook.


TOPICS: Astronomy; Computers/Internet; Education; Science
KEYWORDS: astronomy; banachspace; banachspaces; geometry; hilbertspaces; invariantsubspace; jigsawpuzzle; mathematics; perenflo; physics; science; stringtheory
Navigation: use the links below to view more comments.
first previous 1-2021-4041-49 next last
To: dfwgator

21 posted on 07/09/2023 1:57:45 PM PDT by 4Liberty (Dems loot & riot -called "protesting" by media. Repub's protest -called "looting & rioting" by media)
[ Post Reply | Private Reply | To 3 | View Replies]

To: dfwgator

Where do find this stuff ?:-)


22 posted on 07/09/2023 1:58:33 PM PDT by rdcbn1
[ Post Reply | Private Reply | To 14 | View Replies]

To: nickcarraway

Read somewhere that at the beginning of world war two, they often had musician work as code breakers. Guess there is an some sort of connection.


23 posted on 07/09/2023 1:59:52 PM PDT by mware
[ Post Reply | Private Reply | To 1 | View Replies]

To: dfwgator

24 posted on 07/09/2023 2:00:20 PM PDT by windsorknot
[ Post Reply | Private Reply | To 3 | View Replies]

To: nickcarraway

Seriously, how many people in a thousand understood that article?


25 posted on 07/09/2023 2:13:20 PM PDT by Bookshelf
[ Post Reply | Private Reply | To 1 | View Replies]

To: rdcbn1

Lower than gutter humor?


26 posted on 07/09/2023 2:17:12 PM PDT by Secret Agent Man (Gone Galt; not averse to Going Bronson.)
[ Post Reply | Private Reply | To 8 | View Replies]

To: rdcbn1

figured it was the common denominator


27 posted on 07/09/2023 2:40:17 PM PDT by Gene Eric (Don't be a statist!)
[ Post Reply | Private Reply | To 8 | View Replies]

To: nickcarraway

You know what’s weird?

If 10 + 10 is Twenty

Then how can 11 + 11 be twenty too?


28 posted on 07/09/2023 2:47:26 PM PDT by Sarcazmo (I live by the Golden Rule. As applied by others; I'm not selfish.)
[ Post Reply | Private Reply | To 1 | View Replies]

To: spokeshave
You have to confider the sun on squaw on a hippopotamus. But that only applies for light angels...
29 posted on 07/09/2023 2:51:57 PM PDT by fhayek
[ Post Reply | Private Reply | To 18 | View Replies]

To: Bookshelf

Articles about mathematicians are ten orders of magnitude more boring than actual math.


30 posted on 07/09/2023 3:14:10 PM PDT by Delta 21 (MAGA Republican is my pronoun.)
[ Post Reply | Private Reply | To 25 | View Replies]

Thats crazy. Just last night I was sitting around and asked chatGPT this exact question and it churned the answer out in 4.8 seconds


31 posted on 07/09/2023 3:23:27 PM PDT by dsrtsage ( Complexity is just simple lacking imagination)
[ Post Reply | Private Reply | To 17 | View Replies]

To: nickcarraway

If you add an acceleration factor along the vector ‘s direction, the Hilbert space is twisted, causing part of the matrix to curve? The matrix becomes non-linear which produces a space warp that can be applied to gravitational equations?


32 posted on 07/09/2023 3:26:18 PM PDT by bunkerhill7 (Don't shoot until you see the whites of their lies)
[ Post Reply | Private Reply | To 1 | View Replies]

To: nickcarraway

Hey - that’s my new kitchen layout!


33 posted on 07/09/2023 3:50:53 PM PDT by 1FreeAmerican
[ Post Reply | Private Reply | To 1 | View Replies]

To: dfwgator

There is a formula for that-unfortunately, I forgot where I put my machinist’s Handbook…


34 posted on 07/09/2023 3:55:51 PM PDT by telescope115 (I NEED MY SPACE!!! 🔭)
[ Post Reply | Private Reply | To 3 | View Replies]

To: bunkerhill7

I like Ω made π


35 posted on 07/09/2023 3:56:32 PM PDT by spokeshave (Proud Boys, Angry Dads and Grumpy Grandads.)
[ Post Reply | Private Reply | To 32 | View Replies]

To: bunkerhill7

A few years before Google, I solved for eigenvectors. I wasn’t sure why though. I couldn’t see any money in it let alone $25B.


36 posted on 07/09/2023 4:22:38 PM PDT by scrabblehack
[ Post Reply | Private Reply | To 32 | View Replies]

To: nickcarraway
I have not worked through Enflo’s preprint line by line.

Dang! Me neither.

37 posted on 07/09/2023 4:24:23 PM PDT by itsahoot (Many Republicans are secretly Democrats, no Democrats are secretly Republicans. Dan Bongino.)
[ Post Reply | Private Reply | To 1 | View Replies]

To: nickcarraway

I’m kind of a math genius myself. Teacher told me pi r square. I told her pie are round cornbread are square!


38 posted on 07/09/2023 4:26:15 PM PDT by 2nd Amendment
[ Post Reply | Private Reply | To 1 | View Replies]

To: 2nd Amendment

sorry posted already but I do know that a polygon is a dead parrot!


39 posted on 07/09/2023 4:27:32 PM PDT by 2nd Amendment
[ Post Reply | Private Reply | To 38 | View Replies]

To: 2nd Amendment
Some years ago I worked out the relationship between a pumpkin's diameter and its circumference. It's...wait for it...pumpkin pi!

I'll be here all week...

40 posted on 07/09/2023 4:34:24 PM PDT by Billthedrill
[ Post Reply | Private Reply | To 39 | View Replies]


Navigation: use the links below to view more comments.
first previous 1-2021-4041-49 next last

Disclaimer: Opinions posted on Free Republic are those of the individual posters and do not necessarily represent the opinion of Free Republic or its management. All materials posted herein are protected by copyright law and the exemption for fair use of copyrighted works.

Free Republic
Browse · Search
General/Chat
Topics · Post Article

FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson