Is quantum mechanics linear ?

Pankaj Sharan

BongJu Kim

In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations of quantum mechanics had been established in around 1930, by von Neumann. The formulation uses functional analysis, linear algebra and probability theory. The knowledge of the mathematical formulation of QM is enough quantum mechanical knowledge for approaching to quantum algorithm and it might be efficient way for mathematicians that starting with mathematical formulations of QM. We explain the mathematical formulations of quantum mechanics briefly, quantum bits, quantum gates, quantum discrete Fourier transformation, Deutsch's algorithm and Shor's algorithm.

Vaughan Pratt

Quantum logic is static, describing automata having uncertain states but no state transitions and no Heisenberg uncertainty tradeoff. We cast Girard's linear logic in the role of a dynamic quantum logic, regarded as an extension of quantum logic with time nonstandardly interpreted over a domain of linear automata and their dual linear schedules. In this extension the uncertainty tradeoff emerges via the "structure veil." When VLSI shrinks to where quantum effects are felt, their computer-aided design systems may benefit from such logics of computational behavior having a strong connection to quantum mechanics. 1 Motivation VLSI designers will eventually need to reckon with quantum mechanics (QM), certainly within 50 years and possibly by the 2010's. Computer-aided design (CAD) tools will need to adapt accordingly. Does this entail changing only the theory or also the logic of CAD verification systems? That is, will it be enough just to change those nonlogical axioms defining how elect...

Lynn E. H. Trainor, Mark B. Wise

Pankaj Sharan

E. Rówiński

The foundations of non-linear quantum mechanics are based on six postulates and five propositions. On a first quantised level, these approaches are built on non-linear differential operators, non-linear eigenvalue equations, and the notion of non-linear observables and non-linear states. The present theory predicts that the non-linear function solution of a non-linear partial differential equation for a free particle is correct and that the commutator of the position operator and the non-linear momentum operator does not commute. Moreover, the implicit wave function of linear quantum mechanics can be determined by a non-linear wave function solution of non-linear partial differential equation, which also verifies the non-linear quantum mechanics.