arXiv Science⌕ Search

arXiv subjects

Greg Knese

Publications and source records attributed to Greg Knese.

At least 19 recordsLinked to original sources
arXiv2026

Stable polynomials and bounded rational functions in the unit ball

We study polynomials with no zeros on the unit ball in complex Euclidean space with a view toward characterizing when a rational function is bounded on the ball. We give a complete local description of such polynomials in two variables near a boundary zero. In higher dimensions, we give a partial characterization of a simple boundary zero. Several applications are given including boundedness of rational functions with boundary singularities and constructions of examples with prescribed local properties.

math.CV↗
arXiv2025

The Schur-Agler class in infinitely many variables

We define the Schur-Agler class in infinite variables to consist of functions whose restrictions to finite dimensional polydisks belong to the Schur-Agler class. We show that a natural generalization of an Agler decomposition holds and the functions possess transfer function realizations that allow us to extend the functions to the unit ball of $\ell^\infty$. We also give a Pick interpolation type theorem which displays a subtle difference with finitely many variables. Finally, we make a brief connection to Dirichlet series derived from the Schur-Agler class in infinite variables via the Bohr correspondence.

math.FA↗
arXiv2025

Hadamard multipliers of the Agler class

We prove several results about functions which preserve the Schur-Agler class under Hadamard or coefficient-wise product. First, functions which preserve the Schur class necessarily preserve the Schur-Agler class. Second, ``moments'' of certain commuting operator tuples form coefficients of Schur-Agler class preservers. Finally, any preserver of the full matrix Schur-Agler class must have coefficients given by moments of commuting operator tuples. We also point out that any counterexample to the multivariable von Neumann inequality can be used to derive a non-trivial Agler class preserver.

math.FA↗
arXiv2025

Testing von Neumann inequalities with nilpotent matrices

We give an elementary proof of the folklore result that the Agler norm of a function is determined by its norm on commuting tuples of nilpotent matrices. The proof is variation on a standard cone separation argument. The topic is closely related to the Eschmeier-Patton-Putinar formulation of Carath\'eodory-Fej\'er interpolation.

math.FA↗
arXiv2024

Three radii associated to Schur functions on the polydisk

This article examines three radii associated to bounded analytic functions on the polydisk: the well-known Bohr radius, the Bohr-Agler radius, and the Schur-Agler radius. We prove explicit upper and lower bounds for the Bohr-Agler radius, an explicit lower bound for the Schur-Agler radius, and an asymptotic upper bound for the Schur-Agler radius. The Bohr-Agler radius obeys the same (known) asymptotic as the Bohr radius while we show the Schur-Agler radius is roughly of the same growth as the Bohr radius. As a corollary, we bound the Bohr radius on the bidisk below by 0.3006. Finally, we improve some estimates of P.G. Dixon on Agler norms of homogeneous polynomials using some modern inequalities.

math.CV↗
arXiv2024

Rational inner functions on the polydisk -- a survey

Rational inner functions are a generalization of finite Blaschke products to several variables. In this article we survey a variety of results about rational inner functions related to interpolation, sums of squares formulas, and boundary behavior. We mostly focus on two variables however in the final section we discuss higher dimensions.

math.FA↗
arXiv2024

Stable polynomials and admissible numerators in product domains

Given a polynomial $p$ with no zeros in the polydisk, or equivalently the poly-upper half-plane, we study the problem of determining the ideal of polynomials $q$ with the property that the rational function $q/p$ is bounded near a boundary zero of $p$. We give a complete description of this ideal of numerators in the case where the zero set of $p$ is smooth and satisfies a non-degeneracy condition. We also give a description of the ideal in terms of an integral closure when $p$ has an isolated zero on the distinguished boundary. Constructions of multivariate stable polynomials are presented to illustrate sharpness of our results and necessity of our assumptions.

math.CV↗
arXiv2024

Boundary local integrability of rational functions in two variables

Motivated by studying boundary singularities of rational functions in two variables that are analytic on a domain, we investigate local integrability on $\mathbb{R}^2$ near $(0,0)$ of rational functions with denominator non-vanishing in the bi-upper half-plane but with an isolated zero (with respect to $\mathbb{R}^2$) at the origin. Building on work of Bickel-Pascoe-Sola, we give a necessary and sufficient test for membership in a local $L^{p}(\mathbb{R}^2)$ space and we give a complete description of all numerators $Q$ such that $Q/P$ is locally in a given $L^{p}$ space. As applications, we prove that every bounded rational function on the bidisk has partial derivatives belonging to $L^1$ on the two-torus. In addition, we give a new proof of a conjecture, started in Bickel-Knese-Pascoe-Sola and completed by Koll\'ar, characterizing the ideal of $Q$ such that $Q/P$ is locally bounded. A larger takeaway from this work is that a local model for stable polynomials we employ is a flexible tool and may be of use for other local questions about stable polynomials.

math.FA↗
arXiv2021

Local theory of stable polynomials and bounded rational functions of several variables

We provide detailed local descriptions of stable polynomials in terms of their homogeneous decompositions, Puiseux expansions, and transfer function realizations. We use this theory to first prove that bounded rational functions on the polydisk possess non-tangential limits at every boundary point. We relate higher non-tangential regularity and distinguished boundary behavior of bounded rational functions to geometric properties of the zero sets of stable polynomials via our local descriptions. For a fixed stable polynomial $p$, we analyze the ideal of numerators $q$ such that $q/p$ is bounded on the bi-upper half plane. We completely characterize this ideal in several geometrically interesting situations including smooth points, double points, and ordinary multiple points of $p$. Finally, we analyze integrability properties of bounded rational functions and their derivatives on the bidisk.

math.CV↗
arXiv2019

Kummert's approach to realization on the bidisk

We give a simplified exposition of Kummert's approach to proving that every matrix-valued rational inner function in two variables has a minimal unitary transfer function realization. A slight modification of the approach extends to rational functions which are isometric on the two-torus and we use this to give a largely elementary new proof of the existence of Agler decompositions for every matrix-valued Schur function in two variables. We use a recent result of Dritschel to prove two variable matrix-valued rational Schur functions always have finite-dimensional contractive transfer function realizations. Finally, we prove that two variable matrix-valued polynomial inner functions have transfer function realizations built out of special nilpotent linear combinations.

math.CV↗
arXiv2019

An [O III] search for extended emission around AGN with H I mapping: a distant cloud ionized by Mkn 1

Motivated by the discovery of large-scale ionized clouds around AGN host galaxies, and particularly the large fraction of those which are consistent with photoionized gaseous tidal debris, we have searched for [O III] emission over wide fields around a set of Seyfert galaxies previously mapped in H I, many of which show extended gas features. The detection threshold was designed to reach mean emission-line surface brightness 10 times fainter than seen in such AGN-ionized clouds as Hanny's Voorwerp, so that similar structures at larger distances (and ages) could be detected. Of 24 Seyfert galaxies, we find one extended emission feature, a discrete cloud projected 12 kpc from the center of Mkn 1 and spanning a transverse extent of 8 kpc. Optical spectroscopy of the Mkn 1 cloud confirms its redshift association with the Mkn 1- NGC 451 galaxy pair, shows it to closely match the kinematics of nearby H I, and reveals emission-line ratios requiring photoionization by the AGN at roughly the direct observed luminosity of the nucleus. Given the small fraction of H I features with detected [O III] emission, we constrain the typical opening angle of ionization cones in Seyfert galaxies to be of order 20 deg, if active episodes are long compared to the light-travel times involved. An appendix presents a derivation of an analytical expression for the probability of intersection of a cone with randomly oriented arcs, approximating the geometry of H I clouds and tails exposed to ionization cones. For the entire sample, the full opening angle of bicones must be <20 deg if the AGN are continuously bright for scales longer than the light-travel times across the H I structures. Since many ionization cones are observed to be much broader than this, our low detection fraction may add to evidence for the ubiquity of strong variations in AGN luminosity on scales 10,000-100,000 years.

astro-ph.GA↗
arXiv2017

Global bounds on stable polynomials

A classical inequality of Sz\'asz bounds polynomials with no zeros in the upper half plane entirely in terms of their first few coefficients. Borcea-Br\"and\'en generalized this result to several variables as a piece of their characterization of linear maps on polynomials preserving stability. In this paper, we improve Sz\'asz's original inequality, use determinantal representations to prove Sz\'asz type inequalities in two variables, and then prove that one can use the two variable inequality to prove an inequality for several variables.

math.CV↗
arXiv2017

Extreme points and saturated polynomials

We consider the problem of characterizing the extreme points of the set of analytic functions f on the bidisk with positive real part and f(0)=1. If one restricts to those f whose Cayley transform is a rational inner function, one gets a more tractable problem. We construct families of such f that are extreme points and conjecture that these are all such extreme points. These extreme points are constructed from polynomials dubbed saturated, which roughly speaking means they have no zeros in the bidisk and as many zeros as possible on the boundary without having infinitely many zeros.

math.CV↗
arXiv2015

Cyclic polynomials in anisotropic Dirichlet~spaces

Consider the Dirichlet-type space on the bidisk consisting of holomorphic functions $f(z_1,z_2):=\sum_{k,l\geq 0}a_{kl}z_1^kz_2^l$ such that $\sum_{k,l\geq 0}(k+1)^{\alpha_1} (l+1)^{\alpha_2}|a_{kl}|^2 <\infty.$ Here the parameters $\alpha_1,\alpha_2$ are arbitrary real numbers. We characterize the polynomials that are cyclic for the shift operators on this space. More precisely, we show that, given an irreducible polynomial $p(z_1,z_2)$ depending on both $z_1$ and $z_2$ and having no zeros in the bidisk: if $\alpha_1+\alpha_2\leq 1$, then $p$ is cyclic; if $\alpha_1+\alpha_2>1$ and $\min\{\alpha_1,\alpha_2\}\leq 1$, then $p$ is cyclic if and only if it has finitely many zeros in the two-torus $\mathbb T^2$; if $\min\{\alpha_1,\alpha_2\}>1$, then $p$ is cyclic if and only if it has no zeros in $\mathbb T^2$.

math.CV↗
arXiv2015

The von Neumann inequality for 3x3 matrices

Recent work of Kosi\'nski on the three point Pick interpolation problem on the polydisc proves the von Neumann inequality for 3x3 matrices. We give a detailed explanation of this using several standard reductions---credit for the main result should be attributed to Kosi\'nski.

math.CV↗
arXiv2014

Integrability and regularity of rational functions

Motivated by recent work in the mathematics and engineering literature, we study integrability and non-tangential regularity on the two-torus for rational functions that are holomorphic on the bidisk. One way to study such rational functions is to fix the denominator and look at the ideal of polynomials in the numerator such that the rational function is square integrable. A concrete list of generators is given for this ideal as well as a precise count of the dimension of the subspace of numerators with a specified bound on bidegree. The dimension count is accomplished by constructing a natural pair of commuting contractions on a finite dimensional Hilbert space and studying their joint generalized eigenspaces. Non-tangential regularity of rational functions on the polydisk is also studied. One result states that rational inner functions on the polydisk have non-tangential limits at every point of the n-torus. An algebraic characterization of higher non-tangential regularity is given. We also make some connections with the earlier material and prove that rational functions on the bidisk which are square integrable on the two-torus are non-tangentially bounded at every point. Several examples are provided.

math.CV↗
arXiv2014

Cyclic polynomials in two variables

We give a complete characterization of polynomials in two complex variables that are cyclic with respect to the coordinate shifts acting on Dirichlet-type spaces in the bidisk, which include the Hardy space and the Dirichlet space of the bidisk. The cyclicity of a polynomial depends on both the size and nature of the zero set of the polynomial on the distinguished boundary. The techniques in the proof come from real analytic function theory, determinantal representations for stable polynomials, and harmonic analysis on curves

math.FA↗