• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

Exact and approximate sparse solutions of underdetermined linear equations. ZIB-Report 07-05, Zentrum fur Informationstechnik, (2007)

by S Jokar, M Pfetsch
Add To MetaCart

Tools

Sorted by:
Results 1 - 10 of 13
Next 10 →

A proximal method for composite minimization

by A. S. Lewis, S. J. Wright , 2008
"... Abstract. We consider minimization of functions that are compositions of prox-regular functions with smooth vector functions. A wide variety of important optimization problems can be formulated in this way. We describe a subproblem constructed from a linearized approximation to the objective and a r ..."
Abstract - Cited by 15 (3 self) - Add to MetaCart
Abstract. We consider minimization of functions that are compositions of prox-regular functions with smooth vector functions. A wide variety of important optimization problems can be formulated in this way. We describe a subproblem constructed from a linearized approximation to the objective and a regularization term, investigating the properties of local solutions of this subproblem and showing that they eventually identify a manifold containing the solution of the original problem. We propose an algorithmic framework based on this subproblem and prove a global convergence result.
(Show Context)

Citation Context

...can in principle be solved efficiently by an interior point method. To conclude, we consider two more applied nonconvex examples. The first is due to Mangasarian [23] and is used by Jokar and Pfetsch =-=[18]-=- to find sparse solutions of underdetermined linear equations. The formulation of [18] can be stated in the form (2.3) where the regularization function | · |∗ has the form |x|∗ = n∑ (1 − e −α|xi| ) i...

Inference of complex biological networks: distinguishability issues and optimization-based solutions

by Julio R. Banga, Antonio A. Alonso - BMC Systems Biology
"... Background: The inference of biological networks from high-throughput data has received huge attention during the last decade and can be considered an important problem class in systems biology. However, it has been recognized that reliable network inference remains an unsolved problem. Most authors ..."
Abstract - Cited by 13 (2 self) - Add to MetaCart
Background: The inference of biological networks from high-throughput data has received huge attention during the last decade and can be considered an important problem class in systems biology. However, it has been recognized that reliable network inference remains an unsolved problem. Most authors have identified lack of data and deficiencies in the inference algorithms as the main reasons for this situation. Results: We claim that another major difficulty for solving these inference problems is the frequent lack of uniqueness of many of these networks, especially when prior assumptions have not been taken properly into account. Our contributions aid the distinguishability analysis of chemical reaction network (CRN) models with mass action dynamics. The novel methods are based on linear programming (LP) , therefore they allow the efficient analysis of CRNs containing several hundred complexes and reactions. Using these new tools and also previously published ones to obtain the network structure of biological systems from the literature, we find that, often, a unique topology cannot be determined, even if the structure of the corresponding mathematical model is assumed to be known and all dynamical variables are measurable. In other words, certain mechanisms may remain undetected (or they are falsely detected) while the inferred model is fully consistent with the measured data. It is also shown that sparsity enforcing approaches for determining ‘true ’ reaction structures are
(Show Context)

Citation Context

...number of nonzero reaction rate coefficients [72]. It is remarked that the computation of sparse realizations is an NP-hard problem, where generally mixed integer linear programming cannot be avoided =-=[82]-=-. There exist certain conditions under which the problem can be solved in polynomial time [83] but these are often not fulfilled in the case of CRNs. Moreover, there are effective heuristics to addres...

Sparse representation of solutions of Kronecker product systems

by Sadegh Jokar, Volker Mehrmann , 2008
"... Three properties of matrices: the spark, the mutual incoherence and the restricted isometry property have recently been introduced in the context of compressed sensing. We study these properties for matrices that are Kronecker products and show how these properties relate to those of the factors. Fo ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
Three properties of matrices: the spark, the mutual incoherence and the restricted isometry property have recently been introduced in the context of compressed sensing. We study these properties for matrices that are Kronecker products and show how these properties relate to those of the factors. For the mutual incoherence we also discuss results for sums of Kronecker products.

Efficient Computations of a Security Index for False Data Attacks in Power Networks

by Julien M. Hendrickx, Karl Henrik Johansson, Raphael M. Jungers, Henrik Sandberg, Kin Cheong Sou , 2013
"... The resilience of Supervisory Control and Data ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
The resilience of Supervisory Control and Data

Compressive sensing: a paradigm shift in signal processing

by Olga V. Holtz , 2008
"... We survey a new paradigm in signal processing known as "compressive sensing". Contrary to old practices of data acquisition and reconstruction based on the Shannon-Nyquist sampling principle, the new theory shows that it is possible to reconstruct images or signals of scientific interest a ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We survey a new paradigm in signal processing known as "compressive sensing". Contrary to old practices of data acquisition and reconstruction based on the Shannon-Nyquist sampling principle, the new theory shows that it is possible to reconstruct images or signals of scientific interest accurately and even exactly from a number of samples which is far smaller than the desired resolution of the image/signal, e.g., the number of pixels in the image. This new technique draws from results in several fields of mathematics, including algebra, optimization, probability theory, and harmonic analysis. We will discuss some of the key mathematical ideas behind compressive sensing, as well as its implications to other fields: numerical analysis, information theory, theoretical computer science, and engineering.
(Show Context)

Citation Context

...ΦS)i,j|. The mutual incoherences M k are intimately related to the best constant δ k with which the matrix Φ satisfies RIP of order k, but a full understanding of this connection has not been reached =-=[77, 78]-=-. A challenging aspect of RIP is its computational cost. Indeed, RIP is a property of the submatrices of a specific size. At present, no subexponential-time algorithm is known for testing RIP. Introdu...

Sparse Approximate Solution of Partial Differential Equations

by Sadegh Jokar, Volker Mehrmann, Marc Pfetsch, Harry Yserentant , 2008
"... A new concept is introduced for the adaptive finite element discretization of partial differential equations that have a sparsely representable solution. Motivated by recent work on compressed sensing, a recursive mesh refinement procedure is presented that uses linear programming to find a good app ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
A new concept is introduced for the adaptive finite element discretization of partial differential equations that have a sparsely representable solution. Motivated by recent work on compressed sensing, a recursive mesh refinement procedure is presented that uses linear programming to find a good approximation to the sparse solution on a given refinement level. Then only those parts of the mesh are refined that belong to nonzero expansion coefficients. Error estimates for this procedure are refined and the behavior of the procedure is demonstrated via some simple elliptic model problems.
(Show Context)

Citation Context

...ient conditions that guarantee that an (approximate) sparse solution ˆx to (1) can be obtained by solving the linear program min ‖x‖1, s.t. Φx = b (‖Φx − b‖ ≤ ǫ), which can be done in polynomial time =-=[30, 31, 32]-=-. We will give a brief survey of this theory in Section 2.2. In the literature, the development has mostly focused on the construction of appropriate coding matrices Φ that allow for the sparse repres...

GT2009-59099 A SPARSE ESTIMATION APPROACH TO FAULT ISOLATION

by Gt2009 Proceedings Of , Asme Turbo , Expo
"... ABSTRACT Least-squares-based methods are very popular in the jet engine community for health monitoring purpose. In most practical situations, the number of health parameters exceeds the number of measurements, making the estimation problem underdetermined. To address this issue, regularisation add ..."
Abstract - Add to MetaCart
ABSTRACT Least-squares-based methods are very popular in the jet engine community for health monitoring purpose. In most practical situations, the number of health parameters exceeds the number of measurements, making the estimation problem underdetermined. To address this issue, regularisation adds a penalty term on the deviations of the health parameters. Generally, this term imposes a quadratic penalisation on these deviations. A side-effect of this technique is a relatively poor isolation capability. The latter feature can be improved by recognizing that abrupt faults impact at most one or two component(s) simultaneously. This translates mathematically into the search for a sparse solution. The present contribution reports the development of a fault isolation tool favouring sparse solutions. It is very efficiently implemented in the form of a quadratic program. As a validation procedure, the resulting algorithm is applied to a variety of fault conditions simulated with a generic commercial turbofan model.
(Show Context)

Citation Context

... used a similar formulation to derive a diagnosis tool robust against sensor faults, see [11]. A further step to enhanced fault isolation can be taken by recognizing that abrupt events involve only a limited number of health parameters, which translates mathematically into the search for a sparse solution. Basically, the regularisation term is again tweaked in order to favour a solution with many nought terms. Problems characterised by sparsity are encountered in many scientific fields such as compressed sensing [12], linear regression [13] or source localisation [14] to name a few. Reference [15] provides a good review of various algorithms looking for sparse solutions. Moreover, it is shown in [16] that one flavour of the sparse estimation problem can be cast as a Quadratic Programming problem for which efficient solvers are available. In the present contribution, this Quadratic Programming approach is adopted to derive a fault isolation tool favouring sparse solutions. As a validation procedure, the resulting algorithm is applied to a variety of fault conditions simulated with a generic commercial turbofan model. DESCRIPTION OF THE METHOD The scope of this section is to provide the ...

METHODOLOGY ARTICLE Open Access

by Gábor Szederkényi
"... Inference of complex biological networks: distinguishability issues and optimization-based solutions ..."
Abstract - Add to MetaCart
Inference of complex biological networks: distinguishability issues and optimization-based solutions
(Show Context)

Citation Context

...number of nonzero reaction rate coefficients [72]. It is remarked that the computation of sparse realizations is an NP-hard problem, where generally mixed integer linear programming cannot be avoided =-=[82]-=-. There exist certain conditions under which the problem canbesolvedinpolynomialtime[83]buttheseare often not fulfilled in the case of CRNs. Moreover, there are effective heuristics to address the pro...

Recent Advances in Mathematical Programming with Semi-continuous Variables and Cardinality Constraint

by Xiaoling Sun, Xiaojin Zheng, Duan Li, X. L. Sun, X. J. Zheng, D. Li
"... ..."
Abstract - Add to MetaCart
Abstract not found
(Show Context)

Citation Context

...closely related problem to the cardinality constrained quadratic program is the ℓ0-norm minimization problem or sparse solutions of linear equations: min { ‖x‖0 | Ax = b } . The reader is referred to =-=[10, 35, 47]-=- for an extensive literature on this problem. In this section, we describe different inexact methods for (Pc) or its special cases. These methods are mainly based on various approximations and relaxat...

Integrated Classifier Hyperplane Placement and Feature Selection

by John W. Chinneck , 2011
"... Errata are shown in red. The process of placing a separating hyperplane for data classification is normally disconnected from the process of selecting the features to use. An approach for feature selection that is conceptually simple but computationally explosive is to simply apply the hyperplane pl ..."
Abstract - Add to MetaCart
Errata are shown in red. The process of placing a separating hyperplane for data classification is normally disconnected from the process of selecting the features to use. An approach for feature selection that is conceptually simple but computationally explosive is to simply apply the hyperplane placement process to all possible subsets of features, selecting the smallest set of features that provides reasonable classification accuracy. Two ways to speed this process are (i) use a faster filtering criterion instead of a complete hyperplane placement, and (ii) use a greedy forward or backwards sequential selection method. This paper introduces a new filtering criterion that is very fast: maximizing the drop in the sum of infeasibilities in a linear-programming transformation of the problem. It also shows how the linear programming transformation can be applied to reduce the number of features after a separating hyperplane has already been placed while maintaining the separation that was originally induced by the hyperplane. Finally, a new and highly effective integrated method that simultaneously selects features while placing the separating hyperplane is introduced. 1.
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University