SearcharxivSearch

arXiv subjects

Daniel Hu

Publications and source records attributed to Daniel Hu.

6 recordsLinked to original sources

Modular forms and an explicit Chebotarev variant of the Brun-Titchmarsh theorem

We prove an explicit Chebotarev variant of the Brun--Titchmarsh theorem. This leads to explicit versions of the best-known unconditional upper bounds toward conjectures of Lang and Trotter for the coefficients of holomorphic cuspidal newforms. In particular, we prove that $$\lim_{x \to \infty} \frac{\#\{1 \leq n \leq x \mid \tau(n) \neq 0\}}{x} > 1-1.15 \times 10^{-12},$$ where $\tau(n)$ is Ramanujan's tau-function. This is the first known positive unconditional lower bound for the proportion of positive integers $n$ such that $\tau(n) \neq 0$.

math.NT

On a Mertens-type conjecture for number fields

We introduce a number field analogue of the Mertens conjecture and demonstrate its falsity for all but finitely many number fields of any given degree. We establish the existence of a logarithmic limiting distribution for the analogous Mertens function, expanding upon work of Ng. Finally, we explore properties of the generalized Mertens function of certain dicyclic number fields as consequences of Artin factorization.

math.NT

Order of Zeros of Dedekind Zeta Functions

Answering a question of Browkin, we provide a new unconditional proof that the Dedekind zeta function of a number field $L$ has infinitely many nontrivial zeros of multiplicity at least 2 if $L$ has a subfield $K$ for which $L/K$ is a nonabelian Galois extension. We also extend this to zeros of order 3 when $\operatorname{Gal}(L/K)$ has an irreducible representation of degree at least 3, as predicted by the Artin holomorphy conjecture.

math.NT

Learning Low-rank Deep Neural Networks via Singular Vector Orthogonality Regularization and Singular Value Sparsification

Modern deep neural networks (DNNs) often require high memory consumption and large computational loads. In order to deploy DNN algorithms efficiently on edge or mobile devices, a series of DNN compression algorithms have been explored, including factorization methods. Factorization methods approximate the weight matrix of a DNN layer with the multiplication of two or multiple low-rank matrices. However, it is hard to measure the ranks of DNN layers during the training process. Previous works mainly induce low-rank through implicit approximations or via costly singular value decomposition (SVD) process on every training step. The former approach usually induces a high accuracy loss while the latter has a low efficiency. In this work, we propose SVD training, the first method to explicitly achieve low-rank DNNs during training without applying SVD on every step. SVD training first decomposes each layer into the form of its full-rank SVD, then performs training directly on the decomposed weights. We add orthogonality regularization to the singular vectors, which ensure the valid form of SVD and avoid gradient vanishing/exploding. Low-rank is encouraged by applying sparsity-inducing regularizers on the singular values of each layer. Singular value pruning is applied at the end to explicitly reach a low-rank model. We empirically show that SVD training can significantly reduce the rank of DNN layers and achieve higher reduction on computation load under the same accuracy, comparing to not only previous factorization methods but also state-of-the-art filter pruning methods.

cs.LG

Extreme Points on Circumconics Induced by Isogonal Conjugates in a Triangle

We first introduce a configuration of arbitrary isogonal conjugates related to a known property concerning the spiral center of two pairs of isogonal conjugates. We then consider a special case where two conics are tangent at exactly two points. Finally, we apply the discoveries made in both configurations to state a general result concerning the extreme points (those lying on either the major or minor axis) of certain circumconics of a triangle.

math.MG

Constructions in the Locus of Isogonal Conjugates in a Quadrilateral

Given fixed distinct points $A, B, C, D$, we examine properties of the locus of points $X$ for which $(XA, XC)$, $(XB, XD)$ are isogonal. This locus is a cubic curve circumscribing $ABCD$. We characterize all possible such cubics $\mathcal C \in \mathbb R^2$. These properties allow us to present constructions involving these cubics, such as intersections and tangent lines, using straightedge and compass.

math.HO