Researcher profile

Oleg Szehr

Oleg Szehr contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
10topics
4close 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

13 published item(s)

preprint2022arXiv

On the asymptotic behavior of Jacobi polynomials with first varying parameter

We investigate the large $n$ behavior of Jacobi polynomials with varying parameters $P_{n}^{(an+α,\,bn+β)}(1-2λ^{2})$ for $a,b >-1$ and $λ\in(0,\,1)$. This is a well-studied topic in the literature but some of the published results appear to be discordant. To address this issue we provide an in-depth investigation of the case $b = 0$, which is most relevant for our applications. Our approach is based on a new and surprisingly simple representation of $P_{n}^{(an+α,\,β)}(1-2λ^{2}),\:a>-1$ in terms of two integrals. The integrals' asymptotic behavior is studied using standard tools of asymptotic analysis: one is a Laplace integral and the other is treated via the method of stationary phase. As a consequence we prove that if $a\in(\frac{2λ}{1-λ},\infty)$ then $λ^{an}P_{n}^{(an+α,β)}(1-2λ^{2})$ shows exponential decay and we derive simple exponential upper bounds in this region. If $a\in(\frac{-2λ}{1+λ},\,\frac{2λ}{1-λ})$ then the decay of $λ^{an}P_{n}^{(an+α,β)}(1-2λ^{2})$ is $\mathcal{O}(n^{-1/2})$ and if $a\in\{\frac{-2λ}{1+λ},\,\frac{2λ}{1-λ}\}$ then $λ^{an}P_{n}^{(an+α,β)}(1-2λ^{2})$ decays as $\mathcal{O}(n^{-1/3})$. A new phenomenon occurs in the parameter range $a\in(-1,\frac{-2λ}{1+λ})$, where we find that the behavior depends on whether or not $an+α$ is an integer: If $a\in(-1,\frac{-2λ}{1+λ})$ and $an+α$ is an integer then $λ^{an}P_{n}^{(an+α,β)}(1-2λ^{2})$ decays exponentially. If $a\in(-1,\frac{-2λ}{1+λ})$ and $an+α$ is not an integer then $λ^{an}P_{n}^{(an+α,β)}(1-2λ^{2})$ may increase exponentially depending on the proximity of the sequence $(an + α)_n$ to integers.

preprint2020arXiv

Interpolation without commutants

We introduce a "dual-space approach" to mixed Nevanlinna-Pick/Carathéodory-Schur interpolation in Banach spaces X of holomorphic functions on the disk. Our approach can be viewed as complementary to the well-known commutant lifting approach of D. Sarason and B. Nagy-C.Foiaş. We compute the norm of the minimal interpolant in X by a version of the Hahn-Banach theorem, which we use to extend functionals defined on a subspace of kernels without increasing their norm. This Functional extensions lemma plays a similar role as Sarason's Commutant lifting theorem but it only involves the predual of X and no Hilbert space structure is needed. As an example, we present the respective Pick-type interpolation theorems for Beurling-Sobolev spaces.

preprint2017arXiv

$l_{p}$-norms of Fourier coefficients of powers of a Blaschke factor

We determine the asymptotic behavior of the $l_{p}$-norms of the sequence of Taylor coefficients of $b^{n}$, where $b=\frac{z-λ}{1-\barλz}$ is an automorphism of the unit disk, $p\in[1,\infty]$, and $n$ is large. It is known that in the parameter range $p\in[1,2]$ a sharp upper bound \begin{align*} \left|\!\left|b^{n}\right|\!\right|_{l_{p}^A}\leq C_{p}n^{\frac{2-p}{2p}} \end{align*} holds. In this article we find that this estimate is valid even when $p\in[1,4)$. We prove that \begin{align*} \left|\!\left|b^{n}\right|\!\right|_{l_{4}^A}\leq C_{4}\left(\frac{\log n}{n}\right)^{\frac{1}{4}} \end{align*} and for $p\in(4,\infty]$ that \begin{align*} \left|\!\left|b^{n}\right|\!\right|_{l_{p}^A}\leq C_{p}n^{\frac{1-p}{3p}} & . \end{align*} We prove that our upper bounds are sharp as $n$ tends to $\infty$ i.e. they have the correct asymptotic $n$ dependence.

preprint2017arXiv

A constructive approach to Schaeffer's conjecture

J.J. Schaeffer proved that for $any$ induced matrix norm and $any$ invertible $T=T(n)$ the inequality \[\left|\det T\right|\left\Vert T^{-1}\right\Vert \leq\mathcal{S}\left\Vert T\right\Vert ^{n-1}\] holds with $\mathcal{S}=\mathcal{S}(n)\leq\sqrt{en}$. He conjectured that the best $\mathcal{S}$ was actually bounded. This was rebutted by Gluskin-Meyer-Pajor and subsequent contributions by J. Bourgain and H. Queffelec that successively improved lower estimates on $\mathcal{S}$. These articles rely on a link to the theory of power sums of complex numbers. A probabilistic or number theoretic analysis of such inequalities is employed to prove the existence of $T$ with growing $\mathcal{S}$ but the explicit construction of such $T$ remains an open task. In this article we propose a constructive approach to Schaeffer's conjecture that is not related to power sum theory. As a consequence we present an explicit sequence of Toeplitz matrices with singleton spectrum $\{λ\}\subset\mathbb{D}-\{0\}$ such that $\mathcal{S}\geq c(λ)\sqrt{n}$. Our framework naturally extends to provide lower estimates on the resolvent $\left\Vert (ζ-T)^{-1}\right\Vert$ when $ζ\neq0$. We also obtain new upper estimates on the resolvent when the spectrum is given. This yields new upper bounds on $\left\Vert T^{-1}\right\Vert$ in terms of the eigenvalues of $T$ which slightly refine Schaeffer's original estimate.

preprint2015arXiv

Eigenvalue estimates for the resolvent of a non-normal matrix

We investigate the relation between the spectrum of a non-normal matrix and the norm of its resolvent. We provide spectral estimates for the resolvent of matrices whose largest singular value is bounded by $1$ (so-called Hilbert space contractions) and for power-bounded matrices. In the first case our estimate is optimal and we present explicit matrices that achieve equality in the bound. This result recovers and generalizes previous estimates obtained by E.B. Davies and B. Simon in the study of orthogonal polynomials on the unit circle. In case of power-bounded matrices we achieve the strongest estimate so far. Our result unifies previous approaches, where the resolvent was estimated in certain restricted regions of the complex plane. To achieve our estimates we relate the problem of bounding the norm of a function of a matrix to a Nevanlinna-Pick interpolation problem in a corresponding function space. In case of Hilbert space contractions this problem is connected to the theory of compressed shift operators to which we contribute by providing explicit matrix representations for such operators. Finally, we apply our results to study the sensitivity of the stationary states of a classical or quantum Markov chain with respect to perturbations of the transition matrix.

preprint2015arXiv

Spectral-Variation Bounds in Hyperbolic Geometry

We derive new estimates for distances between optimal matchings of eigenvalues of non-normal matrices in terms of the norm of their difference. We introduce and estimate a hyperbolic metric analogue of the classical spectral-variation distance. The result yields a qualitatively new and simple characterization of the localization of eigenvalues. Our bound improves on the best classical spectral-variation bounds due to Krause if the distance of matrices is sufficiently small and is sharp for asymptotically large matrices. Our approach is based on the theory of model operators, which provides us with strong resolvent estimates. The latter naturally lead to a Chebychev-type interpolation problem with finite Blaschke products, which can be solved explicitly and gives stronger bounds than the classical Chebychev interpolation with polynomials. As compared to the classical approach our method does not rely on Hadamard's inequality and immediately generalize to algebraic operators on Hilbert space.

preprint2014arXiv

On quantum Renyi entropies: a new generalization and some properties

The Renyi entropies constitute a family of information measures that generalizes the well-known Shannon entropy, inheriting many of its properties. They appear in the form of unconditional and conditional entropies, relative entropies or mutual information, and have found many applications in information theory and beyond. Various generalizations of Renyi entropies to the quantum setting have been proposed, most notably Petz's quasi-entropies and Renner's conditional min-, max- and collision entropy. Here, we argue that previous quantum extensions are incompatible and thus unsatisfactory. We propose a new quantum generalization of the family of Renyi entropies that contains the von Neumann entropy, min-entropy, collision entropy and the max-entropy as special cases, thus encompassing most quantum entropies in use today. We show several natural properties for this definition, including data-processing inequalities, a duality relation, and an entropic uncertainty relation.

preprint2014arXiv

Spectral convergence bounds for classical and quantum Markov processes

We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.

preprint2014arXiv

Variations on Classical and Quantum Extractors

Many constructions of randomness extractors are known to work in the presence of quantum side information, but there also exist extractors which do not [Gavinsky {\it et al.}, STOC'07]. Here we find that spectral extractors $ψ$ with a bound on the second largest eigenvalue $λ_{2}(ψ^{\dagger}\circψ)$ are quantum-proof. We then discuss fully quantum extractors and call constructions that also work in the presence of quantum correlations decoupling. As in the classical case we show that spectral extractors are decoupling. The drawback of classical and quantum spectral extractors is that they always have a long seed, whereas there exist classical extractors with exponentially smaller seed size. For the quantum case, we show that there exists an extractor with extremely short seed size $d=O(\log(1/ε))$, where $ε>0$ denotes the quality of the randomness. In contrast to the classical case this is independent of the input size and min-entropy and matches the simple lower bound $d\geq\log(1/ε)$.

preprint2013arXiv

Decoupling with unitary approximate two-designs

Consider a bipartite system, of which one subsystem, A, undergoes a physical evolution separated from the other subsystem, R. One may ask under which conditions this evolution destroys all initial correlations between the subsystems A and R, i.e. decouples the subsystems. A quantitative answer to this question is provided by decoupling theorems, which have been developed recently in the area of quantum information theory. This paper builds on preceding work, which shows that decoupling is achieved if the evolution on A consists of a typical unitary, chosen with respect to the Haar measure, followed by a process that adds sufficient decoherence. Here, we prove a generalized decoupling theorem for the case where the unitary is chosen from an approximate two-design. A main implication of this result is that decoupling is physical, in the sense that it occurs already for short sequences of random two-body interactions, which can be modeled as efficient circuits. Our decoupling result is independent of the dimension of the R system, which shows that approximate 2-designs are appropriate for decoupling even if the dimension of this system is large.

preprint2013arXiv

Perturbation Bounds for Quantum Markov Processes and their Fixed Points

We investigate the stability of quantum Markov processes with respect to perturbations of their transition maps. In the first part, we introduce a condition number that measures the sensitivity of fixed points of a quantum channel to perturbations. We establish upper and lower bounds on this condition number in terms of subdominant eigenvalues of the transition map. In the second part, we consider quantum Markov processes that converge to a unique stationary state and we analyze the stability of the evolution at finite times. In this way we obtain a linear relation between the mixing time of a quantum Markov process and the sensitivity of its fixed point with respect to perturbations of the transition map.

preprint2012arXiv

A decoupling approach to classical data transmission over quantum channels

Most coding theorems in quantum Shannon theory can be proven using the decoupling technique: to send data through a channel, one guarantees that the environment gets no information about it; Uhlmann's theorem then ensures that the receiver must be able to decode. While a wide range of problems can be solved this way, one of the most basic coding problems remains impervious to a direct application of this method: sending classical information through a quantum channel. We will show that this problem can, in fact, be solved using decoupling ideas, specifically by proving a "dequantizing" theorem, which ensures that the environment is only classically correlated with the sent data. Our techniques naturally yield a generalization of the Holevo-Schumacher-Westmoreland Theorem to the one-shot scenario, where a quantum channel can be applied only once.

preprint2012arXiv

Decoupling Theorems

Decoupling theorems have proven useful in various applications in the area of quantum information theory. This thesis builds upon preceding work by Frédéric Dupuis [arXiv:1012.6044v1], where a general decoupling theorem is obtained and its implications for quantum coding theory are studied. At first we generalize this theorem to the case where the average is taken over an approximate unitary 2-design. The second part of this project tackles the question whether or not it is possible to decorrelate CQ-states with classical operations. We obtain results similar to the pivotal Leftover Hash Lemma. Finally we analyze the decoupling power of permutation operators in a fully quantum context and show a general procedure that yields decoupling theorems with permutations.