Browse · MathNet
PrintChina-TST-2023B
China 2023 counting and probability
Problem
Find the largest real number with the following property: for any 100th-order doubly stochastic matrix, it is always possible to select 150 elements from it and change the remaining 9850 elements to zero, such that the resulting matrix has row sums and column sums not less than .
Note: An "th-order doubly stochastic matrix" is an square matrix in which all elements are non-negative real numbers, and the sum of each row and the sum of each column are both equal to 1.
Note: An "th-order doubly stochastic matrix" is an square matrix in which all elements are non-negative real numbers, and the sum of each row and the sum of each column are both equal to 1.
Solution
Proof. The answer is .
First, construct the following doubly stochastic matrix : Divide into four submatrices, where the first 75 rows and the first 24 columns form submatrix , the last 25 rows and the first 24 columns form submatrix , the first 75 rows and the last 76 columns form submatrix , and the last 25 rows and the last 76 columns form submatrix . The elements in are all , the elements in are all 0, the elements in are all , and the elements in are all . It can be easily verified that is a doubly stochastic matrix.
Assume that we can select 150 elements from such that the sum of the selected elements in each row and each column is greater than . Let be the number of elements selected from and be the number of elements selected from . In the first 75 rows and the last 76 columns, there are at least rows and columns that do not contain selected elements from or . Among these rows and columns, there must be at least 2 selected elements from , as each selected element from contributes to exactly one row and one column. Therefore, the number of selected elements from is at least . Thus, the total number of selected elements from is at least , which is a contradiction. Hence, .
To complete the proof, we need to show that satisfies the given conditions. Let be any doubly stochastic matrix, and we call the elements of not less than "large numbers".
If there exist 50 distinct large numbers that are not in the same row or column, we can assume that these 50 large numbers are in the first 50 rows and the first 50 columns by exchanging rows and columns if necessary. Then, we select the largest element from each of the last 50 rows (which is not less than ) and the largest element from each of the last 50 columns. In this way, we have selected at most 150 numbers, and the sum of the selected numbers in each row and each column is not less than .
We now show that the above scenario always occurs. By contradiction, assume that there are no 50 distinct large numbers that are not in the same row or column. Then, by Hall's theorem in the deficiency form, we have: (*) There exist rows, , such that the large numbers in these rows are distributed among at most columns.
Without loss of generality, assume that the large numbers in the first rows are distributed among the first columns. Divide into four submatrices using the first rows and the first columns, similar to the construction in the previous proof, and denote them as . Let be the sums of the elements
in these submatrices, respectively. The sum of the numbers in the first columns is , i.e., . Since the elements in are not large numbers, we have . Moreover, . Therefore, we have: which is a contradiction.
Thus, we have shown that satisfies the given conditions.
First, construct the following doubly stochastic matrix : Divide into four submatrices, where the first 75 rows and the first 24 columns form submatrix , the last 25 rows and the first 24 columns form submatrix , the first 75 rows and the last 76 columns form submatrix , and the last 25 rows and the last 76 columns form submatrix . The elements in are all , the elements in are all 0, the elements in are all , and the elements in are all . It can be easily verified that is a doubly stochastic matrix.
| A | C |
|---|---|
| B | D |
To complete the proof, we need to show that satisfies the given conditions. Let be any doubly stochastic matrix, and we call the elements of not less than "large numbers".
If there exist 50 distinct large numbers that are not in the same row or column, we can assume that these 50 large numbers are in the first 50 rows and the first 50 columns by exchanging rows and columns if necessary. Then, we select the largest element from each of the last 50 rows (which is not less than ) and the largest element from each of the last 50 columns. In this way, we have selected at most 150 numbers, and the sum of the selected numbers in each row and each column is not less than .
We now show that the above scenario always occurs. By contradiction, assume that there are no 50 distinct large numbers that are not in the same row or column. Then, by Hall's theorem in the deficiency form, we have: (*) There exist rows, , such that the large numbers in these rows are distributed among at most columns.
Without loss of generality, assume that the large numbers in the first rows are distributed among the first columns. Divide into four submatrices using the first rows and the first columns, similar to the construction in the previous proof, and denote them as . Let be the sums of the elements
| A | C |
|---|---|
| B | D |
Thus, we have shown that satisfies the given conditions.
Final answer
17/1900
Techniques
Matchings, Marriage Lemma, Tutte's theoremMatrices