Researcher profile

Xuancheng Shao

Xuancheng Shao contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

preprint2026arXiv

Burgess-type character sum estimates over generalized arithmetic progressions of rank $2$

We extend the classical Burgess estimates to character sums over proper generalized arithmetic progressions (GAPs) of rank $2$ in prime fields $\mathbb{F}_p$. The core of our proof is a sharp upper bound for the multiplicative energy of these sets, established by adapting an argument of Konyagin and leveraging tools from the geometry of numbers. A key step in our argument involves establishing new upper bounds for the sizes of Bohr sets, which may be of independent interest.

preprint2021arXiv

Singmaster's conjecture in the interior of Pascal's triangle

Singmaster&#39;s conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal&#39;s triangle; that is, for any natural number $t \geq 2$, the number of solutions to the equation $\binom{n}{m} = t$ for natural numbers $1 \leq m < n$ is bounded. In this paper we establish this result in the interior region $\exp(\log^{2/3+\varepsilon} n) \leq m \leq n-\exp(\log^{2/3 + \varepsilon} n)$ for any fixed $\varepsilon > 0$. Indeed, when $t$ is sufficiently large depending on $\varepsilon$, we show that there are at most four solutions (or at most two in either half of Pascal&#39;s triangle) in this region. We also establish analogous results for the equation $(n)_m = t$, where $(n)_m := n(n-1)\ldots(n-m+1)$ denotes the falling factorial.

preprint2020arXiv

A robust version of Freiman&#39;s $3k-4$ Theorem and applications

We prove a robust version of Freiman&#39;s $3k - 4$ theorem on the restricted sumset $A+_ΓB$, which applies when the doubling constant is at most $\tfrac{3+\sqrt{5}}{2}$ in general and at most $3$ in the special case when $A = -B$. As applications, we derive robust results with other types of assumptions on popular sums, and structure theorems for sets satisfying almost equalities in discrete and continuous versions of the Riesz-Sobolev inequality.

preprint2015arXiv

Narrow arithmetic progressions in the primes

We study arithmetic progressions in primes with common differences as small as possible. Tao and Ziegler showed that, for any $k \geq 3$ and $N$ large, there exist non-trivial $k$-term arithmetic progressions in (any positive density subset of) the primes up to $N$ with common difference $O((\log N)^{L_k})$, for an unspecified constant $L_k$. In this work we obtain this statement with the precise value $L_k = (k-1) 2^{k-2}$. This is achieved by proving a relative version of Szemerédi&#39;s theorem for narrow progressions requiring simpler pseudorandomness hypotheses in the spirit of recent work of Conlon, Fox, and Zhao.

preprint2015arXiv

When the sieve works II

For a set of primes $\mathcal{P}$, let $Ψ(x, \mathcal{P})$ be the number of positive integers $n \leq x$ all of whose prime factors lie in $\mathcal{P}$. In this paper we classify the sets of primes $\mathcal{P}$ such that $Ψ(x, \mathcal{P})$ is within a constant factor of its expected value. This task was recently initiated by Granville, Koukoulopoulos and Matomäki and their main conjecture is proved in this paper. In particular our main theorem implies that, if not too many large primes are sieved out in the sense that \[ \sum_{\substack{p \in \mathcal{P} \\ x^{1/v} < p \leq x^{1/u}}} \frac{1}{p} \geq \frac{1 + \varepsilon}{u}, \] for some $\varepsilon > 0$ and $v \geq u \geq 1$, then \[ Ψ(x, \mathcal{P}) \gg_{\varepsilon, v} x \prod_{\substack{p \leq x\\ p \notin\mathcal{P}}} \left(1 - \frac{1}{p}\right). \]

preprint2014arXiv

On an inverse ternary Goldbach problem

We prove an inverse ternary Goldbach-type result. Let $N$ be sufficiently large and $c>0$ be sufficiently small. If $A_1,A_2,A_3\subset [N]$ are subsets with $|A_1|,|A_2|,|A_3|\geq N^{1/3-c}$, then $A_1+A_2+A_3$ contains a composite number. This improves on the bound $N^{1/3}$ from Gallagher&#39;s larger sieve. The main ingredients in our argument include a type of inverse sieve result in the larger sieve regime, and a variant of the analytic large sieve inequality.

preprint2014arXiv

Polynomial values modulo primes on average and sharpness of the larger sieve

This paper is motivated by the following question in sieve theory. Given a subset $X\subset [N]$ and $α\in (0,1/2)$. Suppose that $|X\pmod p|\leq (α+o(1))p$ for every prime $p$. How large can $X$ be? On the one hand, we have the bound $|X|\ll_αN^α$ from Gallagher&#39;s larger sieve. On the other hand, we prove, assuming the truth of an inverse sieve conjecture, that the bound above can be improved (for example, to $|X|\ll_αN^{O(α^{2014})}$ for small $α$). The result follows from studying the average size of $|X\pmod p|$ as $p$ varies, when $X=f(\mathbb{Z})\cap [N]$ is the value set of a polynomial $f(x)\in\mathbb{Z}[x]$.

preprint2013arXiv

A New Proof of Vinogradov&#39;s Three Primes Theorem

We give a new proof of Vinogradov&#39;s three primes theorem, which asserts that all sufficiently large odd positive integers can be written as the sum of three primes. Existing proofs rely on the theory of L-functions, either explicitly or implicitly. Our proof uses instead a transference principle, the idea of which was first developed by Green. To make our argument work, we also develop an additive combinatorial result concerning popular sums, which may be of independent interest.

preprint2013arXiv

Finding linear patterns of complexity one

We study the following generalization of Roth&#39;s theorem for 3-term arithmetic progressions. For s>1, define a nontrivial s-configuration to be a set of s(s+1)/2 integers consisting of s distinct integers x_1,...,x_s as well as all the averages (x_i+x_j)/2. Our main result states that if a set A contained in {1,2,...,N} has density at least (log N)^{-c(s)} for some positive constant c(s)>0 depending on s, then A contains a nontrivial s-configuration. We also deduce, as a corollary, an improvement of a problem involving sumfree subsets.

preprint2012arXiv

On Character Sums and Exponential Sums over Generalized Arithmetic Progressions

We study upper bounds for sums of Dirichlet characters. We prove a uniform upper bound of the character sum over all proper generalized arithmetic progressions, which generalizes the classical Polya and Vinogradov inequality. Our argument is based on getting an upper bound for the l1 norm of the Fourier coefficients of a generalized arithmetic progression. Our method also applies to give upper bounds for polynomial exponential sums.

preprint2009arXiv

Visibility graphs and deformations of associahedra

The associahedron is a convex polytope whose face poset is based on nonintersecting diagonals of a convex polygon. In this paper, given an arbitrary simple polygon P, we construct a polytopal complex analogous to the associahedron based on convex diagonalizations of P. We describe topological properties of this complex and provide realizations based on secondary polytopes. Moreover, using the visibility graph of P, a deformation space of polygons is created which encapsulates substructures of the associahedron.