Related papers: Nonnegative kernels and $1$-rectifiability in the …

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…

A kernel of a directed graph is a subset of vertices that is both independent and absorbing (every vertex not in the kernel has an out-neighbour in the kernel). Not all directed graphs contain kernels, and computing a kernel or deciding…

It is proved that the commutator subgroup of the fundamental group of the complement of any plane affine irreducible Hurwitz curve (respectively, any plane affine irreducible pseudoholomorphic curve) is finitely presented. It is shown that…

We develop a framework for function classes generated by parametric ridge kernels: one-dimensional kernels composed with affine projections and averaged over a parameter measure. The induced kernels are positive definite, and the resulting…

We study classes of reproducing kernels $K$ on general domains; these are kernels which arise commonly in machine learning models; models based on certain families of reproducing kernel Hilbert spaces. They are the positive definite kernels…

In this article, we prove that a cone is a Heisenberg uniqueness pair corresponding to sphere as long as the cone does not completely recline on the level surface of any homogeneous harmonic polynomial on $\mathbb R^n.$ We derive that…

For a general radially symmetric, non-increasing, non-negative kernel $h\in L ^ 1 _{loc} ( R ^ d)$, we study the rigidity of measurable sets in $R ^ d$ with constant nonlocal $h$-mean curvature. Under a suitable "improved integrability"…

In a general context of positive definite kernels $k$, we develop tools and algorithms for sampling in reproducing kernel Hilbert space $\mathscr{H}$ (RKHS). With reference to these RKHSs, our results allow inference from samples; more…

We study Hilbert-Kunz multiplicity of non-singular curves in positive characteristic. We analyse the relationship between the Frobenius semistability of the kernel sheaf associated with the curve and its ample line bundle, and the HK…

$C^*$-algebra-valued kernels could pave the way for the next generation of kernel machines. To further our fundamental understanding of learning with $C^*$-algebraic kernels, we propose a new class of positive definite kernels based on the…

Here, we show that the first isomorphism theorem, the orbit-stabilizer theorem, and the non-uniqueness of solutions of underdetermined linear systems are all manifestations of the same underlying algebraic property. We will call this…

For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through…

We characterize Carnot groups admitting a 1-quasiconformal metric inversion as the Lie groups of Heisenberg type whose Lie algebras satisfy the $J^2$-condition, thus characterizing a special case of inversion invariant bi-Lipschitz…

A linear system on a smooth complex algebraic surface gives rise to a family of smooth curves in the surface. Such a family has a topological monodromy representation valued in the mapping class group of a fiber. Extending arguments of…

Let $H_{\mathbf{k}}$ be a symplectic reflection algebra corresponding to a cyclic subgroup $\Gamma \subseteq SL_2 \C$ of order $n$ and $U_{\mathbf{k}} = eH_{\mathbf{k}} e$ the spherical subalgebra of $H_{\mathbf{k}}$. We show that for…

Given a vector bundle $E$ on a complex reduced curve $C$ and a subspace $V$ of $H^0(E)$ which generates $E$, one can consider the kernel of the evaluation map $ev_V:V\otimes \mathcal{O}_C\to E$, i.e. the {\it kernel bundle } $M_{E,V}$…

For a set $E$ of positive and finite length, we prove that if the Huovinen transform (the convolution operator with kernel $z^k/|z|^{k+1}$ for an odd number $k$) associated to $E$ exists in principal value, then $E$ is rectifiable.

The Reifenberg theorem \cite{reif_orig} tells us that if a set $S\subseteq B_2\subseteq \mathbb R^n$ is uniformly close on all points and scales to a $k$-dimensional subspace, then $S$ is H\"older homeomorphic to a $k$-dimensional Euclidean…

We consider a product $X=E_1\times\cdots\times E_d$ of elliptic curves over a finite extension $K$ of $\mathbb{Q}_p$ with a combination of good or split multiplicative reduction. We assume that at most one of the elliptic curves has…

We give a new proof of a classical result which provides a one-to-one correspondence between positive definite radial kernels on a homogeneous tree and finite Borel measures on the interval $[-1,1]$. Our methods allow us to find a new…