Showing 1–20 of 20 results for author: Peña, J M

An evaluation algorithm for q-Bézier triangular patches formed by convex combinations

Authors: Jorge Delgado, Héctor Orera, Juan Manuel Peña

Abstract: An extension to triangular domains of the univariate q-Bernstein basis functions is introduced and analyzed. Some recurrence relations and properties such as partition of unity and degree elevation are proved for them. It is also proved that they form a basis for the space of polynomials of total degree less than or equal to n on a triangle. In addition, it is presented a de Casteljau type evaluat… ▽ More An extension to triangular domains of the univariate q-Bernstein basis functions is introduced and analyzed. Some recurrence relations and properties such as partition of unity and degree elevation are proved for them. It is also proved that they form a basis for the space of polynomials of total degree less than or equal to n on a triangle. In addition, it is presented a de Casteljau type evaluation algorithm whose steps are all linear convex combinations. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Journal ref: J. Comput. Appl. Math. 428 (2023), Paper No. 115184, 11 pp

Accurate Bidiagonal Decomposition and Computations with Generalized Pascal Matrices

Authors: Jorge Delgado, Héctor Orera, Juan Manuel Peña

Abstract: This paper provides an accurate method to obtain the bidiagonal factorization of many generalized Pascal matrices, which in turn can be used to compute with high relative accuracy the eigenvalues, singular values and inverses of these matrices. Numerical examples are included. This paper provides an accurate method to obtain the bidiagonal factorization of many generalized Pascal matrices, which in turn can be used to compute with high relative accuracy the eigenvalues, singular values and inverses of these matrices. Numerical examples are included. △ Less

Submitted 21 January, 2025; originally announced January 2025.

MSC Class: 65F05; 65F15; 65G50; 15A23; 05A05; 11B65

Journal ref: Comput. Appl. Math. 391 (2021), Paper No. 113443, 10 pp

Optimal properties of tensor product of B-bases

Authors: Jorge Delgado, Héctor Orera, Juan Manuel Peña

Abstract: It is proved the optimal conditioning for the infinity norm of collocation matrices of the tensor product of normalized B-bases among the tensor product of all normalized totally positive bases of the corresponding space of functions. Bounds for the minimal eigenvalue and singular value and illustrative numerical examples are also included. It is proved the optimal conditioning for the infinity norm of collocation matrices of the tensor product of normalized B-bases among the tensor product of all normalized totally positive bases of the corresponding space of functions. Bounds for the minimal eigenvalue and singular value and illustrative numerical examples are also included. △ Less

Submitted 20 January, 2025; originally announced January 2025.

MSC Class: 65D17; 65F35; 15A123; 15A18

Journal ref: Appl. Math. Lett. 121 (2021), Paper No. 107473, 5 pp

Accurate algorithms for Bessel matrices

Authors: Jorge Delgado, Héctor Orera, Juan Manuel Peña

Abstract: In this paper, we prove that any collocation matrix of Bessel polynomials at positive points is strictly totally positive, that is, all its minors are positive. Moreover, an accurate method to construct the bidiagonal factorization of these matrices is obtained and used to compute with high relative accuracy the eigenvalues, singular values and inverses. Similar results for the collocation matrice… ▽ More In this paper, we prove that any collocation matrix of Bessel polynomials at positive points is strictly totally positive, that is, all its minors are positive. Moreover, an accurate method to construct the bidiagonal factorization of these matrices is obtained and used to compute with high relative accuracy the eigenvalues, singular values and inverses. Similar results for the collocation matrices for the reverse Bessel polynomials are also obtained. Numerical examples illustrating the theoretical results are included. △ Less

Submitted 17 January, 2025; originally announced January 2025.

MSC Class: 65F05; 65F15; 65G50; 33C10; 33C45; 15A23

Journal ref: J. Sci. Comput. 80 (2019), no. 2, 1264-1278

Infinity norm bounds for the inverse of Nekrasov matrices using scaling matrices

Authors: Héctor Orera, Juan Manuel Peña

Abstract: For many applications, it is convenient to have good upper bounds for the norm of the inverse of a given matrix. In this paper, we obtain such bounds when A is a Nekrasov matrix, by means of a scaling matrix transforming A into a strictly diagonally dominant matrix. Numerical examples and comparisons with other bounds are included. The scaling matrices are also used to derive new error bounds for… ▽ More For many applications, it is convenient to have good upper bounds for the norm of the inverse of a given matrix. In this paper, we obtain such bounds when A is a Nekrasov matrix, by means of a scaling matrix transforming A into a strictly diagonally dominant matrix. Numerical examples and comparisons with other bounds are included. The scaling matrices are also used to derive new error bounds for the linear complementarity problems when the involved matrix is a Nekrasov matrix. These error bounds can improve considerably other previous bounds. △ Less

Submitted 16 January, 2025; originally announced January 2025.

MSC Class: 65F35; 15A60; 65F05; 90C33

Journal ref: Appl. Math. Comput. 358 (2019), 119-127

Combined matrices of almost strictly sign regular matrices

Authors: Pedro Alonso, Juan Manuel Peña, María Luisa Serrano

Abstract: The combined matrix is a very useful concept for many applications. Almost strictly sign regular (ASSR) matrices form an important structured class of matrices with two possible zero patterns, which are either type-I staircase or type-II staircase. We prove that, under an irreducibility condition, the pattern of zero and nonzero entries of an ASSR matrix is preserved by the corresponding combined… ▽ More The combined matrix is a very useful concept for many applications. Almost strictly sign regular (ASSR) matrices form an important structured class of matrices with two possible zero patterns, which are either type-I staircase or type-II staircase. We prove that, under an irreducibility condition, the pattern of zero and nonzero entries of an ASSR matrix is preserved by the corresponding combined matrix. Without the irreducibility condition, it is proved that type-I and type-II staircases are still preserved. Illustrative numerical examples are included. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: 8 pages

MSC Class: 65F05; 65F15; 65F35

Almost strictly sign regular rectangular matrices

Authors: P. Alonso, J. M. Peña, M. L. Serrano

Abstract: Almost strictly sign regular matrices are sign regular matrices with a special zero pattern and whose nontrivial minors are nonzero. In this paper we provide several properties of almost strictly sign regular rectangular matrices and analyze their QR factorization. Almost strictly sign regular matrices are sign regular matrices with a special zero pattern and whose nontrivial minors are nonzero. In this paper we provide several properties of almost strictly sign regular rectangular matrices and analyze their QR factorization. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: 10 pages

MSC Class: 65F05; 65F15; 65F35

Journal ref: Journal of Computational and Applied Mathematics 404 (2022) 113121

On the Probability of Immunity

Authors: Jose M. Peña

Abstract: This work is devoted to the study of the probability of immunity, i.e. the effect occurs whether exposed or not. We derive necessary and sufficient conditions for non-immunity and $ε$-bounded immunity, i.e. the probability of immunity is zero and $ε$-bounded, respectively. The former allows us to estimate the probability of benefit (i.e., the effect occurs if and only if exposed) from a randomized… ▽ More This work is devoted to the study of the probability of immunity, i.e. the effect occurs whether exposed or not. We derive necessary and sufficient conditions for non-immunity and $ε$-bounded immunity, i.e. the probability of immunity is zero and $ε$-bounded, respectively. The former allows us to estimate the probability of benefit (i.e., the effect occurs if and only if exposed) from a randomized controlled trial, and the latter allows us to produce bounds of the probability of benefit that are tighter than the existing ones. We also introduce the concept of indirect immunity (i.e., through a mediator) and repeat our previous analysis for it. Finally, we propose a method for sensitivity analysis of the probability of immunity under unmeasured confounding. △ Less

Submitted 11 October, 2023; v1 submitted 21 September, 2023; originally announced September 2023.

Bidiagonal Decompositions of Vandermonde-Type Matrices of Arbitrary Rank

Authors: Jorge Delgado, Plamen Koev, Ana Marco, Jose-Javier Martinez, Juan Manuel Pena, Per-Olof Persson, Steven Spasov

Abstract: We present a method to derive new explicit expressions for bidiagonal decompositions of Vandermonde and related matrices such as the (q-, h-) Bernstein-Vandermonde ones, among others. These results generalize the existing expressions for nonsingular matrices to matrices of arbitrary rank. For totally nonnegative matrices of the above classes, the new decompositions can be computed efficiently and… ▽ More We present a method to derive new explicit expressions for bidiagonal decompositions of Vandermonde and related matrices such as the (q-, h-) Bernstein-Vandermonde ones, among others. These results generalize the existing expressions for nonsingular matrices to matrices of arbitrary rank. For totally nonnegative matrices of the above classes, the new decompositions can be computed efficiently and to high relative accuracy componentwise in floating point arithmetic. In turn, matrix computations (e.g., eigenvalue computation) can also be performed efficiently and to high relative accuracy. △ Less

Submitted 18 October, 2022; originally announced October 2022.

MSC Class: 65F15; 15A23; 15B48; 15B35

Towards Conditional Path Analysis

Authors: Jose M. Peña

Abstract: We extend path analysis by giving sufficient conditions for computing the partial covariance of two random variables from their covariance. This is specifically done by correcting the covariance with the product of some partial variance ratios. As a result, the partial covariance retains the covariance's salient feature of factorizing over the edges in the paths between the two variables of intere… ▽ More We extend path analysis by giving sufficient conditions for computing the partial covariance of two random variables from their covariance. This is specifically done by correcting the covariance with the product of some partial variance ratios. As a result, the partial covariance retains the covariance's salient feature of factorizing over the edges in the paths between the two variables of interest. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:2002.05226

Extremal and optimal properties of B-bases Collocation Matrices

Authors: Jorge Delgado, J. M. Peña

Abstract: Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of normalized B-bases. Some results on the optimal conditioning and on extremal properties of the minimal eigenvalue and singular value of the collocation matrices of… ▽ More Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of normalized B-bases. Some results on the optimal conditioning and on extremal properties of the minimal eigenvalue and singular value of the collocation matrices of normalized B-bases are proved. Numerical examples confirm the theoretical results and answer related questions. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Comments: 11 pages

MSC Class: 65F35; 65F15; 15B48; 15A12; 15A18; 65D17

SVD update methods for large matrices and applications

Authors: Juan Manuel Peña, Tomas Sauer

Abstract: We consider the problem of updating the SVD when augmenting a "tall thin" matrix, i.e., a rectangular matrix $A \in \RR^{m \times n}$ with $m \gg n$. Supposing that an SVD of $A$ is already known, and given a matrix $B \in \RR^{m \times n'}$, we derive an efficient method to compute and efficiently store the SVD of the augmented matrix $[ A B ] \in \RR^{m \times (n+n')}$. This is an important tool… ▽ More We consider the problem of updating the SVD when augmenting a "tall thin" matrix, i.e., a rectangular matrix $A \in \RR^{m \times n}$ with $m \gg n$. Supposing that an SVD of $A$ is already known, and given a matrix $B \in \RR^{m \times n'}$, we derive an efficient method to compute and efficiently store the SVD of the augmented matrix $[ A B ] \in \RR^{m \times (n+n')}$. This is an important tool for two types of applications: in the context of principal component analysis, the dominant left singular vectors provided by this decomposition form an orthonormal basis for the best linear subspace of a given dimension, while from the right singular vectors one can extract an orthonormal basis of the kernel of the matrix. We also describe two concrete applications of these concepts which motivated the development of our method and to which it is very well adapted. △ Less

Submitted 10 September, 2018; originally announced September 2018.

MSC Class: 65F30

Identification of Strong Edges in AMP Chain Graphs

Authors: Jose M. Peña

Abstract: The essential graph is a distinguished member of a Markov equivalence class of AMP chain graphs. However, the directed edges in the essential graph are not necessarily strong or invariant, i.e. they may not be shared by every member of the equivalence class. Likewise for the undirected edges. In this paper, we develop a procedure for identifying which edges in an essential graph are strong. We als… ▽ More The essential graph is a distinguished member of a Markov equivalence class of AMP chain graphs. However, the directed edges in the essential graph are not necessarily strong or invariant, i.e. they may not be shared by every member of the equivalence class. Likewise for the undirected edges. In this paper, we develop a procedure for identifying which edges in an essential graph are strong. We also show how this makes it possible to bound some causal effects when the true chain graph is unknown. △ Less

Submitted 25 June, 2018; v1 submitted 23 November, 2017; originally announced November 2017.

Comments: arXiv admin note: text overlap with arXiv:1303.0691

Journal ref: UAI 2018

Optimal interval length for the collocation of the Newton basis

Authors: J. M. Carnicer, Y. Khiar, J. M. Peña

Abstract: It is known that the Lagrange interpolation problem at equidistant nodes is ill-conditioned. We explore the influence of the interval length in the computation of divided differences of the Newton interpolation formula. Condition numbers are computed for lower triangular matrices associated to the Newton interpolation formula at equidistant nodes. We consider the collocation matrices $L$ and… ▽ More It is known that the Lagrange interpolation problem at equidistant nodes is ill-conditioned. We explore the influence of the interval length in the computation of divided differences of the Newton interpolation formula. Condition numbers are computed for lower triangular matrices associated to the Newton interpolation formula at equidistant nodes. We consider the collocation matrices $L$ and $P_L$ of the monic Newton basis and a normalized Newton basis, so that $P_L$ is the lower triangular Pascal matrix. In contrast to $L$, $P_L$ does not depend on the interval length, and we show that the Skeel condition number of the $(n+1)\times (n+1)$ lower triangular Pascal matrix is $3^n$. The $\infty$-norm condition number of the collocation matrix $L$ of the monic Newton basis is computed in terms of the interval length. The minimum asymptotic growth rate is achieved for intervals of length 3. △ Less

Submitted 20 September, 2017; originally announced September 2017.

MSC Class: 41A05; 65F35; 15A12

Decomposition of tensors

Authors: Juan Manuel Peña, Tomas Sauer

Abstract: We consider representations of tensors as sums of decomposable tensors or, equivalently, decomposition of multilinear forms into one--forms. In this short note we show that there exists a particular finite strongly orthogonal decomposition which is essentially unique and yields all critical points of the multilinear form on the torus. In particular, this determines exactly the number of critical p… ▽ More We consider representations of tensors as sums of decomposable tensors or, equivalently, decomposition of multilinear forms into one--forms. In this short note we show that there exists a particular finite strongly orthogonal decomposition which is essentially unique and yields all critical points of the multilinear form on the torus. In particular, this determines exactly the number of critical points of the multilinear form, giving an affirmative answer to a finiteness conjecture by Friedland. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Learning AMP Chain Graphs under Faithfulness

Authors: Jose M. Peña

Abstract: This paper deals with chain graphs under the alternative Andersson-Madigan-Perlman (AMP) interpretation. In particular, we present a constraint based algorithm for learning an AMP chain graph a given probability distribution is faithful to. We also show that the extension of Meek's conjecture to AMP chain graphs does not hold, which compromises the development of efficient and correct score+search… ▽ More This paper deals with chain graphs under the alternative Andersson-Madigan-Perlman (AMP) interpretation. In particular, we present a constraint based algorithm for learning an AMP chain graph a given probability distribution is faithful to. We also show that the extension of Meek's conjecture to AMP chain graphs does not hold, which compromises the development of efficient and correct score+search learning algorithms under assumptions weaker than faithfulness. △ Less

Submitted 24 April, 2012; originally announced April 2012.

Towards Optimal Learning of Chain Graphs

Authors: Jose M. Peña

Abstract: In this paper, we extend Meek's conjecture (Meek 1997) from directed and acyclic graphs to chain graphs, and prove that the extended conjecture is true. Specifically, we prove that if a chain graph H is an independence map of the independence model induced by another chain graph G, then (i) G can be transformed into H by a sequence of directed and undirected edge additions and feasible splits and… ▽ More In this paper, we extend Meek's conjecture (Meek 1997) from directed and acyclic graphs to chain graphs, and prove that the extended conjecture is true. Specifically, we prove that if a chain graph H is an independence map of the independence model induced by another chain graph G, then (i) G can be transformed into H by a sequence of directed and undirected edge additions and feasible splits and mergings, and (ii) after each operation in the sequence H remains an independence map of the independence model induced by G. Our result has the same important consequence for learning chain graphs from data as the proof of Meek's conjecture in (Chickering 2002) had for learning Bayesian networks from data: It makes it possible to develop efficient and asymptotically correct learning algorithms under mild assumptions. △ Less

Submitted 25 September, 2011; originally announced September 2011.

Finding Consensus Bayesian Network Structures

Authors: Jose M. Peña

Abstract: Suppose that multiple experts (or learning algorithms) provide us with alternative Bayesian network (BN) structures over a domain, and that we are interested in combining them into a single consensus BN structure. Specifically, we are interested in that the consensus BN structure only represents independences all the given BN structures agree upon and that it has as few parameters associated as po… ▽ More Suppose that multiple experts (or learning algorithms) provide us with alternative Bayesian network (BN) structures over a domain, and that we are interested in combining them into a single consensus BN structure. Specifically, we are interested in that the consensus BN structure only represents independences all the given BN structures agree upon and that it has as few parameters associated as possible. In this paper, we prove that there may exist several non-equivalent consensus BN structures and that finding one of them is NP-hard. Thus, we decide to resort to heuristics to find an approximated consensus BN structure. In this paper, we consider the heuristic proposed in \citep{MatzkevichandAbramson1992,MatzkevichandAbramson1993a,MatzkevichandAbramson1993b}. This heuristic builds upon two algorithms, called Methods A and B, for efficiently deriving the minimal directed independence map of a BN structure relative to a given node ordering. Methods A and B are claimed to be correct although no proof is provided (a proof is just sketched). In this paper, we show that Methods A and B are not correct and propose a correction of them. △ Less

Submitted 11 July, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: Changes from v3 to v4: Section 1 has been extended with more motivation and a review of the literature. Theorem 3 proves that CONSENSUS is not only NP-hard but NP-complete. A flaw in Theorem 4 has been fixed. The proof of Theorem 5 has been re-written from scratch. Now, it is self-contained, i.e. it does not rely upon the algorithm by Chickering (2004)

Journal ref: Journal of Artificial Intelligence Research, 42, 661-687, 2011

Reading Dependencies from Covariance Graphs

Authors: Jose M. Peña

Abstract: The covariance graph (aka bi-directed graph) of a probability distribution $p$ is the undirected graph $G$ where two nodes are adjacent iff their corresponding random variables are marginally dependent in $p$. In this paper, we present a graphical criterion for reading dependencies from $G$, under the assumption that $p$ satisfies the graphoid properties as well as weak transitivity and compositio… ▽ More The covariance graph (aka bi-directed graph) of a probability distribution $p$ is the undirected graph $G$ where two nodes are adjacent iff their corresponding random variables are marginally dependent in $p$. In this paper, we present a graphical criterion for reading dependencies from $G$, under the assumption that $p$ satisfies the graphoid properties as well as weak transitivity and composition. We prove that the graphical criterion is sound and complete in certain sense. We argue that our assumptions are not too restrictive. For instance, all the regular Gaussian probability distributions satisfy them. △ Less

Submitted 26 June, 2012; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: Changes from v1 to v2: Minor cosmetic changes, plus the addition of reference (Richardson and Spirtes, 2002) in page 8. Changes from v2 to v3: Addition of some references; International Journal of Approximate Reasoning, 2012

Faithfulness in Chain Graphs: The Gaussian Case

Authors: Jose M. Peña

Abstract: This paper deals with chain graphs under the classic Lauritzen-Wermuth-Frydenberg interpretation. We prove that the regular Gaussian distributions that factorize with respect to a chain graph $G$ with $d$ parameters have positive Lebesgue measure with respect to $\mathbb{R}^d$, whereas those that factorize with respect to $G$ but are not faithful to it have zero Lebesgue measure with respect to… ▽ More This paper deals with chain graphs under the classic Lauritzen-Wermuth-Frydenberg interpretation. We prove that the regular Gaussian distributions that factorize with respect to a chain graph $G$ with $d$ parameters have positive Lebesgue measure with respect to $\mathbb{R}^d$, whereas those that factorize with respect to $G$ but are not faithful to it have zero Lebesgue measure with respect to $\mathbb{R}^d$. This means that, in the measure-theoretic sense described, almost all the regular Gaussian distributions that factorize with respect to $G$ are faithful to it. △ Less

Submitted 13 August, 2010; originally announced August 2010.

MSC Class: 62H05; 60E05; 68T30

Journal ref: Proceedings of the 14th International Conference on Artificial Intelligence and Statistics (AISTATS 2011), 588-599