Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: Total dual dyadicness and dyadic generating sets
(Submitted on 10 Nov 2021 (v1), last revised 13 Mar 2022 (this version, v2))
Abstract: A vector is \emph{dyadic} if each of its entries is a dyadic rational number, i.e. of the form $\frac{a}{2^k}$ for some integers $a,k$ with $k\geq 0$. A linear system $Ax\leq b$ with integral data is \emph{totally dual dyadic} if whenever $\min\{b^\top y:A^\top y=w,y\geq {\bf 0}\}$ for $w$ integral, has an optimal solution, it has a dyadic optimal solution. In this paper, we study total dual dyadicness, and give a co-NP characterization of it in terms of \emph{dyadic generating sets for cones and subspaces}, the former being the dyadic analogue of \emph{Hilbert bases}, and the latter a polynomial-time recognizable relaxation of the former. Along the way, we see some surprising turn of events when compared to total dual integrality, primarily led by the \emph{density} of the dyadic rationals. Our study ultimately leads to a better understanding of total dual integrality and polyhedral integrality. We see examples from dyadic matrices, $T$-joins, cycles, and perfect matchings of a graph.
Submission history
From: Ahmad Abdi [view email][v1] Wed, 10 Nov 2021 15:45:22 GMT (204kb)
[v2] Sun, 13 Mar 2022 11:48:18 GMT (208kb)
Link back to: arXiv, form interface, contact.