English
Related papers

Related papers: Quantum Synchronizing Words: Resetting and Prepari…

200 papers

The task of learning a quantum circuit to prepare a given mixed state is a fundamental quantum subroutine. We present a variational quantum algorithm (VQA) to learn mixed states which is suitable for near-term hardware. Our algorithm…

Pure quantum states are often approximately encoded as classical bit strings such as those representing probability amplitudes and those describing circuits that generate the quantum states. The crucial quantity is the minimum length of…

Quantum Physics · Physics 2022-02-04 Seiseki Akibue , Go Kato , Seiichiro Tani

Precise synchronization between transmitter and receiver is crucial for quantum communication protocols, such as Quantum Key Distribution (QKD), to efficiently correlate the transmitted and received signals and increase the signal-to-noise…

Imagine an assembly line where a box with a lid and liquid in it enters in some unknown orientation. The box should leave the line with the open lid facing upwards with the liquid still in it. To save costs there are no complex sensors or…

Formal Languages and Automata Theory · Computer Science 2022-03-18 Petra Wolf

Copying information is an elementary operation in classical information processing. However, copying seems rather different in the quantum regime. Since the discovery of the universal quantum cloning machine, much has been found from the…

Quantum Physics · Physics 2007-05-23 K. Maruyama , P. L. Knight

We generalize the concept of synchronizing words for finite automata, which map all states of the automata to the same state, to deterministic visibly push-down automata. Here, a synchronizing word w does not only map all states to the same…

Formal Languages and Automata Theory · Computer Science 2020-07-20 Henning Fernau , Petra Wolf

Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…

Quantum Physics · Physics 2007-05-23 M. L. Dalla Chiara , R. Giuntini , R. Leporini

A common requirement of quantum simulations and algorithms is the preparation of complex states through sequences of 2-qubit gates. For a generic quantum state, the number of gates grows exponentially with the number of qubits, becoming…

Quantum Physics · Physics 2024-07-08 Matan Ben Dov , David Shnaiderov , Adi Makmal , Emanuele G. Dalla Torre

We propose a general scheme for dissipatively preparing arbitrary pure quantum states on a multipartite qubit register in a finite number of basic control blocks. Our "splitting-subspace" approach relies on control resources that are…

Quantum Physics · Physics 2013-11-19 Giacomo Baggio , Francesco Ticozzi , Lorenza Viola

We study the problem of synchronization of automata with random inputs. We present a series of automata such that the expected number of steps until synchronization is exponential in the number of states. At the same time, we show that the…

Formal Languages and Automata Theory · Computer Science 2014-04-29 Vladimir V. Gusev

We investigate the most general mechanisms that lead to perfect synchronization of the quantum states of all subsystems of an open quantum system starting from an arbitrary initial state. We provide a necessary and sufficient condition for…

Quantum Physics · Physics 2021-07-21 Jakub Czartowski , Ronny Müller , Karol Zyczkowski , Daniel Braun

We present a few classes of synchronizing automata exhibiting certain extremal properties with regard to synchronization. The first is a series of automata with subsets whose shortest extending words are of length $\varTheta(n^2)$, where…

Formal Languages and Automata Theory · Computer Science 2016-08-04 Andrzej Kisielewicz , Marek Szykuła

This paper proposed a quantum analogue of classical queue automata by using the definition of the quantum Turing machine and quantum finite-state automata. However, quantum automata equipped with storage medium of a stack has been…

Quantum Physics · Physics 2018-10-30 Amandeep Singh Bhatia , Ajay Kumar

In this paper we present a new fast algorithm finding minimal reset words for finite synchronizing automata. The problem is know to be computationally hard, and our algorithm is exponential. Yet, it is faster than the algorithms used so far…

Formal Languages and Automata Theory · Computer Science 2014-12-15 Andrzej Kisielewicz , Jakub Kowalski , Marek Szykuła

Errors in quantum computers are of two kinds: sudden perturbations to isolated qubits, and slow random drifts of all the qubits. The latter may be reduced, but not eliminated, by means of symmetrization, namely by using many replicas of the…

Quantum Physics · Physics 2007-05-23 Asher Peres

In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match on all words of length less than or equal to some given…

Formal Languages and Automata Theory · Computer Science 2023-09-07 Miroslav Ćirić , Ivana Micić , Stefan Stanimirović , Linh Anh Nguyen

In 1964 \v{C}ern\'{y} conjectured that each $n$-state synchronizing automaton posesses a reset word of length at most $(n-1)^2$. From the other side the best known upper bound on the reset length (minimum length of reset words) is cubic in…

Formal Languages and Automata Theory · Computer Science 2012-03-16 Mikhail V. Berlinkov

Standard one-way quantum computers (1WQC) combine time symmetric unitary evolution, with asymmetric treatment of boundaries: state preparation allows to enforce a chosen initial state, however, for the final state measurement chooses a…

General Physics · Physics 2023-08-30 Jarek Duda

Minimizing the use of CNOT gates in quantum state preparation is a crucial step in quantum compilation, as they introduce coupling constraints and more noise than single-qubit gates. Reducing the number of CNOT gates can lead to more…

Information Theory · Computer Science 2024-09-05 Hanyu Wang , Bochen Tan , Jason Cong , Giovanni De Micheli

In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.

Formal Languages and Automata Theory · Computer Science 2019-06-28 Pierre Ganty , Elena Gutiérrez , Pedro Valero