• ### Rectifiability and upper Minkowski bounds for singularities of harmonic Q-valued maps(1612.01813)

April 5, 2018 math.AP
In this article we prove that the singular set of Dirichlet-minimizing $Q$-valued functions is countably $(m-2)$-rectifiable and we give upper bounds for the $(m-2)$-dimensional Minkowski content of the set of singular points with multiplicity $Q$.
• ### Lossless Analog Compression(1803.06887)

March 19, 2018 cs.IT, math.IT, math.FA
We establish the fundamental limits of lossless analog compression by considering the recovery of arbitrary m-dimensional real random vectors x from the noiseless linear measurements y=Ax with n x m measurement matrix A. Our theory is inspired by the groundbreaking work of Wu and Verdu (2010) on almost lossless analog compression, but applies to the nonasymptotic, i.e., fixed-m case, and considers zero error probability. Specifically, our achievability result states that, for almost all A, the random vector x can be recovered with zero error probability provided that n > K(x), where the description complexity K(x) is given by the infimum of the lower modified Minkowski dimensions over all support sets U of x. We then particularize this achievability result to the class of s-rectifiable random vectors as introduced in Koliander et al. (2016); these are random vectors of absolutely continuous distribution---with respect to the s-dimensional Hausdorff measure---supported on countable unions of s-dimensional differentiable manifolds. Countable unions of differentiable manifolds include essentially all signal models used in compressed sensing theory, in spectrum-blind sampling, and in the matrix completion problem. Specifically, we prove that, for almost all A, s-rectifiable random vectors x can be recovered with zero error probability from n>s linear measurements. This threshold is, however, found not to be tight as exemplified by the construction of an s-rectifiable random vector that can be recovered with zero error probability from n<s linear measurements. This leads us to the introduction of the new class of s-analytic random vectors, which admit a strong converse in the sense of n greater than or equal to s being necessary for recovery with probability of error smaller than one. The central conceptual tool in the development of our theory is geometric measure theory.
• ### Boundary regularity of mass-minimizing integral currents and a question of Almgren(1802.07496)

Feb. 21, 2018 math.AP
This short note is the announcement of a forthcoming work in which we prove a first general boundary regularity result for area-minimizing currents in higher codimension, without any geometric assumption on the boundary, except that it is an embedded submanifold of a Riemannian manifold, with a mild amount of smoothness ($C^{3, a_0}$ for a positive $a_0$ suffices). Our theorem allows to answer a question posed by Almgren at the end of his Big Regularity Paper. In this note we discuss the ideas of the proof and we also announce a theorem which shows that the boundary regularity is in general weaker that the interior regularity. Moreover we remark an interesting elementary byproduct on boundary monotonicity formulae.
• ### Min-max embedded geodesic lines in asymptotically conical surfaces(1610.09147)

Feb. 12, 2018 math.DG
We employ min-max methods to construct uncountably many, geometrically distinct, properly embedded geodesic lines in any asymptotically conical surface of non-negative scalar curvature, a setting where minimization schemes are doomed to fail. Our construction provides control of the Morse index of the geodesic lines we produce, which will be always less or equal than one (with equality under suitable curvature or genericity assumptions), as well as of their precise asymptotic behaviour. In fact, we can prove that in any such surface for every couple of opposite half-lines there exists an embedded geodesic line whose two ends are asymptotic, in a suitable sense, to those half-lines.
• ### Regularity theory for $2$-dimensional almost minimal currents II: branched center manifold(1508.05509)

Sept. 4, 2017 math.DG, math.AP
We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
• ### Ill-posedness of Leray solutions for the ipodissipative Navier-Stokes equations(1708.05666)

Aug. 17, 2017 math.AP
We prove the ill-posedness of Leray solutions to the Cauchy problem for the ipodissipative Navier--Stokes equations, when the dissipative term is a fractional Laplacian $(-\Delta)^\alpha$ with exponent $\alpha < \frac{1}{5}$. The proof follows the ''convex integration methods'' introduced by the second author and L\'aszl\'o Sz\'ekelyhidi Jr. for the incomprresible Euler equations. The methods yield indeed some conclusions even for exponents in the range $[\frac{1}{5}, \frac{1}{2}[$.
• ### Min-max theory for minimal hypersurfaces with boundary(1611.00926)

May 18, 2017 math.AP
In this note we propose a min-max theory for embedded hypersurfaces with a fixed boundary and apply it to prove several theorems about the existence of embedded minimal hypersurfaces with a given boundary. A simpler variant of these theorems holds also for the case of the free boundary minimal surfaces.
• ### A direct approach to the anisotropic Plateau problem(1602.08757)

April 15, 2017 math.AP
We prove a compactness principle for the anisotropic formulation of the Plateau problem in codimension one, along the same lines of previous works of the authors [DGM14, DPDRG15]. In particular, we perform a new strategy for proving the rectifiability of the minimal set, avoiding the Preiss' Rectifiability Theorem [Pre87].
• ### The masterpieces of John Forbes Nash Jr(1606.02551)

March 12, 2017 math.AP
In this note I have tried to rewrite four famous works of Nash in a more modern language while adhering as much as possible to the original arguments.
• ### Fractional Sobolev Regularity for the Brouwer Degree(1702.02075)

Feb. 7, 2017 math.CA
We prove that if $\Omega\subset \mathbb R^n$ is a bounded open set and $n\alpha> {\rm dim}_b (\partial \Omega) = d$, then the Brouwer degree deg$(v,\Omega,\cdot)$ of any H\"older function $v\in C^{0,\alpha}\left (\Omega, \mathbb R^{n}\right)$ belongs to the Sobolev space $W^{\beta, p} (\mathbb R^n)$ for every $0\leq \beta < \frac{n}{p} - \frac{d}{\alpha}$. This extends a summability result of Olbermann and in fact we get, as a byproduct, a more elementary proof of it. Moreover we show the optimality of the range of exponents in the following sense: for every $\beta\geq 0$ and $p\geq 1$ with $\beta > \frac{n}{p} - \frac{n-1}{\alpha}$ there is a vector field $v\in C^{0, \alpha} (B_1, \mathbb R^n)$ with $\mbox{deg}\, (v, \Omega, \cdot)\notin W^{\beta, p}$, where $B_1 \subset \mathbb R^n$ is the unit ball.
• ### Onsager's conjecture for admissible weak solutions(1701.08678)

Jan. 30, 2017 math.AP
We prove that given any $\beta<1/3$, a time interval $[0,T]$, and given any smooth energy profile $e \colon [0,T] \to (0,\infty)$, there exists a weak solution $v$ of the three-dimensional Euler equations such that $v \in C^{\beta}([0,T]\times \mathbb{T}^3)$, with $e(t) = \int_{\mathbb{T}^3} |v(x,t)|^2 dx$ for all $t\in [0,T]$. Moreover, we show that a suitable $h$-principle holds in the regularity class $C^\beta_{t,x}$, for any $\beta<1/3$. The implication of this is that the dissipative solutions we construct are in a sense typical in the appropriate space of subsolutions as opposed to just isolated examples.
• ### High dimensionality and h-principle in PDE(1609.03180)

Sept. 11, 2016 math.DG, math.AP
In this note we would like to present "an analysts' point of view" on the Nash-Kuiper theorem and in particular highlight the very close connection to some aspects of turbulence -- a paradigm example of a high-dimensional phenomenon.
• ### A Nash-Kuiper theorem for $C^{1,\frac{1}{5}-\delta}$ immersions of surfaces in $3$ dimensions(1510.01934)

Sept. 11, 2016 math.DG, math.AP
We prove that, given a $C^2$ Riemannian metric $g$ on the $2$-dimensional disk $D_2$, any short $C^1$ immersion of $(D_2,g)$ into $\mathbb R^3$ can be uniformly approximated with $C^{1,\alpha}$ isometric immersions for any $\alpha < \frac{1}{5}$. This statement improves previous results by Yu.F. Borisov and of a joint paper of the first and third author with S. Conti.
• ### Regularity theory for $2$-dimensional almost minimal currents I: Lipschitz approximation(1508.05507)

June 10, 2016 math.DG, math.AP
We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
• ### Lossless Linear Analog Compression(1605.00912)

May 5, 2016 cs.IT, math.IT
We establish the fundamental limits of lossless linear analog compression by considering the recovery of random vectors ${\boldsymbol{\mathsf{x}}}\in{\mathbb R}^m$ from the noiseless linear measurements ${\boldsymbol{\mathsf{y}}}=\boldsymbol{A}{\boldsymbol{\mathsf{x}}}$ with measurement matrix $\boldsymbol{A}\in{\mathbb R}^{n\times m}$. Specifically, for a random vector ${\boldsymbol{\mathsf{x}}}\in{\mathbb R}^m$ of arbitrary distribution we show that ${\boldsymbol{\mathsf{x}}}$ can be recovered with zero error probability from $n>\inf\underline{\operatorname{dim}}_\mathrm{MB}(U)$ linear measurements, where $\underline{\operatorname{dim}}_\mathrm{MB}(\cdot)$ denotes the lower modified Minkowski dimension and the infimum is over all sets $U\subseteq{\mathbb R}^{m}$ with $\mathbb{P}[{\boldsymbol{\mathsf{x}}}\in U]=1$. This achievability statement holds for Lebesgue almost all measurement matrices $\boldsymbol{A}$. We then show that $s$-rectifiable random vectors---a stochastic generalization of $s$-sparse vectors---can be recovered with zero error probability from $n>s$ linear measurements. From classical compressed sensing theory we would expect $n\geq s$ to be necessary for successful recovery of ${\boldsymbol{\mathsf{x}}}$. Surprisingly, certain classes of $s$-rectifiable random vectors can be recovered from fewer than $s$ measurements. Imposing an additional regularity condition on the distribution of $s$-rectifiable random vectors ${\boldsymbol{\mathsf{x}}}$, we do get the expected converse result of $s$ measurements being necessary. The resulting class of random vectors appears to be new and will be referred to as $s$-analytic random vectors.
• ### Transport equation with integral terms(1602.03193)

Feb. 9, 2016 math.AP
We prove some theorems on the existence, uniqueness, stability and compactness properties of solutions to inhomogeneous transport equations with Sobolev coefficients, where the inhomogeneous term depends upon the solution through an integral operator. Contrary to the usual DiPerna-Lions approach, the essential step is to formulate the problem in the Lagrangian setting. Some motivations to study the above problem arise from the description of polymeric flows, where such kind of equations are coupled with other Navier-Stokes type equations. Using the results for the transport equation we will provide, in a separate paper, a sequential stability theorem for the full problem of the flow of concentrated polymers.
• ### Regularity of area minimizing currents II: center manifold(1306.1191)

Sept. 30, 2015 math.DG
This is the second paper of a series of three on the regularity of higher codimension area minimizing integral currents. Here we perform the second main step in the analysis of the singularities, namely the construction of a center manifold, i.e. an approximate average of the sheets of an almost flat area minimizing current. Such center manifold is complemented with a Lipschitz multi-valued map on its normal bundle, which approximates the current with a highe degree of accuracy. In the third and final paper these objects are used to conclude a new proof of Almgren's celebrated dimension bound on the singular set.
• ### Regularity of area minimizing currents III: blow-up(1306.1194)

Sept. 30, 2015 math.DG
This is the last of a series of three papers in which we give a new, shorter proof of a slightly improved version of Almgren's partial regularity of area minimizing currents in Riemannian manifolds. Here we perform a blow-up analysis deducing the regularity of area minimizing currents from that of Dir-minimizing multiple valued functions.
• ### Regularity theory for $2$-dimensional almost minimal currents III: blowup(1508.05510)

Aug. 22, 2015 math.DG, math.AP
We analyze the asymptotic behavior of a $2$-dimensional integral current which is almost minimizing in a suitable sense at a singular point. Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
• ### Uniqueness of tangent cones for $2$-dimensional almost minimizing currents(1508.05266)

Aug. 21, 2015 math.DG, math.AP
We consider $2$-dimensional integer rectifiable currents which are almost area minimizing and show that their tangent cones are everywhere unique. Our argument unifies a few uniqueness theorems of the same flavor, which are all obtained by a suitable modification of White's original theorem for area minimizing currents in the euclidean space. This note is also the first step in a regularity program for semicalibrated $2$-dimensional currents and spherical cross sections of $3$-dimensional area minimizing cones.
• ### The size of the singular set of area-minimizing currents(1506.08118)

Aug. 8, 2015 math.DG, math.AP
This a survey on a series of recent papers in collaboration with Emanuele Spadaro on the regularity of area-minimizing currents in codimension higher than $1$.
• ### Endpoint regularity of $2$d Mumford-Shah minimizers(1502.02299)

July 7, 2015 math.AP
We prove an $\varepsilon$-regularity theorem at the endpoint of connected arcs for $2$-dimensional Mumford-Shah minimizers. In particular we show that, if in a given ball $B_r (x)$ the jump set of a given Mumford-Shah minimizer is sufficiently close, in the Hausdorff distance, to a radius of $B_r (x)$, then in a smaller ball the jump set is a connected arc which terminates at some interior point $y_0$ and it is $C^{1,\alpha}$ up to $y_0$.
• ### SBV regularity for Hamilton-Jacobi equations in $\mathbb R^n$(1002.4087)

Dec. 16, 2014 math.AP
In this paper we study the regularity of viscosity solutions to the following Hamilton-Jacobi equations $$\partial_t u + H(D_{x} u)=0 \qquad \textrm{in} \Omega\subset \mathbb R\times \mathbb R^{n} .$$ In particular, under the assumption that the Hamiltonian $H\in C^2(\mathbb R^n)$ is uniformly convex, we prove that $D_{x}u$ and $\partial_t u$ belong to the class $SBV_{loc}(\Omega)$.
• ### Regularity of area minimizing currents I: gradient L^p estimates(1306.1195)

Sept. 9, 2014 math.DG
In a series of papers, including the present one, we give a new, shorter proof of Almgren's partial regularity theorem for area minimizing currents in a Riemannian manifold, with a slight improvement on the regularity assumption for the latter. This note establishes a new a priori estimate on the excess measure of an area minimizing current, together with several statements concerning approximations with Lipschitz multiple valued graphs. Our new a priori estimate is an higher integrability type result, which has a counterpart in the theory of Dir-minimizing multiple valued functions and plays a key role in estimating the accuracy of the Lipschitz approximations.
• ### A regularizing property of the $2D$-eikonal equation(1409.2102)

Sept. 7, 2014 math.AP
We prove that any $2$-dimensional solution $\psi\in W_{loc}^{1+\frac 1 3, 3}$ of the eikonal equation has locally Lipschitz gradient $\nabla \psi$ except at a locally finite number of vortices.