7 papers
Banach lattices and phase retrieval: A case study for the use of AI in mathematics
Jaume de Dios Pont, Lukas Liehr, David Muñoz-Lahoz +2
The ability of large language models to assist professional mathematicians has been progressing rapidly. Earlier this year, a group of researchers in Banach lattice theory and phas…
The Banach lattice Lean library
David Muñoz-Lahoz
We present a Lean 4 library for the theory of Banach lattices. Its purpose is to support the systematic formalization of contemporary research in Banach lattices and related areas.…
Lattice-ordered algebras admitting a polynomial growth continuous function calculus
David Muñoz-Lahoz
We characterize the Archimedean lattice-ordered algebras with identity that admit a polynomial growth continuous function calculus. More precisely, for an -tuple $\mathbf{x}=(x_…
Wickstead's conjecture on positive projections and non-representable Banach lattice algebras
David Muñoz-Lahoz, David Muñoz-Lahoz
Let be a Dedekind complete Banach lattice, and let be a positive projection for which the largest central operator below is , for som…
Free Banach -algebras
David Muñoz-Lahoz, Pedro Tradacete
We construct and analyze the free Banach -algebra generated by a Banach space , extending recent developments on free Banach lattices to the…
-algebra products on AL and AM-spaces
David Muñoz-Lahoz
We characterize all -algebra products on AM-spaces by constructing a canonical AM-space associated to each AM-space , such that the -algebra products on correspo…