Showing 51–79 of 79 results for author: Vlasov, Y

Towards Lagrangian approach to quantum computations (revised)

Authors: Alexander Yu. Vlasov

Abstract: In this work is discussed possibility and actuality of Lagrangian approach to quantum computations. Finite-dimensional Hilbert spaces used in this area provide some challenge for such consideration. The model discussed here can be considered as an analogue of Weyl quantization of field theory via path integral in L. D. Faddeev's approach. Weyl quantization is possible to use also in finite-dimen… ▽ More In this work is discussed possibility and actuality of Lagrangian approach to quantum computations. Finite-dimensional Hilbert spaces used in this area provide some challenge for such consideration. The model discussed here can be considered as an analogue of Weyl quantization of field theory via path integral in L. D. Faddeev's approach. Weyl quantization is possible to use also in finite-dimensional case, and some formulas may be simply rewritten with change of integrals to finite sums. On the other hand, there are specific difficulties relevant to finite case. △ Less

Submitted 11 November, 2004; v1 submitted 4 August, 2003; originally announced August 2003.

Comments: LaTeX 9 pages; v2, v3: minor corrections; v4: more significant revision

From Fermat's last theorem to the quantum computer

Authors: Alexander Yu. Vlasov

Abstract: Despite of an active work of many researchers in the theory of quantum computations, this area still saves some mysterious charm. It is already an almost common idea, that maybe many fashionable current projects will fade in future, but some absolutely unpredictable applications appear instead. Why such optimistic predictions are legal here, despite of an extreme difficulty to suggest each one n… ▽ More Despite of an active work of many researchers in the theory of quantum computations, this area still saves some mysterious charm. It is already an almost common idea, that maybe many fashionable current projects will fade in future, but some absolutely unpredictable applications appear instead. Why such optimistic predictions are legal here, despite of an extreme difficulty to suggest each one new promising quantum algorithm or realistic "industrial" application? One reason -- is very deep contents of this area. It maybe only an extremely unlucky occasion, if such a fundamental thing won't supply us with some bright insights and serious new applications. A sign of such nontrivial contents of a theory -- are unexpected links between different branches of our knowledge. In the present paper is mentioned one such link -- between application of Weyl quantization in the theory of quantum computations and abstract mathematical constructions born in mid of XIX century due to unsuccessful tries to prove Fermat's last theorem. △ Less

Submitted 3 July, 2003; originally announced July 2003.

Comments: LaTeXe, 13 pages

Dirac Spinors and Representations of GL(4) Group in GR

Authors: Alexander Yu. Vlasov

Abstract: Transformation properties of Dirac equation correspond to Spin(3,1) representation of Lorentz group SO(3,1), but group GL(4,R) of general relativity does not accept a similar construction with Dirac spinors. On the other hand, it is possible to look for representation of GL(4,R) in some bigger space, there Dirac spinors are formally situated as some "subsystem." In the paper is described constru… ▽ More Transformation properties of Dirac equation correspond to Spin(3,1) representation of Lorentz group SO(3,1), but group GL(4,R) of general relativity does not accept a similar construction with Dirac spinors. On the other hand, it is possible to look for representation of GL(4,R) in some bigger space, there Dirac spinors are formally situated as some "subsystem." In the paper is described construction of such representation, using Clifford and Grassmann algebras of 4D space. △ Less

Submitted 21 April, 2003; v1 submitted 2 April, 2003; originally announced April 2003.

Comments: LaTeXe, 7 pages; v2: text around Eq(9) and Eq(24) corrected, v3: nonsignificant improvements, one sentence in abstract slightly changed to prevent "interference" with Y. Ne'eman et al result. Anyway neither Ne'eman et al results about GL(4), nor twistors, nor loop quantum gravity, nor black hole entropy... still are not discussed here in sake of shortness

On Symmetric Sets of Projectors for Reconstruction of a Density Matrix

Authors: Alexander Yu. Vlasov

Abstract: In this work are presented sets of projectors for reconstruction of a density matrix for an arbitrary mixed state of a quantum system with the finite-dimensional Hilbert space. It was discussed earlier [quant-ph/0104126] a construction with (2n-1)n projectors for the dimension n. For n=2 it is a set with six projectors associated with eigenvectors of three Pauli matrices, but for n>2 the constru… ▽ More In this work are presented sets of projectors for reconstruction of a density matrix for an arbitrary mixed state of a quantum system with the finite-dimensional Hilbert space. It was discussed earlier [quant-ph/0104126] a construction with (2n-1)n projectors for the dimension n. For n=2 it is a set with six projectors associated with eigenvectors of three Pauli matrices, but for n>2 the construction produces not such a `regular' set. In this paper are revisited some results of previous work [quant-ph/0104126] and discussed another, more symmetric construction with the Weyl matrix pair (as the generalization of Pauli matrices). In the particular case of prime n it is the mutually unbiased set with (n+1)n projectors. In appendix is shown an example of application of complete sets for discussions about separability and random robustness. △ Less

Submitted 10 February, 2003; originally announced February 2003.

Comments: LaTeXe, 6 pages, 2 col

Quantum Processors and Controllers

Authors: Alexander Yu. Vlasov

Abstract: In this paper is presented an abstract theory of quantum processors and controllers, special kind of quantum computational network defined on a composite quantum system with two parts: the controlling and controlled subsystems. Such approach formally differs from consideration of quantum control as some external influence on a system using some set of Hamiltonians or quantum gates. The model of… ▽ More In this paper is presented an abstract theory of quantum processors and controllers, special kind of quantum computational network defined on a composite quantum system with two parts: the controlling and controlled subsystems. Such approach formally differs from consideration of quantum control as some external influence on a system using some set of Hamiltonians or quantum gates. The model of programmed quantum controllers discussed in present paper is based on theory of universal deterministic quantum processors (programmable gate arrays). Such quantum devices may simulate arbitrary evolution of quantum system and so demonstrate an example of universal quantum control. Keywords: Quantum, Computer, Control, Processor, Universal △ Less

Submitted 25 May, 2003; v1 submitted 27 January, 2003; originally announced January 2003.

Comments: LaTeXe, 7 pp, 2 col, v3: revised and extended (+50%), PhysCon03

Algebras and universal quantum computations with higher dimensional systems

Authors: Alexander Yu. Vlasov

Abstract: Here is discussed application of the Weyl pair to construction of universal set of quantum gates for high-dimensional quantum system. An application of Lie algebras (Hamiltonians) for construction of universal gates is revisited first. It is shown next, how for quantum computation with qubits can be used two-dimensional analog of this Cayley-Weyl matrix algebras, i.e. Clifford algebras, and disc… ▽ More Here is discussed application of the Weyl pair to construction of universal set of quantum gates for high-dimensional quantum system. An application of Lie algebras (Hamiltonians) for construction of universal gates is revisited first. It is shown next, how for quantum computation with qubits can be used two-dimensional analog of this Cayley-Weyl matrix algebras, i.e. Clifford algebras, and discussed well known applications to product operator formalism in NMR, Jordan-Wigner construction in fermionic quantum computations. It is introduced universal set of quantum gates for higher dimensional system (``qudit''), as some generalization of these models. Finally it is briefly mentioned possible application of such algebraic methods to design of quantum processors (programmable gates arrays) and discussed generalization to quantum computation with continuous variables. △ Less

Submitted 8 October, 2002; originally announced October 2002.

Comments: 12 pages, LaTeXe, Was prepared for QI2002, Moscow, 1-4.10

Journal ref: Proc. SPIE 5128, 29 (2003)

Comment on ``Quantum noise influencing human behaviour could fake effectiveness of drugs in clinical trials''

Authors: Alexander Yu. Vlasov

Abstract: Here are discussed some problems concerning quant-ph/0208006. Here are discussed some problems concerning quant-ph/0208006. △ Less

Submitted 3 September, 2002; originally announced September 2002.

Comments: 10 pages, 3 eps figures, 12pt LaTeXe

Affine-Detection Loophole in Quantum Data Processing

Authors: Alexander Yu. Vlasov

Abstract: Here is considered a specific detection loophole, that is relevant not only to testing of quantum nonlocality, but also to some other applications of quantum computations and communications. It is described by a simple affine relation between different quantum "data structures" like pure and mixed state, separable and inseparable one. It is shown also, that due to such relations imperfect device… ▽ More Here is considered a specific detection loophole, that is relevant not only to testing of quantum nonlocality, but also to some other applications of quantum computations and communications. It is described by a simple affine relation between different quantum "data structures" like pure and mixed state, separable and inseparable one. It is shown also, that due to such relations imperfect device for a classical model may mimic measurements of quantum correlations on ideal equipment. △ Less

Submitted 11 January, 2003; v1 submitted 2 July, 2002; originally announced July 2002.

Comments: v2: REVTeX4, 4 pages 2 col, more detailed proof is given, v3: new references with comment about related works, v4: new references

Comment on "How the No-Cloning Theorem Got its Name"

Authors: Alexander Yu. Vlasov

Abstract: A review by A. Peres [quant-ph/0205076] appears recently. It is difficult to add something to such kind of fundamental themes, but here is briefly presented some ideas about challenges of the no-cloning theorem and imaginary modifications of quantum mechanics, that could make precise cloning possible. A review by A. Peres [quant-ph/0205076] appears recently. It is difficult to add something to such kind of fundamental themes, but here is briefly presented some ideas about challenges of the no-cloning theorem and imaginary modifications of quantum mechanics, that could make precise cloning possible. △ Less

Submitted 31 May, 2002; originally announced May 2002.

Comments: 3 pages, 2 col., LaTeX 2e

ALEPH-QP: Universal hybrid quantum processors

Authors: Alexander Yu. Vlasov

Abstract: A quantum processor (the programmable gate array) is a quantum network with a fixed structure. A space of states is represented as tensor product of data and program registers. Different unitary operations with the data register correspond to "loaded" programs without any changing or "tuning" of network itself. Due to such property and undesirability of entanglement between program and data regi… ▽ More A quantum processor (the programmable gate array) is a quantum network with a fixed structure. A space of states is represented as tensor product of data and program registers. Different unitary operations with the data register correspond to "loaded" programs without any changing or "tuning" of network itself. Due to such property and undesirability of entanglement between program and data registers, universality of quantum processors is subject of rather strong restrictions. By different authors was developed universal "stochastic" quantum gate arrays. It was proved also, that "deterministic" quantum processors with finite-dimensional space of states may be universal only in approximate sense. In present paper is shown, that using hybrid system with continuous and discrete quantum variables, it is possible to suggest a design of strictly universal quantum processors. It is shown also that "deterministic" limit of specific programmable "stochastic" U(1) gates (probability of success becomes unit for infinite program register), discussed by other authors, may be essentially same kind of hybrid quantum systems used here. △ Less

Submitted 13 May, 2002; originally announced May 2002.

Comments: 8 pages, LaTeX 2e

Journal ref: Particles and Nuclei Letters, No. 1[116], p 60 (2003)

Notes on Weyl-Clifford algebras

Authors: Alexander Yu. Vlasov

Abstract: Here is discussed generalization of Clifford algebras, l^n-dimensional Weyl-Clifford algebras T(n,l) with n generators t_k satisfying equation $(\sum_{k=1}^n a_k t_k)^l = \sum_{k=1}^n a_k^l$. It is originated from two basic and well known constructions: representation of Clifford algebras via tensor products of Pauli matrices together with extension for l > 2 using Weyl commutation relations. Pr… ▽ More Here is discussed generalization of Clifford algebras, l^n-dimensional Weyl-Clifford algebras T(n,l) with n generators t_k satisfying equation $(\sum_{k=1}^n a_k t_k)^l = \sum_{k=1}^n a_k^l$. It is originated from two basic and well known constructions: representation of Clifford algebras via tensor products of Pauli matrices together with extension for l > 2 using Weyl commutation relations. Presentation of such general topics here may not pretend to entire originality or completeness and it is rather a preliminary excursus into this very broad and interesting area of research. △ Less

Submitted 27 March, 2002; v1 submitted 20 December, 2001; originally announced December 2001.

Comments: 17 pages, 10pt LaTeXe; v2 corrected disappointing typos (swap p,q)

Clifford algebras, noncommutative tori and universal quantum computers

Authors: Alexander Yu. Vlasov

Abstract: Recently author suggested [quant-ph/0010071] an application of Clifford algebras for construction of a "compiler" for universal binary quantum computer together with later development [quant-ph/0012009] of the similar idea for a non-binary base. The non-binary case is related with application of some extension of idea of Clifford algebras. It is noncommutative torus defined by polynomial algebra… ▽ More Recently author suggested [quant-ph/0010071] an application of Clifford algebras for construction of a "compiler" for universal binary quantum computer together with later development [quant-ph/0012009] of the similar idea for a non-binary base. The non-binary case is related with application of some extension of idea of Clifford algebras. It is noncommutative torus defined by polynomial algebraic relations of order l. For l=2 it coincides with definition of Clifford algebra. Here is presented the joint consideration and comparison of both cases together with some discussion on possible physical consequences. △ Less

Submitted 3 September, 2001; originally announced September 2001.

Comments: 8 pages, LaTeXe; AGACSE II July 9-13 2001

Symmetries of complexified space-time and algebraic structures in quantum theory

Authors: Alexander Yu. Vlasov

Abstract: In this paper is discussed description of some algebraic structures in quantum theory by using formal recursive constructions with "complex Poincaré group" ISO(4,C). In this paper is discussed description of some algebraic structures in quantum theory by using formal recursive constructions with "complex Poincaré group" ISO(4,C). △ Less

Submitted 7 September, 2001; v1 submitted 22 August, 2001; originally announced August 2001.

Comments: v2. style change: REVTeX, 12 pg, preprint, draft, minor corrections

Probabilities, Tensors and Qubits

Authors: Alexander Yu. Vlasov

Abstract: In the paper is discussed complete probabilistic description of quantum systems with application to multiqubit quantum computations. In simplest case it is a set of probabilities of transitions to some fixed set of states. The probabilities in the set may be represented linearly via coefficients of density matrix and it is very similar with description using mixed states, but also may give some… ▽ More In the paper is discussed complete probabilistic description of quantum systems with application to multiqubit quantum computations. In simplest case it is a set of probabilities of transitions to some fixed set of states. The probabilities in the set may be represented linearly via coefficients of density matrix and it is very similar with description using mixed states, but also may give some alternative view on specific properties of quantum circuits due to possibility of direct comparison with classical statistical paradigm. △ Less

Submitted 26 April, 2001; originally announced April 2001.

Comments: 15 pages, "QIS preprint" layout

Universal quantum processors with arbitrary radix n

Authors: Alexander Yu. Vlasov

Abstract: Here is discussed the Hamiltonian approach to construction of deterministic universal (in approximate sense) programmable quantum circuits with qubits or any other quantum systems with dimension of Hilbert space is $n \ge 2$. Here is discussed the Hamiltonian approach to construction of deterministic universal (in approximate sense) programmable quantum circuits with qubits or any other quantum systems with dimension of Hilbert space is $n \ge 2$. △ Less

Submitted 22 March, 2001; originally announced March 2001.

Comments: 3 pages, LaTeX, extended abstract, c-ref: ICQI

Classical programmability is enough for quantum circuits universality in approximate sense

Authors: Alexander Yu. Vlasov

Abstract: It was shown by M.A. Nielsen and I.L. Chuang 1997, that it is impossible to build strictly universal programmable quantum gate array, that could perform any unitary operation precisely and it was suggested to use probabilistic gate arrays instead. In present work is shown, that if to use more physical and weak condition of universality (suggested already in earliest work by D.Deutsch 1985) and t… ▽ More It was shown by M.A. Nielsen and I.L. Chuang 1997, that it is impossible to build strictly universal programmable quantum gate array, that could perform any unitary operation precisely and it was suggested to use probabilistic gate arrays instead. In present work is shown, that if to use more physical and weak condition of universality (suggested already in earliest work by D.Deutsch 1985) and to talk about simulation with arbitrary, but finite precision, then it is possible to build universal programmable gate array. But now the same no-go theorem by Nielsen and Chuang will have new interesting consequence --- controlling programs for the gate arrays can be considered as pure classical. More detailed design of such deterministic quantum gate arrays universal ``in approximate sense'' is considered in the paper. △ Less

Submitted 20 March, 2001; originally announced March 2001.

Comments: 5 pages, LaTeX, Extended abstract

Noncommutative tori and universal sets of non-binary quantum gates

Authors: Alexander Yu. Vlasov

Abstract: A problem of universality in simulation of evolution of quantum system and in theory of quantum computations is related with the possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In an earlier paper (quant-ph/0010071) application of Clifford algebras to constructions of universal sets… ▽ More A problem of universality in simulation of evolution of quantum system and in theory of quantum computations is related with the possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In an earlier paper (quant-ph/0010071) application of Clifford algebras to constructions of universal sets of binary quantum gates $U_k \in U(2^n)$ was shown. For application of a similar approach to non-binary quantum gates $U_k \in U(l^n)$ in present work is used rational noncommutative torus ${\Bbb T}^{2n}_{1/l}$. A set of universal non-binary two-gates is presented here as one example. △ Less

Submitted 18 June, 2002; v1 submitted 1 December, 2000; originally announced December 2000.

Comments: 5 pages, REVTeX3.1, v2: spelling and misprints, 4 new refs

Journal ref: J.Math.Phys. 43 (2002) 2959-2964

Comment on `Decomposition of pure states of a quantum register'

Authors: Alexander Yu. Vlasov

Abstract: I. Raptis and R. Zapatrin in the quant-ph/0010104 show possibility to express general state of $l$-qubits quantum register as sum at most $2^l-l$ product states. In the comment is suggested more simple construction with possibility of generalization for decomposition of tensor product of Hilbert spaces with arbitrary dimension $n$ (here simplicial complexes used in the article mentioned above wo… ▽ More I. Raptis and R. Zapatrin in the quant-ph/0010104 show possibility to express general state of $l$-qubits quantum register as sum at most $2^l-l$ product states. In the comment is suggested more simple construction with possibility of generalization for decomposition of tensor product of Hilbert spaces with arbitrary dimension $n$ (here simplicial complexes used in the article mentioned above would not be applied directly). In this case it is decomposition with $n^l-(n^2-n)l/2$ product states. △ Less

Submitted 9 November, 2000; v1 submitted 3 November, 2000; originally announced November 2000.

Comments: 1 page, 2 columns REVTeX, v3 is small, but essential modification

Clifford algebras and universal sets of quantum gates

Authors: Alexander Yu. Vlasov

Abstract: In this paper is shown an application of Clifford algebras to the construction of computationally universal sets of quantum gates for $n$-qubit systems. It is based on the well-known application of Lie algebras together with the especially simple commutation law for Clifford algebras, which states that all basic elements either commute or anticommute. In this paper is shown an application of Clifford algebras to the construction of computationally universal sets of quantum gates for $n$-qubit systems. It is based on the well-known application of Lie algebras together with the especially simple commutation law for Clifford algebras, which states that all basic elements either commute or anticommute. △ Less

Submitted 4 April, 2001; v1 submitted 19 October, 2000; originally announced October 2000.

Comments: 4 pages, REVTeX (2 col.), low-level language corrections, PRA

Journal ref: Phys. Rev. A 63 (2001) 054302

Algebra, Logic and Qubits: Quantum Abacus

Authors: Alexander Yu. Vlasov

Abstract: The canonical anticommutation relations (CAR) for fermion systems can be represented by finite-dimensional matrix algebra, but it is impossible for canonical commutation relations (CCR) for bosons. After description of more simple case with representation of CAR and (bounded) quantum computational networks via Clifford algebras in the paper are discussed CCR. For representation of the algebra it… ▽ More The canonical anticommutation relations (CAR) for fermion systems can be represented by finite-dimensional matrix algebra, but it is impossible for canonical commutation relations (CCR) for bosons. After description of more simple case with representation of CAR and (bounded) quantum computational networks via Clifford algebras in the paper are discussed CCR. For representation of the algebra it is not enough to use quantum networks with fixed number of qubits and it is more convenient to consider Turing machine with essential operation of appending new cells for description of infinite tape in finite terms --- it has straightforward generalization for quantum case, but for CCR it is necessary to work with symmetrized version of the quantum Turing machine. The system is called here quantum abacus due to understanding analogy with the ancient counting devices (abacus). △ Less

Submitted 15 February, 2000; v1 submitted 27 January, 2000; originally announced January 2000.

Comments: 12 pages LaTeXe, (v2: eq.12 corrected, v3: minor changes)

Von Neumann Quantum Logic vs. Classical von Neumann Architecture?

Authors: Alexander Yu. Vlasov

Abstract: The name of John von Neumann is common both in quantum mechanics and computer science. Are they really two absolutely unconnected areas? Many works devoted to quantum computations and communications are serious argument to suggest about existence of such a relation, but it is impossible to touch the new and active theme in a short review. In the paper are described the structures and models of l… ▽ More The name of John von Neumann is common both in quantum mechanics and computer science. Are they really two absolutely unconnected areas? Many works devoted to quantum computations and communications are serious argument to suggest about existence of such a relation, but it is impossible to touch the new and active theme in a short review. In the paper are described the structures and models of linear algebra and just due to their generality it is possible to use universal description of very different areas as quantum mechanics and theory of Bayesian image analysis, associative memory, neural networks, fuzzy logic. △ Less

Submitted 3 January, 2000; originally announced January 2000.

Comments: 4 pages LaTeXe, two columns, 1 inline logo, submitted to III International Conference on Soft Computing and Measurements SCM'2000

ACM Class: J.2; I.5.1; F.4

Error Correction with Euclidean Qubits

Authors: Alexander Yu. Vlasov

Abstract: In classical case there is simplest method of error correction with using three equal bits instead of one. In the paper is shown, how the scheme fails for quantum error correction with complex vector spaces of usual quantum mechanics, but works in real and quaternionic cases. It is discussed also, how to implement the three qubits scheme with using encoding of quaternionic qubit by Majorana spin… ▽ More In classical case there is simplest method of error correction with using three equal bits instead of one. In the paper is shown, how the scheme fails for quantum error correction with complex vector spaces of usual quantum mechanics, but works in real and quaternionic cases. It is discussed also, how to implement the three qubits scheme with using encoding of quaternionic qubit by Majorana spinor. Necessary concepts and formulae from area of quantum error corrections are closely introduced and proved. △ Less

Submitted 23 November, 1999; v1 submitted 16 November, 1999; originally announced November 1999.

Comments: 13 pages \LaTeXe + amsmath, typo changes

Journal ref: Quantum Computers & Computing 2 (2001) 68

Quantum Gates and Clifford Algebras

Authors: Alexander Yu. Vlasov

Abstract: Clifford algebras are used for definition of spinors. Because of using spin-1/2 systems as an adequate model of quantum bit, a relation of the algebras with quantum information science has physical reasons. But there are simple mathematical properties of the algebras those also justifies such applications. First, any complex Clifford algebra with 2n generators, Cl(2n,C), has representation as… ▽ More Clifford algebras are used for definition of spinors. Because of using spin-1/2 systems as an adequate model of quantum bit, a relation of the algebras with quantum information science has physical reasons. But there are simple mathematical properties of the algebras those also justifies such applications. First, any complex Clifford algebra with 2n generators, Cl(2n,C), has representation as algebra of all 2^n x 2^n complex matrices and so includes unitary matrix of any quantum n-gate. An arbitrary element of whole algebra corresponds to general form of linear complex transformation. The last property is also useful because linear operators are not necessary should be unitary if they used for description of restriction of some unitary operator to subspace. The second advantage is simple algebraic structure of Cl(2n) that can be expressed via tenzor product of standard "building units" and similar with behavior of composite quantum systems. The compact notation with 2n generators also can be used in software for modeling of simple quantum circuits by modern conventional computers. △ Less

Submitted 30 July, 1999; v1 submitted 26 July, 1999; originally announced July 1999.

Comments: 10 pages AMS-LaTeXe, Poster on TMR Network School on Quantum Computation and Quantum Information Theory, Italy, Torino, July 12-23 1999 (v2 with tiny changes and typo corrections)

Comment on ``Quantization of Diffeomorphism-Invariant Theories with Fermions''

Authors: Alexander Yu. Vlasov

Abstract: In the comment to the article by J.Baez and K.Krasnov (hep-th/9703112) are discussed some topics related with application of certain constructions to non-trivial principal bundles. In the comment to the article by J.Baez and K.Krasnov (hep-th/9703112) are discussed some topics related with application of certain constructions to non-trivial principal bundles. △ Less

Submitted 16 February, 1999; originally announced February 1999.

Comments: 5 pages LaTeX

Universal Object Oriented Languages and Computer Algebra

Authors: Alexander Yu. Vlasov

Abstract: The universal object oriented languages made programming more simple and efficient. In the article is considered possibilities of using similar methods in computer algebra. A clear and powerful universal language is useful if particular problem was not implemented in standard software packages like REDUCE, MATHEMATICA, etc. and if the using of internal programming languages of the packages looks… ▽ More The universal object oriented languages made programming more simple and efficient. In the article is considered possibilities of using similar methods in computer algebra. A clear and powerful universal language is useful if particular problem was not implemented in standard software packages like REDUCE, MATHEMATICA, etc. and if the using of internal programming languages of the packages looks not very efficient. Functional languages like LISP had some advantages and traditions for algebraic and symbolic manipulations. Functional and object oriented programming are not incompatible ones. An extension of the model of an object for manipulation with pure functions and algebraic expressions is considered. △ Less

Submitted 15 January, 1999; originally announced January 1999.

Comments: 5 pages LaTeX, (3 pages extended abstract of talk at International Conference: Computer Algebra in Scientific Computing, CASC'98, 20-24 Apr 1998, St.-Petersburg, Russia; + 2 pages of comments to 3 slides included as 3 separate ps files)

ACM Class: D.1.5; D.3.2

Journal ref: Computer Algebra in Scientific Computing. Extended abstracts of the International Conference CASC-98, ed by N.N.Vasiliev -- St.-Petersburg, 1998, pages 130 -- 132

Object Oriented and Functional Programming for Symbolic Manipulation

Authors: Alexander Yu. Vlasov

Abstract: The advantages of mixed approach with using different kinds of programming techniques for symbolic manipulation are discussed. The main purpose of approach offered is merge the methods of object oriented programming that convenient for presentation data and algorithms for user with advantages of functional languages for data manipulation, internal presentation, and portability of software. The advantages of mixed approach with using different kinds of programming techniques for symbolic manipulation are discussed. The main purpose of approach offered is merge the methods of object oriented programming that convenient for presentation data and algorithms for user with advantages of functional languages for data manipulation, internal presentation, and portability of software. △ Less

Submitted 13 January, 1999; originally announced January 1999.

Comments: 6 pages, LaTeX, poster presentation at 5th International Workshop on New Computing Techniques in Physics Research (AIHENP'96), http://lapphp0.in2p3.fr/aihep/aihep96/abstracts/sm.html , EPFL Lausanne, (Switzerland), 2 - 6 Sep 1996; corrected due to referee suggestions (Nov 96), adjusted to LaTeX2e article class (Jan 99)

ACM Class: I.1.0; D.1.1; D.1.5; D.3.2

Analogue Quantum Computers for Data Analysis

Authors: Alexander Yu. Vlasov

Abstract: Analogue computers use continuous properties of physical system for modeling. In the paper is described possibility of modeling by analogue quantum computers for some model of data analysis. It is analogue associative memory and a formal neural network. A particularity of the models is combination of continuous internal processes with discrete set of output states. The modeling of the system by… ▽ More Analogue computers use continuous properties of physical system for modeling. In the paper is described possibility of modeling by analogue quantum computers for some model of data analysis. It is analogue associative memory and a formal neural network. A particularity of the models is combination of continuous internal processes with discrete set of output states. The modeling of the system by classical analogue computers was offered long times ago, but now it is not very effectively in comparison with modern digital computers. The application of quantum analogue modelling looks quite possible for modern level of technology and it may be more effective than digital one, because number of element may be about Avogadro number (N=6.0E23). △ Less

Submitted 11 February, 1998; originally announced February 1998.

Comments: 7 pages, standard article LaTeX2e document class

Report number: QCY-VAY12-291297

Quantum Computations and Images Recognition

Authors: Alexander Yu. Vlasov

Abstract: The using of quantum parallelism is often connected with consideration of quantum system with huge dimension of space of states. The n-qubit register can be described by complex vector with 2^n components (it belongs to n'th tensor power of qubit spaces). For example, for algorithm of factorization of numbers by quantum computer n can be about a few hundreds for some realistic applications for c… ▽ More The using of quantum parallelism is often connected with consideration of quantum system with huge dimension of space of states. The n-qubit register can be described by complex vector with 2^n components (it belongs to n'th tensor power of qubit spaces). For example, for algorithm of factorization of numbers by quantum computer n can be about a few hundreds for some realistic applications for cryptography. The applications described further are used some other properties of quantum systems and they do not demand such huge number of states. The term "images recognition" is used here for some broad class of problems. For example, we have a set of some objects V_i and function of "likelihood": F(V,W) < F(V,V) = 1 If we have some "noisy" or "distorted" image W, we can say that recognition of W is V_i, if F(W,V_i) is near 1 for some V_i. △ Less

Submitted 6 March, 1997; originally announced March 1997.

Comments: 7 pages, LaTeX2.09; Talk given at QCM'96 (September 1996, Japan)

Report number: QCY-VAY09-230996

Quantum Theory of Computation and Relativistic Physics

Authors: Alexander Yu. Vlasov

Abstract: In the e-print is discussed a few steps to introducing of "vocabulary" of relativistic physics in quantum theory of information and computation (QTI&C). The behavior of a few simple quantum systems those are used as models in QTI&C is tested by usual relativistic tools (transformation properties of wave vectors, etc.). Massless and charged massive particles with spin 1/2 are considered. Field th… ▽ More In the e-print is discussed a few steps to introducing of "vocabulary" of relativistic physics in quantum theory of information and computation (QTI&C). The behavior of a few simple quantum systems those are used as models in QTI&C is tested by usual relativistic tools (transformation properties of wave vectors, etc.). Massless and charged massive particles with spin 1/2 are considered. Field theory is also discussed briefly. △ Less

Submitted 4 August, 1999; v1 submitted 22 January, 1997; originally announced January 1997.

Comments: 6 pages, LaTeX2e, 2 columns, 4 PostScript figures are included by epsfig.sty; based on poster in Proc. PhysComp '96 Workshop (BU, Boston MA, 22-24 Nov 1996) pp. 332-333, a "no-go" result for bounded quantum networks; v3/4 -- typos corrected, minor changes

Report number: RQC-VAY11/v4