Based on quantum mechanical representation and operator theory,this paper restates the two new convolutions of fractional Fourier transform(FrFT)by making full use of the conversion relationship between two mutual con...Based on quantum mechanical representation and operator theory,this paper restates the two new convolutions of fractional Fourier transform(FrFT)by making full use of the conversion relationship between two mutual conjugates:coordinate representation and momentum representation.This paper gives full play to the efficiency of Dirac notation and proves the convolutions of fractional Fourier transform from the perspective of quantum optics,a field that has been developing rapidly.These two new convolution methods have potential value in signal processing.展开更多
A quantum circuit is a computational unit that transforms an input quantum state to an output state.A natural way to reason about its behavior is to compute explicitly the unitary matrix implemented by it.However,when...A quantum circuit is a computational unit that transforms an input quantum state to an output state.A natural way to reason about its behavior is to compute explicitly the unitary matrix implemented by it.However,when the number of qubits increases,the matrix dimension grows exponentially and the computation becomes intractable.In this paper,we propose a symbolic approach to reasoning about quantum circuits.It is based on a small set of laws involving some basic manipulations on vectors and matrices.This symbolic reasoning scales better than the explicit one and is well suited to be automated in Coq,as demonstrated with some typical examples.展开更多
基金National Natural Science Foundation of China(Grant Number:11304126)College Students' Innovation Training Program(Grant Number:202110299696X)。
文摘Based on quantum mechanical representation and operator theory,this paper restates the two new convolutions of fractional Fourier transform(FrFT)by making full use of the conversion relationship between two mutual conjugates:coordinate representation and momentum representation.This paper gives full play to the efficiency of Dirac notation and proves the convolutions of fractional Fourier transform from the perspective of quantum optics,a field that has been developing rapidly.These two new convolution methods have potential value in signal processing.
基金supported by the National Natural Science Foundation of China under Grant Nos.61832015 and 62072176the Research Funds of Happiness Flower East China Normal University under Grant No.2020ECNU-XFZH005+1 种基金the Inria-CAS Joint Project Quasar.Yuan Feng was partially supported by the National Key Research and Development Program of China under Grant No.2018YFA0306704the Australian Research Council under Grant No.DP180100691.
文摘A quantum circuit is a computational unit that transforms an input quantum state to an output state.A natural way to reason about its behavior is to compute explicitly the unitary matrix implemented by it.However,when the number of qubits increases,the matrix dimension grows exponentially and the computation becomes intractable.In this paper,we propose a symbolic approach to reasoning about quantum circuits.It is based on a small set of laws involving some basic manipulations on vectors and matrices.This symbolic reasoning scales better than the explicit one and is well suited to be automated in Coq,as demonstrated with some typical examples.
