title: A proof for loop-law constraints in stoichiometric metabolic networks.
abstract: BACKGROUND
  Constraint-based modeling is increasingly employed for metabolic network analysis. Its underlying assumption is that natural metabolic phenotypes can be predicted by adding physicochemical constraints to remove unrealistic metabolic flux solutions. The loopless-COBRA approach provides an additional constraint that eliminates thermodynamically infeasible internal cycles (or loops) from the space of solutions. This allows the prediction of flux solutions that are more consistent with experimental data. However, it is not clear if this approach over-constrains the models by removing non-loop solutions as well.
  
  
  RESULTS
  Here we apply Gordan's theorem from linear algebra to prove for the first time that the constraints added in loopless-COBRA do not over-constrain the problem beyond the elimination of the loops themselves.
  
  
  CONCLUSIONS
  The loopless-COBRA constraints can be reliably applied. Furthermore, this proof may be adapted to evaluate the theoretical soundness for other methods in constraint-based modeling.
authors.affiliation: Department of Plant Sciences, 234 Herzl St., Weizmann Institute of Science, Rehovot 76100, Israel. elad.noor@weizmann.ac.il
authors.forename: Elad
authors.initials: E
authors.lastname: Noor
authors.forename: Nathan E
authors.initials: NE
authors.lastname: Lewis
authors.forename: Ron
authors.initials: R
authors.lastname: Milo
mesh_terms: D053858:Metabolic Networks and Pathways; D008954:Models, Biological; D049490:Systems Biology / Q000379:methods*