Abstract:In the monotone integer dualization problem, we are given two sets of vectors in an integer box such that no vector in the first set is dominated by a vector in the second. The question is to check if the two sets of vectors cover the entire integer box by upward and downward domination, respectively. It is known that the problem is (quasi-)polynomially equivalent to that of enumerating all maximal feasible solutions of a given monotone system of linear/separable/supermodular inequalities over integer vectors. The equivalence is established via showing that the dual family of minimal infeasible vectors has size bounded by a (quasi-)polynomial in the sizes of the family to be generated and the input description. Continuing in this line of work, in this paper, we consider systems of polynomial, second-order cone, and semidefinite inequalities. We give sufficient conditions under which such bounds can be established and highlight some applications.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to solve the **monotone integer dualization problem** and its extensions, especially systems involving polynomial, second - order cone and positive semi - definite matrix inequalities. Specifically, the paper focuses on how to effectively generate sets of vectors that satisfy specific conditions and studies the properties of these vector sets.
#### Problem background
In the monotone integer dualization problem, given two sets of vectors \(A\) and \(B\), it is required to verify whether these two sets cover the entire integer box, that is, cover it by upward and downward domination respectively. It is known that this problem is (quasi) - polynomially equivalent to enumerating the maximum feasible solutions of given monotone linear/separable/supermodular inequalities.
#### Main research contents
1. **Polynomial inequalities**: Consider each function \(f_i(x)\) in the form of a polynomial:
\[
f_i(x)=\sum_{H\in H_i}a_H\prod_{j\in H}x_j^{d_{H,j}}
\]
where \(H_i\subseteq 2^{[n]}\) is a family of multisets, \(d_{H,j}\in\mathbb{Z}_+\setminus\{0\}\), and \(a_H > 0\) for all \(H\in H_i\).
2. **Second - order cone inequalities**: Consider each function \(f_i(x)\) in the form:
\[
f_i(x):=\|A_i x\|+(b_i)^\top x
\]
where \(A_i\in\mathbb{R}^{d\times n}_+\) and \(b_i\in\mathbb{R}^n_+\) are given matrices and vectors, and \(\|\cdot\|\) represents the \(\ell_2\)-norm.
3. **Positive semi - definite matrix inequalities**: Consider each function \(f_i(x)\) in the form:
\[
f_i=\lambda_{\max}\left(\sum_{j = 1}^n A_{i,j}x_j\right)
\]
where \(A_{i,j}\in\mathbb{R}^{d\times d}_+\) are positive semi - definite matrices, and \(\lambda_{\max}(X)\) represents the maximum eigenvalue of matrix \(X\).
#### Main contributions
The main contributions of the paper include:
- **Generalizing existing results**: Generalize the existing results on integer - valued supermodular functions to real - valued supermodular functions and give new boundary conditions.
- **New algorithms and complexity analysis**: Propose incremental generation algorithms for the above three inequality systems, analyze their time complexity, and prove that quasi - polynomial time complexity can be achieved under certain conditions.
- **Application examples**: Provide specific applications in problems such as fair distribution of items, chance - constrained multi - dimensional knapsack inequalities, and quantum hypergraph covering.
#### Conclusion
By introducing new boundary conditions and techniques, the paper successfully solves the dualization problem in a wider range of monotone inequality systems and provides an effective solution for practical applications.