A time-variant version of the commutant lifting theorem and nonstationary interpolation problems

This paper contains a generalization of the commutant lifting theorem to a time-variant setting. The main result, which is called the three chains completion theorem, is used to solve various nonstationary norm constrained interpolation problems.     

A special case of de Branges' theorem on the inverse monodromy problem

We give a new proof of a special case of de Branges' theorem on the inverse monodromy problem: when an associated Riemann surface is of Widom type with Direct Cauchy Theorem. The proof is based on our previous result (with M.Sodin) on infinite dimensional Jacobi inversion and on Levin's uniqueness theorem for conformal maps onto comb-like domains. Although in this way we can not prove de Branges' Theorem in full generality, our proof is rather constructive and may lead to a multi-dimensional generalization. It could also shed light on the structure of invariant subspaces of Hardy spaces on Riemann surfaces of infinite genus.This work was supported by the Austrian Founds zur Förderung der wissenschaftlichen Forschung, project-number P12985-TEC     

On partial polynomial interpolation

The Alexander-Hirschowitz theorem says that a general collection of k double points in Pⁿ imposes independent conditions on homogeneous polynomials of degree d with a well known list of exceptions. We generalize this theorem to arbitrary zero-dimensional schemes contained in a general union of double points. We work in the polynomial interpolation setting. In this framework our main result says that the affine space of polynomials of degree ?d in n variables, with assigned values of any number of general linear combinations of first partial derivatives, has the expected dimension if d≠2 with only five exceptional cases. If d=2 the exceptional cases are fully described.     

Recipe theorem for the Tutte polynomial for matroids,renormalization group-like approach

Using a quantum field theory renormalization group-like differential equation, we give a new proof of the recipe theorem for the Tutte polynomial for matroids. The solution of such an equation is in fact given by some appropriate characters of the Hopf algebra of isomorphic classes of matroids, characters which are then related to the Tutte polynomial for matroids. This Hopf algebraic approach also allows to prove, in a new way, a matroid Tutte polynomial convolution formula appearing in [W. Kook, V. Reiner, D. Stanton, A convolution formula for the Tutte polynomial, J. Combin. Theory Ser. B 76 (1999) 297–300] and [G. Etienne, M. Las Vergnas, External and internal elements of a matroid basis, Discrete Math. 179 (1998) 111–119].     

A method for proving polynomial enumeration formulas

We present an elementary method for proving enumeration formulas which are polynomials in certain parameters if others are fixed and factorize into distinct linear factors over Z. Roughly speaking the idea is to prove such formulas by “explaining” their zeros using an appropriate combinatorial extension of the objects under consideration to negative integer parameters. We apply this method to prove a new refinement of the Bender-Knuth (ex-)Conjecture, which easily implies the Bender-Knuth (ex-)Conjecture itself. This is probably the most elementary way to prove this result currently known. Furthermore we adapt our method to q-polynomials, which allows us to derive generating function results as well. Finally we use this method to give another proof for the enumeration of semistandard tableaux of a fixed shape which differs from our proof of the Bender-Knuth (ex-)Conjecture in that it is a multivariate application of our method.     

Interpolation in the Nevanlinna and Smirnov classes and harmonic majorants

We consider a free interpolation problem in Nevanlinna and Smirnov classes and find a characterization of the corresponding interpolating sequences in terms of the existence of harmonic majorants of certain functions. We also consider the related problem of characterizing positive functions in the disk having a harmonic majorant. An answer is given in terms of a dual relation which involves positive measures in the disk with bounded Poisson balayage. We deduce necessary and sufficient geometric conditions, both expressed in terms of certain maximal functions.     

A representation theorem for maxitive measures

A maxitive measure is a nonnegative function η on a σ-algebra Σ and such that η(U_j A_j ) = sup_j η(A_j) for all countable disjoint families of sets (A_j) in Σ. A representation theorem for such measures is established, and next applied to represent Köthe function M-spaces as L_∞-spaces.     

An interpolation theorem for proper holomorphic embeddings

Given a Stein manifold x of dimension n > 1, a discrete sequence , and a discrete sequence where , there exists a proper holomorphic embedding satisfying f(a _j ) = b _j for every j = 1,2,... Forstnerič and Prezelj supported by grants P1-0291 and J1-6173, Republic of Slovenia. Kutzschebauch supported by Schweizerische National fonds grant 200021-107477/1. Ivarsson supported by The Wenner-Gren Foundations.     

Stirling numbers and integer partitions

In this paper, we prove that the Stirling numbers of both kinds can be written as sums over integer partitions. As corollaries, we rewrite some identities with Stirling numbers of both kinds without Stirling numbers.     

Some New Observations on Interpolation in the Spectral Unit Ball

We present several results associated to a holomorphic-interpolation problem for the spectral unit ball Ω _n , n ≥ 2. We begin by showing that a known necessary condition for the existence of a -interpolant ( here being the unit disc in ), given that the matricial data are non-derogatory, is not sufficient. We provide next a new necessary condition for the solvability of the two-point interpolation problem – one which is not restricted only to non-derogatory data, and which incorporates the Jordan structure of the prescribed data. We then use some of the ideas used in deducing the latter result to prove a Schwarz-type lemma for holomorphic self-maps of Ω _n , n ≥ 2. This work is supported in part by a grant from the UGC under DSA-SAP, Phase IV.     

An asymptotically orthonormal polynomial family

Given a Jordan curve in the complex plane, we describe a polynomial family which is asymptotically orthonormal on . The polynomials have some similarities with the Faber polynomials but are simpler to compute with. Numerical examples are presented.Dedicated to Germund Dahlquist, on the occasion of his 60th birthday.Sponsored by the United States Army under Contract No. DAAG29-80-C-0041.     

A characterization of Cohen-Macaulay modules and local cohomology

Let R be a commutative Noetherian ring, and let N be a non-zero finitely generated locally quasi-unmixed R-module. In this paper, the main result asserts that N is Cohen-Macaulay if and only if, for any N-proper ideal I of R generated by height_N I elements, the set of asymptotic primes of I with respect to N is equal to the set of presistent primes of I with respect to N. In addition, some applications about local cohomology are included. Received: 3 July 2005     

Extensions with positive real part. A new version of the abstract band method with applications

This paper presents a new version of the abstract band method. The new scheme applies to extension problems for classes of essentially bounded functions, continuous functions, and bounded operators, which were not covered by earlier versions of the abstract band method.     

Numerical evaluation of analytic functions by Cauchy's theorem

The use of the Cauchy theorem (instead of the Cauchy formula) in complex analysis together with numerical integration rules is proposed for the computation of analytic functions and their derivatives inside a closed contour from boundary data for the analytic function only. This approach permits a dramatical increase of the accuracy of the numerical results for points near the contour. Several theoretical results about this method are proved. Related numerical results are also displayed. The present method together with the trapezoidal quadrature rule on a circular contour is investigated from a theoretical point of view (including error bounds and corresponding asymptotic estimates), compared with the numerically competitive Lyness-Delves method and rederived by using the Theotokoglou results on the error term. Generalizations for the present method are suggested in brief.     

Leibniz cohomology and the calculus of variations

A geometric interpretation of the Leibniz coboundary is given in terms of the calculus of variations. For a differentiable manifold M, Leibniz cohomology generalizes de Rham cohomology by including all tensors as cochains. When applied to two-tensors, the conditions for the vanishing of a Leibniz cochain are related to the necessary conditions to achieve an extreme value of the integral of the tensor over an immersed surface. A local formula for the coboundary of any tensor is given in terms of a coordinate chart, and the Leibniz coboundary of the Riemann curvature tensor is computed in terms of the derivative of sectional curvature.