Abstract
In this work we show that the Bruhat rank of a symmetric (0,1)-matrix of order n with a staircase pattern, total support, and containing In, is at most 2. Several other related questions are also discussed. Some illustrative examples are presented.
1 The Bruhat shadow
Setting
the standard inversion-reducing interchange process applied to a permutation matrix P, replaces a 2 × 2 submatrix equals to L2 by I2, for short,
Given two permutation matrices P and Q of the same order, Q is below P in the Bruhat order and written as G ≼BP, if Q can be obtained from P by a sequence of L2 → I2 interchanges. The Bruhat order in terms of permutation matrices has attracted considerable attentions recently [2–6].
If Sn denotes the set of all permutation matrices of order n, a nonempty subset 𝓙 of Sn is called a Bruhat ideal if P ∈ 𝓘 and Q ≼BP imply that Q ∈ 𝓘. A principal Bruhat ideal 〈P〉 is an ideal generated by a single permutation matrix P. Denoting the Boolean sum of two (0, 1)-matrices A and B by A +bB, the Bruhat shadow of 𝓘 is the matrix 𝒮(𝓘) = +b{Q ∈ 𝓘}.
As an example, setting
we have
If 𝓘 = 〈P〉, then we simply write 𝒮(P): the Bruhat shadow of P.
Observe that 𝒮(〈P, Q〉) has a staircase pattern with I6, P, Q ⩽ 𝒮(〈P, Q〉) (see [2, Theorem 2.4]). We recall that a (0, 1)-matrix A = (aij) has a staircase pattern provided the 1’s in each row and each column occur consecutively and the leftmost (resp., rightmost) 1 in a row occurs above or to the left of the leftmost (resp., rightmost) 1 in the next row. Here, without loss of generality, we confine our attention to indecomposable staircase patterns, i.e., our matrices cannot be represented as the direct sum of two matrices.
Suppose now that we have a set of indices 1 = i1 < i2 < ... < ip ⩽ n, such that
is a sequence with integers in the set {1, . . .,n}, and ri ⩾ i. This sequence r = r1, ...,rn is called a right-sequence or, for short, r-sequence. Analogously, for a given set of indices 1 ⩽ j1 < j2 < ... < jq = n, the sequence 𝓵 = 𝓵1, ...,𝓵n with integers in the set {1, ...,n}, and 𝓵i ⩽ i, such that
is called a left-sequence or, briefly, 𝓵-sequence.
We interchange the roles of r and 𝓵 in [2] since we believe this is a more natural convention.
When aij = 1, for 1 ⩽ j ⩽ ri, where r1 ⩽ ... ⩽ rn = n, and aij = 0, otherwise, we call A = (aij) a full staircase pattern.
For any n × n permutation matrix P, corresponding to a permutation σ of the set {1, ...,n}, we may associate the permutation σ = (σ(1) ... σ(k) ... σ(n)) with an 𝓵- and r-sequences: 𝓵k is the smallest integer in the set {σ(k), ...,σ(n)} and rk is the largest integer in the set {σ(1), ...,σ(k)}. For the permutation matrix P in (1), we have 𝓵 = 1, 1, 1, 2, 2, 5 and r = 3, 4, 4, 6, 6, 6.
If one defines the (0, 1)-matrix A(P) = (auv) of order n having a staircase pattern such that auv = 1 if 𝓵u ⩽ v ⩽ ru, and 0 otherwise, for 1 ⩽ u, v ⩽ n, then 𝒮(P) = A(P) (see [2, Theorem 2.2]). Thus, the Bruhat shadow of a permutation matrix is determined by the 𝓵- and r-sequences. With P as in (1), we have
The remainder of this paper is organized as follows. In Section 2 we give an explicit characterization for the 𝓁-and r-sequences of the Bruhat shadow of a permutation matrix. The main section will be devoted to the symmetric permutation matrices, especially for their Bruhat shadows and Bruhat ranks. In the last section we extend the results on the numbers of inversions established in [2]. Several examples illustrate the results. To our knowledge, this is the first attempt to partially answer the questions left open by Brualdi and Dahl in [2].
2 Characterizing the Bruhat shadow
The characterization of the Bruhat shadow of a permutation matrix was first established by Brualdi and Dahl in [2, Theorem 3.5].
[2] Let A be a (0, 1) -matrix. Then A is the Bruhat shadow of a permutation matrix if and only if A has a staircase pattern and the matrix A' of order m obtained from A by striking out the rows and columns of its extreme positions satisfies Im ⩽ A'.
Taking into account Theorem 2.1, given an r-sequence (2) and an 𝓵-sequence (3), we may characterize explicitly these sequences such that both define the Bruhat shadow of an indecomposable permutation matrix.
The two sequences (2) and (3) are, respectively, the r- and 𝓁-sequences of an indecomposable permutation matrix if and only if
{i1, ...,ip} ∩ {j1, ...,jq} = ∅,
{ri1, ...,rip} ∩ {𝓁j1, ...,𝓁jq} = ∅ , and
if κxis the x-th lowest integer in {1, ...,n} not in {ri1, ...,rip, 𝓁j1, ...,𝓁jq} , and τxis the x-th lowest integer in {1, ..., n} not in {i1, ..., ip, j1, ..., jq} , then 𝓁τx < κx < rτx.
Let us start by assuming that (2) and (3) are, respectively, the r- and 𝓁-sequences of a permutation matrix P. Since P is indecomposable and contains exactly one entry 1 in each row and each column and 0’s elsewhere, the assertion (i) and (ii) are immediate. According to Theorem 2.1, m = n − p − q, the diagonal entries of A' are equal to 1. Note that the diagonal entries of A' are the (τt, κt)-entry in A, for t = 1, ..., m, thus the inequalities in (iii) follow clearly.
Conversely, condition (i) guarantees that there exists exactly one 1 in each row, while condition (ii) says that there is exactly one 1 in each column. If {ri1, ..., rip, 𝓁j1, ..., 𝓁jq} = {1, ..., n}, then the result comes immediately. Otherwise, let κ1 be the lowest positive integer not in {ri1, ..., rip, 𝓁j1, ..., 𝓁jq} and let τ1 be the lowest positive integer not in {i1, ..., ip, j1, ..., jq}. From condition (iii), we have 𝓁τ1 < κ1 < rτ1, which means that the (τ1, κ1)-entry of A is 1. If {ri1, ..., rip, 𝓁j1, ..., 𝓁jq, κ1} = {1, ..., n}, then in Theorem 2.1, m = 1 and A' = A[τ1, κ1], the submatrix of A resulting from the retention of the row and column indexed by τ1 and κ1, respectively. Otherwise, we proceed analogously to choose κ2 as the lowest positive integer not in {ri1, ..., rip, 𝓁j1, ..., 𝓁jq, κ1}, and let τ2 be the lowest positive integer not in {i1, ..., ip, j1, ..., jq, τ1}. From condition (iii), we have 𝓁τ2 < κ2 < rτ2, i.e., the (τ2, κ2)-entry of A is 1. In the end we would get the submatrix A' = A[τ1, ..., τm, κ1, ..., κm] with Im ⩽ A'. □
We remark that in the condition (iii) of the previous theorem, we are considering the integers in {1, ..., n} ordered increasingly. □
Let us consider the r-sequence r = 5, 7, 7, 7, 7, 7, 7 and the 𝓁 -sequence 𝓁 = 1, 1, 1, 2, 2, 4, 4 . Then p = 2, q = 3, i1 = 1, i2 = 2, j1 = 3, j2 = 5, and j3 = 7. Now, we have {1, 2} ∩ {3, 5; 7} = ∅ and {5, 7} ∩ {1, 2, 4} = ∅. Moreover, κ1 = 3 and κ2 = 6. On the other hand, τ1 = 4 andτ2 = 6. It is straightforward to see now that𝓁4 < 3 < r4and 𝓁6 < 6 < r6. In another words, following the notation of [2], interchanging the roles of r and 𝓁 , as we pointed out previously, we have
𝓁 | 1 | 1 | 1 | 2 | 2 | 4 | 4 |
σ | 5 | 7 | 1 | 3 | 2 | 6 | 4 |
r | 5 | 7 | 7 | 7 | 7 | 7 | 7 |
Let us consider now the r-sequence r = 6, 6, 7, 7, 7, 7, 7 and the 𝓁-sequence 𝓁 = 1, 1, 2, 2, 4, 5, 5. Here p = 2, q = 4, i1 = 1, i2 = 3, j1 = 2, j2 = 4, j3 = 5, and j4 = 7 ( We have {1, 3} ∩ {2, 4, 5, 7} = ∅ and {6, 7} ∩ {1, 2, 4, 5} = ∅. Moreover, κ1 = 3 and τ1 = 6( However, 𝓁6 < 3 < r6is obviously false.
Example 2.4 shows that the matrix defined in [2, pp.31]
is not the Bruhat shadow of any permutation matrix.
When a permutation matrix is symmetric, its Bruhat shadow will clearly be symmetric. In this case, any characterization depends on one of the sequences defined previously. We will consider, for example, the integral sequence r introduced in (2). Then, the 𝓁-sequence of the symmetric permutation matrix is
Note that, in this case, jt = rit and 𝓁jt = it, for t = 1, ..., p.
As a consequence of Theorem 2.2, we have the following:
The integral sequence (2) is the r-sequence of a symmetric permutation matrix if and only if {i1, ..., ip} ∩ {ri1, ..., rip} = ∅.
We only need to observe that 𝓁κ < κ < rκ, in particular for each κ ∉ {i1, ..., ip, ri1, ..., rip}. □
This corollary considerably simplifies [2, Theorem 3.6].
3 Bruhat rank: the symmetric case
The term rank ρ(A) of a (0, 1)-matrix A is defined to be the maximum number of 1’s of A with no two of the 1’s in the same row or column of A. By the Kτonig-Egérvàry Theorem [8, pp.55-56], ρ(A) is equal to the minimum number of rows and columns of A which together contain all the 1’s of A. The term rank is a well-studied quantity associated with any (0, 1)-matrix. The matrix A is said to have total support provided ρ(A(i, j)) = n − 1, for each pair of i, j with aij = 1, where A(i, j) denotes the (n − 1) × (n − 1) submatrix obtained from A by deleting row I and column j [1]. Mirsky and Perfect [7] showed that a matrix has total support if and only if there exists a doubly stochastic matrix having the same zero pattern. Equivalently, A has total support if every nonzero element of A occurs in the positive main diagonal under a column permutation.
Brualdi and Dahl [2] defined the Bruhat rank of an n × n(0, 1)-matrix M, denoted by rB(M), with a staircase pattern and having total support with In ⩽ M, as the smallest number of permutation matrices P, such that if 𝓘 is the Bruhat ideal generated by the P’s, then 𝒮(𝓘) = M. For example, a full staircase pattern has Bruhat rank 1. Another more elaborated example is the following staircase pattern
It is not hard to check that the Bruhat rank for this matrix is 3, since a possible minimal decomposition of M is
a decomposition as a Boolean sum of the Bruhat shadows of three permutation matrices.
In [2], the authors proposed the following general problem:
Determine either a formula for the Bruhat rank of M or an algorithm for evaluating it.
In this work, we will answer Question 3.1, in the symmetric case. First, we observe that Corollary 2.5 provides a characterization of Bruhat rank 1 matrices. Interestingly, for the remaining cases the Bruhat rank is always 2.
The Bruhat rank of any symmetric (0, 1) -matrix of order n, with a staircase pattern and In ⩽ M, is at most 2.
Let us denote by M such a matrix. Let A be the largest upper left principal submatrix of M, such that A is the Bruhat shadow of some permutation matrix. Assume that n1 is the order of A. If M = A, then rB(M) = 1. Otherwise, we have the following block decomposition for M :
where C is the matrix of the form
with ñ1 ⩾ 1 and F has an (n1 − n̄1) × m1 full staircase pattern. Consequently, F has no zero columns.
If m2 = 0, then B = Jn−n1 and
where Jk denotes the k × k all 1’s matrix. Therefore rB(M) = 2. Actually, in this case, one of the matrices is a block decomposition of two principal submatrices with Bruhat rank 1 and the other is a off-diagonal blocks decomposition, with 1’s in the extreme positions not included in the diagonal blocks.
Let us assume now that m2 > 0. Note that B has a symmetric staircase pattern. Suppose that (k, rk) is the entry of the first 1 in the block B verifying k > n1 and rk > n1 + m1. Then we partition B into 2 × 2 blocks:
where J* is of order k − n1 − 1. If B1 has Bruhat rank 1, then we get the decomposition
Otherwise, the process now follows on B1 in the same manner until the order n is exhausted. □
We provide next three illustrative examples of Theorem 3.2.
Let us consider the matrix
Then
Let us consider now the matrix
Then
We analyze a final example, also mentioned in [2, pp.32], considering now the symmetric tridiagonal (0, 1) -matrix:
In this simple case, we have
4 Inversions
The number of inversions of a permutation matrix P, inv(P), can be interpreted as the number of submatrices of P equal to L2. In [2], for a given (0, 1)-matrix with a full staircase pattern, it was shown that the maximum number of inversions of a permutation matrix P ⩽ A is equal to
where the r-sequence is defined as in (2) and nk = ik+1 − ik, for k = 1, ..., p, assuming that ip+1 = n + 1. Moreover, it was considered a simple algorithm for constructing a permutation matrix P ⩽ A. It turned out that such algorithm gave rise to a permutation matrix with the largest possible number of inversions. Following the same technique used in Lemma 4.1 and Theorem 4.2 of [2], we may establish a more general result for Bruhat rank one matrices.
Let A be a (0, 1) -matrix with rB(A) = 1 defined by the r - and 𝓁 -sequences in (2) and (3) , respectively. The permutation matrix P corresponding to the permutation σ with maximum number of inversions, with P ⩽ A, is given by the following algorithm:
Set P = 0.
For k = 1, ..., p, replace the (ik, rik ) -entry by 1 , i.e., make σik = rik.
For k = 1, ..., q, replace the (jk, 𝓁jk ) -entry by 1 , i.e., make σjk = 𝓁jk.
Set I = {i1, ..., ip, j1, ..., jq}.
If I = {1, ..., n} , then the process stops.
If I ≠ {1, ..., n} , let u be the lowest positive integer not in I.
Let v be the largest integer such that 𝓁u < v < ruand v ≠ σk, for k ∈ I.
Replace the (u, v)-entry by 1 , i.e., make σu = v.
Replace I by I ∪{u} in Step 4. and proceed.
Note that in the above algorithm, the condition rB(A) = 1 is required, since the condition (iii) of Theorem 2.2 would guarantee the existence of integer v in Step 7.
We observe that for the case of a full staircase pattern given by A, i.e., when 𝓁 = 1, ..., 1, we have rB(A) = 1 and, as a consequence, we derive the next corollary.
If A has a full staircase pattern, then
The full staircase pattern gave in [2, pp.37] is defined by the r-sequence
Taking into account (4), we have
From (5), we get
In general we have:
If A has a staircase pattern with rB(A) = 1 , then
Setting
Furthermore, from (6) we have
In the same fashion as the proof of [2, Corollary 4.3], by a sequence of L2 → I2 interchanges, it is possible to provide the range for the number of inversions of permutation matrices P ⩽ A, where rB(A) = 1.
For each integer 0 ⩽ k ⩽ βA, with rB(A) = 1 , there is a permutation matrix P ⩽ A with inv(P) = k.
Acknowledgement
We would like to thank both anonymous referees for their comments.
References
[1] Brualdi R.A., Matrices of 0’s and 1’s with total support, J. Combin. Theory Ser. A, 1980, 28, 249-256.10.1016/0097-3165(80)90068-0Search in Google Scholar
[2] Brualdi R.A., Dahl G., The Bruhat shadow of a permutation matrix, Mathematical papers in honour of E. Marques de Sá, 25-38, Textos Mat. Sér. B, 39, Universidade de Coimbra, 2006.Search in Google Scholar
[3] Brualdi R.A., Deaett L., More on the Bruhat order for (0, 1)-matrices, Linear Algebra Appl., 2007, 421, 219-232.10.1016/j.laa.2006.03.034Search in Google Scholar
[4] Brualdi R.A., Hwang S.-G., A Bruhat order for the class of (0, 1)-matrices with row sum vector R and column sum vector S, Electron. J. Linear Algebra, 2004/2005, 12, 6-16.10.13001/1081-3810.1141Search in Google Scholar
[5] Conflitti A., da Fonseca C.M., Mamede R., On the largest size of an antichain in the Bruhat order forA (2k, k), Order 2013, 30, 255-260.10.1007/s11083-011-9241-1Search in Google Scholar
[6] Conflitti A., da Fonseca C.M., Mamede R., The maximal length of a chain in the Bruhat order for a class of binary matrices, Linear Algebra Appl., 2012, 436, 753-757.10.1016/j.laa.2011.07.043Search in Google Scholar
[7] Mirsky L., Perfect L., The distribution of positive elements in doubly stochastic matrices, J. London Math. Soc., 1965, 40, 689-698.10.1112/jlms/s1-40.1.689Search in Google Scholar
[8] Ryser H.J., Combinatorial Mathematics, Carus Mathematical Monographs no. 14, The Mathematical Association of America, 1963.10.5948/UPO9781614440147Search in Google Scholar
© Du and da Fonseca, published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.