arXiv subjects
Publications and source records attributed to Likun Xie.
In this paper, we obtain a lower bound for the number of primes $p\leq x$ such that $p-1$ is a sum of two squares and $p+2$ has a bounded number of prime factors. The proof uses the vector sieve framework, involving a semi-linear sieve and a linear sieve.
We show that any $d$-dimensional local ring $A$ with a dualizing complex, $\mathrm{depth} A=d-1$, and cyclic deficiency module $K^{d-1}(A)$ admits a maximal Cohen--Macaulay module. It is constructed as the unique nonzero cohomology module of the cone of the derived morphism induced by a surjection $A\to K^{d-1}(A)$. When $A$ is quasi-Gorenstein, this module is identified with the first syzygy of the canonical module $ω_{A/xA}$, for any $x\in\operatorname{ann}_A K^{d-1}(A)$ that is regular on $A$. This recovers a theorem of Tavanfar and Shimomoto in the $3$-dimensional quasi-Gorenstein case with $K^2(A)\cong k$. We also give examples of section rings satisfying the hypotheses of our theorem.
We prove that every class in the narrow ray class group modulo an integral ideal $\mathfrak q$ of a fixed number field is represented by a product of three prime ideals of norm at most $ ( N\mathfrak q)^{\max(1,3α,4α_0)+κ} $ for any $κ>0$, where $α$ is the exponent in short character sum bounds for general non-principal ray class characters and $α_0$ comes from a bounded-order subconvexity input for Hecke $L$-functions. Wu's subconvexity bound gives the admissible choice $α=α_0=103/256$, hence the explicit bound $(N\mathfrak q)^{103/64+κ}$. This improves the previous $O_K((N\mathfrak q)^3)$-scale bound of Deshouillers, Gun, Ramaré, and Sivaraman. We also prove that a positive proportion of ray classes are represented by products of two prime ideals. The proof extends the multiplicative dense-model and transference framework of Matomäki--Teräväinen to narrow ray class groups.
We formulate a structural principle for finite $S_2$-objects: coherent $S_2$-sheaves and finitely generated graded $S_2$-modules decompose canonically according to the connected components in codimension $1$ of their support. This gives criteria relating indecomposability of $S_2$-objects to connectedness in codimension $1$ of their supports, and extends the Hochster--Huneke correspondences for complete local rings between connectedness in codimension $1$, indecomposability of canonical modules, and localness of the $S_2$-ifications. As a consequence, if $A$ is a local ring admitting a canonical module $ω_A$, there are canonical decompositions of both $ω_A$ and the $S_2$-ification $\operatorname{End}_A(ω_A)$ whose indecomposable summands are the canonical modules and $S_2$-ifications of the quotient rings associated to the connected components in codimension $1$. We then apply this viewpoint to the non-$S_2$ locus. For $A$ equidimensional and unmixed, this locus is naturally realized as $\operatorname{Supp}_A C$ via the $S_2$-ification sequence $0 \to A \to \operatorname{End}_A(ω_A) \to C \to 0$. The natural map between deficiency modules $K^{\dim C+1}(A)\to K^{\dim C}(C)$ identifies the canonical module $K^{\dim C}(C)$ with the $S_2$-hull of $K^{\dim C+1}(A)$. Under suitable conditions, this allows codimension-$1$ connectedness of the non-$S_2$ locus to be detected by the deficiency module $K^{\dim C+1}(A)$. We illustrate the theory with examples and apply it to codimension $2$ lattice ideals, obtaining connectedness-in-codimension-$1$ results for the non-$S_2$ loci of certain toric and lattice rings.
The sum $S(h,k):=\sum_{j=1}^{k-1}(-1)^{j+1+[hj/k]}$ appears in the modular transformation formulae of the classical theta function $\vartheta_3(z)$. The double sum $S(k) := \sum_{h=1}^{k-1}S(h,k)$ has a remarkable distribution of values. Although properties for $S(k)$ and a related sum can be established, several interesting conjectures are open.
Using Katz's equidistribution framework, we show that for any squarefree polynomial $f \in \mathbb{F}_q[t]$ of degree $n \ge 2$, every residue class modulo $f$ can be represented as a product of two monic irreducible polynomials of degree at most $n$, provided $q$ is sufficiently large in terms of $n$. This gives the function-field analogue of a conjecture of Erdős in the large-$q$ regime. Sawin previously proved this representation with stronger square-root cancellation via a higher-dimensional sheaf-theoretic construction. This note presents a one-dimensional argument that yields a natural $q^{-1/2}$ saving.
We prove lower bounds for the number of primes $p \leq N + b$ such that $p-b$ is divisible by $2^{k(N)}$ and has at most $k$ odd prime factors ($k \geq 2$), assuming $2^{k(N)} \leq N^θ$ for some $θ> 0$ depending on $k$. The proof uses a variant of Chen's method, weighted sieves, and Elliott's results on primes in arithmetic progressions with large power-factor moduli.
In 1988, Koblitz conjectured the infinitude of primes p for which |E(F_p)| is prime for elliptic curves E over Q, drawing an analogy with the twin prime conjecture. He also proposed studying the primality of |E(F_{p^l})| / |E(F_p)|, in parallel with the primality of (p^l - 1)/(p - 1). Motivated by these problems and earlier work on |E(F_p)|, we study the infinitude of primes p such that |E(F_{p^l})| / |E(F_p)| has a bounded number of prime factors for primes l >= 2, considering both CM and non-CM elliptic curves over Q. In the CM case, we focus on the curve y^2 = x^3 - x to address gaps in the literature and present a more concrete argument. The result is unconditional and applies Huxley's large sieve inequality for the associated CM field. In the non-CM case, analogous results follow under GRH via the effective Chebotarev density theorem. For the CM curve y^2 = x^3 - x, we further apply a vector sieve to combine the almost prime properties of |E(F_p)| and |E(F_{p^2})| / |E(F_p)|, establishing a lower bound for the number of primes p <= x for which |E(F_{p^2})| / 32 is a square-free almost prime. We also study cyclic subgroups of finite index in E(F_p) and E(F_{p^2}) for CM curves.
We derive a general formula for the product of two Dirichlet series that satisfy Hecke's functional equation. Several examples are provided to demonstrate the applicability of the formula. In addition, we discuss prior work on similar products and clarify certain issues arising in the existing literature.
We provide a simplified proof of a theorem proved by Tavanfar and Shimomoto which states that a quasi-Gorenstein deformation of a $3$-dimensional quasi-Gorenstein local ring $(A,m,k)$ with $H^2_m(A)=k$ admits a small Cohen-Macaulay module.
We provide a proof of a conjecture made by Richard McIntosh in 1996 on the values of the Franel integrals, $$\int_0^1((ax))((bx))((cx))((ex))\,dx,$$ where $((x))$ is the first periodic Bernoulli function. Secondly, we extend our ideas to prove a similar theorem for $$\int_0^1((a_1x))((a_2x))\cdots ((a_{n}x))\,dx.$$ Lastly, we prove a further generalization in which $((x))$ is replaced by any particular Bernoulli function with odd index.
The Back-n white neutron beam line, which uses back-streaming white neutrons from the spallation target of the China Spallation Neutron Source, is used for nuclear data measurements. A Micromegas-based neutron detector with two variants was specially developed to measure the beam spot distribution for this beam line. In this article, the design, fabrication, and characterization of the detector are described. The results of the detector performance tests are presented, which include the relative electron transparency, the gain and the gain uniformity, and the neutron beam profile reconstruction capability. The result of the first measurement of the Back-n neutron beam spot distribution is also presented.
Differential and angle-integrated cross sections for the $^{10}$B($n, α$)$^{7}$Li, $^{10}$B($n, α$$_{0}$)$^{7}$Li and $^{10}$B($n, α$$_{1}$)$^{7}$Li$^{*}$ reactions have been measured at CSNS Back-n white neutron source. Two enriched (90%) $^{10}$B samples 5.0 cm in diameter and ~85.0 $μ$g/cm$^{2}$ in thickness each with an aluminum backing were prepared, and back-to-back mounted at the sample holder. The charged particles were detected using the silicon-detector array of the Light-charged Particle Detector Array (LPDA) system. The neutron energy E$_{n}$ was determined by TOF (time-of-flight) method, and the valid $α$ events were extracted from the E$_{n}$-Amplitude two-dimensional spectrum. With 15 silicon detectors, the differential cross sections of $α$-particles were measured from 19.2° to 160.8°. Fitted with the Legendre polynomial series, the ($n, α$) cross sections were obtained through integration. The absolute cross sections were normalized using the standard cross sections of the $^{10}$B($n, α$)$^{7}$Li reaction in the 0.3 - 0.5 MeV neutron energy region. The measurement neutron energy range for the $^{10}$B($n, α$)$^{7}$Li reaction is 1.0 eV $\le$ En < 2.5 MeV (67 energy points), and for the $^{10}$B($n, α$$_{0}$)$^{7}$Li and $^{10}$B($n, α$$_{1}$)$^{7}$Li$^{*}$ reactions is 1.0 eV $\le$ En < 1.0 MeV (59 energy points). The present results have been analyzed by the resonance reaction mechanism and the level structure of the $^{11}$B compound system, and compared with existing measurements and evaluations.