Source author record

Bochen Liu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
4topics
4close collaborators

Published work

5 publications

preprint2022arXiv

Mixed-norm of orthogonal projections and analytic interpolation on dimensions of measures

Suppose μ,νμ, ν are compactly supported Radon measures on Rd\mathbb{R}^d and V∈G(d,n)V\in G(d,n) is an nn-dimensional subspace. In this paper we systematically study the mixed-norm ∫∥πyμ∥Lp(G(d,n))q dν(y), ∀ p,q∈[1,∞),\int\|π^yμ\|_{L^p(G(d,n))}^q\,dν(y),\ \forall\,p,q\in[1,\infty), where πV:Rd→Vπ_V:\mathbb{R}^d\rightarrow V denotes the orthogonal projection and πyμ(V)=∫y+V⊥μ dHd−n=πVμ(πVy), if μ has continuous density.π^yμ(V)=\int_{y+V^\perp}μ\,d\mathcal{H}^{d-n}=π_Vμ(π_Vy),\ \text{if $μ$ has continuous density}. When n=d−1n=d-1 and p=qp=q, our result significantly improves a previous result of Orponen. In the proof we consider integer exponents first, then interpolate analytically, not only on p,qp,q, but also on dimensions of measures. We also introduce a new quantity called ss-amplitude, to present our results and illustrate our ideas. This mechanism provides new perspectives on operators with measures, thus has its own interest. We also give an alternative proof of a recent result of Dąbrowski, Orponen, Villa on ∥πVμ∥Lp(Hn×G(d,n))\|π_Vμ\|_{L^p(\mathcal{H}^n\times G(d,n))}. The following consequences are also interesting. ∙\bullet We discover jump discontinuities in the range of pp at the critical line segment {(sμ,sν)∈(0,d)2:sμ+sν=2n, 0<sν<n},\{(s_μ, s_ν)\in(0,d)^2: s_μ+s_ν=2n,\, 0<s_ν<n\},   \ \ where sμ,sνs_μ, s_ν are Frostman exponents of μ,νμ, ν respectiely. This is unexpected and surprising. ∙\bullet Given 1≤m≤d−11\leq m\leq d-1 and E,F⊂RdE, F\subset\mathbb{R}^d, we obtain dimensional threshold on whether there exists y∈Fy\in F such that γd,m{V∈G(d,m):V=Span⁡{x1−y,…,xm−y}:x1,…,xm∈E}>0.γ_{d,m}\{V\in G(d,m): V=\operatorname{Span}\{x_1-y,\dots,x_m-y\}: x_1,\dots,x_m\in E\}>0.   \ \ This generalizes the visibility problem (m=1m=1). In particular, when m>d2m>\frac{d}{2} and dim⁡HE\dim_{\mathcal{H}} E is large enough, the exceptional set has Hausdorff dimension 00.

preprint2020arXiv

Intersection between pencils of tubes, discretized sum-product, and radial projections

In this paper we prove the following results in the plane. They are related to each other, while each of them has its own interest. First we obtain an ε0ε_0-increment on intersection between pencils of δδ-tubes, under non-concentration conditions. In fact we show it is equivalent to the discretized sum-product problem, thus the ε0ε_0 follows from Bourgain's celebrated result. Then we prove a couple of new results on radial projections. We also discussion about the dependence of ε0ε_0 and make a new conjecture. A tube condition on Frostman measures, after careful refinement, is also given.

preprint2020arXiv

Spectral properties of some unions of linear spaces

We consider \textit{additive spaces}, consisting of two intervals of unit length or two general probability measures on R1{\mathbb R}^1, positioned on the axes in R2{\mathbb R}^2, with a natural additive measure ρρ. We study the relationship between the exponential frames, Riesz bases, and orthonormal bases of L2(ρ)L^2(ρ) and those of its component spaces. We find that the existence of exponential bases depends strongly on how we position our measures on R1{\mathbb R}^1. We show that non-overlapping additive spaces possess Riesz bases, and we give a necessary condition for overlapping spaces. We also show that some overlapping additive spaces of Lebesgue type have exponential orthonormal bases, while some do not. A particular example is the "L" shape at the origin, which has a unique orthonormal basis up to translations of the form {e2πi(λ1x1+λ2x2):(λ1,λ2)∈Λ}, \left\{e^{2 πi (λ_1 x_1 + λ_2 x_2)} : (λ_1, λ_2) \in Λ\right\}, where Λ={(n/2,−n/2)∣n∈Z}. Λ= \{ (n/2, -n/2) \mid n \in {\mathbb Z} \}.

preprint2016arXiv

An elementary approach to simplexes in thin subsets of Euclidean space

We prove that if the Hausdorff dimension of E⊂RdE \subset {\Bbb R}^d, d≥3d \ge 3, is greater than min⁡{dk+1k+1,d+k2},\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} \right\}, then the (k+12){k+1 \choose 2}-dimensional Lebesgue measure of Tk(E)T_k(E), the set of congruence classes of kk-dimensional simplexes with vertices in EE, is positive. This improves the best bounds previously known, decreasing the d+k+12\frac{d+k+1}{2} threshold obtained in Erdoğan-Hart-Iosevich (2012) to d+k2\frac{d+k}{2} via a different and conceptually simpler method. We also give a simpler proof of the d−d−12dd-\frac{d-1}{2d} threshold for dd-dimensional simplexes obtained in Greenleaf-Iosevich (2012), Grafakos-Greenleaf-Iosevich-Palsson (2015).

preprint2016arXiv

Equilateral triangles in subsets of Rd{\Bbb R}^d of large Hausdorff dimension

We prove that subsets of Rd{\Bbb R}^d, d≥4d \ge 4 of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two dimensions (see \cite{CLP14}). We show that no extra conditions are needed in dimensions four and higher. The three dimensional case remains open. Some interesting parallels exist between the triangle problem in Euclidean space and its counter-part in vector spaces over finite fields. We shall outline these similarities in hopes of eventually achieving a comprehensive understanding of this phenomenon in the setting of locally compact abelian groups.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.