Thomas Rothvoss

activity

20112026

most citedSome 0/1 polytopes need exponential size extended formulations

19 citations · 30 across the 17 of their papers we have counts for

collaborators

Showing 2025Show all

3 papers · 1 filter

cs.DM2025

Excluding a Line Minor via Design Matrices and Column Number Bounds for the Circuit Imbalance Measure

Daniel Dadush, Friedrich Eisenbrand, Rom Pinchasi +2

For a real matrix $A \in R^{d \times n}$ with non-collinear columns, we show that $n \leq O (d^{4} κ_{A})$ where $κ_{A}$ is the \emph{circuit imbalance measure} of $A$ . The circu…

cs.LG2025

DiscQuant: A Quantization Method for Neural Networks Inspired by Discrepancy Theory

Jerry Chee, Arturs Backurs, Rainie Heck +4

Quantizing the weights of a neural network has two steps: (1) Finding a good low bit-complexity representation for weights (which we call the quantization grid) and (2) Rounding th…

cs.CC2025

A parameterized linear formulation of the integer hull

Friedrich Eisenbrand, Thomas Rothvoss

Let $A \in Z^{m \times n}$ be an integer matrix with components bounded by $Δ$ in absolute value. Cook et al.~(1986) have shown that there exists a universal matrix $B \in…