181,519 research outputs found
Integral and measure-turnpike properties for infinite-dimensional optimal control systems
We first derive a general integral-turnpike property around a set for
infinite-dimensional non-autonomous optimal control problems with any possible
terminal state constraints, under some appropriate assumptions. Roughly
speaking, the integral-turnpike property means that the time average of the
distance from any optimal trajectory to the turnpike set con- verges to zero,
as the time horizon tends to infinity. Then, we establish the measure-turnpike
property for strictly dissipative optimal control systems, with state and
control constraints. The measure-turnpike property, which is slightly stronger
than the integral-turnpike property, means that any optimal (state and control)
solution remains essentially, along the time frame, close to an optimal
solution of an associated static optimal control problem, except along a subset
of times that is of small relative Lebesgue measure as the time horizon is
large. Next, we prove that strict strong duality, which is a classical notion
in optimization, implies strict dissipativity, and measure-turnpike. Finally,
we conclude the paper with several comments and open problems
Tameness in least fixed-point logic and McColm's conjecture
We investigate four model-theoretic tameness properties in the context of
least fixed-point logic over a family of finite structures. We find that each
of these properties depends only on the elementary (i.e., first-order) limit
theory, and we completely determine the valid entailments among them. In
contrast to the context of first-order logic on arbitrary structures, the order
property and independence property are equivalent in this setting. McColm
conjectured that least fixed-point definability collapses to first-order
definability exactly when proficiency fails. McColm's conjecture is known to be
false in general. However, we show that McColm's conjecture is true for any
family of finite structures whose limit theory is model-theoretically tame
Extremal properties of (epi)Sturmian sequences and distribution modulo 1
Starting from a study of Y. Bugeaud and A. Dubickas (2005) on a question in
distribution of real numbers modulo 1 via combinatorics on words, we survey
some combinatorial properties of (epi)Sturmian sequences and distribution
modulo 1 in connection to their work. In particular we focus on extremal
properties of (epi)Sturmian sequences, some of which have been rediscovered
several times
- …