24 research outputs found
Extended formulations for a class of polyhedra with bimodular cographic constraint matrices
We are motivated by integer linear programs (ILPs) defined by constraint
matrices with bounded determinants. Such matrices generalize the notion of
totally-unimodular matrices. When the determinants are bounded by , the
matrix is called bimodular. Artmann et al. give a polynomial-time algorithm for
solving any ILP defined by a bimodular constraint matrix. Complementing this
result, Conforti et al. give a compact extended formulation for a particular
class of bimodular-constrained ILPs, namely those that model the stable set
polytope of a graph with odd cycle packing number . We demonstrate that
their compact extended formulation can be modified to hold for polyhedra such
that (1) the constraint matrix is bimodular, (2) the row-matroid generated by
the constraint matrix is cographic and (3) the right-hand side is a linear
combination of the columns of the constraint matrix. This generalizes the
important special case from Conforti et al. concerning 4-connected graphs with
odd cycle transversal number at least four. Moreover, our results yield compact
extended formulations for a new class of polyhedra
Lifting Linear Extension Complexity Bounds to the Mixed-Integer Setting
Mixed-integer mathematical programs are among the most commonly used models
for a wide set of problems in Operations Research and related fields. However,
there is still very little known about what can be expressed by small
mixed-integer programs. In particular, prior to this work, it was open whether
some classical problems, like the minimum odd-cut problem, can be expressed by
a compact mixed-integer program with few (even constantly many) integer
variables. This is in stark contrast to linear formulations, where recent
breakthroughs in the field of extended formulations have shown that many
polytopes associated to classical combinatorial optimization problems do not
even admit approximate extended formulations of sub-exponential size.
We provide a general framework for lifting inapproximability results of
extended formulations to the setting of mixed-integer extended formulations,
and obtain almost tight lower bounds on the number of integer variables needed
to describe a variety of classical combinatorial optimization problems. Among
the implications we obtain, we show that any mixed-integer extended formulation
of sub-exponential size for the matching polytope, cut polytope, traveling
salesman polytope or dominant of the odd-cut polytope, needs many integer variables, where is the number of vertices of the
underlying graph. Conversely, the above-mentioned polyhedra admit
polynomial-size mixed-integer formulations with only or (for the traveling salesman polytope) many integer variables.
Our results build upon a new decomposition technique that, for any convex set
, allows for approximating any mixed-integer description of by the
intersection of with the union of a small number of affine subspaces.Comment: A conference version of this paper will be presented at SODA 201
Representation theory for subfactors, -lattices and C*-tensor categories
We develop a representation theory for -lattices, arising as
standard invariants of subfactors, and for rigid C*-tensor categories,
including a definition of their universal C*-algebra. We use this to give a
systematic account of approximation and rigidity properties for subfactors and
tensor categories, like (weak) amenability, the Haagerup property and property
(T). We determine all unitary representations of the Temperley-Lieb-Jones
-lattices and prove that they have the Haagerup property and the
complete metric approximation property. We also present the first subfactors
with property (T) standard invariant and that are not constructed from property
(T) groups.Comment: v3: minor changes, final version to appear in Communications in
Mathematical Physics. v2: improved exposition; permanence of property (T)
under quotients adde
A survey on algorithmic aspects of modular decomposition
The modular decomposition is a technique that applies but is not restricted
to graphs. The notion of module naturally appears in the proofs of many graph
theoretical theorems. Computing the modular decomposition tree is an important
preprocessing step to solve a large number of combinatorial optimization
problems. Since the first polynomial time algorithm in the early 70's, the
algorithmic of the modular decomposition has known an important development.
This paper survey the ideas and techniques that arose from this line of
research
Integer programs with bounded subdeterminants and two nonzeros per row
We give a strongly polynomial-time algorithm for integer linear programs
defined by integer coefficient matrices whose subdeterminants are bounded by a
constant and that contain at most two nonzero entries in each row. The core of
our approach is the first polynomial-time algorithm for the weighted stable set
problem on graphs that do not contain more than vertex-disjoint odd cycles,
where is any constant. Previously, polynomial-time algorithms were only
known for (bipartite graphs) and for .
We observe that integer linear programs defined by coefficient matrices with
bounded subdeterminants and two nonzeros per column can be also solved in
strongly polynomial-time, using a reduction to -matching