On some polynomials enumerating Fully Packed Loop configurations: Evaluation at negative values

In this article, we are interested in the enumeration of Fully Packed Loop configurations on a grid with a given noncrossing matching. These quantities also appear as the groundstate components of the O(n)$O(n)$ Loop model as conjectured by Razumov and Stroganov and recently proved by Cantini and Sportiello.     

Minimum deviation, quasi-LU factorization of nonsingular matrices

Not all matrices enjoy the existence of an LU factorization. For those that do not, a number of “repairs” are possible. For nonsingular matrices we offer here a permutation-free repair in which the matrix is factored , with and collectively as near as possible to lower and upper triangular (in a natural sense defined herein). Such factorization is not generally unique in any sense. In the process, we investigate further the structure of matrices without LU factorization and permutations that produce an LU factorization.     

Para-orthogonal Laurent polynomials and associated sequences of rational functions

On the space, , of Laurent polynomials (L-polynomials) we consider a linear functional which is positive definite on (0, ) and is defined in terms of a given bisequence, { _k } _– . Two sequences of orthogonal L-polynomials, {Q _n (z) ₀ and , are constructed which span in the order {1,z ^–1,z,z ^–2,z ²,...} and {1,z,z ^–1,z ²,z ^–2,...} respectively. Associated sequences of L-polynomials {P _n (z) ₀ , and are introduced and we define rational functions , wherew is a fixed positive number. The partial fraction decomposition and integral representation of,M _n (z, w) are given and correspondence of {M _n (z, w)} is discussed. We get additional solutions to the strong Stieltjes moment problem from subsequences of {M _n (z, w)}. In particular when { _k } _– is a log-normal bisequence, {M _2n (z, w)} and {M _2n+1 (z, w)} yield such solutions.Research supported in part by the National Science Foundation under Grant DMS-9103141.     

Componentwise error analysis for the block LU factorization of totally nonnegative matrices

For the first time, perturbation bounds including componentwise perturbation bounds for the block LU factorization have been provided by Dopico and Molera (2005) [5]. In this paper, componentwise error analysis is presented for computing the block LU factorization of nonsingular totally nonnegative matrices. We present a componentwise bound on the equivalent perturbation for the computed block LU factorization. Consequently, combining with the componentwise perturbation results we derive componentwise forward error bounds for the computed block factors.     

Szeg? transformations and rational spectral transformations for associated polynomials

In this contribution we analyze rational spectral transformations related to associated polynomials with respect to probability measures supported on the interval [−1, 1]. The connection with rational spectral transformations of measures supported on the unit circle using the Szeg? transformation is presented.     

Orthogonal polynomials and measures on the unit circle. The Geronimus transformations

In this paper we analyze a perturbation of a nontrivial positive measure supported on the unit circle. This perturbation is the inverse of the Christoffel transformation and is called the Geronimus transformation. We study the corresponding sequences of monic orthogonal polynomials as well as the connection between the associated Hessenberg matrices. Finally, we show an example of this kind of transformation.     

A factorization of the symmetric Pascal matrix involving the Fibonacci matrix

In this short note, we give a factorization of the Pascal matrix. This result was apparently missed by Lee et al. [Some combinatorial identities via Fibonacci numbers, Discrete Appl. Math. 130 (2003) 527-534].     

On Kernel polynomials and self-perturbation of orthogonal polynomials

Given an orthogonal polynomial system {Q _n (x)} _n=0 ^∞, define another polynomial system by where α _n are complex numbers and t is a positive integer. We find conditions for {P _n (x)} _n=0 ^∞ to be an orthogonal polynomial system. When t=1 and α₁≠0, it turns out that {Q _n (x)} _n=0 ^∞ must be kernel polynomials for {P _n (x)} _n=0 ^∞ for which we study, in detail, the location of zeros and semi-classical character. Received: November 25, 1999; in final form: April 6, 2000?Published online: June 22, 2001     

Matrix orthogonal Laurent polynomials on the unit circle and Toda type integrable systems

Matrix orthogonal Laurent polynomials in the unit circle and the theory of Toda-like integrable systems are connected using the Gauss–Borel factorization of two, left and a right, Cantero–Morales–Velázquez block moment matrices, which are constructed using a quasi-definite matrix measure. A block Gauss–Borel factorization problem of these moment matrices leads to two sets of biorthogonal matrix orthogonal Laurent polynomials and matrix Szeg? polynomials, which can be expressed in terms of Schur complements of bordered truncations of the block moment matrix. The corresponding block extension of the Christoffel–Darboux theory is derived. Deformations of the quasi-definite matrix measure leading to integrable systems of Toda type are studied. The integrable theory is given in this matrix scenario; wave and adjoint wave functions, Lax and Zakharov–Shabat equations, bilinear equations and discrete flows — connected with Darboux transformations. We generalize the integrable flows of the Cafasso's matrix extension of the Toeplitz lattice for the Verblunsky coefficients of Szeg? polynomials. An analysis of the Miwa shifts allows for the finding of interesting connections between Christoffel–Darboux kernels and Miwa shifts of the matrix orthogonal Laurent polynomials.     

Numerical solution of the Helmholtz equation in an infinite strip by Wiener‐Hopf factorization

We describe an algorithm to compute numerically the solution of the Helmholtz equation: Δu + κu = f, u ∈ H₀¹(S), where S is an infinite strip and κ a given bounded function. By using the finite difference approximation on the entire strip, we are led to solve an infinite linear system. When κ is constant the associated matrix is block Toeplitz and banded and the system can be solved using a Wiener‐Hopf factorization. This approach can also be adapted to deal with the case when κ is constant outside a bounded domain of the strip. Numerical results are given to assess the performance of our method. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2010     

Invariant factors, Wiener-Hopf factorization indices, and invariant factors at infinity of rational matrices

The relationship between the finite structure, the infinite structure, and the Wiener-Hopf factorization indices of any rectangular rational matrix is studied.     

Generalized characteristic polynomials of graph bundles

In this paper, we find computational formulae for generalized characteristic polynomials of graph bundles. We show that the number of spanning trees in a graph is the partial derivative (at (0,1)) of the generalized characteristic polynomial of the graph. Since the reciprocal of the Bartholdi zeta function of a graph can be derived from the generalized characteristic polynomial of a graph, consequently, the Bartholdi zeta function of a graph bundle can be computed by using our computational formulae.     

The complexity of tropical matrix factorization

The tropical arithmetic operations on R are defined by a⊕b=min{a,b}$a\oplus b=\min \{a,b\}$ and a⊗b=a+b$a\otimes b=a+b$. Let A be a tropical matrix and k   a positive integer, the problem of Tropical Matrix Factorization (TMF) asks whether there exist tropical matrices B∈R^m×k$B\in {\mathbf{R}}^{m\times k}$ and C∈R^k×n$C\in {\mathbf{R}}^{k\times n}$ satisfying B⊗C=A$B\otimes C=A$. We show that the TMF problem is NP-hard for every k≥7$k\ge 7$ fixed in advance, thus resolving a problem proposed by Barvinok in 1993.     

Inversion of the Pieri formula for Macdonald polynomials

We give the explicit analytic development of Macdonald polynomials in terms of “modified complete” and elementary symmetric functions. These expansions are obtained by inverting the Pieri formula. Specialization yields similar developments for monomial, Jack and Hall-Littlewood symmetric functions.     

General solution of certain matrix equations arising in filter design applications

In this work we present the explicit expression of all rectangular Toeplitz matrices B,C which verify the equation BB^H+CC^H=aI for some a>0. This matrix equation arises in some signal processing problems. For instance, it appears when designing the even and odd components of paraunitary filters, which are widely used for signal compression and denoising purposes. We also point out the relationship between the above matrix equation and the polynomial Bézout equation |B(z)|²+|C(z)|²=a>0 for |z|=1. By exploiting this fact, our results also yield a constructive method for the parameterization of all solutions B(z),C(z). The main advantage of our approach is that B and C are built without need of spectral factorization. Besides these theoretical advances, in order to illustrate the effectiveness of our approach, some examples of paraunitary filters design are finally given.     

A generalized Taylor factorization for Hermite subdivision schemes

In a recent paper, we investigated factorization properties of Hermite subdivision schemes by means of the so-called Taylor factorization. This decomposition is based on a spectral condition which is satisfied for example by all interpolatory Hermite schemes. Nevertheless, there exist examples of Hermite schemes, especially some based on cardinal splines, which fail the spectral condition. For these schemes (and others) we provide the concept of a generalized Taylor factorization and show how it can be used to obtain convergence criteria for the Hermite scheme by means of factorization and contractivity.     

Spectral factorization in the disk algebra

Every strictly positive function f, given on the unit circle of the complex plane, defines an outer function. This article investigates the behavior of these outer functions on the boundary of the unit disk. It is shown that even if the given function f on the boundary is continuous, the corresponding outer function is generally not continuous on the closure of the unit disk. Moreover, any subset E∈ [-π ,π) of Lebesgue measure zero is a valid divergence set for outer functions of some continuous functions f. These results are applied to study the solutions of non-linear boundary-value problems and the factorization of spectral density functions.