Searcharxiv⌕ Search

arXiv subjects

Chun-Yen Shen

Publications and source records attributed to Chun-Yen Shen.

At least 55 records · Page 3Linked to original sources

A note on sharp weighted bound for Haar shift and multiplier

We provide elementary proofs for the terms that are left in the work of Kelly Bickel, Sandra Pott, Maria C. Reguera, Eric T. Sawyer, Brett D. Wick who proved the sharp weighted $A_2$ bound for Haar shifts and Haar multiplier. Our proofs use weighted square function estimate, Carleson embedding and Wilson's system.

math.CA↗

An integral arising from dyadic average of Riesz transforms

In the work of S. Petermichl, S. Treil and A. Volberg it was explicitly constructed that the Riesz transforms in any dimension $n \geq 2$ can be obtained as an average of dyadic Haar shifts provided that an integral is nonzero. It was shown in the paper that when $n=2$, the integral is indeed nonzero (negative) but for $n \geq 3$ the nonzero property remains unsolved. In this paper we show that the integral is nonzero (negative) for $n=3$. The novelty in our proof is the delicate decompositions of the integral for which we can either find their closed forms or prove an upper bound.

math.CA↗

On restriction estimates for the zero radius sphere over finite fields

In this paper, we solve completely the $L^2\to L^r$ extension conjecture for the zero radius sphere over finite fields. We also obtain the sharp $L^p\to L^4$ extension estimate for non-zero radii spheres over finite fields, which improves significantly the previous result of the first and second listed authors.

math.CA↗

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$-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$ 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$ and make a new conjecture. A tube condition on Frostman measures, after careful refinement, is also given.

math.CA↗

Extension and averaging operators for finite fields

In this paper we study $L^p-L^r$ estimates of both extension operators and averaging operators associated with the algebraic variety $S=\{x\in {\mathbb F}_q^d: Q(x)=0\}$ where $Q(x)$ is a nondegenerate quadratic form over the finite field ${\mathbb F}_q.$ In the case when $d\geq 3$ is odd and the surface $S$ contains a $(d-1)/2$-dimensional subspace, we obtain the exponent $r$ where the $L^2-L^r$ extension estimate is sharp. In particular, we give the complete solution to the extension problems related to specific surfaces $S$ in three dimension. In even dimensions $d\geq 2$, we also investigates the sharp $L^2-L^r$ extension estimate. Such results are of the generalized version and extension to higher dimensions for the conical extension problems which Mochenhaupt and Tao studied in three dimensions. The boundedness of averaging operators over the surface $S$ is also studied. In odd dimensions $d\geq 3$ we completely solve the problems for $L^p-L^r$ estimates of averaging operators related to the surface $S.$ On the other hand, in the case when $d\geq 2$ is even and $S$ contains a $d/2$-dimensional subspace, using our optimal $L^2-L^r$ results for extension theorems we, except for endpoints, have the sharp $L^p-L^r$ estimates of the averaging operator over the surface $S$ in even dimensions.

math.CA↗

Exponential sum estimates over prime fields

In this paper, we prove some extensions of recent results given by Shkredov and Shparlinski on multiple character sums for some general families of polynomials over prime fields. The energies of polynomials in two and three variables are our main ingredients.

math.NT↗

A two weight local Tb theorem for the Hilbert transform

We obtain a two weight local Tb theorem for any elliptic and gradient elliptic fractional singular integral operator T on the real line, and any pair of locally finite positive Borel measures on the line. This includes the Hilbert transform and in a sense improves on the T1 theorem by the authors and M. Lacey.

math.CA↗

Expanding phenomena over matrix rings

In this paper, we study expanding phenomena in the setting of matrix rings. More precisely, we will prove that If $A$ is a set of $M_2(\mathbb{F}_q)$ and $|A|\gg q^{7/2}$, then we have \[|A(A+A)|, ~|A+AA|\gg q^4.\] If $A$ is a set of $SL_2(\mathbb{F}_q)$ and $|A|\gg q^{5/2}$, then we have \[|A(A+A)|, ~|A+AA|\gg q^4.\] We also obtain similar results for the cases of $A(B+C)$ and $A+BC$, where $A, B, C$ are sets in $M_2(\mathbb{F}_q)$.

math.NT↗

A new bound on Erdős distinct distances problem in the plane over prime fields

In this paper we obtain a new lower bound on the Erdős distinct distances problem in the plane over prime fields. More precisely, we show that for any set $A\subset \mathbb{F}_p^2$ with $|A|\le p^{7/6}$, the number of distinct distances determined by pairs of points in $A$ satisfies $$ |Δ(A)| \gg |A|^{\frac{1}{2}+\frac{149}{4214}}.$$ Our result gives a new lower bound of $|Δ{(A)}|$ in the range $|A|\le p^{1+\frac{149}{4065}}$. The main tools we employ are the energy of a set on a paraboloid due to Rudnev and Shkredov, a point-line incidence bound given by Stevens and de Zeeuw, and a lower bound on the number of distinct distances between a line and a set in $\mathbb{F}_p^2$. The latter is the new feature that allows us to improve the previous bound due Stevens and de Zeeuw.

math.CO↗

Sum-product estimates over arbitrary finite fields

In this paper we prove some results on sum-product estimates over arbitrary finite fields. More precisely, we show that for sufficiently small sets $A\subset \mathbb{F}_q$ we have \[|(A-A)^2+(A-A)^2|\gg |A|^{1+\frac{1}{21}}.\] This can be viewed as the Erdős distinct distances problem for Cartesian product sets over arbitrary finite fields. We also prove that \[\max\{|A+A|, |A^2+A^2|\}\gg |A|^{1+\frac{1}{42}}, ~|A+A^2|\gg |A|^{1+\frac{1}{84}}.\]

math.NT↗

Expansion for the product of matrices in groups

In this paper, we give strong lower bounds on the size of the sets of products of matrices in some certain groups. More precisely, we prove an analogue of a result due to Chapman and Iosevich for matrices in $SL_2(\mathbb{F}_p)$ with restricted entries on a small set. We also provide extensions of some recent results on expansion for cubes in Heisenberg group due to Hegyvári and Hennecart.

math.NT↗

Two Weight Inequalities for the Cauchy Transform from $ \mathbb{R}$ to $ \mathbb{C}_+$

We characterize those pairs of weights $ σ$ on $ \mathbb{R}$ and $ τ$ on $ \mathbb{C}_+$ for which the Cauchy transform $\mathsf{C}_σ f (z) \equiv \int_{\mathbb{R}} \frac {f(x)} {x-z} \; σ(dx)$, $ z\in \mathbb{C}_+$, is bounded from $L ^2(\mathbb{R};σ)$ to $L ^{2}(\mathbb{C}_+; τ)$. The characterization is in terms of an $A_2$ condition on the pair of weights and testing conditions for the transform, extending the recent solution of the two weight inequality for the Hilbert transform. As corollaries of this result we derive (1) a characterization of embedding measures for the model space $K_\vartheta$, for arbitrary inner function $ \vartheta $, and (2) a characterization of the (essential) norm of composition operators mapping $K_\vartheta$ into a general class of Hardy and Bergman spaces.

math.CV↗

On the size of the set $AA+A$

It is established that there exists an absolute constant $c>0$ such that for any finite set $A$ of positive real numbers $$|AA+A| \gg |A|^{\frac{3}{2}+c}.$$ On the other hand, we give an explicit construction of a finite set $A \subset \mathbb R$ such that $|AA+A|=o(|A|^2)$, disproving a conjecture of Balog.

math.CO↗

Failure of necessity of the energy condition

We give an example of a pair of weights (u,v) on the line, and an elliptic convolution singular integral operator H on the line, such that H_u is bounded from L^2(u) to L^2(v), yet the measure pair (u,v) fails to satisfy the backward energy condition. The key to the construction is that the kernel K of H has flat spots where d/dx K(x) = 0. Conversely, we show that if H is gradient elliptic, i.e. d/dx K(x) =< c < 0, then the energy conditions are necessary for boundedness of H, and by our theorem in arXiv:1603.04332v2, the T1 theorem holds for H.

math.CA↗

Restricted averaging operators to cones over finite fields

We investigate the sharp L^p\to L^r estimates for the restricted averaging operator A_C over the cone C of the d-dimensional vector space F_q^d over the finite field F_q with q elements. The restricted averaging operator A_C for the cone C is defined by the relation that A_Cf=f\ast σ|_C, where σdenotes the normalized surface measure on the cone C, and f is a complex valued function on the space F_q^d with the normalized counting measure dx. In the previous work, the sharp boundedness of A_C was obtained in odd dimensions d\ge 3 but partial results were only given in even dimensions d\ge 4. In this paper we prove the optimal estimates in even dimensions d\ge 6 in the case when the cone C\subset F_q^d contains a d/2 dimensional subspace.

math.CA↗

A Good-Lambda Lemma, two weight T1 theorems without weak boundedness, and a two weight accretive global Tb theorem

The weak boundedness property associated with a standard alpha-fractional Calderon-Zygmund operator and a weight pair is good-lambda controlled by the testing conditions and the Muckenhoupt and energy side conditions. As a consequence, assuming the side conditions, we can eliminate the weak boundedness property from Theorem 1 of arXiv:1603.04332v2 to obtain that T is bounded if and only if the testing conditions hold for T and its dual (an earlier instance of this type of conclusion appears in Lacey and Wick arXiv:1312.6163v3). As a corollary we give a simple derivation of a two weight accretive global Tb theorem from a related T1 theorem. The role of two different parameterizations of the family of dyadic grids, by scale and by translation, is highlighted in simultaneously exploiting both goodness and NTV surgery with families of grids that are common to both measures.

math.CA↗