13,987 research outputs found
Dual characterizations of set containments with strict convex inequalities
Characterizations of the containment of a convex set either in an arbitrary convex set or in the complement of a finite union of convex sets (i.e., the set, described by reverse-convex inequalities) are given. These characterizations provide ways of verifying the containments either by comparing their corresponding dual cones or by checking the consistency of suitable associated systems. The convex sets considered in this paper are the solution sets of an arbitrary number of convex inequalities, which can be either weak or strict inequalities. Particular cases of dual characterizations of set containments have played key roles in solving large scale knowledge-based data classification problems where they are used to describe the containments as inequality constraints in optimization problems. The idea of evenly convex set (intersection of open half spaces), which was introduced by W. Fenchel in 1952, is used to derive the dual conditions, characterizing the set containments.MCYT of Spain and FEDER of UE, Grant BMF2002-04114-CO201
Coupling techniques for nonlinear hyperbolic equations. IV. Multi-component coupling and multidimensional well-balanced schemes
This series of papers is devoted to the formulation and the approximation of
coupling problems for nonlinear hyperbolic equations. The coupling across an
interface in the physical space is formulated in term of an augmented system of
partial differential equations. In an earlier work, this strategy allowed us to
develop a regularization method based on a thick interface model in one space
variable. In the present paper, we significantly extend this framework and, in
addition, encompass equations in several space variables. This new formulation
includes the coupling of several distinct conservation laws and allows for a
possible covering in space. Our main contributions are, on one hand, the design
and analysis of a well-balanced finite volume method on general triangulations
and, on the other hand, a proof of convergence of this method toward entropy
solutions, extending Coquel, Cockburn, and LeFloch's theory (restricted to a
single conservation law without coupling). The core of our analysis is, first,
the derivation of entropy inequalities as well as a discrete entropy
dissipation estimate and, second, a proof of convergence toward the entropy
solution of the coupling problem.Comment: 37 page
Constraint Satisfaction and Semilinear Expansions of Addition over the Rationals and the Reals
A semilinear relation is a finite union of finite intersections of open and
closed half-spaces over, for instance, the reals, the rationals, or the
integers. Semilinear relations have been studied in connection with algebraic
geometry, automata theory, and spatiotemporal reasoning. We consider semilinear
relations over the rationals and the reals. Under this assumption, the
computational complexity of the constraint satisfaction problem (CSP) is known
for all finite sets containing R+={(x,y,z) | x+y=z}, <=, and {1}. These
problems correspond to expansions of the linear programming feasibility
problem. We generalise this result and fully determine the complexity for all
finite sets of semilinear relations containing R+. This is accomplished in part
by introducing an algorithm, based on computing affine hulls, which solves a
new class of semilinear CSPs in polynomial time. We further analyse the
complexity of linear optimisation over the solution set and the existence of
integer solutions.Comment: 22 pages, 1 figur
Bell inequalities from variable elimination methods
Tight Bell inequalities are facets of Pitowsky's correlation polytope and are
usually obtained from its extreme points by solving the hull problem. Here we
present an alternative method based on a combination of algebraic results on
extensions of measures and variable elimination methods, e.g., the
Fourier-Motzkin method. Our method is shown to overcome some of the
computational difficulties associated with the hull problem in some non-trivial
cases. Moreover, it provides an explanation for the arising of only a finite
number of families of Bell inequalities in measurement scenarios where one
experimenter can choose between an arbitrary number of different measurements
Quantitative Stability of Linear Infinite Inequality Systems under Block Perturbations with Applications to Convex Systems
The original motivation for this paper was to provide an efficient
quantitative analysis of convex infinite (or semi-infinite) inequality systems
whose decision variables run over general infinite-dimensional (resp.
finite-dimensional) Banach spaces and that are indexed by an arbitrary fixed
set . Parameter perturbations on the right-hand side of the inequalities are
required to be merely bounded, and thus the natural parameter space is
. Our basic strategy consists of linearizing the parameterized
convex system via splitting convex inequalities into linear ones by using the
Fenchel-Legendre conjugate. This approach yields that arbitrary bounded
right-hand side perturbations of the convex system turn on constant-by-blocks
perturbations in the linearized system. Based on advanced variational analysis,
we derive a precise formula for computing the exact Lipschitzian bound of the
feasible solution map of block-perturbed linear systems, which involves only
the system's data, and then show that this exact bound agrees with the
coderivative norm of the aforementioned mapping. In this way we extend to the
convex setting the results of [3] developed for arbitrary perturbations with no
block structure in the linear framework under the boundedness assumption on the
system's coefficients. The latter boundedness assumption is removed in this
paper when the decision space is reflexive. The last section provides the aimed
application to the convex case
- …