From the other point of view it looks like a lot of opinion means for simulation to be a kind of affairs in which existence of a simple model is possible ( which is very general statement) and when such model is discrete ( which is very limiting statement). This connect two completely different levels of rigidity: very general ( model is possible and effective) with very strong one ( is computable or even discrete).

Ther pe is a lot possibilities in between. Even such simple equation like classical wave equation has uncomputable solutions! Backenstein bound, which is very smart calculation, is in contradictory with simple experiment: from simple hammer to LHC if we out more energy, we get more degrees of freedom excited. It is 10^10 levels of size scale truth. If you say in finite volume there may be only finite energy and you say there is limited entropy ( black hole) and the matter existing only as bosonic and fermionic states, then you get the bound. But what if it is a statement about states of the matter only, and not about space itself? What I’d there are processes we do not know, and in principle you can excite even more degrees of freedom? We are reasoning about something in a scale 10^(-23) basing on something on a scale 10^-(10). It is very weak hipothesis.

The third though is as follows: suppose we have very complicated system we can simulate on such detailed level, it simulates all details ( that is a model is exactly the same as reality which is very strong statement, meaning that at some level model is indistinguishable from reality. In other words, there is such level of reality which is completely compressible into simple equations and no other aspects of reality on this level are possible). Then such system ( “ultimate computing machine simulating complete reality on ultimate level of complexity”) could be simulated. Would be possible any compression in such second level simulation? Answer is probably no ( because if it would be possible, further simplification of model of the reality will be possible, do first simulation will be no exact reality but only simplified model of it, just like for pendulum). So we would have a system for which simulation and a reality will be in the same level of complexity and requires the same level of resources. From practical point if view then, if something may be simulated, eventually there must be a level where simulation and it’s model are indistinguishable in the meaning of complexity.

https://people.eecs.berkeley.edu/~christos/classics/Feynman.pdf

]]>Different approach would be to drop this assumption and seek physical laws that are be artifacts from the simulation or convenient optimizations that limit available computational requirements. Some of the unresolved mysteries might be jitter, wander, rounding and aliasing errors from the simulation.

For example: Universe is Newtonian with quantum mechanics and general relativity is just elegant way to add distance fog.

]]>http://www.bizjournals.com/sanjose/news/2017/03/28/rigetti-quantum-computing-y-combinator-a16z.html

]]>**Ethan** (#159) “All matter is quantum matter.”

Ethan’s principle extends to “All *computational* matter is quantum *electrodynamical* matter”, and this comment will argue that the extension is both natural and inspirational.

Specifically, this extension invites us to “parse carefully and thoughtfully” (per #157) the introduction to Nielsen and Chuang’s ground-breaking textbook *Quantum Computation and Quantum Information* (2000), which inculcates the following quantum worldview:

1.1.1 History of quantum computation and quantum information… What is quantum mechanics? Quantum mechanics is a mathematical framework or set of rules for the construction of physical theories. For example, there is a physical theory known asquantum electrodynamicswhich describes with fantastic accuracy the interaction of atoms and light. Quantum electrodynamics is built up within the framework of quantum mechanics, but it contains specific rules not determined by quantum mechanics.The relationship of quantum mechanics to specific physical theories like quantum electrodynamics is rather like the relationship of a computer’s operating system to specific applications software—the operating system sets certain basic parameters and modes of operation, but leaves open how specific tasks are accomplished by the applications.

The rules of quantum mechanics are simple but even experts find them counterintuitive, and the earliest antecedents of quantum computation and quantum information may be found in the long-standing desire of physicists to better understand quantum mechanics.

Seventeen years have passed since these words appeared, and at QIP 2017 significant new readings were in evidence. To appreciate these new readings, lets parse the above three paragraphs in reverse order, starting with “the long-standing desire … to better understand quantum mechanics”.

To begin the parsing, there’s no shortage of literature establishing that the Nielsen and Chuang-asserted “mystery” of quantum mechanics reflects (at least partially) deficiencies in our understanding of classical mechanics. E.g. Jeremy Butterfield’s “On symplectic reduction in classical mechanics” (*Philosophy of Physics* 2005), and the references therein, provide a start in understanding the mathematical framework and the historical evolution of the essays that Terry Tao’s weblog groups under the tags ‘Navier-Stokes equations’, ‘Euler equations’, and ‘finite time blowup’.

Moreover the mathematical toolset that Butterfield and Tao apply to classical dynamics systems, has become essential to ongoing research in quantum gravity, emergent spacetime, and many other topics of interest to *Shtetl Optimized* readers.

In particular, the Butterfield/Tao work invites to regard the (zero viscosity) Euler equations as homologous to (qubit-informatic) quantum mechanics, and the (finite viscosity) Navier-Stokes equations as homologous to (condensed matter) quantum electrodynamics.

In this light, the second paragraph of Nielsen and Chuang extends to a form that more aptly describes the range of research presented at QIP 2017:

The relationship of quantum electrodynamics (QED) to idealized physical theories (like quantum information theory) is rather like the relationship of a computer’s operating system to specific applications software — the operating system sets certain basic parameters and modes of operation, but leaves open how idealized computational capacities are to be demonstrated (or not) in practice.

To extend the metaphor, our universe’s QED “operating system” — which is the sole operating system that our experiments can “boot” into — imposes stringent and (at present) poorly-appreciated limits on the dimensionality and evolution of physically realizable dynamical trajectories.

In a nutshell, the Nielsen and Chuang “operating system” metaphor is more useful nowadays if we regard QED as the operating system that, perforce, is our sole platform for demonstrating Quantum Supremacy.

Appreciated in this light, the body of research presented at QIP 2017 provides (read in the above light) provides a well-framed answer to a question that Scott posed back in his article “Multilinear formulas and skepticism of quantum computing” (arXiv:0311039, 2003); and article that was written shortly after the Nielsen and Chuang text appeared. This 2003 article asked:

“Exactly what property separates the quantum states we are sure we can create, from those that suffice for Shor’s factoring algorithm?”

Numerous works at QIP 2017, including in particular Garnet Chan’s plenary lecture “Simulating quantum systems on classical computers” (as discussed in #157) provide a QED-dependent answer

Mathematically, the separatory property is small tensor rank; the physical mechanism is that QED unravellings restrict to small-rank varietal state-spaces.

Stated concisely and bluntly, an emerging and all-too-credible skeptical answer to Scott’s question postulates that Quantum Supremacy fails in QED universes because the Extended Church-Turing Thesis is true.

Two notable virtues of this nuanced, skeptical, QED-centric worldview (as it seems to me) are: (1) it inspires us (students especially) to read deeply and integratively in the marvelous STEAM literature of our age, and (2) it inspires to appreciate, with equal respect, the works of a cadre of visionaries who have conceived the notion of Quantum Supremacy, concomitantly with the works of a cadre of visionaries who are providing explicit, diverse, and cumulatively strengthening reasons to appreciate why the infeasibility of Quantum Supremacy would be comparably marvelous to its feasibility.

]]>