arXiv subjects

Neal Bez

Publications and source records attributed to Neal Bez.

At least 19 recordsLinked to original sources

arXiv2026

Orthonormal Sobolev estimates with fractal measures

We prove a fractal version of Lieb's Hardy-Littlewood-Sobolev inequality for orthonormal functions. On the one hand, this can be viewed as a trace theorem for orthonormal functions. On the other, it allows us to recover the Rozenblum-Tashchiyan bound for the number of negative eigenvalues of $-\Delta-\mu$, where $\mu$ is a shell potential. We also recover Rozenblum's bound for the sum of negative eigenvalues via a Lieb-Thirring kinetic inequality. Our proof is direct, avoiding both Schatten classes and variational arguments. We first reprove Adams' fractal Hardy-Littlewood-Sobolev inequality (for single functions) via Fourier analysis. This yields the required endpoint estimate as well as a bound for the interaction energy of Frostman measures.

math.CA↗

arXiv2025

Operator capacity, the Brascamp--Lieb inequality and geometric programming

The capacity of completely positive operators and the Brascamp--Lieb constant can both be interpreted in terms of unconstrained geometric programming up to an additional minimisation over a compact group. We shine light on this perspective and make use of it to make novel contributions in both directions. For example, by making use of recent work of Bennett--Bez--Buschenhenke--Cowling--Flock, we prove new results regarding near-minimisers and local H\"older regularity of operator capacity. In addition, we observe that these results may be extended to the more general notion of capacity of quiver data. Furthermore, the geometric programming viewpoint allows us to give a new proof of the finiteness characterisation of the Brascamp--Lieb constant due to Bennett--Carbery--Christ--Tao (assuming Lieb's theorem on gaussian saturation).

math.FA↗

arXiv2025

Mizohata-Takeuchi inequalities for orthonormal systems

We establish some weighted $L^2$ inequalities for Fourier extension operators in the setting of orthonormal systems. In the process we develop a direct approach to such inequalities based on generalised Wigner distributions, complementing the Schatten space approach that is prevalent in the wider context of estimates for such orthonormal systems. Our results are set within a broader family of tentatively suggested ($L^p$) inequalities of Mizohata--Takeuchi type. For $p$ an even integer we see that such weighted inequalities may be recast as questions of co-positivity of tensor forms, and for $p\leq 1$ we provide some evidence that they may hold in reverse provided the orthonormal sequence is complete.

math.CA↗

arXiv2024

A note on ubiquity of geometric Brascamp-Lieb data

Relying substantially on work of Garg, Gurvits, Oliveira and Wigderson, it is shown that geometric Brascamp--Lieb data are, in a certain sense, ubiquitous. This addresses a question raised by Bennett and Tao in their recent work on the adjoint Brascamp--Lieb inequality.

math.CA↗

arXiv2023

Boundary Strichartz estimates and pointwise convergence for orthonormal systems

We consider maximal estimates associated with fermionic systems. First we establish maximal estimates with respect to the spatial variable. These estimates are certain boundary cases of the many-body Strichartz estimates pioneered by Frank, Lewin, Lieb and Seiringer. We also prove new maximal-in-time estimates, thereby significantly extending work of Lee, Nakamura and the first author on Carleson's pointwise convergence problem for fermionic systems.

math.AP↗

arXiv2023

A note on Strichartz estimates for the wave equation with orthonormal initial data

This note is concerned with Strichartz estimates for the wave equation and orthonormal families of initial data. We provide a survey of the known results and present what seems to be a reasonable conjecture regarding the cases which have been left open. We also provide some new results in the maximal-in-space boundary cases.

math.AP↗

arXiv2022

Revisiting the Rellich inequality

We revisit the Rellich inequality from the viewpoint of isolating the contributions from radial and spherical derivatives. This naturally leads to a comparison of the norms of the radial Laplacian and Laplace{Beltrami operators with the standard Laplacian. In the case of the Laplace{ Beltrami operator, the three-dimensional case is the most subtle and here we improve a result of Evans and Lewis by identifying the best constant. Our arguments build on certain identities recently established by Wadade and the second and third authors, along with use of spherical harmonics.

math.FA↗

arXiv2022

Higher order transversality in harmonic analysis

In differential topology two smooth submanifolds $S_1$ and $S_2$ of euclidean space are said to be transverse if the tangent spaces at each common point together form a spanning set. The purpose of this article is to explore a much more general notion of transversality pertaining to a collection of submanifolds of euclidean space. In particular, we show that three seemingly different concepts of transversality arising naturally in harmonic analysis, are in fact equivalent. This result is an amalgamation of several recent works on variants of the Brascamp--Lieb inequality, and we take the opportunity here to briefly survey this growing area. This is not intended to be an exhaustive account, and the choices made reflect the particular perspectives of the authors.

math.CA↗

arXiv2022

Stability of hypercontractivity, the logarithmic Sobolev inequality, and Talagrand's cost inequality

We provide deficit estimates for Nelson's hypercontractivity inequality, the logarithmic Sobolev inequality, and Talagrand's transportation cost inequality under the restriction that the inputs are semi-log-subharmonic, semi-log-convex, or semi-log-concave. In particular, our result on the logarithmic Sobolev inequality complements a recently obtained result by Eldan, Lehec and Shenfeld concerning a deficit estimate for inputs with small covariance. Similarly, our result on Talagrand's transportation cost inequality complements and, for a large class of semi-log-concave inputs, improves a deficit estimate recently proved by Mikulincer. Our deficit estimates for hypercontractivity will be obtained by using a flow monotonicity scheme built on the Fokker--Planck equation, and our deficit estimates for the logarithmic Sobolev inequality will be derived as a corollary. For Talagrand's inequality, we use an optimal transportation argument. An appealing feature of our framework is robustness and this allows us to derive deficit estimates for the hypercontracivity inequality associated with the Hamilton--Jacobi equation, the Poincar\'e inequality, and for Beckner's inequality.

math.AP↗

arXiv2021

Regularized Brascamp--Lieb inequalities

Given any (forward) Brascamp--Lieb inequality on euclidean space, a famous theorem of Lieb guarantees that gaussian near-maximizers always exist. Recently, Barthe and Wolff used mass transportation techniques to establish a counterpart to Lieb's theorem for all non-degenerate cases of the inverse Brascamp--Lieb inequality. Here we build on work of Chen--Dafnis--Paouris and employ heat-flow techniques to understand the inverse Brascamp--Lieb inequality for certain regularized input functions, in particular extending the Barthe--Wolff theorem to such a setting. Inspiration arose from work of Bennett, Carbery, Christ and Tao for the forward inequality, and we recover their generalized Lieb's theorem using a clever limiting argument of Wolff. In fact, we use Wolff's idea to deduce regularized inequalites in the broader framework of the forward-reverse Brascamp--Lieb inequality, in particular allowing us to recover the gaussian saturation property in this framework first obtained by Courtade, Cuff, Liu and Verd\'u.

math.CA↗

arXiv2019

Strichartz estimates for orthonormal families of initial data and weighted oscillatory integral estimates

We establish new Strichartz estimates for orthonormal families of initial data in the case of the wave, Klein-Gordon and fractional Schr\"odinger equations. Our estimates extend those of Frank-Sabin in the case of the wave and Klein-Gordon equations, and generalize work of Frank-Lewin-Lieb-Seiringer and Frank-Sabin for the Schr\"{o}dinger equation. Due to a certain technical barrier, except for the classical Schr\"odinger equation, the Strichartz estimates for orthonormal families of initial data have not previously been established up to the sharp summability exponents in the full range of admissible pairs. We obtain the optimal estimates in various notable cases and improve the previous results. The main novelty of this paper is the use of estimates for weighted oscillatory integrals which we combine with an approach due to Frank and Sabin. This strategy also leads us to proving new estimates for weighted oscillatory integrals with optimal decay exponents which we believe to be of wider independent interest. Applications to the theory of infinite systems of Hartree type, weighted velocity averaging lemmas for kinetic transport equations, and refined Strichartz estimates for data in Besov spaces are also provided.

math.AP↗

arXiv2019

Maximal estimates for the Schr\"{o}dinger equation with orthonormal initial data

For the one-dimensional Schr\"odinger equation, we obtain sharp maximal-in-time and maximal-in-space estimates for systems of orthonormal initial data. The maximal-in-time estimates generalize a classical result of Kenig--Ponce--Vega and allow us obtain pointwise convergence results associated with systems of infinitely many fermions. The maximal-in-space estimates simultaneously address an endpoint problem raised by Frank--Sabin in their work on Strichartz estimates for orthonormal systems of data, and provide a path toward proving our maximal-in-time estimates.

math.AP↗

arXiv2019

A supersolutions perspective on hypercontractivity

The purpose of this article is to expose an algebraic closure property of supersolutions to certain diffusion equations. This closure property quickly gives rise to a monotone quantity which generates a hypercontractivity inequality. Our abstract argument applies to a general Markov semigroup whose generator is a diffusion and satisfies a curvature condition.

math.FA↗

arXiv2019

Inhomogeneous Strichartz estimates in some critical cases

Strong-type inhomogeneous Strichartz estimates are shown to be false for the wave equation outside the so-called acceptable region. On a critical line where the acceptability condition marginally fails, we prove substitute estimates with a weak-type norm in the temporal variable. We achieve this by establishing such weak-type inhomogeneous Strichartz estimates in an abstract setting. The application to the wave equation rests on a slightly stronger form of the standard dispersive estimate in terms of certain Besov spaces.

math.CA↗

arXiv2018

On the nonlinear Brascamp-Lieb inequality

We prove a nonlinear variant of the general Brascamp-Lieb inequality. Instances of this inequality are quite prevalent in analysis, and we illustrate this with substantial applications in harmonic analysis and partial differential equations. Our proof consists of running an efficient, or "tight", induction on scales argument, which uses the existence of gaussian near-extremisers to the underlying linear Brascamp-Lieb inequality (Lieb's theorem) in a fundamental way. A key ingredient is an effective version of Lieb's theorem, which we establish via a careful analysis of near-minimisers of weighted sums of exponential functions.

math.CA↗

arXiv2018

The nonlinear Brascamp-Lieb inequality for simple data

We establish a nonlinear generalisation of the classical Brascamp-Lieb inequality in the case where the Lebesgue exponents lie in the interior of the finiteness polytope. As a corollary we show that the best constant in Young's convolution inequality in a small neighbourhood of the identity of a general Lie group, approaches the euclidean constant as the size of the neighbourhood approaches zero, answering a question of Cowling, Martini, M\"uller and Parcet. Our proof consists of running an efficient, or "tight", induction on scales argument which uses the existence of gaussian extremisers to the underlying linear Brascamp-Lieb inequality in a fundamental way.

math.CA↗

arXiv2017

Smoothing estimates for the kinetic transport equation at the critical regularity

We prove smoothing estimates for velocity averages of the kinetic transport equation in hyperbolic Sobolev spaces at the critical regularity, leading to a complete characterisation of the allowable regularity exponents. Such estimates will be deduced from some mixed-norm estimates for the cone multiplier operator at a certain critical index. Our argument is not particular to the geometry of the cone and we illustrate this by establishing analogous estimates for the paraboloid.

math.AP↗

arXiv2017

On the Strichartz estimates for orthonormal systems of initial data with regularity

The classical Strichartz estimates for the free Schr\"odinger propagator have recently been substantially generalised to estimates of the form \[ \bigg\|\sum_j\lambda_j|e^{it\Delta}f_j|^2\bigg\|_{L^p_tL^q_x}\lesssim\|\lambda\|_{\ell^\alpha} \] for orthonormal systems $(f_j)_j$ of initial data in $L^2$, firstly in work of Frank--Lewin--Lieb--Seiringer and later by Frank--Sabin. The primary objective is identifying the largest possible $\alpha$ as a function of $p$ and $q$, and in contrast to the classical case, for such estimates the critical case turns out to be $(p,q) = (\frac{d+1}{d},\frac{d+1}{d-1})$. We consider the case of orthonormal systems $(f_j)_j$ in the homogeneous Sobolev spaces $\dot{H}^s$ for $s \in (0,\frac{d}{2})$ and we establish the sharp value of $\alpha$ as a function of $p$, $q$ and $s$, except possibly an endpoint in certain cases, at which we establish some weak-type estimates. Furthermore, at the critical case $(p,q) = (\frac{d+1}{d-2s},\frac{d(d+1)}{(d-1)(d-2s)})$ for general $s$, we show the veracity of the desired estimates when $\alpha = p$ if we consider frequency localised estimates, and the failure of the (non-localised) estimates when $\alpha = p$; this exhibits the difficulty of upgrading from frequency localised estimates in this context, again in contrast to the classical setting.

math.FA↗