Searcharxiv⌕ Search

arXiv subjects

Polona Durcik

Publications and source records attributed to Polona Durcik.

At least 19 recordsLinked to original sources

A weak Hellinger inequality for noisy Boolean channels

A weak form of the Hellinger conjecture of Anantharam, Bogdanov, Chakrabarti, Jayram, and Nair for the binary symmetric channel is proved: dictator functions maximize Hellinger $Φ$-entropy among all Boolean functions of the input and all one-bit statistics of the output of a noisy channel. The technical heart of the matter is an explicit inequality in three real parameters, which is proved using explicit polynomial approximations and computer-assisted positivity checks. The results are also formally verified in Lean 4.

cs.IT↗

Sharp isoperimetric inequalities on the Hamming cube near the critical exponent

An isoperimetric inequality on the Hamming cube for exponents $β\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $β\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the critical exponent $β=0.5$, including a bound that is asymptotically sharp for small subsets. A key ingredient is a new Bellman-type function involving the Gaussian isoperimetric profile which appears to be a good approximation of the true envelope function. Verification uses computer-assisted proofs and interval arithmetic. Applications include progress towards a conjecture of Kahn and Park as well as sharp Poincaré inequalities for Boolean-valued functions near $L^1$.

math.CA↗

A blueprint for the formalization of norm-variation of multiple ergodic averages for commuting transformations

This blueprint serves as a companion to a forthcoming, shorter traditional mathematical paper. The purpose of this blueprint is two-fold: first, it has served as the foundation for a formalization in Lean 4 of these results. This formalization has been completed largely automatically, making essential use of current frontier large language models. Second, it will serve as a resource to readers of the main paper who are interested in further technical details of the proofs. The main result concerns norm-variation estimates for multiple ergodic averages associated with $n\ge 2$ commuting measure preserving transformations, providing a quantitative strengthening of Tao's norm-convergence theorem and answering an open question of Avigad and Rute. At the core of the analysis lies an explicit real-variable estimate for twisted multilinear averages that is closely related to certain singular Brascamp--Lieb inequalities.

math.DS↗

The shifted bilinear Hilbert transform

We prove $L^p$ estimates for the shifted bilinear Hilbert transform, with a polylogarithmic bound in the size of the shift. As applications, we obtain $r$-variation estimates for bilinear ergodic averages in the sharp range $r > 2$, a sharp bilinear Hörmander multiplier theorem, and a $\log$-Dini theorem for bilinear singular integrals.

math.CA↗

Sharp isoperimetric inequalities on the Hamming cube II: The critical exponent

A sharp isoperimetric inequality for the Hamming cube is proved at the critical exponent $β=\frac12$. This follows up on previous work, where such bounds were established for $β$ near $\frac12$. As a consequence, this result settles a conjecture of Kahn and Park on cube partitions and yields a sharp $L^1$ Poincaré inequality for Boolean-valued functions. It also confirms a low-noise limit for balanced functions predicted by the Hellinger conjecture on noisy Boolean channels in information theory.

math.CA↗

Norm-variation of cubic ergodic averages

We prove a quantitative result on norm convergence of cubic ergodic averages with respect to $d\geq 1$ commuting measure-preserving transformations. We use harmonic analysis techniques, a key tool being estimates for singular Brascamp-Lieb forms with cubical structure, which are used as a black box.

math.DS↗

Norm-variation of triple ergodic averages for commuting transformations

We prove an $r$-variation estimate, $r>4$, in the norm for ergodic averages with respect to three commuting transformations. It is not known whether such estimates hold for all $r\ge 2$ as in the analogous cases for one or two commuting transformations, or whether such estimates hold for any $r<\infty$ for more than three commuting transformations.

math.CA↗

On trilinear singular Brascamp-Lieb integrals

We classify all trilinear singular Brascamp-Lieb forms, completing the classification in the two dimensional case by Demeter and Thiele in arXiv:0803.1268. We use known results in the representation theory of finite dimensional algebras, namely the classification of indecomposable representations of the four subspace quiver. Our classification lays out a roadmap for achieving bounds for all degenerate higher dimensional bilinear Hilbert transforms. As another step towards this goal, we prove new bounds for a particular class of forms that arises as a natural next candidate from our classification. We further prove conditional bounds for forms associated with mutually related representations. For this purpose we develop a method of rotations that allows us to decompose any homogeneous $d$-dimensional singular integral kernel into $(d-1)$-dimensional kernels on hyperplanes.

math.CA↗

Dimension-free estimates for low degree functions on the Hamming cube

The main result of this paper are dimension-free $L^p$ inequalities, $1 2,$ $\varepsilon>0,$ and $θ=θ(\varepsilon,p)\in (0,1)$ satisfying \[ \frac{1}{p}=\fracθ{p+\varepsilon}+\frac{1-θ}{2} \] we obtain, for any function $f:\{-1,1\}^n\to \mathbb{C}$ whose spectrum is bounded from above by $d,$ the Bernstein-Markov type inequalities \[\|Δ^k f\|_{p} \le C(p,\varepsilon)^k \,d^k\, \|f\|_{2}^{1-θ}\|f\|_{p+\varepsilon}^θ,\qquad k\in \mathbb{N}.\] Analogous inequalities are also proved for $p\in (1,2)$ with $p-\varepsilon$ replacing $p+\varepsilon.$ As a corollary, if $f$ is Boolean-valued or $f\colon \{-1,1\}^n\to \{-1,0,1\},$ we obtain the bounds \[\|Δ^k f\|_{p} \le C(p)^k \,d^k\, \|f\|_p,\qquad k\in \mathbb{N}.\] At the endpoint $p=\infty$ we provide counterexamples for which a linear growth in $d$ does not suffice when $k=1$. We also obtain a counterpart of this result on tail spaces. Namely, for $p>2$ we prove that any function $f:\{-1,1\}^n\to \mathbb{C}$ whose spectrum is bounded from below by $d$ satisfies the upper bound on the decay of the heat semigroup $$ \|e^{-tΔ}f\|_{p} \le \exp(-c(p,\varepsilon) td) \|f\|_{2}^{1-θ}\|f\|_{p+\varepsilon}^θ,\qquad t>0,$$ and an analogous estimate for $p\in (1,2).$ The constants $c(p,\varepsilon)$ and $C(p,\varepsilon)$ depend only on $p$ and $\varepsilon$; crucially, they are independent of the dimension $n$.

math.FA↗

An uncountable ergodic Roth theorem and applications

We establish an uncountable amenable ergodic Roth theorem, in which the acting group is not assumed to be countable and the space need not be separable. This generalizes a previous result of Bergelson, McCutcheon and Zhang, and complements a result of Zorin-Kranich. We establish the following two additional results: First, a combinatorial application about triangular patterns in certain subsets of the Cartesian square of arbitrary amenable groups, extending a result of Bergelson, McCutcheon and Zhang for countable amenable groups. Second, a new uniformity aspect in the double recurrence theorem for $Γ$-systems for arbitrary uniformly amenable groups $Γ$. Our uncountable Roth theorem is crucial in the proof of both of these results.

math.DS↗

A strong-type Furstenberg-Sárközy theorem for sets of positive measure

For every $β\in(0,\infty)$, $β\neq 1$ we prove that a positive measure subset $A$ of the unit square contains a point $(x_0,y_0)$ such that $A$ nontrivially intersects curves $y-y_0 = a (x-x_0)^β$ for a whole interval $I\subseteq(0,\infty)$ of parameters $a\in I$. A classical Nikodym set counterexample prevents one to take $β=1$, which is the case of straight lines. Moreover, for a planar set $A$ of positive density we show that the interval $I$ can be arbitrarily large on the logarithmic scale. These results can be thought of as Bourgain-style large-set variants of a recent continuous-parameter Sárközy-type theorem by Kuca, Orponen, and Sahlsten.

math.CA↗

A new proof of an inequality of Bourgain

The purpose of this short note is to demonstrate how some techniques from additive combinatorics recently developed by Peluse and Peluse-Prendiville can be applied to give an alternative proof for a trilinear smoothing inequality originally due to Bourgain.

math.CA↗

Local bounds for singular Brascamp-Lieb forms with cubical structure

We prove a range of $L^p$ bounds for singular Brascamp-Lieb forms with cubical structure. We pass through sparse and local bounds, the latter proved by an iteration of Fourier expansion, telescoping, and the Cauchy-Schwarz inequality. We allow $2^{m-1}<p\le \infty$ with $m$ the dimension of the cube, extending an earlier result that required $p=2^m$. The threshold $2^{m-1}$ is sharp in our theorems.

math.CA↗

Quantitative bounds for product of simplices in subsets of the unit cube

For each $1\leq i \le n$, let $k_i\geq 1$ and let $Δ_i$ be a set of vertices of a non-degenerate simplex of $k_i+1$ points in $\mathbb{R}^{k_i+1}$. If $A\subseteq [0,1]^{k_1+1}\times \cdots \times [0,1]^{k_n+1}$ is a Lebesgue measurable set of measure at least $δ$, we show that there exists an interval $I=I(Δ_1,\ldots, Δ_n,A)$ of length at least $\exp(-δ^{-C(Δ_1,\ldots, Δ_n)})$ such that for each $λ\in I$, the set $A$ contains $Δ'_1\times \cdots \times Δ'_n$, where each $Δ_i'$ is an isometric copy of $λΔ_i$. This is a quantitative improvement of a result by Lyall and Magyar. Our proof relies on harmonic analysis. The main ingredient in the proof are cancellation estimates for forms similar to multilinear singular integrals associated with $n$-partite $n$-regular hypergraphs.

math.CO↗

Averages of simplex Hilbert transforms

We study a multilinear singular integral obtained by taking averages of simplex Hilbert transforms. This multilinear form is also closely related to Calderón commutators and the twisted paraproduct. We prove $L^p$ bounds in dimensions two and three and give a conditional result valid in all dimensions.

math.CA↗

Pointwise convergence of certain continuous-time double ergodic averages

We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient of the proof comes from recent work on multilinear singular integrals; more specifically, from the study of a curved model for the triangular Hilbert transform.

math.DS↗

Trilinear smoothing inequalities and a variant of the triangular Hilbert transform

Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct. The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane.

math.CA↗

A Szemerédi-type theorem for subsets of the unit cube

We investigate gaps of $n$-term arithmetic progressions $x, x+y, \ldots, x+(n-1)y$ inside a positive measure subset $A$ of the unit cube $[0,1]^d$. If lengths of their gaps $y$ are evaluated in the $\ell^p$-norm for any $p$ other than $1, 2, \ldots, n-1$, and $\infty$, and if the dimension $d$ is large enough, then we show that the numbers $\|y\|_{\ell^p}$ attain all values from an interval, the length of which depends only on $n$, $p$, $d$, and the measure of $A$. Known counterexamples prevent generalizations of this result to the remaining values of the exponent $p$. We also give an explicit bound for the length of the aforementioned interval. The proof makes the bound depend on the currently available bounds in Szemerédi's theorem on the integers, which are used as a black box. A key ingredient of the proof are power-type cancellation estimates for operators resembling the multilinear Hilbert transforms. As a byproduct of the approach we obtain a quantitative improvement of the corresponding (previously known) result for side lengths of $n$-dimensional cubes with vertices lying in a positive measure subset of $([0,1]^2)^n$.

math.CA↗