Related papers: Frame-type families of translates
Let $F$ be a totally real field and $n\leq 4$ a natural number. We study the monodromy groups of any $n$-dimensional strictly compatible system $\{\rho_\lambda\}_\lambda$ of $\lambda$-adic representations of $F$ with distinct Hodge-Tate…
We give analogues in the finite general linear group of two elementary results concerning long cycles and transpositions in the symmetric group: first, that the long cycles are precisely the elements whose minimum-length factorizations into…
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the…
Linear TD($\lambda$) is one of the most fundamental reinforcement learning algorithms for policy evaluation. Previously, convergence rates are typically established under the assumption of linearly independent features, which does not hold…
Let $\lambda$ denote the Liouville function for function fields. We prove that for a fixed $q$, given $h \ll \sqrt{N}$ and $h(N) \to \infty$ arbitrarily slowly as $N \to \infty$, then \begin{equation*} \frac{1}{q^N}\sum_{G_0 \in…
Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let \phi denote Euler's totient function, let \sigma be the sum-of-divisors…
A classical result in approximation theory states that for any continuous function \( \varphi: \mathbb{R} \to \mathbb{R} \), the set \( \operatorname{span}\{\varphi \circ g : g \in \operatorname{Aff}(\mathbb{R})\} \) is dense in \(…
A subclass of nondeterministic Finite Automata generated by means of regular Grammars (GFAs, for short) is introduced. A process algebra is proposed, whose semantics maps a term to a GFA. We prove a representability theorem: for each GFA…
Let $\mathcal{A}=(A_{1},...,A_{n},...)$ be a finite or infinite sequence of $2\times2$ matrices with entries in an integral domain. We show that, except for a very special case, $\mathcal{A}$ is (simultaneously) triangularizable if and only…
Let $G$ be a connected semisimple simply connected Lie group with a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations…
The Fourier transform is approximated over a finite domain using a Riemann sum. This Riemann sum is then expressed in terms of the discrete Fourier transform, which allows the sum to be computed with a fast Fourier transform algorithm more…
For a prime $p,$ let $\mathbb{F}_q$ be a finite extension of $\mathbb{F}_p.$ The restriction of an irreducible mod $p$ representation of $\text{GL}_2(\mathbb{F}_q)$ to its subgroup $\text{GL}_2(\mathbb{F}_p)$ can be seen as a tensor product…
The weights $W_\alpha(x)=\exp{(-|x|^{\alpha})}$ $(\alpha>1)$ form a subclass of Freud weights on the real line. Primarily from a functional analytic angle, we investigate the subspace of $L_2(\mathbb R, W_\alpha^2(x)\,dx)$ consisting of…
For Lebesgue generic $(x_1,x_2)\in \mathbb{R}^2$, we investigate the distribution of small values of products $q\cdot \|qx_1\| \cdot \|qx_2\|$ with $q\in\mathbb{N}$, where $\|\cdot \|$ denotes the distance to the closest integer. The main…
We prove sharp upper and lower bounds for generalized Calder\'on's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use…
A Weyl-Heisenberg frame for L^2(R) is a frame consisting of translates and modulates of a fixed function. In this paper we give necessary and sufficient conditions for this family to form a tight WH-frame. This allows us to write down…
Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependently-typed programming languages, such relations and…
In this paper we propose a general strategy for rapidly computing sparse Legendre expansions. The resulting methods yield a new class of fast algorithms capable of approximating a given function $f:[-1,1] \rightarrow \mathbb{R}$ with a…
We use transductive regression techniques to learn mappings between source and target features of given parallel corpora and use these mappings to generate machine translation outputs. We show the effectiveness of $L_1$ regularized…
We construct a complex $\mathcal{L}_\bullet^\lambda$ resolving the irreducible representations $\mathcal{S}^{\lambda[n]}$ of the symmetric groups $S_n$ by representations restricted from $GL_n(k)$. This construction lifts to…