One of the problems concerning entanglement witnesses (EWs) is the construction of them by a given set of operators. Here several multi-qubit EWs called stabilizer EWs are constructed by using the stabilizer operators of some given multi-qubit states such as GHZ, cluster and exceptional states. The general approach to manipulate the multi-qubit stabilizer EWs by exact(approximate) linear progra...

Mimer, R. and F. Moller, Unique decomposition of processes, Theoretical Computer Science 107 (1993) 357-363. In this paper, we examine questions about the prime decomposability of processes, where we define a process to be prime whenever it cannot be decomposed into nontrivial components. We show that any finite process can be uniquely decomposed into prime processes with respect to bisimulatio...

Inspired by several recent papers on the edge ideal of a graph G, we study the equivalent notion of the independence complex of G. Using the tool of vertex decomposability from geometric combinatorics, we show that 5-chordal graphs with no chordless 4-cycles are shellable and sequentially Cohen-Macaulay. We use this result to characterize the obstructions to shellability in flag complexes, exte...

k-Additivity is a convenient way to have less complex (bi-)capacities. This paper gives a new characterization of k-additivity, introduced by Grabisch and Labreuche, of bi-capacities and contrasts between the existing characterization and the new one, that differs from the one of Saminger and Mesiar. Besides, in the same way for capacities, a concept of C-decomposability, distinct from the prop...