English
Related papers

Related papers: The $2\times2$ Matrix Mortality Problem and Invert…

200 papers

When solving systems of banded Toeplitz equations or calculating their inverses, it is necessary to determine the invertibility of the matrices beforehand. In this paper, we equate the invertibility of an $n$-order banded Toeplitz matrix…

Numerical Analysis · Mathematics 2024-05-03 Chen Wang , Chao Wang

Sparse matrix factorization is the problem of approximating a matrix $\mathbf{Z}$ by a product of $J$ sparse factors $\mathbf{X}^{(J)} \mathbf{X}^{(J-1)} \ldots \mathbf{X}^{(1)}$. This paper focuses on identifiability issues that appear in…

Machine Learning · Computer Science 2021-11-18 Léon Zheng , Elisa Riccietti , Rémi Gribonval

We study several decision problems for counter systems with guards defined by convex polyhedra and updates defined by affine transformations. In general, the reachability problem is undecidable for such systems. Decidability can be achieved…

Computational Complexity · Computer Science 2016-05-20 Radu Iosif , Arnaud Sangnier

A complete solution to the multiplier version of the inverse problem of the calculus of variations is given for a class of hyperbolic systems of second-order partial differential equations in two independent variables. The necessary and…

Differential Geometry · Mathematics 2009-10-16 Matt Biesecker

For given real or complex $m \times n$ data matrices $X$, $Y$, we investigate when there is a matrix $A$ such that $AX = Y$, and $A$ is invertible, Hermitian, positive (semi)definite, unitary, an orthogonal projection, a reflection, complex…

Functional Analysis · Mathematics 2025-04-25 Kyle Bierly , Stephan Ramon Garcia , Roger A. Horn

We consider the following problem: given $d \times d$ rational matrices $A_1, \ldots, A_k$ and a polyhedral cone $\mathcal{C} \subset \mathbb{R}^d$, decide whether there exists a non-zero vector whose orbit under multiplication by $A_1,…

Logic in Computer Science · Computer Science 2023-04-20 Ruiwen Dong

We consider the problem of enumerating the number of irreducible transformation shift registers. We give an asymptotic formula for the number of irreducible transformation shift registers in some special cases. Moreover, we derive a short…

Combinatorics · Mathematics 2016-04-25 Stephen D. Cohen , Sartaj Ul Hasan , Daniel Panario , Qiang Wang

This paper concerns matrix decompositions in which the factors are restricted to lie in a closed subvariety of a matrix group. Such decompositions are of relevance in control theory: given a target matrix in the group, can it be decomposed…

Algebraic Geometry · Mathematics 2020-05-29 Jan Draisma

We consider the polynomial equation $$X^n + a_{n-1}\cdot X^{n-1} + \dots + a_1 \cdot X + a_0 \cdot I = O,$$ over $(2 \times 2)$-matrices $X$ with the real entries, where $I$ is the identity matrix, $O$ is the null matrix, $a_i \in \mathbb…

Rings and Algebras · Mathematics 2025-06-10 Vitalij A. Chatyrko , Alexandre Karassev

We expose in full detail a constructive procedure to invert the so--called "finite Markov moment problem". The proofs rely on the general theory of Toeplitz matrices together with the classical Newton's relations.

Numerical Analysis · Mathematics 2009-11-02 Laurent Gosse , Olof Runborg

We describe all solutions of the matrix Hamburger moment problem in a general case (no conditions besides solvability are assumed). We use the fundamental results of A.V. Shtraus on the generalized resolvents of symmetric operators. All…

Classical Analysis and ODEs · Mathematics 2009-10-21 Sergey M. Zagorodnyuk

The problem of matrix factorization motivated by diffraction or elasticity is studied. A powerful tool for analyzing its solutions is introduced, namely analytical continuation formulae are derived. Necessary condition for commutative…

Analysis of PDEs · Mathematics 2012-11-20 Andrey V. Shanin , Eugeny M. Doubravsky

Given some binary matrix $M$, suppose we are presented with the collection of its rows and columns in independent arbitrary orderings. From this information, are we able to recover the unique original orderings and matrix? We present an…

Probability · Mathematics 2024-04-24 Caelan Atamanchuk , Luc Devroye , Massimo Vicenzo

Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R^{n x n} are stable. In particular, we are interested whether there exist…

Optimization and Control · Mathematics 2009-01-15 L. Gurvits , A. Olshevsky

An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…

Logic in Computer Science · Computer Science 2024-11-14 Arka Ghosh , Piotr Hofman , Sławomir Lasota

In this article we study a class of generalised linear systems of difference equations with given boundary conditions and assume that the boundary value problem is non-consistent, i.e. it has infinite many or no solutions. We take into…

Dynamical Systems · Mathematics 2016-10-27 Nicholas Apostolopoulos , Fernando Ortega , Grigoris Kalogeropoulos

We consider optimization problems involving the multiplication of variable matrices to be selected from a given family, which might be a discrete set, a continuous set or a combination of both. Such nonlinear, and possibly discrete,…

Optimization and Control · Mathematics 2021-03-12 Burak Kocuk

The theory of matrix models is reviewed from the point of view of its relation to integrable hierarchies. Discrete 1-matrix, 2-matrix, ``conformal'' (multicomponent) and Kontsevich models are considered in some detail, together with the…

High Energy Physics - Theory · Physics 2010-12-17 A. Morozov

The paper continues the authors' study of the linearizability problem for nonlinear control systems. In the recent work [K. Sklyar, Systems Control Lett. 134 (2019), 104572], conditions on mappability of a nonlinear control system to a…

Optimization and Control · Mathematics 2021-01-26 Katerina V. Sklyar , Svetlana Yu. Ignatovich

This paper presents several new tractability results for planning based on macros. We describe an algorithm that optimally solves planning problems in a class that we call inverted tree reducible, and is provably tractable for several…

Artificial Intelligence · Computer Science 2014-01-16 Anders Jonsson