We address the question of whether or not global entanglement of a quantum state can be inferred from local properties. Specifically, we are interested in genuinely multiparticle entangled states whose two-body marginals are all separable, but where the entanglement can be proven using knowledge of a subset of the marginals only. Using an iteration of semidefinite programs we prove that for any possible marginal configuration up to six particles multiqubit states with the desired properties can be found. We then present a method to construct states with the same properties for more particles in higher dimensions.

Systems of neutral kaons can be used to observe entanglement and the violation of Bell inequalities. The decay of these particles poses some problems, however, and recently an effective formalism for treating such systems has been derived. We generalize this formalism and make it applicable to other quantum systems that can be made to behave in a similar manner. As examples, we discuss two possible implementations of the generalized formalism using trapped ions such as 171 Yb or 172 Yb, which may be used to simulate kaonic behavior in a quantum optical system.