arXiv Science⌕ Search

arXiv subjects

Giuseppe Castagnoli

Publications and source records attributed to Giuseppe Castagnoli.

39 records · Page 3Linked to original sources

A diakoptic approach to quantum computation

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 clipping its richness.

quant-ph↗

A reductionistic approach to quantum computation

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 clipping its richness.

quant-ph↗

Quantum Computation Based on Retarded and Advanced Propagation

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

quant-ph↗