English
Related papers

Related papers: A simplex algorithm for rational cp-factorization

200 papers

We give an algorithm for computing approximate PSD factorizations of nonnegative matrices. The running time of the algorithm is polynomial in the dimensions of the input matrix, but exponential in the PSD rank and the approximation error.…

Data Structures and Algorithms · Computer Science 2016-02-25 Amitabh Basu , Michael Dinitz , Xin Li

In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to…

K-Theory and Homology · Mathematics 2023-08-30 Petter Andreas Bergh , David A. Jorgensen

We consider continuous linear programs over a continuous finite time horizon $T$, with a constant coefficient matrix, linear right hand side functions and linear cost coefficient functions, where we search for optimal solutions in the space…

Optimization and Control · Mathematics 2019-05-02 Evgeny Shindin , Gideon Weiss

This paper introduces a fast algorithm for simultaneous inversion and determinant computation of small sized matrices in the context of fully Polarimetric Synthetic Aperture Radar (PolSAR) image processing and analysis. The proposed fast…

Numerical Analysis · Computer Science 2018-07-24 D. F. G. Coelho , R. J. Cintra , A. C. Frery , V. S. Dimitrov

A general theorem on factorization of matrices with polynomial entries is proven and it is used to reduce polynomial Darboux matrices to linear ones. Some new examples of linear Darboux matrices are discussed.

Exactly Solvable and Integrable Systems · Physics 2009-11-11 F. Musso , A. Shabat

Binary matrix factorisation is an essential tool for identifying discrete patterns in binary data. In this paper we consider the rank-k binary matrix factorisation problem (k-BMF) under Boolean arithmetic: we are given an n x m binary…

Optimization and Control · Mathematics 2021-08-05 Reka A. Kovacs , Oktay Gunluk , Raphael A. Hauser

Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In…

Algebraic Geometry · Mathematics 2024-03-27 Juan Gerardo Alcázar , Hüsnü Anıl Çoban , Uğur Gözütok

If K/k is a function field in one variable of positive characteristic, we describe a general algorithm to factor one-variable polynomials with coefficients in K. The algorithm is flexible enough to find factors subject to additional…

Number Theory · Mathematics 2024-09-16 Jose Felipe Voloch

Selective rationalization has become a common mechanism to ensure that predictive models reveal how they use any available features. The selection may be soft or hard, and identifies a subset of input features relevant for prediction. The…

Computation and Language · Computer Science 2019-12-17 Mo Yu , Shiyu Chang , Yang Zhang , Tommi S. Jaakkola

For a rational function of several variables with nonnegative imaginary part on the upper poly-half-plane, the matrix representations are obtained.

Complex Variables · Mathematics 2021-11-30 M. F. Bessmertnyi

We present an approach to decomposition and factor analysis of matrices with ordinal data. The matrix entries are grades to which objects represented by rows satisfy attributes represented by columns, e.g. grades to which an image is red, a…

Machine Learning · Computer Science 2013-03-07 Radim Belohlavek , Vilem Vychodil

In the computation of Feynman integrals which evaluate to multiple polylogarithms one encounters quite often square roots. To express the Feynman integral in terms of multiple polylogarithms, one seeks a transformation of variables, which…

High Energy Physics - Theory · Physics 2018-12-07 Marco Besier , Duco van Straten , Stefan Weinzierl

We present a new algorithm to decide finiteness of matrix groups defined over a field of positive characteristic. Together with previous work for groups in zero characteristic, this provides the first complete solution of the finiteness…

Group Theory · Mathematics 2019-05-20 A. S. Detinko , D. L. Flannery , E. A. O'Brien

We apply general difference calculus in order to obtain solutions to the functional equations of the second order. We show that factorization method can be successfully applied to the functional case. This method is equivariant under the…

Mathematical Physics · Physics 2010-09-01 Tomasz Golinski , Anatol Odzijewicz

We present a special-purpose algorithm for factoring semiprimes $N = pq$ in which one prime factor satisfies $p \approx c\,(a/b)^n$ for positive integers $a, b, c, n$ with $a > b$ and $\gcd(a,b) = 1$. Given the correct parameters $(a, b)$,…

Number Theory · Mathematics 2026-05-12 Sam Blake

In a previous paper, we have shown that any Boolean formula can be encoded as a linear programming problem in the framework of Bayesian probability theory. When applied to NP-complete algorithms, this leads to the fundamental conclusion…

Data Structures and Algorithms · Computer Science 2012-12-21 Michel Feldmann

Let G be a piecewise constant $n\times n$ matrix function which is defined on a smooth closed curve $\Gamma$ in the complex sphere and which has m jumps. We consider the problem of determining the partial indices of the factorization of the…

Classical Analysis and ODEs · Mathematics 2007-05-23 Torsten Ehrhardt , Ilya M. Spitkovsky

We describe an explicit algorithm to factorize an even antisymmetric N^2 matrix into triangular and trivial factors. This allows for a straight forward computation of Pfaffians (including their signs) at the cost of N^3/3 flops.

High Energy Physics - Lattice · Physics 2011-09-07 Jürgen Rubow , Ulli Wolff

We present a polynomial time algorithm to compute any fixed number of the highest coefficients of the Ehrhart quasi-polynomial of a rational simplex. Previously such algorithms were known for integer simplices and for rational polytopes of…

Combinatorics · Mathematics 2007-05-23 Alexander Barvinok

The papers shows an algorithm to search for approximations of reals to rationals of the form a/b^2 that runs on \sqrt(b) polynomial time steps.

Number Theory · Mathematics 2007-05-23 I. Jimenez Calvo