Despite much work on sessions and session types in nonadversarial contexts, session-like behavior given an active adversary has not received an adequate definition and proof methods. We provide a syntactic property that guarantees that a protocol has session-respecting executions. Any uncompromised subset of the participants are still guaranteed that their interaction will respect sessions. A p...

In environmental risk analysis, it is common to assume the stochastic independence (or separability) between the marks associated with the random events of a spatial-temporal point process. Schoenberg (2004, Biometrics 60, 471-481) proposed several test statistics for this hypothesis and used simulated data to evaluate their performance. He found that a Cramér-von Mises-type test is powerful to...

Separability in ordinary regression is achieved by partitioning the set of explanatory variables into mutually orthogonal subsets. The coefficient vector of each subset is separate: its estimate depends only on the response and on the explanatory variable scores of the subset. The feasibility of formulating multilevel models with subsets of separate parameters in the fixed part is discussed. Ge...

With reference to Skorohod representation theorem, it is shown that separability of the limit law cannot be dropped (provided, of course, non separable probabilities exist). An alternative version of the theorem, not requesting separability of the limit, is discussed. A notion of convergence in distribution, extending that of Hoffmann-Jørgensen to non measurable limits, is introduced. For such ...

This theorem, for F orientable and without (iii), is due to Masters and Zhang [5] and is a key ingredient in their proof that cusped hyperbolic 3–manifolds contain quasi-Fuchsian surface groups [4; 5]. Without (iii) and (iv) the theorem is a special case of well-known theorems on subgroup separability of free groups (see Hall, Jr [1]) and surface groups (see Scott [6; 7]). For a discussion of s...

This paper develops a separable functional form in which all the relevant aggregator functions are modeled to the desired degree of approximation. This leads to separable structures that are more flexible than those implied by parametric restrictions of flexible functional forms. Tests of separability can then be accomplished in a non-nested framework. This approach is illustrated with an appli...

The Peres-Horodecki criterion of positivity under partial transpose is studied in the context of separability of bipartite continuous variable states. The partial transpose operation admits, in the continuous case, a geometric interpretation as mirror reflection in phase space. This recognition leads to uncertainty principles, stronger than the traditional ones, to be obeyed by all separable st...

By focusing on the X-matrix part of a density matrix of two qubits we provide an algebraic lower bound for the concurrence. The lower bound is generalized for cases beyond two qubits and can serve as a sufficient condition for non-separability for bipartite density matrices of arbitrary dimension. Experimentally, our lower bound can be used to confirm non-separability without performing a compl...

Separability is a concept that is very difficult to define, and yet much of our scientific method is implicitly based upon the assumption that systems can sensibly be reduced to a set of interacting components. This paper examines the notion of separability in the creation of bi-ambiguous compounds that is based upon the CHSH and CH inequalities. It reports results of an experiment showing that...

We propose a simple complexity indicator of classical Liouvillian dynamics, namely the separability entropy, which determines the logarithm of an effective number of terms in a Schmidt decomposition of phase space density with respect to an arbitrary fixed product basis. We show that linear growth of separability entropy provides a stricter criterion of complexity than Kolmogorov-Sinai entropy,...