Researcher profile

Alexander Katsevich

Alexander Katsevich contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
3topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

3 published item(s)

preprint2022arXiv

Novel resolution analysis for the Radon transform in $\mathbb R^2$ for functions with rough edges

Let $f$ be a function in $\mathbb R^2$, which has a jump across a smooth curve $\mathcal S$ with nonzero curvature. We consider a family of functions $f_ε$ with jumps across a family of curves $\mathcal S_ε$. Each $\mathcal S_ε$ is an $O(ε)$-size perturbation of $\mathcal S$, which scales like $O(ε^{-1/2})$ along $\mathcal S$. Let $f_ε^{\text{rec}}$ be the reconstruction of $f_ε$ from its discrete Radon transform data, where $ε$ is the data sampling rate. A simple asymptotic (as $ε\to0$) formula to approximate $f_ε^{\text{rec}}$ in any $O(ε)$-size neighborhood of $\mathcal S$ was derived heuristically in an earlier paper of the author. Numerical experiments revealed that the formula is highly accurate even for nonsmooth (i.e., only H{ö}lder continuous) $\mathcal S_ε$. In this paper we provide a full proof of this result, which says that the magnitude of the error between $f_ε^{\text{rec}}$ and its approximation is $O(ε^{1/2}\ln(1/ε))$. The main assumption is that the level sets of the function $H_0(\cdot,ε)$, which parametrizes the perturbation $\mathcal S\to\mathcal S_ε$, are not too dense.

preprint2021arXiv

Resolution analysis of inverting the generalized $N$-dimensional Radon transform in $\mathbb R^n$ from discrete data

Let $\mathcal R$ denote the generalized Radon transform (GRT), which integrates over a family of $N$-dimensional smooth submanifolds $\mathcal S_{\tilde y}\subset\mathcal U$, $1\le N\le n-1$, where an open set $\mathcal U\subset\mathbb R^n$ is the image domain. The submanifolds are parametrized by points $\tilde y\subset\tilde{\mathcal V}$, where an open set $\tilde{\mathcal V}\subset\mathbb R^n$ is the data domain. The continuous data are $g={\mathcal R} f$, and the reconstruction is $\check f=\mathcal R^*\mathcal B g$. Here $\mathcal R^*$ is a weighted adjoint of $\mathcal R$, and $\mathcal B$ is a pseudo-differential operator. We assume that $f$ is a conormal distribution, $\text{supp}(f)\subset\mathcal U$, and its singular support is a smooth hypersurface $\mathcal S\subset\mathcal U$. Discrete data consists of the values of $g$ on a lattice $\tilde y^j$ with the step size $O(ε)$. Let $\check f_ε=\mathcal R^*\mathcal B g_ε$ denote the reconstruction obtained by applying the inversion formula to an interpolated discrete data $g_ε(\tilde y)$. Pick a generic pair $(x_0,\tilde y_0)$, where $x_0\in\mathcal S$, and $\mathcal S_{\tilde y_0}$ is tangent to $\mathcal S$ at $x_0$. The main result of the paper is the computation of the limit $$ f_0(\check x):=\lim_{ε\to0}ε^κ\check f_ε(x_0+ε\check x). $$ Here $κ\ge 0$ is selected based on the strength of the reconstructed singularity, and $\check x$ is confined to a bounded set. The limiting function $f_0(\check x)$, which we call the discrete transition behavior, allows computing the resolution of reconstruction.

preprint2020arXiv

On the spectral properties of the Hilbert transform operator on multi-intervals

Let $J,E\subset\mathbb R$ be two multi-intervals with non-intersecting interiors. Consider the following operator $$A:\, L^2( J )\to L^2(E),\ (Af)(x) = \frac 1π\int_{ J } \frac {f(y)\text{d} y}{x-y},$$ and let $A^\dagger$ be its adjoint. We introduce a self-adjoint operator $\mathscr K$ acting on $L^2(E)\oplus L^2(J)$, whose off-diagonal blocks consist of $A$ and $A^\dagger$. In this paper we study the spectral properties of $\mathscr K$ and the operators $A^\dagger A$ and $A A^\dagger$. Our main tool is to obtain the resolvent of $\mathscr K$, which is denoted by $\mathscr R$, using an appropriate Riemann-Hilbert problem, and then compute the jump and poles of $\mathscr R$ in the spectral parameter $λ$. We show that the spectrum of $\mathscr K$ has an absolutely continuous component $[0,1]$ if and only if $J$ and $E$ have common endpoints, and its multiplicity equals to their number. If there are no common endpoints, the spectrum of $\mathscr K$ consists only of eigenvalues and $0$. If there are common endpoints, then $\mathscr K$ may have eigenvalues imbedded in the continuous spectrum, each of them has a finite multiplicity, and the eigenvalues may accumulate only at $0$. In all cases, $\mathscr K$ does not have a singular continuous spectrum. The spectral properties of $A^\dagger A$ and $A A^\dagger$, which are very similar to those of $\mathscr K$, are obtained as well.