arXiv subjects
Publications and source records attributed to Xiaoheng Wang.
We develop geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field. We apply these techniques to bound the average ranks and determine average Selmer group sizes of elliptic curves and Jacobians of hyperelliptic curves over any base global field $F$ of characteristic not $2$, $3$ or $5$.
We develop geometry-of-numbers methods to count orbits in prehomogeneous vector spaces having bounded invariants over any global field. As our primary example, we apply these techniques to determine, for any base global field $F$, the density of discriminants of field extensions of degree at most 5 over $F$.
Large language models (LLMs) have demonstrated impressive capabilities across a wide range of reasoning tasks, including logical and mathematical problem-solving. While prompt-based methods like Chain-of-Thought (CoT) can enhance LLM reasoning abilities to some extent, they often suffer from a lack of faithfulness, where the derived conclusions may not align with the generated reasoning chain. To address this issue, researchers have explored neuro-symbolic approaches to bolster LLM logical reasoning capabilities. However, existing neuro-symbolic methods still face challenges with information loss during the process. To overcome these limitations, we introduce Iterative Feedback-Driven Neuro-Symbolic (IFDNS), a novel prompt-based method that employs a multi-round feedback mechanism to address LLM limitations in handling complex logical relationships. IFDNS utilizes iterative feedback during the logic extraction phase to accurately extract causal relationship statements and translate them into propositional and logical implication expressions, effectively mitigating information loss issues. Furthermore, IFDNS is orthogonal to existing prompt methods, allowing for seamless integration with various prompting approaches. Empirical evaluations across six datasets demonstrate the effectiveness of IFDNS in significantly improving the performance of CoT and Chain-of-Thought with Self-Consistency (CoT-SC). Specifically, IFDNS achieves a +9.40% accuracy boost for CoT on the LogiQA dataset and a +11.70% improvement for CoT-SC on the PrOntoQA dataset.
In this paper, we consider the family of monic polynomials with prime coefficients and the family of all polynomials with prime coefficients. We determine the number of $f(x)$ in each of these families having: squarefree discriminant; $\mathbb{Z}[x]/(f(x))$ as the maximal order in $\mathbb{Q}[x]/(f(x))$.
We prove an improvement on Schmidt's upper bound on the number of number fields of degree $n$ and absolute discriminant less than X for $6 \leq n \leq 94$. We carry this out by improving and applying a uniform bound on the number of monic integer polynomials, having bounded height and discriminant divisible by a large square, that we proved in a previous work.
We determine the density of integral binary forms of given degree that have squarefree discriminant, proving for the first time that the lower density is positive. Furthermore, we determine the density of integral binary forms that cut out maximal orders in number fields. The latter proves, in particular, an ``arithmetic Bertini theorem'' conjectured by Poonen for $\mathbb{P}^1_\mathbb{Z}$. Our methods also allow us to prove that there are $\gg X^{1/2+1/(n-1)}$ number fields of degree~$n$ having associated Galois group~$S_n$ and absolute discriminant less than $X$, improving the best previously known lower bound of $\gg X^{1/2+1/n}$. Finally, our methods correct an error in and thus resurrect earlier (retracted) results of Nakagawa on lower bounds for the number of totally unramified $A_n$-extensions of quadratic number fields of bounded discriminant.
We determine the density of monic integer polynomials of given degree $n>1$ that have squarefree discriminant; in particular, we prove for the first time that the lower density of such polynomials is positive. Similarly, we prove that the density of monic integer polynomials $f(x)$, such that $f(x)$ is irreducible and $\mathbb Z[x]/(f(x))$ is the ring of integers in its fraction field, is positive, and is in fact given by $ζ(2)^{-1}$. It also follows from our methods that there are $\gg X^{1/2+1/n}$ monogenic number fields of degree $n$ having associated Galois group $S_n$ and absolute discriminant less than $X$, and we conjecture that the exponent in this lower bound is optimal.
In this article, we prove that the density of integers $a, b$ such that $a^4+b^3$ is squarefree, when ordered by $\max\{|a|^{1/3},|b|^{1/4}\}$, equals the conjectured product of the local densities. We show that the same is true for polynomials of the form $βa^4 + αb^3$ for any fixed integers $α$ and $β$. We give an exact count for the number of pairs $(a,b)$ of integers with $\max\{|a|^{1/3},|b|^{1/4}\}<X$ such that $βa^4 + αb^3$ is squarefree, with a power-saving error term.
In this article, we study the family of elliptic curves $E/\mathbb{Q}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the ratio $Δ(E)/C(E)$ is squarefree; and second, the set of elliptic curves $E$ such that $Δ(E)/C(E)$ is bounded by a small power $(<3/4)$ of $C(E)$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the $2$-Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is $3$. This implies that the average rank of these elliptic curves is finite, and bounded by $1.5$.
A hyperelliptic curve over $\mathbb Q$ is called "locally soluble" if it has a point over every completion of $\mathbb Q$. In this paper, we prove that a positive proportion of hyperelliptic curves over $\mathbb Q$ of genus $g\geq 1$ are locally soluble but have no points over any odd degree extension of $\mathbb Q$. We also obtain a number of related results. For example, we prove that for any fixed odd integer $k > 0$, the proportion of locally soluble hyperelliptic curves over $\mathbb Q$ of genus $g$ having no points over any odd degree extension of $\mathbb Q$ of degree at most $k$ tends to 1 as $g$ tends to infinity. We also show that the failures of the Hasse principle in these cases are explained by the Brauer-Manin obstruction. Our methods involve a detailed study of the geometry of pencils of quadrics over a general field of characteristic not equal to 2, together with suitable arguments from the geometry of numbers.
In [5], Manjul Bhargava and Benedict Gross considered the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational Weierstrass point. They showed that the average size of the 2-Selmer group of the Jacobians of these curves, when ordered by height, is 3. In this paper, we consider the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational non-Weierstrass point. We show that when these curves are ordered by height, the average size of the 2-Selmer group of their Jacobians is 6. This yields an upper bound of 5/2 on the average rank of the Mordell-Weil group of the Jacobians of these hyperelliptic curves. Finally using an equidistribution result, we modify the techniques of [16] to conclude that as $g$ tends to infinity, a proportion tending to 1 of these monic even-degree hyperelliptic curves having genus $g$ have exactly two rational points - the marked point at infinity and its hyperelliptic conjugate.
Let $k$ be a field, let $G$ be a reductive group, and let $V$ be a linear representation of $G$. Let $V//G = Spec(Sym(V^*))^G$ denote the geometric quotient and let $π: V \to V//G$ denote the quotient map. Arithmetic invariant theory studies the map $π$ on the level of $k$-rational points. In this article, which is a continuation of the results of our earlier paper "Arithmetic invariant theory", we provide necessary and sufficient conditions for a rational element of $V//G$ to lie in the image of $π$, assuming that generic stabilizers are abelian. We illustrate the various scenarios that can occur with some recent examples of arithmetic interest.
The geometry of the Fano scheme of maximal linear spaces contained in the base locus of a pencil of quadrics has been studied by algebraic geometers when the base field is algebraically closed. In this paper, we work over an arbitrary base field of characteristic not equal to 2 and show how these Fano schemes are related to the Jacobians of hyperelliptic curves. In particular, if $B$ is the base locus of a generic pencil of quadrics in $\bbp^{2n+1}$, and $F$ is the Fano variety of $n - 1$ planes contained in $B$, then $F$ is a component of a disconnected commutative algebraic group $G = \picz(C) \dcup F \dcup \pico(C) \dcup F'$, where $C$ is the hyperelliptic curve defined by the discriminant form of the pencil. In the second half of this paper, we study regular pencils of quadrics, where the hyperelliptic curve defined by the discriminant is singular.