Showing 1–45 of 45 results for author: Castagnoli, G

Multi-purpose InSTRument for Astronomy at Low-resolution: MISTRAL@OHP

Authors: J. Schmitt, C. Adami, M. Dennefeld, F. Agneray, S. Basa, J. C. Brunel, V. Buat, D. Burgarella, C. Carvalho, G. Castagnoli, N. Grosso, F. Huppert, C. Moreau, F. Moreau, L. Moreau, E. Muslimov, S. Pascal, S. Perruchot, D. Russeil, J. L. Beuzit, F. Dolon, M. Ferrari, B. Hamelin, A. LevanSuu, K. Aravind , et al. (9 additional authors not shown)

Abstract: MISTRAL is the new Faint Object Spectroscopic Camera mounted at the folded Cassegrain focus of the 1.93m telescope of Haute-Provence Observatory. We describe the design and components of the instrument and give some details about its operation. We emphasise in particular the various observing modes and the performances of the detector. A short description is also given about the working environmen… ▽ More MISTRAL is the new Faint Object Spectroscopic Camera mounted at the folded Cassegrain focus of the 1.93m telescope of Haute-Provence Observatory. We describe the design and components of the instrument and give some details about its operation. We emphasise in particular the various observing modes and the performances of the detector. A short description is also given about the working environment. Various types of objects, including stars, nebulae, comets, novae, galaxies have been observed during various test phases to evaluate the performances of the instrument. The instrument covers the range of 4000 to 8000A with the blue setting, or from 6000 to 10000A with the red setting, at an average spectral resolution of 700. Its peak efficiency is about 22% at 6000A. In spectroscopy, a limiting magnitude of 19.5 can be achieved for a point source in one hour with a signal to noise of 3 in the continuum (and better if emission lines are present). In imaging mode, limiting magnitudes of 20-21 can be obtained in 10-20mn (with average seing conditions of 2.5 arcsec at OHP). The instrument is very users-friendly and can be put into operations in less than 15mn (rapid change-over from the other instrument in use) if required by the science (like for Gamma-Rays Bursts). Some first scientific results are described for various types of objects, and in particular for the follow-up of GRBs. While some further improvements are still under way, in particular to ease the switch from blue to red setting and add more grisms or filters, MISTRAL is ready for the follow-up of transients and other variable objects, in the soon-to-come era of e.g. the SVOM satellite and of the Rubin telescope. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: Accepted in A&A

The physical basis of teleological evolutions

Authors: Giuseppe Castagnoli

Abstract: It is easily seen that the mere existence of an optimal quantum computational speedup logically implies the mutually exclusive or of well-defined causal loops. In each of them, it is as if the problem-solver knew in advance one of the possible halves of the information about the solution she will produce and measure in the future and used this knowledge to produce the solution with correspondingly… ▽ More It is easily seen that the mere existence of an optimal quantum computational speedup logically implies the mutually exclusive or of well-defined causal loops. In each of them, it is as if the problem-solver knew in advance one of the possible halves of the information about the solution she will produce and measure in the future and used this knowledge to produce the solution with correspondingly fewer computation steps. Involving only the measurements of commuting observables, quantum algorithms are submitted to the same (classical) logic and should therefore host the quantum superposition of the causal loops in question. However, being causal in character, their ordinary quantum description cannot describe causal loops. We argue that it must therefore be incomplete and show that it is completed by time-symmetrizing it. This leaves the ordinary quantum description mathematically unaltered but replaces its single causal process by the quantum superposition of causal loops in question. In their completed quantum description, quantum algorithms respond to the pre-scientific notion of teleological evolution, that is, an evolution toward a goal (the solution) with an attractor in the goal it will produce in the future (the solution again). Once applied to the evolutions of the living, this notion was dismissed with the advent of modern science for the alleged absence of a physical basis. We show that, under a quantum cosmological interpretation of the Anthropic Principle, the same quantum superposition of causal loops underlying the teleological character of quantum algorithms becomes the missing physical basis of the teleological character of natural evolutions. △ Less

Submitted 1 July, 2024; v1 submitted 29 October, 2023; originally announced October 2023.

Comments: After comments from the readers, it should be more clear and better organized, specially the Introduction. To be submitted to PRX Life

The quantum mechanical notion of unobservable causal loop and the anthropic principle

Authors: Giuseppe Castagnoli

Abstract: It can be argued that the ordinary description of the reversible quantum process between two one-to-one correlated measurement outcomes is incomplete because, by not specifying the direction of causality, it allows causal structures that violate the time symmetry that is required of a reversible process. This also means that it can be completed simply by time-symmetrizing it, namely by requiring t… ▽ More It can be argued that the ordinary description of the reversible quantum process between two one-to-one correlated measurement outcomes is incomplete because, by not specifying the direction of causality, it allows causal structures that violate the time symmetry that is required of a reversible process. This also means that it can be completed simply by time-symmetrizing it, namely by requiring that the initial and final measurements evenly contribute to the selection of their correlated pair of outcomes. This leaves the description unaltered but shows that it is the quantum superposition of unobservable time-symmetrized instances whose causal structure is completely defined. Each instance consists of a causal loop: the final measurement that changes backwards in time the input state of the unitary transformation that leads to the state immediately before it. In former works, we have shown that such loops exactly explain the quantum computational speedup and quantum nonlocality. In this work we show that they lead to a completion of the anthropic principle that allows a universe evolution with quantum speedup. △ Less

Submitted 1 November, 2023; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: The work was a draft of "The physical basis of teleological evolutions" now posted on the arxiv

Testing the 10 spectrograph units for DESI: approach and results

Authors: S. Perruchot, P. -E. Blanc, J. Guy, L. Le Guillou, S. Ronayette, X. Régal, G. Castagnoli, A. Le Van Suu, E. Sepulveda, E. Jullo, J. -G. Cuby, S. Karkar, P. Ghislain, P. Repain, P. -H. Carton, C. Magneville, A. Ealet, S. Escoffier, A. Secroun, K. Honscheid, A. Elliot, P. Jelinsky, D. Brooks, P. Doel, Y. Duan , et al. (12 additional authors not shown)

Abstract: The recently commissioned Dark Energy Spectroscopic Instrument (DESI) will measure the expansion history of the Universe using the Baryon Acoustic Oscillation technique. The spectra of 35 million galaxies and quasars over 14000 sqdeg will be measured during the life of the experiment. A new prime focus corrector for the KPNO Mayall telescope delivers light to 5000 fiber optic positioners. The fibe… ▽ More The recently commissioned Dark Energy Spectroscopic Instrument (DESI) will measure the expansion history of the Universe using the Baryon Acoustic Oscillation technique. The spectra of 35 million galaxies and quasars over 14000 sqdeg will be measured during the life of the experiment. A new prime focus corrector for the KPNO Mayall telescope delivers light to 5000 fiber optic positioners. The fibers in turn feed ten broad-band spectrographs. A consortium of Aix-Marseille University (AMU) and CNRS laboratories (LAM, OHP and CPPM) together with LPNHE (CNRS, IN2P3, Sorbonne Université and Université de Paris) and the WINLIGHT Systems company based in Pertuis (France), were in charge of integrating and validating the performance requirements of the ten full spectrographs, equipped with their cryostats, shutters and other mechanisms. We present a summary of our activity which allowed an efficient validation of the systems in a short-time schedule. We detail the main results. We emphasize the benefits of our approach and also its limitations. △ Less

Submitted 28 January, 2021; originally announced January 2021.

Comments: 20 pages, 16 figures, in 2020 SPIE Astronomical Telescopes + Instrumentation conference proceedings

Journal ref: Proc. SPIE 11447, Ground-based and Airborne Instrumentation for Astronomy VIII, 1144786 (13 December 2020)

Unobservable causal loops as a way to explain both the quantum computational speedup and quantum nonlocality

Authors: Giuseppe Castagnoli

Abstract: We consider the reversible processes between two one-to-one correlated measurement outcomes which underly both problem-solving and quantum nonlocality. In the former case the two outcomes are the setting and the solution of the problem, in the latter those of measuring a pair of maximally entangled observables whose subsystems are space separate. We argue that the quantum description of these proc… ▽ More We consider the reversible processes between two one-to-one correlated measurement outcomes which underly both problem-solving and quantum nonlocality. In the former case the two outcomes are the setting and the solution of the problem, in the latter those of measuring a pair of maximally entangled observables whose subsystems are space separate. We argue that the quantum description of these processes mathematically describes the correlation but leaves the causal structure that physically ensures it free, also of violating the time-symmetry required of the description of a reversible process. It would therefore be incomplete and could be completed by time-symmetrizing it. This is done by assuming that the two measurements evenly contribute to selecting the pair of correlated measurement outcomes. Time-symmetrization leaves the ordinary quantum description unaltered but shows that it is the quantum superposition of unobservable time-symmetrization instances whose causal structure is completely defined. Each instance is a causal loop: causation goes from the initial to the final measurement outcome and then back from the final to the initial outcome. In the speedup, all is as if the problem solver knew in advance half of the information about the solution she will produce in the future and could use this knowledge to produce the solution with fewer computation steps. In nonlocality, the measurement on either subsystem retrocausally and locally changes the state of both subsystems when the two were not yet spatially separate. This locally causes the correlation between the two future measurement outcomes. △ Less

Submitted 2 September, 2021; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: 31 pages, entirely rewritten after the Editor and Referees' comments and suggestions. Published in Phys. Rev. A

Journal ref: Phys. Rev. A 104, 032203 (2021)

A relational time-symmetric framework for analyzing the quantum computational speedup

Authors: Giuseppe Castagnoli, Eliahu Cohen, Artur Ekert, Avshalom Elitzur

Abstract: The usual representation of quantum algorithms is limited to the process of solving the problem. We extend it to the process of setting the problem. Bob, the problem setter, selects a problem-setting by the initial measurement. Alice, the problem solver, unitarily computes the corresponding solution and reads it by the final measurement. This simple extension creates a new perspective from which t… ▽ More The usual representation of quantum algorithms is limited to the process of solving the problem. We extend it to the process of setting the problem. Bob, the problem setter, selects a problem-setting by the initial measurement. Alice, the problem solver, unitarily computes the corresponding solution and reads it by the final measurement. This simple extension creates a new perspective from which to see the quantum algorithm. First, it highlights the relevance of time-symmetric quantum mechanics to quantum computation: the problem-setting and problem solution, in their quantum version, constitute pre- and post-selection, hence the process as a whole is bound to be affected by both boundary conditions. Second, it forces us to enter into relational quantum mechanics. There must be a representation of the quantum algorithm with respect to Bob, and another one with respect to Alice, from whom the outcome of the initial measurement, specifying the setting and thus the solution of the problem, must be concealed. Time-symmetrizing the quantum algorithm to take into account both boundary conditions leaves the representation to Bob unaltered. It shows that the representation to Alice is a sum over histories in each of which she remains shielded from the information coming to her from the initial measurement, not from that coming to her backwards in time from the final measurement. In retrospect, all is as if she knew in advance, before performing her problem-solving action, half of the information that specifies the solution of the problem she will read in the future and could use this information to reach the solution with fewer computation steps (oracle queries). This elucidates the quantum computational speedup in all the quantum algorithms examined. △ Less

Submitted 11 October, 2019; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: With minor modifications, published online in Foundations of Physics. At the 9th row of page 4, the definition of the operator Û was missing. It has now been added

Back to the seminal Deutsch algorithm

Authors: Giuseppe Castagnoli

Abstract: A bare description of the seminal quantum algorithm devised by Deutsch could mean more than an introduction to quantum computing. It could contribute to opening the field to interdisciplinary research. A bare description of the seminal quantum algorithm devised by Deutsch could mean more than an introduction to quantum computing. It could contribute to opening the field to interdisciplinary research. △ Less

Submitted 11 October, 2017; originally announced October 2017.

Comments: 6 pages. A bare description of the seminal Deutsch algorithm is followed by a short discussion of the fundamenal questions raised by its quantum speedup. This means to be an invitation to physicists of the foundations to address the foundations of the speedup

Completing the physical representation of quantum algorithms provides a quantitative explanation of their computational speedup

Authors: Giuseppe Castagnoli

Abstract: The usual representation of quantum algorithms, limited to the process of solving the problem, is physically incomplete. We complete it in three steps: (i) extending the representation to the process of setting the problem, (ii) relativizing the extended representation to the problem solver to whom the problem setting must be concealed, and (iii) symmetrizing the relativized representation for tim… ▽ More The usual representation of quantum algorithms, limited to the process of solving the problem, is physically incomplete. We complete it in three steps: (i) extending the representation to the process of setting the problem, (ii) relativizing the extended representation to the problem solver to whom the problem setting must be concealed, and (iii) symmetrizing the relativized representation for time reversal to represent the reversibility of the underlying physical process. The third steps projects the input state of the relativized representation, where the problem solver is completely ignorant of the setting and thus the solution of the problem, on one where she knows half solution (half of the information specifying it when the solution is an unstructured bit string). Completing the physical representation shows that the number of computation steps (oracle queries) required to solve any oracle problem in an optimal quantum way should be that of a classical algorithm endowed with the advanced knowledge of half solution. This fits the major quantum algorithms known today and would solve the quantum query complexity problem. △ Less

Submitted 25 January, 2018; v1 submitted 7 May, 2017; originally announced May 2017.

Comments: Explicitly addressed the controversial character of the work in an extended discussion,24 pages

Completing the physical representation of quantum algorithms provides a retrocausal explanation of their speedup

Authors: Giuseppe Castagnoli

Abstract: In previous works, we showed that an optimal quantum algorithm can always be seen as a sum over classical histories in each of which the problem solver knows in advance one of the possible halves of the solution she will read in the future and performs the computation steps (oracle queries) still needed to reach it. Given an oracle problem, this retrocausal explanation of the speedup yields the or… ▽ More In previous works, we showed that an optimal quantum algorithm can always be seen as a sum over classical histories in each of which the problem solver knows in advance one of the possible halves of the solution she will read in the future and performs the computation steps (oracle queries) still needed to reach it. Given an oracle problem, this retrocausal explanation of the speedup yields the order of magnitude of the number of oracle queries needed to solve it in an optimal quantum way. Presently, we provide a fundamental justification for the explanation in question and show that it comes out by just completing the physical representation of quantum algorithms. Since the use of retrocausality in quantum mechanics is controversial, showing that it answers the well accepted requirement of the completeness of the physical description should be an important pass. △ Less

Submitted 30 January, 2017; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: 28 pages, self-sufficient 6 pages extended summary, provided a fundamental explanation of the quantum speedup. In extended summary, added some clarifications on the use of relational quantum mechanics and the calculation of the entropy n (second paragraph, pg 4). arXiv admin note: text overlap with arXiv:1508.00454

An exact relation between number of black box computations required to solve an oracle problem quantumly and quantum retrocausality

Authors: Giuseppe Castagnoli

Abstract: We investigate the reason for the quantum speedup -- quantum algorithms requiring fewer computation steps than their classical counterparts. We extend their representation to the process of setting the problem. The initial measurement selects a setting at random, Bob (the problem setter) unitarily changes it into the desired one. This representation is to Bob and any external observer, it cannot b… ▽ More We investigate the reason for the quantum speedup -- quantum algorithms requiring fewer computation steps than their classical counterparts. We extend their representation to the process of setting the problem. The initial measurement selects a setting at random, Bob (the problem setter) unitarily changes it into the desired one. This representation is to Bob and any external observer, it cannot be to Alice (the problem solver). It would tell her the function computed by the black box, which to her should be hidden inside it. We resort to relational quantum mechanics. To Alice, the projection of the quantum state due to the initial measurement is retarded at the end of her problem solving action. To her, the algorithm input state remains one of complete ignorance of the setting. By black box computations, she unitarily sends it into the output state that, for each possible setting, encodes the corresponding solution, acquired by the final measurement. We show that we can ascribe to the final measurement the selection of any part -- say the R-th part -- of the random outcome of the initial measurement. This projects the input state to Alice on a state of lower entropy where she knows a corresponding part of the problem setting. The quantum algorithm is a sum over classical histories in each of which Alice, knowing in advance one of the R-th parts of the setting, performs the black box computations still required to identify the solution. Given an oracle problem and a value of R, this retrocausality model provides the number of black box computations required to solve it. Conversely, given a known quantum algorithm, it yields the value of R that explains its speed up. R = 1/2 always yields the number of black box computations required by an existing quantum algorithm and the order of magnitude of the number required by optimal one. △ Less

Submitted 22 October, 2015; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: Added a short history of the birth of quantum computation, a positioning of the work, and various clarifications, 29 pages. arXiv admin note: text overlap with arXiv:1308.5077

Highlighting the mechanism of the quantum speedup by time-symmetric and relational quantum mechanics

Authors: Giuseppe Castagnoli

Abstract: Bob hides a ball in one of four drawers. Alice is to locate it. Classically she has to open up to three drawers, quantally just one. The fundamental reason for this quantum speedup is not known. The usual representation of the quantum algorithm is limited to the process of solving the problem. We extend it to the process of setting the problem. The number of the drawer with the ball becomes a unit… ▽ More Bob hides a ball in one of four drawers. Alice is to locate it. Classically she has to open up to three drawers, quantally just one. The fundamental reason for this quantum speedup is not known. The usual representation of the quantum algorithm is limited to the process of solving the problem. We extend it to the process of setting the problem. The number of the drawer with the ball becomes a unitary transformation of the random outcome of the preparation measurement. This extended, time-symmetric, representation brings in relational quantum mechanics. It is with respect to Bob and any external observer and cannot be with respect to Alice. It would tell her the number of the drawer with the ball before she opens any drawer. To Alice, the projection of the quantum state due to the preparation measurement should be retarded at the end of her search; in the input state of the search, the drawer number is determined to Bob and undetermined to Alice. We show that, mathematically, one can ascribe any part of the selection of the random outcome of the preparation measurement to the final Alice's measurement. Ascribing half of it explains the speedup of the present algorithm. This projects the input state to Alice on a state of lower entropy where she knows half of the number of the drawer with the ball in advance. The quantum algorithm turns out to be a sum over histories in each of which Alice knows in advance that the ball is in a pair of drawers and locates it by opening one of the two. In the sample of quantum algorithms examined, the part of the random outcome of the initial measurement selected by the final measurement is one half or slightly above it. Conversely, given an oracle problem, the assumption it is one half always corresponds to an existing quantum algorithm and gives the order of magnitude of the number of oracle queries required by the optimal one. △ Less

Submitted 19 August, 2015; v1 submitted 23 August, 2013; originally announced August 2013.

Comments: Entirely rewritten. Improved clarity and precision of the explanation of the speedup

Origin of the quantum speed-up

Authors: Giuseppe Castagnoli

Abstract: Bob chooses a function from a set of functions and gives Alice the black box that computes it. Alice is to find a characteristic of the function through function evaluations. In the quantum case, the number of function evaluations can be smaller than the minimum classically possible. The fundamental reason for this violation of a classical limit is not known. We trace it back to a disambiguation o… ▽ More Bob chooses a function from a set of functions and gives Alice the black box that computes it. Alice is to find a characteristic of the function through function evaluations. In the quantum case, the number of function evaluations can be smaller than the minimum classically possible. The fundamental reason for this violation of a classical limit is not known. We trace it back to a disambiguation of the principle that measuring an observable determines one of its eigenvalues. Representing Bob's choice of the label of the function as the unitary transformation of a random quantum measurement outcome shows that: (i) finding the characteristic of the function on the part of Alice is a by-product of reconstructing Bob's choice and (ii) because of the quantum correlation between choice and reconstruction, one cannot tell whether Bob's choice is determined by the action of Bob (initial measurement and successive unitary transformation) or that of Alice (further unitary transformation and final measurement). Postulating that the determination shares evenly between the two actions, in a uniform superposition of all the possible ways of sharing, implies that quantum algorithms are superpositions of histories in each of which Alice knows in advance one of the possible halves of Bob's choice. Performing, in each history, only the function evaluations required to classically reconstruct Bob's choice given the advanced knowledge of half of it yields the quantum speed-up. In all the cases examined, this goes along with interleaving function evaluations with non-computational unitary transformations that each time maximize the amount of information about Bob's choice acquired by Alice with function evaluation. △ Less

Submitted 22 November, 2012; v1 submitted 5 July, 2011; originally announced July 2011.

Comments: 21 pages, 1 figure. Corrected a misleading ty** error at point III) of Section 3: "Do the same with B" replaced by "Do the same with V"; minor distributed text improvements. arXiv admin note: text overlap with arXiv:1101.4359

Mechanism of the quantum speed-up

Authors: Giuseppe Castagnoli

Abstract: We explain the mechanism of the quantum speed-up - quantum algorithms requiring fewer computation steps than their classical equivalent - for a family of algorithms. Bob chooses a function and gives to Alice the black box that computes it. Alice, without knowing Bob's choice, should find a character of the function (e. g. its period) by computing its value for different arguments. There is natural… ▽ More We explain the mechanism of the quantum speed-up - quantum algorithms requiring fewer computation steps than their classical equivalent - for a family of algorithms. Bob chooses a function and gives to Alice the black box that computes it. Alice, without knowing Bob's choice, should find a character of the function (e. g. its period) by computing its value for different arguments. There is naturally correlation between Bob's choice and the solution found by Alice. We show that, in quantum algorithms, this correlation becomes quantum. This highlights an overlooked measurement problem: sharing between two measurements the determination of correlated (thus redundant) measurement outcomes. Solving this problem explains the speed-up. All is like Alice, by reading the solution at the end of the algorithm, contributed to the initial choice of Bob, for half of it in quantum superposition for all the possible ways of taking this half. This contribution, back evolved to before running the algorithm, where Bob's choice is located, becomes Alice knowing in advance half of this choice. The quantum algorithm is the quantum superposition of all the possible ways of taking half of Bob's choice and, given the advanced knowledge of it, classically computing the missing half. This yields a speed-up with respect to the classical case where, initially, Bob's choice is completely unknown to Alice. △ Less

Submitted 23 May, 2011; v1 submitted 23 January, 2011; originally announced January 2011.

Comments: Added "light and shade" effects, improving understandability; positioned the approach against state of the art; 19 pages

The quantum correlation between the selection of the problem and that of the solution sheds light on the mechanism of the quantum speed up

Authors: Giuseppe Castagnoli

Abstract: In classical problem solving, there is of course correlation between the selection of the problem on the part of Bob (the problem setter) and that of the solution on the part of Alice (the problem solver). In quantum problem solving, this correlation becomes quantum. This means that Alice contributes to selecting 50% of the information that specifies the problem. As the solution is a function of t… ▽ More In classical problem solving, there is of course correlation between the selection of the problem on the part of Bob (the problem setter) and that of the solution on the part of Alice (the problem solver). In quantum problem solving, this correlation becomes quantum. This means that Alice contributes to selecting 50% of the information that specifies the problem. As the solution is a function of the problem, this gives to Alice advanced knowledge of 50% of the information that specifies the solution. Both the quadratic and exponential speed ups are explained by the fact that quantum algorithms start from this advanced knowledge. △ Less

Submitted 26 October, 2010; v1 submitted 10 May, 2010; originally announced May 2010.

Comments: Earlier version submitted to QIP 2011. Further clarified section 1, "Outline of the argument", submitted to Phys Rev A, 16 pages

Quantum computation and the physical computation level of biological information processing

Authors: Giuseppe Castagnoli

Abstract: On the basis of introspective analysis, we establish a crucial requirement for the physical computation basis of consciousness: it should allow processing a significant amount of information together at the same time. Classical computation does not satisfy the requirement. At the fundamental physical level, it is a network of two body interactions, each the input-output transformation of a unive… ▽ More On the basis of introspective analysis, we establish a crucial requirement for the physical computation basis of consciousness: it should allow processing a significant amount of information together at the same time. Classical computation does not satisfy the requirement. At the fundamental physical level, it is a network of two body interactions, each the input-output transformation of a universal Boolean gate. Thus, it cannot process together at the same time more than the three bit input of this gate - many such gates in parallel do not count since the information is not processed together. Quantum computation satisfies the requirement. At the light of our recent explanation of the speed up, quantum measurement of the solution of the problem is analogous to a many body interaction between the parts of a perfect classical machine, whose mechanical constraints represent the problem to be solved. The many body interaction satisfies all the constraints together at the same time, producing the solution in one shot. This shades light on the physical computation level of the theories that place consciousness in quantum measurement and explains how informations coming from disparate sensorial channels come together in the unity of subjective experience. The fact that the fundamental mechanism of consciousness is the same of the quantum speed up, gives quantum consciousness a potentially enormous evolutionary advantage. △ Less

Submitted 30 December, 2009; originally announced December 2009.

Comments: 13 pages

An explanation of the quantum speed up

Authors: Giuseppe Castagnoli

Abstract: In former work, we showed that a quantum algorithm requires the number of operations (oracle's queries) of a classical algorithm that knows in advance 50% of the information that specifies the solution of the problem. We gave a preliminary theoretical justification of this "50% rule" and checked that the rule holds for a variety of quantum algorithms. Now, we make explicit the information about… ▽ More In former work, we showed that a quantum algorithm requires the number of operations (oracle's queries) of a classical algorithm that knows in advance 50% of the information that specifies the solution of the problem. We gave a preliminary theoretical justification of this "50% rule" and checked that the rule holds for a variety of quantum algorithms. Now, we make explicit the information about the solution available to the algorithm throughout the computation. The final projection on the solution becomes acquisition of the knowledge of the solution on the part of the algorithm. Backdating to before running the algorithm a time-symmetric part of this projection, feeds back to the input of the computation 50% of the information acquired by reading the solution. △ Less

Submitted 5 April, 2010; v1 submitted 2 December, 2009; originally announced December 2009.

Comments: 15 pages, resubmitted to Phys Rev A, the 50% rule is now related to backdating to before running the algorithm a time-symmetric part of the final projection on the solution.

Discussing the explanation of the quantum speed up

Authors: Giuseppe Castagnoli

Abstract: In former work, we showed that a quantum algorithm is the sum over the histories of a classical algorithm that knows in advance 50% of the information about the solution of the problem - each history is a possible way of getting the advanced information and a possible result of computing the missing information. We gave a theoretical justification of this 50% advanced information rule and checke… ▽ More In former work, we showed that a quantum algorithm is the sum over the histories of a classical algorithm that knows in advance 50% of the information about the solution of the problem - each history is a possible way of getting the advanced information and a possible result of computing the missing information. We gave a theoretical justification of this 50% advanced information rule and checked that it holds for a large variety of quantum algorithms. Now we discuss the theoretical justification in further detail and counter a possible objection. We show that the rule is the generalization of a simple, well known, explanation of quantum nonlocality - where logical correlation between measurement outcomes is physically backed by a causal/deterministic/local process with causality allowed to go backward in time with backdated state vector reduction. The possible objection is that quantum algorithms often produce the solution of the problem in an apparently deterministic way (when their unitary part produces an eigenstate of the observable to be measured and measurement produces the corresponding eigenvalue - the solution - with probability 1), while the present explanation of the speed up relies on the nondeterministic character of quantum measurement. We show that this objection would mistake the nondeterministic production of a definite outcome for a deterministic production. △ Less

Submitted 17 November, 2009; v1 submitted 13 October, 2009; originally announced October 2009.

Comments: 6 pages,changed content: explanations of quantum speed up and nonlocality related with one another

Quantum algorithms know in advance 50% of the solution they will find in the future

Authors: Giuseppe Castagnoli

Abstract: Quantum algorithms require less operations than classical algorithms. The exact reason of this has not been pinpointed until now. Our explanation is that quantum algorithms know in advance 50% of the solution of the problem they will find in the future. In fact they can be represented as the sum of all the possible histories of a respective "advanced information classical algorithm". This algori… ▽ More Quantum algorithms require less operations than classical algorithms. The exact reason of this has not been pinpointed until now. Our explanation is that quantum algorithms know in advance 50% of the solution of the problem they will find in the future. In fact they can be represented as the sum of all the possible histories of a respective "advanced information classical algorithm". This algorithm, given the advanced information (50% of the bits encoding the problem solution), performs the operations (oracle's queries) still required to identify the solution. Each history corresponds to a possible way of getting the advanced information and a possible result of computing the missing information. This explanation of the quantum speed up has an immediate practical consequence: the speed up comes from comparing two classical algorithms, with and without advanced information, with no physics involved. This simplification could open the way to a systematic exploration of the possibilities of speed up. △ Less

Submitted 29 July, 2009; v1 submitted 9 June, 2009; originally announced June 2009.

Comments: The example of new quantum speed up that was just outlined in the previous version (finding the character of a permutation) is fully deployed in the present version. There are minor distributed changes to the writing

The 50% advanced information rule of the quantum algorithms

Authors: Giuseppe Castagnoli

Abstract: The oracle chooses a function out of a known set of functions and gives to the player a black box that, given an argument, evaluates the function. The player should find out a certain character of the function through function evaluation. This is the typical problem addressed by the quantum algorithms. In former theoretical work, we showed that a quantum algorithm requires the number of function… ▽ More The oracle chooses a function out of a known set of functions and gives to the player a black box that, given an argument, evaluates the function. The player should find out a certain character of the function through function evaluation. This is the typical problem addressed by the quantum algorithms. In former theoretical work, we showed that a quantum algorithm requires the number of function evaluations of a classical algorithm that knows in advance 50% of the information that specifies the solution of the problem. Here we check that this 50% rule holds for the main quantum algorithms. In the structured problems, a classical algorithm with the advanced information, to identify the missing information should perform one function evaluation. The speed up is exponential since a classical algorithm without advanced information should perform an exponential number of function evaluations. In unstructured database search, a classical algorithm that knows in advance 50% of the n bits of the database location, to identify the n/2 missing bits should perform Order(2 power n/2) function evaluations. The speed up is quadratic since a classical algorithm without advanced information should perform Order(2 power n) function evaluations. The 50% rule identifies the problems solvable with a quantum sped up in an entirely classical way, in fact by comparing two classical algorithms, with and without the advanced information. △ Less

Submitted 27 April, 2009; originally announced April 2009.

Comments: 18 pages, submitted with minor changes to the International Journal of Theoretical Physics

The quantum speed up as advanced knowledge of the solution

Authors: Giuseppe Castagnoli

Abstract: With reference to a search in a database of size N, Grover states: "What is the reason that one would expect that a quantum mechanical scheme could accomplish the search in O(square root of N) steps? It would be insightful to have a simple two line argument for this without having to describe the details of the search algorithm". The answer provided in this work is: "because any quantum algorith… ▽ More With reference to a search in a database of size N, Grover states: "What is the reason that one would expect that a quantum mechanical scheme could accomplish the search in O(square root of N) steps? It would be insightful to have a simple two line argument for this without having to describe the details of the search algorithm". The answer provided in this work is: "because any quantum algorithm takes the time taken by a classical algorithm that knows in advance 50% of the information that specifies the solution of the problem". This empirical fact, unnoticed so far, holds for both quadratic and exponential speed ups and is theoretically justified in three steps: (i) once the physical representation is extended to the production of the problem on the part of the oracle and to the final measurement of the computer register, quantum computation is reduction on the solution of the problem under a relation representing problem-solution interdependence, (ii) the speed up is explained by a simple consideration of time symmetry, it is the gain of information about the solution due to backdating, to before running the algorithm, a time-symmetric part of the reduction on the solution; this advanced knowledge of the solution reduces the size of the solution space to be explored by the algorithm, (iii) if I is the information acquired by measuring the content of the computer register at the end of the algorithm, the quantum algorithm takes the time taken by a classical algorithm that knows in advance 50% of I, which brings us to the initial statement. △ Less

Submitted 26 September, 2008; originally announced September 2008.

Comments: 23 pages, to be published in IJTP

Quantum problem solving as simultaneous computation

Authors: Giuseppe Castagnoli

Abstract: I provide an alternative way of seeing quantum computation. First, I describe an idealized classical problem solving machine that, thanks to a many body interaction, reversibly and nondeterministically produces the solution of the problem under the simultaneous influence of all the problem constraints. This requires a perfectly accurate, rigid, and reversible relation between the coordinates of… ▽ More I provide an alternative way of seeing quantum computation. First, I describe an idealized classical problem solving machine that, thanks to a many body interaction, reversibly and nondeterministically produces the solution of the problem under the simultaneous influence of all the problem constraints. This requires a perfectly accurate, rigid, and reversible relation between the coordinates of the machine parts - the machine can be considered the many body generalization of another perfect machine, the bounching ball model of reversible computation. The mathematical description of the machine, as it is, is applicable to quantum problem solving, an extension of the quantum algorithms that comprises the physical representation of the problem-solution interdependence. The perfect relation between the coordinates of the machine parts is transferred to the populations of the reduced density operators of the parts of the computer register. The solution of the problem is reversibly and nondeterministically produced under the simultaneous influence of the state before measurement and the quantum principle. At the light of the present notion of simultaneous computation, the quantum speed up turns out to be "precognition" of the solution, namely the reduction of the initial ignorance of the solution due to backdating, to before running the algorithm, a time-symmetric part of the state vector reduction on the solution; as such, it is bounded by state vector reduction through an entropic inequality. PACS numbers: 03.67.Lx, 01.55.+b, 01.70.+w △ Less

Submitted 9 October, 2007; originally announced October 2007.

Comments: 12 pages, part of a work to be published on IJTP

Experimental noise-resistant Bell-inequality violations for polarization-entangled photons

Authors: Fabio A. Bovino, Giuseppe Castagnoli, Adan Cabello, Antia Lamas-Linares

Abstract: We experimentally demonstrate that violations of Bell's inequalities for two-photon polarization-entangled states with colored noise are extremely robust, whereas this is not the case for states with white noise. Controlling the amount of noise by using the timing compensation scheme introduced by Kim et al. [Phys. Rev. A 67, 010301(R) (2003)], we have observed violations even for states with ve… ▽ More We experimentally demonstrate that violations of Bell's inequalities for two-photon polarization-entangled states with colored noise are extremely robust, whereas this is not the case for states with white noise. Controlling the amount of noise by using the timing compensation scheme introduced by Kim et al. [Phys. Rev. A 67, 010301(R) (2003)], we have observed violations even for states with very high noise, in excellent agrement with the predictions of Cabello et al. [Phys. Rev. A 72, 052112 (2005)]. △ Less

Submitted 23 June, 2006; v1 submitted 29 November, 2005; originally announced November 2005.

Comments: REVTeX4, 5 pages, 4 figures

Journal ref: Phys. Rev. A 73 (2006) 062110

Direct measurement of non-linear properties of bipartite quantum states

Authors: Fabio Antonio Bovino, Giuseppe Castagnoli, Artur Ekert, Pawel Horodecki, Carolina Moura Alves, Alexander Vladimir Sergienko

Abstract: Non-linear properties of quantum states, such as entropy or entanglement, quantify important physical resources and are frequently used in quantum information science. They are usually calculated from a full description of a quantum state, even though they depend only on a small number parameters that specify the state. Here we extract a non-local and a non-linear quantity, namely the Renyi entr… ▽ More Non-linear properties of quantum states, such as entropy or entanglement, quantify important physical resources and are frequently used in quantum information science. They are usually calculated from a full description of a quantum state, even though they depend only on a small number parameters that specify the state. Here we extract a non-local and a non-linear quantity, namely the Renyi entropy, from local measurements on two pairs of polarization entangled photons. We also introduce a "phase marking" technique which allows to select uncorrupted outcomes even with non-deterministic sources of entangled photons. We use our experimental data to demonstrate the violation of entropic inequalities. They are examples of a non-linear entanglement witnesses and their power exceeds all linear tests for quantum entanglement based on all possible Bell-CHSH inequalities. △ Less

Submitted 18 November, 2005; originally announced November 2005.

Comments: To appear on PRL with minor changes

Reply to Comment on "Quantum dense key distribution"

Authors: I. P. Degiovanni, I. Ruo Berchera, S. Castelletto, M. L. Rastello, F. A. Bovino, A. M. Colla, G. Castagnoli

Abstract: In this Reply we propose a modified security proof of the Quantum Dense Key Distribution protocol detecting also the eavesdrop** attack proposed by Wojcik in his Comment. In this Reply we propose a modified security proof of the Quantum Dense Key Distribution protocol detecting also the eavesdrop** attack proposed by Wojcik in his Comment. △ Less

Submitted 27 October, 2004; originally announced October 2004.

Comments: To appear on PRA with minor changes

Quantum dense key distribution

Authors: I. P. Degiovanni, I. Ruo Berchera, S. Castelletto, M. L. Rastello, F. A. Bovino, A. M. Colla, G. Castagnoli

Abstract: This paper proposes a new protocol for quantum dense key distribution. This protocol embeds the benefits of a quantum dense coding and a quantum key distribution and is able to generate shared secret keys four times more efficiently than BB84 one. We hereinafter prove the security of this scheme against individual eavesdrop** attacks, and we present preliminary experimental results, showing it… ▽ More This paper proposes a new protocol for quantum dense key distribution. This protocol embeds the benefits of a quantum dense coding and a quantum key distribution and is able to generate shared secret keys four times more efficiently than BB84 one. We hereinafter prove the security of this scheme against individual eavesdrop** attacks, and we present preliminary experimental results, showing its feasibility. △ Less

Submitted 15 December, 2003; originally announced December 2003.

Comments: to appear on PRA with minor revision

Experimental evidence for bounds on quantum correlations

Authors: F. A. Bovino, G. Castagnoli, I. P. Degiovanni, S. Castelletto

Abstract: We implemented the experiment proposed by Cabello [arXiv:quant-ph/0309172] to test the bounds of quantum correlation. As expected from the theory we found that, for certain choices of local observables, Cirel'son's bound of the Clauser-Horne-Shimony-Holt inequality ($2\sqrt{2}$) is not reached by any quantum states. We implemented the experiment proposed by Cabello [arXiv:quant-ph/0309172] to test the bounds of quantum correlation. As expected from the theory we found that, for certain choices of local observables, Cirel'son's bound of the Clauser-Horne-Shimony-Holt inequality ($2\sqrt{2}$) is not reached by any quantum states. △ Less

Submitted 16 December, 2003; v1 submitted 6 October, 2003; originally announced October 2003.

Comments: RevTex style, 4 pages, 4 figures, to appear on PRL with minor revision

Experimental Eavesdrop** Attack against Ekert's Protocol based on Wigner's Inequality

Authors: F. A. Bovino, A. M. Colla, G. Castagnoli, S. Castelletto, I. P. Degiovanni, M. L. Rastello

Abstract: We experimentally implemented an eavesdrop** attack against the Ekert protocol for quantum key distribution based on the Wigner inequality. We demonstrate a serious lack of security of this protocol when the eavesdropper gains total control of the source. In addition we tested a modified Wigner inequality which should guarantee a secure quantum key distribution. We experimentally implemented an eavesdrop** attack against the Ekert protocol for quantum key distribution based on the Wigner inequality. We demonstrate a serious lack of security of this protocol when the eavesdropper gains total control of the source. In addition we tested a modified Wigner inequality which should guarantee a secure quantum key distribution. △ Less

Submitted 6 August, 2003; v1 submitted 5 August, 2003; originally announced August 2003.

Comments: RevTex style, 5 pages, 6 figures, to appear on PRA with minor revision

Effective fiber-coupling of entangled photons for quantum communication

Authors: F. A. Bovino, P. Varisco, A. M. Colla, G. Castagnoli, G. Di Giuseppe, A. V. Sergienko

Abstract: We report on theoretical and experimental demonstration of high-efficiency coupling of two-photon entangled states produced in the nonlinear process of spontaneous parametric down conversion into a single-mode fiber. We determine constraints for the optimal coupling parameters. This result is crucial for practical implementation of quantum key distribution protocols with entangled states. We report on theoretical and experimental demonstration of high-efficiency coupling of two-photon entangled states produced in the nonlinear process of spontaneous parametric down conversion into a single-mode fiber. We determine constraints for the optimal coupling parameters. This result is crucial for practical implementation of quantum key distribution protocols with entangled states. △ Less

Submitted 20 March, 2003; originally announced March 2003.

Comments: 3 pages, 2 figures, submitted to Optics Letters

Quantum ground-mode computation with static gates

Authors: Giuseppe Castagnoli, David Ritz Finkelstein

Abstract: We develop a computation model for solving Boolean networks by implementing wires through quantum ground-mode computation and gates through identities following from angular momentum algebra and statistics. Gates are represented by three-dimensional (triplet) symmetries due to particle indistinguishability and are identically satisfied throughout computation being constants of the motion. The re… ▽ More We develop a computation model for solving Boolean networks by implementing wires through quantum ground-mode computation and gates through identities following from angular momentum algebra and statistics. Gates are represented by three-dimensional (triplet) symmetries due to particle indistinguishability and are identically satisfied throughout computation being constants of the motion. The relaxation of the wires yields the network solutions. Such gates cost no computation time, which is comparable with that of an easier Boolean network where all the gate constraints implemented as constants of the motion are removed. This model computation is robust with respect to decoherence and yields a generalized quantum speed-up for all NP problems. △ Less

Submitted 30 September, 2002; originally announced September 2002.

Comments: 4 pages, PDF, fifth page is a figure; short version of arXiv:quant-ph/0209084 v1 13 Sep 2002; static gates yield a speed-up by doing nothing, being constants of the motion

Quantum ground-state computation with static gates

Authors: Giuseppe Castagnoli, David Ritz Finkelstein

Abstract: We develop a computation model for solving Boolean networks that implements wires through quantum ground-state computation and implements gates through identities following from angular momentum algebra and statistics. The gates are static in the sense that they contribute Hamiltonian 0 and hold as constants of the motion; only the wires are dynamic. Just as a spin 1/2 makes an ideal 1-bit memor… ▽ More We develop a computation model for solving Boolean networks that implements wires through quantum ground-state computation and implements gates through identities following from angular momentum algebra and statistics. The gates are static in the sense that they contribute Hamiltonian 0 and hold as constants of the motion; only the wires are dynamic. Just as a spin 1/2 makes an ideal 1-bit memory element, a spin 1 makes an ideal 3-bit gate. Such gates cost no computation time: relaxing the wires alone solves the network. We compare computation time with that of an easier Boolean network where all the gate constraints are simply removed. This computation model is robust with respect to decoherence and yields a generalized quantum speed-up for all NP problems. △ Less

Submitted 13 September, 2002; originally announced September 2002.

Comments: 10 pages, LaTeX, 1 PS figure

Quantum-Statistical Computation

Authors: Giuseppe Castagnoli, David Ritz Finkelstein

Abstract: Systems of spin 1, such as triplet pairs of spin-1/2 fermions (like orthohydrogen nuclei) make useful three-terminal elements for quantum computation, and when interconnected by qubit equality relations are universal for quantum computation. This is an instance of quantum-statistical computation: some of the logical relations of the problem are satisfied identically in virtue of quantum statisti… ▽ More Systems of spin 1, such as triplet pairs of spin-1/2 fermions (like orthohydrogen nuclei) make useful three-terminal elements for quantum computation, and when interconnected by qubit equality relations are universal for quantum computation. This is an instance of quantum-statistical computation: some of the logical relations of the problem are satisfied identically in virtue of quantum statistics, which takes no time. We show heuristically that quantum-statistical ground-mode computation is substantially faster than pure ground-mode computation when the ground mode is reached by annealing. △ Less

Submitted 30 January, 2002; v1 submitted 22 November, 2001; originally announced November 2001.

Comments: 12 pages, LaTeX Minor changes for journal

Theory of the Quantum Speed Up

Authors: Giuseppe Castagnoli, David Ritz Finkelstein

Abstract: Insofar as quantum computation is faster than classical, it appears to be irreversible. In all quantum algorithms found so far the speed-up depends on the extra-dynamical irreversible projection representing quantum measurement. Quantum measurement performs a computation that dynamical computation cannot accomplish as efficiently. Insofar as quantum computation is faster than classical, it appears to be irreversible. In all quantum algorithms found so far the speed-up depends on the extra-dynamical irreversible projection representing quantum measurement. Quantum measurement performs a computation that dynamical computation cannot accomplish as efficiently. △ Less

Submitted 23 October, 2000; originally announced October 2000.

Comments: 10 pages, RevTex, 1 page of 3 figures

Performing Quantum Measurement in Suitably Entangled States Originates the Quantum Computation Speed Up

Authors: Giuseppe Castagnoli

Abstract: We introduce a local concept of speed-up applicable to intermediate stages of a quantum algorithm. We use it to analyse the complementary roles played by quantum parallel computation and quantum measurement in yielding the speed-up. A severe conflict between there being a speed-up and the many worlds interpretation is highlighted. We introduce a local concept of speed-up applicable to intermediate stages of a quantum algorithm. We use it to analyse the complementary roles played by quantum parallel computation and quantum measurement in yielding the speed-up. A severe conflict between there being a speed-up and the many worlds interpretation is highlighted. △ Less

Submitted 17 May, 2000; originally announced May 2000.

Comments: 21 pages, RevTex, separate page of figures. With respect to a former work of the same title, the "strong" nondeterministic character of quantum computation is emphasized; a severe conflict between there being a speed-up and the many worlds interpretation is highlighted

Parallel Quantum Computation, the Library of Babel and Quantum Measurement as the Efficient Librarian

Authors: Giuseppe Castagnoli

Abstract: The complementary roles played by parallel quantum computation and quantum measurement in originating the quantum speed-up are illustrated through an analogy with a famous metaphor by J.L. Borges. The complementary roles played by parallel quantum computation and quantum measurement in originating the quantum speed-up are illustrated through an analogy with a famous metaphor by J.L. Borges. △ Less

Submitted 1 March, 2000; originally announced March 2000.

Comments: 2 pages, RevTex, no figures. An excerpt from a longer (referenced) work, with a justification of the quantum speed-up

A Quantum Logic Gate Representation of Quantum Measurement: Reversing and Unifying the Two Steps of von Neumann's Model

Authors: Giuseppe Castagnoli

Abstract: In former work, quantum computation has been shown to be a problem solving process essentially affected by both the reversible dynamics leading to the state before measurement, and the logical-mathematical constraints introduced by quantum measurement (in particular, the constraint that there is only one measurement outcome). This dual influence, originated by independent initial and final condi… ▽ More In former work, quantum computation has been shown to be a problem solving process essentially affected by both the reversible dynamics leading to the state before measurement, and the logical-mathematical constraints introduced by quantum measurement (in particular, the constraint that there is only one measurement outcome). This dual influence, originated by independent initial and final conditions, justifies the quantum computation speed-up and is not representable inside dynamics, namely as a one-way propagation. In this work, we reformulate von Neumann's model of quantum measurement at the light of above findings. We embed it in a broader representation based on the quantum logic gate formalism and capable of describing the interplay between dynamical and non-dynamical constraints. The two steps of the original model, namely (1) dynamically reaching a complete entanglement between pointer and quantum object and (2) enforcing the one-outcome-constraint, are unified and reversed. By representing step (2) right from the start, the same dynamics of step (1) yields a probability distribution of mutually exclusive measurement outcomes. This appears to be a more accurate and complete representation of quantum measurement. PACS: 03.67.-a, 03.67.Lx, 03.65.Bz △ Less

Submitted 6 December, 1999; originally announced December 1999.

Comments: 17 pages, RevTex, 1 PostScript file with figure, submitted to Int. J. Theor. Phys

Geometric quantum computation with NMR

Authors: J. A. Jones, V. Vedral, A. Ekert, G. Castagnoli

Abstract: The experimental realisation of the basic constituents of quantum information processing devices, namely fault-tolerant quantum logic gates, requires conditional quantum dynamics, in which one subsystem undergoes a coherent evolution that depends on the quantum state of another subsystem. In particular, the subsystem may acquire a conditional phase shift. Here we consider a novel scenario in whi… ▽ More The experimental realisation of the basic constituents of quantum information processing devices, namely fault-tolerant quantum logic gates, requires conditional quantum dynamics, in which one subsystem undergoes a coherent evolution that depends on the quantum state of another subsystem. In particular, the subsystem may acquire a conditional phase shift. Here we consider a novel scenario in which this phase is of geometric rather than dynamical origin. As the conditional geometric (Berry) phase depends only on the geometry of the path executed it is resilient to certain types of errors, and offers the potential of an intrinsically fault-tolerant way of performing quantum gates. Nuclear Magnetic Resonance (NMR) has already been used to demonstrate both simple quantum information processing and Berry's phase. Here we report an NMR experiment which implements a conditional Berry phase, and thus a controlled phase shift gate. This constitutes the first elementary geometric quantum computation. △ Less

Submitted 5 January, 2000; v1 submitted 13 October, 1999; originally announced October 1999.

Comments: Minor additions at request of referees. 4 pages revtex including 2 figures (1 eps). Nature in press

Report number: JAJQP-99-02

Journal ref: Nature 403 869-871 (2000)

Performing Quantum Measurement in Suitably Entangled States Originates the Quantum Computation Speed Up

Authors: Giuseppe Castagnoli, Dalida Monti, Alexander Sergienko

Abstract: We provide a justification of the quantum speed-up based on the complementary roles played by the reversible preparation of an entangled state before measurement and by the final measurement action. We provide a justification of the quantum speed-up based on the complementary roles played by the reversible preparation of an entangled state before measurement and by the final measurement action. △ Less

Submitted 14 February, 2000; v1 submitted 4 August, 1999; originally announced August 1999.

Comments: 22 pages, RevTex, 1 PostScript file with figures. Some comments might indicate ineffective communication of the former version. The description of the mechanism of the quantum speed-up should now be clearer. An Overview of a few pages has been provided

Non-Mechanism in Quantum Oracle Computing

Authors: Giuseppe Castagnoli

Abstract: A typical oracle problem is finding which software program is installed on a computer, by running the computer and testing its input-output behaviour. The program is randomly chosen from a set of programs known to the problem solver. As well known, some oracle problems are solved more efficiently by using quantum algorithms; this naturally implies changing the computer to quantum, while the choi… ▽ More A typical oracle problem is finding which software program is installed on a computer, by running the computer and testing its input-output behaviour. The program is randomly chosen from a set of programs known to the problem solver. As well known, some oracle problems are solved more efficiently by using quantum algorithms; this naturally implies changing the computer to quantum, while the choice of the software program remains sharp. In order to highlight the non-mechanistic origin of this higher efficiency, also the uncertainty about which program is installed must be represented in a quantum way. △ Less

Submitted 8 February, 1999; originally announced February 1999.

Comments: 9 text pages, 3 figures in one additional ps file, manuscript of the presentation to be held at the SILFS Workshop on Logic and Quantum Computation, Cesena, Italy, February 16, 1999

The Non-mechanistic Character of Quantum Computation

Authors: Giuseppe Castagnoli, Dalida Monti

Abstract: The higher than classical efficiency exhibited by some quantum algorithms is here ascribed to their non-mechanistic character, which becomes evident by joining the notions of entanglement and quantum measurement. Measurement analogically sets a (partial) constraint on the output of the computation of a hard-to-reverse function. This constraint goes back in time along the reversible computation p… ▽ More The higher than classical efficiency exhibited by some quantum algorithms is here ascribed to their non-mechanistic character, which becomes evident by joining the notions of entanglement and quantum measurement. Measurement analogically sets a (partial) constraint on the output of the computation of a hard-to-reverse function. This constraint goes back in time along the reversible computation process, computing the reverse function, which yields quantum efficiency. The evolution, comprising wave function collapse (here a revamped notion), is non-mechanistic as it is driven by both an initial condition and a final constraint. It seems that the more the output is constrained by measurement, the higher can be the efficiency. Setting a complete constraint, by means of a special Zeno effect, yields (speculatively) NP-complete=P. △ Less

Submitted 13 January, 1999; v1 submitted 16 November, 1998; originally announced November 1998.

Comments: revision 4: further developed the notion that quantum efficiency comes from driving the computation process through a final condition; various clarifications after receiving comments; reduced the number of figures; 10 text pages (1 file), 2 figures (1 additional file); submitted for the Proceedings of the International Quantum Structures Association Conference, Liptovsky Jan, September 1998

An Inherently Quantum Computation Paradigm: NP-complete=P Under the Hypothetical Notion of Continuous Uncomplete von Neumann Measurement

Authors: Giuseppe Castagnoli

Abstract: The topical quantum computation paradigm is a transposition of the Turing machine into the quantum framework. Implementations based on this paradigm have limitations as to the number of: qubits, computation steps, efficient quantum algorithms (found so far). A new exclusively quantum paradigm (with no classical counterpart) is propounded, based on the speculative notion of continuous uncomplete… ▽ More The topical quantum computation paradigm is a transposition of the Turing machine into the quantum framework. Implementations based on this paradigm have limitations as to the number of: qubits, computation steps, efficient quantum algorithms (found so far). A new exclusively quantum paradigm (with no classical counterpart) is propounded, based on the speculative notion of continuous uncomplete von Neumann measurement. Under such a notion, NP-complete is equal to P. This can provide a mathematical framework for the search of implementable paradigms, possibly exploiting particle statistics. △ Less

Submitted 6 October, 1998; originally announced October 1998.

Comments: 1 figure. From the Quantum Computation and Communication Pathfinder Meeting in Helsinki (September 26-28, 1998) - extended version

Exploiting Particle Statistics in Quantum Computation

Authors: Giuseppe Castagnoli, Dalida Monti

Abstract: We describe a plausible-speculative form of quantum computation which exploits particle (fermionic, bosonic) statistics, under a generalized, counterfactual interpretation thereof. In the idealized situation of an isolated system, it seems that this form of computation yields to NP-complete=P. We describe a plausible-speculative form of quantum computation which exploits particle (fermionic, bosonic) statistics, under a generalized, counterfactual interpretation thereof. In the idealized situation of an isolated system, it seems that this form of computation yields to NP-complete=P. △ Less

Submitted 25 June, 1998; originally announced June 1998.

Comments: 7 pages, no figures. This manuscript is a further development of "Quantum Computation Based on Particle Statistics", quant-ph/9806010 3 Jun 1998. Submitted to Fourth Biannual IQSA Meeting QUANTUM STRUCTURES '98

Report number: Elsag Bailey C.I. no. 047, 1998

Quantum computation based on particle statistics

Authors: Giuseppe Castagnoli, Dalida Monti

Abstract: In spite of their evident logical character, particle statistics symmetries are not among the inherently quantum features exploited in quantum computation. A difficulty may be that, being a constant of motion of a unitary evolution, a particle statistics symmetry cannot affect the course of such an evolution. We try to avoid this possible deadlock by introducing a generalized (counterfactual, bl… ▽ More In spite of their evident logical character, particle statistics symmetries are not among the inherently quantum features exploited in quantum computation. A difficulty may be that, being a constant of motion of a unitary evolution, a particle statistics symmetry cannot affect the course of such an evolution. We try to avoid this possible deadlock by introducing a generalized (counterfactual, blunt) formulation where this type of symmetry becomes a watchdog effect sha** the evolution of a unitary computation process. The work is an exploration. △ Less

Submitted 3 June, 1998; originally announced June 1998.

Comments: 1 figure

A diakoptic approach to quantum computation

Authors: Giuseppe Castagnoli, Dalida Monti

Abstract: In the diakoptic approach, mechanisms are divided into simpler parts interconnected in some standard way (say by a "mechanical connection''). We explore the possibility of applying this approach to quantum mechanisms: the specialties of the quantum domain seem to yield a richer result. First parts are made independent of each other by assuming that connections are removed. The overall state woul… ▽ More In the diakoptic approach, mechanisms are divided into simpler parts interconnected in some standard way (say by a "mechanical connection''). We explore the possibility of applying this approach to quantum mechanisms: the specialties of the quantum domain seem to yield a richer result. First parts are made independent of each other by assuming that connections are removed. The overall state would thus become a superposition of tensor products of the eigenstates of the independent parts. Connections are restored by projecting off all the tensor products which violate them. This would be performed by particle statistics, under a special interpretation thereof. The NP-complete problem of testing the satisfiability of a Boolean network is approached in this way. The diakoptic approach appears to be able of taming the quantum whole without clip** its richness. △ Less

Submitted 23 December, 1997; originally announced December 1997.

Comments: Short version of quant-ph/9711045 20 Nov 1997 "A reductionistic approach to quantum computation", hopefully clarified, after various comments (see acknowledgements). One (changed) figure

A reductionistic approach to quantum computation

Authors: Giuseppe Castagnoli, Dalida Monti

Abstract: In the reductionistic approach, mechanisms are divided into simpler parts interconnected in some standard way (e.g. by a mechanical transmission). We explore the possibility of porting reductionism in quantum operations. Conceptually, first parts are made independent of each other by assuming that all ``transmissions'' are removed. The overall state would thus become a superposition of tensor pr… ▽ More In the reductionistic approach, mechanisms are divided into simpler parts interconnected in some standard way (e.g. by a mechanical transmission). We explore the possibility of porting reductionism in quantum operations. Conceptually, first parts are made independent of each other by assuming that all ``transmissions'' are removed. The overall state would thus become a superposition of tensor products of the eigenstates of the independent parts. Transmissions are restored by projecting off all the tensor products which violate them. This would be performed by particle statistics; the plausibility of this scheme is based on the interpretation of particle statistics as projection. The problem of the satisfiability of a Boolean network is approached in this way. This form of quantum reductionism appears to be able of taming the quantum whole without clip** its richness. △ Less

Submitted 20 November, 1997; originally announced November 1997.

Comments: 1 figure

Quantum Computation Based on Retarded and Advanced Propagation

Authors: Giuseppe Castagnoli

Abstract: Computation is currently seen as a forward propagator that evolves (retards) a completely defined initial vector into a corresponding final vector. Initial and final vectors map the (logical) input and output of a reversible Boolean network respectively, whereas forward propagation maps a one-way propagation of logical implication, from input to output. Conversely, hard NP-complete problems are… ▽ More Computation is currently seen as a forward propagator that evolves (retards) a completely defined initial vector into a corresponding final vector. Initial and final vectors map the (logical) input and output of a reversible Boolean network respectively, whereas forward propagation maps a one-way propagation of logical implication, from input to output. Conversely, hard NP-complete problems are characterized by a two-way propagation of logical implication from input to output and vice versa, given that both are partly defined from the beginning. Logical implication can be propagated forward and backward in a computation by constructing the gate array corresponding to the entire reversible Boolean network and constraining output bits as well as input bits. The possibility of modeling the physical process undergone by such a network by using a retarded and advanced in time propagation scheme is investigated. PACS numbers: 89.70.+c, 02.50.-r, 03.65.-w, 89.80.+h △ Less

Submitted 20 November, 1997; v1 submitted 9 June, 1997; originally announced June 1997.

Comments: Reference of particle statistics to computation speed up better formalized after referee's suggestions. Modified: second half of Section I, Section IIC after eq.(7), Section IID and E. Figure unchanged