Related papers: Axiomatization of Compact Initial Value Problems: …
The Variation Evolving Method (VEM) that originates from the continuous-time dynamics stability theory seeks the optimal solutions with variation evolution principle. After establishing the first and the second evolution equations within…
Consider the ideal I corresponding to r points in P^2. We study the symbolic generic initial system of I, formed by taking the generic initial ideals of the symbolic powers of I, and its asymptotic behaviour. In particular, we describe the…
This paper investigates several cost-sparsity induced optimal input selection problems for structured systems. Given are an autonomous system and a prescribed set of input links, where each input link has a non-negative cost. The problems…
In the present paper, several properties concerning generalized derivatives of multifunctions implicitly defined by set-valued inclusions are studied by techniques of variational analysis. Set-valued inclusions are problems formalizing the…
Polynomial optimization encompasses a broad class of problems in which both the objective function and constraints are polynomial functions of the decision variables. In recent years, a substantial body of research has focused on…
Our work proves rigidity theorems for initial data sets associated with compact smooth spin manifolds with boundary and with compact convex polytopes, subject to the dominant energy condition. For manifolds with smooth boundary, this is…
We compactify and regularize the space of initial values of a planar map with a quartic invariant and use this construction to prove its integrability in the sense of algebraic entropy. The system turns out to have certain unusual…
We study local, analytic solutions for a class of initial value problems for singular ODEs. We prove existence and uniqueness of such solutions under a certain non-resonance condition. Our proof translates the singular initial value problem…
Many decision procedures for SMT problems rely more or less implicitly on an instantiation of the axioms of the theories under consideration, and differ by making use of the additional properties of each theory, in order to increase…
In this paper, we investigate numerical solutions for inverse singular value problems (for short, ISVPs) arising in various applications. Inspired by the methodologies employed for inverse eigenvalue problems, we propose a Cayley-free…
The relativistic Vlasov-Maxwell system of plasma physics is considered with initial data on a past light cone. This characteristic initial value problem arises in a natural way as a mathematical framework to study the existence of solutions…
In the maximum constraint satisfaction problem (MAX CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given finite domain to the variables so…
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly…
We study initial degrees of symbolic powers of ideals of arbitrary finite sets of points in the projective plane over an algebraically closed field of characteristic zero. We show, how bounds on the growth of these degrees determine the…
This paper studies value iteration for infinite horizon contracting Markov decision processes under convexity assumptions and when the state space is uncountable. The original value iteration is replaced with a more tractable form and the…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We consider the initial boundary value problem (IBVP) for a non-local scalar conservation laws in one space dimension. The non-local operator in the flux function is not a mere convolution product, but it is assumed to be aware of…
Interval Markov Decision Processes (IMDPs) are finite-state uncertain Markov models, where the transition probabilities belong to intervals. Recently, there has been a surge of research on employing IMDPs as abstractions of stochastic…
A class of causal variational principles on a compact manifold is introduced and analyzed both numerically and analytically. It is proved under general assumptions that the support of a minimizing measure is either completely timelike, or…
We give sound and complete axiomatizations for XPath with data tests by "equality" or "inequality", and containing the single "child" axis. This data-aware logic predicts over data trees, which are tree-like structures whose every node…