
Rotational analysis of ChaCha permutation
We show that the underlying permutation of ChaCha20 stream cipher does n...
read it

Distributed Testing of Graph Isomorphism in the CONGEST model
In this paper we study the problem of testing graph isomorphism (GI) in ...
read it

General AI Challenge  Round One: Gradual Learning
The General AI Challenge is an initiative to encourage the wider artific...
read it

On the Coordinator's Rule for Fast Paxos
Fast Paxos is an algorithm for consensus that works by a succession of r...
read it

MultiRound Influence Maximization
In this paper, we study the MultiRound Influence Maximization (MRIM) pr...
read it

A King in every two consecutive tournaments
We think of a tournament T=([n], E) as a communication network where in ...
read it

Process Symmetry in Probabilistic Transducers
Model checking is the process of deciding whether a system satisfies a g...
read it
Simulation by Rounds of LettertoLetter Transducers
Lettertoletter transducers are a standard formalism for modeling reactive systems. Often, two transducers that model similar systems differ locally from one another, by behaving similarly, up to permutations of the input and output letters within "rounds". In this work, we introduce and study notions of simulation by rounds and equivalence by rounds of transducers. In our setting, words are partitioned to consecutive subwords of a fixed length k, called rounds. Then, a transducer 𝒯_1 is kround simulated by transducer 𝒯_2 if, intuitively, for every input word x, we can permute the letters within each round in x, such that the output of 𝒯_2 on the permuted word is itself a permutation of the output of 𝒯_1 on x. Finally, two transducers are kround equivalent if they simulate each other. We solve two main decision problems, namely whether 𝒯_2 kround simulates 𝒯_1 (1) when k is given as input, and (2) for an existentially quantified k. We demonstrate the usefulness of the definitions by applying them to process symmetry: a setting in which a permutation in the identities of processes in a multiprocess system naturally gives rise to two transducers, whose kround equivalence corresponds to stability against such permutations.
READ FULL TEXT
Comments
There are no comments yet.