SearcharxivSearch

arXiv subjects

Erik Lindgren

Publications and source records attributed to Erik Lindgren.

At least 19 recordsLinked to original sources

Higher H\"older regularity for fractional $(p,q)$-Laplace equations

We study the fractional $(p,q)$-Laplace equation $$ (-\Delta_p)^s u +(-\Delta_q)^t u= 0 $$ for $s,t\in(0,1)$ and $p,q\in(1,\infty)$. We establish H\"older estimates with an explicit exponent. As a consequence, we derive a Liouville-type theorem. Our approach builds on techniques previously developed for the fractional $p$-Laplace equation, relying on a Moser-type iteration for difference quotients.

math.AP

Drowning in Documents: Consequences of Scaling Reranker Inference

Rerankers, typically cross-encoders, are computationally intensive but are frequently used because they are widely assumed to outperform cheaper initial IR systems. We challenge this assumption by measuring reranker performance for full retrieval, not just re-scoring first-stage retrieval. To provide a more robust evaluation, we prioritize strong first-stage retrieval using modern dense embeddings and test rerankers on a variety of carefully chosen, challenging tasks, including internally curated datasets to avoid contamination, and out-of-domain ones. Our empirical results reveal a surprising trend: the best existing rerankers provide initial improvements when scoring progressively more documents, but their effectiveness gradually declines and can even degrade quality beyond a certain limit. We hope that our findings will spur future research to improve reranking.

cs.IR

Moving gradient singularity for the evolutionary $p$-Laplace equation

We consider the evolutionary $p$-Laplace equation in $\mathbb{R}^n$. For $p>n$, we construct a solution $u$ with a moving gradient singularity in the sense that $|\nabla u(x,t)|\to \infty$ for each $t$ as $x\to\xi(t)$, where $\xi:[0,\infty)\to\mathbb{R}^n$ is a given curve.

math.AP

Higher H\"older regularity for a subquadratic nonlocal parabolic equation

In this paper, we are concerned with the H\"older regularity for solutions of the nonlocal evolutionary equation $$ \partial_t u+(-\Delta_p)^s u = 0. $$ Here, $(-\Delta_p)^s$ is the fractional $p$-Laplacian, $0<s<1$ and $1<p<2$. We establish H\"older regularity with explicit H\"older exponents. We also include the inhomogeneous equation with a bounded inhomogeneity. In some cases, the obtained H\"older exponents are almost sharp. Our results complement the previous results for the superquadratic case when $p\geq 2$.

math.AP

On a Hardy-Morrey inequality

Morrey's classical inequality implies the H\"older continuity of a function whose gradient is sufficiently integrable. Another consequence is the Hardy-type inequality $$ \lambda\biggl\|\frac{u}{d_\Omega^{1-n/p}}\biggr\|_{\infty}^p\le \int_\Omega |Du|^p \,dx $$ for any open set $\Omega\subsetneq \mathbb{R}^n$. This inequality is valid for functions supported in $\Omega$ and with $\lambda$ a positive constant independent of $u$. The crucial hypothesis is that the exponent $p$ exceeds the dimension $n$. This paper aims to develop a basic theory for this inequality and the associated variational problem. In particular, we study the relationship between the geometry of $\Omega$, sharp constants, and the existence of a nontrivial $u$ which saturates the inequality.

math.AP

Higher H\"older regularity for the fractional $p$-Laplace equation in the subquadratic case

We study the fractional $p$-Laplace equation $$ (-\Delta_p)^s u = 0 $$ for $0<s<1$ and in the subquadratic case $1<p<2$. We provide H\"older estimates with an explicit H\"older exponent. The inhomogeneous equation is also treated and there the exponent obtained is almost sharp. Our results complement the previous results for the superquadratic case when $p\geq 2$. The arguments are based on a careful Moser-type iteration and a perturbation argument.

math.AP

Decay of extremals of Morrey's inequality

We study the decay (at infinity) of extremals of Morrey's inequality in $\mathbb{R}^n$. These are functions satisfying $$ \displaystyle \sup_{x\neq y}\frac{|u(x)-u(y)|}{|x-y|^{1-\frac{n}{p}}}= C(p,n)\|\nabla u\|_{L^p(\mathbb{R}^n)} , $$ where $p>n$ and $C(p,n)$ is the optimal constant in Morrey's inequality. We prove that if $n \geq 2$ then any extremal has a power decay of order $β$ for any $$ β<-\frac13+\frac{2}{3(p-1)}+\sqrt{\left(-\frac13+\frac{2}{3(p-1)}\right)^2+\frac13}. $$

math.AP

The Infinity-Laplacian in Smooth Convex Domains and in a Square

We extend some theorems for the Infinity-Ground State and for the Infinity-Potential, known for convex polygons, to other domains in the plane, by applying Alexandroff's method to the curved boundary. A recent explicit solution disproves a conjecture.

math.AP

Higher Hölder regularity for mixed local and nonlocal degenerate elliptic equations

We consider equations involving a combination of local and nonlocal degenerate $p$-Laplace operators. The main contribution of the paper is almost Lipschitz regularity for the homogeneous equation and Hölder continuity with an explicit Hölder exponent in the general case. For certain parameters, our results also imply Hölder continuity of the gradient. In addition, we establish existence, uniqueness and local boundedness. The approach is based on an iteration in the spirit of Moser combined with an approximation method.

math.AP

Uniqueness of extremals for some sharp Poincaré-Sobolev constants

We study the sharp constant for the embedding of $W^{1,p}_0(Ω)$ into $L^q(Ω)$, in the case $2 p$ and $q$ is sufficiently close to $p$, extremal functions attaining the sharp constant are unique, up to a multiplicative constant. This in turn gives the uniqueness of solutions with minimal energy to the Lane-Emden equation, with super-homogeneous right-hand side. The result is achieved by suitably adapting a linearization argument due to C.-S. Lin. We rely on some fine estimates for solutions of $p-$Laplace--type equations by L. Damascelli and B. Sciunzi.

math.AP

Finite difference schemes for the parabolic $p$-Laplace equation

We propose a new finite difference scheme for the degenerate parabolic equation \[ \partial_t u - \mbox{div}(|\nabla u|^{p-2}\nabla u) =f, \quad p\geq 2. \] Under the assumption that the data is Hölder continuous, we establish the convergence of the explicit-in-time scheme for the Cauchy problem provided a suitable stability type CFL-condition. An important advantage of our approach, is that the CFL-condition makes use of the regularity provided by the scheme to reduce the computational cost. In particular, for Lipschitz data, the CFL-condition is of the same order as for the heat equation and independent of $p$.

math.NA

Large time behavior for a nonlocal nonlinear gradient flow

We study the large time behavior of the nonlinear and nonlocal equation $$ v_t+(-Δ_p)^sv=f \, , $$ where $p\in (1,2)\cup (2,\infty)$, $s\in (0,1)$ and $$ (-Δ_p)^s v\, (x,t)=2 \,\text{pv} \int_{\mathbb{R}^n}\frac{|v(x,t)-v(x+y,t)|^{p-2}(v(x,t)-v(x+y,t))}{|y|^{n+sp}}\, dy. $$ This equation arises as a gradient flow in fractional Sobolev spaces. We obtain sharp decay estimates as $t\to\infty$. The proofs are based on an iteration method in the spirit of J. Moser previously used by P. Juutinen and P. Lindqvist.

math.AP

On $\infty$-Ground States in the Plane

We study $\infty$-Ground states in convex domains in the plane. In a polygon, the points where an $\infty$-Ground state does not satisfy the $\infty$-Laplace Equation are characterized: they are restricted to lie on specific curves, which are acting as attracting (fictitious) streamlines. The gradient is continuous outside these curves and no streamlines can meet there.

math.AP

A mean value formula for the variational $p$-Laplacian

We prove a new asymptotic mean value formula for the $p$-Laplace operator, $$ Δ_p u=\text{div}(|\nabla u|^{p-2}\nabla u), $$ valid in the viscosity sense. In the plane, and for a certain range of $p$, the mean value formula holds in the pointwise sense. We also study the existence, uniqueness and convergence of the related dynamic programming principle.

math.AP

A finite difference method for the variational $p$-Laplacian

We propose a new monotone finite difference discretization for the variational $p$-Laplace operator, \[ Δ_p u=\text{div}(|\nabla u|^{p-2}\nabla u), \] and present a convergent numerical scheme for related Dirichlet problems. The resulting nonlinear system is solved using two different methods: one based on Newton-Raphson and one explicit method. Finally, we exhibit some numerical simulations supporting our theoretical results. To the best of our knowledge, this is the first monotone finite difference discretization of the variational $p$-Laplacian and also the first time that nonhomogeneous problems for this operator can be treated numerically with a finite difference scheme.

math.NA

Accelerating Large-Scale Inference with Anisotropic Vector Quantization

Quantization based techniques are the current state-of-the-art for scaling maximum inner product search to massive databases. Traditional approaches to quantization aim to minimize the reconstruction error of the database points. Based on the observation that for a given query, the database points that have the largest inner products are more relevant, we develop a family of anisotropic quantization loss functions. Under natural statistical assumptions, we show that quantization with these loss functions leads to a new variant of vector quantization that more greatly penalizes the parallel component of a datapoint's residual relative to its orthogonal component. The proposed approach achieves state-of-the-art results on the public benchmarks available at \url{ann-benchmarks.com}.

cs.LG

The Gradient Flow of Infinity-Harmonic Potentials

We study the streamlines of $\infty$-harmonic functions in planar convex rings. We include convex polygons. The points where streamlines can meet are characterized: they lie on certain curves. The gradient has constant norm along streamlines outside the set of meeting points, the infinity-ridge.

math.AP

On a comparison principle for Trudinger's equation

We study the comparison principle for non-negative solutions of the equation $$ \frac{\partial\,(|v|^{p-2}v)}{\partial t}\,=\, \textrm{div} (|\nabla v|^{p-2}\nabla v), \quad 1<p<\infty.$$ This equation is related to extremals of Poincaré inequalities in Sobolev spaces. We apply our result to obtain pointwise control of the large time behavior of solutions.

math.AP