Searcharxiv⌕ Search

arXiv subjects

Rikard Bögvad

Publications and source records attributed to Rikard Bögvad.

7 recordsLinked to original sources
arXiv2020

Generalizing Tran's Conjecture

A conjecture of Khang Tran [6] claims that for an arbitrary pair of polynomials $A(z)$ and $B(z)$, every zero of every polynomial in the sequence $\{P_n(z)\}_{n=1}^\infty$ satisfying the three-term recurrence relation of length $k$ $$P_n(z)+B(z)P_{n-1}(z)+A(z)P_{n-k}(z)=0 $$ with the standard initial conditions $P_0(z)=1$, $P_{-1}(z)=\dots=P_{-k+1}(z)=0$ which is not a zero of $A(z)$ lies on the real (semi)-algebraic curve $\mathcal C \subset \mathbb {C}$ given by $$\Im \left(\frac{B^k(z)}{A(z)}\right)=0\quad {\rm and}\quad 0\le (-1)^k\Re \left(\frac{B^k(z)}{A(z)}\right)\le \frac{k^k}{(k-1)^{k-1}}.$$ In this short note, we show that for the recurrence relation (generalizing the latter recurrence of Tran) given by $$P_n(z)+B(z)P_{n-\ell}(z)+A(z)P_{n-k}(z)=0, $$ with coprime $k$ and $\ell$ and the same standard initial conditions as above, every root of $P_n(z)$ which is not a zero of $A(z)B(z)$ belongs to the real algebraic curve $\mathcal C_{\ell,k}$ given by $$\Im \left(\frac{B^k(z)}{A^\ell(z)}\right)=0.$$

math.CA↗
arXiv2017

A refinement of Pólya's method to construct Voronoi diagrams for rational functions

Given a complex polynomial $P$ with zeroes $z_1,\dotsc,z_d$, we show that the asymptotic zero-counting measure of the iterated derivatives $Q^{(n)}, \ n=1,2,\dotsc$, where $Q=R/P$ is any irreducible rational function, converges to an explicitly constructed probability measure supported by the Voronoi diagram associated with $z_1,\dotsc,z_d$. This refines Pólya's Shire theorem for these functions. In addition, we prove a similar result, using currents, for Voronoi diagrams associated with generic hyperplane configurations in $\mathbb C^m$.

math.CA↗
arXiv2016

Decomposition of modules over invariant differential operators

Let $G$ be a finite subgroup of the linear group of a finite-dimensional complex vector $V$, $B={\operatorname S}(V)$ be the symmetric algebra, ${\mathcal D}=\mathcal D^G_B$ the ring of $G$-invariant differential operators, and ${\mathcal D}^-$ its subring of negative degree operators. We prove that $M\mapsto M^{ann}= {\operatorname Ann}_{\mathcal D^-}(M)$ defines an isomorphism between the category of ${\mathcal D}$-submodules of $B$ and a category of modules formed as lowest weight spaces. This is applied to a construction of simple ${\mathcal D}$-submodules of $B$ when $G$ is a generalized symmetric group, to show that $B^{ann}$ is a so-called Gelfand model. Using differential algebra and lowest weight methods we also prove branching rules, entailing the main results in the representation theory of the symmetric group, such as a differential construction of the Young basis.

math.RT↗
arXiv2005

On rational approximation of algebraic functions

We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by $f(z)$. Compared to the usual Padé approximation our scheme has a number of advantages, such as simple computational procedures that allow us to prove natural analogs of the Padé Conjecture and Nuttall's Conjecture for the sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ in the complement $\mathbb{CP}^1\setminus \D_{f}$, where $\D_{f}$ is the union of a finite number of segments of real algebraic curves and finitely many isolated points. In particular, our construction makes it possible to control the behavior of spurious poles and to describe the asymptotic ratio distribution of the family $\{r_{n}(z)\}_{n\in \mathbb{N}}$. As an application we settle the so-called 3-conjecture of Egecioglu {\em et al} dealing with a 4-term recursion related to a polynomial Riemann Hypothesis.

math.CA↗
arXiv2004

Geometric interplay between function subspaces and their rings of differential operators

We study, in the setting of algebraic varieties, finite-dimensional spaces of functions V that are invariant under a ring D^V of differential operators, and give conditions under which D^V acts irreducibly. We show how this problem, originally formulated in physics (Kamran-Milson-Olver), is related to the study of principal parts bundles and Weierstrass points (Laksov-Thorup), including a detailed study of Taylor expansions. Under some conditions it is possible to obtain V and D^V as global sections of a line bundle and its ring of differential operators. We show that several of the published examples of D^V are of this type, and that there are many more -- in particular arising from toric varieties.

math.AG↗
arXiv1995

Some homogeneous coordinate rings that are Koszul algebras

Using reduction to positive characteristic and the method of Frobenius splitting of diagonals, due to Mehta and Ramanathan, it is shown that homogeneous coordinate rings for either proper and smooth toric varieties or Schubert varieties are Koszul algebras.

alg-geom↗