Related papers: A Relative Dependency Pair Framework
We define partial differential (PD in the following), i.e., field theoretic analogues of Hamiltonian systems on abstract symplectic manifolds and study their main properties, namely, PD Hamilton equations, PD Noether theorem, PD Poisson…
In this note we clarify the relationship between the local and global definitions of dual pairs in Poisson geometry. It turns out that these are not equivalent. For the passage from local to global one needs a connected fiber hypothesis…
Previously proposed measures of entanglement, such as entanglement of formation and assistance, are shown to be special cases of the relative entropy of entanglement. The difference between these measures for an ensemble of mixed states is…
We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory…
We introduce the concept of linked systems of symmetric group divisible designs. The connection with association schemes is established, and as a consequence we obtain an upper bound on the number of symmetric group divisible designs which…
The aim of the present paper is to make some notes to the newly introduced conformable derivative as a type local fractional derivative and to present a surprising result about the relation between the conformable derivatives and the usual…
We establish new pair correlation results for certain generic homogenous diagonal forms evaluated on the integers. Methods are analytic leading to explicit quantitative statements.
We study the Parallel Replica Dynamics in a general setting. We introduce a trajectory fragment framework that can be used to design and prove consistency of Parallel Replica algorithms for generic Markov processes. We use our framework to…
Proof systems for the Relativized Propositional Calculus are defined and compared.
Employing a recently proposed separability criterion we develop analytical lower bounds for the concurrence and for the entanglement of formation of bipartite quantum systems. The separability criterion is based on a nondecomposable…
Results of research of possibility of transformation of a difference equation into a system of the first-order difference equation are presented. In contrast to the method used previously, an unknown grid function is split into two new…
We offer a more general Bailey pair than one that was proved in two different papers by two different methods [5, 12].
We extend the notion of a spectral triple to that of a higher-order relative spectral triple, which accommodates several types of hypoelliptic differential operators on manifolds with boundary. The bounded transform of a higher-order…
We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…
We derive a collection of separability conditions for bipartite systems of dimensions d X d which is based on the entropic version of the uncertainty relations. A detailed analysis of the two-qubit case is given by comparing the new…
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…
By using concrete scenarios, we present and discuss a new concept of probabilistic Self-Stabilization in Distributed Systems.
We have generalized the \textsc{Mathematica} function \texttt{Apart} from 1 to $N$ dimension, the generalized function \texttt{\$Apart} can decompose any linear dependent elements in $\mathcal{V}_{x}^*$ to irreducible ones. The elements in…
We intoduce a local version of the Jordan-Brouwer separation theorem and deduce some global statements, some of which may follow from known results, but the technique is new.
We give a generalization of Poitou-Tate duality to schemes of finite type over rings of integers of global fields.