Interval matrices: realization of ranks by rational matrices

Elena Rubei

DOI: https://doi.org/10.1016/j.laa.2020.09.01

2024-12-02

Abstract:Let $\alpha $ be a $p \times q$ interval matrix with $p \geq q$ and with the endpoints of all its entries in the set of the rational numbers. We prove that, if $\alpha $ contains a rank-$r$ real matrix with $r \in \{2, q-2,q-1,q\}$, then it contains a rank-$r$ rational matrix.

Rings and Algebras

What problem does this paper attempt to address?

Generalization of real interval matrices to other fields

Elena Rubei

DOI: https://doi.org/10.48550/arXiv.1812.07386

2019-04-28

Abstract:An interval matrix is a matrix whose entries are intervals in the set of real numbers. We generalize this concept, which has been broadly studied, to other fields. Precisely we define a rational interval matrix to be a matrix whose entries are intervals in the set of the rational numbers. We prove that a (real) interval matrix with endpoints of all its entries in the set of the rational numbers contains a rank-one matrix if and only if contains a rational rank-one matrix and contains a matrix with rank smaller than min{p,q} if and only if it contains a rational matrix with rank smaller than min{p,q}; from these results and from the analogous criterions for (real) inerval matrices, we deduce immediately a criterion to see when a rational interval matrix contains a rank-one matrix and a criterion to see when it is full-rank, that is, all the matrices it contains are full-rank. Moreover, given a field K and a matrix a whose entries are subsets of K, we describe a criterion to find the maximal rank of a matrix contained in a.

Rings and Algebras
Statistics of ranks, determinants and characteristic polynomials of rational matrices

Muhammad Afifurrahman,Vivian Kuperberg,Alina Ostafe,Igor E. Shparlinski

2024-02-26

Abstract:We consider the set of $n\times n$ matrices with rational entries having numerator and denominator of size at most $H$ and obtain upper and lower bounds on the number of such matrices of a given rank and then apply them to count such matrices with a given determinant, or a given characteristic polynomial.

Number Theory
A generalization of Rohn's theorem on full-rank interval matrices

Elena Rubei

DOI: https://doi.org/10.48550/arXiv.1803.05433

2018-03-14

Abstract:A general closed interval matrix is a matrix whose entries are closed connected nonempty subsets of the set of the real numbers, while an interval matrix is defined to be a matrix whose entries are closed bounded nonempty intervals in the set of real numbers. We say that a matrix $A$ with constant entries is contained in a general closed interval matrix $\mu$ if and only if, for every $i,j$, we have that $A_{i,j} \in \mu_{i,j}$. Rhon characterized full-rank square interval matrices, that is, square interval matrices $\mu$ such that every constant matrix contained in $\mu$ is nonsingular. In this paper we generalize this result to general closed interval matrices.

Rings and Algebras
Matrix Rationalization via Partial Orders

Agnes Totschnig,Rohit Vasishta,Adrian Vetta

2024-06-01

Abstract:A preference matrix $M$ has an entry for each pair of candidates in an election whose value $p_{ij}$ represents the proportion of voters that prefer candidate $i$ over candidate $j$. The matrix is rationalizable if it is consistent with a set of voters whose preferences are total orders. A celebrated open problem asks for a concise characterization of rationalizable preference matrices. In this paper, we generalize this matrix rationalizability question and study when a preference matrix is consistent with a set of voters whose preferences are partial orders of width $\alpha$. The width (the maximum cardinality of an antichain) of the partial order is a natural measure of the rationality of a voter; indeed, a partial order of width $1$ is a total order. Our primary focus concerns the rationality number, the minimum width required to rationalize a preference matrix. We present two main results. The first concerns the class of half-integral preference matrices, where we show the key parameter required in evaluating the rationality number is the chromatic number of the undirected unanimity graph associated with the preference matrix $M$. The second concerns the class of integral preference matrices, where we show the key parameter now is the dichromatic number of the directed voting graph associated with $M$.

Discrete Mathematics,Computer Science and Game Theory
Bounds on the moduli of eigenvalues of rational matrices

Pallavi Basavaraju,Shrinath Hadimani,Sachindranath Jayaraman

2024-06-09

Abstract:A rational matrix is a matrix-valued function $R(\lambda): \mathbb{C} \rightarrow M_p$ such that $R(\lambda) = \begin{bmatrix} r_{ij}(\lambda) \end{bmatrix}_{p\times p}$, where $r_{ij}(\lambda)$ are scalar complex rational functions in $\lambda$ for $i,j=1,2,\ldots,p$. The aim of this paper is to obtain bounds on the moduli of eigenvalues of rational matrices in terms of the moduli of their poles. To a given rational matrix $R(\lambda)$ we associate a block matrix $\mathcal{C}_R$ whose blocks consist of the coefficient matrices of $R(\lambda)$, as well as a scalar real rational function $q(x)$ whose coefficients consist of the norm of the coefficient matrices of $R(\lambda)$. We prove that a zero of $q(x)$ which is greater than the moduli of all the poles of $R(\lambda)$ will be an upper bound on the moduli of eigenvalues of $R(\lambda)$. Moreover, by using a block matrix associated with $q(x)$, we establish bounds on the zeros of $q(x)$, which in turn yields bounds on the moduli of eigenvalues of $R(\lambda)$.

Spectral Theory
On some matrix counting problems

Ali Mohammadi,Alina Ostafe,Igor Shparlinski

2023-10-19

Abstract:We estimate the frequency of singular matrices and of matrices of a given rank whose entries are parametrised by arbitrary polynomials over the integers and modulo a prime $p$. In particular, in the integer case, we improve a recent bound of V. Blomer and J. Li (2022).

Number Theory
On the cardinality of matrices with prescribed rank and partial trace over a finite field

Kumar Balasubramanian,Krishna Kaipa,Himanshi Khurana

2024-09-30

Abstract:Let $F$ be the finite field of order $q$ and $\M(n,r, F)$ be the set of $n\times n$ matrices of rank $r$ over the field $F$. For $\alpha\in F$ and $A\in \M(n,F)$, let $$Z^{\alpha}_{A,r}=\left\{X\in \M(n,r, F)\mid \tr(AX)=\alpha\right \}.$$ In this article, we solve the problem of determining the cardinality of $Z_{A,r}^{\alpha}$. We also solve the generalization of the problem to rectangular matrices.

Rings and Algebras
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal

A. V. Seliverstov,O. A. Zverkov

DOI: https://doi.org/10.1134/s0361768824020142

2024-05-23

Programming and Computer Software

Abstract:We found a lower bound on the rank of a square matrix where every entry in the leading diagonal is neither zero nor one and every entry outside the leading diagonal is either zero or one. The rank of this matrix is at least half its order. Under an additional condition, the lower bound is higher by one. This condition means that some auxiliary system of linear equations has no binary solution. Some examples are provided that show that the lower bound can be achieved. This lower bound on the matrix rank allows the problem of finding a binary solution to a system of linear equations with a sufficiently large number of linearly independent equations to be reduced to a similar problem in a smaller number of variables. Restrictions on the existence of a large set of solutions are found, each differing from the binary one by the value of one variable. In addition, we discuss the possibility of certifying the absence of a binary solution to a large system of linear algebraic equations. Estimates of the time required for calculating the matrix rank in the SymPy computer algebra system are also provided. It is shown that the rank of a matrix over the field of residues modulo prime number is calculated faster than it generally takes to calculate the rank of a matrix of the same order over the field of rational numbers.

computer science, software engineering
Block Full Rank Linearizations of Rational Matrices

Froilán M. Dopico,Silvia Marcaida,María C. Quintana,Paul Van Dooren

DOI: https://doi.org/10.48550/arXiv.2011.00955

2020-11-02

Abstract:Block full rank pencils introduced in [Dopico et al., Local linearizations of rational matrices with application to rational approximations of nonlinear eigenvalue problems, Linear Algebra Appl., 2020] allow us to obtain local information about zeros that are not poles of rational matrices. In this paper we extend the structure of those block full rank pencils to construct linearizations of rational matrices that allow us to recover locally not only information about zeros but also about poles, whenever certain minimality conditions are satisfied. In addition, the notion of degree of a rational matrix will be used to determine the grade of the new block full rank linearizations as linearizations at infinity. This new family of linearizations is important as it generalizes and includes the structures appearing in most of the linearizations for rational matrices constructed in the literature. In particular, this theory will be applied to study the structure and the properties of the linearizations in [P. Lietaert et al., Automatic rational approximation and linearization of nonlinear eigenvalue problems, submitted].

Numerical Analysis
On affine spaces of rectangular matrices with constant rank

Clément de Seguins Pazzis

2024-05-04

Abstract:Let $\mathbb{F}$ be a field, and $n \geq p \geq r>0$ be integers. In a recent article, Rubei has determined, when $\mathbb{F}$ is the field of real numbers, the greatest possible dimension for an affine subspace of $n$--by--$p$ matrices with entries in $\mathbb{F}$ in which all the elements have rank $r$. In this note, we generalize her result to an arbitrary field with more than $r+1$ elements, and we classify the spaces that reach the maximal dimension as a function of the classification of the affine subspaces of invertible matrices of $\mathrm{M}_s(\mathbb{F})$ with dimension $\dbinom{s}{2}$. The latter is known to be connected to the classification of nonisotropic quadratic forms over $\mathbb{F}$ up to congruence.

Rings and Algebras
On Rank Equalities of Partitioned Matrices over a Division Ring

Yong-hui LIU,Wen-bin GUO

DOI: https://doi.org/10.3770/j.issn.2095-2651.2005.02.024

2005-01-01

Abstract:By applying the decomposition of the pairwise matrices over a division ring, we give a new proof of Marsaglia-Styan rank formula. We also obtain some equivalent characterizations of some new rank equalities of the partitioned matrices.
Interval-Valued Rank in Finite Ordered Sets

Cliff Joslyn,Emilie Hogan,Alex Pogel

DOI: https://doi.org/10.1007/s11083-016-9411-2

2014-09-24

Abstract:We consider the concept of rank as a measure of the vertical levels and positions of elements of partially ordered sets (posets). We are motivated by the need for algorithmic measures on large, real-world hierarchically-structured data objects like the semantic hierarchies of ontological databases. These rarely satisfy the strong property of gradedness, which is required for traditional rank functions to exist. Representing such semantic hierarchies as finite, bounded posets, we recognize the duality of ordered structures to motivate rank functions which respect verticality both from the bottom and from the top. Our rank functions are thus interval-valued, and always exist, even for non-graded posets, providing order homomorphisms to an interval order on the interval-valued ranks. The concept of rank width arises naturally, allowing us to identify the poset region with point-valued width as its longest graded portion (which we call the "spindle"). A standard interval rank function is naturally motivated both in terms of its extremality and on pragmatic grounds. Its properties are examined, including the relationship to traditional grading and rank functions, and methods to assess comparisons of standard interval-valued ranks.

Combinatorics
The binary rank of circulant block matrices

Ishay Haviv,Michal Parnas

DOI: https://doi.org/10.1016/j.laa.2022.10.006

IF: 1.307

2023-01-01

Linear Algebra and its Applications

Abstract:The binary rank of a 0,1 matrix is the smallest size of a partition of its ones into monochromatic combinatorial rectangles. A matrix M is called (k1,...,km;n1,...,nm) circulant block diagonal if it is a block matrix with m diagonal blocks, such that for each i∈[m], the ith diagonal block of M is the circulant matrix whose first row has ki ones followed by ni−ki zeros, and all of whose other entries are zeros. In this work, we study the binary rank of these matrices as well as the binary rank of their complement, obtained by replacing the zeros by ones and the ones by zeros. In particular, we compare the binary rank of these matrices to their rank over the reals, which forms a lower bound on the former.We present a general method for proving upper bounds on the binary rank of block matrices that have diagonal blocks of some specified structure and ones elsewhere. Using this method, we prove that the binary rank of the complement of a (k1,...,km;n1,...,nm) circulant block diagonal matrix for integers satisfying ni>ki>0 for each i∈[m] exceeds its real rank by no more than the maximum of gcd⁡(ni,ki)−1 over all i∈[m]. We further present several sufficient conditions for the binary rank of these matrices to strictly exceed their real rank. By combining the upper and lower bounds, we determine the exact binary rank of various families of matrices and, in addition, significantly generalize a result of Gregory (J. Comb. Math. & Comb. Comp., 1989).Motivated by a question of Pullman (Linear Algebra Appl., 1988), we study the binary rank of k-regular 0,1 matrices, those having precisely k ones in every row and column, and the binary rank of their complement. As an application of our results on circulant block diagonal matrices, we show that for every k≥2, there exist k-regular 0,1 matrices whose binary rank is strictly larger than that of their complement. Furthermore, we exactly determine for every integer r, the smallest possible binary rank of the complement of a 2-regular 0,1 matrix with binary rank r.

mathematics, applied
$2$-Modular Matrices

James Oxley,Zach Walsh

DOI: https://doi.org/10.1137/21M1419131

2024-05-02

Abstract:A rank-$r$ integer matrix $A$ is $\Delta$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $\Delta$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is ${r + 1 \choose 2}$. We prove that, for each sufficiently large integer $r$, the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ $2$-modular matrix is ${r + 2 \choose 2} - 2$.

Combinatorics
The rank of a random triangular matrix over $\mathbb{F}_q$

Roger Van Peski

2024-07-29

Abstract:We consider uniformly random strictly upper-triangular matrices in $\operatorname{Mat}_n(\mathbb{F}_q)$. For such a matrix $A_n$, we show that $n-\operatorname{rank}(A_n) \approx \log_q n$ as $n \to \infty$, and find that the fluctuations around this limit are finite-order and given by explicit $\mathbb{Z}$-valued random variables. More generally, we consider the random partition whose parts are the sizes of the nilpotent Jordan blocks of $A_n$: its $k$ largest parts (rows) were previously shown by Borodin to have jointly Gaussian fluctuations as $N \to \infty$, and its columns correspond to differences $\operatorname{rank}(A_n^{i-1}) - \operatorname{rank}(A_n^i)$. We show the fluctuations of the columns converge jointly to a discrete random point configuration $\mathcal{L}_{t,\chi}$ introduced in <a class="link-https" data-arxiv-id="2310.12275" href="https://arxiv.org/abs/2310.12275">arXiv:2310.12275</a>. The proofs use an explicit integral formula for the probabilities at finite $N$, obtained by de-Poissonizing a corresponding one in <a class="link-https" data-arxiv-id="2310.12275" href="https://arxiv.org/abs/2310.12275">arXiv:2310.12275</a>, which is amenable to asymptotic analysis.

Probability,Combinatorics
AE regularity of interval matrices

Milan Hladík

DOI: https://doi.org/10.13001/1081-3810.3705

2017-07-07

Abstract:Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by $\forall\exists$-quantification. Herein, we deal with the problem what properties must the coefficient matrix have in order that there is guaranteed an existence of an AE solution. Based on this motivation, we introduce a concept of AE regularity, which implies that the AE solution set is nonempty and the system is AE solvable for every right-hand side. We discuss characterization of AE regularity, and we also focus on various classes of matrices that are implicitly AE regular. Some of these classes are polynomially decidable, and therefore give an efficient way for checking AE regularity. We also state open problems related to computational complexity and characterization.

Numerical Analysis
Rational numbers with small denominators in short intervals

Igor E. Shparlinski

DOI: https://doi.org/10.1007/s00013-024-01993-z

2024-04-20

Archiv der Mathematik

Abstract:We use bounds on bilinear forms with Kloosterman fractions and improve the error term in the asymptotic formula of Balazard and Martin (Bull Sci Math 187:Art. 103305, 2023) on the average value of the smallest denominators of rational numbers in short intervals.

mathematics
Sums of squares, Hankel index and almost real rank

Grigoriy Blekherman,Justin Chen,Jaewoo Jung

DOI: https://doi.org/10.1017/fms.2024.45

2024-05-31

Forum of Mathematics Sigma

Abstract:The Hankel index of a real variety X is an invariant that quantifies the difference between nonnegative quadrics and sums of squares on X. In [5], the authors proved an intriguing bound on the Hankel index in terms of the Green–Lazarsfeld index, which measures the 'linearity' of the minimal free resolution of the ideal of X. In all previously known cases, this bound was tight. We provide the first class of examples where the bound is not tight; in fact, the difference between Hankel index and Green–Lazarsfeld index can be arbitrarily large. Our examples are outer projections of rational normal curves, where we identify the center of projection with a binary form F. The Green–Lazarsfeld index of the projected curve is given by the complex Waring border rank of F [16]. We show that the Hankel index is given by the almost real rank of F, which is a new notion that comes from decomposing F as a sum of powers of almost real forms. Finally, we determine the range of possible and typical almost real ranks for binary forms.

mathematics, applied
Resilience of ranks of higher inclusion matrices

Rafael Plaza,Qing Xiang

DOI: https://doi.org/10.48550/arXiv.1612.08124

2017-09-29

Abstract:Let $n \geq r \geq s \geq 0$ be integers and $\mathcal{F}$ a family of $r$-subsets of $[n]$. Let $W_{r,s}^{\mathcal{F}}$ be the higher inclusion matrix of the subsets in ${\mathcal F}$ vs. the $s$-subsets of $[n]$. When $\mathcal{F}$ consists of all $r$-subsets of $[n]$, we shall simply write $W_{r,s}$ in place of $W_{r,s}^{\mathcal{F}}$. In this paper we prove that the rank of the higher inclusion matrix $W_{r,s}$ over an arbitrary field $K$ is resilient. That is, if the size of $\mathcal{F}$ is "close" to ${n \choose r}$ then $\mbox{rank}_{K}(W_{r,s}^{\mathcal{F}}) = \mbox{rank}_{K}(W_{r,s})$, where $K$ is an arbitrary field. Furthermore, we prove that the rank (over a field $K$) of the higher inclusion matrix of $r$-subspaces vs. $s$-subspaces of an $n$-dimensional vector space over $\mathbb{F}_q$ is also resilient if ${\rm char}(K)$ is coprime to $q$.

Combinatorics

Interval matrices: realization of ranks by rational matrices

Generalization of real interval matrices to other fields

Statistics of ranks, determinants and characteristic polynomials of rational matrices

A generalization of Rohn's theorem on full-rank interval matrices

Matrix Rationalization via Partial Orders

Bounds on the moduli of eigenvalues of rational matrices

On some matrix counting problems

On the cardinality of matrices with prescribed rank and partial trace over a finite field

Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal

Block Full Rank Linearizations of Rational Matrices

On affine spaces of rectangular matrices with constant rank

On Rank Equalities of Partitioned Matrices over a Division Ring

Interval-Valued Rank in Finite Ordered Sets

The binary rank of circulant block matrices

$2$-Modular Matrices

The rank of a random triangular matrix over $\mathbb{F}_q$

AE regularity of interval matrices

Rational numbers with small denominators in short intervals

Sums of squares, Hankel index and almost real rank

Resilience of ranks of higher inclusion matrices