Related papers: On $g$-functions for subshifts
A shift-invariant space is a space of functions that is invariant under integer translations. Such spaces are often used as models for spaces of signals and images in mathematical and engineering applications. This paper characterizes those…
In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic…
In this paper we extend the definition of time conditional G-expectations $\mathbb{\hat{E}}_{t}[\cdot]$ to a larger domain on which the dynamical consistency still holds. In fact we can consistently define, by taking the limit, the time…
In this paper, we study the integral representation of g-expectations with two kinds of terminal constraints, and obtain the corresponding necessary and sufficient conditions.
The flux function in the Buckley-Leverett equation, that is, the function characterizing the ratio of the relative mobility functions of the two phases, is considered. The common conjecture stating that any convex mobilities result in an…
This is the second in a series of articles aimed at exploring the relationship between the complexity classes of P and NP. The research in this article aims to find conditions of an algorithmic nature that are necessary and sufficient to…
We prove minimax theorems for lower semicontinuous functions defined on a Hilbert space. The main tool is the theory of $\Phi$-convex functions and sufficient and necessary conditions for the minimax equality to hold for $\Phi$-convex…
In this paper, we study multivariate vector sampling expansions on general finitely generated shift-invariant subspaces. Necessary and sufficient conditions for a multivariate vector sampling theorem to hold are given.
For nice functions, invariant means over integral currents (certain generalized surfaces), can be uniquely defined.
It is known, that every function on the unit sphere in $\bbr^n$, which is invariant under rotations about some coordinate axis, is completely determined by a function of one variable. Similar results, when invariance of a function reduces…
A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy…
Shifts of finite type defined from shift equivalent matrices must be flow equivalent.
For a domain $G$ in the one-point compactification $\overline{\mathbb{R}}^n = \mathbb{R}^n \cup \{ \infty\}$ of $\mathbb{R}^n, n \ge 2$, we characterize the completeness of the modulus metric $\mu_G$ in terms of a potential-theoretic…
The purpose of this paper is to establish a variational representation \log \E [e^{f(B)}] = \sup_h \E [f(B + \int_0^{\cdot} d<B>_s h_s) - 1/2 \int_0^1 h_s \cdot (d<B>_s h_s)] for functionals of the d-dimensional G-Brownian motion B. Here \E…
This work provides formulae for the $\epsilon$-subdifferential of integral functions in the framework of complete $\sigma$-finite measure spaces and locally convex spaces. In this work we present here new formulae for this…
The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are…
A sufficient condition for the stability of a system resulting from the interconnection of dynamical systems is given by the small gain theorem. Roughly speaking, to apply this theorem, it is required that the gains composition is…
In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ignoring termination); and a variant, for termination (ignoring…
Let $D^2 \subset C$ be a closed two-dimensional disk and $f:D^2 \to R$ be a continuous function such that a restriction of $f$ to $\partial D^2$ is a continuous function with a finite number of local extrema and $f$ has a finite number of…
The paper explores the differential inclusion of a special form. It is supposed that the support function of the set in the right-hand side of an inclusion may contain the sum of the maximum and the minimum of the finite number of…