Alexander Vasiliev

Cryptographic quantum hashing

We present a version of quantum hash functions based on non-binary discrete functions. The proposed quantum procedure is ?classical-quantum?, that is, it takes a classical bit string as an input and produces a quantum state. The resulting function has the property of a one-way function (pre-image resistance); in addition it has properties analogous to classical cryptographic hash second pre-image resistance and collision resistance.We also show that the proposed function can be naturally used in a quantum digital signature protocol.

Algorithms for Quantum Branching Programs Based on Fingerprinting

In the paper we develop a method for constructing quantum algorithms for computing Boolean functions by quantum ordered read-once branching programs (quantum OBDDs). Our method is based on fingerprinting technique and representation of Boolean functions by their characteristic polynomials. We use circuit notation for branching programs for desired algorithms presentation. For several known functions our approach provides optimal QOBDDs. Namely we consider such functions as Equality, Palindrome, and Permutation Matrix Test. We also propose a generalization of our method and apply it to the Boolean variant of the Hidden Subgroup Problem.

Quantum hashing for finite abelian groups

We propose a generalization of the quantum hashing technique based on the notion of small-bias sets. These sets have proved useful in different areas of computer science, and here their properties give an optimal construction for succinct quantum presentation of elements of any finite abelian group, which can be used in various computational and cryptographic scenarios. We consider two special cases of the proposed quantum hashing which turn out to be the known quantum fingerprinting schemas.

Computing Boolean Functions via Quantum Hashing

In this paper we show a computational aspect of the quantum hashing technique. In particular we apply it for computing Boolean functions in the model of read-once quantum branching programs based on the properties of specific polynomial presentation of those functions.

Quantum Computer with Atomic Logical Qubits Encoded on Macroscopic Three-Level Systems in Common Quantum Electrodynamic Cavity

We propose an effective realization of the universal set of elementary quantum gates in solid state quantum computer based on macroscopic (or mesoscopic) resonance systems — multiatomic coherent ensembles, squids or quantum dots in quantum electrodynamic cavity. We exploit an encoding of logical qubits by the pairs of the macroscopic two- or three-level atoms that is working in a Hilbert subspace of all states inherent to these atomic systems. In this subspace, logical single qubit gates are realized by the controlled reversible transfer of single atomic excitation in the pair via the exchange of virtual photons and by the frequency shift of one of the atomic ensembles in a pair. In the case of two-level systems, the logical two-qubit gates are performed by the controlling of Lamb shift magnitude in one atomic ensemble, allowing/blocking the excitation transfer in a pair, respectively, that is controlled by the third atomic system of another pair. When using three-level systems, we describe the NOT-gate in the atomic pair controlled by the transfer of working atomic excitation to the additional third level caused by direct impact of the control pair excitation. Finally, we discuss advantages of the proposed physical system for accelerated computation of some useful quantum gates.

On Computational Power of Quantum Read-Once Branching Programs

In this paper we review our current results concerning the computational power of quantum read-once branching programs. First of all, based on the circuit presentation of quantum branching programs and our variant of quantum fingerprinting technique, we show that any Boolean function with linear polynomial presentation can be computed by a quantum read-once branching program using a relatively small (usually logarithmic in the size of input) number of qubits. Then we show that the described class of Boolean functions is closed under the polynomial projections.

Computing quantum hashing in the model of quantum branching programs

We investigate the branching program complexity of quantum hashing. We consider a quantum hash function that maps elements of a finite field into quantum states. We require that this function is preimage-resistant and collision-resistant.We consider two complexity measures for Quantum Branching Programs (QBP): a number of qubits and a number of compu-tational steps. We show that the quantum hash function can be computed efficiently. Moreover, we prove that such QBP construction is optimal. That is, we prove lower bounds that match the constructed quantum hash function computation.We investigate the branching program complexity of quantum hashing. We consider a quantum hash function that maps elements of a finite field into quantum states. We require that this function is preimage-resistant and collision-resistant.We consider two complexity measures for Quantum Branching Programs (QBP): a number of qubits and a number of compu-tational steps. We show that the quantum hash function can be computed efficiently. Moreover, we prove that such QBP construction is optimal. That is, we prove lower bounds that match the constructed quantum hash function computation.

Classical and Quantum Computations with Restricted Memory.

Automata and branching programs are known models of computation with restricted memory. These models of computation were in focus of a large number of researchers during the last decades. Streaming algorithms are a modern model of computation with restricted memory. In this paper, we present recent results on the comparative computational power of quantum and classical models of branching programs and streaming algorithms.

Proceedings CSR 2010 Workshop on High Productivity Computations

This volume contains the proceedings of the Workshop on High Productivity Computations (HPC 2010) which took place on June 21-22 in Kazan, Russia. This workshop was held as a satellite workshop of the 5th International Computer Science Symposium in Russia (CSR 2010). HPC 2010 was intended to organize the discussions about high productivity computing means and models, including but not limited to high performance and quantum information processing.