While standard message authentication codes (MACs) guarantee authenticity of messages, they do not, in general, guarantee the anonymity of the sender and recipient. For example it may be easy for an observer to determine whether or not two authenticated messages were sent by the same party even without any information about the secret key used. However preserving any uncertainty an attacker may...

We present a product representation of belief spaces for planning under partial observability. In earlier work we investigated backward plan construction based on a combination operation for belief states. The main problem in explicit construction of belief states is their high number. To remedy this problem, we refrain from representing individual belief states explicitly, and instead represen...

We prove that boundedness and reachability tree niteness are undecidable for systems of two identical automata communicating via two perfect unbounded oneway FIFO channels and constructed solely from cycles about their initial states. Using a form of mutual exclusion for such systems, we prove further that undecidability holds even when the identical automata are totally indistinguishable in th...

In an optimal visiting problem, we want to control a trajectory that has pass as close possible collection of target points or regions. We introduce hybrid control-based approach for the classic problem where can switch between group discrete states related targets problem. The model is subsequently adapted mean-field game framework study viability and crowd fluxes multitude indistinguishable p...

Local distinguishability of orthogonal product states is an area active research in quantum information theory. However, most the relevant results about local are found bipartite systems and very few known multipartite cases. In this paper, we construct a locally indistinguishable subset $${\mathbb {C}}^{2d}\bigotimes {\mathbb {C}}^{2d}$$ , $$d\ge 2$$ that contains $$18(d-1)$$ states. Furthe...

The time-dependent variational principle for many-body trial states is used to discuss the relation between the approaches of different molecular dynamics models to describe indistinguishable fermions. Early attempts to include effects of the Pauli principle by means of nonlocal potentials as well as more recent models which work with antisymmetrized many-body states are reviewed under these pr...

It is widely believed that particles in quantum mechanics are metaphysically strange; they are not individuals (the view of Cassirer 1956), in some sense of the term, and perhaps they are not even objects at all, a suspicion raised by Quine (1976a, 1990). In parallel it is thought that this difference, and especially the status of quantum particles as indistinguishable, accounts for the differe...

Abstract Quantum simulations are becoming an essential tool for studying complex phenomena, e.g. quantum topology, information transfer and relativistic wave equations, beyond the limitations of analytical computations experimental observations. To date, primary resources used in proof-of-principle experiments collections qubits, coherent states or multiple single-particle Fock states. Here we ...

The internal areas and the position of integration of the glycopeptide resistance element Tn1546 were characterized by using PCR fragment length polymorphism, sequencing, and DNA hybridization techniques with 38 high-level vancomycin-resistant Enterococcus faecium isolates of human and animal origins from Europe and the United States. Only minor variations in the coding regions within Tn1546 we...