A branch-and-bound methodology within algebraic modelling systems

Through the use of application-specific branch-and-bound directives it is possible to find solutions to combinatorial models that would otherwise be difficult or impossible to find by just using generic branch-and-bound techniques within the framework of mathematical programming. {\sc Minto} is an example of a system which offers the possibility to incorporate user-provided directives (written in {\sc C}) to guide the branch-and-bound search. Its main focus, however, remains on mathematical programming models. The aim of this paper is to present a branch-and-bound methodology for particular combinatorial structures to be embedded inside an algebraic modelling language. One advantage is the increased scope of application. Another advantage is that directives are more easily implemented at the modelling level than at the programming level

Zero-sum subsets of decomposable sets in Abelian groups

A subset $D$ of an Abelian group is $decomposable$ if $\emptyset\ne D\subset D+D$. In the paper we give partial answer to an open problem asking whether every finite decomposable subset $D$ of an Abelian group contains a non-empty subset $Z\subset D$ with $\sum Z=0$. For every $n\in\mathbb N$ we present a decomposable subset $D$ of cardinality $|D|=n$ in the cyclic group of order $2^n-1$ such that $\sum D=0$, but $\sum T\ne 0$ for any proper non-empty subset $T\subset D$. On the other hand, we prove that every decomposable subset $D\subset\mathbb R$ of cardinality $|D|\le 7$ contains a non-empty subset $Z\subset D$ of cardinality $|Z|\le\frac12|D|$ with $\sum Z=0$. For every $n\in\mathbb N$ we present a subset $D\subset\mathbb Z$ of cardinality $|D|=2n$ such that $\sum Z=0$ for some subset $Z\subset D$ of cardinality $|Z|=n$ and $\sum T\ne 0$ for any non-empty subset $T\subset D$ of cardinality $|T|<n=\frac12|D|$. Also we prove that every finite decomposable subset $D$ of an Abelian group contains two non-empty subsets $A,B$ such that $\sum A+\sum B=0$.Comment: 8 page

Rank-width and Well-quasi-ordering of Skew-Symmetric or Symmetric Matrices

We prove that every infinite sequence of skew-symmetric or symmetric matrices M_1, M_2, ... over a fixed finite field must have a pair M_i, M_j (i<j) such that M_i is isomorphic to a principal submatrix of the Schur complement of a nonsingular principal submatrix in M_j, if those matrices have bounded rank-width. This generalizes three theorems on well-quasi-ordering of graphs or matroids admitting good tree-like decompositions; (1) Robertson and Seymour's theorem for graphs of bounded tree-width, (2) Geelen, Gerards, and Whittle's theorem for matroids representable over a fixed finite field having bounded branch-width, and (3) Oum's theorem for graphs of bounded rank-width with respect to pivot-minors.Comment: 43 page

On rational functions orthogonal to all powers of a given rational function on a curve

a

Subexponential groups in 4-manifold topology

We present a new, more elementary proof of the Freedman-Teichner result that the geometric classification techniques (surgery, s-cobordism, and pseudoisotopy) hold for topological 4-manifolds with groups of subexponential growth. In an appendix Freedman and Teichner give a correction to their original proof, and reformulate the growth estimates in terms of coarse geometry.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol4/paper14.abs.htm