Searcharxiv⌕ Search

arXiv subjects

Gonzalo Cao-Labora

Publications and source records attributed to Gonzalo Cao-Labora.

12 recordsLinked to original sources
arXiv2026

Inhomogeneous Einstein metrics on complex projective spaces

The only Einstein metrics currently known on complex projective spaces are homogeneous: the Fubini-Study metric, arising via the Hopf fibration; and, in odd complex dimensions, Ziller's metric, obtained as a canonical variation along the twistor fibration over the quaternionic projective space. In 1965, Berger proved that the Fubini-Study metric is the unique Kähler-Einstein metric on the complex projective space, and posed the question of whether other Einstein metrics exist. We construct the first inhomogeneous Einstein metrics on complex projective spaces of complex dimension $n$ for $3\leq n \leq 7$, answering Berger's question affirmatively for the complex even dimensional cases $n=4$ and $n=6$.

math.DG↗
arXiv2026

Counterexamples to Schiffer's Conjecture

The Schiffer conjecture states that if a smooth domain $Ω\subset \mathbb{R}^n$ admits a Neumann eigenfunction of the Laplacian which is constant at the boundary, then the domain is a ball. It is intimately related to Pompeiu's problem, stating that if a nonzero function integrates zero over any rigid motion of $Ω$, then $Ω$ is a ball. We disprove both conjectures in $\mathbb{R}^2$, constructing infinitely many planar domains $Ω$ which are not balls and satisfy the conditions above. Our domains are $N$-fold symmetric, with $N$ sufficiently large. Our approach is based on a novel strategy of considering a relaxed problem where $N$ can be any real number (which corresponds to the Schiffer problem only when $N$ is a natural number). We then apply bifurcation theory to this relaxed problem, showing that the size of the local bifurcation branch can be taken independently of $N$. This result allows us to conclude that branches starting with $N$ sufficiently close to an integer reach integer values of $N$.

math.AP↗
arXiv2026

Instability of two-dimensional Taylor-Green Vortices

For a wide class of linear Hamiltonian operators we develop a general criterion that characterizes the unstable eigenvalues as the zeros of a holomorphic function given by the determinant of a finite-dimensional matrix. We apply the latter result to prove the spectral instability of the Taylor-Green vortex in two-dimensional ideal fluids. The linearized Euler operator at this steady state possesses different invariant subspaces, within which we apply our criterion to rule out or detect instabilities. We show linear stability of odd perturbations, for which the unstable spectrum can appear only on the real axis. We exclude this possibility by applying our stability criterion. Real instabilities, instead, exist and can be detected with the same criterion if we consider suitable rescalings of the Taylor-Green vortex. In the subspace of functions even in both variables, the problem is reduced to finding a single complex root of our stability function. We successfully locate this value by combining our general criterion with a rigorous computer-assisted argument. As a consequence, we fully characterize the unstable spectrum of the Taylor-Green vortex.

math.AP↗
arXiv2025

A contractible Schiffer counterexample on the half-sphere

We show the existence of a family of nontrivial smooth contractible domains on the sphere that admit Neumann eigenfunctions of the Laplacian which are constant on the boundary. These domains are contained on the half-sphere, in stark contrast with the rigidity literature for Serrin-type problems. The proof relies on a local bifurcation argument around the family of geodesic disks centered at the north pole. We combine the use of anisotropic Hölder spaces for the functional setting with computer-assisted techniques to check the bifurcation conditions.

math.AP↗
arXiv2025

Discovery of Unstable Singularities

Whether singularities can form in fluids remains a foundational unanswered question in mathematics. This phenomenon occurs when solutions to governing equations, such as the 3D Euler equations, develop infinite gradients from smooth initial conditions. Historically, numerical approaches have primarily identified stable singularities. However, these are not expected to exist for key open problems, such as the boundary-free Euler and Navier-Stokes cases, where unstable singularities are hypothesized to play a crucial role. Here, we present the first systematic discovery of new families of unstable singularities. A stable singularity is a robust outcome, forming even if the initial state is slightly perturbed. In contrast, unstable singularities are exceptionally elusive; they require initial conditions tuned with infinite precision, being in a state of instability whereby infinitesimal perturbations immediately divert the solution from its blow-up trajectory. In particular, we present multiple new, unstable self-similar solutions for the incompressible porous media equation and the 3D Euler equation with boundary, revealing a simple empirical asymptotic formula relating the blow-up rate to the order of instability. Our approach combines curated machine learning architectures and training schemes with a high-precision Gauss-Newton optimizer, achieving accuracies that significantly surpass previous work across all discovered solutions. For specific solutions, we reach near double-float machine precision, attaining a level of accuracy constrained only by the round-off errors of the GPU hardware. This level of precision meets the requirements for rigorous mathematical validation via computer-assisted proofs. This work provides a new playbook for exploring the complex landscape of nonlinear partial differential equations (PDEs) and tackling long-standing challenges in mathematical physics.

math.AP↗
arXiv2025

Non-radial implosion for compressible Euler and Navier-Stokes in $\mathbb{T}^3$ and $\mathbb{R}^3$

In this paper we construct smooth, non-radial solutions of the compressible Euler and Navier-Stokes equation that develop an imploding finite time singularity. Our construction is motivated by the works [Merle, Raphaël, Rodnianski, and Szeftel, Ann. of Math., 196(2):567-778, 2022, Ann. of Math., 196(2):779-889, 2022], [Buckmaster, Cao-Labora, and Gómez-Serrano, arXiv:2208.09445, 2022], but is flexible enough to handle both periodic and non-radial initial data.

math.AP↗
arXiv2025

Smooth imploding solutions for 3D compressible fluids

Building upon the pioneering work [Merle, Raphaël, Rodnianski, and Szeftel, Ann. of Math., 196(2):567-778, 2022, Ann. of Math., 196(2):779-889, 2022, Invent. Math., 227(1):247-413, 2022] we construct exact, smooth self-similar imploding solutions to the 3D isentropic compressible Euler equations for ideal gases for all adiabatic exponents $γ>1$. For the particular case $γ=\frac75$ (corresponding to a diatomic gas, e.g. oxygen, hydrogen, nitrogen), akin to the previous result, we show the existence of a sequence of smooth, self-similar imploding solutions. In addition, we provide simplified proofs of linear stability and non-linear stability, which allow us to construct asymptotically self-similar imploding solutions to the compressible Navier-Stokes equations with density independent viscosity for the case $γ=\frac75$. Moreover, the solutions constructed have density bounded away from zero and converge to a constant at infinity, representing the first example of singularity formation in such a setting.

math.AP↗
arXiv2025

A note on the existence of self-similar profiles of the hydrodynamic formulation of the focusing nonlinear Schrödinger equation

After performing the Madelung transformation, the nonlinear Schrödinger equation is transformed into a hydrodynamic equation akin to the compressible Euler equations with a certain dissipation. In this short note, we construct self-similar solutions of such system in the focusing case for any mass supercritical exponent. To the best of our knowledge these solutions are new, and may formally arise as potential blow-up profiles of the focusing NLS equation.

math.AP↗
arXiv2025

Low regularity analysis of the Zakharov--Kuznetsov equation on $\mathbb{R} \times \mathbb{T}$

We consider the Cauchy problem for the Zakharov-Kuznetsov equation in the cylinder. We improve the local wellposedness to spaces of regularity $s > 1/2$. The result is optimal in terms of the corresponding bilinear estimate or Picard iteration. Our method is based on an improvement of the understanding of the resonant set, identifying and exploiting its particular geometric properties. We also consider the problem under randomization of the initial data, in which case we obtain solutions for generic data in $H^{s}$ for some $s < 0$. To do so, we consider a novel approach based on lower regularity modifications of the classical $X^{s, b}$ spaces that allow to control concentration of mass in small sets of frequencies.

math.AP↗
arXiv2023

Smooth self-similar imploding profiles to 3D compressible Euler

The aim of this note is to present the recent results in [Buckmaster, Cao-Labora, Gómez-Serrano, arXiv:2208.09445, 2022], concerning the existence of "imploding singularities" for the 3D isentropic compressible Euler and Navier-Stokes equations. Our work builds upon the pioneering work of Merle, Raphaël, Rodnianski, and Szeftel [Merle, Raphaël, Rodnianski, and Szeftel, Ann. of Math., 196(2):567-778, 2022, Ann. of Math., 196(2):779-889, 2022, Invent. Math., 227(1):247-413, 2022] and proves the existence of self-similar profiles for all adiabatic exponents $γ>1$ in the case of Euler; as well as proving asymptotic self-similar blow-up for $γ=\frac75$ in the case of Navier-Stokes. Importantly, for the Navier-Stokes equation, the solution is constructed to have density bounded away from zero and constant at infinity, the first example of blow-up in such a setting. For simplicity, we will focus our exposition on the compressible Euler equations.

math.AP↗
arXiv2019

An Erdős--Fuchs Theorem for Ordered Representation Functions

Let $k\geq 2$ be a positive integer. We study concentration results for the ordered representation functions $r^{\leq}_k(A,n) = \# \big\{ (a_1 \leq \dots \leq a_k) \in A^k : a_1+\dots+a_k = n \big\}$ and $r^{<}_k(A,n) = \# \big\{ (a_1 < \dots < a_k) \in A^k : a_1+\dots+a_k = n \big\}$ for any infinite set of non-negative integers $A$. Our main theorem is an Erdős--Fuchs-type result for both functions: for any $c > 0$ and $\star \in \{\leq,<\}$ we show that $$\sum_{j = 0}^{n} \Big( r^{\star}_k(A,j) - c \Big) = o\big(n^{1/4} \log^{-1/2}n \big)$$ is not possible. We also show that the mean squared error $$E^\star_{k,c}(A,n)=\frac{1}{n} \sum_{j = 0}^{n} \Big( r^{\star}_k(A,j) - c \Big)^2$$ satisfies $\limsup_{n \to \infty} E^\star_{k,c}(A,n)>0$. These results extend two theorems for the non-ordered representation function proved by Erdős and Fuchs in the case of $k=2$ (J. of the London Math. Society 1956).

math.NT↗