Journal of Functional Analysis最新文献

We prove the Widom–Sobolev formula for the asymptotic behaviour of truncated Wiener–Hopf operators with discontinuous matrix-valued symbols for three different classes of test functions. The symbols may depend on both position and momentum except when closing the asymptotics for twice differentiable test functions with Hölder singularities. The cut-off domains are allowed to have piecewise differentiable boundaries. In contrast to the case where the symbol is smooth in one variable, the resulting coefficient in the enhanced area law we obtain here remains as explicit for matrix-valued symbols as it is for scalar-valued symbols.

The goal of this work is to obtain (nearly) optimal rates for the convergence problem in mean field control. Our analysis covers cases where the solutions to the limiting problem may not be unique nor stable. Equivalently the value function of the limiting problem might not be differentiable on the entire space. Our main result is then to derive sharp rates of convergence in two distinct regimes. First, when the data is sufficiently regular, we obtain rates proportional to $N^{-1/2}$, with N being the number of particles, and we verify that $N^{-1/2}$ is indeed optimal in this setting. Second, when the data is merely Lipschitz and semi-concave with respect to the first Wasserstein distance, we obtain rates proportional to $N^{-2/(3d+6)}$. We do not expect this second estimate to be optimal, but it improves substantially on the existing literature. Moreover, we construct an example showing that the optimal rate is no faster than $N^{-1/d}$, and we conjecture that the optimal rate should indeed be exactly $N^{-1/d}$ (at least when $d\ge 3$). The key argument in our approach consists in mollifying the value function of the limiting problem in order to produce functions that are almost classical sub-solutions to the limiting Hamilton-Jacobi equation (which is a PDE set on the space of probability measures). These sub-solutions can be projected onto finite dimensional spaces and then compared with the value functions associated with the particle systems. In the end, this comparison is used to prove the most demanding bound in the estimates. The key challenge therein is thus to exhibit an appropriate form of mollification. We do so by employing sup-convolution within a convenient functional Hilbert space. To make the whole easier, we limit ourselves to the periodic setting. We also provide some examples to show that our results are sharp up to some extent.

We study Hermitian non-commutative quadratic polynomials of multiple independent Wigner matrices. We prove that, with the exception of some specific reducible cases, the limiting spectral density of the polynomials always has a square root growth at its edges and prove an optimal local law around these edges. Combining these two results, we establish that, as the dimension N of the matrices grows to infinity, the operator norm of such polynomials q converges to a deterministic limit with a rate of convergence of $N^{-2/3+o\left(1\right)}$. Here, the exponent in the rate of convergence is optimal. For the specific reducible cases, we also provide a classification of all possible edge behaviors.

Motivated by first-order conditions for extremal bodies of geometric functionals, we study a functional analytic notion of infinitesimal perturbations of convex bodies and give a full characterization of the set of realizable perturbations if the perturbed body is a polytope. As an application, we derive a necessary condition for polytopal maximizers of the isotropic constant.

The Kirchberg Embedding Problem (KEP) asks if every $C^{⁎}$-algebra embeds into an ultrapower of the Cuntz algebra $O_2$. Motivated by the recent refutation of the Connes Embedding Problem, we establish two computability-theoretic consequences of a positive solution to KEP. Both of our results follow from the a priori weaker assumption that there exists a locally universal $C^{⁎}$-algebra with a computable presentation.

We study the Kolmogorov $0-1$ law for a random sequence with prescribed radii so that it generates a Carleson measure almost surely, both for the Hardy space on the polydisc and the Hardy space on the unit ball, thus providing improved versions of previous results of the first two authors and of a separate result of Massaneda. In the polydisc, the geometry of such sequences is not well understood, so we proceed by studying the random Gramians generated by random sequences, using tools from the theory of random matrices. Another result we prove, and that is of its own relevance, is the $0-1$ law for a random sequence to be partitioned into M separated sequences with respect to the pseudo-hyperbolic distance, which is used also to describe the random sequences that are interpolating for the Bloch space on the unit disc almost surely.

We construct weak solutions of the anisotropic inverse mean curvature flow (A-IMCF) under very mild assumptions both on the anisotropy (which is simply a norm in $R^N$ with no ellipticity nor smoothness requirements, in order to include the crystalline case) and on the initial data. By means of an approximation procedure introduced by Moser, our solutions are limits of anisotropic p-harmonic functions or p-capacitary functions (after a change of variable), and we get uniqueness both for the approximating solutions (i.e., uniqueness of p-capacitary functions) and the limiting ones. Our notion of weak solution still recovers variational and geometric definitions similar to those introduced by Huisken-Ilmanen, but requires to work within the broader setting of BV-functions. Despite of this, we still reach classical results like the continuity and exponential growth of perimeter, as well as outward minimizing properties of the sublevel sets. Moreover, by assuming the extra regularity given by an interior rolling ball condition (where a sliding Wulff shape plays the role of a ball), the solutions are shown to be continuous and satisfy Harnack inequalities. Finally, examples of explicit solutions are built.

We prove a rigidity property for mapping tori associated to minimal topological dynamical systems using tools from noncommutative geometry. More precisely, we show that under mild geometric assumptions, a leafwise homotopy equivalence of two mapping tori associated to $Z^d$-actions on a compact space can be lifted to an isomorphism of their foliation $C^{⁎}$-algebras. This property is a noncommutative analogue of topological rigidity in the context of foliated spaces whose space of leaves is singular, where isomorphism type of the $C^{⁎}$-algebra replaces homeomorphism type. Our technique is to develop a geometric approach to the Elliott invariant that relies on topological and index-theoretic data from the mapping torus. We also discuss how our construction can be extended to slightly more general homotopy quotients arising from actions of discrete cocompact subgroups of simply connected solvable Lie groups, as well as how the theory can be applied to the magnetic gap-labelling problem for certain Cantor minimal systems.