Showing 1–8 of 8 results for author: Park, P S

Probability laws for the distribution of geometric lengths when sampling by a random walk in a Fuchsian fundamental group

Authors: Peter S. Park

Abstract: Let $S=Γ\backslash \mathbb{H}$ be a hyperbolic surface of finite topological type, such that the Fuchsian group $Γ\le \operatorname{PSL}_2(\mathbb{R})$ is non-elementary, and consider any generating set $\mathfrak S$ of $Γ$. When sampling by an $n$-step random walk in $π_1(S) \cong Γ$ with each step given by an element in $\mathfrak S$, the subset of this sampled set comprised of hyperbolic elemen… ▽ More Let $S=Γ\backslash \mathbb{H}$ be a hyperbolic surface of finite topological type, such that the Fuchsian group $Γ\le \operatorname{PSL}_2(\mathbb{R})$ is non-elementary, and consider any generating set $\mathfrak S$ of $Γ$. When sampling by an $n$-step random walk in $π_1(S) \cong Γ$ with each step given by an element in $\mathfrak S$, the subset of this sampled set comprised of hyperbolic elements approaches full measure as $n\to \infty$, and for this subset, the distribution of geometric lengths obeys a Law of Large Numbers, Central Limit Theorem, Large Deviations Principle, and Local Limit Theorem. We give a proof of this known theorem using Gromov's theorem on translation lengths of Gromov-hyperbolic groups. △ Less

Submitted 8 February, 2019; v1 submitted 10 July, 2018; originally announced July 2018.

Comments: Expository

MSC Class: 57M05; 53C22; 20F65; 60F05; 37D40

Conjugacy growth of commutators

Authors: Peter S. Park

Abstract: For the free group $F_r$ on $r>1$ generators (respectively, the free product $G_1 * G_2$ of two nontrivial finite groups $G_1$ and $G_2$), we obtain the asymptotic for the number of conjugacy classes of commutators in $F_r$ (respectively, $G_1 * G_2$) with a given word length in a fixed set of free generators (respectively, the set of generators given by the nontrivial elements of $G_1$ and $G_2$)… ▽ More For the free group $F_r$ on $r>1$ generators (respectively, the free product $G_1 * G_2$ of two nontrivial finite groups $G_1$ and $G_2$), we obtain the asymptotic for the number of conjugacy classes of commutators in $F_r$ (respectively, $G_1 * G_2$) with a given word length in a fixed set of free generators (respectively, the set of generators given by the nontrivial elements of $G_1$ and $G_2$). Our result is proven by using the classification of commutators in free groups and in free products by Wicks, and builds on the works of Rivin and Sharp, who asymptotically counted the conjugacy classes of commutator-subgroup elements in $F_r$ with a given word length. △ Less

Submitted 10 February, 2019; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: To appear in J. Algebra

MSC Class: 20F65; 20E45; 20E05; 20E06; 20H10; 05A16; 37F20; 37E35; 11D45

The "Riemann Hypothesis" is True for Period Polynomials of Almost All Newforms

Authors: Yang P. Liu, Peter S. Park, Zhuo Qun Song

Abstract: The period polynomial $r_f(z)$ for a weight $k \geq 3$ newform $f \in S_k(Γ_0(N),χ)$ is the generating function for special values of $L(s,f)$. The functional equation for $L(s, f)$ induces a functional equation on $r_f(z)$. Jin, Ma, Ono, and Soundararajan proved that for all newforms $f$ of even weight $k \ge 4$ and trivial nebetypus, the "Riemann Hypothesis" holds for $r_f(z)$: that is, all root… ▽ More The period polynomial $r_f(z)$ for a weight $k \geq 3$ newform $f \in S_k(Γ_0(N),χ)$ is the generating function for special values of $L(s,f)$. The functional equation for $L(s, f)$ induces a functional equation on $r_f(z)$. Jin, Ma, Ono, and Soundararajan proved that for all newforms $f$ of even weight $k \ge 4$ and trivial nebetypus, the "Riemann Hypothesis" holds for $r_f(z)$: that is, all roots of $r_f(z)$ lie on the circle of symmetry $|z| =1/\sqrt{N}$. We generalize their methods to prove that this phenomenon holds for all but possibly finitely many newforms $f$ of weight $k \ge 3$ with any nebentypus. We also show that the roots of $r_f(z)$ are equidistributed if $N$ or $k$ is sufficiently large. △ Less

Submitted 14 August, 2016; v1 submitted 15 July, 2016; originally announced July 2016.

Comments: 11 pages, to appear in Res. Math. Sci

MSC Class: 11F11; 11F67

Bounded Gaps Between Products of Distinct Primes

Authors: Yang P. Liu, Peter S. Park, Zhuo Qun Song

Abstract: Let $r \ge 2$ be an integer. We adapt the Maynard-Tao sieve to produce the asymptotically best-known bounded gaps between products of $r$ distinct primes. Our result applies to positive-density subsets of the primes that satisfy certain equidistribution conditions. This improves on the work of Thorne and Sono. Let $r \ge 2$ be an integer. We adapt the Maynard-Tao sieve to produce the asymptotically best-known bounded gaps between products of $r$ distinct primes. Our result applies to positive-density subsets of the primes that satisfy certain equidistribution conditions. This improves on the work of Thorne and Sono. △ Less

Submitted 1 June, 2017; v1 submitted 13 July, 2016; originally announced July 2016.

The van der Waerden complex

Authors: Richard Ehrenborg, Likith Govindaiah, Peter S. Park, Margaret Readdy

Abstract: We introduce the van der Waerden complex ${\rm vdW}(n,k)$ defined as the simplicial complex whose facets correspond to arithmetic progressions of length $k$ in the vertex set $\{1, 2, \ldots, n\}$. We show the van der Waerden complex ${\rm vdW}(n,k)$ is homotopy equivalent to a $CW$-complex whose cells asymptotically have dimension at most $\log k / \log \log k$. Furthermore, we give bounds on… ▽ More We introduce the van der Waerden complex ${\rm vdW}(n,k)$ defined as the simplicial complex whose facets correspond to arithmetic progressions of length $k$ in the vertex set $\{1, 2, \ldots, n\}$. We show the van der Waerden complex ${\rm vdW}(n,k)$ is homotopy equivalent to a $CW$-complex whose cells asymptotically have dimension at most $\log k / \log \log k$. Furthermore, we give bounds on $n$ and $k$ which imply that the van der Waerden complex is contractible. △ Less

Submitted 20 October, 2016; v1 submitted 2 May, 2016; originally announced May 2016.

MSC Class: 05; 11

Journal ref: J. Number Theory, 172 (2017), 287--300

Elliptic Curve Variants of the Least Quadratic Nonresidue Problem and Linnik's Theorem

Authors: Evan Chen, Peter S. Park, Ashvin Swaminathan

Abstract: Let $E_1$ and $E_2$ be $\overline{\mathbb{Q}}$-nonisogenous, semistable elliptic curves over $\mathbb{Q}$, having respective conductors $N_{E_1}$ and $N_{E_2}$ and both without complex multiplication. For each prime $p$, denote by $a_{E_i}(p) := p+1-\#E_i(\mathbb{F}_p)$ the trace of Frobenius. Under the assumption of the Generalized Riemann Hypothesis (GRH) for the convolved symmetric power $L$-fu… ▽ More Let $E_1$ and $E_2$ be $\overline{\mathbb{Q}}$-nonisogenous, semistable elliptic curves over $\mathbb{Q}$, having respective conductors $N_{E_1}$ and $N_{E_2}$ and both without complex multiplication. For each prime $p$, denote by $a_{E_i}(p) := p+1-\#E_i(\mathbb{F}_p)$ the trace of Frobenius. Under the assumption of the Generalized Riemann Hypothesis (GRH) for the convolved symmetric power $L$-functions $L(s, \mathrm{Sym}^i E_1\otimes\mathrm{Sym}^j E_2)$ where $i,j\in\{0,1,2\}$, we prove an explicit result that can be stated succinctly as follows: there exists a prime $p\nmid N_{E_1}N_{E_2}$ such that $a_{E_1}(p)a_{E_2}(p)<0$ and \[ p < \big( (32+o(1))\cdot \log N_{E_1} N_{E_2}\big)^2. \] This improves and makes explicit a result of Bucur and Kedlaya. Now, if $I\subset[-1,1]$ is a subinterval with Sato-Tate measure $μ$ and if the symmetric power $L$-functions $L(s, \mathrm{Sym}^k E_1)$ are functorial and satisfy GRH for all $k \le 8/μ$, we employ similar techniques to prove an explicit result that can be stated succinctly as follows: there exists a prime $p\nmid N_{E_1}$ such that $a_{E_1}(p)/(2\sqrt{p})\in I$ and \[ p < \left((21+o(1)) \cdot μ^{-2}\log (N_{E_1}/μ)\right)^2. \] △ Less

Submitted 26 January, 2016; v1 submitted 25 July, 2015; originally announced July 2015.

Comments: 30 pages

MSC Class: 11G05; 11R44; 14H52; 11N05; 11M41

Journal ref: Int. J. Number Theory, 2018, 14, 255-288

On Logarithmically Benford Sequences

Authors: Evan Chen, Peter S. Park, Ashvin Swaminathan

Abstract: Let $\mathcal{I} \subset \mathbb{N}$ be an infinite subset, and let $\{a_i\}_{i \in \mathcal{I}}$ be a sequence of nonzero real numbers indexed by $\mathcal{I}$ such that there exist positive constants $m, C_1$ for which $|a_i| \leq C_1 \cdot i^m$ for all $i \in \mathcal{I}$. Furthermore, let $c_i \in [-1,1]$ be defined by $c_i = \frac{a_i}{C_1 \cdot i^m}$ for each $i \in \mathcal{I}$, and suppose… ▽ More Let $\mathcal{I} \subset \mathbb{N}$ be an infinite subset, and let $\{a_i\}_{i \in \mathcal{I}}$ be a sequence of nonzero real numbers indexed by $\mathcal{I}$ such that there exist positive constants $m, C_1$ for which $|a_i| \leq C_1 \cdot i^m$ for all $i \in \mathcal{I}$. Furthermore, let $c_i \in [-1,1]$ be defined by $c_i = \frac{a_i}{C_1 \cdot i^m}$ for each $i \in \mathcal{I}$, and suppose the $c_i$'s are equidistributed in $[-1,1]$ with respect to a continuous, symmetric probability measure $μ$. In this paper, we show that if $\mathcal{I} \subset \mathbb{N}$ is not too sparse, then the sequence $\{a_i\}_{i \in \mathcal{I}}$ fails to obey Benford's Law with respect to arithmetic density in any sufficiently large base, and in fact in any base when $μ([0,t])$ is a strictly convex function of $t \in (0,1)$. Nonetheless, we also provide conditions on the density of $\mathcal{I} \subset \mathbb{N}$ under which the sequence $\{a_i\}_{i \in \mathcal{I}}$ satisfies Benford's Law with respect to logarithmic density in every base. As an application, we apply our general result to study Benford's Law-type behavior in the leading digits of Frobenius traces of newforms of positive, even weight. Our methods of proof build on the work of Jameson, Thorner, and Ye, who studied the particular case of newforms without complex multiplication. △ Less

Submitted 25 December, 2015; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: 10 pages

MSC Class: 11F11; 11N05

Journal ref: Proc. Amer. Math. Soc., 2016, 144, 4599-4608

Linnik's Theorem for Sato-Tate Laws on Elliptic Curves with Complex Multiplication

Authors: Evan Chen, Peter S. Park, Ashvin Swaminathan

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos θ_p$ for a unique $θ_p \in [0, π]$. In this paper, we prove that the least prime $p$ such that $θ_p \in [α, β] \subset [0, π]$ satisfies \[ p \ll \left(\frac{N_E}{β- α… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos θ_p$ for a unique $θ_p \in [0, π]$. In this paper, we prove that the least prime $p$ such that $θ_p \in [α, β] \subset [0, π]$ satisfies \[ p \ll \left(\frac{N_E}{β- α}\right)^A, \] where $N_E$ is the conductor of $E$ and the implied constant and exponent $A > 2$ are absolute and effectively computable. Our result is an analogue for CM elliptic curves of Linnik's Theorem for arithmetic progressions, which states that the least prime $p \equiv a \pmod q$ for $(a,q)=1$ satisfies $p \ll q^L$ for an absolute constant $L > 0$. △ Less

Submitted 14 October, 2015; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 11 pages; made minor modifications

MSC Class: 11F11; 14H52; 11M41; 11N05

Journal ref: Res. number theory (2015) 1: 28