arXiv subjects

Jonathan Wang

Publications and source records attributed to Jonathan Wang.

25 records · Page 2Linked to original sources

arXiv2018

FLASH: Randomized Algorithms Accelerated over CPU-GPU for Ultra-High Dimensional Similarity Search

We present FLASH (\textbf{F}ast \textbf{L}SH \textbf{A}lgorithm for \textbf{S}imilarity search accelerated with \textbf{H}PC), a similarity search system for ultra-high dimensional datasets on a single machine, that does not require similarity computations and is tailored for high-performance computing platforms. By leveraging a LSH style randomized indexing procedure and combining it with several principled techniques, such as reservoir sampling, recent advances in one-pass minwise hashing, and count based estimations, we reduce the computational and parallelization costs of similarity search, while retaining sound theoretical guarantees. We evaluate FLASH on several real, high-dimensional datasets from different domains, including text, malicious URL, click-through prediction, social networks, etc. Our experiments shed new light on the difficulties associated with datasets having several million dimensions. Current state-of-the-art implementations either fail on the presented scale or are orders of magnitude slower than FLASH. FLASH is capable of computing an approximate k-NN graph, from scratch, over the full webspam dataset (1.3 billion nonzeros) in less than 10 seconds. Computing a full k-NN graph in less than 10 seconds on the webspam dataset, using brute-force ($n^2D$), will require at least 20 teraflops. We provide CPU and GPU implementations of FLASH for replicability of our results.

cs.DS↗

arXiv2017

On an invariant bilinear form on the space of automorphic forms via asymptotics

This article concerns the study of a new invariant bilinear form $\mathcal B$ on the space of automorphic forms of a split reductive group $G$ over a function field. We define $\mathcal B$ using the asymptotics maps from Bezrukavnikov-Kazhdan and Sakellaridis-Venkatesh, which involve the geometry of the wonderful compactification of $G$. We show that $\mathcal B$ is naturally related to miraculous duality in the geometric Langlands program through the functions-sheaves dictionary. In the proof, we highlight the connection between the classical non-Archimedean Gindikin-Karpelevich formula and certain factorization algebras acting on geometric Eisenstein series. We then give another definition of $\mathcal B$ using the constant term operator and the inverse of the standard intertwining operator. The form $\mathcal B$ defines an invertible operator $L$ from the space of compactly supported automorphic forms to a new space of "pseudo-compactly" supported automorphic forms. We give a formula for $L^{-1}$ in terms of pseudo-Eisenstein series and constant term operators which suggests that $L^{-1}$ is an analog of the Aubert-Zelevinsky involution.

math.NT↗

arXiv2016

On a strange invariant bilinear form on the space of automorphic forms

Let F be a global field and A its ring of adeles. Let G:=SL(2). We study the bilinear form B on the space of K-finite smooth compactly supported functions on G(A )/G(F) defined by the formula B (f,g):=B'(f,g)-(M^{-1}CT (f),CT (g)), where B' is the usual scalar product, CT is the constant term operator, and M is the standard intertwiner. This form is natural from the viewpoint of the geometric Langlands program. To justify this claim, we provide a dictionary between the classical and "geometric" theory of automorphic forms. We also show that the form B is related to S. Schieder's Picard-Lefschetz oscillators.

math.NT↗

arXiv2016

On the reductive monoid associated to a parabolic subgroup

Let $G$ be a connected reductive group over a perfect field $k$. We study a certain normal reductive monoid $\overline M$ associated to a parabolic $k$-subgroup $P$ of $G$. The group of units of $\overline M$ is the Levi factor $M$ of $P$. We show that $\overline M$ is a retract of the affine closure of the quasi-affine variety $G/U(P)$. Fixing a parabolic $P^-$ opposite to $P$, we prove that the affine closure of $G/U(P)$ is a retract of the affine closure of the boundary degeneration $(G \times G)/(P \times_M P^-)$. Using idempotents, we relate $\overline M$ to the Vinberg semigroup of $G$. The monoid $\overline M$ is used implicitly in the study of stratifications of Drinfeld's compactifications of the moduli stacks $\mathrm{Bun}_P$ and $\mathrm{Bun}_G$.

math.AG↗

arXiv2015

Radon inversion formulas over local fields

Let $F$ be a local field and $n\ge 2$ an integer. We study the Radon transform as an operator $M : \mathcal C_+ \to \mathcal C_-$ from the space of smooth $K$-finite functions on $F^n \setminus \{0\}$ with bounded support to the space of smooth $K$-finite functions on $F^n \setminus \{0\}$ supported away from a neighborhood of $0$. These spaces naturally arise in the theory of automorphic forms. We prove that $M$ is an isomorphism and provide formulas for $M^{-1}$. In the real case, we show that when $K$-finiteness is dropped from the definitions, the analog of $M$ is not surjective.

math.RT↗

arXiv2014

A new Fourier transform

In order to define a geometric Fourier transform, one usually works with either $\ell$-adic sheaves in characteristic $p>0$ or with $D$-modules in characteristic 0. If one considers $\ell$-adic sheaves on the stack quotient of a vector bundle $V$ by the homothety action of $\mathbb{G}_m$, however, Laumon provides a uniform geometric construction of the Fourier transform in any characteristic. The category of sheaves on $[V/\mathbb{G}_m]$ is closely related to the category of (unipotently) monodromic sheaves on $V$. In this article, we introduce a new functor, which is defined on all sheaves on $V$ in any characteristic, and we show that it restricts to an equivalence on monodromic sheaves. We also discuss the relation between this new functor and Laumon's homogeneous transform, the Fourier-Deligne transform, and the usual Fourier transform on $D$-modules (when the latter are defined).

math.AG↗

arXiv2011

The moduli stack of $G$-bundles

In this paper, we give an expository account of the geometric properties of the moduli stack of $G$-bundles. For $G$ an algebraic group over a base field and $X \to S$ a flat, finitely presented, projective morphism of schemes, we give a complete proof that the moduli stack $Bun_G$ is an algebraic stack locally of finite presentation over $S$ with schematic, affine diagonal. In the process, we prove some properties of $BG$ and Hom stacks. We then define a level structure on $Bun_G$ to provide alternative presentations of quasi-compact open substacks. Finally, we prove that $Bun_G$ is smooth over $S$ if $G$ is smooth and $X \to S$ is a relative curve.

math.AG↗