Related papers: On $g$-functions for subshifts
This paper is devoted to the study of generalized differentiation properties of the infimal convolution. This class of functions covers a large spectrum of nonsmooth functions well known in the literature. The subdifferential formulas…
An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical…
Give deterministic necessary and sufficient conditions to guarantee that if a subspace fits certain partially observed data from a union of subspaces, it is because such data really lies in a subspace. Furthermore, Give deterministic…
In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…
The (Fg) condition on Hochschild cohomology as well as the support variety theory are shown to be invariant under derived equivalence.
This paper provides necessary and sufficient conditions of optimality for variational problems that deal with a fractional derivative with respect to another function. Fractional Euler--Lagrange equations are established for the fundamental…
An inseparability criterion based on the total variance of a pair of Einstein-Podolsky-Rosen type operators is proposed for continuous variable systems. The criterion provides a sufficient condition for entanglement of any two-party…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
The aim of this short note is to give an alternative proof, which applies to functions of bounded variation in arbitrary domains, of an inequality by Maz'ya that improves Friedrichs inequality. A remarkable feature of such a proof is that…
The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…
The relationship between various methods to calculate the physical degrees of freedom for gauge invariant systems of a general form is established. The set of hidden parameters caused for the superfluous degrees of freedom is revealed.
We provide necessary and sufficient conditions for separability of mixed states. As a result we obtain a simple criterion of separability for $2\times2$ and $2\times3$ systems. Here, the positivity of the partial transposition of a state is…
Looped-functionals have been shown to be relevant for the analysis of a wide variety of systems. However, the conditions obtained in previous works on the analysis of sampled-data, impulsive and switched systems have only been shown to be…
A variational representation for functionals of G-Brownian motion is established by a finite-dimensional approximate technique. As an application of the variational representation, we obtain a large deviation principle for stochastic flows…
Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued $C^{1,1}$-maps are presented. A novel characterization of strongly convex sets in terms of…
Let X/S be a semistable curve with an action of a finite group G and let H be a normal subgroup of G. We present a new condition under which for any base change T->S, (X/G)*T is isomorphic to (X*T)/G. This allows us to define induction and…
This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier functions, we investigate the tightest possible sufficient…
Necessary and sufficient conditions for the interlacing of the zeros of cylinder functions and their derivatives of different orders are given.
We define a pair of simple combinatorial operations on subshifts, called existential and universal extensions, and study their basic properties. We prove that the existential extension of a sofic shift by another sofic shift is always…
We consider conditions for the convergence of sequences in terms of positive and alternating Perron expansions ($P$-representation and $P^-$-representation). These conditions are crucial to determine the continuity of functions that are…