English
Related papers

Related papers: A SAT+CAS Approach to Finding Good Matrices: New E…

200 papers

We introduce a new class of structured symmetric matrices by extending the notion of perfect elimination ordering from graphs to weighted graphs or matrices. This offers a common framework capturing common vertex elimination orderings of…

Combinatorics · Mathematics 2018-11-20 Monique Laurent , Shin-ichi Tanigawa

This study presents special cases of inconsistent pairwise comparisons PC matrices and analysis of their eigenvalue-based inconsistency index using mathematical methods. All studied special cases of PC matrices are Toeplitz matrices with…

Optimization and Control · Mathematics 2019-08-01 Viera Čerňanová , Waldemar W. Koczkodaj

This paper is a preliminary report on our search for new good examples of Hall's Conjecture. We present a new algorithm that will detect all good examples within a given search space. We have implemented the algorithm, and our executions…

Number Theory · Mathematics 2014-01-20 Stål Aanderaa , Lars Kristiansen , Hans Kristian Ruud

We introduce Hadamard matrices whose entries are quaternionic. We then go on to provide classification of quaternionic Hadamard matrices of circulant core of orders 2 through 5. We also introduce quaternionic Hadamard matrices of Butson…

Combinatorics · Mathematics 2022-03-08 Logan M. Higginbotham , Chase T. Worley

A circulant weighing matrix $W = (w_{i,j})$ is a square matrix of order $n$ and entries $w_{i,j}$ in $\{0, \pm 1\}$ such that $WW^T=kI_n$. In his thesis, Strassler gave a table of existence results for such matrices with $n \leq 200$ and $k…

Combinatorics · Mathematics 2021-05-13 K. T. Arasu , Daniel M. Gordon , Yiran Zhang

A $k$-net($n$) is a combinatorial design equivalent to $k-2$ mutually orthogonal Latin squares of order $n$. A relation in a net is a linear dependency over $\mathbb{F}_2$ in the incidence matrix of the net. A computational enumeration of…

Combinatorics · Mathematics 2025-11-07 Curtis Bright , Amadou Keita , Brett Stevens

In this paper, we introduce a graph matching method that can account for constraints of arbitrary order, with arbitrary potential functions. Unlike previous decomposition approaches that rely on the graph structures, we introduce a…

Computer Vision and Pattern Recognition · Computer Science 2018-02-26 D. Khuê Lê-Huu , Nikos Paragios

Incomplete pairwise comparison matrices offer a natural way of expressing preferences in decision making processes. Although ordinal information is crucial, there is a bias in the literature: cardinal models dominate. Ordinal models usually…

Optimization and Control · Mathematics 2020-12-15 Luca Faramondi , Gabriele Oliva , Sándor Bozóki

We consider the groups of regular circulant matrices over finite fields and integer residue class rings. In both cases we present a formula for the order of these groups. We also make a first step towards finding the algebraic structure of…

Combinatorics · Mathematics 2009-09-21 Daniel Appel

Recently Ahmadi et al. (2021) and Tagliaferro (2022) proposed some iterative methods for the numerical solution of linear systems which, under the classical hypothesis of strict diagonal dominance, typically converge faster than the Jacobi…

Numerical Analysis · Mathematics 2024-04-11 Paolo Novati , Fulvio Tagliaferro , Marino Zennaro

We develop several efficient algorithms for the classical \emph{Matrix Scaling} problem, which is used in many diverse areas, from preconditioning linear systems to approximation of the permanent. On an input $n\times n$ matrix $A$, this…

Data Structures and Algorithms · Computer Science 2017-04-10 Zeyuan Allen-Zhu , Yuanzhi Li , Rafael Oliveira , Avi Wigderson

We study the enumeration of diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order by introducing a case of the six-vertex model whose configurations are in bijection with such matrices. The model…

Combinatorics · Mathematics 2017-08-01 Roger E. Behrend , Ilse Fischer , Matjaž Konvalinka

The notion of disjoint weighing matrices is introduced as a generalization of orthogonal designs. A recursive construction along with a computer search lead to some infinite classes of disjoint weighing matrices, which in turn are shown to…

Combinatorics · Mathematics 2020-09-07 Hadi Kharaghani , Sho Suda , Behruz Tayfeh-Rezaie

Finding the inverse of a matrix is an open problem especially when it comes to engineering problems due to their complexity and running time (cost) of matrix inversion algorithms. An optimum strategy to invert a matrix is, first, to reduce…

For each $\alpha \in \{0,1,-1 \}$, we count diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order with a maximal number of $\alpha$'s along the diagonal and the antidiagonal, as well as DASASMs of…

Combinatorics · Mathematics 2020-09-11 Arvind Ayyer , Roger E. Behrend , Ilse Fischer

When a linear system Ax = y is solved by means of iterative methods (mainly CG and GMRES) and the convergence rate is slow, one may consider a preconditioner P. The use of such preconditioner changes the spectrum of the matrix defining the…

Numerical Analysis · Mathematics 2013-04-03 F. Tudisco , C. Di Fiore , E. E. Tyrtyshnikov

A classification is given for (regular) positions of direct sums of two matroid algebras (unital algebraic limits of matrix algebras) in a matroid superalgebra, where the individual summands have index 2 in their associated corner algebra.…

Operator Algebras · Mathematics 2007-05-23 S. C. Power

The clustering problem has many applications in Machine Learning, Operations Research, and Statistics. We propose three algorithms to create starting solutions for improvement algorithms for this problem. We test the algorithms on 72…

Machine Learning · Computer Science 2020-04-10 Pawel Kalczynski , Jack Brimberg , Zvi Drezner

We consider the solution of systems of linear algebraic equations (SLAEs) with an ill-conditioned or degenerate exact matrix and an approximate right-hand side. An approach to solving such a problem is proposed and justified, which makes it…

Numerical Analysis · Mathematics 2024-05-08 A. S. Leonov

Matrix multiplication optimization remains a fundamental challenge in computational mathematics. This work introduces a novel approach that discovers matrix multiplication schemes whose coefficients are restricted to the set $\{-1, 0, 1\}$…

Symbolic Computation · Computer Science 2025-12-02 A. I. Perminov