Further evidence towards the Fourier Entropy-Influence conjecture

2026-06-09T13:27:38Z

The Fourier Entropy-Influence (FEI) conjecture states that the Fourier entropy of Boolean functions is uniformly bounded by their total influence. It has been verified for canonical examples such as disjoint tribes and for some classes of Boolean functions such as symmetric functions and read-$k$ decision trees (with a constant that depends linearly on $k$). In this note we present new classes of Boolean functions that verify the FEI conjecture. The key element is an inequality controlling the difference between the entropy of a function $f$ and the average of the entropies of $f^{\pm}$, the sub-functions obtained by setting $x_m=\pm1$ for some $m$, by the $m$-influence of $f$. If this key inequality were to hold for Boolean functions, then the full FEI conjecture would follow by induction. We introduce the notion of a stopping binary tree and observe that functions that satisfy the key inequality at the branching nodes of the tree and the FEI conjecture at the stopping nodes will satisfy the FEI conjecture. We identify some classes of functions that fit this framework: the $δ$-tribes functions, the monotone Boolean functions with the tribe separation property, and the Boolean functions with the semi-separation property, and, and, along the way, demonstrate some results that we hope the experts in this fascinating field might find useful.

L^p-boundedness of the Bochner-Riesz operator

2026-06-09T09:46:13Z

In this paper, we give a new approach to the Bochner-Riesz summability. As a result, we show that the Bochner-Riesz operator $\mathbf{S}^δ, 0<\Reδ<{1\over 2}$ is bounded on $\mathbf{L}^p(\mathbb{R}^n)$ for ${n-1\over 2n}\leq {1\over p}\leq{n+1\over 2n}$.

Two Integral Sliding-Window Inequalities for Maximal Convolutions

2026-06-09T07:50:21Z

We prove two sliding-window inequalities for maximal convolutions. The first concerns the multiplicative maximal convolution. If $f$ and $g$ are nonnegative continuous functions on $[0,A]$ and $[0,B]$, respectively, define \[ h(x)=\max_{\substack{0\le u\le A\\0\le x-u\le B}} f(u)g(x-u),\qquad 0\le x\le A+B. \] Then there exists a window $[a,a+B]$ of length $B$ such that \[ \frac1B\int_a^{a+B}h(x)\,dx\ge \left(\frac1A\int_0^A f(x)\,dx\right) \left(\frac1B\int_0^B g(x)\,dx\right). \] The second concerns the additive maximal convolution. Let $f$ and $g$ be nonnegative continuous functions on $[0,C]$, and define \[ H(x)=\max_{\substack{0\le u\le C\\0\le x-u\le C}}\{f(u)+g(x-u)\},\qquad 0\le x\le 2C. \] Then, for every $p\ge1$, there exists a window $[a,a+C]$ of length $C$ such that \[ \left(\int_a^{a+C}H(x)^p\,dx\right)^{1/p} \ge \left(\int_0^C f(x)^p\,dx\right)^{1/p} + \left(\int_0^C g(x)^p\,dx\right)^{1/p}. \] We also record discrete analogues. The main point is that, in one-dimensional maximal-convolution settings, certain global Brunn--Minkowski or Prékopa--Leindler type phenomena admit natural sliding-window localizations.

Monotonicity and absolute convexity of two functions involving Riemann zeta function

2026-06-08T23:19:16Z

Let $ρ>0$ be a constant, let $j\ge0$ be an integer, and let $Γ(z)$ denote the Euler gamma function. With the aid of the integral representation for the Riemann zeta function $ζ(z)$, by virtue of a monotonicity rule, and by means of some properties of the function $\frac{1}{e^t-1}$ and its derivatives, the authors discuss the increasing monotonicity of the function $t\mapsto\binom{t+ρ+j}ρ\frac{ζ(t+ρ)}{ζ(t)}$, study the absolute convexity and logarithmic convexity of the function $t\mapstoΓ(t+j)ζ(t)$, and derive the increasing monotonicity and inequalities of some sequences involving the ratios $\bigl|\frac{B_{2n+2}} {B_{2n}}\bigr|$ of the Bernoulli numbers $B_{2n}$, where $\binom{z}{z}$ denotes the extended binomial coefficient.

Clock spacing for two-sided Jacobi matrices

2026-06-08T20:08:21Z

We study local eigenvalue spacing for finite truncations of a two-sided Jacobi matrix with two movable endpoints. In particular, we show that a suitable analog of clock spacing follows from a pointwise reflectionlessness condition. We obtain this as a consequence of a new scaling limit for Christoffel--Darboux kernels with a movable starting point. Without reflectionlessness, we obtain a new class of limit kernels, which combine distinct contributions from $\pm\infty$.

Pathological function spaces and an unsolved Analysis I problem

2026-06-08T17:54:40Z

The spaces in the title are holomorphic function spaces on the unit disk containing a function with the bizarre property that, although it can be approximated in norm by polynomials, it cannot be approximated by the partial sums of its own Taylor series, nor by any linear combinations thereof. The search for concrete examples of such spaces leads to an elementary problem about convergent series that is still unsolved.

Fourier transform of nonlinear images of self-similar measures: qualitative aspects

2026-06-08T17:05:29Z

The goal of this paper is to establish polynomial Fourier decay for images of self-similar measures $μ$ on $\mathbb{R}^k$ under sufficiently nonlinear real-analytic maps $f \colon \mathbb{R}^k \to \mathbb{R}^d$. For example, we prove that if $f$ is analytic on $\mathbb{R}^k$, its graph does not lie in an affine hyperplane in $\mathbb{R}^{k+d}$, and $μ$ is not supported in an affine hyperplane in $\mathbb{R}^k$, then the image measure has polynomial Fourier decay. Key steps in the proof include establishing a uniform Lojasiewicz-type inequality for self-similar measures, and using the decay of the Fourier transform of $μ$ outside a very small exceptional set of frequencies. As an application of our results, we prove polynomial Fourier decay for self-conformal measures on $\mathbb{C}$ for a large class of complex analytic IFSs which are not self-similar but are conjugate to a linear IFS via an analytic map.

Convergence of sparse square-summable NLFT

2026-06-08T15:32:30Z

We study the convergence of SU(1,1) and SU(2) nonlinear Fourier transform with sparse square-summable data. The asymptotics of the associated polynomials orthogonal on the unit circle is obtained as a corollary.

The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

2026-06-08T15:21:26Z

In this paper, we resolve the question of whether the Neumann problem for the parabolic PDE $-\partial_tu + \mathrm{div}(A\nabla u)=0$ on a Lipschitz cylinder $\mathcal O\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic with bounded and measurable coefficients that satisfy a natural Carleson condition (a parabolic analog of the so-called DKP-condition). We prove that for any $1

Dimension-free estimates for discrete maximal functions and lattice points in high-dimensional spheres and balls with small radii

2026-06-08T14:53:23Z

We prove that the discrete Hardy-Littlewood maximal function associated with Euclidean spheres with small radii has dimension-free estimates on $\ell^p(\mathbb{Z}^d)$ for $p\in[2,\infty).$ This implies an analogous result for the Euclidean balls, thus making progress on a question of E.M. Stein from the mid 1990s. Our work provides the first dimension-free estimates for full discrete maximal functions related to spheres and balls without relying on comparisons with their continuous counterparts. An important part of our argument is a uniform (dimension-free) count of lattice points in high-dimensional spheres and balls with small radii. We also established a dimension-free estimate for a multi-parameter maximal function of a combinatorial nature, which is a new phenomenon and may be useful for studying similar problems in the future.

Quantization of measures in Carnot groups

2026-06-08T11:54:55Z

We study optimal quantization of probability measures on Carnot groups equipped with a left-invariant homogeneous distance. We prove two main results. First, we establish a Zador-type asymptotic formula for the quantization error: after the natural rescaling, the error converges as the number of centers tends to infinity, and the exponent is determined by the homogeneous dimension of the group. The limiting constant is a Carnot cell constant, defined through the quantization problem on a reference cell. Second, we prove weak convergence of the empirical measures associated with optimal centers, and describe the limit in terms of the density of the absolutely continuous part of the measure. The proof combines a tiling of Carnot groups by exponential cubes with a sub-Riemannian version of Pierce's lemma, which allows us to treat measures with non-compact support.

Quantitative Polynomial Wiener-Wintner Theorems

2026-06-08T09:39:47Z

We prove quantitative polynomial Wiener-Wintner theorems in a very general setup, including measure-preserving actions of nilpotent Lie groups. Our results apply both to ergodic averages and to averages with singular integral weights. The proof relies on the generalized polynomial Carleson theorem developed in the companion paper by van Doorn, Srivastava, and the authors.

The Distance for Functions in BMO to BLO

2026-06-08T08:40:42Z

In this article, we give the distance for a function $f$ of bounded mean oscillation to the space BLO($\Rn$) of functions of bounded lower oscillation via the Muckenhoupt weight class $A_p$ as following \begin{center} dist\,($f$,\ BLO(${\mathbb R}^n$))\,$\sim\inf\left\{ξ\in(0,\infty):\ e^{-\frac fξ}\in A_p\ \mathrm{for\ some\ }p\in(1,\infty)\right\}$. \end{center} Then two equivalent representations of this distance are established in terms of exponential form and distribution, respectively.

On the Constant and Extremal Function for Weighted Hardy Inequality in $L_p$

2026-06-08T06:03:23Z

We study the behaviour of the smallest possible constant $d(a,b, p,ε)$ in Hardy inequality $$ \int_a^b\left(\frac{1}{x}\int_a^xf(t)dt\right)^px^ε\,dx\leq d(a,b,p,ε)\,\int_a^b [f(x)]^px^ε\, dx, \quad 2\le p<\infty. $$ The exact rate of convergence of $d(a,b,p,ε)$ is established and the ``almost extremal'' function is found.

Weighted Hardy Inequality in $l_2$

2026-06-08T05:46:21Z

We study the behaviour of the smallest possible constant $d_n$ in weighted Hardy inequality $$ \sum_{k=1}^{n}\Big(\frac{1}{k}\sum_{j=1}^{k}a_j\Big)^2 k^ε\le d(n,ε)\,\sum_{k=1}^{n}{a_k^2}\,k^ε$$ The exact rate of convergence of $d_n$ is established and the ``almost extremal'' sequence is found.