Source author record

Rahul Sarkar

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.NA math.OC Numerical Analysis quant-ph

Catalog footprint

Research overview

2works

5topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Density theorems with applications in quantum signal processing

We study the approximation capabilities of two families of univariate polynomials that arise in applications of quantum signal processing. Although approximation only in the domain $[0,1]$ is physically desired, these polynomial families are defined by bound constraints not just in $[0,1]$ , but also with additional bound constraints outside $[0,1]$ . One might wonder then if these additional constraints inhibit their approximation properties within $[0,1]$ . The main result of this paper is that this is not the case -- the additional constraints do not hinder the ability of these polynomial families to approximate arbitrarily well any continuous function $f:[0,1] \rightarrow [0,1]$ in the supremum norm, provided $f$ also matches any polynomial in the family at $0$ and $1$ . We additionally study the specific problem of approximating the step function on $[0,1]$ (with the step from $0$ to $1$ occurring at $x=\frac{1}{2}$ ) using one of these families, and propose two subfamilies of monotone and non-monotone approximations. For the non-monotone case, under some additional assumptions, we provide an iterative heuristic algorithm that finds the optimal polynomial approximation.

preprint2020arXiv

The Index of Invariance and its Implications for a Parameterized Least Squares Problem

We study the problem $x_{b,ω} := \text{arg min}_{x \in \mathcal{S}} \|(A + ωI)^{-1/2} (b - Ax)\|_2$ , with $A = A^*$ , for a subspace $\mathcal{S}$ of $\mathbb{F}^n$ ( $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$ ), and $ω> -λ_{min}(A)$ . We show that there exists a subspace $\mathcal{Y}$ of $\mathbb{F}^n$ , independent of $b$ , such that $\{x_{b,ω} - x_{b,μ} \mid ω,μ> -λ_{min}(A)\} \subseteq \mathcal{Y}$ , where $\dim(\mathcal{Y}) \leq \dim(\mathcal{S} + A\mathcal{S}) - \dim(\mathcal{S}) = \mathbf{Ind}_A(\mathcal{S})$ , a quantity which we call the index of invariance of $\mathcal{S}$ with respect to $A$ . In particular if $\mathcal{S}$ is a Krylov subspace, this implies the low dimensionality result of Hallman & Gu (2018). The problem is also such that when $A$ is positive and $\mathcal{S}$ is a Krylov subspace, it reduces to CG for $ω= 0$ and to MINRES for $ω\to \infty$ . We study several properties of $\mathbf{Ind}_A(\mathcal{S})$ in relation to $A$ and $\mathcal{S}$ . We show that the dimension of the affine subspace $\mathcal{X}_b$ containing the solutions $x_{b,ω}$ can be smaller than $\mathbf{Ind}_A(\mathcal{S})$ for all $b$ . However, we also exhibit some sufficient conditions on $A$ and $\mathcal{S}$ , under which $\mathcal{X} := \text{Span}{\{x_{b,ω} - x_{b,μ} \mid b \in \mathbb{F}^n, ω,μ> -λ_{min}(A)\}}$ has dimension equal to $\mathbf{Ind}_A(\mathcal{S})$ . We then study the injectivity of the map $ω\mapsto x_{b,ω}$ , leading us to a proof of the convexity result from Hallman & Gu (2018). We finish by showing that sets such as $M(\mathcal{S},\mathcal{S}') = \{A \in \mathbb{F}^{n \times n} \mid \mathcal{S} + A\mathcal{S} = \mathcal{S}'\}$ , for nested subspaces $\mathcal{S} \subseteq \mathcal{S}' \subseteq \mathbb{F}^n$ , form smooth real manifolds, and explore some topological relationships between them.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.