It has been shown that combinatorial optimization of matrix-vector multiplication can lead to faster evaluation of finite element stiffness matrices. Based on a graph model characterizing relationships between rows, an efficient set of operations can be generated to perform matrix-vector multiplication for this problem. We improve the graph model by extending the set of binary row relationships...

In the present paper, we give upper and lower bounds for the spectral norm of g-circulant matrix, whose the rst row entries are the classical Horadam numbers U (a,b) i . In addition, we also establish an explicit formula of the spectral norm for g-circulant matrix with the rst row ([U (a,b) 0 ] , [U (a,b) 1 ] , · · · , [U (a,b) n−1 ]).

We define a higher spin alternating sign matrix to be an integer-entry square matrix in which, for a nonnegative integer r, all complete row and column sums are r, and all partial row and column sums extending from each end of the row or column are nonnegative. Such matrices correspond to configurations of spin r/2 statistical mechanical vertex models with domain-wall boundary conditions. The c...

For a (row) diagonally dominant matrix, if all of its off-diagonal entries and its diagonally dominant parts (which are defined for each row as the absolute value of the diagonal entry subtracted by the sum of the absolute values of off-diagonal entries in that row) are accurately known, we develop an algorithm that computes all the singular values, including zero ones if any, with relative err...

Motivated both by the work of Anstee, Griggs, and Sali on forbidden submatrices and also by the extremal sat-function for graphs, we introduce sat-type problems for matrices. Let F be a family of k-row matrices. A matrix M is called F-admissible if M contains no submatrix F ∈ F (as a row and column permutation of F ). A matrix M without repeated columns is F-saturated if M is F-admissible but t...

Results are proven on an inequality in max algebra and applied to theorems on the diagonal similarity scaling of matrices. Thus the set of all solutions to several scaling problems is obtained. Also introduced is the “full term rank” scaling of a matrix to a matrix with prescribed row and column maxima with the additional requirement that all the maxima are attained at entries each from a diffe...

We present results regarding row and column spaces of matrices whose entries are elements of residuated lattices. In particular, we define the notions of a row and column space for matrices over residuated lattices, provide connections to concept lattices and other structures associated to such matrices, and show several properties of the row and column spaces, including properties that relate ...

Discrete combinatorial optimization problems in the real world are typically defined via an ensemble of potentially high dimensional measurements pertaining to all subjects of a system under study. We point out that such a data ensemble in fact embeds with system’s information content that is not directly used in defining the combinatorial optimization problems. Can machine learning algorithms ...

The kappa SQ software package is designed to assist researchers working on randomized row sampling. The package contains a collection of Matlab functions along with a GUI that ties them all together and provides a platform for the user to perform experiments. In particular, kappa SQ is designed to do experiments related to the two-norm condition number of a sampled matrix, κ(SQ), where S is a r...

In a constraint satisfaction problem (CSP), symmetry involves the variables, values in the domains, or both, and maps each search state into an equivalent one. When searching for solutions, symmetrically equivalent (partial) assignments can dramatically increase the search space. Hence, elimination of symmetry is essential to avoid exploring equivalent branches in a search tree. An important cl...